title: MCMC for GLMMs

abstract: Generalized linear mixed models (GLMMs) are often used for analyzing correlated non-Gaussian data. The likelihood function in a GLMM is available only as a high dimensional integral, and thus closed-form inference and prediction are not possible for GLMMs. Since the likelihood is not available in a closed-form, the associated posterior densities in Bayesian GLMMs are also intractable. Generally, Markov chain Monte Carlo (MCMC) algorithms are used for conditional simulation in GLMMs and exploring these posterior densities. In this article, we present different state of the art MCMC algorithms for fitting GLMMs. These MCMC algorithms include efficient data augmentation strategies, as well as diffusions based and Hamiltonian dynamics based methods. The Langevin and Hamiltonian Monte Carlo methods presented here are applicable to any GLMMs, and are illustrated using three most popular GLMMs, namely, the logistic and probit GLMMs for binomial data and the Poisson-log GLMM for count data. We also present efficient data augmentation algorithms for probit and logistic GLMMs. Some of these algorithms are compared using a numerical example.


title: Propagation-invariant space-time supermodes in a multimode waveguide

abstract: When an optical pulse is spatially localized in a highly multimoded waveguide, its energy is typically distributed among a multiplicity of modes, thus giving rise to a speckled transverse spatial profile that undergoes erratic changes with propagation. It has been suggested theoretically that pulsed multimode fields in which each wavelength is locked to an individual mode at a prescribed axial wave number will propagate invariantly along the waveguide at a tunable group velocity. In this conception, an initially localized field remains localized along the waveguide. Here, we provide proof-of-principle experimental confirmation for the existence of this new class of pulsed guided fields, which we denote space-time supermodes, and verify their propagation invariance in a planar waveguide. By superposing up to 21 modes, each assigned to a prescribed wavelength, we construct space-time supermodes in a 170-micron-thick planar glass waveguide with group indices extending from 1 to 2. The initial transverse width of the field is 6 microns, and the waveguide length is 9.1 mm, which is 257x the associated Rayleigh range. A variety of axially invariant transverse spatial profiles are produced by judicious selection of the modes contributing to the ST supermode, including single-peak and multi-peak fields, dark fields (containing a spatial dip), and even flat uniform intensity profiles.


title: Truck Axle Detection with Convolutional Neural Networks

abstract: Axle count in trucks is important to the classification of vehicles and to the operation of road systems. It is used in the determination of service fees and in the impact on the pavement. Although axle count can be achieved with traditional methods, such as manual labor, it is increasingly possible to count axles using deep learning and computer vision methods. This paper aims to compare three deep-learning object detection algorithms, YOLO, Faster R-CNN, and SSD, for the detection of truck axles. A dataset was built to provide training and testing examples for the neural networks. The training was done on different base models, to increase training time efficiency and to compare results. We evaluated results based on five metrics: precision, recall, mAP, F1-score, and FPS count. Results indicate that YOLO and SSD have similar accuracy and performance, with more than 96\% mAP for both models. Datasets and codes are publicly available for download.


title: Revealing the microstructure of sodium-montmorillonite aqueous suspensions

abstract: Aqueous suspensions of geometrically anisometric (2D) sodium-montmorillonite (Na-Mt) particles display a sol-gel transition at very low solids concentrations. The underlying microstructure of the gel has remained a point of contention since the time of Irving Langmuir. An in-situ investigation encompassing length scales much larger than the individual particles is required to provide support for one of the two models proposed in the literature: 1) a percolated network governed by electrostatic attraction between platelets; and 2) a jammed suspension stabilized by repulsive electrostatic forces between particles. We settle this debate by comprehensively probing the microstructure of Na-Mt suspensions using ultra-small angle neutron/X-ray scattering and found that it is ordered and contains entities that are at least an order of magnitude larger than the individual particles. Complementary cryo-electron microscopy showed both the presence of domains having strong particle-particle ordering and regions of particle-particle aggregation. These data indicate 1) the presence of nematic domains, which refutes a purely attractive nature, and 2) assembly of particles, which refutes a purely repulsive nature. Na-Mt gels appear to have a hybrid microstructure with both attractive and repulsive domains.


title: DNA Storage: A Promising Large Scale Archival Storage?

abstract: Deoxyribonucleic Acid (DNA), with its high density and long durability, is a promising storage medium for long-term archival storage and has attracted much attention. Several studies have verified the feasibility of using DNA for archival storage with a small amount of data. However, the achievable storage capacity of DNA as archival storage has not been comprehensively investigated yet. Theoretically, the DNA storage density is about 1 exabyte/mm3 (109 GB/mm3). However, according to our investigation, DNA storage tube capacity based on the current synthesizing and sequencing technologies is only at hundreds of Gigabytes due to the limitation of multiple bio and technology constraints. This paper identifies and investigates the critical factors affecting the single DNA tube capacity for archival storage. Finally, we suggest several promising directions to overcome the limitations and enhance DNA storage capacity.


title: Testing multiflavored ULDM models with SPARC

abstract: We perform maximum likelihood estimates (MLEs) for single and double flavor ultralight dark matter (ULDM) models using the Spitzer Photometry and Accurate Rotation Curves (SPARC) database. These estimates are compared to MLEs for several commonly used cold dark matter (CDM) models. By comparing various CDM models we find, in agreement with previous studies, that the Burkert and Einasto models tend to perform better than other commonly used CDM models. We focus on comparisons between the Einasto and ULDM models and analyze cases for which the ULDM particle masses are: free to vary; and fixed. For each of these analyses, we perform fits assuming the soliton and halo profiles are: summed together; and matched at a given radius. When we let the particle masses vary, we find a negligible preference for any particular range of particle masses, within $10^{-25}\,\text{eV}\leq m\leq10^{-19}\,\text{eV}$, when assuming the summed models. For the matched models, however, we find that almost all galaxies prefer particles masses in the range $10^{-23}\,\text{eV}\lesssim m\lesssim10^{-20}\,\text{eV}$. For both double flavor models we find that most galaxies prefer approximately equal particle masses. We find that the summed models give much larger variances with respect to the soliton-halo (SH) relation than the matched models. When the particle masses are fixed, the matched models give median and mean soliton and halo values that fall within the SH relation bounds, for most masses scanned. When the particle masses are fixed in the fitting procedure, we find the best fit results for the particle mass $m=10^{-20.5}\,\text{eV}$ (for the single flavor models) and $m_1=10^{-20.5}\,\text{eV}$, $m_2=10^{-20.2}\,\text{eV}$ for the double flavor, matched model. We discuss how our study will be furthered using a reinforcement learning algorithm.


title: Internet of Things: System Reference Architecture

abstract: This document describes an IoT system reference architecture. It is a general system architecture in the sense that it embodies key system components, functions, and flows that are commonly encountered in IoT systems. Much of the existing literature on IoT system architecture covers either specific commercial solutions or abstract architecture descriptions that are conceptual but not readily reducible to practice. This paper describes a general, vendor-neutral architecture of the IoT system derived by abstracting the common requirements and features of a variety of system specifications and implementations. It covers architectural and design principles for constructing the core IoT system overlay, specifically functions and components involved in acquiring data, real-time processing, storage and delivery to applications and services, such as visualization and AI. The appendix outlines the principles of IoT information modeling and data and metadata handling. As a reference architecture, this document is meant to serve as a template and a starting blueprint for constructing specific IoT system solutions. The intent is to maintain this material as a living document and evolve it over time into a broader technical community consensus by incorporating and acknowledging the accumulated feedback and contributions. Direct comments and suggestions are invited now. More structured mechanisms of managing crowdsourcing and community collaboration are planned for implementation if warranted.


title: Graphical Designs and Gale Duality

abstract: A graphical design is a subset of graph vertices such that the weighted averages of certain graph eigenvectors over the design agree with their global averages. We use Gale duality to show that positively weighted graphical designs in regular graphs are in bijection with the faces of a generalized eigenpolytope of the graph. This connection can be used to organize, compute and optimize designs. We illustrate the power of this tool on three families of Cayley graphs -- cocktail party graphs, cycles, and graphs of hypercubes -- by computing or bounding the smallest designs that average all but the last eigenspace in frequency order.


title: Function field genus theory for non-Kummer extensions

abstract: In this paper we first obtain the genus field of a finite abelian non-Kummer $l$--extension of a global rational function field. Then, using that the genus field of a composite of two abelian extensions of a global rational function field with relatively prime degrees is equal to the composite of their respective genus fields and our previous results, we deduce the general expression of the genus field of a finite abelian extension of a global rational function field.


title: The Deformed Hermitian-Yang-Mills Equation and Level Sets of Harmonic Polynomials

abstract: Suppose $v(x,y):\mathbb C\rightarrow \mathbb R$ is an entire harmonic polynomial with no critical points in the right half plane. Let $z_1, z_2\in\mathbb C$ lie on a level set of $v$ , and assume ${\rm Re}(z_2)>{\rm Re}(z_1)\geq0$. We give a necessary and sufficient condition, depending only on algebraic properties of the polynomial $v$, for when there exists a smooth real function $f$ whose graph $x+if(x)$ lies on a level curve of $v$ connecting $z_1$ to $z_2$. Inspired by GIT, we construct a Kempf-Ness functional on an appropriate function space, and prove the functional is bounded from below and proper if and only if a such a graph exists. As an application, we find a stability condition equivalent to the existence of a solution to the deformed Hermitian-Yang-Mills equation on the family of projective bundles $ X_{r,m}:=\mathbb P(\mathcal O_{\mathbb P^m}\oplus \mathcal O_{\mathbb P^m}(-1)^{\oplus (r+1)})$ with Calabi Symmetry.


title: Dealing with complex routing requirements using an MCDM based approach

