title: Extracting Quantum Many-Body Scarred Eigenstates with Matrix Product States

abstract: Quantum many-body scarred systems host nonthermal excited eigenstates immersed in a sea of thermal ones. In cases where exact expressions for these special eigenstates are not known, it is computationally demanding to distinguish them from their exponentially many thermal neighbors. We propose a matrix-product-state (MPS) algorithm, dubbed DMRG-S, to extract such states at system sizes far beyond the scope of exact diagonalization. Using this technique, we obtain scarred eigenstates in Rydberg-blockaded chains of up to 80 sites and perform a finite-size scaling study to address the lingering question of the stability for the N\'eel state revivals in the thermodynamic limit. Our method also provides a systematic way to obtain exact MPS representations for scarred eigenstates near the target energy without a priori knowledge. In particular, we find several new scarred eigenstates with exact MPS representations in kinetically constrained spin and clock models. The combination of numerical and analytical investigations in our work provides a new methodology for future studies of quantum many-body scars.


title: Volumetric rates of Luminous Red Novae and Intermediate Luminosity Red Transients with the Zwicky Transient Facility

abstract: Luminous red novae (LRNe) are transients characterized by low luminosities and expansion velocities, and are associated with mergers or common envelope ejections in stellar binaries. Intermediate-luminosity red transients (ILRTs) are an observationally similar class with unknown origins, but generally believed to either be electron capture supernovae (ECSN) in super-AGB stars, or outbursts in dusty luminous blue variables (LBVs). In this paper, we present a systematic sample of 8 LRNe and 8 ILRTs detected as part of the Census of the Local Universe (CLU) experiment on the Zwicky Transient Facility (ZTF). The CLU experiment spectroscopically classifies ZTF transients associated with nearby ($<150$ Mpc) galaxies, achieving 80% completeness for m$_{r}<20$\,mag. Using the ZTF-CLU sample, we derive the first systematic LRNe volumetric-rate of 7.8$^{+6.5}_{-3.7}\times10^{-5}$ Mpc$^{-3}$ yr$^{-1}$ in the luminosity range $-16\leq$M$_{\rm{r}}$$\leq -11$ mag. We find that in this luminosity range, the LRN rate scales as dN/dL $\propto L^{-2.5\pm0.3}$ - significantly steeper than the previously derived scaling of $L^{-1.4\pm0.3}$ for lower luminosity LRNe (M$_{V}\geq-10$). The steeper power law for LRNe at high luminosities is consistent with the massive merger rates predicted by binary population synthesis models. We find that the rates of the brightest LRNe (M$_{r}\leq-13$ mag) are consistent with a significant fraction of them being progenitors of double compact objects (DCOs) that merge within a Hubble time. For ILRTs, we derive a volumetric rate of $2.6^{+1.8}_{-1.4}\times10^{-6}$ Mpc$^{-3}$yr$^{-1}$ for M$_{\rm{r}}\leq-13.5$, that scales as dN/dL $\propto L^{-2.5\pm0.5}$. This rate is $\approx1-5\%$ of the local core-collapse supernova rate, and is consistent with theoretical ECSN rate estimates.


title: Breaking the quantum Cram\'er-Rao bound with non-Markovian memory effects

abstract: Linear optics provides versatile means to simulate and control the dynamics of open quantum systems. Here, the polarization and frequency of photons often represent the system and its environment, respectively. Recently, the photon's path degree of freedom and the effects of interference have been considered as well, giving rise to the concept of "open system interference". Such models have been shown to beat traditional parameter estimation schemes in certain scenarios. In this work, we study the sensitivity of non-Markovian memory effects arising from an open system Mach-Zehnder interferometer. Our protocol provides an alternative way to get around the quantum Cram\'er-Rao theorem, proving itself a noteworthy option for more conventional parameter estimation protocols.


title: Attention to the strengths of physical interactions: Transformer and graph-based event classification for particle physics experiments

abstract: A major task in particle physics is the measurement of rare signal processes. These measurements are highly dependent on the classification accuracy of these events in relation to the huge background of other Standard Model processes. Reducing the background by a few tens of percent with the same signal efficiency can already increase the sensitivity considerably. This work demonstrates the importance of incorporating physical information into deep learning-based event selection. The paper includes this information into different methods for classifying events, in particular Boosted Decision Trees, Transformer Architectures (Particle Transformer) and Graph Neural Networks (Particle Net). In addition to the physical information previously proposed for jet tagging, we add particle measures for energy-dependent particle-particle interaction strengths as predicted by the leading order interactions of the Standard Model (SM). We find that the integration of physical information into the attention matrix (transformers) or edges (graphs) notably improves background rejection by $10\%$ to $40\%$ over baseline models (a graph network), with about $10\%$ of this improvement directly attributable to what we call the SM interaction matrix. In a simplified statistical analysis, we find that such architectures can improve the significance of signals by a significant factor compared to a graph network (our base model).


title: Aspects of thermal one-point functions and response functions in AdS Black holes

abstract: We revisit the problem of analytically computing the one point functions for scalar fields in planar AdS black holes of arbitrary dimension, which are sourced by the Weyl squared tensor. We analyze the problem in terms of power series expansions around the boundary using the method of Frobenius. We clarify the pole structure of the final answer in terms of operator mixing, as argued previously by Grinberg and Maldacena. We generalize the techniques to also obtain analytic results for slowly modulated spatially varying sources to first non-trivial order in the wave vector for arbitrary dimension. We also study the first order corrections to the one point function of the global AdS black hole at large mass, where we perturb in terms that correspond to the curvature of the horizon.


title: Comparing Accretion Disks and Dark Matter Spikes in Intermediate Mass Ratio Inspirals

abstract: Intermediate Mass Ratio Inspirals (IMRIs) will be observable with space-based gravitational wave detectors such as the Laser Interferometer Space Antenna (LISA). To this end, the environmental effects in such systems have to be modeled and understood. These effects can include (baryonic) accretion disks and dark matter (DM) overdensities, so called spikes. For the first time, we model an IMRI system with both an accretion disk and a DM spike present and compare their effects on the inspiral and the emitted gravitational wave signal. We study the eccentricity evolution, employ the braking index and derive the dephasing index, which turn out to be complementary observational signatures. They allow us to disentangle the accretion disk and DM spike effects in the IMRI system.


title: Superconductivity in monolayer and few-layer graphene: I. Review of possible pairing symmetries and basic electronic properties

abstract: We review all symmetry-allowed spin-singlet and spin-triplet superconducting (SC) order parameters in graphene ($s$-wave, $d$-wave, $p$-wave, and $f$-wave) generated by generic onsite, nearest-neighbor (NN), and next-to-nearest-neighbor (NNN) pairing interactions in a tight-binding model. For each pairing channel, we calculate both the band structure and the dependence of the density of states on energy, chemical potential, and on the pairing strength. In particular, we distinguish between nodal superconducting states and fully gapped states and study the dependence of gap closing points on the chemical potential and the superconducting pairing strength. We further investigate the difference between mono-, bi-, and tri-layer ABC and ABA graphene, including accounting for the effects of trigonal warping.


title: Hall Droplet Sheets in Holographic QCD

abstract: In single-flavor QCD, the low energy description of baryons as Skyrmions is not available. In this case, it has been proposed by Komargodski that baryons can be viewed as kinds of charged quantum Hall droplets, or "sheets". In this paper we propose a string theory description of the sheets in single-flavor holographic QCD, focusing on the Witten-Sakai-Sugimoto model. The sheets have a "hard" gluonic core, described by D6-branes, and a "soft" mesonic shell, dual to non-trivial D8-brane gauge field configurations. We first provide the description of an infinitely extended sheet with massless or moderately massive quarks. Then, we construct a semi-infinite sheet ending on a one-dimensional boundary, a "vortex string". The holographic description allows for the precise calculation of sheet observables. In particular, we compute the tension and thickness of the sheet and the vortex string, and provide their four dimensional effective actions.


title: Seeing the gravitational wave universe

abstract: Pulsar timing arrays will be a window into the gravitational wave background


title: Precision Bounds on Continuous-Variable State Tomography using Classical Shadows

abstract: Shadow tomography is a framework for constructing succinct descriptions of quantum states using randomized measurement bases, called classical shadows, with powerful methods to bound the estimators used. We recast existing experimental protocols for continuous-variable quantum state tomography in the classical-shadow framework, obtaining rigorous bounds on the number of independent measurements needed for estimating density matrices from these protocols. We analyze the efficiency of homodyne, heterodyne, photon number resolving (PNR), and photon-parity protocols. To reach a desired precision on the classical shadow of an $N$-photon density matrix with a high probability, we show that homodyne detection requires an order $\mathcal{O}(N^{4+1/3})$ measurements in the worst case, whereas PNR and photon-parity detection require $\mathcal{O}(N^4)$ measurements in the worst case (both up to logarithmic corrections). We benchmark these results against numerical simulation as well as experimental data from optical homodyne experiments. We find that numerical and experimental homodyne tomography significantly outperforms our bounds, exhibiting a more typical scaling of the number of measurements that is close to linear in $N$. We extend our single-mode results to an efficient construction of multimode shadows based on local measurements.


title: A limit on variations in the fine-structure constant from spectra of nearby Sun-like stars

abstract: The fine structure constant, $\alpha$, sets the strength of the electromagnetic force. The Standard Model of particle physics provides no explanation for its value, which could potentially vary. The wavelengths of stellar absorption lines depend on $\alpha$, but are subject to systematic effects owing to astrophysical processes in stellar atmospheres. We measured precise line wavelengths using 17 stars, selected to have almost identical atmospheric properties to those of the Sun (solar twins), which reduces those systematic effects. We found that $\alpha$ varies by $\lesssim$50 parts-per-billion (ppb) within 50 parsecs from Earth. Combining the results from all 17 stars provides an empirical, local reference for stellar measurements of $\alpha$ with an ensemble precision of 12 ppb.

categories: astro-ph.SR astro-ph.EP astro-ph.GA astro-ph.HE physics.atom-ph


title: QuadConv: Quadrature-Based Convolutions with Applications to Non-Uniform PDE Data Compression

