title: Benchmarking magnetized three-wave coupling for laser backscattering: Analytic solutions and kinetic simulations

abstract: Understanding magnetized laser-plasma interactions is important for controlling magneto-inertial fusion experiments and developing magnetically assisted radiation and particle sources. In the long-pulse regime, interactions are dominated by coherent three-wave interactions, whose nonlinear coupling coefficients become known only recently when waves propagate at oblique angles with the magnetic field. In this paper, backscattering coupling coefficients predicted by warm-fluid theory is benchmarked using particle-in-cell simulations in one spatial dimension, and excellent agreements are found for a wide range of plasma temperatures, magnetic field strengths, and laser propagation angles, when the interactions are mediated by electron-dominant hybrid waves. Systematic comparisons between theory and simulations are made possible by a rigorous protocol: On the theory side, the initial boundary value problem of linearized three-wave equations is solved, and the transient-time solutions allow effects of growth and damping to be distinguished. On the simulation side, parameters are carefully chosen and calibration runs are performed to ensure that stimulated runs are well controlled. Fitting simulation data to analytical solutions yields numerical growth rates, which match theory predictions within error bars. Although warm-fluid theory is found to be valid for a wide parameter range, genuine kinetic effects have also been observed.


title: Evolving Label Usage within Generation Z when Self-Describing Sexual Orientation

abstract: Evaluating change in ranked term importance in a growing corpus is a powerful tool for understanding changes in vocabulary usage. In this paper, we analyze a corpus of free-response answers where 33,993 LGBTQ Generation Z respondents from age 13 to 24 in the United States are asked to self-describe their sexual orientation. We observe that certain labels, such as bisexual, pansexual, and lesbian, remain equally important across age groups. The importance of other labels, such as homosexual, demisexual, and omnisexual, evolve across age groups. Although Generation Z is often stereotyped as homogenous, we observe noticeably different label usage when self-describing sexual orientation within it. We urge that interested parties must routinely survey the most important sexual orientation labels to their target audience and refresh their materials (such as demographic surveys) to reflect the constantly evolving LGBTQ community and create an inclusive environment.


title: Modeling and analysis of social phenomena: challenges and possible research directions

abstract: This opening editorial aims to interest researchers and encourage novel research in the closely related fields of sociophysics and computational social science. We briefly discuss challenges and possible research directions in the study of social phenomena, with a particular focus on opinion dynamics. The aim of this special issue is to allow physicists, mathematicians, engineers and social scientists to show their current research interests in social dynamics, as well as to collect recent advances and new techniques in the analysis of social systems.


title: Highly Flexible and Modular Simulation Framework for Magnetic Particle Imaging

abstract: Simulations with high accuracy are an essential part of scientific research to accelerate the innovation process. They are especially useful for finding novel approaches or optimizing existing methods. Today, powerful software tools are available consisting of multiple packages with a wide variety of features, methods, and models meet the requirements for different questions in multiple fields of research. Unfortunately, the complexity and often inflexibility of such unspecific software tools can hinder an optimal workflow. Especially in the case of a novel research fields, e.g., Magnetic Particle Imaging (MPI), the requirements on a software tool are a high degree of flexibility paired with a manageable number of highly specific features to provide fast and easy access. Thus, often research sites generates their own software solution to address their specific demands. Until now, only few simulation frameworks are available, which partially fulfil most requirements of the young field of MPI. However, the coverage of the entire process of emulating a full MPI experiment from magnetic field and particle dynamic simulations, hardware and sequence programming over signal generation and data processing to final reconstruction and visualization combined with an easy-to-use graphical user interface (GUI) and without the need of complex combination of different software packages cannot be found in the literature or MPI community so far. With the presented modular simulation framework consisting of multiple interconnected software packages to specific purposes, all necessary simulation steps are provided. The high degree of flexibility and modularity allow the simulation and emulation of almost any kind of MPI scanners known in the MPI community. Furthermore, the modular framework allows an easy connection of third-party software using dedicated interfaces between important steps.


title: PGNAA Spectral Classification of Metal with Density Estimations

abstract: For environmental, sustainable economic and political reasons, recycling processes are becoming increasingly important, aiming at a much higher use of secondary raw materials. Currently, for the copper and aluminium industries, no method for the non-destructive online analysis of heterogeneous materials are available. The Prompt Gamma Neutron Activation Analysis (PGNAA) has the potential to overcome this challenge. A difficulty when using PGNAA for online classification arises from the small amount of noisy data, due to short-term measurements. In this case, classical evaluation methods using detailed peak by peak analysis fail. Therefore, we propose to view spectral data as probability distributions. Then, we can classify material using maximum log-likelihood with respect to kernel density estimation and use discrete sampling to optimize hyperparameters. For measurements of pure aluminium alloys we achieve near perfect classification of aluminium alloys under 0.25 second.


title: Digital Quantum Simulation, Learning of the Floquet Hamiltonian, and Quantum Chaos of the Kicked Top

abstract: The kicked top is one of the paradigmatic models in the study of quantum chaos~[F.~Haake et al., \emph{Quantum Signatures of Chaos (Springer Series in Synergetics vol 54)} (2018)]. Recently it has been shown that the onset of quantum chaos in the kicked top can be related to the proliferation of Trotter errors in digital quantum simulation (DQS) of collective spin systems. Specifically, the proliferation of Trotter errors becomes manifest in expectation values of few-body observables strongly deviating from the target dynamics above a critical Trotter step, where the spectral statistics of the Floquet operator of the kicked top can be predicted by random matrix theory. In this work, we study these phenomena in the framework of Hamiltonian learning (HL). We show how a recently developed Hamiltonian learning protocol can be employed to reconstruct the generator of the stroboscopic dynamics, i.e., the Floquet Hamiltonian, of the kicked top. We further show how the proliferation of Trotter errors is revealed by HL as the transition to a regime in which the dynamics cannot be approximately described by a low-order truncation of the Floquet-Magnus expansion. This opens up new experimental possibilities for the analysis of Trotter errors on the level of the generator of the implemented dynamics, that can be generalized to the DQS of quantum many-body systems in a scalable way. This paper is in memory of our colleague and friend Fritz Haake.


title: Towards Adversarial Purification using Denoising AutoEncoders

abstract: With the rapid advancement and increased use of deep learning models in image identification, security becomes a major concern to their deployment in safety-critical systems. Since the accuracy and robustness of deep learning models are primarily attributed from the purity of the training samples, therefore the deep learning architectures are often susceptible to adversarial attacks. Adversarial attacks are often obtained by making subtle perturbations to normal images, which are mostly imperceptible to humans, but can seriously confuse the state-of-the-art machine learning models. We propose a framework, named APuDAE, leveraging Denoising AutoEncoders (DAEs) to purify these samples by using them in an adaptive way and thus improve the classification accuracy of the target classifier networks that have been attacked. We also show how using DAEs adaptively instead of using them directly, improves classification accuracy further and is more robust to the possibility of designing adaptive attacks to fool them. We demonstrate our results over MNIST, CIFAR-10, ImageNet dataset and show how our framework (APuDAE) provides comparable and in most cases better performance to the baseline methods in purifying adversaries. We also design adaptive attack specifically designed to attack our purifying model and demonstrate how our defense is robust to that.


title: Bounded lightcone and robust topological order out of equilibrium

abstract: The ground state degeneracy of topologically ordered gapped Hamiltonians is the bedrock for a quantum error-correcting code with macroscopic distance, which is unfortunately not stable away from equilibrium. In this work, we show that the presence of a bounded lightcone preserves topological order. As a quantum code, the initial ground space will keep its macroscopic distance during unitary time evolution. We also show how a bounded lightcone can emerge through suitable perturbations in the two-dimensional toric code. Our results suggest that topological quantum memory can be dynamically robust at zero temperature.


title: Perfusion assessment via local remote photoplethysmography (rPPG)

abstract: This paper presents an approach to assess the perfusion of visible human tissue from RGB video files. We propose metrics derived from remote photoplethysmography (rPPG) signals to detect whether a tissue is adequately supplied with blood. The perfusion analysis is done in three different scales, offering a flexible approach for different applications. We perform a plane-orthogonal-to-skin rPPG independently for locally defined regions of interest on each scale. From the extracted signals, we derive the signal-to-noise ratio, magnitude in the frequency domain, heart rate, perfusion index as well as correlation between specific rPPG signals in order to locally assess the perfusion of a specific region of human tissue. We show that locally resolved rPPG has a broad range of applications. As exemplary applications, we present results in intraoperative perfusion analysis and visualization during skin and organ transplantation as well as an application for liveliness assessment for the detection of presentation attacks to authentication systems.


title: Visual-Imagery-Based Analogical Construction in Geometric Matrix Reasoning Task

abstract: Raven's Progressive Matrices is a family of classical intelligence tests that have been widely used in both research and clinical settings. There have been many exciting efforts in AI communities to computationally model various aspects of problem solving such figural analogical reasoning problems. In this paper, we present a series of computational models for solving Raven's Progressive Matrices using analogies and image transformations. We run our models following three different strategies usually adopted by human testees. These models are tested on the standard version of Raven's Progressive Matrices, in which we can solve 57 out 60 problems in it. Therefore, analogy and image transformation are proved to be effective in solving RPM problems.


title: Fast protein folding is governed by memory-dependent friction

abstract: When described by a low-dimensional reaction coordinate, the rates of protein folding are determined by a subtle interplay between free-energy barriers and friction. While it is commonplace to extract free-energy profiles from molecular trajectories, a direct evaluation of friction is far more elusive, and one typically evaluates it indirectly via memoryless reaction rate theories. Here, using memory-kernel extraction methods founded on a generalised Langevin equation (GLE) formalism, we directly calculate the memory-dependent friction for eight fast-folding proteins, taken from a published set of large-scale molecular dynamics protein simulations. Our results reveal that, contrary to common expectation, friction is more important than free energy barriers in determining protein folding rates, particularly for larger proteins. We also show that proteins fold in a regime where the finite decay time of friction significantly reduces the folding times, in some instances by as much as a factor of 10, compared to predictions based on memoryless friction.


