title: A novel permanent identity with applications

abstract: Let $n$ be a positive integer, and define the rational function $S(x_1,\ldots,x_{2n})$ as the permanent of the matrix $[x_{j,k}]_{1\le j,k\le 2n}$, where $$x_{j,k}=\begin{cases}(x_j+x_k)/(x_j-x_k)&\text{if}\ j\not=k,\\1&\text{if}\ j=k.\end{cases}$$ We give an explicit formula for $S(x_1,\ldots,x_{2n})$ which has the following consequence: If one of the variables $x_1,\ldots,x_{2n}$ takes zero, then $S(x_1,\ldots,x_{2n})$ vanishes, i.e., $$\sum_{\tau\in S_{2n}}\prod_{j=1\atop \tau(j)\not=j}^{2n}\frac{x_j+x_{\tau(j)}}{x_j-x_{\tau(j)}}=0,$$ where we view an empty product $\prod_{i\in\emptyset}a_i$ as $1$. As an application, we show that if $\zeta$ is a primitive $2n$-th root of unity then $$\sum_{\tau\in S_{2n}}\prod_{j=1\atop \tau(j)\not=j}^{2n}\frac{1+\zeta^{j-\tau(j)}}{1-\zeta^{j-\tau(j)}}=((2n-1)!!)^2$$ as conjectured by Z.-W. Sun.


title: Special Hermitian structures on suspensions

abstract: Motivated by the construction based on topological suspension of a family of compact non-K\"ahler complex manifolds with trivial canonical bundle given by L. Qin and B. Wang in [QW], we study toric suspensions of balanced manifolds by holomorphic automorphisms. In particular, we show that toric suspensions of Calabi-Yau manifolds are balanced. We also prove that suspensions associated with hyperbolic automorphisms of hyperk\"ahler manifolds do not admit any pluriclosed, astheno-K\"ahler or p-pluriclosed Hermitian metric. Moreover, we consider natural extensions for hypercomplex manifolds, providing some explicit examples of compact holomorphic symplectic and hypercomplex non-K\"ahler manifolds. We also show that a modified suspension construction provides examples with pluriclosed metrics.


title: Unitarity of Symplectic Fermion in $\alpha$-vacua with Negative Central Charge

abstract: We study the two-dimensional free symplectic fermion with anti-periodic boundary condition. This model has negative norm states with naive inner product. This negative norm problem can be cured by introducing a new inner product. We demonstrate that this new inner product follows from the connection between the path integral formalism and the operator formalism. This model has negative central charge, $c=-2$, and we clarify how CFT$_2$ with negative central charge can have the non-negative norm. We introduce $\alpha$-vacua in which the Hamiltonian is seemingly non-Hermitian. In spite of non-Hermiticity we find that the energy spectrum is real. We also compare a correlation function with respect to the $\alpha$-vacua with that of the de Sitter space.


title: Aggression and "hate speech" in communication of media users: analysis of control capabilities

abstract: Analyzing the possibilities of mutual influence of users in new media, the researchers found a high level of aggression and hate speech when discussing an urgent social problem - measures for COVID-19 fighting. This fact determined the central aspect of the research at the next stage and the central topic of the proposed article. The first chapter of the article is devoted to the characteristics of the prerequisites of the undertaken research, its main features. The following chapters include methodological features of the study, theoretical substantiation of the concepts of aggression and hate speech, identification of systemic connections of these concepts with other characteristics of messages. The result was the creating of a mathematical aggression growth model and the analysis of its manageability using basic social media strategies. The results can be useful for developing media content in a modern digital environment.


title: Enriched Differential Lie Algebras in Topology

abstract: This paper introduces a new category, Edgl, of enriched differential graded Lie algebras (edgl), directly related to the topology of all connected CW complexes and simplicial sets. It is equipped with a homotopy theory analogous to that developed by Sullivan for commutative differential graded algebras. Each connected space has a unique minimal edgl model, and an algebraic process connects this to the minimal Sullivan model. Minimal edgl models naturally represent cofibrations and, in particular cell attachments, and the interplay between edgl and Sullivan models permits the extension to all path connected spaces of results previously established only for simply connected spaces. This, in particular, provides applications and interesting examples of the classical Sullivan rationalization $X\to X_{\mathbb Q}$ of a path connected space.


title: Walking with the atoms in a chemical bond : A perspective using quantum phase transition

abstract: Classical phase transitions, like solid-liquid-gas or order-disorder spin magnetic phases, are all driven by thermal energy fluctuations by varying the temperature. On the other hand, quantum phase transitions happen at absolute zero temperature with quantum fluctuations causing the ground state energy to show abrupt changes as one varies the system parameters like electron density, pressure, disorder, or external magnetic field. Phase transitions happen at critical values of the controlling parameters, such as the critical temperature in classical phase transitions, and system critical parameters in the quantum case. However, true criticality happens only at the thermodynamic limit, when the number of particles goes to infinity with constant density. To perform the calculations for the critical parameters, finite size scaling approach was developed to extrapolate information from a finite system to the thermodynamic limit. With the advancement in the experimental and theoretical work in the field of ultra-cold systems, particularly trapping and controlling single atomic and molecular systems, one can ask: do finite systems exhibit quantum phase transition? To address this question, finite size scaling for finite system was developed to calculate the quantum critical parameters. Recent observation of a quantum phase transition in a single trapped 171 Yb ion in the Paul trap indicates the possibility of quantum phase transition in finite systems. This perspective focuses on examining chemical processes at ultracold temperature as quantum phase transitions, particularly the formation and dissociation of chemical bonds, which is the basic process for understanding the whole of chemistry


title: Compositional Active Inference II: Polynomial Dynamics. Approximate Inference Doctrines

abstract: We develop the compositional theory of active inference by introducing activity, functorially relating statistical games to the dynamical systems which play them, using the new notion of approximate inference doctrine. In order to exhibit such functors, we first develop the necessary theory of dynamical systems, using a generalization of the language of polynomial functors to supply compositional interfaces of the required types: with the resulting polynomially indexed categories of coalgebras, we construct monoidal bicategories of differential and dynamical ``hierarchical inference systems'', in which approximate inference doctrines have semantics. We then describe ``externally parameterized'' statistical games, and use them to construct two approximate inference doctrines found in the computational neuroscience literature, which we call the `Laplace' and the `Hebb-Laplace' doctrines: the former produces dynamical systems which optimize the posteriors of Gaussian models; and the latter produces systems which additionally optimize the parameters (or `weights') which determine their predictions.

categories: nlin.AO cs.AI math.CT math.DS math.ST stat.TH


title: An example of a weakly mixing BV vector field which is not strongly mixing

abstract: We give an example of a weakly mixing vector field $b\in L^\infty([0,1],\text{BV}(\mathbb{T}^2))$ which is not strongly mixing. The example is based on a work of Chacon who constructed a weakly mixing automorphism which is not strongly mixing on $([0,1],\mathcal{B}([0,1]),|\cdot|)$, where $\mathcal{B}([0,1])$ are the Borel subsets of $[0,1]$ and $|\cdot|$ is the one-dimensional Lebesgue measure.


title: Multiplicity fluctuations and correlations in 5.02 TeV p+Pb collisions at zero impact parameter

abstract: We present a Bayesian method to reconstruct event-by-event multiplicity fluctuations and rapidity correlations in p+Pb collisions at zero impact parameter from minimum-bias data, without assuming any model of the collision dynamics. We test it on Monte Carlo simulations with the Angantyr model, then apply it to ATLAS data on the distribution of charged multiplicity and transverse energy in p+Pb collisions at $\sqrt{s_{\rm NN}}=5.02$ TeV. Fluctuations in $b=0$ collisions are quantum fluctuations which originate mostly from the proton wave function, and therefore have the potential to constrain the subnucleonic structure of the proton. The Angantyr model is found to overestimate fluctuations. In addition, we find that as the rapidity increases (towards the Pb-going side), not only the multiplicity density increases, but also its relative event-by-event fluctuation. This counter-intuitive phenomenon is also observed in simulations with Angantyr, and with the QCD dipole model, where its origin can be traced back to the branching process through which gluons are produced.


title: 3D Super-Resolution Ultrasound with Adaptive Weight-Based Beamforming

abstract: Super-resolution ultrasound (SRUS) imaging through localising and tracking sparse microbubbles has been shown to reveal microvascular structure and flow beyond the wave diffraction limit. Most SRUS studies use standard delay and sum (DAS) beamforming, where large main lobe and significant side lobes make separation and localisation of densely distributed bubbles challenging, particularly in 3D due to the typically small aperture of matrix array probes. This study aims to improve 3D SRUS by implementing a low-cost 3D coherence beamformer based on channel signal variance, as well as two other adaptive weight-based coherence beamformers: nonlinear beamforming with p-th root compression and coherence factor. The 3D coherence beamformers, together with DAS, are compared in computer simulation, on a microflow phantom, and in vivo. Simulation results demonstrate that the adaptive weight-based beamformers can significantly narrow the main lobe and suppress the side lobes for modest computational cost. Significantly improved 3D SR images of microflow phantom and a rabbit kidney are obtained through the adaptive weight-based beamformers. The proposed variance-based beamformer performs best in simulations and experiments.


title: Comparing Reflection and Absorption Models for the Soft X-ray Variability in the NLS1 AGN UGC 11763

abstract: We present a spectral analysis of two XMM-Newton observations of the narrow-line Seyfert 1 galaxy UGC 11763. UGC 11763 shows very different soft X-ray spectral shapes in the two observations separated by 12 years. Three spectral models are considered to explain the multi-epoch X-ray variability of UGC 11763, one based on the relativistic disc reflection model, one based on multiple partially-covering absorbers combined with the warm corona model, and a hybrid model. In the first model, the X-ray variability of UGC 11763 is caused by the emission from a compact coronal region with a variable size. The resulting disc reflection component changes accordingly. A warm absorption model with a modest column density is required in this model too. In the partially-covering absorption scenario, the X-ray variability of UGC 11763 is caused by the variable covering factors of two absorbers located within a region of $r<\approx100r_{\rm g}$. Moreover, the temperature and strength of the warm corona have to change significantly too to explain the variable underlying soft X-ray emission. Lastly, we investigate the possibility of variable intrinsic power-law emission from the hot corona combined with variable absorption in UGC 11763 without changing the geometry of the corona in the third model. This hybrid model provides a slightly better fit than the partially-covering absorption model with improvements in fitting the iron emission band. Current CCD-resolution data cannot distinguish these spectral models for UGC 11763. Future high-resolution X-ray missions, e.g. Athena and XRISM, will test them by resolving different spectral components.


