title: Decision-Oriented Learning Using Differentiable Submodular Maximization for Multi-Robot Coordination

abstract: We present a differentiable, decision-oriented learning framework for cost prediction in a class of multi-robot decision-making problems, in which the robots need to trade off the task performance with the costs of taking actions when they select actions to take. Specifically, we consider the cases where the task performance is measured by a known monotone submodular function (e.g., coverage, mutual information), and the cost of actions depends on the context (e.g., wind and terrain conditions). We need to learn a function that maps the context to the costs. Classically, we treat such a learning problem and the downstream decision-making problem as two decoupled problems, i.e., we first learn to predict the cost function without considering the downstream decision-making problem, and then use the learned function for predicting the cost and using it in the decision-making problem. However, the loss function used in learning a prediction function may not be aligned with the downstream decision-making. We propose a decision-oriented learning framework that incorporates the downstream task performance in the prediction phase via a differentiable optimization layer. The main computational challenge in such a framework is to make the combinatorial optimization, i.e., non-monotone submodular maximization, differentiable. This function is not naturally differentiable. We propose the Differentiable Cost Scaled Greedy algorithm (D-CSG), which is a continuous and differentiable relaxation of CSG. We demonstrate the efficacy of the proposed framework through numerical simulations. The results show that the proposed framework can result in better performance than the traditional two-stage approach.


title: Bridging the Gap between Structural and Semantic Similarity in Diverse Planning

abstract: Diverse planning is the problem of finding multiple plans for a given problem specification, which is at the core of many real-world applications. For example, diverse planning is a critical piece for the efficiency of plan recognition systems when dealing with noisy and missing observations. Providing diverse solutions can also benefit situations where constraints are too expensive or impossible to model. Current diverse planners operate by generating multiple plans and then applying a selection procedure to extract diverse solutions using a similarity metric. Generally, current similarity metrics only consider the structural properties of the given plans. We argue that this approach is a limitation that sometimes prevents such metrics from capturing why two plans differ. In this work, we propose two new domain-independent metrics which are able to capture relevant information on the difference between two given plans from a domain-dependent viewpoint. We showcase their utility in various situations where the currently used metrics fail to capture the similarity between plans, failing to capture some structural symmetries.


title: Results on left-right approximation for k-Nash morphisms and for k-analytic morphisms of weakly finite singularity type

abstract: The standard Artin approximation (AP) is not readily applicable to the left-right equivalence of morphisms Maps((k^n,o),(k^m,o)). Moreover, the na\"ive extension does not hold in the k-analytic case, because of Osgood-Gabrielov-Shiota examples. The left-right version of Artin approximation (LRAP) was established by M. Shiota for morphisms that are either Nash or [real-analytic and of finite singularity type]. We establish LRAP and its stronger version of P{\l}oski (LRAPP) for Maps(X,Y) where X,Y are k-analytic/k-Nash germs of schemes of any characteristic. More precisely: *(k-algebraic power series, k<x>/J_X and k<y>/J_Y) LRAP, LRAPP, the inverse Artin approximation (and its P{\l}oski's version) hold for any morphism. *(k-analytic power series, k{x}/J_X and k{y}/J_Y) LRAP, LRAPP, the inverse Artin approximation (and its P{\l}oski's version) hold for finite morphisms. * LRAP holds for analytic morphisms of weakly-finite singularity type. This later class of morphisms of ``weakly-finite singularity type" (which we introduce) is of separate importance. It extends naturally the class of morphisms of ``finite singularity type", while preserving their non-pathological behaviour. The definition goes via the higher critical loci of morphisms with singular target. (The critical locus Crit_X f is defined via the Zariski-Lipman sequence.) We establish basic properties of these critical loci. In particular: any map is finitely (right) determined by its higher singular loci.


title: Property-preserving numerical approximations of a Cahn-Hilliard-Navier-Stokes model with variable densities and degenerate mobility

abstract: In this paper, we present a new computational framework using coupled and decoupled approximations for a Cahn-Hilliard-Navier-Stokes model with variable densities and degenerate mobility. In this sense, the coupled approximation is shown to conserve the mass of the fluid, preserve the point-wise bounds of the density and decrease an energy functional. In contrast, the decoupled scheme is presented as a more computationally efficient alternative but the discrete energy-decreasing property can not be assured. Both schemes are based on a finite element approximation for the Navier-Stokes fluid flow with discontinuous pressure and an upwind discontinuous Galerkin scheme for the Cahn-Hilliard part. Finally, several numerical experiments contrasting both approaches are conducted. In particular, results for a convergence test, a simple qualitative comparison and some well-known benchmark problems are shown.


title: Fetal-BET: Brain Extraction Tool for Fetal MRI

abstract: Fetal brain extraction is a necessary first step in most computational fetal brain MRI pipelines. However, it has been a very challenging task due to non-standard fetal head pose, fetal movements during examination, and vastly heterogeneous appearance of the developing fetal brain and the neighboring fetal and maternal anatomy across various sequences and scanning conditions. Development of a machine learning method to effectively address this task requires a large and rich labeled dataset that has not been previously available. As a result, there is currently no method for accurate fetal brain extraction on various fetal MRI sequences. In this work, we first built a large annotated dataset of approximately 72,000 2D fetal brain MRI images. Our dataset covers the three common MRI sequences including T2-weighted, diffusion-weighted, and functional MRI acquired with different scanners. Moreover, it includes normal and pathological brains. Using this dataset, we developed and validated deep learning methods, by exploiting the power of the U-Net style architectures, the attention mechanism, multi-contrast feature learning, and data augmentation for fast, accurate, and generalizable automatic fetal brain extraction. Our approach leverages the rich information from multi-contrast (multi-sequence) fetal MRI data, enabling precise delineation of the fetal brain structures. Evaluations on independent test data show that our method achieves accurate brain extraction on heterogeneous test data acquired with different scanners, on pathological brains, and at various gestational stages. This robustness underscores the potential utility of our deep learning model for fetal brain imaging and image analysis.


title: Nowcasting day-ahead marginal emissions using multi-headed CNNs and deep generative models

abstract: Nowcasting day-ahead marginal emissions factors is increasingly important for power systems with high flexibility and penetration of distributed energy resources. With a significant share of firm generation from natural gas and coal power plants, forecasting day-ahead emissions in the current energy system has been widely studied. In contrast, as we shift to an energy system characterized by flexible power markets, dispatchable sources, and competing low-cost generation such as large-scale battery or hydrogen storage, system operators will be able to choose from a mix of different generation as well as emission pathways. To fully develop the emissions implications of a given dispatch schedule, we need a near real-time workflow with two layers. The first layer is a market model that continuously solves a security-constrained economic dispatch model. The second layer determines the marginal emissions based on the output of the market model, which is the subject of this paper. We propose using multi-headed convolutional neural networks to generate day-ahead forecasts of marginal and average emissions for a given independent system operator.


title: From Amplitudes to Analytic Wavefunctions

abstract: The field-theoretic wavefunction has received renewed attention with the goal of better understanding observables at the boundary of de Sitter spacetime and studying the interior of Minkowski or general FLRW spacetime. Understanding the analytic structure of the wavefunction potentially allows us to establish bounds on physical observables. In this paper we develop an amplitude representation for the flat space wavefunction, which allow us to write the flat space wavefunction as an amplitude-like Feynman integral integrated over an energy-fixing kernel. With this representation it is possible to separate the wavefunction into an amplitude part and a subleading part which is less divergent as the total energy goes to zero. In turn the singularities of the wavefunction can be classified into two sets: amplitude-type singularities, which can be mapped to singularities found in amplitudes (including anomalous thresholds), and wavefunction-type singularities, which are unique to the wavefunction. As an example we study several tree level and one loop diagrams for scalars, and explore their singularities in detail.


title: Modern code reviews -- Preliminary results of a systematic mapping study

abstract: Reviewing source code is a common practice in a modern and collaborative coding environment. In the past few years, the research on modern code reviews has gained interest among practitioners and researchers. The objective of our investigation is to observe the evolution of research related to modern code reviews, identify research gaps and serve as a basis for future research. We use a systematic mapping approach to identify and classify 177 research papers. As preliminary result of our investigation, we present in this paper a classification scheme of the main contributions of modern code review research between 2005 and 2018.


title: Reading Between the Lines: Investigating the Ability of JWST to Identify Discerning Features in exoEarth and exoVenus Transmission Spectra

abstract: The success of the Transiting Exoplanet Survey Satellite (TESS) mission has led to the discovery of an abundance of Venus Zone (VZ) terrestrial planets that orbit relatively bright host stars. Atmospheric observations of these planets play a crucial role in understanding the evolutionary history of terrestrial planets, past habitable states, and the divergence of Venus and Earth climates. The transmission spectrum of a Venus-like exoplanet can be difficult to distinguish from that of an Earth-like exoplanet however, which could severely limit what can be learned from studying exoVenuses. In this work we further investigate differences in transmission between hypothetical exoEarths and exoVenuses, both with varying amounts of atmospheric carbon dioxide (CO$_2$). The exoEarths and exoVenuses were modelled assuming they orbit TRAPPIST-1 on the runaway greenhouse boundary. We simulated James Webb Space Telescope (JWST) Near-Infrared Spectrograph (NIRSpec) PRISM transit observations of both sets of planets between 0.6-5.2 $\mu$m, and quantified the detectability of major absorption features in their transmission spectra. The exoEarth spectra include several large methane (CH$_4$) features that can be detected in as few as 6 transits. The CH$_4$ feature at 3.4 $\mu$m is the optimal for feature for discerning an exoEarth from an exoVenus since it is easily detectable and does not overlap with CO$_2$ features. The sulfur dioxide (SO$_2$) feature at 4.0 $\mu$m is the best indicator of an exoVenus, but it is detectable in atmospheres with reduced CO$_2$ abundance.