abstract: We present a new convolution layer for deep learning architectures which we call QuadConv -- an approximation to continuous convolution via quadrature. Our operator is developed explicitly for use on non-uniform, mesh-based data, and accomplishes this by learning a continuous kernel that can be sampled at arbitrary locations. Moreover, the construction of our operator admits an efficient implementation which we detail and construct. As an experimental validation of our operator, we consider the task of compressing partial differential equation (PDE) simulation data from fixed meshes. We show that QuadConv can match the performance of standard discrete convolutions on uniform grid data by comparing a QuadConv autoencoder (QCAE) to a standard convolutional autoencoder (CAE). Further, we show that the QCAE can maintain this accuracy even on non-uniform data. In both cases, QuadConv also outperforms alternative unstructured convolution methods such as graph convolution.


title: Engineering axion insulator phase in superlattices with inversion symmetry breaking

abstract: We study theoretically the interplay between magnetism and topology in three-dimensional HgTe/MnTe superlattices stacked along the (001) axis. Our results show the evolution of the magnetic topological phases with respect to the magnetic configurations. An axion insulator phase is observed for the antiferromagnetic order with the out-of-plane N\'eel vector direction below a critical thickness of MnTe, which is the ground state amongst all magnetic configurations. Defining $T$ as the time-reversal symmetry, this axion insulator phase is protected by a magnetic two-fold rotational symmetry $C_2{\cdot}T$. The axion insulator phase evolves into a trivial insulator as we increase the thickness of the magnetic layers. By switching the N\'eel vector direction into the $ab$ plane, the system realizes different antiferromagnetic topological insulators depending on the thickness of MnTe. These phases feature gapless surface Dirac cones shifted away from high-symmetry points on surfaces perpendicular to the N\'eel vector direction of the magnetic layers. In the presence of ferromagnetism, the system realizes a magnetic Weyl semimetal and a ferromagnetic semimetal for out-of-plane and in-plane magnetization directions, respectively. We observe large anomalous Hall conductivity in the presence of ferromagnetism in the three-dimensional superlattice.


title: Extracting, Visualizing, and Learning from Dynamic Data: Perfusion in Surgical Video for Tissue Characterization

abstract: Intraoperative assessment of tissue can be guided through fluorescence imaging which involves systemic dosing with a fluorophore and subsequent examination of the tissue region of interest with a near-infrared camera. This typically involves administering indocyanine green (ICG) hours or even days before surgery and intraoperative visualization at the time predicted for steady-state signal-to-background status. Here, we describe our efforts to capture and utilize the information contained in the first few minutes after ICG administration from the perspective of both signal processing and surgical practice. We prove a method for characterization of cancerous versus benign rectal lesions now undergoing further development and validation via multicenter clinical phase studies.


title: Uncertainties in the Transport Properties of Helium Gas at Cryogenic Temperatures Determined Using Molecular Dynamics Simulation

abstract: In this study, the transport properties, such as diffusivity, viscosity, and thermal conductivity, of 4He at the gaseous phase are computed for state points in the temperature range of 10 K to 150 K and pressure range of 0.10 MPa (1 atm) to 0.21 MPa using classical and quantum frameworks. Within the classical molecular dynamics simulation (MDS), the Green-Kubo (GK) approach is used. The GK method has an inherent uncertainty associated with it due to the random fluctuations in the flux autocorrelation functions. Moreover, in the temperature range of 10 K to 40 K, the quantum nature of the helium gas particles becomes prominent. The classical MDS performed does not include these effects and hence introduces uncertainties in the calculated results. We discuss efficient ways of time averaging the autocorrelation function to reduce statistical fluctuations and perform the quantum scattering phase shift calculations within the Chapman-Cowling theory to study the quantum effects. Furthermore, this study also provides the transport properties data in the cryogenic temperature limit of 10 K to 150 K, which is scarcely studied in the literature and can be applied in complex systems.


title: Signatures of Strong Magnetization and Metal-Poor Atmosphere for a Neptune-Size Exoplanet

abstract: The magnetosphere of an exoplanet has yet to be unambiguously detected. Investigations of star-planet interaction and neutral atomic hydrogen absorption during transit to detect magnetic fields in hot Jupiters have been inconclusive, and interpretations of the transit absorption non-unique. In contrast, ionized species escaping a magnetized exoplanet, particularly from the polar caps, should populate the magnetosphere, allowing detection of different regions from the plasmasphere to the extended magnetotail, and characterization of the magnetic field producing them. Here, we report ultraviolet observations of HAT-P-11b, a low-mass (0.08 MJ) exoplanet showing strong, phase-extended transit absorption of neutral hydrogen (maximum and tail transit depths of 32 \pm 4%, 27 \pm 4%) and singly ionized carbon (15 \pm 4%, 12.5 \pm 4%). We show that the atmosphere should have less than six times the solar metallicity (at 200 bars), and the exoplanet must also have an extended magnetotail (1.8-3.1 AU). The HAT-P-11b equatorial magnetic field strength should be about 1-5 Gauss. Our panchromatic approach using ionized species to simultaneously derive metallicity and magnetic field strength can now constrain interior and dynamo models of exoplanets, with implications for formation and evolution scenarios.

categories: astro-ph.EP astro-ph.SR physics.comp-ph physics.plasm-ph physics.space-ph


title: Efficient Zero-shot Event Extraction with Context-Definition Alignment

abstract: Event extraction (EE) is the task of identifying interested event mentions from text. Conventional efforts mainly focus on the supervised setting. However, these supervised models cannot generalize to event types out of the pre-defined ontology. To fill this gap, many efforts have been devoted to the zero-shot EE problem. This paper follows the trend of modeling event-type semantics but moves one step further. We argue that using the static embedding of the event type name might not be enough because a single word could be ambiguous, and we need a sentence to define the type semantics accurately. To model the definition semantics, we use two separate transformer models to project the contextualized event mentions and corresponding definitions into the same embedding space and then minimize their embedding distance via contrastive learning. On top of that, we also propose a warming phase to help the model learn the minor difference between similar definitions. We name our approach Zero-shot Event extraction with Definition (ZED). Experiments on the MAVEN dataset show that our model significantly outperforms all previous zero-shot EE methods with fast inference speed due to the disjoint design. Further experiments also show that ZED can be easily applied to the few-shot setting when the annotation is available and consistently outperforms baseline supervised methods.


title: Sheaves on Grothendieck constructions

abstract: In this paper we introduce a generalisation of a covariant Grothendieck construction to the setting of sites. We study the basic properties of defined site structures on Grothendieck constructions as well as we treat the cohomological aspects of corresponding toposes of sheaves. Despite the fact that the toposes of $G$-equivariant sheaves $Sh_G(X)$ have been introduced in literature, their cohomological aspects have not been treated properly in a desired fashion. So in the end of the paper we study some of the acyclic families, introduce new type of acyclic resolutions which we call the $G$-equivariant Godement resolutions, the degree of actions, and some other basic cohomological concepts arising in $Sh_G(X)$.


title: Modular linear differential equations for four-point sphere conformal blocks

abstract: We construct modular linear differential equations (MLDEs) w.r.t. subgroups of the modular group whose solutions are Virasoro conformal blocks appearing in the expansion of a crossing symmetric 4-point correlator on the sphere. This uses a connection between crossing transformations and modular transformations. We focus specifically on second order MLDEs with the cases of all identical and pairwise identical operators in the correlator. The central charge, the dimensions of the above operators and those of the intermediate ones are expressed in terms of parameters that occur in such MLDEs. In doing so, the $q$-expansions of the solutions to the MLDEs are compared with those of Virasoro blocks; hence, Zamolodchikov's elliptic recursion formula provides an important input. Using the actions of respective subgroups, bootstrap equations involving the associated 3-point coefficients have been set up and solved as well in terms of the MLDE parameters. We present explicit examples of MLDEs corresponding to BPZ and novel non-BPZ equations, as well as unitary and non-unitary CFTs.


title: Full-counting statistics of corner charge fluctuations

abstract: Outcomes of measurements are characterized by an infinite family of generalized uncertainties, or cumulants, which provide information beyond the mean and variance of the observable. Here, we investigate the cumulants of a conserved charge in a subregion with corners. We derive nonperturbative relations for the area law, and more interestingly, the angle dependence, showing how it is determined by geometric moments of the correlation function. These hold for translation invariant systems under great generality, including strongly interacting ones. We test our findings by using two-dimensional topological quantum Hall states of bosons and fermions at both integer and fractional fillings. We find that the odd cumulants' shape dependence differs from the even ones. For instance, the third cumulant shows nearly universal behavior for integer and fractional Laughlin Hall states in the lowest Landau level. Furthermore, we examine the relation between even cumulants and the R\'enyi entanglement entropy, where we use new results for the fractional state at filling 1/3 to compare these quantities in the strongly interacting regime. We discuss the implications of these findings for other systems, including gapless Dirac fermions, and more general conformal field theories.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.stat-mech hep-th quant-ph


title: Orbital angular momentum based intra- and inter- particle entangled states generated via a quantum dot source

abstract: Engineering single-photon states endowed with Orbital Angular Momentum (OAM) is a powerful tool for quantum information photonic implementations. Indeed, thanks to its unbounded nature, OAM is suitable to encode qudits allowing a single carrier to transport a large amount of information. Nowadays, most of the experimental platforms use nonlinear crystals to generate single photons through Spontaneous Parametric Down Conversion processes, even if this kind of approach is intrinsically probabilistic leading to scalability issues for increasing number of qudits. Semiconductors Quantum Dots (QDs) have been used to get over these limitations being able to produce on demand pure and indistinguishable single-photon states, although only recently they were exploited to create OAM modes. Our work employs a bright QD single-photon source to generate a complete set of quantum states for information processing with OAM endowed photons. We first study the hybrid intra-particle entanglement between the OAM and the polarization degree of freedom of a single-photon. We certify the preparation of such a type of qudit states by means of the Hong-Ou-Mandel effect visibility which furnishes the pairwise overlap between consecutive OAM-encoded photons. Then, we investigate the hybrid inter-particle entanglement, by exploiting a probabilistic two qudit OAM-based entangling gate. The performances of our entanglement generation approach are assessed performing high dimensional quantum state tomography and violating Bell inequalities. Our results pave the way toward the use of deterministic sources (QDs) for the on demand generation of photonic quantum states in high dimensional Hilbert spaces.