title: Provably Stabilizing Model-Free Q-Learning for Unknown Bilinear Systems

abstract: In this paper, we present a provably convergent Model-Free ${Q}$-Learning algorithm that learns a stabilizing control policy for an unknown Bilinear System from a single online run. Given an unknown bilinear system, we study the interplay between its equivalent control-affine linear time-varying and linear time-invariant representations to derive i) from Pontryagin's Minimum Principle, a pair of point-to-point model-free policy improvement and evaluation laws that iteratively solves for an optimal state-dependent control policy; and ii) the properties under which the state-input data is sufficient to characterize system behavior in a model-free manner. We demonstrate the performance of the proposed algorithm via illustrative numerical examples and compare it to the model-based case.


title: Mitigating the effects of instrumental artifacts on source localizations

abstract: Instrumental artifacts in gravitational-wave strain data can overlap with gravitational-wave detections and significantly impair the accuracy of the measured source localizations. These biases can prevent the detection of any electromagnetic counterparts to the detected gravitational wave. We present a method to mitigate the effect of instrumental artifacts on the measured source localization. This method uses inpainting techniques to remove data containing the instrumental artifact and then correcting for the data removal in the subsequent analysis of the data. We present a series of simulations using this method using a variety of signal classes and inpainting parameters which test the effectiveness of this method and identify potential limitations. We show that in the vast majority of scenarios, this method can robustly localize gravitational-wave signals even after removing portions of the data. We also demonstrate how an instrumental artifact can bias the measured source location and how this method can be used to mitigate this bias.


title: Gyrokinetic Simulations Compared with Magnetic Fluctuations Diagnosed with a Faraday-Effect Radial Interferometer-Polarimeter in the DIII-D pedestal

abstract: Experimental data on electromagnetic fluctuations in DIII-D, made available by the Faraday-effect Radial Interferometer-Polarimeter (RIP) diagnostic, is examined in comparison with detailed gyrokinetic simulations using Gyrokinetic Electromagnetic Numerical Experiment (GENE). The diagnostic has the unique capability of making internal measurements of fluctuating magnetic fields $\frac{\int n_e \delta B_r dR}{\int n_e dR}$. Local linear simulations identify microtearing modes (MTMs) over a substantial range of toroidal mode numbers (peaking at $n=15$) with frequencies in good agreement with the experimental data. Local nonlinear simulations reinforce this result by producing a magnetic frequency spectrum in good agreement with that diagnosed by RIP. Simulated heat fluxes are in the range of experimental expectations. However, magnetic fluctuation amplitudes are substantially lower than the experimental expectations. Possible sources of this discrepancy are discussed, notably the fact that the diagnostics are localized at the mid-plane -- the poloidal location where the simulations predict the fluctuation amplitudes to be smallest. Despite some discrepancies, several connections between simulations and experiments, combined with general criteria discriminating between potential pedestal instabilities, strongly point to MTMs as the source of the observed magnetic fluctuations.


title: Understanding the rheology of kaolinite clay suspensions using Bayesian inference

abstract: Mud is a suspension of fine-grained particles (sand, silt, and clay) in water. The interaction of clay minerals in mud gives rise to complex rheological behaviors, such as yield stress, thixotropy and viscoelasticity. Here, we experimentally examine the flow behaviors of kaolinite clay suspensions, a model mud, using steady shear rheometry. The flow curves exhibit both yield stress and rheological hysteresis behaviors for various kaolinite volume fractions ($\phi_k$). Further understanding of these behaviors requires fitting to existing constitutive models, which is challenging due to numerous fitting parameters. To this end, we employ a Bayesian inference method, Markov chain Monte Carlo (MCMC), to fit the experimental flow curves to a microstructural viscoelastic model. The method allows us to estimate the rheological properties of the clay suspensions, such as viscosity, yield stress, and relaxation time scales. The comparison of the inherent relaxation time scales suggests that kaolinite clay suspensions are strongly viscoelastic and weakly thixotropic at relatively low $\phi_k$, while being almost inelastic and purely thixotropic at high $\phi_k$. Overall, our results provide a framework for predictive model fitting to elucidate the rheological behaviors of natural materials and other structured fluids.


title: The Graded Extension of Thomas-Whitehead Gravity

abstract: Thomas-Whitehead (TW) gravity was recently introduced as a projective gauge theory of gravity over a d-dimensional manifold that embeds reparameterization invariance into the action functional for gravitation through the use of the Thomas-Whitehead connection. The projective invariance in this d-dimensional theory enjoys an intimate relationship with the Virasoro coadjoint elements found in string theory as one of the components of the connection, $\mathcal{D}_{ab}$, is directly related to the coadjoint elements of the Virasoro algebra. TW Gravity exploits projective Gauss-Bonnet terms in the action functional which allows the theory to collapse to Einstein's theory of General Relativity in the limit that $\mathcal{D}_{ab }$ vanishes. In this note we develop the graded extension of TW Gravity, Super TW Gravity, in the framework of a DeWitt supermanifold. We construct the Lagrangian for Super TW Gravity, give a detailed derivation of the classical field equations and discuss the graded extension of the projective connection as a prelude to a future understanding of TW-Supergravity (which has manifest supersymmetry) and its relationship to the Super-Virasoro algebra.


title: ProspectNet: Weighted Conditional Attention for Future Interaction Modeling in Behavior Prediction

abstract: Behavior prediction plays an important role in integrated autonomous driving software solutions. In behavior prediction research, interactive behavior prediction is a less-explored area, compared to single-agent behavior prediction. Predicting the motion of interactive agents requires initiating novel mechanisms to capture the joint behaviors of the interactive pairs. In this work, we formulate the end-to-end joint prediction problem as a sequential learning process of marginal learning and joint learning of vehicle behaviors. We propose ProspectNet, a joint learning block that adopts the weighted attention score to model the mutual influence between interactive agent pairs. The joint learning block first weighs the multi-modal predicted candidate trajectories, then updates the ego-agent's embedding via cross attention. Furthermore, we broadcast the individual future predictions for each interactive agent into a pair-wise scoring module to select the top $K$ prediction pairs. We show that ProspectNet outperforms the Cartesian product of two marginal predictions, and achieves comparable performance on the Waymo Interactive Motion Prediction benchmarks.


title: An Effective Technique for Increasing Capacity and Improving Bandwidth in 5G NB-IoT

abstract: With hundreds of billions of the IoT connected devices, it is important for researchers to create effective resource management approach to satisfy the quality of service (QoS) requirements of 5th generation (5G) and beyond. Furthermore, wireless spectrum is increasingly scarce as demand for wireless services develops, demanding imaginative approaches to increase capacity within a limited spectral resource in order to meet service demands. In this article, the modified symbol time compression (M-STC) technique is suggested to paves the way for 5G networks and beyond to enhance the capacity and throughput. The M-STC method is a compressed signal waveform technique that increases the capacity by compressing the occupied bandwidth without increasing the complexity, losing data throughput or bit error rate (BER) performance. A comparative analysis is provided between the traditional orthogonal frequency division multiplexing (OFDM) system, OFDM using conventional symbol time compression (C-STC-OFDM) and OFDM using the proposed technique (M-STC-OFDM). The simulation results using Matlab-2021a show that the suggested method, M-STC-OFDM, drastically lowers the time needed for each OFDM signal by 75%. As a consequence, the M-STC-OFDM system decreases bandwidth (BW) by 75% when compared to a standard OFDM system (BW_OFDM = 180 kHz and BW_M-STC-OFDM = 45 kHz), while the C-STC-OFDM system reduces BW by 50% (BW_C-STC-OFDM = 90 kHz). Furthermore, using the M-STC-OFDM system reduces peak to average-power-ratio (PAPR) by 2.09 dB when compared to the standard OFDM system and 1.18 dB when compared to C-STC-OFDM with no BER deterioration. Moreover, as compared to the 16QAM-OFDM system, the proposed M-STC-OFDM system reduces the signal-to-noise-ratio (SNR) by 3.8 dB to transmit the same amount of data.


title: AMR-MUL: An Approximate Maximally Redundant Signed Digit Multiplier

abstract: In this paper, we present an energy-efficient, yet high-speed approximate maximally redundant signed digit (MRSD) multiplier (called AMR-MUL) based on a parallel structure. For the reduction stage, we suggest several approximate Full-Adder (FA) reduction cells with average positive and negative errors obtained by simplifying the structure of an exact FA cell. The optimum selection of these cells for each partial product reduction stage provides the lowest possible error, turning this task into a design space exploration problem. We also provide a branch-and-bound design space exploration algorithm to find the optimal assignment of reduction cells based on a predefined constraint (i.e., the width of the approximate part) by the user. The effectiveness of the proposed (Radix-16) multiplier design is assessed under different digit counts and approximate border column. The results show that the energy consumption of the MRSD multiplier is reduced by 7x at the cost of a 1.6% accuracy loss.


title: Evolution of Cosmic Voids in the Schrodinger-Poisson Formalism

abstract: We investigate the evolution of cosmic voids in the Schrodinger Poisson formalism, finding wave mechanical solutions for the dynamics in a standard cosmological background with appropriate boundary conditions. We compare the results in this model to those obtained using the Zel'dovich approximation. We discuss the advantages of studying voids in general and the advantages of the Schrodinger Poisson description over other approaches. In particular, emphasizing the utility of the free particle approximation. We also discuss a dimensionless number, similar to the Reynolds number, for this system which allows our void solutions to be scaled to systems of different physical dimensions.


title: Segal conditions for generalized operads

abstract: This note is an introduction to several generalizations of the dendroidal sets of Moerdijk--Weiss. Dendroidal sets are presheaves on a category of rooted trees, and here we consider indexing categories whose objects are other kinds of graphs with loose ends. We examine the Segal condition for presheaves on these graph categories, which is one way to identify those presheaves that are a certain kind of generalized operad (for instance wheeled properad or modular operad). Several free / forgetful adjunctions between different kinds of generalized operads can be realized at the presheaf level using only the left Kan extension / restriction adjunction along a functor of graph categories. These considerations also have bearing on homotopy-coherent versions of generalized operads, and we include some questions along these lines.


