title: Finding and Removing Clever Hans: Using Explanation Methods to Debug and Improve Deep Models

abstract: Contemporary learning models for computer vision are typically trained on very large (benchmark) datasets with millions of samples. These may, however, contain biases, artifacts, or errors that have gone unnoticed and are exploitable by the model. In the worst case, the trained model does not learn a valid and generalizable strategy to solve the problem it was trained for, and becomes a 'Clever-Hans' (CH) predictor that bases its decisions on spurious correlations in the training data, potentially yielding an unrepresentative or unfair, and possibly even hazardous predictor. In this paper, we contribute by providing a comprehensive analysis framework based on a scalable statistical analysis of attributions from explanation methods for large data corpora. Based on a recent technique - Spectral Relevance Analysis - we propose the following technical contributions and resulting findings: (a) a scalable quantification of artifactual and poisoned classes where the machine learning models under study exhibit CH behavior, (b) several approaches denoted as Class Artifact Compensation (ClArC), which are able to effectively and significantly reduce a model's CH behavior. I.e., we are able to un-Hans models trained on (poisoned) datasets, such as the popular ImageNet data corpus. We demonstrate that ClArC, defined in a simple theoretical framework, may be implemented as part of a Neural Network's training or fine-tuning process, or in a post-hoc manner by injecting additional layers, preventing any further propagation of undesired CH features, into the network architecture. Using our proposed methods, we provide qualitative and quantitative analyses of the biases and artifacts in various datasets. We demonstrate that these insights can give rise to improved, more representative and fairer models operating on implicitly cleaned data corpora.


title: Determination of the endpoint of the first order deconfiniement phase transition in the heavy quark region of QCD

abstract: We study the endpoint of the first order deconfinement phase transition of 2 and 2+1 flavor QCD in the heavy quark region. We perform simulations of quenched QCD and apply the reweighting method to study the heavy quark region. The quark determinant for the reweighting is evaluated by a hopping parameter expansion. To reduce the overlap problem, we introduce an external source term of the Polyakov loop in the simulation. We study the location of critical point at which the first order phase transition changes to crossover by investigating the histogram of the Polyakov loop and applying the finite-size scaling analysis. We estimate the truncation error of the hopping parameter expansion, and discuss the lattice spacing dependence and the spatial volume dependence in the result of the critical point.


title: A characterization of Johnson and Hamming graphs and proof of Babai's conjecture

abstract: One of the central results in the representation theory of distance-regular graphs classifies distance-regular graphs with $\mu\geq 2$ and second largest eigenvalue $\theta_1= b_1-1$. In this paper we give a classification under the (weaker) approximate eigenvalue constraint $\theta_1\geq (1-\varepsilon)b_1$ for the class of geometric distance-regular graphs. As an application, we confirm Babai's conjecture on the minimal degree of the automorphism group of distance-regular graphs.


title: Non-Boltzmann Vibrational Energy Distributions and Coupling to Dissociation Rate

abstract: In this article, we propose a generalized model for nonequilibrium vibrational energy distribution functions. The model can be used, in place of equilibrium (Boltzmann) distribution functions, when deriving reaction rate constants for high-temperature nonequilibrium flows. The distribution model is derived based on recent \textit{ab initio} calculations, carried out using potential energy surfaces developed using accurate computational quantum chemistry techniques for the purpose of studying air chemistry at high temperatures. Immediately behind a strong shock wave, the vibrational energy distribution is non-Boltzmann. Specifically, as the gas internal energy rapidly excites to a high temperature, overpopulation of the high-energy tail (relative to a corresponding Boltzmann distribution) is observed in \textit{ab initio} simulations. As the gas excites further and begins to dissociate, a depletion of the high-energy tail is observed, during a time-invariant quasi-steady state (QSS). Since the probability of dissociation is exponentially related to the vibrational energy of the dissociating molecule, the overall dissociation rate is sensitive to the populations of these high vibrational energy states. The non-Boltzmann effects captured by the new model either enhance or reduce the dissociation rate relative to that obtained assuming a Boltzmann distribution. This article proposes a simple model that is demonstrated to reproduce these non-Boltzmann effects quantitatively when compared to \textit{ab initio} simulations.


title: Quantum corrections to the entropy and its application in the study of quantum Carnot engines

abstract: Entropy is one of the most basic concepts in thermodynamics and statistical mechanics. The most widely used definition of statistical mechanical entropy for a quantum system is introduced by von Neumann. While in classical systems, the statistical mechanical entropy is defined by Gibbs. The relation between these two definitions of entropy is still not fully explored. In this work, we study this problem by employing the phase-space formulation of quantum mechanics. For those quantum states having well-defined classical counterparts, we study the quantum-classical correspondence and quantum corrections of the entropy. We expand the von Neumann entropy in powers of ${\hbar}$ by using the phase-space formulation, and the zeroth order term reproduces the Gibbs entropy. We also obtain the explicit expression of the quantum corrections of the entropy. Moreover, we find that for the thermodynamic equilibrium state, all terms odd in ${\hbar}$ are exactly zero. As an application, we derive quantum corrections for the net work extraction during a quantum Carnot cycle. Our results bring important insights to the understanding of quantum entropy and may have potential applications in the study of quantum heat engines.


title: TF3P: Three-dimensional Force Fields Fingerprint Learned by Deep Capsular Network

abstract: Molecular fingerprints are the workhorse in ligand-based drug discovery. In recent years, an increasing number of research papers reported fascinating results on using deep neural networks to learn 2D molecular representations as fingerprints. It is anticipated that the integration of deep learning would also contribute to the prosperity of 3D fingerprints. Here, we unprecedentedly introduce deep learning into 3D small molecule fingerprints, presenting a new one we termed as the three-dimensional force fields fingerprint (TF3P). TF3P is learned by a deep capsular network whose training is in no need of labeled datasets for specific predictive tasks. TF3P can encode the 3D force fields information of molecules and demonstrates the stronger ability to capture 3D structural changes, to recognize molecules alike in 3D but not in 2D, and to identify similar targets inaccessible by other 2D or 3D fingerprints based on only ligands similarity. Furthermore, TF3P is compatible with both statistical models (e.g. similarity ensemble approach) and machine learning models. Altogether, we report TF3P as a new 3D small molecule fingerprint with a promising future in ligand-based drug discovery. All codes are written in Python and available at https://github.com/canisw/tf3p.


title: Dynamics of a long chain in turbulent flows: Impact of vortices

abstract: We show and explain how a long bead-spring chain, immersed in a homogeneous, isotropic turbulent flow, preferentially samples vortical flow structures. We begin with an elastic, extensible chain which is stretched out by the flow, up to inertial-range scales. This filamentary object, which is known to preferentially sample the circular coherent vortices of two-dimensional (2D) turbulence, is shown here to also preferentially sample the intense, tubular, vortex filaments of 3D turbulence. In the 2D case, the chain collapses into a tracer inside vortices. In 3D, on the contrary, the chain is extended even in vortical regions, which suggests that it follows axially-stretched tubular vortices by aligning with their axes. This physical picture is confirmed by examining the relative sampling behaviour of the individual beads, and by additional studies on an inextensible chain with adjustable bending-stiffness. A highly-flexible, inextensible chain also shows preferential sampling in 3D, provided it is longer than the dissipation scale, but not much longer than the vortex tubes. This is true also for 2D turbulence, where a long inextensible chain can occupy vortices by coiling into them. When the chain is made inflexible, however, coiling is prevented and the extent of preferential sampling in 2D is considerably reduced. In 3D, on the contrary, bending stiffness has no effect, because the chain does not need to coil in order to thread a vortex tube and align with its axis.


title: Six Dimensional Streaming Algorithm for Cluster Finding in N-Body Simulations

abstract: Cosmological N-body simulations are crucial for understanding how the Universe evolves. Studying large-scale distributions of matter in these simulations and comparing them to observations usually involves detecting dense clusters of particles called "halos,'' which are gravitationally bound and expected to form galaxies. However, traditional cluster finders are computationally expensive and use massive amounts of memory. Recent work by Liu et al (Liu et al. (2015)) showed the connection between cluster detection and memory-efficient streaming algorithms and presented a halo finder based on heavy hitter algorithm. Later, Ivkin et al. (Ivkin et al. (2018)) improved the scalability of suggested streaming halo finder with efficient GPU implementation. Both works map particles' positions onto a discrete grid, and therefore lose the rest of the information, such as their velocities. Therefore, two halos travelling through each other are indistinguishable in positional space, while the velocity distribution of those halos can help to identify this process which is worth further studying. In this project we analyze data from the Millennium Simulation Project (Springel et al. (2005)) to motivate the inclusion of the velocity into streaming method we introduce. We then demonstrate a use of suggested method, which allows one to find the same halos as before, while also detecting those which were indistinguishable in prior methods.


title: The BFK-gluing formula and the curvature tensors on a 2-dimensional compact hypersurface

abstract: In the proof of the BFK-gluing formula for zeta-determinants of Laplacians there appears a real polynomial whose constant term is an important ingredient in the gluing formula. This polynomial is determined by geometric data on an arbitrarily small collar neighborhood of a cutting hypersurface. In this paper we express the coefficients of this polynomial in terms of the scalar and principal curvatures of the cutting hypersurface embedded in the manifold when this hypersurface is 2-dimensional. Similarly, we express some coefficients of the heat trace asymptotics of the Dirichlet-to-Neumann operator in terms of the scalar and principal curvatures of the cutting hypersurface.


title: Influence of thermomechanical loads on the energetics of precipitation in magnesium aluminum alloys

abstract: We use first principles calculations to study the influence of thermomechanical loads on the energetics of precipitation in magnesium-aluminum alloys. Using Density Functional Theory simulations, we present expressions of the energy of magnesium-aluminum binary solid solutions as a function of concentration, strain and temperature. Additionally, from these calculations, we observe an increase in equilibrium volume (and hence the equilibrium lattice constants) with the increase in concentration of magnesium. We also observe an increase in the cohesive energy of solutions with increase in concentration, and also present their dependence on strain. Calculations also show that the formation enthalpy of $\beta$ phase solutions to be strongly influenced by hydrostatic stress, however the formation enthalpy of $\alpha$ phase solutions remain unaffected by hydrostatic stress. We present an expression of the free energy of any magnesium aluminum solid solution, that takes into account the contributions of strain and temperature. We note that these expressions can serve as input to process models of magnesium-aluminum alloys. We use these expressions to report the influence of strains and temperature on the solubility limits and equilibrium chemical potential in Mg-Al alloys. Finally, we report the influence of thermomechanical loads on the growth of precipitates, where we observe compressive strains along the $c$ axis promotes growth, whereas strains along the $a$ and $b$ directions do not influence the growth of precipitates.


