title: Quantum tops at circular lepton colliders

abstract: We study the quantum properties of top quark pairs in lepton colliders with unpolarised beams, including spin correlations, entanglement, and violation of Bell inequalities. We present analytical results in the SM and in the SMEFT and discuss several practical aspects, like the choice of quantization axes and $t \bar t$ threshold effects. We also note a correspondence between parity symmetry and entanglement. We find that quantum observables exhibit a rich phenomenology in the SM, and can also provide additional leverage in detecting new physics residing at higher scales.


title: Observational Tests of Active Galactic Nuclei Feedback: An Overview of Approaches and Interpretation

abstract: Growing supermassive black holes (Active Galactic Nuclei; AGN) release energy with the potential to alter their host galaxies and larger-scale environment; a process named "AGN feedback". Feedback is a required component of galaxy formation models and simulations to explain observed properties of galaxy populations. We provide a broad overview of observational approaches that are designed to establish the physical processes that couple AGN energy to the multi-phase gas, or to find evidence that AGN impact upon galaxy evolution. The orders-of-magnitude range in spatial, temporal, and temperature scales, requires a diverse set of observational studies. For example, studying individual targets in detail sheds light on coupling mechanisms; however, evidence for long-term impact of AGN is better established within galaxy populations that are not necessarily currently active. We emphasise how modern surveys have revealed the importance of radio emission for identifying, and characterising, feedback mechanisms. At the achieved sensitivities, the detected radio emission can trace a range of processes, including shocked interstellar medium caused by AGN outflows (driven by various mechanisms including radiation pressure, accretion disc winds, and jets). We also describe how interpreting observations in the context of theoretical work can be challenging, in part, due to some of the adopted terminology.


title: Thermal Structure and Millimeter Emission of Protoplanetary Disk with embedded protoplanets from radiative transfer modeling

abstract: The discovery of protoplanets and circumplanetary disks provides a unique opportunity to characterize planet formation through observations. Massive protoplanets shape the physical and chemical structure of their host circumstellar disk by accretion, localized emission, and disk depletion. In this work, we study the thermal changes induced within the disk by protoplanet accretion and synthetic predictions through hydrodynamical simulations with post-processed radiative transfer with an emphasis on radio millimeter emission. We explored distinct growth conditions and varied both planetary accretion rates and the local dust-to-gas mass ratios for a protoplanet at 1200 K. The radiative transfer models show that beyond the effect of disk gaps, in most cases, the CPD and the planet's emission locally increase the disk temperature. Moreover, depending on the local dust-to-gas depletion and accretion rate, the CPD presence may have detectable signatures in millimeter emission. It also has the power to generate azimuthal asymmetries important for continuum subtraction. Thus, if other means of detection of protoplanets are proven, the lack of corresponding evidence at other wavelengths can set limits on their growth timescales through a combined analysis of the local dust-to-gas ratio and the accretion rate.


title: Quiescent or dusty? Unveiling the nature of extremely red galaxies at $z>3$

abstract: The advent of the JWST has revolutionised our understanding of high-redshift galaxies. In particular, the NIRCam instrument on-board JWST has revealed a population of Hubble Space Telescope (HST)-dark galaxies that had previously evaded optical detection, potentially due to significant dust obscuration, quiescence, or simply extreme redshift. Here, we present the first NIRSpec spectra of 23 HST-dark galaxies ($\mathrm{H-F444W>1.75}$), unveiling their nature and physical properties. This sample includes both dusty and quiescent galaxies with spectroscopic data from NIRSpec/PRISM, providing accurate spectroscopic redshifts with $\mathrm{\overline{z}_{spec} = 4.1 \pm 0.7}$. The spectral features demonstrate that, while the majority of HST-dark galaxies are dusty, a substantial fraction, $\mathrm{13^{+9}_{-6} \%}$, are quiescent. For the dusty galaxies, we have quantified the dust attenuation using the Balmer decrement ($\mathrm{H\alpha / H\beta}$), finding attenuations $\mathrm{A_{V} > 2\ mag}$. We find that HST-dark dusty galaxies are $\mathrm{H\alpha}$ emitters with equivalent widths spanning the range $\mathrm{ 68 A < EW_{H\alpha} < 550 A }$, indicative of a wide range of recent star-formation activity. Whether dusty or quiescent, we find that HST-dark galaxies are predominantly massive, with 85\% of the galaxies in the sample having masses $\mathrm{log(M_{*}/M_{\odot}) > 9.8}$. This pilot NIRSpec program reveals the diverse nature of HST-dark galaxies and highlights the effectiveness of NIRSpec/PRISM spectroscopic follow-up in distinguishing between dusty and quiescent galaxies and properly quantifying their physical properties. Upcoming research utilising higher-resolution NIRSpec data and combining JWST with ALMA observations will enhance our understanding of these enigmatic and challenging sources.


title: Benchmarking digital quantum simulations and optimization above hundreds of qubits using quantum critical dynamics

abstract: The real-time simulation of large many-body quantum systems is a formidable task, that may only be achievable with a genuine quantum computational platform. Currently, quantum hardware with a number of qubits sufficient to make classical emulation challenging is available. This condition is necessary for the pursuit of a so-called quantum advantage, but it also makes verifying the results very difficult. In this manuscript, we flip the perspective and utilize known theoretical results about many-body quantum critical dynamics to benchmark quantum hardware and various error mitigation techniques on up to 133 qubits. In particular, we benchmark against known universal scaling laws in the Hamiltonian simulation of a time-dependent transverse field Ising Hamiltonian. Incorporating only basic error mitigation and suppression methods, our study shows coherent control up to a two-qubit gate depth of 28, featuring a maximum of 1396 two-qubit gates, before noise becomes prevalent. These results are transferable to applications such as digitized quantum annealing and match the results of a 133-site optimization, where we identify an optimal working point in terms of both circuit depth and time step.


title: Stellar Metallicities from DECam $u$-band Photometry: A Study of Milky Way Ultra-Faint Dwarf Galaxies

abstract: We conducted an in-depth analysis of candidate member stars located in the peripheries of three ultra-faint dwarf (UFD) galaxy satellites of the Milky Way: Bo\"otes I (Boo1), Bo\"otes II (Boo2), and Segue I (Seg1). Studying these peripheral stars has previously been difficult due to contamination from the Milky Way foreground. We used $u$-band photometry from the Dark Energy Camera (DECam) to derive metallicities to efficiently select UFD candidate member stars. This approach was validated on Boo1, where we identified both previously known and new candidate member stars beyond five half-light radii. We then applied a similar procedure to Boo2 and Seg1. Our findings hinted at evidence for tidal features in Boo1 and Seg1, with Boo1 having an elongation consistent with its proper motion and Seg1 showing some distant candidate stars, a few of which are along its elongation and proper motion. We find two Boo2 stars at large distances consistent with being candidate member stars. Using a foreground contamination rate derived from the \emph{Besan\c{c}on} Galaxy model, we ascribed purity estimates to each candidate member star. We recommend further spectroscopic studies on the newly identified high-purity members. Our technique offers promise for future endeavors to detect candidate member stars at large radii in other systems, leveraging metallicity-sensitive filters with the Legacy Survey of Space and Time and the new, narrow-band Ca HK filter on DECam.


title: Complexity enriched dynamical phases for fermions on graphs

abstract: Dynamical quantum phase transitions, encompassing phenomena like many-body localization transitions and measurement-induced phase transitions, are often characterized and identified through the analysis of quantum entanglement. Here, we highlight that the dynamical phases defined by entanglement are further enriched by complexity. We investigate both the entanglement and Krylov complexity for fermions on regular graphs, which can be implemented by systems like $^6$Li atoms confined by optical tweezers. Our investigations unveil that while entanglement follows volume laws on both types of regular graphs with degree $d = 2$ and $d = 3$, the Krylov complexity exhibits distinctive behaviors. We analyze both free fermions and interacting fermions models. In the absence of interaction, both numerical results and theoretical analysis confirm that the dimension of the Krylov space scales as $D\sim N$ for regular graphs of degree $d = 2$ with $N$ sites, and we have $D\sim N^2$ for $d = 3$. The qualitative distinction also persists in interacting fermions on regular graphs. For interacting fermions, our theoretical analyses find the dimension scales as $D\sim 4^{N^\alpha}$ for regular graphs of $d = 2$ with $0.38\leq\alpha\leq0.59$, whereas it scales as $D\sim 4^N$ for $d = 3$. The distinction in the complexity of quantum dynamics for fermions on graphs with different connectivity can be probed in experiments by measuring the out-of-time-order correlators.


title: Interpreting DESI's evidence for evolving dark energy

abstract: The latest results on baryon acoustic oscillations from DESI (Dark Energy Spectroscopic Instrument), when combined with cosmic microwave background and supernova data, show indications of a deviation from a cosmological constant in favour of evolving dark energy. Use of a pivot scale for the equation of state $w$ shows that this evidence is concentrated in the derivative of $w$ rather than its mean offset from $-1$, indicating a new cosmic coincidence where the mean equation of state matches that of the $\Lambda$CDM model precisely in the region probed by the observations. An equivalent way to express this is to say that the dark energy hits the maximum value that it will ever achieve within the observed window. We argue that conclusions on dark energy evolution are strongly driven by the assumed parameter priors and that this coincidence, which we are naming the PhantomX coincidence (where X stands for crossing), may be a signature of this.


title: Revisiting Primordial Black Hole Capture by Neutron Stars

abstract: A sub-solar mass primordial black hole (PBH) passing through a neutron star, can lose enough energy through interactions with the dense stellar medium to become gravitationally bound to the star. Once captured, the PBH would sink to the core of the neutron star, and completely consume it from the inside. In this paper, we improve previous energy-loss calculations by considering a realistic solution for the neutron star interior, and refine the treatment of the interaction dynamics and collapse likelihood. We then consider the effect of a sub-solar PBH population on neutron stars near the Galactic center. We find that it is not possible to explain the lack of observed pulsars near the galactic center through dynamical capture of PBHs, as the velocity dispersion is too high. We then show that future observations of old neutron stars close to Sgr A* could set stringent constraints on the PBHs abundance. These cannot however be extended in the currently unconstrained asteroid-mass range, since PBHs of smaller mass would lose less energy in their interaction with the neutron star and end up in orbits that are too loosely bound and likely to be disrupted by other stars in the Galactic center.


