title: Reusing Deep Learning Models: Challenges and Directions in Software Engineering

abstract: Deep neural networks (DNNs) achieve state-of-the-art performance in many areas, including computer vision, system configuration, and question-answering. However, DNNs are expensive to develop, both in intellectual effort (e.g., devising new architectures) and computational costs (e.g., training). Reusing DNNs is a promising direction to amortize costs within a company and across the computing industry. As with any new technology, however, there are many challenges in reusing DNNs. These challenges include both missing technical capabilities and missing engineering practices. This vision paper describes challenges in current approaches to DNN re-use. We summarize studies of re-use failures across the spectrum of re-use techniques, including conceptual (e.g., reusing based on a research paper), adaptation (e.g., re-using by building on an existing implementation), and deployment (e.g., direct re-use on a new device). We outline possible advances that would improve each kind of re-use.


title: Learning to Beat ByteRL: Exploitability of Collectible Card Game Agents

abstract: While Poker, as a family of games, has been studied extensively in the last decades, collectible card games have seen relatively little attention. Only recently have we seen an agent that can compete with professional human players in Hearthstone, one of the most popular collectible card games. Although artificial agents must be able to work with imperfect information in both of these genres, collectible card games pose another set of distinct challenges. Unlike in many poker variants, agents must deal with state space so vast that even enumerating all states consistent with the agent's beliefs is intractable, rendering the current search methods unusable and requiring the agents to opt for other techniques. In this paper, we investigate the strength of such techniques for this class of games. Namely, we present preliminary analysis results of ByteRL, the state-of-the-art agent in Legends of Code and Magic and Hearthstone. Although ByteRL beat a top-10 Hearthstone player from China, we show that its play in Legends of Code and Magic is highly exploitable.


title: Neutrino many-body flavor evolution: the full Hamiltonian