title: The SPHERE-2 detector for observation of extensive air showers in 1 PeV -- 1 EeV energy range

abstract: The SPHERE-2 balloon-borne detector designed for extensive air shower (EAS) observations using EAS optical Vavilov-Cherenkov radiation (``Cherenkov light''), reflected from the snow-covered surface of Lake Baikal is described. We briefly discuss the concept behind the reflected Cherenkov light method, characterize the conditions at the experimental site and overview the construction of the tethered balloon used to lift the SPHERE-2 telescope above the surface. This paper is mainly dedicated to a detailed technical description of the detector, including its optical system, sensitive elements, electronics, and data acquisition system (DAQ). The results of some laboratory and field tests of the optical system are presented.


title: Universal Inference

abstract: We propose a general method for constructing hypothesis tests and confidence sets that have finite sample guarantees without regularity conditions. We refer to such procedures as "universal." The method is very simple and is based on a modified version of the usual likelihood ratio statistic, that we call "the split likelihood ratio test" (split LRT). The method is especially appealing for irregular statistical models. Canonical examples include mixture models and models that arise in shape-constrained inference. Constructing tests and confidence sets for such models is notoriously difficult. Typical inference methods, like the likelihood ratio test, are not useful in these cases because they have intractable limiting distributions. In contrast, the method we suggest works for any parametric model and also for some nonparametric models. The split LRT can also be used with profile likelihoods to deal with nuisance parameters, and it can also be run sequentially to yield anytime-valid $p$-values and confidence sequences.


title: Pointwise surjective presentations of stacks

abstract: We show that any stack $\mathfrak{X}$ of finite type over a Noetherian scheme has a presentation $X \rightarrow \mathfrak{X}$ by a scheme of finite type such that $X(F) \rightarrow \mathfrak{X}(F)$ is onto, for every finite or real closed field $F$. Under some additional conditions on $\mathfrak{X}$, we show the same for all perfect fields. We prove similar results for (some) Henselian rings. We give two applications of the main result. One is to counting isomorphism classes of stacks over the rings $\mathbb{Z}/p^n$; the other is about the relation between real algebraic and Nash stacks.


title: Synthetic Wavelength Holography: An Extension of Gabor's Holographic Principle to Imaging with Scattered Wavefronts

abstract: The presence of a scattering medium in the imaging path between an object and an observer is known to severely limit the visual acuity of the imaging system. We present an approach to circumvent the deleterious effects of scattering, by exploiting spectral correlations in scattered wavefronts. Our method draws inspiration from Gabor's attempts to improve the resolving power of electron microscopes by recording aberrated wavefronts at electron wavelengths, followed by aberration correction and playback at optical wavelengths. We extend the notion to scattered wavefronts, by interpreting the scattering of light as a source of randomized aberration. We compensate for these aberrations by mixing speckle fields recorded at two closely spaced optical wavelengths, and replaying the computationally assembled wavefront at a 'Synthetic Wavelength'. An attractive feature of our method is that it accommodates a wide variety of scattering mechanisms and operates at the physical limits of imaging in the presence of scatter. Moreover, our findings are applicable to other wave phenomena, opening up new avenues for imaging with scattered wavefronts.


title: Spectral density in a Moszynski's class of Jacobi matrices

abstract: In this paper it is considered a spectral density for a class of Jacobi matrices with absolutely continuous spectrum that was examined first by Moszynski. It is shown that the corresponding spectral density is equivalent to the positive continuous function everywhere except maybe the point $x=0$.


title: Interfacial Atomic Number Contrast in Thick TEM Samples

abstract: The atomic number contrast imaging technique reveals an increase in intensity at interfaces of a high and low-density material in case of relatively thick samples. Elastic scattering factors and absorption coefficients are incorporated in a probabilistic model to study atomic contrast occurring at the interface of two materials when the High-Angle Annular Dark-Field (HAADF) detector is used in the Scanning TEM (STEM) mode. Simulations of thick samples reveal that electrons traverse from a higher density material to a lower density material near the interface which increases the HAADF-STEM signal. This effect is more dominant in TEM samples of thickness greater than 100 nm and the increase in signal occurs up to 20 nm from the interface. The behavior of electrons near the interface is explained by comparing the simulation results with experimental TEM micrographs in the HAADF-STEM mode.


title: Rational points on Cubic, Quartic and Sextic Curves over Finite Fields

abstract: Let $\mathbb{F}_q$ denote the finite field with $q$ elements. In this work, we use characters to give the number of rational points on suitable curves of low degree over $\mathbb{F}_q$ in terms of the number of rational points on elliptic curves. In the case where $q$ is a prime number, we give a way to calculate these numbers. As a consequence of these results, we characterize maximal and minimal curves given by equations of the forms $ax^3+by^3+cz^3=0$ and $ax^4+by^4+cz^4=0$.


title: Big Picard theorem for moduli spaces of polarized manifolds

abstract: Consider a smooth projective family of complex polarized manifolds with semi-ample canonical sheaf over a quasi-projective manifold $V$. When the associated moduli map $V\to P_h$ from the base to coarse moduli space is quasi-finite, we prove that the generalized big Picard theorem holds for the base manifold $V$: for any projective compactification $Y$ of $V$, any holomorphic map $f:\Delta-\{0\}\to V$ from the punctured unit disk to $V$ extends to a holomorphic map of the unit disk $\Delta$ into $Y$. This result generalizes our previous work on the Brody hyperbolicity of $V$ (i.e. there are no entire curves on $V$), as well as a more recent work by Lu-Sun-Zuo on the Borel hyperbolicity of $V$ (i.e. any holomorphic map from a quasi-projective variety to $V$ is algebraic). We also obtain generalized big Picard theorem for bases of log Calabi-Yau families.


title: Fast and energy-efficient neuromorphic deep learning with first-spike times

abstract: For a biological agent operating under environmental pressure, energy consumption and reaction times are of critical importance. Similarly, engineered systems are optimized for short time-to-solution and low energy-to-solution characteristics. At the level of neuronal implementation, this implies achieving the desired results with as few and as early spikes as possible. With time-to-first-spike coding both of these goals are inherently emerging features of learning. Here, we describe a rigorous derivation of a learning rule for such first-spike times in networks of leaky integrate-and-fire neurons, relying solely on input and output spike times, and show how this mechanism can implement error backpropagation in hierarchical spiking networks. Furthermore, we emulate our framework on the BrainScaleS-2 neuromorphic system and demonstrate its capability of harnessing the system's speed and energy characteristics. Finally, we examine how our approach generalizes to other neuromorphic platforms by studying how its performance is affected by typical distortive effects induced by neuromorphic substrates.


title: An algorithm to evaluate the spectral expansion

abstract: Assume that $X$ is a connected $(q+1)$-regular undirected graph of finite order $n$. Let $A$ denote the adjacency matrix of $X$. Let $\lambda_1=q+1>\lambda_2\geq \lambda_3\geq \ldots \geq \lambda_n$ denote the eigenvalues of $A$. The spectral expansion of $X$ is defined by $$ \Delta(X)=\lambda_1-\max_{2\leq i\leq n}|\lambda_i|. $$ By the Alon--Boppana theorem, when $n$ is sufficiently large, $\Delta(X)$ is quite high if $$ \mu(X)=q^{-\frac{1}{2}} \max_{2\leq i\leq n}|\lambda_i| $$ is close to $2$. In this paper, with the inputs $A$ and a real number $\varepsilon>0$ we design an algorithm to estimate if $\mu(X)\leq 2+\varepsilon$ in $O(n^\omega \log \log_{1+\varepsilon} n )$ time, where $\omega<2.3729$ is the exponent of matrix multiplication.


title: Smooth mixing transformations with loosely Bernoulli cartesian product

abstract: A zero-entropy system is said to be loosely Bernoulli if it can be induced from an irrational rotation of the circle. We provide a criterion for zero-entropy systems to be loosely Bernoulli that is compatible with mixing. Using these criteria, we show the existence of smooth mixing zero-entropy loosely Bernoulli transformations whose cartesian product with themselves is loosely Bernoulli.


title: Anomalous phase matching through inter sub-cycle interference

abstract: Providing efficient nonlinear optical frequency conversion is essential for numerous applications. Fundamentally, dispersion limits the efficiency of such processes through mismatch of the phase velocities and the group velocities of the involved optical waves. We reveal a dispersion condition at which, surprisingly, phase and group velocity mismatch act together to provide efficient optical frequency conversion. We demonstrate this condition numerically for the process of high-harmonic-generation. This finding could be valuable to the theory and practice of nonlinear optical frequency conversion in general.


title: Evolution of the accretion disk-corona during bright hard-to-soft state transition: A reflection spectroscopic study with GX 339-4

abstract: We present the analysis of several observations of the black hole binary GX 339--4 during its bright intermediate states from two different outbursts (2002 and 2004), as observed by RXTE/PCA. We perform a consistent study of its reflection spectrum by employing the relxill family of relativistic reflection models to probe the evolutionary properties of the accretion disk including the inner disk radius ($R_{\rm in}$), ionization parameter ($\xi$), temperatures of the inner disk ($T_{\rm in}$), corona ($kT_{\rm e}$), and its optical depth ($\tau$). Our analysis indicates that the disk inner edge approaches the inner-most stable circular orbit (ISCO) during the early onset of bright hard state, and that the truncation radius of the disk remains low ($\lesssim 14 R_{\rm g}$) throughout the transition from hard to soft state. This suggests that the changes observed in the accretion disk properties during the state transition are driven by variation in accretion rate, and not necessarily due to changes in the inner disk's radius. We compare the aforementioned disk properties in two different outbursts, with state transitions occurring at dissimilar luminosities, and find identical evolutionary trends in the disk properties, with differences only seen in corona's $kT_{\rm e}$ and $\tau$. We also perform an analysis by employing a self-consistent Comptonized accretion disk model accounting for the scatter of disk photons by the corona, and measure low inner disk truncation radius across the bright intermediate states, using the temperature dependent values of spectral hardening factor, thereby independently confirming our results from the reflection spectrum analysis.

