title: On primitive element of finite k-algebras and applications to commuting matrices

abstract: Using the properties of the ideal of the coordinate Hermite interpolation on n-dimensional grid [4], we prove that the extension k in k[x1, x2, ..., xn] / (f1(x1), ..., fn(xn)) has a primitive element if and only if at most one of the univariate polynomials f1, ..., fn is inseparable. This result lead to some Corollaries related to the existence of primitive element of finite k-algebras. Finally, these results are further used to investigate the well known Frobenius question, whether two commuting matrices A and B can be expressed as polynomials in some matrix C. More specifically, we identify certain classes of matrices for which matrix C exists and different classes where no such matrix C exists.


title: Photo-production of axions in Supernovae

abstract: Compact stellar objects like supernovae and neutron stars are believed to cool by emitting axions predominantly via axion bremsstrahlung ($NN \to NNa$), pion conversion ($\pi^- p^+ \to N a$) and photo-production ($\gamma N \to N a$). In this paper, we study in detail the photo-production channel, from the unavoidable anomaly induced Wess-Zumino-Witten term $\propto \epsilon^{\mu \nu \alpha \beta}\, F_{\mu \nu}\, \partial_\alpha a \, \omega_\beta$ in conjunction with the low energy pion photo-production data. We found that for heavier axions, i.e., $m_a\sim\mathcal{O}(100)$ MeV, photo-production processes can be dominant compared to the usual axion emission processes. In addition, the spectrum of axions emitted in the process is significantly harder than those originating from bremsstrahlung.


title: Sim2Real Manipulation on Unknown Objects with Tactile-based Reinforcement Learning

abstract: Using tactile sensors for manipulation remains one of the most challenging problems in robotics. At the heart of these challenges is generalization: How can we train a tactile-based policy that can manipulate unseen and diverse objects? In this paper, we propose to perform Reinforcement Learning with only visual tactile sensing inputs on diverse objects in a physical simulator. By training with diverse objects in simulation, it enables the policy to generalize to unseen objects. However, leveraging simulation introduces the Sim2Real transfer problem. To mitigate this problem, we study different tactile representations and evaluate how each affects real-robot manipulation results after transfer. We conduct our experiments on diverse real-world objects and show significant improvements over baselines for the pivoting task. Our project page is available at https://tactilerl.github.io/.


title: EasyJailbreak: A Unified Framework for Jailbreaking Large Language Models

abstract: Jailbreak attacks are crucial for identifying and mitigating the security vulnerabilities of Large Language Models (LLMs). They are designed to bypass safeguards and elicit prohibited outputs. However, due to significant differences among various jailbreak methods, there is no standard implementation framework available for the community, which limits comprehensive security evaluations. This paper introduces EasyJailbreak, a unified framework simplifying the construction and evaluation of jailbreak attacks against LLMs. It builds jailbreak attacks using four components: Selector, Mutator, Constraint, and Evaluator. This modular framework enables researchers to easily construct attacks from combinations of novel and existing components. So far, EasyJailbreak supports 11 distinct jailbreak methods and facilitates the security validation of a broad spectrum of LLMs. Our validation across 10 distinct LLMs reveals a significant vulnerability, with an average breach probability of 60% under various jailbreaking attacks. Notably, even advanced models like GPT-3.5-Turbo and GPT-4 exhibit average Attack Success Rates (ASR) of 57% and 33%, respectively. We have released a wealth of resources for researchers, including a web platform, PyPI published package, screencast video, and experimental outputs.


abstract: Skeleton-based video anomaly detection (SVAD) is a crucial task in computer vision. Accurately identifying abnormal patterns or events enables operators to promptly detect suspicious activities, thereby enhancing safety. Achieving this demands a comprehensive understanding of human motions, both at body and region levels, while also accounting for the wide variations of performing a single action. However, existing studies fail to simultaneously address these crucial properties. This paper introduces a novel, practical and lightweight framework, namely Graph-Jigsaw Conditioned Diffusion Model for Skeleton-based Video Anomaly Detection (GiCiSAD) to overcome the challenges associated with SVAD. GiCiSAD consists of three novel modules: the Graph Attention-based Forecasting module to capture the spatio-temporal dependencies inherent in the data, the Graph-level Jigsaw Puzzle Maker module to distinguish subtle region-level discrepancies between normal and abnormal motions, and the Graph-based Conditional Diffusion model to generate a wide spectrum of human motions. Extensive experiments on four widely used skeleton-based video datasets show that GiCiSAD outperforms existing methods with significantly fewer training parameters, establishing it as the new state-of-the-art.


title: TnT-LLM: Text Mining at Scale with Large Language Models

abstract: Transforming unstructured text into structured and meaningful forms, organized by useful category labels, is a fundamental step in text mining for downstream analysis and application. However, most existing methods for producing label taxonomies and building text-based label classifiers still rely heavily on domain expertise and manual curation, making the process expensive and time-consuming. This is particularly challenging when the label space is under-specified and large-scale data annotations are unavailable. In this paper, we address these challenges with Large Language Models (LLMs), whose prompt-based interface facilitates the induction and use of large-scale pseudo labels. We propose TnT-LLM, a two-phase framework that employs LLMs to automate the process of end-to-end label generation and assignment with minimal human effort for any given use-case. In the first phase, we introduce a zero-shot, multi-stage reasoning approach which enables LLMs to produce and refine a label taxonomy iteratively. In the second phase, LLMs are used as data labelers that yield training samples so that lightweight supervised classifiers can be reliably built, deployed, and served at scale. We apply TnT-LLM to the analysis of user intent and conversational domain for Bing Copilot (formerly Bing Chat), an open-domain chat-based search engine. Extensive experiments using both human and automatic evaluation metrics demonstrate that TnT-LLM generates more accurate and relevant label taxonomies when compared against state-of-the-art baselines, and achieves a favorable balance between accuracy and efficiency for classification at scale. We also share our practical experiences and insights on the challenges and opportunities of using LLMs for large-scale text mining in real-world applications.


title: Exploring Conformational Landscapes Along Anharmonic Low-Frequency Vibrations

abstract: We aim to automatize the identification of collective variables to simplify and speed up enhanced sampling simulations of conformational dynamics in biomolecules. We focus on anharmonic low-frequency vibrations that exhibit fluctuations on timescales faster than conformational transitions but describe a path of least resistance towards structural change. A key challenge is that harmonic approximations are ill-suited to characterize these vibrations, which are observed at far-infrared frequencies and are easily excited by thermal collisions at room temperature. Here, we approached this problem with a frequency-selective anharmonic (FRESEAN) mode analysis that does not rely on harmonic approximations and successfully isolates anharmonic low-frequency vibrations from short molecular dynamics simulation trajectories. We applied FRESEAN mode analysis to simulations of alanine dipeptide, a common test system for enhanced sampling simulation protocols, and compare the performance of isolated low-frequency vibrations to conventional user-defined collective variables (here backbone dihedral angles) in enhanced sampling simulations. The comparison shows that enhanced sampling along anharmonic low-frequency vibrations not only reproduces known conformational dynamics but can even further improve sampling of slow transitions compared to user-defined collective variables. Notably, free energy surfaces spanned by low-frequency anharmonic vibrational modes exhibit lower barriers associated with conformational transitions relative to representations in backbone dihedral space. We thus conclude that anharmonic low-frequency vibrations provide a promising path for highly effective and fully automated enhanced sampling simulations of conformational dynamics in biomolecules.


title: Size-dependent ferroelectric-to-paraelectric sliding transformations and antipolar-to-ferroelectric topological phase transitions in binary homobilayers

abstract: The recent discovery of ferroelectric behavior in few-layer materials, accompanied by the observation of antipolar domains in hexagonal boron nitride and transition metal dichalcogenide moir\'e bilayers, is paving the way for revolutionary advancements in the generation and manipulation of intrinsic electric dipoles through stacking. In addition, these cutting-edge quantum materials are reshaping our comprehension of phase transitions. Within the present study, we unveil a hitherto unreported size-dependent sliding behavior that marks a significant departure from conventional ferroelectrics. We also shed light on thermally induced spontaneous hyperlubric sliding within moir\'e bilayers, which can be used as a signal to distinguish topological phase transitions from an antipolar onto a ferroelectric bilayer. Our findings also suggest that the (topological) pinning of AA nodes in antipolar moir\'e homobilayers prevents the occurrence of an antipolar-to-paraelectric transformation.


title: Safety Implications of Explainable Artificial Intelligence in End-to-End Autonomous Driving

abstract: The end-to-end learning pipeline is gradually creating a paradigm shift in the ongoing development of highly autonomous vehicles, largely due to advances in deep learning, the availability of large-scale training datasets, and improvements in integrated sensor devices. However, a lack of interpretability in real-time decisions with contemporary learning methods impedes user trust and attenuates the widespread deployment and commercialization of such vehicles. Moreover, the issue is exacerbated when these cars are involved in or cause traffic accidents. Such drawback raises serious safety concerns from societal and legal perspectives. Consequently, explainability in end-to-end autonomous driving is essential to build trust in vehicular automation. However, the safety and explainability aspects of end-to-end driving have generally been investigated disjointly by researchers in today's state of the art. This survey aims to bridge the gaps between these topics and seeks to answer the following research question: When and how can explanations improve safety of end-to-end autonomous driving? In this regard, we first revisit established safety and state-of-the-art explainability techniques in end-to-end driving. Furthermore, we present three critical case studies and show the pivotal role of explanations in enhancing self-driving safety. Finally, we describe insights from empirical studies and reveal potential value, limitations, and caveats of practical explainable AI methods with respect to their safety assurance in end-to-end autonomous driving.


title: Vacuum Rabi splitting as a manifestation of virtual two-mode squeezing: Extracting the squeezing parameters from frequency shifts