title: Track Reconstruction using Geometric Deep Learning in the Straw Tube Tracker (STT) at the PANDA Experiment

abstract: The PANDA (anti-Proton ANnihilation at DArmstadt) experiment at the Facility for Anti-proton and Ion Research is going to study strong interactions at the scale at which quarks are confined to form hadrons. A continuous beam of antiproton, provided by the High Energy Storage Ring (HESR), will impinge on a fixed hydrogen target. The antiproton beam momentum spans from 1.5 GeV {Natural units, c=1} to 15 GeV \cite{physics2009report}, will create optimal conditions for studying many different aspects of hadron physics, including hyperon physics. Precision physics studies require a highly efficient particle track reconstruction. The Straw Tube Tracker in PANDA is the main component for that purpose. It has a hexagonal geometry, consisting of 4224 gas-filled tubes arranged in 26 layers and six sectors. However, the challenge is reconstructing low momentum charged particles given the complex detector geometry and the strongly curved particle trajectory. This paper presents the first application of a geometric deep learning pipeline to track reconstruction in the PANDA experiment. The pipeline reconstructs more than 95\% of particle tracks and creates less than 0.3\% fake tracks. The promising results make the pipeline a strong candidate algorithm for the experiment.


title: Distributed Optimization with Inexact Oracle

abstract: In this paper, we study the distributed optimization problem using approximate first-order information. We suppose the agent can repeatedly call an inexact first-order oracle of each individual objective function and exchange information with its time-varying neighbors. We revisit the distributed subgradient method in this circumstance and show its suboptimality under square summable but not summable step sizes. We also present several conditions on the inexactness of the local oracles to ensure an exact convergence of the iterative sequences towards the global optimal solution. A numerical example is given to verify the efficiency of our algorithm.


title: Single crystal synthesis and magnetic properties of a Shastry-Sutherland lattice compound BaNd2ZnS5

abstract: Single crystals of a Shastry-Sutherland magnetic semiconductor, BaNd2ZnS5, were synthesized through a high-temperature solution growth technique. Physical properties were characterized by powder and single crystal x-ray diffraction, temperature- and field-dependent magnetization, and temperature-dependent specific heat measurements. BaNd2ZnS5 orders antiferromagnetically at 2.9 K, with magnetic moments primarily aligned within the ab-plane. Magnetic isothermal measurements show metamagnetic transitions at ~ 15 kOe for the [110] direction and ~ 21 kOe for the [100] direction. Estimated magnetic entropy suggests a double ground state for each Nd ion.


title: Anytime-Lidar: Deadline-aware 3D Object Detection

abstract: In this work, we present a novel scheduling framework enabling anytime perception for deep neural network (DNN) based 3D object detection pipelines. We focus on computationally expensive region proposal network (RPN) and per-category multi-head detector components, which are common in 3D object detection pipelines, and make them deadline-aware. We propose a scheduling algorithm, which intelligently selects the subset of the components to make effective time and accuracy trade-off on the fly. We minimize accuracy loss of skipping some of the neural network sub-components by projecting previously detected objects onto the current scene through estimations. We apply our approach to a state-of-art 3D object detection network, PointPillars, and evaluate its performance on Jetson Xavier AGX using nuScenes dataset. Compared to the baselines, our approach significantly improve the network's accuracy under various deadline constraints.


title: Some Remarks on the Erd\H{o}s Distinct Subset Sums Problem

abstract: Let $\left\{a_1, \dots, a_n\right\} \subset \mathbb{N}$ be a set of positive integers, $a_n$ denoting the largest element, so that for any two of the $2^n$ subsets the sum of all elements is distinct. Erd\H{o}s asked whether this implies $a_n \geq c \cdot 2^n$ for some universal $c>0$. We prove, slightly extending a result of Elkies, that for any $a_1, \dots, a_n \in \mathbb{R}_{>0}$ $$ \int_{\mathbb{R}} \left( \frac{\sin{ x}}{ x} \right)^2 \prod_{i=1}^{n} \cos{( a_i x)^2} dx \geq \frac{\pi}{2^{n}}$$ with equality if and only if all subset sums are $1-$separated. This leads to a new proof of the currently best lower bound $a_n \geq \sqrt{2/\pi n} \cdot 2^n$. The main new insight is that having distinct subset sums and $a_n$ small requires the random variable $X = \pm a_1 \pm a_2 \pm \dots \pm a_n$ to be close to Gaussian in a precise sense.


title: Accelerated Sparse Recovery via Gradient Descent with Nonlinear Conjugate Gradient Momentum

abstract: This paper applies an idea of adaptive momentum for the nonlinear conjugate gradient to accelerate optimization problems in sparse recovery. Specifically, we consider two types of minimization problems: a (single) differentiable function and the sum of a non-smooth function and a differentiable function. In the first case, we adopt a fixed step size to avoid the traditional line search and establish the convergence analysis of the proposed algorithm for a quadratic problem. This acceleration is further incorporated with an operator splitting technique to deal with the non-smooth function in the second case. We use the convex $\ell_1$ and the nonconvex $\ell_1-\ell_2$ functionals as two case studies to demonstrate the efficiency of the proposed approaches over traditional methods.


title: Decentralized Nonlinear Control of Redundant Upper Limb Exoskeleton with Natural Adaptation Law

abstract: The aim of this work is to utilize an adaptive decentralized control method called virtual decomposition control (VDC) to control the orientation and position of the end-effector of a 7 degrees of freedom (DoF) right-hand upper-limb exoskeleton. The prevailing adaptive VDC approach requires tuning of 13n adaptation gains along with 26n upper and lower parameter bounds, where n is the number of rigid bodies. Therefore, utilizing the VDC scheme to control high DoF robots like the 7-DoF upper-limb exoskeleton can be an arduous task. In this paper, a new adaptation function, so-called natural adaptation law (NAL), is employed to eliminate these burdens from VDC, which results in reducing all 13n gains to one and removing dependency on upper and lower bounds. In doing so, VDC-based dynamic equations are restructured, and inertial parameter vectors are made compatible with NAL. Then, the NAL adaptation function is exploited to design a new adaptive VDC scheme. This novel adaptive VDC approach ensures physical consistency conditions for estimated parameters with no need for upper and lower bounds. Finally, the asymptotic stability of the algorithm is proved with the virtual stability concept and the accompanying function. The experimental results are utilized to demonstrate the excellent performance of the proposed new adaptive VDC scheme.


title: On the prompt contribution to the atmospheric neutrino flux

abstract: The prompt contribution to the atmospheric neutrino flux is analyzed. It is demonstrated that the corresponding theoretical uncertainties related to perturbative treatment of charm production, notably, the ones stemming from the low and high $x$ behavior of parton distribution functions, can be conveniently studied at the level of charm quark production. Additionally, we discuss the non-perturbative contribution to the prompt neutrino flux, related to the intrinsic charm content of the proton, and analyze its main features.


title: The leaky aquifer function revisited

abstract: This papers discusses the leaky aquifer function considered in a recent paper by Frank Harris in the Journal of Computational and Applied Mathematics (2008). We describe properties of an integral representing this function and give details on how to compute this function with a single algorithm for a wide range of the parameters.


title: JAXFit: Trust Region Method for Nonlinear Least-Squares Curve Fitting on the GPU

abstract: We implement a trust region method on the GPU for nonlinear least squares curve fitting problems using a new deep learning Python library called JAX. Our open source package, JAXFit, works for both unconstrained and constrained curve fitting problems and allows the fit functions to be defined in Python alone -- without any specialized knowledge of either the GPU or CUDA programming. Since JAXFit runs on the GPU, it is much faster than CPU based libraries and even other GPU based libraries, despite being very easy to use. Additionally, due to JAX's deep learning foundations, the Jacobian in JAXFit's trust region algorithm is calculated with automatic differentiation, rather than than using derivative approximations or requiring the user to define the fit function's partial derivatives.


title: Contributions to the theory of free boundary minimal surfaces

abstract: In this thesis, we present various contributions to the study of free boundary minimal surfaces. After introducing some basic tools and discussing some delicate aspects related to the definition of Morse index when allowing for a contact set, we divide the thesis in two parts. In the first part of this dissertation, we study free boundary minimal surfaces with bounded Morse index in a three-dimensional ambient manifold. More specifically, we present a degeneration analysis of a sequence of such surfaces, proving that (up to subsequence) they converge smoothly away from finitely many points and that, around such `bad' points, we can at least `uniformly' control the topology and the area of the surfaces in question. As a corollary, we obtain a complete picture of the way different `complexity criteria' (in particular: topology, area and Morse index) compare for free boundary minimal surfaces in ambient manifolds with positive scalar curvature and mean convex boundary. In the second part, we focus on an equivariant min-max scheme to prove the existence of free boundary minimal surfaces with a prescribed topological type. The principle is to choose a suitable group of isometries of the ambient manifold in order to obtain exactly the topology we are looking for. We recall a proof of the equivariant min-max theorem, and we also prove a bound on the Morse index of the resulting surfaces. Finally, we apply this procedure to show the existence of a new family of free boundary minimal surfaces with connected boundary and arbitrary genus in the three-dimensional unit ball.


title: Symplectic Flatness and Twisted Primitive Cohomology