categories: astro-ph.HE gr-qc hep-ex physics.data-an physics.plasm-ph


title: Distribution of the magnetic environment in charge ordered La$_{1.885}$Sr$_{0.115}$CuO$_{4}$

abstract: We report the inverse Laplace transform (ILT) analysis of the $^{139}$La nuclear spin-lattice relaxation rate $1/T_1$ in charge ordered La$_{1.885}$Sr$_{0.115}$CuO$_4$ ($T_{charge} \sim 80$K, $T_{c} \simeq T_{spin}^{neutron}=30$K), and shed new light on its magnetic inhomogeneity. We deduce the probability density function $P(1/T_{1})$ of the distributed $1/T_1$ (i.e. the histogram of distributed $1/T_1$) by taking the inverse Laplace transform of the experimentally observed nuclear magnetization recovery curve $M(t)$. We demonstrate that spin freezing sets in in some domains precisely below the onset of charge order at $T_{charge}$, but their volume fraction grows only gradually toward $T_{c}$. Nearly a half of the sample volume exhibits properties expected for canonical high $T_c$ cuprates without charge order even near $T_c$. Our findings explain why charge order does not suppress $T_c$ of La$_{1.885}$Sr$_{0.115}$CuO$_4$ as significantly as in La$_{1.875}$Ba$_{0.125}$CuO$_4$.


title: p75NTR as a Molecular Memory Switch

abstract: In recent years, many molecular and environmental factors have been studied to understand how synaptic plasticity is modulated. Sleep, as an evolutionary conserved biological function, has shown to be a critical player for the consolidation and filtering of synaptic circuitry underlying memory traces. Although sleep disturbances do not alter normal memory consolidation, they may reflect fundamental circuit malfunctions that can play a significant role in exacerbating diseases, such as autism and Alzheimer's disease. Very recently, scientists sought to answer part of this enigma and they identified p75 neurotrophic receptor (p75NTR) as a critical player in mediating impairments in hippocampal-dependent associative plasticity upon sleep deprivation. This paper will review the role of the p75NTR, critically discuss the impact and implications of this research as the bridge for sleep research and neurological diseases.


title: Room-temperature Single Photon Emitters in Cubic Boron Nitride Nanocrystals

abstract: Color centers in wide bandgap semiconductors are attracting broad attention as platforms for quantum technologies relying on room-temperature single-photon emission (SPE), and for nanoscale metrology applications building on the centers' response to electric and magnetic fields. Here, we demonstrate room-temperature SPE from defects in cubic boron nitride (cBN) nanocrystals, which we unambiguously assign to the cubic phase using spectrally resolved Raman imaging. These isolated spots show photoluminescence (PL) spectra with zero-phonon lines (ZPLs) within the visible region (496-700 nm) when subject to sub-bandgap laser excitation. Second-order autocorrelation of the emitted photons reveals antibunching with $g^{2}$ ~ 0.2 and a decay constant of 2.75 ns that is further confirmed through fluorescence lifetime measurements. The results presented herein prove the existence of optically addressable isolated quantum emitters originating from defects in cBN, making this material an interesting platform for opto-electronic devices and quantum applications.


title: Quartet-metric gravity, scalar-graviton dark substance and vacuum energy screening: extending GR vs. its WTDiff alternative

abstract: In the frameworks of the effective field theory of metric supplemented by some distinct dynamical coordinates parametrized, in turn, by a scalar quartet -- the so-called quartet-metric gravity -- the extension of tensor gravity through a massive scalar graviton in addition to the massless tensor one is consistently exposed. The field equations for the two realizations of such an extension originating from the classically equivalent prototype theories - General Relativity (GR) and its Weyl transverse (WTDiff) alternative - are derived and argued to be, generally, non-equivalent, with the pure-gravity case manifesting this explicitly in detail. A splitting of the cosmological constant onto the gravitating and non-gravitating parts, with a partial screening of the vacuum energy through an emergent scalar-graviton dark substance, is considered. A prior importance of treating the WTDiff gravity as a prototype one on par with GR, when looking for a putative next-to-GR extended theory of gravity with a scalar-graviton dark substance, is stressed.


title: Median pretrees and functions of bounded variation

abstract: We introduce functions of bounded variation on median algebras and study some properties for median pretrees. We show that if $X$ is a compact median pretree in its shadow topology then every function $f: X \to R$ of bounded variation has the point of continuity property (Baire 1, if $X$, in addition, is metrizable). We prove a generalized version of Helly's selection theorem for a sequence of functions with total bounded variation defined on a compact metrizable median pretree $X$.


title: Dark matter with excitable levels

abstract: This paper explores the possibility that dark matter particles are objects with a set of excitable levels, as for a string or drum. A change in excitation is associated with the absorption or emission of a photon, and the probability of such a change is dependent on the ambient photon energy density. Particle mass comes entirely from excitations. Such dark matter with excitable levels, or DMWEL, particles have a distribution of masses which freezes out to its present-day form during the early universe. In the particular model considered, consistency with Planck CMB anisotropy observations implies a cautious lower bound on the energy of the first excitable level of 2 to 200 eV for a set of reference parameters. While laboratory detection looks to require a considerable increase in the power of controlled light-sources, it might be possible in the near future to detect or constrain DMWEL further through improved anisotropy observations, closer determination of the CMB's maximum deviation from a blackbody shape, or from gravitational probes of the dark matter power spectrum. For certain parameters near to the boundary of the region allowed by CMB anisotropies, DMWEL dark matter is cold, but with a cut-off halo mass many orders of magnitude greater than that typical for WIMP cold dark matter.


title: On-shell Methods for Form Factors in N=4 SYM and Their Applications

abstract: Form factors are quantities that involve both asymptotic on-shell states and gauge invariant operators. They provide a natural bridge between on-shell amplitudes and off-shell correlation functions of operators, thus allowing us to use modern on-shell amplitude techniques to probe into the off-shell side of quantum field theory. In particular, form factors have been successfully used in computing the cusp (soft) anomalous dimensions and anomalous dimensions of general local operators. This review is intended to provide a pedagogical introduction to some of these developments. We will first review some amplitudes background using four-point amplitudes as main examples. Then we generalize these techniques to form factors, including (1) tree-level form factors, (2) Sudakov form factor and infrared singularities, and (3) form factors of general operators and their anomalous dimensions. Although most examples we consider are in N=4 super-Yang-Mill theory, the on-shell methods are universal and are expected to be applicable to general gauge theories.


title: $T$-equivariant disc potentials for toric Calabi-Yau manifolds

abstract: We study the equivariant disc potentials for immersed SYZ fibers in toric Calabi-Yau manifolds. The immersed Lagrangians play a crucial role in the partial compactification of the SYZ mirrors. Morever, their equivariant disc potentials have a close relation with that of Aganagic-Vafa branes. We show that the potentials can be computed by using an equivariant version of isomorphisms in the Fukaya category.


title: Performance Tuning and Scaling Enterprise Blockchain Applications

abstract: Blockchain scalability can be complicated and costly. As enterprises begin to adopt blockchain technology to solve business problems, there are valid concerns if blockchain applications can support the transactional demands of production systems. In fact, the multiple distributed components and protocols that underlie blockchain applications makes performance optimization a non-trivial task. Blockchain performance optimization and scalability require a methodology to reduce complexity and cost. Furthermore, existing performance results often lack the requirements, load, and infrastructure of a production application. In this paper, we first develop a methodical approach to performance tuning enterprise blockchain applications to increase performance and transaction capacity. The methodology is applied to an enterprise blockchain-based application (leveraging Hyperledger Fabric) for performance tuning and optimization with the goal of bridging the gap between laboratory and production deployed system performance. We then present extensive results and analysis of our performance testing for on-premise and cloud deployments, in which we were able to scale the application from 30 to 3000 TPS without forking the Hyperledger Fabric source code and maintaining a reasonable infrastructure footprint. We also provide blockchain application and platform recommendations for performance improvement.


title: First-Principles study of an S = 1 quasi-1D quantum molecular magnetic material

abstract: We use density functional theory to study the structural, magnetic and electronic structure of the organo-metallic quantum magnet $\mathrm{NiCl_2-4SC(NH_2)_2}$ (DTN). Recent work has demonstrated the quasi-1D nature of the molecular crystal and its quantum phase transitions at low temperatures. This includes a magneto-electric coupling and, when doped with Br, the presence of an exotic Bose-glass state. We systematically show that, by using the generalized gradient approximation (GGA) with inclusion of a van der Waals term to account for weak inter-molecular forces and by introducing a Hubbard $U$ term to the total energy, our calculations reproduce the magnetic anisotropy, the inter-molecular exchange coupling strength and the magneto-electric effect in DTN, which were observed in previous experiments. Further analysis into the electronic structure gives insight into the underlying magnetic interactions, including what mechanisms may be causing the ME effect. Using this computationally efficient model, we predict what effect applying an electric field might have on the magnetic properties of this quantum magnet.


title: Theory of topological spin Josephson junctions

abstract: We study the spin transport through a 1D quantum Ising-XY-Ising spin link that emulates a topological superconducting-normal-superconducting structure via Jordan-Wigner (JW) transformation. We calculate, both analytically and numerically, the spectrum of spin Andreev bound states and the resulting $\mathbb{Z}_2$ fractional spin Josephson effect (JE) pertaining to the emerging Majorana JW fermions. Deep in the topological regime, we identify an effective time-reversal symmetry that leads to $\mathbb{Z}_4$ fractional spin JE in the $\textit{presence}$ of interactions within the junction. Moreover, we uncover a hidden inversion time-reversal symmetry that protects the $\mathbb{Z}_4$ periodicity in chains with an odd number of spins, even in the $\textit{absence}$ of interactions. We also analyze the entanglement between pairs of spins by evaluating the concurrence in the presence of spin current and highlight the effects of the JW Majorana states. We propose to use a microwave cavity setup for detecting the aforementioned JEs by dispersive readout methods and show that, surprisingly, the $\mathbb{Z}_2$ periodicity is immune to $\textit{any}$ local magnetic perturbations. Our results are relevant for a plethora of spin systems, such as trapped ions, photonic lattices, electron spins in quantum dots, or magnetic impurities on surfaces.