title: Entanglements via Slip-Springs with Soft, Coarse-Grained Models for Systems Having Explicit Liquid-Vapor Interfaces

abstract: Recent advances in nano-rheology require that new methods and models be developed to describe the equilibrium and non-equilibrium properties of entangled polymeric materials and their interfaces at a molecular level of detail. In this work we present a Slip-Spring (SLSP) model capable of describing the dynamics of entangled polymers at interfaces, including explicit liquid-vapor and liquid-solid interfaces. The highly coarse-grained approach adopted with this model enables simulation of entire nano-rheological characterization systems within a particle-level base description. Many-body dissipative particle dynamics (MDPD) non-bonded interactions allow for explicit liquid-vapor interfaces, and compensating potential within the SLSP model ensures unbiased descriptions of the shape of the liquid-vapor interface. The usefulness of the model has been illustrated by studying the deposition of polymer droplets onto a substrate, where it s shown that the wetting dynamics is strongly dependent on the degree of entanglement of the polymer. More generally, the model proposed here provides a foundation for the development of digital twins of experimentally relevant systems, including a new generation of nano-rheometers based on nano- or micro-droplet deformation.


title: Entanglement Steering in Adaptive Circuits with Feedback

abstract: The intensely studied measurement-induced entanglement phase transition has become a hallmark of non-unitary quantum many-body dynamics. Usually, such a transition only shows up at the level of each individual quantum trajectory, and is absent for the density matrix averaged over measurement outcomes. In this work, we introduce a class of adaptive random circuit models with feedback that exhibit transitions in both settings. After each measurement, a unitary operation is either applied or not depending on the measurement outcome, which steers the averaged density matrix towards a unique state above a certain measurement threshold. Interestingly, the transition for the density matrix and the entanglement transition in the individual quantum trajectory in general happen at \textit{different} critical measurement rates. We demonstrate that the former transition belongs to the parity-conserving universality class by an explicit mapping to a classical branching-annihilating random walk process.


title: Multimodal Dyadic Impression Recognition via Listener Adaptive Cross-Domain Fusion

abstract: As a sub-branch of affective computing, impression recognition, e.g., perception of speaker characteristics such as warmth or competence, is potentially a critical part of both human-human conversations and spoken dialogue systems. Most research has studied impressions only from the behaviors expressed by the speaker or the response from the listener, yet ignored their latent connection. In this paper, we perform impression recognition using a proposed listener adaptive cross-domain architecture, which consists of a listener adaptation function to model the causality between speaker and listener behaviors and a cross-domain fusion function to strengthen their connection. The experimental evaluation on the dyadic IMPRESSION dataset verified the efficacy of our method, producing concordance correlation coefficients of 78.8% and 77.5% in the competence and warmth dimensions, outperforming previous studies. The proposed method is expected to be generalized to similar dyadic interaction scenarios.


title: Dual spaces of geodesic currents

abstract: Every geodesic current on a hyperbolic surface has an associated dual space. If the current is a lamination, this dual embeds isometrically into a real tree. We show that, in general, the dual space is a Gromov hyperbolic metric tree-graded space, and express its Gromov hyperbolicity constant in terms of the geodesic current. In the case of geodesic currents with no atoms and full support, such as those coming from certain higher rank representations, we show the duals are homeomorphic to the surface. We also analyze the completeness of the dual and the properties of the action of the fundamental group of the surface on the dual. Furthermore, we compare two natural topologies in the space of duals.


title: Uni-Parser: Unified Semantic Parser for Question Answering on Knowledge Base and Database

abstract: Parsing natural language questions into executable logical forms is a useful and interpretable way to perform question answering on structured data such as knowledge bases (KB) or databases (DB). However, existing approaches on semantic parsing cannot adapt to both modalities, as they suffer from the exponential growth of the logical form candidates and can hardly generalize to unseen data. In this work, we propose Uni-Parser, a unified semantic parser for question answering (QA) on both KB and DB. We introduce the primitive (relation and entity in KB, and table name, column name and cell value in DB) as an essential element in our framework. The number of primitives grows linearly with the number of retrieved relations in KB and DB, preventing us from dealing with exponential logic form candidates. We leverage the generator to predict final logical forms by altering and composing topranked primitives with different operations (e.g. select, where, count). With sufficiently pruned search space by a contrastive primitive ranker, the generator is empowered to capture the composition of primitives enhancing its generalization ability. We achieve competitive results on multiple KB and DB QA benchmarks more efficiently, especially in the compositional and zero-shot settings.


title: Grammatical Error Correction: A Survey of the State of the Art

abstract: Grammatical Error Correction (GEC) is the task of automatically detecting and correcting errors in text. The task not only includes the correction of grammatical errors, such as missing prepositions and mismatched subject-verb agreement, but also orthographic and semantic errors, such as misspellings and word choice errors respectively. The field has seen significant progress in the last decade, motivated in part by a series of five shared tasks, which drove the development of rule-based methods, statistical classifiers, statistical machine translation, and finally neural machine translation systems which represent the current dominant state of the art. In this survey paper, we condense the field into a single article and first outline some of the linguistic challenges of the task, introduce the most popular datasets that are available to researchers (for both English and other languages), and summarise the various methods and techniques that have been developed with a particular focus on artificial error generation. We next describe the many different approaches to evaluation as well as concerns surrounding metric reliability, especially in relation to subjective human judgements, before concluding with an overview of recent progress and suggestions for future work and remaining challenges. We hope that this survey will serve as comprehensive resource for researchers who are new to the field or who want to be kept apprised of recent developments.


title: Improved Ramsey-type theorems for Fibonacci numbers and other sequences

abstract: Van der Waerden's theorem states that for any positive integers $k$ and $r$, there exists a smallest value $n = w(k,r)$, called the van der Waerden number, such that every $r$-coloring of $\{1,\dots,n\}$ contains a monochromatic $k$-term arithmetic progression. We consider two variants of van der Waerden numbers: the numbers $n = n(AP_D,k;r)$, the smallest value where every $r$-coloring of $\{1,\dots,n\}$ contains a monochromatic $k$-term arithmetic progression with common difference in $D$, and the numbers $n = \Delta(D,k;r)$, the smallest value $n$ where every $r$-coloring of $\{1,\dots,n\}$ contains a sequence $x_1 < \dots < x_k$ where the differences between consecutive terms are members of $D$. We study the case when $D$ is set of Fibonacci numbers $F$ and give improved bounds for the largest $r$ where $n(AP_F,k;r)$ and $\Delta(F,k;r)$ exist for all $k$. Moreover, we give some computational data on $\Delta(D,k;r)$ for other sets $D$.


title: A homotopical description of Deligne-Mumford compactifications

abstract: We give a description of the Deligne-Mumford properad expressing it as the result of homotopically trivializing S1 families of annuli (with appropriate compatibility conditions) in the properad of smooth Riemann surfaces with parameterized boundaries. This gives an analog of the results of Drummond-Cole and Oancea--Vaintrob in the setting of properads. We also discuss a variation of this trivialization which gives rise to a new partial compactification of Riemann surfaces relevant to the study of operations on symplectic cohomology.


title: Mueller's dipole wave function in QCD: emergent KNO scaling in the double logarithm limit

abstract: We analyze Mueller's QCD dipole wave function evolution in the double logarithm approximation (DLA). Using complex analytical methods, we show that the distribution of dipole in the wave function (gluon multiplicity distribution) asymptotically satisfies the Koba-Nielsen-Olesen (KNO) scaling, with a non-trivial scaling function $f(z)$ with $z=\frac n{\bar n}$. The scaling function decays exponentially as $2(2.55)^2ze^{-\frac{z}{0.3917}}$ at large $z$, while its growth is log-normal as $e^{-\frac{1}{2}\ln^2 z}$ for small-$z$. A detailed analysis of the Fourier-Laplace transform of $f(z)$, allows for performing the inverse Fourier transform, and access the non-asymptotic bulk-region around the peak. The bulk and asymptotic results are shown to be in good agreement with the measured hadronic multiplicities in DIS, as reported by the H1 collaboration at HERA in the region of large $Q^2$. A numerical tabulation of $f(z)$ is included. Remarkably, the same scaling function is found to emerge in the resummation of double logarithms in the evolution of jets. Using the generating function approach, we show why this is the case. The absence of KNO scaling in non-critical and super-renormalizable theories is briefly discussed. We also discuss the universal character of the entanglement entropy in the KNO scaling limit, and its measurement using the emitted multiplicities in DIS and $e^+e^-$ annihilation.


title: Streaming algorithms for the missing item finding problem

abstract: Many problems on data streams have been studied at two extremes of difficulty: either allowing randomized algorithms, in the static setting (where they should err with bounded probability on the worst case stream); or when only deterministic and infallible algorithms are required. Some recent works have considered the adversarial setting, in which a randomized streaming algorithm must succeed even on data streams provided by an adaptive adversary that can see the intermediate outputs of the algorithm. In order to better understand the differences between these models, we study a streaming task called "Missing Item Finding". In this problem, for $r < n$, one is given a data stream $a_1,\ldots,a_r$ of elements in $[n]$, (possibly with repetitions), and must output some $x \in [n]$ which does not equal any of the $a_i$. We prove that, for $r = n^{\Theta(1)}$ and $\delta = 1/\mathrm{poly}(n)$, the space required for randomized algorithms that solve this problem in the static setting with error $\delta$ is $\Theta(\mathrm{polylog}(n))$; for algorithms in the adversarial setting with error $\delta$, $\Theta((1 + r^2 / n) \mathrm{polylog}(n))$; and for deterministic algorithms, $\Theta(r / \mathrm{polylog}(n))$. Because our adversarially robust algorithm relies on free access to a string of $O(r \log n)$ random bits, we investigate a "random start" model of streaming algorithms where all random bits used are included in the space cost. Here we find a conditional lower bound on the space usage, which depends on the space that would be needed for a pseudo-deterministic algorithm to solve the problem. We also prove an $\Omega(r / \mathrm{polylog}(n))$ lower bound for the space needed by a streaming algorithm with $< 1/2^{\mathrm{polylog}(n)}$ error against "white-box" adversaries that can see the internal state of the algorithm, but not predict its future random decisions.


