title: Quantum Computation Using Large Spin Qudits

abstract: This dissertation explores quantum computation using qudits encoded into large spins, emphasizing the concept of quantum co-design to harness the unique capabilities of physical platforms for enhanced quantum information processing. First, we delve into the generation of high-fidelity universal gate sets for quantum computation with qudits. Leveraging principles from quantum optimal control, Rydberg physics, and the atomic structure of alkaline-earth atoms, we propose protocols for high-fidelity universal gate sets in the ground state of 87Sr with reasonable experimental parameters. Next, we analyze schemes to encode a qubit in the large spin qudits for fault-tolerant quantum computation (FTQC). By comprehending the most dominant noise in the physical system, we develop FTQC protocols that outperform the standard protocols. Finally, considering spin qudits for neutral atom quantum computation, we studied protocols for converting leakage errors to erasure errors resource efficiently. Also, we developed cooling methods for neutral atoms without destroying the quantum information.


title: Russian-Language Multimodal Dataset for Automatic Summarization of Scientific Papers

abstract: The paper discusses the creation of a multimodal dataset of Russian-language scientific papers and testing of existing language models for the task of automatic text summarization. A feature of the dataset is its multimodal data, which includes texts, tables and figures. The paper presents the results of experiments with two language models: Gigachat from SBER and YandexGPT from Yandex. The dataset consists of 420 papers and is publicly available on https://github.com/iis-research-team/summarization-dataset.


title: A Second-Order Audio VCO-ADC with 103-dB-A Dynamic Range and Binary-Weighted Internal Architecture

abstract: One of the limitations of conventional VCO-ADCs is the restriction to first-order noise shaping. True-VCO architectures have been proposed to increase the noise-shaping order by cascading several VCO integrators, but without requiring analog feedback loops. A high noise shaping order allows to reduce the input VCO frequency compared to a conventional VCO-ADC with similar dynamic range, which improves power consumption. Prior-art True-VCO architectures represent state variables either with a thermometer code or with a single-bit. Thermometer encoding is a natural choice when ring oscillators are selected as loop filter integrators. However, chip area restrictions force thermometer-encoded state variables to have few levels. A reduced number of levels in the state variables limits the dynamic range of True VCO-ADCs. In this paper, we show experimentally a second-order audio VCO-based ADC which uses ring oscillators as integrators but employs Gray and binary encoding for state variables. As a consequence, the complexity and area of the True-VCO architecture is reduced, breaking the barrier that limits the dynamic range of prior designs. The implemented chip shows a dynamic range of 103~dB achieving a peak SNDR of 76.5 dB-A with a power of 250 $\mu$W occupying 0.095 $\text{mm}^2$ in 130 nm CMOS.


title: The fermionic massless modular Hamiltonian

abstract: We provide an explicit expression for the modular hamiltonian of the von Neumann algebras associated to the unit double cone for the (fermionic) quantum field theories of the 2-component Weyl (helicity 1/2) field, and of the 4-component massless Dirac and Majorana fields. To this end, we represent the one particle spaces of these theories in terms of solutions of the corresponding wave equations, and obtain the action of the modular group on them. As an application, we compute the relative entropy between the vacuum of the massless Majorana field and one particle states associated to waves with Cauchy data localized in the spatial unit ball.


title: Tritium $\beta$-decay and Proton-Proton Fusion in Pionless Effective Field Theory

abstract: The Gamow-Teller and Fermi matrix elements, ${\left<\mathbf{GT}\right>}$ and ${\left<\mathbf{F}\right>}$, respectively, for tritium $\beta$-decay are calculated to next-to-leading order (NLO) in pionless effective field theory in the absence of Coulomb and isospin violation giving the leading order predictions ${\left<\mathbf{GT}\right>}_{0}=0.9807$ and ${\left<\mathbf{F}\right>}_{0}=1$. Using an experimentally determined value for the tritium-$\beta$ decay GT matrix element, the two-body axial current low energy constant is fixed at NLO yielding $L_{1,A}=6.01\pm2.08$ fm$^{3}$ at the renormalization scale of the physical pion mass, which agrees with predictions based on naive dimensional analysis. Finally, the consequences of Wigner-SU(4) spin-isospin symmetry are considered for the Gamow-Teller matrix element.


title: Subspace-Informed Matrix Completion

abstract: In this work, we consider the matrix completion problem, where the objective is to reconstruct a low-rank matrix from a few observed entries. A commonly employed approach involves nuclear norm minimization. For this method to succeed, the number of observed entries needs to scale at least proportional to both the rank of the ground-truth matrix and the coherence parameter. While the only prior information is oftentimes the low-rank nature of the ground-truth matrix, in various real-world scenarios, additional knowledge about the ground-truth low-rank matrix is available. For instance, in collaborative filtering, Netflix problem, and dynamic channel estimation in wireless communications, we have partial or full knowledge about the signal subspace in advance. Specifically, we are aware of some subspaces that form multiple angles with the column and row spaces of the ground-truth matrix. Leveraging this valuable information has the potential to significantly reduce the required number of observations. To this end, we introduce a multi-weight nuclear norm optimization problem that concurrently promotes the low-rank property as well the information about the available subspaces. The proposed weights are tailored to penalize each angle corresponding to each basis of the prior subspace independently. We further propose an optimal weight selection strategy by minimizing the coherence parameter of the ground-truth matrix, which is equivalent to minimizing the required number of observations. Simulation results validate the advantages of incorporating multiple weights in the completion procedure. Specifically, our proposed multi-weight optimization problem demonstrates a substantial reduction in the required number of observations compared to the state-of-the-art methods.


title: Particle acceleration in relativistic Alfv\'enic turbulence

abstract: Strong magnetically dominated Alfv\'enic turbulence is an efficient engine of non-thermal particle acceleration in a relativistic collisionless plasma. We argue that in the limit of strong magnetization, the type of energy distribution attained by accelerated particles depends on the relative strengths of turbulent fluctuations $\delta B_0$ and the guide field $B_0$. If $\delta B_0\ll B_0$, the particle magnetic moments are conserved and the acceleration is provided by magnetic curvature drifts. Curvature acceleration energizes particles in the direction parallel to the magnetic field lines, resulting in log-normal tails of particle energy distribution functions. Conversely, if $\delta B_0 \gtrsim B_0$, interactions of energetic particles with intense turbulent structures can scatter particles, creating a population with large pitch angles. In this case, magnetic mirror effects become important, and turbulent acceleration leads to power-law tails of the energy distribution functions.


title: All Nodes are created Not Equal: Node-Specific Layer Aggregation and Filtration for GNN

abstract: The ever-designed Graph Neural Networks, though opening a promising path for the modeling of the graph-structure data, unfortunately introduce two daunting obstacles to their deployment on devices. (I) Most of existing GNNs are shallow, due mostly to the over-smoothing and gradient-vanish problem as they go deeper as convolutional architectures. (II) The vast majority of GNNs adhere to the homophily assumption, where the central node and its adjacent nodes share the same label. This assumption often poses challenges for many GNNs working with heterophilic graphs. Addressing the aforementioned issue has become a looming challenge in enhancing the robustness and scalability of GNN applications. In this paper, we take a comprehensive and systematic approach to overcoming the two aforementioned challenges for the first time. We propose a Node-Specific Layer Aggregation and Filtration architecture, termed NoSAF, a framework capable of filtering and processing information from each individual nodes. NoSAF introduces the concept of "All Nodes are Created Not Equal" into every layer of deep networks, aiming to provide a reliable information filter for each layer's nodes to sieve out information beneficial for the subsequent layer. By incorporating a dynamically updated codebank, NoSAF dynamically optimizes the optimal information outputted downwards at each layer. This effectively overcomes heterophilic issues and aids in deepening the network. To compensate for the information loss caused by the continuous filtering in NoSAF, we also propose NoSAF-D (Deep), which incorporates a compensation mechanism that replenishes information in every layer of the model, allowing NoSAF to perform meaningful computations even in very deep layers.


title: Science based AI model certification for new operational environments with application in traffic state estimation

abstract: The expanding role of Artificial Intelligence (AI) in diverse engineering domains highlights the challenges associated with deploying AI models in new operational environments, involving substantial investments in data collection and model training. Rapid application of AI necessitates evaluating the feasibility of utilizing pre-trained models in unobserved operational settings with minimal or no additional data. However, interpreting the opaque nature of AI's black-box models remains a persistent challenge. Addressing this issue, this paper proposes a science-based certification methodology to assess the viability of employing pre-trained data-driven models in new operational environments. The methodology advocates a profound integration of domain knowledge, leveraging theoretical and analytical models from physics and related disciplines, with data-driven AI models. This novel approach introduces tools to facilitate the development of secure engineering systems, providing decision-makers with confidence in the trustworthiness and safety of AI-based models across diverse environments characterized by limited training data and dynamic, uncertain conditions. The paper demonstrates the efficacy of this methodology in real-world safety-critical scenarios, particularly in the context of traffic state estimation. Through simulation results, the study illustrates how the proposed methodology efficiently quantifies physical inconsistencies exhibited by pre-trained AI models. By utilizing analytical models, the methodology offers a means to gauge the applicability of pre-trained AI models in new operational environments. This research contributes to advancing the understanding and deployment of AI models, offering a robust certification framework that enhances confidence in their reliability and safety across a spectrum of operational conditions.


title: Neutrinos from captured dark matter in galactic stars

abstract: Sub-GeV neutrinos produced in a stellar core may emerge from main sequence stars, white dwarfs and brown dwarfs producing possible observable signals of dark matter capture. A distribution of these stars near the Milky Way galactic center will produce a neutrino flux that can be probed at Earth based neutrino observatories like Super-Kamiokande. We demonstrate that this can provide a handle to probe dark matter masses in the 100 MeV - 2 GeV mass scales that compares favourably with present day direct detection bounds.


title: Optimal Transmitter Design and Pilot Spacing in MIMO Non-Stationary Aging Channels