title: On the nonlinear Dirac equation on noncompact metric graphs

abstract: The paper discusses the Nonlinear Dirac Equation with Kerr-type nonlinearity (i.e., $\psi^{p-2}\psi$) on noncompact metric graphs with a finite number of edges, in the case of Kirchhoff-type vertex conditions. Precisely, we prove local well-posedness for the associated Cauchy problem in the operator domain and, for infinite $N$-star graphs, the existence of standing waves bifurcating from the trivial solution at $\omega=mc^2$, for any $p>2$. In the Appendix we also discuss the nonrelativistic limit of the Dirac-Kirchhoff operator.


title: Characterizing the Decision Boundary of Deep Neural Networks

abstract: Deep neural networks and in particular, deep neural classifiers have become an integral part of many modern applications. Despite their practical success, we still have limited knowledge of how they work and the demand for such an understanding is evergrowing. In this regard, one crucial aspect of deep neural network classifiers that can help us deepen our knowledge about their decision-making behavior is to investigate their decision boundaries. Nevertheless, this is contingent upon having access to samples populating the areas near the decision boundary. To achieve this, we propose a novel approach we call Deep Decision boundary Instance Generation (DeepDIG). DeepDIG utilizes a method based on adversarial example generation as an effective way of generating samples near the decision boundary of any deep neural network model. Then, we introduce a set of important principled characteristics that take advantage of the generated instances near the decision boundary to provide multifaceted understandings of deep neural networks. We have performed extensive experiments on multiple representative datasets across various deep neural network models and characterized their decision boundaries. The code is publicly available at https://github.com/hamidkarimi/DeepDIG/.


title: The correlation function of (1,1) and (2,2) supersymmetric theories with $T\bar{T}$ deformation

abstract: In the paper, based on recent studies on $T\bar{T}$ deformation of 2D field theory with supersymmetry, we investigate the deformed correlation functions in $\mathcal{N}=(1,1)$ and $\mathcal{N}=(2,2)$ 2D superconformal field theories. Up to the leading order in perturbation theory, we compute the correlation functions under $T\bar{T}$ deformation. The correlation functions in these undeformed theories are almost known, and together with the help of superconformal Ward identity in $\mathcal{N}=(1,1)$ and $\mathcal{N}=(2,2)$ theories respectively we can obtain the correlation functions with operator $T\bar{T}$ inserted. Finally, by employing dimensional regularization, we can work out the integrals in the first order perturbation. The study in this paper extends previous works on the correlation functions of $T\bar{T}$ deformed bosonic CFT to the supersymmetric case.


title: PILS: Exploring high-order neighborhoods by pattern mining and injection

abstract: We introduce pattern injection local search (PILS), an optimization strategy that uses pattern mining to explore high-order local-search neighborhoods, and illustrate its application on the vehicle routing problem. PILS operates by storing a limited number of frequent patterns from elite solutions. During the local search, each pattern is used to define one move in which 1) incompatible edges are disconnected, 2) the edges defined by the pattern are reconnected, and 3) the remaining solution fragments are optimally reconnected. Each such move is accepted only in case of solution improvement. As visible in our experiments, this strategy results in a new paradigm of local search, which complements and enhances classical search approaches in a controllable amount of computational time. We demonstrate that PILS identifies useful high-order moves (e.g., 9-opt and 10-opt) which would otherwise not be found by enumeration, and that it significantly improves the performance of state-of-the-art population-based and neighborhood-centered metaheuristics.


title: FHDR: HDR Image Reconstruction from a Single LDR Image using Feedback Network

abstract: High dynamic range (HDR) image generation from a single exposure low dynamic range (LDR) image has been made possible due to the recent advances in Deep Learning. Various feed-forward Convolutional Neural Networks (CNNs) have been proposed for learning LDR to HDR representations. To better utilize the power of CNNs, we exploit the idea of feedback, where the initial low level features are guided by the high level features using a hidden state of a Recurrent Neural Network. Unlike a single forward pass in a conventional feed-forward network, the reconstruction from LDR to HDR in a feedback network is learned over multiple iterations. This enables us to create a coarse-to-fine representation, leading to an improved reconstruction at every iteration. Various advantages over standard feed-forward networks include early reconstruction ability and better reconstruction quality with fewer network parameters. We design a dense feedback block and propose an end-to-end feedback network- FHDR for HDR image generation from a single exposure LDR image. Qualitative and quantitative evaluations show the superiority of our approach over the state-of-the-art methods.


title: Attack-Resistant Federated Learning with Residual-based Reweighting

abstract: Federated learning has a variety of applications in multiple domains by utilizing private training data stored on different devices. However, the aggregation process in federated learning is highly vulnerable to adversarial attacks so that the global model may behave abnormally under attacks. To tackle this challenge, we present a novel aggregation algorithm with residual-based reweighting to defend federated learning. Our aggregation algorithm combines repeated median regression with the reweighting scheme in iteratively reweighted least squares. Our experiments show that our aggregation algorithm outperforms other alternative algorithms in the presence of label-flipping and backdoor attacks. We also provide theoretical analysis for our aggregation algorithm.


title: Finite involutory quandles of two-bridge links with an axis

abstract: To better understand the fundamental quandle of a knot or link, it can be useful to look at finite quotients of the quandle. One such quotient is the $n$-quandle (or, when $n=2$, the {\em involutory} quandle). Hoste and Shanahan \cite{HS2} gave a complete list of the links which have finite $n$-quandles; it remained to give explicit descriptions of these quandles. This has been done for several cases in \cite{CHMS} and \cite{HS1}; in the current work we continue this project and explicitly describe the Cayley graphs for the finite involutory quandles of two-bridge links with an axis.


title: Power Comparisons in 2x2 Contingency Tables: Odds Ratio versus Pearson Correlation versus Canonical Correlation

