title: Tidal Disruption Events by Compact Supermassive Black Hole Binaries

abstract: Stars can be tidally destroyed or swallowed by supermassive black hole binaries. Using a large number of accurate few-body simulations, we investigate the enhancement and suppression of full and partial disruption and direct capture events by hard supermassive black hole binaries with a wide ranges of key parameters, i.e., the primary black hole mass ($10^{5}-10^{8}M_{\odot}$), the binary mass ratio ($10^{-3}-1$), the ratio of the binary semimajor axis to the hardening radius ($10^{-4}-1$), the binary eccentricity ($0.0-0.9$) and the stellar mass ($0.3-3M_{\odot}$). This is a significant extension of the parameter space compared to previous work. We show that the encounter probabilities of all three events are well-described by the encounter cross section, which is proportional to the pericenter distance. The probability of full disruptions by supermassive black hole binaries can be enhanced by up to a factor of $40-50$ or suppressed by up to a factor of $10$, relative to that by single black holes, depending on the binary parameters. Relativistic effects are not important for the primary black hole mass $\leq 10^{7}M_{\odot}$, but can provide an additional enhancement of the full disruption probability by less than a factor of $2-3$ for higher primary black hole masses. We provide a fitting formula for the full disruption probability by the hard supermassive black hole binaries that works for a wide range of parameters. We also find that partial disruption events can occur multiple times before full disruptions or direct captures, and their probabilities can be greater than that of full disruption events by a factor of three. Because partial disruption events can induce stellar spins and mass loss and change the orbits, it can significantly affect the overall full disruption event rate and the shape of the light curves.


title: Renormalization-group-inspired neural networks for computing topological invariants

abstract: We show that artificial neural networks (ANNs) can, to high accuracy, determine the topological invariant of a disordered system given its two-dimensional real-space Hamiltonian. Furthermore, we describe a "renormalization-group" (RG) network, an ANN which converts a Hamiltonian on a large lattice to another on a small lattice while preserving the invariant. By iteratively applying the RG network to a "base" network that computes the Chern number of a small lattice of set size, we are able to process larger lattices without re-training the system. We therefore show that it is possible to compute real-space topological invariants for systems larger than those on which the network was trained. This opens the door for computation times significantly faster and more scalable than previous methods.


title: Ultrasound detection of emergent photons in generic quantum spin ice

abstract: Experimental identification of quantum spin ice (QSI), a U(1) quantum spin liquid on the pyrochlore lattice hosting emergent photons, is a major challenge in frustrated magnets. In this work, we propose ultrasound measurements as a novel tool for probing the emergent photons of various QSI phases. Our analysis includes QSI phases in non-Kramers doublet compounds such as $\rm{Pr}_2 \rm{Zr}_2 \rm{O}_7$ as well as dipolar-octupolar Kramers doublet compounds such as $\rm{Ce}_2 \rm{Zr}_2 \rm{O}_7$. The latter may host emergent photons associated with an octupolar component which renders them difficult to detect with inelastic neutron scattering. We demonstrate theoretically how the speed of the emergent photons can be obtained from the renormalization of the phonon spectrum and show that ultrasound measurements provide a means of distinguishing the dipolar from the octupolar QSI phase in dipolar-octupolar materials.


title: Hinge mode dynamics of periodically driven higher-order Weyl semimetals

abstract: We study the stroboscopic dynamics of hinge modes of a second-order topological material modeled by a tight-binding free fermion Hamiltonian on a cubic lattice in the intermediate drive frequency regime for both discrete (square pulse) and continuous (cosine) periodic drive protocols. We analyze the Floquet phases of this system and show that its quasienergy spectrum becomes almost gapless in the large drive amplitude regime at special drive frequencies. Away from these frequencies, the gapped quasienergy spectrum supports weakly dispersing Floquet hinge modes. Near them, these hinge modes penetrate into the bulk and eventually become indistinguishable from the bulk modes. We provide an analytic, albeit perturbative, expression for the Floquet Hamiltonian using Floquet perturbation theory (FPT) which explains this phenomenon and leads to analytic expressions of these special frequencies. We also show that in the large drive amplitude regime, the zero energy hinge modes corresponding to the static tight-binding Hamiltonian display qualitatively different dynamics at these special frequencies. We discuss possible local density of state measurement using a scanning tunneling microscope which can test our theory.


title: The velocity distribution of white dwarfs in Gaia EDR3

abstract: Using a penalised maximum likelihood we estimate, for the first time, the velocity distribution of white dwarfs in the Solar neighbourhood. Our sample consists of 129 675 white dwarfs within 500 pc in Gaia Early Data Release 3 The white dwarf velocity distributions reveal a similar structure to the rest of the Solar neighbourhood stars, reflecting that white dwarfs are subjected to the same dynamical processes. In the velocity distribution for three magnitude-binned subsamples we however find a novel structure at $(U, V) = (7, -19)$ km s$^{-1}$ in fainter samples, potentially related to the Coma Berenices stream. We also see a double-peaked feature in $U$-$W$ at $U \approx -30$ km s$^{-1}$ and in $V$-$W$ at $V \approx -20$ km s$^{-1}$ for fainter samples. We determine the velocity distribution and velocity moments as a function of absolute magnitude for two samples based on the bifurcation identified in Gaia Data Release 2 in the colour-magnitude diagram. The brighter, redder sequence has a larger velocity dispersion than the fainter, bluer sequence across all magnitudes. It is hard to reconcile this kinematic difference with a bifurcation caused purely by atmospheric composition, while it fits neatly with a significant age difference between the two sequences. Our results provide novel insights into the kinematic properties of white dwarfs and demonstrate the power of analytical techniques that work for the large fraction of stars that do not have measured radial velocities in the current era of large-scale astrometric surveys.


title: Scaling relations of clusters and groups, and their evolution

abstract: X-ray observations of the hot intra-cluster medium (ICM) in galaxy groups and clusters provide quantities such as their gas mass, X-ray luminosity, and temperature. The analysis of the scaling relations between these observable properties gives considerable insight into the physical processes taking place in the ICM. Furthermore, an understanding of the scaling relations between ICM properties and the total cluster mass is essential for cosmological studies with clusters. For these reasons, the X-ray scaling relations of groups and clusters have been a major focus of research over the past several decades. In this Chapter, after presenting the expectations from the self-similar model, based on the assumption that only gravity drives the evolution of the ICM, we discuss how the processes of gas cooling and non-gravitational heating are believed to be responsible for the observed deviations from the self-similar scenario. We also describe important complications that must be considered when measuring and interpreting the scaling relations.


title: Decimation technique for open quantum systems: a case study with driven-dissipative bosonic chains

abstract: The unavoidable coupling of quantum systems to external degrees of freedom leads to dissipative (non-unitary) dynamics, which can be radically different from closed-system scenarios. Such open quantum system dynamics is generally described by Lindblad master equations, whose dynamical and steady-state properties are challenging to obtain, especially in the many-particle regime. Here, we introduce a method to deal with these systems based on the calculation of (dissipative) lattice Green's function with a real-space decimation technique. Compared to other methods, such technique enables obtaining compact analytical expressions for the dynamics and steady-state properties, such as asymptotic decays or correlation lengths. We illustrate the power of this method with several examples of driven-dissipative bosonic chains of increasing complexity, including the Hatano-Nelson model. The latter is especially illustrative because its surface and bulk dissipative behavior are linked due to its non-trivial topology, which manifests in directional amplification.


title: Topological defects in a double-mirror quadrupole insulator displace diverging charge

abstract: We show that topological defects in quadrupole insulators do not host quantized fractional charges, contrary to what their Wannier representation indicates. In particular, we test the charge quantization hypothesis based on the Wannier representation of a parametric defect and a disclination. Against the expectations, we find that the local charge density decays as $\sim 1/r^2$ with distance, leading to a diverging defect charge. We identify sublattice symmetry and not higher order topology as the origin of the previously reported charge quantization.


title: Signatures of a surviving helium-star companion in Type Ia supernovae and constraints on the progenitor companion of SN 2011fe

abstract: Single-degenerate (SD) binary systems composed of a white dwarf and a non-degenerate helium (He)-star companion have been proposed as the potential progenitors of Type Ia supernovae (SNe Ia). The He-star companions are expected to survive the SN Ia explosion in this SD progenitor model. In the present work, we map the surviving He-star companion models computed from our previous three-dimensional hydrodynamical simulations of ejecta-companion interaction into the one-dimensional stellar evolution code MESA to follow their long-term evolution to make predictions on their post-impact observational properties, which can be helpful for searches of such surviving He-star companions in future observations. By comparing with the very late-epoch light curve of the best observed SN Ia, SN 2011fe, we find that our surviving He-star companions become significantly more luminous than SN 2011fe about 1000d after the maximum light. This suggests that a He star is very unlikely to be a companion to the progenitor of SN 2011fe.


title: Blue Stragglers as tracers of the dynamical state of two clusters in the Small Magellanic Cloud: NGC 339 and NGC 419

abstract: The level of central segregation of Blue Straggler stars proved to be an excellent tracer of the dynamical evolution of old star clusters (the so-called "dynamical clock"), both in the Milky Way and in the Large Magellanic Cloud. The $A^{+}$ parameter, used to measure the Blue Stragglers degree of segregation, has in fact been found to strongly correlate with the parent cluster central relaxation time. Here we studied the Blue-Straggler population of two young stellar systems in the Small Magellanic Cloud, namely NGC 339 (which is 6 Gyr old) and NGC 419 (with an age of only 1.5 Gyr), in order to study their dynamical state. Thanks to multi-epoch, high angular resolution Hubble Space Telescope observations available for both clusters, we took advantage of the stellar proper motions measured in the regions of the two systems and we selected a population of likely cluster members, removing the strong contamination from Small Magellanic Cloud stars. This enabled us to study, with unprecedented accuracy, the radial distribution of Blue Stragglers in these two extragalactic clusters and to measure their dynamical age. As expected for such young clusters, we found that both systems are poorly evolved from the dynamical point of view, also fully confirming that the $A^{+}$ parameter is a sensitive "clock hand" even in the dynamically-young regime.


