title: Mutual information harvested by uniformly accelerated particle detectors

abstract: We investigate the mutual information harvesting protocol for two uniformly accelerated particle detectors. We numerically show that, while a single detector responds as if it is immersed in a thermal bath, the quantum mutual information between two accelerating detectors behaves differently than that of two inertial detectors in a thermal bath. This is due to the fact that while the Wightman function along the trajectory of a single uniformly accelerating detector is the same as that of as a detector in a thermal bath, a pair of detectors in the same respective cases will have different Wightman functions.


title: Bounds on Long-lived Dark Matter Mediators from Neutron Stars

abstract: Neutron stars close to the Galactic center are expected to swim in a dense background of dark matter. For models in which the dark matter has efficient interactions with neutrons, they are expected to accumulate their own local cloud of dark matter, making them appealing targets for observations seeking signs of dark matter annihilation. For theories with very light mediators, the dark matter may annihilate into pairs of mediators which are sufficiently long-lived to escape the star and decay outside it into neutrinos. We examine the bounds on the parameter space of heavy ($\sim$TeV to $\sim$PeV) dark matter theories with long-lived mediators decaying into neutrinos based on observations of high energy neutrino observatories, and make projections for the future. We find that these observations provide information that is complementary to terrestrial searches, and probe otherwise inaccessible regimes of dark matter parameter space.


title: Emergent Spacetime in Quantum Lattice Models

abstract: Many quantum lattice models have an emergent relativistic description in their continuum limit. The celebrated example is graphene, whose continuum limit is described by the Dirac equation on a Minkowski spacetime. Not only does the continuum limit provide us with a dictionary of geometric observables to describe the models with, but it also allows one to solve models that were otherwise analytically intractable. In this thesis, we investigate novel features of this relativistic description for a range of quantum lattice models. In particular, we demonstrate how to generate emergent curved spacetimes and identify observables at the lattice level which reveal this emergent behaviour, allowing one to simulate relativistic effects in the laboratory. We first study carbon nanotubes, a system with an edge, which allows us to test the interesting feature of the Dirac equation that it allows for bulk states with support on the edges of the system. We then study Kitaev's honeycomb model which has a continuum limit describing Majorana spinors on a Minkowski spacetime. We show how to generate a non-trivial metric in the continuum limit of this model and how to observe the effects of this metric and its corresponding curvature in the lattice observables, such as Majorana correlators, Majorana zero modes and the spin densities. We also discuss how lattice defects and $\mathbb{Z}_2$ gauge fields at the lattice level can generate chiral gauge fields in the continuum limit and we reveal their adiabatic equivalence. Finally, we discuss a chiral modification of the 1D XY model which makes the model interacting and introduces a non-trivial phase diagram. We see that this generates a black hole metric in the continuum limit, where the inside and outside of the black hole are in different phases. We then demonstrate that by quenching this model we can simulate Hawking radiation.


title: Multilayer graphene with a superlattice potential

abstract: Bernal stacked bilayer graphene subject to a superlattice potential can realize topological and stacked flat bands [1]. In the present work, we extend the study of a superlattice potential on graphene heterostructures to trilayer and quadrilayer graphene. Comparing Bernal- and chirally-stacked multilayers reveals that the latter are more suitable for realizing stacks of many flat bands. On the other hand, Bernal-stacked graphene heterostructures can realize topological flat bands. Imposing two simultaneous superlattice potentials enhances the viability of both regimes.


title: FdeSolver: A Julia Package for Solving Fractional Differential Equations

abstract: Implementing and executing numerical algorithms to solve fractional differential equations has been less straightforward than using their integer-order counterparts, posing challenges for practitioners who wish to incorporate fractional calculus in applied case studies. Hence, we created an open-source Julia package, FdeSolver, that provides numerical solutions for fractional-order differential equations based on product-integration rules, predictor-corrector algorithms, and the Newton-Raphson method. The package covers solutions for one-dimensional equations with orders of positive real numbers. For high-dimensional systems, the orders of positive real numbers are limited to less than (and equal to) one. Incommensurate derivatives are allowed and defined in the Caputo sense. Here, we summarize the implementation for a representative class of problems, provide comparisons with available alternatives in Julia and Matlab, describe our adherence to good practices in open research software development, and demonstrate the practical performance of the methods in two applications; we show how to simulate microbial community dynamics and model the spread of Covid-19 by fitting the order of derivatives based on epidemiological observations. Overall, these results highlight the efficiency, reliability, and practicality of the FdeSolver Julia package.


title: Bayesian optimization of laser-plasma accelerators assisted by reduced physical models

abstract: Particle-in-cell simulations are among the most essential tools for the modeling and optimization of laser-plasma accelerators, since they reproduce the physics from first principles. However, the high computational cost associated with them can severely limit the scope of parameter and design optimization studies. Here, we show that a multitask Bayesian optimization algorithm can be used to mitigate the need for such high-fidelity simulations by incorporating information from inexpensive evaluations of reduced physical models. In a proof-of-principle study, where a high-fidelity optimization with FBPIC is assisted by reduced-model simulations with Wake-T, the algorithm demonstrates an order-of-magnitude speedup. This opens a path for the cost-effective optimization of laser-plasma accelerators in large parameter spaces, an important step towards fulfilling the high beam quality requirements of future applications.


title: A Close Look at Spatial Modeling: From Attention to Convolution

abstract: Vision Transformers have shown great promise recently for many vision tasks due to the insightful architecture design and attention mechanism. By revisiting the self-attention responses in Transformers, we empirically observe two interesting issues. First, Vision Transformers present a queryirrelevant behavior at deep layers, where the attention maps exhibit nearly consistent contexts in global scope, regardless of the query patch position (also head-irrelevant). Second, the attention maps are intrinsically sparse, few tokens dominate the attention weights; introducing the knowledge from ConvNets would largely smooth the attention and enhance the performance. Motivated by above observations, we generalize self-attention formulation to abstract a queryirrelevant global context directly and further integrate the global context into convolutions. The resulting model, a Fully Convolutional Vision Transformer (i.e., FCViT), purely consists of convolutional layers and firmly inherits the merits of both attention mechanism and convolutions, including dynamic property, weight sharing, and short- and long-range feature modeling, etc. Experimental results demonstrate the effectiveness of FCViT. With less than 14M parameters, our FCViT-S12 outperforms related work ResT-Lite by 3.7% top1 accuracy on ImageNet-1K. When scaling FCViT to larger models, we still perform better than previous state-of-the-art ConvNeXt with even fewer parameters. FCViT-based models also demonstrate promising transferability to downstream tasks, like object detection, instance segmentation, and semantic segmentation. Codes and models are made available at: https://github.com/ma-xu/FCViT.


title: Bridging Carrollian and Celestial Holography

abstract: Gravity in $4d$ asymptotically flat spacetime constitutes the archetypal example of a gravitational system with leaky boundary conditions. Pursuing our analysis of [1], we argue that the holographic description of such a system requires the coupling of the dual theory living at null infinity to some external sources encoding the radiation reaching the conformal boundary and responsible for the non-conservation of the charges. In particular, we show that the sourced Ward identities of a conformal Carrollian field theory living at null infinity reproduce the BMS flux-balance laws. We also derive the general form of low-point correlation functions for conformal Carrollian field theories and exhibit a new branch of solutions, which is argued to be the relevant one for holographic purposes. We then relate our Carrollian approach to the celestial holography proposal by mapping the Carrollian Ward identities to those constraining celestial operators through a suitable integral transform.


title: Dynamic Circular Formation Of Multi-Agent Systems With Obstacle Avoidance And Size Scaling: A Flocking Approach

abstract: Formation control with the flocking approach is an efficient method that can reach the formation without determining the agent's position. This paper focuses on reaching the circular formation around the leader or target with a specific geometric pattern for the second-order multi-agent system. This means that the polygon formation is formed with arbitrary initial conditions. To create the circular formation, two potential function terms have been used for agent-agent and leader-agent interaction. In our approach, if some faults occur during the circular formation and some agents fail, the regular polygon formation will still form with fewer agents. Obstacle avoidance for a single-circle formation and collision-free motion is guaranteed. A circular formation with size scaling is proposed to better maneuver and pass through obstacles. Also, several circles with the desired radius can be reached with changes in the agent-leader potential function. In this work, optimization algorithms with different scenarios are compared to calculate the parameters of our algorithm.


title: Low-temperature thermal corrections to a superfluid's equation of state

abstract: Using effective field theory methods, we calculate the low-temperature phonon thermal partition function for a generic superfluid, thus providing the leading thermal corrections to a superfluid's equation of state, thermodynamic quantities, and conserved currents. We confirm the correctness of the classic two-fluid model by matching to the effective field theory for that model. Where there is an overlap, our results agree with those of Carter and Langlois, which were derived by different methods. We also discuss generalizations and special cases, including the non-relativistic limit and the conformal superfluid.


title: A computational study of the number of connected components of positive Thompson links

abstract: Almost a decade ago Vaughan Jones introduced a method to produce knots from elements of the Thompson groups $F$, which was later extended to the Brown-Thompson group $F_3$. In this article we define a way to produce permutations out of elements of the $F$ and $F_3$ that we call Thompson permutations. The number of orbits of each Thompson permutation coincides with the number of connected components of the link. We explore the positive elements of $F_3$ of fixed \emph{width} and \emph{height} and make some conjectures based on numerical experiments. In order to define the Thompson permutations we need to assign an orientation to each link produced from elements of $F$ and $F_3$. We prove that all oriented links can be produced in this way.


title: Effects of quantum geometric phase of a particle in an oscillating hard-wall spherical trap

