title: Revisiting diagonal tetrads: New Black Hole solutions in $f(T)$ gravity

abstract: We study various forms of diagonal tetrads that accommodate Black Hole solutions in $f(T)$ gravity with certain symmetries. As is well-known, vacuum spherically symmetric diagonal tetrads lead to rather boring cases of constant torsion scalars. We extend this statement to other possible horizon topologies, namely, spherical, hyperbolic and planar horizons. All such cases are forced to have constant torsion scalars to satisfy the anti-symmetric part of the field equations. We give a full classification of possible vacuum static solutions of this sort. Furthermore, we discuss addition of time-dependence in all the above cases. We also show that if all the components of a diagonal tetrad depend only on one coordinate, then the anti-symmetric part of the field equations is automatically satisfied. This result applies to the flat horizon case with Cartesian coordinates. For solutions with a planar symmetry (or a flat horizon), one can naturally use Cartesian coordinates on the horizon. In this case, we show that the presence of matter is required for existence of non-trivial solutions. This is a novel and very interesting feature of these constructions. We present two new exact solutions, the first is a magnetic Black Hole which is the magnetic dual of a known electrically charged Black Hole in literature. The second is a dyonic Black Hole with electric and magnetic charges. We present some features of these Black holes, namely, extremality conditions, mass, behavior of torsion and curvature scalars near the singularity.


title: New benchmark scenarios of electroweak baryogenesis in aligned two Higgs double models

abstract: We discuss electroweak baryogenesis in aligned two Higgs doublet models. It is known that in this model the severe constraint from the experimental results for the electron electric dipole moment can be avoided by destructive interference among CP-violating effects in the Higgs sector. In our previous work, we showed that the observed baryon number in the Universe can be explained without contradicting current available data in a specific scenario in the same model. We here first discuss details of the evaluation of baryon number based on the WKB method taking into account all order of the wall velocity. We then investigate parameter spaces which are allowed under the current available data from collider, flavor and electric dipole moment experiments simultaneously. We find several benchmark scenarios which can explain baryon asymmetry of the Universe. We also discuss how we can test these benchmark scenarios at future collider experiments, various flavor experiments and gravitational wave observations.


title: On the Origin of Diffuse Radio Emission in Abell 85 -- Insights from new GMRT Observations

abstract: Extended, steep, and ultra-steep spectrum radio emission in a galaxy cluster is usually associated with recent mergers. Simulations show that radio phoenixes are aged radio galaxy lobes whose emission reactivates when a low Mach shock compresses it. A85 hosts a textbook example of a radio phoenix at about 320 kpc southwest of the cluster center. We present a new high resolution 325 MHz GMRT radio map illustrating this radio phoenix's complex and filamentary structure. The full extent of the radio structure is revealed for the first time from these radio images of A85. Using archival \textit{Chandra} X-ray observations, we applied an automated 2-D shock finder to the X-ray surface brightness and Adaptive Circular Binning (ACB) temperature maps which confirmed a bow shock at the location of the radio phoenix. We also compared the Mach number from the X-ray data with the radio-derived Mach number in the same region using multi-frequency radio observations and find that they are consistent within the 1$\sigma$ error level.


title: Exploration of simple scenarios involving Fuzzy Dark Matter cores and gas at local scales

abstract: We introduce a tool that solves the Schr\"odinger-Euler-Poisson system of equations and allows the study of the interaction between ultralight bosonic dark matter, whose dynamics is described with the Schr\"odinger-Poisson system and luminous matter which, as a first approximation, is modeled with a single component compressible ideal fluid. The two matter fields are coupled through the Poisson equation, whose source is the addition of both, dark matter and fluid densities. We describe the numerical methods used to solve the system of equations and present tests for each of the two components, that show the accuracy and convergence properties of the code. As simple possible applications we present some toy scenarios: i) the merger between a core of dark matter with a cloud of gas, ii) the merger of bosonic dark matter plus fluid configurations, and iii) the post merger properties, including the dark-matter offset from gas and the correlation between oscillations of the bosonic core and those of the gas.


title: Unified description of fluids and solids in Smoothed Particle Hydrodynamics

abstract: Smoothed Particle Hydrodynamics (SPH) methods are advantageous in simulations of fluids in domains with free boundary. Special SPH methods have also been developed to simulate solids. However, there are situations where the matter behaves partly as a fluid and partly as a solid, for instance, the solidification front in 3D printing, or any system involving both fluid and solid phases. We develop an SPH-like method that is suitable for both fluids and solids at the same time. Instead of the typical discretization of hydrodynamics, we discretize the Symmetric Hyperbolic Thermodynamically Compatible equations (SHTC), which describe both fluids, elastic solids, and visco-elasto-plastic solids within a single framework. The resulting SHTC-SPH method is then tested on various benchmarks from the hydrodynamics and dynamics of solids and shows remarkable agreement with the data.


title: SRG/eROSITA discovery of a radio faint X-ray candidate supernova remnant SRGe J003602.3+605421=G121.1-1.9

abstract: We report the discovery of a candidate X-ray supernova remnant SRGe J003602.3+605421=G121.1-1.9 in the course of \textit{SRG}/eROSITA all-sky survey. The object is located at (l,b)=(121.1$^\circ$,-1.9$^\circ$), is $\approx36$ arcmin in angular size and has a nearly circular shape. Clear variations in spectral shape of the X-ray emission across the object are detected, with the emission from the inner (within 9') and outer (9'-18') parts dominated by iron and oxygen/neon lines, respectively. The non-equilibrium plasma emission model is capable of describing the spectrum of the outer part with the initial gas temperature 0.1 keV, final temperature 0.5 keV and the ionization age $\sim 2\times10^{10}$ cm$^{-3}$ s. The observed spectrum of the inner region is more complicated (plausibly due to the contribution of the outer shell) and requires substantial overabundance of iron for all models we have tried. The derived X-ray absorption equals to $(4-6)\times10^{21}$ cm$^{-2}$, locating the object at the distance beyond 1.5 kpc, and implying its age $\sim(5-30)\times1000$ yrs. No bright radio, infrared, H$_\alpha$ or gamma-ray counterpart of this object have been found in the publicly-available archival data. A model invoking a canonical $10^{51}$ erg explosion (either SN Ia or core collapse) in the hot and tenuous medium in the outer region of the Galaxy $\sim$9 kpc away might explain the bulk of the observed features. This scenario can be tested with future deep X-ray and radio observations.


title: Non-equilibrium charmonium regeneration in strongly coupled quark-gluon plasma

abstract: The evaluation of quarkonium regeneration in ultrarelativistic heavy-ion collisions (URHICs) requires the knowledge of the heavy-quark phase space distributions in the expanding quark-gluon plasma (QGP) fireball. We employ a semi-classical charmonium transport approach where regeneration processes explicitly account for the time-dependent spectra of charm quarks via Langevin simulations of their diffusion. The inelastic charmonium rates and charm-quark transport coefficients are computed from the same charm-medium interaction. The latter is modeled by perturbative rates, augmented with a $K$-factor to represent nonperturbative interaction strength and interference effect. Using central 5.02~TeV Pb-Pb collisions as a test case we find that a good description of the measured $J/\psi$ yield and its transverse-momentum dependence can be achieved if a large $K\gtrsim5$ is employed while smaller values lead to marked discrepancies. This is in line with open-charm phenomenology in URHICs, where nonperturbative interactions of similar strength are required. Our approach establishes a common transport framework for a microscopic description of open and hidden heavy-flavor (HF) observables that incorporates both nonperturbative and non-equilibrium effects, and thus enhances the mutual constraints from experiment on the extraction of transport properties of the QGP.


title: Advances in Prediction of Readmission Rates Using Long Term Short Term Memory Networks on Healthcare Insurance Data

abstract: 30-day hospital readmission is a long standing medical problem that affects patients' morbidity and mortality and costs billions of dollars annually. Recently, machine learning models have been created to predict risk of inpatient readmission for patients with specific diseases, however no model exists to predict this risk across all patients. We developed a bi-directional Long Short Term Memory (LSTM) Network that is able to use readily available insurance data (inpatient visits, outpatient visits, and drug prescriptions) to predict 30 day re-admission for any admitted patient, regardless of reason. The top-performing model achieved an ROC AUC of 0.763 (0.011) when using historical, inpatient, and post-discharge data. The LSTM model significantly outperformed a baseline random forest classifier, indicating that understanding the sequence of events is important for model prediction. Incorporation of 30-days of historical data also significantly improved model performance compared to inpatient data alone, indicating that a patients clinical history prior to admission, including outpatient visits and pharmacy data is a strong contributor to readmission. Our results demonstrate that a machine learning model is able to predict risk of inpatient readmission with reasonable accuracy for all patients using structured insurance billing data. Because billing data or equivalent surrogates can be extracted from sites, such a model could be deployed to identify patients at risk for readmission before they are discharged, or to assign more robust follow up (closer follow up, home health, mailed medications) to at-risk patients after discharge.


title: Rethinking Unsupervised Domain Adaptation for Semantic Segmentation

abstract: Unsupervised domain adaptation (UDA) adapts a model trained on one domain (called source) to a novel domain (called target) using only unlabeled data. Due to its high annotation cost, researchers have developed many UDA methods for semantic segmentation, which assume no labeled sample is available in the target domain. We question the practicality of this assumption for two reasons. First, after training a model with a UDA method, we must somehow verify the model before deployment. Second, UDA methods have at least a few hyper-parameters that need to be determined. The surest solution to these is to evaluate the model using validation data, i.e., a certain amount of labeled target-domain samples. This question about the basic assumption of UDA leads us to rethink UDA from a data-centric point of view. Specifically, we assume we have access to a minimum level of labeled data. Then, we ask how much is necessary to find good hyper-parameters of existing UDA methods. We then consider what if we use the same data for supervised training of the same model, e.g., finetuning. We conducted experiments to answer these questions with popular scenarios, {GTA5, SYNTHIA}$\rightarrow$Cityscapes. We found that i) choosing good hyper-parameters needs only a few labeled images for some UDA methods whereas a lot more for others; and ii) simple finetuning works surprisingly well; it outperforms many UDA methods if only several dozens of labeled images are available.


