title: Stochastic Maximum Principle for Optimal Liquidation with Control-dependent Terminal Time

abstract: In this paper we study a general optimal liquidation problem with a control-dependent stopping time which is the first time the stock holding becomes zero or a fixed terminal time, whichever comes first. We prove a stochastic maximum principle (SMP) which is markedly different in its Hamiltonian condition from that of the standard SMP with fixed terminal time. We present a simple example in which the optimal solution satisfies the SMP in this paper but fails the standard SMP in the literature.


title: System-Wide Security for Offline Payment Terminals

abstract: Most self-service payment terminals require network connectivity for processing electronic payments. The necessity to maintain network connectivity increases costs, introduces cybersecurity risks, and significantly limits the number of places where the terminals can be installed. Leading payment service providers have proposed offline payment solutions that rely on algorithmically generated payment tokens. Existing payment token solutions, however, require complex mechanisms for authentication, transaction management, and most importantly, security risk management. In this paper, we present VolgaPay, a blockchain-based system that allows merchants to deploy secure offline payment terminal infrastructure that does not require collection and storage of any sensitive data. We design a novel payment protocol which mitigates security threats for all the participants of VolgaPay, such that the maximum loss from gaining full access to any component by an adversary incurs only a limited scope of harm. We achieve significant enhancements in security, operation efficiency, and cost reduction via a combination of polynomial multi-hash chain micropayment channels and blockchain grafting for off-chain channel state transition. We implement the VolgaPay payment system, and with thorough evaluation and security analysis, we demonstrate that VolgaPay is capable of delivering a fast, secure, and cost-efficient solution for offline payment terminals.


title: Protoplanetary disk birth in massive star forming clumps: the essential role of the magnetic field

abstract: Protoplanetary disks form through angular momentum conservation in collapsing dense cores. In this work, we perform the first simulations with a maximal resolution down to the astronomical unit (au) of protoplanetary disk formation, through the collapse of 1000 solar mass clumps, treating self-consistently both non-ideal magnetohydrodynamics with ambipolar diffusion as well as radiative transfer in the flux-limited diffusion approximation including stellar feedback. Using the adaptive mesh-refinement code RAMSES, we investigate the influence of the magnetic field on the disks properties with three models. We show that, without magnetic fields, a population dominated by large disks is formed, which is not consistent with Class 0 disk properties as estimated from observations. The inclusion of magnetic field leads, through magnetic braking, to a very different evolution. When it is included, small < 50 au disks represent about half the population. In addition, about ~ 70% of the stars have no disk in this case which suggests that our resolution is still insufficient to preserve the smaller disks. With ambipolar diffusion, the proportion of small disks is also prominent and we report a flat mass distribution around 0.01-0.1 solar mass and a typical disk-to-star mass ratios of ~0.01-0.1. This work shows that the magnetic field and its evolution plays a prominent role in setting the initial properties of disk populations.


title: SENSORIMOTOR GRAPH: Action-Conditioned Graph Neural Network for Learning Robotic Soft Hand Dynamics

abstract: Soft robotics is a thriving branch of robotics which takes inspiration from nature and uses affordable flexible materials to design adaptable non-rigid robots. However, their flexible behavior makes these robots hard to model, which is essential for a precise actuation and for optimal control. For system modelling, learning-based approaches have demonstrated good results, yet they fail to consider the physical structure underlying the system as an inductive prior. In this work, we take inspiration from sensorimotor learning, and apply a Graph Neural Network to the problem of modelling a non-rigid kinematic chain (i.e. a robotic soft hand) taking advantage of two key properties: 1) the system is compositional, that is, it is composed of simple interacting parts connected by edges, 2) it is order invariant, i.e. only the structure of the system is relevant for predicting future trajectories. We denote our model as the 'Sensorimotor Graph' since it learns the system connectivity from observation and uses it for dynamics prediction. We validate our model in different scenarios and show that it outperforms the non-structured baselines in dynamics prediction while being more robust to configurational variations, tracking errors or node failures.


title: Translation functors for locally analytic representations

abstract: Let $G$ be a $p$-adic Lie group with reductive Lie algebra $\mathfrak{g}$. In analogy to the translation functors introduced by Bernstein and Gelfand on categories of $U(\mathfrak{g})$-modules we consider similarly defined functors on the category of coadmissible modules over the locally analytic distribution algebra $D(G)$ on which the center of $U(\mathfrak{g})$ acts locally finite. These functors induce equivalences between certain subcategories of the latter category. Furthermore, these translation functors are naturally related to those on category $\mathcal{O}$ via the functors from category $\mathcal{O}$ to the category of coadmissible modules. We also investigate the effect of the translation functors on locally analytic representations $\Pi(V)^{\rm la}$ associated by the $p$-adic Langlands correspondence for ${\rm GL}_2(\mathbb{Q}_p)$ to 2-dimensional Galois representations $V$.


title: Conditioning by Projection for the Sampling from Prior Gaussian Distributions