abstract: This work considers an uplink wireless communication system where multiple users with multiple antennas transmit data frames over dynamic channels. Previous studies have shown that multiple transmit and receive antennas can substantially enhance the sum-capacity of all users when the channel is known at the transmitter and in the case of uncorrelated transmit and receive antennas. However, spatial correlations stemming from close proximity of transmit antennas and channel variation between pilot and data time slots, known as channel aging, can substantially degrade the transmission rate if they are not properly into account. In this work, we provide an analytical framework to concurrently exploit both of these features. Specifically, we first propose a beamforming framework to capture spatial correlations. Then, based on random matrix theory tools, we introduce a deterministic expression that approximates the average sum-capacity of all users. Subsequently, we obtain the optimal values of pilot spacing and beamforming vectors upon maximizing this expression. Simulation results show the impacts of path loss, velocity of mobile users and Rician factor on the resulting sum-capacity and underscore the efficacy of our methodology compared to prior works.


title: Almanac Copilot: Towards Autonomous Electronic Health Record Navigation

abstract: Clinicians spend large amounts of time on clinical documentation, and inefficiencies impact quality of care and increase clinician burnout. Despite the promise of electronic medical records (EMR), the transition from paper-based records has been negatively associated with clinician wellness, in part due to poor user experience, increased burden of documentation, and alert fatigue. In this study, we present Almanac Copilot, an autonomous agent capable of assisting clinicians with EMR-specific tasks such as information retrieval and order placement. On EHR-QA, a synthetic evaluation dataset of 300 common EHR queries based on real patient data, Almanac Copilot obtains a successful task completion rate of 74% (n = 221 tasks) with a mean score of 2.45 over 3 (95% CI:2.34-2.56). By automating routine tasks and streamlining the documentation process, our findings highlight the significant potential of autonomous agents to mitigate the cognitive load imposed on clinicians by current EMR systems.


title: Relativistic Binary Precession: Impact on Eccentric Binary Accretion and Multi-Messenger Astronomy

abstract: Recent hydrodynamical simulations have shown that circumbinary gas disks drive the orbits of binary black holes to become eccentric, even when general relativistic corrections to the orbit are significant. Here, we study the general relativistic (GR) apsidal precession of eccentric equal-mass binary black holes in circumbinary disks (CBDs) via two-dimensional hydrodynamical simulations. We perform a suite of simulations comparing precessing and non-precessing binaries across a range of eccentricities, semi-major axes, and precession rates. We find that the GR precession of the binary's semi-major axis can introduce a dominant modulation in the binary's accretion rate and the corresponding high-energy electromagnetic light-curves. We discuss the conditions under which this occurs and its detailed characteristics and mechanism. Finally, we discuss the potential to observe these precession signatures in electromagnetic and gravitational wave (GW) observations, as well as the precession signal's unique importance as a potential tool to constrain the mass, eccentricity, and semi-major axis of binary merger events.


title: Breaking the Molecular Dynamics Timescale Barrier Using a Wafer-Scale System

abstract: Molecular dynamics (MD) simulations have transformed our understanding of the nanoscale, driving breakthroughs in materials science, computational chemistry, and several other fields, including biophysics and drug design. Even on exascale supercomputers, however, runtimes are excessive for systems and timescales of scientific interest. Here, we demonstrate strong scaling of MD simulations on the Cerebras Wafer-Scale Engine. By dedicating a processor core for each simulated atom, we demonstrate a 179-fold improvement in timesteps per second versus the Frontier GPU-based Exascale platform, along with a large improvement in timesteps per unit energy. Reducing every year of runtime to two days unlocks currently inaccessible timescales of slow microstructure transformation processes that are critical for understanding material behavior and function. Our dataflow algorithm runs Embedded Atom Method (EAM) simulations at rates over 270,000 timesteps per second for problems with up to 800k atoms. This demonstrated performance is unprecedented for general-purpose processing cores.


title: Mechanically-driven growth and competition in a Voronoi model of tissues

abstract: The mechanisms leading cells to acquire a fitness advantage and establish themselves in a population are paramount to understanding the development and growth of cancer. Although there are many works that study separately either the evolutionary dynamics or the mechanics of cancer, little has been done to couple evolutionary dynamics to mechanics. To address this question, we study a confluent model of tissue using a Self-Propelled Voronoi (SPV) model with stochastic growth rates that depend on the mechanical variables of the system. The SPV model is an out-of-equilibrium model of tissue derived from an energy functional that has a jamming/unjamming transition between solid-like and liquid-like states. By considering several scenarios of mutants invading a resident population in both phases, we determine the range of parameters that confer a fitness advantage and show that the preferred area and perimeter are the most relevant ones. We find that the liquid-like state is more resistant to invasion and show that the outcome of the competition can be determined from the simulation of a non-growing mixture. Moreover, a mean-field approximation can accurately predict the fate of a mutation affecting mechanical properties of a cell. Our results can be used to infer evolutionary dynamics from tissue images, understand cancer-suppressing effects of tissue mechanics, and even search for mechanics-based therapies.


title: Latest results from Super-Kamiokande

abstract: Super-Kamiokande is the world's largest water Cherenkov experiment with its 50-kton tank of ultrapure water, recently doped with gadolinium to enhance neutron capture identification. It is a highly versatile, multi-purpose experiment in the MeV-TeV range, and here we will summarize the latest results and advancements in the atmospheric-$\nu$, solar-$\nu$, and Diffuse Supernova Neutrino Background analyses.


title: Physically Consistent Online Inertial Adaptation for Humanoid Loco-manipulation

abstract: The ability to accomplish manipulation and locomotion tasks in the presence of significant time-varying external loads is a remarkable skill of humans that has yet to be replicated convincingly by humanoid robots. Such an ability will be a key requirement in the environments we envision deploying our robots: dull, dirty, and dangerous. External loads constitute a large model bias, which is typically unaccounted for. In this work, we enable our humanoid robot to engage in loco-manipulation tasks in the presence of significant model bias due to external loads. We propose an online estimation and control framework involving the combination of a physically consistent extended Kalman filter for inertial parameter estimation coupled to a whole-body controller. We showcase our results both in simulation and in hardware, where weights are mounted on Nadia's wrist links as a proxy for engaging in tasks where large external loads are applied to the robot.


title: Predicting State Transitions in Autonomous Nonlinear Bistable Systems with Hidden Stochasticity

abstract: Bistable autonomous systems can be found inmany areas of science. When the intrinsic noise intensity is large, these systems exhibits stochastic transitions from onemetastable steady state to another. In electronic bistable memories, these transitions are failures, usually simulated in a Monte-Carlo fashion at a high CPU-time price. Existing closed-form formulas, relying on near-stable-steady-state approximations of the nonlinear system dynamics to estimate the mean transition time, have turned out inaccurate. Our contribution is twofold. From a unidimensional stochastic model of overdamped autonomous systems, we propose an extended Eyring-Kramers analytical formula accounting for both nonlinear drift and state-dependent white noise variance, rigorously derived from It\^o stochastic calculus. We also adapt it to practical system engineering situations where the intrinsic noise sources are hidden and can only be inferred from the fluctuations of observables measured in steady states. First numerical trials on an industrial electronic case study suggest that our approximate prediction formula achieve remarkable accuracy, outperforming previous non-Monte-Carlo approaches.


title: A complete framework for cosmological emulation and inference with CosmoPower

abstract: We present a coherent, re-usable python framework which further builds on the cosmological emulator code CosmoPower. In the current era of high-precision cosmology, we require high-accuracy calculations of cosmological observables with Einstein-Boltzmann codes. For detailed statistical analyses, such codes often incur high costs in terms of computing power, making parameter space exploration costly, especially for beyond-$\Lambda$CDM analyses. Machine learning-enabled emulators of Einstein-Boltzmann codes have emerged as a solution to this problem and have become a common way to perform fast cosmological analyses. To enable generation, sharing and use of emulators for inference, we define standards for robustly describing, packaging and distributing them, and present software for easily performing these tasks in an automated and replicable manner. We provide examples and guidelines for generating your own sufficiently accurate emulators and wrappers for using them in popular cosmological inference codes. We demonstrate our framework by presenting a suite of high-accuracy emulators for the CAMB code's calculations of CMB $C_\ell$, $P(k)$, background evolution, and derived parameter quantities. We show that these emulators are accurate enough for both $\Lambda$CDM analysis and a set of single- and two-parameter extension models (including $N_{\rm eff}$, $\sum m_{\nu}$ and $w_0 w_a$ cosmologies) with stage-IV observatories, recovering the original high-accuracy Einstein-Boltzmann spectra to tolerances well within the cosmic variance uncertainties across the full range of parameters considered. We also use our emulators to recover cosmological parameters in a simulated cosmic-variance limited experiment, finding results well within $0.1 \sigma$ of the input cosmology, while requiring typically $\lesssim1/50$ of the evaluation time than for the full Einstein-Boltzmann computation.


title: Investigating the impact of galaxies' compact binary hosting probability for gravitational-wave cosmology

abstract: With the advent of future-generation interferometers a huge number of Gravitational Wave (GW) signals is expected to be measured without an electromagnetic counterpart. Although these signals do not allow a simultaneous measurement of the redshift and the luminosity distance, it is still possible to infer cosmological parameters. In this paper, we focus on the systematic biases that could arise from mismodeling the GW host probability when inferring the Hubble constant ($H_0$) with GW dark sirens jointly with galaxy catalogues. We discuss the case in which the GW host probability is a function of galaxies' luminosity and redshift as it has been predicted by state-of-the-art compact binary coalescences (CBCs) synthetic catalogues. We show that, in the limiting case in which the analysis is done with a complete galaxy catalog covering a footprint of $\sim 10~\rm {deg}^2$, mismatching the host probability in terms of galaxy's luminosity will introduce a bias on $H_0$. In this case, the magnitude of the bias will depend on the distribution of the Large-Scale Structure over the line-of-sight. Instead, in the limit of a complete wide-field of view galaxy catalog and GW events localized at O$({\rm Gpc})$ distance, mismatching the redshift dependence of the GW hosting probability is more likely to introduce a systematic bias.


