title: Fast and flexible implementations of Wilson, Brillouin and Susskind fermions in lattice QCD

abstract: A modern Fortran implementation of three Dirac operators (Wilson, Brillouin, Susskind) in lattice QCD is presented, based on OpenMP shared-memory parallelization and SIMD pragmas. The main idea is to apply a Dirac operator to $N_v$ vectors simultaneously, to ease the memory bandwidth bottleneck. All index computations are left to the compiler and maximum weight is given to portability and flexibility. The lattice volume, $N_x N_y N_z N_t$, the number of colors, $N_c$, and the number of right-hand sides, $N_v$, are parameters defined at compile time. Several memory layout options are compared. The code performs well on modern many-core architectures (480 Gflop/s, 880 Gflop/s, and 780 Gflop/s with $N_v=12$ for the three operators in single precision on a 72-core KNL processor, a $2\times24$-core Skylake node yields similar results). Explicit run-time tests with CG/BiCGstab inverters confirm that the memory layout is relevant for the KNL, but less so for the Skylake architecture. The ancillary code distribution contains all routines, including the single, double, and mixed precision Krylov space solvers, to render it self-contained and ready-to-use.


title: Symmetry properties of the ground state of the system of interacting spinless bosons

abstract: We perform the symmetry analysis of the properties of the ground state of a finite system of interacting spinless bosons for the three most symmetric boundary conditions (BCs): zero BCs with spherical and circular symmetries, as well as periodic BCs. The symmetry of the system can lead to interesting properties. For instance, the density of a periodic Bose system is an exact constant: $\rho(\textbf{r})=const$. Moreover, under the perfect spherical symmetry of BCs, the crystalline state cannot produce the Bragg peaks. The main result of the article is that symmetry properties and general quantum-mechanical theorems admit equally both crystalline and liquid ground state for a Bose system of any density.

categories: cond-mat.quant-gas cond-mat.other math-ph math.MP


title: Thin hyperbolic reflection groups

abstract: We study a family of Zariski dense finitely generated discrete subgroups of $\mathrm{Isom}(\mathbb{H}^d)$, $d \geqslant 2$, defined by the following property: any group in this family contains at least one reflection in a hyperplane. As an application we obtain a general description of all thin hyperbolic reflection groups. In particular, we show that the Vinberg algorithm applied to a non-reflective Lorentzian lattice gives rise to an infinite sequence of thin reflection subgroups in $\mathrm{Isom}(\mathbb{H}^d)$, for any $d \geqslant 2$. Moreover, every such group is a subgroup of a group produced by the Vinberg algorithm applied to a Lorentzian lattice independently on the latter being reflective. As a consequence, all thin hyperbolic reflection groups are enumerable.


title: The Disappearance and Reappearance of Potential Energy in Classical and Quantum Electrodynamics

abstract: In electrostatics, we can use either potential energy or field energy to ensure conservation of energy. In electrodynamics, the former option is unavailable. To ensure conservation of energy, we must attribute energy to the electromagnetic field and, in particular, to electromagnetic radiation. If we adopt the standard energy density for the electromagnetic field, then potential energy seems to disappear. However, a closer look at electrodynamics shows that this conclusion actually depends on the kind of matter being considered. Although we cannot get by without attributing energy to the electromagnetic field, matter may still have electromagnetic potential energy. Indeed, if we take the matter to be represented by the Dirac field (in a classical precursor to quantum electrodynamics), then it will possess potential energy (as can be seen by examining the symmetric energy-momentum tensor of the Dirac field). Thus, potential energy reappears. Upon field quantization, the potential energy of the Dirac field becomes an interaction term in the Hamiltonian operator of quantum electrodynamics.

categories: physics.hist-ph hep-th physics.class-ph quant-ph


title: Implementation of Convolutional Neural Network Architecture on 3D Multiparametric Magnetic Resonance Imaging for Prostate Cancer Diagnosis

abstract: Prostate cancer is one of the most common causes of cancer deaths in men. There is a growing demand for noninvasively and accurately diagnostic methods that facilitate the current standard prostate cancer risk assessment in clinical practice. Still, developing computer-aided classification tools in prostate cancer diagnostics from multiparametric magnetic resonance images continues to be a challenge. In this work, we propose a novel deep learning approach for automatic classification of prostate lesions in the corresponding magnetic resonance images by constructing a two-stage multimodal multi-stream convolutional neural network (CNN)-based architecture framework. Without implementing sophisticated image preprocessing steps or third-party software, our framework achieved the classification performance with the area under a Receiver Operating Characteristic (ROC) curve value of 0.87. The result outperformed most of the submitted methods and shared the highest value reported by the PROSTATEx Challenge organizer. Our proposed CNN-based framework reflects the potential of assisting medical image interpretation in prostate cancer and reducing unnecessary biopsies.


title: The Power of Locality: Primordial Non-Gaussianity at the Map Level

abstract: Primordial non-Gaussianity is a sensitive probe of the inflationary era, with a number of important theoretical targets living an order of magnitude beyond the reach of current CMB constraints. Maps of the large-scale structure of the universe, in principle, have the raw statistical power to reach these targets, but the complications of nonlinear evolution are thought to present serious, if not insurmountable, obstacles to reaching these goals. In this paper, we will argue that the challenge presented by nonlinear structure formation has been overstated. The information encoded in primordial non-Gaussianity resides in nonlocal correlations of the density field at three or more points separated by cosmological distances. In contrast, nonlinear evolution only alters the density field locally and cannot create or destroy these long-range correlations. This locality property of the late-time non-Gaussianity is obscured in Fourier space and in the standard bispectrum searches for primordial non-Gaussianity. We therefore propose to measure non-Gaussianity in the position space maps of the large-scale structure. As a proof of concept, we study the case of equilateral non-Gaussianity, for which the degeneracy with late-time nonlinearities is the most severe. We show that a map-level analysis is capable of breaking this degeneracy and thereby significantly improve the constraining power over previous estimates. Our findings suggest that "simulation-based inference" involving the forward modeling of large-scale structure maps has the potential to dramatically impact the search for primordial non-Gaussianity.


title: The impact of inter-city mobility on urban welfare

abstract: While much effort has been devoted to understand the role of intra-urban characteristics on sustainability and growth, much remains to be understood about the effect of inter-urban interactions and the role cities have in determining each other's urban welfare. Here we consider a global mobility network of population flows between cities as a proxy for the communication between these regions, and analyze how these flows impact socioeconomic indicators that measure economic success. We use several measures of centrality to rank cities according to their importance in the mobility network, finding PageRank to be the most effective measure for reflecting these prosperity indicators. Our analysis reveals that the characterization of the welfare of cities based on mobility information hinges on their corresponding development stage. Namely, while network-based predictions of welfare correlate well with economic indicators in mature cities, for developing urban areas additional information about the prosperity of their mobility neighborhood is needed. For these developing cities, those that are connected to sets of mature cities show markedly better socio-economic indicators than those connected to less mature cities. We develop a simple generative model for the allocation of population flows out of a city that balances the costs and benefits of interaction with other cities that are successful, finding that it provides a strong fit to the flows observed in the global mobility network and highlights the differences in flow patterns between developed and developing urban regions. Our results hint towards the importance of leveraging inter-urban connections in service of urban development and welfare.


title: Supersymmetry and Irrelevant Deformations

abstract: The $T \overline{T}$ operator provides a universal irrelevant deformation of two-dimensional quantum field theories with remarkable properties, including connections to both string theory and holography beyond $\mathrm{AdS}$ spacetimes. In particular, it appears that a $T \overline{T}$-deformed theory is a kind of new structure, which is neither a local quantum field theory nor a full-fledged string theory, but which is nonetheless under some analytic control. On the other hand, supersymmetry is a beautiful extension of Poincar\'e symmetry which relates bosonic and fermionic degrees of freedom. It is natural to ask what one can learn about irrelevant deformations in supersymmetric quantum field theories. In this thesis, we describe a presentation of the $T \overline{T}$ deformation in manifestly supersymmetric settings. We define a "supercurrent-squared" operator, which is closely related to $T \overline{T}$, in any two-dimensional theory with $(0, 1)$, $(1, 1)$, or $(2, 2)$ supersymmetry. This deformation generates a flow equation for the superspace Lagrangian of the theory, which therefore makes the supersymmetry manifest. In certain examples, the deformed theories produced by supercurrent-squared are related to superstring and brane actions, and some of these theories possess extra non-linearly realized supersymmetries. We then show that $T \overline{T}$ defines a new theory of both abelian and non-abelian gauge fields coupled to charged matter, which includes models compatible with maximal supersymmetry. Most of this thesis is adapted from previous publications. However, the final chapter presents new results on $T \overline{T}$-like deformations of general gauge theories in an arbitrary number of spacetime dimensions; this analysis has not appeared in past work.


title: Mapping out the internal space in AdS/BCFT with Wilson loops

abstract: We study Wilson loops in string theory realizations of AdS/BCFT and wedge holography. The field theories are based on 3d $\mathcal N=4$ long quiver gauge theories engineered by D3, D5 and NS5 branes, and on BCFTs involving 4d $\mathcal N=4$ SYM coupled to such 3d theories. The holographic duals have geometry $AdS_4\times S^2\times S^2$ warped over a strip. We identify the holographic representation of antisymmetric Wilson loops associated with individual 3d gauge nodes in terms of probe D5-branes. The expectation values obtained holographically are matched to supersymmetric localization computations. Our results yield an identification of regions in the internal space with individual 3d gauge nodes. Connecting to bottom-up braneworld models, this gives a concrete notion of which parts of the 10d solutions correspond to the end-of-the-world brane and which to the remaining bulk. We also construct supersymmetric Janus on the brane embeddings in AdS$_5\times$S$^5$, which describe surface defects with boundaries and interfaces in $\mathcal N=4$ SYM.


title: Tired of Misattribution, Modeling Player Fatigue in the NBA