abstract: Vacuum Rabi splitting relies on symmetrical splitting of the common resonance frequency of atoms and the cavity in which the atoms reside. In this work, we argue that vacuum Rabi splitting is a manifestation of virtual light-matter two-mode squeezing. We establish a connection between squeezing parameters of virtual excitations and frequency shifts of the physical modes. To this end, we use the mapping between the Dicke model and two interacting harmonic oscillators, which we analyze in the framework of bare and physical modes. Finally, we suggest that such virtual squeezing of quantum fields might also play a role in quantum field theories.


title: Recovery of HADES drift chambers suffering from Malter-like effects

abstract: The central tracking system of the HADES detector, installed at the SIS-18 synchrotron at GSI/Darmstadt (Germany), employs large-area, low-mass drift chambers, featuring Aluminum potential wires and small cell sizes. The chambers in front of the magnetic field, closest to the interaction point, have developed significant self-sustained currents and discharges during operation, most probably triggered by isobutane-based gas mixtures. Only both, (i) replacing isobutane by CO2 and (ii) adding 1000 to 3500 ppmv of water into the Ar/CO2 counting gas mixture, individually optimized for a given chamber, allowed to recover the chambers, enabling stable operation in several production runs since then, e.g. with high-intensity heavy-ion induced reactions. The origin of the instability was found to be deposits on the cathode wires, provoking the Malter-like effects, by visual inspection and energy-dispersive X-ray spectroscopy. The charge on the wires accumulated during their lifetime does not point to so-called classical aging, but presumably the interaction of isobutane with materials in the gas flow, residual impurities, and reaction products formed in plasma, e.g., built by discharges.


title: AMReX and pyAMReX: Looking Beyond ECP

abstract: AMReX is a software framework for the development of block-structured mesh applications with adaptive mesh refinement (AMR). AMReX was initially developed and supported by the AMReX Co-Design Center as part of the U.S. DOE Exascale Computing Project, and is continuing to grow post-ECP. In addition to adding new functionality and performance improvements to the core AMReX framework, we have also developed a Python binding, pyAMReX, that provides a bridge between AMReX-based application codes and the data science ecosystem. pyAMReX provides zero-copy application GPU data access for AI/ML, in situ analysis and application coupling, and enables rapid, massively parallel prototyping. In this paper we review the overall functionality of AMReX and pyAMReX, focusing on new developments, new functionality, and optimizations of key operations. We also summarize capabilities of ECP projects that used AMReX and provide an overview of new, non-ECP applications.


title: Advanced Statistical Arbitrage with Reinforcement Learning

abstract: Statistical arbitrage is a prevalent trading strategy which takes advantage of mean reverse property of spread of paired stocks. Studies on this strategy often rely heavily on model assumption. In this study, we introduce an innovative model-free and reinforcement learning based framework for statistical arbitrage. For the construction of mean reversion spreads, we establish an empirical reversion time metric and optimize asset coefficients by minimizing this empirical mean reversion time. In the trading phase, we employ a reinforcement learning framework to identify the optimal mean reversion strategy. Diverging from traditional mean reversion strategies that primarily focus on price deviations from a long-term mean, our methodology creatively constructs the state space to encapsulate the recent trends in price movements. Additionally, the reward function is carefully tailored to reflect the unique characteristics of mean reversion trading.


title: MAC Advice for Facility Location Mechanism Design