title: PLUTO: Pathology-Universal Transformer

abstract: Pathology is the study of microscopic inspection of tissue, and a pathology diagnosis is often the medical gold standard to diagnose disease. Pathology images provide a unique challenge for computer-vision-based analysis: a single pathology Whole Slide Image (WSI) is gigapixel-sized and often contains hundreds of thousands to millions of objects of interest across multiple resolutions. In this work, we propose PathoLogy Universal TransfOrmer (PLUTO): a light-weight pathology FM that is pre-trained on a diverse dataset of 195 million image tiles collected from multiple sites and extracts meaningful representations across multiple WSI scales that enable a large variety of downstream pathology tasks. In particular, we design task-specific adaptation heads that utilize PLUTO's output embeddings for tasks which span pathology scales ranging from subcellular to slide-scale, including instance segmentation, tile classification, and slide-level prediction. We compare PLUTO's performance to other state-of-the-art methods on a diverse set of external and internal benchmarks covering multiple biologically relevant tasks, tissue types, resolutions, stains, and scanners. We find that PLUTO matches or outperforms existing task-specific baselines and pathology-specific foundation models, some of which use orders-of-magnitude larger datasets and model sizes when compared to PLUTO. Our findings present a path towards a universal embedding to power pathology image analysis, and motivate further exploration around pathology foundation models in terms of data diversity, architectural improvements, sample efficiency, and practical deployability in real-world applications.


title: Improved Downlink Channel Estimation in Time-Varying FDD Massive MIMO Systems

abstract: In this work, we address the challenge of accurately obtaining channel state information at the transmitter (CSIT) for frequency division duplexing (FDD) multiple input multiple output systems. Although CSIT is vital for maximizing spatial multiplexing gains, traditional CSIT estimation methods often suffer from impracticality due to the substantial training and feedback overhead they require. To address this challenge, we leverage two sources of prior information simultaneously: the presence of limited local scatterers at the base station (BS) and the time-varying characteristics of the channel. The former results in a redundant angular sparsity of users' channels exceeding the spatial dimension (i.e., the number of BS antennas), while the latter provides a prior non-uniform distribution in the angular domain. We propose a weighted optimization framework that simultaneously reflects both of these features. The optimal weights are then obtained by minimizing the expected recovery error of the optimization problem. This establishes an analytical closed-form relationship between the optimal weights and the angular domain characteristics. Numerical experiments verify the effectiveness of our proposed approach in reducing the recovery error and consequently resulting in decreased training and feedback overhead.


title: Robust Quantum Sensing with Multiparameter Decorrelation

abstract: The performance of a quantum sensor is fundamentally limited by noise. This noise is particularly damaging when it becomes correlated with the readout of a target signal, caused by fluctuations of the sensor's operating parameters. These uncertainties limit sensitivity in a way that can be understood with multiparameter estimation theory. We develop a new approach, adaptable to any quantum platform, for designing robust sensing protocols that leverages multiparameter estimation theory and machine learning to decorrelate a target signal from fluctuating off-target (``nuisance'') parameters. Central to our approach is the identification of information-theoretic goals that guide a machine learning agent through an otherwise intractably large space of potential sensing protocols. As an illustrative example, we apply our approach to a reconfigurable optical lattice to design an accelerometer whose sensitivity is decorrelated from lattice depth noise. We demonstrate the effect of decorrelation on outcomes and Bayesian inferencing through statistical analysis in parameter space, and discuss implications for future applications in quantum metrology and computing.


title: Collaborative Planar Pushing of Polytopic Objects with Multiple Robots in Complex Scenes

abstract: Pushing is a simple yet effective skill for robots to interact with and further change the environment. Related work has been mostly focused on utilizing it as a non-prehensile manipulation primitive for a robotic manipulator. However, it can also be beneficial for low-cost mobile robots that are not equipped with a manipulator. This work tackles the general problem of controlling a team of mobile robots to push collaboratively polytopic objects within complex obstacle-cluttered environments. It incorporates several characteristic challenges for contact-rich tasks such as the hybrid switching among different contact modes and under-actuation due to constrained contact forces. The proposed method is based on hybrid optimization over a sequence of possible modes and the associated pushing forces, where (i) a set of sufficient modes is generated with a multi-directional feasibility estimation, based on quasi-static analyses for general objects and any number of robots; (ii) a hierarchical hybrid search algorithm is designed to iteratively decompose the navigation path via arc segments and select the optimal parameterized mode; and (iii) a nonlinear model predictive controller is proposed to track the desired pushing velocities adaptively online for each robot. The proposed framework is complete under mild assumptions. Its efficiency and effectiveness are validated in high-fidelity simulations and hardware experiments. Robustness to motion and actuation uncertainties is also demonstrated.


title: Gain-induced group delay in spontaneous parametric down-conversion

abstract: Strongly-driven nonlinear optical processes such as spontaneous parametric down-conversion and spontaneous four-wave mixing can produce multiphoton nonclassical beams of light which have applications in quantum information processing and sensing. In contrast to the low-gain regime, new physical effects arise in a high-gain regime due to the interactions between the nonclassical light and the strong pump driving the nonlinear process. Here, we describe and experimentally observe a gain-induced group delay between the multiphoton pulses generated in a high-gain type-II spontaneous parametric down-conversion source. Since the group delay introduces distinguishability between the generated photons, it will be important to compensate for it when designing quantum interference devices in which strong optical nonlinearities are required.


title: A Unification of Exchangeability and Continuous Exposure and Confounder Measurement Errors: Probabilistic Exchangeability

abstract: Exchangeability concerning a continuous exposure, X, implies no confounding bias when identifying average exposure effects of X, AEE(X). When X is measured with error (Xep), two challenges arise in identifying AEE(X). Firstly, exchangeability regarding Xep does not equal exchangeability regarding X. Secondly, the non-differential error assumption (NDEA) could be overly stringent in practice. To address them, this article proposes unifying exchangeability and exposure and confounder measurement errors with three novel concepts. The first, Probabilistic Exchangeability (PE), states that the outcomes of those with Xep=e are probabilistically exchangeable with the outcomes of those truly exposed to X=eT. The relationship between AEE(Xep) and AEE(X) in risk difference and ratio scales is mathematically expressed as a probabilistic certainty, termed exchangeability probability (Pe). Squared Pe (Pe2) quantifies the extent to which AEE(Xep) differs from AEE(X) due to exposure measurement error through mechanisms not akin to confounding mechanisms. The coefficient of determination (R2) in the regression of Xep against X may sometimes be sufficient to measure Pe2. The second concept, Emergent Pseudo Confounding (EPC), describes the bias introduced by exposure measurement error through mechanisms akin to confounding mechanisms. PE requires controlling for EPC, which is weaker than NDEA. The third, Emergent Confounding, describes when bias due to confounder measurement error arises. Adjustment for E(P)C can be performed like confounding adjustment. This paper provides maximum insight into when AEE(Xep) is an appropriate surrogate of AEE(X) and how to measure the difference between these two. Differential errors could be addressed and may not compromise causal inference.


title: Slice closures of indexed languages and word equations with counting constraints

abstract: Indexed languages are a classical notion in formal language theory. As the language equivalent of second-order pushdown automata, they have received considerable attention in higher-order model checking. Unfortunately, counting properties are notoriously difficult to decide for indexed languages: So far, all results about non-regular counting properties show undecidability. In this paper, we initiate the study of slice closures of (Parikh images of) indexed languages. A slice is a set of vectors of natural numbers such that membership of $u,u+v,u+w$ implies membership of $u+v+w$. Our main result is that given an indexed language $L$, one can compute a semilinear representation of the smallest slice containing $L$'s Parikh image. We present two applications. First, one can compute the set of all affine relations satisfied by the Parikh image of an indexed language. In particular, this answers affirmatively a question by Kobayashi: Is it decidable whether in a given indexed language, every word has the same number of $a$'s as $b$'s. As a second application, we show decidability of (systems of) word equations with rational constraints and a class of counting constraints: These allow us to look for solutions where a counting function (defined by an automaton) is not zero. For example, one can decide whether a word equation with rational constraints has a solution where the number of occurrences of $a$ differs between variables $X$ and $Y$.


title: A Linear Prelle-Singer method

abstract: The Prelle-Singer method allows determining an elementary first integral admitted by a polynomial vector field in the plane. It is a semi-algorithm whose nonlinear step consists of determining the Darboux polynomials of the vector field. In this article we construct a linear procedure to determine the Darboux polynomials present in the integrating factor of a polynomial vector field in the plane. Next, we extend the procedure to deal with rational 2ODEs that admit an elementary first integral


title: CTRLorALTer: Conditional LoRAdapter for Efficient 0-Shot Control & Altering of T2I Models

abstract: Text-to-image generative models have become a prominent and powerful tool that excels at generating high-resolution realistic images. However, guiding the generative process of these models to consider detailed forms of conditioning reflecting style and/or structure information remains an open problem. In this paper, we present LoRAdapter, an approach that unifies both style and structure conditioning under the same formulation using a novel conditional LoRA block that enables zero-shot control. LoRAdapter is an efficient, powerful, and architecture-agnostic approach to condition text-to-image diffusion models, which enables fine-grained control conditioning during generation and outperforms recent state-of-the-art approaches


title: Distribution Learning Meets Graph Structure Sampling

abstract: This work establishes a novel link between the problem of PAC-learning high-dimensional graphical models and the task of (efficient) counting and sampling of graph structures, using an online learning framework. We observe that if we apply the exponentially weighted average (EWA) or randomized weighted majority (RWM) forecasters on a sequence of samples from a distribution P using the log loss function, the average regret incurred by the forecaster's predictions can be used to bound the expected KL divergence between P and the predictions. Known regret bounds for EWA and RWM then yield new sample complexity bounds for learning Bayes nets. Moreover, these algorithms can be made computationally efficient for several interesting classes of Bayes nets. Specifically, we give a new sample-optimal and polynomial time learning algorithm with respect to trees of unknown structure and the first polynomial sample and time algorithm for learning with respect to Bayes nets over a given chordal skeleton.