abstract: The last decade has witnessed an ever-growing user demand for a better QoS (Quality Of Service) and the fast growth of connected devices still put high pressure on the legacy network infrastructures. To improve network performances, better manage the resources and have a greater control over traffic transmission, intelligent routing procedures are increasingly demanded. Modern applications in the dynamic context of new emerging networks have their own routing requirements, in terms of set of metrics to consider, their importance and thresholds to respect. The objective of this work is to design an approach based on MCDM (Multi-Criteria Decision Making) to decide complex routing problems when assuming threshold constraints on metrics. We give the mathematical framework to capture such requirements and to decide the routing. A case study is presented to advocate the benefit of using our approach.


title: Non-Euclidean Monotone Operator Theory with Applications to Recurrent Neural Networks

abstract: We provide a novel transcription of monotone operator theory to the non-Euclidean finite-dimensional spaces $\ell_1$ and $\ell_{\infty}$. We first establish properties of mappings which are monotone with respect to the non-Euclidean norms $\ell_1$ or $\ell_{\infty}$. In analogy with their Euclidean counterparts, mappings which are monotone with respect to a non-Euclidean norm are amenable to numerous algorithms for computing their zeros. We demonstrate that several classic iterative methods for computing zeros of monotone operators are directly applicable in the non-Euclidean framework. We present a case-study in the equilibrium computation of recurrent neural networks and demonstrate that casting the computation as a suitable operator splitting problem improves convergence rates.


title: Core structure of static ferrodark solitons in a spin-1 Bose-Einstein condensate

abstract: We develop an analytical description of static ferrodark solitons, the $\mathbb{Z}_2$ topological defects in the magnetic order, in the easy-plane phase of ferromagnetic spin-1 Bose-Einstein condensates. We find that the type-I ferrodark soliton has a single width while the type-II ferrodark soliton exhibits two characteristic length scales. The proposed ansatzes show excellent agreement with numerical results. Spin-singlet amplitudes, nematic tensor densities and nematic currents of ferrodark solitons are also discussed. The $\mathbb{Z}_2$ topological defects in the mass superfluid order, dark-dark-dark vector solitons, are obtained exactly in the parameter regime where exact ferrodark solitons exist. The dark-dark-dark vector soliton has higher excitation energy than ferrodark solitons.


title: Distortions of images of Schwarzschild lensing

abstract: We model the supermassive dark object $M87^*$ as a Schwarzschild lens and study the variations in tangential, radial, and total (the product of tangential and radial) magnifications of images (primary, secondary, and relativistic) against the changes in angular source position and the ratio of lens-source to the observer-source distance. Further, we study the behavior of partial derivatives (with respect to the angular source position) of total magnifications of images against the angular source position. Finally, we model supermassive dark objects at centers of 40 galaxies as Schwarzschild lenses and study the variations in tangential, radial, and total magnifications of images against the change in the ratio of mass of the lens to its distance. These studies yield many nonintuitive results which are likely to be significant for next generation Event Horizon Telescope observations. We {\em hypothesize} that there exists a distortion parameter such that their signed sum of all images of singular gravitational lensing of a source identically vanishes. We test this with images of Schwarzschild lensing in weak and strong gravitational fields and find that this esthetically appealing hypothesis succeeds with flying colors.

categories: gr-qc astro-ph.CO astro-ph.GA astro-ph.HE hep-th


title: Models and Mechanisms for Spatial Data Fairness

abstract: Fairness in data-driven decision-making studies scenarios where individuals from certain population segments may be unfairly treated when being considered for loan or job applications, access to public resources, or other types of services. In location-based applications, decisions are based on individual whereabouts, which often correlate with sensitive attributes such as race, income, and education. While fairness has received significant attention recently, e.g., in machine learning, there is little focus on achieving fairness when dealing with location data. Due to their characteristics and specific type of processing algorithms, location data pose important fairness challenges. We introduce the concept of spatial data fairness to address the specific challenges of location data and spatial queries. We devise a novel building block to achieve fairness in the form of fair polynomials. Next, we propose two mechanisms based on fair polynomials that achieve individual spatial fairness, corresponding to two common location-based decision-making types: distance-based and zone-based. Extensive experimental results on real data show that the proposed mechanisms achieve spatial fairness without sacrificing utility.


title: On the growth of generalized Fourier coefficients of restricted eigenfunctions

abstract: Let $(M,g)$ be a smooth, compact, Riemannian manifold and $\{\phi_h\}$ a sequence of $L^2$-normalized Laplace eigenfunctions on $M$. For a smooth submanifold $H\subset M$, we consider the growth of the restricted eigenfunctions $\phi_h|_H$ by testing them against a sequence of functions $\{\psi_h\}$ on $H$ whose wavefront set avoids $S^*H$. That is, we study what we call the generalized Fourier coefficients: $\langle \phi_h,\psi_h\rangle_{L^2(H)}$. We give an explicit bound on these coefficients depending on how the defect measures for the two collections of functions $\phi_h$ and $\psi_h$ relate. This allows us to get a little$-o$ improvement whenever the collection of recurrent directions over the wavefront set of $\psi_h$ is small. To obtain our estimates, we utilize geodesic beam techniques.


title: Activity Report of the Second African Conference on Fundamental and Applied Physics, ACP2021

abstract: The African School of Fundamental Physics and Applications, also known as the African School of Physics (ASP), was initiated in 2010, as a three-week biennial event, to offer additional training in fundamental and applied physics to African students with a minimum of three-year university education. Since its inception, ASP has grown to be much more than a school. ASP has become a series of activities and events with directed ethos towards physics as an engine for development in Africa. One such activity of ASP is the African Conference on Fundamental and Applied Physics (ACP). The first edition of ACP took place during the 2018 edition of ASP at the University of Namibia in Windhoek. In this paper, we report on the second edition of ACP, organized on March 7--11, 2022, as a virtual event.


title: Spatially resolved mass flux measurements with dual comb spectroscopy

abstract: Providing an accurate, representative sample of mass flux across large open areas for atmospheric studies or the extreme conditions of a hypersonic engine is challenging for traditional intrusive or point-based sensors. Here, we demonstrate that laser absorption spectroscopy with mode-locked frequency combs can simultaneously measure all of the components of mass flux (velocity, temperature, pressure, and species mole fraction) with low uncertainty, spatial resolution corresponding to the laser line of sight, and no supplemental sensor readings. The low uncertainty is provided by the broad spectral bandwidth, high resolution, and extremely well-known and controlled frequency axis of stabilized, mode-locked frequency combs. We demonstrate these capabilities using dual frequency comb spectroscopy (DCS) in the isolator of a ground-test supersonic propulsion engine at Wright-Patterson Air Force Base. The mass flux measurements are consistent within 3.6% of the facility-level engine air supply values. A vertical scan of the laser beams in the isolator measures the spatially resolved mass flux, which is compared with computational fluid dynamics simulations. A rigorous uncertainty analysis demonstrates a instrument uncertainty of ~0.4%, and total uncertainty (including non-instrument sources) of ~7% for mass flux measurements. These measurements demonstrate DCS with mode-locked frequency combs as a low-uncertainty mass flux sensor for a variety of applications.


title: Policy Learning with Competing Agents

abstract: Decision makers often aim to learn a treatment assignment policy under a capacity constraint on the number of agents that they can treat. When agents can respond strategically to such policies, competition arises, complicating estimation of the optimal policy. In this paper, we study capacity-constrained treatment assignment in the presence of such interference. We consider a dynamic model where the decision maker allocates treatments at each time step and heterogeneous agents myopically best respond to the previous treatment assignment policy. When the number of agents is large but finite, we show that the threshold for receiving treatment under a given policy converges to the policy's mean-field equilibrium threshold. Based on this result, we develop a consistent estimator for the policy gradient. In a semi-synthetic experiment with data from the National Education Longitudinal Study of 1988, we demonstrate that this estimator can be used for learning capacity-constrained policies in the presence of strategic behavior.


title: Assessing consistency between CMB temperature and polarization measurements, with application to Planck, ACT and SPT

abstract: Planck's Cosmic Microwave Background temperature and polarization observations are the premier dataset for constraining cosmological models. Cosmic variance limited temperature at large and intermediate scales today dominates the constraints; polarization provides additional constraining power and further scrutiny of the models. To complete this picture from Planck, ground-based experiments, such as the Atacama Cosmology Telescope (ACT) and the South Pole Telescope (SPT) continue to add temperature and polarization measurements at small scales, allowing for the extraction of competitive cosmological constraints from the $TE$ and $EE$ power spectra. Matching at the same time all these stringent probes is a key challenge and validation step for any cosmological model. In particular, $\Lambda$CDM requires a tight consistency between the temperature and polarization measurements. In this paper, we present a number of methods to identify and quantify possible inconsistencies between temperature and polarization, we apply them to the latest Planck, ACT and SPT data and find no evidence for a deviation from $\Lambda$CDM. Application of these methods will have increased importance for future, more constraining CMB data.


title: Singular integral operators, $T1$ theorem, Littlewood-Paley theory and Hardy spaces in Dunkl Setting

abstract: The purpose of this paper is to introduce a new class of singular integral operators in the Dunkl setting involving both the Euclidean metric and the Dunkl metric. Then we provide the $T1$ theorem, the criterion for the boundedness on $L^2$ for these operators. Applying this singular integral operator theory, we establish the Littlewood-Paley theory and the Dunkl-Hardy spaces. As applications, the boundedness of singular integral operators, particularly, the Dunkl-Rieze transforms, on the Dunkl-Hardy spaces is given. The $L^2$ theory and the singular integral operator theory play crucial roles. New tools developed in this paper include the weak-type discrete Calder\'on reproducing formulae, new test functions, and distributions, the Littlewood-Paley, the wavelet-type decomposition, and molecule characterizations of the Dunkl-Hardy space, Coifman's approximation to the identity and the decomposition of the identity operator on $L^2$, Meyer's commutation Lemma, and new almost orthogonal estimates in the Dunkl setting.


title: Hybrid Probabilistic-Snowball Sampling