abstract: We study neutrino flavor evolution in the quantum many-body approach using the full neutrino-neutrino Hamiltonian, including the usually neglected terms that mediate non-forward scattering processes. Working in the occupation number representation with plane waves as single-particle states, we explore the time evolution of simple initial states with up to $N=10$ neutrinos. We discuss the time evolution of the Loschmidt echo, one body flavor and kinetic observables, and the one-body entanglement entropy. For the small systems considered, we observe `thermalization' of both flavor and momentum degrees of freedom on comparable time scales, with results converging towards expectation values computed within a microcanonical ensemble. We also observe that the inclusion of non-forward processes generates a faster flavor evolution compared to the one induced by the truncated (forward) Hamiltonian.


title: Deep Hard X-ray Survey of the M81 Field Based on INTEGRAL Data

abstract: We have carried out a deep survey of the M81 field in the 25-60 keV energy band based on long-term (2003-2023) INTEGRAL observations. A record sensitivity of 0.16 mCrab at a detection significance of 4 sigma has been achieved in the central part of the field owing to the long accumulated exposure (19.2 Ms). The total area of the survey is 1004 deg^2 at a sensitivity level better than 0.72 mCrab. We have produced a catalog of sources detected at a significance level higher than 4 sigma. It contains 51 objects most of which are active galactic nuclei (AGNs). The median redshift of the Seyfert galaxies in the catalog is z=0.0366. Six sources have not been detected previously in any of the X-ray surveys. According to the available indirect data, all of them and two more sources that have already been entered previously into the INTEGRAL survey catalogs can also be AGNs, including those with strong internal absorption.


title: Influence of Solution Efficiency and Valence of Instruction on Additive and Subtractive Solution Strategies in Humans and GPT-4

abstract: We explored the addition bias, a cognitive tendency to prefer adding elements over removing them to alter an initial state or structure, by conducting four preregistered experiments examining the problem-solving behavior of both humans and OpenAl's GPT-4 large language model. The experiments involved 588 participants from the U.S. and 680 iterations of the GPT-4 model. The problem-solving task was either to create symmetry within a grid (Experiments 1 and 3) or to edit a summary (Experiments 2 and 4). As hypothesized, we found that overall, the addition bias was present. Solution efficiency (Experiments 1 and 2) and valence of the instruction (Experiments 3 and 4) played important roles. Human participants were less likely to use additive strategies when subtraction was relatively more efficient than when addition and subtraction were equally efficient. GPT-4 exhibited the opposite behavior, with a strong addition bias when subtraction was more efficient. In terms of instruction valence, GPT-4 was more likely to add words when asked to "improve" compared to "edit", whereas humans did not show this effect. When we looked at the addition bias under different conditions, we found more biased responses for GPT-4 compared to humans. Our findings highlight the importance of considering comparable and sometimes superior subtractive alternatives, as well as reevaluating one's own and particularly the language models' problem-solving behavior.


title: Mutual transformations of arbitrary ternary qubit trees by Clifford gates

abstract: It is shown that ternary qubit trees with the same number of nodes can be transformed by the naturally defined sequence of Clifford gates into each other or into standard representation as 1D chain corresponding to Jordan-Wigner transform.


title: A non-separable progressive multivariate WENO-$2r$ point value

abstract: The weighted essentially non-oscillatory {technique} using a stencil of $2r$ points (WENO-$2r$) is an interpolatory method that consists in obtaining a higher approximation order from the non-linear combination of interpolants of $r+1$ nodes. The result is an interpolant of order $2r$ at the smooth parts and order $r+1$ when an isolated discontinuity falls at any grid interval of the large stencil except at the central one. Recently, a new WENO method based on Aitken-Neville's algorithm has been designed for interpolation of equally spaced data at the mid-points and presents progressive order of accuracy close to discontinuities. This paper is devoted to constructing a general progressive WENO method for non-necessarily uniformly spaced data and several variables interpolating in any point of the central interval. Also, we provide explicit formulas for linear and non-linear weights and prove the order obtained. Finally, some numerical experiments are presented to check the theoretical results.


title: Kernelization Dichotomies for Hitting Subgraphs under Structural Parameterizations

abstract: For a fixed graph $H$, the $H$-SUBGRAPH HITTING problem consists in deleting the minimum number of vertices from an input graph to obtain a graph without any occurrence of $H$ as a subgraph. This problem can be seen as a generalization of VERTEX COVER, which corresponds to the case $H = K_2$. We initiate a study of $H$-SUBGRAPH HITTING from the point of view of characterizing structural parameterizations that allow for polynomial kernels, within the recently active framework of taking as the parameter the number of vertex deletions to obtain a graph in a "simple" class $C$. Our main contribution is to identify graph parameters that, when $H$-SUBGRAPH HITTING is parameterized by the vertex-deletion distance to a class $C$ where any of these parameters is bounded, and assuming standard complexity assumptions and that $H$ is biconnected, allow us to prove the following sharp dichotomy: the problem admits a polynomial kernel if and only if $H$ is a clique. These new graph parameters are inspired by the notion of $C$-elimination distance introduced by Bulian and Dawar [Algorithmica 2016], and generalize it in two directions. Our results also apply to the version of the problem where one wants to hit $H$ as an induced subgraph, and imply in particular, that the problems of hitting minors and hitting (induced) subgraphs have a substantially different behavior with respect to the existence of polynomial kernels under structural parameterizations.


title: Report on Candidate Computational Indicators for Conscious Valenced Experience

abstract: This report enlists 13 functional conditions cashed out in computational terms that have been argued to be constituent of conscious valenced experience. These are extracted from existing empirical and theoretical literature on, among others, animal sentience, medical disorders, anaesthetics, philosophy, evolution, neuroscience, and artificial intelligence.


title: High-Coherence Kerr-cat qubit in 2D architecture

abstract: The Kerr-cat qubit is a bosonic qubit in which multi-photon Schrodinger cat states are stabilized by applying a two-photon drive to an oscillator with a Kerr nonlinearity. The suppressed bit-flip rate with increasing cat size makes this qubit a promising candidate to implement quantum error correction codes tailored for noise-biased qubits. However, achieving strong light-matter interactions necessary for stabilizing and controlling this qubit has traditionally required strong microwave drives that heat the qubit and degrade its performance. In contrast, increasing the coupling to the drive port removes the need for strong drives at the expense of large Purcell decay. By integrating an effective band-block filter on-chip, we overcome this trade-off and realize a Kerr-cat qubit in a scalable 2D superconducting circuit with high coherence. This filter provides 30 dB of isolation at the qubit frequency with negligible attenuation at the frequencies required for stabilization and readout. We experimentally demonstrate quantum non-demolition readout fidelity of 99.6% for a cat with 8 photons. Also, to have high-fidelity universal control over this qubit, we combine fast Rabi oscillations with a new demonstration of the X(90) gate through phase modulation of the stabilization drive. Finally, the lifetime in this architecture is examined as a function of the cat size of up to 10 photons in the oscillator achieving a bit-flip time higher than 1 ms and only a linear decrease in the phase-flip time, in good agreement with the theoretical analysis of the circuit. Our qubit shows promise as a building block for fault-tolerant quantum processors with a small footprint.


title: Cooperate or Collapse: Emergence of Sustainability Behaviors in a Society of LLM Agents

abstract: As AI systems pervade human life, ensuring that large language models (LLMs) make safe decisions is a significant challenge. This paper introduces the Governance of the Commons Simulation (GovSim), a generative simulation platform designed to study strategic interactions and cooperative decision-making in LLMs. Using GovSim, we investigate the dynamics of sustainable resource sharing in a society of AI agents. This environment allows us to study the influence of ethical considerations, strategic planning, and negotiation skills on cooperative outcomes for AI agents. We develop an LLM-based agent architecture designed for these social dilemmas and test it with a variety of LLMs. We find that all but the most powerful LLM agents fail to achieve a sustainable equilibrium in GovSim. Ablations reveal that successful multi-agent communication between agents is critical for achieving cooperation in these cases. Furthermore, our analyses show that the failure to achieve sustainable cooperation in most LLMs stems from their inability to formulate and analyze hypotheses about the long-term effects of their actions on the equilibrium of the group. Finally, we show that agents that leverage ``Universalization''-based reasoning, a theory of moral thinking, are able to achieve significantly greater sustainability. Taken together, GovSim enables us to study the mechanisms that underlie sustainable self-government with significant specificity and scale. We open source the full suite of our research results, including the simulation environment, agent prompts, and a comprehensive web interface.


title: Generalized cyclic symmetric decompositions for the matrix multiplication tensor

abstract: In this paper we propose a new generalized cyclic symmetric structure in the factor matrices of polyadic decompositions of matrix multiplication tensors for non-square matrix multiplication to reduce the number of variables in the optimization problem and in this way improve the convergence.


title: Dimensional Crossover of Microscopic Magnetic Metasurfaces for Magnetic Field Amplification

abstract: Transformation optics applied to low frequency magnetic systems has been recently implemented to design magnetic field concentrators and cloaks with superior performance. Although this achievement has been amply demonstrated theoretically and experimentally in bulk 3D macrostructures, the performance of these devices at low dimensions remains an open question. In this work, we numerically investigate the non-monotonic evolution of the gain of a magnetic metamaterial field concentrator as the axial dimension is progressively shrunk. In particular, we show that in planar structures the role played by the diamagnetic components becomes negligible, whereas the paramagnetic elements increase their magnetic field channeling efficiency. This is further demonstrated experimentally by tracking the gain of superconductor-ferromagnet concentrators through the superconducting transition. Interestingly, for thicknesses where the diamagnetic petals play an important role for the concentration gain, they also help to reduce the stray field of the concentrator, thus limiting the perturbation of the external field (invisibility). Our findings establish a roadmap and set clear geometrical limits for designing low dimensional magnetic field concentrators.


title: On the Streaming Complexity of Expander Decomposition

abstract: In this paper we study the problem of finding $(\epsilon, \phi)$-expander decompositions of a graph in the streaming model, in particular for dynamic streams of edge insertions and deletions. The goal is to partition the vertex set so that every component induces a $\phi$-expander, while the number of inter-cluster edges is only an $\epsilon$ fraction of the total volume. It was recently shown that there exists a simple algorithm to construct a $(O(\phi \log n), \phi)$-expander decomposition of an $n$-vertex graph using $\widetilde{O}(n/\phi^2)$ bits of space [Filtser, Kapralov, Makarov, ITCS'23]. This result calls for understanding the extent to which a dependence in space on the sparsity parameter $\phi$ is inherent. We move towards answering this question on two fronts. We prove that a $(O(\phi \log n), \phi)$-expander decomposition can be found using $\widetilde{O}(n)$ space, for every $\phi$. At the core of our result is the first streaming algorithm for computing boundary-linked expander decompositions, a recently introduced strengthening of the classical notion [Goranci et al., SODA'21]. The key advantage is that a classical sparsifier [Fung et al., STOC'11], with size independent of $\phi$, preserves the cuts inside the clusters of a boundary-linked expander decomposition within a multiplicative error. Notable algorithmic applications use sequences of expander decompositions, in particular one often repeatedly computes a decomposition of the subgraph induced by the inter-cluster edges (e.g., the seminal work of Spielman and Teng on spectral sparsifiers [Spielman, Teng, SIAM Journal of Computing 40(4)], or the recent maximum flow breakthrough [Chen et al., FOCS'22], among others). We prove that any streaming algorithm that computes a sequence of $(O(\phi \log n), \phi)$-expander decompositions requires ${\widetilde{\Omega}}(n/\phi)$ bits of space, even in insertion only streams.


title: Generalized boost transformations in finite volumes and application to Hamiltonian methods

abstract: The investigation of hadron interactions within lattice QCD has been facilitated by the well-known quantisation condition, linking scattering phase shifts to finite-volume energies. Additionally, the ability to utilise systems at finite total boosts has been pivotal in smoothly charting the energy-dependent behaviour of these phase shifts. The existing implementations of the quantization condition at finite boosts rely on momentum transformations between rest and moving frames, defined directly in terms of the energy eigenvalues. This energy dependence is unsuitable in the formulation of a Hamiltonian.In this work, we introduce a novel approach to generalise the three-momentum boost prescription, enabling the incorporation of energy-independent finite-volume Hamiltonians within moving frames. We demonstrate the application of our method through numerical comparisons, employing a phenomenological $\pi\pi$ scattering example.


title: Conformal paraquaternionic contact curvature and the local flatness theorem

abstract: A tensor invariant is defined on a paraquaternionic contact manifold in terms of the curvature and torsion of the canonical paraquaternionic connection involving derivatives up to third order of the contact form. This tensor, called paraquaternionic contact conformal curvature, is similar to the Weyl conformal curvature in Riemannian geometry, the Chern-Moser tensor in CR geometry, the para contact curvature in para CR geometry and to the quaternionic contact conformal curvature in quaternionic contact geometry. It is shown that a paraquaternionic contact manifold is locally paraquaternionic contact conformal to the standard flat paraquaternionic contact structure on the paraquaternionic Heisenberg group, or equivalently, to the standard para 3-Sasakian structure on the paraquaternionic pseudo-sphere iff the paraquaternionic contact conformal curvature vanishes.


title: Fidelity and criticality in the nonreciprocal Aubry-Andr{\'e}-Harper model

abstract: We study the critical behaviors of the ground and first excited states in the one-dimensional nonreciprocal Aubry-Andr{\'e}-Harper model using both the self-normal and biorthogonal fidelity susceptibilities. We demonstrate that fidelity susceptibilities serve as a probe for the phase transition in the nonreciprocal AAH model. For ground states, characterized by real eigenenergies across the entire regime, both fidelity susceptibilities near the critical points scale as $N^{2}$, akin to the Hermitian AAH model. However, for the first-excited states, where $\mathcal{PT}$ transitions occur, the fidelity susceptibilities exhibit distinct scaling laws, contingent upon whether the lattice consists of even or odd sites. For even lattices, both the self-normal and and biorthogonal fidelity susceptibilities near the critical points continue to scale as $N^{2}$. In contrast, for odd lattices, the biorthogonal fidelity susceptibilities diverge, while the self-normal fidelity susceptibilities exhibit linear behavior, indicating a novel scaling law.


title: SHINE: Social Homology Identification for Navigation in Crowded Environments

abstract: Navigating mobile robots in social environments remains a challenging task due to the intricacies of human-robot interactions. Most of the motion planners designed for crowded and dynamic environments focus on choosing the best velocity to reach the goal while avoiding collisions, but do not explicitly consider the high-level navigation behavior (avoiding through the left or right side, letting others pass or passing before others, etc.). In this work, we present a novel motion planner that incorporates topology distinct paths representing diverse navigation strategies around humans. The planner selects the topology class that imitates human behavior the best using a deep neural network model trained on real-world human motion data, ensuring socially intelligent and contextually aware navigation. Our system refines the chosen path through an optimization-based local planner in real time, ensuring seamless adherence to desired social behaviors. In this way, we decouple perception and local planning from the decision-making process. We evaluate the prediction accuracy of the network with real-world data. In addition, we assess the navigation capabilities in both simulation and a real-world platform, comparing it with other state-of-the-art planners. We demonstrate that our planner exhibits socially desirable behaviors and shows a smooth and remarkable performance.


title: Efficient and Near-Optimal Noise Generation for Streaming Differential Privacy

abstract: In the task of differentially private (DP) continual counting, we receive a stream of increments and our goal is to output an approximate running total of these increments, without revealing too much about any specific increment. Despite its simplicity, differentially private continual counting has attracted significant attention both in theory and in practice. Existing algorithms for differentially private continual counting are either inefficient in terms of their space usage or add an excessive amount of noise, inducing suboptimal utility. The most practical DP continual counting algorithms add carefully correlated Gaussian noise to the values. The task of choosing the covariance for this noise can be expressed in terms of factoring the lower-triangular matrix of ones (which computes prefix sums). We present two approaches from this class (for different parameter regimes) that achieve near-optimal utility for DP continual counting and only require logarithmic or polylogarithmic space (and time). Our first approach is based on a space-efficient streaming matrix multiplication algorithm for a class of Toeplitz matrices. We show that to instantiate this algorithm for DP continual counting, it is sufficient to find a low-degree rational function that approximates the square root on a circle in the complex plane. We then apply and extend tools from approximation theory to achieve this. We also derive efficient closed-forms for the objective function for arbitrarily many steps, and show direct numerical optimization yields a highly practical solution to the problem. Our second approach combines our first approach with a recursive construction similar to the binary tree mechanism.


title: A self-improving property of Riesz potentials in BMO

abstract: In this paper we prove that for non-negative measurable functions $f$, \begin{align*} I_\alpha f \in BMO(\mathbb{R}^n) \text{ if and only if } I_\alpha f \in BMO^\beta(\mathbb{R}^n) \text{ for } \beta \in (n-\alpha,n]. \end{align*} Here $I_\alpha$ denotes the Riesz potential of order $\alpha$ and $BMO^\beta$ represents the space of functions of bounded $\beta$-dimensional mean oscillation.


title: Multi-view Cardiac Image Segmentation via Trans-Dimensional Priors

abstract: We propose a novel multi-stage trans-dimensional architecture for multi-view cardiac image segmentation. Our method exploits the relationship between long-axis (2D) and short-axis (3D) magnetic resonance (MR) images to perform a sequential 3D-to-2D-to-3D segmentation, segmenting the long-axis and short-axis images. In the first stage, 3D segmentation is performed using the short-axis image, and the prediction is transformed to the long-axis view and used as a segmentation prior in the next stage. In the second step, the heart region is localized and cropped around the segmentation prior using a Heart Localization and Cropping (HLC) module, focusing the subsequent model on the heart region of the image, where a 2D segmentation is performed. Similarly, we transform the long-axis prediction to the short-axis view, localize and crop the heart region and again perform a 3D segmentation to refine the initial short-axis segmentation. We evaluate our proposed method on the Multi-Disease, Multi-View & Multi-Center Right Ventricular Segmentation in Cardiac MRI (M&Ms-2) dataset, where our method outperforms state-of-the-art methods in segmenting cardiac regions of interest in both short-axis and long-axis images. The pre-trained models, source code, and implementation details will be publicly available.


title: Understanding Reliability from a Regression Perspective

abstract: Reliability is an important quantification of measurement precision based on a latent variable measurement model. Inspired by McDonald (2011), we present a regression framework of reliability, placing emphasis on whether latent or observed scores serve as the regression outcome. Our theory unifies two extant perspectives of reliability: (a) classical test theory (measurement decomposition), and (b) optimal prediction of latent scores (prediction decomposition). Importantly, reliability should be treated as a property of the observed score under a measurement decomposition, but a property of the latent score under a prediction decomposition. To facilitate the evaluation and interpretation of distinct reliability coefficients for complex measurement models, we introduce a Monte Carlo approach for approximate calculation of reliability. We illustrate the proposed computational procedure with an empirical data analysis, which concerns measuring susceptibility and severity of depressive symptoms using a two-dimensional item response theory model. We conclude with a discussion on computing reliability coefficients and outline future avenues of research.


title: LayerSkip: Enabling Early Exit Inference and Self-Speculative Decoding

abstract: We present LayerSkip, an end-to-end solution to speed-up inference of large language models (LLMs). First, during training we apply layer dropout, with low dropout rates for earlier layers and higher dropout rates for later layers, and an early exit loss where all transformer layers share the same exit. Second, during inference, we show that this training recipe increases the accuracy of early exit at earlier layers, without adding any auxiliary layers or modules to the model. Third, we present a novel self-speculative decoding solution where we exit at early layers and verify and correct with remaining layers of the model. Our proposed self-speculative decoding approach has less memory footprint than other speculative decoding approaches and benefits from shared compute and activations of the draft and verification stages. We run experiments on different Llama model sizes on different types of training: pretraining from scratch, continual pretraining, finetuning on specific data domain, and finetuning on specific task. We implement our inference solution and show speedups of up to 2.16x on summarization for CNN/DM documents, 1.82x on coding, and 2.0x on TOPv2 semantic parsing task.


title: On Matlis reflexive modules

abstract: Matlis duality for modules over commutative rings gives rise to the notion of Matlis reflexivity. It is shown that Matlis reflexive modules form a Krull-Schmidt category. For noetherian rings the absence of infinite direct sums is a characteristic feature of Matlis reflexivity. This leads to a discussion of objects that are extensions of artinian by noetherian objects. Classifications of Matlis reflexive modules are provided for some small examples.


title: Distributed MPC for PWA Systems Based on Switching ADMM

abstract: This paper presents a novel approach for distributed model predictive control (MPC) for piecewise affine (PWA) systems. Existing approaches rely on solving mixed-integer optimization problems, requiring significant computation power or time. We propose a distributed MPC scheme that requires solving only convex optimization problems. The key contribution is a novel method, based on the alternating direction method of multipliers, for solving the non-convex optimal control problem that arises due to the PWA dynamics. We present a distributed MPC scheme, leveraging this method, that explicitly accounts for the coupling between subsystems by reaching agreement on the values of coupled states. Stability and recursive feasibility are shown under additional assumptions on the underlying system. Two numerical examples are provided, in which the proposed controller is shown to significantly improve the CPU time and closed-loop performance over existing state-of-the-art approaches.


title: Geometry of paraquaternionic contact structures

abstract: We introduce the notion of paraquaternionic contact structures (pqc structures), which turns out to be a generalization of the para 3-Sasakian geometry. We derive a distinguished linear connection preserving the pqc structure. Its torsion tensor is expressed explicitly in terms of the structure tensors and the structure equations of a pqc manifold are presented. We define pqc-Einstein manifolds and show that para 3-Sasakian spaces are precisely pqc manifolds, which are pqc-Einstein. Furthermore, we introduce the paraquaternionic Heisenberg qroup and show that it is the flat model of the pqc geometry.


title: Log-normal glide and the formation of misfit dislocation networks in heteroepitaxial ZnS on GaP

abstract: Scanning electron microscopy (SEM) based electron channeling contrast imaging (ECCI) is used to observe and quantify misfit dislocation (MD) networks formed at the heteroepitaxial interface between ZnS and GaP grown by molecular beam epitaxy (MBE). Below a critical thickness of 15-20 nm, no MDs are observed. However, crystallographic features with strong dipole contrast, consistent with unexpanded dislocation half-loops, are observed prior to the formation of visible interfacial MD segments and any notable strain relaxation. At higher film thicknesses (20 to 50 nm), interfacial MD lengths increase anisotropically in the two orthogonal in-plane <110> line directions, threading dislocation (TD) density increases, and a roughening transition is observed from atomically smooth two-dimensional (2D) to a multi-stepped three-dimensional (3D) morphology, providing evidence for step edge pinning via surface terminating dislocations. The ZnS strain relaxation, calculated from the total MD content observed via ECCI, matches the average strain relaxation measured by high-resolution x-ray diffraction (HRXRD). The MD lengths are found to follow a log-normal distribution, indicating that the combined MD nucleation and TD glide processes must have a normal distribution of activation energies. The estimated TD glide velocity ($v_{g}$) along [$\bar{1}$10] is almost twice that along [110], but in both directions shows a maximum as a function of film thickness, indicating an initial burst of plasticity followed by dislocation pinning.


title: Third order interactions shift the critical coupling in multidimensional Kuramoto models

abstract: The study of higher order interactions in the dynamics of Kuramoto oscillators has been a topic of intense recent research. Arguments based on dimensional reduction using the Ott-Antonsen ansatz show that such interactions usually facilitate synchronization, giving rise to bi-stability and hysteresis. Here we show that three body interactions shift the critical coupling for synchronization towards higher values in all dimensions, except $D=2$, where a cancellation occurs. After the transition, three and four body interactions combine to facilitate synchronization. Similar to the 2-dimensional case, bi-stability and hysteresis develop for large enough higher order interactions. We show simulations in $D=3$ and $4$ to illustrate the dynamics.


title: Connected components of the moduli space of L-parameters

abstract: Recently, in order to formulate a categorical version of the local Langlands correspondence, several authors have constructed moduli spaces of $\mathbf{Z}[1/p]$-valued L-parameters for $p$-adic groups. The connected components of these spaces over various $\mathbf{Z}[1/p]$-algebras $R$ are conjecturally related to blocks in categories of $R$-representations of $p$-adic groups. Dat-Helm-Kurinczuk-Moss described the components when $R$ is an algebraically closed field and gave a conjectural description when $R = \overline{\mathbf{Z}}[1/p]$. In this paper, we prove a strong form of this conjecture applicable to any integral domain $R$ over $\overline{\mathbf{Z}}[1/p]$.


title: Embracing Diversity: Interpretable Zero-shot classification beyond one vector per class

abstract: Vision-language models enable open-world classification of objects without the need for any retraining. While this zero-shot paradigm marks a significant advance, even today's best models exhibit skewed performance when objects are dissimilar from their typical depiction. Real world objects such as pears appear in a variety of forms -- from diced to whole, on a table or in a bowl -- yet standard VLM classifiers map all instances of a class to a \it{single vector based on the class label}. We argue that to represent this rich diversity within a class, zero-shot classification should move beyond a single vector. We propose a method to encode and account for diversity within a class using inferred attributes, still in the zero-shot setting without retraining. We find our method consistently outperforms standard zero-shot classification over a large suite of datasets encompassing hierarchies, diverse object states, and real-world geographic diversity, as well finer-grained datasets where intra-class diversity may be less prevalent. Importantly, our method is inherently interpretable, offering faithful explanations for each inference to facilitate model debugging and enhance transparency. We also find our method scales efficiently to a large number of attributes to account for diversity -- leading to more accurate predictions for atypical instances. Finally, we characterize a principled trade-off between overall and worst class accuracy, which can be tuned via a hyperparameter of our method. We hope this work spurs further research into the promise of zero-shot classification beyond a single class vector for capturing diversity in the world, and building transparent AI systems without compromising performance.


title: Features Fusion for Dual-View Mammography Mass Detection

abstract: Detection of malignant lesions on mammography images is extremely important for early breast cancer diagnosis. In clinical practice, images are acquired from two different angles, and radiologists can fully utilize information from both views, simultaneously locating the same lesion. However, for automatic detection approaches such information fusion remains a challenge. In this paper, we propose a new model called MAMM-Net, which allows the processing of both mammography views simultaneously by sharing information not only on an object level, as seen in existing works, but also on a feature level. MAMM-Net's key component is the Fusion Layer, based on deformable attention and designed to increase detection precision while keeping high recall. Our experiments show superior performance on the public DDSM dataset compared to the previous state-of-the-art model, while introducing new helpful features such as lesion annotation on pixel-level and classification of lesions malignancy.


title: Bulk flows, general relativity and the fundamental role of the "peculiar" flux

abstract: Recent surveys have been reporting bulk peculiar flows considerably faster than expected. Bulk flows are moving matter and matter in motion implies nonzero energy flux. In relativity, as opposed to Newtonian physics, matter fluxes gravitate as well, since they also contribute to the energy-momentum tensor. The gravitational input of the "peculiar" flux survives at the linear level and it can drastically change our understanding of the way bulk flows have evolved in time. By default, the Newtonian analysis of peculiar motions bypasses the relativistic flux-contribution to the gravitational field. The problem is that there are also studies, with an otherwise relativistic profile, which inadvertently do the same. As result, these treatments reduce to Newtonian and they misleadingly reproduce the slow Newtonian growth-rate of linear peculiar velocities. In contrast, by accounting for the flux effects, the proper relativistic analysis arrives at a considerably stronger growth. We show that it is the flux input of the moving matter to gravity that separates the relativistic studies of peculiar motions from the rest and, in so doing, it could provide an answer to the bulk-flow question.


title: Simulations of gravitational collapse in null coordinates: III. Hyperbolicity

abstract: We investigate the well-posedness of the characteristic initial-boundary value problem for the Einstein equations in Bondi-like coordinates (including Bondi, double-null and affine). We propose a definition of strong hyperbolicity of a system of partial differential equations of any order, and show that the Einstein equations in Bondi-like coordinates in their second-order form used in numerical relativity do not meet it, in agreement with results of Giannakopoulos et al for specific first-order reductions. In the principal part, frozen coefficient approximation that one uses to examine hyperbolicity, we explicitly construct the general solution to identify the solutions that obstruct strong hyperbolicity. Independently, we present a first-order symmetric hyperbolic formulation of the Einstein equations in Bondi gauge, linearised about Schwarzschild, thus completing work by Frittelli. This establishes an energy norm ($L^2$ in the metric perturbations and selected first and second derivatives), in which the initial-boundary value problem, with initial data on an outgoing null cone and boundary data on a timelike cylinder or an ingoing null cone, is well-posed, thus verifying a conjecture by Giannakopoulos et al. Unfortunately, our method does not extend to the pure initial-value problem on a null cone with regular vertex.


title: Distilling Privileged Information for Dubins Traveling Salesman Problems with Neighborhoods

abstract: This paper presents a novel learning approach for Dubins Traveling Salesman Problems(DTSP) with Neighborhood (DTSPN) to quickly produce a tour of a non-holonomic vehicle passing through neighborhoods of given task points. The method involves two learning phases: initially, a model-free reinforcement learning approach leverages privileged information to distill knowledge from expert trajectories generated by the LinKernighan heuristic (LKH) algorithm. Subsequently, a supervised learning phase trains an adaptation network to solve problems independently of privileged information. Before the first learning phase, a parameter initialization technique using the demonstration data was also devised to enhance training efficiency. The proposed learning method produces a solution about 50 times faster than LKH and substantially outperforms other imitation learning and RL with demonstration schemes, most of which fail to sense all the task points.


title: Clique Is Hard on Average for Sherali-Adams with Bounded Coefficients

abstract: We prove that Sherali-Adams with polynomially bounded coefficients requires proofs of size $n^{\Omega(d)}$ to rule out the existence of an $n^{\Theta(1)}$-clique in Erd\H{o}s-R\'{e}nyi random graphs whose maximum clique is of size $d\leq 2\log n$. This lower bound is tight up to the multiplicative constant in the exponent. We obtain this result by introducing a technique inspired by pseudo-calibration which may be of independent interest. The technique involves defining a measure on monomials that precisely captures the contribution of a monomial to a refutation. This measure intuitively captures progress and should have further applications in proof complexity.


title: Constrained Level Planarity is FPT with Respect to the Vertex Cover Number

abstract: The problem Level Planarity asks for a crossing-free drawing of a graph in the plane such that vertices are placed at prescribed y-coordinates (called levels) and such that every edge is realized as a y-monotone curve. In the variant Constrained Level Planarity, each level y is equipped with a partial order <_y on its vertices and in the desired drawing the left-to-right order of vertices on level y has to be a linear extension of <_y. Constrained Level Planarity is known to be a remarkably difficult problem: previous results by Klemz and Rote [ACM Trans. Alg. 2019] and by Br\"uckner and Rutter [SODA 2017] imply that it remains NP-hard even when restricted to graphs whose tree-depth and feedback vertex set number are bounded by a constant and even when the instances are additionally required to be either proper, meaning that each edge spans two consecutive levels, or ordered, meaning that all given partial orders are total orders. In particular, these results rule out the existence of FPT-time (even XP-time) algorithms with respect to these and related graph parameters (unless P=NP). However, the parameterized complexity of Constrained Level Planarity with respect to the vertex cover number of the input graph remained open. In this paper, we show that Constrained Level Planarity can be solved in FPT-time when parameterized by the vertex cover number. In view of the previous intractability statements, our result is best-possible in several regards: a speed-up to polynomial time or a generalization to the aforementioned smaller graph parameters is not possible, even if restricting to proper or ordered instances.


title: Tverberg's theorem and multi-class support vector machines

abstract: We show how, using linear-algebraic tools developed to prove Tverberg's theorem in combinatorial geometry, we can design new models of multi-class support vector machines (SVMs). These supervised learning protocols require fewer conditions to classify sets of points, and can be computed using existing binary SVM algorithms in higher-dimensional spaces, including soft-margin SVM algorithms. We describe how the theoretical guarantees of standard support vector machines transfer to these new classes of multi-class support vector machines. We give a new simple proof of a geometric characterization of support vectors for largest margin SVMs by Veelaert.


title: Approximation Algorithms for Hop Constrained and Buy-at-Bulk Network Design via Hop Constrained Oblivious Routing

abstract: We consider two-cost network design models in which edges of the input graph have an associated cost and length. We build upon recent advances in hop-constrained oblivious routing to obtain two sets of results. We address multicommodity buy-at-bulk network design in the nonuniform setting. Existing poly-logarithmic approximations are based on the junction tree approach [CHKS09,KN11]. We obtain a new polylogarithmic approximation via a natural LP relaxation. This establishes an upper bound on its integrality gap and affirmatively answers an open question raised in [CHKS09]. The rounding is based on recent results in hop-constrained oblivious routing [GHZ21], and this technique yields a polylogarithmic approximation in more general settings such as set connectivity. Our algorithm for buy-at-bulk network design is based on an LP-based reduction to hop constrained network design for which we obtain LP-based bicriteria approximation algorithms. We also consider a fault-tolerant version of hop constrained network design where one wants to design a low-cost network to guarantee short paths between a given set of source-sink pairs even when k-1 edges can fail. This model has been considered in network design [GL17,GML18,AJL20] but no approximation algorithms were known. We obtain polylogarithmic bicriteria approximation algorithms for the single-source setting for any fixed k. We build upon the single-source algorithm and the junction-tree approach to obtain an approximation algorithm for the multicommodity setting when at most one edge can fail.


title: History repeats Itself: A Baseline for Temporal Knowledge Graph Forecasting

abstract: Temporal Knowledge Graph (TKG) Forecasting aims at predicting links in Knowledge Graphs for future timesteps based on a history of Knowledge Graphs. To this day, standardized evaluation protocols and rigorous comparison across TKG models are available, but the importance of simple baselines is often neglected in the evaluation, which prevents researchers from discerning actual and fictitious progress. We propose to close this gap by designing an intuitive baseline for TKG Forecasting based on predicting recurring facts. Compared to most TKG models, it requires little hyperparameter tuning and no iterative training. Further, it can help to identify failure modes in existing approaches. The empirical findings are quite unexpected: compared to 11 methods on five datasets, our baseline ranks first or third in three of them, painting a radically different picture of the predictive quality of the state of the art.


title: Learning-Based Efficient Approximation of Data-enabled Predictive Control

abstract: Data-Enabled Predictive Control (DeePC) bypasses the need for system identification by directly leveraging raw data to formulate optimal control policies. However, the size of the optimization problem in DeePC grows linearly with respect to the data size, which prohibits its application due to high computational costs. In this paper, we propose an efficient approximation of DeePC, whose size is invariant with respect to the amount of data collected, via differentiable convex programming. Specifically, the optimization problem in DeePC is decomposed into two parts: a control objective and a scoring function that evaluates the likelihood of a guessed I/O sequence, the latter of which is approximated with a size-invariant learned optimization problem. The proposed method is validated through numerical simulations on a quadruple tank system, illustrating that the learned controller can reduce the computational time of DeePC by 5x while maintaining its control performance.


title: High-fidelity and Fault-tolerant Teleportation of a Logical Qubit using Transversal Gates and Lattice Surgery on a Trapped-ion Quantum Computer

abstract: Quantum state teleportation is commonly used in designs for large-scale fault-tolerant quantum computers. Using Quantinuum's H2 trapped-ion quantum processor, we implement the first demonstration of a fault-tolerant state teleportation circuit for a quantum error correction code - in particular, the planar topological [[7,1,3]] color code, or Steane code. The circuits use up to 30 trapped ions at the physical layer qubits and employ real-time quantum error correction - decoding mid-circuit measurement of syndromes and implementing corrections during the protocol. We conduct experiments on several variations of logical teleportation circuits using both transversal gates and lattice surgery protocols. Among the many measurements we report on, we measure the logical process fidelity of the transversal teleportation circuit to be 0.975(2) and the logical process fidelity of the lattice surgery teleportation circuit to be 0.851(9). Additionally, we run a teleportation circuit that is equivalent to Knill-style quantum error correction and measure the process fidelity to be 0.989(2).


title: Tidal reconstruction of neutron star mergers from their late inspiral

abstract: We investigate the measurement correlation between the effective spin and the effective tidal deformability in gravitational wave signals from binary neutron star mergers. We exploit the fact that the tidal effects in a binary system are prominent when the components are closer during the late-inspiral. Thus, we indicate to a computationally efficient strategy of extracting the tidal information compressed within seconds before the merger. We report our observations for \texttt{GW170817} and explore the suitability of our approach for the upcoming observation scenarios. Fast and accurate measurements of the tidal deformability parameters can be used to inform astronomers in prioritizing the electromagnetic follow-up efforts for such sources.


title: Finch: Sparse and Structured Array Programming with Control Flow

abstract: From FORTRAN to NumPy, arrays have revolutionized how we express computation. However, arrays in these, and almost all prominent systems, can only handle dense rectilinear integer grids. Real world arrays often contain underlying structure, such as sparsity, runs of repeated values, or symmetry. Support for structured data is fragmented and incomplete. Existing frameworks limit the array structures and program control flow they support to better simplify the problem. In this work, we propose a new programming language, Finch, which supports both flexible control flow and diverse data structures. Finch facilitates a programming model which resolves the challenges of computing over structured arrays by combining control flow and data structures into a common representation where they can be co-optimized. Finch automatically specializes control flow to data so that performance engineers can focus on experimenting with many algorithms. Finch supports a familiar programming language of loops, statements, ifs, breaks, etc., over a wide variety of array structures, such as sparsity, run-length-encoding, symmetry, triangles, padding, or blocks. Finch reliably utilizes the key properties of structure, such as structural zeros, repeated values, or clustered non-zeros. We show that this leads to dramatic speedups in operations such as SpMV and SpGEMM, image processing, graph analytics, and a high-level tensor operator fusion interface.


title: Non-asymptotic Global Convergence Analysis of BFGS with the Armijo-Wolfe Line Search

abstract: In this paper, we establish the first explicit and non-asymptotic global convergence analysis of the BFGS method when deployed with an inexact line search scheme that satisfies the Armijo-Wolfe conditions. We show that BFGS achieves a global convergence rate of $(1-\frac{1}{\kappa})^k$ for $\mu$-strongly convex functions with $L$-Lipschitz gradients, where $\kappa=\frac{L}{\mu}$ denotes the condition number. Furthermore, if the objective function's Hessian is Lipschitz, BFGS with the Armijo-Wolfe line search achieves a linear convergence rate only determined by the line search parameters and independent of the condition number. These results hold for any initial point $x_0$ and any symmetric positive definite initial Hessian approximation matrix $B_0$, although the choice of $B_0$ affects the iteration count required to attain these rates. Specifically, we show that for $B_0 = LI$, the rate of $O((1-\frac{1}{\kappa})^k)$ appears from the first iteration, while for $B_0 = \mu I$, it takes $d\log \kappa$ iterations. Conversely, the condition number-independent linear convergence rate for $B_0 = LI$ occurs after $O\left(\kappa\left(d +\frac{M \sqrt{f(x_0)-f(x_*)}}{\mu^{3/2}}\right)\right)$ iterations, whereas for $B_0 = \mu I$, it holds after $O\left(\frac{M \sqrt{f(x_0)-f(x_*)}}{\mu^{3/2}}\left(d\log \kappa + \kappa\right)\right)$ iterations. Here, $d$ denotes the dimension of the problem, $M$ is the Lipschitz parameter of the Hessian, and $x_*$ denotes the optimal solution. We further leverage these global linear convergence results to characterize the overall iteration complexity of BFGS when deployed with the Armijo-Wolfe line search.


title: The MOPYS project: A survey of 70 planets in search of extended He I and H atmospheres. No evidence of enhanced evaporation in young planets

abstract: During the first Gyr of their life, exoplanet atmospheres suffer from different atmospheric escape phenomena that can strongly affect the shape and morphology of the exoplanet itself. These processes can be studied with Ly$\alpha$, H$\alpha$ and/or He I triplet observations. We present high-resolution spectroscopy observations from CARMENES and GIARPS checking for He I and H$\alpha$ signals in 20 exoplanetary atmospheres: V1298Tau c, K2-100b, HD63433b, HD63433c, HD73583b, HD73583c, K2-77b, TOI-2076b, TOI-2048b, HD235088b, TOI-1807b, TOI-1136d, TOI-1268b, TOI-1683b, TOI-2018b, MASCARA-2b, WASP-189b, TOI-2046b, TOI-1431b, and HAT-P-57b. We report two new high-resolution spectroscopy He I detections for TOI-1268b and TOI-2018b, and an H$\alpha$ detection for TOI-1136d. The MOPYS (Measuring Out-flows in Planets orbiting Young Stars) project aims to understand the evaporating phenomena and test their predictions from the current observations. We compiled a list of 70 exoplanets with He I and/or H$\alpha$ observations, from this work and the literature, and we considered the He I and H$\alpha$ results as proxy for atmospheric escape. Our principal results are that 0.1-1Gyr-old planets do not exhibit more He I or H$\alpha$ detections than older planets, and evaporation signals are more frequent for planets orbiting $\sim$1-3Gyr-old stars. We provide new constrains to the cosmic shoreline, the empirical division between rocky planets and planets with atmosphere, by using the evaporation detections and explore the capabilities of a new dimensionless parameter, $R_{\rm He}/R_{\rm Hill}$, to explain the He I triplet detections. Furthermore, we present a statistically significant upper boundary for the He I triplet detections in the $T_{\rm eq}$ vs $\rho_{\rm p}$ parameter space. Planets located above that boundary are unlikely to show He I absorption signals.


title: Diagram model for the Okada algebra and monoid

abstract: It is well known that the Young lattice is the Bratelli diagram of the symmetric groups expressing how irreducible representations restrict from $S_N$ to $S_{N-1}$. In 1988, Stanley discovered a similar lattice called the Young-Fibonacci lattice which was realized as the Bratelli diagram of a family of algebras by Okada in 1994. In this paper, we realize the Okada algebra and its associated monoid using a labeled version of Temperley-Lieb arc-diagrams. We prove in full generality that the dimension of the Okada algebra is $n!$. In particular, we interpret a natural bijection between permutations and labeled arc-diagrams as an instance of Fomin's Robinson-Schensted correspondence for the Young-Fibonacci lattice. We prove that the Okada monoid is aperiodic and describe its Green relations. Lifting those results to the algebra allows us to construct a cellular basis of the Okada algebra. }


title: Uniform Substitution for Differential Refinement Logic

abstract: This paper introduces a uniform substitution calculus for differential refinement logic dRL. The logic dRL extends the differential dynamic logic dL such that one can simultaneously reason about properties of and relations between hybrid systems. Refinements are useful e.g. for simplifying proofs by relating a concrete hybrid system to an abstract one from which the property can be proved more easily. Uniform substitution is the key to parsimonious prover microkernels. It enables the verbatim use of single axiom formulas instead of axiom schemata with soundness-critical side conditions scattered across the proof calculus. The uniform substitution rule can then be used to instantiate all axioms soundly. Access to differential variables in dRL enables more control over the notion of refinement, which is shown to be decidable on a fragment of hybrid programs.


title: The Dirichlet problem with entire data for non-hyperbolic quadratic hypersurfaces

abstract: We show that for all homogeneous polynomials $ f_{m}$ of degree $m$, in $d$ variables, and each $j = 1, \dots , d$, we have \begin{equation*} \left\langle x_{j}^{2}f_{m},f_{m}\right\rangle _{L^{2}\left( \mathbb{S}% ^{d-1}\right) } \geq \frac{\pi ^{2}}{4\left( m+ d + 1 \right)^{2}} \left \langle f_{m},f_{m}\right\rangle _{L^{2}\left( \mathbb{S}^{d-1}\right) }. \end{equation*} This result is used to establish the existence of entire harmonic solutions of the Dirichlet problem, when the data are given by entire functions of order sufficiently low on nonhyperbolic quadratic hypersurfaces.


title: Lifts of quantum CSS codes

abstract: We propose a notion of lift for quantum CSS codes, inspired by the geometrical construction of Freedman and Hastings. It is based on the existence of a canonical complex associated to any CSS code, that we introduce under the name of Tanner cone-complex, and over which we generate covering spaces. As a first application, we describe the classification of lifts of hypergraph product codes (HPC) and demonstrate the equivalence with the lifted product code (LPC) of Panteleev and Kalachev, including when the linear codes, factors of the HPC, are Tanner codes. As a second application, we report several new non-product constructions of quantum CSS codes, and we apply the prescription to generate their lifts which, for certain selected covering maps, are codes with improved relative parameters compared to the initial one.


title: Open Source Software (OSS) Transparency for DoD Acquisition

abstract: Caveat emptor, or let the buyer beware, is commonly attributed to open source software (OSS)-the onus is on the OSS consumer to ensure that it is fit for use in the consumer's context. OSS has been compared to an open market bazaar where consumers are free to browse all the source code and take a copy. In this paper, we observe challenges for the OSS consumer to obtain information about the process(es), project(s) used to produce a product and the protection(s) employed by those projects. We discuss the need for more transparency by OSS projects, where possible and introduce a framework for reasoning about those OSS projects and their products for use by the OSS consumer.


title: Superconducting Klein and anti-Klein tunneling in Weyl junctions

abstract: Klein tunneling is an old topic in relativistic quantum physics, and has been observed recently in graphene where massless particles reside. Here, we propose a new heterostructure platform for Klein tunneling to occur, which consists of a Weyl-semimetal-based normal state/superconductor (NS) junction. By developing a Blonder-Tinkham-Klapwijk-like theory, we find that Klein tunneling occurs at normal incidence, which can lead to differential conductance doubling. If the (single) Weyl semimeltals are replaced by double Weyl semimetals, anti-Klein tunneling will take place of Klein tunneling. Our work provides a theoretical guide for the detection of (anti-)Klein tunneling in three-dimensional chiral NS junctions.


title: CBRW: A Novel Approach for Cancelable Biometric Template Generation based on

abstract: Cancelable Biometric is a challenging research field in which security of an original biometric image is ensured by transforming the original biometric into another irreversible domain. Several approaches have been suggested in literature for generating cancelable biometric templates. In this paper, two novel and simple cancelable biometric template generation methods based on Random Walk (CBRW) have been proposed. By employing random walk and other steps given in the proposed two algorithms viz. CBRW-BitXOR and CBRW-BitCMP, the original biometric is transformed into a cancellable template. The performance of the proposed methods is compared with other state-of-the-art methods. Experiments have been performed on eight publicly available gray and color datasets i.e. CP (ear) (gray and color), UTIRIS (iris) (gray and color), ORL (face) (gray), IIT Delhi (iris) (gray and color), and AR (face) (color). Performance of the generated templates is measured in terms of Correlation Coefficient (Cr), Root Mean Square Error (RMSE), Peak Signal to Noise Ratio (PSNR), Structural Similarity (SSIM), Mean Absolute Error (MAE), Number of Pixel Change Rate (NPCR), and Unified Average Changing Intensity (UACI). By experimental results, it has been proved that proposed methods are superior than other state-of-the-art methods in qualitative as well as quantitative analysis. Furthermore, CBRW performs better on both gray as well as color images.


title: Calculable neutrino Dirac mass matrix and one-loop $\bar \theta$ in the minimal left-right symmetric model

abstract: We revisit the contribution to the strong CP parameter $\bar \theta$ from leptonic CP violation at one-loop level in the minimal left-right symmetric model in the case of parity as the left-right symmetry. The Hermitian neutrino Dirac mass matrix $M_D$ can be calculated using the light and heavy neutrino masses and mixings. We propose a parameterization of the right-handed neutrino mixing matrix $V_R$ and construct the heavy neutrino mass that maintains the Hermiticity of $M_D$. We further apply it to evaluate the one-loop $\bar\theta$, denoted as $\bar \theta_{loop}$, as a function of the sterile neutrino masses for explicit examples of $V_R$. By requiring the magnitude of $\bar \theta_{loop}\lesssim 10^{-10}$, we derive the upper limits on the sterile neutrino masses, which are within reach of direct searches at the Large Hadron Collider and neutrinoless double beta decay experiments. Furthermore, our parameterization is applicable to other phenomenological studies.


title: Parameterized Complexity of Efficient Sortation

abstract: A crucial challenge arising in the design of large-scale logistical networks is to optimize parcel sortation for routing. We study this problem under the recent graph-theoretic formalization of Van Dyk, Klause, Koenemann and Megow (IPCO 2024). The problem asks - given an input digraph D (the fulfillment network) together with a set of commodities represented as source-sink tuples - for a minimum-outdegree subgraph H of the transitive closure of D that contains a source-sink route for each of the commodities. Given the underlying motivation, we study two variants of the problem which differ in whether the routes for the commodities are assumed to be given, or can be chosen arbitrarily. We perform a thorough parameterized analysis of the complexity of both problems. Our results concentrate on three fundamental parameterizations of the problem: (1) When attempting to parameterize by the target outdegree of H, we show that the problems are paraNP-hard even in highly restricted cases; (2) When parameterizing by the number of commodities, we utilize Ramsey-type arguments, kernelization and treewidth reduction techniques to obtain parameterized algorithms for both problems; (3) When parameterizing by the structure of D, we establish fixed-parameter tractability for both problems w.r.t. treewidth, maximum degree and the maximum routing length. We combine this with lower bounds which show that omitting any of the three parameters results in paraNP-hardness.


title: Bayesian Nonparametric Inference in McKean-Vlasov models

abstract: We consider nonparametric statistical inference on a periodic interaction potential $W$ from noisy discrete space-time measurements of solutions $\rho=\rho_W$ of the nonlinear McKean-Vlasov equation, describing the probability density of the mean field limit of an interacting particle system. We show how Gaussian process priors assigned to $W$ give rise to posterior mean estimators that exhibit fast convergence rates for the implied estimated densities $\bar \rho$ towards $\rho_W$. We further show that if the initial condition $\phi$ is not too smooth and satisfies a standard deconvolvability condition, then one can consistently infer the potential $W$ itself at convergence rates $N^{-\theta}$ for appropriate $\theta>0$, where $N$ is the number of measurements. The exponent $\theta$ can be taken to approach $1/2$ as the regularity of $W$ increases corresponding to `near-parametric' models.