title: Discovery of highly anisotropic dielectric crystals with equivariant graph neural networks

abstract: Anisotropy in crystals plays a pivotal role in many technological applications. For example, anisotropic electronic and thermal transport are thought to be beneficial for thermoelectric applications, while anisotropic mechanical properties are of interest for emerging metamaterials, and anisotropic dielectric materials have been suggested as a novel platform for dark matter detection. Understanding and tailoring anisotropy in crystals is therefore essential for the design of next-generation functional materials. To date, however, most data-driven approaches have focused on the prediction of scalar crystal properties, such as the spherically averaged dielectric tensor or the bulk and shear elastic moduli. Here, we adopt the latest approaches in equivariant graph neural networks to develop a model that can predict the full dielectric tensor of crystals. Our model, trained on the Materials Project dataset of c.a. 6,700 dielectric tensors, achieves state-of-the-art accuracy in scalar dielectric prediction in addition to capturing the directional response. We showcase the performance of the model by discovering crystals with almost isotropic connectivity but highly anisotropic dielectric tensors, thereby broadening our knowledge of the structure-property relationships in dielectric crystals.


title: IMAFD: An Interpretable Multi-stage Approach to Flood Detection from time series Multispectral Data

abstract: In this paper, we address two critical challenges in the domain of flood detection: the computational expense of large-scale time series change detection and the lack of interpretable decision-making processes on explainable AI (XAI). To overcome these challenges, we proposed an interpretable multi-stage approach to flood detection, IMAFD has been proposed. It provides an automatic, efficient and interpretable solution suitable for large-scale remote sensing tasks and offers insight into the decision-making process. The proposed IMAFD approach combines the analysis of the dynamic time series image sequences to identify images with possible flooding with the static, within-image semantic segmentation. It combines anomaly detection (at both image and pixel level) with semantic segmentation. The flood detection problem is addressed through four stages: (1) at a sequence level: identifying the suspected images (2) at a multi-image level: detecting change within suspected images (3) at an image level: semantic segmentation of images into Land, Water or Cloud class (4) decision making. Our contributions are two folder. First, we efficiently reduced the number of frames to be processed for dense change detection by providing a multi-stage holistic approach to flood detection. Second, the proposed semantic change detection method (stage 3) provides human users with an interpretable decision-making process, while most of the explainable AI (XAI) methods provide post hoc explanations. The evaluation of the proposed IMAFD framework was performed on three datasets, WorldFloods, RavAEn and MediaEval. For all the above datasets, the proposed framework demonstrates a competitive performance compared to other methods offering also interpretability and insight.


title: High-level Stream Processing: A Complementary Analysis of Fault Recovery

abstract: Parallel computing is very important to accelerate the performance of software systems. Additionally, considering that a recurring challenge is to process high data volumes continuously, stream processing emerged as a paradigm and software architectural style. Several software systems rely on stream processing to deliver scalable performance, whereas open-source frameworks provide coding abstraction and high-level parallel computing. Although stream processing's performance is being extensively studied, the measurement of fault tolerance--a key abstraction offered by stream processing frameworks--has still not been adequately measured with comprehensive testbeds. In this work, we extend the previous fault recovery measurements with an exploratory analysis of the configuration space, additional experimental measurements, and analysis of improvement opportunities. We focus on robust deployment setups inspired by requirements for near real-time analytics of a large cloud observability platform. The results indicate significant potential for improving fault recovery and performance. However, these improvements entail grappling with configuration complexities, particularly in identifying and selecting the configurations to be fine-tuned and determining the appropriate values for them. Therefore, new abstractions for transparent configuration tuning are also needed for large-scale industry setups. We believe that more software engineering efforts are needed to provide insights into potential abstractions and how to achieve them. The stream processing community and industry practitioners could also benefit from more interactions with the high-level parallel programming community, whose expertise and insights on making parallel programming more productive and efficient could be extended.


title: Untangling individual cation roles in rock salt high-entropy oxides

abstract: We unravel the distinct roles each cation plays in phase evolution, stability, and properties within Mg1/5Co1/5Ni1/5Cu1/5Zn1/5O high-entropy oxide (HEO) by integrating experimental findings, thermodynamic analyses, and first-principles predictions. Our approach is through sequentially removing one cation at a time from the five-component high-entropy oxide to create five four-component derivatives. Bulk synthesis experiments indicate that Mg, Ni, and Co act as rock salt phase stabilizers whereas only Mg and Ni enthalpically enhance single-phase rock salt stability in thin film growth; synthesis conditions dictate whether Co is a rock salt phase stabilizer or destabilizer. By examining the competing phases and oxidation state preferences using pseudo-binary phase diagrams and first-principles calculations, we resolve the stability differences between bulk and thin film for all compositions. We systematically explore HEO macroscopic property sensitivity to cation selection employing both predicted and measured optical spectra. This study establishes a framework for understanding high-entropy oxide synthesizability and properties on a per-cation basis that is broadly applicable to tailoring functional property design in other high-entropy materials.


title: Exploring the Low-Pass Filtering Behavior in Image Super-Resolution