abstract: We introduce the notion of symplectic flatness for connections and fiber bundles over symplectic manifolds. Given an $A_\infty$-algebra, we present a flatness condition that enables the twisting of the differential complex associated with the $A_\infty$-algebra. The symplectic flatness condition arises from twisting the $A_\infty$-algebra of differential forms constructed by Tsai, Tseng and Yau. When the symplectic manifold is equipped with a compatible metric, the symplectic flat connections represent a special subclass of Yang-Mills connections. We further study the cohomologies of the twisted differential complex and give a simple vanishing theorem for them.


title: CAS4DL: Christoffel Adaptive Sampling for function approximation via Deep Learning

abstract: The problem of approximating smooth, multivariate functions from sample points arises in many applications in scientific computing, e.g., in computational Uncertainty Quantification (UQ) for science and engineering. In these applications, the target function may represent a desired quantity of interest of a parameterized Partial Differential Equation (PDE). Due to the large cost of solving such problems, where each sample is computed by solving a PDE, sample efficiency is a key concerning these applications. Recently, there has been increasing focus on the use of Deep Neural Networks (DNN) and Deep Learning (DL) for learning such functions from data. In this work, we propose an adaptive sampling strategy, CAS4DL (Christoffel Adaptive Sampling for Deep Learning) to increase the sample efficiency of DL for multivariate function approximation. Our novel approach is based on interpreting the second to last layer of a DNN as a dictionary of functions defined by the nodes on that layer. With this viewpoint, we then define an adaptive sampling strategy motivated by adaptive sampling schemes recently proposed for linear approximation schemes, wherein samples are drawn randomly with respect to the Christoffel function of the subspace spanned by this dictionary. We present numerical experiments comparing CAS4DL with standard Monte Carlo (MC) sampling. Our results demonstrate that CAS4DL often yields substantial savings in the number of samples required to achieve a given accuracy, particularly in the case of smooth activation functions, and it shows a better stability in comparison to MC. These results therefore are a promising step towards fully adapting DL towards scientific computing applications.


title: Turning Mathematics Problems into Games: Reinforcement Learning and Gr\"obner bases together solve Integer Feasibility Problems

abstract: Can agents be trained to answer difficult mathematical questions by playing a game? We consider the integer feasibility problem, a challenge of deciding whether a system of linear equations and inequalities has a solution with integer values. This is a famous NP-complete problem with applications in many areas of Mathematics and Computer Science. Our paper describes a novel algebraic reinforcement learning framework that allows an agent to play a game equivalent to the integer feasibility problem. We explain how to transform the integer feasibility problem into a game over a set of arrays with fixed margin sums. The game starts with an initial state (an array), and by applying a legal move that leaves the margins unchanged, we aim to eventually reach a winning state with zeros in specific positions. To win the game the player must find a path between the initial state and a final terminal winning state if one exists. Finding such a winning state is equivalent to solving the integer feasibility problem. The key algebraic ingredient is a Gr\"obner basis of the toric ideal for the underlying axial transportation polyhedron. The Gr\"obner basis can be seen as a set of connecting moves (actions) of the game. We then propose a novel RL approach that trains an agent to predict moves in continuous space to cope with the large size of action space. The continuous move is then projected onto the set of legal moves so that the path always leads to valid states. As a proof of concept we demonstrate in experiments that our agent can play well the simplest version of our game for 2-way tables. Our work highlights the potential to train agents to solve non-trivial mathematical queries through contemporary machine learning methods used to train agents to play games.


title: Photonic integration of lithium niobate micro-ring resonators onto silicon nitride waveguide chips by transfer-printing

abstract: The heterogeneous integration of lithium niobate photonic waveguide devices onto a silicon nitride waveguide platform via a transfer-printing approach has been demonstrated for the first time. A fabrication process was developed to make free-standing lithium niobate membrane devices compatible with back-end integration onto photonic integrated circuits. Micro-ring resonators in membrane format were lithographically defined by using laser direct writing and plasma dry etching. The lithium niobate micro-ring resonators were then transferred from their host substrate and released onto a silicon nitride waveguide chip. An all-pass ring resonator transmission spectrum was obtained in the 1.5 {\mu}m to 1.6 {\mu}m wavelength range, with a measured loaded Q-factor larger than 32000.


title: Dropouts of Fully Stripped Ions in the Solar Wind: A Diagnostic for Wave Heating versus Reconnection

abstract: The SWICS instrument aboard the ACE satellite has detected frequent intervals in the slow solar wind and interplanetary coronal mass ejections (ICMEs) in which C6+ and other fully stripped ions are strongly depleted, though the ionization states of elements such as Si and Fe indicate that those ions should be present. It has been suggested that these outlier or dropout events can be explained by the resonant cyclotron heating process, because these ions all have the same cyclotron frequency as He2+. We investigate the region in the corona where these outlier events form. It must be above the ionization freeze-in height and the transition to collisionless plasma conditions, but low enough that the wind still feels the effects of solar gravity. We suggest that the dropout events correspond to relatively dense blobs of gas in which the heating is reduced because local variations in the Alfven speed change the reflection of Alfven waves and the turbulent cascade. As a result, the wave power at the cyclotron frequency of the fully stripped ions is absorbed by He2+ and may not be able to heat the other fully-stripped ions enough to overcome solar gravity. If this picture is borne out, it may help to discriminate between resonant cyclotron heating and stochastic heating models of the solar wind.


title: Integral formula for quantum relative entropy implies data processing inequality

abstract: Integral representations of quantum relative entropy, and of the directional second and higher order derivatives of von Neumann entropy, are established, and used to give simple proofs of fundamental, known data processing inequalities: the Holevo bound on the quantity of information transmitted by a quantum communication channel, and, much more generally, the monotonicity of quantum relative entropy under trace-preserving positive linear maps -- complete positivity of the map need not be assumed. The latter result was first proved by M\"uller-Hermes and Reeb, based on work of Beigi. For a simple application of such monotonicities, we consider any `divergence' that is non-increasing under quantum measurements, such as the concavity of von Neumann entropy, or various known quantum divergences. An elegant argument due to Hiai, Ohya, and Tsukada is used to show that the infimum of such a `divergence' on pairs of quantum states with prescribed trace distance is the same as the corresponding infimum on pairs of binary classical states. Applications of the new integral formulae to the general probabilistic model of information theory, and a related integral formula for the classical R\'enyi divergence, are also discussed.


title: ExpoCloud: a Framework for Time and Budget-Effective Parameter Space Explorations Using a Cloud Compute Engine

abstract: Large parameter space explorations are among the most time consuming yet critically important tasks in many fields of modern research. ExpoCloud enables the researcher to harness cloud compute resources to achieve time and budget-effective large-scale concurrent parameter space explorations. ExpoCloud enables maximal possible levels of concurrency by creating compute instances on-the-fly, saves money by terminating unneeded instances, provides a mechanism for saving both time and money by avoiding the exploration of parameter settings that are as hard or harder than the parameter settings whose exploration timed out. Effective fault tolerance mechanisms make ExpoCloud suitable for large experiments. ExpoCloud provides an interface that allows its use under various cloud environments. As a proof of concept, we implemented a class supporting the Google Compute Engine (GCE). We also implemented a class that simulates a cloud environment on the local machine, thereby facilitating further development of ExpoCloud. The article describes ExpoCloud's features and provides a usage example. The software is well documented and is available under the MIT license.


title: Stochastic dynamical wake modeling for wind farms

abstract: Low-fidelity analytical models of turbine wakes have traditionally been used for wind farm planning, performance evaluation, and demonstrating the utility of advanced control algorithms in increasing the annual energy production. In practice, however, it remains challenging to correctly estimate the flow and achieve significant performance gains using conventional low-fidelity models. This is due to the over-simplified static nature of wake predictions from models that are agnostic to the effects of atmospheric boundary layer turbulence and the complex aerodynamic interactions among wind turbines. To improve the predictive capability of low-fidelity models while remaining amenable to control design, we offer a stochastic dynamical modeling framework for capturing the effect of atmospheric turbulence on the thrust force and power generation as determined by the actuator disk concept. In this approach, we use stochastically forced linear models of the turbulent velocity field to augment the analytically computed wake velocity and achieve consistency with higher-fidelity models in capturing power and thrust force measurements. The power-spectral densities of our stochastic models are identified via convex optimization to ensure consistency with partially available velocity statistics or power and thrust force measurements while preserving model parsimony. We demonstrate the utility of our approach in capturing turbulence intensity variations behind wind turbines and estimating thrust force and power signals generated by large-eddy simulations of the flow over a cascade of turbines. Our results provide insight into the significance of sparse field measurements in recovering the statistical signature of wind farm turbulence using stochastic linear models.


title: Incommensurate magnetic modulation in K-rich cryptomelane, K$_x$Mn$_8$O$_{16}$ ($x\approx1.46$)

abstract: Cryptomelane is a hollandite-like material consisting of K$^+$ cations in an $\alpha$-MnO$_2$ tunnel-like crystallographic motif. A sample with stoichiometry K$_{1.461(4)}$Mn$_8$O$_{16}$ has been synthesised and its magnetic properties investigated using variable-temperature magnetic susceptibility, heat capacity, and neutron powder diffraction. Three distinct magnetic transitions at $184$\,K, $54.5$\,K, and $24$\,K are assigned to K$_{1.461(4)}$Mn$_8$O$_{16}$. Magnetic Bragg peaks emerge below $54.5$\,K, and from their positions they indicate a modulated magnetic structure which is incommensurate with the crystallographic nuclear structure. The model consistent with the data is a dual-$\vec{k}_\mathrm{mag}$ structure with a canted ferrimagnetic $\vec{k}_\mathrm{mag}=0$ component and an incommensurate $\vec{k}_\mathrm{mag}=(0,0,k_z)$ [$k_z=0.36902(15)$] component, with the latter most likely to be of the helical type formerly proposed for this material. Below 24\,K, there is a magnetic transition, which gives rise to a different set of magnetic Bragg peaks indicative of a highly complex magnetic structure.


title: Uniform Estimates for Dirichlet Problems in Perforated Domains