title: Combinatorial bases of standard modules of twisted affine Lie algebras in types $A_{2l-1}^{(2)}$ and $D_{l+1}^{(2)}$: rectangular highest weights

abstract: We consider the standard modules of rectangular highest weights of affine Lie algebras in types $A_{2l-1}^{(2)}$ and $D_{l+1}^{(2)}$. By using vertex algebraic techniques we construct the combinatorial bases for standard modules and their principal subspaces and parafermionic spaces. Finally, we compute the corresponding character formulae and, as an application, we obtain two new families of combinatorial identities.


title: Speech separation with large-scale self-supervised learning

abstract: Self-supervised learning (SSL) methods such as WavLM have shown promising speech separation (SS) results in small-scale simulation-based experiments. In this work, we extend the exploration of the SSL-based SS by massively scaling up both the pre-training data (more than 300K hours) and fine-tuning data (10K hours). We also investigate various techniques to efficiently integrate the pre-trained model with the SS network under a limited computation budget, including a low frame rate SSL model training setup and a fine-tuning scheme using only the part of the pre-trained model. Compared with a supervised baseline and the WavLM-based SS model using feature embeddings obtained with the previously released 94K hours trained WavLM, our proposed model obtains 15.9% and 11.2% of relative word error rate (WER) reductions, respectively, for a simulated far-field speech mixture test set. For conversation transcription on real meeting recordings using continuous speech separation, the proposed model achieves 6.8% and 10.6% of relative WER reductions over the purely supervised baseline on AMI and ICSI evaluation sets, respectively, while reducing the computational cost by 38%.


title: A Relational Approach to Matroids, Simplicial Complexes and Finite Closures

abstract: The main result is Theorem MAT 11 which states that every finite closure operator is the ground set of a matroid. Its base sets consist of nonredundant covers of of the closure. These are minimal subsets that determine the closure operator using a closure algorithm from the theory of relational databases. For each hereditary collection there is one flat closure that define a matroid or simplicial complexes, but every closure defines a hereditary collection, its keys in database theory. The normalization algorithm by Maier is the basis of this paper. This follows his development, and his relevant results are cited to aid reading his original work. The main purpose of this paper is to introduce the importance of database theory into the analysis of all finite closure including the flat closures of matroids.


title: The Phenomenology of Quadratically Coupled Ultra Light Dark Matter

abstract: We discuss models of ultralight scalar Dark Matter (DM) with linear and quadratic couplings to the Standard Model (SM). In addition to studying the phenomenology of linear and quadratic interactions separately, we examine their interplay. We review the different experiments that can probe such interactions and present the current and expected future bounds on the parameter space. In particular, we discuss the scalar field solution presented in [A. Hees, O. Minazzoli, E. Savalle, Y. V. Stadnik and P. Wolf, Phys.Rev.D 98 (2018) 6, 064051], and extend it to theories that capture both the linear and the quadratic couplings of the DM field to the SM. Furthermore, we discuss the theoretical aspects and the corresponding challenges for natural models in which the quadratic interactions are of phenomenological importance.


title: Lacunas and ramification of volume functions at simple asymptotic hyperplanes and monodromy of boundary function singularities

abstract: The volume function defined by a domain in Euclidean space $\mathbb{R}^n$ is the function on the space of affine hyperplanes equal to volumes cut by these hyperplanes from the domain. The study of these functions originates from the works of Archimedes and Newton and is closely related to the theory of lacunas of hyperbolic partial differential equations.The volume functions are regular at the hyperplanes of general position with respect to the boundary of the cut domain. We study their behavior at the non-regular hyperplanes, which are either tangent to the boundary of the domain at its finite points or have asymptotic direction. In both cases the local regularity of the restriction of the volume function to a local connected component of the set of regular planes depends on the triviality of a certain relative homology class, the (generalized) even Petrovsky class. In the first case (of finite tangencies) the study of these classes and enumeration of components of regularity (so called local lacunas) at simple singularities of wave fronts was essentially done by V. A. Vassiliev; it is formulated in terms of deformations of simple real function singularities. We show that the analogous study for asymptotic hyperplanes is related in the same way with the study of boundary function singularities. We define and calculate local Petrovsky classes for this case and find lacunas, i.e. the local components of the complement of corresponding discriminant in which all local Petrovsky classes are trivial. If component is not lacuna we prove that the corresponding volume function cannot be algebraic. Also we calculate the local monodromy groups, describing the ramification of volume functions.


title: Integral Curvature Bounds and Betti Numbers

abstract: We introduce an upper bound of the Betti numbers of a compact Riemannian manifold given integral bounds on the average of the lowest eigenvalues of the curvature operator. We then establish a new curvature condition for the Betti numbers to vanish using the Bochner technique. This generalizes results from Gallot and Petersen-Wink.


title: The minimum ABS index of trees with given number of pendent vertices

abstract: The recently developed atom-bond sum-connection (ABS) index is a variation of the well-studied graph-based molecular descriptors connectivity (Randic), atom-bond connectivity, and sum-connectivity indices.We present the minimum ABS index of trees with a given number of pendent vertices in this paper, which provides a solution to the problem proposed by A. Ali, I. Gutman and I. Redzepovic, Atom-Bond Sum-Connectivity Index of Unicyclic Graphs and Some Applications, Electron. J. Math.(2023) 1-7


title: Fully-dynamic-to-incremental reductions with known deletion order (e.g. sliding window)

abstract: Dynamic algorithms come in three main flavors: $\mathit{incremental}$ (insertions-only), $\mathit{decremental}$ (deletions-only), or $\mathit{fully}$ $\mathit{dynamic}$ (both insertions and deletions). Fully dynamic is the holy grail of dynamic algorithm design; it is obviously more general than the other two, but is it strictly harder? Several works managed to reduce fully dynamic to the incremental or decremental models by taking advantage of either specific structure of the incremental/decremental algorithms (e.g. [HK99, HLT01, BKS12, ADKKP16, BS80, OL81, OvL81]), or specific order of insertions/deletions (e.g. [AW14,HKNS15,KPP16]). Our goal in this work is to get a black-box fully-to-incremental reduction that is as general as possible. We find that the following conditions are necessary: $\bullet$ The incremental algorithm must have a worst-case (rather than amortized) running time guarantee. $\bullet$ The reduction must work in what we call the $\mathit{deletions}$-$\mathit{look}$-$\mathit{ahead}$ $\mathit{model}$, where the order of deletions among current elements is known in advance. A notable practical example is the "sliding window" (FIFO) order of updates. Under those conditions, we design: $\bullet$ A simple, practical, amortized-fully-dynamic to worst-case-incremental reduction with a $\log(T)$-factor overhead on the running time, where $T$ is the total number of updates. $\bullet$ A theoretical worst-case-fully-dynamic to worst-case-incremental reduction with a $\mathsf{polylog}(T)$-factor overhead on the running time.


title: Variational Characterization of Monotone Nonlinear Eigenvector Problems and Geometry of Self-Consistent-Field Iteration

abstract: This paper concerns a class of monotone eigenvalue problems with eigenvector nonlinearities (mNEPv). The mNEPv is encountered in applications such as the computation of joint numerical radius of matrices, best rank-one approximation of third-order partial symmetric tensors, and distance to singularity for dissipative Hamiltonian differential-algebraic equations. We first present a variational characterization of the mNEPv. Based on the variational characterization, we provide a geometric interpretation of the self-consistent-field (SCF) iterations for solving the mNEPv, prove the global convergence of the SCF, and devise an accelerated SCF. Numerical examples from a variety of applications demonstrate the theoretical properties and computational efficiency of the SCF and its acceleration.


title: A comparison of several AI techniques for authorship attribution on Romanian texts

abstract: Determining the author of a text is a difficult task. Here we compare multiple AI techniques for classifying literary texts written by multiple authors by taking into account a limited number of speech parts (prepositions, adverbs, and conjunctions). We also introduce a new dataset composed of texts written in the Romanian language on which we have run the algorithms. The compared methods are Artificial Neural Networks, Support Vector Machines, Multi Expression Programming, Decision Trees with C5.0, and k-Nearest Neighbour. Numerical experiments show, first of all, that the problem is difficult, but some algorithms are able to generate decent errors on the test set.


title: Spin squeezed GKP codes for quantum error correction in atomic ensembles

abstract: GKP codes encode a qubit in displaced phase space combs of a continuous-variable (CV) quantum system and are useful for correcting a variety of high-weight photonic errors. Here we propose atomic ensemble analogues of the single-mode CV GKP code by using the quantum central limit theorem to pull back the phase space structure of a CV system to the compact phase space of a quantum spin system. We study the optimal recovery performance of these codes under error channels described by stochastic relaxation and isotropic ballistic dephasing processes using the diversity combining approach for calculating channel fidelity. We find that the spin GKP codes outperform other spin system codes such as cat codes or binomial codes. Our spin GKP codes based on the two-axis countertwisting interaction and superpositions of SU(2) coherent states are direct spin analogues of the finite-energy CV GKP codes, whereas our codes based on one-axis twisting do not yet have well-studied CV analogues. An implementation of the spin GKP codes is proposed which uses the linear combination of unitaries method, applicable to both the CV and spin GKP settings. Finally, we discuss a fault-tolerant approximate gate set for quantum computing with spin GKP-encoded qubits, obtained by translating gates from the CV GKP setting using quantum central limit theorem.


title: Modeling Motivational Interviewing Strategies On An Online Peer-to-Peer Counseling Platform