abstract: Snowball sampling is the common name for sampling designs on human populations where respondents are requested to share the questionnaire among their social ties. With some exceptions, estimates from snowball samplings are considered biased. However, the magnitude of the bias is influenced by a combination of elements of the sampling design and features of the target population. Hybrid Probabilistic-Snowball Sampling Designs (HPSSD) aims to reduce the main source of bias in the snowball sample through randomly oversampling the first stage 0 of the snowball. To check the behaviour of HPSSD for applications, we developed an algorithm that, by grafting the edges of a stochastic blockmodel into a graph of cliques, simulates an assortative network of tobacco smokers. Different outcomes of the HPSSD operations are simulated, too. Inference on 8,000 runs of the simulation leads to think that HPSSD does not improve reliability of samples that are already representative. But if homophily in the population is sufficiently low, even the unadjusted sample mean of HPSSD has a slightly better performance than a random, but undersized, sampling. De-biasing the estimates of HPSSD shows improvement in the performance, so an adjusted HPSSD estimator is a desirable development.


title: ConceptExplainer: Interactive Explanation for Deep Neural Networks from a Concept Perspective

abstract: Traditional deep learning interpretability methods which are suitable for model users cannot explain network behaviors at the global level and are inflexible at providing fine-grained explanations. As a solution, concept-based explanations are gaining attention due to their human intuitiveness and their flexibility to describe both global and local model behaviors. Concepts are groups of similarly meaningful pixels that express a notion, embedded within the network's latent space and have commonly been hand-generated, but have recently been discovered by automated approaches. Unfortunately, the magnitude and diversity of discovered concepts makes it difficult to navigate and make sense of the concept space. Visual analytics can serve a valuable role in bridging these gaps by enabling structured navigation and exploration of the concept space to provide concept-based insights of model behavior to users. To this end, we design, develop, and validate ConceptExplainer, a visual analytics system that enables people to interactively probe and explore the concept space to explain model behavior at the instance/class/global level. The system was developed via iterative prototyping to address a number of design challenges that model users face in interpreting the behavior of deep learning models. Via a rigorous user study, we validate how ConceptExplainer supports these challenges. Likewise, we conduct a series of usage scenarios to demonstrate how the system supports the interactive analysis of model behavior across a variety of tasks and explanation granularities, such as identifying concepts that are important to classification, identifying bias in training data, and understanding how concepts can be shared across diverse and seemingly dissimilar classes.


title: Some necessary and sufficient condition for finite generation of symbolic Rees rings

abstract: Consider the blow-up Y of a weighted projective plane at a point in the open orbit over a field of characteristic 0. We assume that there exists a curve C on Y such that C^2<0 and C.E=1, where E is the exceptional curve. In this paper we give a (very simple) necessary and sufficient condition for finite generation of the Cox ring of Y (Theorem~1.2). It is an affirmative answer to a conjecture due to He and Kurano-Nishida.


title: Spatially entangled photon-pairs from lithium niobate nonlocal metasurfaces

abstract: Metasurfaces consisting of nano-scale structures are underpinning new physical principles for the creation and shaping of quantum states of light. Multi-photon states that are entangled in spatial or angular domains are an essential resource for quantum imaging and sensing applications, however their production traditionally relies on bulky nonlinear crystals. We predict and demonstrate experimentally the generation of spatially entangled photon pairs through spontaneous parametric down-conversion from a metasurface incorporating a nonlinear thin film of lithium niobate. This is achieved through nonlocal resonances with tailored angular dispersion mediated by an integrated silica meta-grating, enabling control of the emission pattern and associated quantum states of photon pairs by designing the grating profile and tuning the pump frequency. We measure the correlations of photon positions and identify their spatial anti-bunching through violation of the classical Cauchy-Schwartz inequality, witnessing the presence of multi-mode entanglement. Simultaneously, the photon-pair rate is strongly enhanced by 450 times as compared to unpatterned films due to high-quality-factor metasurface resonances, and the coincidence to accidental ratio reaches 5000. These results pave the way to miniaturization of various quantum devices by incorporating ultra-thin metasurfaces functioning as room-temperature sources of quantum-entangled photons.


title: Model predictions of wave overwash extent into the marginal ice zone

abstract: A model of the extent of wave driven overwash into fields of sea ice floes is proposed. The extent model builds on previous work modelling wave overwash of a single floe by regular waves by including irregular incoming waves and random floe fields. The model is validated against a laboratory experiment. It is then used to study the extent of wave overwash into marginal ice zones consisting of pancake and fragmented floe fields. The effects of wave conditions and floe geometry on predicted extents are investigated. Finally, the model is used to predict the wave overwash extent for the conditions observed during a winter (July) 2017 Antarctic voyage in which the sea surface was monitored by a stereo-camera system.


title: On the Reduction in Accuracy of Finite Difference Schemes on Manifolds without Boundary

abstract: We investigate error bounds for numerical solutions of divergence structure linear elliptic PDEs on compact manifolds without boundary. Our focus is on a class of monotone finite difference approximations, which provide a strong form of stability that guarantees the existence of a bounded solution. In many settings including the Dirichlet problem, it is easy to show that the resulting solution error is proportional to the formal consistency error of the scheme. We make the surprising observation that this need not be true for PDEs posed on compact manifolds without boundary. We propose a particular class of approximation schemes built around an underlying monotone scheme with consistency error $O(h^\alpha)$. By carefully constructing barrier functions, we prove that the solution error is bounded by $O(h^{\alpha/(d+1)})$ in dimension $d$. We also provide a specific example where this predicted convergence rate is observed numerically. Using these error bounds, we further design a family of provably convergent approximations to the solution gradient.


title: Deliberation Model for On-Device Spoken Language Understanding

abstract: We propose a novel deliberation-based approach to end-to-end (E2E) spoken language understanding (SLU), where a streaming automatic speech recognition (ASR) model produces the first-pass hypothesis and a second-pass natural language understanding (NLU) component generates the semantic parse by conditioning on both ASR's text and audio embeddings. By formulating E2E SLU as a generalized decoder, our system is able to support complex compositional semantic structures. Furthermore, the sharing of parameters between ASR and NLU makes the system especially suitable for resource-constrained (on-device) environments; our proposed approach consistently outperforms strong pipeline NLU baselines by 0.60% to 0.65% on the spoken version of the TOPv2 dataset (STOP). We demonstrate that the fusion of text and audio features, coupled with the system's ability to rewrite the first-pass hypothesis, makes our approach more robust to ASR errors. Finally, we show that our approach can significantly reduce the degradation when moving from natural speech to synthetic speech training, but more work is required to make text-to-speech (TTS) a viable solution for scaling up E2E SLU.


title: Growth at high substrate coverage can decrease the grain boundary roughness of 2D materials

abstract: Grain boundary roughness can affect electronic and mechanical properties of two-dimensional materials. This roughness depends crucially on the growth process by which the two-dimensional material is formed. To investigate the key mechanisms that govern the roughness, we have performed kinetic Monte Carlo simulations of a simple model that includes particle attachment, detachment, and diffusion. We have studied the closure of the gap between two flakes during growth, and the subsequent formation of the grain boundary (GB) for a broad range of model parameters. The well known near-equilibrium (attachment-limited) and unstable (diffusion-limited) growth regimes are identified, but we also observe a third regime when the precursor flux is sufficiently high to fully cover the gap between the edges. This high coverage regime forms GBs with spatially uncorrelated roughness, which quickly relax to smoother configurations. Extrapolating the numerical results (with support from a theoretical approach) to edge lengths and gap widths of some micrometers, we confirm the advantage of this regime to produce GBs with minimal roughness faster than near-equilibrium conditions. This suggests an unexpected route towards efficient growth of two-dimensional materials with smooth GBs.

categories: cond-mat.mtrl-sci cond-mat.mes-hall cond-mat.stat-mech physics.app-ph


title: Pregeometry over locally o-minimal structure and dimension

abstract: We define a discrete closure operation for definably complete locally o-minimal structures $\mathcal M$. The pair of the underlying set of $\mathcal M$ and the discrete closure operation forms a pregeometry. We define the rank of a definable set over a set of parameters using this fact. A definable set $X$ is of dimension equal to the rank of $X$ over the set of parameters of a formula defining the set $X$. The structure $\mathcal M$ is simultaneously a first-order topological structure. The dimension rank of a set definable in the first-order topological structure $\mathcal M$ also coincides with its dimension.


title: Brown measure of $R$-diagonal operators, revisited

abstract: We use subordination functions perspective to reformulate Haagerup--Schultz's approach for the Brown measure of $R$-diagonal operators. This allows us to simplify the original argument and find a connection with the other approach due to Belinschi-\'{S}niady-Speicher. The Brown measure formula can be rewritten in terms of subordination functions.


title: Coherently excited Hong-Ou-Mandel effects using frequency-path correlation

abstract: Nonlocal quantum correlation has been the main issue of quantum mechanics over the last century. The Hong-Ou-Mandel (HOM) effect relates to the two-photon intensity correlation on a beam splitter, resulting in a nonclassical photon-bunching phenomenon. The HOM effect has been used to verify the quantum feature via Bell measurements for quantum technologies such as quantum repeaters and photonics quantum computing. Here, a coherence version of the HOM effect is proposed and analyzed to understand the fundamental physics of the anticorrelation and entanglement. For this, frequency-correlated coherent photon pairs are prepared in an independent set of Mach-Zhender interferometers (MZI) using a synchronized pair of modulators from an attenuated laser. For the HOM effect, the phase relation between frequency-correlated photons plays an essential role. For the product-basis randomness, the symmetrically modulated two independent MZIs are combined together incoherently. A classical intensity product between two independent photodetectors is also discussed for the same HOM effect in a selective macroscopic measurement scheme.


title: Notes on definably complete locally o-minimal expansions of ordered groups

abstract: We study definably complete locally o-minimal expansions of ordered groups in this paper. A definable continuous function defined on a closed, bounded and definable set behave like a continuous function on a compact set. We demonstrate uniform continuity of a definable continuous function on a closed, bounded and definable set and Arzela-Ascoli-type theorem. We propose a notion of special submanifolds with tubular neighborhoods and show that any definable set is decomposed into finitely many special submanifolds with tubular neighborhoods.