abstract: This paper studies the Dirichlet problem for Laplace's equation in a domain $\Omega_{\varepsilon, \eta}$ perforated with small holes, where $\varepsilon$ represents the scale of the minimal distances between holes and $\eta$ the ratio between the scale of sizes of holes and $\varepsilon$. We establish $W^{1, p}$ estimates for solutions with bounding constants depending explicitly on the small parameters $\varepsilon$ and $\eta$. We also show that these estimates are either optimal or near optimal.


title: Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming

abstract: We present a novel application of Goal-Directed Answer Set Programming that digitizes the model aircraft operator's compliance verification against the Academy of Model Aircrafts (AMA) safety code. The AMA safety code regulates how AMA flyers operate Unmanned Aerial Vehicles (UAVs) for limited recreational purposes. Flying drones and their operators are subject to various rules before and after the operation of the aircraft to ensure safe flights. In this paper, we leverage Answer Set Programming to encode the AMA safety code and automate compliance checks. To check compliance, we use the s(CASP) which is a goal-directed ASP engine. By using s(CASP) the operators can easily check for violations and obtain a justification tree explaining the cause of the violations in human-readable natural language. Further, we implement an algorithm to help the operators obtain the minimal set of conditions that need to be satisfied in order to pass the compliance check. We develop a front-end questionnaire interface that accepts various conditions and use the backend s(CASP) engine to evaluate whether the conditions adhere to the regulations. We also leverage s(CASP) implemented in SWI-Prolog, where SWI-Prolog exposes the reasoning capabilities of s(CASP) as a REST service. To the best of our knowledge, this is the first application of ASP in the AMA and Avionics Compliance and Certification space.


title: Incommensurate Magnetic Order in Hole-Doped Infinite-layer Nickelate Superconductors

abstract: Magnetism and superconductivity are closely entangled, elucidating the magnetic interactions in nickelate superconductors is at the heart of understanding the pairing mechanism. Our first-principles and spin-wave theory calculations highlight that NdNiO$_2$ is in the vicinity of a transition between a quasi-two-dimensional (2D) antiferromagnetic (AFM) state and a three-dimensional (3D) C-AFM state. Both states could accurately reproduce the experimentally measured magnetic excitation spectra, which was previously explained in terms of a 2D model. We further reveal that hole doping stabilizes an incommensurate (IC) spin state and the IC wave vector increases continuously. Direct links between hole doping, magnetization, exchange constants, and magnetic order are established, revealing that the competition between first-neighbor and third-neighbor in-plane magnetic interactions is the key for the IC magnetic order.


title: Design, Implementation, and Performance Evaluation of a Fiber Bragg Gratings(FBG) based Smart Insole to Measure Plantar Pressure and Temperature

abstract: Various foot complications can be easily avoided by continuous monitoring of foot plantar temperature and pressure. In this work, the design, characterization, and implementation of a Fiber Bragg Gratings (FBG) based smart insole capable of simultaneously measuring plantar pressure and temperature has been reported. The instrumented insole was tested and verified during static and gait exercises. The paper also provides a comparison of the developed optoelectronic-based solution with a commercially available and widely used plantar pressure measurement and analysis system and a lab-made, electronic sensor-based smart insole that can measure both plantar temperature and pressure. It was shown that even though the commercially available expensive system is very robust and highly precise due to many sensing units on the insole, the developed insole with a smaller number of sensors can provide both plantar temperature and pressure with reasonable precision while displaying both foot pressure and temperature maps, and gait cycle plots in real-time. The FBG-based solution is comfortable and safer than the other systems being compared. Thus, confirming the effectiveness of the proposed solution as an addition to the research area for detecting foot complications non-invasively using foot insoles.


title: On superfluidity of indirect excitons in transition metals trichalcogenides van der Waals heterostructures

abstract: We predict angle-dependent superfluidity for a new class of 2D materials -- transition metals trichalcogenides (TMTC). Within a mean-field approach superfluidity of indirect excitons in TMTC van der Waals heterostructures (vdWHs) is studied. We use different potentials for charged carriers interaction to analyze the influence of the screening on the studied phenomena. Our study demonstrates the angle-dependent superfluidity temperature in TMTC vdWHs: for a given density a maximum and minimum $T_c$ of superfluidity occurs along chain and $a$-directions, respectively. This work can guide experimental research toward the realization of anisotropic superfluidity in TMTC vdWH. We suggest an experiment for the observation of anisotropic superfluidity in TMTC vdWH.


title: Probing Topological signatures in an optically driven $\alpha$-${T_3}$ Lattice

abstract: The $\alpha$-$T_3$ lattice, an interpolation model between the honeycomb lattice of graphene($\alpha=0$) and the dice lattice($\alpha=1$), undergoes a topological phase transition across $\alpha=1/\sqrt{2}$ when exposed to a circularly polarized off-resonant light. We study Berry phase mediated bulk magnetic and anomalous thermoelectric responses in order to capture the topological signatures of a driven $\alpha$-$T_3$ lattice. It is revealed that both the Berry curvature and the orbital magnetic moment associated with the flat band change their respective signs across $\alpha=1/\sqrt{2}$. The off-resonant light distorts the flat band near the Dirac points when $0<\alpha<1$ which eventually introduces two distinct well separated forbidden gaps of equal width in the quasienergy spectrum. The orbital magnetization varies linearly with the chemical potential, in the forbidden gaps. The slopes of the linear regions in the orbital magnetization are closely related to the respective Chern numbers on either side of $\alpha=1/\sqrt{2}$. We find that the slope for $\alpha>1/\sqrt{2}$ is approximately two times of that for $\alpha<1/\sqrt{2}$ which essentially indicates a topological phase transition across $\alpha=1/\sqrt{2}$. However, the anomalous Nernst coefficient vanishes when the chemical potential is tuned in the forbidden gaps. The anomalous Hall conductivity in the forbidden gap(s) approaches different quantized values on either side of $\alpha=1/\sqrt{2}$. All these topological signatures can be observed experimentally.


title: Probabilistic deconstruction of a theory of gravity, Part II: curved space

abstract: We propose that the underlying context of holographic duality and the Ryu-Takayanagi formula is that the volume measure of spacetime is a probability measure constrained by quantum dynamics. We define quantum stochastic processes using joint quantum distributions which are realized in a quantum system as expectation values of products of projectors. In anti-de Sitter JT gravity, we show that Einstein's equations arise from the evolution of probability under the quantum stochastic process induced by the boundary, with the area of compactified space in the gravitational theory identified as a probability density evolving under the quantum process. Extrapolating these and related results in flat JT gravity found in arXiv:2108.10916, we conjecture that general relativity arises in the semi-classical limit of the evolution of probability with respect to quantum stochastic processes.

categories: hep-th cond-mat.str-el gr-qc math.PR quant-ph


title: Unions of exponential Riesz bases

abstract: We develop new methods for constructing exponential Riesz bases by taking unions of exponential Riesz bases. These methods are based on taking unions of frequency sets and domains respectively and therefore allow easy construction. Together with examples that illustrate our methods, we also provide several examples showing the delicate nature of exponential Riesz bases.


title: Extremal statistics of quadratic forms of GOE/GUE eigenvectors

abstract: We consider quadratic forms of deterministic matrices $A$ evaluated at the random eigenvectors of a large $N \times N$ GOE or GUE matrix, or equivalently evaluated at the columns of a Haar-orthogonal or Haar-unitary random matrix. We prove that, as long as the deterministic matrix has rank much smaller than $\sqrt{N}$, the distributions of the extrema of these quadratic forms are asymptotically the same as if the eigenvectors were independent Gaussians. This reduces the problem to Gaussian computations, which we carry out in several cases to illustrate our result, finding Gumbel or Weibull limiting distributions depending on the signature of $A$. Our result also naturally applies to the eigenvectors of any invariant ensemble.


title: The postperovskite transition in Fe- and Al-bearing bridgmanite: effects on seismic observables

abstract: The primary phase of the Earth's lower mantle, (Al, Fe)-bearing bridgmanite, transitions to the postperovskite (PPv) phase at Earth's deep mantle conditions. Despite extensive experimental and ab initio investigations, there are still important aspects of this transformation that need clarification. Here, we address this transition in (Al3+, Fe3+)-, (Al3+)-, (Fe2+)-, and (Fe3+)-bearing bridgmanite using ab initio calculations and validate our results against experiments on similar compositions. Consistent with experiments, our results show that the onset transition pressure and the width of the two-phase region depend distinctly on the chemical composition: a) Fe3+-, Al3+-, or (Al3+, Fe3+)-alloying increases the transition pressure, while Fe2+-alloying has the opposite effect; b) in the absence of coexisting phases, the pressure-depth range of the Pv-PPv transition seems quite broad to cause a sharp D" discontinuity (< 30 km); c) the average Clapeyron slope of the two-phase regions are consistent with previous measurements, calculations in MgSiO3, and inferences from seismic data. In addition, d) we observe a softening of the bulk modulus in the two-phase region. The consistency between our results and experiments gives us the confidence to proceed and examine this transition in aggregates with different compositions computationally, which will be fundamental for resolving the most likely chemical composition of the D" region by analyses of tomographic images.


title: Contrastive Audio-Language Learning for Music

abstract: As one of the most intuitive interfaces known to humans, natural language has the potential to mediate many tasks that involve human-computer interaction, especially in application-focused fields like Music Information Retrieval. In this work, we explore cross-modal learning in an attempt to bridge audio and language in the music domain. To this end, we propose MusCALL, a framework for Music Contrastive Audio-Language Learning. Our approach consists of a dual-encoder architecture that learns the alignment between pairs of music audio and descriptive sentences, producing multimodal embeddings that can be used for text-to-audio and audio-to-text retrieval out-of-the-box. Thanks to this property, MusCALL can be transferred to virtually any task that can be cast as text-based retrieval. Our experiments show that our method performs significantly better than the baselines at retrieving audio that matches a textual description and, conversely, text that matches an audio query. We also demonstrate that the multimodal alignment capability of our model can be successfully extended to the zero-shot transfer scenario for genre classification and auto-tagging on two public datasets.