abstract: It is an important inferential problem to test no association between two binary variables based on data. Tests based on the sample odds ratio are commonly used. We bring in a competing test based on the Pearson correlation coefficient. In particular, the Odds ratio does not extend to higher order contingency tables, whereas Pearson correlation does. It is important to understand how Pearson correlation stacks against the odds ratio in 2x2 tables. Another measure of association is the canonical correlation. In this paper, we examine how competitive Pearson correlation is vis-\`a-vis odds ratio in terms of power in the binary context, contrasting further with both the Wald Z and Rao Score tests. We generated an extensive collection of joint distributions of the binary variables and estimated the power of the tests under each joint alternative distribution based on random samples. The consensus is that none of the tests dominates the other.


title: Parametrics of electromagnetic searches for axion dark matter

abstract: Light axion-like particles occur in many theories of beyond-Standard-Model physics, and may make up some or all of the universe's dark matter. One of the ways they can couple to the Standard Model is through the electromagnetic $F_{\mu\nu} \tilde F^{\mu\nu}$ portal, and there is a broad experimental program, covering many decades in mass range, aiming to search for axion dark matter via this coupling. In this paper, we derive limits on the absorbed power, and coupling sensitivity, for a broad class of such searches. We find that standard techniques, such as resonant cavities and dielectric haloscopes, can achieve O(1)-optimal axion-mass-averaged signal powers, for given volume and magnetic field. For low-mass (frequency $\ll$ GHz) axions, experiments using static background magnetic fields generally have suppressed sensitivity - we discuss the physics of this limitation, and propose experimental methods to avoid it, such as microwave up-conversion experiments. We also comment on the detection of other forms of dark matter, including dark photons, as well as the detection of relativistic hidden sector particles.


title: Zeroth-order conservation laws of two-dimensional shallow water equations with variable bottom topography

abstract: We classify zeroth-order conservation laws of systems from the class of two-dimensional shallow water equations with variable bottom topography using an optimized version of the method of furcate splitting. The classification is carried out up to equivalence generated by the equivalence group of this class. We find additional point equivalences between some of the listed cases of extensions of the space of zeroth-order conservation laws, which are inequivalent up to transformations from the equivalence group. Hamiltonian structures of systems of shallow water equations are used for relating the classification of zeroth-order conservation laws of these systems to the classification of their Lie symmetries. We also construct generating sets of such conservation laws under action of Lie symmetries.


title: Chern bands of twisted bilayer graphene: fractional Chern insulators and spin phase transition

abstract: When one of the graphene layers of Magic Angle Twisted Bilayer Graphene is nearly aligned with its hexagonal boron nitride substrate (a configuration dubbed TBG/hBN), the active electronic bands are nearly flat, and have a Chern number $C=\pm1$. Recent experiments demonstrated a quantum anomalous Hall effect and spontaneous valley polarization at integer filling $\nu_T=3$ of the conduction band in this system. Motivated by this discovery, we ask whether fractional quantum anomalous Hall states (FQAH) could also emerge in TBG/hBN. We focus on the range of filling fractions where valley ferromagnetism was observed experimentally. Using exact diagonalization, we find that the ground states at $\nu_T = \frac{10}{3}$ and $\nu_T=\frac{17}{5}$ are fractional Chern insulator states in the flat band limit (in the hole picture, these are the fractional quantum Hall fractions $\frac{2}{3}$ and $\frac{3}{5}$). The ground state is either spin polarized or a spin singlet depending sensitively on band parameters. For nominally realistic band parameters, spin polarization is favored. Flattening the Berry curvature by changing a band parameter gives way to the spin singlet phase. Our estimation of the charge gap in the flat band limit shows that the FQAH state may be seen at accessible temperatures in experiments. We also study the effect of a non-zero bandwidth and show that there is a reasonable range of parameters in which the FQAH state is the ground state.


title: Multi-Algorithm Analysis Of The Semi-Regular Variable DY Per, The Prototype Of The Class Of Cool RCrB Variables

abstract: Multiple algorithms of time series analysis are briefly reviewed and partially illustrated by application to the visual observations of the semi-regular variable DY Per from the AFOEV database. These algorithms were implemented in the software MCV (Andronov and Baklanov, 2004), MAVKA (Andrych and Andronov, 2019; Andrych et al., 2019). Contrary to the methods of physical modeling, which need to use too many parameters, many of which may not be determined from pure photometry (like temperature/spectral class, radial velocities, mass ratio), phenomenological algorithms use smaller number of parameters. Beyond the classical algebraic polynomials, in the software MAVKA are implemented other algorithms, totally 21 approximations from 11 classes. Photometric observations of DY Per from the AFOEV international database were analyzed. The photometric period has switched from P=851.1d(4.1) to P=780.5d(2.7) after JD 2454187(9)d. A parameter of sinusoidality is introduced, which is equal to the ratio of effective semi-amplitudes of the signal determined from a sine fit and the running parabola scalegram.


title: Double-Janus Linear Sigma Models and Generalized Reciprocity for Gauss Sums

abstract: We study the supersymmetric partition function of a 2d linear $\sigma$-model whose target space is a torus with a complex structure that varies along one worldsheet direction and a K\"ahler modulus that varies along the other. This setup is inspired by the dimensional reduction of a Janus configuration of 4d $\mathcal{N}=4$ $U(1)$ Super-Yang-Mills theory compactified on a mapping torus ($T^2$ fibered over $S^1$) times a circle with an $SL(2,\mathbb{Z})$ duality wall inserted on $S^1$, but our setup has minimal supersymmetry. The partition function depends on two independent elements of $SL(2,\mathbb{Z})$, one describing the duality twist, and the other describing the geometry of the mapping torus. It is topological and can be written as a multivariate quadratic Gauss sum. By calculating the partition function in two different ways, we obtain identities relating different quadratic Gauss sums, generalizing the {\it Landsberg-Schaar} relation. These identities are a subset of a collection of identities discovered by F. Deloup. Each identity contains a phase which is an eighth root of unity, and we show how it arises as a Berry phase in the supersymmetric Janus-like configuration. Supersymmetry requires the complex structure to vary along a semicircle in the upper half-plane, as shown by Gaiotto and Witten in a related context, and that semicircle plays an important role in reproducing the correct Berry phase.


title: Probing Dark Matter Axions using the Hyperfine Structure Splitting of Hydrogen Atoms

abstract: QCD axions can be a substantial part of dark matter if their mass $m_a\sim10^{-5}$eV. Since the axions were created by the misalignment mechanism, their local energy spectrum density is large. Consequently, the axion-induced atomic transition rate is enhanced if the atomic energy gap matches the axion mass. The hyperfine splitting between the spin 0 singlet ground state and the spin 1 triplet state of hydrogen is $0.59\times10^{-5}$eV, which is close to the preferred mass of dark matter axions. With an energy gap adjustment by applying a weak Zeeman magnetic field, dark matter axions can induce atomic hydrogen transitions. Furthermore, because the total spins of the hydrogen triplet and singlet differ, the axion-induced transitions are detectable by a Stern--Gerlach apparatus or a sensitive magnetic field detector. A potential realization of the proposed scheme can be similar to existing hydrogen masers.


title: Dense RepPoints: Representing Visual Objects with Dense Point Sets

abstract: We present a new object representation, called Dense RepPoints, that utilizes a large set of points to describe an object at multiple levels, including both box level and pixel level. Techniques are proposed to efficiently process these dense points, maintaining near-constant complexity with increasing point numbers. Dense RepPoints is shown to represent and learn object segments well, with the use of a novel distance transform sampling method combined with set-to-set supervision. The distance transform sampling combines the strengths of contour and grid representations, leading to performance that surpasses counterparts based on contours or grids. Code is available at \url{https://github.com/justimyhxu/Dense-RepPoints}.


title: SoundSpaces: Audio-Visual Navigation in 3D Environments

abstract: Moving around in the world is naturally a multisensory experience, but today's embodied agents are deaf---restricted to solely their visual perception of the environment. We introduce audio-visual navigation for complex, acoustically and visually realistic 3D environments. By both seeing and hearing, the agent must learn to navigate to a sounding object. We propose a multi-modal deep reinforcement learning approach to train navigation policies end-to-end from a stream of egocentric audio-visual observations, allowing the agent to (1) discover elements of the geometry of the physical space indicated by the reverberating audio and (2) detect and follow sound-emitting targets. We further introduce SoundSpaces: a first-of-its-kind dataset of audio renderings based on geometrical acoustic simulations for two sets of publicly available 3D environments (Matterport3D and Replica), and we instrument Habitat to support the new sensor, making it possible to insert arbitrary sound sources in an array of real-world scanned environments. Our results show that audio greatly benefits embodied visual navigation in 3D spaces, and our work lays groundwork for new research in embodied AI with audio-visual perception.


title: One-Class Classification by Ensembles of Regression models -- a detailed study

abstract: One-class classification (OCC) deals with the classification problem in which the training data has data points belonging only to target class. In this paper, we study a one-class classification algorithm, One-Class Classification by Ensembles of Regression models (OCCER), that uses regression methods to address OCC problems. The OCCER coverts an OCC problem into many regression problems in the original feature space so that each feature of the original feature space is used as the target variable in one of the regression problems. Other features are used as the variables on which the dependent variable depends. The errors of regression of a data point by all the regression models are used to compute the outlier score of the data point. An extensive comparison of the OCCER algorithm with state-of-the-art OCC algorithms on several datasets was conducted to show the effectiveness of the this approach. We also demonstrate that the OCCER algorithm can work well with the latent feature space created by autoencoders for image datasets. The implementation of OCCER is available at https://github.com/srikanthBezawada/OCCER.


title: QCD vacuum replicas are metastable

abstract: A metastable phase has important physical implications, since it may form vacuum bubbles detectable experimentally, whereas an unstable vacuum instantly explodes. It is well known, due to chiral symmetry breaking, there are at least two very different QCD vacua. At T=0 and in the true vacuum, the scalar and pseudoscalar, or the vector and axial vector are not degenerate, and in the chiral limit, the pseudoscalar ground states are Goldstone bosons. At T=0 the chiral invariant vacuum is an unstable vacuum, decaying through an infinite number of scalar and pseudoscalar tachyons. Moreover QCD vacuum replicas, an infinite tower of excited vacuum solutions, which energy density lies between the true vacuum and the chiral invariant vacuum, have been predicted in the Coulomb gauge, due to the non-linearity of the mass gap equation with a confining interaction. It remained to show whether the QCD replicas are metastable or unstable. In this paper the spectrum of quark-antiquark systems, is studied in the true vacuum and in the first excited QCD replicas. The mass gap equation for the vacua and the Salpeter-RPA equation for the mesons are solved for a simple chiral invariant and confining quark model approximating QCD in the Coulomb gauge. We find no tachyons, thus showing the QCD replicas in our approach is indeed metastable. Moreover the energy spectra of the mesonic quark-antiquark systems in the first replicas are close to the one of the true vacuum.


title: Self-adaption grey DBSCAN clustering

abstract: Clustering analysis, a classical issue in data mining, is widely used in various research areas. This article aims at proposing a self-adaption grey DBSCAN clustering (SAG-DBSCAN) algorithm. First, the grey relational matrix is used to obtain the grey local density indicator, and then this indicator is applied to make self-adapting noise identification for obtaining a dense subset of clustering dataset, finally, the DBSCAN which automatically selects parameters is utilized to cluster the dense subset. Several frequently-used datasets were used to demonstrate the performance and effectiveness of the proposed clustering algorithm and to compare the results with those of other state-of-the-art algorithms. The comprehensive comparisons indicate that our method has advantages over other compared methods.


title: On a property of Bergman kernels when the K\"ahler potential is analytic

abstract: We provide a simple proof of a result of Rouby-Sj\"ostrand-Ngoc \cite{RSN} and Deleporte \cite{Deleporte}, which asserts that if the K\"ahler potential is real analytic then the Bergman kernel is an \textit{analytic kernel} meaning that its amplitude is an \textit{analytic symbol} and its phase is given by the polarization of the K\"ahler potential. This in particular shows that in the analytic case the Bergman kernel accepts an asymptotic expansion in a fixed neighborhood of the diagonal with an exponentially small remainder. The proof we provide is based on a linear recursive formula of L. Charles \cite{Cha03} on the Bergman kernel coefficients which is similar to, but simpler than, the ones found in \cite{BBS}.


title: Enstrophy dissipation and vortex thinning for the incompressible 2D Navier-Stokes equations

abstract: By direct numerical simulation to the two-dimensional Navier-Stokes equations with small-scale forcing and large-scale damping, Xiao-Wan-Chen-Eyink (2009) found an evidence that inverse energy cascade may proceed with the vortex thinning mechanism. On the other hand, Alexakis-Doering (2006) calculated upper bound of the bulk averaged enstrophy dissipation rate of the steady-state two dimensional turbulence. {In this paper, we show that vortex thinning induces enhanced dissipation with strictly slower vanishing order of the enstrophy dissipation than $Re^{-1}$.}


title: Data-Driven Robust Stabilization with Robust DOA Enlargement for Nonlinear Systems

abstract: Most of nonlinear robust control methods just consider the affine nonlinear nominal model. When the nominal model is assumed to be affine nonlinear, available information about existing non-affine nonlinearities is ignored. For non-affine nonlinear system, Li et al. (2019) proposes a new nonlinear control method to solve the robust stabilization problem with estimation of the robust closed-loop DOA (Domain of attraction). However, Li et al. (2019) assumes that the Lyapunov function is given and does not consider the problem of finding a good Lyapunov function to enlarge the estimate of the robust closed-loop DOA. The motivation of this paper is to enlarge the estimate of the closed-loop DOA by selecting an appropriate Lyapunov function. To achieve this goal, a solvable optimization problem is formulated to select an appropriate Lyapunov function from a parameterized positive-definite function set. The effectiveness of proposed method is verified by numerical results.


title: Compositional Abstraction-based Synthesis for Networks of Stochastic Switched Systems

abstract: In this paper, we provide a compositional approach for constructing finite abstractions (a.k.a. finite Markov decision processes (MDPs)) of interconnected discrete-time stochastic switched systems. The proposed framework is based on a notion of stochastic simulation functions, using which one can employ an abstract system as a substitution of the original one in the controller design process with guaranteed error bounds on their output trajectories. To this end, we first provide probabilistic closeness guarantees between the interconnection of stochastic switched subsystems and that of their finite abstractions via stochastic simulation functions. We then leverage sufficient small-gain type conditions to show compositionality results of this work. Afterwards, we show that under standard assumptions ensuring incremental input-to-state stability of switched systems (i.e., existence of common incremental Lyapunov functions, or multiple incremental Lyapunov functions with dwell-time), one can construct finite MDPs for the general setting of nonlinear stochastic switched systems. We also propose an approach to construct finite MDPs for a particular class of nonlinear stochastic switched systems. To demonstrate the effectiveness of our proposed results, we first apply our approaches to a road traffic network in a circular cascade ring composed of 200 cells, and construct compositionally a finite MDP of the network. We employ the constructed finite abstractions as substitutes to compositionally synthesize policies keeping the density of the traffic lower than 20 vehicles per cell. We then apply our proposed techniques to a fully interconnected network of 500 nonlinear subsystems (totally 1000 dimensions), and construct their finite MDPs with guaranteed error bounds. We compare our proposed results with those available in the literature.


title: Compactness results for linearly perturbed Yamabe problem on manifolds with boundary

abstract: Let M,g a compact Riemannian n-dimensional manifold. It is well know that, under certain hypothesis, in the conformal class of g there are scalar-flat metrics that have the boundary of M as a constant mean curvature hypersurface. Also, under certain hypothesis, it is known that these metrics are a compact set. In this paper we prove that, both in the case of umbilic and non-umbilic boundary, if we linearly perturb the mean curvature term with a negative smooth function, the set of solutions of Yamabe problem is still a compact set.


title: Some double-angle formulas related to a generalized lemniscate function

abstract: In this paper we will establish some double-angle formulas related to the inverse function of $\int_0^x dt/\sqrt{1-t^6}$. This function appears in Ramanujan's Notebooks and is regarded as a generalized version of the lemniscate function.


title: Some properties of Sadik transform and its applications of fractional-order dynamical systems in control theory

abstract: In this paper, we study some new properties of Sadik transform such as integration, time delay, initial value theorem, and final value theorem. Moreover, we prove the theorem of Sadik transform for Caputo fractional derivative and we also establish sufficient conditions for the existence of the Sadik transform of Caputo fractional derivatives. At the end, the fractional-order dynamical systems in control theory as an application of this transform is discussed, in addition, some numerical examples to justify our results.


title: Thermodynamic identities with sunray diagrams

abstract: One of the hurdles in teaching undergraduate thermodynamics is a plethora of complicated partial derivative identities. Students suffer from difficulties in deriving, justifying, or interpreting the identities, misconceptions about partial derivatives, and a lack of in-depth understanding of the meanings of identities. We propose a novel diagrammatic method for the calculus of differentials and partial derivatives called the "sunray diagram" that resolves the difficulties above. The sunray diagram technique relates a partial derivative with "arrow sliding," which enables an aesthetic and intuitive manipulation of partial derivative expressions in the form of successive arrow slidings. Furthermore, the sunray diagram is more than an ad hoc or abstract machinery but is based on the symplectic structure of thermodynamics; the sunray diagram admits a direct physical interpretation on the P-V (or T-S) plane. We elaborate on such physical semantics of the sunray diagram by taking Maxwell's approach to the geometry of thermodynamic structures--reinterpreted in terms of differential geometry--as a reference point. We anticipate that our discussion introduces the geometry of thermodynamics to learners and enriches the graphical pedagogy in physics education.


title: Three Lyman-alpha emitting galaxies within a quasar proximity zone at z=5.8

abstract: Quasar proximity zones at $z>5.5$ correspond to over-dense and over-ionized environments. Galaxies found inside proximity zones can therefore display features which would otherwise be masked by absorption in the IGM. We demonstrate the utility of this quasar-galaxy synergy by reporting the discovery of the first three `proximate Lyman-$\alpha$ emitters' (LAEs) within the proximity zone of quasar J0836 at $z=5.802$ (\textit{Aerith A, B} and \textit{C}). \textit{Aerith A}, located behind the quasar with an impact parameter $D_\perp = 278$ pkpc, provides the first detection of a Lyman-$\alpha$ transverse proximity effect. We model the transmission and show it constrains the onset of J0836's quasar phase to $0.2 \text{Myr}<t<20\text{Myr}$ in the past. The second object, \textit{Aerith B} at a distance $D=750$ pkpc from the quasar, displays a bright, broad double-peaked \lal emission line. Based on relations calibrated at $z\leq3$, the peak separation implies a low ionizing $f_{\text{esc}} \lesssim 1\%$, the most direct such constraint on a reionization-era galaxy. We fit the Ly-$\alpha$ line with an outflowing shell model, finding a completely typical central density $\text{log N}_{\text{HI}}/\text{cm}^{-2} = 19.3_{-0.2}^{+0.8}$, outflow velocity $v=16_{-11}^{+4}$ km s$^{-1}$, and gas temperature $\text{log} T/\text{K} = 3.8_{-0.7}^{+0.8}$ compared to $2<z<3$ analogue LAEs. Finally, we detect an emission line at $\lambda=8177$ \AA\ in object \textit{Aerith C} which, if it is \lal at $z=5.726$, would correspond closely with the end of the quasar's proximity zone ($\Delta z<0.02$ from the boundary) and suggests the quasar influences the IGM up to $\sim85$ cMpc away, making it the largest quasar proximity zone. Via the analyses conducted here, we illustrate how proximate LAEs offer unique insight into the ionizing properties of both quasars and galaxies during the epoch of reionization.