title: MonoTrack: Shuttle trajectory reconstruction from monocular badminton video

abstract: Trajectory estimation is a fundamental component of racket sport analytics, as the trajectory contains information not only about the winning and losing of each point, but also how it was won or lost. In sports such as badminton, players benefit from knowing the full 3D trajectory, as the height of shuttlecock or ball provides valuable tactical information. Unfortunately, 3D reconstruction is a notoriously hard problem, and standard trajectory estimators can only track 2D pixel coordinates. In this work, we present the first complete end-to-end system for the extraction and segmentation of 3D shuttle trajectories from monocular badminton videos. Our system integrates badminton domain knowledge such as court dimension, shot placement, physical laws of motion, along with vision-based features such as player poses and shuttle tracking. We find that significant engineering efforts and model improvements are needed to make the overall system robust, and as a by-product of our work, improve state-of-the-art results on court recognition, 2D trajectory estimation, and hit recognition.


title: RIS-aided Cooperative FD-SWIPT-NOMA Outage Performance in Nakagami-m Channels

abstract: In this work, we investigate reconfigurable intelligent surfaces (RIS)-assisted cooperative non-orthogonal multiple access (C-NOMA) consisting of two paired users, where the phases of RIS are configured to boost the cell-center device. The cell-center device is designated to act as a full-duplex (FD) relay to assist the cell-edge device. The cell-center device does not use its battery energy to cooperate but harvests energy using simultaneous wireless information power transfer (SWIPT). A more practical non-linear energy harvesting model is considered. Expressions for outage probability (OP) and ergodic rate (ER) are devised, assuming that all users' links undergo Nakagami-$m$ channel fading. We first approximate the harvested power as Gamma random variables via the moments matching technique. This allows us to derive analytical OP/ER expressions that are simple to compute yet accurate for a wide range of RIS passive elements configurations, energy harvesting (EH) coefficients, and residual self-interference (SI) levels, being extensively validated by numerical simulations. The OP expressions reveal how paramount is to mitigate the SI in the FD relay mode since for reasonable values of residual SI coefficient ($\omega \geq -20$dB), it is notable its detrimental effect on the system performance. Also, numerical results reveal that increasing the number of RIS elements can benefit the cooperative system more than the non-cooperative one.


title: Thermodynamic Properties of Schwarzschild Black Hole in Non-Commutative Gauge Theory of Gravity

abstract: In this paper, we used the non-commutative (NC) gauge theory of gravity to investigate the thermodynamic properties of a deformed Schwarzschild black hole (SBH). Our results present a new scenario of black hole evaporation. As a first step, we described the Arnowitt-Deser-Misner (ADM) mass, the Hawking temperature, and the entropy of NC SBH. The non-commutativity removes the divergence behavior of temperature, and the result shows a difference in the pole-equator temperature. These corrections also reveal a new fundamental length at the Planck scale order, $\Theta \approx 2.257 \times 10^{-35}\,m$. In the last stage of evaporation, the NC correction exposes a remnant entropy $\hat{S}_0$ of the NC SBH. Then, the description of the heat capacity and the Gibbs free energy of the deformed black hole shows the effect of the NC gauge theory on the thermodynamic stability and the phase transitions. Finally, we investigate the influence of the black hole pressure on the stability and the phase transition of SBH in NC spacetime. In this study, we found that the NC parameter plays a similar role to the thermodynamic variables. The results show a second-order phase transition of NC SBH.


title: Unexciting non-Abelian electric fields

abstract: Electric fields in QED are known to discharge due to Schwinger pair production of charged particles. Corresponding electric fields in non-Abelian theory are known to discharge due to the production of gluons. Yet electric flux tubes in QCD ought to be stable to the production of charged gluons as they confine quarks. We resolve this conundrum by finding electric field configurations in pure non-Abelian gauge theory in which the Schwinger process is absent and the electric field is protected against quantum dissipation. We comment on the implications for QCD flux tubes.


title: An optical transition-edge sensor with high energy resolution

abstract: Optical transition-edge sensors have shown energy resolution for resolving the number of incident photons at the telecommunication wavelength. Higher energy resolution is required for biological imaging and microscope spectroscopy. In this paper, we report on a Au/Ti (10/20 nm) bilayer TES that showed high energy resolution. This was achieved by lowering the critical temperature Tc to 115 mK and the resultant energy resolution was 67 meV full width at half maximum (FWHM) at 0.8 eV. When Tc was lowered to 115 mK, the theoretical resolution would scaled up to 30 meV FWHM, considering that the typical energy resolution of optical TESs is 150 meV and Tc is 300 mK. To investigate the gap between the theoretical expectation (30 meV) and the measured value (67 meV), we measured its complex impedance and current noise. We found excess Johnson noise in the TES and an excess Johnson term M was 1.5 at a bias point where the resistance was 10% of normal resistance. For reference, the TES was compared with a TES showing typical energy resolution (156 meV FWHM). We will discuss what improved the energy resolution and what might have been the limiting factor on it.


title: Prediction Intervals for Simulation Metamodeling

abstract: Simulation metamodeling refers to the construction of lower-fidelity models to represent input-output relations using few simulation runs. Stochastic kriging, which is based on Gaussian process, is a versatile and common technique for such a task. However, this approach relies on specific model assumptions and could encounter scalability challenges. In this paper, we study an alternative metamodeling approach using prediction intervals to capture the uncertainty of simulation outputs. We cast the metamodeling task as an empirical constrained optimization framework to train prediction intervals that attain accurate prediction coverage and narrow width. We specifically use neural network to represent these intervals and discuss procedures to approximately solve this optimization problem. We also present an adaptation of conformal prediction tools as another approach to construct prediction intervals for metamodeling. Lastly, we present a validation machinery and show how our method can enjoy a distribution-free finite-sample guarantee on the prediction performance. We demonstrate and compare our proposed approaches with existing methods including stochastic kriging through numerical examples.


title: Learning to Adapt to Domain Shifts with Few-shot Samples in Anomalous Sound Detection

abstract: Anomaly detection has many important applications, such as monitoring industrial equipment. Despite recent advances in anomaly detection with deep-learning methods, it is unclear how existing solutions would perform under out-of-distribution scenarios, e.g., due to shifts in machine load or environmental noise. Grounded in the application of machine health monitoring, we propose a framework that adapts to new conditions with few-shot samples. Building upon prior work, we adopt a classification-based approach for anomaly detection and show its equivalence to mixture density estimation of the normal samples. We incorporate an episodic training procedure to match the few-shot setting during inference. We define multiple auxiliary classification tasks based on meta-information and leverage gradient-based meta-learning to improve generalization to different shifts. We evaluate our proposed method on a recently-released dataset of audio measurements from different machine types. It improved upon two baselines by around 10% and is on par with best-performing model reported on the dataset.


title: Dynatask: A Framework for Creating Dynamic AI Benchmark Tasks

abstract: We introduce Dynatask: an open source system for setting up custom NLP tasks that aims to greatly lower the technical knowledge and effort required for hosting and evaluating state-of-the-art NLP models, as well as for conducting model in the loop data collection with crowdworkers. Dynatask is integrated with Dynabench, a research platform for rethinking benchmarking in AI that facilitates human and model in the loop data collection and evaluation. To create a task, users only need to write a short task configuration file from which the relevant web interfaces and model hosting infrastructure are automatically generated. The system is available at https://dynabench.org/ and the full library can be found at https://github.com/facebookresearch/dynabench.


title: Weyl double copy and massless free fields in curved spacetimes

abstract: In spinor formalism, since any massless free-field spinor with spin higher than $1/2$ can be constructed with spin-1/2 spinors (Dirac-Weyl spinors) and scalars, we introduce a map between Weyl fields and Dirac-Weyl fields. We determine the corresponding Dirac-Weyl spinors in a given empty spacetime. Regarding them as basic units, other higher spin massless free-field spinors are then identified. Along this way, we find some hidden fundamental features related to these fields. In particular, for non-twisting vacuum Petrov type N solutions, we show that all higher spin massless free-field spinors can be constructed with one type of Dirac-Weyl spinor and the zeroth copy. Furthermore, we systematically rebuild the Weyl double copy for non-twisting vacuum type N and vacuum type D solutions. Moreover, we show that the zeroth copy not only connects the gravity fields with a single copy but also connects the degenerate Maxwell fields with the Dirac-Weyl fields in the curved spacetime, both for type N and type D cases. Besides, we extend the study to non-twisting vacuum type III solutions. We find a particular Dirac-Weyl scalar independent of the proposed map and whose square is proportional to the Weyl scalar. A degenerate Maxwell field and an auxiliary scalar field are then identified. Both of them play similar roles as the Weyl double copy. The result further inspires us that there is a deep connection between gravity theory and gauge theory.


title: Firefighting with a Distance-Based Restriction

abstract: In the classic version of the game of firefighter, on the first turn a fire breaks out on a vertex in a graph $G$ and then $k$ firefighters protect $k$ vertices. On each subsequent turn, the fire spreads to the collective unburnt neighbourhood of all the burning vertices and the firefighters again protect $k$ vertices. Once a vertex has been burnt or protected it remains that way for the rest of the game. A common objective with respect to some infinite graph $G$ is to determine how many firefighters are necessary to stop the fire from spreading after a finite number of turns, commonly referred to as containing the fire. We introduce the concept of distance-restricted firefighting where the firefighters' movement is restricted so they can only move up to some fixed distance $d$ per turn rather than being able to move without restriction. We establish some general properties of this new game in contrast to properties of the original game, and we investigate specific cases of the distance-restricted game on the infinite square, strong, and hexagonal grids. We conjecture that two firefighters are insufficient on the square grid when $d = 2$, and we pose some questions about how many firefighters are required in general when $d = 1$.


title: Locality of vortex stretching for the 3D Euler equations