title: On the main distance-based entropies: the eccentricity- and Wiener-entropy

abstract: We define the Wiener-entropy, which is together with the eccentricity-entropy one of the most natural distance-based graph entropies. By deriving the (asymptotic) extremal behaviour, we conclude that the Wiener-entropy of graphs of a given order is more spread than is the case for the eccentricity-entropy. We solve $3$ conjectures on the eccentricity-entropy and give a conjecture on the Wiener-entropy related to some surprising behaviour on the graph minimizing it.


title: Learning Relational Causal Models with Cycles through Relational Acyclification

abstract: In real-world phenomena which involve mutual influence or causal effects between interconnected units, equilibrium states are typically represented with cycles in graphical models. An expressive class of graphical models, relational causal models, can represent and reason about complex dynamic systems exhibiting such cycles or feedback loops. Existing cyclic causal discovery algorithms for learning causal models from observational data assume that the data instances are independent and identically distributed which makes them unsuitable for relational causal models. At the same time, causal discovery algorithms for relational causal models assume acyclicity. In this work, we examine the necessary and sufficient conditions under which a constraint-based relational causal discovery algorithm is sound and complete for cyclic relational causal models. We introduce relational acyclification, an operation specifically designed for relational models that enables reasoning about the identifiability of cyclic relational causal models. We show that under the assumptions of relational acyclification and $\sigma$-faithfulness, the relational causal discovery algorithm RCD (Maier et al. 2013) is sound and complete for cyclic models. We present experimental results to support our claim.


title: LIDA - The Leiden Ice Database for Astrochemistry

abstract: High quality vibrational spectra of solid-phase molecules in ice mixtures and for temperatures of astrophysical relevance are needed to interpret infrared observations toward protostars and background stars. Over the last 25 years, the Laboratory for Astrophysics at Leiden Observatory has provided more than 1100 spectra of diverse ice samples. Timely with the recent launch of the James Webb Space Telescope, we have fully upgraded the Leiden Ice Database for Astrochemistry (LIDA) adding recently measured spectra. The goal of this manuscript is to describe what options exist to get access to and work with a large collection of IR spectra, and the UV/vis to mid-infrared refractive index of H2O ice and astronomy-oriented online tools to support the interpretation of IR ice observations. LIDA uses Flask and Bokeh for generating the web pages and graph visualization, respectively, SQL for searching ice analogues within the database and Jmol for 3D molecule visualization. The infrared data in the database are recorded via transmission spectroscopy of ice films condensed on cryogenic substrates. The real UV/vis refractive indices of H2O ice are derived from interference fringes created from the simultaneous use of a monochromatic HeNe laser beam and a broadband Xe-arc lamp, whereas the real and imaginary mid-IR values are theoretically calculated. LIDA also offers online tools. The first tool, SPECFY, used to create a synthetic spectrum of ices towards protostars. The second tool aims at the calculation of mid-infrared refractive index values. LIDA allows to search, download and visualize experimental data of astrophysically relevant molecules in the solid phase, as well as to provide the means to support astronomical observations. As an example, we analyse the spectrum of the protostar AFGL 989 using the resources available in LIDA and derive the column densities of H2O, CO and CO2 ices.

categories: astro-ph.IM astro-ph.EP astro-ph.GA astro-ph.SR


title: Sustaining Fairness via Incremental Learning

abstract: Machine learning systems are often deployed for making critical decisions like credit lending, hiring, etc. While making decisions, such systems often encode the user's demographic information (like gender, age) in their intermediate representations. This can lead to decisions that are biased towards specific demographics. Prior work has focused on debiasing intermediate representations to ensure fair decisions. However, these approaches fail to remain fair with changes in the task or demographic distribution. To ensure fairness in the wild, it is important for a system to adapt to such changes as it accesses new data in an incremental fashion. In this work, we propose to address this issue by introducing the problem of learning fair representations in an incremental learning setting. To this end, we present Fairness-aware Incremental Representation Learning (FaIRL), a representation learning system that can sustain fairness while incrementally learning new tasks. FaIRL is able to achieve fairness and learn new tasks by controlling the rate-distortion function of the learned representations. Our empirical evaluations show that FaIRL is able to make fair decisions while achieving high performance on the target task, outperforming several baselines.


title: Local null-controllability of a system coupling Kuramoto-Sivashinsky-KdV and elliptic equations

abstract: This paper deals with the null-controllability of a system of mixed parabolic-elliptic pdes at any given time $T>0$. More precisely, we consider the Kuramoto-Sivashinsky--Korteweg-de Vries equation coupled with a second order elliptic equation posed in the interval $(0,1)$. We first show that the linearized system is globally null-controllable by means of a localized interior control acting on either the KS-KdV or the elliptic equation. Using the Carleman approach we provide the existence of a control with the explicit cost $Ke^{K/T}$ with some constant $K>0$ independent in $T$. Then, applying the source term method and the Banach fixed point argument, we conclude the small-time local null-controllability result of the nonlinear systems. Besides, we also established a uniform null-controllability result for an asymptotic two-parabolic system (fourth and second order) that converges to the concerned parabolic-elliptic model when the control is acting on the second order pde.


title: Cloud Process Execution Engine: Architecture and Interfaces

abstract: Process Execution Engines are a vital part of Business Process Management (BPM) and Manufacturing Orchestration Management (MOM), as they allow the business or manufacturing logic (expressed in a graphical notation such as BPMN) to be executed. This execution drives and supervises all interactions between humans, machines, software, and the environment. If done right, this will lead to a highly flexible, low-code, and easy to maintain solution, that allows for ad-hoc changes and functional evolution, as well as delivering a wealth of data for data-science applications. The Cloud Process Execution Engine CPEE.org implements a radically distributed scale-out architecture, together with a minimal set of interfaces, to allow for the simplest possible integration with existing services, machines, and existing data-analysis tools. Its open-source components can serve as a blueprint for future development of commercial solutions, and serves as a proven testbed for academic research, teaching, and industrial application since 2008. In this paper we present the architecture, interfaces that make CPEE.org possible, as well as discuss different lifecycle models utilized during execution to provide overarching support for a wide range of data-analysis tasks.


title: A conditional scaling limit of the KPZ fixed point with height tending to infinity at one location

abstract: We consider the asymptotic behavior of the KPZ fixed point $\{\mathsf H(x,t)\}_{x\in\mathbb R, t>0}$ conditioned on $\mathsf H(0,T)=L$ as $L$ goes to infinity. The main result is a conditional limit theorem for the fluctuations of $\mathsf H$ in the region near the line segment connecting the origin $(0,0)$ and $(0,T)$ for both step and flat initial conditions. The limit random field can be represented as a functional of two independent Brownian bridges, and in addition the limit random field depends also on the initial law of the KPZ fixed point. In particular for temporal fluctuations, the limit process indexed by line segment between $(0,0)$ and $(0,T)$, when the KPZ is with step initial condition, has the law of the minimum of two independent Brownian bridges; and when the KPZ is with flat initial condition the limit process has the law of the minimum of two independent Brownian bridges, each in addition perturbed by a common Gaussian random variable. For spatial-temporal fluctuations, the conditional limit theorem sheds light on the asymptotic behaviors of the point-to-point geodesic of the directed landscape conditioned on its length and as the length tends to infinity.


title: Passive Triangulation Attack on ORide

abstract: Privacy preservation in Ride Hailing Services is intended to protect privacy of drivers and riders. ORide is one of the early RHS proposals published at USENIX Security Symposium 2017. In the ORide protocol, riders and drivers, operating in a zone, encrypt their locations using a Somewhat Homomorphic Encryption scheme (SHE) and forward them to the Service Provider (SP). SP homomorphically computes the squared Euclidean distance between riders and available drivers. Rider receives the encrypted distances and selects the optimal rider after decryption. In order to prevent a triangulation attack, SP randomly permutes the distances before sending them to the rider. In this work, we use propose a passive attack that uses triangulation to determine coordinates of all participating drivers whose permuted distances are available from the points of view of multiple honest-but-curious adversary riders. An attack on ORide was published at SAC 2021. The same paper proposes a countermeasure using noisy Euclidean distances to thwart their attack. We extend our attack to determine locations of drivers when given their permuted and noisy Euclidean distances from multiple points of reference, where the noise perturbation comes from a uniform distribution. We conduct experiments with different number of drivers and for different perturbation values. Our experiments show that we can determine locations of all drivers participating in the ORide protocol. For the perturbed distance version of the ORide protocol, our algorithm reveals locations of about 25% to 50% of participating drivers. Our algorithm runs in time polynomial in number of drivers.


title: Alleviating Search Bias in Bayesian Evolutionary Optimization with Many Heterogeneous Objectives

abstract: Multi-objective optimization problems whose objectives have different evaluation costs are commonly seen in the real world. Such problems are now known as multi-objective optimization problems with heterogeneous objectives (HE-MOPs). So far, however, only a few studies have been reported to address HE-MOPs, and most of them focus on bi-objective problems with one fast objective and one slow objective. In this work, we aim to deal with HE-MOPs having more than two black-box and heterogeneous objectives. To this end, we develop a multi-objective Bayesian evolutionary optimization approach to HE-MOPs by exploiting the different data sets on the cheap and expensive objectives in HE-MOPs to alleviate the search bias caused by the heterogeneous evaluation costs for evaluating different objectives. To make the best use of two different training data sets, one with solutions evaluated on all objectives and the other with those only evaluated on the fast objectives, two separate Gaussian process models are constructed. In addition, a new acquisition function that mitigates search bias towards the fast objectives is suggested, thereby achieving a balance between convergence and diversity. We demonstrate the effectiveness of the proposed algorithm by testing it on widely used multi-/many-objective benchmark problems whose objectives are assumed to be heterogeneously expensive.


title: SONAR: Joint Architecture and System Optimization Search