title: Coronal Mass Ejection Image Edge Detection In Heliospheric Imager STEREO SECCHI Data

abstract: We present an algorithm to detect the outer edges of Coronal Mass Ejection (CME) events as seen in differences of Heliospheric Imager STEREO SECCHI HI-1 images from either A or B spacecraft, as well as its implementation in Python.


title: Taking a Step Back with KCal: Multi-Class Kernel-Based Calibration for Deep Neural Networks

abstract: Deep neural network (DNN) classifiers are often overconfident, producing miscalibrated class probabilities. In high-risk applications like healthcare, practitioners require $\textit{fully calibrated}$ probability predictions for decision-making. That is, conditioned on the prediction $\textit{vector}$, $\textit{every}$ class' probability should be close to the predicted value. Most existing calibration methods either lack theoretical guarantees for producing calibrated outputs, reduce classification accuracy in the process, or only calibrate the predicted class. This paper proposes a new Kernel-based calibration method called KCal. Unlike existing calibration procedures, KCal does not operate directly on the logits or softmax outputs of the DNN. Instead, KCal learns a metric space on the penultimate-layer latent embedding and generates predictions using kernel density estimates on a calibration set. We first analyze KCal theoretically, showing that it enjoys a provable $\textit{full}$ calibration guarantee. Then, through extensive experiments across a variety of datasets, we show that KCal consistently outperforms baselines as measured by the calibration error and by proper scoring rules like the Brier Score.


title: The halo bispectrum as a sensitive probe of massive neutrinos and baryon physics

abstract: The power spectrum has been a workhorse for cosmological studies of large-scale structure. However, the present-day matter distribution is highly non-Gaussian and significant cosmological information is also contained in higher-order correlation functions. Meanwhile, baryon physics (particularly AGN feedback) has previously been shown to strongly affect the two-point statistics but there has been limited exploration of its effects on higher-order functions to date. Here we use the BAHAMAS suite of cosmological hydrodynamical simulations to explore the effects of baryon physics and massive neutrinos on the halo bispectrum. In contrast to matter clustering which is suppressed by baryon physics, we find that the halo clustering is typically enhanced. The strength of the effect and the scale over which it extends depends on how haloes are selected. On small scales (k > 1 $h$ Mpc$^{-1}$, dominated by satellites of groups/clusters), we find that the bispectrum is highly sensitive to the efficiency of star formation and feedback, making it an excellent testing ground for galaxy formation models. We show that the effects of feedback and the effects of massive neutrinos are largely separable (independent of each other) and that massive neutrinos strongly suppress the halo bispectrum on virtually all scales up to the free-streaming length (apart from the smallest scales, where baryon physics dominates). The strong sensitivity of the bispectrum to neutrinos on the largest scales and galaxy formation physics on the smallest scales bodes well for upcoming precision measurements from the next generation of wide-field surveys.


title: Proton acceleration in thermonuclear nova explosions revealed by gamma rays

abstract: Classical novae are cataclysmic binary star systems in which the matter of a companion star is accreted on a white dwarf (WD). Accumulation of hydrogen in a layer eventually causes a thermonuclear explosion on the surface of the WD, brightening the WD to ~10^5 solar luminosities and triggering ejection of the accumulated matter.They provide extreme conditions required to accelerate particles, electrons or protons, to high energies. Here we present the detection of gamma rays by the MAGIC telescopes from the 2021 outburst of RS Ophiuchi (RS Oph), a recurrent nova with a red giant (RG) companion, that allowed us, for the first time, to accurately characterize the emission from a nova in the 60 GeV to 250 GeV energy range. The theoretical interpretation of the combined Fermi-LAT and MAGIC data suggests that protons are accelerated to hundreds of GeV in the nova shock. Such protons should create bubbles of enhanced Cosmic Ray density, on the order of 10 pc, from the recurrent novae.


title: Better Together? An Evaluation of AI-Supported Code Translation

abstract: Generative machine learning models have recently been applied to source code, for use cases including translating code between programming languages, creating documentation from code, and auto-completing methods. Yet, state-of-the-art models often produce code that is erroneous or incomplete. In a controlled study with 32 software engineers, we examined whether such imperfect outputs are helpful in the context of Java-to-Python code translation. When aided by the outputs of a code translation model, participants produced code with fewer errors than when working alone. We also examined how the quality and quantity of AI translations affected the work process and quality of outcomes, and observed that providing multiple translations had a larger impact on the translation process than varying the quality of provided translations. Our results tell a complex, nuanced story about the benefits of generative code models and the challenges software engineers face when working with their outputs. Our work motivates the need for intelligent user interfaces that help software engineers effectively work with generative code models in order to understand and evaluate their outputs and achieve superior outcomes to working alone.


title: Snowmass White Paper on SCFTs

abstract: Superconformal field theories (SCFTs) occupy a central role in the study of many aspects of quantum field theory. In this white paper for the Snowmass process we give a brief overview of aspects of SCFTs in $3\leq D \leq 6$ space-time dimensions, including classification efforts and some of the vast current research trends on the physical and mathematical structures generated by this rich class of physical theories.


title: Boundary-dependent dynamical instability of bosonic Green's function: Dissipative Bogoliubov-de Gennes Hamiltonian and its application to non-Hermitian skin effect

abstract: The energy spectrum of bosonic excitations from a condensate is given by the spectrum of a non-Hermitian Hamiltonian constructed from a bosonic Bogoliubov-de Gennes (BdG) Hamiltonian in general even though the system is essentially Hermitian. In other words, two types of non-Hermiticity can coexist: one from the bosonic BdG nature and the other from the open quantum nature. In this paper, we propose boundary-dependent dynamical instability. We first define the bosonic dissipative BdG Hamiltonian in terms of Green's function in Nambu space and discuss the correct particle-hole symmetry of the corresponding non-Hermitian Hamiltonian. We then construct a model of the boundary-dependent dynamical instability so that it satisfies the correct particle-hole symmetry. In this model, an anomalous term that breaks the particle number conservation represents the non-Hermiticity of the BdG nature, while a normal term is given by a dissipative Hatano-Nelson model. Thanks to the competition between the two types of non-Hermiticity, the imaginary part of the spectrum can be positive without the help of the amplification of the normal part and the particle-hole band touching that causes the Landau instability. This leads to the boundary-dependent dynamical instability under the non-Hermitian skin effect, -strong dependence of spectra on boundary conditions for non-Hermitian Hamiltonians-, of the Bogoliubov spectrum.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.quant-gas cond-mat.str-el quant-ph


title: Post-explosion positive jet-feedback activity in inner ejecta of core collapse supernovae

abstract: We conduct three-dimensional hydrodynamical simulations of weak jets that we launch into a core collapse supernovae (CCSNe) ejecta half an hour after the explosion and find that the interaction of the fast jets with the CCSN ejecta creates high pressure zones that induce a backflow that results in mass accretion onto the newly born neutron star. In cases of weak jets, a total power of 10^45-10^46 erg, the backflow mass accretion might power up to an order of magnitude more energetic jets. In total, the jets of the two post-explosion jet-launching episodes have enough energy to influence the morphology of the very inner ejecta, a mass of 0.1 M_O. Our results imply that in some, probably a minority of, CCSN remnants the very inner regions might display a bipolar structure that results from post-explosion weak jets. The regions outside this part might display the morphology of jittering jets.


title: On finite groups with certain complemented $p$-subgroups

abstract: Given a prime power $p^d$ with $p$ a prime and $d$ a positive integer, we classify the finite groups $G$ with $p^{2d}$ dividing $|G|$ in which all subgroups of order $p^d$ are complemented and the finite groups $G$ having a normal elementary abelian Sylow $p$-subgroup $P$ such that $p^d<|P|$ in which all subgroups of order $p^d$ are complemented.


title: Herschel-ATLAS Data Release III: Near-infrared counterparts in the South Galactic Pole field -- Another 100,000 submillimetre galaxies

abstract: In this paper we present the third data release (DR3) of the Herschel Astrophysical Terahertz Large Area Survey (H-ATLAS). We identify likely near-infrared counterparts to submillimetre sources in the South Galactic Pole (SGP) field using the VISTA VIKING survey. We search for the most probable counterparts within 15 arcsec of each Herschel source using a probability measure based on the ratio between the likelihood the true counterpart is found close to the submillimetre source and the likelihood that an unrelated object is found in the same location. For 110 374 (57.0$\%$) sources we find galaxies on the near-infrared images where the probability that the galaxy is associated to the source is greater than 0.8. We estimate the false identification rate to be 4.8$\%$, with a probability that the source has an associated counterpart on the VIKING images of 0.835$\pm$0.009. We investigate the effects of gravitational lensing and present 41 (0.14 deg$^{-2}$) candidate lensed systems with observed flux densities > 100 mJy at 500 $\mu$m. We include in the data release a probability that each source is gravitationally lensed and discover an additional 5 923 sources below 100 mJy that have a probability greater than 0.94 of being gravitationally lensed. We estimate that $\sim$ 400 - 1 000 sources have multiple true identifications in VIKING based on the similarity of redshift estimates for multiple counterparts close to a Herschel source. The data described in this paper can be found at the H-ATLAS website.


title: Skew Brownian motion with dry friction: joint density approach

abstract: This note concerns distributions of Skew Brownian motion with dry friction and its occupation time. These distributions were obtained in [2] by using the Laplace transform and joint characteristic functions. We provide an alternative approach to deriving these distributions. Our approach is based on using the results for Skew Brownian motion obtained in [3].


title: Transparency principle for carbon emissions drives sustainable finance

abstract: Alignment of financial market incentives and carbon emissions disincentives is key to limiting global warming. Regulators and standards bodies have made a start by requiring some carbon-related disclosures and proposing others. Here we go further and propose a Carbon Equivalence Principle: all financial products shall contain a description of the equivalent carbon flows from greenhouse gases that the products enable, as well as their existing description in terms of cash flows. This description of the carbon flows enabled by the project shall be compatible with existing bank systems that track cashflows so that carbon flows have equal standing to cash flows. We demonstrate that this transparency alone can align incentives by applying it to project finance examples for power generation and by following through the financial analysis. The financial requirements to offset costs of carbon flows enabled in the future radically change project costs, and risk that assets become stranded, thus further increasing costs. This observation holds whichever partner in the project bears the enabled-carbon costs. Mitigating these risks requires project re-structuring to include negative emissions technologies. We also consider that sequestered carbon needs to remain sequestered permanently, e.g., for at least one hundred years. We introduce mixed financial-physical solutions to minimise this permanence cost, and price to them. This complements previous insurance-based proposals with lesser scope. For financial viability we introduce project designs that are financially net-zero, and as a consequence are carbon negative. Thus we see that adoption of the Carbon Equivalence Principle for financial products aligns incentives, requires product redesign, and is simply good financial management driving sustainability.