abstract: The prevailing belief propagated by NBA league observers is that the workload of the NBA season dramatically influences a player's performance$^{1,2,3,4,5}$. We offer an analysis of cross game player fatigue that calls into question the empirical validity of these claims. The analysis is split into three observational studies on prior NBA seasons. First, to offer an analysis generalized to the whole league, we conduct an examination of relative workloads with in-game player tracking data as a proxy for exertion. Second, to introduce a more granular perspective, we conduct a case study of the effectiveness of load management for Kawhi Leonard. Third, to extend the analysis to a broader set of fatigue sources, we examine the impact of schedule features structurally imposed on teams. All three analyses indicate the impact of cumulative player fatigue on game outcomes is minimal. As a result, we assert in the context of the measures already taken by teams to maintain the health of their players,$^6$ the impact of fatigue in the NBA is overstated.


title: Sound velocity effects on the phase transition gravitational wave spectrum in the sound shell model

abstract: A cosmological first-order phase transition gravitational wave could provide a novel approach to studying the early Universe. In most cases, the acoustic gravitational wave from the sound wave mechanism is dominant. Considering different sound velocities in symmetric and broken phases, we study sound velocity effects on the acoustic phase transition gravitational wave spectra in the sound shell model. We demonstrate that different sound velocities could obviously modify the peak frequency and peak amplitude of the gravitational wave power spectra. Therefore, taking more realistic sound velocities might provide more accurate predictions for various gravitational wave experiments.


title: On the Instability of Relative Pose Estimation and RANSAC's Role

abstract: In this paper we study the numerical instabilities of the 5- and 7-point problems for essential and fundamental matrix estimation in multiview geometry. In both cases we characterize the ill-posed world scenes where the condition number for epipolar estimation is infinite. We also characterize the ill-posed instances in terms of the given image data. To arrive at these results, we present a general framework for analyzing the conditioning of minimal problems in multiview geometry, based on Riemannian manifolds. Experiments with synthetic and real-world data then reveal a striking conclusion: that Random Sample Consensus (RANSAC) in Structure-from-Motion (SfM) does not only serve to filter out outliers, but RANSAC also selects for well-conditioned image data, sufficiently separated from the ill-posed locus that our theory predicts. Our findings suggest that, in future work, one could try to accelerate and increase the success of RANSAC by testing only well-conditioned image data.


title: Private Rank Aggregation in Central and Local Models

abstract: In social choice theory, (Kemeny) rank aggregation is a well-studied problem where the goal is to combine rankings from multiple voters into a single ranking on the same set of items. Since rankings can reveal preferences of voters (which a voter might like to keep private), it is important to aggregate preferences in such a way to preserve privacy. In this work, we present differentially private algorithms for rank aggregation in the pure and approximate settings along with distribution-independent utility upper and lower bounds. In addition to bounds in the central model, we also present utility bounds for the local model of differential privacy.


title: Thermalization of Nuclear Matter in Heavy-Ion Collisions at Fermi-Energies

abstract: We analyze the time evolution of the kinetic properties of nuclear matter produced in heavy-ion collisions at Fermi energies. The collision system is simulated using Constrained Molecular Dynamics (CoMD) transport calculations whose output is the isospin, position, and momentum of the nucleons. Focusing on central 35$\,$A$\cdot$MeV $^{40}$Ca+$^{40}$Ca collisions we utilize this information to extract localized momentum distributions in volume elements of 8$\,$fm$^3$ and time steps of 5$\,$fm/$c$. We then parameterize the single-particle momentum distributions with thermally motivated fit functions in the local rest frame of each cell. While the transverse-momentum distributions are well reproduced by thermal ones, the longitudinal ones carry a marked imprint of the initial nuclear motion which we capture by introducing a centroid motion into our fit functions. In particular, we find that Fermi distributions yield significantly better fits than Boltzmann ones, a consequence of the Pauli blocking implemented in CoMD. From the fits we extract the time dependence of the thermodynamic and collective properties of the excited nuclear medium. We find that the transverse temperature gradually rises to about 6$\,$MeV, which is accompanied by a dissipation of the initial centroid motion of the incoming nuclei which vanishes at about 100$\,$fm/$c$ after initial impact. We are therefore able to track the transition of beam energy into random kinetic energy for nucleons, suggesting a three-dimensional equilibration of energy in the late stages of the collision.


title: NEMD modeling of nanoscale hydrodynamics of clay-water system at elevated temperature

abstract: The engineering problems involving clay under non-isothermal conditions (e.g., geothermal energy harvest, landfill cover system, and nuclear waste disposal) are multiscale and multiphysics by nature. The nanoscale hydrodynamics of clay at elevated temperature is essential in developing a physics-based multiscale model for clay under non-isothermal conditions. The nonequilibrium molecular dynamics (NEMD) is a useful tool to study the nanoscale hydrodyndamics of clay. This article presents an NEMD modeling of hydrodynamics of clay nanopores at elevated temperatures. Water flow confined in pyrophyllite and montmorillonite clay nanopores is investigated. The nonequilibrium state is maintained by uniformly exerting an external force on each water molecule. The NEMD simulations have provided a molecular-scale perspective of temperature effect on clay-water density, water flow velocity, shear viscosity, clay-water slip length, hydraulic conductivity, and clay-water friction coefficient. The numerical results have shown a strong temperature dependence of fluid flow velocity, shear viscosity, clay-water slip length, and hydraulic conductivity at the nanoscale. We have validated the applicability of cubic law in determining hydraulic conductivity at the nanopore scale under at elevated temperature. It is found from our numerical results that slip clay-water boundary condition is an essential factor in properly determining nanoscale fluid flow velocity. By numerical examples, we also study the impact of nanopore size and clay layer thickness on the hydrodynamics of the clay-water system.


title: Broadcasting on Adversarial Multiple Access Channels

abstract: We study deterministic distributed algorithms for broadcasting on multiple-access channels. Packet injection is modeled by leaky-bucket adversaries. There is a fixed set of stations attached to a channel. Additional features of the model of communication include an upper bound on the number of stations activated in a round, an individual injection rate, and randomness in generating and injecting packets. We demonstrate that some broadcast algorithms designed for ad-hoc channels have bounded latency for increased ranges of injection rates than in ad-hoc channels when executed on channels with a fixed number of stations against adversaries that can activate at most one station per round. Individual injection rates are shown to impact latency, as compared to the model of general leaky bucket adversaries. Outcomes of experiments are given that compare the performance of broadcast algorithms against randomized adversaries. The experiments include deterministic algorithms and randomized backoff algorithms.


title: Gendered Differences in Face Recognition Accuracy Explained by Hairstyles, Makeup, and Facial Morphology

abstract: Media reports have accused face recognition of being ''biased'', ''sexist'' and ''racist''. There is consensus in the research literature that face recognition accuracy is lower for females, who often have both a higher false match rate and a higher false non-match rate. However, there is little published research aimed at identifying the cause of lower accuracy for females. For instance, the 2019 Face Recognition Vendor Test that documents lower female accuracy across a broad range of algorithms and datasets also lists ''Analyze cause and effect'' under the heading ''What we did not do''. We present the first experimental analysis to identify major causes of lower face recognition accuracy for females on datasets where previous research has observed this result. Controlling for equal amount of visible face in the test images mitigates the apparent higher false non-match rate for females. Additional analysis shows that makeup-balanced datasets further improves females to achieve lower false non-match rates. Finally, a clustering experiment suggests that images of two different females are inherently more similar than of two different males, potentially accounting for a difference in false match rates.


title: Dynamic programming with incomplete information to overcome navigational uncertainty in a nautical environment

abstract: Using a novel toy nautical navigation environment, we show that dynamic programming can be used when only incomplete information about a partially observed Markov decision process (POMDP) is known. By incorporating uncertainty into our model, we show that navigation policies can be constructed that maintain safety, outperforming the baseline performance of traditional dynamic programming for Markov decision processes (MDPs). Adding in controlled sensing methods, we show that these policies can also lower measurement costs at the same time.


title: Unitarily invariant valuations on convex functions