abstract: There is a growing need to deploy machine learning for different tasks on a wide array of new hardware platforms. Such deployment scenarios require tackling multiple challenges, including identifying a model architecture that can achieve a suitable predictive accuracy (architecture search), and finding an efficient implementation of the model to satisfy underlying hardware-specific systems constraints such as latency (system optimization search). Existing works treat architecture search and system optimization search as separate problems and solve them sequentially. In this paper, we instead propose to solve these problems jointly, and introduce a simple but effective baseline method called SONAR that interleaves these two search problems. SONAR aims to efficiently optimize for predictive accuracy and inference latency by applying early stopping to both search processes. Our experiments on multiple different hardware back-ends show that SONAR identifies nearly optimal architectures 30 times faster than a brute force approach.


title: Note on the Chowla Conjecture and the Discrete Fourier Transform

abstract: Let $x\geq 1$ be a large integer, and let $a_0<a_1<\cdots<a_{k-1}$ be a small fixed integer $k$-tuple, and let $\mu(n)\in\{-1,0,1\}$ be the periodic Mobius function. This note shows that discrete Fourier transform analysis produces a simple solution of the periodic Chowla conjecture. More precisely, it leads to an asymptotic formula of the form $\sum_{n \leq x} \mu(n+a_0) \mu(n+a_1)\cdots\mu(n+a_{k-1}) =O\left( x(\log x)^{-c}\right)$, where $c>0$ is an arbitrary constant.


title: On adiabatic theory for extended fermionic lattice systems

abstract: We review recent results on adiabatic theory for ground states of extended gapped fermionic lattice systems under several different assumptions. More precisely, we present generalized super-adiabatic theorems for extended but finite as well as infinite systems, assuming either a uniform gap or a gap in the bulk above the unperturbed ground state. The goal of this note is to provide an overview of these adiabatic theorems and briefly outline the main ideas and techniques required in their proofs.

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


title: Controllable particle migration in liquid crystal flows

abstract: We observe novel positional control of a colloidal particle in microchannel flow of a nematic liquid crystal. Lattice Boltzmann simulations show multiple equilibrium particle positions, the existence and position of which are tunable using the driving pressure, in direct contrast to the classical Segre-Silberberg effect in isotropic liquids. In addition, particle migration in nematic flow occurs an order of magnitude faster. These new equilibria are determined through a balance of elastic forces, hydrodynamic lift and drag as well as order-flow interactions through the defect structure around the particle.


title: Precise predictions and new insights for atomic ionisation from the Migdal effect

abstract: The scattering of neutral particles by an atomic nucleus can lead to electronic ionisation and excitation through a process known as the Migdal effect. We revisit and improve upon previous calculations of the Migdal effect, using the Dirac-Hartree-Fock method to calculate the atomic wavefunctions. Our methods do not rely on the use of the dipole approximation, allowing us to present robust results for higher nuclear recoil velocities than was previously possible. Our calculations provide the theoretical foundations for future measurements of the Migdal effect using neutron sources, and searches for dark matter in direct detection experiments. We show that multiple ionisation must be taken into account in experiments with fast neutrons, and derive the semi-inclusive probability for processes that yield a hard electron above a defined energy threshold. We present results for the noble elements up to and including xenon, as well as carbon, fluorine, silicon and germanium. The transition probabilities from our calculations are publicly available.


title: SAP Signavio Academic Models: A Large Process Model Dataset

abstract: In this paper, we introduce the SAP Signavio Academic Models (SAP-SAM) dataset, a collection of hundreds of thousands of business models, mainly process models in BPMN notation. The model collection is a subset of the models that were created over the course of roughly a decade on academic.signavio.com, a free-of-charge software-as-a-service platform that researchers, teachers, and students can use to create business (process) models. We provide a preliminary analysis of the model collection, as well as recommendations on how to work with it. In addition, we discuss potential use cases and limitations of the model collection from academic and industry perspectives.


title: Repairing Activity Start Times to Improve Business Process Simulation

abstract: Business Process Simulation (BPS) is a common technique to estimate the impact of business process changes, e.g. what would be the cycle time of a process if the number of traces increases? The starting point of BPS is a business process model annotated with simulation parameters (a BPS model). Several studies have proposed methods to automatically discover BPS models from event logs -- extracted from enterprise information systems -- via process mining techniques. These approaches model the processing time of each activity based on the start and end timestamps recorded in the event log. In practice, however, it is common that the recorded start times do not precisely reflect the actual start of the activities. For example, a resource starts working on an activity, but its start time is not recorded until she/he interacts with the system. If not corrected, these situations induce waiting times in which the resource is considered to be free, while she/he is actually working. To address this limitation, this article proposes a technique to identify the waiting time previous to each activity instance in which the resource is actually working on them, and repair their start time so that they reflect the actual processing time. The idea of the proposed technique is that, as far as simulation is concerned, an activity instance may start once it is enabled and the corresponding resource is available. Accordingly, for each activity instance, the proposed technique estimates the activity enablement and the resource availability time based on the information available in the event log, and repairs the start time to include the non-recorded processing time. An empirical evaluation involving eight real-life event logs shows that the proposed approach leads to BPS models that closely reflect the temporal dynamics of the process.


title: Instance generation tool for on-demand transportation problems

abstract: We present REQreate, a tool to generate instances for on-demand transportation problems. Such problems consist of optimizing the routes of vehicles according to passengers' demand for transportation under space and time restrictions (requests). REQreate is flexible and can be configured to generate instances for a large number of problems in this problem class. In this paper, we demonstrate this by generating instances for the Dial-a-Ride Problem (DARP) and On-demand Bus Routing Problem (ODBRP). In most of the literature, researchers either test their algorithms with instances based on artificial networks or perform real-life case studies on instances derived from a specific city or region. Furthermore, locations of requests for on-demand transportation problems are mostly randomly chosen according to a uniform distribution. The aim of REQreate is to overcome these non-realistic and overfitting shortcomings. Rather than relying on either artificial or limited data, we retrieve real-world street networks from OpenStreetMaps (OSM). To the best of our knowledge, this is the first tool to make use of real-life networks to generate instances for an extensive catalogue of existing and upcoming on-demand transportation problems. Additionally, we present a simple method that can be embedded in the instance generation process to produce distinct urban mobility patterns. We perform an analysis with real life datasets reported by rideshare companies and compare them with properties of synthetic instances generated with REQreate. Another contribution of this work is the introduction of the concept of instance similarity that serves as support to create diverse benchmark sets, in addition to properties (size, dynamism, urgency and geographic dispersion) that could be used to comprehend what affects the performance of algorithms.


title: Lifelong Learning for Neural powered Mixed Integer Programming

abstract: Mixed Integer programs (MIPs) are typically solved by the Branch-and-Bound algorithm. Recently, Learning to imitate fast approximations of the expert strong branching heuristic has gained attention due to its success in reducing the running time for solving MIPs. However, existing learning-to-branch methods assume that the entire training data is available in a single session of training. This assumption is often not true, and if the training data is supplied in continual fashion over time, existing techniques suffer from catastrophic forgetting. In this work, we study the hitherto unexplored paradigm of Lifelong Learning to Branch on Mixed Integer Programs. To mitigate catastrophic forgetting, we propose LIMIP, which is powered by the idea of modeling an MIP instance in the form of a bipartite graph, which we map to an embedding space using a bipartite Graph Attention Network. This rich embedding space avoids catastrophic forgetting through the application of knowledge distillation and elastic weight consolidation, wherein we learn the parameters key towards retaining efficacy and are therefore protected from significant drift. We evaluate LIMIP on a series of NP-hard problems and establish that in comparison to existing baselines, LIMIP is up to 50% better when confronted with lifelong learning.


title: Community Detection in the Hypergraph SBM: Exact Recovery Given the Similarity Matrix

abstract: Community detection is a fundamental problem in network science. In this paper, we consider community detection in hypergraphs drawn from the $hypergraph$ $stochastic$ $block$ $model$ (HSBM), with a focus on exact community recovery. We study the performance of polynomial-time algorithms which operate on the $similarity$ $matrix$ $W$, where $W_{ij}$ reports the number of hyperedges containing both $i$ and $j$. Under this information model, while the precise information-theoretic limit is unknown, Kim, Bandeira, and Goemans derived a sharp threshold up to which the natural min-bisection estimator on $W$ succeeds. As min-bisection is NP-hard in the worst case, they additionally proposed a semidefinite programming (SDP) relaxation and conjectured that it achieves the same recovery threshold as the min-bisection estimator. In this paper, we confirm this conjecture. We also design a simple and highly efficient spectral algorithm with nearly linear runtime and show that it achieves the min-bisection threshold. Moreover, the spectral algorithm also succeeds in denser regimes and is considerably more efficient than previous approaches, establishing it as the method of choice. Our analysis of the spectral algorithm crucially relies on strong $entrywise$ bounds on the eigenvectors of $W$. Our bounds are inspired by the work of Abbe, Fan, Wang, and Zhong, who developed entrywise bounds for eigenvectors of symmetric matrices with independent entries. Despite the complex dependency structure in similarity matrices, we prove similar entrywise guarantees.


title: Robust polaritons in magnetic monolayers of CrI3

abstract: We show that the regime of strong-light matter coupling with remarkable magnetic properties can be realized in systems based on monolayers of chromium triiodide (CrI3). This two-dimensional material combines the presence of ferromagnetic ordering with the possibility of forming strongly-bound excitonic complexes even at room temperature. Using microscopic first-principle calculations we reveal a rich spectrum of optical transitions, corresponding to both Wannier- and Frenkel-type excitons, including those containing electrons with a negative effective mass. We show that excitons of different polarizations efficiently hybridize with a photonic mode of a planar microcavity, and due to the peculiar selection rules polariton modes become well resolved in circular polarizations. The combination of very strong optical oscillator strength of excitons and cavity confinement leads to large values of the Rabi splitting, reaching 35 meV for a single monolayer, and giant Zeeman splitting between polariton modes of up to 20 meV. This makes CrI3 an excellent platform for magnetopolaritonic applications.


title: Swampland dS conjecture in Mimetic $f(R, T)$ gravity