abstract: Millions of people participate in online peer-to-peer support sessions, yet there has been little prior research on systematic psychology-based evaluations of fine-grained peer-counselor behavior in relation to client satisfaction. This paper seeks to bridge this gap by mapping peer-counselor chat-messages to motivational interviewing (MI) techniques. We annotate 14,797 utterances from 734 chat conversations using 17 MI techniques and introduce four new interviewing codes such as chit-chat and inappropriate to account for the unique conversational patterns observed on online platforms. We automate the process of labeling peer-counselor responses to MI techniques by fine-tuning large domain-specific language models and then use these automated measures to investigate the behavior of the peer counselors via correlational studies. Specifically, we study the impact of MI techniques on the conversation ratings to investigate the techniques that predict clients' satisfaction with their counseling sessions. When counselors use techniques such as reflection and affirmation, clients are more satisfied. Examining volunteer counselors' change in usage of techniques suggest that counselors learn to use more introduction and open questions as they gain experience. This work provides a deeper understanding of the use of motivational interviewing techniques on peer-to-peer counselor platforms and sheds light on how to build better training programs for volunteer counselors on online platforms.


title: An Empirical Study on Clustering Pretrained Embeddings: Is Deep Strictly Better?

abstract: Recent research in clustering face embeddings has found that unsupervised, shallow, heuristic-based methods -- including $k$-means and hierarchical agglomerative clustering -- underperform supervised, deep, inductive methods. While the reported improvements are indeed impressive, experiments are mostly limited to face datasets, where the clustered embeddings are highly discriminative or well-separated by class (Recall@1 above 90% and often nearing ceiling), and the experimental methodology seemingly favors the deep methods. We conduct a large-scale empirical study of 17 clustering methods across three datasets and obtain several robust findings. Notably, deep methods are surprisingly fragile for embeddings with more uncertainty, where they match or even perform worse than shallow, heuristic-based methods. When embeddings are highly discriminative, deep methods do outperform the baselines, consistent with past results, but the margin between methods is much smaller than previously reported. We believe our benchmarks broaden the scope of supervised clustering methods beyond the face domain and can serve as a foundation on which these methods could be improved. To enable reproducibility, we include all necessary details in the appendices, and plan to release the code.


title: Are All Edges Necessary? A Unified Framework for Graph Purification

abstract: Graph Neural Networks (GNNs) as deep learning models working on graph-structure data have achieved advanced performance in many works. However, it has been proved repeatedly that, not all edges in a graph are necessary for the training of machine learning models. In other words, some of the connections between nodes may bring redundant or even misleading information to downstream tasks. In this paper, we try to provide a method to drop edges in order to purify the graph data from a new perspective. Specifically, it is a framework to purify graphs with the least loss of information, under which the core problems are how to better evaluate the edges and how to delete the relatively redundant edges with the least loss of information. To address the above two problems, we propose several measurements for the evaluation and different judges and filters for the edge deletion. We also introduce a residual-iteration strategy and a surrogate model for measurements requiring unknown information. The experimental results show that our proposed measurements for KL divergence with constraints to maintain the connectivity of the graph and delete edges in an iterative way can find out the most edges while keeping the performance of GNNs. What's more, further experiments show that this method also achieves the best defense performance against adversarial attacks.


title: A characterization of maximal homogeneous-quadratic-free sets

abstract: The intersection cut framework was introduced by Balas in 1971 as a method for generating cutting planes in integer optimization. In this framework, one uses a full-dimensional convex $S$-free set, where $S$ is the feasible region of the integer program, to derive a cut separating $S$ from a non-integral vertex of a linear relaxation of $S$. Among all $S$-free sets, it is the inclusion-wise maximal ones that yield the strongest cuts. Recently, this framework has been extended beyond the integer case in order to obtain cutting planes in non-linear settings. In this work, we consider the specific setting when $S$ is defined by a homogeneous quadratic inequality. In this 'quadratic-free' setting, every function $\Gamma: D^m \to D^n$, where $D^k$ is the unit disk in $\mathbb{R}^k$, generates a representation of a quadratic-free set. While not every $\Gamma$ generates a maximal quadratic free set, it is the case that every full-dimensional maximal quadratic free set is generated by some $\Gamma$. Our main result shows that the corresponding quadratic-free set is full-dimensional and maximal if and only if $\Gamma$ is non-expansive and satisfies a technical condition. This result yields a broader class of maximal $S$-free sets than previously known. Our result stems from a new characterization of maximal $S$-free sets (for general $S$ beyond the quadratic setting) based on sequences that 'expose' inequalities defining the $S$-free set.


title: A phase stable hybrid dual comb spectrometer

abstract: Dual comb spectroscopy (DCS) is a broadband technique offering high resolution and fast data acquisition. We describe a hybrid dual comb spectrometer comprising a broadband commercial fiber laser system offering a wide range of sample interrogation, and an actively mode locked semiconductor laser (MLL) having a widely tunable, relatively narrow spectrum. The mutual coherence over 100 seconds has been realized between the two combs. We employed the DCS system to characterize the absorption spectrum of rubidium atoms at 313 K with a high signal to noise ratio. The broadband laser is directly locked on a high finesse cavity, providing long-term stability, while the semiconductor laser is locked to it. To characterize the absolute stability of the DCS system, the linewidth of the MLL comb line is measured and shown to reduce from 880 kHz to $17$ kHz when the system is fully locked. The long-term stability was measured to be $5 \times 10^{-12}$ at $1$ second and $5 \times 10^{-14}$ at $350$ seconds. The measured timing jitter of the MLL is ten times smaller due to the overall locking. In addition, we have addressed the effect of dispersion on the locking quality, which is significant for broadband comb lasers.


title: Training a Vision Transformer from scratch in less than 24 hours with 1 GPU

abstract: Transformers have become central to recent advances in computer vision. However, training a vision Transformer (ViT) model from scratch can be resource intensive and time consuming. In this paper, we aim to explore approaches to reduce the training costs of ViT models. We introduce some algorithmic improvements to enable training a ViT model from scratch with limited hardware (1 GPU) and time (24 hours) resources. First, we propose an efficient approach to add locality to the ViT architecture. Second, we develop a new image size curriculum learning strategy, which allows to reduce the number of patches extracted from each image at the beginning of the training. Finally, we propose a new variant of the popular ImageNet1k benchmark by adding hardware and time constraints. We evaluate our contributions on this benchmark, and show they can significantly improve performances given the proposed training budget. We will share the code in https://github.com/BorealisAI/efficient-vit-training.


title: Etude des (n+1)-tissus de courbes en dimension n

abstract: For $(n+1)$-webs by curves in an ambiant $n$-dimensional manifold, we first define a generalization of the well known Blaschke curvature of the dimension two, which vanishes iff the web has the maximum possible rank which is one. But, contrary to the dimension two where all 3-webs of rank one are locally isomorphic, we prove that there are infinitely many classes of isomorphism for germs of 4-webs by curves of rank one in the dimension three : we provide a procedure for building all of them, up to isomorphism, and give examples of invariants of these classes allowing in particular to distinguish the so-called quadrilateral webs among them.


title: Deterministic Random Walk Model in NetLogo and the Identification of Asymmetric Saturation Time in Random Graph

abstract: Interactive programming environments are powerful tools for promoting innovative network thinking, teaching science of complexity, and exploring emergent phenomena. This paper reports on our recent development of the deterministic random walk model in NetLogo, a leading platform for computational thinking, eco-system thinking, and multi-agent cross-platform programming environment. The deterministic random walk is foundational to modeling dynamical processes on complex networks. Inspired by the temporal visualizations offered in NetLogo, we investigated the relationship between network topology and diffusion saturation time for the deterministic random walk model. Our analysis uncovers that in Erd\H{o}s-R\'{e}nyi graphs, the saturation time exhibits an asymmetric pattern with a considerable probability of occurrence. This behavior occurs when the hubs, defined as nodes with relatively higher number of connections, emerge in Erd\H{o}s-R\'{e}nyi graphs. Yet, our analysis yields that the hubs in Barab\'{a}si-Albert model stabilize the the convergence time of the deterministic random walk model. These findings strongly suggest that depending on the dynamical process running on complex networks, complementing characteristics other than the degree need to be taken into account for considering a node as a hub. We have made our development open-source, available to the public at no cost at https://github.com/bravandi/NetLogo-Dynamical-Processes.


title: Towards Reasoning-Aware Explainable VQA

abstract: The domain of joint vision-language understanding, especially in the context of reasoning in Visual Question Answering (VQA) models, has garnered significant attention in the recent past. While most of the existing VQA models focus on improving the accuracy of VQA, the way models arrive at an answer is oftentimes a black box. As a step towards making the VQA task more explainable and interpretable, our method is built upon the SOTA VQA framework by augmenting it with an end-to-end explanation generation module. In this paper, we investigate two network architectures, including Long Short-Term Memory (LSTM) and Transformer decoder, as the explanation generator. Our method generates human-readable textual explanations while maintaining SOTA VQA accuracy on the GQA-REX (77.49%) and VQA-E (71.48%) datasets. Approximately 65.16% of the generated explanations are approved by humans as valid. Roughly 60.5% of the generated explanations are valid and lead to the correct answers.


title: Boundary triples and Weyl functions for Dirac operators with singular interactions

abstract: In this article we develop a systematic approach to treat Dirac operators $A_{\eta, \tau, \lambda}$ with singular electrostatic, Lorentz scalar, and anomalous magnetic interactions of strengths $\eta, \tau, \lambda \in \mathbb{R}$, respectively, supported on points in $\mathbb{R}$, curves in $\mathbb{R}^2$, and surfaces in $\mathbb{R}^3$ that is based on boundary triples and their associated Weyl functions. First, we discuss the one-dimensional case which also serves as a motivation for the multidimensional setting. Afterwards, in the two and three-dimensional situation we construct quasi, generalized, and ordinary boundary triples and their Weyl functions, and provide a detailed characterization of the associated Sobolev spaces, trace theorems, and the mapping properties of integral operators which play an important role in the analysis of $A_{\eta, \tau, \lambda}$. We make a substantial step towards more rough interaction supports $\Sigma$ and consider general compact Lipschitz hypersurfaces. We derive conditions for the interaction strengths such that the operators $A_{\eta, \tau, \lambda}$ are self-adjoint, obtain a Krein-type resolvent formula, and characterize the essential and discrete spectrum. These conditions include purely Lorentz scalar and purely non-critical anomalous magnetic interactions as well as the confinement case, the latter having an important application in the mathematical description of graphene. Using a certain ordinary boundary triple, we show the self-adjointness of $A_{\eta, \tau, \lambda}$ for arbitrary combinations of the interaction strengths (including critical ones) under the condition that $\Sigma$ is $C^{\infty}$-smooth and derive its spectral properties. In particular, in the critical case, a loss of Sobolev regularity in the operator domain and a possible additional point of the essential spectrum are observed.