title: Regret-free truth-telling voting rules

abstract: We study the ability of different classes of voting rules to induce agents to report their preferences truthfully, if agents want to avoid regret. First, we show that regret-free truth-telling is equivalent to strategy-proofness among tops-only rules. Then, we focus on three important families of (non-tops-only) voting methods: maxmin, scoring, and Condorcet consistent ones. We prove positive and negative results for both neutral and anonymous versions of maxmin and scoring rules. In several instances we provide necessary and sufficient conditions. We also show that Condorcet consistent rules that satisfy a mild monotonicity requirement are not regret-free truth-telling. Successive elimination rules fail to be regret-free truth-telling despite not satisfying the monotonicity condition. Lastly, we provide two characterizations for the case of three alternatives and two agents.


title: Microscopic motility of isolated E. coli flagella

abstract: The fluctuation-dissipation theorem describes the intimate connection between the Brownian diffusion of thermal particles and their drag coefficients. In the simple case of spherical particles, it takes the form of the Stokes-Einstein relationship that links the particle geometry, fluid viscosity, and diffusive behavior. However, studying the fundamental properties of microscopic asymmetric particles, such as the helical-shaped propeller used by $\textit{E. coli}$, has remained out of reach for experimental approaches due to the need to quantify correlated translation and rotation simultaneously with sufficient spatial and temporal resolution. To solve this outstanding problem, we generated volumetric movies of fluorophore-labeled, freely diffusing, isolated $\textit{E. Coli}$ flagella using oblique plane microscopy. From these movies, we extracted trajectories and determined the hydrodynamic propulsion matrix directly from the diffusion of flagella via a generalized Einstein relation. Our results validate prior proposals, based on macroscopic wire helices and low Reynolds number scaling laws, that the average flagellum is a highly inefficient propeller. Specifically, we found the maximum propulsion efficiency of flagella is less than 5%. Beyond extending Brownian motion analysis to asymmetric 3D particles, our approach opens new avenues to study the propulsion matrix of particles in complex environments where direct hydrodynamic approaches are not feasible.


title: Determining a Points Configuration on the Line from a Subset of the Pairwise Distances

abstract: We investigate rigidity-type problems on the real line and the circle in the non-generic setting. Specifically, we consider the problem of uniquely determining the positions of $n$ distinct points $V = {v_1, \ldots, v_n}$ given a set of mutual distances $\mathcal{P} \subseteq {V \choose 2}$. We establish an extremal result: if $|\mathcal{P}| = \Omega(n^{3/2})$, then the positions of a large subset $V' \subseteq V$, where large means $|V'| = \Omega(\frac{|\mathcal{P}|}{n})$, can be uniquely determined up to isometry. As a main ingredient in the proof, which may be of independent interest, we show that dense graphs $G=(V,E)$ for which every two non-adjacent vertices have only a few common neighbours must have large cliques. Furthermore, we examine the problem of reconstructing $V$ from a random distance set $\mathcal{P}$. We establish that if the distance between each pair of points is known independently with probability $p = \frac{C \ln(n)}{n}$ for some universal constant $C > 0$, then $V$ can be reconstructed from the distances with high probability. We provide a randomized algorithm with linear expected running time that returns the correct embedding of $V$ to the line with high probability. Since we posted a preliminary version of the paper on arxiv, follow-up works have improved upon our results in the random setting. Gir\~ao, Illingworth, Michel, Powierski, and Scott proved a hitting time result for the first moment at which an time at which one can reconstruct $V$ when $\mathcal{P}$ is revealed using the Erd\"os--R\'enyi evolution, our extremal result lies in the heart of their argument. Montgomery, Nenadov and Szab\'o resolved a conjecture we posed in a previous version and proved that w.h.p a graph sampled from the Erd\"os--R\'enyi evolution becomes globally rigid in $\mathbb{R}$ at the moment it's minimum degree is $2$.


title: Delay-aware Robust Control for Safe Autonomous Driving and Racing

abstract: Delays endanger safety of autonomous systems operating in a rapidly changing environment, such as nondeterministic surrounding traffic participants in autonomous driving and high-speed racing. Unfortunately, delays are typically not considered during the conventional controller design or learning-enabled controller training phases prior to deployment in the physical world. In this paper, the computation delay from nonlinear optimization for motion planning and control, as well as other unavoidable delays caused by actuators, are addressed systematically and unifiedly. To deal with all these delays, in our framework: 1) we propose a new filtering approach with no prior knowledge of dynamics and disturbance distribution to adaptively and safely estimate the time-variant computation delay; 2) we model actuation dynamics for steering delay; 3) all the constrained optimization is realized in a robust tube model predictive controller. For the application merits, we demonstrate that our approach is suitable for both autonomous driving and autonomous racing. Our approach is a novel design for a standalone delay compensation controller. In addition, in the case that a learning-enabled controller assuming no delay works as a primary controller, our approach serves as the primary controller's safety guard.


title: Multiresolution categorical regression for interpretable cell type annotation

abstract: In many categorical response regression applications, the response categories admit a multiresolution structure. That is, subsets of the response categories may naturally be combined into coarser response categories. In such applications, practitioners are often interested in estimating the resolution at which a predictor affects the response category probabilities. In this article, we propose a method for fitting the multinomial logistic regression model in high dimensions that addresses this problem in a unified and data-driven way. In particular, our method allows practitioners to identify which predictors distinguish between coarse categories but not fine categories, which predictors distinguish between fine categories, and which predictors are irrelevant. For model fitting, we propose a scalable algorithm that can be applied when the coarse categories are defined by either overlapping or nonoverlapping sets of fine categories. Statistical properties of our method reveal that it can take advantage of this multiresolution structure in a way existing estimators cannot. We use our method to model cell type probabilities as a function of a cell's gene expression profile (i.e., cell type annotation). Our fitted model provides novel biological insights which may be useful for future automated and manual cell type annotation methodology.


title: Unitary evolution for a two-level quantum system in fractional-time scenario

abstract: The time-evolution operator obtained from the fractional-time Schr\"{o}dinger equation (FTSE) is said to be non-unitary since it does not preserve the norm of the vector state in time. As done in the time-dependent non-Hermitian quantum formalism, for a traceless non-Hermitian two-level quantum system, we demonstrate that it is possible to map the non-unitary time-evolution operator in a unitary one. It is done by considering a dynamical Hilbert space with a time-dependent metric operator, constructed from a Hermitian time-dependent Dyson map, in respect to which the system evolves in a unitary way, and the standard quantum mechanics interpretation can be made properly. To elucidate our approach, we consider three examples of Hamiltonian operators and their corresponding unitary dynamics obtained from the solutions of FTSE, and the respective Dyson maps.


title: Morse subsets of injective spaces are strongly contracting

abstract: We show that a quasi-geodesic in an injective metric space is Morse if and only if it is strongly contracting. Since mapping class groups and, more generally, hierarchically hyperbolic groups act properly and coboundedly on injective metric spaces, we deduce various consequences relating, for example, to growth tightness and genericity of pseudo-Anosovs/Morse elements. Moreover, we show that injective metric spaces have the Morse local-to-global property and that a non-virtually-cyclic group acting properly and coboundedly on an injective metric space is acylindrically hyperbolic if and only it contains a Morse ray.


title: Complex-Frequency Synchronization of Converter-Based Power Systems

abstract: In this paper, we study phase-amplitude multivariable dynamics in converter-based power systems from a complex-frequency perspective. Complex frequency represents the rate of change of voltage amplitude and phase angle by its real and imaginary parts, respectively. This emerging notion is of significance as it accommodates the multivariable characteristics of power networks where active and reactive power are inherently coupled with both voltage amplitude and phase. We propose the notion of complex-frequency synchronization to study the phase-amplitude multivariable stability issue in a power system with dispatchable virtual oscillator-controlled (dVOC) converters. To achieve this, we separate the system into linear fast dynamics and approximately linear slow dynamics. The linearity property makes it tractable to analyze fast complex-frequency synchronization and slower voltage stabilization. From the perspective of complex frequency and complex-frequency synchronization, we provide novel insights into the equivalence of dVOC and complex-power-frequency droop control, stability analysis methods, and stability criteria. Our study offers a practical solution to address challenging stability issues in converter-based power systems.


title: Quantum Noise as a Symmetry-Breaking Field

abstract: We investigate the effect of quantum noise on the measurement-induced quantum phase transition in monitored random quantum circuits. Using the efficient simulability of random Clifford circuits, we find that the transition is broadened into a crossover and that the phase diagram as a function of projective measurements and noise exhibits several distinct regimes. We show that a mapping to a classical statistical mechanics problem accounts for the main features of the random circuit phase diagram. The bulk noise maps to an explicit permutation symmetry breaking coupling; this symmetry is spontaneously broken when the noise is switched off. These results have implications for the realization of entanglement transitions in noisy quantum circuits.


title: Strain engineering a persistent spin helix with infinite spin lifetime

abstract: Persistent spin textures (PSTs) in solid-state materials arise from a unidirectional spin-orbit field in momentum space and offer a route to deliver long carrier spin lifetimes sought for future quantum microelectronic devices. Nonetheless, few three-dimensional materials are known to host PSTs owing to crystal symmetry and chemical requirements. There are even fewer examples demonstrated experimentally. Here we report that high-quality persistent spin textures can be obtained in the polar point groups containing an odd number of mirror operations. We use representation theory analysis and electronic structure calculations to formulate general discovery principles to identify PSTs hidden in known complex ternary layered and perovskite structures with large electric polarizations. We then show some of these materials exhibit PSTs without requiring any special crystalline symmetries. This finding removes the limitation imposed by mirror-symmetry protected PSTs that has limited compound discovery. Our general design approach enables the pursuit of persistent spin helices in materials exhibiting the $C_{3v}$ crystal class adopted by many quantum materials exhibiting large Rashba coefficients.