abstract: In this paper, we study a theory of gravity called mimetic $f(R, T)$ in the presence of swampland dS conjecture. For this purpose, we introduce several inflation solutions of the Hubble parameter H(N) from $f(R, T)= R+\delta T$ gravity model, in which R is Ricci scalar, and T denotes the trace of the energy-momentum tensor. Also, $\delta$ and $N$ are the free parameter and a number of e-fold, respectively. Then we calculate quantities such as potential, Lagrange multiplier, slow-roll, and some cosmological parameters such as $n_{s}$ and $r$. Then we challenge the mentioned inflationary model from the swampland dS conjecture. We discuss the stability of the model and investigate the compatibility or incompatibility of this inflationary scenario with the latest Planck observable data.


title: Semantic Preserving Adversarial Attack Generation with Autoencoder and Genetic Algorithm

abstract: Widely used deep learning models are found to have poor robustness. Little noises can fool state-of-the-art models into making incorrect predictions. While there is a great deal of high-performance attack generation methods, most of them directly add perturbations to original data and measure them using L_p norms; this can break the major structure of data, thus, creating invalid attacks. In this paper, we propose a black-box attack, which, instead of modifying original data, modifies latent features of data extracted by an autoencoder; then, we measure noises in semantic space to protect the semantics of data. We trained autoencoders on MNIST and CIFAR-10 datasets and found optimal adversarial perturbations using a genetic algorithm. Our approach achieved a 100% attack success rate on the first 100 data of MNIST and CIFAR-10 datasets with less perturbation than FGSM.


title: Controlling collective dynamical states of mesoscale brain networks with local perturbations

abstract: Oscillatory synchrony is hypothesized to support the flow of information between brain regions, with different phase-locked configurations enabling activation of different effective interactions. Along these lines, past work has proposed multistable phase-locking as a means for hardwired brain networks to flexibly support multiple functional patterns, without having to reconfigure their anatomical connections. Given the potential link between interareal communication and phase-locked states, it is thus important to understand how those states might be controlled to achieve rapid alteration of functional connectivity in interareal circuits. Here, we study functional state control in small networks of coupled neural masses that display collective multistability under determinstic conditions, and that display more biologically-realistic irregular oscillations and transient phase-locking when conditions are stochastic. In particular, we investigate the global responses of these mesoscale circuits to external signals that target only a single subunit. Focusing mainly on the more realistic scenario wherein network dynamics are stochastic, we identify conditions under which local inputs (i) can trigger fast transitions to topologically distinct functional connectivity motifs that are temporarily stable ("state switching"), (ii) can smoothly adjust the spatial pattern of phase-relations for a particular set of lead-lag relationships ("state morphing"), and (iii) fail to regulate global phase-locking states. In total, our results add to a growing literature highlighting that the modulation of multistable, interareal coherence patterns could provide a basis for flexible brain network operation.


title: A survey, review, and future trends of skin lesion segmentation and classification

abstract: The Computer-aided Diagnosis or Detection (CAD) approach for skin lesion analysis is an emerging field of research that has the potential to alleviate the burden and cost of skin cancer screening. Researchers have recently indicated increasing interest in developing such CAD systems, with the intention of providing a user-friendly tool to dermatologists to reduce the challenges encountered or associated with manual inspection. This article aims to provide a comprehensive literature survey and review of a total of 594 publications (356 for skin lesion segmentation and 238 for skin lesion classification) published between 2011 and 2022. These articles are analyzed and summarized in a number of different ways to contribute vital information regarding the methods for the development of CAD systems. These ways include relevant and essential definitions and theories, input data (dataset utilization, preprocessing, augmentations, and fixing imbalance problems), method configuration (techniques, architectures, module frameworks, and losses), training tactics (hyperparameter settings), and evaluation criteria. We intend to investigate a variety of performance-enhancing approaches, including ensemble and post-processing. We also discuss these dimensions to reveal their current trends based on utilization frequencies. In addition, we highlight the primary difficulties associated with evaluating skin lesion segmentation and classification systems using minimal datasets, as well as the potential solutions to these difficulties. Findings, recommendations, and trends are disclosed to inform future research on developing an automated and robust CAD system for skin lesion analysis.


title: Unitarity Cuts of the Worldsheet

abstract: We compute the imaginary parts of genus-one string scattering amplitudes. Following Witten's $i\varepsilon$ prescription for the integration contour on the moduli space of worldsheets, we give a general algorithm for computing unitarity cuts of the annulus, M\"obius strip, and torus topologies exactly in $\alpha'$. With the help of tropical analysis, we show how the intricate pattern of thresholds (normal and anomalous) opening up arises from the worldsheet computation. The result is a manifestly-convergent representation of the imaginary parts of amplitudes, which has the analytic form expected from Cutkosky rules in field theory, but bypasses the need for performing laborious sums over the intermediate states. We use this representation to study various physical aspects of string amplitudes, including their behavior in the $(s,t)$ plane, exponential suppression, decay widths of massive strings, total cross section, and low-energy expansions. We find that planar annulus amplitudes exhibit a version of low-spin dominance: at any finite energy, only a finite number of low partial-wave spins give an appreciable contribution to the imaginary part.


title: Asymmetric Dark Matter Abundance Including Non-thermal production

abstract: We investigate the relic abundance of asymmetric Dark Matter where the asymmetric Dark Matter is non--thermally produced from the decay of heavier particles in addition to the usual thermal production. We discuss the relic density of asymmetric Dark Matter including the decay of heavy particles in low temperature scenario. Here we still assume the universe is radiation dominated and there is asymmetry before the decay of heavy particles. We obtained increased abundances of asymmetric Dark Matter when there is additional contribution from the decay of heavier particles. Finally we find the constraints on the asymmetry factor and annihilation cross section using the Planck data.


title: Chiral Phonons with Giant Magnetic Moments in a Topological Crystalline Insulator

abstract: We have studied the magnetic response of transverse optical phonons in Pb$_{1-x}$Sn$_{x}$Te films. Polarization-dependent terahertz magnetospectroscopy measurements revealed Zeeman splittings and diamagnetic shifts, demonstrating that these phonon modes become chiral in magnetic fields. Films in the topological crystalline insulator phase ($x > 0.32$) exhibited magnetic moment values that are larger than those for topologically trivial films ($x < 0.32$) by two orders of magnitude. Furthermore, the sign of the effective $g$-factor was opposite in the two phases, which can be explained by our theoretical model. These results strongly indicate the existence of interplay between the magnetic properties of chiral phonons and the topology of electronic band structure.


title: Towards A Complete Multi-Agent Pathfinding Algorithm For Large Agents

abstract: Multi-agent pathfinding (MAPF) is a challenging problem which is hard to solve optimally even when simplifying assumptions are adopted, e.g. planar graphs (typically -- grids), discretized time, uniform duration of move and wait actions etc. On the other hand, MAPF under such restrictive assumptions (also known as the Classical MAPF) is equivalent to the so-called pebble motion problem for which non-optimal polynomial time algorithms do exist. Recently, a body of works emerged that investigated MAPF beyond the basic setting and, in particular, considered agents of arbitrary size and shape. Still, to the best of our knowledge no complete algorithms for such MAPF variant exists. In this work we attempt to narrow this gap by considering MAPF for large agents and suggesting how this problem can be reduced to pebble motion on (general) graphs. The crux of this reduction is the procedure that moves away the agents away from the edge which is needed to perform a move action of the current agent. We consider different variants of how this procedure can be implemented and present a variant of the pebble motion algorithm which incorporates this procedure. Unfortunately, the algorithm is still incomplete, but empirically we show that it is able to solve much more MAPF instances (under the strict time limit) with large agents on arbitrary non-planar graphs (roadmaps) compared to the state-of-the-art MAPF solver -- Continous Conflict-Based Search (CCBS).


title: Optimal estimates for transmission problems including relative conductivities with different signs

abstract: We study the gradient and higher order derivative estimates for the transmission problem in the presence of closely located inclusions. We show that in two dimensions, when relative conductivities of circular inclusions have different signs, the gradient and higher order derivatives are bounded independent of $\varepsilon$, the distance between the inclusions. We also show that for general smooth strictly convex inclusions, when one inclusion is an insulator and the other one is a perfect conductor, the derivatives of any order is bounded independent of $\varepsilon$ in any dimensions $n \ge 2$.


title: Supervised Contrastive Learning for Affect Modelling

abstract: Affect modeling is viewed, traditionally, as the process of mapping measurable affect manifestations from multiple modalities of user input to affect labels. That mapping is usually inferred through end-to-end (manifestation-to-affect) machine learning processes. What if, instead, one trains general, subject-invariant representations that consider affect information and then uses such representations to model affect? In this paper we assume that affect labels form an integral part, and not just the training signal, of an affect representation and we explore how the recent paradigm of contrastive learning can be employed to discover general high-level affect-infused representations for the purpose of modeling affect. We introduce three different supervised contrastive learning approaches for training representations that consider affect information. In this initial study we test the proposed methods for arousal prediction in the RECOLA dataset based on user information from multiple modalities. Results demonstrate the representation capacity of contrastive learning and its efficiency in boosting the accuracy of affect models. Beyond their evidenced higher performance compared to end-to-end arousal classification, the resulting representations are general-purpose and subject-agnostic, as training is guided though general affect information available in any multimodal corpus.


title: Asymmetric particle-antiparticle Dirac equation: second quantization