title: Birds of a Feather: Resolving Stellar Mass Assembly With JWST/NIRCam in a Pair of Kindred $z \sim 2$ Dusty Star-forming Galaxies Lensed by the PLCK G165.7+67.0 Cluster

abstract: We present a new parametric lens model for the G165.7+67.0 galaxy cluster, which was discovered with $Planck$ through its bright submillimeter flux, originating from a pair of extraordinary dusty star-forming galaxies (DSFGs) at $z\approx 2.2$. Using JWST and interferometric mm/radio observations, we characterize the intrinsic physical properties of the DSFGs, which are separated by only $\sim 1^{\prime\prime}$ (8 kpc) and a velocity difference $\Delta V \lesssim 600~{\rm km}~{\rm s}^{-1}$ in the source plane, and thus likely undergoing a major merger. Boasting intrinsic star formation rates ${\rm SFR}_{\rm IR} = 320 \pm 70$ and $400 \pm 80~ M_\odot~{\rm yr}^{-1}$, stellar masses ${\rm log}[M_\star/M_\odot] = 10.2 \pm 0.1$ and $10.3 \pm 0.1$, and dust attenuations $A_V = 1.5 \pm 0.3$ and $1.2 \pm 0.3$, they are remarkably similar objects. We perform spatially-resolved pixel-by-pixel SED fitting using rest-frame near-UV to near-IR imaging from JWST/NIRCam for both galaxies, resolving some stellar structures down to 100 pc scales. Based on their resolved specific SFRs and $UVJ$ colors, both DSFGs are experiencing significant galaxy-scale star formation events. If they are indeed interacting gravitationally, this strong starburst could be the hallmark of gas that has been disrupted by an initial close passage. In contrast, the host galaxy of the recently discovered triply-imaged SN H0pe has a much lower SFR than the DSFGs, and we present evidence for the onset of inside-out quenching and large column densities of dust even in regions of low specific SFR. Based on the intrinsic SFRs of the DSFGs inferred from UV through FIR SED modeling, this pair of objects alone is predicted to yield an observable $1.1 \pm 0.2~{\rm CCSNe~yr}^{-1}$, making this cluster field ripe for continued monitoring.


title: Galactic Chemical Evolution Models Favor an Extended Type Ia Supernova Delay-Time Distribution

abstract: Type Ia supernovae (SNe Ia) produce most of the Fe-peak elements in the Universe and therefore are a crucial ingredient in galactic chemical evolution models. SNe Ia do not explode immediately after star formation, and the delay-time distribution (DTD) has not been definitively determined by supernova surveys or theoretical models. Because the DTD also affects the relationship among age, [Fe/H], and [$\alpha$/Fe] in chemical evolution models, comparison with observations of stars in the Milky Way is an important consistency check for any proposed DTD. We implement several popular forms of the DTD in combination with multiple star formation histories for the Milky Way in multi-zone chemical evolution models which include radial stellar migration. We compare our predicted interstellar medium abundance tracks, stellar abundance distributions, and stellar age distributions to the final data release of the Apache Point Observatory Galactic Evolution Experiment (APOGEE). We find that the DTD has the largest effect on the [$\alpha$/Fe] distribution: a DTD with more prompt SNe Ia produces a stellar abundance distribution that is skewed toward a lower [$\alpha$/Fe] ratio. While the DTD alone cannot explain the observed bimodality in the [$\alpha$/Fe] distribution, in combination with an appropriate star formation history it affects the goodness of fit between the predicted and observed high-$\alpha$ sequence. Our model results favor an extended DTD with fewer prompt SNe Ia than the fiducial $t^{-1}$ power law.


title: Resource-aware Deployment of Dynamic DNNs over Multi-tiered Interconnected Systems

abstract: The increasing pervasiveness of intelligent mobile applications requires to exploit the full range of resources offered by the mobile-edge-cloud network for the execution of inference tasks. However, due to the heterogeneity of such multi-tiered networks, it is essential to make the applications' demand amenable to the available resources while minimizing energy consumption. Modern dynamic deep neural networks (DNN) achieve this goal by designing multi-branched architectures where early exits enable sample-based adaptation of the model depth. In this paper, we tackle the problem of allocating sections of DNNs with early exits to the nodes of the mobile-edge-cloud system. By envisioning a 3-stage graph-modeling approach, we represent the possible options for splitting the DNN and deploying the DNN blocks on the multi-tiered network, embedding both the system constraints and the application requirements in a convenient and efficient way. Our framework -- named Feasible Inference Graph (FIN) -- can identify the solution that minimizes the overall inference energy consumption while enabling distributed inference over the multi-tiered network with the target quality and latency. Our results, obtained for DNNs with different levels of complexity, show that FIN matches the optimum and yields over 65% energy savings relative to a state-of-the-art technique for cost minimization.


title: Physics-Enhanced Graph Neural Networks For Soft Sensing in Industrial Internet of Things

abstract: The Industrial Internet of Things (IIoT) is reshaping manufacturing, industrial processes, and infrastructure management. By fostering new levels of automation, efficiency, and predictive maintenance, IIoT is transforming traditional industries into intelligent, seamlessly interconnected ecosystems. However, achieving highly reliable IIoT can be hindered by factors such as the cost of installing large numbers of sensors, limitations in retrofitting existing systems with sensors, or harsh environmental conditions that may make sensor installation impractical. Soft (virtual) sensing leverages mathematical models to estimate variables from physical sensor data, offering a solution to these challenges. Data-driven and physics-based modeling are the two main methodologies widely used for soft sensing. The choice between these strategies depends on the complexity of the underlying system, with the data-driven approach often being preferred when the physics-based inference models are intricate and present challenges for state estimation. However, conventional deep learning models are typically hindered by their inability to explicitly represent the complex interactions among various sensors. To address this limitation, we adopt Graph Neural Networks (GNNs), renowned for their ability to effectively capture the complex relationships between sensor measurements. In this research, we propose physics-enhanced GNNs, which integrate principles of physics into graph-based methodologies. This is achieved by augmenting additional nodes in the input graph derived from the underlying characteristics of the physical processes. Our evaluation of the proposed methodology on the case study of district heating networks reveals significant improvements over purely data-driven GNNs, even in the presence of noise and parameter inaccuracies.


title: Di-Higgs production via Axion-Like Particles

abstract: Due to the pseudo-scalar nature of the axion-like particle (ALP), the CP- conserving production of two Higgs bosons via the ALP necessarily involves an additional Z or $\gamma$ boson. We examine the existing constraints from di-Higgs searches at Run 2 of the LHC and find that, despite the presence of extra objects in the final state, these searches are sensitive to a combination of ALP couplings to gluons and three-bosons in the TeV scale range. Additionally, we propose a specialized search strategy incorporating an energetic leptonic Z boson. This refined ALP-induced production process would allow for the identification of the h h $\rightarrow$ 4 b-jet final state and could potentially probe the TeV scale using data from Run 2 of the LHC. This production process can also occur through a coupling between the top quark and the ALP. We translate the current constraints on di-Higgs production into new limits on the ALP-top coupling.


title: Interference of communication and field correlations in entanglement harvesting

abstract: We reveal that the information exchange between particle detectors and their ability to harvest correlations from a quantum field can interfere constructively and destructively. This allows for scenarios where the presence of entanglement in the quantum field is actually detrimental to the process of getting the two detectors entangled.


title: The Impact of Speech Anonymization on Pathology and Its Limits

abstract: Integration of speech into healthcare has intensified privacy concerns due to its potential as a non-invasive biomarker containing individual biometric information. In response, speaker anonymization aims to conceal personally identifiable information while retaining crucial linguistic content. However, the application of anonymization techniques to pathological speech, a critical area where privacy is especially vital, has not been extensively examined. This study investigates anonymization's impact on pathological speech across over 2,700 speakers from multiple German institutions, focusing on privacy, pathological utility, and demographic fairness. We explore both deep-learning-based and signal processing-based anonymization methods, and document substantial privacy improvements across disorders-evidenced by equal error rate increases up to 1933%, with minimal overall impact on utility. Specific disorders such as Dysarthria, Dysphonia, and Cleft Lip and Palate experienced minimal utility changes, while Dysglossia showed slight improvements. Our findings underscore that the impact of anonymization varies substantially across different disorders. This necessitates disorder-specific anonymization strategies to optimally balance privacy with diagnostic utility. Additionally, our fairness analysis revealed consistent anonymization effects across most of the demographics. This study demonstrates the effectiveness of anonymization in pathological speech for enhancing privacy, while also highlighting the importance of customized and disorder-specific approaches to account for inversion attacks.


title: Ephemeral Myographic Motion: Repurposing the Myo Armband to Control Disposable Pneumatic Sculptures

abstract: This paper details the development of an interactive sculpture built from deprecated hardware technology and intentionally decomposable, transient materials. We detail a case study of "Strain" - an emotive prototype that reclaims two orphaned digital artifacts to power a kinetic sculpture made of common disposable objects. We use the Myo, an abandoned myoelectric armband, in concert with the Programmable Air, a soft-robotics prototyping project, to manipulate a pneumatic bladder array constructed from condoms, bamboo skewers, and a small library of 3D printed PLA plastic connectors designed to work with these generic parts. The resulting sculpture achieves surprisingly organic actuation. The goal of this project is to produce several reusable components: software to resuscitate the Myo Armband, homeostasis software for the Programmable Air or equivalent pneumatic projects, and a library of easily-printed parts that will work with generic bamboo disposables for sculptural prototyping. This project works to develop usable, repeatable engineering by applying it to a slightly whimsical object that promotes a strong emotional response in its audience. Through this, we transform the disposable into the sustainable. In this paper, we reflect on project-based insights into rescuing and revitalizing abandoned consumer electronics for future works.