abstract: Deep neural networks for image super-resolution (ISR) have shown significant advantages over traditional approaches like the interpolation. However, they are often criticized as 'black boxes' compared to traditional approaches with solid mathematical foundations. In this paper, we attempt to interpret the behavior of deep neural networks in ISR using theories from the field of signal processing. First, we report an intriguing phenomenon, referred to as `the sinc phenomenon.' It occurs when an impulse input is fed to a neural network. Then, building on this observation, we propose a method named Hybrid Response Analysis (HyRA) to analyze the behavior of neural networks in ISR tasks. Specifically, HyRA decomposes a neural network into a parallel connection of a linear system and a non-linear system and demonstrates that the linear system functions as a low-pass filter while the non-linear system injects high-frequency information. Finally, to quantify the injected high-frequency information, we introduce a metric for image-to-image tasks called Frequency Spectrum Distribution Similarity (FSDS). FSDS reflects the distribution similarity of different frequency components and can capture nuances that traditional metrics may overlook. Code, videos and raw experimental results for this paper can be found in: https://github.com/RisingEntropy/LPFInISR.


title: A Systematic Investigation of Distilling Large Language Models into Cross-Encoders for Passage Re-ranking

abstract: Cross-encoders distilled from large language models (LLMs) are often more effective re-rankers than cross-encoders fine-tuned on manually labeled data. However, the distilled models usually do not reach their teacher LLM's effectiveness. To investigate whether best practices for fine-tuning cross-encoders on manually labeled data (e.g., hard-negative sampling, deep sampling, and listwise loss functions) can help to improve LLM ranker distillation, we construct and release a new distillation dataset: Rank-DistiLLM. In our experiments, cross-encoders trained on Rank-DistiLLM reach the effectiveness of LLMs while being orders of magnitude more efficient. Our code and data is available at https://github.com/webis-de/msmarco-llm-distillation.


title: Can Better Text Semantics in Prompt Tuning Improve VLM Generalization?

abstract: Going beyond mere fine-tuning of vision-language models (VLMs), learnable prompt tuning has emerged as a promising, resource-efficient alternative. Despite their potential, effectively learning prompts faces the following challenges: (i) training in a low-shot scenario results in overfitting, limiting adaptability, and yielding weaker performance on newer classes or datasets; (ii) prompt-tuning's efficacy heavily relies on the label space, with decreased performance in large class spaces, signaling potential gaps in bridging image and class concepts. In this work, we investigate whether better text semantics can help address these concerns. In particular, we introduce a prompt-tuning method that leverages class descriptions obtained from Large Language Models (LLMs). These class descriptions are used to bridge image and text modalities. Our approach constructs part-level description-guided image and text features, which are subsequently aligned to learn more generalizable prompts. Our comprehensive experiments conducted across 11 benchmark datasets show that our method outperforms established methods, demonstrating substantial improvements.


title: Unfolding via Progressive Mesh Approximation

abstract: When folding a 3D object from a 2D material like paper, typically only an approximation of the original surface geometry is needed. Such an approximation can effectively be created by a (progressive) mesh simplification approach, e.g. using an edge collapse technique. Moreover, when searching for an unfolding of the object, this approximation is assumed to be fixed. In this work, we take a different route and allow the approximation to change while searching for an unfolding. This way, we increase the chances to overcome possible ununfoldability issues. To join the two concepts of mesh approximation and unfolding, our work combines the edge collapsing mesh simplification technique with a Tabu Unfolder, a robust mesh unfolding approach. We empirically show that this strategy performs faster and that it is more reliable than prior state of the art methods.


title: Towards understanding fermion masses and mixings

abstract: The Standard Model does not constrain the form of the Yukawa matrices and thus the origin of fermion mass hierarchies and mixing pattern remains puzzling. On the other hand, there are intriguing relations between the quark masses and their weak mixing angles, such as the well-known one $\tan \theta_C= \sqrt{m_d/m_s}$ for the Cabibbo angle, which may point towards specific textures of Yukawa matrices hypothesized by Harald Fritzsch at the end of the 70's. Though the original ansatz of Fritzsch is excluded by the experimental data, one can consider its minimal modification which consists in introducing an asymmetry between the 23 and 32 entries in the down-quark Yukawa matrix. We show that this structure is perfectly compatible with the present precision data on quark masses and CKM mixing matrix, and theoretically it can be obtained in the context of $SU(5)$ model with inter-family $SU(3)_H$ symmetry. We also discuss some alternative approaches which could give a natural description of the fermion mass spectrum and weak mixing pattern.


title: Extreme points of matrix convex sets and their spanning properties

abstract: This expository article gives a survey of matrix convex sets, a natural generalization of convex sets to the noncommutative (dimension-free) setting, with a focus on their extreme points. Mirroring the classical setting, extreme points play an important role in understanding matrix convex sets, and a natural question is, "are matrix convex sets the matrix convex hull of their extreme points?" That is, does a Krein-Milman theorem hold for matrix convex sets? This question requires more care in the noncommutative setting, as there are several notions of extreme points for matrix convex sets. Three of the most important notions are matrix extreme points, matrix exposed points, and free extreme points. For each of these types of extreme points, we examine strengths and shortcomings in terms of a Krein-Milman theorem for matrix convex sets.


title: Stable Diffusion-based Data Augmentation for Federated Learning with Non-IID Data

abstract: The proliferation of edge devices has brought Federated Learning (FL) to the forefront as a promising paradigm for decentralized and collaborative model training while preserving the privacy of clients' data. However, FL struggles with a significant performance reduction and poor convergence when confronted with Non-Independent and Identically Distributed (Non-IID) data distributions among participating clients. While previous efforts, such as client drift mitigation and advanced server-side model fusion techniques, have shown some success in addressing this challenge, they often overlook the root cause of the performance reduction - the absence of identical data accurately mirroring the global data distribution among clients. In this paper, we introduce Gen-FedSD, a novel approach that harnesses the powerful capability of state-of-the-art text-to-image foundation models to bridge the significant Non-IID performance gaps in FL. In Gen-FedSD, each client constructs textual prompts for each class label and leverages an off-the-shelf state-of-the-art pre-trained Stable Diffusion model to synthesize high-quality data samples. The generated synthetic data is tailored to each client's unique local data gaps and distribution disparities, effectively making the final augmented local data IID. Through extensive experimentation, we demonstrate that Gen-FedSD achieves state-of-the-art performance and significant communication cost savings across various datasets and Non-IID settings.


title: Adaptive first-order methods with enhanced worst-case rates

abstract: The Optimized Gradient Method (OGM), its strongly convex extension, the Information Theoretical Exact Method (ITEM), as well as the related Triple Momentum Method (TMM) have superior convergence guarantees when compared to the Fast Gradient Method but lack adaptivity and their derivation is incompatible with composite problems. In this work we introduce a slightly modified version of the estimate sequence that can be used to simultaneously derive OGM, ITEM and TMM while adding memory along with the ability to dynamically adjust the convergence guarantees at runtime. Our framework can be extended to the composite setup and we use it to construct an Enhanced Accelerated Composite Gradient Method equipped with fully-adaptive line-search.


title: Topological Interlayer Superconductivity in a van der Waals Heterostructure

abstract: We show that when a honeycomb antiferromagnetic insulator (AFMI) is sandwiched between two transition metal dichalcogenide (TMD) monolayers in a commensurate way, magnons in the AFMI can mediate an interaction between electrons in the TMDs that gives rise to interlayer Cooper pairing. This interaction opens coexisting extended $s$-wave and chiral $p$-wave superconducting gaps in the energy spectrum of the coupled system, and the latter give rise to topological Majorana edge modes.


title: The Casson-Sullivan invariant for homeomorphisms of 4-manifolds

abstract: We investigate the realisability of the Casson-Sullivan invariant for homeomorphisms of smooth $4$-manifolds, which is the obstruction to a homeomorphism being stably pseudo-isotopic to a diffeomorphism, valued in the third cohomology of the source manifold with $\mathbb{Z}/2$-coefficients. We prove that for all orientable pairs of homeomorphic, smooth $4$-manifolds this invariant can be realised fully after stabilising with a single $S^2\times S^2$. As an application, we obtain that topologically isotopic surfaces in a smooth, simply-connected $4$-manifold become smoothly isotopic after sufficient external stabilisations. We further demonstrate cases where this invariant can be realised fully without stabilisation for self-homeomorphisms, which includes for manifolds with finite cyclic fundamental group. This method allows us to produce many examples of homeomorphisms which are not stably pseudo-isotopic to any diffeomorphism but are homotopic to the identity. Finally, we reinterpret these results in terms of finding examples of smooth structures on $4$-manifolds which are diffeomorphic but not stably pseudo-isotopic.


title: On the Existence and Smoothness of the Navier-Stokes Equation

abstract: In this paper, we construct a smooth solution of the Navier-Stokes Equation by studying the iteration of a product defined over a space of functions dominated by Fourier caloric functions decreasing fast. Additionally, we show the existence of a curve of entire vector fields of order 2 that extends the solution to the complex domain for positive time.


title: Improving Multimodal Learning with Multi-Loss Gradient Modulation

abstract: Learning from multiple modalities, such as audio and video, offers opportunities for leveraging complementary information, enhancing robustness, and improving contextual understanding and performance. However, combining such modalities presents challenges, especially when modalities differ in data structure, predictive contribution, and the complexity of their learning processes. It has been observed that one modality can potentially dominate the learning process, hindering the effective utilization of information from other modalities and leading to sub-optimal model performance. To address this issue the vast majority of previous works suggest to assess the unimodal contributions and dynamically adjust the training to equalize them. We improve upon previous work by introducing a multi-loss objective and further refining the balancing process, allowing it to dynamically adjust the learning pace of each modality in both directions, acceleration and deceleration, with the ability to phase out balancing effects upon convergence. We achieve superior results across three audio-video datasets: on CREMA-D, models with ResNet backbone encoders surpass the previous best by 1.9% to 12.4%, and Conformer backbone models deliver improvements ranging from 2.8% to 14.1% across different fusion methods. On AVE, improvements range from 2.7% to 7.7%, while on UCF101, gains reach up to 6.1%.


title: A radial decrease in kinetic temperature measured with formaldehyde in 30 Doradus

abstract: Feedback from star formation is a critical component of the evolution of galaxies and their interstellar medium. At parsec scales internal to molecular clouds, however, the observed signatures of that feedback on the physical properties of CO-emitting gas have often been weak or inconclusive. We present sub-parsec observations of H2CO in the 30 Doradus region, which contains the massive star cluster R136 that is clearly exerting feedback on its neighboring gas. H2CO provides a direct measure of gas kinetic temperature, and we find a trend of decreasing temperature with projected distance from R136 that may be indicative of gas heating by the stars. While it has been suggested that mechanical heating affects H2CO-measured temperature, we do not observe any correlation between TK and line width. The lack of an enhancement in mechanical feedback close to R136 is consistent with the absence of a radial trend in gravitational boundedness seen the ALMA CO observations. Estimates of cosmic ray flux in the region are quite uncertain but can plausibly explain the observed temperatures, if R136 itself is the dominant local source of energetic protons. The observations presented here are also consistent with the H2CO-emitting gas near R136 being dominated by direct radiation from R136 and photoelectric heating in the photodissociation regions.


title: PARDEN, Can You Repeat That? Defending against Jailbreaks via Repetition

abstract: Large language models (LLMs) have shown success in many natural language processing tasks. Despite rigorous safety alignment processes, supposedly safety-aligned LLMs like Llama 2 and Claude 2 are still susceptible to jailbreaks, leading to security risks and abuse of the models. One option to mitigate such risks is to augment the LLM with a dedicated "safeguard", which checks the LLM's inputs or outputs for undesired behaviour. A promising approach is to use the LLM itself as the safeguard. Nonetheless, baseline methods, such as prompting the LLM to self-classify toxic content, demonstrate limited efficacy. We hypothesise that this is due to domain shift: the alignment training imparts a self-censoring behaviour to the model ("Sorry I can't do that"), while the self-classify approach shifts it to a classification format ("Is this prompt malicious"). In this work, we propose PARDEN, which avoids this domain shift by simply asking the model to repeat its own outputs. PARDEN neither requires finetuning nor white box access to the model. We empirically verify the effectiveness of our method and show that PARDEN significantly outperforms existing jailbreak detection baselines for Llama-2 and Claude-2. Code and data are available at https://github.com/Ed-Zh/PARDEN. We find that PARDEN is particularly powerful in the relevant regime of high True Positive Rate (TPR) and low False Positive Rate (FPR). For instance, for Llama2-7B, at TPR equal to 90%, PARDEN accomplishes a roughly 11x reduction in the FPR from 24.8% to 2.0% on the harmful behaviours dataset.


title: Authentic Hand Avatar from a Phone Scan via Universal Hand Model

abstract: The authentic 3D hand avatar with every identifiable information, such as hand shapes and textures, is necessary for immersive experiences in AR/VR. In this paper, we present a universal hand model (UHM), which 1) can universally represent high-fidelity 3D hand meshes of arbitrary identities (IDs) and 2) can be adapted to each person with a short phone scan for the authentic hand avatar. For effective universal hand modeling, we perform tracking and modeling at the same time, while previous 3D hand models perform them separately. The conventional separate pipeline suffers from the accumulated errors from the tracking stage, which cannot be recovered in the modeling stage. On the other hand, ours does not suffer from the accumulated errors while having a much more concise overall pipeline. We additionally introduce a novel image matching loss function to address a skin sliding during the tracking and modeling, while existing works have not focused on it much. Finally, using learned priors from our UHM, we effectively adapt our UHM to each person's short phone scan for the authentic hand avatar.


title: Mordell-Tornheim zeta functions and functional equations for Herglotz-Zagier type functions

abstract: The Mordell-Tornheim zeta function and the Herglotz-Zagier function $F(x)$ are two important functions in Mathematics. By generalizing a special case of the former, namely $\Theta(z, x)$, we show that the theories of these functions are inextricably woven. We obtain a three-term functional equation for $\Theta(z, x)$ as well as decompose it in terms of the Herglotz-Hurwitz function $\Phi(z, x)$. This decomposition can be conceived as a two-term functional equation for $\Phi(z, x)$. Through this result, we are not only able to get Zagier's identity relating $F(x)$ with $F(1/x)$ but also two-term functional equation for Ishibashi's generalization of $F(x)$, namely, $\Phi_k(x)$ which has been sought after for over twenty years. We further generalize $\Theta(z, x)$ by incorporating two Gauss sums, each associated to a Dirichlet character, and decompose it in terms of an interesting integral which involves the Fekete polynomial as well as the character polylogarithm. This result gives infinite families of functional equations of Herglotz-type integrals out of which only two, due to Kumar and Choie, were known so far. The first one among the two involves the integral $J(x)$ who special values have received a lot of attention, more recently, in the work of Muzzaffar and Williams, and in that of Radchenko and Zagier. Analytic continuation of our generalization of $\Theta(z, x)$ is also accomplished which allows us to obtain transformations between certain double series and Herglotz-type integrals or their explicit evaluations.


title: Study of the direct $^{16}{\rm O}(p, \gamma)^{17}{\rm F}$ astrophysical capture reaction within a potential model approach

abstract: A potential model is applied for the analysis of the astrophysical direct nuclear capture process $^{16}$O(p,$\gamma)^{17}$F. The phase-equivalent potentials of the Woods-Saxon form for the p$-^{16}$O interaction are examined which reproduce the binding energies and the empirical values of ANC for the $^{17}$F(5/2$^+$) ground and $^{17}$F(1/2$^+$) ($E^*$=0.495 MeV) excited bound states from different sources. The best description of the experimental data for the astrophysical $S$ factor is obtained within the potential model which yields the ANC values of 1.043 fm$^{-1/2}$ and 75.484 fm$^{-1/2}$ for the $^{17}$F($5/2^{+}$) ground and $^{17}$F($1/2^{+}$) excited bound states, respectively. The zero-energy astrophysical factor $S(0)=9.321$ KeV b is obtained by using the asymptotic expansion method of D. Baye. The calculated reaction rates within the region up to 10$^{10}$ K are in good agreement with those from the R-matrix approach and the Bayesian model in both absolute values and temperature dependence.


title: A Perspective on the Foundations of Derived Analytic Geometry

abstract: We show how one can do algebraic geometry with respect to the category of simplicial objects in an exact category. As a biproduct, we get a theory of derived analytic geometry.


title: Active Learning with Simple Questions

abstract: We consider an active learning setting where a learner is presented with a pool S of n unlabeled examples belonging to a domain X and asks queries to find the underlying labeling that agrees with a target concept h^* \in H. In contrast to traditional active learning that queries a single example for its label, we study more general region queries that allow the learner to pick a subset of the domain T \subset X and a target label y and ask a labeler whether h^*(x) = y for every example in the set T \cap S. Such more powerful queries allow us to bypass the limitations of traditional active learning and use significantly fewer rounds of interactions to learn but can potentially lead to a significantly more complex query language. Our main contribution is quantifying the trade-off between the number of queries and the complexity of the query language used by the learner. We measure the complexity of the region queries via the VC dimension of the family of regions. We show that given any hypothesis class H with VC dimension d, one can design a region query family Q with VC dimension O(d) such that for every set of n examples S \subset X and every h^* \in H, a learner can submit O(d log n) queries from Q to a labeler and perfectly label S. We show a matching lower bound by designing a hypothesis class H with VC dimension d and a dataset S \subset X of size n such that any learning algorithm using any query class with VC dimension less than O(d) must make poly(n) queries to label S perfectly. Finally, we focus on well-studied hypothesis classes including unions of intervals, high-dimensional boxes, and d-dimensional halfspaces, and obtain stronger results. In particular, we design learning algorithms that (i) are computationally efficient and (ii) work even when the queries are not answered based on the learner's pool of examples S but on some unknown superset L of S


title: EconLogicQA: A Question-Answering Benchmark for Evaluating Large Language Models in Economic Sequential Reasoning

abstract: In this paper, we introduce EconLogicQA, a rigorous benchmark designed to assess the sequential reasoning capabilities of large language models (LLMs) within the intricate realms of economics, business, and supply chain management. Diverging from traditional benchmarks that predict subsequent events individually, EconLogicQA poses a more challenging task: it requires models to discern and sequence multiple interconnected events, capturing the complexity of economic logics. EconLogicQA comprises an array of multi-event scenarios derived from economic articles, which necessitate an insightful understanding of both temporal and logical event relationships. Through comprehensive evaluations, we exhibit that EconLogicQA effectively gauges a LLM's proficiency in navigating the sequential complexities inherent in economic contexts. We provide a detailed description of EconLogicQA dataset and shows the outcomes from evaluating the benchmark across various leading-edge LLMs, thereby offering a thorough perspective on their sequential reasoning potential in economic contexts. Our benchmark dataset is available at https://huggingface.co/datasets/yinzhu-quan/econ_logic_qa.


title: Compact moduli of Calabi-Yau cones and Sasaki-Einstein spaces

abstract: We construct proper moduli algebraic spaces of K-polystable $\mathbb{Q}$-Fano cones (a.k.a. Calabi-Yau cones) or equivalently their links i.e., Sasaki-Einstein manifolds with singularities. As a byproduct, it gives alternative algebraic construction of proper K-moduli of $\mathbb{Q}$-Fano varieties. In contrast to the previous algebraic proof of its properness ([BHLLX, LXZ]), we do not use the $\delta$-invariants ([FO, BJ]) nor the $L^2$-normalized Donaldson-Futaki invariants. We use the local normalized volume of [Li] and the higher $\Theta$-stable reduction instead.


title: RAID: A Shared Benchmark for Robust Evaluation of Machine-Generated Text Detectors

abstract: Many commercial and open-source models claim to detect machine-generated text with extremely high accuracy (99% or more). However, very few of these detectors are evaluated on shared benchmark datasets and even when they are, the datasets used for evaluation are insufficiently challenging-lacking variations in sampling strategy, adversarial attacks, and open-source generative models. In this work we present RAID: the largest and most challenging benchmark dataset for machine-generated text detection. RAID includes over 6 million generations spanning 11 models, 8 domains, 11 adversarial attacks and 4 decoding strategies. Using RAID, we evaluate the out-of-domain and adversarial robustness of 8 open- and 4 closed-source detectors and find that current detectors are easily fooled by adversarial attacks, variations in sampling strategies, repetition penalties, and unseen generative models. We release our data along with a leaderboard to encourage future research.


title: Efficient and Universal Merkle Tree Inclusion Proofs via OR Aggregation

abstract: Zero-knowledge proofs have emerged as a powerful tool for enhancing privacy and security in blockchain applications. However, the efficiency and scalability of proof systems remain a significant challenge, particularly in the context of Merkle tree inclusion proofs. Traditional proof aggregation techniques based on AND logic suffer from high verification complexity and data communication overhead, limiting their practicality for large-scale applications. In this paper, we propose a novel proof aggregation approach based on OR logic, which enables the generation of compact and universally verifiable proofs for Merkle tree inclusion. By aggregating proofs using OR logic, we achieve a proof size that is independent of the number of leaves in the tree, and verification can be performed using any single valid leaf hash. This represents a significant improvement over AND aggregation, which requires the verifier to process all leaf hashes. We formally define the OR aggregation logic, describe the process of generating universal proofs, and provide a comparative analysis demonstrating the advantages of our approach in terms of proof size, verification data, and universality. Furthermore, we discuss the potential of combining OR and AND aggregation logics to create complex acceptance functions, enabling the development of expressive and efficient proof systems for various blockchain applications. The proposed techniques have the potential to significantly enhance the scalability, efficiency, and flexibility of zero-knowledge proof systems, paving the way for more practical and adaptive solutions in the blockchain ecosystem.


title: Spatiotemporal control of structure and dynamics in a polar active fluid

abstract: We apply optimal control theory to a model of a polar active fluid (the Toner-Tu model), with the objective of driving the system into particular emergent dynamical behaviors or programming switching between states on demand. We use the effective self-propulsion speed as the control parameter (i.e. the means of external actuation). We identify control protocols that achieve outcomes such as relocating asters to targeted positions, forcing propagating solitary waves to reorient to a particular direction, and switching between stationary asters and propagating fronts. We analyze the solutions to identify generic principles for controlling polar active fluids. Our findings have implications for achieving spatiotemporal control of active polar systems in experiments, particularly in vitro cytoskeletal systems. Additionally, this research paves the way for leveraging optimal control methods to engineer the structure and dynamics of active fluids more broadly.


title: Hierarchical Decision Mamba

abstract: Recent advancements in imitation learning have been largely fueled by the integration of sequence models, which provide a structured flow of information to effectively mimic task behaviours. Currently, Decision Transformer (DT) and subsequently, the Hierarchical Decision Transformer (HDT), presented Transformer-based approaches to learn task policies. Recently, the Mamba architecture has shown to outperform Transformers across various task domains. In this work, we introduce two novel methods, Decision Mamba (DM) and Hierarchical Decision Mamba (HDM), aimed at enhancing the performance of the Transformer models. Through extensive experimentation across diverse environments such as OpenAI Gym and D4RL, leveraging varying demonstration data sets, we demonstrate the superiority of Mamba models over their Transformer counterparts in a majority of tasks. Results show that HDM outperforms other methods in most settings. The code can be found at https://github.com/meowatthemoon/HierarchicalDecisionMamba.


title: Optimization Using Pathwise Algorithmic Derivatives of Electromagnetic Shower Simulations

abstract: Among the well-known methods to approximate derivatives of expectancies computed by Monte-Carlo simulations, averages of pathwise derivatives are often the easiest one to apply. Computing them via algorithmic differentiation typically does not require major manual analysis and rewriting of the code, even for very complex programs like simulations of particle-detector interactions in high-energy physics. However, the pathwise derivative estimator can be biased if there are discontinuities in the program, which may diminish its value for applications. This work integrates algorithmic differentiation into the electromagnetic shower simulation code HepEmShow based on G4HepEm, allowing us to study how well pathwise derivatives approximate derivatives of energy depositions in a sampling calorimeter with respect to parameters of the beam and geometry. We found that when multiple scattering is disabled in the simulation, means of pathwise derivatives converge quickly to their expected values, and these are close to the actual derivatives of the energy deposition. Additionally, we demonstrate the applicability of this novel gradient estimator for stochastic gradient-based optimization in a model example.


title: GRASS II: Simulations of Potential Granulation Noise Mitigation Methods

abstract: We present an updated version of GRASS (the GRanulation And Spectrum Simulator, Palumbo et al. 2022) which now uses an expanded library of 22 solar lines to empirically model time-resolved spectral variations arising from solar granulation. We show that our synthesis model accurately reproduces disk-integrated solar line profiles and bisectors, and we quantify the intrinsic granulation-driven radial-velocity (RV) variability for each of the 22 lines studied. We show that summary statistics of bisector shape (e.g., bisector inverse slope) are strongly correlated with the measured anomalous, variability-driven RV at high pixel signal-to-noise ratio (SNR) and spectral resolution. Further, the strength of the correlations vary both line by line and with the summary statistic used. These correlations disappear for individual lines at the typical spectral resolutions and SNRs achieved by current EPRV spectrographs; so we use simulations from GRASS to demonstrate that they can, in principle, be recovered by selectively binning lines that are similarly affected by granulation. In the best-case scenario (high SNR and large number of binned lines), we find that a $\lesssim$30$\%$ reduction in the granulation-induced root mean square (RMS) RV can be achieved, but that the achievable reduction in variability is most strongly limited by the spectral resolution of the observing instrument. Based on our simulations, we predict that existing ultra-high-resolution spectrographs, namely ESPRESSO and PEPSI, should be able to resolve convective variability in other, bright stars.


title: TPMS2STEP: error-controlled and C2 continuity-preserving translation of TPMS models to STEP files based on constrained-PIA

abstract: Triply periodic minimal surface (TPMS) is emerging as an important way of designing microstructures. However, there has been limited use of commercial CAD/CAM/CAE software packages for TPMS design and manufacturing. This is mainly because TPMS is consistently described in the functional representation (F-rep) format, while modern CAD/CAM/CAE tools are built upon the boundary representation (B-rep) format. One possible solution to this gap is translating TPMS to STEP, which is the standard data exchange format of CAD/CAM/CAE. Following this direction, this paper proposes a new translation method with error-controlling and $C^2$ continuity-preserving features. It is based on an approximation error-driven TPMS sampling algorithm and a constrained-PIA algorithm. The sampling algorithm controls the deviation between the original and translated models. With it, an error bound of $2\epsilon$ on the deviation can be ensured if two conditions called $\epsilon$-density and $\epsilon$-approximation are satisfied. The constrained-PIA algorithm enforces $C^2$ continuity constraints during TPMS approximation, and meanwhile attaining high efficiency. A theoretical convergence proof of this algorithm is also given. The effectiveness of the translation method has been demonstrated by a series of examples and comparisons.


title: On the Gonality of Ferrers Rook Graphs

abstract: A Ferrers rook graph is a graph whose vertices correspond to the dots in a Ferrers diagram, and where two vertices are adjacent if they are in the same row or the same column. We propose a conjectural formula for the gonality of Ferrers rook graphs, and prove this conjecture for a few infinite families of Ferrers diagrams. We also prove the conjecture for all Ferrers diagrams $F$ with $|F| \leq 8$.


title: Scene Action Maps: Behavioural Maps for Navigation without Metric Information

abstract: Humans are remarkable in their ability to navigate without metric information. We can read abstract 2D maps, such as floor-plans or hand-drawn sketches, and use them to navigate in unseen rich 3D environments, without requiring prior traversals to map out these scenes in detail. We posit that this is enabled by the ability to represent the environment abstractly as interconnected navigational behaviours, e.g., "follow the corridor" or "turn right", while avoiding detailed, accurate spatial information at the metric level. We introduce the Scene Action Map (SAM), a behavioural topological graph, and propose a learnable map-reading method, which parses a variety of 2D maps into SAMs. Map-reading extracts salient information about navigational behaviours from the overlooked wealth of pre-existing, abstract and inaccurate maps, ranging from floor-plans to sketches. We evaluate the performance of SAMs for navigation, by building and deploying a behavioural navigation stack on a quadrupedal robot. Videos and more information is available at: https://scene-action-maps.github.io.


title: Online Load and Graph Balancing for Random Order Inputs

abstract: Online load balancing for heterogeneous machines aims to minimize the makespan (maximum machine workload) by scheduling arriving jobs with varying sizes on different machines. In the adversarial setting, where an adversary chooses not only the collection of job sizes but also their arrival order, the problem is well-understood and the optimal competitive ratio is known to be $\Theta(\log m)$ where $m$ is the number of machines. In the more realistic random arrival order model, the understanding is limited. Previously, the best lower bound on the competitive ratio was only $\Omega(\log \log m)$. We significantly improve this bound by showing an $\Omega( \sqrt {\log m})$ lower bound, even for the restricted case where each job has a unit size on two machines and infinite size on the others. On the positive side, we propose an $O(\log m/\log \log m)$-competitive algorithm, demonstrating that better performance is possible in the random arrival model.


title: Quantum-like states on complex synchronized networks

abstract: Recent work has exposed the idea that interesting quantum-like probability laws, including interference effects, can be manifest in classical systems. Here we propose a model for quantum-like (QL) states and QL bits. We suggest a way that huge, complex systems can host robust states that can process information in a QL fashion. Axioms that such states should satisfy are proposed. Specifically, it is shown that building blocks suited for QL states are networks, possibly very complex, that we defined based on $k$-regular random graphs. These networks can dynamically encode a lot of information that is distilled into the emergent states we can use for QL like processing. Although the emergent states are classical, they have properties analogous to quantum states. Concrete examples of how QL functions are possible are given. The possibility of a `QL advantage' for computing-type operations and the potential relevance for new kinds of function in the brain are discussed and left as open questions.