abstract: We consider the 3D incompressible Euler equations under the following situation: small-scale vortex blob being stretched by a prescribed large-scale stationary flow. More precisely, we clarify what kind of large-scale stationary flows really stretch small-scale vortex blobs in alignment with the straining direction. The key idea is constructing a Lagrangian coordinate so that the Lie bracket is identically zero (c.f. the Frobenius theorem), and investigate the locality of the pressure term by using it.


title: Quasi-2-Segal sets

abstract: We show that the 2-Segal spaces (also called decomposition spaces) of Dyckerhoff-Kapranov and G\'alvez-Kock-Tonks have a natural analogue within simplicial sets, which we call quasi-2-Segal sets, and that the two ideas enjoy a similar relationship as the one Segal spaces have with quasi-categories. In particular, we construct a model structure on the category of simplicial sets whose fibrant objects are the quasi-2-Segal sets which is Quillen equivalent to a model structure for complete 2-Segal spaces (where our notion of completeness comes from one of the equivalent characterizations of completeness for Segal spaces). We also prove a path space criterion, which says that a simplicial set is a quasi-2-Segal set if and only if its path spaces (also called d\'ecalage) are quasi-categories, as well as an edgewise subdivision criterion.


title: Almost-Linear Planted Cliques Elude the Metropolis Process

abstract: A seminal work of Jerrum (1992) showed that large cliques elude the Metropolis process. More specifically, Jerrum showed that the Metropolis algorithm cannot find a clique of size $k=\Theta(n^{\alpha}), \alpha \in (0,1/2)$, which is planted in the Erd\H{o}s-R\'{e}nyi random graph $G(n,1/2)$, in polynomial time. Information theoretically it is possible to find such planted cliques as soon as $k \ge (2+\epsilon) \log n$. Since the work of Jerrum, the computational problem of finding a planted clique in $G(n,1/2)$ was studied extensively and many polynomial time algorithms were shown to find the planted clique if it is of size $k = \Omega(\sqrt{n})$, while no polynomial-time algorithm is known to work when $k=o(\sqrt{n})$. Notably, the first evidence of the problem's algorithmic hardness is commonly attributed to the result of Jerrum from 1992. In this paper we revisit the original Metropolis algorithm suggested by Jerrum. Interestingly, we find that the Metropolis algorithm actually fails to recover a planted clique of size $k=\Theta(n^{\alpha})$ for any constant $0 \leq \alpha < 1$. Moreover, we strengthen Jerrum's results in a number of other ways including: Like many results in the MCMC literature, the result of Jerrum shows that there exists a starting state (which may depend on the instance) for which the Metropolis algorithm fails. For a wide range of temperatures, we show that the algorithm fails when started at the most natural initial state, which is the empty clique. This answers an open problem stated in Jerrum (1992). We also show that the simulated tempering version of the Metropolis algorithm, a more sophisticated temperature-exchange variant of it, also fails at the same regime of parameters. Finally, our results confirm recent predictions by Gamarnik and Zadik (2019) and Angelini, Fachin, de Feo (2021).


title: Phase dynamics of noise-induced coherent oscillations in excitable systems

abstract: Noise can induce coherent oscillations in excitable systems without periodic orbits. Here, we establish a method to derive a hybrid system approximating the noise-induced coherent oscillations in excitable systems and further perform phase reduction of the hybrid system to derive an effective, dimensionality-reduced phase equation. We apply the reduced phase model to a periodically forced excitable system and two-coupled excitable systems, both undergoing noise-induced oscillations. The reduced phase model can quantitatively predict the entrainment of a single system to the periodic force and the mutual synchronization of two coupled systems, including the phase slipping behavior due to noise, as verified by Monte Carlo simulations. The derived phase model gives a simple and efficient description of noise-induced oscillations and can be applied to the analysis of more general cases.


title: Pattern preservation during the decay and growth of localized wave packet in two-dimensional channel flow

abstract: In this paper, the decay and growth of localized wave packet (LWP) in two-dimensional plane-Poiseuille flow are studied numerically and theoretically. When the Reynolds number ($Re$) is less than a critical value $Re_c$, the disturbance kinetic energy $E_k$ of LWP decreases monotonically with time and experiences three decay periods, i.e. the initial and the final steep descent periods, and the middle plateau period. Higher initial $E_k$ of a decaying LWP corresponds to longer lifetime. According to the simulations, the lifetime scales as $(Re_c-Re)^{-1/2}$, indicating a divergence of lifetime as $Re$ approaches $Re_c$, a phenomenon known as "critical slowing-down". By proposing a pattern preservation approximation, i.e. the integral kinematic properties (e.g. the disturbance enstrophy) of an evolving LWP are independent of $Re$ and single valued functions of $E_k$, the disturbance kinetic energy equation can be transformed into the classical differential equation for saddle-node bifurcation, by which the lifetimes of decaying LWPs can be derived, supporting the $-1/2$ scaling law. Furthermore, by applying the pattern preservation approximation and the integral kinematic properties obtained as $Re<Re_c$, the Reynolds number and the corresponding $E_k$ of the whole lower branch, the turning point, and the upper-branch LWPs with $E_k<0.15$ are predicted successfully with the disturbance kinetic energy equation, indicating that the pattern preservation is an intrinsic feature of this localized transitional structure.


title: TASI Lectures on the Mathematics of String Dualities

abstract: In these lecture proceedings, we describe some of the fundamental mathematical concepts that underlie supersymmetric string theory and field theory, and their role in describing and testing dualities. In particular, we provide a pedagogical introduction to topological and holomorphic twisting, descent, and higher algebraic structures. Our primary examples are worldsheet theories of topological strings, namely the A- and B-models, which we briefly review. These proceedings are based on lectures given by the second author at TASI 2021.


title: An Exploration of Active Learning for Affective Digital Phenotyping

abstract: Some of the most severe bottlenecks preventing widespread development of machine learning models for human behavior include a dearth of labeled training data and difficulty of acquiring high quality labels. Active learning is a paradigm for using algorithms to computationally select a useful subset of data points to label using metrics for model uncertainty and data similarity. We explore active learning for naturalistic computer vision emotion data, a particularly heterogeneous and complex data space due to inherently subjective labels. Using frames collected from gameplay acquired from a therapeutic smartphone game for children with autism, we run a simulation of active learning using gameplay prompts as metadata to aid in the active learning process. We find that active learning using information generated during gameplay slightly outperforms random selection of the same number of labeled frames. We next investigate a method to conduct active learning with subjective data, such as in affective computing, and where multiple crowdsourced labels can be acquired for each image. Using the Child Affective Facial Expression (CAFE) dataset, we simulate an active learning process for crowdsourcing many labels and find that prioritizing frames using the entropy of the crowdsourced label distribution results in lower categorical cross-entropy loss compared to random frame selection. Collectively, these results demonstrate pilot evaluations of two novel active learning approaches for subjective affective data collected in noisy settings.


title: Domain-Aware Contrastive Knowledge Transfer for Multi-domain Imbalanced Data

abstract: In many real-world machine learning applications, samples belong to a set of domains e.g., for product reviews each review belongs to a product category. In this paper, we study multi-domain imbalanced learning (MIL), the scenario that there is imbalance not only in classes but also in domains. In the MIL setting, different domains exhibit different patterns and there is a varying degree of similarity and divergence among domains posing opportunities and challenges for transfer learning especially when faced with limited or insufficient training data. We propose a novel domain-aware contrastive knowledge transfer method called DCMI to (1) identify the shared domain knowledge to encourage positive transfer among similar domains (in particular from head domains to tail domains); (2) isolate the domain-specific knowledge to minimize the negative transfer from dissimilar domains. We evaluated the performance of DCMI on three different datasets showing significant improvements in different MIL scenarios.


title: Structural parameters and possible association of the Ultra-Faint Dwarfs Pegasus III and Pisces II from deep Hubble Space Telescope photometry

abstract: We present deep Hubble Space Telescope (HST) photometry of the ultra-faint dwarf (UFD) galaxies Pegasus III (Peg III) and Pisces II (Psc II), two of the most distant satellites in the halo of the Milky Way (MW). We measure the structure of both galaxies, derive mass-to-light ratios with newly determined absolute magnitudes, and compare our findings to expectations from UFD-mass simulations. For Peg III, we find an elliptical half-light radius of $a_h=1.88^{+0.42}_{-0.33}$ arcminutes ($118^{+31}_{-30}$ pc) and $M_V{=}{-4.17}^{+0.19}_{-0.22}$; for Psc II, we measure $a_h{=}1.31^{+0.10}_{-0.09}$ arcminutes ($69\pm8$ pc) and $M_V{=}{-4.28}^{+0.19}_{-0.16}$. We do not find any morphological features that indicate a significant interaction between the two has occurred, despite their close separation of only $\sim$40 kpc. Using proper motions (PMs) from Gaia early Data Release 3, we investigate the possibility of any past association by integrating orbits for the two UFDs in a MW-only and a combined MW and Large Magellanic Cloud (LMC) potential. We find that including the gravitational influence of the LMC is crucial, even for these outer-halo satellites, and that a possible orbital history exists where Peg III and Psc II experienced a close ($\sim$10-20 kpc) passage about each other just over $\sim$1 Gyr ago, followed by a collective passage around the LMC ($\sim$30-60 kpc) just under $\sim$1 Gyr ago. Considering the large uncertainties on the PMs and the restrictive priors imposed to derive them, improved PM measurements for Peg III and Psc II will be necessary to clarify their relationship. This would add to the rare findings of confirmed pairs of satellites within the Local Group.


title: Text Spotting Transformers

abstract: In this paper, we present TExt Spotting TRansformers (TESTR), a generic end-to-end text spotting framework using Transformers for text detection and recognition in the wild. TESTR builds upon a single encoder and dual decoders for the joint text-box control point regression and character recognition. Other than most existing literature, our method is free from Region-of-Interest operations and heuristics-driven post-processing procedures; TESTR is particularly effective when dealing with curved text-boxes where special cares are needed for the adaptation of the traditional bounding-box representations. We show our canonical representation of control points suitable for text instances in both Bezier curve and polygon annotations. In addition, we design a bounding-box guided polygon detection (box-to-polygon) process. Experiments on curved and arbitrarily shaped datasets demonstrate state-of-the-art performances of the proposed TESTR algorithm.