title: Monotonicity-preserving finite element schemes with adaptive mesh refinement for hyperbolic problems

abstract: This work is focused on the extension and assessment of the monotonicity-preserving scheme in [3] and the local bounds preserving scheme in [5] to hierarchical octree adaptive mesh refinement (AMR). Whereas the former can readily be used on this kind of meshes, the latter requires some modifications. A key question that we want to answer in this work is whether to move from a linear to a nonlinear stabilization mechanism pays the price when combined with shock-adapted meshes. Whereas nonlinear (or shock-capturing) stabilization leads to improved accuracy compared to linear schemes, it also negatively hinders nonlinear convergence, increasing computational cost. We compare linear and nonlinear schemes in terms of the required computational time versus accuracy for several steady benchmark problems. Numerical results indicate that, in general, nonlinear schemes can be cost-effective for sufficiently refined meshes. Besides, it is also observed that it is better to refine further around shocks rather than use sharper shock capturing terms, which usually yield stiffer nonlinear problems. In addition, a new refinement criterion has been proposed. The proposed criterion is based on the graph Laplacian used in the definition of the stabilization method. Numerical results show that this shock detector performs better than the well-known Kelly estimator for problems with shocks or discontinuities.


title: Framework for simulating gauge theories with dipolar spin systems

abstract: Gauge theories appear broadly in physics, ranging from the standard model of particle physics to long-wavelength descriptions of topological systems in condensed matter. However, systems with sign problems are largely inaccessible to classical computations and also beyond the current limitations of digital quantum hardware. In this work, we develop an analog approach to simulating gauge theories with an experimental setup that employs dipolar spins (molecules or Rydberg atoms). We consider molecules fixed in space and interacting through dipole-dipole interactions, avoiding the need for itinerant degrees of freedom. Each molecule represents either a site or gauge degree of freedom, and Gauss law is preserved by a direct and programmatic tuning of positions and internal state energies. This approach can be regarded as a form of analog systems programming and charts a path forward for near-term quantum simulation. As a first step, we numerically validate this scheme in a small-system study of U(1) quantum link models in (1+1) dimensions with link spin S = 1/2 and S = 1 and illustrate how dynamical phenomena such as string inversion and string breaking could be observed in near-term experiments. Our work brings together methods from atomic and molecular physics, condensed matter physics, high-energy physics, and quantum information science for the study of nonperturbative processes in gauge theories.

categories: quant-ph cond-mat.quant-gas cond-mat.str-el hep-lat


title: Time of Flight and Supernova Progenitor Effects on the Neutrino Halo

abstract: We argue that the neutrino halo, a population of neutrinos that have undergone direction-changing scattering in the stellar envelope of a core-collapse supernova (CCSNe), is sensitive to neutrino emission history through time of flight. We show that the constant time approximation, commonly used in calculating the neutrino halo, does not capture the spatiotemporal evolution of the halo neutrino population and that correcting for time of flight can produce conditions which may trigger fast neutrino flavor conversion. We also find that there exists a window of time early in all CCSNe where the neutrino halo population is sufficiently small that it may be negligible. This suggests that collective neutrino oscillation calculations which neglect the Halo may be well founded at sufficiently early times.


title: Hysteresis and beats in loop quantum cosmology

abstract: Differences in pressure during expansion and contraction stages in cosmic evolution can result in a hysteresis-like phenomena in non-singular cyclic models sourced with scalar fields. We discuss this phenomena for spatially closed isotropic spacetime in loop quantum cosmology (LQC) for a quadratic and a cosh-like potential, with and without a negative cosmological constant using effective spacetime description of the underlying quantum geometry. Two inequivalent loop quantizations of this spacetime, one based on holonomies of the Ashtekar-Barbero connection using closed loops, and another based on the connection operator, are discussed. Due to quantum geometric effects, both models avoid classical singularities, but unlike the holonomy based quantization, connection based quantization results in two quantum bounces. In spite of differences in non-singular effective dynamics of both the models, the phenomena of hysteresis is found to be robust for the $\phi^2$ potential. Quasi-periodic beats exist for a cosh-like potential, irrespective of the nature of classical recollapse whether by spatial curvature, or a negative cosmological constant. An interplay of negative cosmological constant and spatial curvature in presence of potentials results in rich features such as islands of cluster of bounces separated by accelerated expansion, and a universe which either undergoes a step like expansion with multiple turnarounds or quasi-periodic beats depending on a "tuning" of the steepness parameter of the potential.


title: Planar Diameter via Metric Compression