title: Automatic Speech Recognition System-Independent Word Error Rate Estimation

abstract: Word error rate (WER) is a metric used to evaluate the quality of transcriptions produced by Automatic Speech Recognition (ASR) systems. In many applications, it is of interest to estimate WER given a pair of a speech utterance and a transcript. Previous work on WER estimation focused on building models that are trained with a specific ASR system in mind (referred to as ASR system-dependent). These are also domain-dependent and inflexible in real-world applications. In this paper, a hypothesis generation method for ASR System-Independent WER estimation (SIWE) is proposed. In contrast to prior work, the WER estimators are trained using data that simulates ASR system output. Hypotheses are generated using phonetically similar or linguistically more likely alternative words. In WER estimation experiments, the proposed method reaches a similar performance to ASR system-dependent WER estimators on in-domain data and achieves state-of-the-art performance on out-of-domain data. On the out-of-domain data, the SIWE model outperformed the baseline estimators in root mean square error and Pearson correlation coefficient by relative 17.58% and 18.21%, respectively, on Switchboard and CALLHOME. The performance was further improved when the WER of the training set was close to the WER of the evaluation dataset.


title: JITScanner: Just-in-Time Executable Page Check in the Linux Operating System

abstract: Modern malware poses a severe threat to cybersecurity, continually evolving in sophistication. To combat this threat, researchers and security professionals continuously explore advanced techniques for malware detection and analysis. Dynamic analysis, a prevalent approach, offers advantages over static analysis by enabling observation of runtime behavior and detecting obfuscated or encrypted code used to evade detection. However, executing programs within a controlled environment can be resource-intensive, often necessitating compromises, such as limiting sandboxing to an initial period. In our article, we propose an alternative method for dynamic executable analysis: examining the presence of malicious signatures within executable virtual pages precisely when their current content, including any updates over time, is accessed for instruction fetching. Our solution, named JITScanner, is developed as a Linux-oriented package built upon a Loadable Kernel Module (LKM). It integrates a user-level component that communicates efficiently with the LKM using scalable multi-processor/core technology. JITScanner's effectiveness in detecting malware programs and its minimal intrusion in normal runtime scenarios have been extensively tested, with the experiment results detailed in this article. These experiments affirm the viability of our approach, showcasing JITScanner's capability to effectively identify malware while minimizing runtime overhead.