title: Wiedemann-Franz law in graphene

abstract: We analyze a well-known experimental work [J. Crossno et al., Science 351, 1058 (2016)] which reported on the failure of the Wiedemann-Franz law in graphene at $T\sim 10$-$100\,\mathrm{K}$, attributing this failure to the non-Fermi liquid nature of the Dirac fluid associated with undoped intrinsic graphene. In spite of serious theoretical efforts, the reported observations remain unexplained. Our detailed quantitative analysis based on Fermi liquid considerations, which apply to extrinsic doped graphene, establishes that one possible explanation for the reported observations is the opening of a gap at the Dirac point, induced perhaps by the boron nitride substrate. We suggest that more experiments are necessary to resolve the issue, and we believe that the experiment may not actually have anything to do with Dirac fluid hydrodynamics, but relates to finite-temperature low-density bipolar diffusive transport by electrons and holes in the presence of short- and long-range disorder, and phonons.


title: Moving Media as Photonic Heat Engine and Pump

abstract: A system consisting of two slabs with different temperatures can exhibit a non-equilibrium lateral Casimir force on either one of the slabs when Lorentz reciprocity is broken in at least one of the slabs. This system constitutes a photonic heat engine that converts radiative heat into work done by the non-equilibrium lateral Casimir force. Reversely, by sliding two slabs at a sufficiently high relative velocity, heat is pumped from the slab at a lower temperature to the other one at a higher temperature. Hence the system operates as a photonic heat pump. In this work, we study the thermodynamic performance of such a photonic heat engine and pump via the fluctuational electrodynamics formalism. The propulsion force due to the non-reciprocity and the drag force due to the Doppler effect was revealed as the physical mechanism behind the heat engine. We also show that in the case of the heat pump, the use of nonreciprocal materials can help reduce the required velocity. We present an ideal material dispersion to reach the Carnot efficiency limit. Furthermore, we derive a relativistic version of the thermodynamic efficiency for our heat engine and prove that it is bounded by the Carnot efficiency that is independent of the frame of reference. Our work serves as a conceptual guide for the realization of photonic heat engines based on fluctuating electromagnetic fields and relativistic thermodynamics and shows the important role of electromagnetic non-reciprocity in operating them.


title: Kakeya sets from lines in $SL_2$

abstract: We prove that every Kakeya set in $\mathbb{R}^3$ formed from lines of the form $(a,b,0) + \operatorname{span}(c,d,1)$ with $ad-bc=1$ must have Hausdorff dimension $3$; Kakeya sets of this type are called $SL_2$ Kakeya sets. This result was also recently proved by F\"assler and Orponen using different techniques. Our method combines induction on scales with a special structural property of $SL_2$ Kakeya sets, which says that locally such sets look like the pre-image of an arrangement of plane curves above a special type of map from $\mathbb{R}^3$ to $\mathbb{R}^2$, called a twisting projection. This reduces the study of $SL_2$ Kakeya sets to a Kakeya-type problem for plane curves; the latter is analyzed using a variant of Wolff's circular maximal function.


title: Time-resolved measurement of spin excitations in Cu$_2$OSeO$_3$

abstract: Magnetic diffraction in combination with x-ray detected ferromagnetic resonance (DFMR) is a powerful technique for performing time-resolved measurements on individual spin textures. Here, we study the ferromagnetic resonance (FMR) modes of both the conical and field-polarized phases in the chiral magnet Cu$_2$OSeO$_3$. Following the identification of the FMR modes at different temperatures using broadband vector network analyzer FMR, we use DFMR on the crystalline (001) Bragg peak to reveal the time-dependent spin configurations of the selected FMR modes. By being able to measure both the amplitude and phase response of the spin system across the resonance, a continuous phase advance (of 180$^\circ$) in the conical mode, and a phase lag (of 180$^\circ$) in the field-polarized mode is found. By performing dynamic measurements in the conical phase as a function of the linear polarization angle of the x-rays, i.e., successively probing the dynamics of the moments, we find an inversion of the dynamics along the conical axis upon inverting the applied field direction. By allowing for time-resolved measurements of the phase and amplitude of individual magnetic phases, DFMR opens up new opportunities for obtaining a deeper understanding of the complex dynamics of chiral magnets.


title: Kepler-102: Masses and Compositions for a Super-Earth and Sub-Neptune Orbiting an Active Star

abstract: Radial velocity (RV) measurements of transiting multiplanet systems allow us to understand the densities and compositions of planets unlike those in the Solar System. Kepler-102, which consists of 5 tightly packed transiting planets, is a particularly interesting system since it includes a super-Earth (Kepler-102d) and a sub-Neptune-sized planet (Kepler-102e) for which masses can be measured using radial velocities. Previous work found a high density for Kepler-102d, suggesting a composition similar to that of Mercury, while Kepler-102e was found to have a density typical of sub-Neptune size planets; however, Kepler-102 is an active star, which can interfere with RV mass measurements. To better measure the mass of these two planets, we obtained 111 new RVs using Keck/HIRES and TNG/HARPS-N and modeled Kepler-102's activity using quasi-periodic Gaussian Process Regression. For Kepler-102d, we report a mass upper limit of M$_{d} < $5.3 M$_{\oplus}$ [95\% confidence], a best-fit mass of M$_{d}$=2.5 $\pm$ 1.4 M$_{\oplus}$, and a density of $\rho_{d}$=5.6 $\pm$ 3.2 g/cm$^{3}$ which is consistent with a rocky composition similar in density to the Earth. For Kepler-102e we report a mass of M$_{e}$=4.7 $\pm$ 1.7 M$_{\oplus}$ and a density of $\rho_{e}$=1.8 $\pm$ 0.7 g/cm$^{3}$. These measurements suggest that Kepler-102e has a rocky core with a thick gaseous envelope comprising 2-4% of the planet mass and 16-50% of its radius. Our study is yet another demonstration that accounting for stellar activity in stars with clear rotation signals can yield more accurate planet masses, enabling a more realistic interpretation of planet interiors.


title: Flows of geometric structures

abstract: We develop an abstract theory of flows of geometric $H$-structures, i.e., flows of tensor fields defining $H$-reductions of the frame bundle, for a closed and connected subgroup $H \subset \mathrm{SO}(n)$, on any connected and oriented $n$-manifold with sufficient topology to admit such structures. The first part of the article sets up a unifying theoretical framework for deformations of $H$-structures, by way of the natural infinitesimal action of $\mathrm{GL}(n,\mathbb{R})$ on tensors combined with various bundle decompositions induced by $H$-structures. We compute evolution equations for the intrinsic torsion under general flows of $H$-structures and, as applications, we obtain general Bianchi-type identities for $H$-structures, and, for closed manifolds, a general first variation formula for the $L^2$-Dirichlet energy functional $\mathcal{E}$ on the space of $H$-structures. We then specialise the theory to the negative gradient flow of $\mathcal{E}$ over isometric $H$-structures, i.e., their harmonic flow. The core result is an almost monotonocity formula along the flow for a scale-invariant localised energy, similar to the classical formulae by Chen-Struwe for the harmonic map heat flow. This yields an $\epsilon$-regularity theorem and an energy gap result for harmonic structures, as well as long-time existence for the flow under small initial energy, with respect to the $L^\infty$-norm of initial torsion, in the spirit of Chen-Ding. Moreover, below a certain energy level, the absence of a torsion-free isometric $H$-structure in the initial homotopy class imposes the formation of finite-time singularities. These seemingly contrasting statements are illustrated by examples on flat $n$-tori, so long as $[\mathbb{S}^n,SO(n)/H]$ contains more than one element, and the universal cover of $SO(n)/H$ is a sphere; e.g. when $n=7$ and $H=\rm G_2$, or $n=8$ and $H=\rm Spin(7)$.


title: Collateral facilitation in humans and language models

abstract: Are the predictions of humans and language models affected by similar things? Research suggests that while comprehending language, humans make predictions about upcoming words, with more predictable words being processed more easily. However, evidence also shows that humans display a similar processing advantage for highly anomalous words when these words are semantically related to the preceding context or to the most probable continuation. Using stimuli from 3 psycholinguistic experiments, we find that this is also almost always also the case for 8 contemporary transformer language models (BERT, ALBERT, RoBERTa, XLM-R, GPT-2, GPT-Neo, GPT-J, and XGLM). We then discuss the implications of this phenomenon for our understanding of both human language comprehension and the predictions made by language models.


title: An Open, Multi-Platform Software Architecture for Online Education in the Metaverse

abstract: Use of online platforms for education is a vibrant and growing arena, incorporating a variety of software platforms and technologies, including various modalities of extended reality. We present our Enhanced Reality Teaching Concierge, an open networking hub architected to enable efficient and easy connectivity between a wide variety of services or applications to a wide variety of clients, designed to showcase 3D for academic purposes across web technologies, virtual reality, and even virtual worlds. The agnostic nature of the system, paired with efficient architecture, and simple and open protocols furnishes an ecosystem that can easily be tailored to maximize the innate characteristics of each 3D display environment while sharing common data and control systems with the ultimate goal of a seamless, expandable, nimble education metaverse.


title: Affordance detection with Dynamic-Tree Capsule Networks

abstract: Affordance detection from visual input is a fundamental step in autonomous robotic manipulation. Existing solutions to the problem of affordance detection rely on convolutional neural networks. However, these networks do not consider the spatial arrangement of the input data and miss parts-to-whole relationships. Therefore, they fall short when confronted with novel, previously unseen object instances or new viewpoints. One solution to overcome such limitations can be to resort to capsule networks. In this paper, we introduce the first affordance detection network based on dynamic tree-structured capsules for sparse 3D point clouds. We show that our capsule-based network outperforms current state-of-the-art models on viewpoint invariance and parts-segmentation of new object instances through a novel dataset we only used for evaluation and it is publicly available from github.com/gipfelen/DTCG-Net. In the experimental evaluation we will show that our algorithm is superior to current affordance detection methods when faced with grasping previously unseen objects thanks to our Capsule Network enforcing a parts-to-whole representation.