title: A new proof for the existence of Nash equilibrium

abstract: We present a new proof for the existence of a Nash equilibrium, which involves no fixed point theorem. The self-contained proof consists of two parts. The first part introduces the notions of root function and pre-equilibrium. The second part shows the existence of pre-equilibria and Nash equilibria.


title: Progressive DeepSSM: Training Methodology for Image-To-Shape Deep Models

abstract: Statistical shape modeling (SSM) is an enabling quantitative tool to study anatomical shapes in various medical applications. However, directly using 3D images in these applications still has a long way to go. Recent deep learning methods have paved the way for reducing the substantial preprocessing steps to construct SSMs directly from unsegmented images. Nevertheless, the performance of these models is not up to the mark. Inspired by multiscale/multiresolution learning, we propose a new training strategy, progressive DeepSSM, to train image-to-shape deep learning models. The training is performed in multiple scales, and each scale utilizes the output from the previous scale. This strategy enables the model to learn coarse shape features in the first scales and gradually learn detailed fine shape features in the later scales. We leverage shape priors via segmentation-guided multi-task learning and employ deep supervision loss to ensure learning at each scale. Experiments show the superiority of models trained by the proposed strategy from both quantitative and qualitative perspectives. This training methodology can be employed to improve the stability and accuracy of any deep learning method for inferring statistical representations of anatomies from medical images and can be adopted by existing deep learning methods to improve model accuracy and training stability.


title: A Pretty Expressive Printer (with Appendices)

abstract: Pretty printers make trade-offs between the expressiveness of their pretty printing language, the optimality objective that they minimize when choosing between different ways to lay out a document, and the performance of their algorithm. This paper presents a new pretty printer, $\Pi_e$, that is strictly more expressive than all pretty printers in the literature and provably minimizes an optimality objective. Furthermore, the time complexity of $\Pi_e$ is better than many existing pretty printers. When choosing among different ways to lay out a document, $\Pi_e$ consults a user-supplied cost factory, which determines the optimality objective, giving $\Pi_e$ a unique degree of flexibility. We use the Lean theorem prover to verify the correctness (validity and optimality) of $\Pi_e$, and implement $\Pi_e$ concretely as a pretty printer that we call PrettyExpressive. To evaluate our pretty printer against others, we develop a formal framework for reasoning about the expressiveness of pretty printing languages, and survey pretty printers in the literature, comparing their expressiveness, optimality, worst-case time complexity, and practical running time. Our evaluation shows that PrettyExpressive is efficient and effective at producing optimal layouts. PrettyExpressive has also seen real-world adoption: it serves as a foundation of a code formatter for Racket.


title: A comprehensive hydrodynamical study of SB DEM L50: understanding off-centre SNe and soft X-ray luminosity

abstract: The superbubbles (SBs) carved in the interstellar medium by stellar winds and supernovae (SNe) are filled with hot ($T>$10$^{6}$~K) gas that produces soft X-ray emission (0.3-2.0\,keV). Models that assume a constant density medium and central SNe events fail to reproduce the soft X-ray luminosity that is observed in some SBs. We address this problem by generating models that trace the history of SNe in the SB and that produce off-centre SNe, that account for the missing soft X-ray emission. We test the models against archival, radio, optical, and X-ray observations of the SB DEM\,L50 located in the Large Magellanic Cloud. The soft X-ray properties of DEM L50, including its high luminosity, makes it a perfect candidate to test our models. Furthermore, the multiple wave-band observations of this object will help us to assess how well our models can reproduce other SB properties beside its soft X-ray properties. We find that a configuration where DEM L50 forms at the edge of a filament reproduces the observed soft X-ray luminosity, optical morphology, shell velocity, and swept-up mass of neutral gas. This configuration is supported by IR observations of the LMC. In addition, we find that off-centre SNe, which enhance soft X-ray emission, naturally occur for all of the initial ambient conditions we tested in our models. Finally, we show that an off-centre SN can explain the observed soft X-ray luminosity of DEM L50, and that the resulting luminosity is consistent with a plasma in non-equilibrium ionisation.


title: Hot electron diffusion, microwave noise, and piezoresistivity in Si from first principles

abstract: Ab-initio calculations of charge transport properties in materials without adjustable parameters have provided microscopic insights into electron-phonon interactions which govern charge transport properties. Other transport properties such as the diffusion coefficient provide additional microscopic information and are readily accessible experimentally, but few ab-initio calculations of these properties have been performed. Here, we report first-principles calculations of the hot electron diffusion coefficient in Si and its dependence on electric field over temperatures from 77 -- 300 K. While qualitative agreement in trends such as anisotropy at high electric fields is obtained, the quantitative agreement that is routinely achieved for low-field mobility is lacking. We examine whether the discrepancy can be attributed to an inaccurate description of f-type intervalley scattering by computing the microwave-frequency noise spectrum and piezoresistivity. These calculations indicate that any error in the strength of f-type scattering is insufficient to explain the diffusion coefficient discrepancies. Our findings suggest that the measured diffusion coefficient is influenced by factors such as space charge effects which are not included in ab-initio calculations, impacting the interpretation of this property in terms of charge transport processes.


title: The fiducial-Bayes fusion: A general theory of statistical inference

abstract: An overview is presented of a general theory of statistical inference that is referred to as the fiducial-Bayes fusion. This theory combines organic fiducial inference and Bayesian inference. The aim is that the reader is given a clear summary of the conceptual framework of the fiducial-Bayes fusion as well as pointers to further reading about its more technical aspects. Particular attention is paid to the issue of how much importance should be attached to the role of Bayesian inference within this framework. The appendix contains a substantive example of the application of the theory of the fiducial-Bayes fusion, which supplements various other examples of the application of this theory that are referenced in the paper.


title: Single molecule superradiance for optical cycling

abstract: Herein, we show that single molecules containing multiple optical cycling centers (CaO moieties) can exhibit superradiant phenomena. We demonstrate the accuracy of the Frenkel exciton model at describing these superradiant states via comparisons to high-level electronic structure methods. We then rationally design molecules with superradiant properties optimized for laser cooling. Lastly, we demonstrate how multi-photon superradiant phenomena can occur in these novel molecular systems.


title: Electronic superradiance mediated by nuclear dynamics

abstract: Superradiance, in which the collective behavior of emitters can generate enhanced radiative decay, was first predicted by a model, now known as the Dicke model, that contains a collection of two-level systems (the emitters) all interacting with the same photonic mode. In this article, we extend the original Dicke model to elucidate the influence of nuclear motion on superradiant emission. Our dynamical simulations of the combined electronic, nuclear, and photonic system reveal a new time scale attributed to the population leakage of the dark, subradiant states. Furthermore, this dark state emission pathway can be controlled by tuning the nuclear potential energy landscape. These findings impact how superradiant states and molecular degrees of freedom can be leveraged and utilized in quantum optical systems.


title: Algebras of actions in an agent's representations of the world

abstract: In this paper, we propose a framework to extract the algebra of the transformations of worlds from the perspective of an agent. As a starting point, we use our framework to reproduce the symmetry-based representations from the symmetry-based disentangled representation learning (SBDRL) formalism proposed by [1]; only the algebra of transformations of worlds that form groups can be described using symmetry-based representations. We then study the algebras of the transformations of worlds with features that occur in simple reinforcement learning scenarios. Using computational methods, that we developed, we extract the algebras of the transformations of these worlds and classify them according to their properties. Finally, we generalise two important results of SBDRL - the equivariance condition and the disentangling definition - from only working with symmetry-based representations to working with representations capturing the transformation properties of worlds with transformations for any algebra. Finally, we combine our generalised equivariance condition and our generalised disentangling definition to show that disentangled sub-algebras can each have their own individual equivariance conditions, which can be treated independently.


title: Adversarial Client Detection via Non-parametric Subspace Monitoring in the Internet of Federated Things

abstract: The Internet of Federated Things (IoFT) represents a network of interconnected systems with federated learning as the backbone, facilitating collaborative knowledge acquisition while ensuring data privacy for individual systems. The wide adoption of IoFT, however, is hindered by security concerns, particularly the susceptibility of federated learning networks to adversarial attacks. In this paper, we propose an effective non-parametric approach FedRR, which leverages the low-rank features of the transmitted parameter updates generated by federated learning to address the adversarial attack problem. Besides, our proposed method is capable of accurately detecting adversarial clients and controlling the false alarm rate under the scenario with no attack occurring. Experiments based on digit recognition using the MNIST datasets validated the advantages of our approach.


title: Risk-Sensitive Inhibitory Control for Safe Reinforcement Learning

abstract: Humans have the ability to deviate from their natural behavior when necessary, which is a cognitive process called response inhibition. Similar approaches have independently received increasing attention in recent years for ensuring the safety of control. Realized using control barrier functions or predictive safety filters, these approaches can effectively ensure the satisfaction of state constraints through an online adaptation of nominal control laws, e.g., obtained through reinforcement learning. While the focus of these realizations of inhibitory control has been on risk-neutral formulations, human studies have shown a tight link between response inhibition and risk attitude. Inspired by this insight, we propose a flexible, risk-sensitive method for inhibitory control. Our method is based on a risk-aware condition for value functions, which guarantees the satisfaction of state constraints. We propose a method for learning these value functions using common techniques from reinforcement learning and derive sufficient conditions for its success. By enforcing the derived safety conditions online using the learned value function, risk-sensitive inhibitory control is effectively achieved. The effectiveness of the developed control scheme is demonstrated in simulations.


title: Effect of Triangular Pre-Cracks on the Mechanical Behavior of 2D MoTe$_2$: A Molecular Dynamics Study