title: Statistical Inference for Covariate-Adjusted and Interpretable Generalized Factor Model with Application to Testing Fairness

abstract: In the era of data explosion, statisticians have been developing interpretable and computationally efficient statistical methods to measure latent factors (e.g., skills, abilities, and personalities) using large-scale assessment data. In addition to understanding the latent information, the covariate effect on responses controlling for latent factors is also of great scientific interest and has wide applications, such as evaluating the fairness of educational testing, where the covariate effect reflects whether a test question is biased toward certain individual characteristics (e.g., gender and race) taking into account their latent abilities. However, the large sample size, substantial covariate dimension, and great test length pose challenges to developing efficient methods and drawing valid inferences. Moreover, to accommodate the commonly encountered discrete types of responses, nonlinear latent factor models are often assumed, bringing further complexity to the problem. To address these challenges, we consider a covariate-adjusted generalized factor model and develop novel and interpretable conditions to address the identifiability issue. Based on the identifiability conditions, we propose a joint maximum likelihood estimation method and establish estimation consistency and asymptotic normality results for the covariate effects under a practical yet challenging asymptotic regime. Furthermore, we derive estimation and inference results for latent factors and the factor loadings. We illustrate the finite sample performance of the proposed method through extensive numerical studies and an application to an educational assessment dataset obtained from the Programme for International Student Assessment (PISA).