abstract: We obtain the geometric phase for states of a particle in a spherical infinite potential well with a moving wall in two different cases; First, when the radius of the well increases (or decreases) monotonically. Second, when the radius changes oscillatory. In the latter case, we have solved the Schrodinger equation and found its solutions approximately. {We obtain the transition rate for the possible real situation in an acousto-optic case which can reveal the effect of the geometric phase. We show that the absorption or radiation peaks will appear if the energy gap between the incident photon and the modified energy difference of two levels by the geometric phase, is equal to the integer multiple of oscillation frequency.


title: Simple Buehler-optimal confidence intervals on the average success probability of independent Bernoulli trials

abstract: One-sided confidence intervals are presented for the average of non-identical Bernoulli parameters. These confidence intervals are expressed as analytical functions of the total number of Bernoulli games won, the number of rounds and the confidence level. Tightness of these bounds in the sense of Buehler, i.e. as the strictest possible monotonic intervals, is demonstrated for all confidence levels. A simple interval valid for all confidence levels is also provided with a tightness guarantee. Finally, an application of the proposed confidence intervals to sequential sampling is discussed.


title: Optimizing Staggered Multigrid for Exascale performance

abstract: Adaptive multi-grid methods have proven very successful in dealing with critical slow down for the Wilson-Dirac solver in lattice gauge theory. Multi-grid algorithms developed for Staggered fermions using the K\"ahler-Dirac preconditioning~\cite{Brower:2018ymy} have shown remarkable success. In this work, we discuss the performance of this staggered multi-grid algorithm in four dimensions. We also demonstrate that offloading some components of a multi-shift solve to a multi-grid solver leads to a significant performance improvement in an existing MILC spectrum workflow on the Summit and Selene supercomputers.


title: On How AI Needs to Change to Advance the Science of Drug Discovery

abstract: Research around AI for Science has seen significant success since the rise of deep learning models over the past decade, even with longstanding challenges such as protein structure prediction. However, this fast development inevitably made their flaws apparent -- especially in domains of reasoning where understanding the cause-effect relationship is important. One such domain is drug discovery, in which such understanding is required to make sense of data otherwise plagued by spurious correlations. Said spuriousness only becomes worse with the ongoing trend of ever-increasing amounts of data in the life sciences and thereby restricts researchers in their ability to understand disease biology and create better therapeutics. Therefore, to advance the science of drug discovery with AI it is becoming necessary to formulate the key problems in the language of causality, which allows the explication of modelling assumptions needed for identifying true cause-effect relationships. In this attention paper, we present causal drug discovery as the craft of creating models that ground the process of drug discovery in causal reasoning.


title: An active learning method for solving competitive multi-agent decision-making and control problems

abstract: To identify a stationary action profile for a population of competitive agents, each executing private strategies, we introduce a novel active-learning scheme where a centralized external observer (or entity) can probe the agents' reactions and recursively update simple local parametric estimates of the action-reaction mappings. Under very general working assumptions (not even assuming that a stationary profile exists), sufficient conditions are established to assess the asymptotic properties of the proposed active learning methodology so that, if the parameters characterizing the action-reaction mappings converge, a stationary action profile is achieved. Such conditions hence act also as certificates for the existence of such a profile. Extensive numerical simulations involving typical competitive multi-agent control and decision-making problems illustrate the practical effectiveness of the proposed learning-based approach.


title: Pressure anisotropy in polymer brushes and its effects on wetting

abstract: Polymer brushes, coatings consisting of densely grafted macromolecules, experience an intrinsic lateral compressive pressure, originating from chain elasticity and excluded volume interactions. This lateral pressure complicates a proper definition of the interface and, thereby, the determination and interpretation of the interfacial tension and its relation to the wetting behavior of brushes. Here, we study the link between grafting-induced compressive lateral pressure in polymer brushes, interfacial tension, and brush wettability using coarse-grained molecular dynamics simulations. We focus on grafting densities and polymer-liquid affinities such that the polymer and liquid do not tend to mix. For these systems, a central result is that the liquid contact angle is independent of the grafting density, which implies that the grafting-induced lateral compressive pressure in the brush does not influence its wettability. Although the definition of brush interfacial tensions is complicated by the grafting-induced pressure, the difference in interfacial tension between wet and dry brushes is perfectly well-defined. We confirm explicitly from Young's law that this difference offers an accurate description of the brush wettability. We then explore a method to isolate the grafting-induced contribution to the lateral pressure, assuming the interfacial tension to be independent of grafting density. This scenario indeed allows to disentangle interfacial and grafting effects for a broad range of parameters, except close to the mixing point. We separately discuss the latter case in the light of autophobic dewetting.


title: A rank augmentation theorem for rank 3 string C-group representations of the symmetric groups

abstract: We give a rank augmentation technique for rank 3 string C-group representations of the symmetric group $S_n$ and list the hypotheses under which it yields a valid string C-group representation of rank 4 thereof.


title: T-structures on dg-categories and derived deformations

abstract: This paper is a sequel to "t-structures and twisted complexes on derived injectives" by the same authors. We develop the foundations of the infinitesimal derived deformation theory of pretriangulated dg-categories endowed with t-structures. This generalizes the deformation theory of abelian categories developed by the last two authors. We show how deformations of dg-categories of derived injectives yield derived deformations of the associated t-structures.


title: Neutrino Oscillations in Matter using the Adjugate of the Hamiltonian

abstract: We revisit neutrino oscillations in constant matter density for a number of different scenarios: three flavors with the standard Wolfenstein matter potential, four flavors with standard matter potential and three flavors with non-standard matter potentials. To calculate the oscillation probabilities for these scenarios one must determine the eigenvalues and eigenvectors of the Hamiltonians. We use a method for calculating the eigenvalues that is well known, determination of the zeros of determinant of matrix $(\lambda I -H)$, where H is the Hamiltonian, I the identity matrix and $\lambda$ is a scalar. To calculate the associated eigenvectors we use a method that is little known in the particle physics community, the calculation of the adjugate (transpose of the cofactor matrix) of the same matrix, $(\lambda I -H)$. This method can be applied to any Hamiltonian, but provides a very simple way to determine the eigenvectors for neutrino oscillation in matter, independent of the complexity of the matter potential. This method can be trivially automated using the Faddeev-LeVerrier algorithm for numerical calculations. For the above scenarios we derive a number of quantities that are invariant of the matter potential, many are new such as the generalization of the Naumov-Harrison-Scott identity for four or more flavors of neutrinos. We also show how these matter potential independent quantities become matter potential dependent when off-diagonal non-standard matter effects are included.


title: An Elementary but Logical Approach to Integration

abstract: We present a replacement for traditional Riemann integrals in undergraduate calculus, which supplements naive precalculus and at the same time opens a way to more sophisticated theories such as Lebesgue integration.


title: Adapting to game trees in zero-sum imperfect information games

abstract: Imperfect information games (IIG) are games in which each player only partially observes the current game state. We study how to learn $\epsilon$-optimal strategies in a zero-sum IIG through self-play with trajectory feedback. We give a problem-independent lower bound $\widetilde{\mathcal{O}}(H(A_{\mathcal{X}}+B_{\mathcal{Y}})/\epsilon^2)$ on the required number of realizations to learn these strategies with high probability, where $H$ is the length of the game, $A_{\mathcal{X}}$ and $B_{\mathcal{Y}}$ are the total number of actions for the two players. We also propose two Follow the Regularized leader (FTRL) algorithms for this setting: Balanced FTRL which matches this lower bound, but requires the knowledge of the information set structure beforehand to define the regularization; and Adaptive FTRL which needs $\widetilde{\mathcal{O}}(H^2(A_{\mathcal{X}}+B_{\mathcal{Y}})/\epsilon^2)$ realizations without this requirement by progressively adapting the regularization to the observations.


title: Cofibration category of digraphs for path homology

abstract: We prove that the category of directed graphs and graph maps carries a cofibration category structure in which the weak equivalences are the graph maps inducing isomorphisms on path homology.


title: Unpolarized proton PDF at NNLO from lattice QCD with physical quark masses

abstract: We present a lattice QCD calculation of the unpolarized isovector quark parton distribution function (PDF) of the proton utilizing a perturbative matching at next-to-next-to-leading-order (NNLO). The calculations are carried out using a single ensemble of gauge configurations generated with $N_f = 2 + 1$ highly-improved staggered quarks with physical masses and a lattice spacing of $a = 0.076$ fm. We use one iteration of hypercubic smearing on these gauge configurations, and the resulting smeared configurations are then used for all aspects of the subsequent calculation. For the valence quarks, we use the Wilson-clover action with physical quark masses. We consider several methods for extracting information on the PDF. We first extract the lowest four Mellin moments using the leading-twist operator product expansion approximation. Then, we determine the $x$ dependence of the PDF through a deep neural network within the pseudo-PDF approach and additionally through the framework of large-momentum effective theory utilizing a hybrid renormalization scheme. This is the first application of the NNLO matching coefficients for the nucleon directly at the physical point.


title: Pearl Causal Hierarchy on Image Data: Intricacies & Challenges

abstract: Many researchers have voiced their support towards Pearl's counterfactual theory of causation as a stepping stone for AI/ML research's ultimate goal of intelligent systems. As in any other growing subfield, patience seems to be a virtue since significant progress on integrating notions from both fields takes time, yet, major challenges such as the lack of ground truth benchmarks or a unified perspective on classical problems such as computer vision seem to hinder the momentum of the research movement. This present work exemplifies how the Pearl Causal Hierarchy (PCH) can be understood on image data by providing insights on several intricacies but also challenges that naturally arise when applying key concepts from Pearlian causality to the study of image data.


title: Spatial and temporal characteristics of spontaneous parametric down-conversion with varying focal planes of interacting beams

abstract: Spontaneous parametric down-conversion (SPDC) is a widely used process to prepare entangled photon pairs. In SPDC, a second-order nonlinear crystal is pumped by a coherent laser beam to generate photon pairs. The photon pairs are usually detected by single-mode fibers (SMF), where only photons in a Gaussian mode can be collected. The collection modes possess typical Gaussian parameters, namely a beam waist and a focal plane position. The collection efficiency of photons highly depends on the choice of both parameters. The exact focal plane position of the pump beam relative to those of the detection modes is difficult to determine in a real experiment. Usually, theoretical and experimental studies assume that the focal plane positions of the pump and the generated beams are positioned in the center of the crystal. The displacement of beam focal planes can lead to deviations from expected results and the coupling efficiency into SMF can increase or decrease. In this work, we consider variable positions of focal planes and investigate how shifts of these focal planes influence the spatial and temporal properties of photon pairs. We present SPDC arrangements, in which the knowledge of the exact position of the focal planes is essential, as well as scenarios, where focal plane displacements do not contribute significantly to experimental outcomes. These findings are of particular interest for achieving higher efficiency in SPDC experiments.


title: Quantum advantage for combinatorial optimization problems, Simplified

abstract: We observe that fault-tolerant quantum computers have an optimal advantage over classical computers in approximating solutions to many NP optimization problems. This observation however gives nothing in practice.


title: Combining Stochastic Parameterized Reduced-Order Models with Machine Learning for Data Assimilation and Uncertainty Quantification with Partial Observations

abstract: A hybrid data assimilation algorithm is developed for complex dynamical systems with partial observations. The method starts with applying a spectral decomposition to the entire spatiotemporal fields, followed by creating a machine learning model that builds a nonlinear map between the coefficients of observed and unobserved state variables for each spectral mode. A cheap low-order nonlinear stochastic parameterized extended Kalman filter (SPEKF) model is employed as the forecast model in the ensemble Kalman filter to deal with each mode associated with the observed variables. The resulting ensemble members are then fed into the machine learning model to create an ensemble of the corresponding unobserved variables. In addition to the ensemble spread, the training residual in the machine learning-induced nonlinear map is further incorporated into the state estimation that advances the quantification of the posterior uncertainty. The hybrid data assimilation algorithm is applied to a precipitating quasi-geostrophic (PQG) model, which includes the effects of water vapor, clouds, and rainfall beyond the classical two-level QG model. The complicated nonlinearities in the PQG equations prevent traditional methods from building simple and accurate reduced-order forecast models. In contrast, the SPEKF model is skillful in recovering the intermittent observed states, and the machine learning model effectively estimates the chaotic unobserved signals. Utilizing the calibrated SPEKF and machine learning models under a moderate cloud fraction, the resulting hybrid data assimilation remains reasonably accurate when applied to other geophysical scenarios with nearly clear skies or relatively heavy rainfall, implying the robustness of the algorithm for extrapolation.


title: First observation and branching fraction measurement of the $\Lambda_b^0\to D_s^- p$ decay

abstract: The first observation of the $\Lambda_b^0\to D_s^- p$ decay is presented using proton-proton collision data collected by the LHCb experiment at a centre-of-mass energy of ${\sqrt{s}=13 \,\textrm{TeV}}$, corresponding to a total integrated luminosity of $6\,\textrm{fb}^{-1}$. Using the $\Lambda_b^0\to\Lambda_c^+\pi^-$ decay as the normalisation mode, the branching fraction of the $\Lambda_b^0\to D_s^- p$ decay is measured to be ${\mathcal{B}(\Lambda_b^0\to D_s^- p)=(12.6 \pm 0.5 \pm 0.3 \pm 1.2 )\times 10^{-6}}$, where the first uncertainty is statistical, the second systematic and the third due to uncertainties in the branching fractions of the $\Lambda_b^0\to\Lambda_c^+\pi^-$, $D_s^- \to K^-K^+\pi^-$ and $\Lambda_c^+\to p K^- \pi^+$ decays.


title: Continual Causal Abstractions

abstract: This short paper discusses continually updated causal abstractions as a potential direction of future research. The key idea is to revise the existing level of causal abstraction to a different level of detail that is both consistent with the history of observed data and more effective in solving a given task.


title: An Algebraic Approach for Counting DP-3-colorings of Sparse Graphs

abstract: DP-coloring (or correspondence coloring) is a generalization of list coloring that has been widely studied since its introduction by Dvo\v{r}\'{a}k and Postle in 2015. As the analogue of the chromatic polynomial of a graph $G$, $P(G,m)$, and the list color function, $P_{\ell}(G,m)$, the DP color function of $G$, denoted by $P_{DP}(G,m)$, counts the minimum number of DP-colorings over all possible $m$-fold covers. It follows that $P_{DP}(G,m) \le P_{\ell}(G,m) \le P(G,m)$. A function $f$ is chromatic-adherent if for every graph $G$, $f(G,a) = P(G,a)$ for some $a \geq \chi(G)$ implies that $f(G,m) = P(G,m)$ for all $m \geq a$. It is known that the DP color function is not chromatic-adherent, but there are only two known graphs that demonstrate this. Suppose $G$ is an $n$-vertex graph and $\mathcal{H}$ is a 3-fold cover of $G$, in this paper we associate with $\mathcal{H}$ a polynomial $f_{G, \mathcal{H}} \in \mathbb{F}_3[x_1, \ldots, x_n]$ so that the number of non-zeros of $f_{G, \mathcal{H}}$ equals the number of $\mathcal{H}$-colorings of $G$. We then use a well-known result of Alon and F\"{u}redi on the number of non-zeros of a polynomial to establish a non-trivial lower bound on $P_{DP}(G,3)$ when $2n > |E(G)|$. An easy consequence of this is that $P_{DP}(G, 3) \geq 3^{n/6}$ for every $n$-vertex planar graph $G$ of girth at least 5, improving the previously known bounds on both $P_{DP}(G, 3)$ and $P_{\ell}(G, 3)$. Finally, we use this bound to show that there are infinitely many graphs that demonstrate the non-chromatic-adherence of the DP color function.


title: On the Complexity of Generalized Discrete Logarithm Problem

abstract: Generalized Discrete Logarithm Problem (GDLP) is an extension of the Discrete Logarithm Problem where the goal is to find $x\in\mathbb{Z}_s$ such $g^x\mod s=y$ for a given $g,y\in\mathbb{Z}_s$. Generalized discrete logarithm is similar but instead of a single base element, uses a number of base elements which does not necessarily commute with each other. In this paper, we prove that GDLP is NP-hard for symmetric groups. Furthermore, we prove that GDLP remains NP-hard even when the base elements are permutations of at most 3 elements. Lastly, we discuss the implications and possible implications of our proofs in classical and quantum complexity theory.


title: Rapid Extraction of Respiratory Waveforms from Photoplethysmography: A Deep Encoder Approach

abstract: Much of the information of breathing is contained within the photoplethysmography (PPG) signal, through changes in venous blood flow, heart rate and stroke volume. We aim to leverage this fact, by employing a novel deep learning framework which is a based on a repurposed convolutional autoencoder. Our model aims to encode all of the relevant respiratory information contained within photoplethysmography waveform, and decode it into a waveform that is similar to a gold standard respiratory reference. The model is employed on two photoplethysmography data sets, namely Capnobase and BIDMC. We show that the model is capable of producing respiratory waveforms that approach the gold standard, while in turn producing state of the art respiratory rate estimates. We also show that when it comes to capturing more advanced respiratory waveform characteristics such as duty cycle, our model is for the most part unsuccessful. A suggested reason for this, in light of a previous study on in-ear PPG, is that the respiratory variations in finger-PPG are far weaker compared with other recording locations. Importantly, our model can perform these waveform estimates in a fraction of a millisecond, giving it the capacity to produce over 6 hours of respiratory waveforms in a single second. Moreover, we attempt to interpret the behaviour of the kernel weights within the model, showing that in part our model intuitively selects different breathing frequencies. The model proposed in this work could help to improve the usefulness of consumer PPG-based wearables for medical applications, where detailed respiratory information is required.


title: Abelian Sandpiles on Cylinders

abstract: We study here a variant of the Abelian Sandpile Model, where the playground is a cylinder of width $w$ and of circumference c. When c << w, we describe a phenomenon which has not been observed in other geometries: the probability distribution of avalanche sizes has a ladder structure, with the first step consisting of avalanches of size up to w c/2 that are essentially equiprobable, except for a small exponential tail of order about 10c. We explain this phenomenon and describe subsequent steps.

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


title: Non-Ellipsoidal Gravity-Based Definitions of Planetary Surface Area and Other Geodetic Measures

abstract: This paper introduces new definitions of common geodetic measures on a planetary surface (namely surface area, path length, and mean value or other statistical parameters of a surface function) that are not based on a datum such as a reference ellipsoid. Instead, the so-called datumless geodetic measures are based on physically meaningful formulations that rely only on the actual planetary surface and gravity. The datumless measures provide universally standardized measurements on any terrestrial object, including non-ellipsoidal asteroids and comets. Conveniently, on fairly round planets such as Earth and Mars, the datumless measures yield very similar values as corresponding geodetic measures on a reference ellipsoid. Like their ellipsoidal counterparts, the datumless measures quantify area and length in the familiar "bird's-eye view" or "horizontal, normal-to-gravity" sense. Far from being purely theoretical, the datumless measures can be approximated in GIS software using a digital elevation model and a gravity model such as a geoid.


title: On global in time self-similar solutions of Smoluchowski equation with multiplicative kernel

abstract: We study the similarity solutions (SS) of Smoluchowski coagulation equation with multiplicative kernel $K(x,y)=(xy)^{s}$ for $s<\frac{1}{2}$. When $s<0$% , the SS consists of three regions with distinct asymptotic behaviours. The appropriate matching yields a global description of the solution consisting of a Gamma distribution tail, an intermediate region described by a lognormal distribution and a region of very fast decay of the solutions to zero near the origin. When $s\in \left( 0,\frac{1}{2}\right) $, the SS is unbounded at the origin. It also presents three regions: a Gamma distribution tail, an intermediate region of power-like (or Pareto distribution) decay and the region close to the origin where a singularity occurs. Finally, full numerical simulations of Smoluchowski equation serve to verify our theoretical results and show the convergence of solutions to the selfsimilar regime.


title: Quantum correlation light-field microscope with extreme depth of field

abstract: Light-field microscopy (LFM) is a 3D microscopy technique whereby volumetric information of a sample is gained by simultaneously capturing both the position and momentum (angular) information of light illuminating a scene. Conventional LFM designs generally require a trade-off between position and momentum resolution, requiring one to sacrifice resolving power for increased depth of field (DOF) or vice versa. In this work, we demonstrate a LFM design that does not require this trade-off by utilizing the inherent correlations between spatial-temporal entangled photon pairs. Here, one photon from the pair is used to illuminate a sample from which the position information of the photon is captured directly by a camera. By virtue of the strong momentum anti-correlation between the two photons, the momentum information of the illumination photon can then be inferred by measuring the angle of its entangled partner on a different camera. By using a combination of ray-tracing and a Gerchberg-Saxton type algorithm for the light field reconstruction, we demonstrate that a resolving power of 5 $\mu$m can be maintained with a DOF of $\sim500$ $\mu$m, approximately 3 times of the latest LFM designs or $>100$ time that of a conventional microscope. In the extreme, at a resolving power of 100 $\mu$m, it is possible to achieve near infinite DOF.


title: Multiday User Equilibrium with Strategic Commuters

abstract: In the era of connected and automated mobility, commuters will possess strong computation power, enabling them to strategically make sequential travel choices over a planning horizon. This paper investigates the multiday traffic patterns that arise from such decision-making behavior. In doing so, we frame the commute problem as a mean-field Markov game and introduce a novel concept of multiday user equilibrium to capture the steady state of commuters' interactions. The proposed model is general and can be tailored to various travel choices such as route or departure time. We explore a range of properties of the multiday user equilibrium under mild conditions. The study reveals the fingerprint of user inertia on network flow patterns, particularly for foresighted commuters, causing between-day variations even at a steady state. Furthermore, our analysis establishes critical connections between the multiday user equilibrium and conventional Wardrop equilibrium.


title: Neural Transition-based Parsing of Library Deprecations

abstract: This paper tackles the challenging problem of automating code updates to fix deprecated API usages of open source libraries by analyzing their release notes. Our system employs a three-tier architecture: first, a web crawler service retrieves deprecation documentation from the web; then a specially built parser processes those text documents into tree-structured representations; finally, a client IDE plugin locates and fixes identified deprecated usages of libraries in a given codebase. The focus of this paper in particular is the parsing component. We introduce a novel transition-based parser in two variants: based on a classical feature engineered classifier and a neural tree encoder. To confirm the effectiveness of our method, we gathered and labeled a set of 426 API deprecations from 7 well-known Python data science libraries, and demonstrated our approach decisively outperforms a non-trivial neural machine translation baseline.


title: On the central limit theorem for homogeneous discrete-time nonlinear Markov chains

abstract: The class of nonlinear Markov processes is characterized by the dependence of the current state of the process on its current distribution in addition to the dependence on the previous state. Due to this feature, these processes are characterized by complex limit behavior and ergodic properties, for which the usual criteria for Markov processes are not sufficient. Being a subclass of nonlinear Markov processes, nonlinear Markov chains have inherited these features. In this paper, conditions for the fulfillment of the central limit theorem for homogeneous nonlinear Markov chains in discrete time and with a discrete finite state space are studied. Also, a brief review of known results on the ergodic properties of nonlinear Markov chains is included. The obtained result complements the existing results in this area and may be useful for further applications in statistics.


title: Kodaira dimension of moduli spaces of hyperk\"ahler varieties

abstract: We study the Kodaira dimension of moduli spaces of polarized hyperk\"ahler varieties deformation equivalent to the Hilbert scheme of points on a K3 surface or to O'Grady's ten dimensional variety. This question was studied by Gritsenko-Hulek-Sankaran in the cases of $K3^{[2]}$ and OG10 type when the divisibility of the polarization is one. We generalize their results to higher dimension and divisibility. As a main result, for almost all dimensions $2n$ we provide a lower bound on the degree such that for all higher degrees, every component of the moduli space of polarized hyperk\"ahler varieties of $K3^{[n]}$ type is of general type.


title: Equidistribution for Solutions of $p+m^2+n^2=N$, and for Ch\^{a}telet Surfaces

abstract: We present a general method for handling problems that ask for the equidistribution of solutions to equations involving $m^2+n^2$, and illustrate it by considering $p+m^2+n^2=N$.


title: Initial values of ML-degree polynomials

abstract: We prove a conjecture about the initial values of ML-degree polynomials stated by Micha{\l}ek, Monin, and Wi\'sniewski.


title: Clock synchronization with pulsed single photon sources

abstract: Photonic quantum technology requires precise, time-resolved identification of photodetection events. In distributed quantum networks with spatially separated and drifting time references, achieving high precision is particularly challenging. Here we build on recent advances of using single-photons for time transfer and employ and quantify a fast postprocessing scheme designed to pulsed single-photon sources. We achieve an average root mean square synchronization jitter of 3.0 ps and a stability comparable to systems with ultra-stable clocks (54 ps at 1 second integration time, in terms of Allan time deviation). Our algorithm compensates substantial clock imperfections from crystal oscillators, is superior for low signal scenarios, and allows the quantum communication networks to transmit data simultaneously to time transfer.


title: Boundedness of the conformal hyperboloidal energy for a wave-Klein-Gordon model

abstract: We consider the global evolution problem for a model which couples together a nonlinear wave equation and a nonlinear Klein-Gordon equation, and was independently introduced by LeFloch and Y. Ma and by Q. Wang. By revisiting the Hyperboloidal Foliation Method, we establish that a weighted energy of the solutions remains (almost) bounded for all times. The new ingredient in the proof is a hierarchy of fractional Morawetz energy estimates (for the wave component of the system) which is defined from two conformal transformations. The optimal case for these energy estimates corresponds to using the scaling vector field as a multiplier for the wave component.


title: Regular Hom-Lie structures on incidence algebras

abstract: We fully characterize regular Hom-Lie structures on the incidence algebra $I(X,K)$ of a finite connected poset $X$ over a field $K$. We prove that such a structure is the sum of a central-valued linear map annihilating the Jacobson radical of $I(X,K)$ with the composition of certain inner and multiplicative automorphisms of $I(X,K)$.


title: Measurement of the electroweak production of W$\gamma$ in association with two jets in proton-proton collisions at $\sqrt{s}$ = 13 TeV

abstract: A measurement is presented for the electroweak production of a W boson, a photon ($\gamma$), and two jets (j) in proton-proton collisions. The leptonic decay of the W boson is selected by requiring one identified electron or muon and large missing transverse momentum. The two jets are required to have large invariant dijet mass and large separation in pseudorapidity. The measurement is performed with the data collected by the CMS detector at a center-of-mass energy of 13 TeV, corresponding to an integrated luminosity of 138 fb$^{-1}$. The cross section for the electroweak W$\gamma$jj production is 23.5 $^{+4.9}_{-4.7}$ fb, whereas the total cross section for W$\gamma$jj production is 113 $\pm$ 13 fb. Differential cross sections are also measured with the distributions unfolded to the particle level. All results are in agreement with the standard model expectations. Constraints are placed on anomalous quartic gauge couplings (aQGCs) in terms of dimension-8 effective field theory operators. These are the most stringent limits to date on the aQGCs parameters $f_\mathrm{M,2-5}$ $/$ $\Lambda^4$ and $f_\mathrm{T,6-7}$ $/$ $\Lambda^4$.


title: Convexification Numerical Method for a Coefficient Inverse Problem for the Riemannian Radiative Transfer Equation

abstract: The first globally convergent numerical method for a Coefficient Inverse Problem (CIP) for the Riemannian Radiative Transfer Equation (RRTE) is constructed. This is a version of the so-called \textquotedblleft convexification" method, which has been pursued by this research group for a number of years for some other CIPs for PDEs. Those PDEs are significantly different from the RRTE. The presence of the Carleman Weight Function (CWF) in the numerical scheme is the key element which insures the global convergence. Convergence analysis is presented along with the results of numerical experiments, which confirm the theory. RRTE governs the propagation of photons in the diffuse medium in the case when they propagate along geodesic lines between their collisions. Geodesic lines are generated by the spatially variable dielectric constant of the medium.


title: Analyzing Regrettable Communications on Twitter: Characterizing Deleted Tweets and Their Authors

abstract: Over 500 million tweets are posted in Twitter each day, out of which about 11% tweets are deleted by the users posting them. This phenomenon of widespread deletion of tweets leads to a number of questions: what kind of content posted by users makes them want to delete them later? %Are all users equally active in deleting their tweets or Are users of certain predispositions more likely to post regrettable tweets, deleting them later? In this paper we provide a detailed characterization of tweets posted and then later deleted by their authors. We collected tweets from over 200 thousand Twitter users during a period of four weeks. Our characterization shows significant personality differences between users who delete their tweets and those who do not. We find that users who delete their tweets are more likely to be extroverted and neurotic while being less conscientious. Also, we find that deleted tweets while containing less information and being less conversational, contain significant indications of regrettable content. Since users of online communication do not have instant social cues (like listener's body language) to gauge the impact of their words, they are often delayed in employing repair strategies. Finally, we build a classifier which takes textual, contextual, as well as user features to predict if a tweet will be deleted or not. The classifier achieves a F1-score of 0.78 and the precision increases when we consider response features of the tweets.


title: Balanced Subsampling for Big Data with Categorical Covariates

abstract: The use and analysis of massive data are challenging due to the high storage and computational cost. Subsampling algorithms are popular to downsize the data volume and reduce the computational burden. Existing subsampling approaches focus on data with numerical covariates. Although big data with categorical covariates are frequently encountered in many disciplines, the subsampling plan has not been well established. In this paper, we propose a balanced subsampling approach for reducing data with categorical covariates. The selected subsample achieves a combinatorial balance among values of covariates and therefore enjoys three desired merits. First, a balanced subsample is nonsingular and thus allows the estimation of all parameters in ANOVA regression. Second, it provides the optimal parameter estimation in the sense of minimizing the generalized variance of the estimated parameters. Third, the model trained on a balanced subsample provides robust predictions in the sense of minimizing the worst-case prediction error. We demonstrate the usefulness of the balanced subsampling over existing data reduction methods in extensive simulation studies and a real-world application.


title: A Single Binary May Host Recurrent Thermonuclear Supernovae

abstract: The most commonly accepted progenitor system for Type Iax supernovae (SNe Iax) is the partial deflagration of a near-Chandrasekhar-mass white dwarf (WD) accreting from a non-degenerate helium donor star, leaving a bound remnant following the explosion. In this paper, we investigate whether the WD remant can undergo multiple SNe during the system's lifetime. We use Modules for Experiments in Astrophysics (MESA) to evolve various single-degenerate binaries to determine which could plausibly undergo multiple SNe Iax due to multiple helium accretion phases. We also investigate the possibility for a subsequent Type Ia SN after the formation of a double WD system. Our work concludes that close binaries with relatively high-mass donors produce the highest probability for several thermonuclear SNe.


title: Deep Causal Learning for Robotic Intelligence

abstract: This invited review discusses causal learning in the context of robotic intelligence. The paper introduced the psychological findings on causal learning in human cognition, then it introduced the traditional statistical solutions on causal discovery and causal inference. The paper reviewed recent deep causal learning algorithms with a focus on their architectures and the benefits of using deep nets and discussed the gap between deep causal learning and the needs of robotic intelligence.


title: On the singular limit problem for a discontinuous nonlocal conservation law

abstract: In this contribution we study the singular limit problem of a nonlocal conservation law with a discontinuity in space. The specific choice of the nonlocal kernel involving the spatial discontinuity as well enables it to obtain a maximum principle for the nonlocal equation. The corresponding local equation can be transformed diffeomorphically to a classical scalar conservation law where the well-know Kru\v{z}kov theory can be applied. However, the nonlocal equation does not scale that way which is why the study of convergence is interesting to pursue. For exponential kernels in the nonlocal operator, we establish the converge to the corresponding local equation under mild conditions on the involved discontinuous velocity. We illustrate our results with some numerical examples.


title: Does the Universe have its own mass?

abstract: Within the framework of the previously proposed formulation of the quantum theory of gravity in terms of world histories, it was suggested that the universe has its own mass. This quantity is analogous to the mass of a particle in relativistic mechanics. The mass of the universe is a distribution of non-zero values of gravitational constraints, which arises and changes in time as a consequence of the initial conditions for fundamental dynamic variables. A formulation of the Euclidean quantum theory of gravity is also proposed to determine the initial state, which can be the source of the universe's own mass. Being unrelated to ordinary matter, the distribution of its own mass affects the geometry of space and forms a dedicated frame of reference. The existence of selected reference systems is taken into account by the corresponding modification of the system of quantum gravitational links. A variant of such a modification of the Wheeler-De Witt equation is the operator representation of gravitational constraints, which, together with the state of the universe, determines the parameters of the reference system in the form of a distribution of the spinor field on a spatial section.


title: Metrics related to Oscillator algebras

abstract: A Lie algebra is said to be metric if it admits a symmetric invariant and nondegenerate bilinear form. The harmonic oscillator algebra, which arises in the quantum mechanical description of a harmonic oscillator, is the smallest solvable nonabelian metric example. This algebra is the first step of a countable series of solvable Lie algebras which support invariant Lorentzian forms. Generalizing this situation, in this paper we arrive to the oscillator Lie K-algebras as double extensions of metric spaces. The aim of this paper is to present some structural features, invariant metrics and derivations of this class of algebras and to explore their possibilities of being extended to mixed metric Lie algebras.


title: Polar modes and isospectrality of Ellis-Bronnikov wormholes

abstract: We consider polar perturbations of static Ellis-Bronnikov wormholes and derive the coupled set of perturbation equations for the gravitational and the scalar field. For massless wormholes the perturbations decouple, and we obtain two identical master equations for the scalar and gravitational modes, which moreover agree with the master equation for the axial modes. Consequently there is isospectrality with threefold degenerate modes. For a finite mass of the background wormhole solutions, the equations are coupled. We then obtain two distinct branches of polar quasinormal modes for a given multipole number l, associated with the presence of the two types of fields. We calculate the quasi-normal mode frequencies and decay rates for the branches with l=2, 3 and 4. For a given l the real frequencies of the two branchesget the closer, the higher the multipole number gets.


title: Robust Optimized Pulse Schemes for Atomic Fountain Interferometry

abstract: The robustness of an atomic fountain interferometer with respect to variations in the initial velocity of the atoms and deviations from the optimal pulse amplitude is examined. We numerically simulate the dynamics of an interferometer in momentum space with a maximum separation of $20 \hbar k$ and map out the expected signal contrast depending on the variance of the initial velocity distribution and the value of the laser field amplitude. We show that an excitation scheme based on rapid adiabatic passage significantly enhances the expected signal contrast compared to the commonly used scheme consisting of a series of Rabi pulses. We demonstrate further substantial increase of the robustness by using optimal control theory to identify splitting and swapping pulses that perform well on an ensemble average of pulse amplitudes and velocities. Our results demonstrate the ability of optimal control to significantly enhance future implementations of atomic fountain interferometry.


title: Stochastic Methods for AUC Optimization subject to AUC-based Fairness Constraints

abstract: As machine learning being used increasingly in making high-stakes decisions, an arising challenge is to avoid unfair AI systems that lead to discriminatory decisions for protected population. A direct approach for obtaining a fair predictive model is to train the model through optimizing its prediction performance subject to fairness constraints, which achieves Pareto efficiency when trading off performance against fairness. Among various fairness metrics, the ones based on the area under the ROC curve (AUC) are emerging recently because they are threshold-agnostic and effective for unbalanced data. In this work, we formulate the training problem of a fairness-aware machine learning model as an AUC optimization problem subject to a class of AUC-based fairness constraints. This problem can be reformulated as a min-max optimization problem with min-max constraints, which we solve by stochastic first-order methods based on a new Bregman divergence designed for the special structure of the problem. We numerically demonstrate the effectiveness of our approach on real-world data under different fairness metrics.


title: Search for new physics in the $\tau$ lepton plus missing transverse momentum final state in proton-proton collisions at $\sqrt{s}$ = 13 TeV

abstract: A search for physics beyond the standard model (SM) in the final state with a hadronically decaying tau lepton and a neutrino is presented. This analysis is based on data recorded by the CMS experiment from proton-proton collisions at a center-of-mass energy of 13 TeV at the LHC, corresponding to a total integrated luminosity of 138 fb$^{=1}$. The transverse mass spectrum is analyzed for the presence of new physics. No significant deviation from the SM prediction is observed. Limits are set on the production cross section of a W' boson decaying into a tau lepton and a neutrino. Lower limits are set on the mass of the sequential SM-like heavy charged vector boson and the mass of a quantum black hole. Upper limits are placed on the couplings of a new boson to the SM fermions. Constraints are put on a nonuniversal gauge interaction model and an effective field theory model. For the first time, upper limits on the cross section of $t$-channel leptoquark (LQ) exchange are presented. These limits are translated into exclusion limits on the LQ mass and on its coupling in the $t$-channel. The sensitivity of this analysis extends into the parameter space of LQ models that attempt to explain the anomalies observed in B meson decays. The limits presented for the various interpretations are the most stringent to date. Additionally, a model-independent limit is provided.


title: RNA foldings, Oriented Stuck Knots and State Sum Invariants

abstract: We extend the quandle cocycle invariant to the context of stuck links. More precisely, we define an invariant of stuck links by assigning Boltzmann weights at both classical and stuck crossings. As an application, we define a single-variable and a two-variable polynomial invariant of stuck links. Furthermore, we define a single-variable and two-variable polynomial invariant of arc diagrams of RNA foldings. We provide explicit computations of the new invariants.


title: A Convergence Rate for Manifold Neural Networks

abstract: High-dimensional data arises in numerous applications, and the rapidly developing field of geometric deep learning seeks to develop neural network architectures to analyze such data in non-Euclidean domains, such as graphs and manifolds. Recent work by Z. Wang, L. Ruiz, and A. Ribeiro has introduced a method for constructing manifold neural networks using the spectral decomposition of the Laplace Beltrami operator. Moreover, in this work, the authors provide a numerical scheme for implementing such neural networks when the manifold is unknown and one only has access to finitely many sample points. The authors show that this scheme, which relies upon building a data-driven graph, converges to the continuum limit as the number of sample points tends to infinity. Here, we build upon this result by establishing a rate of convergence that depends on the intrinsic dimension of the manifold but is independent of the ambient dimension. We also discuss how the rate of convergence depends on the depth of the network and the number of filters used in each layer.


title: A Novel SOC Estimation for Hybrid Energy Pack using Deep Learning

abstract: Estimating the state of charge (SOC) of compound energy storage devices in the hybrid energy storage system (HESS) of electric vehicles (EVs) is vital in improving the performance of the EV. The complex and variable charging and discharging current of EVs makes an accurate SOC estimation a challenge. This paper proposes a novel deep learning-based SOC estimation method for lithium-ion battery-supercapacitor HESS EV based on the nonlinear autoregressive with exogenous inputs neural network (NARXNN). The NARXNN is utilized to capture and overcome the complex nonlinear behaviors of lithium-ion batteries and supercapacitors in EVs. The results show that the proposed method improved the SOC estimation accuracy by 91.5% on average with error values below 0.1% and reduced consumption time by 11.4%. Hence validating both the effectiveness and robustness of the proposed method.


title: Systematic search for singularities in 3D Euler flows

abstract: We consider the question whether starting from a smooth initial condition 3D inviscid Euler flows on a periodic domain $\mathbb{T}^3$ may develop singularities in a finite time. Our point of departure is the well-known result by Kato (1972), which asserts the local existence of classical solutions to the Euler system in the Sobolev space $H^m(\mathbb{T}^3)$ for $m > 5/2$. Thus, potential formation of a singularity must be accompanied by an unbounded growth of the $H^m$ norm of the velocity field as the singularity time is approached. We perform a systematic search for "extreme" Euler flows that may realize such a scenario by formulating and solving a PDE-constrained optimization problem where the $H^3$ norm of the solution at a certain fixed time $T > 0$ is maximized with respect to the initial data subject to suitable normalization constraints. This problem is solved using a state-of-the-art Riemannian conjugate gradient method where the gradient is obtained from solutions of an adjoint system. Computations performed with increasing numerical resolutions demonstrate that, as asserted by the theorem of Kato (1972), when the optimization time window $[0, T]$ is sufficiently short, the $H^3$ norm remains bounded in the extreme flows found by solving the optimization problem, which indicates that the Euler system is well-posed on this "short" time interval. On the other hand, when the window $[0, T]$ is long, possibly longer than the time of the local existence asserted by Kato's theorem, then the $H^3$ norm of the extreme flows diverges upon resolution refinement, which indicates a possible singularity formulation on this "long" time interval. The extreme flow obtained on the long time window has the form of two colliding vortex rings and is characterized by certain symmetries. In particular, the region of the flow in which a singularity might occur is nearly axisymmetric.


title: Azimuthal anisotropy of jet particles in p-Pb and Pb-Pb collisions at $\sqrt{s_{\rm NN}}$ = 5.02 TeV

abstract: The azimuthal anisotropy of particles associated with jets (jet particles) at midrapidity is measured for the first time in p-Pb and Pb-Pb collisions at $\sqrt{s_{\rm NN}}$ = 5.02 TeV down to transverse momentum ($p_{\rm T}$) of 0.5 GeV/$c$ and 2 GeV/$c$, respectively, with ALICE. The second-order Fourier coefficient of the jet-particle azimuthal distribution ($v_2$) in high-multiplicity p-Pb collisions is positive, with a significance reaching 6.8$\sigma$ at low $p_{\rm T}$. Comparisons with the inclusive charged-particle $v_2$ and with AMPT calculations are discussed. The model describes qualitatively the main features of the jet-particle $v_2$ in high-multiplicity p-Pb collisions and indicates that the positive jet-particle $v_2$ is generated by parton interactions.


title: Gauging the Maxwell extended $\mathcal{GL}\left(n,\mathbb{R}\right)$ and $\mathcal{SL}\left(n+1,\mathbb{R}\right)$ algebras

abstract: We consider the extension of the general-linear and special-linear algebras by employing the Maxwell symmetry in $D$ space-time dimensions. We show how various Maxwell extensions of the ordinary space-time algebras can be obtained by a suitable contraction of generalized algebras. The extended Lie algebras could be useful in the construction of generalized gravity theories and the objects that couple to them. We also consider the gravitational dynamics of these algebras in the framework of the gauge theories of gravity. By adopting the symmetry-breaking mechanism of the Stelle-West model, we present some modified gravity models that contain the generalized cosmological constant term in four dimensions.


title: Your diffusion model secretly knows the dimension of the data manifold

abstract: In this work, we propose a novel framework for estimating the dimension of the data manifold using a trained diffusion model. A diffusion model approximates the score function i.e. the gradient of the log density of a noise-corrupted version of the target distribution for varying levels of corruption. We prove that, if the data concentrates around a manifold embedded in the high-dimensional ambient space, then as the level of corruption decreases, the score function points towards the manifold, as this direction becomes the direction of maximal likelihood increase. Therefore, for small levels of corruption, the diffusion model provides us with access to an approximation of the normal bundle of the data manifold. This allows us to estimate the dimension of the tangent space, thus, the intrinsic dimension of the data manifold. To the best of our knowledge, our method is the first estimator of the data manifold dimension based on diffusion models and it outperforms well established statistical estimators in controlled experiments on both Euclidean and image data.


title: Trapped ions beyond carrier and sideband interactions

abstract: Trapped ions driven by electromagnetic radiation constitute one of the most developed quantum technologies to date. The scenarios range from proof-of-principle experiments to on-chip integration for quantum information units. In most cases, these systems have operated in a regime where the magnitude of the ion-radiation coupling constant is much smaller than the trap and electronic transition frequencies. This regime allows the use of simple effective Hamiltonians based on the validity of the rotating wave approximation. However, novel trap and cavity designs now permit regimes in which the trap frequency and the ion-radiation coupling constant are commensurate. This opens up new venues for faster quantum gates and state transfers from the ion to a photon, and other quantum operations. From the theoretical side, however, there is not yet much known in terms of models and applications that go beyond the weak driving scenario. In this work, we will present two main results in the scenario of stronger drivings. First, we revisit a known protocol to reconstruct the motional Wigner function and expand it to stronger driving lasers. This extension is not trivial because the original protocol makes use of effective Hamiltonians valid only for weak drivings. The use of stronger fields or faster operations is desirable since experimental reconstruction methods of that kind are usually hindered by decoherence. We then present a model that allows the analytical treatment of stronger drivings and that works well for non-resonant interactions, which are generally out of the reach of the previous models.


title: Scalable and Secure Row-Swap: Efficient and Safe Row Hammer Mitigation in Memory Systems

abstract: As Dynamic Random Access Memories (DRAM) scale, they are becoming increasingly susceptible to Row Hammer. By rapidly activating rows of DRAM cells (aggressor rows), attackers can exploit inter-cell interference through Row Hammer to flip bits in neighboring rows (victim rows). A recent work, called Randomized Row-Swap (RRS), proposed proactively swapping aggressor rows with randomly selected rows before an aggressor row can cause Row Hammer. Our paper observes that RRS is neither secure nor scalable. We first propose the `Juggernaut attack pattern' that breaks RRS in under 1 day. Juggernaut exploits the fact that the mitigative action of RRS, a swap operation, can itself induce additional target row activations, defeating such a defense. Second, this paper proposes a new defense Secure Row-Swap mechanism that avoids the additional activations from swap (and unswap) operations and protects against Juggernaut. Furthermore, this paper extends Secure Row-Swap with attack detection to defend against even future attacks. While this provides better security, it also allows for securely reducing the frequency of swaps, thereby enabling Scalable and Secure Row-Swap. The Scalable and Secure Row-Swap mechanism provides years of Row Hammer protection with 3.3X lower storage overheads as compared to the RRS design. It incurs only a 0.7% slowdown as compared to a not-secure baseline for a Row Hammer threshold of 1200.


title: Similarity surfaces, connections, and the measurable Riemann mapping theorem

abstract: This article studies a particular process that approximates solutions of the Beltrami equation (straightening of ellipse fields, a.k.a. measurable Riemann mapping theorem) on $\mathbb{C}$. It passes through the introduction of a sequence of similarity surfaces constructed by gluing polygons, and we explain the relation between their conformal uniformization and the Schwarz-Christoffel formula. Numerical aspects, in particular the efficiency of the process, are not studied, but we draw interesting theoretical consequences. First, we give an independent proof of the analytic dependence, on the data (the Beltrami form), of the solution of the Beltrami equation (Ahlfors-Bers theorem). For this we prove, without using the Ahlfors-Bers theorem, the holomorphic dependence, with respect to the polygons, of the Christoffel symbol appearing in the Schwarz-Christoffel formula. Second, these Christoffel symbols define a sequence of parallel transports on the range, and in the case of a data that is $C^2$ with compact support, we prove that it converges to the parallel transport associated to a particular affine connection, which we identify.


title: Dark matter effects on hybrid star properties

abstract: In the present work we investigate the effects of dark matter (DM) on hybrid star properties. We assume that dark matter is mixed with both hadronic and quark matter and interact with them through the exchange of a Higgs boson. The hybrid star properties are obtained from equations of state calculated with a Maxwell prescription. For the hadronic matter we use the NL3* parameter set and for the quark matter, the MIT bag model with a vector interaction. We see that dark matter does not influence the phase transition points (pressure and chemical potential) but shifts the discontinuity on the energy density, which ultimately reduces the minimum mass star that contains a quark core. Moreover, it changes considerably the star family mass-radius diagrams and moves the merger polarizability curves inside the confidence lines. Another interesting feature is the influence of DM in the quark core of the hybrid stars constructed. Our results show an increase of the core radius for higher values of the dark particle Fermi momentum.


title: Assessing thermal imagery integration into object detection methods on ground-based and air-based collection platforms

abstract: Object detection models commonly deployed on uncrewed aerial systems (UAS) focus on identifying objects in the visible spectrum using Red-Green-Blue (RGB) imagery. However, there is growing interest in fusing RGB with thermal long wave infrared (LWIR) images to increase the performance of object detection machine learning (ML) models. Currently LWIR ML models have received less research attention, especially for both ground- and air-based platforms, leading to a lack of baseline performance metrics evaluating LWIR, RGB and LWIR-RGB fused object detection models. Therefore, this research contributes such quantitative metrics to the literature. The results found that the ground-based blended RGB-LWIR model exhibited superior performance compared to the RGB or LWIR approaches, achieving a mAP of 98.4%. Additionally, the blended RGB-LWIR model was also the only object detection model to work in both day and night conditions, providing superior operational capabilities. This research additionally contributes a novel labelled training dataset of 12,600 images for RGB, LWIR, and RGB-LWIR fused imagery, collected from ground-based and air-based platforms, enabling further multispectral machine-driven object detection research.


title: Equi-isoclinic subspaces, covers of the complete graph, and complex conference matrices

abstract: In 1992, Godsil and Hensel published a ground-breaking study of distance-regular antipodal covers of the complete graph that, among other things, introduced an important connection with equi-isoclinic subspaces. This connection seems to have been overlooked, as many of its immediate consequences have never been detailed in the literature. To correct this situation, we first describe how Godsil and Hensel's machine uses representation theory to construct equi-isoclinic tight fusion frames. Applying this machine to Mathon's construction produces $q+1$ planes in $\mathbb{R}^{q+1}$ for any even prime power $q>2$. Despite being an application of the 30-year-old Godsil-Hensel result, infinitely many of these parameters have never been enunciated in the literature. Following ideas from Et-Taoui, we then investigate a fruitful interplay with complex symmetric conference matrices.


title: Subdifferentiability and polyhedrality of the norm

abstract: In this paper we give necessary and sufficient conditions for the norm on an infinite dimensional Banach space to be sub differentiable, for various classes of Bananch spaces.


title: Integral formulation of Klein-Gordon singular waveguides

abstract: We consider the analysis of singular waveguides separating insulating phases in two-space dimensions. The insulating domains are modeled by a massive Schr\"odinger equation and the singular waveguide by appropriate jump conditions along the one-dimensional interface separating the insulators. We present an integral formulation of the problem and analyze its mathematical properties. We also implement a fast multipole and sweeping-accelerated iterative algorithm for solving the integral equations, and demonstrate numerically the fast convergence of this method. Several numerical examples of solutions and scattering effects illustrate our theory.


title: Mantis: Enabling Energy-Efficient Autonomous Mobile Agents with Spiking Neural Networks

abstract: Autonomous mobile agents such as unmanned aerial vehicles (UAVs) and mobile robots have shown huge potential for improving human productivity. These mobile agents require low power/energy consumption to have a long lifespan since they are usually powered by batteries. These agents also need to adapt to changing/dynamic environments, especially when deployed in far or dangerous locations, thus requiring efficient online learning capabilities. These requirements can be fulfilled by employing Spiking Neural Networks (SNNs) since SNNs offer low power/energy consumption due to sparse computations and efficient online learning due to bio-inspired learning mechanisms. However, a methodology is still required to employ appropriate SNN models on autonomous mobile agents. Towards this, we propose a Mantis methodology to systematically employ SNNs on autonomous mobile agents to enable energy-efficient processing and adaptive capabilities in dynamic environments. The key ideas of our Mantis include the optimization of SNN operations, the employment of a bio-plausible online learning mechanism, and the SNN model selection. The experimental results demonstrate that our methodology maintains high accuracy with a significantly smaller memory footprint and energy consumption (i.e., 3.32x memory reduction and 2.9x energy saving for an SNN model with 8-bit weights) compared to the baseline network with 32-bit weights. In this manner, our Mantis enables the employment of SNNs for resource- and energy-constrained mobile agents.


title: Nothing Stands Alone: Relational Fake News Detection with Hypergraph Neural Networks

abstract: Nowadays, fake news easily propagates through online social networks and becomes a grand threat to individuals and society. Assessing the authenticity of news is challenging due to its elaborately fabricated contents, making it difficult to obtain large-scale annotations for fake news data. Due to such data scarcity issues, detecting fake news tends to fail and overfit in the supervised setting. Recently, graph neural networks (GNNs) have been adopted to leverage the richer relational information among both labeled and unlabeled instances. Despite their promising results, they are inherently focused on pairwise relations between news, which can limit the expressive power for capturing fake news that spreads in a group-level. For example, detecting fake news can be more effective when we better understand relations between news pieces shared among susceptible users. To address those issues, we propose to leverage a hypergraph to represent group-wise interaction among news, while focusing on important news relations with its dual-level attention mechanism. Experiments based on two benchmark datasets show that our approach yields remarkable performance and maintains the high performance even with a small subset of labeled news data.


title: Hausdorff Moment Transforms and Their Performance

abstract: Various methods have been proposed to approximate a solution to the truncated Hausdorff moment problem. In this paper, we establish a method of comparison for the performance of the approximations. Three ways of producing random moment sequences are discussed and applied. Also, some of the approximations have been rewritten as linear transforms, and detailed accuracy requirements are analyzed. Our finding shows that the performance of the approximations differs significantly in their convergence properties, accuracy, and numerical complexity and that the decay type of the moment sequence strongly affects the accuracy requirement.


title: The Simple Economics of Optimal Bundling

abstract: We study optimal bundling when consumers differ in one dimension. We introduce a partial order on the set of bundles defined by (i) set inclusion and (ii) sales volumes (if sold alone and priced optimally). We show that if the undominated bundles with respect to this partial order are nested, then nested bundling (tiered pricing) is optimal. We characterize which nested menu is optimal: Selling a given menu of nested bundles is optimal if a smaller bundle in (out of) the menu sells more (less) than a bigger bundle in the menu. We present three applications of these insights: the first two connect optimal bundling and quality design to price elasticities and cost structures; the last one establishes a necessary and sufficient condition for costly screening to be optimal when a principal can use both price and nonprice screening instruments.


title: Moment potentials for spectral density functional theory: Exploiting the momentum distribution of the uniform electron gas

abstract: In standard Kohn-Sham (KS) density-functional theory (DFT) the valence band satellites in Ni and Pd are missing, the band widths in Ni and Na are too large, and the formation of lower and upper Hubbard bands in SrVO$_3$ is not described. These spectral features may be corrected by constructing the spectral function from the first four spectral moments, which may be obtained numerically efficiently within a \textit{moment-functional based spectral density functional theory} (MFbSDFT). In order to obtain a suitable potential for the second moment, one may use existing models of the uniform electron gas (UEG). However, models for the third moment of the UEG are not yet available. Therefore, we show that reproducing the momentum distribution of the UEG within the two-pole approximation of the spectral function determines the third moment, when the second moment is given. This allows us to find a model for the second and third moment potentials, which reproduces the experimental spectra of Ni, Pd, Na, and SrVO$_3$, and which is consistent with the second moment of the UEG at low density. Additionally, we describe an efficient algorithm to compute the spectral function from the first $2P$ spectral moment matrices, which paves the way to increasing the accuracy of MFbSDFT by using more than 4 spectral moments.


title: The Koszul complex and a certain induced module for a quantum group

abstract: We give a description of a certain induced module for a quantum group of type $A$. Together with our previous results this gives a proof of Lusztig's conjectural multiplicity formula for non-restricted modules over the De Concini-Kac type quantized enveloping algebra of type $A_n$ at the $\ell$-th root of unity, where $\ell$ is an odd integer satisfying $(\ell,n+1)=1$ and $\ell> n+1$.


title: Excited doubly heavy baryons production via Higgs decays

abstract: Through the interaction of Higgs with heavy quarks in standard model, we have systematically studied and predicted the production of excited doubly heavy baryons based on non-relativistic QCD theory. The decay widths, differential distributions, and major theoretical uncertainties of the excited doubly heavy baryons via the process $H \rightarrow \langle QQ'\rangle[n] \rightarrow \Xi_{QQ'}+ \bar {Q'} + \bar {Q}$ are discussed in detail. The spin and color quantum number of the intermediate $P$-wave diquark state $\langle QQ'\rangle[n]$ can be $\langle cc\rangle[^{1}P_{1}]_{\mathbf{\bar 3}}$, $\langle cc\rangle[^{3}P_{J}]_{\mathbf{6}}$, $\langle bc\rangle[^{1}P_{1}]_{\mathbf{\bar 3}/ \mathbf{6}}$, $\langle bc\rangle[^{3}P_{J}]_{\mathbf{\bar 3}/ \mathbf{6}}$, $\langle bb \rangle[^{1}P_{1}]_{\mathbf{\bar 3}}$ and $\langle bb\rangle[^{3}P_{J}]_{\mathbf{6}}$, with $J=0, 1, 2$. The contributions from all summed $P$-wave states can be about $3.05\%$, $3.23\%$ and $2.19\%$ of the $S$-wave states for the production of $\Xi_{cc}$, $\Xi_{bc}$ and $\Xi_{bb}$, accordingly. Therefore, there will be about 0.41$\times10^4$ events of $\Xi_{cc}$, 6.35$\times10^4$ events of $\Xi_{bc}$ and 0.28$\times10^4$ events of $\Xi_{bb}$ produced per year at the HL-LHC, and a smaller number of events would be produced at the CEPC or ILC but with a cleaner background to be measured by the experiments.


title: High Performance Delay Monitoring for SRv6 Based SD-WANs

abstract: Software-Defined Wide Area Networks (SD-WANs) are used to provide services to enterprises with geographically dispersed locations in a flexible and efficient way. We focus on SD-WAN services based on the Segment Routing over IPv6 (SRv6) technology. Performance Monitoring solutions are needed in SD-WANs to detect performance degradation and outages, and optimize network operations. In this paper, we describe a high performance solution for end-to-end delay monitoring for SRv6 based SD-WAN services. The proposed solution leverages the Simple Two-way Active Measurement Protocol (STAMP) to monitor the delay of an SRv6 path between two nodes called STAMP Session-Sender and Session-Reflector. We describe three implementations of the STAMP Session-Sender and Session-Reflector for a Linux software router and compare their performance. In particular, two implementations are based on user space processing and one is based on eBPF. The results show that the eBPF-based implementation outperforms the user space implementations and has a negligible impact on the forwarding capacity of the Linux software router.


title: Thermal Transport Imaging in the Quantum Hall Edge Channel

abstract: Research focused on heat transport in the quantum Hall (QH) edge channel has successfully addressed fundamental theoretical questions surrounding the QH physics. However, the picture of the edge channel is complicated by the phenomenon of energy dissipation out of the edge, and theories treating this dissipation are lacking. More experimental data is also needed to determine the coupling mechanism by which energy leaves the edge channel. We developed a method to map the heat transport in the QH edge to study the dissipation of heat. We locally heated the QH edge and locally detected the temperature increase while continuously varying the distance between heater and thermometer. We thereby obtained the thermal decay length of the edge state.


title: Concentration of the Langevin Algorithm's Stationary Distribution

abstract: A canonical algorithm for log-concave sampling is the Langevin Algorithm, aka the Langevin Diffusion run with some discretization stepsize $\eta > 0$. This discretization leads the Langevin Algorithm to have a stationary distribution $\pi_{\eta}$ which differs from the stationary distribution $\pi$ of the Langevin Diffusion, and it is an important challenge to understand whether the well-known properties of $\pi$ extend to $\pi_{\eta}$. In particular, while concentration properties such as isoperimetry and rapidly decaying tails are classically known for $\pi$, the analogous properties for $\pi_{\eta}$ are open questions with direct algorithmic implications. This note provides a first step in this direction by establishing concentration results for $\pi_{\eta}$ that mirror classical results for $\pi$. Specifically, we show that for any nontrivial stepsize $\eta > 0$, $\pi_{\eta}$ is sub-exponential (respectively, sub-Gaussian) when the potential is convex (respectively, strongly convex). Moreover, the concentration bounds we show are essentially tight. Key to our analysis is the use of a rotation-invariant moment generating function (aka Bessel function) to study the stationary dynamics of the Langevin Algorithm. This technique may be of independent interest because it enables directly analyzing the discrete-time stationary distribution $\pi_{\eta}$ without going through the continuous-time stationary distribution $\pi$ as an intermediary.


title: Study of Exoo's Lower Bound for Ramsey number $R(5,5)$

abstract: We review Exoo's 1989 paper, which demonstrates that a lower bound for the Ramsey number $R(5,5)$ is $43$. We provide an efficient way to verify the claims in the paper, adding detailed proofs. In particular, we replace the reference to computer verification by concise arguments. Using our understanding of the insight behind these proofs, we are also able to analyse variations of the graph constructions to obtain, for example, colourings of $K_{43}$ which have very few monochromatic $K_5$.


title: A Labelled Sample Compression Scheme of Size at Most Quadratic in the VC Dimension

abstract: This paper presents a construction of a proper and stable labelled sample compression scheme of size $O(\VCD^2)$ for any finite concept class, where $\VCD$ denotes the Vapnik-Chervonenkis Dimension. The construction is based on a well-known model of machine teaching, referred to as recursive teaching dimension. This substantially improves on the currently best known bound on the size of sample compression schemes (due to Moran and Yehudayoff), which is exponential in $\VCD$. The long-standing open question whether the smallest size of a sample compression scheme is in $O(\VCD)$ remains unresolved, but our results show that research on machine teaching is a promising avenue for the study of this open problem. As further evidence of the strong connections between machine teaching and sample compression, we prove that the model of no-clash teaching, introduced by Kirkpatrick et al., can be used to define a non-trivial lower bound on the size of stable sample compression schemes.


title: The Prediction of Anyons: Its History and Wider Implications

abstract: Prediction of ``anyons'', often attributed exclusively to Wilczek, came first from Leinaas & Myrheim in 1977, and independently from Goldin, Menikoff, & Sharp in 1980-81. In 2020, experimentalists successfully created anyonic excitations. This paper discusses why the possibility of quantum particles in two-dimensional space with intermediate exchange statistics eluded physicists for so long after bosons and fermions were understood. The history suggests ideas for the preparation of future researchers. I conclude by addressing failures to attribute scientific achievements accurately. Such practices disproportionately hurt women and minorities in physics, and are harmful to science.


title: Inclusive Artificial Intelligence

abstract: Prevailing methods for assessing and comparing generative AIs incentivize responses that serve a hypothetical representative individual. Evaluating models in these terms presumes homogeneous preferences across the population and engenders selection of agglomerative AIs, which fail to represent the diverse range of interests across individuals. We propose an alternative evaluation method that instead prioritizes inclusive AIs, which provably retain the requisite knowledge not only for subsequent response customization to particular segments of the population but also for utility-maximizing decisions.


title: ELOISE -- Reliable background simulation at sub-keV energies

abstract: $CaWO_4$ and $Al_2O_3$ are well-established target materials used by experiments searching for rare events like the elastic scattering off of a hypothetical Dark Matter particle. In recent years, experiments have reached detection thresholds for nuclear recoils at the 10 eV-scale. At this energy scale, a reliable Monte Carlo simulation of the expected background is crucial. However, none of the publicly available general-purpose simulation packages are validated at this energy scale and for these targets. The recently started ELOISE project aims to provide reliable simulations of electromagnetic particle interactions for this use case by obtaining experimental reference data, validating the simulation code against them, and, if needed, calibrating the code to the reference data.


title: CM points on Shimura curves via QM-equivariant isogeny volcanoes

abstract: We study CM points on the Shimura curves $X_0^D(N)_{/\mathbb{Q}}$ and $X_1^D(N)_{/\mathbb{Q}}$, parametrizing abelian surfaces with quaternionic multiplication and extra level structure. A description of the locus of points with CM by a specified order is obtained for general level, via an isogeny-volcano approach in analogy to work of Clark and Clark--Saia in the $D=1$ case of modular curves. This allows for a count of all points with CM by a specified order on such a curve, and a determination of all primitive residue fields and primitive degrees of such points on $X_0^D(N)_{/\mathbb{Q}}$. We leverage computations of least degrees towards the existence of sporadic CM points on $X_0^D(N)_{/\mathbb{Q}}$.


title: Numerical Evolution from the Hamiltonian

abstract: We propose a numerical method for approximate calculations of the time evolution of point particle systems given only the system's Hamiltonian function and initial conditions. The method both generates and solves the equations of motion numerically. For demonstration purposes, a working implementation written in Python is described and applied to standard problems. The method may have some pedagogical merits but the numerical effort of generating the equations of motion makes it unsuitable for actual numerical solution of "real" problems with any but just a few degrees of freedom.


title: Competition of non-Hermitian skin effect and topological localization of corner states observed in circuits

abstract: Exploring topological phases in non-Hermitian systems has attracted significant recent attention. One intriguing question is how topological edge states compete with the non-Hermitian skin effect. Here, we report the experimental observation of corner states in a two-dimensional non-reciprocal rhombus honeycomb electric circuit. We construct non-reciprocal and non-Hermitian circuits by introducing current-direction resolved capacitance between two nodes depends on the current direction. Skin effect thus emerges due to the non-reciprocity and prevails in dragging the corner state into the bulk. The non-Bloch winding number defined in generalized Brillouin zone is adopted to characterize the topological phase transition. Interestingly, we find that the non-Bloch $Z_2$ Berry phase can serve as an invariant to describe the non-Hermitian topology. By tuning the non-reciprocal parameter, we observe unbalanced distribution of corner states emerging on two acute angles of the rhombus lattice, with the localization length of the left corner state increasing exponentially with the degree of non-reciprocity.


title: Dimensionality-confined superconductivity within SrNbO3-SrTiO3 heterostructures

abstract: Interfaces between transition-metal oxides are able to host two-dimensional electron gases (2DEGs) and exhibit exotic quantum phenomena. Here we report the observation of superconductivity below 230 mK for the heterostructure composed of SrNbO3 (SNO) and SrTiO3 (STO). Different from some other counterparts with two insulators, the metallic SNO provides a novel mechanism to form a quasi 2DEG by charge transfer from bulk towards interface under strain. The superconductivity, residing within the strained SNO layer near the interface, is contributed by an electron system with record-low carrier density. Notably, although embedded in a normal metallic layer with a carrier density 4 to 5 orders higher, the electron system is still uniquely well-protected to retain high mobility and lies deep in extreme quantum regime.


title: Matrix Measure Flows: A Novel Approach to Stable Plasticity in Neural Networks

abstract: This letter introduces the notion of a matrix measure flow as a tool for analyzing the stability of neural networks with time-varying weights. Given a matrix flow -- for example, one induced by gradient-based adaptation -- the matrix measure flow tracks the progression of an associated matrix measure (or logarithmic norm). We show that for certain matrix flows of interest in computational neuroscience and machine learning, the associated matrix measure flow obeys a simple inequality. In the context of neuroscience, synapses -- the connections between neurons in the brain -- are constantly being updated. This plasticity subserves many important functions, such as memory consolidation and fast parameter adaptation towards real-time control objectives. However, synaptic plasticity poses a challenge for stability analyses of recurrent neural networks, which typically assume fixed synapses. Matrix measure flows allow the stability and contraction properties of recurrent neural networks with plastic synapses to be systematically analyzed. This in turn can be used to establish the robustness properties of neural dynamics, including those associated with problems in optimization and control. We consider examples of synapses subject to Hebbian and/or Anti-Hebbian plasticity, as well as covariance-based and gradient-based rules.


title: Distributed Control within a Trapezoid Virtual Tube Containing Obstacles for UAV Swarm Subject to Speed Constraints

abstract: For guiding the UAV swarm to pass through narrow openings, a trapezoid virtual tube is designed in our previous work. In this paper, we generalize its application range to the condition that there exist obstacles inside the trapezoid virtual tube and UAVs have strict speed constraints. First, a distributed vector field controller is proposed for the trapezoid virtual tube with no obstacle inside. The relationship between the trapezoid virtual tube and the speed constraints is also presented. Then, a switching logic for the obstacle avoidance is put forward. The key point is to divide the trapezoid virtual tube containing obstacles into several sub trapezoid virtual tubes with no obstacle inside. Formal analyses and proofs are made to show that all UAVs are able to pass through the trapezoid virtual tube safely. Besides, the effectiveness of the proposed method is validated by numerical simulations and real experiments.


title: Out-of-Distribution Detection with Reconstruction Error and Typicality-based Penalty

abstract: The task of out-of-distribution (OOD) detection is vital to realize safe and reliable operation for real-world applications. After the failure of likelihood-based detection in high dimensions had been shown, approaches based on the \emph{typical set} have been attracting attention; however, they still have not achieved satisfactory performance. Beginning by presenting the failure case of the typicality-based approach, we propose a new reconstruction error-based approach that employs normalizing flow (NF). We further introduce a typicality-based penalty, and by incorporating it into the reconstruction error in NF, we propose a new OOD detection method, penalized reconstruction error (PRE). Because the PRE detects test inputs that lie off the in-distribution manifold, it effectively detects adversarial examples as well as OOD examples. We show the effectiveness of our method through the evaluation using natural image datasets, CIFAR-10, TinyImageNet, and ILSVRC2012.


title: Corrected Navier-Stokes equations for compressible flows

abstract: For gas flows, the Navier-Stokes (NS) equations are established by mathematically expressing conservations of mass, momentum and energy. The advantage of the NS equations over the Euler equations is that the NS equations have taken into account the viscous stress caused by the thermal motion of molecules. The viscous stress arises from applying Isaac Newton's second law to fluid motion, together with the assumption that the stress is proportional to the gradient of velocity1. Thus, the assumption is the only empirical element in the NS equations, and this is actually the reason why the NS equations perform poorly under special circumstances. For example, the NS equations cannot describe rarefied gas flows and shock structure. This work proposed a correction to the NS equations with an argument that the viscous stress is proportional to the gradient of momentum when the flow is under compression, with zero additional empirical parameters. For the first time, the NS equations have been capable of accurately solving shock structure and rarefied gas flows. In addition, even for perfect gas, the accuracy of the prediction of heat flux rate is greatly improved. The corrected NS equations can readily be used to improve the accuracy in the computation of flows with density variations which is common in nature.