title: HilMeMe: A Human-in-the-Loop Machine Translation Evaluation Metric Looking into Multi-Word Expressions

abstract: With the fast development of Machine Translation (MT) systems, especially the new boost from Neural MT (NMT) models, the MT output quality has reached a new level of accuracy. However, many researchers criticised that the current popular evaluation metrics such as BLEU can not correctly distinguish the state-of-the-art NMT systems regarding quality differences. In this short paper, we describe the design and implementation of a linguistically motivated human-in-the-loop evaluation metric looking into idiomatic and terminological Multi-word Expressions (MWEs). MWEs have played a bottleneck in many Natural Language Processing (NLP) tasks including MT. MWEs can be used as one of the main factors to distinguish different MT systems by looking into their capabilities in recognising and translating MWEs in an accurate and meaning equivalent manner.


title: Extending structures for left-symmetric bialgebras

abstract: We introduce the concept of braided left-symmetric bialgebras and construct cocycle bicrossproduct left-symmetric bialgebras. As an application, we solve the extending problem for left-symmetric bialgebras by using some non-abelian cohomology theory.


title: Data-driven Cyberattack Synthesis against Network Control Systems

abstract: Network Control Systems (NCSs) pose unique vulnerabilities to cyberattacks due to a heavy reliance on communication channels. These channels can be susceptible to eavesdropping, false data injection (FDI), and denial of service (DoS). As a result, smarter cyberattacks can employ a combination of techniques to cause degradation of the considered NCS performance. We consider a white-box cyberattack synthesis technique in which the attacker initially eavesdrops to gather system data, and constructs equivalent system model. We utilize the equivalent model to synthesize hybrid cyberattacks -- a combination of FDI and DoS attacks against the NCS. Reachable sets for the equivalent NCS model provide rapid, real-time directives towards selecting NCS agents to be attacked. The devised method provides a significantly more realistic approach toward cyberattack synthesis against NCSs with unknown parameters. We demonstrate the proposed method using a multi-aerial vehicle formation control scenario.


title: Abelian p-groups with minimal characteristic inertia

abstract: For Abelian p-groups, Goldsmith, Salce, et al., introduced the notion of minimal full inertia. In parallel to this, we define the concept of minimal characteristic inertia and explore those p-primary Abelian groups having minimal characteristic inertia. We establish the surprising result that, for each Abelian p-group A, the square A \oplus A has the minimal characteristic inertia if, and only if, it has the minimal full inertia. We also obtain some other relationships between these two properties. Specifically, we exhibit groups which do not have neither of the properties, as well as we show via a concrete complicated construction from ring/module theory that, for any prime p, there is a p-group possessing the minimal characteristic inertia which does not possess the minimal full inertia.


title: Maximum Entropy on the Mean and the Cram\'er Rate Function in Statistical Estimation and Inverse Problems: Properties, Models, and Algorithms