abstract: In this work we are interested in the (ill-posed) inverse problem for absolute permeability characterization that arises in predictive modeling of porous media flows. We consider a Bayesian statistical framework with a preconditioned Markov Chain Monte Carlo (MCMC) algorithm for the solution of the inverse problem. Reduction of uncertainty can be accomplished by incorporating measurements at sparse locations (static data) in the prior distribution. We present a new method to condition Gaussian fields (the log of permeability fields) to available sparse measurements. A truncated Karhunen-Lo\`eve expansion (KLE) is used for dimension reduction. In the proposed method the imposition of static data is made through the projection of a sample (expressed as a vector of independent, identically distributed normal random variables) onto the nullspace of a data matrix, that is defined in terms of the KLE. The numerical implementation of the proposed method is straightforward. Through numerical experiments for a model of second-order elliptic equation, we show that the proposed method in multi-chain studies converges much faster than the MCMC method without conditioning. These studies indicate the importance of conditioning in accelerating the MCMC convergence.


title: Quantization-Aided Secrecy: FD C-RAN Communications with Untrusted Radios

abstract: In this work, we study a full-duplex (FD) cloud radio access network (C-RAN) from the aspects of infrastructure sharing and information secrecy, where the central unit utilizes FD remote radio units (RU)s belonging to the same operator, i.e., the trusted RUs, as well as the RUs belonging to other operators or private owners, i.e., the untrusted RUs. Furthermore, the communication takes place in the presence of untrusted external receivers, i.e., eavesdropper nodes. The communicated uplink (UL) and downlink (DL) waveforms are quantized in order to comply with the limited capacity of the fronthaul links. In order to provide information secrecy, we propose a novel utilization of the quantization noise shaping in the DL, such that it is simultaneously used to comply with the limited capacity of the fronthaul links, as well as to degrade decoding capability of the individual eavesdropper and the untrusted RUs for both the UL and DL communications. In this regard, expressions describing the achievable secrecy rates are obtained. An optimization problem for jointly designing the DL and UL quantization and precoding strategies are then formulated, with the purpose of maximizing the overall system weighted sum secrecy rate. Due to the intractability of the formulated problem, an iterative solution is proposed, following the successive inner approximation and semi-definite relaxation frameworks, with convergence to a stationary point. Numerical evaluations indicate a promising gain of the proposed approaches for providing information secrecy against the untrusted infrastructure nodes and/or external eavesdroppers in the context of FD C-RAN communications.


title: A Practical Algorithm Design and Evaluation for Heterogeneous Elastic Computing with Stragglers

abstract: Our extensive real measurements over Amazon EC2 show that the virtual instances often have different computing speeds even if they share the same configurations. This motivates us to study heterogeneous Coded Storage Elastic Computing (CSEC) systems where machines, with different computing speeds, join and leave the network arbitrarily over different computing steps. In CSEC systems, a Maximum Distance Separable (MDS) code is used for coded storage such that the file placement does not have to be redefined with each elastic event. Computation assignment algorithms are used to minimize the computation time given computation speeds of different machines. While previous studies of heterogeneous CSEC do not include stragglers-the slow machines during the computation, we develop a new framework in heterogeneous CSEC that introduces straggler tolerance. Based on this framework, we design a novel algorithm using our previously proposed approach for heterogeneous CSEC such that the system can handle any subset of stragglers of a specified size while minimizing the computation time. Furthermore, we establish a trade-off in computation time and straggler tolerance. Another major limitation of existing CSEC designs is the lack of practical evaluations using real applications. In this paper, we evaluate the performance of our designs on Amazon EC2 for applications of the power iteration and linear regression. Evaluation results show that the proposed heterogeneous CSEC algorithms outperform the state-of-the-art designs by more than 30%.


title: Straintronics: Manipulating the Magnetization of Magnetostrictive Nanomagnets with Strain for Energy-Efficient Applications

abstract: The desire to perform information processing, computation, communication, signal generation and related tasks, while dissipating as little energy as possible, has inspired many ideas and paradigms. One of the most powerful among them is the notion of using magnetostrictive nanomagnets as the primitive units of the hardware platforms and manipulating their magnetizations with electrically generated static or time varying mechanical strain to elicit myriad functionalities. This approach has two advantages. First, information can be retained in the devices after powering off since the nanomagnets are non-volatile unlike charge-based devices such as transistors. Second, the energy expended to perform a given task is exceptionally low since it takes very little energy to alter magnetization states with strain. This field is now known as "straintronics", in analogy with electronics, spintronics, valleytronics, etc. We review the recent advances and trends in straintronics, including digital information processing (logic), information storage (memory), domain wall devices operated with strain, control of skyrmions with strain, non-Boolean computing and machine learning with straintronics, signal generation (microwave sources) and communication (ultra-miniaturized acoustic and electromagnetic antennas) implemented with strained nanomagnets, hybrid straintronics-magnonics, and interaction between phonons and magnons in straintronic systems. We identify key challenges and opportunities, and lay out pathways to advance this field to the point where it might become a mainstream technology for energy-efficient systems.


title: Decoupling Shrinkage and Selection for the Bayesian Quantile Regression

abstract: This paper extends the idea of decoupling shrinkage and sparsity for continuous priors to Bayesian Quantile Regression (BQR). The procedure follows two steps: In the first step, we shrink the quantile regression posterior through state of the art continuous priors and in the second step, we sparsify the posterior through an efficient variant of the adaptive lasso, the signal adaptive variable selection (SAVS) algorithm. We propose a new variant of the SAVS which automates the choice of penalisation through quantile specific loss-functions that are valid in high dimensions. We show in large scale simulations that our selection procedure decreases bias irrespective of the true underlying degree of sparsity in the data, compared to the un-sparsified regression posterior. We apply our two-step approach to a high dimensional growth-at-risk (GaR) exercise. The prediction accuracy of the un-sparsified posterior is retained while yielding interpretable quantile specific variable selection results. Our procedure can be used to communicate to policymakers which variables drive downside risk to the macro economy.


title: Probing DNA-amyloid interaction and gel formation by active magnetic wire microrheology

abstract: Recent studies have shown that bacterial nucleoid-associated proteins (NAPs) can bind to DNA and result in altered structural organization and bridging interactions. Under spontaneous self-assembly, NAPs may form anisotropic amyloid fibers, whose effects are still more significant on DNA dynamics. To test this hypothesis, microrheology experiments on dispersions of DNA associated with the amyloid terminal domain (CTR) of the bacterial protein Hfq were performed using the technique of magnetic rotational spectroscopy (MRS). In this chapter, we survey this microrheology technique which is based on the remote actuation of magnetic wires embedded in a sample. MRS is interesting as it is easy to implement, and does not require complex procedures regarding data treatment. Pertaining to the interaction between DNA and amyloid fibers, it is found that DNA and Hfq-CTR protein dispersion behave like a gel, an outcome that suggests the formation of a network of amyloid fibers cross-linked with the DNA strands. In contrast, the pristine DNA and Hfq-CTR dispersions behave as purely viscous liquids. To broaden the scope of the MRS technique, we include theoretical predictions for the rotation of magnetic wires regarding the generic behaviors of basic rheological models from continuum mechanics, and we list the complex fluids studied by this technique over the past 10 years.


title: Simulation and sensitivities for a phased IceCube-Gen2 deployment

abstract: The IceCube Neutrino Observatory opened the window on high-energy neutrino astronomy by confirming the existence of PeV astrophysical neutrinos and identifying the first compelling astrophysical neutrino source in the blazar TXS0506+056. Planning is underway to build an enlarged detector, IceCube-Gen2, which will extend measurements to higher energies, increase the rate of observed cosmic neutrinos and provide improved prospects for detecting fainter sources. IceCube-Gen2 is planned to have an extended in-ice optical array, a radio array at shallower depths for detecting ultra-high-energy (>100 PeV) neutrinos, and a surface component studying cosmic rays. In this contribution, we will discuss the simulation of the in-ice optical component of the baseline design of the IceCube-Gen2 detector, which foresees the deployment of an additional ~120 new detection strings to the existing 86 in IceCube over ~7 Antarctic summer seasons. Motivated by the phased construction plan for IceCube-Gen2, we discuss how the reconstruction capabilities and sensitivities of the instrument are expected to progress throughout its deployment.


title: On a formula that is not in "Grothendieck Topologies in Posets"

abstract: The paper "Grothendieck Topologies on Posets" by A.J. Lindenhovius shows that when $\mathbf{P}$ is an Artinian poset and $\mathbf{E}$ is the topos $\mathbf{Set}^\mathbf{P}$ then there are bijections between the set of subsets of $\mathbf{P}$, the set of Grothendieck topologies on $\mathbf{E}$, and the set of nuclei on the Heyting Algebra $\mathrm{Sub}(1_\mathbf{E})$. It also shows that there are nice formulas for converting between subsets, Grothendieck topologies, and nuclei, but the formula for converting a nucleus to a subset is not spelled out explicitly. These notes fix that gap.


title: Quantum Mechanics as Hamilton-Killing Flows on a Statistical Manifold

abstract: The mathematical formalism of Quantum Mechanics is derived or "reconstructed" from more basic considerations of probability theory and information geometry. The starting point is the recognition that probabilities are central to QM: the formalism of QM is derived as a particular kind of flow on a finite dimensional statistical manifold -- a simplex. The cotangent bundle associated to the simplex has a natural symplectic structure and it inherits its own natural metric structure from the information geometry of the underlying simplex. We seek flows that preserve (in the sense of vanishing Lie derivatives) both the symplectic structure (a Hamilton flow) and the metric structure (a Killing flow). The result is a formalism in which the Fubini-Study metric, the linearity of the Schr\"odinger equation, the emergence of a complex numbers, Hilbert spaces, and the Born rule, are derived rather than postulated.


title: On the Transfer of Polarization from the Initial to the Final Proton in the Elastic Process $ e \vec {p} \to e \vec {p}$

abstract: The $Q^2$ dependence of the ratio of the cross sections with and without proton spin flip, as well as the polarization asymmetry in the process $e \vec{p} \to e \vec{p}$ has been numerically analyzed using the results of JLab polarization experiments on the measurements of the ratio of the Sachs form factors in the $\vec{e} p \to e \vec{p}$ process. The calculations have been made for the case where the initial (at rest) and final protons are fully polarized and have a common spin quantization axis, which coincides with the direction of motion of the final proton. The longitudinal polarization transfer to the proton has been calculated in the case of the partially polarized initial proton for a kinematics used in the experiment reported in [A. Liyanage et al. (SANE Collaboration), Phys. Rev. C 101, 035206 (2020)], where the double spin asymmetry was measured in the $\vec{e} \vec{p} \to e p$ process. A noticeable sensitivity of the polarization transfer to the proton to the form of the $Q^2$ dependence of the ratio $\mu_p G_E/G_M$ has been found. This sensitivity may be used to conduct a new independent experiment to measure this dependence in the $ e \vec{p} \to e \vec{p}$ process. A criterion to assess the reliability of measurements of the ratio of Sachs form factors using the Rosenbluth technique has been proposed and used to analyze the results of two experiments.


title: Noncentral forces mediated between inclusions in a bath of active Brownian rods

abstract: Using Brownian Dynamics simulations, we study effective interactions mediated between two identical and impermeable disks (inclusions) immersed in a bath of identical, active (self-propelled), Brownian rods in two spatial dimensions, by assuming that the self-propulsion axis of the rods may generally deviate from their longitudinal axis. When the self-propulsion is transverse (perpendicular to the rod axis), the accumulation of active rods around the inclusions is significantly enhanced, causing a more expansive steric layering (ring formation) of the rods around the inclusions, as compared with the reference case of longitudinally self-propelling rods. As a result, the transversally self-propelling rods also mediate a significantly longer ranged effective interaction between the inclusions. The bath-mediated interaction arises due to the overlaps between the active-rod rings formed around the inclusions, as they are brought into small separations. When the self-propulsion axis is tilted relative to the rod axis, we find an asymmetric imbalance of active-rod accumulation around the inclusion dimer. This leads to a noncentral interaction, featuring an anti-parallel pair of transverse force components and, hence, a bath-mediated torque on the dimer.

categories: physics.comp-ph cond-mat.soft cond-mat.stat-mech physics.bio-ph physics.chem-ph


title: The Local Hole: a galaxy under-density covering 90% of sky to ~200 Mpc

abstract: We investigate the `Local Hole', an anomalous under-density in the local galaxy environment, by extending our previous galaxy $K-$band number-redshift and number-magnitude counts to $\approx 90\%$ of the sky. Our redshift samples are taken from the 2MASS Redshift Survey (2MRS) and the 2M++ catalogues, limited to $K<11.5$. We find that both surveys are in good agreement, showing an $\approx 21-22\%$ under-density at $z<0.075$ when compared to our homogeneous counts model that assumes the same luminosity function and other parameters as in our earlier papers. Using the Two Micron All Sky Survey (2MASS) for $n(K)$ galaxy counts, we measure an under-density relative to this model of $20\pm 2 \%$ at $K<11.5$, which is consistent in both form and scale with the observed $n(z)$ under-density. To examine further the accuracy of the counts model, we compare its prediction for the fainter $n(K)$ counts of the Galaxy and Mass Assembly (GAMA) survey. We further compare these data with a model assuming the parameters of a previous study where little evidence for the Local Hole was found. At $13<K<16$ we find a significantly better fit for our model, arguing for our higher luminosity function normalisation. Although our implied under-density of $\approx 20\%$ means local measurements of the Hubble Constant have been over-estimated by $\approx3$\%, such a scale of under-density is in tension with a global $\Lambda$CDM cosmology at an $\approx3\sigma$ level.


title: Probing the Big Bang with quantum fields