abstract: Among two-dimensional (2D) materials, transition metal dichalcogenides (TMDs) stand out for their remarkable electronic, optical, and chemical properties. In addition to being variable bandgap semiconductor materials, the atomic thinness provides flexibility to TMDs. Therefore, understanding the physical properties of TMDs for applications in flexible and wearable devices is crucial. Despite the growing enthusiasm surrounding two-dimensional transition metal dichalcogenides (TMDs), our understanding of the mechanical characteristics of molybdenum ditelluride (MoTe$_2$) remains limited. The mechanical properties of MoTe$_2$ deteriorate in the presence of pre-existing cracks or vacancy defects, which are very common in grown TMDs. In this study, the fracture properties and crack propagation of monolayer molybdenum ditelluride (MoTe$_2$) sheets containing pre-existing triangular cracks with various vertex angles are investigated by performing molecular dynamics (MD) simulations of uniaxial and biaxial tensile loading. Due to pre-crack length, angle, and perimeter variations, monolayer MoTe$_2$ with pre-existing cracks underwent considerable changes in Young's modulus, tensile strength, fracture toughness, and fracture strain values. We have found that the pre-cracked MoTe$_2$ is more brittle than its pristine counterpart. Regulated alteration of pre-crack angle under constant simulation conditions improved the uniaxial mechanical properties. Similarly, regulated alteration of the perimeter of the pre-crack resulted in improved biaxial mechanical properties. This study contributes to the foundational knowledge for advanced design strategies involving strain engineering in MoTe$_2$ and other similar transition metal dichalcogenides.


title: On the power of geometrically-local classical and quantum circuits

abstract: We show a relation, based on parallel repetition of the Magic Square game, that can be solved, with probability exponentially close to $1$ (worst-case input), by $1D$ (uniform) depth $2$, geometrically-local, noisy (noise below a threshold), fan-in $4$, quantum circuits. We show that the same relation cannot be solved, with an exponentially small success probability (averaged over inputs drawn uniformly), by $1D$ (non-uniform) geometrically-local, sub-linear depth, classical circuits consisting of fan-in $2$ NAND gates. Quantum and classical circuits are allowed to use input-independent (geometrically-non-local) resource states, that is entanglement and randomness respectively. To the best of our knowledge, previous best (analogous) depth separation for a task between quantum and classical circuits was constant v/s sub-logarithmic, although for general (geometrically non-local) circuits. Our hardness result for classical circuits is based on a direct product theorem about classical communication protocols from Jain and Kundu [JK22]. As an application, we propose a protocol that can potentially demonstrate verifiable quantum advantage in the NISQ era. We also provide generalizations of our result for higher dimensional circuits as well as a wider class of Bell games.


title: Restoring the Discontinuous Heat Equation Source Using Sparse Boundary Data and Dynamic Sensors

abstract: This study focuses on addressing the inverse source problem associated with the parabolic equation. We rely on sparse boundary flux data as our measurements, which are acquired from a restricted section of the boundary. While it has been established that utilizing sparse boundary flux data can enable source recovery, the presence of a limited number of observation sensors poses a challenge for accurately tracing the inverse quantity of interest. To overcome this limitation, we introduce a sampling algorithm grounded in Langevin dynamics that incorporates dynamic sensors to capture the flux information. Furthermore, we propose and discuss two distinct sensor migration strategies. Remarkably, our findings demonstrate that even with only two observation sensors at our disposal, it remains feasible to successfully reconstruct the high-dimensional unknown parameters.


title: Fusing Models with Complementary Expertise

abstract: Training AI models that generalize across tasks and domains has long been among the open problems driving AI research. The emergence of Foundation Models made it easier to obtain expert models for a given task, but the heterogeneity of data that may be encountered at test time often means that any single expert is insufficient. We consider the Fusion of Experts (FoE) problem of fusing outputs of expert models with complementary knowledge of the data distribution and formulate it as an instance of supervised learning. Our method is applicable to both discriminative and generative tasks and leads to significant performance improvements in image and text classification, text summarization, multiple-choice QA, and automatic evaluation of generated text. We also extend our method to the "frugal" setting where it is desired to reduce the number of expert model evaluations at test time. Our implementation is publicly available at https://github.com/hwang595/FoE-ICLR2024.


title: Inverted pin beams for robust long-range propagation through atmospheric turbulence

abstract: We introduce a new class of optical beams, which feature a spatial profile akin to an ``inverted pin''. In particular, we asymptotically find that close to the axis the transverse amplitude profile of such beams takes the form of a Bessel function with width that gradually increases during propagation. We examine numerically the behavior of such inverted pin beams in turbulent environments as measured via the scintillation index, and show that they outperform Gaussian beams (collimated and focused) as well as Bessel beams and regular pin beams, which are all optimized, especially in the moderate and strong fluctuation regimes.


title: GW190521: tracing imprints of spin-precession on the most massive black hole binary

abstract: GW190521 is a remarkable gravitational-wave signal on multiple fronts: its source is the most massive black hole binary identified to date and could have spins misaligned with its orbit, leading to spin-induced precession -- an astrophysically consequential property linked to the binary's origin. However, due to its large mass, GW190521 was only observed during its final 3-4 cycles, making precession constraints puzzling and giving rise to alternative interpretations, such as eccentricity. Motivated by these complications, we trace the observational imprints of precession on GW190521 by dissecting the data with a novel time domain technique, allowing us to explore the morphology and interplay of the few observed cycles. We find that precession inference hinges on a quiet portion of the pre-merger data that is suppressed relative to the merger-ringdown. Neither pre-merger nor post-merger data alone are the sole driver of inference, but rather their combination: in the quasi-circular scenario, precession emerges as a mechanism to accommodate the lack of a stronger pre-merger signal in light of the observed post-merger. In terms of source dynamics, the pre-merger suppression arises from a tilting of the binary with respect to the observer. Establishing such a consistent picture between the source dynamics and the observed data is crucial for characterizing the growing number of massive binary observations and bolstering the robustness of ensuing astrophysical claims.


title: RF-ULM: Ultrasound Localization Microscopy Learned from Radio-Frequency Wavefronts

abstract: In Ultrasound Localization Microscopy (ULM), achieving high-resolution images relies on the precise localization of contrast agent particles across a series of beamformed frames. However, our study uncovers an enormous potential: The process of delay-and-sum beamforming leads to an irreversible reduction of Radio-Frequency (RF) channel data, while its implications for localization remain largely unexplored. The rich contextual information embedded within RF wavefronts, including their hyperbolic shape and phase, offers great promise for guiding Deep Neural Networks (DNNs) in challenging localization scenarios. To fully exploit this data, we propose to directly localize scatterers in RF channel data. Our approach involves a custom super-resolution DNN using learned feature channel shuffling, non-maximum suppression, and a semi-global convolutional block for reliable and accurate wavefront localization. Additionally, we introduce a geometric point transformation that facilitates seamless mapping to the B-mode coordinate space. To understand the impact of beamforming on ULM, we validate the effectiveness of our method by conducting an extensive comparison with State-Of-The-Art (SOTA) techniques. We present the inaugural in vivo results from a wavefront-localizing DNN, highlighting its real-world practicality. Our findings show that RF-ULM bridges the domain shift between synthetic and real datasets, offering a considerable advantage in terms of precision and complexity. To enable the broader research community to benefit from our findings, our code and the associated SOTA methods are made available at https://github.com/hahnec/rf-ulm.


title: Decentralization Cheapens Corruptive Majority Attacks

abstract: Corruptive majority attacks, in which mining power is distributed among miners and an attacker attempts to bribe a majority of miners into participation in a majority attack, pose a threat to blockchains. Budish bounded the cost of bribing miners to participate in an attack by their expected loss as a result of attack success. We show that this bound is loose. In particular, an attack may be structured so that under equilibrium play by most miners, a miner's choice to participate only slightly affects the attack success chance. Combined with the fact that most of the cost of attack success is externalized by any given small miner, this implies that if most mining power is controlled by small miners, bribing miners to participate in such an attack is much cheaper than the Budish bound. We provide a scheme for a cheap corruptive majority attack and discuss practical concerns and consequences.


title: On the near-optimality of betting confidence sets for bounded means

abstract: Constructing nonasymptotic confidence intervals (CIs) for the mean of a univariate distribution from independent and identically distributed (i.i.d.) observations is a fundamental task in statistics. For bounded observations, a classical nonparametric approach proceeds by inverting standard concentration bounds, such as Hoeffding's or Bernstein's inequalities. Recently, an alternative betting-based approach for defining CIs and their time-uniform variants called confidence sequences (CSs), has been shown to be empirically superior to the classical methods. In this paper, we provide theoretical justification for this improved empirical performance of betting CIs and CSs. Our main contributions are as follows: (i) We first compare CIs using the values of their first-order asymptotic widths (scaled by $\sqrt{n}$), and show that the betting CI of Waudby-Smith and Ramdas (2023) has a smaller limiting width than existing empirical Bernstein (EB)-CIs. (ii) Next, we establish two lower bounds that characterize the minimum width achievable by any method for constructing CIs/CSs in terms of certain inverse information projections. (iii) Finally, we show that the betting CI and CS match the fundamental limits, modulo an additive logarithmic term and a multiplicative constant. Overall these results imply that the betting CI~(and CS) admit stronger theoretical guarantees than the existing state-of-the-art EB-CI~(and CS); both in the asymptotic and finite-sample regimes.

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


title: Superradiant scattering of electromagnetic fields from ringing black holes