abstract: We explore a method of statistical estimation called Maximum Entropy on the Mean (MEM) which is based on an information-driven criterion that quantifies the compliance of a given point with a reference prior probability measure. At the core of this approach lies the MEM function which is a partial minimization of the Kullback-Leibler divergence over a linear constraint. In many cases, it is known that this function admits a simpler representation (known as the Cram\'er rate function). Via the connection to exponential families of probability distributions, we study general conditions under which this representation holds. We then address how the associated MEM estimator gives rise to a wide class of MEM-based regularized linear models for solving inverse problems. Finally, we propose an algorithmic framework to solve these problems efficiently based on the Bregman proximal gradient method, alongside proximal operators for commonly used reference distributions. The article is complemented by a software package for experimentation and exploration of the MEM approach in applications.

categories: math.ST cs.IT math.IT math.OC math.PR stat.TH


title: It's TEEtime: A New Architecture Bringing Sovereignty to Smartphones

abstract: Modern smartphones are complex systems in which control over phone resources is exercised by phone manufacturers, OS vendors, and users. These stakeholders have diverse and often competing interests. Barring some exceptions, users entrust their security and privacy to OS vendors (Android and iOS) and need to accept their constraints. Manufacturers protect their firmware and peripherals from the OS by executing in the highest privilege and leveraging dedicated CPUs and TEEs. OS vendors need to trust the highest privileged code deployed by manufacturers. This division of control over the phone is not ideal for OS vendors and is even more disadvantageous for the users. Users are generally limited in what applications they can install on their devices, in the privacy model and trust assumptions of the existing applications, and in the functionalities that applications can have. We propose TEEtime, a new smartphone architecture based on trusted execution allowing to balance the control different stakeholders exert over phones. More leveled control over the phone means that no stakeholder is more privileged than the others. In particular, TEEtime makes users sovereign over their phones: It enables them to install sensitive applications in isolated domains with protected access to selected peripherals alongside an OS. TEEtime achieves this while maintaining compatibility with the existing smartphone ecosystem and without relying on virtualization; it only assumes trust in a phone's firmware. TEEtime is the first TEE architecture that allows isolated execution domains to gain protected and direct access to peripherals. TEEtime is based on Armv8-A and achieves peripheral isolation using a novel mechanism based on memory and interrupt controller protection. We demonstrate the feasibility of our design by implementing a prototype of TEEtime, and by running exemplary sensitive applications.


title: Interpretable Machine Learning System to EEG Patterns on the Ictal-Interictal-Injury Continuum

abstract: In intensive care units (ICUs), critically ill patients are monitored with electroencephalograms (EEGs) to prevent serious brain injury. The number of patients who can be monitored is constrained by the availability of trained physicians to read EEGs, and EEG interpretation can be subjective and prone to inter-observer variability. Automated deep learning systems for EEG could reduce human bias and accelerate the diagnostic process. However, black box deep learning models are untrustworthy, difficult to troubleshoot, and lack accountability in real-world applications, leading to a lack of trust and adoption by clinicians. To address these challenges, we propose a novel interpretable deep learning model that not only predicts the presence of harmful brainwave patterns but also provides high-quality case-based explanations of its decisions. Our model performs better than the corresponding black box model, despite being constrained to be interpretable. The learned 2D embedded space provides the first global overview of the structure of ictal-interictal-injury continuum brainwave patterns. The ability to understand how our model arrived at its decisions will not only help clinicians to diagnose and treat harmful brain activities more accurately but also increase their trust and adoption of machine learning models in clinical practice; this could be an integral component of the ICU neurologists' standard workflow.


title: Integrated O- and C-band Silicon-Lithium Niobate Mach-Zehnder Modulators with 100 GHz Bandwidth, Low Voltage, and Low Loss

abstract: Broadband integrated thin-film lithium niobate (TFLN) electro-optic modulators (EOM) are desirable for optical communications and signal processing in both the O-band (1310 nm) and C-band (1550 nm). To address these needs, we design and demonstrate Mach-Zehnder (MZ) EOM devices in a hybrid platform based on TFLN bonded to foundry-fabricated silicon photonic waveguides. Using a single silicon lithography step and a single bonding step, we realize MZ EOM devices which cover both wavelength ranges on the same chip. The EOM devices achieve 100 GHz EO bandwidth (referenced to 1 GHz) and about 2-3 V$.$cm figure-of-merit ($V_\pi L$) with low on-chip optical loss in both the O-band and C-band.


title: Resolving the Emission Regions of the Crab Pulsar's Giant Pulses II. Evidence for Relativistic Motion

abstract: The Crab Pulsar is the prime example of an emitter of giant pulses. These short, very bright pulses are thought to originate near the light cylinder, at $\sim\!1600{\rm\;km}$ from the pulsar. The pulsar's location inside the Crab Nebula offers an unusual opportunity to resolve the emission regions, using the nebula, which scatters radio waves, as a lens. We attempt to do this using a sample of 61998 giant pulses found in coherently combined European VLBI network observations at $18{\rm\;cm}$. These were taken at times of relatively strong scattering and hence good effective resolution, and from correlations between pulse spectra, we show that the giant pulse emission regions are indeed resolved. We infer apparent diameters of $\sim\!2000$ and $\sim\!2400{\rm\;km}$ for the main and interpulse components, respectively, and show that with these sizes the correlation amplitudes and decorrelation timescales and bandwidths can be understood quantitatively, both in our observations and in previous ones. Using pulse-spectra statistics and correlations between polarizations, we also show that the nebula resolves the nanoshots that comprise individual giant pulses. The implied diameters of $\sim\!1100{\rm\;km}$ far exceed light travel-time estimates, suggesting the emitting plasma is moving relativistically, with $\gamma\simeq10^{4}$, as inferred previously from drifting bands during the scattering tail of a giant pulse. If so, the emission happens over a region extended along the line of sight by $\sim\!10^{7}{\rm\;km}$. We conclude that relativistic motion likely is important for producing giant pulses, and may be similarly for other sources of short, bright radio emission, such as fast radio bursts.


title: Comparing moments of real log-concave random variables

abstract: We show that for every mean zero log-concave real random variable $X$ one has $\|X\|_p \leq \frac{p}{q} \|X\|_q$ for $p \geq q \geq 1$, going beyond the well-known case of symmetric random variables. We also prove that in the class of arbitrary log-concave real random variables for $p>q > 0$ the quantity $\|X\|_p / \|X\|_q$ is maximized for some shifted exponential distribution. Building upon this we derive the bound $\|X\|_p \leq C_0 \frac{p}{q} \|X\|_q$ for arbitrary log-concave $X$, with best possible absolute constant $C_0=e^{W(1/e)} \approx 1.3211$ in front of $\frac{p}{q}$, where $W$ stands for the Lambert function.


title: Electron and Hole Mobility of SnO2 from Full-Band Electron-Phonon and Ionized Impurity Scattering Computations

abstract: Mobility is a key parameter for SnO2, which is extensively studied as a practical transparent oxide n-type semiconductor. In experiments, the mobility of electrons in bulk SnO2 single crystals varies from 70 to 260 cm2V-1s-1 at room temperature. Here, we calculate the mobility as limited by electron-phonon and ionized impurity scattering by coupling the Boltzmann transport equation with density functional theory electronic structures. The linearized Boltzmann transport equation is solved numerically beyond the commonly employed constant relaxation-time approximation by taking into account all energy and momentum dependencies of the scattering rates. Acoustic deformation potential and polar optical phonons are considered for electron-phonon scattering, where polar optical phonon scattering is found to be the main factor which determines the mobility of both electrons and holes at room temperature. The calculated phonon-limited electron mobility is found to be 265 cm2V-1s-1, whereas that of holes is found to be 7.6 cm2V-1s-1. We present the mobility as a function of the carrier concentration, which shows the upper mobility limit. The large difference between the mobilities of n-type and p-type SnO2 is a result of the different effective masses between electrons and holes.


title: Alternative approach to the Starobinsky model for inflation scenarios

abstract: The $R+R^2$ model of gravity with the corresponding shallow potential in the Einstein frame is consistent with the observations. Recently, many efforts have been made to generalize the $R+R^2$ (Starobinsky) model of inflation or use other shallow potentials to construct a model for the early Universe. We revise the question about the shallow potential. We propose a model in which the Starobinsky model can emerge through a dynamical mechanism. We show that the absence of ghost modes results to constraints on the parameters of the Starobinsky model. We obtain the scalar spectral index and the tensor-to-scalar ratio of the extended model and study the three-point correlation function of the curvature perturbation to estimate the primordial non-Gaussianities of the proposed model.


title: Flaky Performances when Pretraining on Relational Databases

abstract: We explore the downstream task performances for graph neural network (GNN) self-supervised learning (SSL) methods trained on subgraphs extracted from relational databases (RDBs). Intuitively, this joint use of SSL and GNNs should allow to leverage more of the available data, which could translate to better results. However, we found that naively porting contrastive SSL techniques can cause ``negative transfer'': linear evaluation on fixed representations from a pretrained model performs worse than on representations from the randomly-initialized model. Based on the conjecture that contrastive SSL conflicts with the message passing layers of the GNN, we propose InfoNode: a contrastive loss aiming to maximize the mutual information between a node's initial- and final-layer representation. The primary empirical results support our conjecture and the effectiveness of InfoNode.


title: Broadband field-enhancement in epsilon-near-zero photonic gap antennas

abstract: In recent years, the large electric field enhancement and tight spatial confinement supported by the so-called epsilon-near-zero (ENZ) mode have attracted significant attention for the realization of efficient nonlinear optical devices. Here, we experimentally demonstrate a new type of antenna, termed an ENZ photonic gap antenna (PGA), which consists of a dielectric pillar within which a thin slab of indium tin oxide (ITO) material is embedded. In ENZ PGAs, hybrid dielectric-ENZ modes emerge from strong coupling between the dielectric antenna modes and the ENZ bulk plasmon resonance. These hybrid modes efficiently couple to free space and allow for large enhancements of the incident electric field over nearly an octave bandwidth, without the stringent lateral nanofabrication requirements required by conventional plasmonic or dielectric nanoantennas. The linear response of single ENZ PGAs is probed using dark field scattering and interpreted using a simple coupled oscillator framework. Third harmonic generation is used to probe the field enhancement and large enhancements are observed in the THG efficiency over a broad spectral range. This proof of concept demonstrates the potential of ENZ PGAs, which we have previously shown can support electric field enhancements of up to 100--200X, which is comparable with those of the best plasmonic antennas.


title: Content-Diverse Comparisons improve IQA

abstract: Image quality assessment (IQA) forms a natural and often straightforward undertaking for humans, yet effective automation of the task remains highly challenging. Recent metrics from the deep learning community commonly compare image pairs during training to improve upon traditional metrics such as PSNR or SSIM. However, current comparisons ignore the fact that image content affects quality assessment as comparisons only occur between images of similar content. This restricts the diversity and number of image pairs that the model is exposed to during training. In this paper, we strive to enrich these comparisons with content diversity. Firstly, we relax comparison constraints, and compare pairs of images with differing content. This increases the variety of available comparisons. Secondly, we introduce listwise comparisons to provide a holistic view to the model. By including differentiable regularizers, derived from correlation coefficients, models can better adjust predicted scores relative to one another. Evaluation on multiple benchmarks, covering a wide range of distortions and image content, shows the effectiveness of our learning scheme for training image quality assessment models.


title: Ignition Behind Decaying Shock Waves : Detonation Cells

abstract: We first address the problem of initiation behind decaying shock waves analytically and numerically. The ignition along a particle path crossing the shock is analysed in terms of its volumetric expansion, evaluated as a function of the shock strength, decay rate, and curvature using the shock change equations. Closed form solutions are derived for 1-step and 2-step chemistry models. The analytical results are found in excellent agreement with numerical simulations using a detailed thermo-chemical model. The newly developed model is used to study the ignition behind the lead shock in detonation cells. New experiments are reported for cellular dynamics in a very regular H$_2$-O$_2$-Ar system. It is found that the ignition of approximately half of the gases crossing the shock is quenched. In the experiments, this gas reacts behind the transverse waves. Previous experiments in a very irregular system of methane-oxygen are also analysed. In these experiments, more than 70\% of the gases crossing the shock are quenched due to shock non-steadiness. These gases are shed as non-reacted pockets, which react much slower and burn out due to turbulent diffusion. The main conclusion of the study is that both irregular and regular cellular detonations experience ignition quenching due to shock non-steadiness.


title: Smaller Low-Depth Circuits for Kronecker Powers

abstract: We give new, smaller constructions of constant-depth linear circuits for computing any matrix which is the Kronecker power of a fixed matrix. A standard argument (e.g., the mixed product property of Kronecker products, or a generalization of the Fast Walsh-Hadamard transform) shows that any such $N \times N$ matrix has a depth-2 circuit of size $O(N^{1.5})$. We improve on this for all such matrices, and especially for some such matrices of particular interest: - For any integer $q > 1$ and any matrix which is the Kronecker power of a fixed $q \times q$ matrix, we construct a depth-2 circuit of size $O(N^{1.5 - a_q})$, where $a_q > 0$ is a positive constant depending only on $q$. No bound beating size $O(N^{1.5})$ was previously known for any $q>2$. - For the case $q=2$, i.e., for any matrix which is the Kronecker power of a fixed $2 \times 2$ matrix, we construct a depth-2 circuit of size $O(N^{1.446})$, improving the prior best size $O(N^{1.493})$ [Alman, 2021]. - For the Walsh-Hadamard transform, we construct a depth-2 circuit of size $O(N^{1.443})$, improving the prior best size $O(N^{1.476})$ [Alman, 2021]. - For the disjointness matrix (the communication matrix of set disjointness, or equivalently, the matrix for the linear transform that evaluates a multilinear polynomial on all $0/1$ inputs), we construct a depth-2 circuit of size $O(N^{1.258})$, improving the prior best size $O(N^{1.272})$ [Jukna and Sergeev, 2013]. Our constructions also generalize to improving the standard construction for any depth $\leq O(\log N)$. Our main technical tool is an improved way to convert a nontrivial circuit for any matrix into a circuit for its Kronecker powers. Our new bounds provably could not be achieved using the approaches of prior work.


title: Minimum Atom-Bond Sum-Connectivity Index of Trees With a Fixed Order and/or Number of Pendent Vertices

abstract: Let $d_u$ be the degree of a vertex $u$ of a graph $G$. The atom-bond sum-connectivity (ABS) index of a graph $G$ is the sum of the numbers $(1-2(d_v+d_w)^{-1})^{1/2}$ over all edges $vw$ of $G$. This paper gives the characterization of the graph possessing the minimum ABS index in the class of all trees of a fixed number of pendent vertices; the star is the unique extremal graph in the mentioned class of graphs. The problem of determining graphs possessing the minimum ABS index in the class of all trees with $n$ vertices and $p$ pendent vertices is also addressed; such extremal trees have the maximum degree $3$ when $n\ge 3p-2\ge7$, and the balanced double star is the unique such extremal tree for the case $p=n-2$.


title: Using Physics Informed Neural Networks for Supernova Radiative Transfer Simulation

abstract: We use physics informed neural networks (PINNs) to solve the radiative transfer equation and calculate a synthetic spectrum for a Type Ia supernova (SN~Ia) SN 2011fe. The calculation is based on local thermodynamic equilibrium (LTE) and 9 elements are included. Physical processes included are approximate radiative equilibrium, bound-bound transitions, and the Doppler effect. A PINN based gamma-ray scattering approximation is used for radioactive decay energy deposition. The PINN synthetic spectrum is compared to an observed spectrum, a synthetic spectrum calculated by the Monte-Carlo radiative transfer program TARDIS, and the formal solution of the radiative transfer equation. We discuss the challenges and potential of this deep-learning based radiative transfer equation solver. In fact, PINNs offer the prospect of simultaneous solution of the atmosphere problem for both radiation field and thermal state throughout spacetime. We have made modest steps to realizing that prospect with our calculations which required many approximations in order to be feasible at this point in the development of PINN atmosphere solutions.


title: TreeFlow: probabilistic programming and automatic differentiation for phylogenetics

abstract: Probabilistic programming frameworks are powerful tools for statistical modelling and inference. They are not immediately generalisable to phylogenetic problems due to the particular computational properties of the phylogenetic tree object. TreeFlow is a software library for probabilistic programming and automatic differentiation with phylogenetic trees. It implements inference algorithms for phylogenetic tree times and model parameters given a tree topology. We demonstrate how TreeFlow can be used to quickly implement and assess new models. We also show that it provides reasonable performance for gradient-based inference algorithms compared to specialized computational libraries for phylogenetics.


title: singR: An R package for Simultaneous non-Gaussian Component Analysis for data integration

abstract: This paper introduces an R package that implements Simultaneous non-Gaussian Component Analysis for data integration. SING uses a non-Gaussian measure of information to extract feature loadings and scores (latent variables) that are shared across multiple datasets. We describe and implement functions through two examples. The first example is a toy example working with images. The second example is a simulated study integrating functional connectivity estimates from a restingstate functional magnetic resonance imaging dataset and task activation maps from a working memory functional magnetic resonance imaging dataset. The SING model can produce joint components that accurately reflect information shared by multiple datasets, particularly for datasets with non-Gaussian features such as neuroimaging.