abstract: We build the fully relativistic quantum field theory related to the asymmetric Dirac fields. These fields are solutions of the asymmetric Dirac equation, a Lorentz covariant Dirac-like equation whose positive and "negative" frequency plane wave solutions' dispersion relations are no longer degenerate. At the second quantization level, we show that this implies that particles and antiparticles sharing the same wave number have different energies and momenta. In spite of that, we prove that by properly fixing the values of the relativistic invariants that define the asymmetric Dirac free field Lagrangian density, we can build a consistent, fully relativistic, and renormalizable quantum electrodynamics (QED) that is empirically equivalent to the standard QED. We discuss the reasons and implications of this non-trivial equivalence, exploring qualitatively other scenarios in which the asymmetric Dirac fields may lead to beyond the standard model predictions. We conjecture that this non-degeneracy in the energies for particles and antiparticles may lead to a fully relativistic understanding of the asymmetry between matter and antimatter in the present day universe as well as to an alternative way of modeling the gravitational interaction between a particle and an antiparticle. We give a complete account of how the asymmetric Dirac fields and the corresponding annihilation and creation operators transform under improper Lorentz transformations (parity and time reversal operations) and under the charge conjugation operation. We also prove that the present theory respects the CPT theorem.


title: Rigidity on non-negative intermediate curvature

abstract: In a recent work of Brendle-Hirsch-Johne, a notion of intermediate curvature was introduced to extend the classical non-existence theorem of positive scalar curvature on torus to product manifolds. In this work, we study the rigidity when the intermediate curvature is only non-negative when the ambient dimension is at most $5$.


title: Observation of the hindered electromagnetic Dalitz decay $\psi(3686) \to e^+ e^- \eta_c$

abstract: Using a data sample of $(448.1 \pm 2.9)\times10^6 ~\psi(3686)$ decays collected at an $e^+ e^-$ center-of-mass energy of $3.686~\rm{GeV}$ by the BESIII detector at BEPCII, we report an observation of the hindered electromagnetic Dalitz decay $\psi(3686) \to e^+ e^- \eta_c$ with a significance of $7.9\sigma$. The branching fraction is determined to be $\mathcal{B} (\psi(3686) \to e^+ e^- \eta_c) = (3.77 \pm 0.40_{\rm stat.} \pm 0.18_{\rm syst.})\times 10^{-5}$, agreeing well with the prediction of the vector meson dominance model. This is the first measurement of the electromagnetic Dalitz transition between the $\psi(3686)$ and the $\eta_c$, which provides new insight into the electromagnetic properties of this decay, and offers new opportunities to measure the absolute branching fractions of $\eta_c$ decays.


title: DreamBooth: Fine Tuning Text-to-Image Diffusion Models for Subject-Driven Generation

abstract: Large text-to-image models achieved a remarkable leap in the evolution of AI, enabling high-quality and diverse synthesis of images from a given text prompt. However, these models lack the ability to mimic the appearance of subjects in a given reference set and synthesize novel renditions of them in different contexts. In this work, we present a new approach for "personalization" of text-to-image diffusion models. Given as input just a few images of a subject, we fine-tune a pretrained text-to-image model such that it learns to bind a unique identifier with that specific subject. Once the subject is embedded in the output domain of the model, the unique identifier can be used to synthesize novel photorealistic images of the subject contextualized in different scenes. By leveraging the semantic prior embedded in the model with a new autogenous class-specific prior preservation loss, our technique enables synthesizing the subject in diverse scenes, poses, views and lighting conditions that do not appear in the reference images. We apply our technique to several previously-unassailable tasks, including subject recontextualization, text-guided view synthesis, and artistic rendering, all while preserving the subject's key features. We also provide a new dataset and evaluation protocol for this new task of subject-driven generation. Project page: https://dreambooth.github.io/


title: Evidence of Kardar-Parisi-Zhang scaling on a digital quantum simulator

abstract: Understanding how hydrodynamic behaviour emerges from the unitary evolution of the many-particle Schr\"odinger equation is a central goal of non-equilibrium statistical mechanics. In this work we implement a digital simulation of the discrete time quantum dynamics of a spin-$\frac{1}{2}$ XXZ spin chain on a noisy near-term quantum device, and we extract the high temperature transport exponent at the isotropic point. We simulate the temporal decay of the relevant spin correlation function at high temperature using a pseudo-random state generated by a random circuit that is specifically tailored to the ibmq-montreal $27$ qubit device. The resulting output is a spin excitation on a highly inhomogeneous background. From the subsequent discrete time dynamics on the device we are able to extract an anomalous super-diffusive exponent consistent with the conjectured Kardar-Parisi-Zhang (KPZ) scaling at the isotropic point. Furthermore we simulate the restoration of spin diffusion with the application of an integrability breaking potential.


title: On Length Spectrum Rigidity of Dispersing Billiard Systems

abstract: We consider the class of dispersing billiard systems in the plane formed by removing three convex analytic scatterers satisfying the non-eclipse condition. The collision map in this system is conjugated to a subshift, providing a natural labeling of periodic points. We study the problem of marked length spectrum rigidity for this class of systems. We show that two such systems have the same marked length spectrum if and only if their collision maps are analytically conjugate to each other near a homoclinic orbit and that two scatterers and the marked length spectrum together uniquely determine the third scatterer.


title: Phase Transitions in Biased Opinion Dynamics with 2-choices Rule

abstract: We consider a model of binary opinion dynamics where one opinion is inherently 'superior' than the other and social agents exhibit a 'bias' towards the superior alternative. Specifically, it is assumed that an agent updates its choice to the superior alternative with probability $\alpha >0$ irrespective of its current opinion and the opinions of the other agents. With probability $1-\alpha$ it adopts the majority opinion among two randomly sampled neighbours and itself. We are interested in the time it takes for the network to converge to a consensus state where all the agents adopt the superior alternative. In a fully connected network of size $n$, we show that irrespective of the initial configuration of the network, the average time to reach consensus scales as $\Theta(n \log n)$ when the bias parameter $\alpha$ is sufficiently high, i.e., $\alpha > \alpha_c$ where $\alpha_c$ is a threshold parameter that is uniquely characterised. When the bias is low, i.e., when $\alpha \in (0,\alpha_c]$, we show that the same rate of convergence can only be achieved if the initial proportion of agents with the superior opinion is above certain threshold $p_c(\alpha)$. If this is not the case, then we show that the network takes $\Omega(\exp(\Theta(n)))$ time on average to reach consensus. Through numerical simulations we observe similar behaviour for other classes of graphs.


title: Guarantees for Spontaneous Synchronization on Random Geometric Graphs

abstract: The Kuramoto model is a classical mathematical model in the field of non-linear dynamical systems that describes the evolution of coupled oscillators in a network that may reach a synchronous state. The relationship between the network's topology and whether the oscillators synchronize is a central question in the field of synchronization, and random graphs are often employed as a proxy for complex networks. On the other hand, the random graphs on which the Kuramoto model is rigorously analyzed in the literature are homogeneous models and fail to capture the underlying geometric structure that appears in several examples. In this work, we leverage tools from random matrix theory, random graphs, and mathematical statistics to prove that the Kuramoto model on a random geometric graph on the sphere synchronizes with probability tending to one as the number of nodes tends to infinity. To the best of our knowledge, this is the first rigorous result for the Kuramoto model on random geometric graphs.


title: Chabauty limits of groups of involutions in $SL(2,F)$ for local fields

abstract: We classify Chabauty limits of groups fixed by various (abstract) involutions over $SL(2,F)$, where $F$ is a finite field-extension of $\mathbb{Q}_p$, with $p\neq 2$. To do so, we first classify abstract involutions over $SL(2,F)$ with $F$ a quadratic extension of $\mathbb{Q}_p$, and prove $p$-adic polar decompositions with respect to various subgroups of $p$-adic $SL_2$. Then we classify Chabauty limits of: $SL(2, F) \subset SL(2,E)$ where $E$ is a quadratic extension of $F$, of $SL(2,\mathbb{R}) \subset SL(2,\mathbb{C})$, and of $H_\theta \subset SL(2,F)$, where $H_\theta$ is the fixed point group of an $F$-involution $\theta$ over $SL(2,F)$.


title: Quo Vadis: Hybrid Machine Learning Meta-Model based on Contextual and Behavioral Malware Representations

abstract: We propose a hybrid machine learning architecture that simultaneously employs multiple deep learning models analyzing contextual and behavioral characteristics of Windows portable executable, producing a final prediction based on a decision from the meta-model. The detection heuristic in contemporary machine learning Windows malware classifiers is typically based on the static properties of the sample since dynamic analysis through virtualization is challenging for vast quantities of samples. To surpass this limitation, we employ a Windows kernel emulation that allows the acquisition of behavioral patterns across large corpora with minimal temporal and computational costs. We partner with a security vendor for a collection of more than 100k int-the-wild samples that resemble the contemporary threat landscape, containing raw PE files and filepaths of applications at the moment of execution. The acquired dataset is at least ten folds larger than reported in related works on behavioral malware analysis. Files in the training dataset are labeled by a professional threat intelligence team, utilizing manual and automated reverse engineering tools. We estimate the hybrid classifier's operational utility by collecting an out-of-sample test set three months later from the acquisition of the training set. We report an improved detection rate, above the capabilities of the current state-of-the-art model, especially under low false-positive requirements. Additionally, we uncover a meta-model's ability to identify malicious activity in validation and test sets even if none of the individual models express enough confidence to mark the sample as malevolent. We conclude that the meta-model can learn patterns typical to malicious samples from representation combinations produced by different analysis techniques. We publicly release pre-trained models and anonymized dataset of emulation reports.


title: Calculation of magnetic forces and torques on the Kibble coil

abstract: Analytically the forces and torques on a coil in a field of magnetic flux density can be calculated one of two ways. The line integral can be conducted along the coil's wire, summing up the differential force contribution. For each differential line segment, the force is obtained as a cross product with the magnetic flux density. Alternatively, the coil's energy in the field is the current times the flux threading the coil. Hence, the energy is obtained by executing a surface integral over the coil's open surface. Here, a dot product of the differential surface element with the magnetic flux density is executed under the integral sign. The forces and torques can then be obtained from the negative derivative of the energy with respect to the appropriate coordinate. For yoke-based Kibble balances, the latter method is much simpler since most of the flux is contained in the inner yoke of the magnet and can be written as a simple equation. Here, we use this method to provide simple equations and their results for finding the torques and forces that act on a coil in a yoke-based magnet system. We further introduce a simple method that allows the calculation of the position and orientation difference between the coil and the magnet from three measurements.