abstract: By carrying out a systematic investigation of linear, test quantum fields $\hat{\phi}(x)$ in cosmological space-times, we show that $\hat{\phi}(x)$ remain well-defined across the big bang as operator valued distributions in a large class of Friedmann, Lema\^itre, Robertson, Walker space-times, including radiation and dust filled universes. In particular, the expectation values $\langle \hat{\phi}(x)\,\hat{\phi}(x')\rangle$ are well-defined bi-distributions in the extended space-time in spite of the big bang singularity. Interestingly, correlations between fields evaluated at spatially and temporally separated points exhibit an asymmetry that is reminiscent of the Belinskii, Khalatnikov, Lifshitz behavior. The renormalized products of fields $\langle \hat{\phi}^2(x)\rangle_{\rm ren}$ and $\langle \hat{T}_{ab}(x) \rangle_{\rm ren}$ also remain well-defined as distributions. Conformal coupling is not necessary for these considerations to hold. Thus, when probed with observables associated with quantum fields, the big bang (and the big crunch) singularities are quite harmless.


title: Almost $G_2$-manifolds with almost twistorial structures

abstract: We give the necessary and sufficient conditions for the Penrose-Ward transformation to work on almost $G_2$-manifolds, endowed with natural almost twistorial structures.


title: Non-local Potts model on random lattice and chromatic number of a plane

abstract: Statistical models are widely used for the investigation of complex system's behavior. Most of the models considered in the literature are formulated on regular lattices with nearest-neighbor interactions. The models with non-local interaction kernels have been less studied. In this article, we investigate an example of such a model - the non-local q-color Potts model on a random d=2 lattice. Only the same color spins at a unit distance (within some small margin $\delta$) interact. We study the vacuum states of this model and present the results of numerical simulations and discuss qualitative features of the corresponding patterns. Conjectured relation with the chromatic number of a plane problem is discussed.


title: Enhancing synchronization by optimal correlated noise

abstract: From the flashes of fireflies to Josephson junctions and power infrastructure, networks of coupled phase oscillators provide a powerful framework to describe synchronization phenomena in many natural and engineered systems. Most real-world networks are under the influence of noisy, random inputs, potentially inhibiting synchronization. While noise is unavoidable, here we show that there exist optimal noise patterns which minimize desynchronizing effects and even enhance order. Specifically, using analytical arguments we show that in the case of a two-oscillator model, there exists a sharp transition from a regime where the optimal synchrony-enhancing noise is perfectly anti-correlated, to one where the optimal noise is correlated. More generally, we then use numerical optimization methods to demonstrate that there exist anti-correlated noise patterns that optimally enhance synchronization in large complex oscillator networks. Our results may have implications in real-world networks such as power grids and neuronal networks, which are subject to significant amounts of correlated input noise.


title: Integrability and Conformal Bootstrap: One Dimensional Defect CFT

abstract: In this letter we study how the exact non-perturbative integrability methods in 4D N=4 Super-Yang-Mills can work efficiently together with the numerical conformal bootstrap techniques to go beyond the spectral observables and access previously unreachable quantities such as correlation functions at finite coupling. In the setup of 1D defect CFT living on a Maldacena-Wilson line, we managed to compute with good precision a non-supersymmetric structure constant for a wide range of the `t Hooft coupling. Our result is particularly precise at strong coupling and matches well with the recent analytic results of Meneghelli and Ferrero.


title: Fast and accurate multidimensional free energy integration

abstract: Enhanced sampling and free energy calculation algorithms of the Thermodynamic Integration family (such as the Adaptive Biasing Force method, ABF) are not based on the direct computation of a free energy surface, but rather of its gradient. Integrating the free energy surface is non-trivial in dimension higher than one. Here the author introduces a flexible, portable implementation of a Poisson equation formalism to integrate free energy surfaces from estimated gradients in dimension 2 and 3, using any combination of periodic and non-periodic (Neumann) boundary conditions. The algorithm is implemented in portable C++, and provided as a standalone tool that can be used to integrate multidimensional gradient fields estimated on a grid using any algorithm, such as Umbrella Integration as a post-treatment of Umbrella Sampling simulations. It is also included in the implementation of ABF (and its extended-system variant eABF) in the Collective Variables Module, enabling the seamless computation of multidimensional free energy surfaces within ABF and eABF simulations. A Python-based analysis toolchain is provided to easily plot and analyze multidimensional ABF simulation results, including metrics to assess their convergence. The Poisson integration algorithm can also be used to perform Helmholtz decomposition of noisy gradients estimates on the fly, resulting in an efficient implementation of the projected ABF (pABF) method proposed by Leli\`evre and co-workers. In numerical tests, pABF is found to lead to faster convergence with respect to ABF in simple cases of low intrinsic dimension, but seems detrimental to convergence in a more realistic case involving degenerate coordinates and hidden barriers, due to slower exploration. This suggests that variance reduction schemes do not always yield convergence improvements when applied to enhanced sampling methods.


title: A pattern recognition approach for distinguishing between prose and poetry

abstract: Poetry and prose are written artistic expressions that help us to appreciate the reality we live. Each of these styles has its own set of subjective properties, such as rhyme and rhythm, which are easily caught by a human reader's eye and ear. With the recent advances in artificial intelligence, the gap between humans and machines may have decreased, and today we observe algorithms mastering tasks that were once exclusively performed by humans. In this paper, we propose an automated method to distinguish between poetry and prose based solely on aural and rhythmic properties. In other to compare prose and poetry rhythms, we represent the rhymes and phones as temporal sequences and thus we propose a procedure for extracting rhythmic features from these sequences. The classification of the considered texts using the set of features extracted resulted in a best accuracy of 0.78, obtained with a neural network. Interestingly, by using an approach based on complex networks to visualize the similarities between the different texts considered, we found that the patterns of poetry vary much more than prose. Consequently, a much richer and complex set of rhythmic possibilities tends to be found in that modality.


title: Recovery of a general nonlinearity in the semilinear wave equation

abstract: We study the inverse problem of recovery a non-linearity $f(x,u)$, which is compactly supported in $x$, in the semilinear wave equation $u_{tt}-\Delta u+ f(x,u)=0$. We probe the medium with either complex or real-valued harmonic waves of wavelength $\sim h$ and amplitude $\sim 1$. They propagate in a regime where the non-linearity affects the subprincipal but not the principal term, except for the zeroth harmonics. We measure the transmitted wave when it exits $\text{supp}_x f$. We show that one can recover $f(x,u)$ when it is an odd function of $u$, and we can recover $\alpha(x)$ when $f(x,u)=\alpha(x)u^{2m}$. This is done in an explicit way as $h\to0$.


title: Classification of Upper Arm Movements from EEG signals using Machine Learning with ICA Analysis

abstract: The Brain-Computer Interface system is a profoundly developing area of experimentation for Motor activities which plays vital role in decoding cognitive activities. Classification of Cognitive-Motor Imagery activities from EEG signals is a critical task. Hence proposed a unique algorithm for classifying left/right-hand movements by utilizing Multi-layer Perceptron Neural Network. Handcrafted statistical Time domain and Power spectral density frequency domain features were extracted and obtained a combined accuracy of 96.02%. Results were compared with the deep learning framework. In addition to accuracy, Precision, F1-Score, and recall was considered as the performance metrics. The intervention of unwanted signals contaminates the EEG signals which influence the performance of the algorithm. Therefore, a novel approach was approached to remove the artifacts using Independent Components Analysis which boosted the performance. Following the selection of appropriate feature vectors that provided acceptable accuracy. The same method was used on all nine subjects. As a result, intra-subject accuracy was obtained for 9 subjects 94.72%. The results show that the proposed approach would be useful to classify the upper limb movements accurately.


title: A conformally invariant Yang-Mills type energy and equation on 6-manifolds

abstract: We define a conformally invariant action S on gauge connections on a closed pseudo-Riemannian manifold M of dimension 6. At leading order this is quadratic in the gauge connection. The Euler-Lagrange equations of S, with respect to variation of the gauge connection, provide a higher-order conformally invariant analogue of the (source-free) Yang-Mills equations. For any gauge connection A on M, we define S(A) by first defining a Lagrangian density associated to A. This is not conformally invariant but has a conformal transformation analogous to a Q-curvature. Integrating this density provides the conformally invariant action. In the special case that we apply S to the conformal Cartan-tractor connection, the functional gradient recovers the natural conformal curvature invariant called the Fefferman-Graham obstruction tensor. So in this case the Euler-Lagrange equations are exactly the "obstruction-flat" condition for 6-manifolds. This extends known results for 4-dimensional pseudo-Riemannian manifolds where the Bach tensor is recovered in the Yang-Mills equations of the Cartan-tractor connection.


title: Range-Separated Hybrid Functionals for Mixed-Dimensional Heterojunctions: Application to Phthalocyanines/MoS2

abstract: We analyze the electronic structure and level alignment of transition-metal phthalocyanine (MPc) molecules adsorbed on two-dimensional MoS$_2$ employing density functional theory (DFT) calculations. We develop a procedure for multi-objective optimal tuning of parameters of range-separated hybrid functionals in these mixed-dimensional systems. Using this procedure, which leads to the asymptotically-correct exchange-correlation potential between molecule and two-dimensional material, we obtain electronic structures consistent with experimental photoemission results for both energy level alignment and electronic bandgaps, representing a significant advance compared to standard DFT methods. We elucidate the MoS$_2$ valence resonance with the transition-metal phthalocyanine non-frontier 3$d$ orbitals and its dependence on the transition metal atomic number. Based on our calculations, we derive parameter-free, model self-energy corrections that quantitatively accounts for the effects of the heterogeneous dielectric environment on the electronic structure of these mixed-dimensional heterojunctions.


title: Decentralized federated learning of deep neural networks on non-iid data

abstract: We tackle the non-convex problem of learning a personalized deep learning model in a decentralized setting. More specifically, we study decentralized federated learning, a peer-to-peer setting where data is distributed among many clients and where there is no central server to orchestrate the training. In real world scenarios, the data distributions are often heterogeneous between clients. Therefore, in this work we study the problem of how to efficiently learn a model in a peer-to-peer system with non-iid client data. We propose a method named Performance-Based Neighbor Selection (PENS) where clients with similar data distributions detect each other and cooperate by evaluating their training losses on each other's data to learn a model suitable for the local data distribution. Our experiments on benchmark datasets show that our proposed method is able to achieve higher accuracies as compared to strong baselines.


title: Beyond the universal Dyson singularity for 1-D chains with hopping disorder

abstract: We study a simple non-interacting nearest neighbor tight-binding model in one dimension with disorder, where the hopping terms are chosen randomly. This model exhibits a well-known singularity at the band center both in the density of states and localization length. If the probability distribution of the hopping terms is well-behaved, then the singularities exhibit universal behavior, the functional form of which was first discovered by Freeman Dyson in the context of a chain of classical harmonic oscillators. We show here that this universal form can be violated in a tunable manner if the hopping elements are chosen from a divergent probability distribution. We also demonstrate a connection between a breakdown of universality in this quantum problem and an analogous scenario in the classical domain - that of random walks and diffusion with anomalous exponents.


title: Constraining the swiss-cheese IR-fixed point cosmology with cosmic expansion

abstract: In a recent work, it has been proposed that the recent cosmic passage to a cosmic acceleration era is the result of the existence of small anti-gravity sources in each galaxy and clusters of galaxies. In particular, a swiss-cheese cosmology model which relativistically integrates the contribution of all these anti-gravity sources on galactic scale has been constructed assuming the presence of an infrared fixed point for a scale dependent cosmological constant. The derived cosmological expansion provides explanation for both the fine tuning and the coincidence problem. The present work relaxes the previous assumption on the running of the cosmological constant and allows for a generic scaling around the infrared fixed point. Our analysis reveals in order to produce a cosmic evolution consistent with the best $\Lambda$CDM model, the IR-running of the cosmological constant is consistent with the presence of an IR-fixed point.


title: Steep Cosmic Ray Spectra with Revised Diffusive Shock Acceleration

abstract: Galactic cosmic rays (CRs) are accelerated at the forward shocks of supernova remnants (SNRs) via diffusive shock acceleration (DSA), an efficient acceleration mechanism that predicts power-law energy distributions of CRs. However, observations of nonthermal SNR emission imply CR energy distributions that are generally steeper than $E^{-2}$, the standard DSA prediction. Recent results from kinetic hybrid simulations suggest that such steep spectra may arise from the drift of magnetic structures with respect to the thermal plasma downstream of the shock. Using a semi-analytic model of non-linear DSA, we investigate the implications that these results have on the phenomenology of a wide range of SNRs. By accounting for the motion of magnetic structures in the downstream, we produce CR energy distributions that are substantially steeper than $E^{-2}$ and consistent with observations. Our formalism reproduces both modestly steep spectra of Galactic supernova remnants ($\propto E^{-2.2}$) and the very steep spectra of young radio supernovae ($\propto E^{-3}$).


title: Non-degeneracy and quantitative stability of half-harmonic maps from ${\mathbb R}$ to ${\mathbb S}$

abstract: We consider half-harmonic maps from $\mathbb{R}$ (or $\mathbb{S}$) to $\mathbb{S}$. We prove that all (finite energy) half-harmonic maps are non-degenerate. In other words, they are integrable critical points of the energy functional. A full description of the kernel of the linearized operator around each half-harmonic map is given. The second part of this paper devotes to studying the quantitative stability of half-harmonic maps. When its degree is $\pm 1$, we prove that the deviation of any map $\boldsymbol{u}:\mathbb{R}\to \mathbb{S}$ from M\"obius transformations can be controlled uniformly by $\|\boldsymbol{u}\|_{\dot H^{1/2}(\mathbb{R})}^2-deg \boldsymbol{u}$. This result resembles the quantitative rigidity estimate of degree $\pm 1$ harmonic maps $\mathbb{R}^2\to \mathbb{S}^2$ which is proved recently. Furthermore, we address the quantitative stability for half-harmonic maps of higher degree. We prove that if $\boldsymbol{u}$ is already near to a Blaschke product, then the deviation of $\boldsymbol{u}$ to Blaschke products can be controlled by $\|\boldsymbol{u}\|_{\dot H^{1/2}(\mathbb{R})}^2-deg \boldsymbol{u}$. Additionally, a striking example is given to show that such quantitative estimate can not be true uniformly for all $\boldsymbol{u}$ of degree 2. We conjecture similar things happen for harmonic maps ${\mathbb R}^2\to {\mathbb S}^2$.


title: A Generalization of Deodhar's Framework for Questions in Kazhdan-Lusztig Theory

abstract: We make progress on a question of Skandera by showing that a product of Kazhdan-Lusztig basis elements indexed by maximal elements of parabolic subgroups admits a Kazhdan-Lusztig basis element as a quotient arising from operations in the Schur algebroid if and only if the sequence of parabolic subgroups satisfy both a rigidity condition and a combinatorial criterion. For Weyl groups, the rigidity condition specializes to a necessary condition for smallness of Gelfand-MacPherson resolutions. For Schubert varieties indexed by 4231-avoiding permutations, we derive a stronger necessary condition that, up to an appropriate equivalence, is satisfied by at most one Gelfand-MacPherson resolution, and exactly one if and only if 45312 is also avoided. Moreover, we apply the combinatorial criterion to prove the (essentially unique) resolution is small when 34512 and 45123 are likewise avoided. We develop the combinatorial criterion as part of a generalization of Deodhar's combinatorial setting for questions in Kazhdan-Lusztig theory, which in the case of Weyl groups we show captures the Bya{\l}ynicki-Birula decompositions of Gelfand-MacPherson resolutions. In particular, we obtain new combinatorial interpretations of Kazhdan-Lusztig polynomials, new algorithms for computing them, and in the case of Weyl groups, an equivalence of the existence of small Gelfand-MacPherson resolutions with that of certain factorizations and generating-function interpretations of the Poincar\'e polynomial of intersection cohomology of the Schubert variety.


title: Argument Linking: A Survey and Forecast

abstract: Semantic role labeling (SRL) -- identifying the semantic relationships between a predicate and other constituents in the same sentence -- is a well-studied task in natural language understanding (NLU). However, many of these relationships are evident only at the level of the document, as a role for a predicate in one sentence may often be filled by an argument in a different one. This more general task, known as implicit semantic role labeling or argument linking, has received increased attention in recent years, as researchers have recognized its centrality to information extraction and NLU. This paper surveys the literature on argument linking and identifies several notable shortcomings of existing approaches that indicate the paths along which future research effort could most profitably be spent.


title: A survey for variable young stars with small telescopes: IV -- Rotation Periods of YSOs in IC5070

abstract: Studying rotational variability of young stars is enabling us to investigate a multitude of properties of young star-disk systems. We utilise high cadence, multi-wavelength optical time series data from the Hunting Outbursting Young Stars citizen science project to identify periodic variables in the Pelican Nebula (IC5070). A double blind study using nine different period-finding algorithms was conducted and a sample of 59 periodic variables was identified. We find that a combination of four period finding algorithms can achieve a completeness of 85% and a contamination of 30% in identifying periods in inhomogeneous data sets. The best performing methods are periodograms that rely on fitting a sine curve. Utilising GaiaEDR3 data, we have identified an unbiased sample of 40 periodic YSOs, without using any colour or magnitude selections. With a 98.9% probability we can exclude a homogeneous YSO period distribution. Instead we find a bi-modal distribution with peaks at three and eight days. The sample has a disk fraction of 50%, and its statistical properties are in agreement with other similarly aged YSOs populations. In particular, we confirm that the presence of the disk is linked to predominantly slow rotation and find a probability of 4.8$\times$10$^{-3}$ that the observed relation between period and presence of a disk has occurred by chance. In our sample of periodic variables, we also find pulsating giants, an eclipsing binary, and potential YSOs in the foreground of IC5070.


title: Galilean Electrodynamics: Covariant formulation and Lagrangian

abstract: In this paper, we construct a single Lagrangian for both limits of Galilean electrodynamics. The framework relies on a covariant formalism used in describing Newton-Cartan geometry. We write down the Galilean conformal algebra and its representation in this formalism. We also show that the Lagrangian is invariant under the Galilean conformal algebra in d = 4 and calculate the energy-momentum tensor.


title: Tools for Analysis of Shannon-Kotel'nikov Mappings

abstract: This document introduces tools from differential geometry needed for the analysis of a subset of Joint Source-Channel Codes (JSCC) named Shannon-Kotel'nikov (S-K) mappings. New results based on these concepts are further provided.


title: Optimization of the optical array geometry for IceCube-Gen2

abstract: IceCube-Gen2 is a planned extension of the IceCube Neutrino Observatory at the South Pole designed to study the high-energy neutrino sky from TeV to EeV energies with a five times better point source sensitivity than the current IceCube detector. This is achieved by deploying 120 new strings with attached optical sensors in a pattern around IceCube that features considerably larger distances between individual strings than the $\sim$125$\,$m for the existing detector. Here, we present the results of an optimization study searching for the best point source sensitivity while varying the IceCube-Gen2 string spacing between 150$\,$m and 350$\,$m.


title: A Multi-Channel Ratio-of-Ratios Method for Noncontact Hand Video Based SpO$_2$ Monitoring Using Smartphone Cameras

abstract: Blood oxygen saturation (SpO$_2$) is an important indicator for pulmonary and respiratory functionalities. Clinical findings on COVID-19 show that many patients had dangerously low blood oxygen levels not long before conditions worsened. It is therefore recommended, especially for the vulnerable population, to regularly monitor the blood oxygen level for precaution. Recent works have investigated how ubiquitous smartphone cameras can be used to infer SpO$_2$. Most of these works are contact-based, requiring users to cover a phone's camera and its nearby light source with a finger to capture reemitted light from the illuminated tissue. Contact-based methods may lead to skin irritation and sanitary concerns, especially during a pandemic. In this paper, we propose a noncontact method for SpO$_2$ monitoring using hand videos acquired by smartphones. Considering the optical broadband nature of the red (R), green (G), and blue (B) color channels of the smartphone cameras, we exploit all three channels of RGB sensing to distill the SpO$_2$ information beyond the traditional ratio-of-ratios (RoR) method that uses only two wavelengths. To further facilitate an accurate SpO$_2$ prediction, we design adaptive narrow bandpass filters based on accurately estimated heart rate to obtain the most cardiac-related AC component for each color channel. Experimental results show that our proposed blood oxygen estimation method can reach a mean absolute error of 1.26% when a pulse oximeter is used as a reference, outperforming the traditional RoR method by 25%.


title: Regression model selection via log-likelihood ratio and constrained minimum criterion

abstract: Although the log-likelihood is widely used in model selection, the log-likelihood ratio has had few applications in this area. We develop a log-likelihood ratio based method for selecting regression models by focusing on the set of models deemed plausible by the likelihood ratio test. We show that when the sample size is large and the significance level of the test is small, there is a high probability that the smallest model in the set is the true model; thus, we select this smallest model. The significance level of the test serves as a parameter for this method. We consider three levels of this parameter in a simulation study and compare this method with the Akaike Information Criterion and Bayesian Information Criterion to demonstrate its excellent accuracy and adaptability to different sample sizes. We also apply this method to select a logistic regression model for a South African heart disease dataset.


title: Synaptic balancing: a biologically plausible local learning rule that provably increases neural network noise robustness without sacrificing task performance

abstract: We introduce a novel, biologically plausible local learning rule that provably increases the robustness of neural dynamics to noise in nonlinear recurrent neural networks with homogeneous nonlinearities. Our learning rule achieves higher noise robustness without sacrificing performance on the task and without requiring any knowledge of the particular task. The plasticity dynamics -- an integrable dynamical system operating on the weights of the network -- maintains a multiplicity of conserved quantities, most notably the network's entire temporal map of input to output trajectories. The outcome of our learning rule is a synaptic balancing between the incoming and outgoing synapses of every neuron. This synaptic balancing rule is consistent with many known aspects of experimentally observed heterosynaptic plasticity, and moreover makes new experimentally testable predictions relating plasticity at the incoming and outgoing synapses of individual neurons. Overall, this work provides a novel, practical local learning rule that exactly preserves overall network function and, in doing so, provides new conceptual bridges between the disparate worlds of the neurobiology of heterosynaptic plasticity, the engineering of regularized noise-robust networks, and the mathematics of integrable Lax dynamical systems.


title: Singularities in $L^1$-supercritical Fokker-Planck equations: A qualitative analysis

abstract: A class of nonlinear Fokker-Planck equations with superlinear drift is investigated in the $L^1$-supercritical regime, which exhibits a finite critical mass. The equations have a formal Wasserstein-like gradient-flow structure with a convex mobility and a free energy functional whose minimising measure has a singular component if above the critical mass. Singularities and concentrations also arise in the evolutionary problem and their finite-time appearance constitutes a primary technical difficulty. This paper aims at a global-in-time qualitative analysis with main focus on the isotropic case, where solutions will be shown to converge to the unique minimiser of the free energy as time tends to infinity. A key step in the analysis consists in properly controlling the singularity profiles during the evolution. Our study covers the 3D Kaniadakis--Quarati model for Bose--Einstein particles, and thus provides a first rigorous result on the continuation beyond blow-up and long-time asymptotic behaviour for this model.


title: Atiyah-Singer Dirac Operator on spacetimes with non-compact Cauchy hypersurface

abstract: Let $M$ be a globally hyperbolic manifold with complete spacelike Cauchy hypersurface $\Sigma \subset M$. Building on past and recent works of B\"ar and Strohmaier, we extend their Fredholm result of the Atiyah-Singer Dirac operator on compact Lorentzian spaces to the case, where $M$ is diffeomorphic to a product of $\Sigma$ with a compact time intervall and the hypersurface is a Galois covering with respect to a group $\Gamma$. We follow the first approach of both authors in this extended setting, where a well-posedness result of the Cauchy problem for the Dirac operator on non-compact manifolds is needed in preparation. After employing von Neumann algebras and further ingredients for Galois coverings, the well-posedness result is specified for the setting of interest, which leads to $\Gamma$-Fredholmness of the Dirac operator under APS boundary conditions.


title: Sparse group variable selection for gene-environment interactions in the longitudinal study

abstract: Penalized variable selection for high dimensional longitudinal data has received much attention as accounting for the correlation among repeated measurements and providing additional and essential information for improved identification and prediction performance. Despite the success, in longitudinal studies the potential of penalization methods is far from fully understood for accommodating structured sparsity. In this article, we develop a sparse group penalization method to conduct the bi-level gene-environment (G$\times$E) interaction study under the repeatedly measured phenotype. Within the quadratic inference function (QIF) framework, the proposed method can achieve simultaneous identification of main and interaction effects on both the group and individual level. Simulation studies have shown that the proposed method outperforms major competitors. In the case study of asthma data from the Childhood Asthma Management Program (CAMP), we conduct G$\times$E study by using high dimensional SNP data as the Genetic factor and the longitudinal trait, forced expiratory volume in one second (FEV1), as phenotype. Our method leads to improved prediction and identification of main and interaction effects with important implications.


title: A comparison of cluster algorithms for the bond-diluted Ising model

abstract: Monte Carlo cluster algorithms are popular for their efficiency in studying the Ising model near its critical temperature. We might expect that this efficiency extends to the bond-diluted Ising model. We show, however, that this is not always the case by comparing how the correlation times $\tau_w$ and $\tau_{\rm sw}$ of the Wolff and Swendsen-Wang cluster algorithms scale as a function of the system size $L$ when applied to the two-dimensional bond-diluted Ising model. We demonstrate that the Wolff algorithm suffers from a much longer correlation time than in the pure Ising model, caused by isolated (groups of) spins which are infrequently visited by the algorithm. With a simple argument we prove that these cause the correlation time $\tau_w$ to be bounded from below by $L^{z_w}$ with a dynamical exponent $z_w=\gamma / \nu\approx 1.75$ for a bond concentration $p < 1$. Furthermore, we numerically show that this lower bound is actually taken for several values of $p$ in the range $0.5 < p < 1$. Moreover, we show that the Swendsen-Wang algorithm does not suffer from the same problem. Consequently, it has a much shorter correlation time, shorter than in the pure Ising model even. Numerically at $p = 0.6$, we find that its dynamical exponent is $z_{\rm sw} = 0.09(4)$.


title: Nonparametric Finite Mixture Models with Possible Shape Constraints: A Cubic Newton Approach

abstract: We explore computational aspects of maximum likelihood estimation of the mixture proportions of a nonparametric finite mixture model -- a convex optimization problem with old roots in statistics and a key member of the modern data analysis toolkit. Motivated by problems in shape constrained inference, we consider structured variants of this problem with additional convex polyhedral constraints. We propose a new cubic regularized Newton method for this problem and present novel worst-case and local computational guarantees for our algorithm. We extend earlier work by Nesterov and Polyak to the case of a self-concordant objective with polyhedral constraints, such as the ones considered herein. We propose a Frank-Wolfe method to solve the cubic regularized Newton subproblem; and derive efficient solutions for the linear optimization oracles that may be of independent interest. In the particular case of Gaussian mixtures without shape constraints, we derive bounds on how well the finite mixture problem approximates the infinite-dimensional Kiefer-Wolfowitz maximum likelihood estimator. Experiments on synthetic and real datasets suggest that our proposed algorithms exhibit improved runtimes and scalability features over existing benchmarks.


title: New constructions of divisible design Cayley graphs

abstract: Divisible design graphs were introduced in 2011 by Haemers, Kharaghani and Meulenberg. Further, divisible design graphs which can be obtained as Cayley graphs were recently studied by Kabanov and Shalaginov. In this paper we give new constructions of divisible design Cayley graphs and classify divisible design Cayley graphs on $v \le 27$ vertices.


title: Asymptotic continuity of additive entanglement measures

abstract: We study rates asymptotic of transformations between entangled states by local operations and classical communication and a sublinear amount of quantum communication. It is known that additive asymptotically continuous entanglement measures provide upper bounds on the rates that are achievable with asymptotically vanishing error. We show that for transformations between pure states, the optimal rate between any pair of states can be characterized as the infimum of such upper bounds provided by fully additive asymptotically continuous entanglement measures.


title: Effective GPU Sharing Under Compiler Guidance

abstract: Modern computing platforms tend to deploy multiple GPUs (2, 4, or more) on a single node to boost system performance, with each GPU having a large capacity of global memory and streaming multiprocessors (SMs). GPUs are an expensive resource, and boosting utilization of GPUs without causing performance degradation of individual workloads is an important and challenging problem. Although services like MPS support simultaneous execution of multiple co-operative kernels on a single device, they do not solve the above problem for uncooperative kernels, MPS being oblivious to the resource needs of each kernel. We propose a fully automated compiler-assisted scheduling framework. The compiler constructs GPU tasks by identifying kernel launches and their related GPU operations (e.g. memory allocations). For each GPU task, a probe is instrumented in the host-side code right before its launch point. At runtime, the probe conveys the information about the task's resource requirements (e.g. memory and compute cores) to a scheduler, such that the scheduler can place the task on an appropriate device based on the task's resource requirements and devices' load in a memory-safe, resource-aware manner. To demonstrate its advantages, we prototyped a throughput-oriented scheduler based on the framework, and evaluated it with the Rodinia benchmark suite and the Darknet neural network framework on NVIDIA GPUs. The results show that the proposed solution outperforms existing state-of-the-art solutions by leveraging its knowledge about applications' multiple resource requirements, which include memory as well as SMs. It improves throughput by up to 2.5x for Rodinia benchmarks, and up to 2.7x for Darknet neural networks. In addition, it improves job turnaround time by up to 4.9x, and limits individual kernel performance degradation to at most 2.5%.


title: An SBV relaxation of the Cross-Newell energy for modeling stripe patterns and their defects

abstract: We investigate stripe patterns formation far from threshold using a combination of topological, analytic, and numerical methods. We first give a definition of the mathematical structure of `multi-valued' phase functions that are needed for describing layered structures or stripe patterns containing defects. This definition yields insight into the appropriate `gauge symmetries' of patterns, and leads to the formulation of variational problems, in the class of special functions with bounded variation, to model patterns with defects. We then discuss approaches to discretize and numerically solve these variational problems. These energy minimizing solutions support defects having the same character as seen in experiments.


title: Distributed Planning for Serving Cooperative Tasks with Time Windows: A Game Theoretic Approach

abstract: We study distributed planning for multi-robot systems to provide optimal service to cooperative tasks that are distributed over space and time. Each task requires service by sufficiently many robots at the specified location within the specified time window. Tasks arrive over episodes and the robots try to maximize the total value of service in each episode by planning their own trajectories based on the specifications of incoming tasks. Robots are required to start and end each episode at their assigned stations in the environment. We present a game theoretic solution to this problem by mapping it to a game, where the action of each robot is its trajectory in an episode, and using a suitable learning algorithm to obtain optimal joint plans in a distributed manner. We present a systematic way to design minimal action sets (subsets of feasible trajectories) for robots based on the specifications of incoming tasks to facilitate fast learning. We then provide the performance guarantees for the cases where all the robots follow a best response or noisy best response algorithm to iteratively plan their trajectories. While the best response algorithm leads to a Nash equilibrium, the noisy best response algorithm leads to globally optimal joint plans with high probability. We show that the proposed game can in general have arbitrarily poor Nash equilibria, which makes the noisy best response algorithm preferable unless the task specifications are known to have some special structure. We also describe a family of special cases where all the equilibria are guaranteed to have bounded suboptimality. Simulations and experimental results are provided to demonstrate the proposed approach.


title: Spectral and scattering theory for topological crystals perturbed by infinitely many new edges

abstract: In this paper we investigate the spectral and scattering theory for operators acting on topological crystals and on their perturbations. A special attention is paid to perturbations obtained by the addition of an infinite number of edges, and / or by the removal of a finite number of them, but perturbations of the underlying measures and perturbations by the addition of a multiplication operator are also considered. The description of the nature of the spectrum of the resulting operators, and the existence and completeness of the wave operators are standard outcomes for these investigations.


title: Computing the Fuzzy Partition Corresponding to the Greatest Fuzzy Auto-Bisimulation of a Fuzzy Graph-Based Structure

abstract: Fuzzy graph-based structures such as fuzzy automata, fuzzy labeled transition systems, fuzzy Kripke models, fuzzy social networks and fuzzy interpretations in fuzzy description logics are useful in various applications. Given two states, two actors or two individuals $x$ and $x'$ in such structures $G$ and $G'$, respectively, the similarity degree between them can be defined to be $Z(x,x')$, where $Z$ is the greatest fuzzy bisimulation between $G$ and $G'$ w.r.t. some t-norm-based fuzzy logic. Such a similarity measure has the Hennessy-Milner property of fuzzy bisimulations as a strong logical foundation. A fuzzy bisimulation between a fuzzy structure $G$ and itself is called a fuzzy auto-bisimulation of $G$. The greatest fuzzy auto-bisimulation of an image-finite fuzzy graph-based structure is a fuzzy equivalence relation. It is useful for classification and clustering. In this paper, we design an efficient algorithm with the complexity $O((m\log{l} + n)\log{n})$ for computing the fuzzy partition corresponding to the greatest fuzzy auto-bisimulation of a finite fuzzy labeled graph $G$ under the G\"odel semantics, where $n$, $m$ and $l$ are the number of vertices, the number of non-zero edges and the number of different fuzzy degrees of edges of $G$, respectively. Our notion of fuzzy partition is novel, defined only for finite sets with respect to the G\"odel t-norm, with the aim to facilitate the computation of the greatest fuzzy auto-bisimulation. By using that algorithm, we also provide an algorithm with the complexity $O(m\cdot\log{l}\cdot\log{n} + n^2)$ for computing the greatest fuzzy bisimulation between two finite fuzzy labeled graphs under the G\"odel semantics. This latter algorithm is better (has a lower complexity order) than the previously known algorithms for the considered problem. Our algorithms can be restated for the other mentioned fuzzy graph-based structures.


title: Zero-Shot Domain Adaptation in CT Segmentation by Filtered Back Projection Augmentation

abstract: Domain shift is one of the most salient challenges in medical computer vision. Due to immense variability in scanners' parameters and imaging protocols, even images obtained from the same person and the same scanner could differ significantly. We address variability in computed tomography (CT) images caused by different convolution kernels used in the reconstruction process, the critical domain shift factor in CT. The choice of a convolution kernel affects pixels' granularity, image smoothness, and noise level. We analyze a dataset of paired CT images, where smooth and sharp images were reconstructed from the same sinograms with different kernels, thus providing identical anatomy but different style. Though identical predictions are desired, we show that the consistency, measured as the average Dice between predictions on pairs, is just 0.54. We propose Filtered Back-Projection Augmentation (FBPAug), a simple and surprisingly efficient approach to augment CT images in sinogram space emulating reconstruction with different kernels. We apply the proposed method in a zero-shot domain adaptation setup and show that the consistency boosts from 0.54 to 0.92 outperforming other augmentation approaches. Neither specific preparation of source domain data nor target domain data is required, so our publicly released FBPAug can be used as a plug-and-play module for zero-shot domain adaptation in any CT-based task.


title: Prospects for study of the effect of the electronic screening on the $\alpha$ decay in the storage rings

abstract: Study of the role of the electron screening in the $\alpha$ decay is advanced, aimed at the experimental test in the storage rings. To this end, systematic calculation of the effect in heavy ions of the nuclei within the Ra to Po domain of the $\alpha$ emitters is conducted within the adiabatic approach. The obtained effect is to slow down the decay by an amount within the percent value. It is of the opposite sign comparing to what is predicted within the conventional frozen shell model. The reason for this divergence is demonstrated. Testing this difference experimentally in storage ring facilities is proposed. It is of great interest for advancing the astrophysical fundamental research.


title: A Simplified Gravitational Reference Sensor for Satellite Geodesy

abstract: We describe a Simplified Gravitational Reference Sensor (S-GRS), an ultra-precise inertial sensor for future Earth geodesy missions. These sensors are used to measure or compensate for all non-gravitational accelerations of the host spacecraft so that they can be removed in the data analysis to recover spacecraft motion due to Earth's gravity field, which is the main science observable. Low-low satellite-to-satellite tracking missions like GRACE-FO that utilize laser ranging interferometers are technologically limited by the acceleration noise performance of their electrostatic accelerometers, in addition to temporal aliasing associated with Earth's dynamic gravity field. The S-GRS is estimated to be at least 40 times more sensitive than the GRACE accelerometers and more than 500 times more sensitive if operated on a drag-compensated platform. The improved performance is enabled by increasing the mass of the sensor's test mass, increasing the gap between the test mass and its electrode housing, removing the small grounding wire used in the GRACE accelerometers and replacing them with a UV LED-based charge management system. This level of improvement allows future missions to fully take advantage of the sensitivity of the GRACE-FO laser Ranging Interferometer in the gravity recovery analysis. The S-GRS concept is a simplified version of the flight-proven LISA Pathfinder GRS. Our performance estimates are based on models vetted during the LISA Pathfinder flight and the expected Earth orbiting spacecraft environment based on flight data from GRACE-FO. The relatively low volume, mass, and a power consumption enables use of the S-GRS on ESPA-class microsatellites, reducing launch costs or enabling larger numbers of satellite pairs to be utilized to improve the temporal resolution of Earth gravity field maps.


title: Self-crossing geodesics

abstract: We discuss self-crossing patterns of closed geodesics on a convex surface.


title: Arithmetic version of anderson localization for quasiperiodic Schr\"odinger operators with even cosine type potentials

abstract: We propose a new method to prove Anderson localization for quasiperiodic Schr\"odinger operators and apply it to the quasiperiodic model considered by Sinai and Fr\"ohlich-Spencer-Wittwer. More concretely, we prove Anderson localization for even $C^2$ cosine type quasiperiodic Schr\"odinger operators with large coupling constants, Diophantine frequencies and Diophantine phases.


title: Ghosts and congruences for $p^s$-approximations of hypergeometric periods

abstract: We prove general Dwork-type congruences for constant terms attached to tuples of Laurent polynomials. We apply this result to establishing arithmetic and $p$-adic analytic properties of functions originating from polynomial solutions modulo $p^s$ of hypergeometric and KZ equations, solutions which come as coefficients of master polynomials and whose coefficients are integers. As an application we show that the simplest example of a $p$-adic KZ connection has an invariant line subbundle while its complex analog has no nontrivial subbundles due to the irreducibility of the monodromy group.

categories: math.NT math-ph math.AG math.CA math.CO math.MP


title: Efficient approach to low scale Peccei-Quinn symmetry breaking without domain wall problem

abstract: We propose an efficient mechanism to realize an invisible axion from a low scale Peccei-Quinn symmetry breaking. Our basic model only contains a gauge boson, an up-type vector-like quark, two Higgs doublets and two Higgs singlets besides the standard model fermions and gauge bosons. The physical Peccei-Quinn global symmetry is a result of two independent global symmetries connected by the new gauge symmetry. Anyone of these two global symmetries only acts on either the right-handed top quark or the left-handed new quark so that it can avoid the domain wall problem. Thanks to the electroweak and new gauge interactions, the Higgs doublet for the top quark mass generation and the Higgs singlet for the new quark mass generation can only contribute a tiny fraction in the axion. The axion decay constant can be largely enhanced by a factor composed of the vacuum expectation values of the four Higgs scalars.


title: Scalable Distributed Planning for Multi-Robot, Multi-Target Tracking

abstract: In multi-robot multi-target tracking, robots coordinate to monitor groups of targets moving about an environment. We approach planning for such scenarios by formulating a receding-horizon, multi-robot sensing problem with a mutual information objective. Such problems are NP-Hard in general. Yet, our objective is submodular which enables certain greedy planners to guarantee constant-factor suboptimality. However, these greedy planners require robots to plan their actions in sequence, one robot at a time, so planning time is at least proportional to the number of robots. Solving these problems becomes intractable for large teams, even for distributed implementations. Our prior work proposed a distributed planner (RSP) which reduces this number of sequential steps to a constant, even for large numbers of robots, by allowing robots to plan in parallel while ignoring some of each others' decisions. Although that analysis is not applicable to target tracking, we prove a similar guarantee, that RSP planning approaches performance guarantees for fully sequential planners, by employing a novel bound which takes advantage of the independence of target motions to quantify effective redundancy between robots' observations and actions. Further, we present analysis that explicitly accounts for features of practical implementations including approximations to the objective and anytime planning. Simulation results -- available via open source release -- for target tracking with ranging sensors demonstrate that our planners consistently approach the performance of sequential planning (in terms of position uncertainty) given only 2--8 planning steps and for as many as 96 robots with a 24x reduction in the number of sequential steps in planning. Thus, this work makes planning for multi-robot target tracking tractable at much larger scales than before, for practical planners and general tracking problems.


title: A calibration of the Rossby number from asteroseismology

abstract: Stellar activity and rotation are tightly related in a dynamo process. Our understanding of this mechanism is mainly limited by our capability of inferring the properties of stellar turbulent convection. In particular, the convective turnover time is a key ingredient through the estimation of the stellar Rossby number, which is the ratio of the rotation period and the convective turnover time. In this work we propose a new calibration of the $(B-V)$ color index dependence of the convective turnover time, hence of the stellar Rossby number. Our new calibration is based on the stellar structure properties inferred through the detailed modeling of solar-like pulsators using asteroseismic observables. We show the impact of this calibration in a stellar activity -- Rossby number diagram by applying it to a sample of about 40,000 stars observed with Kepler and for which photometric activity proxy $S_\mathrm{\!ph}$ and surface rotation periods are available. Additionally, we provide a new calibration of the convective turnover time as function of the $(G_\mathrm{BP}-G_\mathrm{RP})$ color index for allowing applicability in the ESA Gaia photometric passbands.


title: Scqubits: a Python package for superconducting qubits

abstract: $\textbf{scqubits}$ is an open-source Python package for simulating and analyzing superconducting circuits. It provides convenient routines to obtain energy spectra of common superconducting qubits, such as the transmon, fluxonium, flux, cos(2$\phi$) and the 0-$\pi$ qubit. $\textbf{scqubits}$ also features a number of options for visualizing the computed spectral data, including plots of energy levels as a function of external parameters, display of matrix elements of various operators as well as means to easily plot qubit wavefunctions. Many of these tools are not limited to single qubits, but extend to composite Hilbert spaces consisting of coupled superconducting qubits and harmonic (or weakly anharmonic) modes. The library provides an extensive suite of methods for estimating qubit coherence times due to a variety of commonly considered noise channels. While all functionality of $\textbf{scqubits}$ can be accessed programatically, the package also implements GUI-like widgets that, with a few clicks can help users both create relevant Python objects, as well as explore their properties through various plots. When applicable, the library harnesses the computing power of multiple cores via multiprocessing. $\textbf{scqubits}$ further exposes a direct interface to the Quantum Toolbox in Python (QuTiP) package, allowing the user to efficiently leverage QuTiP's proven capabilities for simulating time evolution.


title: Scattering in algebraic approach to quantum theory. Associative algebras

abstract: The definitions of scattering matrix and inclusive scattering matrix in the framework of formulation of quantum field theory in terms of associative algebras with involution are presented. The scattering matrix is expressed in terms of Green functions on shell (LSZ formula) and the inclusive scattering matrix is expressed in terms of generalized Green functions on shell. The expression for inclusive scattering matrix can be used also for quasi-particles (for elementary excitations of any translation-invariant stationary state, for example, for elementary excitations of equilibrium state.) An interesting novelty is the consideration of associative algebras over real numbers.

categories: hep-th cond-mat.stat-mech math-ph math.MP math.OA


title: Performance Prediction of InP/GaAsSb Double Heterojunction Bipolar Transistors for THz applications

abstract: The intrinsic performance of "type-II" InP/GaAsSb double heterojunction bipolar transistors (DHBTs) towards and beyond THz is predicted and analyzed based on a multi-scale technology computer aided design (TCAD) modeling platform calibrated against experimental measurements. Two-dimensional hydrodynamic simulations are combined with 1-D full-band, atomistic quantum transport calculations to shed light on future DHBT generations whose dimensions are decreased step-by-step, starting from the current device configuration. Simulations predict that a peak transit frequency $f_{T,peak}$ of around 1.6 THz could be reached in aggressively scaled type-II DHBTs with a total thickness of 256 nm and an emitter width $W_E$ of 37.5 nm. The corresponding breakdown voltage $BV_{CEO}$ is estimated to be 2.2 V. The investigations are put in perspective with two DHBT performance limiting factors, self-heating and breakdown characteristics.


title: Fitting infrared ice spectra with genetic modelling algorithms. Presenting the ENIIGMA fitting tool

abstract: Context. A variety of laboratory ice spectra simulating different chemical environments, ice morphology as well as thermal and energetic processing are demanded to provide an accurate interpretation of the infrared spectra of protostars. To answer which combination of laboratory data best fit the observations, an automated statistically-based computational approach becomes necessary. Aims. To introduce a new approach, based on evolutionary algorithms, to search for molecules in ice mantles via spectral decomposition of infrared observational data with laboratory ice spectra. Methods. A publicly available and open-source fitting tool, called ENIIGMA (dEcompositioN of Infrared Ice features using Genetic Modelling Algorithms), is introduced. The tool has dedicated Python functions to carry out continuum determination of the protostellar spectra, silicate extraction, spectral decomposition and statistical analysis to calculate confidence intervals and quantify degeneracy. As an assessment of the code, several tests were conducted with known ice samples and constructed mixtures. A complete analysis of the Elias 29 spectrum was performed as well. Results. The ENIIGMA fitting tool can identify the correct ice samples and their fractions in all checks with known samples tested in this paper. Concerning the Elias 29 spectrum, the broad spectral range between 2.5-20 $\mu$m was successfully decomposed after continuum determination and silicate extraction. This analysis allowed the identification of different molecules in the ice mantle, including a tentative detection of CH$_3$CH$_2$OH. Conclusions. The ENIIGMA is a toolbox for spectroscopy analysis of infrared spectra that is well-timed with the launch of the James Webb Space Telescope. Additionally, it allows for exploring the different chemical environments and irradiation fields in order to correctly interpret astronomical observations.


title: Cospanning characterizations of antimatroids and convex geometries

abstract: Given a finite set $E$ and an operator $\sigma:2^{E}\longrightarrow2^{E}$, two sets $X,Y\subseteq E$ are \textit{cospanning} if $\sigma\left( X\right) =\sigma\left( Y\right) $. Corresponding \textit{cospanning equivalence relations} were investigated for greedoids in much detail (Korte, Lovasz, Schrader; 1991). For instance, these relations determine greedoids uniquely. In fact, the feasible sets of a greedoid are exactly the inclusion-wise minimal sets of the equivalence classes. In this research, we show that feasible sets of convex geometries are the inclusion-wise maximal sets of the equivalence classes of the corresponding closure operator. Same as greedoids, convex geometries are uniquely defined by the corresponding cospanning relations. For each closure operator $\sigma$, an element $x\in X$ is \textit{an extreme point} of $X$ if $x\notin\sigma(X-x)$. The set of extreme points of $X$ is denoted by $ex(X)$. We prove, that if $\sigma$ has the anti-exchange property, then for every set $X$ its equivalence class $[X]_{\sigma}$ is the interval $[ex(X),\sigma(X)]$. It results in the one-to-one correspondence between the cospanning partitions of an antimatroid and its complementary convex geometry. The obtained results are based on the connection between violator spaces, greedoids, and antimatroids. Cospanning characterization of these combinatorial structures allows us not only to give the new characterization of antimatroids and convex geometries but also to obtain the new properties of closure operators, extreme point operators, and their interconnections.


title: Scattering in geometric approach to quantum theory

abstract: We define inclusive scattering matrix in the framework of geometric approach to quantum field theory . We review the definitions of scattering theory in the algebraic approach and relate them to the definitions in geometric approach.

categories: hep-th cond-mat.stat-mech math-ph math.MP math.OA quant-ph


title: A Topological Perspective on Causal Inference

abstract: This paper presents a topological learning-theoretic perspective on causal inference by introducing a series of topologies defined on general spaces of structural causal models (SCMs). As an illustration of the framework we prove a topological causal hierarchy theorem, showing that substantive assumption-free causal inference is possible only in a meager set of SCMs. Thanks to a known correspondence between open sets in the weak topology and statistically verifiable hypotheses, our results show that inductive assumptions sufficient to license valid causal inferences are statistically unverifiable in principle. Similar to no-free-lunch theorems for statistical inference, the present results clarify the inevitability of substantial assumptions for causal inference. An additional benefit of our topological approach is that it easily accommodates SCMs with infinitely many variables. We finally suggest that the framework may be helpful for the positive project of exploring and assessing alternative causal-inductive assumptions.


title: Measurement of structured tightly focused vector beams with classical interferometry

abstract: We report the first measurement with no approximations of the full field of tightly focused vector beams (NA up to $1.23$) across areas of $\sim 9-49\,\lambda ^2$. Prior to focusing, the structured laser light has a linear or circular polarization state. The transverse components are extracted directly from 12 interferograms using 4 step interferometry, while the longitudinal component is extracted from the transverse fields with Gauss law. Different structured beams are measured to demonstrate that the method works for any field geometry. In the case of circular polarization we use vortex beams to verify the appearance of spin-orbit coupling in the axial component. The measurements are compared with simulations with normalized cross correlations that yield mean values $\geq 0.8$, confirming good agreement.


title: Role of host galaxy in the formation of multiple stellar populations: Analysis of NGC 1786 and NGC 1898

abstract: Even after decades of research, the origin of multiple stellar populations in globular clusters remains enigmatic. The question as to whether the galaxy environment plays a role in their formation remains unanswered. To that extent, we analysed two classical (> 10 Gyr old) Large Magellanic Cloud globular clusters namely, NGC 1786 and NGC 1898, using imaging data from Hubble Space Telescope to compare and contrast them with ancient Galactic globular clusters to assess systematic differences that might exist between their abundance variations. We calculated their Red Giant Branch width, subtracted the effect of metallicity and compared it with the available data on Galactic globular clusters by plotting them against initial and current cluster mass. We see that the two clusters follow the same general trend as that of the Galactic globular clusters and Galactic globular clusters from different progenitors follow the same general trend as one another, indicating that the galaxy environment may only play a minor role in the formation of multiple stellar populations within globular clusters.


title: Atomtronic circuits: from many-body physics to quantum technologies

abstract: Atomtronics is an emerging field that aims to manipulate ultracold atom moving in matter wave circuits for both fundamental studies in quantum science and technological applications. In this colloquium, we review recent progress in matter-wave circuitry and atomtronics-based quantum technology. After a short introduction to the basic physical principles and the key experimental techniques needed to realize atomtronic systems, we describe the physics of matter-waves in simple circuits such as ring traps and two-terminal systems. The main experimental observations and outstanding questions are discussed. We also present possible applications to a broad range of quantum technologies, from quantum sensing with atom interferometry to future quantum simulation and quantum computation architectures.


title: Rethinking Graph Auto-Encoder Models for Attributed Graph Clustering

abstract: Most recent graph clustering methods have resorted to Graph Auto-Encoders (GAEs) to perform joint clustering and embedding learning. However, two critical issues have been overlooked. First, the accumulative error, inflicted by learning with noisy clustering assignments, degrades the effectiveness and robustness of the clustering model. This problem is called Feature Randomness. Second, reconstructing the adjacency matrix sets the model to learn irrelevant similarities for the clustering task. This problem is called Feature Drift. Interestingly, the theoretical relation between the aforementioned problems has not yet been investigated. We study these issues from two aspects: (1) there is a trade-off between Feature Randomness and Feature Drift when clustering and reconstruction are performed at the same level, and (2) the problem of Feature Drift is more pronounced for GAE models, compared with vanilla auto-encoder models, due to the graph convolutional operation and the graph decoding design. Motivated by these findings, we reformulate the GAE-based clustering methodology. Our solution is two-fold. First, we propose a sampling operator $\Xi$ that triggers a protection mechanism against the noisy clustering assignments. Second, we propose an operator $\Upsilon$ that triggers a correction mechanism against Feature Drift by gradually transforming the reconstructed graph into a clustering-oriented one. As principal advantages, our solution grants a considerable improvement in clustering effectiveness and robustness and can be easily tailored to existing GAE models.


title: The Curvature of Graph Products

abstract: We show that the curvature K_(G*H)(x,y) at a point (x,y) in the strong product G*H of two arbitrary finite simple graphs is equal to the product K_G(x) K_H(y) of the curvatures.


title: Wave-based extreme deep learning based on non-linear time-Floquet entanglement

abstract: Wave-based analog signal processing holds the promise of extremely fast, on-the-fly, power-efficient data processing, occurring as a wave propagates through an artificially engineered medium. Yet, due to the fundamentally weak non-linearities of traditional wave materials, such analog processors have been so far largely confined to simple linear projections such as image edge detection or matrix multiplications. Complex neuromorphic computing tasks, which inherently require strong non-linearities, have so far remained out-of-reach of wave-based solutions, with a few attempts that implemented non-linearities on the digital front, or used weak and inflexible non-linear sensors, restraining the learning performance. Here, we tackle this issue by demonstrating the relevance of Time-Floquet physics to induce a strong non-linear entanglement between signal inputs at different frequencies, enabling a power-efficient and versatile wave platform for analog extreme deep learning involving a single, uniformly modulated dielectric layer and a scattering medium. We prove the efficiency of the method for extreme learning machines and reservoir computing to solve a range of challenging learning tasks, from forecasting chaotic time series to the simultaneous classification of distinct datasets. Our results open the way for wave-based machine learning with high energy efficiency, speed, and scalability.

categories: cs.ET cs.LG cs.NE physics.app-ph physics.optics


title: Learning point embedding for 3D data processing

abstract: Among 2D convolutional networks on point clouds, point-based approaches consume point clouds of fixed size directly. By analysis of PointNet, a pioneer in introducing deep learning into point sets, we reveal that current point-based methods are essentially spatial relationship processing networks. In this paper, we take a different approach. Our architecture, named PE-Net, learns the representation of point clouds in high-dimensional space, and encodes the unordered input points to feature vectors, which standard 2D CNNs can be applied to. The recommended network can adapt to changes in the number of input points which is the limit of current methods. Experiments show that in the tasks of classification and part segmentation, PE-Net achieves the state-of-the-art performance in multiple challenging datasets, such as ModelNet and ShapeNetPart.


title: Controlled invariant sets: implicit closed-form representations and applications

abstract: We revisit the problem of computing (robust) controlled invariant sets for discrete-time linear systems. Departing from previous approaches, we consider implicit, rather than explicit, representations for controlled invariant sets. Moreover, by considering such representations in the space of states and finite input sequences we obtain closed-form expressions for controlled invariant sets. An immediate advantage is the ability to handle high-dimensional systems since the closed-form expression is computed in a single step rather than iteratively. To validate the proposed method, we present thorough case studies illustrating that in safety-critical scenarios the implicit representation suffices in place of the explicit invariant set. The proposed method is complete in the absence of disturbances, and we provide a weak completeness result when disturbances are present.


title: Structural Design Recommendations in the Early Design Phase using Machine Learning

abstract: Structural engineering knowledge can be of significant importance to the architectural design team during the early design phase. However, architects and engineers do not typically work together during the conceptual phase; in fact, structural engineers are often called late into the process. As a result, updates in the design are more difficult and time-consuming to complete. At the same time, there is a lost opportunity for better design exploration guided by structural feedback. In general, the earlier in the design process the iteration happens, the greater the benefits in cost efficiency and informed de-sign exploration, which can lead to higher-quality creative results. In order to facilitate an informed exploration in the early design stage, we suggest the automation of fundamental structural engineering tasks and introduce ApproxiFramer, a Machine Learning-based system for the automatic generation of structural layouts from building plan sketches in real-time. The system aims to assist architects by presenting them with feasible structural solutions during the conceptual phase so that they proceed with their design with adequate knowledge of its structural implications. In this paper, we describe the system and evaluate the performance of a proof-of-concept implementation in the domain of orthogonal, metal, rigid structures. We trained a Convolutional Neural Net to iteratively generate structural design solutions for sketch-level building plans using a synthetic dataset and achieved an average error of 2.2% in the predicted positions of the columns.


title: Global $L_p$ estimates for kinetic Kolmogorov-Fokker-Planck equations in nondivergence form

abstract: We study the degenerate Kolmogorov equations (also known as kinetic Fokker-Planck equations) in nondivergence form. The leading coefficients $a^{ij}$ are merely measurable in $t$ and satisfy the vanishing mean oscillation (VMO) condition in $x, v$ with respect to some quasi-metric. We also assume boundedness and uniform nondegeneracy of $a^{ij}$ with respect to $v$. We prove global a priori estimates in weighted mixed-norm Lebesgue spaces and solvability results. We also show an application of the main result to the Landau equation. Our proof does not rely on any kernel estimates.


title: An all order renormalizable Refined-Gribov-Zwanziger model with BRST invariant fermionic horizon function in linear covariant gauges

abstract: We introduce, within the Refined-Gribov-Zwanziger setup, a composite BRST invariant fermionic operator coupled to the inverse of the Faddeev-Popov operator. As a result, an effective BRST invariant action in Euclidean space-time is constructed, enabling us to pave the first step towards the study of the behaviour of the fermion propagator in the infrared region in the class of the linear covariant gauges. The aforementioned action is proven to be renormalizable to all orders by means of the algebraic renormalization procedure.


title: Extremal product-one free sequences and $|G|$-product-one free sequences of a metacyclic group

abstract: Let $G$ be a multiplicatively written finite group. We denote by $\mathsf E(G)$ the smallest integer $t$ such that every sequence of $t$ elements in $G$ contains a product-one subsequence of length $|G|$. In 1961, Erd\H{o}s, Ginzburg and Ziv proved that $\mathsf E(G)\leq 2|G|-1$ for every finite abelian group $G$ and this result is known as the Erd\H{o}s-Ginzburg-Ziv Theorem. In 2005, Zhuang and Gao conjectured that $\mathsf E(G)=\mathsf d(G)+|G|$ for every finite group, where $\mathsf d(G)$ is the small Davenport constant. Very recently, we confirmed this conjecture for the case when $G=\langle x, y| x^p=y^m=1, x^{-1}yx=y^r\rangle$ where $p$ is the smallest prime divisor of $|G|$ and $\mbox{gcd}(p(r-1), m)=1$. In this paper, we study the associated inverse problems on $\mathsf d(G)$ and $\mathsf E(G)$. Our main results characterize the structure of any product-one free sequence with extremal length $\mathsf d(G)$, and that of any $|G|$-product-one free sequence with extremal length $\mathsf E(G)-1$.


title: The space of non-extendable quasimorphisms

abstract: For a pair $(G,N)$ of a group $G$ and its normal subgroup $N$, we consider the space of quasimorphisms and quasi-cocycles on $N$ non-extendable to $G$. To treat this space, we establish the five-term exact sequence of cohomology relative to the bounded subcomplex. As its application, we study the spaces associated with the kernel of the (volume) flux homomorphism, the IA-automorphism group of a free group, and certain normal subgroups of Gromov-hyperbolic groups. Furthermore, we employ this space to prove that the stable commutator length is equivalent to the stable mixed commutator length for certain pairs of a group and its normal subgroup.


title: Early-Phase Performance-Driven Design using Generative Models

abstract: Current performance-driven building design methods are not widely adopted outside the research field for several reasons that make them difficult to integrate into a typical design process. In the early design phase, in particular, the time-intensity and the cognitive load associated with optimization and form parametrization are incompatible with design exploration, which requires quick iteration. This research introduces a novel method for performance-driven geometry generation that can afford interaction directly in the 3d modeling environment, eliminating the need for explicit parametrization, and is multiple orders faster than the equivalent form optimization. The method uses Machine Learning techniques to train a generative model offline. The generative model learns a distribution of optimal performing geometries and their simulation contexts based on a dataset that addresses the performance(s) of interest. By navigating the generative model's latent space, geometries with the desired characteristics can be quickly generated. A case study is presented, demonstrating the generation of a synthetic dataset and the use of a Variational Autoencoder (VAE) as a generative model for geometries with optimal solar gain. The results show that the VAE-generated geometries perform on average at least as well as the optimized ones, suggesting that the introduced method shows a feasible path towards more intuitive and interactive early-phase performance-driven design assistance.


title: AffectiveTDA: Using Topological Data Analysis to Improve Analysis and Explainability in Affective Computing

abstract: We present an approach utilizing Topological Data Analysis to study the structure of face poses used in affective computing, i.e., the process of recognizing human emotion. The approach uses a conditional comparison of different emotions, both respective and irrespective of time, with multiple topological distance metrics, dimension reduction techniques, and face subsections (e.g., eyes, nose, mouth, etc.). The results confirm that our topology-based approach captures known patterns, distinctions between emotions, and distinctions between individuals, which is an important step towards more robust and explainable emotion recognition by machines.