abstract: We develop a new approach for distributed distance computation in planar graphs that is based on a variant of the metric compression problem recently introduced by Abboud et al. [SODA'18]. One of our key technical contributions is in providing a compression scheme that encodes all $S \times T$ distances using $\widetilde{O}(|S|\cdot poly(D)+|T|)$ bits for unweighted graphs with diameter $D$. This significantly improves the state of the art of $\widetilde{O}(|S|\cdot 2^{D}+|T| \cdot D)$ bits. We also consider an approximate version of the problem for \emph{weighted} graphs, where the goal is to encode $(1+\epsilon)$ approximation of the $S \times T$ distances. At the heart of this compact compression scheme lies a VC-dimension type argument on planar graphs. This efficient compression scheme leads to several improvements and simplifications in the setting of diameter computation, most notably in the distributed setting: - There is an $\widetilde{O}(D^5)$-round randomized distributed algorithm for computing the diameter in planar graphs, w.h.p. - There is an $\widetilde{O}(D^3)+ poly(\log n/\epsilon)\cdot D^2$-round randomized distributed algorithm for computing an $(1+\epsilon)$ approximation of the diameter in weighted graphs with polynomially bounded weights, w.h.p. No sublinear round algorithms were known for these problems before. These distributed constructions are based on a new recursive graph decomposition that preserves the (unweighted) diameter of each of the subgraphs up to a logarithmic term. Using this decomposition, we also get an \emph{exact} SSSP tree computation within $\widetilde{O}(D^2)$ rounds.


title: Active set complexity of the Away-step Frank-Wolfe Algorithm

abstract: In this paper, we study active set identification results for the away-step Frank-Wolfe algorithm in different settings. We first prove a local identification property that we apply, in combination with a convergence hypothesis, to get an active set identification result. We then prove, in the nonconvex case, a novel $O(1/\sqrt{k})$ convergence rate result and active set identification for different stepsizes (under suitable assumptions on the set of stationary points). By exploiting those results, we also give explicit active set complexity bounds for both strongly convex and nonconvex objectives. While we initially consider the probability simplex as feasible set, in the appendix we show how to adapt some of our results to generic polytopes.


title: CProp: Adaptive Learning Rate Scaling from Past Gradient Conformity

abstract: Most optimizers including stochastic gradient descent (SGD) and its adaptive gradient derivatives face the same problem where an effective learning rate during the training is vastly different. A learning rate scheduling, mostly tuned by hand, is usually employed in practice. In this paper, we propose CProp, a gradient scaling method, which acts as a second-level learning rate adapting throughout the training process based on cues from past gradient conformity. When the past gradients agree on direction, CProp keeps the original learning rate. On the contrary, if the gradients do not agree on direction, CProp scales down the gradient proportionally to its uncertainty. Since it works by scaling, it could apply to any existing optimizer extending its learning rate scheduling capability. We put CProp to a series of tests showing significant gain in training speed on both SGD and adaptive gradient method like Adam. Codes are available at https://github.com/phizaz/cprop .


title: Parallel optimization of fiber bundle segmentation for massive tractography datasets

abstract: We present an optimized algorithm that performs automatic classification of white matter fibers based on a multi-subject bundle atlas. We implemented a parallel algorithm that improves upon its previous version in both execution time and memory usage. Our new version uses the local memory of each processor, which leads to a reduction in execution time. Hence, it allows the analysis of bigger subject and/or atlas datasets. As a result, the segmentation of a subject of 4,145,000 fibers is reduced from about 14 minutes in the previous version to about 6 minutes, yielding an acceleration of 2.34. In addition, the new algorithm reduces the memory consumption of the previous version by a factor of 0.79.


title: A Bi-Level Cooperative Driving Strategy Allowing Lane Changes

abstract: This paper studies the cooperative driving of connected and automated vehicles (CAVs) at conflict areas (e.g., non-signalized intersections and ramping regions). Due to safety concerns, most existing studies prohibit lane change since this may cause lateral collisions when coordination is not appropriately performed. However, in many traffic scenarios (e.g., work zones), vehicles must change lanes. To solve this problem, we categorize the potential collision into two kinds and thus establish a bi-level planning problem. The right-of-way of vehicles for the critical conflict zone is considered in the upper-level, and the right-of-way of vehicles during lane changes is then resolved in the lower-level. The solutions of the upper-level problem are represented in tree space, and a near-optimal solution is searched for by combining Monte Carlo Tree Search (MCTS) with some heuristic rules within a very short planning time. The proposed strategy is suitable for not only the shortest delay objective but also other objectives (e.g., energy-saving and passenger comfort). Numerical examples show that the proposed strategy leads to good traffic performance in real-time.


title: On the structure of hyperfields obtained as quotients of fields

abstract: We determine all isomorphism classes of hyperfields of a given finite order which can be obtained as quotients of finite fields of sufficiently large order. Using this result, we determine which hyperfields of order at most 4 are quotients of fields. The main ingredients in the proof are the Weil bounds from number theory and a result from Ramsey theory.


title: Nested algebraic Bethe ansatz for deformed orthogonal and symplectic spin chains

abstract: We construct exact eigenvectors and eigenvalues for $U_q(\mathfrak{sp}_{2n})$- and $U_q(\mathfrak{so}_{2n})$-symmetric closed spin chains by means of a nested algebraic Bethe ansatz method. We use a fusion procedure to construct higher-dimensional Lax operators. Our approach generalises and extends the results obtained by Reshetikhin and De Vega-Karowski. We also present a generalisation of Tarasov-Varchenko trace formula for nested Bethe vectors.


title: Topology Optimization for 6G Networks: A Network Information-Theoretic Approach

abstract: The classical approach of avoiding or ignoring interference in wireless networks cannot accommodate the ambitious quality-of-service demands of ultra-dense cellular networks (CNs). However, recent ground-breaking information-theoretic advances changed our perception of interference from a foe to a friend. This paper aims to shed light on harnessing the benefits of integrating modern interference management (IM) schemes into future CNs. To this end, we envision a hybrid multiple access (HMA) scheme that decomposes the network into sub-topologies of potential IM schemes for more efficient utilization of network resources. Preliminary results show that HMA can multiply non-orthogonal multiple access performance, especially under dense user deployment.


title: Universal Thinning of Liquid Filaments under Dominant Surface Forces

abstract: Theory and numerical simulations of the thinning of liquid threads at high superficial concentration of surfactants suggest the existence of an asymptotic regime where surface tension balances surface viscous stresses, leading to an exponential thinning with an $e$-fold time $F(\Theta)\,(3\mu_s + \kappa_s)/\sigma$, where $\mu_s$ and $\kappa_s$ are the surface shear and dilatational viscosity coefficients, $\sigma$ is the interfacial tension, $\Theta=\kappa_s/\mu_s$, and $F(\Theta)$ is a universal function. The potential use of this phenomenon to measure the surface viscosity coefficients is discussed.


title: Axisymmetric bubble pinch-off at high Reynolds numbers

abstract: Analytical considerations and potential flow numerical simulations of the pinch-off of bubbles at high Reynolds numbers reveal that the bubble minimum radius, $r_n$, decreases as $\tau\propto r_n^2 \, (-\ln{r_n^2})^{1/2}$, where $\tau$ is the time to break-up, when the local shape of the bubble near the singularity is symmetric. However, if the gas convective terms in the momentum equation become of the order of those of the liquid, the bubble shape is no longer symmetric and the evolution of the neck changes to a $r_n\propto\tau^{1/3}$ power law. These findings are verified experimentally.


title: Cornering Spontaneous CP Violation with Charged-Higgs Searches

abstract: Decades of precision measurements have firmly established the Kobayashi-Maskawa phase as the dominant source of the CP violation observed in weak quark decays. However, it is still unclear whether CP violation is explicitly encoded in complex Yukawa matrices or instead stems from spontaneous symmetry breaking with underlying CP-conserving Yukawa and Higgs sectors. Here we study the latter possibility for the case of a generic two-Higgs-doublet model. We find that theoretical constraints limit the ratio $t_\beta$ of the vacuum expectation values to the range $0.22 \leq t_\beta \leq 4.5$ and imply the upper bounds $M_{H^\pm}\leq 435$ GeV, $M_{H_{2}^0} \leq 485$ GeV and $M_{H_{3}^0} \leq 545$ GeV for the charged and extra neutral Higgs masses. We derive lower bounds on charged-Higgs couplings to bottom quarks which provide a strong motivation to study the non-standard production and decay signatures $p p \to qb H^\pm(\to q^\prime b)$ with all flavors $q,q^\prime=u,c,t$ in the search for the charged Higgs boson. We further present a few benchmark scenarios with interesting discovery potential in collider analyses.


title: A short account of why Thompson's group $F$ is of type $\textrm{F}_\infty$

abstract: In 1984 Brown and Geoghegan proved that Thompson's group $F$ is of type $\textrm{F}_\infty$, making it the first example of an infinite dimensional torsion-free group of type $\textrm{F}_\infty$. Over the decades a different, shorter proof has emerged, which is more streamlined and generalizable to other groups. It is difficult, however, to isolate this proof in the literature just for $F$ itself, with no complicated generalizations considered and no additional properties proved. The goal of this expository note then is to present the "modern" proof that $F$ is of type $\textrm{F}_\infty$, and nothing else.


title: Effective Compression of Quantum Braided Circuits Aided by ZX-Calculus

abstract: Mapping a quantum algorithm to any practical large-scale quantum computer will require a sequence of compilations and optimizations. At the level of fault-tolerant encoding, one likely requirement of this process is the translation into a topological circuit, for which braided circuits represent one candidate model. Given the large overhead associated with encoded circuits, it is paramount to reduce their size in terms of computation time and qubit number through circuit compression. While these optimizations have typically been performed in the language of three-dimensional diagrams, such a representation does not allow an efficient, general, and scalable approach to reduction or verification. We propose the use of the ZX-calculus as an intermediate language for braided circuit compression, demonstrating advantage by comparing results using this approach with those previously obtained for the compression of A- and Y-state distillation circuits. We then provide a benchmark of our method against a small set of Clifford+T circuits, yielding compression percentages of 77%. Our results suggest that the overheads of braided, defect-based circuits are comparable to those of their lattice-surgery counterparts, restoring the potential of this model for surface-code quantum computation.


title: Thermal Characterization of Tl$_2$LiYCl$_6$:Ce (TLYC)

abstract: Tl$_2$LiYCl$_6$:Ce (TLYC) is a new dual-detection elpasolite scintillator that can detect and distinguish between gamma rays and neutrons using pulse-shape discrimination (PSD). It has a higher density and Z-number than the more mature and well-known elpasolite Cs$_2$LiYCl$_6$:Ce (CLYC), causing it to have a significantly better gamma-ray stopping power. These properties make TLYC an attractive alternative to CLYC for resource-constrained applications where size and weight are important, such as space or national security applications. Such applications may be subjected to a wide range of temperatures, and therefore TLYC's performance was characterized for the first time over a temperature range of -20$^{\circ}$C to +50$^{\circ}$C in 10$^{\circ}$C increments. TLYC's thermal response effects on light-output linearity with energy, gamma-ray photopeak energy resolution, detected neutron energy, pulse shapes, and figure of merit is analyzed and reported. The light output of TLYC was found to be linear with energy over the tested temperature range and was observed to decrease with increasing temperature. The decay time of the scintillation light output was observed to decrease with decreasing temperature at short times, leading to a decreasing PSD figure of merit. The gamma-ray photopeak energy resolution was also observed to degrade with decreasing temperature, due to an asymmetric broadening of the photopeak at low temperatures.


title: Joint measurement of time-frequency entanglement via sum frequency generation

abstract: We propose, analyze, and evaluate a technique for the joint measurement of time-frequency entanglement between two photons. In particular, we show that the frequency sum and time difference of two photons could be simultaneously measured through the sum-frequency generation process, without measuring the time or frequency of each individual photon. We demonstrate the usefulness of this technique by using it to design a time-frequency entanglement based continuous variable superdense coding and a quantum illumination protocol. Performance analysis of these two protocols suggests that the joint measurement of strong time-frequency entanglement of non-classical photon pairs can significantly enhance the performance of joint-measurement based quantum communication and metrology protocols.


title: Equivalence of wave function matching and Green's functions methods for quantum transport: generalized Fisher-Lee relation

abstract: We present a proof of an exact equivalence of the two approaches that are most used in computing conductance in quantum electron and phonon transport: the wave function matching and Green's functions methods. We can obtain all the quantities defined in one method starting from those obtained in the other. This completes and illuminates the work started Ando[Ando T 1991 Phys. Rev. B 44 8017] and continued later by Komyakov et al.[Khomyakov P A, Brocks G, Karpan V, Zwierzycki M and Kelly P J 2005 Phys. Rev. B 72 035450]. The aim is to allow for solving the transport problem with whichever approach fits most the system at hand. One major corollary of the proven equivalence is our derivation of a generalized Fisher-Lee formula for resolving the transmission function into individual phonon mode contributions. As an illustration, we applied our method to a simple model to highlight its accuracy and simplicity.


title: Revisiting turbulence small-scale behavior using velocity gradient triple decomposition

abstract: Turbulence small-scale behavior has been commonly investigated in literature by decomposing the velocity-gradient tensor ($A_{ij}$) into the symmetric strain-rate ($S_{ij}$) and anti-symmetric rotation-rate ($W_{ij}$) tensors. To develop further insight, we revisit some of the key studies using a triple decomposition of the velocity-gradient tensor. The additive triple decomposition formally segregates the contributions of normal-strain-rate ($N_{ij}$), pure-shear ($H_{ij}$) and rigid-body-rotation-rate ($R_{ij}$). The decomposition not only highlights the key role of shear, but it also provides a more accurate account of the influence of normal-strain and pure rotation on important small-scale features. First, the local streamline topology and geometry are described in terms of the three constituent tensors in velocity-gradient invariants' space. Using DNS data sets of forced isotropic turbulence, the velocity-gradient and pressure field fluctuations are examined at different Reynolds numbers. At all Reynolds numbers, shear contributes the most and rigid-body-rotation the least toward the velocity-gradient magnitude ($A^2$). Especially, shear contribution is dominant in regions of intermittency (high values of $A^2$). It is also shown that the high-degree of enstrophy intermittency reported in literature is due to the shear contribution toward vorticity rather than that of rigid-body-rotation. The study also provides an explanation for the absence of intermittency of the pressure-Laplacian, despite the strong intermittency of enstrophy and dissipation fields. Overall, it is demonstrated that triple decomposition offers unique and deeper understanding of velocity-gradient behavior in turbulence.


title: Design of tunable acoustic metamaterials with periodic piezoelectric microstructure

abstract: An innovative special class of tunable periodic metamaterials is designed, suitable for realising high-performance acoustic filters. The metamaterial is made up of a phononic crystal coupled to local resonators. Such local resonators consist of masses enclosed into piezoelectric rings, shunted by either dissipative or non-dissipative electrical circuit. By tuning the impedance/admittance of such electrical circuits, it is possible to fully adjust the constitutive properties of the shunting piezoelectric material. This feature paves the way for unconventional behaviours, well beyond the capabilities achievable with classical materials. It follows that the acoustic properties of the periodic metamaterial can be adaptively modified, in turn, opening new possibilities for the control of pass and stop bands. By exploiting a generalization of the Floquet-Bloch theory, the in-plane free wave propagation in the tunable metamaterial is investigated, by varying a certain tuning parameter, to show the efficiency of the proposed shunting piezoelectric system as a wave propagation control device. Particular attention is devoted to the determination of the in-plane constitutive equations of the shunting piezoelectric phase in the transformed Laplace space. Finally, broad design directions of tunable acoustic filters aiming to a changing performance requirement in real-time, is also provided.


title: Evaluation of the spectrum of a quantum system using machine learning based on incomplete information about the wavefunctions

abstract: We propose an effective approach to rapid estimation of the energy spectrum of quantum systems with the use of machine learning (ML) algorithm. In the ML approach (back propagation), the wavefunction data known from experiments is interpreted as the attributes class (input data), while the spectrum of quantum numbers establishes the label class (output data). To evaluate this approach, we employ two exactly solvable models with the random modulated wavefunction amplitude. The random factor allows modeling the incompleteness of information about the state of quantum system. The trial wave functions fed into the neural network, with the goal of making prediction about the spectrum of quantum numbers. We found that in such configuration, the training process occurs with rapid convergence if the number of analyzed quantum states is not too large. The two qubits entanglement is studied as well. The accuracy of the test prediction (after training) reached 98 percent. Considered ML approach opens up important perspectives to plane the quantum measurements and optimal monitoring of complex quantum objects.


title: Finite-dimensional vestige of spinodal criticality above the dynamical glass transition

abstract: Finite-dimensional signatures of spinodal criticality are notoriously difficult to come by. The dynamical transition of glass-forming liquids, first described by mode-coupling theory, is a spinodal instability preempted by thermally activated processes that also limit how close the instability can be approached. We combine numerical tools to directly observe vestiges of the spinodal criticality in finite-dimensional glass formers. We use the swap Monte Carlo algorithm to efficiently thermalise configurations beyond the mode-coupling crossover, and analyze their dynamics using a scheme to screen out activated processes, in spatial dimensions ranging from $d=3$ to $d=9$. We observe a strong softening of the mean-field square-root singularity in $d=3$ that is progressively restored as $d$ increases above $d=8$, in surprisingly good agreement with perturbation theory.


title: An Analysis of the Expressiveness of Deep Neural Network Architectures Based on Their Lipschitz Constants

abstract: Deep neural networks (DNNs) have emerged as a popular mathematical tool for function approximation due to their capability of modelling highly nonlinear functions. Their applications range from image classification and natural language processing to learning-based control. Despite their empirical successes, there is still a lack of theoretical understanding of the representative power of such deep architectures. In this work, we provide a theoretical analysis of the expressiveness of fully-connected, feedforward DNNs with 1-Lipschitz activation functions. In particular, we characterize the expressiveness of a DNN by its Lipchitz constant. By leveraging random matrix theory, we show that, given sufficiently large and randomly distributed weights, the expected upper and lower bounds of the Lipschitz constant of a DNN and hence their expressiveness increase exponentially with depth and polynomially with width, which gives rise to the benefit of the depth of DNN architectures for efficient function approximation. This observation is consistent with established results based on alternative expressiveness measures of DNNs. In contrast to most of the existing work, our analysis based on the Lipschitz properties of DNNs is applicable to a wider range of activation nonlinearities and potentially allows us to make sensible comparisons between the complexity of a DNN and the function to be approximated by the DNN. We consider this work to be a step towards understanding the expressive power of DNNs and towards designing appropriate deep architectures for practical applications such as system control.


title: The Evolution of Empirical Methods in Software Engineering

abstract: Empirical methods like experimentation have become a powerful means to drive the field of software engineering by creating scientific evidence on software development, operation, and maintenance, but also by supporting practitioners in their decision making and learning. Today empirical methods are fully applied in software engineering. However, they have developed in several iterations since the 1960s. In this chapter we tell the history of empirical software engineering and present the evolution of empirical methods in software engineering in five iterations, i.e., (1) mid-1960s to mid-1970s, (2) mid-1970s to mid-1980s, (3) mid-1980s to end of the 1990s, (4) the 2000s, and (5) the 2010s. We present the five iterations of the development of empirical software engineering mainly from a methodological perspective and additionally take key papers, venues, and books, which are covered in chronological order in a separate section on recommended further readings, into account. We complement our presentation of the evolution of empirical software engineering by presenting the current situation and an outlook in Sect. 4 and the available books on empirical software engineering. Furthermore, based on the chapters covered in this book we discuss trends on contemporary empirical methods in software engineering related to the plurality of research methods, human factors, data collection and processing, aggregation and synthesis of evidence, and impact of software engineering research.


title: Field-free platform for topological zero-energy mode in superconductors LiFeAs and PbTaSe$_2$

abstract: Superconducting materials exhibiting topological properties are emerging as an exciting platform to realize fundamentally new excitations from topological quantum states of matter. In this work, we explore the possibility of a field-free platform for generating Majorana zero energy excitations by depositing magnetic Fe impurities on the surface of candidate topological superconductors, LiFeAs and PbTaSe$_2$. We use scanning tunneling microscopy to probe localized states induced at the Fe adatoms on the atomic scale and at sub-Kelvin temperatures. We find that each Fe adatom generates a striking zero-energy bound state inside the superconducting gap, which do not split in magnetic fields up to 8T, underlining a nontrivial topological origin. Our findings point to magnetic Fe adatoms evaporated on bulk superconductors with topological surface states as a new platform for exploring Majorana zero modes and quantum information science under field-free conditions.


title: Superconformal indices, Seiberg dualities and special functions

abstract: This is a brief account of relations between the theory of special functions, on the one side, and superconformal indices and Seiberg dualities of four-dimensional $\mathcal{N}=1$ supersymmetric gauge field theories, on the other side.