title: Scattering of the Toda system and the Gaussian $\beta$-ensemble

abstract: The classical Toda flow is a well-known integrable Hamiltonian system that diagonalizes matrices. By keeping track of the distribution of entries and precise scattering asymptotics, one can exhibit matrix models for log-gases on the real line. These types of scattering asymptotics date back to fundamental work of Moser. More precisely, using the classical Toda flow acting on symmetric real tridiagonal matrices, we give a "symplectic" proof of the fact that the Dumitriu-Edelman tridiagonal model has a spectrum following the Gaussian $\beta$-ensemble.


title: White paper on (${\alpha}$, n) neutron yield calculations

abstract: Understanding the radiogenic neutron production rate through the (${\alpha}$, n) reaction is essential in many fields of physics like dark matter searches, neutrino studies, nuclear astrophysics and medical physics. This white paper provides a review of the current landscape of (${\alpha}$, n) yields, neutron spectra and correlated ${\gamma}$-rays calculations, and describes the existing tools and the available cross-sections. The uncertainties that contribute to (${\alpha}$, n) yield calculations are also discussed with plans for a program to improve the accuracy of these estimates. Novel ideas to measure (${\alpha}$, n) cross-sections for a variety of materials of interest are presented. The goal of this study is to reduce the uncertainty in the expected sensitivity of next-generation physics experiments in the keV--MeV regime.