title: Sparse Periodic Systolic Dataflow for Lowering Latency and Power Dissipation of Convolutional Neural Network Accelerators

abstract: This paper introduces the sparse periodic systolic (SPS) dataflow, which advances the state-of-the-art hardware accelerator for supporting lightweight neural networks. Specifically, the SPS dataflow enables a novel hardware design approach unlocked by an emergent pruning scheme, periodic pattern-based sparsity (PPS). By exploiting the regularity of PPS, our sparsity-aware compiler optimally reorders the weights and uses a simple indexing unit in hardware to create matches between the weights and activations. Through the compiler-hardware codesign, SPS dataflow enjoys higher degrees of parallelism while being free of the high indexing overhead and without model accuracy loss. Evaluated on popular benchmarks such as VGG and ResNet, the SPS dataflow and accompanying neural network compiler outperform prior work in convolutional neural network (CNN) accelerator designs targeting FPGA devices. Against other sparsity-supporting weight storage formats, SPS results in 4.49x energy efficiency gain while lowering storage requirements by 3.67x for total weight storage (non-pruned weights plus indexing) and 22,044x for indexing memory.


title: Velocity-dependent J-factors for Milky Way dwarf spheroidal analogues in cosmological simulations

abstract: We study the impact of the dark matter velocity distribution modelling on signals from velocity-dependent dark matter annihilation in Milky Way dwarf spheroidal galaxies. Using the high resolution APOSTLE simulations, we identify analogues corresponding to Milky Way dwarf spheroidal galaxies, and from these directly determine the dark matter pair-wise relative velocity distribution, and compare to best-fitting Maxwell-Boltzmann distribution models. For three velocity-dependent annihilation models, p-wave, d-wave, and the Sommerfeld model, we quantify the errors introduced when using the Maxwell-Boltzmann parameterization. We extract a simple power-law relation between the maximum circular velocity of the dwarf spheroidal analogue and the peak speed of the Maxwell-Boltzmann distribution. We show that this relation can be used to accurately calculate the dark matter relative velocity distribution, and find that it allows us to estimate the dark matter annihilation signal without the need to directly calculate the relative velocity distribution for each galaxy. The scatter in the J-factors calculated from the analogues dominates the uncertainty obtained when compared to the J-factor as determined from the observational data for each dwarf spheroidal, with the largest scatter from d-wave models and the smallest from Sommerfeld models.


title: Multistability in coupled oscillator systems with higher-order interactions and community structure

abstract: We study synchronization dynamics in populations of coupled phase oscillators with higher-order interactions and community structure. We find that the combination of these two properties gives rise to a number of states unsupported by either higher-order interactions or community structure alone, including synchronized states with communities organized into clusters in-phase, anti-phase, and a novel skew-phase, as well as an incoherent-synchronized state. Moreover, the system displays a strong multistability, with many of these states stable at the same time. We demonstrate our findings by deriving the low dimensional dynamics of the system and examining the system's bifurcations using a stability analysis and perturbation theory.


title: Odd Viscosity and Odd Elasticity

abstract: Elasticity typically refers to a material's ability to store energy, while viscosity refers to a material's tendency to dissipate it. In this review, we discuss fluids and solids for which this is not the case. These materials display additional linear response coefficients known as odd viscosity and odd elasticity. We first introduce odd elasticity and odd viscosity from a continuum perspective, with an emphasis on their rich phenomenology, including transverse responses, modified dislocation dynamics, and topological waves. We then provide an overview of systems that display odd viscosity and odd elasticity. These systems range from quantum fluids, to astrophysical gasses, to active and driven matter. Finally, we comment on microscopic mechanisms by which odd elasticity and odd viscosity arise.


title: Extremal Surfaces and Thin-shell Wormholes

abstract: We study extremal surfaces in a traversable wormhole geometry that connects two locally AdS$_5$ asymptotic regions. In the context of the AdS/CFT correspondence, we use these to compute the holographic entanglement entropy for different configurations: First, we consider an extremal surface anchored at the boundary on a spatial $2$-sphere of radius $R$. The other scenario is a slab configuration which extends in two of the boundary spacelike directions while having a finite size $L$ in the third one. We show that in both cases the divergent and the finite pieces of the holographic entanglement entropy give results consistent with the holographic picture and this is used to explore the phase transitions that the dual theory undergoes. The geometries we consider here are stable thin-shell wormholes with flat codimension-one hypersurfaces at fixed radial coordinate. They appear as electrovacuum solutions of higher-curvature gravity theories coupled to Abelian gauge fields. The presence of the thin-shells produces a refraction of the extremal surfaces in the bulk, leading to the presence of cusps in the phase space diagram. Further, the traversable wormhole captures a phase transition for the subsystems made up of a union of disconnected regions in different boundaries. We discuss these and other features of the phase diagram.


title: Counting Closed Geodesics in Rank 1 $\mathrm{SL}\left(2,\mathbb{R}\right)$-orbit Closures