title: GPI 2.0: Characterizing Self-Luminous Exoplanets Through Low-Resolution Infrared Spectroscopy

abstract: Direct imaging characterization of extrasolar planets is often done at low spectral resolution. We model the spectrograph for the Gemini Planet Imager upgrade (GPI 2.0) and assess the instrument's potential for allowing observers to constrain exoplanet properties through analysis of near-infrared spectra. We simulated noisy observations followed by calculations of posterior distributions from maximum likelihood comparison with the Sonora 2018 model grid. Preliminary results suggest that GPI 2.0 should allow observers to constrain temperature with sufficient accuracy, but gravity remains largely uncertain. We also explore the effects of incorporating convolution with the instrument line spread function into our simulation and compare the results with our preliminary findings.


title: Matter-antimatter Asymmetry, CP Violation and the Time Operator in Relativistic Quantum Mechanics

abstract: The matter antimatter asymmetry in the Universe is one of the outstanding problems in physics.and cosmology. CP violation (CPV) is a necessary condition for generating such asymmetry but the amount predicted in the Standard Model (SM) from quark oscillations is too small by several orders of magnitude. The dynamical time operator derived together with Dirac's Hamiltonian from the Dirac canonical quantization of special relativity is shown to exhibit a CPV inversely dependent on mass. Applying to all fermions, it follows that extended Standard Models (ESM) with massive neutrinos contains a much larger CPV as the electron and muon neutrino masses are six to nine orders smaller than the up and down quarks masses. Furthermore, it also follows that the CPV differs between neutrino and antineutrino, in agreement with the T2K observations.


title: Minimum color spanning circle of imprecise points

abstract: Let $\cal R$ be a set of $n$ colored imprecise points, where each point is colored by one of $k$ colors. Each imprecise point is specified by a unit disk in which the point lies. We study the problem of computing the smallest and the largest possible minimum color spanning circle, among all possible choices of points inside their corresponding disks. We present an $O(nk\log n)$ time algorithm to compute a smallest minimum color spanning circle. Regarding the largest minimum color spanning circle, we show that the problem is NP-Hard and present a $\frac{1}{3}$-factor approximation algorithm. We improve the approximation factor to $\frac{1}{2}$ for the case where no two disks of distinct color intersect.


title: Analysis of spin directions of galaxies in the DESI Legacy Survey

abstract: The DESI Legacy Survey is a digital sky survey with a large footprint compared to other Earth-based surveys, covering both the Northern and Southern hemispheres. This paper shows the distribution of the spin directions of spiral galaxies imaged by DESI Legacy Survey. A simple analysis of dividing nearly 1.3$\cdot10^6$ spiral galaxies into two hemispheres shows a higher number of galaxies spinning counterclockwise in the Northern hemisphere, and a higher number of galaxies spinning clockwise in the Southern hemisphere. That distribution is consistent with previous observations, but uses a far larger number of galaxies and a larger footprint. The larger footprint allows a comprehensive analysis without the need to fit the distribution into an a priori model, making this study different from all previous analyses of this kind. Fitting the spin directions of the galaxies to cosine dependence shows a dipole axis alignment with probability of $P<10^{-5}$. The analysis is done with a trivial selection of the galaxies, as well as simple explainable annotation algorithm that does not make use of any form of machine learning, deep learning, or pattern recognition. While further work will be required, these results are aligned with previous studies suggesting the possibility of a large-scale alignment of galaxy angular momentum.


title: Free probability and model theory of tracial $\mathrm{W}^*$-algebras

abstract: The notion of a $*$-law or $*$-distribution in free probability is also known as the quantifier-free type in Farah, Hart, and Sherman's model theoretic framework for tracial von Neumann algebras. However, the full type can also be considered an analog of a classical probability distribution (indeed, Ben Yaacov showed that in the classical setting, atomless probability spaces admit quantifier elimination and hence there is no difference between the full type and the quantifier-free type). We therefore develop a notion of Voiculescu's free microstates entropy for a full type, and we show that if $\mathbf{X}$ is a $d$-tuple in $\mathcal{M}$ with $\chi^{\mathcal{U}}(\mathbf{X}:\mathcal{M}) > -\infty$ for a given ultrafilter $\mathcal{U}$, then there exists an embedding $\iota$ of $\mathcal{M}$ into $\mathcal{Q} = \prod_{n \to \mathcal{U}} M_n(\mathbb{C})$ with $\chi(\iota(\mathbf{X}): \mathcal{Q}) = \chi(\mathbf{X}:\mathcal{M})$; in particular, such an embedding will satisfy $\iota(\mathbf{X})' \cap \mathcal{Q} = \mathbb{C}$ by the results of Voiculescu. Furthermore, we sketch some open problems and challenges for developing model-theoretic versions of free independence and free Gibbs laws.


title: Plasma lensing near the eclipses of the Black Widow pulsar B1957+20