title: Theoretical and numerical investigation of internal conical refraction of structured light beams

abstract: We present an ab-initio numerical investigation of the internal conical refraction of structured light beams in a biaxial crystal. Starting from the solutions of the Fresnel equation, a theoretical analysis is developed without assuming any analytical approximation, thus obtaining a set of exact equations that can be solved by standard methods of integration for any impinging light beam. As examples of applications, we consider the particular cases of linearly and circularly polarized Gaussian and Bessel beams inside a KTP crystal. The numerical calculations follow the evolution of the refracted beam inside the crystal. It is seen that for realistic boundary conditions, a refraction cone appears in a certain range of distances within the crystal and its shape is rather sensitive to the initial conditions.


title: The Design and Analysis of a Mobility Game

abstract: In this paper, we study a routing and travel-mode choice problem for mobility systems with a multimodal transportation network as a ``mobility game" with coupled action sets. We develop a game-theoretic framework to study the impact on efficiency of the travelers' behavioral decision-making. In our framework, we introduce a mobility ``pricing mechanism," in which we model traffic congestion using linear cost functions while also considering the waiting times at different transport hubs. We show that the travelers' selfish actions lead to a pure-strategy Nash equilibrium. We then perform a Price of Anarchy analysis to establish that the mobility system's inefficiencies remain relatively low as the number of travelers increases. We deviate from the standard game-theoretic analysis of decision-making by extending our modeling framework to capture the subjective behavior of travelers using prospect theory. Finally, we provide a simulation study as a proof of concept for our proposed mobility game.


title: Range dependent Hamiltonian Algorithm for numerical QUBO formulation

abstract: With the advent and development of quantum computers, various quantum algorithms that can solve linear equations and eigenvalues faster than classical computers have been developed. The Harrow-Hassidim-Lloyd algorithm is an algorithm that can solve linear equations in a gate model quantum computer. Still, it is constrained by the use of quantum RAM and the size limit of the matrix according to the total number of qubits in the quantum computer. Recently, Jun and Lee developed a QUBO model for solving linear systems and eigenvalue problems in the quantum computer. However, even though their model uses 2048 qubits, the number of qubits for variables that can be used for the problem is only 64. To solve this problem, we introduce an algorithm that can be used by dividing the size of the entire domain according to the number of qubits. We also form a QUBO model related to each subregion.


title: On Single Server Private Information Retrieval with Private Coded Side Information

abstract: Motivated by an open problem and a conjecture, this work studies the problem of single server private information retrieval with private coded side information (PIR-PCSI) that was recently introduced by Heidarzadeh et al. The goal of PIR-PCSI is to allow a user to efficiently retrieve a desired message $\bm{W}_{\bm{\theta}}$, which is one of $K$ independent messages that are stored at a server, while utilizing private side information of a linear combination of a uniformly chosen size-$M$ subset ($\bm{\mathcal{S}}\subset[K]$) of messages. The settings PIR-PCSI-I and PIR-PCSI-II correspond to the constraints that $\bm{\theta}$ is generated uniformly from $[K]\setminus\bm{\mathcal{S}}$, and $\bm{\mathcal{S}}$, respectively. In each case, $(\bm{\theta},\bm{\mathcal{S}})$ must be kept private from the server. The capacity is defined as the supremum over message and field sizes, of achievable rates (number of bits of desired message retrieved per bit of download) and is characterized by Heidarzadeh et al. for PIR-PCSI-I in general, and for PIR-PCSI-II for $M>(K+1)/2$ as $(K-M+1)^{-1}$. For $2\leq M\leq (K+1)/2$ the capacity of PIR-PCSI-II remains open, and it is conjectured that even in this case the capacity is $(K-M+1)^{-1}$. We show the capacity of PIR-PCSI-II is equal to $2/K$ for $2 \leq M \leq \frac{K+1}{2}$, which is strictly larger than the conjectured value, and does not depend on $M$ within this parameter regime. Remarkably, half the side-information is found to be redundant. We also characterize the infimum capacity (infimum over fields instead of supremum), and the capacity with private coefficients. The results are generalized to PIR-PCSI-I ($\theta\in[K]\setminus\mathcal{S}$) and PIR-PCSI ($\theta\in[K]$) settings.


title: A generalization of a theorem about gapsets with depth at most three