title: On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates

abstract: We investigate the decidability of the monadic second-order (MSO) theory of the structure $\langle \mathbb{N};<,P_1, \ldots,P_k \rangle$, for various unary predicates $P_1,\ldots,P_k \subseteq \mathbb{N}$. We focus in particular on "arithmetic" predicates arising in the study of linear recurrence sequences, such as fixed-base powers $\mathsf{Pow}_k = \{k^n : n \in \mathbb{N}\}$, $k$-th powers $\mathsf{N}_k = \{n^k : n \in \mathbb{N}\}$, and the set of terms of the Fibonacci sequence $\mathsf{Fib} = \{0,1,2,3,5,8,13,\ldots\}$ (and similarly for other linear recurrence sequences having a single, non-repeated, dominant characteristic root). We obtain several new unconditional and conditional decidability results, a select sample of which are the following: $\bullet$ The MSO theory of $\langle \mathbb{N};<,\mathsf{Pow}_2, \mathsf{Fib} \rangle$ is decidable; $\bullet$ The MSO theory of $\langle \mathbb{N};<, \mathsf{Pow}_2, \mathsf{Pow}_3, \mathsf{Pow}_6 \rangle$ is decidable; $\bullet$ The MSO theory of $\langle \mathbb{N};<, \mathsf{Pow}_2, \mathsf{Pow}_3, \mathsf{Pow}_5 \rangle$ is decidable assuming Schanuel's conjecture; $\bullet$ The MSO theory of $\langle \mathbb{N};<, \mathsf{Pow}_4, \mathsf{N}_2 \rangle$ is decidable; $\bullet$ The MSO theory of $\langle \mathbb{N};<, \mathsf{Pow}_2, \mathsf{N}_2 \rangle$ is Turing-equivalent to the MSO theory of $\langle \mathbb{N};<,S \rangle$, where $S$ is the predicate corresponding to the binary expansion of $\sqrt{2}$. (As the binary expansion of $\sqrt{2}$ is widely believed to be normal, the corresponding MSO theory is in turn expected to be decidable.) These results are obtained by exploiting and combining techniques from dynamical systems, number theory, and automata theory.


title: An Algorithmic Classification of Generalized Pseudo-Anosov Homeomorphisms via Geometric Markov Partitions

abstract: This thesis provides a classification of generalized pseudo-Anosov homeomorphisms up to topological conjugacy using an algorithmic approach. A Markov partition of a generalized pseudo-Anosov homeomorphism is a decomposition of the surface into a finite number of rectangles with disjoint interiors, such that their images intersect with any other rectangle in the Markov partition along a finite number of horizontal sub-rectangles. Every generalized pseudo-Anosov homeomorphism has a Markov partition, and, by using the surface's orientation, we can endow any Markov partition with a geometrization. The geometric type of a geometric Markov partition was defined by Bonatti and Langevin in their book, "Diffeomorphismes de Smale des surfaces", to classify saddle-type basic pieces for structurally stable diffeomorphisms on surfaces. A geometric type is an abstract combinatorial object that generalizes the incidence matrix of a Markov partition. It takes into account not only the number of times the image of a rectangle intersects with any other rectangle in the family but also the order and change of orientation induced by the homeomorphisms. This thesis employs the geometric type of a geometric Markov partition to classify conjugacy classes of pseudo-Anosov homeomorphisms. The classification is provided by the three main results in this manuscript: I) The geometric type is a complete invariant of conjugation. II) A criterion is provided for determining whether an abstract geometric type is realized by a geometric Markov partition of a pseudo-Anosov homeomorphism. III) An algorithm is described for determining whether two geometric types in the pseudo-Anosov class are realized by generalized pseudo-Anosov homeomorphisms that are topologically conjugated or not.