abstract: Detection of gravitational waves (GWs) paves the beginning of a new era of gravitational wave astronomy. Black holes (BHs) in their ringdown phase provide the cleanest signal of emitted GWs that imprint the fundamental nature of BHs under low energy perturbation. Apart from GWs, any complementary signature of ringing BHs can be of paramount importance. Motivated by this we analyzed the scattering of electromagnetic waves in such a background and demonstrated that the absorption cross section of a ringing Schwarzschild BH can be superradiant. Moreover, we have found out that such superradiant phenomena are transient in nature with a characteristic time scale equal to the GW oscillation time scale. We further point out that the existing ground-based Low Frequency Array (LOFAR), radio telescopes, may be able to detect such transient signals from BHs of mass range $M\sim 10^{-1} - 10^{-2} M_{\odot}$, which should necessarily be of primordial origin. Our present result opens up an intriguing possibility of observing the black hole merging phenomena through electromagnetic waves.


title: Arithmetic rank bounds for abelian varieties over function fields

abstract: It follows from the Grothendieck-Ogg-Shafarevich formula that the rank of an abelian variety (with trivial trace) defined over the function field of a curve is bounded by a quantity which depends on the genus of the base curve and on bad reduction data. Using a function field version of classical $\ell$-descent techniques, we derive an arithmetic refinement of this bound, extending previous work of the second and third authors from elliptic curves to abelian varieties, and improving on their result in the case of elliptic curves. When the abelian variety is the Jacobian of a hyperelliptic curve, we produce a more explicit $2$-descent map. Then we apply this machinery to studying points on the Jacobians of certain genus $2$ curves over $k(t)$, where $k$ is some perfect base field of characteristic not $2$.


title: Spontaneously interacting qubits from Gauss-Bonnet

abstract: Building on previous constructions examining how a collection of small, locally interacting quantum systems might emerge via spontaneous symmetry breaking from a single-particle system of high dimension, we consider a larger family of geometric loss functionals and explicitly construct several classes of critical metrics which "know about qubits" (KAQ). The loss functional consists of the Ricci scalar with the addition of the Gauss-Bonnet term, which introduces an order parameter that allows for spontaneous symmetry breaking. The appeal of this method is two-fold: (i) the Ricci scalar has already been shown to have KAQ critical metrics and (ii) exact equations of motions are known for loss functionals with generic curvature terms up to two derivatives. We show that KAQ critical metrics, which are solutions to the equations of motion in the space of left-invariant metrics with fixed determinant, exist for loss functionals that include the Gauss-Bonnet term. We find that exploiting the subalgebra structure leads us to natural classes of KAQ metrics which contain the familiar distributions (GUE, GOE, GSE) for random Hamiltonians. We introduce tools for this analysis that will allow for straightfoward, although numerically intensive, extension to other loss functionals and higher-dimension systems.


title: Harnessing the Power of Choices in Decision Tree Learning

abstract: We propose a simple generalization of standard and empirically successful decision tree learning algorithms such as ID3, C4.5, and CART. These algorithms, which have been central to machine learning for decades, are greedy in nature: they grow a decision tree by iteratively splitting on the best attribute. Our algorithm, Top-$k$, considers the $k$ best attributes as possible splits instead of just the single best attribute. We demonstrate, theoretically and empirically, the power of this simple generalization. We first prove a {\sl greediness hierarchy theorem} showing that for every $k \in \mathbb{N}$, Top-$(k+1)$ can be dramatically more powerful than Top-$k$: there are data distributions for which the former achieves accuracy $1-\varepsilon$, whereas the latter only achieves accuracy $\frac1{2}+\varepsilon$. We then show, through extensive experiments, that Top-$k$ outperforms the two main approaches to decision tree learning: classic greedy algorithms and more recent "optimal decision tree" algorithms. On one hand, Top-$k$ consistently enjoys significant accuracy gains over greedy algorithms across a wide range of benchmarks. On the other hand, Top-$k$ is markedly more scalable than optimal decision tree algorithms and is able to handle dataset and feature set sizes that remain far beyond the reach of these algorithms.


title: Dynamic Ancillary Services: From Grid Codes to Transfer Function-Based Converter Control

abstract: Conventional grid-code specifications for dynamic ancillary services provision such as fast frequency and voltage regulation are typically defined by means of piece-wise linear step-response capability curves in the time domain. However, although the specification of such time-domain curves is straightforward, their practical implementation in a converter-based generation system is not immediate, and no customary methods have been developed yet. In this paper, we thus propose a systematic approach for the practical implementation of piece-wise linear time-domain curves to provide dynamic ancillary services by converter-based generation systems, while ensuring grid-code and device-level requirements to be reliably satisfied. Namely, we translate the piece-wise linear time-domain curves for active and reactive power provision in response to a frequency and voltage step change into a desired rational parametric transfer function in the frequency domain, which defines a dynamic response behavior to be realized by the converter. The obtained transfer function can be easily implemented e.g. via a PI-based matching control in the power loop of standard converter control architectures. We demonstrate the performance of our method in numerical grid-code compliance tests, and reveal its superiority over classical droop and virtual inertia schemes which may not satisfy the grid codes due to their structural limitations.


title: The Ideal of Vanishing Polynomials and the Ring of Polynomial Functions

abstract: Vanishing polynomials are polynomials over a ring which output $0$ for all elements in the ring. In this paper, we study the ideal of vanishing polynomials over specific types of rings, along with the closely related ring of polynomial functions. In particular, we provide several results on generating vanishing polynomials. We first analyze the ideal of vanishing polynomial over $\mathbb{Z}_n$, the ring of the integers modulo $n$. We then establish an isomorphism between the vanishing polynomials of a ring and the vanishing polynomials of the constituent rings in its decomposition. Lastly, we generalize our results to study the ideal of vanishing polynomials over arbitrary commutative rings.


title: Remarks on light propagation in linear magnetoelectric materials

abstract: The study of light propagation in a linear magnetoelectric crystalline medium typically assumes that the electric field $\boldsymbol{E}$ and the auxiliary field $\boldsymbol{H}$ are the variables that determine the polarization $\boldsymbol{P}$ and magnetization $\boldsymbol{M}$ of the material. This choice leads to the standard definitions of the electric, magnetic and magnetoelectric susceptibilities. It is here suggested that the use of the electromagnetic fields $\boldsymbol{E}$ and $\boldsymbol{B}$, which appear in the Faraday induction law, as variables for $\boldsymbol{P}$ and $\boldsymbol{M}$, simplifies the mathematical description of some linear optical effects. The relationship between the optical coefficients and the refractive index of the medium becomes more straightforward. Particularly, the magnetoelectric coefficient can be deftly expressed in terms of the refractive index without the need for any approximation regarding its magnitude compared to the other linear coefficients. This formalism can be useful for connecting theory and experiments related to the magnetoelectric effect and its applications. A short discussion on the definition of the magnetic susceptibility and its use in some well known formula of the electromagnetism is also provided.


title: The Lie superalgebra of transpositions

abstract: We consider the group algebra of the symmetric group as a superalgebra, and describe its Lie subsuperalgebra generated by the transpositions.


title: Second-order exponential splittings in the presence of unbounded and time-dependent operators: construction and convergence

abstract: For linear differential equations of the form $u'(t)=[A + B(t)] u(t)$, $t\geq0$, with a possibly unbounded operator $A$, we construct and deduce error bounds for two families of second-order exponential splittings. The role of quadratures when integrating the twice-iterated Duhamel's formula is reformulated: we show that their choice defines the structure of the splitting. Furthermore, the reformulation allows us to consider quadratures based on the Birkhoff interpolation to obtain not only pure-stages splittings but also those containing derivatives of $B(t)$ and commutators of $A$ and $B(t)$. In this approach, the construction and error analysis of the splittings are carried out simultaneously. We discuss the accuracy of the members of the families. Numerical experiments are presented to complement the theoretical consideration.


title: SmartPlay: A Benchmark for LLMs as Intelligent Agents

abstract: Recent large language models (LLMs) have demonstrated great potential toward intelligent agents and next-gen automation, but there currently lacks a systematic benchmark for evaluating LLMs' abilities as agents. We introduce SmartPlay: both a challenging benchmark and a methodology for evaluating LLMs as agents. SmartPlay consists of 6 different games, including Rock-Paper-Scissors, Tower of Hanoi, Minecraft. Each game features a unique setting, providing up to 20 evaluation settings and infinite environment variations. Each game in SmartPlay uniquely challenges a subset of 9 important capabilities of an intelligent LLM agent, including reasoning with object dependencies, planning ahead, spatial reasoning, learning from history, and understanding randomness. The distinction between the set of capabilities each game test allows us to analyze each capability separately. SmartPlay serves not only as a rigorous testing ground for evaluating the overall performance of LLM agents but also as a road-map for identifying gaps in current methodologies. We release our benchmark at github.com/Microsoft/SmartPlay


title: Making Retrieval-Augmented Language Models Robust to Irrelevant Context

abstract: Retrieval-augmented language models (RALMs) hold promise to produce language understanding systems that are are factual, efficient, and up-to-date. An important desideratum of RALMs, is that retrieved information helps model performance when it is relevant, and does not harm performance when it is not. This is particularly important in multi-hop reasoning scenarios, where misuse of irrelevant evidence can lead to cascading errors. However, recent work has shown that retrieval augmentation can sometimes have a negative effect on performance. In this work, we present a thorough analysis on five open-domain question answering benchmarks, characterizing cases when retrieval reduces accuracy. We then propose two methods to mitigate this issue. First, a simple baseline that filters out retrieved passages that do not entail question-answer pairs according to a natural language inference (NLI) model. This is effective in preventing performance reduction, but at a cost of also discarding relevant passages. Thus, we propose a method for automatically generating data to fine-tune the language model to properly leverage retrieved passages, using a mix of relevant and irrelevant contexts at training time. We empirically show that even 1,000 examples suffice to train the model to be robust to irrelevant contexts while maintaining high performance on examples with relevant ones.


title: Mechanical Forces Quench Frontal Polymerization: Experiments and Theory