abstract: Algorithms with predictions have attracted much attention in the last years across various domains, including variants of facility location, as a way to surpass traditional worst-case analyses. We study the $k$-facility location mechanism design problem, where the $n$ agents are strategic and might misreport their location. Unlike previous models, where predictions are for the $k$ optimal facility locations, we receive $n$ predictions for the locations of each of the agents. However, these predictions are only "mostly" and "approximately" correct (or MAC for short) -- i.e., some $\delta$-fraction of the predicted locations are allowed to be arbitrarily incorrect, and the remainder of the predictions are allowed to be correct up to an $\varepsilon$-error. We make no assumption on the independence of the errors. Can such predictions allow us to beat the current best bounds for strategyproof facility location? We show that the $1$-median (geometric median) of a set of points is naturally robust under corruptions, which leads to an algorithm for single-facility location with MAC predictions. We extend the robustness result to a "balanced" variant of the $k$ facilities case. Without balancedness, we show that robustness completely breaks down, even for the setting of $k=2$ facilities on a line. For this "unbalanced" setting, we devise a truthful random mechanism that outperforms the best known result of Lu et al. [2010], which does not use predictions. En route, we introduce the problem of "second" facility location (when the first facility's location is already fixed). Our findings on the robustness of the $1$-median and more generally $k$-medians may be of independent interest, as quantitative versions of classic breakdown-point results in robust statistics.


title: Latent CLAP Loss for Better Foley Sound Synthesis

abstract: Foley sound generation, the art of creating audio for multimedia, has recently seen notable advancements through text-conditioned latent diffusion models. These systems use multimodal text-audio representation models, such as Contrastive Language-Audio Pretraining (CLAP), whose objective is to map corresponding audio and text prompts into a joint embedding space. AudioLDM, a text-to-audio model, was the winner of the DCASE2023 task 7 Foley sound synthesis challenge. The winning system fine-tuned the model for specific audio classes and applied a post-filtering method using CLAP similarity scores between output audio and input text at inference time, requiring the generation of extra samples, thus reducing data generation efficiency. We introduce a new loss term to enhance Foley sound generation in AudioLDM without post-filtering. This loss term uses a new module based on the CLAP mode-Latent CLAP encode-to align the latent diffusion output with real audio in a shared CLAP embedding space. Our experiments demonstrate that our method effectively reduces the Frechet Audio Distance (FAD) score of the generated audio and eliminates the need for post-filtering, thus enhancing generation efficiency.


title: Fragile Stable Matchings

abstract: We show how fragile stable matchings are in a decentralized one-to-one matching setting. The classical work of Roth and Vande Vate (1990) suggests simple decentralized dynamics in which randomly-chosen blocking pairs match successively. Such decentralized interactions guarantee convergence to a stable matching. Our first theorem shows that, under mild conditions, any unstable matching -- including a small perturbation of a stable matching -- can culminate in any stable matching through these dynamics. Our second theorem highlights another aspect of fragility: stabilization may take a long time. Even in markets with a unique stable matching, where the dynamics always converge to the same matching, decentralized interactions can require an exponentially long duration to converge. A small perturbation of a stable matching may lead the market away from stability and involve a sizable proportion of mismatched participants for extended periods. Our results hold for a broad class of dynamics.


title: Atomic binding corrections for high energy fixed target experiments

abstract: High energy beams incident on a fixed target may scatter against atomic electrons. To a first approximation, one can treat these electrons as at rest. For precision experiments, however, it is important to be able to estimate the size of, and when necessary calculate, sub-leading corrections. We discuss atomic binding corrections to relativistic lepton-electron scattering. We analyze hydrogen in detail, before generalizing our analysis to multi-electron atoms. Using the virial theorem, and many-body sum rules, we find that the corrections can be reduced to measured binding energies, and the expectation value of a single one-body operator. We comment on the phenomenological impact for neutrino flux normalization and an extraction of hadronic vacuum polarization from elastic muon electron scattering at MUonE.


title: Halperin States of Particles and Holes in Ideal Time Reversal Invariant Pairs of Chern Bands and The Fractional Quantum Spin Hall Effect in Moir\'e MoTe$_2$

abstract: An experiment in moir\'e MoTe$_2$ bilayers reported the first observation of a topologically ordered state with zero Hall conductivity and half of the edge conductance of a standard time-reversal invariant quantum spin Hall insulator. This state is believed to emerge at total filling one of a pair of bands with Chern numbers $C=\pm1$ related by time reversal symmetry. By viewing these bands as a pair of Landau levels with opposite magnetic fields, and starting from a parent magnet with one filled band, we demonstrate that a class of Halperin states constructed by adding particles to the empty Chern band and holes to the occupied Chern band have all the properties observed in MoTe$_2$. Remarkably, these states break time-reversal symmetry but have exactly zero Hall conductivity and helical edge conductance of $e^2/2h$. These states also feature a spinless composite fermion with the same charge as the electron but split equally between both valleys. In a standard Halperin 331 state, this particle would be a neutral Bogoliubov composite fermion. However, in our context this composite fermion is charged but remains itinerant because it is split into the two valleys that effectively experience opposite magnetic fields. The existence of such charged itinerant particles is a key difference between Landau levels with opposite magnetic fields and standard multi-components Landau levels, where all the itinerant particles are charge neutral, such as the magneto-roton of the Laughlin state or the Bogoliubov composite fermion of the Moore-Read state. When the electron density changes away from the ideal filling and these itinerant charged particles are added to the parent state, the disorder potential is less efficient at localizing them as compared to standard Lanadau levels. This can explain why the state in MoTe$_2$ did not display a robust Hall plateau upon changing the electron density.


title: Grothendieck polynomials of inverse fireworks permutations

abstract: Pipedreams are combinatorial objects that compute Grothendieck polynomials. We introduce a new combinatorial object that naturally recast the pipedream formula. From this, we obtain the first direct combinatorial formula for the top degree components of Grothendieck polynomials, also known as the Castelnuovo-Mumford polynomials. We also prove the inverse fireworks case of a conjecture of M\'esz\'aros, Setiabrata, and St. Dizier on the support of Grothendieck polynomials.


title: Approximation of RKHS Functionals by Neural Networks

abstract: Motivated by the abundance of functional data such as time series and images, there has been a growing interest in integrating such data into neural networks and learning maps from function spaces to R (i.e., functionals). In this paper, we study the approximation of functionals on reproducing kernel Hilbert spaces (RKHS's) using neural networks. We establish the universality of the approximation of functionals on the RKHS's. Specifically, we derive explicit error bounds for those induced by inverse multiquadric, Gaussian, and Sobolev kernels. Moreover, we apply our findings to functional regression, proving that neural networks can accurately approximate the regression maps in generalized functional linear models. Existing works on functional learning require integration-type basis function expansions with a set of pre-specified basis functions. By leveraging the interpolating orthogonal projections in RKHS's, our proposed network is much simpler in that we use point evaluations to replace basis function expansions.


title: PETScML: Second-order solvers for training regression problems in Scientific Machine Learning

abstract: In recent years, we have witnessed the emergence of scientific machine learning as a data-driven tool for the analysis, by means of deep-learning techniques, of data produced by computational science and engineering applications. At the core of these methods is the supervised training algorithm to learn the neural network realization, a highly non-convex optimization problem that is usually solved using stochastic gradient methods. However, distinct from deep-learning practice, scientific machine-learning training problems feature a much larger volume of smooth data and better characterizations of the empirical risk functions, which make them suited for conventional solvers for unconstrained optimization. We introduce a lightweight software framework built on top of the Portable and Extensible Toolkit for Scientific computation to bridge the gap between deep-learning software and conventional solvers for unconstrained minimization. We empirically demonstrate the superior efficacy of a trust region method based on the Gauss-Newton approximation of the Hessian in improving the generalization errors arising from regression tasks when learning surrogate models for a wide range of scientific machine-learning techniques and test cases. All the conventional second-order solvers tested, including L-BFGS and inexact Newton with line-search, compare favorably, either in terms of cost or accuracy, with the adaptive first-order methods used to validate the surrogate models.


title: Fast flavor conversions at the edge of instability

abstract: A dense neutrino gas exhibiting angular crossings in the electron lepton number is unstable and develops fast flavor conversions. Instead of assuming an unstable configuration from the onset, we imagine that the system is externally driven toward instability. We use the simplest model of two neutrino beams initially of different flavor that either suddenly appear or one or both slowly build up. Flavor conversions commence well before the putative unstable state is fully attained, and the final outcome depends on how the system is driven. Our results suggest that in an astrophysical setting, one should focus less on flavor instabilities in the neutrino radiation field and more on the external dynamics that leads to the formation of the unstable state.


title: Coriolis effects on wind turbine wakes across atmospheric boundary layer regimes

abstract: Wind turbines operate in the atmospheric boundary layer (ABL), where Coriolis effects are present. As wind turbines with larger rotor diameters are deployed, the wake structures that they create in the ABL also increase in length. Contemporary utility-scale wind turbines operate at rotor diameter-based Rossby numbers, the nondimensional ratio between inertial and Coriolis forces, of O(100) where Coriolis effects become increasingly relevant. Coriolis forces provide a direct forcing on the wake, but also affect the ABL base flow, which indirectly influences wake evolution. These effects may constructively or destructively interfere because both the magnitude and sign of the direct and indirect Coriolis effects depend on the Rossby number, turbulence, and buoyancy effects in the ABL. Using large eddy simulations, we investigate wake evolution over a wide range of Rossby numbers relevant to offshore wind turbines. Through an analysis of the streamwise and lateral momentum budgets, we show that Coriolis effects have a small impact on the wake recovery rate, but Coriolis effects induce significant wake deflections which can be parsed into two regimes. For high Rossby numbers (weak Coriolis forcing), wakes deflect clockwise in the northern hemisphere. By contrast, for low Rossby numbers (strong Coriolis forcing), wakes deflect anti-clockwise. Decreasing the Rossby number results in increasingly anti-clockwise wake deflections. The transition point between clockwise and anti-clockwise deflection depends on the direct Coriolis forcing, pressure gradients, and turbulent fluxes in the wake. At a Rossby number of 125, Coriolis deflections are comparable to wake deflections induced by 17{\deg} of yaw-misalignment.


title: LASY: LAser manipulations made eaSY

abstract: Using realistic laser profiles for simulations of laser-plasma interaction is critical to reproduce experimental measurements, but the interface between experiments and simulations can be challenging. Similarly, start-to-end simulations with different codes may require error-prone manipulations to convert between different representations of a laser pulse. In this work, we propose LASY, an open-source Python library to simplify these workflows. Developed through an international collaboration between experimental, theoretical and computational physicists, LASY can be used to initialize a laser profile from an experimental measurement, from a simulation, or from analytics, manipulate it, and write it into a file in compliance with the openPMD standard. This profile can then be used as an input of a simulation code.


title: QCD effects in electroweak $WZjj$ production at current and future hadron colliders

abstract: We present an update of an existing implementation of $WZjj$ production via vector-boson scattering in the framework of the POWHEG BOX program. In particular, previously unavailable semi-leptonic and fully hadronic decay modes of the intermediate vector bosons are provided, and operators of dimension six in an effective-field theory approach to account for physics beyond the Standard Model in the electroweak sector are included. For selected applications phenomenological results are provided to illustrate the capabilities of the new program. The impact of the considered dimension-six operators on experimentally accessible distributions is found to be small for current LHC energies, but enhanced in the kinematic reach of a potential future hadron collider with an energy of 100 TeV. The relevance of fully accounting for spin correlations and off-shell effects in the decay system is explored by a comparison with results obtained with the MadSpin tool that are based on an approximate treatment of the leptonic final state resulting from vector boson scattering processes. For selected semi-leptonic and hadronic decay modes we demonstrate the sensitivity of realistic signal selection procedures on QCD corrections and parton-shower effects.


title: Continual Domain Randomization

abstract: Domain Randomization (DR) is commonly used for sim2real transfer of reinforcement learning (RL) policies in robotics. Most DR approaches require a simulator with a fixed set of tunable parameters from the start of the training, from which the parameters are randomized simultaneously to train a robust model for use in the real world. However, the combined randomization of many parameters increases the task difficulty and might result in sub-optimal policies. To address this problem and to provide a more flexible training process, we propose Continual Domain Randomization (CDR) for RL that combines domain randomization with continual learning to enable sequential training in simulation on a subset of randomization parameters at a time. Starting from a model trained in a non-randomized simulation where the task is easier to solve, the model is trained on a sequence of randomizations, and continual learning is employed to remember the effects of previous randomizations. Our robotic reaching and grasping tasks experiments show that the model trained in this fashion learns effectively in simulation and performs robustly on the real robot while matching or outperforming baselines that employ combined randomization or sequential randomization without continual learning. Our code and videos are available at https://continual-dr.github.io/.


title: The POLAR Traverse Dataset: A Dataset of Stereo Camera Images Simulating Traverses across Lunar Polar Terrain under Extreme Lighting Conditions

abstract: We present the POLAR Traverse Dataset: a dataset of high-fidelity stereo pair images of lunar-like terrain under polar lighting conditions designed to simulate a straight-line traverse. Images from individual traverses with different camera heights and pitches were recorded at 1 m intervals by moving a suspended stereo bar across a test bed filled with regolith simulant and shaped to mimic lunar south polar terrain. Ground truth geometry and camera position information was also recorded. This dataset is intended for developing and testing software algorithms that rely on stereo or monocular camera images, such as visual odometry, for use in the lunar polar environment, as well as to provide insight into the expected lighting conditions in lunar polar regions.


title: PackIt! Gamified Rectangle Packing

abstract: We present and analyze PackIt!, a turn-based game consisting of packing rectangles on an $n \times n$ grid. PackIt! can be easily played on paper, either as a competitive two-player game or in \emph{solitaire} fashion. On the $t$-th turn, a rectangle of area $t$ or $t+1$ must be placed in the grid. In the two-player format of PackIt! whichever player places a rectangle last wins, whereas the goal in the solitaire variant is to perfectly pack the $n \times n$ grid. We analyze conditions for the existence of a perfect packing over $n \times n$, then present an automated reasoning approach that allows finding perfect games of PackIt! up to $n = 50$ which includes a novel SAT-encoding technique of independent interest, and conclude by proving an NP-hardness result.


title: Shifting the Lens: Detecting Malware in npm Ecosystem with Large Language Models

abstract: The Gartner 2022 report predicts that 45% of organizations worldwide will encounter software supply chain attacks by 2025, highlighting the urgency to improve software supply chain security for community and national interests. Current malware detection techniques aid in the manual review process by filtering benign and malware packages, yet such techniques have high false-positive rates and limited automation support. Therefore, malware detection techniques could benefit from advanced, more automated approaches for accurate and minimally false-positive results. The goal of this study is to assist security analysts in identifying malicious packages through the empirical study of large language models (LLMs) to detect potential malware in the npm ecosystem. We present SocketAI Scanner, a multi-stage decision-maker malware detection workflow using iterative self-refinement and zero-shot-role-play-Chain of Thought (CoT) prompting techniques for ChatGPT. We studied 5,115 npm packages (of which 2,180 are malicious) and performed a baseline comparison of the GPT-3 and GPT-4 models with a static analysis tool. Our findings showed promising results for GPT models with low misclassification alert rates. Our baseline comparison demonstrates a notable improvement over static analysis in precision scores above 25% and F1 scores above 15%. We attained precision and F1 scores of 91% and 94%, respectively, for the GPT-3 model. Overall, GPT-4 demonstrates superior performance in precision (99%) and F1 (97%) scores, while GPT-3 presents a cost-effective balance between performance and expenditure.


title: E2F-Net: Eyes-to-Face Inpainting via StyleGAN Latent Space

abstract: Face inpainting, the technique of restoring missing or damaged regions in facial images, is pivotal for applications like face recognition in occluded scenarios and image analysis with poor-quality captures. This process not only needs to produce realistic visuals but also preserve individual identity characteristics. The aim of this paper is to inpaint a face given periocular region (eyes-to-face) through a proposed new Generative Adversarial Network (GAN)-based model called Eyes-to-Face Network (E2F-Net). The proposed approach extracts identity and non-identity features from the periocular region using two dedicated encoders have been used. The extracted features are then mapped to the latent space of a pre-trained StyleGAN generator to benefit from its state-of-the-art performance and its rich, diverse and expressive latent space without any additional training. We further improve the StyleGAN output to find the optimal code in the latent space using a new optimization for GAN inversion technique. Our E2F-Net requires a minimum training process reducing the computational complexity as a secondary benefit. Through extensive experiments, we show that our method successfully reconstructs the whole face with high quality, surpassing current techniques, despite significantly less training and supervision efforts. We have generated seven eyes-to-face datasets based on well-known public face datasets for training and verifying our proposed methods. The code and datasets are publicly available.


title: FLex: Joint Pose and Dynamic Radiance Fields Optimization for Stereo Endoscopic Videos

abstract: Reconstruction of endoscopic scenes is an important asset for various medical applications, from post-surgery analysis to educational training. Neural rendering has recently shown promising results in endoscopic reconstruction with deforming tissue. However, the setup has been restricted to a static endoscope, limited deformation, or required an external tracking device to retrieve camera pose information of the endoscopic camera. With FLex we adress the challenging setup of a moving endoscope within a highly dynamic environment of deforming tissue. We propose an implicit scene separation into multiple overlapping 4D neural radiance fields (NeRFs) and a progressive optimization scheme jointly optimizing for reconstruction and camera poses from scratch. This improves the ease-of-use and allows to scale reconstruction capabilities in time to process surgical videos of 5,000 frames and more; an improvement of more than ten times compared to the state of the art while being agnostic to external tracking information. Extensive evaluations on the StereoMIS dataset show that FLex significantly improves the quality of novel view synthesis while maintaining competitive pose accuracy.


title: Empirical Analysis on CI/CD Pipeline Evolution in Machine Learning Projects

abstract: The growing popularity of machine learning (ML) and the integration of ML components with other software artifacts has led to the use of continuous integration and delivery (CI/CD) tools, such as Travis CI, GitHub Actions, etc. that enable faster integration and testing for ML projects. Such CI/CD configurations and services require synchronization during the life cycle of the projects. Several works discussed how CI/CD configuration and services change during their usage in traditional software systems. However, there is very limited knowledge of how CI/CD configuration and services change in ML projects. To fill this knowledge gap, this work presents the first empirical analysis of how CI/CD configuration evolves for ML software systems. We manually analyzed 343 commits collected from 508 open-source ML projects to identify common CI/CD configuration change categories in ML projects and devised a taxonomy of 14 co-changes in CI/CD and ML components. Moreover, we developed a CI/CD configuration change clustering tool that identified frequent CI/CD configuration change patterns in 15,634 commits. Furthermore, we measured the expertise of ML developers who modify CI/CD configurations. Based on this analysis, we found that 61.8% of commits include a change to the build policy and minimal changes related to performance and maintainability compared to general open-source projects. Additionally, the co-evolution analysis identified that CI/CD configurations, in many cases, changed unnecessarily due to bad practices such as the direct inclusion of dependencies and a lack of usage of standardized testing frameworks. More practices were found through the change patterns analysis consisting of using deprecated settings and reliance on a generic build language. Finally, our developer's expertise analysis suggests that experienced developers are more inclined to modify CI/CD configurations.


title: In search of Newton-type inequalities

abstract: In this paper, we prove a number of results providing either necessary or sufficient conditions guaranteeing that the number of real roots of real polynomials of a given degree is either less or greater than a given number. We also provide counterexamples to two earlier conjectures refining Descartes rule of signs.


title: Compositional learning of functions in humans and machines

abstract: The ability to learn and compose functions is foundational to efficient learning and reasoning in humans, enabling flexible generalizations such as creating new dishes from known cooking processes. Beyond sequential chaining of functions, existing linguistics literature indicates that humans can grasp more complex compositions with interacting functions, where output production depends on context changes induced by different function orderings. Extending the investigation into the visual domain, we developed a function learning paradigm to explore the capacity of humans and neural network models in learning and reasoning with compositional functions under varied interaction conditions. Following brief training on individual functions, human participants were assessed on composing two learned functions, in ways covering four main interaction types, including instances in which the application of the first function creates or removes the context for applying the second function. Our findings indicate that humans can make zero-shot generalizations on novel visual function compositions across interaction conditions, demonstrating sensitivity to contextual changes. A comparison with a neural network model on the same task reveals that, through the meta-learning for compositionality (MLC) approach, a standard sequence-to-sequence Transformer can mimic human generalization patterns in composing functions.


title: DeCoTR: Enhancing Depth Completion with 2D and 3D Attentions

abstract: In this paper, we introduce a novel approach that harnesses both 2D and 3D attentions to enable highly accurate depth completion without requiring iterative spatial propagations. Specifically, we first enhance a baseline convolutional depth completion model by applying attention to 2D features in the bottleneck and skip connections. This effectively improves the performance of this simple network and sets it on par with the latest, complex transformer-based models. Leveraging the initial depths and features from this network, we uplift the 2D features to form a 3D point cloud and construct a 3D point transformer to process it, allowing the model to explicitly learn and exploit 3D geometric features. In addition, we propose normalization techniques to process the point cloud, which improves learning and leads to better accuracy than directly using point transformers off the shelf. Furthermore, we incorporate global attention on downsampled point cloud features, which enables long-range context while still being computationally feasible. We evaluate our method, DeCoTR, on established depth completion benchmarks, including NYU Depth V2 and KITTI, showcasing that it sets new state-of-the-art performance. We further conduct zero-shot evaluations on ScanNet and DDAD benchmarks and demonstrate that DeCoTR has superior generalizability compared to existing approaches.


title: Bootstrapping Reinforcement Learning with Imitation for Vision-Based Agile Flight

abstract: We combine the effectiveness of Reinforcement Learning (RL) and the efficiency of Imitation Learning (IL) in the context of vision-based, autonomous drone racing. We focus on directly processing visual input without explicit state estimation. While RL offers a general framework for learning complex controllers through trial and error, it faces challenges regarding sample efficiency and computational demands due to the high dimensionality of visual inputs. Conversely, IL demonstrates efficiency in learning from visual demonstrations but is limited by the quality of those demonstrations and faces issues like covariate shift. To overcome these limitations, we propose a novel training framework combining RL and IL's advantages. Our framework involves three stages: initial training of a teacher policy using privileged state information, distilling this policy into a student policy using IL, and performance-constrained adaptive RL fine-tuning. Our experiments in both simulated and real-world environments demonstrate that our approach achieves superior performance and robustness than IL or RL alone in navigating a quadrotor through a racing course using only visual information without explicit state estimation.


title: Information Compression in Dynamic Information Disclosure Games

abstract: We consider a two-player dynamic information design problem between a principal and a receiver -- a game is played between the two agents on top of a Markovian system controlled by the receiver's actions, where the principal obtains and strategically shares some information about the underlying system with the receiver in order to influence their actions. In our setting, both players have long-term objectives, and the principal sequentially commits to their strategies instead of committing at the beginning. Further, the principal cannot directly observe the system state, but at every turn they can choose randomized experiments to observe the system partially. The principal can share details about the experiments to the receiver. For our analysis we impose the truthful disclosure rule: the principal is required to truthfully announce the details and the result of each experiment to the receiver immediately after the experiment result is revealed. Based on the received information, the receiver takes an action when its their turn, with the action influencing the state of the underlying system. We show that there exist Perfect Bayesian equilibria in this game where both agents play Canonical Belief Based (CBB) strategies using a compressed version of their information, rather than full information, to choose experiments (for the principal) or actions (for the receiver). We also provide a backward inductive procedure to solve for an equilibrium in CBB strategies.


title: BACQ -- Application-oriented Benchmarks for Quantum Computing

abstract: With the support of the national program on measurements, standards, and evaluation of quantum technologies MetriQs-France, a part of the French national quantum strategy, the BACQ project is dedicated to application-oriented benchmarks for quantum computing. The consortium gathering THALES, EVIDEN, an Atos business, CEA, CNRS, TERATEC, and LNE aims at establishing performance evaluation criteria of reference, meaningful for industry users.


title: Useful Compact Representations for Data-Fitting

abstract: For minimization problems without 2nd derivative information, methods that estimate Hessian matrices can be very effective. However, conventional techniques generate dense matrices that are prohibitive for large problems. Limited-memory compact representations express the dense arrays in terms of a low rank representation and have become the state-of-the-art for software implementations on large deterministic problems. We develop new compact representations that are parameterized by a choice of vectors and that reduce to existing well known formulas for special choices. We demonstrate effectiveness of the compact representations for large eigenvalue computations, tensor factorizations and nonlinear regressions.


title: Synthetic Image Generation in Cyber Influence Operations: An Emergent Threat?

abstract: The evolution of artificial intelligence (AI) has catalyzed a transformation in digital content generation, with profound implications for cyber influence operations. This report delves into the potential and limitations of generative deep learning models, such as diffusion models, in fabricating convincing synthetic images. We critically assess the accessibility, practicality, and output quality of these tools and their implications in threat scenarios of deception, influence, and subversion. Notably, the report generates content for several hypothetical cyber influence operations to demonstrate the current capabilities and limitations of these AI-driven methods for threat actors. While generative models excel at producing illustrations and non-realistic imagery, creating convincing photo-realistic content remains a significant challenge, limited by computational resources and the necessity for human-guided refinement. Our exploration underscores the delicate balance between technological advancement and its potential for misuse, prompting recommendations for ongoing research, defense mechanisms, multi-disciplinary collaboration, and policy development. These recommendations aim to leverage AI's potential for positive impact while safeguarding against its risks to the integrity of information, especially in the context of cyber influence.


title: Broadband X-ray/UV/optical time-resolved spectroscopy of NGC 5548: The origin of the UV/optical variability in active galactic nuclei

abstract: Recently, nearby active galactic nuclei (AGN) have been subject to long X-rays/UV/optical monitoring campaigns. These campaigns reveal a strong correlation between the various UV and optical bands, with time lags increasing with wavelength. In a series of papers, we demonstrated that a scenario in which a central X-ray source illuminates the accretion disc explains the observed correlations. However, some of the monitored AGN show low/moderate X-rays-UV correlations, which could challenge this scenario. In this paper, we study the broadband X-ray/UV/optical spectral energy distributions (SEDs) of NGC 5548, one of the most intensively monitored AGN. We aim to test if the X-ray illumination model explains the broadband spectral behaviour of the source, despite the moderate X-ray-UV/optical correlation. We model the broadband time-averaged SED, from the STORM monitoring campaign of the source, using the KYNSED model which assumes an X-ray illuminated disc. We assume that the accretion process powers the X-ray corona. We also model 15 time-resolved SEDs from the same campaign to check whether this scenario can account for the observed spectral variability. The proposed model describes well the time-averaged and the time-resolved SEDs of NGC 5548. In this scenario, the corona height, the X-ray photon index, and the power transferred to the corona all vary. This explains the variability behaviour at different wavelengths. The best-fit model is obtained for a non-rotating black hole accreting at a constant rate of 5% its Eddington limit. Since each of the variable parameters affects the observed flux in a particular way, the combined variability of all parameters explains the moderate X-ray-UV/optical correlation. The X-ray illuminated disc model provides a complete description of the behaviour of NGC 5548, explaining its broadband SEDs, time-lag spectrum, and its power spectral distribution.


title: The transition and coexistence of quantum droplets and solitons in quasi-1D dipolar Bose gas

abstract: In our study, we investigated bright solitons, dark solitons, and quantum droplets in quasi-one-dimensional dipolar Bose gases, and further validated the crossover and coexistence of quantum droplets and solitons using the Lieb-Liniger energy within the framework of local density approximation. Increasing the particle number transforms the bright dipolar soliton state into a stable self-bound quantum droplet state, with further increases in leading to a broader quantum droplet that enables the presence of dark solitons within it.


title: Decomposing Control Lyapunov Functions for Efficient Reinforcement Learning

abstract: Recent methods using Reinforcement Learning (RL) have proven to be successful for training intelligent agents in unknown environments. However, RL has not been applied widely in real-world robotics scenarios. This is because current state-of-the-art RL methods require large amounts of data to learn a specific task, leading to unreasonable costs when deploying the agent to collect data in real-world applications. In this paper, we build from existing work that reshapes the reward function in RL by introducing a Control Lyapunov Function (CLF), which is demonstrated to reduce the sample complexity. Still, this formulation requires knowing a CLF of the system, but due to the lack of a general method, it is often a challenge to identify a suitable CLF. Existing work can compute low-dimensional CLFs via a Hamilton-Jacobi reachability procedure. However, this class of methods becomes intractable on high-dimensional systems, a problem that we address by using a system decomposition technique to compute what we call Decomposed Control Lyapunov Functions (DCLFs). We use the computed DCLF for reward shaping, which we show improves RL performance. Through multiple examples, we demonstrate the effectiveness of this approach, where our method finds a policy to successfully land a quadcopter in less than half the amount of real-world data required by the state-of-the-art Soft-Actor Critic algorithm.


title: A Unified Model for Longitudinal Multi-Modal Multi-View Prediction with Missingness

abstract: Medical records often consist of different modalities, such as images, text, and tabular information. Integrating all modalities offers a holistic view of a patient's condition, while analyzing them longitudinally provides a better understanding of disease progression. However, real-world longitudinal medical records present challenges: 1) patients may lack some or all of the data for a specific timepoint, and 2) certain modalities or views might be absent for all patients during a particular period. In this work, we introduce a unified model for longitudinal multi-modal multi-view prediction with missingness. Our method allows as many timepoints as desired for input, and aims to leverage all available data, regardless of their availability. We conduct extensive experiments on the knee osteoarthritis dataset from the Osteoarthritis Initiative for pain and Kellgren-Lawrence grade prediction at a future timepoint. We demonstrate the effectiveness of our method by comparing results from our unified model to specific models that use the same modality and view combinations during training and evaluation. We also show the benefit of having extended temporal data and provide post-hoc analysis for a deeper understanding of each modality/view's importance for different tasks.


title: Evaluating Named Entity Recognition: Comparative Analysis of Mono- and Multilingual Transformer Models on Brazilian Corporate Earnings Call Transcriptions

abstract: Named Entity Recognition (NER) is a Natural Language Processing technique for extracting information from textual documents. However, much of the existing research on NER has been centered around English-language documents, leaving a gap in the availability of datasets tailored to the financial domain in Portuguese. This study addresses the need for NER within the financial domain, focusing on Portuguese-language texts extracted from earnings call transcriptions of Brazilian banks. By curating a comprehensive dataset comprising 384 transcriptions and leveraging weak supervision techniques for annotation, we evaluate the performance of monolingual models trained on Portuguese (BERTimbau and PTT5) and multilingual models (mBERT and mT5). Notably, we introduce a novel approach that reframes the token classification task as a text generation problem, enabling fine-tuning and evaluation of T5 models. Following the fine-tuning of the models, we conduct an evaluation on the test dataset, employing performance and error metrics. Our findings reveal that BERT-based models consistently outperform T5-based models. Furthermore, while the multilingual models exhibit comparable macro F1-scores, BERTimbau demonstrates superior performance over PTT5. A manual analysis of sentences generated by PTT5 and mT5 unveils a degree of similarity ranging from 0.89 to 1.0, between the original and generated sentences. However, critical errors emerge as both models exhibit discrepancies, such as alterations to monetary and percentage values, underscoring the importance of accuracy and consistency in the financial domain. Despite these challenges, PTT5 and mT5 achieve impressive macro F1-scores of 98.52% and 98.85%, respectively, with our proposed approach. Furthermore, our study sheds light on notable disparities in memory and time consumption for inference across the models.


title: Private graphon estimation via sum-of-squares

abstract: We develop the first pure node-differentially-private algorithms for learning stochastic block models and for graphon estimation with polynomial running time for any constant number of blocks. The statistical utility guarantees match those of the previous best information-theoretic (exponential-time) node-private mechanisms for these problems. The algorithm is based on an exponential mechanism for a score function defined in terms of a sum-of-squares relaxation whose level depends on the number of blocks. The key ingredients of our results are (1) a characterization of the distance between the block graphons in terms of a quadratic optimization over the polytope of doubly stochastic matrices, (2) a general sum-of-squares convergence result for polynomial optimization over arbitrary polytopes, and (3) a general approach to perform Lipschitz extensions of score functions as part of the sum-of-squares algorithmic paradigm.


title: Architectural-Scale Artistic Brush Painting with a Hybrid Cable Robot

abstract: Robot art presents an opportunity to both showcase and advance state-of-the-art robotics through the challenging task of creating art. Creating large-scale artworks in particular engages the public in a way that small-scale works cannot, and the distinct qualities of brush strokes contribute to an organic and human-like quality. Combining the large scale of murals with the strokes of the brush medium presents an especially impactful result, but also introduces unique challenges in maintaining precise, dextrous motion control of the brush across such a large workspace. In this work, we present the first robot to our knowledge that can paint architectural-scale murals with a brush. We create a hybrid robot consisting of a cable-driven parallel robot and 4 degree of freedom (DoF) serial manipulator to paint a 27m by 3.7m mural on windows spanning 2-stories of a building. We discuss our approach to achieving both the scale and accuracy required for brush-painting a mural through a combination of novel mechanical design elements, coordinated planning and control, and on-site calibration algorithms with experimental validations.


title: Aggregate Peak EV Charging Demand: The Impact of Segmented Network Tariffs

abstract: Aggregate peak Electric Vehicle (EV) charging demand is a matter of growing concern for network operators as it severely limits the network's capacity, preventing its reliable operation. Various tariff schemes have been proposed to limit peak demand by incentivizing flexible asset users to shift their demand from peak periods. However, fewer studies quantify the effect of these tariff schemes on the aggregate level. In this paper, we compare the effect of a multi-level segmented network tariff with and without dynamic energy prices for individual EV users on the aggregate peak demand. Results based on real charging transactions from over 1200 public charging points in the Netherlands show that the segmented network tariff with flat energy prices results in more diverse load profiles with increasing aggregation, as compared to cost-optimized dispatch based on only dynamic day-ahead energy prices. When paired with dynamic energy prices, the segmented tariff still outperforms only dynamic energy price-based tariffs in reducing peaks. Results show that a balance between power thresholds and price per threshold is crucial in designing a suitable tariff, taking into account the needs of the power network. We also provide valuable insights to network operators by calculating the diversity factor for various peak demands per charging point.


title: Stein fillings vs. Milnor fibers

abstract: Given a link of a normal surface singularity with its canonical contact structure, we compare the collection of its Stein fillings to its Milnor fillings (that is, Milnor fibers of possible smoothings). We prove that, unlike Stein fillings, Milnor fillings of a given link have bounded topology; for links of sandwiched singularities, we further establish that there are only finitely many Milnor fillings. We discuss some other obstructions for a Stein filling to be represented by a Milnor fiber, and for various types of singularities, including simple classes like cusps and triangle singularities, we produce Stein fillings that do not come from Milnor fibers or resolutions. Meanwhile, we discover that there are many contact 3-manifolds that admit infinitely many Stein fillings but do not admit arbitrarily large ones.


title: Functional renormalization group for $p=2$ like glassy matrices in the planar approximation: II. Ward identities method in the deep IR

abstract: This paper, as a continuation of our previous investigation [arXiv:2403.07577] aims to study the glassy random matrices with quenched Wigner disorder. In this previous work, we have constructed a renormalization group based on the effective deterministic kinetic spectrum emerging from large $N$ limit, and we extended approximate solutions using standard vertex expansion, at the leading order of the derivative expansion. Now in the following work, by introducing the non-trivial Ward identities which come from the $(\mathcal{U}(N))^{\times 2}$ symmetry broken of the effective kinetic action, we provide in the deep IR the explicit solution of the functional renormalization group for a model with quartic coupling by solving the Hierarchy to all orders in the local sector, which in particular imply the vanishing of the anomalous dimension. The numerical investigations confirm the first-order phase transition discovered in the vertex expansion framework, both in the active and passive schemes. Finally, we extend the discussion to hermitian matrices.


title: Secure Synchronization of Heterogeneous Pulse-Coupled Oscillators

abstract: In this paper, we consider the synchronization of heterogeneous pulse-coupled oscillators (PCOs), where some of the oscillators might be faulty or malicious. The oscillators interact through identical pulses at discrete instants and evolve continuously with different frequencies otherwise. Despite the presence of misbehaviors, benign oscillators aim to reach synchronization. To achieve this objective, two resilient synchronization protocols are developed in this paper by adapting the real-valued mean-subsequence reduced (MSR) algorithm to pulse-based interactions. The first protocol relies on packet-based communication to transmit absolute frequencies, while the second protocol operates purely with pulses to calculate relative frequencies. In both protocols, each normal oscillator periodically counts the received pulses to detect possible malicious behaviors. By disregarding suspicious pulses from its neighbors, the oscillator updates both its phases and frequencies. The paper establishes sufficient conditions on the initial states and graph structure under which resilient synchronization is achieved in the PCO network. Specifically, the normal oscillators can either detect the presence of malicious nodes or synchronize in both phases and frequencies. Additionally, a comparison between the two algorithms reveals a trade-off between relaxed initial conditions and reduced communication burden.


title: High-precision astrometry with VVV -- II. A near-infrared extension of Gaia into the Galactic plane

abstract: Aims. We use near-infrared, ground-based data from the VISTA Variables in the Via Lactea (VVV) survey to indirectly extend the astrometry provided by the Gaia catalog to objects in heavily-extincted regions towards the Galactic bulge and plane that are beyond Gaia's reach. Methods. We make use of the state-of-the-art techniques developed for high-precision astrometry and photometry with the Hubble Space Telescope to process the VVV data. We employ empirical, spatially-variable, effective point-spread functions and local transformations to mitigate the effects of systematic errors, like residual geometric distortion and image motion, and to improve measurements in crowded fields and for faint stars. We also anchor our astrometry to the absolute reference frame of the Gaia Data Release 3. Results. We measure between 20 and 60 times more sources than Gaia in the region surrounding the Galactic center, obtaining an single-exposure precision of about 12 mas and a proper-motion precision of better than 1 mas yr$^{-1}$ for bright, unsaturated sources. Our astrometry provides an extension of Gaia into the Galactic center. We publicly release the astro-photometric catalogs of the two VVV fields considered in this work, which contain a total of $\sim$ 3.5 million sources. Our catalogs cover $\sim$ 3 sq. degrees, about 0.5% of the entire VVV survey area.


title: Assessing the dark degeneracy through the gas mass fraction data

abstract: It is well-known that Einstein's equations constrain only the total energy-momentum tensor of the cosmic substratum, without specifying the characteristics of its individual constituents. Consequently, cosmological models featuring distinct decompositions within the dark sector, while sharing identical values for the sum of dark components' energy-momentum tensor, remain indistinguishable when assessed through observables based on distance measurements. Notably, it has been already demonstrated that cosmological models with dynamical descriptions of dark energy, characterized by a time-dependent equation of state (EoS), can always be mapped into a model featuring a decaying vacuum ($w=-1$) coupled with dark matter. We explore the possibility of breaking this degeneracy by using measurements of the gas mass fraction observed in massive and relaxed galaxy clusters. This data is particularly interesting for this purpose because it isolates the matter contribution, possibly allowing the degeneracy breaking. We study the particular case of the $w$CDM model with its interactive counterpart. We compare the results obtained from both descriptions with a non-parametric analysis obtained through Gaussian Process. Even though the degeneracy may be broken from the theoretical point of view, we find that current gas mass fraction data seems to be insufficient for a final conclusion about which approach is favored, even when combined with SNIa, BAO and CMB.


title: Intervalence Plasmons in Boron-Doped Diamond

abstract: Doped semiconductors are capable of exhibiting metallic-like properties ranging from superconductivity to tunable localized surface plasmon resonances. Diamond is a wide-bandgap semiconductor that is rendered electronically active by incorporating a hole dopant, boron. While the effects of boron doping on the electronic band structure of diamond are well-studied, any link between charge carriers and plasmons, which could facilitate optical applications, has never been shown. Here, we report intervalence plasmons in boron-doped diamond, defined as collective electronic excitations between the valence subbands, opened up by the presence of holes. Evidence for these low energy excitations is provided by scanning transmission electron microscope-valence electron energy loss spectroscopy and photoinduced force infrared spectroscopy. The measured loss and absorbance spectra are subsequently reproduced by first-principles calculations based on the contribution of intervalence band transitions to the dielectric function. Remarkably, the calculations also reveal that the real part of the dielectric function exhibits a resonance characteristic of metallicity (narrow-banded negative values of the dielectric function). The energy of the zero-crossing and the position of the loss peak are found to coincide, and both increase with the carrier density. Our results provide insight into a new mechanism for inducing plasmon-like behavior in doped semiconductors from intervalence band transitions, and the possibility of attaining such properties in diamond, a key emerging material for biomedical and quantum information technologies.


title: Multiplexed quantum state transfer in waveguides

abstract: In this article, we consider a realistic waveguide implementation of a quantum network that serves as a testbed to show how to maximize the storage and manipulation of quantum information in QED setups. We analyze two approaches using wavepacket engineering and quantum state transfer protocols. First, we propose and design a family of orthogonal photons in the time domain. These photons allow for a selective interaction with distinct targeted qubits. Yet, mode multiplexing employing resonant nodes is largely spoiled by cross-talk effects. This motivates the second approach, namely, frequency multiplexing. Here we explore the limits of frequency multiplexing through the waveguide, analyzing its capabilities to host and faithfully transmit photons of different frequencies within a given bandwidth. We perform detailed one- and two-photon simulations and provide theoretical bounds for the fidelity of coherent quantum state transfer protocols under realistic conditions. Our results show that state-of-the-art experiments can employ dozens of multiplexed photons with global fidelities fulfilling the requirements imposed by fault-tolerant quantum computing. This is with the caveat that the conditions for single-photon fidelity are met.


title: HRI in Indian Education: Challenges Opportunities

abstract: With the recent advancements in the field of robotics and the increased focus on having general-purpose robots widely available to the general public, it has become increasingly necessary to pursue research into Human-robot interaction (HRI). While there have been a lot of works discussing frameworks for teaching HRI in educational institutions with a few institutions already offering courses to students, a consensus on the course content still eludes the field. In this work, we highlight a few challenges and opportunities while designing an HRI course from an Indian perspective. These topics warrant further deliberations as they have a direct impact on the design of HRI courses and wider implications for the entire field.


title: On the (Local) Lifting Property

abstract: The (Local) Lifting Property ((L)LP) is introduced by Kirchberg and deals with lifting completely positive maps. We give a characterization of the (L)LP in terms of lifting $\ast$-homomorphisms. We use it to prove that if $A$ and $B$ have the LP and $F$ is their finite-dimensional C*-subalgebra, then $A\ast_F B$ has the LP. This answers a question of Ozawa. We prove that Exel's soft tori have the LP. As a consequence we obtain that $C^*(F_n\times F_n)$ is inductive limit of RFD C*-algebras with the LP. We prove that for a class of C*-algebras including $C^*(F_n\times F_n)$ and all contractible C*-algebras, the LLP is equivalent to Ext being a group. As byproduct of methods developed in the paper we generalize Kirchberg's theorem about extensions with the WEP, give short proofs of several, old and new, facts about soft tori, new unified proofs of Li and Shen's characterization of RFD property of free products amalgamated over a finite-dimensional subalgebra and Blackadar's characterization of semiprojectivity of them.


title: High-throughput measurement of elastic moduli of microfibers by rope coiling

abstract: There are many fields where it is of interest to measure the elastic moduli of tiny fragile fibers, such as filamentous bacteria, actin filaments, DNA, carbon nanotubes, and functional microfibers. The elastic modulus is typically deduced from a sophisticated tensile test under a microscope, but the throughput is low and limited by the time-consuming and skill-intensive sample loading/unloading. Here, we demonstrate a simple microfluidic method enabling the high-throughput measurement of the elastic moduli of microfibers by rope coiling using a localized compression, where sample loading/unloading are not needed between consecutive measurements. The rope coiling phenomenon occurs spontaneously when a microfiber flows from a small channel into a wide channel. The elastic modulus is determined by measuring either the buckling length or the coiling radius. The throughput of this method, currently 3,300 fibers per hour, is a thousand times higher than that of a tensile tester. We demonstrate the feasibility of the method by testing a nonuniform fiber with axially varying elastic modulus. We also demonstrate its capability for in situ inline measurement in a microfluidic production line. We envisage that high-throughput measurements may facilitate potential applications such as screening or sorting by mechanical properties and real-time control during production of microfibers.


title: Large-scale flood modeling and forecasting with FloodCast

abstract: Large-scale hydrodynamic models generally rely on fixed-resolution spatial grids and model parameters as well as incurring a high computational cost. This limits their ability to accurately forecast flood crests and issue time-critical hazard warnings. In this work, we build a fast, stable, accurate, resolution-invariant, and geometry-adaptative flood modeling and forecasting framework that can perform at large scales, namely FloodCast. The framework comprises two main modules: multi-satellite observation and hydrodynamic modeling. In the multi-satellite observation module, a real-time unsupervised change detection method and a rainfall processing and analysis tool are proposed to harness the full potential of multi-satellite observations in large-scale flood prediction. In the hydrodynamic modeling module, a geometry-adaptive physics-informed neural solver (GeoPINS) is introduced, benefiting from the absence of a requirement for training data in physics-informed neural networks and featuring a fast, accurate, and resolution-invariant architecture with Fourier neural operators. GeoPINS demonstrates impressive performance on popular PDEs across regular and irregular domains. Building upon GeoPINS, we propose a sequence-to-sequence GeoPINS model to handle long-term temporal series and extensive spatial domains in large-scale flood modeling. Next, we establish a benchmark dataset in the 2022 Pakistan flood to assess various flood prediction methods. Finally, we validate the model in three dimensions - flood inundation range, depth, and transferability of spatiotemporal downscaling. Traditional hydrodynamics and sequence-to-sequence GeoPINS exhibit exceptional agreement during high water levels, while comparative assessments with SAR-based flood depth data show that sequence-to-sequence GeoPINS outperforms traditional hydrodynamics, with smaller prediction errors.


title: Analyzing-Evaluating-Creating: Assessing Computational Thinking and Problem Solving in Visual Programming Domains

abstract: Computational thinking (CT) and problem-solving skills are increasingly integrated into K-8 school curricula worldwide. Consequently, there is a growing need to develop reliable assessments for measuring students' proficiency in these skills. Recent works have proposed tests for assessing these skills across various CT concepts and practices, in particular, based on multi-choice items enabling psychometric validation and usage in large-scale studies. Despite their practical relevance, these tests are limited in how they measure students' computational creativity, a crucial ability when applying CT and problem solving in real-world settings. In our work, we have developed ACE, a novel test focusing on the three higher cognitive levels in Bloom's Taxonomy, i.e., Analyze, Evaluate, and Create. ACE comprises a diverse set of 7x3 multi-choice items spanning these three levels, grounded in elementary block-based visual programming. We evaluate the psychometric properties of ACE through a study conducted with 371 students in grades 3-7 from 10 schools. Based on several psychometric analysis frameworks, our results confirm the reliability and validity of ACE. Our study also shows a positive correlation between students' performance on ACE and performance on Hour of Code: Maze Challenge by Code.org.


title: Embedded Hypersurface Data and Ambient Vector Fields: Abstract Killing Horizons of order zero/one

abstract: In this work, we study hypersurfaces that admit a privileged vector field $\mathfrak{y}$. For hypersurfaces of arbitrary causal character, we derive a set of identities involving the deformation tensor of $\mathfrak{y}$ and tensor fields codifying the intrinsic and extrinsic geometry of the hypersurface. This is done without imposing restrictions either on the topology of the hypersurface or on the (possibly empty) subset of points where $\mathfrak{y}$ vanishes. In the case when the hypersurface is null and $\mathfrak{y}$ is null and tangent, we introduce a generalized notion of surface gravity $\kappa$ that extends smoothly the usual one to the fixed points. Also for the null case, we analyze the properties of the Lie derivative of the Levi-Civita connection along $\mathfrak{y}$. This analysis allows us to introduce three new non-embedded notions of horizons that we then compare with the standard concepts of non-expanding, weakly isolated and isolated horizons. The former generalize the latter to completely general topologies and to horizons admitting fixed points. Finally, we study the structure of fixed points on these new horizons.


title: Fusion Transformer with Object Mask Guidance for Image Forgery Analysis

abstract: In this work, we introduce OMG-Fuser, a fusion transformer-based network designed to extract information from various forensic signals to enable robust image forgery detection and localization. Our approach can operate with an arbitrary number of forensic signals and leverages object information for their analysis -- unlike previous methods that rely on fusion schemes with few signals and often disregard image semantics. To this end, we design a forensic signal stream composed of a transformer guided by an object attention mechanism, associating patches that depict the same objects. In that way, we incorporate object-level information from the image. Each forensic signal is processed by a different stream that adapts to its peculiarities. A token fusion transformer efficiently aggregates the outputs of an arbitrary number of network streams and generates a fused representation for each image patch. We assess two fusion variants on top of the proposed approach: (i) score-level fusion that fuses the outputs of multiple image forensics algorithms and (ii) feature-level fusion that fuses low-level forensic traces directly. Both variants exceed state-of-the-art performance on seven datasets for image forgery detection and localization, with a relative average improvement of 12.1% and 20.4% in terms of F1. Our model is robust against traditional and novel forgery attacks and can be expanded with new signals without training from scratch. Our code is publicly available at: https://github.com/mever-team/omgfuser


title: Motion and temporal B0 shift corrections for quantitative susceptibility mapping (QSM) and R2* mapping using dual-echo spiral navigators and conjugate-phase reconstruction

abstract: Purpose: To develop an efficient navigator-based motion and temporal B0 shift correction technique for 3D multi-echo gradient-echo (ME-GRE) MRI for quantitative susceptibility mapping (QSM) and R2* mapping. Theory and Methods: A dual-echo 3D spiral navigator was designed to interleave with the Cartesian ME-GRE acquisitions, allowing the acquisition of both low- and high-echo time signals. We additionally designed a novel conjugate-phase based reconstruction method for the joint correction of motion and temporal B0 shifts. We performed both numerical simulation and in vivo human scans to assess the performance of the methods. Results: Numerical simulation and human brain scans demonstrated that the proposed technique successfully corrected artifacts induced by both head motions and temporal B0 changes. Efficient B0-change correction with conjugate-phase reconstruction can be performed on less than 10 clustered k-space segments. In vivo scans showed that combining temporal B0 correction with motion correction further reduced artifacts and improved image quality in both R2* and QSM images. Conclusion: Our proposed approach of using 3D spiral navigators and a novel conjugate-phase reconstruction method can improve susceptibility-related measurements using MR.


title: Edge-Disjoint Spanning Trees on Star-Product Networks

abstract: Star-product graphs are a natural extension of the Cartesian product, but have not been well-studied. We show that many important established and emerging network topologies, including HyperX, SlimFly, BundleFly, PolarStar, mesh, and torus, are in fact star-product graphs. While this connection was known for BundleFly and PolarStar, it was not for the others listed. We extend a method of constructing maximal and near-maximal sets of edge-disjoint spanning trees on Cartesian products to the star product, thus obtain maximal or near-maximal sets of edge-disjoint spanning trees on new networks of importance, where such sets can improve bandwidth of collective operations and therefore accelerate many important workloads in high-performance computing.


title: The advancing wave front on a sloping channel covered by a rod canopy following an instantaneous dam break

abstract: The drag coefficient $C_d$ for a rigid and uniformly distributed rod canopy covering a sloping channel following the instantaneous collapse of a dam was examined using flume experiments. The measurements included space $x$ and time $t$ high resolution images of the water surface $h(x,t)$ for multiple channel bed slopes $S_o$ and water depths behind the dam $H_o$ along with drag estimates provided by sequential load cells. Analysis of the Saint-Venant Equation (SVE) for the front speed using the diffusive wave approximation lead to a front velocity $U_f=\sqrt{\Gamma_h 2 g \phi_v'/(C_d m D)}$, where $\Gamma_h=-\partial h/\partial x$, $g$ is the gravitational acceleration, $\phi_v'=1-\phi_v$ is fluid volume fraction per ground area, $\phi_v=m \pi D^2/4$ is the solid volume fraction per ground area, $m$ is the number of rods per ground area, and $D$ is the rod diameter. An inferred $C_d=0.4$ from the $h(x,t)$ data near the advancing front region, also confirmed by load cell measurements, is much reduced relative to its independently measured steady-uniform flow case. This finding suggests that drag reduction mechanisms associated with transients and flow disturbances are more likely to play a dominant role when compared to conventional sheltering or blocking effects on $C_d$ examined in uniform flow. The increased air volume entrained into the advancing wave front region as determined from an inflow-outflow volume balance partly explains the $C_d$ reduction from unity.


title: The role of density breaks in driving spiral structure in disc galaxies

abstract: It is well established that stellar discs are destabilized by sharp features in their phase space, driving recurrent spiral modes. We explore the extent to which surface-density breaks in disc galaxies - which represent sharp changes in the gradient of the disc density - drive new spiral modes. We employ linear perturbation theory to investigate how disc breaks alter the eigenmode spectrum of an otherwise pure exponential disc. We find that the presence of a density break gives rise to a set of new, vigorously growing, modes. For a given multiplicity, these edge modes occur in pairs, with closely separated resonances between each pair. The growth rate of edge modes decreases when the break is weakened or moved outward to lower-density regions of the disc. Both down- and up-bending profiles excite edge modes, whose origin can be best understood via the gravitational torques they exert on the underlying disc. When the profile is down-bending (Type II) the faster growing mode is the inner one while in the up-bending (Type III) case the outer mode is faster growing. In both cases the faster growing mode has a corotation almost coincident with the break. We show that the torques of the edge modes tend to smoothen the break.


title: Oriented transformations on a finite chain: another description

abstract: Following the new description of an oriented full transformation on a finite chain given recently by Higgins and Vernitski in "Orientation-preserving and orientation-reversing mappings: a new description", Semigroup Forum 104 (2022), 509--514, in this short note we present a refinement of this description which is extendable to partial transformations and to injective partial transformations.


title: IKSPARK: An Inverse Kinematics Solver using Semidefinite Relaxation and Rank Minimization

abstract: Inverse kinematics (IK) is a fundamental problem frequently occurred in robot control and motion planning. However, the problem is nonconvex because the kinematic map between the configuration and task spaces is generally nonlinear, which makes it challenging for fast and accurate solutions. The problem can be more complicated with the existence of different physical constraints imposed by the robot structure. In this paper, we develop an inverse kinematics solver named IKSPARK (Inverse Kinematics using Semidefinite Programming And RanK minimization) that can find solutions for robots with various structures, including open/closed kinematic chains, spherical, revolute, and/or prismatic joints. The solver works in the space of rotation matrices of the link reference frames and involves solving only convex semidefinite problems (SDPs). Specifically, the IK problem is formulated as an SDP with an additional rank-1 constraint on symmetric matrices with constant traces. The solver first solves this SDP disregarding the rank constraint to get a start point and then finds the rank-1 solution iteratively via a rank minimization algorithm with proven local convergence. Compared to other work that performs SDP relaxation for IK problems, our formulation is simpler, and uses variables with smaller sizes. We validate our approach via simulations on different robots, comparing against a standard IK method.


title: Improving Generalization via Meta-Learning on Hard Samples

abstract: Learned reweighting (LRW) approaches to supervised learning use an optimization criterion to assign weights for training instances, in order to maximize performance on a representative validation dataset. We pose and formalize the problem of optimized selection of the validation set used in LRW training, to improve classifier generalization. In particular, we show that using hard-to-classify instances in the validation set has both a theoretical connection to, and strong empirical evidence of generalization. We provide an efficient algorithm for training this meta-optimized model, as well as a simple train-twice heuristic for careful comparative study. We demonstrate that LRW with easy validation data performs consistently worse than LRW with hard validation data, establishing the validity of our meta-optimization problem. Our proposed algorithm outperforms a wide range of baselines on a range of datasets and domain shift challenges (Imagenet-1K, CIFAR-100, Clothing-1M, CAMELYON, WILDS, etc.), with ~1% gains using VIT-B on Imagenet. We also show that using naturally hard examples for validation (Imagenet-R / Imagenet-A) in LRW training for Imagenet improves performance on both clean and naturally hard test instances by 1-2%. Secondary analyses show that using hard validation data in an LRW framework improves margins on test data, hinting at the mechanism underlying our empirical gains. We believe this work opens up new research directions for the meta-optimization of meta-learning in a supervised learning context.


title: Efficient Transformer-based Hyper-parameter Optimization for Resource-constrained IoT Environments

abstract: The hyper-parameter optimization (HPO) process is imperative for finding the best-performing Convolutional Neural Networks (CNNs). The automation process of HPO is characterized by its sizable computational footprint and its lack of transparency; both important factors in a resource-constrained Internet of Things (IoT) environment. In this paper, we address these problems by proposing a novel approach that combines transformer architecture and actor-critic Reinforcement Learning (RL) model, TRL-HPO, equipped with multi-headed attention that enables parallelization and progressive generation of layers. These assumptions are founded empirically by evaluating TRL-HPO on the MNIST dataset and comparing it with state-of-the-art approaches that build CNN models from scratch. The results show that TRL-HPO outperforms the classification results of these approaches by 6.8% within the same time frame, demonstrating the efficiency of TRL-HPO for the HPO process. The analysis of the results identifies the main culprit for performance degradation attributed to stacking fully connected layers. This paper identifies new avenues for improving RL-based HPO processes in resource-constrained environments.


title: Shape and size measurements of nonequilibrium Bose-Einstein condensates using image processing

abstract: Bose-Einstein condensates have been the subject of intense research in recent years due to their potential applications in quantum computing and many other areas. However, measuring the shape and size of out-of-equilibrium Bose-Einstein condensates is a challenging task that requires sophisticated image processing techniques. We propose to study perturbed BEC based on general concepts of analysis, which are widely used in the image processing community. The mathematical basis underlying the algorithms is quite general and independent of the type of image studied. The morphological changes observed in the perturbed atomic clouds as a result of excitation amplitude were observed in a consistent manner. And the spatial expansion of the atomic clouds under free fall shows some symmetry, but it was only observed under certain conditions


title: Large language models in 6G security: challenges and opportunities

abstract: The rapid integration of Generative AI (GenAI) and Large Language Models (LLMs) in sectors such as education and healthcare have marked a significant advancement in technology. However, this growth has also led to a largely unexplored aspect: their security vulnerabilities. As the ecosystem that includes both offline and online models, various tools, browser plugins, and third-party applications continues to expand, it significantly widens the attack surface, thereby escalating the potential for security breaches. These expansions in the 6G and beyond landscape provide new avenues for adversaries to manipulate LLMs for malicious purposes. We focus on the security aspects of LLMs from the viewpoint of potential adversaries. We aim to dissect their objectives and methodologies, providing an in-depth analysis of known security weaknesses. This will include the development of a comprehensive threat taxonomy, categorizing various adversary behaviors. Also, our research will concentrate on how LLMs can be integrated into cybersecurity efforts by defense teams, also known as blue teams. We will explore the potential synergy between LLMs and blockchain technology, and how this combination could lead to the development of next-generation, fully autonomous security solutions. This approach aims to establish a unified cybersecurity strategy across the entire computing continuum, enhancing overall digital security infrastructure.


title: Cosmic Purity Lost: Perturbative and Resummed Late-Time Inflationary Decoherence

abstract: We compute the rate with which unobserved fields decohere other fields to which they couple, both in flat space and in de Sitter space, for scalar fields prepared in their standard adiabatic vacuum. The process is very efficient in de Sitter space once the modes in question pass outside the Hubble scale, displaying the tell-tale phenomenon of secular growth that indicates the breakdown of perturbative methods on a time scale parameterically long compared with the Hubble time. We show how to match the perturbative evolution valid at early times onto a late-time Lindblad evolution whose domain of validity extends to much later times, thereby allowing a reliable resummation of the perturbative result beyond the perturbative regime. Super-Hubble modes turn out to be dominantly decohered by unobserved modes that are themselves also super-Hubble. When applied to curvature perturbations during inflation this observation closes a potential loophole in recent calculations of the late-time purity of the observable primordial fluctuations.


title: SOLARNET Metadata Recommendations for Simulated Data

abstract: Until the advent of the SOLARNET recommendations, metadata sharing of simulated data within the Solar Physics community has been mostly on a "private communication" basis, with the description of the data format and content conveyed in an ad hoc manner. This document aims to amend this situation by establishing recommendations for representing such data and the associated metadata, based on the SOLARNET Metadata Recommendations for Solar Observations (arXiv:2011.12139)


title: Reference-based Metrics Disprove Themselves in Question Generation

abstract: Reference-based metrics such as BLEU and BERTScore are widely used to evaluate question generation (QG). In this study, on QG benchmarks such as SQuAD and HotpotQA, we find that using human-written references cannot guarantee the effectiveness of the reference-based metrics. Most QG benchmarks have only one reference; we replicated the annotation process and collect another reference. A good metric was expected to grade a human-validated question no worse than generated questions. However, the results of reference-based metrics on our newly collected reference disproved the metrics themselves. We propose a reference-free metric consisted of multi-dimensional criteria such as naturalness, answerability, and complexity, utilizing large language models. These criteria are not constrained to the syntactic or semantic of a single reference question, and the metric does not require a diverse set of references. Experiments reveal that our metric accurately distinguishes between high-quality questions and flawed ones, and achieves state-of-the-art alignment with human judgment.


title: Time-Since-Infection Model for Hospitalization and Incidence Data

abstract: The Time Since Infection (TSI) models, which use disease surveillance data to model infectious diseases, have become increasingly popular recently due to their flexibility and capacity to address complex disease control questions. However, a notable limitation of TSI models is their primary reliance on incidence data. Even when hospitalization data are available, existing TSI models have not been crafted to estimate disease transmission or predict disease-related hospitalizations - metrics crucial for understanding a pandemic and planning hospital resources. Moreover, their dependence on reported infection data makes them vulnerable to variations in data quality. In this study, we advance TSI models by integrating hospitalization data, marking a significant step forward in modeling with TSI models. Our improvements enable the estimation of key infectious disease parameters without relying on contact tracing data, reduce bias in incidence data, and provide a foundation to connect TSI models with other infectious disease models. We introduce hospitalization propensity parameters to jointly model incidence and hospitalization data. We use a composite likelihood function to accommodate complex data structure and an MCEM algorithm to estimate model parameters. We apply our method to COVID-19 data to estimate disease transmission, assess risk factor impacts, and calculate hospitalization propensity.


title: Zero-Shot Multi-task Hallucination Detection

abstract: In recent studies, the extensive utilization of large language models has underscored the importance of robust evaluation methodologies for assessing text generation quality and relevance to specific tasks. This has revealed a prevalent issue known as hallucination, an emergent condition in the model where generated text lacks faithfulness to the source and deviates from the evaluation criteria. In this study, we formally define hallucination and propose a framework for its quantitative detection in a zero-shot setting, leveraging our definition and the assumption that model outputs entail task and sample specific inputs. In detecting hallucinations, our solution achieves an accuracy of 0.78 in a model-aware setting and 0.61 in a model-agnostic setting. Notably, our solution maintains computational efficiency, requiring far less computational resources than other SOTA approaches, aligning with the trend towards lightweight and compressed models.