title: Estimating the Number of Components in Finite Mixture Models via Variational Approximation

abstract: This work introduces a new method for selecting the number of components in finite mixture models (FMMs) using variational Bayes, inspired by the large-sample properties of the Evidence Lower Bound (ELBO) derived from mean-field (MF) variational approximation. Specifically, we establish matching upper and lower bounds for the ELBO without assuming conjugate priors, suggesting the consistency of model selection for FMMs based on maximizing the ELBO. As a by-product of our proof, we demonstrate that the MF approximation inherits the stable behavior (benefited from model singularity) of the posterior distribution, which tends to eliminate the extra components under model misspecification where the number of mixture components is over-specified. This stable behavior also leads to the $n^{-1/2}$ convergence rate for parameter estimation, up to a logarithmic factor, under this model overspecification. Empirical experiments are conducted to validate our theoretical findings and compare with other state-of-the-art methods for selecting the number of components in FMMs.


title: Characterizing Solar Center-to-Limb Radial-Velocity Variability with SDO

abstract: Stellar photospheric inhomogeneities are a significant source of noise which currently precludes the discovery of Earth-mass planets orbiting Sun-like stars with the radial-velocity (RV) method. To complement several previous studies which have used ground- and spaced-based facilities to characterize the RV of the Sun, we here characterize the center-to-limb variability (CLV) of solar RVs arising from various solar-surface inhomogeneities observed by SDO/HMI and SDO/AIA. By using various SDO observables to classify pixels and calculate line-of-sight velocities as a function of pixel classification and limb angle, we show that each identified feature type, including the umbrae and penumbrae of sunspots, quiet-Sun magnetoconvective cells, magnetic network, and plage, exhibit distinct and complex CLV signatures, including a notable limb-angle dependence in the observed suppression of convective blueshift for magnetically active regions. We discuss the observed distributions of velocities by identified region type and limb angle, offer interpretations of the physical phenomena that shape these distributions, and emphasize the need to understand the RV signatures of these regions as astrophysical signals, rather than simple (un)correlated noise processes.