abstract: Frontal polymerization is a promising energy-saving method for rapid fabrication of polymer components with good mechanical properties. In these systems, a small energy input is sufficient to convert monomers, from a liquid or soft solid state, into a stiff polymer component. Once the reaction is initiated, it propagates as a self-sustaining front that is driven by the heat released from the reaction itself. While several studies have been proposed to capture the coupling between thermodynamics and extreme chemical kinetics in these systems, and can explain experimentally observed thermo-chemical instabilities, only few have considered the potential influence of mechanical forces that develop in these systems during fabrication. Nonetheless, some experiments do indicate that local volume changes induced by the competing effects of thermal expansion and chemical shrinkage, can lead to significant deformation or even failure in the resulting component. In this work, we present a unique experimental approach to elucidate the effect of mechanics on the propagation. Our experiments reveal that residual stresses that arise in frontal polymerization are not only a potential cause of undesired deformations in polymer products, but can also quench the reaction front. This thermo-chemo-mechanically coupled effect is captured by our theoretical model, which explains the mechanical limitations on frontal polymerization and can guide future fabrication. Overall, the findings of this work suggest that mechanical coupling needs to be taken into consideration to enable industrial applications of frontal polymerization at large scales.


title: Remnant loop quantum black holes

abstract: Polymer models inspired by Loop Quantum Gravity (LQG) have been used to describe non-singular quantum black holes with spherical symmetry, with the classical singularity replaced by a transition from a black hole to a white hole. A recent model, with a single polymerisation parameter, leads to a symmetric transition with same mass for the black and white phases, and to an asymptotically flat exterior metric. The radius of the transition surface is, however, not fixed, increasing with the mass. Following similar procedures, in a previous paper we have fixed that radius by identifying the minimal area on the transition surface with the area gap of LQG. This allowed to find a dependence of the polymerisation parameter on the black hole mass, with the former increasing as the latter decreases. It also permitted to extend the model to Planck scale black holes, with quantum fluctuations remaining small at the horizon. In the present paper we extend this analysis to charged black holes, showing that the Cauchy horizon lies beyond of the transition surface. We also show the existence of limiting states with zero surface gravity, the lightest one with $Q = 0$ and $m = \sqrt{2}/4$, and the heaviest with $Q = m = \sqrt{2}/2$. Using our solutions to approximate quasi-steady horizons, we show that Hawking evaporation leads asymptotically to these extremal states, leaving remnant black holes of Planck size.


title: A note on the quality of simultaneous Diophantine approximations obtained by the LLL algorithm

abstract: In 1982, A. K. Lenstra, H. W. Lenstra, and L. Lov\'asz introduced the first polynomial-time method to factor a nonzero polynomial $f \in \mathbb{Q}[x]$ into irreducible factors. This algorithm, now commonly referred to as the LLL Algorithm, can also be applied to compute simultaneous Diophantine approximations. We present a significant improvement of a result by Bosma and Smeets on the quality of simultaneous Diophantine approximations achieved by the LLL Algorithm.


title: A comprehensive comparison of tools for fitting mutational signatures

abstract: Mutational signatures connect characteristic mutational patterns in the genome with biological processes that take place in the tumor tissues. Analysis of mutational signatures can help elucidate tumor evolution, prognosis, and therapeutic strategies. Although tools for extracting mutational signatures de novo have been extensively benchmarked, a similar effort is lacking for tools that fit known mutational signatures to a given catalog of mutations. We fill this gap by comprehensively evaluating eleven signature fitting tools (well-established as well as recent) on synthetic input data. To create realistic input data, we use empirical signature weights in tumor tissue samples from the COSMIC database. The study design allows us to assess the effects of the number of mutations, type of cancer, and the catalog of reference signatures on the results obtained with various fitting tools. We find substantial performance differences between the evaluated tools. Averaged over 120,000 simulated mutational catalogs corresponding to eight different cancer types, SigProfilerSingleSample and SigProfilerAssignment perform best for small and large numbers of mutations per sample, respectively. We further show that ad hoc constraining the list of reference signatures is likely to produce inferior results and that noisy estimates of signature weights in samples with as few as 100 mutations can still be useful in downstream analysis.


title: Local algorithms and the failure of log-depth quantum advantage on sparse random CSPs

abstract: We construct and analyze a message-passing algorithm for random constraint satisfaction problems (CSPs) at large clause density, generalizing work of El Alaoui, Montanari, and Sellke for Maximum Cut [arXiv:2111.06813] through a connection between random CSPs and mean-field Ising spin glasses. For CSPs with even predicates, the algorithm asymptotically solves a stochastic optimal control problem dual to an extended Parisi variational principle. This gives an optimal fraction of satisfied constraints among algorithms obstructed by the branching overlap gap property of Huang and Sellke [arXiv:2110.07847], notably including the Quantum Approximate Optimization Algorithm and all quantum circuits on a bounded-degree architecture of up to $\epsilon \cdot \log n$ depth.


title: Collective group drift in a PDE-based opinion dynamics model with biased perception kernels

abstract: In the age of technology, individuals accelerate their biased gathering of information which in turn leads to a population becoming extreme and more polarized. Here we study a partial differential equation model for opinion dynamics that exhibits collective behavior subject to nonlocal interactions. We developed a new interaction kernel function to represent biased information gathering. Through a linear stability analysis, we show that biased populations can still form opinionated groups. However, a population that is too heavily biased can no longer come to a consensus, that is, the initial homogeneous mixed state becomes stable. Numerical simulations with biased information gathering show the ability for groups to collectively drift towards one end of the opinion space. This means that a small bias in each individual will collectively lead to groups of individuals becoming extreme together. The characteristic time scale for a groups existence is captured from numerical experiments using the temporal correlation function. Supplementing this, we included a measure of how different each population is after regular time intervals using a form of the Manhattan and Euclidean distance metrics. We conclude by exploring how wall boundary conditions induce pattern formation initially on the most extreme sides of the domain.


title: Causality-informed Rapid Post-hurricane Building Damage Detection in Large Scale from InSAR Imagery

abstract: Timely and accurate assessment of hurricane-induced building damage is crucial for effective post-hurricane response and recovery efforts. Recently, remote sensing technologies provide large-scale optical or Interferometric Synthetic Aperture Radar (InSAR) imagery data immediately after a disastrous event, which can be readily used to conduct rapid building damage assessment. Compared to optical satellite imageries, the Synthetic Aperture Radar can penetrate cloud cover and provide more complete spatial coverage of damaged zones in various weather conditions. However, these InSAR imageries often contain highly noisy and mixed signals induced by co-occurring or co-located building damage, flood, flood/wind-induced vegetation changes, as well as anthropogenic activities, making it challenging to extract accurate building damage information. In this paper, we introduced an approach for rapid post-hurricane building damage detection from InSAR imagery. This approach encoded complex causal dependencies among wind, flood, building damage, and InSAR imagery using a holistic causal Bayesian network. Based on the causal Bayesian network, we further jointly inferred the large-scale unobserved building damage by fusing the information from InSAR imagery with prior physical models of flood and wind, without the need for ground truth labels. Furthermore, we validated our estimation results in a real-world devastating hurricane -- the 2022 Hurricane Ian. We gathered and annotated building damage ground truth data in Lee County, Florida, and compared the introduced method's estimation results with the ground truth and benchmarked it against state-of-the-art models to assess the effectiveness of our proposed method. Results show that our method achieves rapid and accurate detection of building damage, with significantly reduced processing time compared to traditional manual inspection methods.


title: How do Software Engineering Researchers Use GitHub? An Empirical Study of Artifacts & Impact

abstract: Millions of developers share their code on open-source platforms like GitHub, which offer social coding opportunities such as distributed collaboration and popularity-based ranking. Software engineering researchers have joined in as well, hosting their research artifacts (tools, replication package & datasets) in repositories, an action often marked as part of the publications contribution. Yet a decade after the first such paper-with-GitHub-link, little is known about the fate of such repositories in practice. Do research repositories ever gain the interest of the developer community, or other researchers? If so, how often and why (not)? Does effort invested on GitHub pay off with research impact? In short: we ask whether and how authors engage in social coding related to their research. We conduct a broad empirical investigation of repositories from published work, starting with ten thousand papers in top SE research venues, hand-annotating their 3449 GitHub (and Zenodo) links, and studying 309 paper-related repositories in detail. We find a wide distribution in popularity and impact, some strongly correlated with publication venue. These were often heavily informed by the authors investment in terms of timely responsiveness and upkeep, which was often remarkably subpar by GitHubs standards, if not absent altogether. Yet we also offer hope: popular repositories often go hand-in-hand with well-citepd papers and achieve broad impact. Our findings suggest the need to rethink the research incentives and reward structure around research products requiring such sustained contributions.


title: Hot Jupiters Have Giant Companions: Evidence for Coplanar High-Eccentricity Migration

abstract: This study considers the characteristics of planetary systems with giant planets based on a population-level analysis of the California Legacy Survey planet catalog. We identified three characteristics common to hot Jupiters. First, while not all hot Jupiters have a detected outer giant planet companion ($M \sin i$ = 0.3--30 $M_{\textrm{Jup}}$), such companions are ubiquitous when survey completeness corrections are applied for orbital periods out to 40,000 days. Giant harboring systems without a hot Jupiter also host at least one outer giant planet companion per system. Second, the mass distributions of hot Jupiters and other giant planets are indistinguishable. However, within a planetary system that includes a hot Jupiter, the outer giant planet companions are at least $3\times$ more massive than the inner hot Jupiters. Third, the eccentricity distribution of the outer companions in hot Jupiter systems (with an average model eccentricity of $\langle e\rangle=0.34\pm0.05$) is different from the corresponding outer planets in planetary systems without hot Jupiters ($\langle e\rangle=0.19\pm0.02$). We conclude that the existence of two gas giants, where the outermost planet has an eccentricity $\ge0.2$ and is $3\times$ more massive, are key factors in the production of a hot Jupiter. Our simple model based on these factors predicts that $\sim$10\% of warm and cold Jupiter systems will by chance meet these assembly criteria, which is consistent with our measurement of $16\pm6\%$ relative occurrence of hot Jupiter systems to all giant-harboring systems. We find that these three features favor coplanar high-eccentricity migration as the dominant mechanism for hot Jupiter formation.