title: Superconducting Nanowire Single-Photon Detectors and effect of accumulation and unsteady releases of excess energy in materials

abstract: Universal fault-tolerant quantum computers, which promise to revolutionize computing, are currently limited by excessive noise in their constituent superconducting qubits. Determining the dominant sources of this excess noise will lead to a clearer understanding of how to mitigate it in future superconducting systems. Superconducting Nanowire Single-Photon Detectors (SNSPDs) are devices that do not appear to suffer from such effects and have extremely low dark-count backgrounds. We propose to use SNSPDs as low-background laboratories to study noise accumulation processes in superconducting systems with the purpose of explaining and mitigating noise in related quantum information systems. Through these studies we also aim to increase the sensitive wavelengths of SNSPDs above the current limits of 10 microns, which would open new regimes for dark matter detection, biology, space sciences, and quantum sensing.


title: Conformal transformation of uniform domains under weights that depend on distance to the boundary

abstract: The sphericalization procedure converts a Euclidean space into a compact sphere. In this note we propose a variant of this procedure for locally compact, rectifiably path-connected, non-complete, unbounded metric spaces by using conformal deformations that depend only on the distance to the boundary of the metric space. This deformation is locally bi-Lipschitz to the original domain near its boundary, but transforms the space into a bounded domain. We will show that if the original metric space is a uniform domain with respect to its completion, then the transformed space is also a uniform domain.


title: Potential high-$T_{c}$ superconductivity in YCeH$_{x}$ and LaCeH$_{x}$ under pressure

abstract: Lanthanum, yttrium, and cerium hydrides are the three most well-known superconducting binary hydrides (La-H, Y-H, and Ce-H systems), which have gained great attention in both theoretical and experimental studies. Recent studies have shown that ternary hydrides composed of lanthanum and yttrium can achieve high superconductivity around 253 K. In this study we employ the evolutionary-algorithm-based crystal structure prediction (CSP) method and first-principles calculations to investigate the stability and superconductivity of ternary hydrides composed of (Y, Ce) and (La, Ce) under high pressure. Our calculations show that there are multiple stable phases in Y-Ce-H and La-Ce-H systems, among which $P4/mmm$-YCeH$_{8}$, $P\bar{6}m2$-YCeH$_{18}$, $R\bar{3}m$-YCeH$_{20}$, $P4/mmm$-LaCeH$_{8}$, and $R\bar{3}m$-LaCeH$_{20}$ possessing H$_{18}$, H$_{29}$ and H$_{32}$ clathrate structures can maintain both the thermodynamic and lattice-dynamic stabilities. In addition, we also find that these phases also maintain a strong resistance to decomposition at high temperature. Electron-phonon coupling calculations show that only three of these five phases can exhibit high-temperature superconductivity. The superconducting transition temperatures ($T_\mathrm{c}$) of $R\bar{3}m$-YCeH$_{20}$, $R\bar{3}m$-LaCeH$_{20}$, and $P\bar{6}m2$-YCeH$_{18}$ are predicted using the Allen-Dynes-modified McMillan formula to be 122 K at 300 GPa, 116 K at 250 GPa, and 173 K at 150 GPa, respectively. Moreover, the pressure to stabilize $P\bar{6}m2$-YCeH$_{18}$ can be lowered to 150 GPa, suggesting an accessible condition for its high-pressure synthesis.


title: SHAIL: Safety-Aware Hierarchical Adversarial Imitation Learning for Autonomous Driving in Urban Environments

abstract: Designing a safe and human-like decision-making system for an autonomous vehicle is a challenging task. Generative imitation learning is one possible approach for automating policy-building by leveraging both real-world and simulated decisions. Previous work that applies generative imitation learning to autonomous driving policies focuses on learning a low-level controller for simple settings. However, to scale to complex settings, many autonomous driving systems combine fixed, safe, optimization-based low-level controllers with high-level decision-making logic that selects the appropriate task and associated controller. In this paper, we attempt to bridge this gap in complexity by employing Safety-Aware Hierarchical Adversarial Imitation Learning (SHAIL), a method for learning a high-level policy that selects from a set of low-level controller instances in a way that imitates low-level driving data on-policy. We introduce an urban roundabout simulator that controls non-ego vehicles using real data from the Interaction dataset. We then demonstrate empirically that even with simple controller options, our approach can produce better behavior than previous approaches in driver imitation that have difficulty scaling to complex environments. Our implementation is available at https://github.com/sisl/InteractionImitation.


title: Algorithms for the ferromagnetic Potts model on expanders

abstract: We give algorithms for approximating the partition function of the ferromagnetic Potts model on $d$-regular expanding graphs. We require much weaker expansion than in previous works; for example, the expansion exhibited by the hypercube suffices. The main improvements come from a significantly sharper analysis of standard polymer models, using extremal graph theory and applications of Karger's algorithm to counting cuts that may be of independent interest. It is #BIS-hard to approximate the partition function at low temperatures on bounded-degree graphs, so our algorithm can be seen as evidence that hard instances of #BIS are rare. We believe that these methods can shed more light on other important problems such as sub-exponential algorithms for approximate counting problems.


title: Spontaneously broken supersymmetric fracton phases with fermionic subsystem symmetries

abstract: We construct a purely fermionic system with spontaneously broken supersymmetry that shares the common feature with a fracton phase of matter. Our model is gapless due to the Nambu-Goldstone mechanism. It shows a ground-state degeneracy with the "Area-law" entropy due to fermionic subsystem symmetries. In the strongly coupled limit, it becomes a variant of the Nicolai model, and the ground-state degeneracy shows the "Volume-law" entropy. Gauging the fermionic subsystem symmetry has an t'Hooft anomaly by itself, but the would-be gauged theory may possess a fermionic defect that is immobile in certain spatial directions.


title: Online No-regret Model-Based Meta RL for Personalized Navigation

abstract: The interaction between a vehicle navigation system and the driver of the vehicle can be formulated as a model-based reinforcement learning problem, where the navigation systems (agent) must quickly adapt to the characteristics of the driver (environmental dynamics) to provide the best sequence of turn-by-turn driving instructions. Most modern day navigation systems (e.g, Google maps, Waze, Garmin) are not designed to personalize their low-level interactions for individual users across a wide range of driving styles (e.g., vehicle type, reaction time, level of expertise). Towards the development of personalized navigation systems that adapt to a variety of driving styles, we propose an online no-regret model-based RL method that quickly conforms to the dynamics of the current user. As the user interacts with it, the navigation system quickly builds a user-specific model, from which navigation commands are optimized using model predictive control. By personalizing the policy in this way, our method is able to give well-timed driving instructions that match the user's dynamics. Our theoretical analysis shows that our method is a no-regret algorithm and we provide the convergence rate in the agnostic setting. Our empirical analysis with 60+ hours of real-world user data using a driving simulator shows that our method can reduce the number of collisions by more than 60%.


title: Affine surface area

abstract: We give an overview of the affine surface area, its properties and its history.


title: Random Double Tensors Integrals

abstract: In this work, we try to build a theory for random double tensor integrals (DTI). We begin with the definition of DTI and discuss how randomness structure is built upon DTI. Then, the tail bound of the unitarily invariant norm for the random DTI is established and this bound can help us to derive tail bounds of the unitarily invariant norm for various types of two tensors means, e.g., arithmetic mean, geometric mean, harmonic mean, and general mean. By associating DTI with perturbation formula, i.e., a formula to relate the tensor-valued function difference with respect the difference of the function input tensors, the tail bounds of the unitarily invariant norm for the Lipschitz estimate of tensor-valued function with random tensors as arguments are derived for vanilla case and quasi-commutator case, respectively. We also establish the continuity property for random DTI in the sense of convergence in the random tensor mean, and we apply this continuity property to obtain the tail bound of the unitarily invariant norm for the derivative of the tensor-valued function.


title: Cosmological phase transitions, gravitational waves and self-interacting dark matter in the singlet extension of MSSM

abstract: In the minimal supersymmetric standard model (MSSM) extended by a singlet superfield, when the coupling between the singlet sector and the MSSM sector is tiny, the singlet sector can be a quasi dark sector with supersymmetry (SUSY). We investigate the cosmological phenomena in this scenario and obtain the following observations: (i) In the parameter space solving the small cosmological scale anomalies via self-interacting singlino dark matter (SIDM), a first-order phase transition (FOPT) can readily happen but requires rather light dark matter below MeV; (ii) The corresponding parameter space indicated by FOPT and SIDM can be partially covered by detecting the phase-transition gravitational waves (GWs) at the near-future projects, such as LISA, TianQin and Taiji. Therefore, the recently developed GW astronomy could be a novel probe to such a SUSY scenario.


title: Optically Excited Two-Band Amplified Spontaneous Emission from a High-Current-Density Quantum-Dot LED

abstract: Laser diodes based on solution-processable materials could benefit numerous technologies including integrated electronics and photonics, telecommunication, and medical diagnostics. An attractive system for implementing these devices is colloidal semiconductor quantum dots (QDs). The primary challenge that hampered progress towards a QD laser diode (QLD) has been fast nonradiative Auger decay of optical-gain-active multicarrier states. Recently, this problem has been resolved by employing continuously graded QDs (cg-QDs) wherein Auger recombination is strongly suppressed. The use of these structures allowed for demonstrations of optical gain with electrical pumping and optically-excited lasing in multilayered LED-like devices. Here we report on achieving the next critical milestone towards a QLD, which is the demonstration of optically excited amplified spontaneous emission from a fully functional high-current density electroluminescent device. This advance has become possible due to excellent optical gain properties of novel 'compact' cg-QDs and a new LED architecture, which allows for concerted optimization of its optical and electrical properties. The results of this work strongly suggest the feasibility of the final step towards a functional QLD, which is the demonstration of lasing with electrical pumping.