title: TELA: Text to Layer-wise 3D Clothed Human Generation

abstract: This paper addresses the task of 3D clothed human generation from textural descriptions. Previous works usually encode the human body and clothes as a holistic model and generate the whole model in a single-stage optimization, which makes them struggle for clothing editing and meanwhile lose fine-grained control over the whole generation process. To solve this, we propose a layer-wise clothed human representation combined with a progressive optimization strategy, which produces clothing-disentangled 3D human models while providing control capacity for the generation process. The basic idea is progressively generating a minimal-clothed human body and layer-wise clothes. During clothing generation, a novel stratified compositional rendering method is proposed to fuse multi-layer human models, and a new loss function is utilized to help decouple the clothing model from the human body. The proposed method achieves high-quality disentanglement, which thereby provides an effective way for 3D garment generation. Extensive experiments demonstrate that our approach achieves state-of-the-art 3D clothed human generation while also supporting cloth editing applications such as virtual try-on. Project page: http://jtdong.com/tela_layer/


title: On the global dynamics of a forest model with monotone positive feedback and memory

abstract: We continue to study (see arXiv:2401.08618, https://doi.org/10.48550/arXiv.2401.08618) a renewal equation $\phi(t)=\frak F\phi_t$ proposed in [C. Barril et al., J. Math. Biology, https://doi.org/10.1007/s00285-024-02084-x] to model trees growth. This time we are considering the case when the per capita reproduction rate $\beta(x)$ is a non-monotone (unimodal) function of tree's height $x$. Note that the height of some species of trees can impact negatively seed viability, in a kind of autogamy depression. Similarly to previous works, it is also assumed that the growth rate $g(x)$ of an individual of height $x$ is a strictly decreasing function. Here we analyse the connection between dynamics of the associated one-dimensional map $F(b)= {\frak F}b,$ $b \in {\mathbb R}_+$, and the delayed (hence infinite-dimensional) model $\phi(t)=\frak F\phi_t$. Our key observation is that this model is of monotone positive feedback type since $F$ is strictly increasing on ${\mathbb R}_+$ independently on the monotonicity properties of $\beta$.


title: Hydrodynamics of a Discrete Conservation Law

abstract: The Riemann problem for the discrete conservation law $2 \dot{u}_n + u^2_{n+1} - u^2_{n-1} = 0$ is classified using Whitham modulation theory, a quasi-continuum approximation, and numerical simulations. A surprisingly elaborate set of solutions to this simple discrete regularization of the inviscid Burgers' equation is obtained. In addition to discrete analogues of well-known dispersive hydrodynamic solutions -- rarefaction waves (RWs) and dispersive shock waves (DSWs) -- additional unsteady solution families and finite time blow-up are observed. Two solution types exhibit no known conservative continuum correlates: (i) a counterpropagating DSW and RW solution separated by a symmetric, stationary shock and (ii) an unsteady shock emitting two counter-propagating periodic wavetrains with the same frequency connected to a partial DSW or a RW. Another class of solutions called traveling DSWs, (iii), consists of a partial DSW connected to a traveling wave comprised of a periodic wavetrain with a rapid transition to a constant. Portions of solutions (ii) and (iii) are interpreted as shock solutions of the Whitham modulation equations.


title: Efficient unitary designs and pseudorandom unitaries from permutations

abstract: In this work we give an efficient construction of unitary $k$-designs using $\tilde{O}(k\cdot poly(n))$ quantum gates, as well as an efficient construction of a parallel-secure pseudorandom unitary (PRU). Both results are obtained by giving an efficient quantum algorithm that lifts random permutations over $S(N)$ to random unitaries over $U(N)$ for $N=2^n$. In particular, we show that products of exponentiated sums of $S(N)$ permutations with random phases approximately match the first $2^{\Omega(n)}$ moments of the Haar measure. By substituting either $\tilde{O}(k)$-wise independent permutations, or quantum-secure pseudorandom permutations (PRPs) in place of the random permutations, we obtain the above results. The heart of our proof is a conceptual connection between the large dimension (large-$N$) expansion in random matrix theory and the polynomial method, which allows us to prove query lower bounds at finite-$N$ by interpolating from the much simpler large-$N$ limit. The key technical step is to exhibit an orthonormal basis for irreducible representations of the partition algebra that has a low-degree large-$N$ expansion. This allows us to show that the distinguishing probability is a low-degree rational polynomial of the dimension $N$.


title: TokenHMR: Advancing Human Mesh Recovery with a Tokenized Pose Representation

abstract: We address the problem of regressing 3D human pose and shape from a single image, with a focus on 3D accuracy. The current best methods leverage large datasets of 3D pseudo-ground-truth (p-GT) and 2D keypoints, leading to robust performance. With such methods, we observe a paradoxical decline in 3D pose accuracy with increasing 2D accuracy. This is caused by biases in the p-GT and the use of an approximate camera projection model. We quantify the error induced by current camera models and show that fitting 2D keypoints and p-GT accurately causes incorrect 3D poses. Our analysis defines the invalid distances within which minimizing 2D and p-GT losses is detrimental. We use this to formulate a new loss Threshold-Adaptive Loss Scaling (TALS) that penalizes gross 2D and p-GT losses but not smaller ones. With such a loss, there are many 3D poses that could equally explain the 2D evidence. To reduce this ambiguity we need a prior over valid human poses but such priors can introduce unwanted bias. To address this, we exploit a tokenized representation of human pose and reformulate the problem as token prediction. This restricts the estimated poses to the space of valid poses, effectively providing a uniform prior. Extensive experiments on the EMDB and 3DPW datasets show that our reformulated keypoint loss and tokenization allows us to train on in-the-wild data while improving 3D accuracy over the state-of-the-art. Our models and code are available for research at https://tokenhmr.is.tue.mpg.de.


title: Classifying One-Dimensional Quantum States Prepared by a Single Round of Measurements

abstract: Measurements and feedback have emerged as powerful resources for creating many-body quantum states. However, a detailed understanding has been restricted to fixed-point representatives of phases of matter. Here, we go beyond this and characterize the patterns of many-body entanglement that can be deterministically created from measurement. Focusing on one spatial dimension, a framework is developed for the case where a single round of measurements is the only entangling operation. We show this creates matrix product states and identify necessary and sufficient tensor conditions for preparability, which uniquely determine the preparation protocol. We use these conditions to both classify preparable quantum states and characterize their physical constraints. In particular, we find a trade-off between the richness of the preparable entanglement spectrum and correlation functions, which leads to a no-go theorem for preparing certain quantum states. More broadly, we connect properties of the preparation protocol to the resulting phase of matter, including trivial, symmetry-breaking, and symmetry-protected topological phases -- for both uniform and modulated symmetries. This work offers a resource-theoretic perspective on preparable quantum entanglement and shows how to systematically create states of matter, away from their fixed points, in quantum devices.


title: RadGenome-Chest CT: A Grounded Vision-Language Dataset for Chest CT Analysis

abstract: Developing generalist foundation model has recently attracted tremendous attention among researchers in the field of AI for Medicine (AI4Medicine). A pivotal insight in developing these models is their reliance on dataset scaling, which emphasizes the requirements on developing open-source medical image datasets that incorporate diverse supervision signals across various imaging modalities. In this paper, we introduce RadGenome-Chest CT, a comprehensive, large-scale, region-guided 3D chest CT interpretation dataset based on CT-RATE. Specifically, we leverage the latest powerful universal segmentation and large language models, to extend the original datasets (over 25,692 non-contrast 3D chest CT volume and reports from 20,000 patients) from the following aspects: (i) organ-level segmentation masks covering 197 categories, which provide intermediate reasoning visual clues for interpretation; (ii) 665 K multi-granularity grounded reports, where each sentence of the report is linked to the corresponding anatomical region of CT volume in the form of a segmentation mask; (iii) 1.3 M grounded VQA pairs, where questions and answers are all linked with reference segmentation masks, enabling models to associate visual evidence with textual explanations. All grounded reports and VQA pairs in the validation set have gone through manual verification to ensure dataset quality. We believe that RadGenome-Chest CT can significantly advance the development of multimodal medical foundation models, by training to generate texts based on given segmentation regions, which is unattainable with previous relevant datasets. We will release all segmentation masks, grounded reports, and VQA pairs to facilitate further research and development in this field.


title: Links and the Diaconis-Graham Inequality

abstract: In 1977 Diaconis and Graham proved two inequalities relating different measures of disarray in permutations, and asked for a characterization of those permutations for which equality holds in one of these inequalities. Such a characterization was first given in 2013. Recently, another characterization was given by Woo, using a topological link in $\mathbb R^3$ that can be associated to the cycle diagram of a permutation. We show that Woo's characterization extends much further: for any permutation, the discrepancy in Diaconis and Graham's inequality is directly related to the Euler characteristic of the associated link. This connection provides a new proof of the original result of Diaconis and Graham. We also characterize permutations with a fixed discrepancy in terms of their associated links and find that the stabilized-interval-free permutations are precisely those whose associated links are nonsplit.


title: Concentration inequalities for Poisson $U$-statistics

abstract: In this article we obtain concentration inequalities for Poisson $U$-statistics $F_m(f,\eta)$ of order $m\ge 1$ with kernels $f$ under general assumptions on $f$ and the intensity measure $\gamma \Lambda$ of underlying Poisson point process $\eta$. The main result are new concentration bounds of the form \[ \mathbb{P}(|F_m ( f , \eta) -\mathbb{E} F_m ( f , \eta)| \ge t)\leq 2\exp(-I(\gamma,t)), \] where $I(\gamma,t)$ satisfies $I(\gamma,t)=\Theta(t^{1\over m}\log t)$ as $t\to\infty$ and $\gamma$ is fixed. The function $I(\gamma,t)$ is given explicitly in terms of parameters of the assumptions satisfied by $f$ and $\Lambda$. One of the key ingredients of the proof are fine bounds for the centred moments of $F_m(f,\eta)$. We discuss the optimality of obtained bounds and consider a number of applications related to Gilbert graphs and Poisson hyperplane processes in constant curvature spaces.


title: Second-order adiabatic expansions of heat and charge currents with nonequilibrium Green's functions

abstract: Due to technological needs, nanoscale heat management, energy conversion and quantum thermodynamics have become key areas of research, putting heat pumps and nanomotors center stage. The treatment of these particular systems often requires the use of adiabatic expansions in terms of the frequency of the external driving or the velocity of some classical degree of freedom. However, due to the difficulty of getting the expressions, most works have only explored first-order terms. Despite this, adiabatic expansions have allowed the study of intriguing phenomena such as adiabatic quantum pumps and motors, or electronic friction. Here, we use nonequilibrium Green's functions, within a Schwinger-Keldysh approach, to develop second-order expressions for the energy, heat, and charge currents. We illustrate, through two simple models, how the obtained formulas produce physically consistent results, and allow for the thermodynamic study of unexplored phenomena, such as second-order monoparametric pumping.


title: Compact almost automorphic dynamics of non-autonomous differential equations with exponential dichotomy and applications to biological models with delay

abstract: In the present work, we prove that, if $A(\cdot)$ is a compact almost automorphic matrix and the system $$x'(t) = A(t)x(t)\, ,$$ possesses an exponential dichotomy with Green function $G(\cdot, \cdot)$, then its associated system $$y'(t) = B(t)y(t)\, ,$$ where $B(\cdot) \in H(A)$ (the hull of $A(\cdot)$) also possesses an exponential dichotomy. Moreover, the Green function $G(\cdot, \cdot)$ is compact Bi-almost automorphic in $\mathbb{R}^2$, this implies that $G(\cdot, \cdot)$ is $\Delta_2$ - like uniformly continuous, where $\Delta_2$ is the principal diagonal of $\mathbb{R}^2$, an important ingredient in the proof of invariance of the compact almost automorphic function space under convolution product with kernel $G(\cdot, \cdot)$. Finally, we study the existence of a positive compact almost automorphic solution of non-autonomous differential equations of biological interest having non-linear harvesting terms and mixed delays.


title: Revealing the regularities of electron correlation energies associated with valence electrons in atoms in the first three rows of the periodic table

abstract: Electronic correlation is a complex many-body effect and the correlation energy depends on the specific electronic structure and spatial distribution of electrons in each atom and molecule. Although the total correlation energy in an atom can be decomposed into different components such as inter-orbital and intra-orbital pair-correlation energies (PCE), it is generally believed that the PCEs in different atoms cannot be the same. In this work, we investigate the correlation energies of the atoms in the first three rows of the periodic table (He to Ar). It is found that when the correlation energy is defined as the difference between the exact ground-state energy and the unrestricted Hartree-Fock (UHF) energy, the inter- and intra-orbital PECs associated with the valence electrons of the atoms in the same row of the periodic table have the same values. These PCEs are not entangled and their values depend only on the electron orbitals. For two specific orbitals, the inter-orbital correlation energy is the same between two electrons of parallel spins or anti-parallel spins. We also show that the effects of orbital relaxation on the correlation energy are surprisingly small.


title: Beyond Boolean networks, a multi-valued approach

abstract: Boolean networks can be viewed as functions on the set of binary strings of a given length, described via logical rules. They were introduced as dynamic models into biology, in particular as logical models of intracellular regulatory networks involving genes, proteins, and metabolites. Since genes can have several modes of action, depending on their expression levels, binary variables are often not sufficiently rich, requiring the use of multi-valued networks instead. The steady state analysis of Boolean networks is computationally complex, and increasing the number of variable values beyond $2$ adds substantially to this complexity, and no general methods are available beyond simulation. The main contribution of this paper is to give an algorithm to compute the steady states of a multi-valued network that has a complexity that, in many cases, is essentially the same as that for the case of binary values. Our approach is based on a representation of multi-valued networks using multi-valued logic functions, providing a biologically intuitive representation of the network. Furthermore, it uses tools to compute lattice points in rational polytopes, tapping a rich area of algebraic combinatorics as a source for combinatorial algorithms for Boolean network analysis. An implementation of the algorithm is provided.


title: Dichalcogenides and difulfides nanostructures for hydrogen storage

abstract: Hydrogen energy is a high-efficiency and clean energy. Large-surface-area, two-dimensional (2D) layered materials are expected to have an advantage in hydrogen storage applications. Among a large number of 2D materials, monolayer dichacogenides have emerged as promising candidate for hydrogen clean energy. In the present work, first-principles calculations and molecular dynamics simulations are carried out to investigate the adsorption behaviors of hydrogen molecules on transition metal dichalcogenides and disulphides. Furthermore we propose novel structures which may suitable for hydrogen storage. As the concentration increaes, 2D shows thermodynamic stability even at room temperature, suggesting a possible aplicability for hydrogen storage.


title: Analysis of Flame Structure and Interactions Between Chemical Reactions, Species Transport and Heat Release in Laminar Flames

abstract: A novel method for analyzing counterflow diffusion flames, inspired by Zurada's sensitivity approach for neural networks, is proposed to identify critical species influencing the heat release rate. By further analyzing concentration changes, this method reveals complex interactions among critical radicals across different temperature zones. To illustrate this approach, the study investigates the auto-ignition temperature of n-heptane and ethanol mixtures within a counterflow flame configuration under low strain rates. In n-heptane dominant mixtures, the inhibition of low-temperature chemistry (LTC) by additional ethanol impacts the heat release rate in the high-temperature zone through the diffusion of specific radicals such as CH2O, C2H4, C3H6, and H2O2. In ethanol-dominant mixtures, higher ethanol fractions increase the heat release rate, primarily due to ethanol decomposition and its subsequent reactions. This method effectively quantifies and compares the influence of both chemical kinetics and species diffusion effects, providing detailed insights into the interactions among species across the reactive field when analyzing the counterflow configuration of complex fuel mixtures.


title: The asymptotic spectrum distance, graph limits, and the Shannon capacity

abstract: Determining the Shannon capacity of graphs is a long-standing open problem in information theory, graph theory and combinatorial optimization. Over decades, a wide range of upper and lower bound methods have been developed to analyze this problem. However, despite tremendous effort, even small instances of the problem have remained open. In recent years, a new dual characterization of the Shannon capacity of graphs, asymptotic spectrum duality, has unified and extended known upper bound methods and structural theorems. In this paper, building on asymptotic spectrum duality, we develop a new theory of graph distance, that we call asymptotic spectrum distance, and corresponding limits (reminiscent of, but different from, the celebrated theory of cut-norm, graphons and flag algebras). We propose a graph limit approach to the Shannon capacity problem: to determine the Shannon capacity of a graph, construct a sequence of easier to analyse graphs converging to it. (1) We give a very general construction of non-trivial converging sequences of graphs (in a family of circulant graphs). (2) We construct Cauchy sequences of finite graphs that do not converge to any finite graph, but do converge to an infinite graph. We establish strong connections between convergence questions of finite graphs and the asymptotic properties of Borsuk-like infinite graphs on the circle. (3) We observe that all best-known lower bound constructions for Shannon capacity of small odd cycles can be obtained from a "finite" version of the graph limit approach. We develop computational and theoretical aspects of this approach and use these to obtain a new Shannon capacity lower bound for the fifteen-cycle. The theory of asymptotic spectrum distance applies not only to Shannon capacity of graphs; indeed, we will develop it for a general class of mathematical objects and their asymptotic properties.


title: Dataset of Quotation Attribution in German News Articles

abstract: Extracting who says what to whom is a crucial part in analyzing human communication in today's abundance of data such as online news articles. Yet, the lack of annotated data for this task in German news articles severely limits the quality and usability of possible systems. To remedy this, we present a new, freely available, creative-commons-licensed dataset for quotation attribution in German news articles based on WIKINEWS. The dataset provides curated, high-quality annotations across 1000 documents (250,000 tokens) in a fine-grained annotation schema enabling various downstream uses for the dataset. The annotations not only specify who said what but also how, in which context, to whom and define the type of quotation. We specify our annotation schema, describe the creation of the dataset and provide a quantitative analysis. Further, we describe suitable evaluation metrics, apply two existing systems for quotation attribution, discuss their results to evaluate the utility of our dataset and outline use cases of our dataset in downstream tasks.


title: Threshold and frequency properties of a cold ytterbium laser

abstract: We investigate properties of the lasing action observed on the 1S0--3P1 intercombination transition of ytterbium atoms that are laser-cooled and -trapped inside a high-finesse cavity. The dressing of the atomic states on the 1S0--1P1 transition by the magneto-optical trap (MOT) laser light allows the coupled atom-cavity system to lase, via a two-photon transition, on the same line on which it is pumped. The observation and basic description of this phenomenon was presented earlier by Gothe et al. [Phys. Rev. A 99, 013415 (2019)]. In the current work, we focus on a detailed analysis of the lasing threshold and frequency properties and perform a comparison to our theoretical models.


title: Prefix Text as a Yarn: Eliciting Non-English Alignment in Foundation Language Model

abstract: While supervised fine-tuning (SFT) has been a straightforward approach for tailoring the output of foundation large language model (LLM) to specific preferences, concerns have been raised about the depth of this alignment, with some critiques suggesting it is merely "superficial". We critically examine this hypothesis within the scope of cross-lingual generation tasks, proposing that the effectiveness of SFT may be constrained by its reliance on prior tokens to guide cross-lingual generation. Based on this crucial insight, and in response to the challenges posed by the costly and limited availability of non-English data for SFT, we introduce a novel training-free alignment method named PreTTY, which employs minimal task-related prior tokens to bridge the foundation LLM and the SFT LLM, achieving comparable performance without training. Experiments on machine translation and part-of-speech tagging across eight languages demonstrate the efficacy of PreTTY in cross-lingual settings. Remarkably, by initiating the decoding process with only one or two prior tokens, foundation LLMs can achieve performance comparable to their SFT counterparts. This method presents a cost-effective alternative to SFT and advances the democratization of multilingual LLMs.


title: REBEL: Reinforcement Learning via Regressing Relative Rewards

abstract: While originally developed for continuous control problems, Proximal Policy Optimization (PPO) has emerged as the work-horse of a variety of reinforcement learning (RL) applications, including the fine-tuning of generative models. Unfortunately, PPO requires multiple heuristics to enable stable convergence (e.g. value networks, clipping), and is notorious for its sensitivity to the precise implementation of these components. In response, we take a step back and ask what a minimalist RL algorithm for the era of generative models would look like. We propose REBEL, an algorithm that cleanly reduces the problem of policy optimization to regressing the relative reward between two completions to a prompt in terms of the policy, enabling strikingly lightweight implementation. In theory, we prove that fundamental RL algorithms like Natural Policy Gradient can be seen as variants of REBEL, which allows us to match the strongest known theoretical guarantees in terms of convergence and sample complexity in the RL literature. REBEL can also cleanly incorporate offline data and be extended to handle the intransitive preferences we frequently see in practice. Empirically, we find that REBEL provides a unified approach to language modeling and image generation with stronger or similar performance as PPO and DPO, all while being simpler to implement and more computationally efficient than PPO. When fine-tuning Llama-3-8B-Instruct, REBEL achieves strong performance in AlpacaEval 2.0, MT-Bench, and Open LLM Leaderboard.


title: Redefining Safety for Autonomous Vehicles

abstract: Existing definitions and associated conceptual frameworks for computer-based system safety should be revisited in light of real-world experiences from deploying autonomous vehicles. Current terminology used by industry safety standards emphasizes mitigation of risk from specifically identified hazards, and carries assumptions based on human-supervised vehicle operation. Operation without a human driver dramatically increases the scope of safety concerns, especially due to operation in an open world environment, a requirement to self-enforce operational limits, participation in an ad hoc sociotechnical system of systems, and a requirement to conform to both legal and ethical constraints. Existing standards and terminology only partially address these new challenges. We propose updated definitions for core system safety concepts that encompass these additional considerations as a starting point for evolving safe-ty approaches to address these additional safety challenges. These results might additionally inform framing safety terminology for other autonomous system applications.