abstract: Continuous, dually epi-translation invariant valuations on the space of finite-valued convex functions on $\mathbb{C}^n$ that are invariant under the unitary group are investigated. It is shown that elements belonging to the dense subspace of smooth valuations admit a unique integral representation in terms of two families of Monge-Amp\`ere-type operators. In addition, it is proved that homogeneous valuations are uniquely determined by restrictions to subspaces of appropriate dimension and that this information is encoded in the Fourier-Laplace transform of the associated Goodey-Weil distributions. These results are then used to show that a continuous unitarily invariant valuation is uniquely determined by its restriction to a certain finite family of subspaces of $\mathbb{C}^n$.


title: Einstein's photon box revisited

abstract: We present a reformulation of Bohr's analysis of Einstein's thought experiment with the photon box, which hopefully settles some unclear issues. The box is weighed by two position measurements, the first immediately before the emission of the photon and the second after a quarter period of oscillation of the box, or alternatively after a half period. These times are precisely defined with respect to the moving clock installed in the box, but vary statistically when measured with a stationary clock outside the box, due to gravitational time dilation in accordance with Bohr's original idea. Moreover, we will discuss two other proposals to solve the apparent inconsistency without invoking the theory of general relativity.


title: Quantum Memristors with Quantum Computers

abstract: We propose the encoding of memristive quantum dynamics on a digital quantum computer. Using a set of auxiliary qubits, we simulate an effective non-Markovian environment inspired by a collisional model, reproducing memristive features between expectation values of different operators in a single qubit. We numerically test our proposal in an IBM quantum simulator with 32 qubits, obtaining the pinched hysteresis curve that is characteristic of a quantum memristor. Furthermore, we extend our method to the case of two coupled quantum memristors, opening the door to the study of neuromorphic quantum computing in the NISQ era.


title: An a posteriori error estimator for isogeometric analysis on trimmed geometries

abstract: Trimming consists of cutting away parts of a geometric domain, without reconstructing a global parametrization (meshing). It is a widely used operation in computer aided design, which generates meshes that are unfitted with the described physical object. This paper develops an adaptive mesh refinement strategy on trimmed geometries in the context of hierarchical B-spline based isogeometric analysis. A residual a posteriori estimator of the energy norm of the numerical approximation error is derived, in the context of the Poisson equation. The estimator is proven to be reliable, independently of the number of hierarchical levels and of the way the trimmed boundaries cut the underlying mesh. Numerical experiments are performed to validate the presented theory, and to show that the estimator's effectivity index is independent of the size of the active part of the trimmed mesh elements.


title: On the Hausdorff measure of sets of non-Lyapunov behaviour, and a Jarnik-type theorem for random Schroedinger operators

abstract: We consider the growth of the norms of transfer matrices of ergodic discrete Schr\"odinger operators in one dimension. It is known that the set of energies at which the rate of exponential growth is slower than prescribed by the Lyapunov exponent is residual in the part of the spectrum at which the Lyapunov exponent is positive. On the other hand, this exceptional set is of vanishing Hausdorff measure with respect to any gauge function $\rho(t)$ such that $\rho(t)/t$ is integrable at zero. Here we show that this condition on $\rho(t)$ can not in general be improved: for operators with independent, identically distributed potentials of sufficiently regular distribution, the set of energies at which the rate of exponential growth is arbitrarily slow has infinite Hausdorff measure with respect to any gauge function $\rho(t)$ such that $\rho(t)/t$ is non-increasing and not integrable at zero. The main technical ingredient, possibly of independent interest, is a Jarn\'ik-type theorem describing the Hausdorff measure of the set of real numbers well approximated by the eigenvalues of the Schr\"odinger operator. The proof of this result relies on the theory of Anderson localisation and on the mass transference principle of Beresnevich--Velani.


title: MetaGraspNet_v0: A Large-Scale Benchmark Dataset for Vision-driven Robotic Grasping via Physics-based Metaverse Synthesis

abstract: There has been increasing interest in smart factories powered by robotics systems to tackle repetitive, laborious tasks. One impactful yet challenging task in robotics-powered smart factory applications is robotic grasping: using robotic arms to grasp objects autonomously in different settings. Robotic grasping requires a variety of computer vision tasks such as object detection, segmentation, grasp prediction, pick planning, etc. While significant progress has been made in leveraging of machine learning for robotic grasping, particularly with deep learning, a big challenge remains in the need for large-scale, high-quality RGBD datasets that cover a wide diversity of scenarios and permutations. To tackle this big, diverse data problem, we are inspired by the recent rise in the concept of metaverse, which has greatly closed the gap between virtual worlds and the physical world. Metaverses allow us to create digital twins of real-world manufacturing scenarios and to virtually create different scenarios from which large volumes of data can be generated for training models. In this paper, we present MetaGraspNet: a large-scale benchmark dataset for vision-driven robotic grasping via physics-based metaverse synthesis. The proposed dataset contains 100,000 images and 25 different object types and is split into 5 difficulties to evaluate object detection and segmentation model performance in different grasping scenarios. We also propose a new layout-weighted performance metric alongside the dataset for evaluating object detection and segmentation performance in a manner that is more appropriate for robotic grasp applications compared to existing general-purpose performance metrics. Our benchmark dataset is available open-source on Kaggle, with the first phase consisting of detailed object detection, segmentation, layout annotations, and a layout-weighted performance metric script.


title: Reducibility of a family of local Artinian Gorenstein algebras

abstract: The Jordan type of an Artinian algebra is the Jordan block partition associated to multiplication by a generic element of the maximal ideal. We study the Jordan type for Artinian Gorenstein (AG) local algebras A, and the interaction of Jordan type with the symmetric decomposition of the Hilbert function H(A). We give examples of Gorenstein sequences H for which the family Gor(H) of AG algebras having Hilbert function H has several irreducible components, each corresponding to a symmetric decomposition of H. The component structure results from the intersection of two opposing filtrations of the family Gor(H) of AG algebras: that by Jordan type satisfies the usual dominance property; the second filtration, by symmetric decomposition, satisfies a known semicontinuity property. Our examples are in codimension three -- the lowest codimension of such an example, as Gor(H) is irreducible in codimension two.


title: Temperature dependent extensions of the Cahn-Hilliard equation

abstract: The Cahn-Hilliard equation is a fundamental model that describes phase separation processes of binary mixtures. In this paper we focus on the dynamics of these binary media, when the underlying temperature is not constant. The aim of this paper is twofold. We first derive two distinct models that extend the classical Cahn-Hilliard equation with an evolutionary equation for the absolute temperature. Secondly, we analyse the local well-posedness of classical solutions for one of these systems. Our modelling introduces the systems of PDEs by means of a general and unified formalism. This formalism couples standard principles of mechanics together with the main laws of thermodynamics. Our work highlights how certain assumptions on the transport of the temperature effect the overall physics of the systems. The variety of these thermodynamically consistent models opens the question of which one should be more appropriate. Our analysis shows that one of the derived models might be more desirable to the well-posedness theory of classical solutions, a property that might be natural as a selection criteria.


title: On the consistency of incomplete U-statistics under infinite second-order moments}

abstract: We derive a consistency result, in the $L_1$-sense, for incomplete U-statistics in the non-standard case where the kernel at hand has infinite second-order moments. Assuming that the kernel has finite moments of order $p(\geq 1)$, we obtain a bound on the $L_1$ distance between the incomplete U-statistic and its Dirac weak limit, which allows us to obtain, for any fixed $p$, an upper bound on the consistency rate. Our results hold for most classical sampling schemes that are used to obtain incomplete U-statistics.


title: Pre-Calabi-Yau algebras and topological quantum field theories

abstract: We introduce a notion generalizing Calabi-Yau structures on A-infinity algebras and categories, which we call pre-Calabi-Yau structures. This notion does not need either one of the finiteness conditions (smoothness or compactness) which are required for Calabi-Yau structures to exist. In terms of noncommutative geometry, a pre-CY structure is as a polyvector field satisfying an integrability condition with respect to a noncommutative analogue of the Schouten-Nijenhuis bracket. We show that a pre-CY structure defines an action of a certain PROP of chains on decorated Riemann surfaces. In the language of the cobordism perspective on TQFTs, this gives a partially defined extended 2-dimensional TQFT, whose 2-dimensional cobordisms are generated only by handles of index one. We present some examples of pre-CY structures appearing naturally in geometric and topological contexts.


title: Gravitational dark matter: free streaming and phase space distribution

abstract: Gravitational dark matter (DM) is the simplest possible scenario that has recently gained interest in the early universe cosmology. In this scenario, DM is assumed to be produced from the decaying inflaton through the gravitational interaction during reheating. Gravitational production from the radiation bath will be ignored as our analysis shows it to be suppressed for a wide range of reheating temperatures. Ignoring any other internal parameters except the DM mass and spin, a particular inflation model such as $\alpha$-attractor, with a specific scalar spectral index $(n_s)$ has been shown to uniquely fix the dark matter mass. For fermion type dark matter we found the mass $m_f$ should be within $(10^4 - 10^{13})$ GeV, and for boson type DM, the mass $m_{s/X}$ turned out to be within $(10^{-8}-10^{13})$ GeV. Interestingly, if the inflaton equation of state $\omega_{\phi}\rightarrow 1/3$, the DM mass also approaches towards unique value, $m_f \sim 10^{10}$ GeV and $m_{s/X} \sim 10^3\,(\,8\times 10^3\,)$ GeV irrespective of the value of $\omega_\phi$. We further analyzed the phase space distribution $(f_Y)$, and free streaming length $(\lambda_{fs})$ of these gravitationally produced DM. $f_Y$, which is believed to encode important information about DM, is shown to contain a characteristic primary peak at the initial time where the gravitational production is maximum for both fermion/boson. Apart from this fermionic phase-space distribution function contains an additional peak near the inflaton and fermion mass equality ($m_Y=m_\phi$) arising for $\omega_\phi>5/9$. Since dark matter is produced during the reheating phase, gravitational instability forming small-scale DM structures during this period will encode those phase space information and be observed at present. Crucial condition $\lambda_{fs} <\lambda_{re}$ of forming such a small scale DM structure has been analyzed in detail.


title: Optimality of Finite-Support Parameter Shift Rules for Derivatives of Variational Quantum Circuits

abstract: Variational (or, parameterized) quantum circuits are quantum circuits that contain real-number parameters, that need to be optimized/"trained" in order to achieve the desired quantum-computational effect. For that training, analytic derivatives (as opposed to numerical derivation) are useful. Parameter shift rules have received attention as a way to obtain analytic derivatives, via statistical estimators. In this paper, using Fourier Analysis, we characterize the set of all shift rules that realize a given fixed partial derivative of a multi-parameter VQC. Then, using Convex Optimization, we show how the search for the shift rule with smallest standard deviation leads to a primal-dual pair of convex optimization problems. We study these optimization problems theoretically, prove a strong duality theorem, and use it to establish optimal dual solutions for several families of VQCs. This also proves optimality for some known shift rules and answers the odd open question. As a byproduct, we demonstrate how optimal shift rules can be found efficiently computationally, and how the known optimal dual solutions help with that.


title: Iwahori-metaplectic duality

abstract: We construct a family of solvable lattice models whose partition functions include $p$-adic Whittaker functions for general linear groups from two very different sources: from Iwahori-fixed vectors and from metaplectic covers. Interpolating between them by Drinfeld twisting, we uncover unexpected relationships between Iwahori and metaplectic Whittaker functions. This leads to new Demazure operator recurrence relations for spherical metaplectic Whittaker functions. In prior work of the authors it was shown that the row transfer matrices of certain lattice models for spherical metaplectic Whittaker functions could be represented as "half-vertex operators" operating on the $q$-Fock space of Kashiwara, Miwa and Stern. In this paper the same is shown for all the members of this more general family of lattice models including the one representing Iwahori Whittaker functions.


title: A ribbon model for nematic polymer networks

abstract: We present a theory of deformation of ribbons made of nematic polymer networks (NPNs). These materials exhibit properties of rubber and nematic liquid crystals, and can be activated by external stimuli of heat and light. A two-dimensional energy for a sheet of such a material has already been derived from the celebrated neo-classical energy of nematic elastomers in three space dimensions. Here, we use a dimension reduction method to obtain the appropriate energy for a ribbon from the aforementioned sheet energy. We also present an illustrative example of a rectangular NPN ribbon that undergoes in-plane serpentine deformations upon activation under an appropriate set of boundary conditions.


title: Enhancement of drag and mixing in a dilute solution of rodlike polymers at low Reynolds numbers

abstract: We study the dynamics of a dilute solution of rigid rodlike polymers in a viscous fluid at low Reynolds number by means of numerical simulations of a simple rheological model. We show that the rotational dynamics of polymers destabilizes the laminar flow and causes the emergence of a turbulent-like chaotic flow with a wide range of active scales. This regime displays an increased flow resistance, corresponding to a reduced mean flow at fixed external forcing, as well as an increased mixing efficiency. The latter effect is quantified by measuring the decay of the variance of a scalar field transported by the flow. By comparing the results of numerical simulations of the model in two- and three-dimensions, we show that the phenomena observed are qualitatively independent on the dimensionality of the space.


title: Topological transitions and Anderson localization of light in disordered atomic arrays

abstract: We explore the interplay of disorder and topological phenomena in honeycomb lattices of atoms coupled by the electromagnetic field. On the one hand, disorder can trigger transitions between distinct topological phases and drive the lattice into the topological Anderson insulator state. On the other hand, the nontrivial topology of the photonic band structure suppresses Anderson localization of modes that disorder introduces inside the band gap of the ideal lattice. Furthermore, we discover that disorder can both open a topological pseudogap in the spectrum of an otherwise topologically trivial system and introduce spatially localized modes inside it.


title: An additive graphical model for discrete data

abstract: We introduce a nonparametric graphical model for discrete node variables based on additive conditional independence. Additive conditional independence is a three way statistical relation that shares similar properties with conditional independence by satisfying the semi-graphoid axioms. Based on this relation we build an additive graphical model for discrete variables that does not suffer from the restriction of a parametric model such as the Ising model. We develop an estimator of the new graphical model via the penalized estimation of the discrete version of the additive precision operator and establish the consistency of the estimator under the ultrahigh-dimensional setting. Along with these methodological developments, we also exploit the properties of discrete random variables to uncover a deeper relation between additive conditional independence and conditional independence than previously known. The new graphical model reduces to a conditional independence graphical model under certain sparsity conditions. We conduct simulation experiments and analysis of an HIV antiretroviral therapy data set to compare the new method with existing ones.


title: Risk of Phase Incoherence in Wide Area Control of Synchronous Power Networks

abstract: We develop a framework to quantify systemic risk measures in a class of Wide-Area-Control (WAC) laws in power networks in the presence of noisy and time-delayed sensory data. A closed-form calculation of the risk of phase incoherence in interconnected power networks is presented, and the effect of network parameters, information flow in WAC architecture, statistics of noise, and time-delays are characterized. We show that in the presence of time-delay and noise, a fundamental trade-off between the best achievable performance (via tuning feedback gains) and value-at-risk emerges. The significance of our results is that they provide a guideline for developing algorithmic design tools to enhance the coherency and robustness of closed-loop power networks simultaneously. Finally, we validate our theoretical findings through extensive simulation examples.


title: Learning nonlinear dynamics in synchronization of knowledge-based leader-following networks

abstract: Knowledge-based leader-following synchronization of heterogeneous nonlinear multi-agent systems is a challenging problem since the leader's dynamic information is unknown to any follower node. This paper proposes a learning-based fully distributed observer for a class of nonlinear leader systems, which can simultaneously learn the leader's dynamics and states. This class of leader dynamics is rather general and does not require a bounded Jacobian matrix. Based on this learning-based distributed observer, we further synthesize an adaptive distributed control law for solving the leader-following synchronization problem of multiple Euler-Lagrange systems subject to an uncertain nonlinear leader system. The results are illustrated by a simulation example.


title: Gravity duals for defect quivers in the Veneziano limit

abstract: We construct gravity duals to supersymmetric gauge theories in the presence of unquenched flavor hypermultiplets in the fundamental representation of the gauge group living on the (1+1)-dimensional defect. This configuration is given by the intersection of two sets of D3-branes. Working in the Veneziano limit with large number of colors and flavors we are able to find a closed set of equations describing the dual geometry. We briefly discuss the corresponding solutions for massless flavors as well as in the small flavor limit of massive hypermultiplets. Interestingly, the 1/4-BPS supergravity solutions are generically only asymptotically anti de-Sitter, the dilaton does not vary with the holographic radial coordinate. This implies that the classical Type IIB supergravity solutions remain trustworthy descriptions for the gauge theories from the deep IR to the far UV.


title: Multi-Dialect Arabic Speech Recognition

abstract: This paper presents the design and development of multi-dialect automatic speech recognition for Arabic. Deep neural networks are becoming an effective tool to solve sequential data problems, particularly, adopting an end-to-end training of the system. Arabic speech recognition is a complex task because of the existence of multiple dialects, non-availability of large corpora, and missing vocalization. Thus, the first contribution of this work is the development of a large multi-dialectal corpus with either full or at least partially vocalized transcription. Additionally, the open-source corpus has been gathered from multiple sources that bring non-standard Arabic alphabets in transcription which are normalized by defining a common character-set. The second contribution is the development of a framework to train an acoustic model achieving state-of-the-art performance. The network architecture comprises of a combination of convolutional and recurrent layers. The spectrogram features of the audio data are extracted in the frequency vs time domain and fed in the network. The output frames, produced by the recurrent model, are further trained to align the audio features with its corresponding transcription sequences. The sequence alignment is performed using a beam search decoder with a tetra-gram language model. The proposed system achieved a 14% error rate which outperforms previous systems.


title: Profile Guided Optimization without Profiles: A Machine Learning Approach

abstract: Profile guided optimization is an effective technique for improving the optimization ability of compilers based on dynamic behavior, but collecting profile data is expensive, cumbersome, and requires regular updating to remain fresh. We present a novel statistical approach to inferring branch probabilities that improves the performance of programs that are compiled without profile guided optimizations. We perform offline training using information that is collected from a large corpus of binaries that have branch probabilities information. The learned model is used by the compiler to predict the branch probabilities of regular uninstrumented programs, which the compiler can then use to inform optimization decisions. We integrate our technique directly in LLVM, supplementing the existing human-engineered compiler heuristics. We evaluate our technique on a suite of benchmarks, demonstrating some gains over compiling without profile information. In deployment, our technique requires no profiling runs and has negligible effect on compilation time.


title: WaCoDiS: Automated Earth Observation Data Processing within an Event-Driven Architecture for Water Monitoring

abstract: To ensure an efficient and environmentally friendly water resource management, water management associations need means for efficient water monitoring as well as novel strategies to reduce the pollution of surface and ground water. Traditionally, water management associations operate large sensor networks to suffice their needs for hydrological and meteorological measurement data to monitor and model physical processes within catchments. Implementing a comprehensive monitoring system often suffers from sparse coverage of in-situ data. Due to the evolvement of the Copernicus satellite platforms, the broader availability of satellite data provides a great potential for deriving complementary information from Earth Observation data. Although the number of satellite data platforms that provide online processing environments is growing, it is still a big challenge to integrate those platforms into traditional workflows of users from environmental domains such as hydrology. Thus, in this paper, we introduce a software architecture to facilitate the generation of Earth Observation information targeted towards hydrology. The presented WaCoDiS System comprises several microservices as well standardized interfaces that enable a platform-independent processing of satellite data. First, we discuss the contribution of Earth Observation data to water monitoring and derive several challenges regarding the facilitation of satellite data processing. We then describe our system design with a brief overview about the different system components which form an automated processing pipeline. The suitability of our system is proven as part of a pre-operational deployment for a German water management association. In addition, we demonstrate how our system is capable of integrating satellite data platforms, using the Copernicus Data and Exploitation Platform - Deutschland (CODE-DE) as a reference example.


title: Neumann Series in GMRES and Algebraic Multigrid Smoothers

abstract: Neumann series underlie both Krylov methods and algebraic multigrid smoothers. A low-synch modified Gram-Schmidt (MGS)-GMRES algorithm is described that employs a Neumann series to accelerate the projection step. A corollary to the backward stability result of Paige et al. (2006) demonstrates that the truncated Neumann series approximation is sufficient for convergence of GMRES. The lower triangular solver associated with the correction matrix $T_m = (\: I + L_m \:)^{-1}$ may then be replaced by a matrix-vector product with $T_m = I - L_m$. Next, Neumann series are applied to accelerate the classical R\"uge-Stuben algebraic multigrid preconditioner using both a polynomial Gauss-Seidel or incomplete ILU smoother. The sparse triangular solver employed in these smoothers is replaced by an inner iteration based upon matrix-vector products. Henrici's departure from normality of the associated iteration matrices leads to a better understanding of these series. Connections are made between the (non)normality of the $L$ and $U$ factors and nonlinear stability analysis, as well as the pseudospectra of the coefficient matrix. Furthermore, re-orderings that preserve structural symmetry also reduce the departure from normality of the upper triangular factor and improve the relative residual of the triangular solves. To demonstrate the effectiveness of this approach on many-core architectures, the proposed solver and preconditioner are applied to the pressure continuity equation for the incompressible Navier-Stokes equations of fluid motion. The pressure solve time is reduced considerably with no change in the convergence rate and the polynomial Gauss-Seidel smoother is compared with a Jacobi smoother. Numerical and timing results are presented for Nalu-Wind and the PeleLM combustion codes, where ILU with iterative triangular solvers is shown to be much more effective than polynomial Gauss-Seidel.


title: Exact quantum query complexity of computing Hamming weight modulo powers of two and three

abstract: We study the problem of computing the Hamming weight of an $n$-bit string modulo $m$, for any positive integer $m \leq n$ whose only prime factors are 2 and 3. We show that the exact quantum query complexity of this problem is $\left\lceil n(1 - 1/m) \right\rceil$. The upper bound is via an iterative query algorithm whose core components are the well-known 1-query quantum algorithm (essentially due to Deutsch) to compute the Hamming weight a 2-bit string mod 2 (i.e., the parity of the input bits), and a new 2-query quantum algorithm to compute the Hamming weight of a 3-bit string mod 3. We show a matching lower bound (in fact for arbitrary moduli $m$) via a variant of the polynomial method [de Wolf, SIAM J. Comput., 32(3), 2003]. This bound is for the weaker task of deciding whether or not a given $n$-bit input has Hamming weight 0 modulo $m$, and it holds even in the stronger non-deterministic quantum query model where an algorithm must have positive acceptance probability iff its input evaluates to 1. For $m>2$ our lower bound exceeds $n/2$, beating the best lower bound provable using the general polynomial method [Theorem 4.3, Beals et al., J. ACM 48(4), 2001].


title: StyleGAN-V: A Continuous Video Generator with the Price, Image Quality and Perks of StyleGAN2

abstract: Videos show continuous events, yet most $-$ if not all $-$ video synthesis frameworks treat them discretely in time. In this work, we think of videos of what they should be $-$ time-continuous signals, and extend the paradigm of neural representations to build a continuous-time video generator. For this, we first design continuous motion representations through the lens of positional embeddings. Then, we explore the question of training on very sparse videos and demonstrate that a good generator can be learned by using as few as 2 frames per clip. After that, we rethink the traditional image + video discriminators pair and design a holistic discriminator that aggregates temporal information by simply concatenating frames' features. This decreases the training cost and provides richer learning signal to the generator, making it possible to train directly on 1024$^2$ videos for the first time. We build our model on top of StyleGAN2 and it is just ${\approx}5\%$ more expensive to train at the same resolution while achieving almost the same image quality. Moreover, our latent space features similar properties, enabling spatial manipulations that our method can propagate in time. We can generate arbitrarily long videos at arbitrary high frame rate, while prior work struggles to generate even 64 frames at a fixed rate. Our model is tested on four modern 256$^2$ and one 1024$^2$-resolution video synthesis benchmarks. In terms of sheer metrics, it performs on average ${\approx}30\%$ better than the closest runner-up. Project website: https://universome.github.io.


title: Regularization of a strong-weak duality between pointlike interactions in one dimension

abstract: Pointlike interactions between bosons in 1D are related to pointlike interactions between fermions through the Girardeau mapping. This mapping is a strong-weak duality since the coupling constants in the bosonic and fermionic cases are inversely proportional to each other. We present a regularization of these pointlike interactions that preserves the strong-weak duality, contrary to previously known regularizations. This is proven rigorously. This allows one to use this duality perturbatively and we illustrate it in the Lieb-Liniger model at strong coupling.


title: High-harmonic generation in spin and charge current pumping at ferromagnetic or antiferromagnetic resonance in the presence of spin-orbit coupling

abstract: One of the cornerstone effects in spintronics is spin pumping by dynamical magnetization that is steadily precessing (around, e.g., the $z$-axis) with frequency $\omega_0$, due to absorption of low-power microwaves of frequency $\omega_0$ under the resonance conditions and in the absence of any applied bias voltage. The two-decades-old "standard model" of this effect, based on the scattering theory of adiabatic quantum pumping, predicts that component $I^{S_z}$ of spin current vector $\big( I^{S_x}(t),I^{S_y}(t),I^{S_z} \big) \propto \omega_0$ is time-independent while $I^{S_x}(t)$ and $I^{S_y}(t)$ oscillate harmonically in time with a single frequency $\omega_0$; whereas pumped charge current is zero $I \equiv 0$ in the same adiabatic $\propto \omega_0$ limit. Here we employ more general than "standard model" approaches, time-dependent nonequilibrium Green's function (NEGF) and Floquet-NEGF, to predict unforeseen features of spin pumping -- precessing localized magnetic moments within ferromagnetic metal (FM) or antiferromagnetic metal (AFM), whose conduction electrons are exposed to spin-orbit coupling (SOC) of either intrinsic or proximity origin, will pump both spin $I^{S_\alpha}(t)$ and charge $I(t)$ currents. All four of these functions harmonically oscillate in time at both even an odd integer multiples $N\omega_0$ of the driving frequency $\omega_0$. The cutoff order of such high-harmonics increases with SOC strength, reaching $N_\mathrm{max} \simeq 11$ in the chosen-for-demonstration one-dimensional FM or AFM models. Higher cutoff $N_\mathrm{max} \simeq 25$ can be achieved in realistic two-dimensional (2D) FM models defined on the honeycomb lattice, where we provide prescription on how to realize them using 2D magnets and their heterostructures.


title: Fermionic integrable models and graded Borchers triples

abstract: We provide an operator-algebraic construction of integrable models of quantum field theory on 1+1 dimensional Minkowski space with fermionic scattering states. These are obtained by a grading of the wedge-local fields or, alternatively, of the underlying Borchers triple defining the theory. This leads to a net of graded-local field algebras, of which the even part can be considered observable, although it is lacking Haag duality. Importantly, the nuclearity condition implying nontriviality of the local field algebras is independent of the grading, so that existing results on this technical question can be utilized. Application of Haag-Ruelle scattering theory confirms that the asymptotic particles are indeed fermionic. We also discuss connections with the form factor programme.


title: On pentagon identity in Ding-Iohara-Miki algebra

abstract: We notice that the famous pentagon identity for quantum dilogarithm functions and the five-term relation for certain operators related to Macdonald polynomials discovered by Garsia and Mellit can both be understood as specific cases of a general "master pentagon identity" for group-like elements in the Ding-Iohara-Miki (or quantum toroidal, or elliptic Hall) algebra. We perform some checks of this remarkable identity and discuss its implications.


title: Preparing thermal states on noiseless and noisy programmable quantum processors

abstract: Nature is governed by precise physical laws, which can inspire the discovery of new computer-run simulation algorithms. Thermal states are the most ubiquitous for they are the equilibrium states of matter. Simulating thermal states of quantum matter has applications ranging from quantum machine learning to better understanding of high-temperature superconductivity and quantum chemistry. The computational complexity of this task is hopelessly hard for classical computers. The existing quantum algorithms come with caveats: most either require quantum phase estimation rendering them impractical for current noisy hardware, or are variational which face obstacles such as initialization, barren plateaus, and a general lack of provable guarantee. We provide two quantum algorithms with provable guarantees to prepare thermal states on (near-term) quantum computers that avoid these drawbacks. The first algorithm is inspired by the natural thermalization process where the ancilla qubits act as the infinite thermal bath. This algorithm can potentially run in polynomial time to sample thermal distributions of ergodic systems -- the vast class of physical systems that equilibrate in isolation with respect to local observables. The second algorithm works for any system and in general runs in exponential time. However, it requires significantly smaller quantum resources than previous such algorithms. In addition, we provide an error mitigation technique for both algorithms to fight back decoherence, which enables us to run our algorithms on the near-term quantum devices. To illustration, we simulate the thermal state of the hardcore Bose-Hubbard model on the latest generation of available quantum computers.

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


title: Elusive properties of infinite graphs

abstract: A graph property is said to be elusive ( evasive) if every algorithm testing this property by asking questions of the form "is there an edge between vertices x and y" requires, in the worst case, to ask about all pairs of vertices. The unsettled Aanderaa-Karp-Rosenberg conjecture is that every monotone graph property is elusive for finite vertex sets. We show that the situation is completely different for infinite vertex sets: the monotone graph properties "every vertex has degree at least n" and "every connected components has size at least n" where n is a natural number, are not elusive for infinite vertex sets, but the monotone graph property "the graph contains a cycle" is elusive for arbitrary vertex sets. On the other hand, we also prove that every algorithm testing some natural monotone graph properties, e.g "every vertex has degree at least n" or "connected" on the vertex set omega should check "lots of edges", more precisely, all the edges of an infinite complete subgraph.


title: Regulated curves on a Banach manifold and singularities of endpoint map. I. Banach manifold structure

abstract: We consider regulated curves in a Banach bundle whose projection on the basis is continuous with regulated derivative. We build a Banach manifold structure on the set of such curves. This result was previously obtained for the case of strong Riemannian Banach manifold and absolutely continuous curves in arXiv:1612.02604. The essential argument used was the existence of a "local addition" on such a manifold. Our proof is true for any Banach manifold. In the second part of the paper the problems of controllability will be discussed.


title: Is the orbital-selective Mott phase stable against interorbital hopping?

abstract: The localization-delocalization transition is at the heart of strong correlation physics. Recently, there is great interest in multiorbital systems where this transition can be restricted to certain orbitals, leading to an orbital-selective Mott phase (OSMP). Theoretically, the OSMP is widely studied for kinetically decoupled orbitals, but the effect of interorbital hopping remains unclear. Here, we show how nonlocal interorbital hopping leads to local hybridization in single-site dynamical mean-field theory (DMFT). Under fairly general circumstances, this implies that, at zero temperature, the OSMP, involving the Mott-insulating state of one orbital, is unstable against interorbital hopping to different, metallic orbital. We further show that the coherence scale below which all electrons are itinerant is very small and gets exponentially suppressed even if the interorbital hopping is not overly small. Within this framework, the OSMP with interorbital hopping may thus reach down to extremely low temperatures $T$, but not to $T=0$. Accordingly, it is part of a coherence-incoherence crossover and not a quantum critical point. We present analytical arguments supported by numerical results using the numerical renormalization group as a DMFT impurity solver. We also compare our findings with previous slave-spin studies.


title: Emergence of Cascading Risk and Role of Spatial Locations of Collisions in Time-Delayed Platoon of Vehicles

abstract: We develop a framework to assess the risk of cascading collisions in a platoon of vehicles in the presence of exogenous noise and communication time-delay. The notion of Value-at-Risk (VaR) is adopted to quantify the risk of collision between vehicles in a pair conditioned on the knowledge of multiple previously occurred failures in the platoon. We show that the risk of cascading failures depends on the Laplacian spectrum of the underlying communication graph, time-delay, and noise statistics. Furthermore, we exploit the structure of several standard graphs to show how the risk profile depends on the magnitude and spatial location of the prior collisions (failures). Our theoretical findings are significant as they can be applied to designing safe platoons that minimize the risk of cascading failures. Our theoretical findings are supported by several simulations.


title: On a front evolution problem for the multidimensional East model

abstract: We consider a natural front evolution problem the East process on $\mathbb{Z}^d, d\ge 2,$ a well studied kinetically constrained model for which the facilitation mechanism is oriented along the coordinate directions, as the equilibrium density $q$ of the facilitating vertices vanishes. Starting with a unique unconstrained vertex at the origin, let $S(t)$ consist of those vertices which became unconstrained within time $t$ and, for an arbitrary positive direction $\mathbf x,$ let $v_{\max}(\mathbf x),v_{\min}(\mathbf x )$ be the maximal/minimal velocities at which $S(t)$ grows in that direction. If $\mathbf x$ is independent of $q$, we prove that $v_{\max}(\mathbf x)= v_{\min}(\mathbf x)^{(1+o(1))}=\gamma(d) ^{(1+o(1))}$ as $q\to 0$, where $\gamma(d)$ is the spectral gap of the process on $\mathbb{Z}^d$. We also analyse the case in which some of the coordinates of $\mathbf x$ vanish as $q\to 0$. In particular, for $d=2$ we prove that if $\mathbf x$ approaches one of the two coordinate directions fast enough, then $v_{\max}(\mathbf x)= v_{\min}(\mathbf x)^{(1+o(1))}=\gamma(1) ^{(1+o(1))}=\gamma(d)^{d(1+o(1))},$ i.e. the growth of $S(t)$ close to the coordinate directions is dictated by the one dimensional process. As a result the region $S(t)$ becomes extremely elongated inside $\mathbb{Z}^d_+$. We also establish mixing time cutoff for the chain in finite boxes with minimal boundary conditions. A key ingredient of our analysis is the renormalisation technique of arXiv:1404.7257 to estimate the spectral gap of the East process. Here we extend this technique to get the main asymptotics of a suitable principal Dirichlet eigenvalue of the process.

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


title: On proper extensions of the conformal group of sphere diffeomorphisms

abstract: In this paper, we prove that any group of diffeomorphisms acting on the 2-sphere and properly extending the conformal group of M\"obius transformations must be at least 4-transitive or, more precisely, arc 4-transitive. In addition, we show that any such group must always contain an element of positive topological entropy. We also provide an elementary characterization, in terms of transitivity, of the M\"obius transformations within the full group of sphere diffeomorphisms.


title: Excess Noise in High-Current Diamond Diodes -- Physical Mechanisms and Implications for Reliability Assessment

abstract: We report results of an investigation of low-frequency excess noise in high-current diamond diodes. It was found that the electronic excess noise of the diamond diodes is dominated by generation - recombination noise, which reveals itself either as Lorentzian spectral features or as a 1/f noise spectrum (f is the frequency). The generation - recombination bulges are characteristic for diamond diodes with lower turn-on voltages. The noise spectral density dependence on forward current, I, reveals three distinctive regions in all examined devices - it scales as I^2 at the low (I<10 uA) and high (I>10 mA) currents, and, rather unusually, remain nearly constant at the intermediate current range. The characteristic trap time constants, extracted from the noise data, reveal a uniquely strong dependence on current. Interestingly, the performance of the diamond diodes improves with increasing temperature. The obtained results are important for development of noise spectroscopy-based approaches for device reliability assessment for the high-power diamond electronics.


title: Renormalisation of non-differentiable potentials

abstract: Non-differentiable potentials, such as the V-shaped (linear) potential, appear in various areas of physics. For example, the effective action for branons in the framework of the brane world scenario contains a Liouville-type interaction, i.e., an exponential of the V-shaped function. Another example is coming from particle physics when the standard model Higgs potential is replaced by a periodic self-interaction of an N-component scalar field which depends on the length, thus it is O(N) symmetric. We first compare classical and quantum dynamics near non-analytic points and discuss in this context the role of quantum fluctuations. We then study the renormalisation of such potentials, focusing on the Exact Wilsonian Renormalisation approach, and we discuss how quantum fluctuations smoothen the bare singularity of the potential. Applications of these results to the non-differentiable effective branon potential and to the O(N) models when the spatial dimension is varied and to the O(N) extension of the sine-Gordon model in (1+1) dimensions are presented.


title: The Inflation Game

abstract: We study a game where households convert paper assets, such as money, into consumption goods, to preempt inflation. The game features a unique equilibrium with high (low) inflation, if money supply is high (low). For intermediate levels of money supply, there exist multiple equilibria with either high or low inflation. Equilibria with moderate inflation, however, do not exist, and can thus not be targeted by a central bank. That is, depending on agents' equilibrium play, money supply is always either too high or too low for moderate inflation. We also show that inflation rates of long-lived goods, such as houses, cars, expensive watches, furniture, or paintings, are a leading indicator for broader, economy wide, inflation.


title: Asymptotic Learning Requirements for Stealth Attacks on Linearized State Estimation

abstract: Information-theoretic stealth attacks are data injection attacks that minimize the amount of information acquired by the operator about the state variables, while simultaneously limiting the Kullback-Leibler divergence between the distribution of the measurements under attack and the distribution under normal operation with the aim of controling the probability of detection. For Gaussian distributed state variables, attack construction requires knowledge of the second order statistics of the state variables, which is estimated from a finite number of past realizations using a sample covariance matrix. Within this framework, the attack performance is studied for the attack construction with the sample covariance matrix. This results in an analysis of the amount of data required to learn the covariance matrix of the state variables used on the attack construction. The ergodic attack performance is characterized using asymptotic random matrix theory tools, and the variance of the attack performance is bounded. The ergodic performance and the variance bounds are assessed with simulations on IEEE test systems.


title: Automated Urban Planning for Reimagining City Configuration via Adversarial Learning: Quantification, Generation, and Evaluation

abstract: Urban planning refers to the efforts of designing land-use configurations given a region. However, to obtain effective urban plans, urban experts have to spend much time and effort analyzing sophisticated planning constraints based on domain knowledge and personal experiences. To alleviate the heavy burden of them and produce consistent urban plans, we want to ask that can AI accelerate the urban planning process, so that human planners only adjust generated configurations for specific needs? The recent advance of deep generative models provides a possible answer, which inspires us to automate urban planning from an adversarial learning perspective. However, three major challenges arise: 1) how to define a quantitative land-use configuration? 2) how to automate configuration planning? 3) how to evaluate the quality of a generated configuration? In this paper, we systematically address the three challenges. Specifically, 1) We define a land-use configuration as a longitude-latitude-channel tensor. 2) We formulate the automated urban planning problem into a task of deep generative learning. The objective is to generate a configuration tensor given the surrounding contexts of a target region. 3) We provide quantitative evaluation metrics and conduct extensive experiments to demonstrate the effectiveness of our framework.


title: Framed combinatorial topology

abstract: Framed combinatorial topology is a novel theory describing combinatorial phenomena arising at the intersection of stratified topology, singularity theory, and higher algebra. The theory synthesizes elements of classical combinatorial topology with a new combinatorial approach to framings. The resulting notion of framed combinatorial spaces has unexpectedly good behavior when compared to classical, nonframed combinatorial notions of space. In discussing this behavior and its contrast with that of classical structures, we emphasize two broad themes, computability in combinatorial topology and combinatorializability of topological phenomena. The first theme of computability concerns whether certain combinatorial structures can be algorithmically recognized and classified. The second theme of combinatorializability concerns whether certain topological structures can be faithfully represented by a discrete structure. Combining these themes, we will find that in the context of framed combinatorial topology we can overcome a set of fundamental classical obstructions to the computable combinatorial representation of topological phenomena.


title: A Fourier approach to pizza inequity

abstract: Let n be an odd integer greater than 1. We slice a circular pizza into 2n slices, making cuts from a non-central interior point of the circle. We estimate the difference between between the total area of the even numbered slices and the total area of the odd numbered slices.


title: Boosting the public engagement with astronomy through arts

abstract: Arts are a seamless way to introduce the general public to both basic and more sophisticated astronomical concepts. The visual richness of astronomy makes it attractive and easily incorporated in painting and literature. Astronomy is the only science with a muse - Urania - implying that, at least in the eyes of the ancients, it was an art itself. I review some less well known representation of astronomical concepts in literature with potential application in education.


title: Small oscillations of a heavy symmetric top

abstract: This study is on small oscillations of a heavy symmetric top. A different method than previous works is applied, and differently from previous works, the explicit formulas for the amplitudes for oscillations are given. This method can be helpful in teaching.


title: Efficient Data Exchange in Unmanned Aerial Vehicle Networks Utilizing Unsupervised Learning-Based Clustering

abstract: An unmanned aerial vehicle (UAV) network can serve as an aerial relay to periodically receive packets from macro base stations (BSs). Severe packet loss may happen especially when UAVs have bad wireless connections to a BS. In this paper, a data exchange scheme is proposed utilizing unsupervised learning to enable efficient lost packet retrieval through reliable wireless transmissions between UAVs instead of through retransmissions of macro BSs with a longer delay and higher overhead. With the proposed scheme, all UAVs are assigned to multiple clusters and a UAV can only request its lost packets to UAVs in the same cluster. By this way, UAVs in different clusters could carry out their lost packets retrieval processes simultaneously to expedite data exchange. The agglomerative hierarchical clustering, a type of unsupervised learning, is used to conduct clustering, guaranteeing that UAVs clustered together could supply and supplement each other's lost packets. To further enhance data exchange efficiency, a data exchange mechanism is designed, where the priority of UAVs performing data exchange is determined by the number of their lost packets or the number of requested packets that they can provide. The introduced data exchange mechanism can make each request-reply process maximally beneficial to other UAVs' lost packet retrieval in the same cluster. A new random backoff procedure based on the carrier sense multiple access with collision avoidance (CSMA/CA) is designed to support the data exchange mechanism. Finally, simulation studies are conducted to demonstrate the effectiveness and superiority of our proposed data exchange scheme.


title: Lane Change Decision-Making through Deep Reinforcement Learning

abstract: Due to the complexity and volatility of the traffic environment, decision-making in autonomous driving is a significantly hard problem. In this project, we use a Deep Q-Network, along with rule-based constraints to make lane-changing decision. A safe and efficient lane change behavior may be obtained by combining high-level lateral decision-making with low-level rule-based trajectory monitoring. The agent is anticipated to perform appropriate lane-change maneuvers in a real-world-like udacity simulator after training it for a total of 100 episodes. The results shows that the rule-based DQN performs better than the DQN method. The rule-based DQN achieves a safety rate of 0.8 and average speed of 47 MPH


title: Intersection focused Situation Coverage-based Verification and Validation Framework for Autonomous Vehicles Implemented in CARLA

abstract: Autonomous Vehicles (AVs) i.e., self-driving cars, operate in a safety critical domain, since errors in the autonomous driving software can lead to huge losses. Statistically, road intersections which are a part of the AVs operational design domain (ODD), have some of the highest accident rates. Hence, testing AVs to the limits on road intersections and assuring their safety on road intersections is pertinent, and thus the focus of this paper. We present a situation coverage-based (SitCov) AV-testing framework for the verification and validation (V&V) and safety assurance of AVs, developed in an open-source AV simulator named CARLA. The SitCov AV-testing framework focuses on vehicle-to-vehicle interaction on a road intersection under different environmental and intersection configuration situations, using situation coverage criteria for automatic test suite generation for safety assurance of AVs. We have developed an ontology for intersection situations, and used it to generate a situation hyperspace i.e., the space of all possible situations arising from that ontology. For the evaluation of our SitCov AV-testing framework, we have seeded multiple faults in our ego AV, and compared situation coverage based and random situation generation. We have found that both generation methodologies trigger around the same number of seeded faults, but the situation coverage-based generation tells us a lot more about the weaknesses of the autonomous driving algorithm of our ego AV, especially in edge-cases. Our code is publicly available online, anyone can use our SitCov AV-testing framework and use it or build further on top of it. This paper aims to contribute to the domain of V&V and development of AVs, not only from a theoretical point of view, but also from the viewpoint of an open-source software contribution and releasing a flexible/effective tool for V&V and development of AVs.


title: Controlling Chaos in Van Der Pol Dynamics Using Signal-Encoded Deep Learning

abstract: Controlling nonlinear dynamics is a long-standing problem in engineering. Harnessing known physical information to accelerate or constrain stochastic learning pursues a new paradigm of scientific machine learning. By linearizing nonlinear systems, traditional control methods cannot learn nonlinear features from chaotic data for use in control. Here, we introduce Physics-Informed Deep Operator Control (PIDOC), and by encoding the control signal and initial position into the losses of a physics-informed neural network (PINN), the nonlinear system is forced to exhibit the desired trajectory given the control signal. PIDOC receives signals as physics commands and learns from the chaotic data output from the nonlinear van der Pol system, where the output of the PINN is the control. Applied to a benchmark problem, PIDOC successfully implements control with higher stochasticity for higher-order terms. PIDOC has also been proven to be capable of converging to different desired trajectories based on case studies. Initial positions slightly affect the control accuracy at the beginning stage yet do not change the overall control quality. For highly nonlinear systems, PIDOC is not able to execute control with high accuracy compared with the benchmark problem. The depth and width of the neural network structure do not greatly change the convergence of PIDOC based on case studies of van der Pol systems with low and high nonlinearities. Surprisingly, enlarging the control signal does not help to improve the control quality. The proposed framework can potentially be applied to many nonlinear systems for nonlinear controls.


title: The electromagnetic field outside the steadily rotating relativistic uniform system

abstract: Using the method of retarded potentials approximate formulas are obtained that describe the electromagnetic field outside the relativistic uniform system in the form of a charged sphere rotating at a constant speed. For the near, middle and far zones the corresponding expressions are found for the scalar and vector potentials, as well as for the electric and magnetic fields. Then these expressions are assessed for correspondence to the Laplace equations for potentials and fields. One of the purposes is to test the truth of the assumption that the scalar potential and the electric field depend neither on the value of the angular velocity of rotation of the sphere nor on the direction to the point where the field is measured. However, calculations show that potentials and fields increase as the observation point gets closer to the sphere's equator and to the sphere's surface, compared with the case for a stationary sphere. In this case, additions are proportional to the square of the angular velocity of rotation, the square of the sphere's radius and inversely proportional to the square of the speed of light. The largest found relative increase in potentials and fields could reach the value of 4% for the rapidly rotating neutron star PSR J1614-2230, if the star were charged. For a proton, a similar increase in fields on its surface near the equator reaches 54%.


title: Dynamic Channel Access and Power Control in Wireless Interference Networks via Multi-Agent Deep Reinforcement Learning

abstract: Due to the scarcity in the wireless spectrum and limited energy resources especially in mobile applications, efficient resource allocation strategies are critical in wireless networks. Motivated by the recent advances in deep reinforcement learning (DRL), we address multi-agent DRL-based joint dynamic channel access and power control in a wireless interference network. We first propose a multi-agent DRL algorithm with centralized training (DRL-CT) to tackle the joint resource allocation problem. In this case, the training is performed at the central unit (CU) and after training, the users make autonomous decisions on their transmission strategies with only local information. We demonstrate that with limited information exchange and faster convergence, DRL-CT algorithm can achieve 90% of the performance achieved by the combination of weighted minimum mean square error (WMMSE) algorithm for power control and exhaustive search for dynamic channel access. In the second part of this paper, we consider distributed multi-agent DRL scenario in which each user conducts its own training and makes its decisions individually, acting as a DRL agent. Finally, as a compromise between centralized and fully distributed scenarios, we consider federated DRL (FDRL) to approach the performance of DRL-CT with the use of a central unit in training while limiting the information exchange and preserving privacy of the users in the wireless system. Via simulation results, we show that proposed learning frameworks lead to efficient adaptive channel access and power control policies in dynamic environments.


title: Parallelized and Randomized Adversarial Imitation Learning for Safety-Critical Self-Driving Vehicles

abstract: Self-driving cars and autonomous driving research has been receiving considerable attention as major promising prospects in modern artificial intelligence applications. According to the evolution of advanced driver assistance system (ADAS), the design of self-driving vehicle and autonomous driving systems becomes complicated and safety-critical. In general, the intelligent system simultaneously and efficiently activates ADAS functions. Therefore, it is essential to consider reliable ADAS function coordination to control the driving system, safely. In order to deal with this issue, this paper proposes a randomized adversarial imitation learning (RAIL) algorithm. The RAIL is a novel derivative-free imitation learning method for autonomous driving with various ADAS functions coordination; and thus it imitates the operation of decision maker that controls autonomous driving with various ADAS functions. The proposed method is able to train the decision maker that deals with the LIDAR data and controls the autonomous driving in multi-lane complex highway environments. The simulation-based evaluation verifies that the proposed method achieves desired performance.


title: Infinite sets of Mutually Coprime Locally Square-free Elements, Inside the Range of Polynomials with Values in Principal Ideal Domains

abstract: Let $\mathcal R$ be a principal ideal domain and $\mathcal K = {\rm quot}(\mathcal R)$. Assume that $P_1,\ldots P_n\in \mathcal K[X]$ are polynomials which take $\mathcal R$ to $\mathcal R$, and $P$ is their product. If the $P_i$ satisfy necessary conditions, there exists an infinite set $S$ such that the elements $P(m)$ are mutually coprime as $m$ varies in $S$, and $P_i(m)$ is coprime to $P_j(m)$ for every $i\ne j$. We prove that, in addition to the above property, if $P_i$ has no multiple roots whenever $i$ belongs to some subset of $\{1,\ldots n\}$, $S$ can be constructed in such a way that $P_i(m)$ is divisible by some prime $p$, but not by $p^2$. This result is the basis of a conjecture formulated at the end of this article, according to which one can extract infinitely many square-free elements from the value set of $P$, provided $P$ has no multiple root. In the course of this article, the notion of totally primitive polynomial is introduced and elaborated in order to provide a convenient framework for those questions, or other questions concerning the value set of polynomials. This framework makes possible more enlightening, and seemingly more general, statements of the famous Bunyakovsky and Schinzel conjectures.


title: The hand-made tail: Non-perturbative tails from multifield inflation

abstract: It is becoming increasingly clear that large but rare fluctuations of the primordial curvature field, controlled by the tail of its probability distribution, could have dramatic effects on the current structure of the universe -- {\it e.g.} via primordial black-holes. However, the use of standard perturbation theory to study the evolution of fluctuations during inflation fails in providing a reliable description of how non-linear interactions induce non-Gaussian tails. Here, we use the stochastic inflation formalism to study the non-perturbative effects from multi-field fluctuations on the statistical properties of the primordial curvature field. Starting from the effective action describing multi-field fluctuations, we compute the joint probability density function and show that enhanced non-Gaussian tails are a generic feature of slow-roll inflation with additional degrees of freedom.


title: Perspectives in Public and University Sector Co-operation in the Change of Higher Education Model in Hungary, in Light of China's Experience

abstract: The model shift of higher education in Hungary brought not only the deepening of university-industry relations and technology transfer processes, but also contribute the emerging role of universities in shaping regional innovation policy. This process provides a new framework for cooperation between actors in regional innovation ecosystems and raises the relationship between economic-governmental-academic systems to a new level. Active involvement of government, the predominance of state resources, and the strong innovation-organizing power of higher education institutions are similarities that characterize both the Hungarian and Chinese innovation systems. This paper attempts to gather Chinese good practices whose adaptation can contribute to successful public-university collaboration. In the light of the examined practices, the processes related to the university model shift implemented so far can be placed in a new context, which are presented through the example of the Sz\'echenyi Istv\'an University of Gy\H{o}r.


title: Automated Code Optimization with E-Graphs

abstract: This thesis proposes an advanced, generic and high-level code rewriting and analysis system in the Julia programming language, providing applied equality saturation in the presence of multiple dispatch and metaprogramming. We show how our system can practically solve some challenging problems: Can programmers implement their own high-level compiler optimizations for their domain-specific scientific programs, without the requirement of them being compiler experts at all? Can these optimizers be implemented by users in the same language and inside the same programs they want to optimize, solving the two-language problem? Can these compiler optimizers be written in a high-level fashion, as equations, without the need to worry about the rewriting ordering? Thus, can symbolic mathematics do high-level compiler optimizations or vice-versa?


title: Auto-balanced common shock claim models

abstract: The paper is concerned with common shock models of claim triangles. These are usually constructed as a linear combinations of shock components and idiosyncratic components. Previous literature has discussed the unbalanced property of such models, whereby the shocks may over- or under-contribute to some observations. The literature has also introduced corrections for this. The present paper discusses 'auto-balanced' models, in which all shock and idiosyncratic components contribute to observations such that their proportionate contributions are constant from one observation to another. The conditions for auto-balance are found to be simple and applicable to a wide range of model structures. Numerical illustrations are given.


title: Exploring Aspects of Polyglot High-Performance Virtual Machine GraalVM

abstract: Contemporary software often becomes vastly complex, and we are required to use a variety of technologies and different programming languages for its development. As interoperability between programming languages could cause high overhead resulting in a performance loss, it is important to examine how a current polyglot virtual machine with a compiler written in a high-level object-oriented language deals with it. OpenJDK's Project Metropolis presented the GraalVM, an open-source, high-performance polyglot virtual machine, mostly written in Java. This paper presents GraalVM's architecture and its features; furthermore, examining how it resolves common interoperability and performance problems. GraalVM makes software ecosystem productive when combining various programming languages, for example, Java, JavaScript, C/C++, Python, Ruby, R, and others. The vital part of GraalVM is the Graal compiler written in Java, which allows developers to maintain and optimize code faster, simpler, and more efficient, in comparison to traditional compilers in C/C++ languages. Graal can be used as a just-in-time (JIT) or as static, ahead-of-time (AOT) compiler. Graal is an aggressively optimizing compiler implementing common compiler optimizations, with emphasis on outstanding inlining and escape analysis algorithms. This paper compares Graal with some of the best-specialized competitors, and presents our results tested within an academic environment.


title: Topological defect network representations of fracton stabilizer codes

abstract: A topological defect network (TDN) is formed by a network of topological defects embedded within a topological quantum field theory (TQFT). TDNs were introduced recently for the purpose of describing fracton topological phases of matter using the framework of defect TQFT. Their effectiveness has been demonstrated through numerous examples, yet a systematic construction was lacking. Here we solve this problem by formulating a method to construct TDNs for a wide range of lattice Hamiltonians. Our method takes a lattice Hamiltonian as input, applies an ungauging procedure, then creates a refined lattice within each unit cell, followed by regauging the system to produce a TDN as output. For topological Calderbank-Shor-Steane (CSS) Pauli stabilizer models, this procedure is guaranteed to produce a phase equivalent TDN. This provides TDN representations of canonical fracton models for which no such construction was previously known, including Haah's cubic code and Yoshida's infinite family of fractal spin liquid models. We demonstrate the applicability of our method beyond CSS stabilizer models by constructing TDNs for non-CSS models including Chamon's model and the semionic X-cube model.


title: Shallow decision trees for explainable $k$-means clustering

abstract: A number of recent works have employed decision trees for the construction of explainable partitions that aim to minimize the $k$-means cost function. These works, however, largely ignore metrics related to the depths of the leaves in the resulting tree, which is perhaps surprising considering how the explainability of a decision tree depends on these depths. To fill this gap in the literature, we propose an efficient algorithm that takes into account these metrics. In experiments on 16 datasets, our algorithm yields better results than decision-tree clustering algorithms such as the ones presented in \cite{dasgupta2020explainable}, \cite{frost2020exkmc}, \cite{laber2021price} and \cite{DBLP:conf/icml/MakarychevS21}, typically achieving lower or equivalent costs with considerably shallower trees. We also show, through a simple adaptation of existing techniques, that the problem of building explainable partitions induced by binary trees for the $k$-means cost function does not admit an $(1+\epsilon)$-approximation in polynomial time unless $P=NP$, which justifies the quest for approximation algorithms and/or heuristics.


title: Sets of Low Correlation Sequences from Cyclotomy

abstract: Low correlation (finite length) sequences are used in communications and remote sensing. One seeks codebooks of sequences in which each sequence has low aperiodic autocorrelation at all nonzero shifts, and each pair of distinct sequences has low aperiodic crosscorrelation at all shifts. An overall criterion of codebook quality is the demerit factor, which normalizes all sequences to unit Euclidean norm, sums the squared magnitudes of all the correlations between every pair of sequences in the codebook (including sequences with themselves to cover autocorrelations), and divides by the square of the number of sequences in the codebook. This demerit factor is expected to be $1+1/N-1/(\ell N)$ for a codebook of $N$ randomly selected binary sequences of length $\ell$, but we want demerit factors much closer to the absolute minimum value of $1$. For each $N$ such that there is an $N\times N$ Hadamard matrix, we use cyclotomy to construct an infinite family of codebooks of binary sequences, in which each codebook has $N-1$ sequences of length $p$, where $p$ runs through the primes with $N\mid p-1$. As $p$ tends to infinity, the demerit factor of the codebooks tends to $1+1/(6(N-1))$, and the maximum magnitude of the undesirable correlations (crosscorrelations between distinct sequences and off-peak autocorrelations) is less than a small constant times $\sqrt{p}\log(p)$. This construction also generalizes to nonbinary sequences.

categories: cs.IT cs.DM eess.SP math.CO math.IT math.NT


title: Wrinkling h-principles for integral submanifolds of jet spaces

abstract: Y. Eliashberg and N. Mishachev introduced the notion of wrinkled embedding to show that any tangential homotopy can be approximated by a homotopy of topological embeddings with mild singularities. This concept plays an important role in Contact Topology: The loose legendrian h-principle of E. Murphy relies on wrinkled embeddings to manipulate the legendrian front. Similarly, the simplification of legendrian front singularities was proven by D. \'Alvarez-Gavela by defining the notion of wrinkled legendrian. This paper and its sequel generalise these ideas to general jet spaces. The main theorem in the present paper proves the analogue of the result by Eliashberg and Mishachev: Any homotopy of the r-order differential information of an embedding can be approximated by a homotopy of embeddings with wrinkle-type singularities (of order r). The local version of the previous statement, which is of independent interest, says that the holonomic approximation theorem holds over closed manifolds if, instead of sections, we consider multi-valued sections with simple singularities.


title: Decomposing the local arrow of time in interacting systems

abstract: We show that the evidence for a local arrow of time, which is equivalent to the entropy production in thermodynamic systems, can be decomposed. In a system with many degrees of freedom, there is a term that arises from the irreversible dynamics of the individual variables, and then a series of non--negative terms contributed by correlations among pairs, triplets, and higher--order combinations of variables. We illustrate this decomposition on simple models of noisy logical computations, and then apply it to the analysis of patterns of neural activity in the retina as it responds to complex dynamic visual scenes. We find that neural activity breaks detailed balance even when the visual inputs do not, and that this irreversibility arises primarily from interactions between pairs of neurons.


title: What's knot to like? Observation of a linked loop quantum state

abstract: Quantum phases can be classified by topological invariants, which take on discrete values capturing global information about the quantum state. Over the past decades, these invariants have come to play a central role in describing matter, providing the foundation for understanding superfluids, magnets, the quantum Hall effect, topological insulators, Weyl semimetals and other phenomena. Here we report a remarkable linking number (knot theory) invariant associated with loops of electronic band crossings in a mirror-symmetric ferromagnet. Using state-of-the-art spectroscopic methods, we directly observe three intertwined degeneracy loops in the material's bulk Brillouin zone three-torus, $\mathbb{T}^3$. We find that each loop links each other loop twice. Through systematic spectroscopic investigation of this linked loop quantum state, we explicitly draw its link diagram and conclude, in analogy with knot theory, that it exhibits linking number $(2,2,2)$, providing a direct determination of the invariant structure from the experimental data. On the surface of our samples, we further predict and observe Seifert boundary states protected by the bulk linked loops, suggestive of a remarkable Seifert bulk-boundary correspondence. Our observation of a quantum loop link motivates the application of knot theory to the exploration of exotic properties of quantum matter.


title: On the K-theory of regular coconnective rings

abstract: We show that for a coconnective ring spectrum satisfying regularity and flatness assumptions, its algebraic K-theory agrees with that of its $\pi_0$. We prove this as a consequence of a more general devissage result for stable infinity categories. Applications of our result include giving general conditions under which K-theory preserves pushouts, generalizations of $\mathbb{A}^n$-invariance of K-theory, and an understanding of the K-theory of categories of unipotent local systems.