title: Control Barrier Function Based Design of Gradient Flows for Constrained Nonlinear Programming

abstract: This paper considers the problem of designing a continuous-time dynamical system that solves a constrained nonlinear optimization problem and makes the feasible set forward invariant and asymptotically stable. The invariance of the feasible set makes the dynamics anytime, when viewed as an algorithm, meaning it returns a feasible solution regardless of when it is terminated. Our approach augments the gradient flow of the objective function with inputs defined by the constraint functions, treats the feasible set as a safe set, and synthesizes a safe feedback controller using techniques from the theory of control barrier functions. The resulting closed-loop system, termed safe gradient flow, can be viewed as a primal-dual flow, where the state corresponds to the primal variables and the inputs correspond to the dual ones. We provide a detailed suite of conditions based on constraint qualification under which (both isolated and nonisolated) local minimizers are stable with respect to the feasible set and the whole state space. Comparisons with other continuous-time methods for optimization in a simple example illustrate the advantages of the safe gradient flow.


title: High-Quality Pluralistic Image Completion via Code Shared VQGAN

abstract: PICNet pioneered the generation of multiple and diverse results for image completion task, but it required a careful balance between $\mathcal{KL}$ loss (diversity) and reconstruction loss (quality), resulting in a limited diversity and quality . Separately, iGPT-based architecture has been employed to infer distributions in a discrete space derived from a pixel-level pre-clustered palette, which however cannot generate high-quality results directly. In this work, we present a novel framework for pluralistic image completion that can achieve both high quality and diversity at much faster inference speed. The core of our design lies in a simple yet effective code sharing mechanism that leads to a very compact yet expressive image representation in a discrete latent domain. The compactness and the richness of the representation further facilitate the subsequent deployment of a transformer to effectively learn how to composite and complete a masked image at the discrete code domain. Based on the global context well-captured by the transformer and the available visual regions, we are able to sample all tokens simultaneously, which is completely different from the prevailing autoregressive approach of iGPT-based works, and leads to more than 100$\times$ faster inference speed. Experiments show that our framework is able to learn semantically-rich discrete codes efficiently and robustly, resulting in much better image reconstruction quality. Our diverse image completion framework significantly outperforms the state-of-the-art both quantitatively and qualitatively on multiple benchmark datasets.


title: On near-martingales and a class of anticipating linear SDEs

abstract: The primary goal of this paper is to prove a near-martingale optional stopping theorem and establish solvability and large deviations for a class of anticipating linear stochastic differential equations. We prove the existence and uniqueness of solutions using two approaches: (1) Ayed-Kuo differential formula using an ansatz, and (2) a novel braiding technique by interpreting the integral in the Skorokhod sense. We establish a Freidlin-Wentzell type large deviations result for solution of such equations.


title: You are what your parents expect: Height and local reference points

abstract: Recent estimates are that about 150 million children under five years of age are stunted, with substantial negative consequences for their schooling, cognitive skills, health, and economic productivity. Therefore, understanding what determines such growth retardation is significant for designing public policies that aim to address this issue. We build a model for nutritional choices and health with reference-dependent preferences. Parents care about the health of their children relative to some reference population. In our empirical model, we use height as the health outcome that parents target. Reference height is an equilibrium object determined by earlier cohorts' parents' nutritional choices in the same village. We explore the exogenous variation in reference height produced by a protein-supplementation experiment in Guatemala to estimate our model's parameters. We use our model to decompose the impact of the protein intervention on height into price and reference-point effects. We find that the changes in reference points account for 65% of the height difference between two-year-old children in experimental and control villages in the sixth annual cohort born after the initiation of the intervention.


title: Attention Distraction: Watermark Removal Through Continual Learning with Selective Forgetting

abstract: Fine-tuning attacks are effective in removing the embedded watermarks in deep learning models. However, when the source data is unavailable, it is challenging to just erase the watermark without jeopardizing the model performance. In this context, we introduce Attention Distraction (AD), a novel source data-free watermark removal attack, to make the model selectively forget the embedded watermarks by customizing continual learning. In particular, AD first anchors the model's attention on the main task using some unlabeled data. Then, through continual learning, a small number of \textit{lures} (randomly selected natural images) that are assigned a new label distract the model's attention away from the watermarks. Experimental results from different datasets and networks corroborate that AD can thoroughly remove the watermark with a small resource budget without compromising the model's performance on the main task, which outperforms the state-of-the-art works.


title: Nonlocal optimization of binary neural networks

abstract: We explore training Binary Neural Networks (BNNs) as a discrete variable inference problem over a factor graph. We study the behaviour of this conversion in an under-parameterized BNN setting and propose stochastic versions of Belief Propagation (BP) and Survey Propagation (SP) message passing algorithms to overcome the intractability of their current formulation. Compared to traditional gradient methods for BNNs, our results indicate that both stochastic BP and SP find better configurations of the parameters in the BNN.


title: Online matching games in bipartite expanders and applications

abstract: A bipartite graph has e-expansion up to K if every set S of at most K left nodes has at least e#S neighbors. If all left nodes have degree D and e is close to D, then the graph is a lossless expander. We show that such graphs allow for a polynomial time strategy in the following online matching game. An opponent switches left nodes on and off and, at any moment, at most K nodes may be on. An irrevocable match needs to be assigned to a node each time it is switched on. Using several variants of the game, we derive applications in data structures and switching networks. Namely, (a) 1-query bitprobe storage schemes for dynamic sets (previous schemes work only for static sets), (b) explicit space- and time-efficient storage schemes for static and dynamic sets with non-adaptive access to memory (previous schemes are non-explicit or use more space), and (c) non-explicit constant depth non-blocking N-connectors with poly(log N) time path finding algorithms whose size is optimal within a factor of O(log N), (previous connectors are double-exponentially slower).


title: $^{22}$Na Activation Level Measurements of Fused Silica Rods in the LHC Target Absorber for Neutrals (TAN) Compared to FLUKA Simulations

abstract: The Target Absorbers for Neutrals (TANs) are located in a high-intensity radiation environment inside the tunnel of the Large Hadron Collider (LHC). TANs are positioned about $140$ m downstream from the beam interaction points. Seven $40$ cm long fused silica rods with different dopant specifications were irradiated in the TAN by the Beam RAte of Neutrals (BRAN) detector group during $p$+$p$ data taking from 2016 to 2018 at the LHC. The peak dose delivered to the fused silica rods was $18$ MGy. We report measurements of the $^{22}$Na activation of the fused silica rods carried out at the University of Illinois at Urbana-Champaign and Argonne National Laboratory. At the end of the irradiation campaign, the maximum $^{22}$Na activity observed was $A=21$ kBq$/{\rm cm^3}$ corresponding to a density, $\rho= 2.5\times 10^{12} /{\rm cm^3}$, of $^{22}$Na nuclei. FLUKA Monte Carlo simulations have been performed by the CERN FLUKA team to estimate $^{22}$Na activities for the irradiated BRAN rod samples. The simulations reproduce the $^{22}$Na activity profile measured along the rods, with a 35% underestimation of the experimental measurement results.


title: Extremal results on feedback arc sets in digraphs

abstract: A directed graph is oriented if it can be obtained by orienting the edges of a simple, undirected graph. For an oriented graph $G$, let $\beta(G)$ denote the size of a minimum feedback arc set, a smallest subset of edges whose deletion leaves an acyclic subgraph. A simple consequence of a result of Berger and Shor is that any oriented graph $G$ with $m$ edges satisfies $\beta(G) = m/2 - \Omega(m^{3/4})$. We observe that if an oriented graph $G$ has a fixed forbidden subgraph $B$, the upper bound of $\beta(G) = m/2 - \Omega(m^{3/4})$ is best possible as a function of the number of edges if $B$ is not bipartite, but the exponent $3/4$ in the lower order term can be improved if $B$ is bipartite. We also show that for every rational number $r$ between $3/4$ and $1$, there is a finite collection of digraphs $\mathcal{B}$ such that every $\mathcal{B}$-free digraph $G$ with $m$ edges satisfies $\beta(G) = m/2 - \Omega(m^r)$, and this bound is best possible up to the implied constant factor. The proof uses a connection to Tur\'an numbers and a result of Bukh and Conlon. Both of our upper bounds come equipped with randomized linear-time algorithms that construct feedback arc sets achieving those bounds. Finally, we give a characterization of quasirandom directed graphs via minimum feedback arc sets.


title: Global existence and stability of time-periodic solution to isentropic compressible Euler equations with source term

abstract: In this paper, we study the initial-boundary value problem of one-dimensional isentropic compressible Euler equations with the source term $\beta\rho|u|^{\alpha}u$. By means of wave decomposition and the uniform a-priori estimates, we prove the global existence of smooth solutions under small perturbations around the supersonic Fanno flow. Then, by Gronwall's inequality, we get the smooth solution is time-periodic.


title: Planets Across Space and Time (PAST). III. Morphology of the Planetary Radius Valley as a Function of Stellar Age and Metallicity in the Galactic Context Revealed by the LAMOST-Gaia-Kepler Sample

abstract: The radius valley, a dip in the radius distribution of exoplanets at ~1.9 Earth radii separates compact rocky Super-Earths and Sub-Neptunes with lower density. Various hypotheses have been put forward to explain the radius valley. Characterizing the radius valley morphology and its correlation to stellar properties will provide crucial observation constraints on its origin mechanism and deepen the understanding of planet formation and evolution. In this paper, the third part of the Planets Across the Space and Time (PAST) series, using the LAMOST-Gaia-Kepler catalog, we perform a systematical investigation into how the radius valley morphology varies in the Galactic context, i.e., thin/thick galactic disks, stellar age and metallicity abundance ([Fe/H] and [alpha/Fe]). We find that (1) The valley becomes more prominent with the increase of both age and [Fe/H]. (2) The number ratio of super-Earths to sub-Neptunes monotonically increases with age but decreases with [Fe/H] and [alpha/Fe]. (3) The average radius of planets above the valley (2.1-6 Earth radii) decreases with age but increases with [Fe/H]. (4) In contrast, the average radius of planets below the valley (R < 1.7 Earth radii) is broadly independent on age and metallicity. Our results demonstrate that the valley morphology as well as the whole planetary radius distribution evolves on a long timescale of giga-years, and metallicities (not only Fe but also other metal elements, e.g., Mg, Si, Ca, Ti) play important roles in planet formation and in the long term planetary evolution.