title: Defending Against Authorship Identification Attacks

abstract: Authorship identification has proven unsettlingly effective in inferring the identity of the author of an unsigned document, even when sensitive personal information has been carefully omitted. In the digital era, individuals leave a lasting digital footprint through their written content, whether it is posted on social media, stored on their employer's computers, or located elsewhere. When individuals need to communicate publicly yet wish to remain anonymous, there is little available to protect them from unwanted authorship identification. This unprecedented threat to privacy is evident in scenarios such as whistle-blowing. Proposed defenses against authorship identification attacks primarily aim to obfuscate one's writing style, thereby making it unlinkable to their pre-existing writing, while concurrently preserving the original meaning and grammatical integrity. The presented work offers a comprehensive review of the advancements in this research area spanning over the past two decades and beyond. It emphasizes the methodological frameworks of modification and generation-based strategies devised to evade authorship identification attacks, highlighting joint efforts from the differential privacy community. Limitations of current research are discussed, with a spotlight on open challenges and potential research avenues.


title: Iterative Option Discovery for Planning, by Planning

abstract: Discovering useful temporal abstractions, in the form of options, is widely thought to be key to applying reinforcement learning and planning to increasingly complex domains. Building on the empirical success of the Expert Iteration approach to policy learning used in AlphaZero, we propose Option Iteration, an analogous approach to option discovery. Rather than learning a single strong policy that is trained to match the search results everywhere, Option Iteration learns a set of option policies trained such that for each state encountered, at least one policy in the set matches the search results for some horizon into the future. Intuitively, this may be significantly easier as it allows the algorithm to hedge its bets compared to learning a single globally strong policy, which may have complex dependencies on the details of the current state. Having learned such a set of locally strong policies, we can use them to guide the search algorithm resulting in a virtuous cycle where better options lead to better search results which allows for training of better options. We demonstrate experimentally that planning using options learned with Option Iteration leads to a significant benefit in challenging planning environments compared to an analogous planning algorithm operating in the space of primitive actions and learning a single rollout policy with Expert Iteration.


title: Magnetization of Antiferromagnetic Cactus Graph Model with Exact Dimer Ground State

abstract: We introduce and explore the magnetization behavior in a quantum spin system on a cactus graph, deemed the Cactus Graph Model (CGM), featuring an exact dimer singlet ground state. We analyze the singlet-triplet gap, interactions among excited triplets, and correlated hopping under an external magnetic field using a strong coupling expansion. Employing an effective hard-core boson representation, we unveil density wave magnetization plateaus and supersolid phases, revealing the intricate interplay between interactions and hopping dynamics. Furthermore, we conjecture that correlated hopping gives rise to multi-triplet bound states, and potentially engendering to the stabilization of additional low-lying magnetization plateaus.


title: Contraction Properties of the Global Workspace Primitive

abstract: To push forward the important emerging research field surrounding multi-area recurrent neural networks (RNNs), we expand theoretically and empirically on the provably stable RNNs of RNNs introduced by Kozachkov et al. in "RNNs of RNNs: Recursive Construction of Stable Assemblies of Recurrent Neural Networks". We prove relaxed stability conditions for salient special cases of this architecture, most notably for a global workspace modular structure. We then demonstrate empirical success for Global Workspace Sparse Combo Nets with a small number of trainable parameters, not only through strong overall test performance but also greater resilience to removal of individual subnetworks. These empirical results for the global workspace inter-area topology are contingent on stability preservation, highlighting the relevance of our theoretical work for enabling modular RNN success. Further, by exploring sparsity in the connectivity structure between different subnetwork modules more broadly, we improve the state of the art performance for stable RNNs on benchmark sequence processing tasks, thus underscoring the general utility of specialized graph structures for multi-area RNNs.


title: Microhydrodynamics of an autophoretic particle near a plane interface

abstract: We study the autophoretic motion of a spherical active particle interacting chemically and hydrodynamically with its fluctuating environment in the limit of rapid diffusion and slow viscous flow. Then, the chemical and hydrodynamic fields can be expressed in terms of integrals over boundaries. The resulting boundary-domain integral equations provide a direct way of obtaining the traction on the particle, requiring the solution of linear integral equations. An exact solution for the chemical and hydrodynamic problems is obtained for a particle in an unbounded domain. For motion near boundaries, we provide corrections to the unbounded solutions in terms of chemical and hydrodynamic Green's functions, preserving the dissipative nature of autophoresis in a viscous fluid for all physical configurations. Using this, we give the fully stochastic update equations for the Brownian trajectory of an autophoretic particle in a complex environment. Finally, we demonstrate our method by studying autophoresis near a plane interface of fixed viscosity ratio and solute permeability. We provide explicit solutions to the chemical and hydrodynamic problems with high accuracy for this system geometry. We apply our theoretical results in numerical simulations of the dynamics of a bottom-heavy Brownian Janus particle near a wall.


title: Mixed Reality Environment and High-Dimensional Continuification Control for Swarm Robotics

abstract: Many new methodologies for the control of large-scale multi-agent systems are based on macroscopic representations of the emerging systemdynamics, in the form of continuum approximations of large ensembles. These techniques, that are typically developed in the limit case of an infinite number of agents, are usually validated only through numerical simulations. In this paper, we introduce a mixed reality set-up for testing swarm robotics techniques, focusing on the macroscopic collective motion of robotic swarms. This hybrid apparatus combines both real differential drive robots and virtual agents to create a heterogeneous swarm of tunable size. We also extend continuification-based control methods for swarms to higher dimensions, and assess experimentally their validity in the new platform. Our study demonstrates the effectiveness of the platform for conducting large-scale swarm robotics experiments, and it contributes new theoretical insights into control algorithms exploiting continuification approaches.


title: Potential Ways to Detect Unfairness in HRI and to Re-establish Positive Group Dynamics

abstract: This paper focuses on the identification of different algorithm-based biases in robotic behaviour and their consequences in human-robot mixed groups. We propose to develop computational models to detect episodes of microaggression, discrimination, and social exclusion informed by a) observing human coping behaviours that are used to regain social inclusion and b) using system inherent information that reveal unequal treatment of human interactants. Based on this information we can start to develop regulatory mechanisms to promote fairness and social inclusion in HRI.


title: Derivation of outcome-dependent dietary patterns for low-income women obtained from survey data using a Supervised Weighted Overfitted Latent Class Analysis

abstract: Poor diet quality is a key modifiable risk factor for hypertension and disproportionately impacts low-income women. Analyzing diet-driven hypertensive outcomes in this demographic can be challenging due to scarcity of data, as well as high-dimensionality, multi-collinearity, and selection bias in the sampled exposures. Supervised Bayesian model-based clustering methods allow dietary data to be summarized into latent patterns that holistically capture complex relationships among foods and a known health outcome but do not sufficiently account for complex survey design. This leads to biased estimation and inference. To address this issue, we propose a supervised weighted overfitted latent class analysis (SWOLCA) based on a Bayesian pseudo-likelihood approach that can integrate sampling weights into an exposure-outcome model for discrete data. Our model adjusts for stratification, clustering, and informative sampling, and handles modifying effects via interaction terms within a Markov chain Monte Carlo Gibbs sampling algorithm. Simulation studies confirm that the SWOLCA model exhibits good performance in terms of bias, precision, and coverage. Using data collected from the National Health and Nutrition Examination Survey (2015-2018), we demonstrate the utility of our model by characterizing dietary patterns associated with hypertensive outcomes among low-income women in the United States.


title: Ultracool Spectroscopic Outliers in Gaia DR3

abstract: Gaia DR3 provided a first release of RP spectra and astrophysical parameters for ultracool dwarfs. We used these Gaia RP spectra and astrophysical parameters to select the most outlying ultracool dwarfs. These objects have spectral types of M7 or later and might be young brown dwarfs or low metallicity objects. This work aimed to find ultracool dwarfs which have Gaia RP spectra significantly different to the typical population. However, the intrinsic faintness of these ultracool dwarfs in Gaia means that their spectra were typically rather low signal-to-noise in Gaia DR3. This study is intended as a proof-of-concept for future iterations of the Gaia data releases. Based on well studied subdwarfs and young objects, we created a spectral type-specific color ratio, defined using Gaia RP spectra; this ratio is then used to determine which objects are outliers. We then used the objects kinematics and photometry external to Gaia to cut down the list of outliers into a list of 'prime candidates'. We produce a list of 58 Gaia RP spectra outliers, seven of which we deem as prime candidates. Of these, six are likely subdwarfs and one is a known young stellar object. Four of six subdwarf candidates were known as subdwarfs already. The two other subdwarf candidates: 2MASS J03405673+2633447 (sdM8.5) and 2MASS J01204397+6623543 (sdM9), are new classifications.


title: Kirigami-inspired wind steering for natural ventilation