title: The Hamiltonian reduction of hypertoric mirror symmetry

abstract: We give a `Fukaya category commutes with reduction' theorem for the Hamiltonian torus action on a multiplicative hypertoric variety.


title: Small-Signal Model for Inhomogeneous Helix Traveling-Wave Tubes using Transfer Matrices

abstract: We introduce a practical method for modeling the small-signal behavior of dispersive and inhomogeneous helix-type traveling-wave tube (TWT) amplifiers based on a generalization of the one-dimensional Pierce model. Our model is applicable to both single-stage and multi-stage TWTs. Like the Pierce model, we assume that electrons flow linearly in one direction, parallel and in proximity to a slow-wave structure (SWS) which guides a single dominant electromagnetic mode. Realistic helix TWTs are modeled with position dependent and frequency-dependent SWS characteristics, such as loss, phase velocity, plasma frequency reduction factor, and interaction impedance. For the multi-stage helix TWT, we provide a simple lumped element circuit model for combining the stages separated by a sever, or gap, which attenuates the guided circuit mode while allowing the space-charge wave on the beam to pass freely to the next stage. The dispersive SWS characteristics are accounted for using full-wave eigenmode simulations for a realistic helix SWS supported by dielectric rods in a metal barrel, all of which contribute to the distributed circuit loss. We compare our computed gain vs frequency, computed using transfer matrices, to results found through particle-in-cell (PIC) simulations and the 1D TWT code LATTE to demonstrate the accuracy of our model. Furthermore, we demonstrate the ability of our model to reproduce gain ripple due to mismatches at the input and output ports of the TWT.


title: Quasi-one- and quasi-two-dimensional symbiotic solitons bound by dipolar interaction

abstract: We study the formation of quasi-one- (quasi-1D) and quasi-two-dimensional (quasi-2D) symbiotic solitons bound by an interspecies dipolar interaction in a binary dipolar Bose-Einstein condensate. These binary solitons have a repulsive intraspecies contact interaction stronger than the intraspecies dipolar interaction, so that they can not be bound in isolation in the absence of an interspecies dipolar interaction. These symbiotic solitons are bound in the presence of an interspecies dipolar interaction and zero interspecies contact interaction. The quasi-1D solitons are free to move along the polarization $z$ direction of the dipolar atoms, whereas the quasi-2D solitons move in the $x$-$z$ plane. To illustrate these, we consider a $^{164}$Er-$^{166}$Er mixture with scattering lengths $a$($^{164}$Er)$ =81a_0$ and $a$($^{166}$Er)$ =68a_0$ and with dipolar lengths $a_{\mathrm{dd}}$($^{164}$Er)$\approx a_{\mathrm{dd}}$($^{166}$Er)$\approx 65a_0$, where $a_0$ is the Bohr radius. In each of the two components $a> a_{\mathrm{dd}}$, which stops the binding of solitons in each component in isolation, whereas a binary quasi-1D or a quasi-2D $^{164}$Er-$^{166}$Er soliton is bound in the presence of an interspecies dipolar interaction. The stationary states were obtained by imaginary-time propagation of the underlying mean-field model; dynamical stability of the solitons was established by real-time propagation over a long period of time.


title: Record-based transmuted unit omega distribution: different methods of estimation and applications

abstract: Dombi et al. (2019) introduced a three parameter omega distribution and showed that its asymptotic distribution is the Weibull model. We propose a new record-based transmuted generalization of the unit omega distribution by considering Balakrishnan and He (2021) approach. We call it the RTUOMG distribution. We derive expressions for some statistical quantities, like, probability density function, distribution, hazard function, quantile function, moments, incomplete moments, inverted moments, moment generating function, Lorenz curve, and Bonferroni curve of the proposed distribution. The numerical values of various measures of central tendency and coefficient of skewness and kurtosis are also presented. Concepts of stochastic ordering and some results related to ordered statistics of the RTUOMG distribution are discussed. The parameters of the RTUOMG distribution are estimated using five distinct estimators. Additionally, the Monte Carlo simulations are performed to assess the performance of these estimators. Finally, two real data sets are analyzed to demonstrate the utility of the RTUOMG distribution.


title: An adjoint-based approach for the surgical correction of nasal septal deviations

abstract: Deviations of the septal wall are widespread anatomic anomalies of the human nose; they vary significantly in shape and location, and often cause the obstruction of the nasal airways. When severe, septal deviations need to be surgically corrected by ear-nose-throat (ENT) specialists. Septoplasty, however, has a low success rate, owing to the lack of suitable standardized clinical tools for assessing type and severity of obstructions, and for surgery planning. Moreover, the restoration of a perfectly straight septal wall is often impossible and possibly unnecessary. This paper introduces a procedure, based on advanced patient-specific Computational Fluid Dynamics (CFD) simulations, to support ENT surgeons in septoplasty planning. The method hinges upon the theory of adjoint-based optimization, and minimizes a cost function that indirectly accounts for viscous losses. A sensitivity map is computed on the mucosal wall to provide the surgeon with a simple quantification of how much tissue removal at each location would contribute to easing the obstruction. The optimization procedure is applied to three representative nasal anatomies, reconstructed from CT scans of patients affected by complex septal deviations. The computed sensitivity consistently identifies all the anomalies correctly. Virtual surgery, i.e. morphing of the anatomies according to the computed sensitivity, confirms that the characteristics of the nasal airflow improve significantly after small anatomy changes derived from adjoint-based optimization.


title: AgentClinic: a multimodal agent benchmark to evaluate AI in simulated clinical environments

abstract: Diagnosing and managing a patient is a complex, sequential decision making process that requires physicians to obtain information -- such as which tests to perform -- and to act upon it. Recent advances in artificial intelligence (AI) and large language models (LLMs) promise to profoundly impact clinical care. However, current evaluation schemes overrely on static medical question-answering benchmarks, falling short on interactive decision-making that is required in real-life clinical work. Here, we present AgentClinic: a multimodal benchmark to evaluate LLMs in their ability to operate as agents in simulated clinical environments. In our benchmark, the doctor agent must uncover the patient's diagnosis through dialogue and active data collection. We present two open medical agent benchmarks: a multimodal image and dialogue environment, AgentClinic-NEJM, and a dialogue-only environment, AgentClinic-MedQA. We embed cognitive and implicit biases both in patient and doctor agents to emulate realistic interactions between biased agents. We find that introducing bias leads to large reductions in diagnostic accuracy of the doctor agents, as well as reduced compliance, confidence, and follow-up consultation willingness in patient agents. Evaluating a suite of state-of-the-art LLMs, we find that several models that excel in benchmarks like MedQA are performing poorly in AgentClinic-MedQA. We find that the LLM used in the patient agent is an important factor for performance in the AgentClinic benchmark. We show that both having limited interactions as well as too many interaction reduces diagnostic accuracy in doctor agents. The code and data for this work is publicly available at https://AgentClinic.github.io.


title: Cloaking for random walks using a discrete potential theory

abstract: The diffusion of charged particles in a graph can be modeled using random walks on a weighted graph. We give strategies to hide (or cloak) changes in a subgraph from the perspective of measurements of expected net particle charges made at nodes away from the cloaked subgraph. We distinguish between passive and active strategies, depending on whether the strategy involves injecting particles. The passive strategy can hide topology and edge weight changes. In addition to these capabilities, the active strategy can also hide sources of particles, at the cost of prior knowledge of the expected net particle charges in the reference graph. The strategies we present rely on discrete analogues of classic potential theory, that include a Calder\'on calculus on graphs.


title: KG-Planner: Knowledge-Informed Graph Neural Planning for Collaborative Manipulators

abstract: This paper presents a novel knowledge-informed graph neural planner (KG-Planner) to address the challenge of efficiently planning collision-free motions for robots in high-dimensional spaces, considering both static and dynamic environments involving humans. Unlike traditional motion planners that struggle with finding a balance between efficiency and optimality, the KG-Planner takes a different approach. Instead of relying solely on a neural network or imitating the motions of an oracle planner, our KG-Planner integrates explicit physical knowledge from the workspace. The integration of knowledge has two key aspects: (1) we present an approach to design a graph that can comprehensively model the workspace's compositional structure. The designed graph explicitly incorporates critical elements such as robot joints, obstacles, and their interconnections. This representation allows us to capture the intricate relationships between these elements. (2) We train a Graph Neural Network (GNN) that excels at generating nearly optimal robot motions. In particular, the GNN employs a layer-wise propagation rule to facilitate the exchange and update of information among workspace elements based on their connections. This propagation emphasizes the influence of these elements throughout the planning process. To validate the efficacy and efficiency of our KG-Planner, we conduct extensive experiments in both static and dynamic environments. These experiments include scenarios with and without human workers. The results of our approach are compared against existing methods, showcasing the superior performance of the KG-Planner. A short video introduction of this work is available (video link provided in the paper).


title: PyZoBot: A Platform for Conversational Information Extraction and Synthesis from Curated Zotero Reference Libraries through Advanced Retrieval-Augmented Generation

abstract: The exponential growth of scientific literature has resulted in information overload, challenging researchers to effectively synthesize relevant publications. This paper explores the integration of traditional reference management software with advanced computational techniques, including Large Language Models and Retrieval-Augmented Generation. We introduce PyZoBot, an AI-driven platform developed in Python, incorporating Zoteros reference management with OpenAIs sophisticated LLMs. PyZoBot streamlines knowledge extraction and synthesis from extensive human-curated scientific literature databases. It demonstrates proficiency in handling complex natural language queries, integrating data from multiple sources, and meticulously presenting references to uphold research integrity and facilitate further exploration. By leveraging LLMs, RAG, and human expertise through a curated library, PyZoBot offers an effective solution to manage information overload and keep pace with rapid scientific advancements. The development of such AI-enhanced tools promises significant improvements in research efficiency and effectiveness across various disciplines.