title: Randomized matrix-free quadrature for spectrum and spectral sum approximation

abstract: We study randomized matrix-free quadrature algorithms for spectrum and spectral sum approximation. The algorithms studied are characterized by the use of a Krylov subspace method to approximate independent and identically distributed samples of $\mathbf{v}^{\mathsf{H}} f(\mathbf{A}) \mathbf{v}$, where $\mathbf{v}$ is an isotropic random vector, $\mathbf{A}$ is a Hermitian matrix, and $f(\mathbf{A})$ is a matrix function. This class of algorithms includes the kernel polynomial method and stochastic Lanczos quadrature, two widely used methods for approximating spectra and spectral sums. Our analysis, discussion, and numerical examples provide a unified framework for understanding randomized matrix-free quadrature algorithms and sheds light on the commonalities and tradeoffs between them. Moreover, this framework provides new insights into the practical implementation and use of these algorithms, particularly with regards to parameter selection in the kernel polynomial method.


title: Fault-Tolerant Deep Learning: A Hierarchical Perspective

abstract: With the rapid advancements of deep learning in the past decade, it can be foreseen that deep learning will be continuously deployed in more and more safety-critical applications such as autonomous driving and robotics. In this context, reliability turns out to be critical to the deployment of deep learning in these applications and gradually becomes a first-class citizen among the major design metrics like performance and energy efficiency. Nevertheless, the back-box deep learning models combined with the diverse underlying hardware faults make resilient deep learning extremely challenging. In this special session, we conduct a comprehensive survey of fault-tolerant deep learning design approaches with a hierarchical perspective and investigate these approaches from model layer, architecture layer, circuit layer, and cross layer respectively.


title: Unified Implicit Neural Stylization

abstract: Representing visual signals by implicit representation (e.g., a coordinate based deep network) has prevailed among many vision tasks. This work explores a new intriguing direction: training a stylized implicit representation, using a generalized approach that can apply to various 2D and 3D scenarios. We conduct a pilot study on a variety of implicit functions, including 2D coordinate-based representation, neural radiance field, and signed distance function. Our solution is a Unified Implicit Neural Stylization framework, dubbed INS. In contrary to vanilla implicit representation, INS decouples the ordinary implicit function into a style implicit module and a content implicit module, in order to separately encode the representations from the style image and input scenes. An amalgamation module is then applied to aggregate these information and synthesize the stylized output. To regularize the geometry in 3D scenes, we propose a novel self-distillation geometry consistency loss which preserves the geometry fidelity of the stylized scenes. Comprehensive experiments are conducted on multiple task settings, including novel view synthesis of complex scenes, stylization for implicit surfaces, and fitting images using MLPs. We further demonstrate that the learned representation is continuous not only spatially but also style-wise, leading to effortlessly interpolating between different styles and generating images with new mixed styles. Please refer to the video on our project page for more view synthesis results: https://zhiwenfan.github.io/INS.


title: Atomic structural characteristics and dynamical properties in monatomic metallic liquids via molecular dynamics simulations

abstract: Molecular dynamics simulations were performed for five monatomic metallic liquids and the atomic structural characteristics and dynamical properties were systematically investigated and compared for understanding the underlying structural basis of liquid properties, such as glass-forming ability. All simulated monatomic liquids exhibit similar structural characteristics and temperature evolution. However, the degree varies significantly in different liquids. It is found that the atomic structures in liquid Cu, Ta, and Fe are quite similar. However, liquid Ta exhibits more ordered and more densely packed structure features, with more populated icosahedral-like atomic ordering and five-fold HA indexes, less Voronoi entropy, and more regular tetrahedral configurations. Moreover, the increase of crystal-like clusters in liquid Ta slows down with decreasing temperature, and the icosahedral-like clusters increase more quickly, exceeding crystal-like ones, in contrast to other liquids. On the contrary, the atomic structures of liquid Al and Zr are more similar, much more disordered and more loosely packed. Furthermore, liquid Ta exhibits more slow and heterogeneous dynamics, which could be facilitated by the particular atomic structures of liquid Ta. Both the atomic structure and dynamics features in liquid Ta favor its glass formation. Our findings provide comprehensive structural and dynamical information for better understanding GFA and crystallization in these typical monatomic liquids.


title: Mapping class groups of manifolds with boundary are of finite type

abstract: In this note we prove that the mapping class group of a compact topological manifold $M$ with boundary is of finite type, under assumptions on its dimension and connectivity.


title: Chain duality for categories over complexes

abstract: We show that the additive category of chain complexes parametrized by a finite simplicial complex $K$ forms a category with chain duality. This fact, never fully proven in the original reference, is fundamental for Ranicki's algebraic formulation of the surgery exact sequence of Sullivan and Wall, and his interpretation of the surgery obstruction map as the passage from local Poincar\'e duality to global Poincar\'e duality. Our paper also gives a new, conceptual, and geometric treatment of chain duality on $K$-based chain complexes.


title: Tournaments and Even Graphs are Equinumerous

abstract: A graph is called odd if there is an orientation of its edges and an automorphism that reverses the sense of an odd number of its edges, and even otherwise. Pontus von Br\"omssen (n\'e Andersson) showed that the existence of such an automorphism is independent of the orientation, and considered the question of counting pairwise non-isomorphic even graphs. Based on computational evidence, he made the rather surprising conjecture that the number of pairwise non-isomorphic even graphs on $n$ vertices is equal to the number of pairwise non-isomorphic tournaments on $n$ vertices. We prove this conjecture using a counting argument with several applications of the Cauchy-Frobenius Theorem.


title: Large deviations and fluctuation theorems for cycle currents defined in the loop-erased and spanning tree manners: a comparative study

abstract: The cycle current is a crucial quantity in stochastic thermodynamics. The absolute and net cycle currents of a Markovian system can be defined in the loop-erased (LE) or spanning tree (ST) manner. Here we make a comparative study between the large deviations and fluctuation theorems for LE and ST currents, i.e. cycle currents defined in the LE and ST manners. First, we derive the exact joint distribution and large deviation rate function for the LE currents of a system with a cyclic topology and also obtain the exact rate function for the ST currents of a general system. The relationship between the rate functions for LE and ST currents is clarified and the analytical results are applied to examine the fluctuations in the product rate of a three-step reversible enzyme reaction. Furthermore, we examine various types of fluctuation theorems satisfied by LE and ST currents and clarify their ranges of applicability. We show that both the absolute and net LE currents satisfy the strong form of all types of fluctuation theorems. In contrast, the absolute ST currents do not satisfy fluctuation theorems, while the net ST currents only satisfy the weak form of fluctuation theorems under the periodic boundary condition.


title: Quantum spin Hall effect in two-dimensional metals without spin-orbit coupling

abstract: The quantum spin Hall effect has been observed in topological insulators using spin-orbit coupling as the probe, but it has not yet been observed in a metal. An experiment is proposed to measure the quantum spin Hall effect of an electron or hole in a two-dimensional (2D) metal by using the previously unexplored but relativistically generated 2D quantum spin Hall Hamiltonian, but without using spin-orbit coupling. A long cylindrical solenoid lies normally through the inner radius of a 2D metallic Corbino disk. The current $I_S$ surrounding the solenoid produces an azimuthal magnetic vector potential but no magnetic field in the disk. In addition, a radial electric field is generated across the disk by imposing either (a) a potential difference $\Delta v$ or (b) a radial charge current ${\bm I}$ across its inner and outer radii. Combined changes in $I_S$ and in either $\Delta v$ or ${\bm I}$ generate spontaneously quantized azimuthal charge and spin currents. The experiment is designed to measure these quantized azimuthal charge and spin currents in the disk consistently. The quantum Hamiltonians for experiments (a) and (b) are both solved exactly. A method to control the Joule heating is presented, which could potentially allow the quantum spin Hall measurements to be made at room temperature. Extensions of this design to an array of thermally-managed solenoids, each surrounded by thermally-managed stacks of 2D metallic Corbino disks, could function as a quantum computer that could potentially operate at room temperature.


title: Digital Twin Virtualization with Machine Learning for IoT and Beyond 5G Networks: Research Directions for Security and Optimal Control

abstract: Digital twin (DT) technologies have emerged as a solution for real-time data-driven modeling of cyber physical systems (CPS) using the vast amount of data available by Internet of Things (IoT) networks. In this position paper, we elucidate unique characteristics and capabilities of a DT framework that enables realization of such promises as online learning of a physical environment, real-time monitoring of assets, Monte Carlo heuristic search for predictive prevention, on-policy, and off-policy reinforcement learning in real-time. We establish a conceptual layered architecture for a DT framework with decentralized implementation on cloud computing and enabled by artificial intelligence (AI) services for modeling, event detection, and decision-making processes. The DT framework separates the control functions, deployed as a system of logically centralized process, from the physical devices under control, much like software-defined networking (SDN) in fifth generation (5G) wireless networks. We discuss the moment of the DT framework in facilitating implementation of network-based control processes and its implications for critical infrastructure. To clarify the significance of DT in lowering the risk of development and deployment of innovative technologies on existing system, we discuss the application of implementing zero trust architecture (ZTA) as a necessary security framework in future data-driven communication networks.


title: Reduced models for electron magnetohydrodynamics: well-posedness and singularity formation

abstract: We propose some one-dimensional reduced models for the three-dimensional electron magnetohydrodynamics which involves a highly nonlinear Hall term with intricate structure. The models contain nonlocal nonlinear terms. Local well-posedness is obtained in certain circumstances. In contrast, for a model with nonlocal transport term, we show that finite time singularity may occur for some initial data.