abstract: Ensuring adequate ventilation of exterior and interior urban spaces is essential for the safety and comfort of inhabitants. Here, we examine how angled features can steer wind into areas with stagnant air, promoting natural ventilation. Using Large Eddy Simulations (LES) and wind tunnel experiments with particle image velocimetry (PIV) measurements, we first examine how louvers, located at the top of a box enclosed on four sides, can improve ventilation in the presence of incoming wind. By varying louver scale, geometry, and angle, we identify a geometric regime wherein louvers capture free-stream air to create sweeping interior flow structures, increasing the Air Exchange Rate (ACH) significantly above that for an equivalent box with an open top. We then show that non-homogeneous louver orientations enhance ventilation, accommodating winds from opposing directions, and address the generalization to taller structures. Finally, we demonstrate the feasibility of replacing louvers with lattice-cut kirigami ("cut paper"), which forms angled chutes when stretched in one direction, and could provide a mechanically preferable solution for adaptive ventilation. Our findings for this idealized system may inform the design of retrofits for urban structures -- e.g. canopies above street canyons, and "streeteries" or parklets -- capable of promoting ventilation, while simultaneously providing shade.


title: Angular Correlations of Cosmic Microwave Background Spectrum Distortions from Photon Diffusion

abstract: During cosmic recombination, charged particles bind into neutral atoms and the mean free path of photons rapidly increases, resulting in the familiar diffusion damping of primordial radiation temperature variations. An additional effect is a small photon spectrum distortion, because photons arriving from a particular sky direction were originally in thermal equilibrium at various spatial locations with different temperatures; the combination of these different blackbody temperature distributions results in a spectrum with a Compton $y$-distortion. Using the approximation that photons had zero mean free path prior to their second-to-last scattering, we derive an expression for the resulting $y$-distortion, and compute the angular correlation function of the diffusion $y$-distortion and its cross-correlation with the square of the photon temperature fluctuation. Detection of the cross-correlation is within reach of existing arcminute-resolution microwave background experiments such as the Atacama Cosmology Telescope and the South Pole Telescope.


title: Titration in Canonical and Grand-Canonical Ensembles

abstract: We discuss problems associated with the notion of pH in heterogeneous systems. For homogeneous systems, standardization protocols lead to a well defined quantity, which although different from S\o rensen's original idea of pH, is well reproducible and has become accepted as the measure of the ``hydrogen potential". On the other hand, for heterogeneous systems, pH defined in terms of the chemical part of the electrochemical activity is thermodynamically inconsistent and runs afoul of the Gibbs-Guggenheim principle that forbids splitting of the electrochemical potential into separate chemical and electrostatic parts -- since only the sum of two has any thermodynamic meaning. The problem is particularly relevant for modern simulation methods which involve charge regulation of proteins, polyelectrolytes, nanoparticles, colloidal suspensions etc. In this paper we show that titration isotherms calculated using semi-grand canonical simulations can be very different from the ones obtained using canonical reactive Monte Carlo simulations.


title: Active Learning on Neural Networks through Interactive Generation of Digit Patterns and Visual Representation

abstract: Artificial neural networks (ANNs) have been broadly utilized to analyze various data and solve different domain problems. However, neural networks (NNs) have been considered a black box operation for years because their underlying computation and meaning are hidden. Due to this nature, users often face difficulties in interpreting the underlying mechanism of the NNs and the benefits of using them. In this paper, to improve users' learning and understanding of NNs, an interactive learning system is designed to create digit patterns and recognize them in real time. To help users clearly understand the visual differences of digit patterns (i.e., 0 ~ 9) and their results with an NN, integrating visualization is considered to present all digit patterns in a two-dimensional display space with supporting multiple user interactions. An evaluation with multiple datasets is conducted to determine its usability for active learning. In addition, informal user testing is managed during a summer workshop by asking the workshop participants to use the system.


title: On the Safety of Open-Sourced Large Language Models: Does Alignment Really Prevent Them From Being Misused?

abstract: Large Language Models (LLMs) have achieved unprecedented performance in Natural Language Generation (NLG) tasks. However, many existing studies have shown that they could be misused to generate undesired content. In response, before releasing LLMs for public access, model developers usually align those language models through Supervised Fine-Tuning (SFT) or Reinforcement Learning with Human Feedback (RLHF). Consequently, those aligned large language models refuse to generate undesired content when facing potentially harmful/unethical requests. A natural question is "could alignment really prevent those open-sourced large language models from being misused to generate undesired content?''. In this work, we provide a negative answer to this question. In particular, we show those open-sourced, aligned large language models could be easily misguided to generate undesired content without heavy computations or careful prompt designs. Our key idea is to directly manipulate the generation process of open-sourced LLMs to misguide it to generate undesired content including harmful or biased information and even private data. We evaluate our method on 4 open-sourced LLMs accessible publicly and our finding highlights the need for more advanced mitigation strategies for open-sourced LLMs.


title: Exploring Crossing Times and Congestion Patterns at Scramble Intersections in Pedestrian Dynamics Models: A Statistical Analysis

abstract: Scramble intersections stand as compelling examples of complex systems, shedding light on the pressing challenge of urban mobility. In this paper, we introduce a model aimed at unraveling the statistical intricacies of pedestrian crossing times and their fluctuations in scenarios commonly encountered in major urban centers. Our findings offer snapshots that faithfully mirror real-world situations. Significantly, our results underscore the importance of two key factors: pedestrian flexibility and population density. These factors play a pivotal role in triggering the transition between mobile and immobile behavior in the steady state, a concept expounded upon within this paper through a straightforward order parameter known as directed mobility.


title: An Investigation of Representation and Allocation Harms in Contrastive Learning

abstract: The effect of underrepresentation on the performance of minority groups is known to be a serious problem in supervised learning settings; however, it has been underexplored so far in the context of self-supervised learning (SSL). In this paper, we demonstrate that contrastive learning (CL), a popular variant of SSL, tends to collapse representations of minority groups with certain majority groups. We refer to this phenomenon as representation harm and demonstrate it on image and text datasets using the corresponding popular CL methods. Furthermore, our causal mediation analysis of allocation harm on a downstream classification task reveals that representation harm is partly responsible for it, thus emphasizing the importance of studying and mitigating representation harm. Finally, we provide a theoretical explanation for representation harm using a stochastic block model that leads to a representational neural collapse in a contrastive learning setting.


title: Wine feature importance and quality prediction: A comparative study of machine learning algorithms with unbalanced data

abstract: Classifying wine as "good" is a challenging task due to the absence of a clear criterion. Nevertheless, an accurate prediction of wine quality can be valuable in the certification phase. Previously, wine quality was evaluated solely by human experts, but with the advent of machine learning this evaluation process can now be automated, thereby reducing the time and effort required from experts. The feature selection process can be utilized to examine the impact of analytical tests on wine quality. If it is established that specific input variables have a significant effect on predicting wine quality, this information can be employed to enhance the production process. We studied the feature importance, which allowed us to explore various factors that affect the quality of the wine. The feature importance analysis suggests that alcohol significantly impacts wine quality. Furthermore, several machine learning models are compared, including Random Forest (RF), Support Vector Machine (SVM), Gradient Boosting (GB), K-Nearest Neighbors (KNN), and Decision Tree (DT). The analysis revealed that SVM excelled above all other models with a 96\% accuracy rate.


title: Two-fold degeneracy of a class of rational Painlev\'e V solutions

abstract: We present a construction of a class of rational solutions of the Painlev\'e V equation that exhibit a two-fold degeneracy, meaning that there exist two distinct solutions that share identical parameters. The fundamental object of our study is the orbit of translation operators of $A^{(1)}_{3}$ affine Weyl group acting on the underlying seed solution that only allows action of some symmetry operations. By linking points on this orbit to rational solutions, we establish conditions for such degeneracy to occur after involving in the construction additional B\"acklund transformations that are inexpressible as translation operators. This approach enables us to derive explicit expressions for these degenerate solutions. An advantage of this formalism is that it easily allows generalization to higher Painlev\'e systems associated with dressing chains of even period $N>4$.


title: Experiences Readying Applications for Exascale

abstract: The advent of exascale computing invites an assessment of existing best practices for developing application readiness on the world's largest supercomputers. This work details observations from the last four years in preparing scientific applications to run on the Oak Ridge Leadership Computing Facility's (OLCF) Frontier system. This paper addresses a range of topics in software including programmability, tuning, and portability considerations that are key to moving applications from existing systems to future installations. A set of representative workloads provides case studies for general system and software testing. We evaluate the use of early access systems for development across several generations of hardware. Finally, we discuss how best practices were identified and disseminated to the community through a wide range of activities including user-guides and trainings. We conclude with recommendations for ensuring application readiness on future leadership computing systems.


title: Theory of CHTW-systems. Born by Petri Nets

abstract: For the first time, the concept of CHTW-systems as a multidimensional representation of Petri nets, based on the assumption of the spatial distribution of tokens (resources) in positions (branes) and, accordingly, the spatial representation of transitions and arcs is proposed. The theoretical constructs are based on the concept of hybrid functional Petri nets [10]. The introduced concepts of branes and carriers are distant analogies of the corresponding concepts in superstring theory, but the theory of CHTW-systems is neither part of superstring theory nor its development. The description of CHTW-system as a dynamic system for stationary and non-stationary cases is considered. The initial classification of CHTW systems is provided enabling understanding of further research directions.


title: Addressing the Dark State Problem in Strongly Coupled Organic Exciton-Polariton Systems

abstract: The manipulation of molecular excited state processes through strong coupling has attracted significant interest for its potential to provide precise control of photochemical phenomena. However, the key limiting factor for achieving this control has been the dark state problem, in which photoexcitation populates long-lived reservoir states with similar energies and dynamics to bare excitons. Here, we use a sensitive ultrafast transient reflection method with momentum and spectral resolution to achieve the selective excitation of organic exciton-polaritons in open photonic cavities. We show that the energy dispersions of these systems allow us to avoid the parasitic effect of reservoir states. Under phase-matching conditions, we observe the direct population and decay of polaritons on time scales of less than 100 fs and find that momentum scattering processes occur on even faster timescales. We establish that it is possible to overcome the dark state problem through careful design of strongly coupled systems.


title: Approximate Marginal Likelihood Inference in Mixed Models for Grouped Data