abstract: In this paper, we provide a generalization of a theorem proved by Eliahou and Fromentin, which exhibit a remarkable property of the sequence $(n'_g)$, where $n'_g$ denotes the number of gapsets with genus $g$ and depth at most $3$.


title: Domain Walls in the Heisenberg-Ising Spin-1/2 Chain

abstract: In this paper we obtain formulas for the distribution of the left-most up-spin in the Heisenberg-Ising spin-1/2 chain with anisotropy parameter $\Delta$, also known as the XXZ spin-1/2 chain, on the one-dimensional lattice $\mathbb{Z}$ with domain wall initial conditions. We use the Bethe Ansatz to solve the Schr$\"o$dinger equation and a recent antisymmetrization identity of Cantini, Colomo, and Pronko (arXiv:1906.07636) to simplify the marginal distribution of the left-most up-spin. In the $\Delta=0$ case, the distribution $F_2$ arises. In the $\Delta \neq 0$ case, we propose a conjectural series expansion type formula based on a saddle point analysis. The conjectural formula turns out to be a Fredholm series expansion in the $\Delta \rightarrow 0$ limit and recovers the result for $\Delta = 0$.


title: Regularity of primes associated with polynomial parametrisations

abstract: We prove a doubly exponential bound for the Castelnuovo-Mumford regularity of prime ideals defining varieties with polynomial parametrisation.


title: A new discrete theory of pseudoconvexity

abstract: Recently geometric hypergraphs that can be defined by intersections of pseudohalfplanes with a finite point set were defined in a purely combinatorial way. This led to extensions of earlier results about points and halfplanes to pseudohalfplanes, including polychromatic colorings and discrete Helly-type theorems about pseudohalfplanes. Here we continue this line of research and introduce the notion of convex sets of such pseudohalfplane hypergraphs. In this context we prove several results corresponding to classical results about convexity, namely Helly's Theorem, Carath\'eodory's Theorem, Kirchberger's Theorem, Separation Theorem, Radon's Theorem and the Cup-Cap Theorem. These results imply the respective results about pseudoconvex sets in the plane defined using pseudohalfplanes. It turns out that most of our results can be also proved using oriented matroids and topological affine planes (TAPs) but our approach is different from both of them. Compared to oriented matroids, our theory is based on a linear ordering of the vertex set which makes our definitions and proofs quite different and perhaps more elementary. Compared to TAPs, which are continuous objects, our proofs are purely combinatorial and again quite different in flavor. Altogether, we believe that our new approach can further our understanding of these fundamental convexity results.


title: High Power Superconducting Electron Linear Accelerators For Industrial Application

abstract: Fermilab is executing a technology development program to develop a compact yet powerful electron accelerator. We are leveraging R&D breakthroughs in SRF cavities, cost-effective radio-frequency sources, modern cryo-coolers, and high average current electron guns. We show that a single accelerator module can deliver average beam power as high as 1 MW through detailed thermal, RF, and particle simulations.


title: Numerical simulation of thermal conductivity of stainless steel and Al-12Si powders for additive manufacturing

abstract: A three-dimensional model of a partially melted powder bed with particles stochastically distributed in size and space coordinates has been developed. Numerical simulation of temperature distributions in stainless steel AISI 316L and Al-12Si powders in vacuum, air and argon has been performed to analyze unsteady heat transfer in a porous medium. The numerical model demonstrates a large effect of heat transfer through the gas phase in case of powders with low thermal conductivities like stainless steels. At the porosity level of 65\% and above, the mechanism of heat transfer drastically changes and a linear dependence of thermal conductivity on porosity frequently used in literature becomes incorrect. The effects of the consolidation coefficient and size distribution on effective heat transfer in powders are discussed. The obtained dependencies of the effective thermal conductivity on porosity and the consolidation coefficient could be used in additive manufacturing applications.


title: GKM actions on cohomogeneity one manifolds

abstract: We consider compact manifolds $M$ with a cohomogeneity one action of a compact Lie group $G$ such that the orbit space $M/G$ is a closed interval. For $T$ a maximal torus of $G$, we find necessary and sufficient conditions on the group diagram of $M$ such that the $T$-action on $M$ is of GKM type, and describe its GKM graph. The general results are illustrated on explicit examples.


title: Exact factorizations and extensions of finite tensor categories

abstract: We extend \cite{G} to the nonsemisimple case. We define and study exact factorizations $\B=\A\bullet \C$ of a finite tensor category $\B$ into a product of two tensor subcategories $\A,\C\subset \B$, and relate exact factorizations of finite tensor categories to exact sequences of finite tensor categories with respect to exact module categories \cite{EG}. We apply our results to study exact factorizations of quasi-Hopf algebras, and extensions of a finite group scheme theoretical tensor category \cite{G2} by another one. We also provide several examples to illustrate our results.


title: Superconducting Accelerators for High-Power X-ray production

abstract: To date, linear accelerators (linacs) as electron sources used to produce ionizing radiation for industrial purposes have been limited to less than 100 kW. When the electron beam is used directly, this is sufficient for most potential applications. However, when the electron beam is used for the production of photons (x-rays) which are then to be used in an application, this is not sufficient to compete with other sources of photons (gamma rays from cobalt-60). This paper will discuss a compact superconducting RF (CSRF) accelerator system that relies on emerging technologies that will be able to produce electron beam powers into the 100s of kW with efficiencies much better than present linacs. The focus is to produce x-ray beams for medical device sterilization to provide alternatives for the present use of cobalt-60 for this purpose.


title: Disk precession to explain the super-orbital modulation of LMC X-4: results from the Swift monitoring campaign

abstract: We studied the spectral changes of the high-mass X-ray binary system LMC X-4 to understand the origin and mechanisms beyond its super-orbital modulation (30.4 days). To this aim, we obtained a monitoring campaign with Swift/XRT (0.3-10 keV) and complemented these data with the years-long Swift/BAT survey data (15-60 keV). We found a self-consistent, physically motivated, description of the broadband X-ray spectrum using a Swift/XRT and a NuSTAR observation at the epoch of maximum flux. We decomposed the spectrum into the sum of a bulk+thermal Comptonization, a disk-reflection component and a soft contribution from a standard Shakura-Sunyaev accretion disk. We applied this model to 20 phase-selected Swift spectra along the super-orbital period. We found a phase-dependent flux ratio of the different components, whereas the absorption column does not significantly vary. The disk emission is decoupled with respect to the hard flux. We interpret this as a geometrical effect in which the inner parts of the disk are tilted with respect to the obscuring outer regions.


title: Simulating Malicious Attacks on VANETs for Connected and Autonomous Vehicle Cybersecurity: A Machine Learning Dataset

abstract: Connected and Autonomous Vehicles (CAVs) rely on Vehicular Adhoc Networks with wireless communication between vehicles and roadside infrastructure to support safe operation. However, cybersecurity attacks pose a threat to VANETs and the safe operation of CAVs. This study proposes the use of simulation for modelling typical communication scenarios which may be subject to malicious attacks. The Eclipse MOSAIC simulation framework is used to model two typical road scenarios, including messaging between the vehicles and infrastructure - and both replay and bogus information cybersecurity attacks are introduced. The model demonstrates the impact of these attacks, and provides an open dataset to inform the development of machine learning algorithms to provide anomaly detection and mitigation solutions for enhancing secure communications and safe deployment of CAVs on the road.


title: Analysis of the robustness and dynamics of spin-locking preparations for the detection of oscillatory magnetic fields

abstract: Extracting quantitative information of neuronal signals by non-invasive imaging is an outstanding challenge for understanding brain function and pathology. However, state-of-the-art techniques offer low sensitivity to deep electrical sources. Stimulus induced rotary saturation (SIRS) is a recently proposed magnetic resonance imaging (MRI) sequence that detects oscillatory magnetic fields using a spin-lock preparation. Phantom experiments and simulations proved its efficiency and sensitivity, but the susceptibility of the method to field inhomogeneities is still not well understood. In this study, we simulated and analyzed the dynamic of three spin-lock preparations and their response to field inhomogeneities in the presence of a resonant oscillating field. We show that the composite spin-lock preparation is more robust against field variations within the double resonance effect. In addition, we tested the capability of the chosen composite spin-lock preparation to recover information about the spectral components of a composite signal. This study sets the bases to move one step further towards the clinical application of MR-based neuronal current imaging.


title: Misinformation Detection in Social Media Video Posts

abstract: With the growing adoption of short-form video by social media platforms, reducing the spread of misinformation through video posts has become a critical challenge for social media providers. In this paper, we develop methods to detect misinformation in social media posts, exploiting modalities such as video and text. Due to the lack of large-scale public data for misinformation detection in multi-modal datasets, we collect 160,000 video posts from Twitter, and leverage self-supervised learning to learn expressive representations of joint visual and textual data. In this work, we propose two new methods for detecting semantic inconsistencies within short-form social media video posts, based on contrastive learning and masked language modeling. We demonstrate that our new approaches outperform current state-of-the-art methods on both artificial data generated by random-swapping of positive samples and in the wild on a new manually-labeled test set for semantic misinformation.


title: On the Role of Channel Capacity in Learning Gaussian Mixture Models

abstract: This paper studies the sample complexity of learning the $k$ unknown centers of a balanced Gaussian mixture model (GMM) in $\mathbb{R}^d$ with spherical covariance matrix $\sigma^2\mathbf{I}$. In particular, we are interested in the following question: what is the maximal noise level $\sigma^2$, for which the sample complexity is essentially the same as when estimating the centers from labeled measurements? To that end, we restrict attention to a Bayesian formulation of the problem, where the centers are uniformly distributed on the sphere $\sqrt{d}\mathcal{S}^{d-1}$. Our main results characterize the exact noise threshold $\sigma^2$ below which the GMM learning problem, in the large system limit $d,k\to\infty$, is as easy as learning from labeled observations, and above which it is substantially harder. The threshold occurs at $\frac{\log k}{d} = \frac12\log\left( 1+\frac{1}{\sigma^2} \right)$, which is the capacity of the additive white Gaussian noise (AWGN) channel. Thinking of the set of $k$ centers as a code, this noise threshold can be interpreted as the largest noise level for which the error probability of the code over the AWGN channel is small. Previous works on the GMM learning problem have identified the minimum distance between the centers as a key parameter in determining the statistical difficulty of learning the corresponding GMM. While our results are only proved for GMMs whose centers are uniformly distributed over the sphere, they hint that perhaps it is the decoding error probability associated with the center constellation as a channel code that determines the statistical difficulty of learning the corresponding GMM, rather than just the minimum distance.

categories: cs.IT cs.LG math.IT math.ST stat.ML stat.TH


title: Complete stable minimal hypersurfaces in positively curved 4-manifolds

abstract: We show that the combination of non-negative sectional curvature (or $2$-intermediate Ricci curvature) and strict positivity of scalar curvature forces rigidity of complete (non-compact) two-sided stable minimal hypersurfaces in a $4$-manifold with bounded curvature. In particular, this implies the nonexistence of complete two-sided stable minimal hypersurface in a closed $4$-manifold with positive sectional curvature. Our work leads to new comparison results. We also construct various examples showing rigidity of stable minimal hypersurfaces can fail under other curvature conditions.


title: PIC Simulations of One-side Multipactor on Dielectric

abstract: Breakdown of dielectric RF windows is an important issue for particle accelerators and high-power RF sources. One of the generally considered reasons for the RF windows failure is the multipactor on dielectric surface. The multipactor may be responsible for excessive heating of dielectric and discharge of charges that accumulated in ceramic due to secondary emission. In this study the comprehensive self-consistent PIC simulations with space charge effect were performed in order to better understand the dynamic of one-side multipactor development and floating potential on dielectric induced by the emission. The important correlations between the multipactor parameters at saturation and the secondary emission properties of dielectric and the applied RF field parameters were found and are reported in the paper.


title: Parallel Virtual Machines Placement with Provable Guarantees

abstract: Network Function Virtualization (NFV) carries the potential for on-demand deployment of network algorithms in virtual machines (VMs). In large clouds, however, VM resource allocation incurs delays that hinder the dynamic scaling of such NFV deployment. Parallel resource management is a promising direction for boosting performance, but it may significantly increase the communication overhead and the decline ratio of deployment attempts. Our work analyzes the performance of various placement algorithms and provides empirical evidence that state-of-the-art parallel resource management dramatically increases the decline ratio of deterministic algorithms but hardly affects randomized algorithms. We, therefore, introduce APSR -- an efficient parallel random resource management algorithm that requires information only from a small number of hosts and dynamically adjusts the degree of parallelism to provide provable decline ratio guarantees. We formally analyze APSR, evaluate it on real workloads, and integrate it into the popular OpenStack cloud management platform. Our evaluation shows that APSR matches the throughput provided by other parallel schedulers, while achieving up to 13x lower decline ratio and a reduction of over 85% in communication overheads.


title: Certification of Gaussian Boson Sampling via graph theory

abstract: Gaussian Boson Sampling is a non-universal model for quantum computing inspired by the original formulation of the Boson Sampling problem. Nowadays, it represents a paradigmatic quantum platform to reach the quantum advantage regime in a specific computational model. Indeed, thanks to the implementation in photonics-based processors, the latest Gaussian Boson Sampling experiments have reached a level of complexity where the quantum apparatus has solved the task faster than currently up-to-date classical strategies. In addition, recent studies have identified possible applications beyond the inherent sampling task. In particular, a direct connection between photon counting of a genuine Gaussian Boson Sampling device and the number of perfect matchings in a graph has been established. In this work, we propose to exploit such a connection to benchmark Gaussian Boson Sampling experiments. We interpret the properties of the feature vectors of the graph encoded in the device as a signature of correct sampling from the true input state. Within this framework, two approaches that exploit the distributions of graph feature vectors and graph kernels are presented. Our results provide a novel approach to the actual need for tailored algorithms to benchmark large-scale Gaussian Boson Samplers.


title: Privacy Preserving Visual Question Answering

abstract: We introduce a novel privacy-preserving methodology for performing Visual Question Answering on the edge. Our method constructs a symbolic representation of the visual scene, using a low-complexity computer vision model that jointly predicts classes, attributes and predicates. This symbolic representation is non-differentiable, which means it cannot be used to recover the original image, thereby keeping the original image private. Our proposed hybrid solution uses a vision model which is more than 25 times smaller than the current state-of-the-art (SOTA) vision models, and 100 times smaller than end-to-end SOTA VQA models. We report detailed error analysis and discuss the trade-offs of using a distilled vision model and a symbolic representation of the visual scene.


title: Tunable nodal kagome superconductivity in charge ordered RbV3Sb5

abstract: Unconventional superconductors often feature competing orders, small superfluid density, and nodal electronic pairing. While unusual superconductivity has been proposed in the kagome metals AV3Sb5, key spectroscopic evidence has remained elusive. Here we utilize pressure-tuned (up to 1.85 GPa) and ultra-low temperature (down to 18 mK) muon spin spectroscopy to uncover the unconventional nature of superconductivity in RbV3Sb5. At ambient pressure, we detect an enhancement of the width of the internal magnetic field distribution sensed by the muon ensemble, indicative of time-reversal symmetry breaking charge order. Remarkably, the superconducting state displays nodal energy gap and a reduced superfluid density, which can be attributed to the competition with the novel charge order. Upon applying pressure, the charge-order transitions are suppressed, the superfluid density increases, and the superconducting state progressively evolves from nodal to nodeless. Once charge order is eliminated, we find a superconducting pairing state that is not only fully gapped, but also spontaneously breaks time-reversal symmetry. Our results point to unprecedented tunable nodal kagome superconductivity competing with time-reversal symmetry-breaking charge order and offer unique insights into the nature of the pairing state.


title: Electron mass variation from dark sector interactions and compatibility with cosmological observations

abstract: We investigate the model where electrons and dark matter interact with dark energy through the rolling of a scalar field which comes from extra dimensional theories such as the braneworld theory and Brans-Dicke theory. In this model, dark energy couples to dark matter and electrons, which leads to larger values of the mass energies of dark matter and electrons in the early universe. We also fit our model to the cosmological data. By analyzing the data from Planck, baryon acoustic oscillation (BAO), light curves (Pantheon), and type-Ia supernovae (SH0ES), it can be seen that the Hubble tension is relieved in our model and the coupling parameter prefers a non-zero value with a significance of over 2{\sigma}.


title: Combinatorial Exploration: An algorithmic framework for enumeration

abstract: Combinatorial Exploration is a new domain-agnostic algorithmic framework to automatically and rigorously study the structure of combinatorial objects and derive their counting sequences and generating functions. We describe how it works and provide an open-source Python implementation. As a prerequisite, we build up a new theoretical foundation for combinatorial decomposition strategies and combinatorial specifications. We then apply Combinatorial Exploration to the domain of permutation patterns, to great effect. We rederive hundreds of results in the literature in a uniform manner and prove many new ones. These results can be found in a new public database, the Permutation Pattern Avoidance Library (PermPAL) at https://permpal.com. Finally, we give three additional proofs-of-concept, showing examples of how Combinatorial Exploration can prove results in the domains of alternating sign matrices, polyominoes, and set partitions.


title: Learning Model Predictive Control for Quadrotors

abstract: Aerial robots can enhance their safe and agile navigation in complex and cluttered environments by efficiently exploiting the information collected during a given task. In this paper, we address the learning model predictive control problem for quadrotors. We design a learning receding--horizon nonlinear control strategy directly formulated on the system nonlinear manifold configuration space SO(3)xR^3. The proposed approach exploits past successful task iterations to improve the system performance over time while respecting system dynamics and actuator constraints. We further relax its computational complexity making it compatible with real-time quadrotor control requirements. We show the effectiveness of the proposed approach in learning a minimum time control task, respecting dynamics, actuators, and environment constraints. Several experiments in simulation and real-world set-up validate the proposed approach.


title: Finite- and Fixed-Time Nonovershooting Stabilizers and Safety Filters by Homogeneous Feedback

abstract: Non-overshooting stabilization is a form of safe control where the setpoint chosen by the user is at the boundary of the safe set. Exponential non-overshooting stabilization, including suitable extensions to systems with deterministic and stochastic disturbances, has been solved by the second author and his coauthors. In this paper we develop homogeneous feedback laws for fixed-time nonovershooting stabilization for nonlinear systems that are input-output linearizable with a full relative degree, i.e., for systems that are diffeomorphically equivalent to the chain of integrators. These homogeneous feedback laws can also assume the secondary role of `fixed-time safety filters' (FxTSf filters) which keep the system within the closed safe set for all time but, in the case where the user's nominal control commands approach to the unsafe set, allow the system to reach the boundary of the safe set no later than a desired time that is independent of nominal control and independent of the value of the state at the time the nominal control begins to be overridden.


title: Students' perspectives on computational challenges in physics class

abstract: High school science classrooms across the United States are answering calls to make computation a part of science learning. The problem is that there is little known about the barriers to learning that computation might bring to a science classroom or about how to help students overcome these challenges. This case study explores these challenges from the perspectives of students in a high school physics classroom with a newly revamped, computation-integrated curriculum. Focusing mainly on interviews to center the perspectives of students, we found that computation is a double-edged sword: It can make science learning more authentic for students who are familiar with it, but it can also generate frustration and an aversion towards physics for students who are not.


title: Matchings in matroids over abelian groups

abstract: We formulate and prove matroid analogues of results concerning matchings in groups. A matching in an abelian group $(G,+)$ is a bijection $f:A\to B$ between two finite subsets $A,B$ of $G$ satisfying $a+f(a)\notin A$ for all $a\in A$. A group $G$ has the matching property if for every two finite subsets $A,B \subset G$ of the same size with $0 \notin B$, there exists a matching from $A$ to $B$. In [19] it was proved that an abelian group has the matching property if and only if it is torsion-free or cyclic of prime order. Here we consider a similar question in a matroid setting. We introduce an analogous notion of matching between matroids whose ground sets are subsets of an abelian group $G$, and we obtain criteria for the existence of such matchings. Our tools are classical theorems in matroid theory, group theory and additive number theory.


title: Active Uncertainty Reduction for Human-Robot Interaction: An Implicit Dual Control Approach

abstract: The ability to accurately predict human behavior is central to the safety and efficiency of robot autonomy in interactive settings. Unfortunately, robots often lack access to key information on which these predictions may hinge, such as people's goals, attention, and willingness to cooperate. Dual control theory addresses this challenge by treating unknown parameters of a predictive model as stochastic hidden states and inferring their values at runtime using information gathered during system operation. While able to optimally and automatically trade off exploration and exploitation, dual control is computationally intractable for general interactive motion planning, mainly due to the fundamental coupling between robot trajectory optimization and human intent inference. In this paper, we present a novel algorithmic approach to enable active uncertainty reduction for interactive motion planning based on the implicit dual control paradigm. Our approach relies on sampling-based approximation of stochastic dynamic programming, leading to a model predictive control problem that can be readily solved by real-time gradient-based optimization methods. The resulting policy is shown to preserve the dual control effect for a broad class of predictive human models with both continuous and categorical uncertainty. The efficacy of our approach is demonstrated with simulated driving examples.


title: FlowTune: End-to-end Automatic Logic Optimization Exploration via Domain-specific Multi-armed Bandit

abstract: Recent years have seen increasing employment of decision intelligence in electronic design automation (EDA), which aims to reduce the manual efforts and boost the design closure process in modern toolflows. However, existing approaches either require a large number of labeled data and expensive training efforts, or are limited in practical EDA toolflow integration due to computation overhead. This paper presents a generic end-to-end sequential decision making framework FlowTune for synthesis tooflow optimization, with a novel high-performance domain-specific, multi-stage multi-armed bandit (MAB) approach. This framework addresses optimization problems on Boolean optimization problems such as a) And-Inv-Graphs (# nodes), b) Conjunction Normal Form (CNF) minimization (# clauses) for Boolean Satisfiability; logic synthesis and technology mapping problems such as c) post static timing analysis (STA) delay and area optimization for standard-cell technology mapping, and d) FPGA technology mapping for 6-in LUT architectures. Moreover, we demonstrate the high extnsibility and generalizability of the proposed domain-specific MAB approach with end-to-end FPGA design flow, evaluated at post-routing stage, with two different FPGA backend tools (OpenFPGA and VPR) and two different logic synthesis representations (AIGs and MIGs). FlowTune is fully integrated with ABC [1], Yosys [2], VTR [3], LSOracle [4], OpenFPGA [5], and industrial tools, and is released publicly. The experimental results conducted on various design stages in the flow all demonstrate that our framework outperforms both hand-crafted flows [1] and ML explored flows [6], [7] in quality of results, and is orders of magnitude faster compared to ML-based approaches.


title: Control Co-design of Actively Controlled Lightweight Structures for High-acceleration Precision Motion Systems

abstract: Precision motion stages are an essential part of a wide range of manufacturing equipment, and their motion performance are critical to the quality and throughput of the systems. The drastically increasing demand for higher manufacturing throughput in various processes necessities the development of next-generation motion systems with reduced moving weight and high control bandwidth. However, the reduction of moving stage's weight can lower the stage's structural resonance frequencies, making the hardware dynamics and controller design problem strongly coupled. Aiming at this challenge, this paper proposes a new formulation of nested hardware and control co-design framework for precision motion stages. The proposed framework explicitly optimizes the closed-loop control bandwidth with guaranteed robustness, and explicitly considers the limits in the physical system. Two case studies, including a motivating example using lumped-parameter mechanical system and a finite-element-simulated lightweight motion stage, are being used to evaluate the effectiveness of the proposed nested CCD framework. Simulation results show that the proposed nested CCD framework has 42\% of weight reduction and 28\% bandwidth improvement compared with a sequential design baseline, which demonstrates the efficacy of the proposed approach.


title: Revisiting the Full Sets of Orbital Parameters for the XO-3 System: No evidence for Temporal Variation of the Spin-Orbit Angle

abstract: We present 12 new transit light curves and 16 new out-of-transit radial velocity measurements for the XO-3 system. By modelling our newly collected measurements together with archival photometric and Doppler velocimetric data, we confirmed the unusual configuration of the XO-3 system, which contains a massive planet ($M_P=11.92^{+0.59}_{-0.63} M_J$) on a relatively eccentric ($e=0.2853^{+0.0027}_{-0.0026}$) and short-period ($3.19152 \pm 0.00145\,$day) orbit around a massive star ($M_*=1.219^{+0.090}_{-0.095} M_{\odot}$). Furthermore, we find no strong evidence for a temporal change of either $V\sin i_{*}$ (and by extension, the stellar spin vector of XO-3), or the transit profile (and thus orbital angular momentum vector of XO-3b). We conclude that the discrepancy in previous Rossiter-McLaughlin measurements ($70.0^{\circ} \pm 15.0^{\circ}$ (Hebrard et al. 2008); $37.3^{\circ} \pm 3.7^{\circ}$ (Winn et al. 2009); $37.3^{\circ} \pm 3.0^{\circ}$ (Hirano et al. 2011)) may have stemmed from systematic noise sources.


title: Can nuclear matter consist of $\alpha$-particles?

abstract: A sufficient condition for the spatial collapse in an infinite system of interacting Bose particles is obtained on the basis of the variational principle with the use of trial functions with the Jastrow pair correlation factors. The instability of a hypothetical infinite system of $\alpha$-particles with respect to the spatial collapse is shown under the assumption of the Ali - Bodmer interaction potentials between such Bose particles. Thus, it becomes clear why the hypothetical nuclear matter is naturally treated with the use of at least the nucleon degrees of freedom.


title: Superconductivity in hydrated Lix(H2O)yTaS2

abstract: We have systematically studied the structural and physical properties of the superconducting hydrated Lix(H2O)yTaS2. The powder X-ray diffraction patterns suggest that all the samples are single-phase compounds, and the crystal structure is similar to that of 2H-TaS2. The transition temperature to superconductivity shows a dome-shape dependence on the lithium content x with a maximum Tc of 4.6 K for x=0.42, which is larger than in corresponding optimally doped 2H-TaS2 superconductors without water or organic intercalants (Tc ~ 4.2 K). There are no signs for a charge-density-wave formation in hydrated Lix(H2O)yTaS2. While our magnetic data indicate a rather strongly type-II behavior, heat-capacity measurements reveal, like in other 2H-TaS2-type compounds. From the corresponding Sommerfeld constants and Debye temperatures, we can derive the parameter describing the electron-phonon coupling and the electron density of states DOS(EF) at the Fermi level as functions of x. While the variation of the DOS(EF) is consistent with that of Tc, indicating that the lithium intercalation is tuning Tc via changing the DOS(EF) in 2H-Lix(H2O)yTaS2, the simultaneous changes of electron-phonon coupling and Debye temperatures may also play a certain role.


title: Two Numerical Approaches for Nonlinear Weakly Singular Integral Equations

abstract: Singularity subtraction for linear weakly singular Fredholm integral equations of the second kind is generalized to nonlinear integral equations. Two approaches are presented: The Classical Approach discretizes the nonlinear problem, and uses some finite dimensional linearization process to solve numerically the discrete problem. Its convergence is proved under mild hypotheses on the nonlinearity and the quadrature rule of the singularity subtraction scheme. The New Approach is based on linearization of the problem in its infinite dimensional setting, and discretization of the sequence of linear problems by singularity subtraction. It is more efficient than the former, as two numerical experiments confirm.


title: A Subjective Quality Study for Video Frame Interpolation

abstract: Video frame interpolation (VFI) is one of the fundamental research areas in video processing and there has been extensive research on novel and enhanced interpolation algorithms. The same is not true for quality assessment of the interpolated content. In this paper, we describe a subjective quality study for VFI based on a newly developed video database, BVI-VFI. BVI-VFI contains 36 reference sequences at three different frame rates and 180 distorted videos generated using five conventional and learning based VFI algorithms. Subjective opinion scores have been collected from 60 human participants, and then employed to evaluate eight popular quality metrics, including PSNR, SSIM and LPIPS which are all commonly used for assessing VFI methods. The results indicate that none of these metrics provide acceptable correlation with the perceived quality on interpolated content, with the best-performing metric, LPIPS, offering a SROCC value below 0.6. Our findings show that there is an urgent need to develop a bespoke perceptual quality metric for VFI. The BVI-VFI dataset is publicly available and can be accessed at https://danier97.github.io/BVI-VFI/.


title: Don't Lie to Me! Robust and Efficient Explainability with Verified Perturbation Analysis

abstract: A variety of methods have been proposed to try to explain how deep neural networks make their decisions. Key to those approaches is the need to sample the pixel space efficiently in order to derive importance maps. However, it has been shown that the sampling methods used to date introduce biases and other artifacts, leading to inaccurate estimates of the importance of individual pixels and severely limit the reliability of current explainability methods. Unfortunately, the alternative -- to exhaustively sample the image space is computationally prohibitive. In this paper, we introduce EVA (Explaining using Verified perturbation Analysis) -- the first explainability method guarantee to have an exhaustive exploration of a perturbation space. Specifically, we leverage the beneficial properties of verified perturbation analysis -- time efficiency, tractability and guaranteed complete coverage of a manifold -- to efficiently characterize the input variables that are most likely to drive the model decision. We evaluate the approach systematically and demonstrate state-of-the-art results on multiple benchmarks.


title: Sharp H\"older Regularity for Nirenberg's Complex Frobenius Theorem

abstract: Nirenberg's famous complex Frobenius theorem gives necessary and sufficient conditions on a locally integrable structure for when the manifold is locally diffeomorphic to $\mathbb R^r\times\mathbb C^m\times \mathbb R^{N-r-2m}$ through a coordinate chart $F$ in such a way that the structure is locally spanned by $F^*\frac\partial{\partial t^1},\dots,F^*\frac\partial{\partial t^r},F^*\frac\partial{\partial z^1},\dots,F^*\frac\partial{\partial z^m}$, where we have given $\mathbb R^r\times\mathbb C^m \times\mathbb R^{N-r-2m}$ coordinates $(t,z,s)$. In this paper, we give the optimal H\"older-Zygmund regularity for the coordinate charts which achieve this realization. Namely, if the structure has H\"older-Zygmund regularity of order $\alpha>1$, then the coordinate chart $F$ that maps to $\mathbb R^r\times\mathbb C^m \times\mathbb R^{N-r-2m}$ may be taken to have H\"older-Zygmund regularity of order $\alpha$, and this is sharp. Furthermore, we can choose this $F$ in such a way that the vector fields $F^*\frac\partial{\partial t^1},\dots,F^*\frac\partial{\partial t^r},F^*\frac\partial{\partial z^1},\dots,F^*\frac\partial{\partial z^m}$ on the original manifold have H\"older-Zygmund regularity of order $\alpha-\varepsilon$ for every $\varepsilon>0$, and we give an example to show that the regularity for $F^*\frac\partial{\partial z}$ is optimal.


title: Rankings in the Zerkani network by a game theoretical approach

abstract: This paper introduces the Banzhaf and Banzhaf-Owen values as novel centrality measures for ranking terrorists in a network. This new approach let integrate the complete topology (i.e. nodes and edges) of the network and a coalitional structure on the nodes of the network. More precisely, the characteristics of the nodes (e.g., terrorists) of the network and their possible relationships (e.g., types of communication links), as well as coalitional information (e.g. level of hierarchies) independent of the network. First, for both centrality measures, we provide approximation algorithms and the corresponding R-codes. Second, as illustration, we rank the members of the Zerkani network, responsible for the attacks in Paris (2015) and Brussels (2016). Finally, we give a comparison between the rankings established by Banzhaf and Banzhaf-Owen and the rankings obtained when using the Shapley value (cf. Hamers et al., 2019) and the Owen value as centrality measures


title: Enhancing Deformable Convolution based Video Frame Interpolation with Coarse-to-fine 3D CNN

abstract: This paper presents a new deformable convolution-based video frame interpolation (VFI) method, using a coarse to fine 3D CNN to enhance the multi-flow prediction. This model first extracts spatio-temporal features at multiple scales using a 3D CNN, and estimates multi-flows using these features in a coarse-to-fine manner. The estimated multi-flows are then used to warp the original input frames as well as context maps, and the warped results are fused by a synthesis network to produce the final output. This VFI approach has been fully evaluated against 12 state-of-the-art VFI methods on three commonly used test databases. The results evidently show the effectiveness of the proposed method, which offers superior interpolation performance over other state of the art algorithms, with PSNR gains up to 0.19dB.


title: Multi-Modal Data Fusion in Enhancing Human-Machine Interaction for Robotic Applications: A Survey

abstract: Human-machine interaction has been around for several decades now, with new applications emerging every day. One of the major goals that remain to be achieved is designing an interaction similar to how a human interacts with another human. Therefore, there is a need to develop interactive systems that could replicate a more realistic and easier human-machine interaction. On the other hand, developers and researchers need to be aware of state-of-the-art methodologies being used to achieve this goal. We present this survey to provide researchers with state-of-the-art data fusion technologies implemented using multiple inputs to accomplish a task in the robotic application domain. Moreover, the input data modalities are broadly classified into uni-modal and multi-modal systems and their application in myriad industries, including the health care industry, which contributes to the medical industry's future development. It will help the professionals to examine patients using different modalities. The multi-modal systems are differentiated by a combination of inputs used as a single input, e.g., gestures, voice, sensor, and haptic feedback. All these inputs may or may not be fused, which provides another classification of multi-modal systems. The survey concludes with a summary of technologies in use for multi-modal systems.


title: The Buratti-Horak-Rosa Conjecture Holds for Some Underlying Sets of Size Three

abstract: The Buratti-Horak-Rosa Conjecture concerns the possible multisets of edge-labels of a Hamiltonian path in the complete graph with vertex labels $0, 1, \ldots, {v-1}$ under a particular induced edge-labeling. The conjecture has been shown to hold when the underlying set of the multiset has size at most~2, is a subset of $\{1,2,3,4\}$ or $\{1,2,3,5\}$, or is $\{1,2,6\}$, $\{1,2,8\}$ or $\{1,4,5\}$, as well as partial results for many other underlying sets. We use the method of growable realizations to show that the conjecture holds for each underlying set $U = \{ x,y,z \}$ when $\max(U) \leq 7$ or when $xyz \leq 24$, with the possible exception of $U = \{1,2,11\}$. We also show that for any even $x$ the validity of the conjecture for the underlying set $\{ 1,2,x \}$ follows from the validity of the conjecture for finitely many multisets with this underlying set.


title: Solving Multi-Period Financial Planning Models: Combining Monte Carlo Tree Search and Neural Networks

abstract: This paper introduces the MCTS algorithm to the financial world and focuses on solving significant multi-period financial planning models by combining a Monte Carlo Tree Search algorithm with a deep neural network. The MCTS provides an advanced start for the neural network so that the combined method outperforms either approach alone, yielding competitive results. Several innovations improve the computations, including a variant of the upper confidence bound applied to trees (UTC) and a special lookup search. We compare the two-step algorithm with employing dynamic programs/neural networks. Both approaches solve regime switching models with 50-time steps and transaction costs with twelve asset categories. Heretofore, these problems have been outside the range of solvable optimization models via traditional algorithms.


title: A Light-Weight Multi-Objective Asynchronous Hyper-Parameter Optimizer

abstract: We describe a light-weight yet performant system for hyper-parameter optimization that approximately minimizes an overall scalar cost function that is obtained by combining multiple performance objectives using a target-priority-limit scalarizer. It also supports a trade-off mode, where the goal is to find an appropriate trade-off among objectives by interacting with the user. We focus on the common scenario where there are on the order of tens of hyper-parameters, each with various attributes such as a range of continuous values, or a finite list of values, and whether it should be treated on a linear or logarithmic scale. The system supports multiple asynchronous simulations and is robust to simulation stragglers and failures.


title: Hardness of the (Approximate) Shortest Vector Problem: A Simple Proof via Reed-Solomon Codes

abstract: $\newcommand{\NP}{\mathsf{NP}}\newcommand{\GapSVP}{\textrm{GapSVP}}$We give a simple proof that the (approximate, decisional) Shortest Vector Problem is $\NP$-hard under a randomized reduction. Specifically, we show that for any $p \geq 1$ and any constant $\gamma < 2^{1/p}$, the $\gamma$-approximate problem in the $\ell_p$ norm ($\gamma$-$\GapSVP_p$) is not in $\mathsf{RP}$ unless $\NP \subseteq \mathsf{RP}$. Our proof follows an approach pioneered by Ajtai (STOC 1998), and strengthened by Micciancio (FOCS 1998 and SICOMP 2000), for showing hardness of $\gamma$-$\GapSVP_p$ using locally dense lattices. We construct such lattices simply by applying "Construction A" to Reed-Solomon codes with suitable parameters, and prove their local density via an elementary argument originally used in the context of Craig lattices. As in all known $\NP$-hardness results for $\GapSVP_p$ with $p < \infty$, our reduction uses randomness. Indeed, it is a notorious open problem to prove $\NP$-hardness via a deterministic reduction. To this end, we additionally discuss potential directions and associated challenges for derandomizing our reduction. In particular, we show that a close deterministic analogue of our local density construction would improve on the state-of-the-art explicit Reed-Solomon list-decoding lower bounds of Guruswami and Rudra (STOC 2005 and IEEE Trans. Inf. Theory 2006). As a related contribution of independent interest, we also give a polynomial-time algorithm for decoding $n$-dimensional "Construction A Reed-Solomon lattices" (with different parameters than those used in our hardness proof) to a distance within an $O(\sqrt{\log n})$ factor of Minkowski's bound. This asymptotically matches the best known distance for decoding near Minkowski's bound, due to Mook and Peikert (IEEE Trans. Inf. Theory 2022), whose work we build on with a somewhat simpler construction and analysis.


title: Ab-initio Contrast Estimation and Denoising of Cryo-EM Images

abstract: Background and Objective: The contrast of cryo-EM images varies from one to another, primarily due to the uneven thickness of the ice layer. This contrast variation can affect the quality of 2-D class averaging, 3-D ab-initio modeling, and 3-D heterogeneity analysis. Contrast estimation is currently performed during 3-D iterative refinement. As a result, the estimates are not available at the earlier computational stages of class averaging and ab-initio modeling. This paper aims to solve the contrast estimation problem directly from the picked particle images in the ab-initio stage, without estimating the 3-D volume, image rotations, or class averages. Methods: The key observation underlying our analysis is that the 2-D covariance matrix of the raw images is related to the covariance of the underlying clean images, the noise variance, and the contrast variability between images. We show that the contrast variability can be derived from the 2-D covariance matrix and we apply the existing Covariance Wiener Filtering (CWF) framework to estimate it. We also demonstrate a modification of CWF to estimate the contrast of individual images. Results: Our method improves the contrast estimation by a large margin, compared to the previous CWF method. Its estimation accuracy is often comparable to that of an oracle that knows the ground truth covariance of the clean images. The more accurate contrast estimation also improves the quality of image restoration as demonstrated in both synthetic and experimental datasets. Conclusions: This paper proposes an effective method for contrast estimation directly from noisy images without using any 3-D volume information. It enables contrast correction in the earlier stage of single particle analysis, and may improve the accuracy of downstream processing.


title: Non-local slicing approaches for NNLO QCD in MCFM

abstract: We present the implementation of several processes at Next-to-Next-to Leading Order (NNLO) accuracy in QCD in the parton-level Monte Carlo program MCFM. The processes treated are $pp\to H$, $W^\pm$, $Z$, $W^\pm H$, $ZH$, $W^\pm\gamma$, $Z\gamma$ and $\gamma\gamma$ and, for the first time in the code, $W^+W^-$, $W^\pm Z$ and $ZZ$. Decays of the unstable bosons are fully included, resulting in a flexible fully differential Monte Carlo code. The NNLO corrections have been calculated using two non-local slicing approaches, isolating the doubly unresolved region by cutting on the zero-jettiness, ${\cal T}_0$, or on $q_T$, the transverse momentum of the colour singlet final-state particles. We find that for most, but not all processes the $q_T$ slicing method leads to smaller power corrections for equal computational burden.


title: Uniting Nesterov and Heavy Ball Methods for Uniform Global Asymptotic Stability of the Set of Minimizers

abstract: We propose a hybrid control algorithm that guarantees fast convergence and uniform global asymptotic stability of the unique minimizer of a continuously differentiable, convex objective function. The algorithm, developed using hybrid system tools, employs a uniting control strategy, in which Nesterov's accelerated gradient descent is used "globally" and the heavy ball method is used "locally," relative to the minimizer. Without knowledge of its location, the proposed hybrid control strategy switches between these accelerated methods to ensure convergence to the minimizer without oscillations, with a (hybrid) convergence rate that preserves the convergence rates of the individual optimization algorithms. We analyze key properties of the resulting closed-loop system including existence of solutions, uniform global asymptotic stability, and convergence rate. Additionally, stability properties of Nesterov's method are analyzed, and extensions on convergence rate results in the existing literature are presented. Numerical results validate the findings and demonstrate the robustness of the uniting algorithm.


title: Attracting and Retaining OSS Contributors with a Maintainer Dashboard

abstract: Tools and artifacts produced by open source software (OSS) have been woven into the foundation of the technology industry. To keep this foundation intact, the open source community needs to actively invest in sustainable approaches to bring in new contributors and nurture existing ones. We take a first step at this by collaboratively designing a maintainer dashboard that provides recommendations on how to attract and retain open source contributors. For example, by highlighting project goals (e.g., a social good cause) to attract diverse contributors and mechanisms to acknowledge (e.g., a "rising contributor" badge) existing contributors. Next, we conduct a project-specific evaluation with maintainers to better understand use cases in which this tool will be most helpful at supporting their plans for growth. From analyzing feedback, we find recommendations to be useful at signaling projects as welcoming and providing gentle nudges for maintainers to proactively recognize emerging contributors. However, there are complexities to consider when designing recommendations such as the project current development state (e.g., deadlines, milestones, refactoring) and governance model. Finally, we distill our findings to share what the future of recommendations in open source looks like and how to make these recommendations most meaningful over time.


title: Disentangling Successor Features for Coordination in Multi-agent Reinforcement Learning

abstract: Multi-agent reinforcement learning (MARL) is a promising framework for solving complex tasks with many agents. However, a key challenge in MARL is defining private utility functions that ensure coordination when training decentralized agents. This challenge is especially prevalent in unstructured tasks with sparse rewards and many agents. We show that successor features can help address this challenge by disentangling an individual agent's impact on the global value function from that of all other agents. We use this disentanglement to compactly represent private utilities that support stable training of decentralized agents in unstructured tasks. We implement our approach using a centralized training, decentralized execution architecture and test it in a variety of multi-agent environments. Our results show improved performance and training time relative to existing methods and suggest that disentanglement of successor features offers a promising approach to coordination in MARL.


title: A Short Survey on Business Models of Decentralized Finance (DeFi) Protocols

abstract: Decentralized Finance (DeFi) services are moving traditional financial operations to the Internet of Value (IOV) by exploiting smart contracts, distributed ledgers, and clever heterogeneous transactions among different protocols. The exponential increase of the Total Value Locked (TVL) in DeFi foreshadows a bright future for automated money transfers in a plethora of services. In this short survey paper, we describe the business model for different DeFi domains - namely, Protocols for Loanable Funds (PLFs), Decentralized Exchanges (DEXs), and Yield Aggregators. We claim that the current state of the literature is still unclear how to value thousands of different competitors (tokens) in DeFi. With this work, we abstract the general business model for different DeFi domains and compare them. Finally, we provide open research challenges that will involve heterogeneous domains such as economics, finance, and computer science.


title: Virtual Linearity for KPP Reaction-Diffusion Equations

abstract: We show that long time solution dynamic for general reaction-advection-diffusion equations with KPP reactions is virtually linear in the following sense. Its leading order depends on the non-linear reaction only through its linearization at $u=0$, and it can also be recovered for general initial data by instead solving the PDE for restrictions of the initial condition to unit cubes on $\bbR^d$ (the latter means that non-linear interaction of these restricted solutions has only lower order effects on the overall solution dynamic). The result holds under a uniform bound on the advection coefficient, which we show to be sharp. We also extend it to models with non-local diffusion and KPP reactions.


title: Arithmetical structures on dominated polynomials

abstract: In~\cite{algorithmic} was given an algorithm that computes arithmetical structures on matrices. We use some of the ideas contained there to get an algorithm that computes arithmetical structures over dominated polynomials. A dominated polynomial is an integer multivariate polynomial such that contains a monomial which is divided by all its monomials.


title: High-dimensional dynamic factor models: a selective survey and lines of future research

abstract: High-Dimensional Dynamic Factor Models are presented in detail: The main assumptions and their motivation, main results, illustrations by means of elementary examples. In particular, the role of singular ARMA models in the theory and applications of High-Dimensional Dynamic Factor Models is discussed.The emphasis of the paper is on model classes and their structure theory, rather than on estimation in the narrow sense. Our aim is not a comprehensive survey. Rather we try to point out promising lines of research and applications that have not yet been sufficiently developed.


title: Expected number of faces in a random embedding of any graph is at most linear

abstract: A random 2-cell embedding of a given graph $G$ is obtained by choosing a random local rotation around every vertex. We analyze the expected number of faces of such an embedding, which is equivalent to studying its average genus. In 1991, Stahl proved that the expected number of faces in a random embedding of an arbitrary graph of order $n$ is at most $n\log(n)$. While there are many families of graphs whose expected number of faces is $\Theta(n)$, none are known where the expected number would be super-linear. This lead to the conjecture that there is a linear upper bound. In this note we confirm the conjecture by proving that for any $n$-vertex multigraph, the expected number of faces in a random 2-cell embedding is at most $n(1+H_m)$, where $m$ is the maximum edge-multiplicity and $H_m$ denotes the $m$th harmonic number. This bound is best possible up to a constant factor.


title: Differentiable Preisach Modeling for Characterization and Optimization of Accelerator Systems with Hysteresis

abstract: Future improvements in particle accelerator performance is predicated on increasingly accurate online modeling of accelerators. Hysteresis effects in magnetic, mechanical, and material components of accelerators are often neglected in online accelerator models used to inform control algorithms, even though reproducibility errors from systems exhibiting hysteresis are not negligible in high precision accelerators. In this work, we combine the classical Preisach model of hysteresis with machine learning techniques to efficiently create non-parametric, high-fidelity models of arbitrary systems exhibiting hysteresis. We demonstrate that our technique accurately predicts hysteresis effects in physical accelerator magnets. We also experimentally demonstrate how these methods can be used in-situ, where the hysteresis model is combined with a Bayesian statistical model of the beam response, allowing characterization of hysteresis in accelerator magnets solely from measurements of the beam. Furthermore, we explore how using these joint hysteresis-beam models allows us to overcome optimization performance limitations when hysteresis effects are ignored.


title: Travelling waves in a PDE-ODE coupled system with nonlinear diffusion

abstract: We analyze travelling wave (TW) solutions for nonlinear systems consisting of an ODE coupled to a degenerate PDE with a diffusion coefficient that vanishes as the solution tends to zero and blows up as it approaches its maximum value. Stable TW solutions for such systems have previously been observed numerically as well as in biological experiments on the growth of cellulolytic biofilms. In this work, we provide an analytical justification for these observations and prove existence and stability results for TW solutions of such models. Using the TW ansatz and a first integral, the system is reduced to an autonomous dynamical system with two unknowns. Analysing the system in the corresponding phase-plane, the existence of a unique TW is shown, which possesses a sharp front and a diffusive tail, and is moving with a constant speed. The linear stability of the TW in two space dimensions is proven under suitable assumptions on the initial data. Finally, numerical simulations are presented that affirm the theoretical predictions on the existence, stability, and parametric dependence of the TWs.


title: Deep optical study of the mixed-morphology supernova remnant G 132.7+1.3 (HB3)

abstract: We present optical ccd images of the large supernova remnant (SNR) G132.7$+$1.3 (HB3) covering its full extent for the first time, in the emission lines of H$\alpha+$[N II], [S II] and [O III], where new and known filamentary and diffuse structures are detected. These observations are supplemented by new low-resolution long-slit spectra and higher-resolution images in the same emission lines. Both the flux-calibrated images and spectra confirm that the optical emission originates from shock-heated gas since the [S II]/H$\alpha$ $>$ 0.4. Our findings are also consistent with the recently developed emission line ratio diagnostics for distinguishing SNRs from H II regions. A multi-wavelength comparison among our optical data and relevant observations in radio, X-rays, $\gamma$-rays and CO bands, provided additional evidence on the interaction of HB3 with the surrounding clouds and clarified the borders of the SNR and the adjacent cloud. We discuss the supernova (SN) properties and evolution that led to the current observables of HB3 and we show that the remnant has most likely passed at the pressure driven snowplow phase. The estimated SN energy was found to be $\left(3.7 \pm 1.5\right) \times 10^{51}$ erg and the current SNR age $\left(5.1 \pm 2.1\right) \times 10^4$ yrs. We present an alternative scenario according to which the SNR evolved in the wind bubble cavity excavated by the progenitor star and currently is interacting with its density walls. We show that the overall mixed morphology properties of HB3 can be explained if the SN resulted by a Wolf-Rayet progenitor star with mass $\sim 34 \rm~M_{\rm\odot}$.


title: Nonverbal Sound Detection for Disordered Speech

abstract: Voice assistants have become an essential tool for people with various disabilities because they enable complex phone- or tablet-based interactions without the need for fine-grained motor control, such as with touchscreens. However, these systems are not tuned for the unique characteristics of individuals with speech disorders, including many of those who have a motor-speech disorder, are deaf or hard of hearing, have a severe stutter, or are minimally verbal. We introduce an alternative voice-based input system which relies on sound event detection using fifteen nonverbal mouth sounds like "pop," "click," or "eh." This system was designed to work regardless of ones' speech abilities and allows full access to existing technology. In this paper, we describe the design of a dataset, model considerations for real-world deployment, and efforts towards model personalization. Our fully-supervised model achieves segment-level precision and recall of 88.6% and 88.4% on an internal dataset of 710 adults, while achieving 0.31 false positives per hour on aggressors such as speech. Five-shot personalization enables satisfactory performance in 84.5% of cases where the generic model fails.


title: Dynamics of stochastic integrate-and-fire networks

abstract: The neural dynamics generating sensory, motor, and cognitive functions are commonly understood through field theories for neural population activity. Classic neural field theories are derived from highly simplified models of individual neurons, while biological neurons are highly complex cells. Integrate-and-fire neuron models balance biophysical detail and analytical tractability. Here, we develop a statistical field theory for networks of integrate-and-fire neurons with stochastic spike emission. This reveals an exact mapping to a self-consistent renewal process and a new mean field theory for the activity in these networks. The mean field theory has a rate-dependent leak, approximating the spike-driven resets of the membrane voltage. This gives rise to bistability between quiescent and active states in homogenous and excitatory-inhibitory pulse-coupled networks. The field-theoretic framework also exposes fluctuation corrections to the mean field theory. We find that due to the spike reset, fluctuations suppress activity. We then examine the roles of spike resets and recurrent inhibition in stabilizing network activity. We calculate the phase diagram for inhibitory stabilization and find that an inhibition-stabilized regime occurs in wide regions of parameter space, consistent with experimental reports of inhibitory stabilization in diverse brain regions. Fluctuations narrow the region of inhibitory stabilization, consistent with their role in suppressing activity through spike resets.


title: The treewidth and pathwidth of graph unions

abstract: Given two $n$-vertex graphs $G_1$ and $G_2$ of bounded treewidth, is there an $n$-vertex graph $G$ of bounded treewidth having subgraphs isomorphic to $G_1$ and $G_2$? Our main result is a negative answer to this question, in a strong sense: we show that the answer is no even if $G_1$ is a binary tree and $G_2$ is a ternary tree. We also provide an extensive study of cases where such `gluing' is possible. In particular, we prove that if $G_1$ has treewidth $k$ and $G_2$ has pathwidth $\ell$, then there is an $n$-vertex graph of treewidth at most $k + 3 \ell + 1$ containing both $G_1$ and $G_2$ as subgraphs.


title: Rate of homogenization for fully-coupled McKean-Vlasov SDEs

abstract: We consider a fully-coupled slow-fast system of McKean-Vlasov SDEs with full dependence on the slow and fast component and on the law of the slow component and derive convergence rates to its homogenized limit. We do not make periodicity assumptions, but we impose conditions on the fast motion to guarantee ergodicity. In the course of the proof we obtain related ergodic theorems and we gain results on the regularity of Poisson type of equations and of the associated Cauchy-Problem on the Wasserstein space that are of independent interest.


title: K-Means for Noise-Insensitive Multi-Dimensional Feature Learning

abstract: Many measurement modalities which perform imaging by probing an object pixel-by-pixel, such as via Photoacoustic Microscopy, produce a multi-dimensional feature (typically a time-domain signal) at each pixel. In principle, the many degrees of freedom in the time-domain signal would admit the possibility of significant multi-modal information being implicitly present, much more than a single scalar "brightness", regarding the underlying targets being observed. However, the measured signal is neither a weighted-sum of basis functions (such as principal components) nor one of a set of prototypes (K-means), which has motivated the novel clustering method proposed here. Signals are clustered based on their shape, but not amplitude, via angular distance and centroids are calculated as the direction of maximal intra-cluster variance, resulting in a clustering algorithm capable of learning centroids (signal shapes) that are related to the underlying, albeit unknown, target characteristics in a scalable and noise-robust manner.


title: Deep Learning-Assisted Co-registration of Full-Spectral Autofluorescence Lifetime Microscopic Images with H&E-Stained Histology Images

abstract: Autofluorescence lifetime images reveal unique characteristics of endogenous fluorescence in biological samples. Comprehensive understanding and clinical diagnosis rely on co-registration with the gold standard, histology images, which is extremely challenging due to the difference of both images. Here, we show an unsupervised image-to-image translation network that significantly improves the success of the co-registration using a conventional optimisation-based regression network, applicable to autofluorescence lifetime images at different emission wavelengths. A preliminary blind comparison by experienced researchers shows the superiority of our method on co-registration. The results also indicate that the approach is applicable to various image formats, like fluorescence intensity images. With the registration, stitching outcomes illustrate the distinct differences of the spectral lifetime across an unstained tissue, enabling macro-level rapid visual identification of lung cancer and cellular-level characterisation of cell variants and common types. The approach could be effortlessly extended to lifetime images beyond this range and other staining technologies.


title: Quantum Games and Interactive Tools for Quantum Technologies Outreach and Education

abstract: In this article, we provide an extensive overview of a wide range of quantum games and interactive tools that have been employed by the community in recent years. The paper presents selected tools, as described by their developers. The list includes Hello Quantum, Hello Qiskit, Particle in a Box, Psi and Delta, QPlayLearn, Virtual Lab by Quantum Flytrap, Quantum Odyssey, ScienceAtHome, and The Virtual Quantum Optics Laboratory. Additionally, we present events for quantum game development: hackathons, game jams, and semester projects. Furthermore, we discuss the Quantum Technologies Education for Everyone (QUTE4E) pilot project, which illustrates an effective integration of these interactive tools with quantum outreach and education activities. Finally, we aim at providing guidelines for incorporating quantum games and interactive tools in pedagogic materials to make quantum technologies more accessible for a wider population.