abstract: We obtain bounds on the numbers of intersections between triangulations as the conformal structure of a surface varies along a Teichm{\"u}ller geodesic contained in an $\mathrm{SL}\left(2,\mathbb{R}\right)$-orbit closure of rank 1 in the moduli space of Abelian differentials. For $0 \leq \theta \leq 1$, we obtain an exponential bound on the number of closed geodesics in the orbit closure, of length at most $R$, that spend at least $\theta$-fraction of their length in a region with short saddle connections.


title: Singular Lagrangians and the Dirac--Bergmann Algorithm in Classical Mechanics

abstract: Textbook treatments of classical mechanics typically assume that the Lagrangian is nonsingular. That is, the matrix of second derivatives of the Lagrangian with respect to the velocities is invertible. This assumption insures that (i) Lagrange's equations can be solved for the accelerations as functions of coordinates and velocities, and (ii) the definition of the conjugate momenta can be inverted for the velocities as functions of coordinates and momenta. This assumption, however, is unnecessarily restrictive -- there are interesting classical dynamical systems with singular Lagrangians. The algorithm for analyzing such systems was developed by Dirac and Bergmann in the 1950's. After a brief review of the Dirac--Bergmann algorithm, several physical examples are constructed from familiar components: point masses connected by massless springs, rods, cords and pulleys. The algorithm is also used to develop an initial value formulation of systems with holonomic constraints.


title: $m$-periodic Gorenstein objects

abstract: We present and study the concept of $m$-periodic Gorenstein objects relative to a pair $(\mathcal{A,B})$ of classes of objects in an abelian category, as a generalization of $m$-strongly Gorenstein projective modules over associative rings. We prove several properties in some cases where $(\mathcal{A,B})$ satisfies certain homological conditions, like for instance when $(\mathcal{A,B})$ is a GP-admissible pair. Connections to Gorenstein objects and Gorenstein homological dimensions relative to these pairs are also established.


title: Efficient computation of rankings from pairwise comparisons

abstract: We study the ranking of individuals, teams, or objects, based on pairwise comparisons between them, using the Bradley-Terry model. Estimates of rankings within this model are commonly made using a simple iterative algorithm first introduced by Zermelo almost a century ago. Here we describe an alternative and similarly simple iteration that provably returns identical results but does so much faster -- over a hundred times faster in some cases. We demonstrate this algorithm with applications to a range of example data sets and derive a number of results regarding its convergence.


title: Breaking one into three: surface-tension-driven droplet breakup in T-junctions

abstract: Droplet breakup is an important phenomenon in the field of microfluidics to generate daughter droplets. In this work, a novel breakup regime in the widely studied T-junction geometry is reported, where the pinch-off occurs laterally in the two outlet channels, leading to the formation of three daughter droplets, rather than at the center of the junction for conventional T-junctions which leads to two daughter droplets. It is demonstrated that this new mechanism is driven by surface tension, and a design rule for the T-junction geometry is proposed. A model for low values of the capillary number $Ca$ is developed to predict the formation and growth of an underlying carrier fluid pocket that accounts for this lateral breakup mechanism. At higher values of $Ca$, the conventional regime of central breakup becomes dominant again. The competition between the new and the conventional regime is explored. Altogether, this novel droplet formation method at T-junction provides the functionality of alternating droplet size and composition, which can be important for the design of new microfluidic tools.


title: Testing Rotating Regular Metrics with EHT Results of Sgr A*

abstract: The Event Horizon Telescope (EHT) observation unveiled the first image of supermassive black hole Sgr A* showing a shadow of diameter $\theta_{sh}= 48.7 \pm 7\,\mu$as with fractional deviation from the Schwarzschild black hole shadow diameter $\delta = -0.08^{+0.09}_{-0.09}~\text{(VLTI)},-0.04^{+0.09}_{-0.10}~\text{(Keck)}$. The Sgr A* shadow size is within $~10\%$ of the Kerr predictions, providing us with another tool to investigate the nature of strong-field gravity. We use the Sgr A* shadow observables to constrain metrics of four independent and well-motivated, parametrically different from Kerr spacetime, rotating regular spacetimes, and the corresponding no-horizon spacetimes. We present constraints on the deviation parameter $g$ of rotating regular black holes. The shadow angular diameter $\theta_{sh}$ within $1 \sigma$ region, places bounds on the parameters $a$ and $g$. Together with EHT bounds on $\theta_{sh}$ and $\delta$ of Sgr A*, our analysis concludes that the three rotating regular black holes, viz., Bardeen Hayward, and Simpson-Visser black holes, and corresponding no-horizon spacetimes agree with the EHT results of Sgr A*. Thus, these three rotating regular spacetimes and Kerr black holes are indiscernible in some parameter space, and one can not rule out the possibility of the former being strong candidates for astrophysical black holes.


title: Expansion and collapse of spherically symmetric isotropic elastic bodies surrounded by vacuum

abstract: A class of isotropic and scale invariant strain energy functions is given for which the corresponding spherically symmetric elastic motion includes bodies whose diameter becomes infinite with time or collapses to zero in finite time, depending on the sign of the residual pressure. The body is surrounded by vacuum so that the boundary surface forces vanish, while the density remains strictly positive. The body is subject only to internal elastic stress.


title: Ultrafast Electron Diffraction: Visualizing Dynamic States of Matter

abstract: Since the discovery of electron-wave duality, electron scattering instrumentation has developed into a powerful array of techniques for revealing the atomic structure of matter. Beyond detecting local lattice variations in equilibrium structures, recent research efforts have been directed towards the long sought-after dream of visualizing the dynamic evolution of matter in real-time. The atomic behavior at ultrafast timescales carries critical information on phase transition and chemical reaction dynamics, the coupling of electronic and nuclear degrees of freedom in materials and molecules, the correlation between structure, function and previously hidden metastable or nonequilibrium states of matter. Ultrafast electron pulses play an essential role in this scientific endeavor, and their generation has been facilitated by rapid technical advances in both ultrafast laser and particle accelerator technologies. This review presents a summary of the remarkable developments in this field over the last few decades. The physics and technology of ultrafast electron beams is presented with an emphasis on the figures of merit most relevant for ultrafast electron diffraction (UED) experiments. We discuss recent developments in the generation, manipulation and characterization of ultrashort electron beams aimed at improving the combined spatio-temporal resolution of these measurements. The fundamentals of electron scattering from atomic matter and the theoretical frameworks for retrieving dynamic structural information from solid-state and gas-phase samples are described, together with essential experimental techniques and several landmark works. Ultrafast electron probes with ever improving capabilities, combined with other complementary photon-based or spectroscopic approaches, hold tremendous potential for revolutionizing our ability to observe and understand energy and matter at atomic scales.

categories: physics.ins-det cond-mat.mtrl-sci cond-mat.str-el physics.acc-ph physics.atm-clus


title: Sustainable Computing -- Without the Hot Air

abstract: The demand for computing is continuing to grow exponentially. This growth will translate to exponential growth in computing's energy consumption unless improvements in its energy-efficiency can outpace increases in its demand. Yet, after decades of research, further improving energy-efficiency is becoming increasingly challenging, as it is already highly optimized. As a result, at some point, increases in computing demand are likely to outpace increases in its energy-efficiency, potentially by a wide margin. Such exponential growth, if left unchecked, will position computing as a substantial contributor to global carbon emissions. While prominent technology companies have recognized the problem and sought to reduce their carbon emissions, they understandably focus on their successes, which has the potential to inadvertently convey the false impression that this is now, or will soon be, a solved problem. Such false impressions can be counterproductive if they serve to discourage further research in this area, since, as we discuss, eliminating computing's, and more generally society's, carbon emissions is far from a solved problem. To better understand the problem's scope, this paper distills the fundamental trends that determine computing's carbon footprint and their implications for achieving sustainable computing.


title: Selectively addressing plasmonic modes and excitonic states in a nanocavity hosting a quantum emitter

abstract: Understanding and controlling the interaction between the excitonic states of a quantum emitter and the plasmonic modes of a nanocavity is one of the most relevant current scientific challenges, key for the development of many applications, from quantum information processing devices to polaritonic catalysts. In this paper we demonstrate that the tunnel electroluminescence of C60 nanocrystals enclosed in the plasmonic nanocavity between a metallic surface and the tip of a Scanning Tunnelling Microscope, and isolated from the metal surface by a thin NaCl film, can be switched from a broad emission spectrum, revealing the plasmonic modes of the cavity, to a narrow band emission, displaying only the excitonic states of the C60 molecules by changing the bias voltage applied to the junction. Plasmonic emission is found in the same voltage region in which the rate of inelastic tunnel transitions is large and, thus, vanishes for large voltages. Excitonic emission, on the other hand, dominates the spectra in the high-voltage region in which the inelastic rate is low, demonstrating that the excitons cannot be created by an inelastic tunnel process. These results point towards new possible mechanisms to explain the tunnel electroluminescence of quantum emitters and offer new avenues to develop electrically tuneable nanoscale light sources.


title: DarKnight: An Accelerated Framework for Privacy and Integrity Preserving Deep Learning Using Trusted Hardware

abstract: Privacy and security-related concerns are growing as machine learning reaches diverse application domains. The data holders want to train or infer with private data while exploiting accelerators, such as GPUs, that are hosted in the cloud. Cloud systems are vulnerable to attackers that compromise the privacy of data and integrity of computations. Tackling such a challenge requires unifying theoretical privacy algorithms with hardware security capabilities. This paper presents DarKnight, a framework for large DNN training while protecting input privacy and computation integrity. DarKnight relies on cooperative execution between trusted execution environments (TEE) and accelerators, where the TEE provides privacy and integrity verification, while accelerators perform the bulk of the linear algebraic computation to optimize the performance. In particular, DarKnight uses a customized data encoding strategy based on matrix masking to create input obfuscation within a TEE. The obfuscated data is then offloaded to GPUs for fast linear algebraic computation. DarKnight's data obfuscation strategy provides provable data privacy and computation integrity in the cloud servers. While prior works tackle inference privacy and cannot be utilized for training, DarKnight's encoding scheme is designed to support both training and inference.


title: Charge and electric field distributions in the interelectrode region of an inhomogeneous solid electrolyte

abstract: A solid ionic conductor with cation conductivity in the interelectrode region is studied. Due to their large size, the anions are considered fixed and form a homogeneous neutralizing electric background. The model can be used to describe properties of ceramic conductors. For a statistical mechanical description of such systems, which are characterized by short-range Van der Waals interactions and long-range Coulomb interactions, an approach combining the collective variables method and the method of mean cell potentials is used. This formalism was applied in our previous work [Bokun G., Kravtsiv I., Holovko M., Vikhrenko V., Di Caprio D., Condens. Matter Phys., 2019, 29, 3351] to a homogeneous state and in the present work is extended to an inhomogeneous case induced by an external electric field. As a result, mean cell potentials become functionals of the density field and can be described by a closed system of integral equations. We investigate the solution of this problem in the lattice approximation and study charge and electric field distributions in the interelectrode region as functions of plate electrode charges. The differential electric capacitance is subsequently calculated and discussed.


title: Exact electronic states with shallow quantum circuits through global optimisation

abstract: Quantum computers promise to revolutionise electronic simulations by overcoming the exponential scaling of many-electron problems. While electronic wave functions can be represented using a product of fermionic unitary operators, shallow quantum circuits for exact states have not yet been achieved. We construct universal wave functions from gate-efficient, symmetry-preserving fermionic operators by introducing an algorithm that globally optimises the wave function in the discrete ansatz design and the continuous parameter spaces. Our approach maximises the accuracy that can be obtained with near-term quantum circuits. Highly accurate numerical simulations on strongly correlated molecules, including water and molecular nitrogen, and the condensed-matter Hubbard model, demonstrate that our algorithm reliably advances the state-of-the-art, defining a new paradigm for quantum simulations featuring strong electron correlation.


title: New foundations of reasoning via real-valued first-order logics

abstract: Many-valued logics in general, and fuzzy logics in particular, usually focus on a notion of consequence based on preservation of full truth, typical represented by the value 1 in the semantics given the real unit interval [0,1]. In a recent paper (\emph{Foundations of Reasoning with Uncertainty via Real-valued Logics}, arXiv:2008.02429v2, 2021), Ronald Fagin, Ryan Riegel, and Alexander Gray have introduced a new paradigm that allows to deal with inferences in propositional real-valued logics based on multi-dimensional sentences that allow to prescribe any truth-values, not just 1, for the premises and conclusion of a given entailment. In this paper, we extend their work to the first-order (as well as modal) logic of multi-dimensional sentences. We give axiomatic systems and prove corresponding completeness theorems, first assuming that the structures are defined over a fixed domain, and later for the logics of varying domains. As a by-product, we also obtain a 0-1 law for finitely-valued versions of these logics.


title: Central limit theorem for bifurcating Markov chains: the mother-daughters triangles case

abstract: The main objective of this article is to establish a central limit theorem for additive three-variable functionals of bifurcating Markov chains. We thus extend the central limit theorem under point-wise ergodic conditions studied in Bitseki-Delmas (2022) and to a lesser extent, the results of Bitseki-Delmas (2022) on central limit theorem under $L^{2}$ ergodic conditions. Our results also extend and complement those of Guyon (2007) and Delmas and Marsalle (2010). In particular, when the ergodic rate of convergence is greater than $1/\sqrt{2}$, we have, for certain class of functions, that the asymptotic variance is non-zero at a speed faster than the usual central limit theorem studied by Guyon and Delmas-Marsalle.


title: Towards Human-Agent Communication via the Information Bottleneck Principle

abstract: Emergent communication research often focuses on optimizing task-specific utility as a driver for communication. However, human languages appear to evolve under pressure to efficiently compress meanings into communication signals by optimizing the Information Bottleneck tradeoff between informativeness and complexity. In this work, we study how trading off these three factors -- utility, informativeness, and complexity -- shapes emergent communication, including compared to human communication. To this end, we propose Vector-Quantized Variational Information Bottleneck (VQ-VIB), a method for training neural agents to compress inputs into discrete signals embedded in a continuous space. We train agents via VQ-VIB and compare their performance to previously proposed neural architectures in grounded environments and in a Lewis reference game. Across all neural architectures and settings, taking into account communicative informativeness benefits communication convergence rates, and penalizing communicative complexity leads to human-like lexicon sizes while maintaining high utility. Additionally, we find that VQ-VIB outperforms other discrete communication methods. This work demonstrates how fundamental principles that are believed to characterize human language evolution may inform emergent communication in artificial agents.


title: Rapid and stain-free quantification of viral plaque via lens-free holography and deep learning

abstract: We present a rapid and stain-free quantitative viral plaque assay using lensfree holographic imaging and deep learning. This cost-effective, compact, and automated device significantly reduces the incubation time needed for traditional plaque assays while preserving their advantages over other virus quantification methods. This device captures ~0.32 Giga-pixel/hour phase information of the objects per test well, covering an area of ~30x30 mm^2, in a label-free manner, eliminating staining entirely. We demonstrated the success of this computational method using vesicular stomatitis virus (VSV), herpes simplex virus (HSV-1) and encephalomyocarditis virus (EMCV). Using a neural network, this stain-free device automatically detected the first cell lysing events due to the VSV viral replication as early as 5 hours after the incubation, and achieved >90% detection rate for the VSV plaque-forming units (PFUs) with 100% specificity in <20 hours, providing major time savings compared to the traditional plaque assays that take at least 48 hours. Similarly, this stain-free device reduced the needed incubation time by ~48 hours for HSV-1 and ~20 hours for EMCV, achieving >90% detection rate with 100% specificity. We also demonstrated that this data-driven plaque assay offers the capability of quantifying the infected area of the cell monolayer, performing automated counting and quantification of PFUs and virus-infected areas over a 10-fold larger dynamic range of virus concentration than standard viral plaque assays. This compact, low-cost, automated PFU quantification device can be broadly used in virology research, vaccine development, and clinical applications.

categories: physics.ins-det cs.CV physics.app-ph q-bio.QM


title: Graph Similarity Based on Matrix Norms

abstract: Quantifying the similarity between two graphs is a fundamental algorithmic problem at the heart of many data analysis tasks for graph-based data. In this paper, we study the computational complexity of a family of similarity measures based on quantifying the mismatch between the two graphs, that is, the "symmetric difference" of the graphs under an optimal alignment of the vertices. An important example is similarity based on graph edit distance. While edit distance calculates the "global" mismatch, that is, the number of edges in the symmetric difference, our main focus is on "local" measures calculating the maximum mismatch per vertex. Mathematically, our similarity measures are best expressed in terms of the adjacency matrices: the mismatch between graphs is expressed as the difference of their adjacency matrices (under an optimal alignment), and we measure it by applying some matrix norm. Roughly speaking, global measures like graph edit distance correspond to entrywise matrix norms like the Frobenius norm and local measures correspond to operator norms like the spectral norm. We prove a number of strong NP-hardness and inapproximability results even for very restricted graph classes such as bounded-degree trees.


title: Threat Assessment in Machine Learning based Systems

abstract: Machine learning is a field of artificial intelligence (AI) that is becoming essential for several critical systems, making it a good target for threat actors. Threat actors exploit different Tactics, Techniques, and Procedures (TTPs) against the confidentiality, integrity, and availability of Machine Learning (ML) systems. During the ML cycle, they exploit adversarial TTPs to poison data and fool ML-based systems. In recent years, multiple security practices have been proposed for traditional systems but they are not enough to cope with the nature of ML-based systems. In this paper, we conduct an empirical study of threats reported against ML-based systems with the aim to understand and characterize the nature of ML threats and identify common mitigation strategies. The study is based on 89 real-world ML attack scenarios from the MITRE's ATLAS database, the AI Incident Database, and the literature; 854 ML repositories from the GitHub search and the Python Packaging Advisory database, selected based on their reputation. Attacks from the AI Incident Database and the literature are used to identify vulnerabilities and new types of threats that were not documented in ATLAS. Results show that convolutional neural networks were one of the most targeted models among the attack scenarios. ML repositories with the largest vulnerability prominence include TensorFlow, OpenCV, and Notebook. In this paper, we also report the most frequent vulnerabilities in the studied ML repositories, the most targeted ML phases and models, the most used TTPs in ML phases and attack scenarios. This information is particularly important for red/blue teams to better conduct attacks/defenses, for practitioners to prevent threats during ML development, and for researchers to develop efficient defense mechanisms.


title: A detailed map of Higgs boson interactions by the ATLAS experiment ten years after the discovery

abstract: The Standard Model of particle physics describes the known fundamental particles and forces that make up our universe, with the exception of gravity. One of the central features of the Standard Model is a field that permeates all of space and interacts with fundamental particles. The quantum excitation of this field, known as Higgs field, manifests itself as the Higgs boson, the only fundamental particle with no spin. In 2012, a particle with properties consistent with the Higgs boson of the Standard Model was observed by the ATLAS and CMS experiments at the Large Hadron Collider at CERN. Since then, more than 30 times as many Higgs bosons have been recorded by the ATLAS experiment, allowing much more precise measurements and new tests of the theory. Here, on the basis of this larger dataset, we combine an unprecedented number of production and decay processes of the Higgs boson to scrutinize its interactions with elementary particles. Interactions with gluons, photons, and $W$ and $Z$ bosons -- the carriers of the strong, electromagnetic, and weak forces -- are studied in detail. Interactions with three third-generation matter particles (bottom ($b$) and top ($t$) quarks, and tau leptons ($\tau$)) are well measured and indications of interactions with a second-generation particle (muons, $\mu$) are emerging. These tests reveal that the Higgs boson discovered ten years ago is remarkably consistent with the predictions of the theory and provide stringent constraints on many models of new phenomena beyond the Standard Model.


title: Infuence of mass ablation on ignition and burn propagation in layered fusion capsules

abstract: After decades of research, recent laser-driven inertial fusion experiments have demonstrated rapid progress toward achieving thermonuclear ignition using capsule designs with cryogenic fuel layers. The ignition physics for these layered capsules involves a complex interplay between the dynamically forming hot spot and the dense surrounding fuel. Using analytic theory and numerical simulations, we demonstrate that the mass ablation rate into the hot spot depends sensitively upon the temperature of the dense fuel, resulting in ablative inflows up to ~4x faster than previous estimates. This produces an enthalpy flux into the hot spot that plays a critical role in controlling the hot spot temperature, the ignition threshold, and the subsequent burn propagation. The net influence of mass ablation on the ignition threshold is regulated by a dimensionless parameter that depends upon the temperature of the dense fuel. As a consequence, the ignition threshold is sensitive to any mechanism that heats the dense fuel, such as neutrons or radiation emitted from the hot spot. These predictions are confirmed using radiation hydrodynamic simulations for a series of capsules near ignition conditions. This analysis may have relevance for understanding the variable performance of recent experiments and for guiding new capsule designs toward higher fusion yields.


title: Optimal Quantum Control of Charging Quantum Batteries

abstract: Quantum control allows us to address the problem of engineering quantum dynamics for special purposes. While recently the field of quantum batteries has attracted much attention, optimization of their charging has not benefited from the quantum control methods. Here we fill this gap by using an optimization method. We apply for the first time this convergent iterative method for the control of the population of a bipartite quantum system in two cases, starting with a qubit-qubit case. The quantum charger-battery system is considered here, where the energy is pumped into the charger by an external classical electromagnetic field. Secondly, we systematically develop the original formulation of the method for two harmonic oscillators in the Gaussian regime. In both cases, the charger is considered to be an open dissipative system. Our optimization takes into account experimentally viable problem of turning-on and off of the charging external field. Optimising the shape of the pulse significantly boosts both the power and efficiency of the charging process in comparison to the sinusoidal drive. The harmonic oscillator setting of quantum batteries is of a particular interest, as the optimal driving pulse remains so independently of the temperature of environment.


title: End-to-end Learning for Image-based Detection of Molecular Alterations in Digital Pathology

abstract: Current approaches for classification of whole slide images (WSI) in digital pathology predominantly utilize a two-stage learning pipeline. The first stage identifies areas of interest (e.g. tumor tissue), while the second stage processes cropped tiles from these areas in a supervised fashion. During inference, a large number of tiles are combined into a unified prediction for the entire slide. A major drawback of such approaches is the requirement for task-specific auxiliary labels which are not acquired in clinical routine. We propose a novel learning pipeline for WSI classification that is trainable end-to-end and does not require any auxiliary annotations. We apply our approach to predict molecular alterations for a number of different use-cases, including detection of microsatellite instability in colorectal tumors and prediction of specific mutations for colon, lung, and breast cancer cases from The Cancer Genome Atlas. Results reach AUC scores of up to 94% and are shown to be competitive with state of the art two-stage pipelines. We believe our approach can facilitate future research in digital pathology and contribute to solve a large range of problems around the prediction of cancer phenotypes, hopefully enabling personalized therapies for more patients in future.


title: Evidence for ground state coherence in a two-dimensional Kondo lattice

abstract: Kondo lattices are ideal testbeds for the exploration of heavy-fermion quantum phases of matter. While our understanding of Kondo lattices has traditionally relied on complex bulk f-electron systems, transition metal dichalcogenide heterobilayers have recently emerged as simple, accessible and tunable 2D Kondo lattice platforms where, however, their ground state remains to be established. Here we present evidence of a coherent ground state in the 1T/1H-TaSe2 heterobilayer by means of scanning tunneling microscopy/spectroscopy at 340 mK. Our measurements reveal the existence of two symmetric electronic resonances around the Fermi energy, a hallmark of coherence in the spin lattice. Spectroscopic imaging locates both resonances at the central Ta atom of the charge density wave of the 1T phase, where the localized magnetic moment is held. Furthermore, the evolution of the electronic structure with the magnetic field reveals a non-linear increase of the energy separation between the electronic resonances. Aided by ab initio and auxiliary-fermion mean-field calculations, we demonstrate that this behavior is inconsistent with a fully screened Kondo lattice, and suggests a ground state with magnetic order mediated by conduction electrons. The manifestation of magnetic coherence in TMD-based 2D Kondo lattices enables the exploration of magnetic quantum criticality, Kondo breakdown transitions and unconventional superconductivity in the strict two-dimensional limit.


title: A multimodal tourist trip planner integrating road and pedestrian networks

abstract: The Tourist Trip Design Problem aims to prescribe a sightseeing plan that maximizes tourist satisfaction while taking into account a multitude of parameters and constraints, such as the distances among points of interest, the expected duration of each visit, the opening hours of each attraction, the time available daily. In this article we deal with a variant of the problem in which the mobility environment consists of a pedestrian network and a road network. So, one plan includes a car tour with a number of stops from which pedestrian subtours to attractions (each with its own time windows) depart. We study the problem and develop a method to evaluate the feasibility of solutions in constant time, to speed up the search. This result is used to devise an ad-hoc iterated local search. Experimental results show that our approach can handle realistic instances with up to 3643 points of interest (over a seven day planning horizon) in few seconds.


title: Simultaneous approximation in nilsystems and the multiplicative thickness of return-time sets

abstract: In the topological dynamical system $(X,T)$, a point $x$ simultaneously approximates a point $y$ if there exists a sequence $n_1$, $n_2$, ... of natural numbers for which $T^{n_i} x$, $T^{2n_i}x$, ..., $T^{k n_i} x$ all tend to $y$. In 1978, Furstenberg and Weiss showed that every system possesses a point which simultaneously approximates itself (a multiply recurrent point) and deduced refinements of van der Waerden's theorem on arithmetic progressions. In this paper, we study the denseness of the set of points that are simultaneously approximated by a given point. We show that in a minimal nilsystem, all points simultaneously approximate a $\delta$-dense set of points under a necessarily restricted set of powers of $T$. We tie this theorem to the multiplicative combinatorial properties of return-time sets, showing that all nil-Bohr sets and typical return-time sets in a minimal system are multiplicatively thick in a coset of a multiplicative subsemigroup of the natural numbers. This yields an inhomogeneous multiple recurrence result that generalizes Furstenberg and Weiss' theorem and leads to new enhancements of van der Waerden's theorem. This work relies crucially on continuity in the prolongation relation (the closure of the orbit-closure relation) developed by Auslander, Akin, and Glasner; the theory of rational points and polynomials on nilmanifolds developed by Leibman, Green, Tao; and the machinery of topological characteristic factors developed recently by Glasner, Huang, Shao, Weiss, and Ye.


title: Measuring Forgetting of Memorized Training Examples

abstract: Machine learning models exhibit two seemingly contradictory phenomena: training data memorization, and various forms of forgetting. In memorization, models overfit specific training examples and become susceptible to privacy attacks. In forgetting, examples which appeared early in training are forgotten by the end. In this work, we connect these phenomena. We propose a technique to measure to what extent models "forget" the specifics of training examples, becoming less susceptible to privacy attacks on examples they have not seen recently. We show that, while non-convex models can memorize data forever in the worst-case, standard image, speech, and language models empirically do forget examples over time. We identify nondeterminism as a potential explanation, showing that deterministically trained models do not forget. Our results suggest that examples seen early when training with extremely large datasets - for instance those examples used to pre-train a model - may observe privacy benefits at the expense of examples seen later.


title: A Bayesian 'sandwich' for variance estimation

abstract: Large-sample Bayesian analogs exist for many frequentist methods, but are less well-known for the widely-used 'sandwich' or 'robust' variance estimates. We review existing approaches to Bayesian analogs of sandwich variance estimates and propose a new analog, as the Bayes rule under a form of balanced loss function, that combines elements of standard parametric inference with fidelity of the data to the model. Our development is general, for essentially any regression setting with independent outcomes. Being the large-sample equivalent of its frequentist counterpart, we show by simulation that Bayesian robust standard error estimates can faithfully quantify the variability of parameter estimates even under model misspecification -- thus retaining the major attraction of the original frequentist version. We demonstrate our Bayesian analog of standard error estimates when studying the association between age and systolic blood pressure in NHANES.


title: NEOSSat Observations of Three Transiting Hot Jupiters

abstract: The Near Earth Object Surveillance Satellite (NEOSSat) is a Canadian-led 15 cm Earth-orbiting telescope originally designed to detect asteroids near the Sun. Its design is however also suitable for the observation of exoplanetary transits of bright stars. We used the NEOSSat platform to perform followup observations of several Transiting Exoplanets Survey Satellite (TESS) targets, both as a demonstration of NEOSSat capabilities for exoplanetary science and improve the orbital ephemerides and properties of these exoplanet systems. We are able to recover / confirm the orbital properties of such targets to within mutual error bars, demonstrating NEOSSat as a useful future contributor to exoplanetary science.


title: Solving the multi-messenger puzzle of the AGN-starburst composite galaxy NGC 1068

abstract: Multi-wavelength observations indicate that some starburst galaxies show a dominant non-thermal contribution from their central region. These active galactic nuclei (AGN)-starburst composites are of special interest, as both phenomena on their own are potential sources of highly-energetic cosmic rays and associated gamma-ray and neutrino emission. In this work, a homogeneous, steady-state two-zone multi-messenger model of the non-thermal emission from the AGN corona as well as the circumnuclear starburst region is developed and subsequently applied to the case of NGC 1068, which has recently shown some first indications of high-energy neutrino emission. Here, we show that the entire spectrum of multi-messenger data - from radio to gamma-rays including the neutrino constraint - can be described very well if both, starburst and AGN corona, are taken into account. Using only a single emission region is not sufficient.


title: Electric field control of labyrinth domain structures in core-shell ferroelectric nanoparticles

abstract: In the framework of the Landau-Ginzburg-Devonshire (LGD) approach, we studied the possibility of controlling the polarity and chirality of equilibrium domain structures by a homogeneous external electric field in a nanosized ferroelectric core covered with an ultra-thin shell of screening charge. Under certain screening lengths and core sizes, the minimum of the LGD energy, which consists of Landau-Devonshire energy, Ginzburg polarization gradient energy, and electrostatic terms, leads to the spontaneous appearance of stable labyrinth domain structures in the core. The labyrinths evolve from an initial polarization distribution consisting of arbitrarily small randomly oriented nanodomains. The equilibrium labyrinth structure is weakly influenced by details of the initial polarization distribution, such that one can obtain a quasi-continuum of nearly degenerate labyrinth structures, whose number is limited only by the mesh discretization density. Applying a homogeneous electric field to a nanoparticle with labyrinth domains, and subsequently removing it, allows inducing changes to the labyrinth structure, as the maze polarity is controlled by a field projection on the particle polar axis. Under specific conditions of the screening charge relaxation, the quasi-static dielectric susceptibility of the labyrinth structure can be negative, potentially leading to a negative capacitance effect. Considering the general validity of the LGD approach, we expect that an electric field control of labyrinth domains is possible in many spatially-confined nanosized ferroics, which can be potentially interesting for advanced cryptography and modern nanoelectronics.


title: On the Number of Quantifiers as a Complexity Measure

abstract: In 1981, Neil Immerman described a two-player game, which he called the "separability game" \cite{Immerman81}, that captures the number of quantifiers needed to describe a property in first-order logic. Immerman's paper laid the groundwork for studying the number of quantifiers needed to express properties in first-order logic, but the game seemed to be too complicated to study, and the arguments of the paper almost exclusively used quantifier rank as a lower bound on the total number of quantifiers. However, last year Fagin, Lenchner, Regan and Vyas rediscovered the games, provided some tools for analyzing them, and showed how to utilize them to characterize the number of quantifiers needed to express linear orders of different sizes. In this paper, we push forward in the study of number of quantifiers as a bona fide complexity measure by establishing several new results. First we carefully distinguish minimum number of quantifiers from the more usual descriptive complexity measures, minimum quantifier rank and minimum number of variables. Then, for each positive integer $k$, we give an explicit example of a property of finite structures (in particular, of finite graphs) that can be expressed with a sentence of quantifier rank $k$, but where the same property needs $2^{\Omega (k^2)}$ quantifiers to be expressed.


title: Projective tilings and full-rank perfect codes

abstract: A tiling of a vector space $S$ is the pair $(U,V)$ of its subsets such that every vector in $S$ is uniquely represented as the sum of a vector from $U$ and a vector from $V$. A tiling is connected to a perfect codes if one of the sets, say $U$, is projective, i.e., the union of one-dimensional subspaces of $S$. A tiling $(U,V)$ is full-rank if the affine span of each of $U$, $V$ is $S$. For finite non-binary vector spaces of dimension at least $6$ (at least $10$), we construct full-rank tilings $(U,V)$ with projective $U$ (both $U$ and $V$, respectively). In particular, that construction gives a full-rank ternary $1$-perfect code of length $13$, solving a known problem. We also discuss the treatment of tilings with projective components as factorizations of projective spaces. Keywords: perfect codes, tilings, group factorization, full-rank tilings, projective geometry


title: GaitForeMer: Self-Supervised Pre-Training of Transformers via Human Motion Forecasting for Few-Shot Gait Impairment Severity Estimation

abstract: Parkinson's disease (PD) is a neurological disorder that has a variety of observable motor-related symptoms such as slow movement, tremor, muscular rigidity, and impaired posture. PD is typically diagnosed by evaluating the severity of motor impairments according to scoring systems such as the Movement Disorder Society Unified Parkinson's Disease Rating Scale (MDS-UPDRS). Automated severity prediction using video recordings of individuals provides a promising route for non-intrusive monitoring of motor impairments. However, the limited size of PD gait data hinders model ability and clinical potential. Because of this clinical data scarcity and inspired by the recent advances in self-supervised large-scale language models like GPT-3, we use human motion forecasting as an effective self-supervised pre-training task for the estimation of motor impairment severity. We introduce GaitForeMer, Gait Forecasting and impairment estimation transforMer, which is first pre-trained on public datasets to forecast gait movements and then applied to clinical data to predict MDS-UPDRS gait impairment severity. Our method outperforms previous approaches that rely solely on clinical data by a large margin, achieving an F1 score of 0.76, precision of 0.79, and recall of 0.75. Using GaitForeMer, we show how public human movement data repositories can assist clinical use cases through learning universal motion representations. The code is available at https://github.com/markendo/GaitForeMer .


title: Modularity Optimization as a Training Criterion for Graph Neural Networks

abstract: Graph convolution is a recent scalable method for performing deep feature learning on attributed graphs by aggregating local node information over multiple layers. Such layers only consider attribute information of node neighbors in the forward model and do not incorporate knowledge of global network structure in the learning task. In particular, the modularity function provides a convenient source of information about the community structure of networks. In this work we investigate the effect on the quality of learned representations by the incorporation of community structure preservation objectives of networks in the graph convolutional model. We incorporate the objectives in two ways, through an explicit regularization term in the cost function in the output layer and as an additional loss term computed via an auxiliary layer. We report the effect of community structure preserving terms in the graph convolutional architectures. Experimental evaluation on two attributed bibilographic networks showed that the incorporation of the community-preserving objective improves semi-supervised node classification accuracy in the sparse label regime.


title: Discrimination in machine learning algorithms

abstract: Machine learning algorithms are routinely used for business decisions that may directly affect individuals, for example, because a credit scoring algorithm refuses them a loan. It is then relevant from an ethical (and legal) point of view to ensure that these algorithms do not discriminate based on sensitive attributes (like sex or race), which may occur unwittingly and unknowingly by the operator and the management. Statistical tools and methods are then required to detect and eliminate such potential biases.


title: Ranking In Generalized Linear Bandits

abstract: We study the ranking problem in generalized linear bandits. At each time, the learning agent selects an ordered list of items and observes stochastic outcomes. In recommendation systems, displaying an ordered list of the most attractive items is not always optimal as both position and item dependencies result in a complex reward function. A very naive example is the lack of diversity when all the most attractive items are from the same category. We model the position and item dependencies in the ordered list and design UCB and Thompson Sampling type algorithms for this problem. Our work generalizes existing studies in several directions, including position dependencies where position discount is a particular case, and connecting the ranking problem to graph theory.


title: Phonon-limited Mobility of 2D Semiconductors: Quadrupole Scattering and Free-carrier Screening

abstract: Two-dimensional (2D) semiconductors have demonstrated great potential for next-generation electronics and optoelectronics. An important property for these applications is the phonon-limited charge carrier mobility. The common approach to calculate the mobility from first principles relies on the interpolation of the electron-phonon coupling (EPC) matrix. However, it neglects the scattering by the dynamical quadrupoles generated by phonons, limiting its accuracy. Here we present a first-principles method to incorporate the quadrupole scattering, which results in a much better interpolation quality and thus a more accurate mobility as exemplified by monolayer MoS2 and InSe. This method also allows for a natural incorporation of the effects of the free carriers, enabling us to efficiently compute the screened EPC and thus the mobility for doped semiconductors. Particularly, we find that the electron mobility of InSe is more sensitive to the carrier concentration than that of MoS2 due to the stronger long-range scattering in intrinsic InSe. With increasing electron concentration, the InSe mobility can reach ~4 times of the intrinsic value, then decrease owing to the involvement of heavier electronic states. Our work provides accurate and efficient methods to calculate the phonon-limited mobility in the intrinsic and doped 2D materials, and improves the fundamental understanding of their transport mechanism.


title: Deradicalizing YouTube: Characterization, Detection, and Personalization of Religiously Intolerant Arabic Videos

abstract: Growing evidence suggests that YouTube's recommendation algorithm plays a role in online radicalization via surfacing extreme content. Radical Islamist groups, in particular, have been profiting from the global appeal of YouTube to disseminate hate and jihadist propaganda. In this quantitative, data-driven study, we investigate the prevalence of religiously intolerant Arabic YouTube videos, the tendency of the platform to recommend such videos, and how these recommendations are affected by demographics and watch history. Based on our deep learning classifier developed to detect hateful videos and a large-scale dataset of over 350K videos, we find that Arabic videos targeting religious minorities are particularly prevalent in search results (30%) and first-level recommendations (21%), and that 15% of overall captured recommendations point to hateful videos. Our personalized audit experiments suggest that gender and religious identity can substantially affect the extent of exposure to hateful content. Our results contribute vital insights into the phenomenon of online radicalization and facilitate curbing online harmful content.


title: Language model compression with weighted low-rank factorization

abstract: Factorizing a large matrix into small matrices is a popular strategy for model compression. Singular value decomposition (SVD) plays a vital role in this compression strategy, approximating a learned matrix with fewer parameters. However, SVD minimizes the squared error toward reconstructing the original matrix without gauging the importance of the parameters, potentially giving a larger reconstruction error for those who affect the task accuracy more. In other words, the optimization objective of SVD is not aligned with the trained model's task accuracy. We analyze this previously unexplored problem, make observations, and address it by introducing Fisher information to weigh the importance of parameters affecting the model prediction. This idea leads to our method: Fisher-Weighted SVD (FWSVD). Although the factorized matrices from our approach do not result in smaller reconstruction errors, we find that our resulting task accuracy is much closer to the original model's performance. We perform analysis with the transformer-based language models, showing our weighted SVD largely alleviates the mismatched optimization objectives and can maintain model performance with a higher compression rate. Our method can directly compress a task-specific model while achieving better performance than other compact model strategies requiring expensive model pre-training. Moreover, the evaluation of compressing an already compact model shows our method can further reduce 9% to 30% parameters with an insignificant impact on task accuracy.


title: Rethinking Surgical Captioning: End-to-End Window-Based MLP Transformer Using Patches

abstract: Surgical captioning plays an important role in surgical instruction prediction and report generation. However, the majority of captioning models still rely on the heavy computational object detector or feature extractor to extract regional features. In addition, the detection model requires additional bounding box annotation which is costly and needs skilled annotators. These lead to inference delay and limit the captioning model to deploy in real-time robotic surgery. For this purpose, we design an end-to-end detector and feature extractor-free captioning model by utilizing the patch-based shifted window technique. We propose Shifted Window-Based Multi-Layer Perceptrons Transformer Captioning model (SwinMLP-TranCAP) with faster inference speed and less computation. SwinMLP-TranCAP replaces the multi-head attention module with window-based multi-head MLP. Such deployments primarily focus on image understanding tasks, but very few works investigate the caption generation task. SwinMLP-TranCAP is also extended into a video version for video captioning tasks using 3D patches and windows. Compared with previous detector-based or feature extractor-based models, our models greatly simplify the architecture design while maintaining performance on two surgical datasets. The code is publicly available at https://github.com/XuMengyaAmy/SwinMLP_TranCAP.


title: Rational points on quadratic elliptic surfaces

abstract: We consider elliptic surfaces whose coefficients are degree $2$ polynomials in a variable $T$. It was recently shown that for infinitely many rational values of $T$ the resulting elliptic curves have rank at least $1$. In this article, we prove that the Mordell-Weil rank of each such elliptic surface is at most $6$ over $\mathbb Q$. In fact, we show that the Mordell-Weil rank of these elliptic surfaces is controlled by the number of zeros of a certain polynomial over $\mathbb Q$.


title: Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization

abstract: We develop a novel decentralized control method for a network of perturbed linear systems with dynamical couplings subject to Signal Temporal Logic (STL) specifications. We first transform the STL requirements into set containment problems and then we develop controllers to solve these problems. Our approach is based on treating the couplings between subsystems as disturbances, which are bounded sets that the subsystems negotiate in the form of parametric assume-guarantee contracts. The set containment requirements and parameterized contracts are added to the subsystems' constraints. We introduce a centralized optimization problem to derive the contracts, reachability tubes, and decentralized closed-loop control laws. We show that, when the STL formula is separable with respect to the subsystems, the centralized optimization problem can be solved in a distributed way, which scales to large systems. We present formal theoretical guarantees on robustness of STL satisfaction. The effectiveness of the proposed method is demonstrated via a power network case study.


title: Privacy-Preserving Spam-Protected Gossip-Based Routing

abstract: WAKU-RLN-RELAY is an anonymous peer-to-peer gossip-based routing protocol that features a privacy-preserving spam-protection with cryptographically guaranteed economic incentives. While being an anonymous routing protocol where routed messages are not attributable to their origin, it allows global identification and removal of spammers. It addresses the performance and privacy issues of its counterparts including proof-of-work and reputation-based schemes. Its light computational overhead makes it suitable for resource-limited environments. The spam protection works by limiting the messaging rate of each network participant where rate violation results in financial punishment. We deploy the novel construct of rate-limiting nullifier to enforce the message rate limit. We provide a proof-of-concept implementation of WAKU-RLN-RELAY to prove the efficiency and feasibility of our solution.


title: WAKU-RLN-RELAY: Privacy-Preserving Peer-to-Peer Economic Spam Protection

abstract: In this paper, we propose WAKU-RLN-RELAY as a spam-protected gossip-based routing protocol that can run in heterogeneous networks. It features a privacy-preserving peer-to-peer (p2p) economic spam protection mechanism. WAKU-RLN-RELAY addresses the performance and privacy issues of the state-of-the-art p2p spam prevention techniques including peer scoring utilized by libp2p, and proof-of-work used by e.g., Whisper, the p2p messaging layer of Ethereum. In WAKU-RLN-RELAY, spam protection works by limiting the messaging rate of each network participant. Rate violation is disincentivized since it results in financial punishment where the punishment is cryptographically guaranteed. Peers who identify spammers are also rewarded. To enforce the rate limit, we adopt the suggested framework of Semaphore and its extended version, however, we modify that framework to properly address the unique requirements of a network of p2p resource-restricted users. The current work dives into the end-to-end integration of Semaphore into WAKU-RLN-RELAY, the modifications required to make it suitable for resource-limited users, and the open problems and future research directions. We also provide a proof-of-concept open-source implementation of WAKU-RLN-RELAY, and its specifications together with a rough performance evaluation.


title: ProSelfLC: Progressive Self Label Correction Towards A Low-Temperature Entropy State

abstract: There is a family of label modification approaches including self and non-self label correction (LC), and output regularisation. They are widely used for training robust deep neural networks (DNNs), but have not been mathematically and thoroughly analysed together. We study them and discover three key issues: (1) We are more interested in adopting Self LC as it leverages its own knowledge and requires no auxiliary models. However, it is unclear how to adaptively trust a learner as the training proceeds. (2) Some methods penalise while the others reward low-entropy (i.e., high-confidence) predictions, prompting us to ask which one is better. (3) Using the standard training setting, a learned model becomes less confident when severe noise exists. Self LC using high-entropy knowledge would generate high-entropy targets. To resolve the issue (1), inspired by a well-accepted finding, i.e., deep neural networks learn meaningful patterns before fitting noise, we propose a novel end-to-end method named ProSelfLC, which is designed according to the learning time and prediction entropy. Concretely, for any data point, we progressively and adaptively trust its predicted probability distribution versus its annotated one if a network has been trained for a relatively long time and the prediction is of low entropy. For the issue (2), the effectiveness of ProSelfLC defends entropy minimisation. By ProSelfLC, we empirically prove that it is more effective to redefine a semantic low-entropy state and optimise the learner toward it. To address the issue (3), we decrease the entropy of self knowledge using a low temperature before exploiting it to correct labels, so that the revised labels redefine low-entropy target probability distributions. We demonstrate the effectiveness of ProSelfLC through extensive experiments in both clean and noisy settings, and on both image and protein datasets.


title: Reasoning in Non-normal Modal Description Logics

abstract: Non-normal modal logics, interpreted on neighbourhood models which generalise the usual relational semantics, have found application in several areas, such as epistemic, deontic, and coalitional reasoning. We present here preliminary results on reasoning in a family of modal description logics obtained by combining ALC with non-normal modal operators. First, we provide a framework of terminating, correct, and complete tableau algorithms to check satisfiability of formulas in such logics with the semantics based on varying domains. We then investigate the satisfiability problems in fragments of these languages obtained by restricting the application of modal operators to formulas only, and interpreted on models with constant domains, providing tight complexity results.


title: Joint Sequential Detection and Isolation for Dependent Data Streams

abstract: The problem of joint sequential detection and isolation is considered in the context of multiple, not necessarily independent, data streams. A multiple testing framework is proposed, where each hypothesis corresponds to a different subset of data streams, the sample size is a stopping time of the observations, and the probabilities of four kinds of error are controlled below distinct, user-specified levels. Two of these errors reflect the detection component of the formulation, whereas the other two the isolation component. The optimal expected sample size is characterized to a first-order asymptotic approximation as the error probabilities go to 0. Different asymptotic regimes, expressing different prioritizations of the detection and isolation tasks, are considered. A novel, versatile family of testing procedures is proposed, in which two distinct, in general, statistics are computed for each hypothesis, one addressing the detection task and the other the isolation task. Tests in this family, of various computational complexities, are shown to be asymptotically optimal under different setups. The general theory is applied to the detection and isolation of anomalous, not necessarily independent, data streams, as well as to the detection and isolation of an unknown dependence structure.


title: Unique solvability of a crack problem with Signorini-type and Tresca friction conditions in a linearized elastodynamic body

abstract: We consider dynamic motion of a linearized elastic body with a crack subject to a modified contact law, which we call the Signorini contact condition of dynamic type, and to the Tresca friction condition. Whereas the modified contact law involves both displacement and velocity, it formally includes the usual non-penetration condition as a special case. We prove that there exists a unique strong solution to this model. It is remarkable that not only existence but also uniqueness is obtained and that no viscosity term that serves as a parabolic regularization is added in our model.


title: Snowmass '21 Community Engagement Frontier 6: Public Policy and Government Engagement: Congressional Advocacy for HEP Funding (The "DC Trip'')

abstract: This document has been prepared as a Snowmass contributed paper by the Public Policy \& Government Engagement topical group (CEF06) within the Community Engagement Frontier. The charge of CEF06 is to review all aspects of how the High Energy Physics (HEP) community engages with government at all levels and how public policy impacts members of the community and the community at large, and to assess and raise awareness within the community of direct community-driven engagement of the U.S. federal government (\textit{i.e.} advocacy). The focus of this paper is the advocacy undertaken by the HEP community that pertains directly to the funding of the field by the U.S. federal government.


title: Yet another proof that the roots of a polynomial depend continuously on the coefficients

abstract: The roots of a complex polynomial depend continuously on the coefficients; that is, an infinitesimal perturbation of the coefficients results in an infinitesimal perturbation of the roots. A short, straightforward proof of this is possible using infinitesimals.


title: Snowmass '21 Community Engagement Frontier 6: Public Policy and Government Engagement: Congressional Advocacy for Areas Beyond HEP Funding

abstract: This document has been prepared as a Snowmass contributed paper by the Public Policy \& Government Engagement topical group (CEF06) within the Community Engagement Frontier. The charge of CEF06 is to review all aspects of how the High Energy Physics (HEP) community engages with government at all levels and how public policy impacts members of the community and the community at large, and to assess and raise awareness within the community of direct community-driven engagement of the US federal government (\textit{i.e.} advocacy). The focus of this paper is the potential for HEP community advocacy on topics other than funding for basic research.


title: Snowmass '21 Community Engagement Frontier 6: Public Policy and Government Engagement: Non-Congressional Government Engagement

abstract: This document has been prepared as a Snowmass contributed paper by the Public Policy & Government Engagement topical group (CEF06) within the Community Engagement Frontier. The charge of CEF06 is to review all aspects of how the High Energy Physics (HEP) community engages with government at all levels and how public policy impacts members of the community and the community at large, and to assess and raise awareness within the community of direct community-driven engagement of the US federal government (i.e. advocacy). The focus of this paper is HEP community engagement of government entities other than the U.S. federal legislature (i.e. Congress).


title: Hilbert Expansion for Coulomb Collisional Kinetic Models

abstract: The relativistic Vlasov-Maxwell-Landau (r-VML) system and the relativistic Landau equation (r-LAN) are fundamental models that describe the dynamics of an electron gas. In this paper, we introduce a novel weighted energy method and establish the validity of the Hilbert expansion for the r-VML system and r-LAN equation. As the Knudsen number shrinks to zero, we rigorously demonstrate the relativistic Euler-Maxwell limit and relativistic Euler limit, respectively. This successfully resolves the long-standing open problem regarding the hydrodynamic limits of Landau-type equations.


title: On the tree models of mildly dissipative maps

abstract: This study examines the tree models of mildly dissipative diffeomorphisms on the disk $\D$. These models are one-dimensional dynamical systems with ergodic aperiodic data as well as some properties of the original dynamics. The focus of this work is their quality as dynamical invariants in both the topological and ergodic sense.


title: Optimizing Training Trajectories in Variational Autoencoders via Latent Bayesian Optimization Approach

abstract: Unsupervised and semi-supervised ML methods such as variational autoencoders (VAE) have become widely adopted across multiple areas of physics, chemistry, and materials sciences due to their capability in disentangling representations and ability to find latent manifolds for classification and regression of complex experimental data. Like other ML problems, VAEs require hyperparameter tuning, e.g., balancing the Kullback Leibler (KL) and reconstruction terms. However, the training process and resulting manifold topology and connectivity depend not only on hyperparameters, but also their evolution during training. Because of the inefficiency of exhaustive search in a high-dimensional hyperparameter space for the expensive to train models, here we explored a latent Bayesian optimization (zBO) approach for the hyperparameter trajectory optimization for the unsupervised and semi-supervised ML and demonstrate for joint-VAE with rotational invariances. We demonstrate an application of this method for finding joint discrete and continuous rotationally invariant representations for MNIST and experimental data of a plasmonic nanoparticles material system. The performance of the proposed approach has been discussed extensively, where it allows for any high dimensional hyperparameter tuning or trajectory optimization of other ML models.


abstract: We introduce a method called MASCOT (Multi-Agent Shape Control with Optimal Transport) to compute optimal control solutions of agents with shape/formation/density constraints. For example, we might want to apply shape constraints on the agents -- perhaps we desire the agents to hold a particular shape along the path, or we want agents to spread out in order to minimize collisions. We might also want a proportion of agents to move to one destination, while the other agents move to another, and to do this in the optimal way, i.e. the source-destination assignments should be optimal. In order to achieve this, we utilize the Earth Mover's Distance from Optimal Transport to distribute the agents into their proper positions so that certain shapes can be satisfied. This cost is both introduced in the terminal cost and in the running cost of the optimal control problem.


title: Multipartite Entanglement in Rabi Driven Superconducting Qubits

abstract: Exploring highly connected networks of qubits is invaluable for implementing various quantum algorithms and simulations as it allows for entangling qubits with reduced circuit depth. Here, we demonstrate a multi-qubit STAR (Sideband Tone Assisted Rabi driven) gate. Our scheme is inspired by the ion qubit M{\o}lmer-S{\o}rensen gate and is mediated by a shared photonic mode and Rabi-driven superconducting qubits, which relaxes restrictions on qubit frequencies during fabrication and supports scalability. We achieve a two-qubit gate with maximum state fidelity of 0.95 in 310 ns, a three-qubit gate with state fidelity 0.905 in 217 ns, and a four-qubit gate with state fidelity 0.66 in 200 ns. Furthermore, we develop a model of the gate that show the four-qubit gate is limited by shared resonator losses and the spread of qubit-resonator couplings, which must be addressed to reach high-fidelity operations.


title: Quantizing multi-pronged open string junction

abstract: Covariant quantization of multi-pronged open bosonic string junction is studied beyond static analysis. Its excited states are described by a set of ordinary bosons as well as some sets of twisted bosons on the world-sheet. The system is characterized by a certain large algebra of twisted type which includes a single Virasoro algebra as a subalgebra. By properly defining the physical states, one can show that there are no ghosts in the Hilbert space.


title: Automated Quantum Circuit Design with Nested Monte Carlo Tree Search

abstract: Quantum algorithms based on variational approaches are one of the most promising methods to construct quantum solutions and have found a myriad of applications in the last few years. Despite the adaptability and simplicity, their scalability and the selection of suitable ans\"atzs remain key challenges. In this work, we report an algorithmic framework based on nested Monte-Carlo Tree Search (MCTS) coupled with the combinatorial multi-armed bandit (CMAB) model for the automated design of quantum circuits. Through numerical experiments, we demonstrated our algorithm applied to various kinds of problems, including the ground energy problem in quantum chemistry, quantum optimisation on a graph, solving systems of linear equations, and finding encoding circuit for quantum error detection codes. Compared to the existing approaches, the results indicate that our circuit design algorithm can explore larger search spaces and optimise quantum circuits for larger systems, showing both versatility and scalability.


title: A Hybrid Energy Harvesting Protocol for Cooperative NOMA: Error Performance Approach

abstract: Cooperative non-orthogonal multiple access (CNOMA) has recently been adapted with energy harvesting (EH) to increase energy efficiency and extend the lifetime of energy-constrained wireless networks. This paper proposes a hybrid EH protocol-assisted CNOMA, which is a combination of the two main existing EH protocols (power splitting (PS) and time switching (TS)). The end-to-end bit error rate (BER) expressions of users in the proposed scheme are obtained over Nakagami-$m$ fading channels. The proposed hybrid EH (HEH) protocol is compared with the benchmark schemes (i.e., existing EH protocols and no EH). Based on the extensive simulations, we reveal that the analytical results match perfectly with simulations which proves the correctness of the derivations. Numerical results also show that the HEH-CNOMA outperforms the benchmarks significantly. In addition, we discuss the optimum value of EH factors to minimize the error probability in HEH-CNOMA and show that an optimum value can be obtained according to channel parameters.


title: Measurements of the branching fractions $\mathcal{B} (\bar{B}{}^0 \to D^{*+} \pi^-)$ and $\mathcal{B} (\bar{B}{}^0 \to D^{*+} K^-)$ and tests of QCD factorization

abstract: Using $(771.6 \pm 10.6) \times 10^6$ $B\bar{B}$ meson pairs recorded by the Belle experiment at the KEKB $e^+ e^-$ collider, we report the branching fractions $\mathcal{B}(\bar{B}^0 \to D^{*+} \pi^-) = (2.62 \pm 0.02 \pm 0.09)\times 10^{-3}$ and $\mathcal{B}(\bar{B}^0 \to D^{*+} K^-) = (2.22 \pm 0.06 \pm 0.08)\times 10^{-4}$; the quoted uncertainties are statistical and systematic, respectively. A measurement of the ratio of these branching fractions is also presented, $\mathcal{R}_{K/\pi}=\mathcal{B}(\bar{B} \to D^{*+}K^-) /\mathcal{B}( \bar{B} \to D^{*+}\pi^-) = (8.41 \pm 0.24 \pm 0.13)\times 10^{-2}$, where systematic uncertainties due to the $D^{*+}$ meson reconstruction cancel out. Furthermore, we report a new QCD factorization test based on the measured ratios for $\bar{B} \to D^{*+}h^-$ and $\bar{B} \to D^{*+}\ell^-\nu$ decays at squared momentum transfer values equivalent to the mass of the $h = \pi$ or $K$ hadron. The parameters $|a_1(h)|$ are measured to be $|a_1(\pi)|= 0.884 \pm 0.004 \pm 0.003 \pm 0.016$ and $|a_1(K)|=0.913 \pm 0.019 \pm 0.008 \pm 0.013$, where the last uncertainties account for all external inputs. These values are approximately $15\%$ lower than those expected from theoretical predictions. Subsequently, flavor $SU(3)$ symmetry is tested by measuring the ratios for pions and kaons, $|a_1(K)|^2/ |a_1(\pi)|^2=1.066 \pm 0.042 \pm 0.018 \pm 0.023$, as well as for different particle species. The ratio is consistent with unity and therefore no evidence for $SU(3)$ symmetry breaking effects is found at the $5\%$ precision level.


title: Fast and Sensitive Terahertz Detection in a Current-Driven Epitaxial-Graphene Asymmetric Dual-Grating-Gate FET Structure

abstract: We designed and fabricated an epitaxial-graphene-channel field-effect transistor (EG-FET) featured by the asymmetric dual-grating-gate (ADGG) structure working for a current-driven terahertz detector, and experimentally demonstrated a 10-ps order fast response time and a high responsivity of 0.3 mA/W to the 0.95-THz radiation incidence at room temperatures. The ADGG- and the drain-source-bias dependencies of the measured photoresponse showed a clear transition between plasmonic detection under periodic electron density modulation conditions with depleted regions and photothermoelectric detection under highly doped conditions without depleted regions. We identified the photothermoelectric detection that we observed as a new type of unipolar mechanism in which only electrons or holes contribute to rectifying the THz radiation under current-driven conditions. These two detection mechanisms coexist in a certain wide transcendent range of the applied bias voltages. It was also clearly manifested that the temporal photoresponse of the plasmonic and photothermoelectric detection are comparably fast on the order of 10 ps, whereas the maximal photoresponsivity of the photothermoelectric detection is almost twice as high as that of the plasmonic detection under the applied biases conditions. These results suggest that the ADGG-EG-FET THz detector will be promising for use in 6G- and 7G-class high-speed wireless communication systems.


title: High precision proton angular distribution measurements of $^{12}$C(p,p') for determination of the $E0$ decay branching ratio of the Hoyle state

abstract: Background: In stars, carbon is produced exclusively via the $3\alpha$ process, where three $\alpha$ particles fuse to form $^{12}$C in the excited Hoyle state, which can then decay to the ground state. The rate of carbon production in stars depends on the radiative width of the Hoyle state. The radiative width can be deduced by combining three separately measured quantities, one of which is the $E0$ decay branching ratio. The $E0$ branching ratio can be measured by exciting the Hoyle state in the $^{12}$C$(p,p')$ reaction and measuring the pair decay of its Hoyle state and first $2^+$ state. Purpose: To reduce the uncertainties in the carbon production rate in the universe by measuring a set of proton angular distributions for the population of the Hoyle state ($0^+_2$) and $2^+_1$ state in $^{12}$C in $^{12}$C$(p,p')$ reactions between 10.20 and 10.70 MeV, used in the determination of the $E0$ branching ratio of the Hoyle state. Method: Proton angular distributions populating the ground, first $2^+$, and the Hoyle states in $^{12}$C were measured in $^{12}$C(p,p') reactions with a silicon detector array covering $22^\circ<\theta<158^\circ$ in 14 energy steps between 10.20 and 10.70 MeV with a thin ($60\ \mu$g/cm$^2$) $^{nat}$C target. Results: Total cross-sections for each state were extracted and the population ratio between the $2^+_1$ and Hoyle state determined at each energy step. By appropriately averaging these cross-sections and taking their ratio, the equivalent population ratio can be extracted applicable for any thick $^{12}$C target used in pair-conversion measurements. Conclusions: We present a general data set of high-precision $^{12}$C$(p,p')$ cross-sections that make uncertainties resulting from the population of the $2^+_1$ and $0^+_2$ states by proton inelastic scattering negligible for any future measurements of the $E0$ branching ratio in $^{12}$C.


title: Robustness of Epinets against Distributional Shifts

abstract: Recent work introduced the epinet as a new approach to uncertainty modeling in deep learning. An epinet is a small neural network added to traditional neural networks, which, together, can produce predictive distributions. In particular, using an epinet can greatly improve the quality of joint predictions across multiple inputs, a measure of how well a neural network knows what it does not know. In this paper, we examine whether epinets can offer similar advantages under distributional shifts. We find that, across ImageNet-A/O/C, epinets generally improve robustness metrics. Moreover, these improvements are more significant than those afforded by even very large ensembles at orders of magnitude lower computational costs. However, these improvements are relatively small compared to the outstanding issues in distributionally-robust deep learning. Epinets may be a useful tool in the toolbox, but they are far from the complete solution.


title: Cation-Dependent Nonadiabaticity in Proton-Coupled Electron Transfer at Electrified Solid-Liquid Interfaces

abstract: Here we report an observation of cation-dependent nonadiabaticity in a proton-coupled electron transfer electrode process (PCET) during hydrogen evolution at electrified interfaces of Au(111) single-crystal electrode and electrolytes by employing electrochemical kinetic isotope effect analysis at ultra-clean/well-defined systems to investigate quantum-to-classical transition (QCT) in highly accuracy.


title: Fundamental Limits of Thermal-noise Lossy Bosonic Multiple Access Channel

abstract: Bosonic channels describe quantum-mechanically many practical communication links such as optical, microwave, and radiofrequency. We investigate the maximum rates for the bosonic multiple access channel (MAC) in the presence of thermal noise added by the environment and when the transmitters utilize Gaussian state inputs. We develop an outer bound for the capacity region for the thermal-noise lossy bosonic MAC. We additionally find that the use of coherent states at the transmitters is capacity-achieving in the limits of high and low mean input photon numbers. Furthermore, we verify that coherent states are capacity-achieving for the sum rate of the channel. In the non-asymptotic regime, when a global mean photon-number constraint is imposed on the transmitters, coherent states are the optimal Gaussian state. Surprisingly however, the use of single-mode squeezed states can increase the capacity over that afforded by coherent state encoding when each transmitter is photon number constrained individually.


title: Definability and decidability for rings of integers in totally imaginary fields

abstract: We show that the ring of integers of $\mathbb{Q}^{\text{tr}}$ is existentially definable in the ring of integers of $\mathbb{Q}^{\text{tr}}(i)$, where $\mathbb{Q}^{\text{tr}}$ denotes the field of all totally real numbers. This implies that the ring of integers of $\mathbb{Q}^{\text{tr}}(i)$ is undecidable and first-order non-definable in $\mathbb{Q}^{\text{tr}}(i)$. More generally, when $L$ is a totally imaginary quadratic extension of a totally real field $K$, we use the unit groups $R^\times$ of orders $R\subseteq \mathcal{O}_L$ to produce existentially definable totally real subsets $X\subseteq \mathcal{O}_L$. Under certain conditions on $K$, including the so-called JR-number of $\mathcal{O}_K$ being the minimal value $\text{JR}(\mathcal{O}_K) = 4$, we deduce the undecidability of $\mathcal{O}_L$. This extends previous work which proved an analogous result in the opposite case $\text{JR}(\mathcal{O}_K) = \infty$. In particular, unlike prior work, we do not require that $L$ contains only finitely many roots of unity.