abstract: A method is introduced for approximate marginal likelihood inference via adaptive Gaussian quadrature in mixed models with a single grouping factor. The core technical contribution is an algorithm for computing the exact gradient of the approximate log marginal likelihood. This leads to efficient maximum likelihood via quasi-Newton optimization that is demonstrated to be faster than existing approaches based on finite-differenced gradients or derivative-free optimization. The method is specialized to Bernoulli mixed models with multivariate, correlated Gaussian random effects; here computations are performed using an inverse log-Cholesky parameterization of the Gaussian density that involves no matrix decomposition during model fitting, while Wald confidence intervals are provided for variance parameters on the original scale. Simulations give evidence of these intervals attaining nominal coverage if enough quadrature points are used, for data comprised of a large number of very small groups exhibiting large between-group heterogeneity. In contrast, the Laplace approximation is shown to give especially poor coverage and high bias for data comprised of a large number of small groups. Adaptive quadrature mitigates this, and the methods in this paper improve the computational feasibility of this more accurate method. All results may be reproduced using code available at \url{https://github.com/awstringer1/aghmm-paper-code}.


title: Relational Algebraic Approach to the Real Numbers: The Least-Upper-Bound Property

abstract: In this paper we continue the investigation of a real number object, i.e., an object representing the real numbers, in categories of relations. Our axiomatization is based on a relation algebraic version of Tarski's axioms of the real numbers. It was already shown that the addition of such an object forms a dense, linear ordered abelian group. In the current paper we will focus on the least-upper-bound property of such an object.


title: The distribution of shortest path lengths on trees of a given size in subcritical Erdos-Renyi networks

abstract: In the subcritical regime Erd\H{o}s-R\'enyi (ER) networks consist of finite tree components, which are non-extensive in the network size. The distribution of shortest path lengths (DSPL) of subcritical ER networks was recently calculated using a topological expansion [E. Katzav, O. Biham and A.K. Hartmann, Phys. Rev. E 98, 012301 (2018)]. The DSPL, which accounts for the distance $\ell$ between any pair of nodes that reside on the same finite tree component, was found to follow a geometric distribution of the form $P(L=\ell | L < \infty) = (1-c) c^{\ell - 1}$, where $0 < c < 1$ is the mean degree of the network. This result includes the contributions of trees of all possible sizes and topologies. Here we calculate the distribution of shortest path lengths $P(L=\ell | S=s)$ between random pairs of nodes that reside on the same tree component of a given size $s$. It is found that $P(L=\ell | S=s) = \frac{\ell+1}{s^{\ell}} \frac{(s-2)!}{(s-\ell-1)!}$. Surprisingly, this distribution does not depend on the mean degree $c$ of the network from which the tree components were extracted. This is due to the fact that the ensemble of tree components of a given size $s$ in subcritical ER networks is sampled uniformly from the set of labeled trees of size $s$ and thus does not depend on $c$. The moments of the DSPL are also calculated. It is found that the mean distance between random pairs of nodes on tree components of size $s$ satisfies ${\mathbb E}[L|S=s] \sim \sqrt{s}$, unlike small-world networks in which the mean distance scales logarithmically with $s$.


title: Locally isotropic elementary groups

abstract: We construct elementary subgroups of all reductive groups of the local isotropic rank $\geq 2$ over rings and prove their basic properties. In particular, our results may be applied to the automorphism groups of any finitely generated projective modules over commutative unital rings of rank $\geq 3$ at every prime ideal.


title: Prescribed Fire Modeling using Knowledge-Guided Machine Learning for Land Management

abstract: In recent years, the increasing threat of devastating wildfires has underscored the need for effective prescribed fire management. Process-based computer simulations have traditionally been employed to plan prescribed fires for wildfire prevention. However, even simplified process models like QUIC-Fire are too compute-intensive to be used for real-time decision-making, especially when weather conditions change rapidly. Traditional ML methods used for fire modeling offer computational speedup but struggle with physically inconsistent predictions, biased predictions due to class imbalance, biased estimates for fire spread metrics (e.g., burned area, rate of spread), and generalizability in out-of-distribution wind conditions. This paper introduces a novel machine learning (ML) framework that enables rapid emulation of prescribed fires while addressing these concerns. By incorporating domain knowledge, the proposed method helps reduce physical inconsistencies in fuel density estimates in data-scarce scenarios. To overcome the majority class bias in predictions, we leverage pre-existing source domain data to augment training data and learn the spread of fire more effectively. Finally, we overcome the problem of biased estimation of fire spread metrics by incorporating a hierarchical modeling structure to capture the interdependence in fuel density and burned area. Notably, improvement in fire metric (e.g., burned area) estimates offered by our framework makes it useful for fire managers, who often rely on these fire metric estimates to make decisions about prescribed burn management. Furthermore, our framework exhibits better generalization capabilities than the other ML-based fire modeling methods across diverse wind conditions and ignition patterns.


title: Data Transmissions in Blockchain enabled AGVs

abstract: Automated Guided Vehicles (AGVs) operate in synergy to execute specific tasks. These vehicles exchange information to ensure seamless collaboration, prevent collisions, and eliminate task redundancy. The advent of blockchain technology offers a promising avenue for establishing a secure and dependable communication infrastructure for AGVs. Nonetheless, it becomes imperative for AGVs to adopt efficient data transmission methodologies, especially when interacting with the dynamic nature of blockchain infrastructure where data undergoes frequent modifications. In the present study, we introduce a novel data transmission methodology tailored for blockchain-integrated AGVs utilizing the principles of Named Data Networking (NDN). A simulated environment was crafted and executed in NetSim, wherein multiple AGVs collaboratively endeavored to locate concealed objectives within a defined region. Upon discovery of novel elements, such as obstructions or concealed objectives, each AGV would update a collective blockchain repository. This blockchain infrastructure leverages NDN to fetch specific data blocks in response to data queries from individual AGVs. This system ensures that AGVs can navigate and scrutinize their environment with heightened efficiency, drawing upon the collective intelligence and shared experiences of the fleet.


title: Memory-efficient particle filter recurrent neural network for object localization

abstract: This study proposes a novel memory-efficient recurrent neural network (RNN) architecture specified to solve the object localization problem. This problem is to recover the object states along with its movement in a noisy environment. We take the idea of the classical particle filter and combine it with GRU RNN architecture. The key feature of the resulting memory-efficient particle filter RNN model (mePFRNN) is that it requires the same number of parameters to process environments of different sizes. Thus, the proposed mePFRNN architecture consumes less memory to store parameters compared to the previously proposed PFRNN model. To demonstrate the performance of our model, we test it on symmetric and noisy environments that are incredibly challenging for filtering algorithms. In our experiments, the mePFRNN model provides more precise localization than the considered competitors and requires fewer trained parameters.


title: ImagenHub: Standardizing the evaluation of conditional image generation models

abstract: Recently, a myriad of conditional image generation and editing models have been developed to serve different downstream tasks, including text-to-image generation, text-guided image editing, subject-driven image generation, control-guided image generation, etc. However, we observe huge inconsistencies in experimental conditions: datasets, inference, and evaluation metrics - render fair comparisons difficult. This paper proposes ImagenHub, which is a one-stop library to standardize the inference and evaluation of all the conditional image generation models. Firstly, we define seven prominent tasks and curate high-quality evaluation datasets for them. Secondly, we built a unified inference pipeline to ensure fair comparison. Thirdly, we design two human evaluation scores, i.e. Semantic Consistency and Perceptual Quality, along with comprehensive guidelines to evaluate generated images. We train expert raters to evaluate the model outputs based on the proposed metrics. Our human evaluation achieves a high inter-worker agreement of Krippendorff's alpha on 76% models with a value higher than 0.4. We comprehensively evaluated a total of around 30 models and observed three key takeaways: (1) the existing models' performance is generally unsatisfying except for Text-guided Image Generation and Subject-driven Image Generation, with 74% models achieving an overall score lower than 0.5. (2) we examined the claims from published papers and found 83% of them hold with a few exceptions. (3) None of the existing automatic metrics has a Spearman's correlation higher than 0.2 except subject-driven image generation. Moving forward, we will continue our efforts to evaluate newly published models and update our leaderboard to keep track of the progress in conditional image generation.


title: Pool-Based Active Learning with Proper Topological Regions

abstract: Machine learning methods usually rely on large sample size to have good performance, while it is difficult to provide labeled set in many applications. Pool-based active learning methods are there to detect, among a set of unlabeled data, the ones that are the most relevant for the training. We propose in this paper a meta-approach for pool-based active learning strategies in the context of multi-class classification tasks based on Proper Topological Regions. PTR, based on topological data analysis (TDA), are relevant regions used to sample cold-start points or within the active learning scheme. The proposed method is illustrated empirically on various benchmark datasets, being competitive to the classical methods from the literature.


title: Gate-voltage switching of non-reciprocal transport in oxide-based Rashba interfaces

abstract: The linear magnetoelectric effect (ME) is the phenomenon by which an electric field produces a magnetization. Its observation requires both time-reversal and space-inversion symmetries to be broken, as in multiferroics. While the ME effect has only been studied in insulating materials, it can actually exist in non-centrosymmetric conductors such as two-dimensional electron gases (2DEGs) with Rashba spin-orbit coupling. It is then coined the Edelstein effect (EE), by which a bias voltage -- generating a charge current -- produces a transverse spin density, i.e. a magnetization. Interestingly, 2D systems are sensitive to voltage gating, which provides an extra handle to control the EE. Here, we show that the sign of the EE in a SrTiO$_3$ 2DEG can be controlled by a gate voltage. We propose various logic devices harnessing the dual control of the spin density by current and gate voltages and discuss the potential of our findings for gate-tunable non-reciprocal electronics.