abstract: Recently, several eclipsing millisecond pulsars have been shown to experience strong and apparent weak lensing from the outflow of their ionized companions. Lensing can be a powerful probe of the ionized plasma, with the strongest lenses potentially resolving emission regions of pulsars. Understanding lensing in the `laboratory-like' conditions of an eclipsing pulsar may be analogously applied to fast radio bursts, many of which reside in dense, magnetized environments. We examined variable dispersion measure (DM), absorption, scattering, and flux density in the original Black Widow pulsar PSR B1957+20 through an eclipse at the Arecibo Observatory at 327 MHz. We discovered clear evidence of the two regimes of lensing, strong and apparent weak. We show that the flux density variations in the apparently weak lensing regime can be modeled directly from variations of DM, using geometric optics. The mean effective velocities in the ingress, $954\pm 99$ km/s, and egress $604\pm 47$ km/s cannot be explained by orbital motions alone, but are consistent with significant outflow velocity of material from the companion. We also show that geometric optics can predict when and where the lensing regime-change between weak and strong occurs, and argue that the apparent weak lensing is due to averaging many images. Our framework can be applied in any source with variable electron columns, measuring their relative velocities and distances. In other eclipsing pulsars, this provides a unique opportunity to measure companion outflow velocity, predict regions of weak and strong lensing, and in principle independently constrain orbital inclinations.


title: 3D simulations of AGB stellar winds -- I. Steady winds and dust formation

abstract: Aims. We present the implementation of the treatment of particle ejection and dust nucleation in the smoothed particle hydrodynamics (SPH) code phantom. These developments represent the first step toward a more complete modeling of dust-driven winds emanating from AGB stars. Methods. The AGB outflow is modeled by injecting the SPH particles from a spherical inner boundary. This boundary is a series of concentric shells, with the AGB star at its center, and the particles are positioned on these shells on the vertices of an isocahedron geodesic surface. The outermost shell is ejected with a predefined radial velocity, and subsequent lower shells replenish the ejected ones, all rotated randomly to improve the isotropy of the outflow. The physical properties of the particles on these shells are set by solving the 1D analytic steady wind equations. The formation of dust is calculated starting from a compact chemical network for carbon-rich material, which creates the building blocks of the solid-state particles. Subsequently, the theory of the moments is used to obtain dust growth rates, without requiring knowledge on the grain size distribution. Results. We tested our implementation against a series of 1D reference solutions. We demonstrate that our method is able to reproduce Parker-type wind solutions. For the trans-sonic solution, small oscillations are present in the vicinity of the sonic point, but these do not impact the trans-sonic passage or terminal wind velocity. Supersonic solutions always compare nicely with 1D analytic profiles. We also tested our implementation of dust using two formalisms: an analytic prescription for the opacity devised by Bowen and the full treatment of carbon-dust formation. Both simulations reproduce the 1D analytic solution displaying the expected additional acceleration when the gas temperature falls below the condensation temperature.


title: Creating Interactive Visualizations of TopHat Programs

abstract: Many companies and institutions have automated their business process in workflow management software. The novel programming paradigm Task-Oriented Programming (TOP) provides an abstraction for such software. The largest framework based on TOP, iTasks, has been used to develop real-world software. Workflow software often includes critical systems. In such cases it is important to reason over the software to ascertain its correctness. The lack of a formal iTasks semantics makes it unsuitable for formal reasoning. To this end TopHat has been developed as a TOP language with a formal semantics. However, TopHat lacks a graphical user interface (GUI), making it harder to develop practical TopHat systems. In this paper we present TopHat UI. By combining an existing server framework and user interface framework, we have developed a fully functioning proof of concept implementation in Haskell, on top of TopHat's semantics. We show that implementing a TOP framework is possible using a different host language than iTasks uses. None of TopHat's formal properties have been compromised, since the UI framework is completely separate from TopHat. We run several example programs and evaluate their generated GUI. Having such a system improves the quality and verifiability of TOP software in general.


title: Confounder Selection: Objectives and Approaches

abstract: Confounder selection is perhaps the most important step in the design of observational studies. A number of criteria, often with different objectives and approaches, have been proposed, and their validity and practical value have been debated in the literature. Here, we provide a unified review of these criteria and the assumptions behind them. We list several objectives that confounder selection methods aim to achieve and discuss the amount of structural knowledge required by different approaches. Finally, we discuss limitations of the existing approaches and implications for practitioners.


title: Back-to-back inclusive dijets in DIS at small $x$: Sudakov suppression and gluon saturation at NLO

abstract: Back-to-back dijet cross-sections in deeply inelastic scattering (DIS) at small $x_{\rm Bj}$ are suppressed by many-body multiple scattering and screening effects arising from gluon saturation at high parton densities. They are similarly sensitive in these kinematics to large Sudakov logarithms from soft gluon radiation. Uncovering novel physics in this DIS channel therefore requires understanding the interplay of the two phenomena. In this work, we compute the small $x_{\rm Bj}$ inclusive dijet DIS cross-section in back-to-back kinematics at next-to-leading order (NLO) in the Color Glass Condensate effective field theory (CGC EFT). Our result includes, for the first time, all real and virtual NLO contributions to the impact factor. These include all Sudakov double and single logarithm contributions, as well as all other finite $\mathcal{O}(\alpha_s)$ terms that contribute at this order. We demonstrate explicitly that resummations of small $x$ and Sudakov logarithms can be performed simultaneously in the CGC EFT. This requires that the JIMWLK kernel for small $x$ evolution of the Weizs\"{a}cker-Williams (WW) gluon distribution satisfies a kinematic constraint imposed by lifetime ordering of successive gluon emissions; the corresponding modifications to the kernel, corresponding to resummations of large double transverse logarithms, are precisely of the type required to stabilize JIMWLK evolution beyond leading logarithmic accuracy. We compute the azimuthal harmonics of the NLO back-to-back distributions and show their sensitivity to both the unpolarized and linearly polarized WW gluon distributions. Finally, we discuss how TMD factorization is broken by an emergent saturation scale at small $x$.


title: Full off-shell NLO QCD predictions for $t\bar{t}b\bar{b}$ at the LHC

abstract: We report on state-of-the-art theoretical predictions for $pp\to t\bar{t}b\bar{b}$ including full off-shell effects in the di-lepton decay channel at NLO QCD accuracy. We briefly discuss the impact of NLO QCD corrections on differential distributions and also asses theoretical uncertainties from scale and PDF dependence. Furthermore, we propose a simple kinematic reconstruction in order to distinguish $b$ jets originating from top-quark decays from arising from gluon splittings.


title: The study of the singly anti-charmed pentaquark production in b-factory

abstract: The b-factories, such as BelleII, BarBar and LHCb, highlight the increasingly important role of the study of exotic hadrons. In the paper, we argue the possible productions of singly anti-charmed pentaquark states $\bar{c}q qqq$ from $B$ mesons in b-factory under the SU(3) symmetry analysis. The concerned pentaquark known as lowest lying state $S_{6}$, may be a bound or an unbound state, leading to the discussions separately of both of the hypotheses. We find the golden channels for two body production of $S_{6}$, such as $B^0 \to S_{1/2}^{0} \overline \Sigma^0$. Futhermore, we estimate the sizable number of production events of the states in the b-factory, on the basis of reconstruction efficiency and experimental luminosity. In short, several channels that can be adopted in the experiments are served, which may remove some obstacles for the pursuing new pentaquark states in the experiments.


title: Infinite time bubbling for the $SU(2)$ Yang-Mills heat flow on $\mathbb{R}^4$

abstract: We investigate the long time behaviour of the Yang-Mills heat flow on the bundle $\mathbb{R}^4\times SU(2)$. Waldron \cite{Waldron2019} proved global existence and smoothness of the flow on closed $4-$manifolds, leaving open the issue of the behaviour in infinite time. We exhibit two types of long-time bubbling: first we construct an initial data and a globally defined solution which {\sl blows-up} in infinite time at a given point in $\mathbb R^4$. Second, we prove the existence of {\sl bubble-tower} solutions, also in infinite time. This answers the basic dynamical properties of the heat flow of Yang-Mills connection in the critical dimension $4$ and shows in particular that in general one cannot expect that this gradient flow converges to a Yang-Mills connection. We emphasize that we do not assume for the first result any symmetry assumption; whereas the second result on the existence of the bubble-tower is in the $SO(4)$-equivariant class, but nevertheless new.


title: On the Barnes double gamma function

abstract: We aim to achieve the following three goals. First of all, we collect all known definitions, transformation properties and functional identities of Barnes double gamma function $G(z;\tau)$. Second, we derive an algorithm for numerically computing the double gamma function and present its complete asymptotic expansion as $z\to \infty$. Third, we derive some new properties, including a new product identity and new representations of the gamma modular forms $C(\tau)$ and $D(\tau)$.


title: Comparison of $t\bar{t}W$ theory predictions in the $3\ell$ channel

abstract: We report on our recent comparison of various theoretical approaches to predict fiducial signatures for $pp\to t\bar{t}W$ in the $3\ell$ decay channel at $\mathcal{O}(\alpha_s^3\alpha^6)$ and $\mathcal{O}(\alpha_s\alpha^8)$. The comparison includes fixed-order predictions including full off-shell effects as well as predictions based only on the double-resonant contributions by employing the Narrow-Width-Approximation. Furthermore, we include parton-shower matched predictions using the MG5 and POWHEG-BOX frameworks.


title: Spin Current Density Functional Theory of the Quantum Spin-Hall Phase

abstract: The spin current density functional theory (SCDFT) is the generalization of the standard DFT to treat a fermionic system embedded in the effective external field produced by the spin-orbit coupling interaction. Even in the absence of a spin polarization, the SCDFT requires the electron-electron potential to depend on the spin currents $\mathbf{J}^x$, $\mathbf{J}^y$ and $\mathbf{J}^z$, which only recently was made possible for practical relativistic quantum-mechanical simulations [Phys. Rev. B {\bf 102}, 235118 (2020)]. Here, we apply the SCDFT to the quantum spin-Hall phase and show how it improves (even qualitatively) the description of its electronic structure relative to the DFT. We study the Bi (001) 2D bilayer and its band insulator to topological insulator phase transition (via $s+p_z \leftrightarrow p_x +ip_y$ band inversion) as a function of mechanical strain. We show that the explicit account of spin currents in the electron-electron potential of the SCDFT is key to the appearance of a Dirac cone at the $\Gamma$ point in the valence band structure at the onset of the topological phase transition. Finally, the valence band structure of this system is rationalized using a simple first-order $\mathbf{k} \cdot \mathbf{p}$ quasi-degenerate perturbation theory model.


title: $L_1$-distortion of Wasserstein metrics: a tale of two dimensions

abstract: By discretizing an argument of Kislyakov, Naor and Schechtman proved that the 1-Wasserstein metric over the planar grid $\{0,1,\dots n\}^2$ has $L_1$-distortion bounded below by a constant multiple of $\sqrt{\log n}$. We provide a new "dimensionality" interpretation of Kislyakov's argument, showing that, if $\{G_n\}_{n=1}^\infty$ is a sequence of graphs whose isoperimetric dimension and Lipschitz-spectral dimension equal a common number $\delta \in [2,\infty)$, then the 1-Wasserstein metric over $G_n$ has $L_1$-distortion bounded below by a constant multiple of $(\log |G_n|)^{\frac{1}{\delta}}$. We proceed to compute these dimensions for $\oslash$-powers of certain graphs. In particular, we get that the sequence of diamond graphs $\{\mathsf{D}_n\}_{n=1}^\infty$ has isoperimetric dimension and Lipschitz-spectral dimension equal to 2, obtaining as a corollary that the 1-Wasserstein metric over $\mathsf{D}_n$ has $L_1$-distortion bounded below by a constant multiple of $\sqrt{\log| \mathsf{D}_n|}$. This answers a question of Dilworth, Kutzarova, and Ostrovskii and exhibits only the third sequence of $L_1$-embeddable graphs whose sequence of 1-Wasserstein metrics is not $L_1$-embeddable.


title: Inference and Optimization for Engineering and Physical Systems

abstract: The central object of this PhD thesis is known under different names in the fields of computer science and statistical mechanics. In computer science, it is called the Maximum Cut problem, one of the famous twenty-one Karp's original NP-hard problems, while the same object from Physics is called the Ising Spin Glass model. This model of a rich structure often appears as a reduction or reformulation of real-world problems from computer science, physics and engineering. However, solving this model exactly (finding the maximal cut or the ground state) is likely to stay an intractable problem (unless $\textit{P} = \textit{NP}$) and requires the development of ad-hoc heuristics for every particular family of instances. One of the bright and beautiful connections between discrete and continuous optimization is a Semidefinite Programming-based rounding scheme for Maximum Cut. This procedure allows us to find a provably near-optimal solution; moreover, this method is conjectured to be the best possible in polynomial time. In the first two chapters of this thesis, we investigate local non-convex heuristics intended to improve the rounding scheme. In the last chapter of this thesis, we make one step further and aim to control the solution of the problem we wanted to solve in previous chapters. We formulate a bi-level optimization problem over the Ising model where we want to tweak the interactions as little as possible so that the ground state of the resulting Ising model satisfies the desired criteria. This kind of problem arises in pandemic modeling. We show that when the interactions are non-negative, our bi-level optimization is solvable in polynomial time using convex programming.


title: $\mathcal{P}$,$\mathcal{T}$-odd energy shifts of the $^{173}$YbOH

abstract: The energy shift in molecular spectra due to interaction of nuclear magnetic quadrupole moment ($M$) with electrons is equal to $\delta E_M = MW_M P_{ M}$, where $W_M$ is a constant determined by the electronic structure of the molecule and $P_{ M}$ is a dimensionless constant. We extended the method for calculation of parity nonconservation effects in triatomic molecules developed in Ref. [A. Petrov and A. Zakharova, Phys. Rev. A ${\bf 105}$, L050801 (2022)] to the case of $P_{ M}$ constant and applied it to $^{173}$YbOH in the first excited $v=1$ bending mode. Results of our calculations are required for the extraction of the $M$ value from the YbOH experiment.


title: Collider Searches for Heavy Neutral Leptons: beyond simplified scenarios

abstract: With very few exceptions, the large amount of available experimental bounds on heavy neutral leptons - HNL - have been derived relying on the assumption of the existence of a single (usually Majorana) sterile fermion state that mixes with only one lepton flavour. However, most of the extensions of the Standard Model involving sterile fermions predict the existence of several HNLs, with complex mixing patterns to all flavours. Consequently, most of the experimental bounds for HNLs need to be recast before being applied to a generic scenario. In this work, we focus on LHC searches of heavy neutral leptons and discuss how to reinterpret the available bounds when it comes to consider mixings to all active flavours, not only in the case with a single HNL, but also in the case when more heavy neutral leptons are involved. In the latter case, we also consider the possibility of interference effects and show how the bounds on the parameter space should be recast.


title: Characterization of Octuopole Elements for IOTA

abstract: The Integrable Optics Test Accelerator (IOTA) is a research storage ring constructed and operated at Fermilab to demonstrate the advantages of nonlinear integrable lattices. One of the nonlinear lattice configurations with one integral of motion is based on a string of short octupoles. The results of the individual magnets characterizations, which were necessary to determine their multipole composition and magnetic centers, are presented. This information was used to select and align the best subset of octupoles for the IOTA run 4.


title: Toward a Mathematical Vulnerability Propagation and Defense Model in Smart Grid Networks

abstract: For reducing threat propagation within an inter-connected network, it is essential to distribute the defense investment optimally. Most electric power utilities are resource constrained, yet how to account for costs while designing threat reduction techniques is not well understood. Hence, in this work, a vulnerability propagation and a defense model is proposed based on an epidemic model. The new defense mechanism is then validated through sensitivity of the propagation parameters on the optimal investment with two-node and N-node cases. Further, the model efficacy is evaluated with implementation in one of the communication networks of a cyber-physical power system. Topological impact on the optimal nodal investment is also emphasized. Optimal investment of the neighbors with less degree were found to be highly sensitive to fluctuation in vulnerability exploitability probability.


title: Reinforcement Learning for Hardware Security: Opportunities, Developments, and Challenges

abstract: Reinforcement learning (RL) is a machine learning paradigm where an autonomous agent learns to make an optimal sequence of decisions by interacting with the underlying environment. The promise demonstrated by RL-guided workflows in unraveling electronic design automation problems has encouraged hardware security researchers to utilize autonomous RL agents in solving domain-specific problems. From the perspective of hardware security, such autonomous agents are appealing as they can generate optimal actions in an unknown adversarial environment. On the other hand, the continued globalization of the integrated circuit supply chain has forced chip fabrication to off-shore, untrustworthy entities, leading to increased concerns about the security of the hardware. Furthermore, the unknown adversarial environment and increasing design complexity make it challenging for defenders to detect subtle modifications made by attackers (a.k.a. hardware Trojans). In this brief, we outline the development of RL agents in detecting hardware Trojans, one of the most challenging hardware security problems. Additionally, we outline potential opportunities and enlist the challenges of applying RL to solve hardware security problems.


title: A Spatial Branch-and-Bound Approach for Maximization of Non-Factorable Monotone Continuous Submodular Functions

abstract: In contrast to the many continuous global optimization methods that assume the objective function and constraints are factorable, we study how to find globally maximal solutions to problems that are not factorable, focusing on a particular class of problems. Specifically, we develop a method for non-decreasing continuous submodular functions subject to constraints. We characterize the hypograph of such functions and develop a cutting plane algorithm that finds approximate solutions and bounds using an approximation of the convex hull of the hypograph. We also test a spatial branch-and-bound approach that utilizes the approximate cutting plane algorithm to form an outer approximation and obtain upper bounds for a sub-rectangle and compare our method with a state-of-the-art commercial solver. The main result is that for some problems the property of submodularity is more useful than factorability.


title: Investigation of A Biomass Gasification System Based on Energy and Exergy Analysis

abstract: Biomass gasification procedure is a very complex process and it is influenced by many physical and chemical factors such as biomass gasification temperature and gasifier type. Thermodynamic assessment methodology based on the energy and exergy analysis can be used to evaluate the system performance and environmental impacts. In this paper, thermodynamic analysis of the biomass gasification system is given for the whole system and its components. The parametric studies reveal the effects of design and operating indicators on the exergy efficiency and exergy destruction rate. The result shows that the gasification temperatures for the biomass gasification system change significantly with the type of the gasifying medium.

categories: eess.SY cs.SY physics.app-ph physics.flu-dyn


title: Superconductivity out of a non-Fermi liquid. Free energy analysis

abstract: In this paper, we present in-depth analysis of the condensation energy $E_c$ for a superconductor in a situation when superconductivity emerges out of a non-Fermi liquid due to pairing mediated by a massless boson. This is the case for electronic-mediated pairing near a quantum-critical point in a metal, for pairing in SYK-type models, and for phonon-mediated pairing in the properly defined limit, when the dressed Debye frequency vanishes. We consider a subset of these quantum-critical models, in which the pairing in a channel with a proper spatial symmetry is described by an effective $0+1$ dimensional model with the effective dynamical interaction $V(\Omega_m) = {\bar g}^\gamma/|\Omega_m|^\gamma$, where $\gamma$ is model-specific (the $\gamma$-model). In previous papers, we argued that the pairing in the $\gamma$ model is qualitatively different from that in a Fermi liquid, and the gap equation at $T=0$ has an infinite number of topologically distinct solutions, $\Delta_n (\omega_m)$, where an integer $n$, running between $0$ and infinity, is the number of zeros of $\Delta_n (\omega_m)$ on the positive Matsubara axis. This gives rise to the set of extrema of $E_c$ at $E_{c,n}$, of which $E_{c,0}$ is the global minimum. The spectrum $E_{c,n}$ is discrete for a generic $\gamma <2$, but becomes continuous at $\gamma = 2-0$. Here, we discuss in more detail the profile of the condensation energy near each $E_{c,n}$ and the transformation from a discrete to a continuous spectrum at $\gamma \to 2$. We also discuss the free energy and the specific heat of the $\gamma$-model in the normal state.


title: Tense operators on distributive lattices with implication

abstract: Inspired by the definition of tense operators on distributive lattices presented by Chajda and Paseka in 2015, in this paper, we introduce and study the variety of tense distributive lattices with implication and we prove that these are categorically equivalent to a full subcategory of the category of tense centered Kleene algebras with implication. Moreover, we apply such an equivalence to describe the congruences of the algebras of each variety by means of tense 1-filters and tense centered deductive systems, respectively.


title: Gromov-Hausdorff Limits of Closed Surfaces

abstract: We completely describe the Gromov-Hausdorff closure of the class of length spaces being homeomorphic to a fixed closed surface.


title: Resolving inconsistencies of runtime configuration changes through change propagation and adjustments

abstract: A system configuration may be modified at runtime to adapt the system to changes in its environment or for fine-tuning. For instance, a system administrator may change a few entities/attributes in the configuration to improve error recovery and system availability. However, these changes focusing on fine-tuning availability may violate some global system constraints captured in the configuration and therefore break configuration consistency, system properties and operations. This is generally due to the partialness of the changes performed by the administrator who is not aware of all the entities/attributes being in relations with the modified entities/attributes. In this paper, we propose an approach for completing such partial sets of changes at runtime to resolve inconsistencies arising from those partial changes. This adjustment approach consists of the characterization of related entities/attributes and their modification to re-establish the configuration consistency. We achieve this by propagating the changes in the configuration according to the system constraints following the possible impacts of the configuration entities on each other. We aim at minimizing the complementary modifications to control the side-effects of the change propagation as we target the domain of highly available systems.


title: Atomistic Nature of Amorphous Graphite

abstract: This paper focuses on the structural, electronic, and vibrational features of amorphous graphite [R. Thapa $\textit{et. al.}$, Phys. Rev. Lett. 128, 236402 (2022)]. The structure order in amorphous graphite is discussed and compared with graphite and amorphous carbon. The electronic density of states and localization in these phases were analyzed. Spatial projection of charge densities in the $\pi$ bands showed a high charge concentration on participating atoms in connecting hexagons. A vibrational density of states was computed and is potentially an experimentally testable fingerprint of the material. An analysis of the vibrational modes was carried out using the phase quotient, and the mode stretching character. The average thermal conductivity calculated for aG was 0.85 Wcm$^{-1}$K$^{-1}$ and 0.96 Wcm$^{-1}$K$^{-1}$ at room temperature and 1000 K respectively.


title: Data Isotopes for Data Provenance in DNNs

abstract: Today, creators of data-hungry deep neural networks (DNNs) scour the Internet for training fodder, leaving users with little control over or knowledge of when their data is appropriated for model training. To empower users to counteract unwanted data use, we design, implement and evaluate a practical system that enables users to detect if their data was used to train an DNN model. We show how users can create special data points we call isotopes, which introduce "spurious features" into DNNs during training. With only query access to a trained model and no knowledge of the model training process, or control of the data labels, a user can apply statistical hypothesis testing to detect if a model has learned the spurious features associated with their isotopes by training on the user's data. This effectively turns DNNs' vulnerability to memorization and spurious correlations into a tool for data provenance. Our results confirm efficacy in multiple settings, detecting and distinguishing between hundreds of isotopes with high accuracy. We further show that our system works on public ML-as-a-service platforms and larger models such as ImageNet, can use physical objects instead of digital marks, and remains generally robust against several adaptive countermeasures.


title: "I was Confused by It; It was Confused by Me:" Exploring the Experiences of People with Visual Impairments around Mobile Service Robots

abstract: Mobile service robots have become increasingly ubiquitous. However, these robots can pose potential accessibility issues and safety concerns to people with visual impairments (PVI). We sought to explore the challenges faced by PVI around mainstream mobile service robots and identify their needs. Seventeen PVI were interviewed about their experiences with three emerging robots: vacuum robots, delivery robots, and drones. We comprehensively investigated PVI's robot experiences by considering their different roles around robots -- direct users and bystanders. Our study highlighted participants' challenges and concerns about the accessibility, safety, and privacy issues around mobile service robots. We found that the lack of accessible feedback made it difficult for PVI to precisely control, locate, and track the status of the robots. Moreover, encountering mobile robots as bystanders confused and even scared the participants, presenting safety and privacy barriers. We further distilled design considerations for more accessible and safe robots for PVI.


title: Image Classification by Throwing Quantum Kitchen Sinks at Tensor Networks

abstract: Several variational quantum circuit approaches to machine learning have been proposed in recent years, with one promising class of variational algorithms involving tensor networks operating on states resulting from local feature maps. In contrast, a random feature approach known as quantum kitchen sinks provides comparable performance, but leverages non-local feature maps. Here we combine these two approaches by proposing a new circuit ansatz where a tree tensor network coherently processes the non-local feature maps of quantum kitchen sinks, and we run numerical experiments to empirically evaluate the performance of the new ansatz on image classification. From the perspective of classification performance, we find that simply combining quantum kitchen sinks with tensor networks yields no qualitative improvements. However, the addition of feature optimization greatly boosts performance, leading to state-of-the-art quantum circuits for image classification, requiring only shallow circuits and a small number of qubits -- both well within reach of near-term quantum devices.


title: An Algorithm-Hardware Co-design Framework to Overcome Imperfections of Mixed-signal DNN Accelerators

abstract: In recent years, processing in memory (PIM) based mixedsignal designs have been proposed as energy- and area-efficient solutions with ultra high throughput to accelerate DNN computations. However, PIM designs are sensitive to imperfections such as noise, weight and conductance variations that substantially degrade the DNN accuracy. To address this issue, we propose a novel algorithm-hardware co-design framework hereafter referred to as HybridAC that simultaneously avoids accuracy degradation due to imperfections, improves area utilization, and reduces data movement and energy dissipation. We derive a data-movement-aware weight selection method that does not require retraining to preserve its original performance. It computes a fraction of the results with a small number of variation-sensitive weights using a robust digital accelerator, while the main computation is performed in analog PIM units. This is the first work that not only provides a variation-robust architecture, but also improves the area, power, and energy of the existing designs considerably. HybridAC is adapted to leverage the preceding weight selection method by reducing ADC precision, peripheral circuitry, and hybrid quantization to optimize the design. Our comprehensive experiments show that, even in the presence of variation as high as 50%, HybridAC can reduce the accuracy degradation from 60 - 90% (without protection) to 1 - 2% for different DNNs across diverse datasets. In addition to providing more robust computation, compared to the ISAAC (SRE), HybridAC improves the execution time, energy, area, power, area-efficiency, and power-efficiency by 26%(14%), 52%(40%), 28%(28%), 57%(45%), 43%(5x), and 81%(3.9x), respectively


title: Flat functors in higher topos theory

abstract: For a small $n$-category $\mathscr{C}$ and an $n$-topos $\mathscr{X}$, we study necessary and sufficient conditions for a functor $f \colon \mathscr{C} \to \mathscr{X}$ to determine a geometric morphism from $\mathscr{X}$ to the $n$-topos $\mathcal{P}(\mathscr{C})_n$ of presheaves on $\mathscr{C}$ for any $n \geq 1$. These results generalize and unify results of Lurie for $n=\infty$ and classical characterizations of flat functors (Diaconescu's theorem) for $n=1$. Interestingly, for $n=\infty$, our analogue of Diaconescu's theorem requires hypercompleteness. As an application, we show that the $\infty$-topos associated to an $n$-site behaves as an $n$-localic $\infty$-topos with respect to hypercomplete $\infty$-topoi.


title: Conjugate Natural Selection

abstract: We prove that Fisher-Rao natural gradient descent (FR-NGD) optimally approximates the continuous time replicator equation (an essential model of evolutionary dynamics), and term this correspondence "conjugate natural selection". This correspondence promises alternative approaches for evolutionary computation over continuous or high-dimensional hypothesis spaces. As a special case, FR-NGD also provides the optimal approximation of continuous Bayesian inference when hypotheses compete on the basis of predicting actual observations. In this case, the method avoids the need to compute prior probabilities. We demonstrate our findings on a non-convex optimization problem and a system identification task for a stochastic process with time-varying parameters.


title: Debiasing Word Embeddings with Nonlinear Geometry

abstract: Debiasing word embeddings has been largely limited to individual and independent social categories. However, real-world corpora typically present multiple social categories that possibly correlate or intersect with each other. For instance, "hair weaves" is stereotypically associated with African American females, but neither African American nor females alone. Therefore, this work studies biases associated with multiple social categories: joint biases induced by the union of different categories and intersectional biases that do not overlap with the biases of the constituent categories. We first empirically observe that individual biases intersect non-trivially (i.e., over a one-dimensional subspace). Drawing from the intersectional theory in social science and the linguistic theory, we then construct an intersectional subspace to debias for multiple social categories using the nonlinear geometry of individual biases. Empirical evaluations corroborate the efficacy of our approach. Data and implementation code can be downloaded at https://github.com/GitHubLuCheng/Implementation-of-JoSEC-COLING-22.


title: Enjoy the Ride Consciously with CAWA: Context-Aware Advisory Warnings for Automated Driving

abstract: In conditionally automated driving, drivers decoupled from driving while immersed in non-driving-related tasks (NDRTs) could potentially either miss the system-initiated takeover request (TOR) or a sudden TOR may startle them. To better prepare drivers for a safer takeover in an emergency, we propose novel context-aware advisory warnings (CAWA) for automated driving to gently inform drivers. This will help them stay vigilant while engaging in NDRTs. The key innovation is that CAWA adapts warning modalities according to the context of NDRTs. We conducted a user study to investigate the effectiveness of CAWA. The study results show that CAWA has statistically significant effects on safer takeover behavior, improved driver situational awareness, less attention demand, and more positive user feedback, compared with uniformly distributed speech-based warnings across all NDRTs.


title: Entanglement Classification from a Topological Perspective

abstract: Classification of entanglement is an important problem in Quantum Resource Theory. In this paper we discuss an embedding of this problem in the context of Topological Quantum Field Theories (TQFT). This approach allows classifying entanglement patterns in terms of topological equivalence classes. In the bipartite case a classification equivalent to the one by Stochastic Local Operations and Classical Communication (SLOCC) is constructed by restricting to a simple class of connectivity diagrams. Such diagrams characterize quantum states of TQFT up to braiding and tangling of the ``connectome.'' In the multipartite case the same restricted topological classification only captures a part of the SLOCC classes, in particular, it does not see the W entanglement of three qubits. Nonlocal braiding of connections may solve the problem, but no finite classification is attempted in this case. Despite incompleteness, the connectome classification has a straightforward generalization to any number and dimension of parties and has a very intuitive interpretation, which might be useful for understanding specific properties of entanglement and for design of new quantum resources.


title: Radial Prediction Domain Adaption Classifier for the MIDOG 2022 Challenge

abstract: This paper describes our contribution to the MIDOG 2022 challenge for detecting mitotic cells. One of the major problems to be addressed in the MIDOG 2022 challenge is the robustness under the natural variance that appears for real-life data in the histopathology field. To address the problem, we use an adapted YOLOv5s model for object detection in conjunction with a new Domain Adaption Classifier (DAC) variant, the Radial-Prediction-DAC, to achieve robustness under domain shifts. In addition, we increase the variability of the available training data using stain augmentation in HED color space. Using the suggested method, we obtain a test set F1-score of 0.6658.


title: Bethe-Salpeter kernel and properties of strange-quark mesons

abstract: Focusing on the continuum meson bound-state problem, a novel method is used to calculate closed-form Bethe-Salpeter kernels that are symmetry consistent with any reasonable gluon-quark vertex, $\Gamma_\nu$, and therewith deliver a Poincar\'e-invariant treatment of the spectrum and decay constants of the ground- and first-excited states of $u$, $d$, $s$ mesons. The predictions include masses of as-yet unseen states and many unmeasured decay constants. The analysis reveals that a realistic, unified description of meson properties (including level orderings and mass splittings) requires a sound expression of emergent hadron mass in bound-state kernels; alternatively, that such properties may reveal much about the emergence of mass in the standard model.


title: Reducing Certified Regression to Certified Classification for General Poisoning Attacks

abstract: Adversarial training instances can severely distort a model's behavior. This work investigates certified regression defenses, which provide guaranteed limits on how much a regressor's prediction may change under a poisoning attack. Our key insight is that certified regression reduces to voting-based certified classification when using median as a model's primary decision function. Coupling our reduction with existing certified classifiers, we propose six new regressors provably-robust to poisoning attacks. To the extent of our knowledge, this is the first work that certifies the robustness of individual regression predictions without any assumptions about the data distribution and model architecture. We also show that the assumptions made by existing state-of-the-art certified classifiers are often overly pessimistic. We introduce a tighter analysis of model robustness, which in many cases results in significantly improved certified guarantees. Lastly, we empirically demonstrate our approaches' effectiveness on both regression and classification data, where the accuracy of up to 50% of test predictions can be guaranteed under 1% training set corruption and up to 30% of predictions under 4% corruption. Our source code is available at https://github.com/ZaydH/certified-regression.


title: A review of transcranial magnetic stimulation and Alzheimer's disease

abstract: Since four decades ago, that the transcranial magnetic stimulation (TMS) technique was introduced, the increasing attention of neuroscience researchers and medical engineers has been focused on the development of this technique and its use to manage the treatment of a wide range of neurological conditions, including Alzheimer's disease. The ability of TMS, specifically a substantial type known as repetitive transcranial magnetic stimulation (rTMS) in changing the plasticity of the cortex, has been the most important feature that has created the hopes of controlling Alzheimer's disease with this technique more than ever.


title: The Impact of Attending a Remedial Support Program on Syrian Children's Reading Skills: Using BART for Causal Inference

abstract: This article estimates, for a sample of 1,777 Syrian refugee children, the impact on basic reading assessments of attending a remedial support program in Lebanon that was infused with social and emotional learning practices. We use flexible methods that capitalize on advantages of both machine learning and Bayesian inferential frameworks to leverage the information available in understudied contexts and help account for the problem of self-selection. Average treatment effects were estimated both using multiply imputed data and data from outcome-respondents only. We do not find conclusive evidence for an effect on one of the reading measures studied (ASER). However, we provide evidence for positive effects for three, more robust, measures of basic reading outcomes from the Arabic EGRA assessment. We discuss potential reasons for the differences in effects that are relevant for educational research and practice. We also consider the implications for future research of choices related to measurement, data collection and processing, and missing data.


title: Minimum Coverage Instrumentation

abstract: Modern compilers leverage block coverage profile data to carry out downstream profile-guided optimizations to improve the runtime performance and the size of a binary. Given a control-flow graph $G=(V, E)$ of a function in the binary, where nodes in $V$ correspond to basic blocks (sequences of instructions that are always executed sequentially) and edges in $E$ represent jumps in the control flow, the goal is to know for each block $u \in V$ whether $u$ was executed during a session. To this end, extra instrumentation code that records when a block is executed needs to be added to the binary. This extra code creates a time and space overhead, which one would like to minimize as much as possible. Motivated by this application, we study the Minimum Coverage Instrumentation problem, where the goal is to find a minimum size subset of blocks to instrument such that the coverage of the remaining blocks in the graph can be inferred from the coverage status of the instrumented subset. Our main result is an algorithm to find an optimal instrumentation strategy and to carry out the inference in $O(|E|)$ time. We also study variants of this basic problem in which we are interested in learning the coverage of edges instead of the nodes, or when we are only allowed to instrument edges instead of the nodes.


title: Comparing classicality of qutrits from Hilbert-Schmidt, Bures and Bogoliubov-Kubo-Mori ensembles

abstract: In the report we analyze the indicator/measure of classicality of quantum states defined as the probability to find a state with a positive Wigner function within a unitary invariant random ensemble. The indicators of classicality of three ensembles associated with the Hilbert-Schmidt, Bures and Bogoliubov-Kubo-Mori metrics on the space of quantum states of 3-level system are computed. Their dependence on a moduli parameter of the Wigner function is studied for all strata of a qutrit state space stratified in accordance with the unitary group action.


title: "Prompt-Gamma Neutron Activation Analysis (PGNAA)" Metal Spectral Classification using Deep Learning Method

abstract: There is a pressing market demand to minimize the test time of Prompt Gamma Neutron Activation Analysis (PGNAA) spectra measurement machine, so that it could function as an instant material analyzer, e.g. to classify waste samples instantaneously and determine the best recycling method based on the detected compositions of the testing sample. This article introduces a new development of the deep learning classification and contrive to reduce the test time for PGNAA machine. We propose both Random Sampling Methods and Class Activation Map (CAM) to generate "downsized" samples and train the CNN model continuously. Random Sampling Methods (RSM) aims to reduce the measuring time within a sample, and Class Activation Map (CAM) is for filtering out the less important energy range of the downsized samples. We shorten the overall PGNAA measuring time down to 2.5 seconds while ensuring the accuracy is around 96.88 % for our dataset with 12 different species of substances. Compared with classifying different species of materials, it requires more test time (sample count rate) for substances having the same elements to archive good accuracy. For example, the classification of copper alloys requires nearly 24 seconds test time to reach 98 % accuracy.


title: Numerical Optimization of the Dirichlet Boundary Condition in the Phase Field Model with an Application to Pure Substance Solidification

abstract: As opposed to the distributed control of parabolic PDE's, very few contributions currently exist pertaining to the Dirichlet boundary condition control for parabolic PDE's. This motivates our interest in the Dirichlet boundary condition control for the phase field model describing the solidification of a pure substance from a supercooled melt. In particular, our aim is to control the time evolution of the temperature field on the boundary of the computational domain in order to achieve the prescribed shape of the crystal at the given time. To obtain efficient means of computing the gradient of the cost functional, we derive the adjoint problem formally. The gradient is then used to perform gradient descent. The viability of the proposed optimization method is supported by several numerical experiments performed in one and two spatial dimensions. Among other things, these experiments show that a linear reaction term in the phase field equation proves to be insufficient in certain scenarios and so an alternative reaction term is considered to improve the models behavior.


title: Programmable photonic integrated meshes for modular generation of optical entanglement links

abstract: Large-scale generation of quantum entanglement between individually controllable qubits is at the core of quantum computing, communications, and sensing. Modular architectures of remotely-connected quantum technologies have been proposed for a variety of physical qubits, with demonstrations reported in atomic and all-photonic systems. However, an open challenge in these architectures lies in constructing high-speed and high-fidelity reconfigurable photonic networks for optically-heralded entanglement among target qubits. Here we introduce a programmable photonic integrated circuit (PIC), realized in a piezo-actuated silicon nitride (SiN)-in-oxide CMOS-compatible process, that implements an N x N Mach-Zehnder mesh (MZM) capable of high-speed execution of linear optical transformations. The visible-spectrum photonic integrated mesh is programmed to generate optical connectivity on up to N = 8 inputs for a range of optically-heralded entanglement protocols. In particular, we experimentally demonstrated optical connections between 16 independent pairwise mode couplings through the MZM, with optical transformation fidelities averaging 0.991 +/- 0.0063. The PIC's reconfigurable optical connectivity suffices for the production of 8-qubit resource states as building blocks of larger topological cluster states for quantum computing. Our programmable PIC platform enables the fast and scalable optical switching technology necessary for network-based quantum information processors.


title: Li distribution, kinematics and detailed abundance analysis among very metal-poor stars in the Galactic halo from the HESP-GOMPA survey

abstract: We present a study on the detailed elemental abundances of newly identified bright very metal-poor stars with the detection of lithium, initially observed as part of the SDSS/MARVELS pre-survey. These stars were selected for high-resolution spectroscopic follow-up as part of the HESP-GOMPA survey. In this work, we discuss the Li abundances detected for several stars in the survey, which include main-sequence stars, subgiants, and red giants. Different classes of stars are found to exhibit very similar distributions of Li, which point towards a common origin. We derive a scaling relation for the depletion of Li as a function of temperature for giants and main-sequence stars; the majority of the samples from the literature were found to fall within 1sigma (0.19 and 0.12 dex/K for giants and dwarfs respectively) of this relationship. We also report the existence of a slope of the Li abundances as a function of distances from the Galactic plane, indicating mixed stellar populations. Most Li-rich stars are found to be in or close to the galactic plane. Along with Li, we have derived detailed abundances for C, odd-Z, alpha-, Fe-peak, and neutron-capture elements for each star. We have also used astrometric parameters from Gaia-EDR3 to complement our study, and derived kinematics to differentiate between the motions of the stars; those formed in situ and accreted. The stellar population of the Spite plateau, including additional stars from the literature, is found to have significant contributions from stars formed in situ and through accretion. The orbits for the program stars have also been derived and studied for a period of 5 Gyr backward in time.


title: A countable universal torsion abelian group for purity

abstract: We show that there is a countable universal abelian p-group for purity, i.e., a countable abelian p-group $U$ such that every countable abelian p-group purely embeds in $U$. This is the last result needed to provide a complete solution to Problem 5.1 of [Fuc15] below $\aleph_\omega$. We introduce $\aleph_0$-strongly homogeneous p-groups, show that there is a universal abelian p-group for purity which is $\aleph_0$-strongly homogeneous, and completely characterize the countable $\aleph_0$-strongly homogeneous p-groups.


title: Model for Photoresponsive Nematic Elastomers

abstract: We study the equilibria of a photoresponsive nematic elastomer ribbon within a continuum theory that builds upon the statistical mechanics model put forward by Corbett and Warner [Phys. Rev. E 78, 061701 (2008)]. We prove that the spontaneous deformation induced by illumination is not monotonically dependent on the intensity $I$. The ribbon's deflection first increases with increasing $I$, as expected, but then decreases and abruptly ceases altogether at a critical value $I_\mathrm{e}$ of $I$. $I_\mathrm{e}$, which is enclosed within a hysteresis loop, marks a first-order shape transition. Finally, we find that there is a critical value of the ribbon's length, depending only on the degree of cross-linking in the material, below which no deflection can be induced in the ribbon, no matter how intense is the light shone on it.


title: Finite Sample Identification of Bilinear Dynamical Systems

abstract: Bilinear dynamical systems are ubiquitous in many different domains and they can also be used to approximate more general control-affine systems. This motivates the problem of learning bilinear systems from a single trajectory of the system's states and inputs. Under a mild marginal mean-square stability assumption, we identify how much data is needed to estimate the unknown bilinear system up to a desired accuracy with high probability. Our sample complexity and statistical error rates are optimal in terms of the trajectory length, the dimensionality of the system and the input size. Our proof technique relies on an application of martingale small-ball condition. This enables us to correctly capture the properties of the problem, specifically our error rates do not deteriorate with increasing instability. Finally, we show that numerical experiments are well-aligned with our theoretical results.


title: A Language Agnostic Multilingual Streaming On-Device ASR System

abstract: On-device end-to-end (E2E) models have shown improvements over a conventional model on English Voice Search tasks in both quality and latency. E2E models have also shown promising results for multilingual automatic speech recognition (ASR). In this paper, we extend our previous capacity solution to streaming applications and present a streaming multilingual E2E ASR system that runs fully on device with comparable quality and latency to individual monolingual models. To achieve that, we propose an Encoder Endpointer model and an End-of-Utterance (EOU) Joint Layer for a better quality and latency trade-off. Our system is built in a language agnostic manner allowing it to natively support intersentential code switching in real time. To address the feasibility concerns on large models, we conducted on-device profiling and replaced the time consuming LSTM decoder with the recently developed Embedding decoder. With these changes, we managed to run such a system on a mobile device in less than real time.


title: Star Formation Suppresion by Tidal Removal of Cold Molecular Gas from an Intermediate-Redshift Massive Post-Starburst Galaxy

abstract: Observations and simulations have demonstrated that star formation in galaxies must be actively suppressed to prevent the formation of over-massive galaxies. Galactic outflows driven by stellar feedback or supermassive black hole accretion are often invoked to regulate the amount of cold molecular gas available for future star formation, but may not be the only relevant quenching processes in all galaxies. We present the discovery of vast molecular tidal features extending up to 64 kpc outside of a massive z=0.646 post-starburst galaxy that recently concluded its primary star-forming episode. The tidal tails contain (1.2 +/- 0.1)x10^10 Msun of molecular gas, 47 +/- 5 % of the total cold gas reservoir of the system. Both the scale and magnitude of the molecular tidal features are unprecedented compared to all known nearby or high-redshift merging systems. We infer that the cold gas was stripped from the host galaxies during the merger, which is most likely responsible for triggering the initial burst phase and the subsequent suppression of star formation. While only a single example, this result shows that galaxy mergers can regulate the cold gas contents in distant galaxies by directly removing a large fraction of the molecular gas fuel, and plausibly suppress star formation directly, a qualitatively different physical mechanism than feedback-driven outflows.