title: MSciNLI: A Diverse Benchmark for Scientific Natural Language Inference

abstract: The task of scientific Natural Language Inference (NLI) involves predicting the semantic relation between two sentences extracted from research articles. This task was recently proposed along with a new dataset called SciNLI derived from papers published in the computational linguistics domain. In this paper, we aim to introduce diversity in the scientific NLI task and present MSciNLI, a dataset containing 132,320 sentence pairs extracted from five new scientific domains. The availability of multiple domains makes it possible to study domain shift for scientific NLI. We establish strong baselines on MSciNLI by fine-tuning Pre-trained Language Models (PLMs) and prompting Large Language Models (LLMs). The highest Macro F1 scores of PLM and LLM baselines are 77.21% and 51.77%, respectively, illustrating that MSciNLI is challenging for both types of models. Furthermore, we show that domain shift degrades the performance of scientific NLI models which demonstrates the diverse characteristics of different domains in our dataset. Finally, we use both scientific NLI datasets in an intermediate task transfer learning setting and show that they can improve the performance of downstream tasks in the scientific domain. We make our dataset and code available on Github.


title: High thermoelectric power factor through topological flat bands

abstract: Thermoelectric (TE) materials are useful for applications such as waste heat harvesting or efficient and targeted cooling. While various strategies towards superior thermoelectrics through a reduction of the lattice thermal conductivity have been developed, a path to enhance the power factor is pressing. Here, we report large power factors up to 5 mW m$^{-1}$ K$^{-2}$ at room temperature in the kagome metal Ni$_3$In$_{1-x}$Sn$_x$. This system is predicted to feature almost dispersionless flat bands in conjunction with highly dispersive Dirac-like bands in its electronic structure around the Fermi energy $E_\text{F}$ [L. Ye et al., Nature Physics 1-5 (2024)]. Within this study, we experimentally and theoretically showcase that tuning this flat band precisely below $E_\text{F}$ by chemical doping $x$ boosts the Seebeck coefficient and power factor, as highly mobile charge carriers scatter into the flat-band states. Our work demonstrates the prospect of engineering extremely flat and highly dispersive bands towards the Fermi energy in kagome metals and introduces topological flat bands as a novel tuning knob for thermoelectrics.


title: WildGraph: Realistic Graph-based Trajectory Generation for Wildlife

abstract: Trajectory generation is an important task in movement studies; it circumvents the privacy, ethical, and technical challenges of collecting real trajectories from the target population. In particular, real trajectories in the wildlife domain are scarce as a result of ethical and environmental constraints of the collection process. In this paper, we consider the problem of generating long-horizon trajectories, akin to wildlife migration, based on a small set of real samples. We propose a hierarchical approach to learn the global movement characteristics of the real dataset and recursively refine localized regions. Our solution, WildGraph, discretizes the geographic path into a prototype network of H3 (https://www.uber.com/blog/h3/) regions and leverages a recurrent variational auto-encoder to probabilistically generate paths over the regions, based on occupancy. WildGraph successfully generates realistic months-long trajectories using a sample size as small as 60. Experiments performed on two wildlife migration datasets demonstrate that our proposed method improves the generalization of the generated trajectories in comparison to existing work while achieving superior or comparable performance in several benchmark metrics. Our code is published on the following repository: \url{https://github.com/aliwister/wildgraph}.


title: Persistent Classification: A New Approach to Stability of Data and Adversarial Examples

abstract: There are a number of hypotheses underlying the existence of adversarial examples for classification problems. These include the high-dimensionality of the data, high codimension in the ambient space of the data manifolds of interest, and that the structure of machine learning models may encourage classifiers to develop decision boundaries close to data points. This article proposes a new framework for studying adversarial examples that does not depend directly on the distance to the decision boundary. Similarly to the smoothed classifier literature, we define a (natural or adversarial) data point to be $(\gamma,\sigma)$-stable if the probability of the same classification is at least $\gamma$ for points sampled in a Gaussian neighborhood of the point with a given standard deviation $\sigma$. We focus on studying the differences between persistence metrics along interpolants of natural and adversarial points. We show that adversarial examples have significantly lower persistence than natural examples for large neural networks in the context of the MNIST and ImageNet datasets. We connect this lack of persistence with decision boundary geometry by measuring angles of interpolants with respect to decision boundaries. Finally, we connect this approach with robustness by developing a manifold alignment gradient metric and demonstrating the increase in robustness that can be achieved when training with the addition of this metric.


title: Byzantine Reliable Broadcast with Low Communication and Time Complexity

abstract: Byzantine reliable broadcast is a fundamental problem in distributed computing, which has been studied extensively over the past decades. State-of-the-art algorithms are predominantly based on the approach to share encoded fragments of the broadcast message, yielding an asymptotically optimal communication complexity when the message size exceeds the network size, a condition frequently encountered in practice. However, algorithms following the standard coding approach incur an overhead factor of at least 3, which can already be a burden for bandwidth-constrained applications. Minimizing this overhead is an important objective with immediate benefits to protocols that use a reliable broadcast routine as a building block. This paper introduces a novel mechanism to lower the communication and computational complexity. Two algorithms are presented that employ this mechanism to reliably broadcast messages in an asynchronous network where less than a third of all nodes are Byzantine. The first algorithm reduces the overhead factor to 2 and has a time complexity of 3 if the sender is honest, whereas the second algorithm attains an optimal time complexity of 2 with the same overhead factor in the absence of equivocation. Moreover, an optimization for real-world implementations is proposed, reducing the overhead factor to 3/2 under normal operation. Lastly, a lower bound is proved that an overhead factor lower than 3/2 cannot be achieved for a relevant class of reliable broadcast algorithms.


title: Overview of the TREC 2023 NeuCLIR Track

abstract: The principal goal of the TREC Neural Cross-Language Information Retrieval (NeuCLIR) track is to study the impact of neural approaches to cross-language information retrieval. The track has created four collections, large collections of Chinese, Persian, and Russian newswire and a smaller collection of Chinese scientific abstracts. The principal tasks are ranked retrieval of news in one of the three languages, using English topics. Results for a multilingual task, also with English topics but with documents from all three newswire collections, are also reported. New in this second year of the track is a pilot technical documents CLIR task for ranked retrieval of Chinese technical documents using English topics. A total of 220 runs across all tasks were submitted by six participating teams and, as baselines, by track coordinators. Task descriptions and results are presented.


title: Obstructions to return preservation for episturmian morphisms

abstract: This paper studies obstructions to preservation of return sets by episturmian morphisms. We show, by way of an explicit construction, that infinitely many obstructions exist. This generalizes and improves an earlier result about Sturmian morphisms.


title: Spurious Stationarity and Hardness Results for Mirror Descent

abstract: Despite the considerable success of Bregman proximal-type algorithms, such as mirror descent, in machine learning, a critical question remains: Can existing stationarity measures, often based on Bregman divergence, reliably distinguish between stationary and non-stationary points? In this paper, we present a groundbreaking finding: All existing stationarity measures necessarily imply the existence of spurious stationary points. We further establish an algorithmic independent hardness result: Bregman proximal-type algorithms are unable to escape from a spurious stationary point in finite steps when the initial point is unfavorable, even for convex problems. Our hardness result points out the inherent distinction between Euclidean and Bregman geometries, and introduces both fundamental theoretical and numerical challenges to both machine learning and optimization communities.


title: Vortex-carrying solitary gravity waves of large amplitude

abstract: In this paper, we study two-dimensional traveling waves in finite-depth water that are acted upon solely by gravity. We prove that, for any supercritical Froude number (non-dimensionalized wave speed), there exists a continuous one-parameter family $\mathcal{C}$ of solitary waves in equilibrium with a submerged point vortex. This family bifurcates from an irrotational uniform flow, and, at least for large Froude numbers, extends up to the development of a surface singularity. These are the first rigorously constructed gravity wave-borne point vortices without surface tension, and notably our formulation allows the free surface to be overhanging. We also provide a numerical bifurcation study of traveling periodic gravity waves with submerged point vortices, which strongly suggests that some of these waves indeed overturn. Finally, we prove that at generic solutions on $\mathcal{C}$ $\unicode{x2013}$ including those that are large amplitude or even overhanging $\unicode{x2013}$ the point vortex can be desingularized to obtain solitary waves with a submerged hollow vortex. Physically, these can be thought of as traveling waves carrying spinning bubbles of air.


title: The algebra of the monoid of order-preserving functions on an $n$-set and other reduced $E$-Fountain semigroups

abstract: With every reduced $E$-Fountain semigroup $S$ which satisfies the generalized right ample condition we associate a category with partial composition $\mathcal{C}(S)$. Under some assumptions we prove an isomorphism of $\Bbbk$-algebras $\Bbbk S\simeq\Bbbk\mathcal{C}(S)$ between the semigroup algebra and the category algebra where $\Bbbk$ is any commutative unital ring. This is a simultaneous generalization of a former result of the author on reduced E-Fountain semigroups which satisfy the congruence condition, a result of Junying Guo and Xiaojiang Guo on strict right ample semigroups and a result of Benjamin Steinberg on idempotent semigroups with central idempotents. The applicability of the new isomorphism is demonstrated with two well-known monoids which are not members of the above classes. The monoid $\mathcal{O}_{n}$ of order-preserving functions on an $n$-set and the monoid of binary relations with demonic composition.


title: High temperature transport in the one dimensional mass-imbalanced Fermi-Hubbard model

abstract: We study transport in the one-dimensional mass-imbalanced Fermi-Hubbard model at infinite temperature, focusing on the case of strong interactions. Prior theoretical and experimental investigations have revealed unconventionally long transport timescales, with complications due to strong finite size effects. We compute the dynamical current-current correlation function directly in the thermodynamic limit using infinite tensor network techniques. We show that transport in the strong-imbalance limit is dominated by AC resonances, which we compute with an analytic expansion. We study the dephasing of these resonances with mass imbalance, $\eta$. In the small-imbalance limit, the model is nearly integrable. We connect these unusual limits by computing the DC conductivity and transport decay time as a function of $\eta$ and the interaction strength $U/t$. We propose an experimental protocol to measure these correlation functions in cold atom experiments.


title: New four-vertex type theorems for spherical polygons

abstract: We prove discrete analogs of four-vertex type theorems of spherical curves, which imply corresponding results for space polygons. The smooth theory goes back to the work of Beniamino Segre and, more recently, by Mohammad Ghomi, and consists of theorems that state, for a given closed spherical curve, nontrivial lower bounds on the number of spherical inflections plus the number of self and/or antipodal intersections counted with multiplicity. We study these concepts and results adapted to the case of spherical polygons and prove, using only discrete tools, the corresponding theorems.


title: SQBC: Active Learning using LLM-Generated Synthetic Data for Stance Detection in Online Political Discussions

abstract: Stance detection is an important task for many applications that analyse or support online political discussions. Common approaches include fine-tuning transformer based models. However, these models require a large amount of labelled data, which might not be available. In this work, we present two different ways to leverage LLM-generated synthetic data to train and improve stance detection agents for online political discussions: first, we show that augmenting a small fine-tuning dataset with synthetic data can improve the performance of the stance detection model. Second, we propose a new active learning method called SQBC based on the "Query-by-Comittee" approach. The key idea is to use LLM-generated synthetic data as an oracle to identify the most informative unlabelled samples, that are selected for manual labelling. Comprehensive experiments show that both ideas can improve the stance detection performance. Curiously, we observed that fine-tuning on actively selected samples can exceed the performance of using the full dataset.


title: DIMAT: Decentralized Iterative Merging-And-Training for Deep Learning Models

abstract: Recent advances in decentralized deep learning algorithms have demonstrated cutting-edge performance on various tasks with large pre-trained models. However, a pivotal prerequisite for achieving this level of competitiveness is the significant communication and computation overheads when updating these models, which prohibits the applications of them to real-world scenarios. To address this issue, drawing inspiration from advanced model merging techniques without requiring additional training, we introduce the Decentralized Iterative Merging-And-Training (DIMAT) paradigm--a novel decentralized deep learning framework. Within DIMAT, each agent is trained on their local data and periodically merged with their neighboring agents using advanced model merging techniques like activation matching until convergence is achieved. DIMAT provably converges with the best available rate for nonconvex functions with various first-order methods, while yielding tighter error bounds compared to the popular existing approaches. We conduct a comprehensive empirical analysis to validate DIMAT's superiority over baselines across diverse computer vision tasks sourced from multiple datasets. Empirical results validate our theoretical claims by showing that DIMAT attains faster and higher initial gain in accuracy with independent and identically distributed (IID) and non-IID data, incurring lower communication overhead. This DIMAT paradigm presents a new opportunity for the future decentralized learning, enhancing its adaptability to real-world with sparse and light-weight communication and computation.


title: Variance-reduced Zeroth-Order Methods for Fine-Tuning Language Models

abstract: Fine-tuning language models (LMs) has demonstrated success in a wide array of downstream tasks. However, as LMs are scaled up, the memory requirements for backpropagation become prohibitively high. Zeroth-order (ZO) optimization methods can leverage memory-efficient forward passes to estimate gradients. More recently, MeZO, an adaptation of ZO-SGD, has been shown to consistently outperform zero-shot and in-context learning when combined with suitable task prompts. In this work, we couple ZO methods with variance reduction techniques to enhance stability and convergence for inference-based LM fine-tuning. We introduce Memory-Efficient Zeroth-Order Stochastic Variance-Reduced Gradient (MeZO-SVRG) and demonstrate its efficacy across multiple LM fine-tuning tasks, eliminating the reliance on task-specific prompts. Evaluated across a range of both masked and autoregressive LMs on benchmark GLUE tasks, MeZO-SVRG outperforms MeZO with up to 20% increase in test accuracies in both full- and partial-parameter fine-tuning settings. MeZO-SVRG benefits from reduced computation time as it often surpasses MeZO's peak test accuracy with a $2\times$ reduction in GPU-hours. MeZO-SVRG significantly reduces the required memory footprint compared to first-order SGD, i.e. by $2\times$ for autoregressive models. Our experiments highlight that MeZO-SVRG's memory savings progressively improve compared to SGD with larger batch sizes.


title: Real-Time Detection and Analysis of Vehicles and Pedestrians using Deep Learning

abstract: Computer vision, particularly vehicle and pedestrian identification is critical to the evolution of autonomous driving, artificial intelligence, and video surveillance. Current traffic monitoring systems confront major difficulty in recognizing small objects and pedestrians effectively in real-time, posing a serious risk to public safety and contributing to traffic inefficiency. Recognizing these difficulties, our project focuses on the creation and validation of an advanced deep-learning framework capable of processing complex visual input for precise, real-time recognition of cars and people in a variety of environmental situations. On a dataset representing complicated urban settings, we trained and evaluated different versions of the YOLOv8 and RT-DETR models. The YOLOv8 Large version proved to be the most effective, especially in pedestrian recognition, with great precision and robustness. The results, which include Mean Average Precision and recall rates, demonstrate the model's ability to dramatically improve traffic monitoring and safety. This study makes an important addition to real-time, reliable detection in computer vision, establishing new benchmarks for traffic management systems.


title: Costability of Comodules

abstract: Given a ring $R$, we have a classical result stating that the ordinary category of modules is the abelianization of the category of augmented $R$-algebras. Analogously, using the framework of infinity categories and higher algebra, Francis showed that the infinity category of $R$-modules is the stabilization of the infinity category of augmented $R$-algebras. In this work we show a dual result for coalgebras over a cooperad $Q$: namely that given a coalgebra $C$, comodules over $C$ are the costabilization of coalgebras over $C$, which is the universal stable category with a finite colimit preserving functor to coalgebras over $C$.


title: On the Class $\mathcal{S}$ Origin of Spindle Solutions

abstract: We analyse the backreacted geometry corresponding to a stack of M5-branes wrapped on a spindle, with a view towards precision tests of the dual $\mathcal{N} = 1$ superconformal field theory. We carefully study the singular loci of the uplifted geometry and show that these correspond to $\mathbf{C}^3/\mathbf{Z}_n$ conical singularities. Therefore, these solutions present one of the first explicit realisations of honest locally $\mathcal{N} = 1$ preserving punctures in class $\mathcal{S}$. Additionally, we study the symmetries and anomalies of the dual field theory through anomaly inflow and compute a variety of holographic observables including dimensions of BPS operators. This work paves the way for advancements in the study and identification of the precise dual field theories.


title: Diagramatics for cyclic pointed fusion categories

abstract: We give a parametrization of cyclic pointed categories associated to the cyclic group of order $n$ in terms of $n$-th roots of unity. We also provide a diagramatic description of these categories by generators and relations, and use it to characterize their $2$-group of automorphisms.


title: Matrix Multiplication Reductions

abstract: In this paper we study a worst case to average case reduction for the problem of matrix multiplication over finite fields. Suppose we have an efficient average case algorithm, that given two random matrices $A,B$ outputs a matrix that has a non-trivial correlation with their product $A \cdot B$. Can we transform it into a worst case algorithm, that outputs the correct answer for all inputs without incurring a significant overhead in the running time? We present two results in this direction. (1) Two-sided error in the high agreement regime: We begin with a brief remark about a reduction for high agreement algorithms, i.e., an algorithm which agrees with the correct output on a large (say $>0.9$) fraction of entries, and show that the standard self-correction of linearity allows us to transform such algorithms into algorithms that work in worst case. (2) One-sided error in the low agreement regime: Focusing on average case algorithms with one-sided error, we show that over $\mathbb{F}_2$ there is a reduction that gets an $O(T)$ time average case algorithm that given a random input $A,B$ outputs a matrix that agrees with $A \cdot B$ on at least $51\%$ of the entries (i.e., has only a slight advantage over the trivial algorithm), and transforms it into an $\widetilde{O}(T)$ time worst case algorithm, that outputs the correct answer for all inputs with high probability.


title: Fast Assignment in Asset-Guarding Engagements using Function Approximation

abstract: This letter considers assignment problems consisting of n pursuers attempting to intercept n targets. We consider stationary targets as well as targets maneuvering toward an asset. The assignment algorithm relies on an n x n cost matrix where entry (i, j) is the minimum time for pursuer i to intercept target j. Each entry of this matrix requires the solution of a nonlinear optimal control problem. This subproblem is computationally intensive and hence the computational cost of the assignment is dominated by the construction of the cost matrix. We propose to use neural networks for function approximation of the minimum time until intercept. The neural networks are trained offline, thus allowing for real-time online construction of cost matrices. Moreover, the function approximators have sufficient accuracy to obtain reasonable solutions to the assignment problem. In most cases, the approximators achieve assignments with optimal worst case intercept time. The proposed approach is demonstrated on several examples with increasing numbers of pursuers and targets.


title: Time-resolved Hubble Space Telescope Wide Field Camera 3 Spectrophotometry Reveals Inefficient Day-to-Night Heat Redistribution in the Highly Irradiated Brown Dwarf SDSS 1557B

abstract: Brown dwarfs in ultra-short period orbits around white dwarfs offer a unique opportunity to study the properties of tidally-locked, fast rotating (1-3 hr), and highly-irradiated atmospheres. Here, we present phase-resolved spectrophotometry of the white dwarf-brown dwarf (WD-BD) binary SDSS 1557, which is the fifth WD-BD binary in our six-object sample. Using the Hubble Space Telescope Wide Field Camera 3 Near-infrared G141 instrument, the 1.1 to 1.7 $\mu$m phase curves show rotational modulations with semi-amplitudes of 10.5$\pm$0.1%. We observe a wavelength dependent amplitude, with longer wavelengths producing larger amplitudes, while no wavelength dependent phase shifts were identified. The phase-resolved extracted BD spectra exhibit steep slopes and are nearly featureless. A simple radiative energy redistribution atmospheric model recreates the hemisphere integrated brightness temperatures at three distinct phases and finds evidence for weak redistribution efficiency. Our model also predicts a higher inclination than previously published. We find that SDSS 1557B, the second most irradiated BD in our sample, is likely dominated by clouds on the night side, whereas the featureless day side spectrum is likely dominated by H$^-$ opacity and a temperature inversion, much like the other highly-irradiated BD EPIC2122B.


title: Visual Context-Aware Person Fall Detection

abstract: As the global population ages, the number of fall-related incidents is on the rise. Effective fall detection systems, specifically in healthcare sector, are crucial to mitigate the risks associated with such events. This study evaluates the role of visual context, including background objects, on the accuracy of fall detection classifiers. We present a segmentation pipeline to semi-automatically separate individuals and objects in images. Well-established models like ResNet-18, EfficientNetV2-S, and Swin-Small are trained and evaluated. During training, pixel-based transformations are applied to segmented objects, and the models are then evaluated on raw images without segmentation. Our findings highlight the significant influence of visual context on fall detection. The application of Gaussian blur to the image background notably improves the performance and generalization capabilities of all models. Background objects such as beds, chairs, or wheelchairs can challenge fall detection systems, leading to false positive alarms. However, we demonstrate that object-specific contextual transformations during training effectively mitigate this challenge. Further analysis using saliency maps supports our observation that visual context is crucial in classification tasks. We create both dataset processing API and segmentation pipeline, available at https://github.com/A-NGJ/image-segmentation-cli.


title: Efficient Duple Perturbation Robustness in Low-rank MDPs

abstract: The pursuit of robustness has recently been a popular topic in reinforcement learning (RL) research, yet the existing methods generally suffer from efficiency issues that obstruct their real-world implementation. In this paper, we introduce duple perturbation robustness, i.e. perturbation on both the feature and factor vectors for low-rank Markov decision processes (MDPs), via a novel characterization of $(\xi,\eta)$-ambiguity sets. The novel robust MDP formulation is compatible with the function representation view, and therefore, is naturally applicable to practical RL problems with large or even continuous state-action spaces. Meanwhile, it also gives rise to a provably efficient and practical algorithm with theoretical convergence rate guarantee. Examples are designed to justify the new robustness concept, and algorithmic efficiency is supported by both theoretical bounds and numerical simulations.


title: Theoretical and Global Simulation Analysis of Collisional Microtearing

abstract: This study delves into Microtearing Modes (MTMs) in tokamak plasmas, employing advanced simulations within the BOUT++ framework. The research, centering on collisional MTMs influenced by the time-dependent thermal force, enhances our understanding of plasma dynamics. It achieves this through the simplification and linearization of control equations in detailed linear simulations. The study meticulously evaluates various conductivity models, including those proposed by Larakers, Drake, and Hassam, under diverse plasma conditions and collision regimes. A notable achievement of this research is the derivation of a unified dispersion relation that encompasses both MTM and Drift-Alfven Wave (DAW) instabilities. It interestingly reveals that DAW and MTM exhibit instability at different proximities to the rational surface. Specifically, MTMs become unstable near the rational surface but stabilize farther away, whereas the drift-Alfven instability manifests away from the rational surface. Further, the study re-derives MTM dispersion relations based on Ohm's law and the vorticity equation, providing a thorough analysis of electromagnetic and electrostatic interactions in tokamaks. Global simulations demonstrate an inverse correlation between MTM growth rates and collisionality, and a direct correlation with temperature gradients. The nonalignment of the rational surface with the peak of electron local diamagnetic frequency stabilizes the MTMs. Nonlinear simulations highlight electron temperature relaxation as the primary saturation mechanism for MTMs, with magnetic flutter identified as the dominant mode of electron thermal transport.


title: Continual Learning of Range-Dependent Transmission Loss for Underwater Acoustic using Conditional Convolutional Neural Net

abstract: There is a significant need for precise and reliable forecasting of the far-field noise emanating from shipping vessels. Conventional full-order models based on the Navier-Stokes equations are unsuitable, and sophisticated model reduction methods may be ineffective for accurately predicting far-field noise in environments with seamounts and significant variations in bathymetry. Recent advances in reduced-order models, particularly those based on convolutional and recurrent neural networks, offer a faster and more accurate alternative. These models use convolutional neural networks to reduce data dimensions effectively. However, current deep-learning models face challenges in predicting wave propagation over long periods and for remote locations, often relying on auto-regressive prediction and lacking far-field bathymetry information. This research aims to improve the accuracy of deep-learning models for predicting underwater radiated noise in far-field scenarios. We propose a novel range-conditional convolutional neural network that incorporates ocean bathymetry data into the input. By integrating this architecture into a continual learning framework, we aim to generalize the model for varying bathymetry worldwide. To demonstrate the effectiveness of our approach, we analyze our model on several test cases and a benchmark scenario involving far-field prediction over Dickin's seamount in the Northeast Pacific. Our proposed architecture effectively captures transmission loss over a range-dependent, varying bathymetry profile. This architecture can be integrated into an adaptive management system for underwater radiated noise, providing real-time end-to-end mapping between near-field ship noise sources and received noise at the marine mammal's location.


title: Data-Augmentation-Based Dialectal Adaptation for LLMs

abstract: This report presents GMUNLP's participation to the Dialect-Copa shared task at VarDial 2024, which focuses on evaluating the commonsense reasoning capabilities of large language models (LLMs) on South Slavic micro-dialects. The task aims to assess how well LLMs can handle non-standard dialectal varieties, as their performance on standard languages is already well-established. We propose an approach that combines the strengths of different types of language models and leverages data augmentation techniques to improve task performance on three South Slavic dialects: Chakavian, Cherkano, and Torlak. We conduct experiments using a language-family-focused encoder-based model (BERTi\'c) and a domain-agnostic multilingual model (AYA-101). Our results demonstrate that the proposed data augmentation techniques lead to substantial performance gains across all three test datasets in the open-source model category. This work highlights the practical utility of data augmentation and the potential of LLMs in handling non-standard dialectal varieties, contributing to the broader goal of advancing natural language understanding in low-resource and dialectal settings. Code:https://github.com/ffaisal93/dialect_copa


title: Towards a Robust Soft Baby Robot With Rich Interaction Ability for Advanced Machine Learning Algorithms

abstract: Artificial intelligence has made great strides in many areas lately, yet it has had comparatively little success in general-use robotics. We believe one of the reasons for this is the disconnect between traditional robotic design and the properties needed for open-ended, creativity-based AI systems. To that end, we, taking selective inspiration from nature, build a robust, partially soft robotic limb with a large action space, rich sensory data stream from multiple cameras, and the ability to connect with others to enhance the action space and data stream. As a proof of concept, we train two contemporary machine learning algorithms to perform a simple target-finding task. Altogether, we believe that this design serves as a first step to building a robot tailor-made for achieving artificial general intelligence.


title: Microlensing near macro-caustics

abstract: Microlensing near macro-caustics is a complex phenomenon in which swarms of micro-images produced by micro-caustics form on both sides of a macro-critical curve. Recent discoveries of highly magnified images of individual stars in massive galaxy cluster lenses, predicted to be formed by these micro-image swarms, have stimulated studies on this topic. In this Chapter, we explore microlensing near macro-caustics using both simulations and analytic calculations. We show that the mean total magnification of the micro-image swarms follows that of an extended source in the absence of microlensing. Micro-caustics join into a connected network in a region around the macro-critical line of a width proportional to the surface density of microlenses; within this region, the increase of the mean magnification toward the macro-caustic is driven by the increase of the number of micro-images rather than individual magnifications of micro-images. The maximum achievable magnification in micro-caustic crossings decreases with the mass fraction in microlenses. We conclude with a review of applications of this microlensing phenomenon, including limits to the fraction of dark matter in compact objects, and searches of Population III stars and dark matter subhalos. We argue that the discovered highly magnified stars at cosmological distances already imply that less than $\sim$ 10\% of the dark matter may be in the form of compact objects with mass above $\sim 10^{-6}\, M_{\odot}$.


title: Energy-Intensive Industries Providing Ancillary Services: A Real Case of Zinc Galvanizing Process

abstract: Energy-intensive industries can adapt to help balance the power grid. By using a real-world case study of a zinc galvanizing process in Denmark, we show how a modest investment in power control of the furnace enables the provision of various ancillary services. We consider two types of services, namely frequency containment reserve (FCR) and manual frequency restoration reserve (mFRR), and numerically conclude that the monetary value of both services is significant, such that the pay-back time of investment is potentially within a year. The FCR service provision is more preferable as its impact on the temperature of the zinc is negligible.


title: Realizing pairs of multicurves as cylinders on translation surfaces

abstract: Any pair of intersecting cylinders on a translation surface is "coherent," in that the geometric and algebraic intersection numbers of their core curves are equal (up to sign). In this paper, we investigate when a pair of multicurves can be simultaneously realized as the core curves of cylinders on some translation surface. Our main tools are surface topology and the "flat grafting" deformation introduced by Ser-Wei Fu.


title: Can repeller dynamics explain dominant pebble axis ratios?

abstract: In the present work we focus on the morphology of well abraded, almost perfectly ellipsoidal natural pebbles. Flat, oblate and prolate ellipsoidal pebbles are expected to be characterized by qualitatively different shape evolution due to being unequally prone to specific rolling and sliding motions in natural environments. The three typical motions are considered as sliding on the flattest side and rolling around the longest and shortest axes. First, we assume by mechanical considerations that each of these motions alone affects the shortening of only one or two principal axes, then we formulate a mathematical expression associating the willingness as a probability to each motion of a given ellipsoid with arbitrary axis ratios. As a consequence, any of the motions is capable of suppressing the other two when the pebble is either ideally flat, oblate or prolate. We present through a numerical analysis that our model predicts a self-excited shape evolution and curiously suggests the existence of an unstable equilibrium (repeller) in the vicinity of the naturally dominant average axis ratios found in the literature. Due to the self-excited evolution, pebbles diverging away from the proximity of the repeller are expected to rapidly become sufficiently thin or flat to easily break up into smaller fragments, which are no longer considered relevant in our investigation. Ultimately, our model outlines the possibility that the dominant axis ratios might be due to a well-balanced mixture of the motions and the corresponding slow evolution around the repeller. Besides the theoretical predictions, we present experimental investigations of the dominant motions of various 3D-printed ellipsoidal shapes over an inclined planar surface and compare the results with the predictions of our model.


title: The Impact of School and Family Networks on COVID-19 Infections Among Dutch Students: A Study Using Population-Level Registry Data

abstract: Understanding the impact of different social interactions is key to improving epidemic models. Here, we use extensive registry data -- including PCR test results and population-level networks -- to investigate the impact of school, family, and other social contacts on SARS-CoV-2 transmission in the Netherlands (June 2020--October 2021). We isolate and compare different contexts of potential SARS-CoV-2 transmission by matching pairs of students based on their attendance at the same or different primary school (in 2020) and secondary school (in 2021) and their geographic proximity. We then calculated the probability of temporally associated infections -- i.e. the probability of both students testing positive within a 14-day period. Our results highlight the relative importance of household and family transmission in the spread of SARS-CoV-2 compared to school settings. The probability of temporally associated infections for siblings and parent-child pairs living in the same household was 22.6--23.2\%, and 4.7--7.9\% for family members living in different household. In contrast, the probability of temporally associated infections was 0.52\% for pairs of students living nearby but not attending the same primary or secondary school, 0.66\% for pairs attending different secondary schools but having attended the same primary school, and 1.65\% for pairs attending the same secondary school. Finally, we used multilevel regression analyses to examine how individual, school, and geographic factors contribute to transmission risk. We found that the largest differences in transmission probabilities were due to unobserved individual (60\%) and school-level (34\%) factors. Only a small proportion (3\%) could be attributed to geographic proximity of students or to school size, denomination, or the median income of the school area.


title: Comparing quantum fluctuations in the spin-$\frac{1}{2}$ and spin-$1$ XXZ Heisenberg models on square and honeycomb lattices

abstract: We present a detailed investigation of the XXZ Heisenberg model for spin-$1/2$ and spin-$1$ systems on square and honeycomb lattices. Utilizing the density-matrix renormalization group (DMRG) method, complemented by Spiral Boundary Conditions (SBC) for mapping two-dimensional (2D) clusters onto one-dimensional (1D) chains, we meticulously explore the evolution of staggered magnetization and spin gaps across a broad spectrum of easy-axis anisotropies. Our study reveals that, despite the lower site coordination number of honeycomb lattice, which intuitively suggests increased quantum fluctuations in its N\'eel phase compared to the square lattice, the staggered magnetization in the honeycomb structure exhibits only a marginal reduction. Furthermore, our analysis demonstrates that the dependence of staggered magnetization on the XXZ anisotropy $\Delta$, except in close proximity to $\Delta=1$, aligns with series expansion predictions up to the 12th order. Notably, for the $S=1/2$ honeycomb lattice, deviations from the 10th order series expansion predictions near the isotropic Heisenberg limit emphasize the critical influence of quantum fluctuations on the spin excitation in its N\'eel state. Additionally, our findings are numerically consistent with the singular behavior of the spin gap near the isotropic Heisenberg limit as forecasted by spin-wave theory. The successful implementation of SBC marks a methodological advancement, streamlining the computational complexity involved in analyzing 2D models and paving the way for more precise determinations of physical properties in complex lattice systems.


title: Particle Physics: a crash course for Mathematicians

abstract: This introductory work combines bottom-up and top-down approaches towards understanding the underlying categorical structure of possible unifying theories descending from string theory. Guided by well-established developments in the realm of categorical algebraic geometry, we explain why abelianisation could potentially lead to furthering the understanding of how to embed Beyond the Standard Model scenarios in supersymmetric setups.


title: Source Invariance and Probabilistic Transfer: A Testable Theory of Probabilistic Neural Representations

abstract: As animals interact with their environments, they must infer properties of their surroundings. Some animals, including humans, can represent uncertainty about those properties. But when, if ever, do they use probability distributions to represent their uncertainty? It depends on which definition we choose. In this paper, we argue that existing definitions are inadequate because they are untestable. We then propose our own definition. There are two reasons why existing definitions are untestable. First, they do not distinguish between representations of uncertainty and representations of variables merely related to uncertainty ('representational indeterminacy'). Second, they do not distinguish between probabilistic representations of uncertainty and merely "heuristic" representations of uncertainty. We call this 'model indeterminacy' because the underlying problem is that we do not have access to the animal's generative model. We define probabilistic representations by two properties: 1) they encode uncertainty regardless of the source of the uncertainty ('source invariance'), 2) they support the efficient learning of new tasks that would be more difficult to learn given non-probabilistic representations ('probabilistic task transfer'). Source invariance indicates that they are representations of uncertainty rather than variables merely related to uncertainty, thereby solving representational indeterminacy. Probabilistic task transfer indicates that they are probabilistic representations of uncertainty rather than merely heuristic representations, thereby solving model indeterminacy.


title: Normal bundles of rational curves in Grassmannians

abstract: In projective space over fields of characteristic different from 2, the normal bundle of a general nondegenerate rational curve is balanced. The corresponding statement for rational curves in other Grassmannians can fail. Nevertheless, we prove that the normal bundle of a general rational curve in a Grassmannian decomposes into a direct sum of line bundles whose degrees are at most 2 apart.


title: Tunneling magnetoresistance in MgO tunnel junctions with Fe-based leads in empirically corrected density functional theory

abstract: The minority-spin Fe/MgO interface states are at the Fermi level in density functional theory (DFT), but experimental evidence and GW calculations place them slightly higher in energy. This small shift can strongly influence tunneling magnetoresistance (TMR) in junctions with a thin MgO barrier and its dependence on the concentration of Co in the electrodes. Here, an empirical potential correction to DFT is introduced to shift the interface states up to match the tunnel spectroscopy data. With this shift, TMR in Fe/MgO/Fe junctions exceeds 800% and 3000% at 3 and 4 monolayers (ML) of MgO, respectively. We further consider the effect of alloying of the Fe electrodes with up to 30% Co or 10% V, treating them in the coherent potential approximation (CPA). Alloying with Co broadens the interface states and brings a large incoherent minority-spin spectral weight to the Fermi level. Alloying with V brings the minority-spin resonant states close to the Fermi level. However, in both cases the minority-spin spectral weight at the Fermi level resides primarily at the periphery of the Brillouin zone, which is favorable for spin filtering. Using convolutions of $\mathbf{k}_\parallel$-resolved barrier densities of states calculated in CPA, it is found that TMR is strongly reduced by alloying with Co or V but still remains above 500% at 4 ML of MgO up to 30% of Co or 5% V. At 5 ML, the TMR increases above 1000% in all systems considered. On the other hand, while TMR declines sharply with increasing bias up to 0.2 eV in the MTJ with pure Fe leads, it remains almost constant up to 0.5 eV if leads are alloyed with Co.


title: SimpliCity: Reconstructing Buildings with Simple Regularized 3D Models

abstract: Automatic methods for reconstructing buildings from airborne LiDAR point clouds focus on producing accurate 3D models in a fast and scalable manner, but they overlook the problem of delivering simple and regularized models to practitioners. As a result, output meshes often suffer from connectivity approximations around corners with either the presence of multiple vertices and tiny facets, or the necessity to break the planarity constraint on roof sections and facade components. We propose a 2D planimetric arrangement-based framework to address this problem. We first regularize, not the 3D planes as commonly done in the literature, but a 2D polyhedral partition constructed from the planes. Second, we extrude this partition to 3D by an optimization process that guarantees the planarity of the roof sections as well as the preservation of the vertical discontinuities and horizontal rooftop edges. We show the benefits of our approach against existing methods by producing simpler 3D models while offering a similar fidelity and efficiency.


title: Uniform Inference in High-Dimensional Threshold Regression Models

abstract: We develop uniform inference for high-dimensional threshold regression parameters and valid inference for the threshold parameter in this paper. We first establish oracle inequalities for prediction errors and $\ell_1$ estimation errors for the Lasso estimator of the slope parameters and the threshold parameter, allowing for heteroskedastic non-subgaussian error terms and non-subgaussian covariates. Next, we derive the asymptotic distribution of tests involving an increasing number of slope parameters by debiasing (or desparsifying) the scaled Lasso estimator. The asymptotic distribution of tests without the threshold effect is identical to that with a fixed effect. Moreover, we perform valid inference for the threshold parameter using subsampling method. Finally, we conduct simulation studies to demonstrate the performance of our method in finite samples.


title: KestRel: Relational Verification Using E-Graphs for Program Alignment

abstract: Many interesting program properties involve the execution of multiple programs, including observational equivalence, noninterference, co-termination, monotonicity, and idempotency. One popular approach to reasoning about these sorts of relational properties is to construct and verify a product program: a program whose correctness implies that the individual programs exhibit the desired relational property. A key challenge in product program construction is finding a good alignment of the original programs. An alignment puts subparts of the original programs into correspondence so that their similarities can be exploited in order to simplify verification. We propose an approach to product program construction that uses e-graphs, equality saturation, and algebraic realignment rules to efficiently represent and build verifiable product programs. A key ingredient of our solution is a novel data-driven extraction technique that uses execution traces of product programs to identify candidate solutions that are semantically well-aligned. We have implemented a relational verification engine based on our proposed approach, called KestRel, and use it to evaluate our approach over a suite of benchmarks taken from the relational verification literature.


title: Using Flexibility Envelopes for the Demand-Side Hierarchical Optimization of District Heating Networks

abstract: The demand-side control of district heating networks is notoriously challenging due to the large number of connected users and the high number of states to be considered. To overcome these challenges, this paper presents a hierarchical optimization scheme using the flexibility in heating demand provided by the users to improve the performance of the network. This hierarchical scheme relies on a low level controller to calculate the costs for a subsystem over a given set of potential pressure drops for that subsystem. The high level controller then uses these calculated costs to determine the optimal set of pressure drops for every subgraph of the partitioned network. The proposed hierarchical optimization scheme is demonstrated on a representative 20 user district heating network, resulting in a 67\% reduction in bypass mass flow while ensuring all network users stay within 2 \degree C of their desired nominal temperatures.


title: Protein intrinsic disorder prediction using Attention U-Net and ProtTrans protein language model

abstract: The prediction of intrinsic disorder regions has significant implications for understanding protein function, structure, and dynamics. It can help to discover novel functions or protein-protein interactions essential to designing new drugs, therapies, or enzymes. Recently, a new generation of predictors based on protein language models is emerging. These algorithms reach state-of-the-art accuracy without calculating time-consuming multiple sequence alignments (MSAs). The article pre-sents a new protein intrinsic disorder predictor DisorderUnetLM based on the Attention U-Net convolutional neural network using features from the protein language model ProtTrans. DisorderUnetLM shows top results in the direct comparison with flDPnn and IDP-CRF predictors using MSAs and with the SETH predictor using features from the same ProtTrans model. Moreover, among 41 predictors from the latest Critical Assessment of Protein Intrinsic Disorder Prediction (CAID-2) benchmark, it ranks 9th for the Disorder-PDB subset (with ROC-AUC of 0.924) and 1st for the Disorder-NOX subset (with ROC-AUC of 0.844) which confirms its potential to perform well in the upcoming CAID-3 challenge for which Disor-derUnetLM was submitted.


title: Study of isoscalar scalar $bc\bar u\bar d$ tetraquark $T_{bc}$ from lattice QCD

abstract: We present a lattice QCD study of the elastic $S$-wave $D\bar{B}$ scattering in search of tetraquark candidates with explicitly exotic flavor content $bc\bar u\bar d$ in the isospin $I\!=\!0$ and $J^P=0^+$ channel. We use four lattice QCD ensembles with dynamical $u/d$, $s$, and $c$ quark fields generated by the MILC Collaboration. A non-relativistic QCD Hamiltonian, including improvement coefficients up to $\mathcal{O}(\alpha_sv^4)$, is utilized for the bottom quarks. For the rest of the valence quarks we employ a relativistic overlap action. Five different valence quark masses are utilized to study the light quark mass dependence of the $D\bar{B}$ scattering amplitude. The finite volume energy spectra are extracted following a variational approach. The elastic $D\bar{B}$ scattering amplitudes are extracted employing L\"{u}scher's prescription. The light quark mass dependence of the continuum extrapolated amplitudes suggests an attractive interaction between the $\bar B$ and $D$ mesons. At the physical pseudoscalar meson mass ($M_{ps}=M_{\pi}$) the $D\bar{B}$ scattering amplitude has a sub-threshold pole corresponding to a binding energy of $-39(^{+4}_{-6})(^{~+8}_{-18}) \mbox{~MeV}$ with respect to the $D\bar{B}$ threshold. The critical $M_{ps}$ at which the $D\bar{B}$ scattering length diverges and the system becomes unbound corresponds to $M^*_{ps}=2.94(15)(5) \mbox{~GeV}$. This result can hold significant experimental relevance in the search for a bound scalar $T_{bc}$ tetraquark, which could well be the next "doubly heavy" bound tetraquark to be discovered with only weak decay modes.


title: Toxic Synergy Between Hate Speech and Fake News Exposure

abstract: Hate speech on social media is a pressing concern. Understanding the factors associated with hate speech may help mitigate it. Here we explore the association between hate speech and exposure to fake news by studying the correlation between exposure to news from low-credibility sources through following connections and the use of hate speech on Twitter. Using news source credibility labels and a dataset of posts with hate speech targeting various populations, we find that hate speakers are exposed to lower percentages of posts linking to credible news sources. When taking the target population into account, we find that this association is mainly driven by anti-semitic and anti-Muslim content. We also observe that hate speakers are more likely to be exposed to low-credibility news with low popularity. Finally, while hate speech is associated with low-credibility news from partisan sources, we find that those sources tend to skew to the political left for antisemitic content and to the political right for hate speech targeting Muslim and Latino populations. Our results suggest that mitigating fake news and hate speech may have synergistic effects.


title: S3Editor: A Sparse Semantic-Disentangled Self-Training Framework for Face Video Editing

abstract: Face attribute editing plays a pivotal role in various applications. However, existing methods encounter challenges in achieving high-quality results while preserving identity, editing faithfulness, and temporal consistency. These challenges are rooted in issues related to the training pipeline, including limited supervision, architecture design, and optimization strategy. In this work, we introduce S3Editor, a Sparse Semantic-disentangled Self-training framework for face video editing. S3Editor is a generic solution that comprehensively addresses these challenges with three key contributions. Firstly, S3Editor adopts a self-training paradigm to enhance the training process through semi-supervision. Secondly, we propose a semantic disentangled architecture with a dynamic routing mechanism that accommodates diverse editing requirements. Thirdly, we present a structured sparse optimization schema that identifies and deactivates malicious neurons to further disentangle impacts from untarget attributes. S3Editor is model-agnostic and compatible with various editing approaches. Our extensive qualitative and quantitative results affirm that our approach significantly enhances identity preservation, editing fidelity, as well as temporal consistency.


title: Understanding Disorder in Monolayer Graphene Devices with Gate-Defined Superlattices

abstract: Engineering superlattices (SLs) - which are spatially periodic potential landscapes for electrons - is an emerging approach for the realization of exotic properties, including superconductivity and correlated insulators, in two-dimensional materials. While moir\'e SL engineering has been a popular approach, nanopatterning is an attractive alternative offering control over the pattern and wavelength of the SL. However, the disorder arising in the system due to imperfect nanopatterning is seldom studied. Here, by creating a square lattice of nanoholes in the $SiO_2$ dielectric layer using nanolithography, we study the superlattice potential and the disorder formed in hBN-graphene-hBN heterostructures. Specifically, we observe that while electrical transport shows distinct superlattice satellite peaks, the disorder of the device is significantly higher than graphene devices without any SL. We use finite-element simulations combined with a resistor network model to calculate the effects of this disorder on the transport properties of graphene. We consider three types of disorder: nanohole size variations, adjacent nanohole mergers, and nanohole vacancies. Comparing our experimental results with the model, we find that the disorder primarily originates from nanohole size variations rather than nanohole mergers in square SLs. We further confirm the validity of our model by comparing the results with quantum transport simulations. Our findings highlight the applicability of our simple framework to predict and engineer disorder in patterned SLs, specifically correlating variations in the resultant SL patterns to the observed disorder. Our combined experimental and theoretical results could serve as a valuable guide for optimizing nanofabrication processes to engineer disorder in nanopatterned SLs.


title: Predictive Handover Strategy in 6G and Beyond: A Deep and Transfer Learning Approach

abstract: Next-generation cellular networks will evolve into more complex and virtualized systems, employing machine learning for enhanced optimization and leveraging higher frequency bands and denser deployments to meet varied service demands. This evolution, while bringing numerous advantages, will also pose challenges, especially in mobility management, as it will increase the overall number of handovers due to smaller coverage areas and the higher signal attenuation. To address these challenges, we propose a deep learning based algorithm for predicting the future serving cell utilizing sequential user equipment measurements to minimize the handover failures and interruption time. Our algorithm enables network operators to dynamically adjust handover triggering events or incorporate UAV base stations for enhanced coverage and capacity, optimizing network objectives like load balancing and energy efficiency through transfer learning techniques. Our framework complies with the O-RAN specifications and can be deployed in a Near-Real-Time RAN Intelligent Controller as an xApp leveraging the E2SM-KPM service model. The evaluation results demonstrate that our algorithm achieves a 92% accuracy in predicting future serving cells with high probability. Finally, by utilizing transfer learning, our algorithm significantly reduces the retraining time by 91% and 77% when new handover trigger decisions or UAV base stations are introduced to the network dynamically.


title: Realistic Fr\"ohlich Scattering and Mobility of 2D Semiconductors in van der Waals Heterostructure

abstract: Two-dimensional (2D) semiconductors have demonstrated great potential for next-generation electronics and optoelectronics. Their atomic thinness facilitates the material design for desirable electronic properties when combined with other 2D materials in van der Waals (vdW) heterostructure. Although the carrier mobility has been well studied for suspended 2D semiconductors via first-principles calculation recently, it is not clear how they are affected by surrounding materials. In this work, we propose a model to consider the Fr\"ohlich scattering, an important scattering in polar materials from polar-optical (PO) phonons, in vdW heterostructures. Exemplified by InSe surrounded by h-BN, we found the InSe Fr\"ohlich mobility can be enhanced about 2.5 times by environmental dielectric screening and coupled PO phonons in vdW heterostructures. More interestingly, the strong remote PO phonons can enhance the InSe mobility instead of deteriorating it once considering the PO phonons coupling. Then several quantities of surrounding dielectrics are proposed to optimize the InSe Fr\"ohlich mobility, and then used for filtering potential 2D dielectric materials. Our work provides efficient calculation tools as well as physical insights for carrier transport of 2D semiconductors in realistic vdW heterostructures.


title: An extension theorem for weak solutions of the 3d incompressible Euler equations and applications to singular flows

abstract: We prove an extension theorem for local solutions of the 3d incompressible Euler equations. More precisely, we show that if a smooth vector field satisfies the Euler equations in a spacetime region $\Omega\times(0,T)$, one can choose an admissible weak solution on $\mathbf R^3\times (0,T)$ of class $C^\beta$ for any $\beta<1/3$ such that both fields coincide on $\Omega\times (0,T)$. Moreover, one controls the spatial support of the global solution. Our proof makes use of a new extension theorem for local subsolutions of the incompressible Euler equations and a $C^{1/3}$ convex integration scheme implemented in the context of weak solutions with compact support in space. We present two nontrivial applications of these ideas. First, we construct infinitely many admissible weak solutions of class $C^\beta_{\text{loc}}$ with the same vortex sheet initial data, which coincide with it at each time $t$ outside a turbulent region of width $O(t)$. Second, given any smooth solution $v$ of the Euler equation on $\mathbf T^3\times(0,T)$ and any open set $U \subset \mathbf T^3$, we construct admissible weak solutions which coincide with $v$ outside $U$ and are uniformly close to it everywhere at time 0, yet blow up dramatically on a subset of $U\times (0,T)$ of full Hausdorff dimension. These solutions are of class $C^\beta$ outside their singular set.


title: Zeros of random holomorphic sections of big line bundles with continuous metrics

abstract: Let $X$ be a compact normal complex space, $L$ be a big holomorphic line bundle on $X$ and $h$ be a continuous Hermitian metric on $L$. We consider the spaces of holomorphic sections $H^0(X, L^{\otimes p})$ endowed with the inner product induced by $h^{\otimes p}$ and a volume form on $X$, and prove that the corresponding sequence of normalized Fubini-Study currents converge weakly to the curvature current $c_1(L,h_{\mathrm{eq}})$ of the equilibrium metric $h_{\mathrm{eq}}$ associated to $h$. We also show that the normalized currents of integration along the zero divisors of random sequences of holomorphic sections converge almost surely to $c_1(L,h_{\mathrm{eq}})$, for very general classes of probability measures on $H^0(X, L^{\otimes p})$.


title: Two-dimensional Semiconductor Computational Carrier Mobility Genome

abstract: Two-dimensional (2D) crystalline semiconductors hold promise for next-generation electronic devices due to its atomical thickness and consequent properties. Despite years of search, literature-reported 2D semiconductors commonly suffered from low room-temperature charge mobility (< 200 cm2V-1s-1), due to the dimensionality-increased 'density of scattering', undesirable defects during fabrication and/or strong electron-phonon scattering. Therefore, understanding charge scatterings in 2D semiconductors via computational tools and discovering new 2D semiconductors with high mobility (> 1000 cm2V-1s-1) are both desirable. Here we review the accurate ab initio approaches for electron-phonon/defect/boundary scattering developed these years, and the efforts made in high-mobility 2D semiconductor high throughput screening. Starting from these studies, the common genome of high-mobility 2D semiconductor are summarized and discussed, which would contribute to further discovering of high mobility in 2D semiconductors.


title: HLTCOE at TREC 2023 NeuCLIR Track

abstract: The HLTCOE team applied PLAID, an mT5 reranker, and document translation to the TREC 2023 NeuCLIR track. For PLAID we included a variety of models and training techniques -- the English model released with ColBERT v2, translate-train~(TT), Translate Distill~(TD) and multilingual translate-train~(MTT). TT trains a ColBERT model with English queries and passages automatically translated into the document language from the MS-MARCO v1 collection. This results in three cross-language models for the track, one per language. MTT creates a single model for all three document languages by combining the translations of MS-MARCO passages in all three languages into mixed-language batches. Thus the model learns about matching queries to passages simultaneously in all languages. Distillation uses scores from the mT5 model over non-English translated document pairs to learn how to score query-document pairs. The team submitted runs to all NeuCLIR tasks: the CLIR and MLIR news task as well as the technical documents task.


title: Richtmyer-Meshkov Instability at high Mach Number: Non-Newtonian Effects

abstract: The Richtmyer-Meshkov instability (RMI) occurs when a shock wave passes through an interface between fluids of different densities, a phenomenon prevalent in a variety of scenarios including supersonic combustion, supernovae, and inertial confinement fusion. In the most advanced current numerical modelling of RMI, a multitude of secondary physical phenomena are typically neglected that may crucially change in silico predictions. In this study, we investigate the effects of shear-thinning behaviour of a fluid on the RMI at negative Atwood numbers via numerical simulations. A parametric study is carried out over a wide range of Atwood and Mach numbers that probes the flow dynamics following the impact on the interface of the initial shock wave and subsequent, reflected shocks. We demonstrate agreement between our numerical results and analytical predictions, which are valid during the early stages of the flow, and examine the effect of the system parameters on the vorticity distribution near the interface. We also carry out an analysis of the rate of vorticity production and dissipation budget which pinpoints the physical mechanisms leading to instability due to the initial and reflected shocks. Our findings indicate that the shear-thinning effects have a significant impact on instability growth and the development of secondary instabilities, which manifest themselves through the formation of Kelvin-Helmholtz waves. Specifically, we demonstrate that these effects influence vorticity generation and damping, which, in turn, affect the RMI growth. These insights have important implications for a range of applications, including inertial confinement fusion and bubble collapse within non-Newtonian materials.


title: A least-square method for non-asymptotic identification in linear switching control

abstract: The focus of this paper is on linear system identification in the setting where it is known that the underlying partially-observed linear dynamical system lies within a finite collection of known candidate models. We first consider the problem of identification from a given trajectory, which in this setting reduces to identifying the index of the true model with high probability. We characterize the finite-time sample complexity of this problem by leveraging recent advances in the non-asymptotic analysis of linear least-square methods in the literature. In comparison to the earlier results that assume no prior knowledge of the system, our approach takes advantage of the smaller hypothesis class and leads to the design of a learner with a dimension-free sample complexity bound. Next, we consider the switching control of linear systems, where there is a candidate controller for each of the candidate models and data is collected through interaction of the system with a collection of potentially destabilizing controllers. We develop a dimension-dependent criterion that can detect those destabilizing controllers in finite time. By leveraging these results, we propose a data-driven switching strategy that identifies the unknown parameters of the underlying system. We then provide a non-asymptotic analysis of its performance and discuss its implications on the classical method of estimator-based supervisory control.


title: Symmetric Tropical Rank 2 Matrices

abstract: We study the tropicalization of the space of symmetric rank two matrices. Analogously to the result of Markwig and Yu for general tropical rank two matrices, we show that it has a simplicial complex structure as the space of symmetric bicolored trees and that this simplicial complex is shellable. We also discuss some matroid structures arising from this space and present generating functions for the number of symmetric bicolored trees.


title: Cavity engineered phonon-mediated superconductivity in MgB$_2$ from first principles quantum electrodynamics

abstract: Strong laser pulses can control superconductivity, inducing non-equilibrium transient pairing by leveraging strong-light matter interaction. Here we demonstrate theoretically that equilibrium ground-state phonon-mediated superconductive pairing can be affected through the vacuum fluctuating electromagnetic field in a cavity. Using the recently developed ab initio quantum electrodynamical density-functional theory approximation, we specifically investigate the phonon-mediated superconductive behavior of MgB$_2$ under different cavity setups and find that in the strong light-matter coupling regime its superconducting transition temperature can be, in principles, enhanced by $\approx 73\%$ ($\approx 40\%$) in an in-plane (out-of-plane) polarized cavity. However, in a realistic cavity, we expect the T$_{\rm{c}}$ of MgB$_2$ can increase, at most, by $5$ K via photon vacuum fluctuations. The results highlight that strong light-matter coupling in extended systems can profoundly alter material properties in a non-perturbative way by modifying their electronic structure and phononic dispersion at the same time. Our findings indicate a pathway to the experimental realization of light-controlled superconductivity in solid-state materials at equilibrium via cavity-material engineering.

categories: cond-mat.supr-con cond-mat.mtrl-sci physics.app-ph physics.comp-ph


title: The weak Lefschetz property for Standard graded, Artinian Gorenstein algebras of embedding dimension four and socle degree three

abstract: Let $\pmb k$ be an arbitrary field and $A$ be a standard graded Artinian Gorenstein $\pmb k$-algebra of embedding dimension four and socle degree three. Then, except for exactly one exception, $A$ has the weak Lefschetz property. Furthermore, the exception occurs only in characteristic two.


title: Discord-type quantum correlations in axially symmetric spin-(1/2, $S$) systems

abstract: A mixed spin-$(1/2, S)$ system with arbitrary spin $S$ and interactions satisfying the U(1) axial symmetry is considered. Compact explicit forms of the local quantum uncertainty (LQU) and local quantum Fisher information (LQFI) are obtained directly through the entries and eigenvalues of the density matrix. Using these forms, we perform a comparative study of discord-type quantum correlations LQU and LQFI for the system at thermal equilibrium. An increase in quantum correlations with increasing spin length $S$ is discovered. Moreover, we find that as the system cools, quantum correlations can undergo one or more abrupt transitions while the temperature changes smoothly.


title: Deuteration removes quantum dipolar defects from KDP crystals

abstract: The structural, dielectric, and thermodynamic properties of the hydrogen-bonded ferroelectric crystal potassium dihydrogen phosphate ($\mathbf{KH_2PO_4}$), KDP for short, differ significantly from those of DKDP ($\mathbf{KD_2PO_4}$). It is well established that deuteration affects the interplay of hydrogen-bond switches and heavy ion displacements that underlie the emergence of macroscopic polarization, but a detailed microscopic model is missing. Here we show that all-atom path integral molecular dynamics simulations can predict the isotope effects, revealing the microscopic mechanism that differentiates KDP and DKDP. Proton tunneling in the hydrogen bonds generates phosphate configurations that do not contribute to the polarization. These dipolar defects are always present in KDP, but disappear at low temperatures in DKDP, which behaves more classically. Quantum disorder confers residual entropy to ferroelectric KDP, explaining its lower spontaneous polarization and transition entropy relative to DKDP. Tunneling should also contribute to the anomalous heat capacity observed in KDP near absolute zero. The prominent role of quantum fluctuations in KDP is related to the unusual strength of the hydrogen bonds in this system and should be equally important in the other crystals of the KDP family, which exhibit similar isotope effects.

categories: physics.comp-ph cond-mat.mtrl-sci cond-mat.stat-mech physics.chem-ph


title: Auctions with LLM Summaries

abstract: We study an auction setting in which bidders bid for placement of their content within a summary generated by a large language model (LLM), e.g., an ad auction in which the display is a summary paragraph of multiple ads. This generalizes the classic ad settings such as position auctions to an LLM generated setting, which allows us to handle general display formats. We propose a novel factorized framework in which an auction module and an LLM module work together via a prediction model to provide welfare maximizing summary outputs in an incentive compatible manner. We provide a theoretical analysis of this framework and synthetic experiments to demonstrate the feasibility and validity of the system together with welfare comparisons.