title: Test Bench Study on Attitude Estimation in Ground Effect Region Based on Motor Current for In-Flight Inductive Power Transfer of Drones

abstract: To overcome the short flight duration of drones, research on in-flight inductive power transfer has been recognized as an essential solution. Thus, it is important to accurately estimate and control the attitude of the drones which operate close to the charging surface. To this end, this paper proposes an attitude estimation method based solely on the motor current for precision flight control in the ground effect region. The model for the estimation is derived based on the motor equation when it rotates at a constant rotational speed. The proposed method is verified on the simulations and experiments. It allows simultaneous estimation of altitude and pitch angle with the accuracy of 0.30$\hspace{0.5mm}$m and 0.04 rad, respectively. The minimum transmission efficiency of the in-flight power transfer system based on the proposed estimation is calculated as 95.3 %, which is sufficient for the efficient system.


title: The Blanco DECam Bulge Survey (BDBS) VIII: Chemo-kinematics in the southern Galactic bulge from 2.3 million red clump stars with Gaia DR3 proper motions

abstract: The Blanco DECam Bulge Survey (BDBS) provides near-ultraviolet to near-infrared photometry for ~250 million unique stars. By combining BDBS photometry with the latest Gaia astrometry, we characterize the chemo-dynamics of red clump stars across the BDBS footprint, using an unprecedented sample size and sky coverage. We construct a sample of ~2.3 million red clump giants in the bulge with photometric metallicities, BDBS photometric distances, and proper motions. We study the kinematics of the red clump stars as a function of sky position and metallicity, by investigating proper motion rotation curves, velocity dispersions, and proper motion correlations across the southern Galactic bulge. We find that metal-poor red clump stars exhibit lower rotation amplitudes, at ~29 km s$^{-1}$ kpc^{-1}. The peak of the angular velocity is ~39 km s^{-1} kpc^{-1} for [Fe/H] ~ -0.2 dex, exhibiting declining rotation at higher [Fe/H]. The velocity dispersion is higher for metal-poor stars, while metal-rich stars show a steeper gradient with Galactic latitude, with a maximum dispersion at low latitudes along the bulge minor axis. Only metal-rich stars ([Fe/H] >~ -0.5 dex) show clear signatures of the bar in their kinematics, while the metal-poor population exhibits isotropic motions with an axisymmetric pattern around Galactic longitude l = 0. This work reports the largest sample of bulge stars with distance, metallicity, and astrometry and shows clear kinematic differences with metallicity. The global kinematics over the bulge agrees with earlier studies. However, we see striking changes with increasing metallicity and for the first time, see kinematic differences for stars with [Fe/H]>-0.5, suggesting that the bar itself may have kinematics that depends on metallicity.


title: On invariant distributions of Feller Markov chains with applications to dynamical systems with random switching

abstract: We introduce simple conditions ensuring that invariant distributions of a Feller Markov chain on a compact Riemannian manifold are absolutely continuous with a lower semi-continuous, continuous or smooth density with respect to the Riemannian measure. This is applied to Markov chains obtained by random composition of maps and to piecewise deterministic Markov processes obtained by random switching between flows.


title: Hierarchical Ensemble-Based Feature Selection for Time Series Forecasting

abstract: We introduce a novel ensemble approach for feature selection based on hierarchical stacking for non-stationarity and/or a limited number of samples with a large number of features. Our approach exploits the co-dependency between features using a hierarchical structure. Initially, a machine learning model is trained using a subset of features, and then the output of the model is updated using other algorithms in a hierarchical manner with the remaining features to minimize the target loss. This hierarchical structure allows for flexible depth and feature selection. By exploiting feature co-dependency hierarchically, our proposed approach overcomes the limitations of traditional feature selection methods and feature importance scores. The effectiveness of the approach is demonstrated on synthetic and well-known real-life datasets, providing significant scalable and stable performance improvements compared to the traditional methods and the state-of-the-art approaches. We also provide the source code of our approach to facilitate further research and replicability of our results.


title: Using Buckingham's $\pi$ Theorem for Multi-System Learning Transfer: a Case-study with 3 Vehicles Sharing a Database

abstract: Learning schemes for planning and control are limited by the difficulty of collecting large amounts of experimental data or having to rely on high-fidelity simulations. This paper explores the potential of a proposed learning scheme that leverages dimensionless numbers based on Buckingham's $\pi$ theorem to improve data efficiency and facilitate knowledge sharing between similar systems. A case study using car-like robots compares traditional and dimensionless learning models on simulated and experimental data to validate the benefits of the new dimensionless learning approach. Preliminary results show that this new dimensionless approach could accelerate the learning rate and improve the accuracy of the model and should be investigated further.


title: A changepoint approach to modelling non-stationary soil moisture dynamics

abstract: Soil moisture dynamics provide an indicator of soil health that scientists model via soil drydown curves. The typical modeling process requires the soil moisture time series to be manually separated into drydown segments and then exponential decay models are fitted to them independently. Sensor development over recent years means that experiments that were previously conducted over a few field campaigns can now be scaled to months or even years, often at a higher sampling rate. Manual identification of drydown segments is no longer practical. To better meet the challenge of increasing data size, this paper proposes a novel changepoint-based approach to automatically identify structural changes in the soil drying process, and estimate the parameters characterizing the drying processes simultaneously. A simulation study is carried out to assess the performance of the method. The results demonstrate its ability to identify structural changes and retrieve key parameters of interest to soil scientists. The method is applied to hourly soil moisture time series from the NEON data portal to investigate the temporal dynamics of soil moisture drydown. We recover known relationships previously identified manually, alongside delivering new insights into the temporal variability across soil types and locations.


title: Hopf algebras from poset growth models

abstract: We give a framework for growth models on posets which simultaneously generalizes the Classical Sequential Growth models for posets from causal set theory and the tree growth models of natural growth and simple tree classes, the latter of which also appear as solutions of combinatorial Dyson-Schwinger equations in quantum field theory. We prove which cases of the Classical Sequential Growth models give subHopf algebras of the Hopf algebra of posets, in analogy to a characterization due to Foissy in the Dyson-Schwinger case. We find a family of generating sets for the Connes-Moscovici Hopf algebra.


title: Information reconciliation for discretely-modulated continuous-variable quantum key distribution

abstract: The goal of this note is to explain the reconciliation problem for continuous-variable quantum key distribution protocols with a discrete modulation. Such modulation formats are attractive since they significantly simplify experimental implementations compared to protocols with a Gaussian modulation. Previous security proofs that relied crucially on the Gaussian distribution of the input states are rendered inapplicable, and new proofs based on the entropy accumulation theorem have emerged. Unfortunately, these proofs are not compatible with existing reconciliation procedures, and necessitate a reevaluation of the reconciliation problem. We argue that this problem is nontrivial and deserves further attention. In particular, assuming it can be solved with optimal efficiency leads to overly optimistic predictions for the performance of the key distribution protocol, in particular for long distances.


title: Scalar Cosmological Perturbations from Quantum Gravitational Entanglement

abstract: A major challenge at the interface of quantum gravity and cosmology is to explain how the large-scale structure of the Universe emerges from physics at the Planck scale. In this letter, we take an important step in this direction by extracting the dynamics of scalar isotropic cosmological perturbations from full quantum gravity, as described by the causally complete Barrett-Crane group field theory model. From the perspective of the underlying quantum gravity theory, cosmological perturbations are represented as nearest-neighbor two-body entanglement of group field theory quanta. Their effective dynamics is obtained via mean-field methods and described relationally with respect to a physical Lorentz frame causally coupled to the quantum geometry. We quantitatively study these effective dynamical equations and show that at low energies they are perfectly consistent with those of General Relativity, while for trans-Planckian scales quantum effects become important. These results therefore not only provide crucial insights into the potentially purely quantum gravitational nature of cosmological perturbations, but also offer rich phenomenological implications for the physics of the early Universe.


title: Human-Guided Complexity-Controlled Abstractions

abstract: Neural networks often learn task-specific latent representations that fail to generalize to novel settings or tasks. Conversely, humans learn discrete representations (i.e., concepts or words) at a variety of abstraction levels (e.g., "bird" vs. "sparrow") and deploy the appropriate abstraction based on task. Inspired by this, we train neural models to generate a spectrum of discrete representations, and control the complexity of the representations (roughly, how many bits are allocated for encoding inputs) by tuning the entropy of the distribution over representations. In finetuning experiments, using only a small number of labeled examples for a new task, we show that (1) tuning the representation to a task-appropriate complexity level supports the highest finetuning performance, and (2) in a human-participant study, users were able to identify the appropriate complexity level for a downstream task using visualizations of discrete representations. Our results indicate a promising direction for rapid model finetuning by leveraging human insight.


title: Unpacking the Ethical Value Alignment in Big Models

abstract: Big models have greatly advanced AI's ability to understand, generate, and manipulate information and content, enabling numerous applications. However, as these models become increasingly integrated into everyday life, their inherent ethical values and potential biases pose unforeseen risks to society. This paper provides an overview of the risks and challenges associated with big models, surveys existing AI ethics guidelines, and examines the ethical implications arising from the limitations of these models. Taking a normative ethics perspective, we propose a reassessment of recent normative guidelines, highlighting the importance of collaborative efforts in academia to establish a unified and universal AI ethics framework. Furthermore, we investigate the moral inclinations of current mainstream LLMs using the Moral Foundation theory, analyze existing alignment algorithms, and outline the unique challenges encountered in aligning ethical values within them. To address these challenges, we introduce a novel conceptual paradigm for aligning the ethical values of big models and discuss promising research directions for alignment criteria, evaluation, and method, representing an initial step towards the interdisciplinary construction of the ethically aligned AI This paper is a modified English version of our Chinese paper https://crad.ict.ac.cn/cn/article/doi/10.7544/issn1000-1239.202330553, intended to help non-Chinese native speakers better understand our work.


title: Model-Based Runtime Monitoring with Interactive Imitation Learning

abstract: Robot learning methods have recently made great strides, but generalization and robustness challenges still hinder their widespread deployment. Failing to detect and address potential failures renders state-of-the-art learning systems not combat-ready for high-stakes tasks. Recent advances in interactive imitation learning have presented a promising framework for human-robot teaming, enabling the robots to operate safely and continually improve their performances over long-term deployments. Nonetheless, existing methods typically require constant human supervision and preemptive feedback, limiting their practicality in realistic domains. This work aims to endow a robot with the ability to monitor and detect errors during task execution. We introduce a model-based runtime monitoring algorithm that learns from deployment data to detect system anomalies and anticipate failures. Unlike prior work that cannot foresee future failures or requires failure experiences for training, our method learns a latent-space dynamics model and a failure classifier, enabling our method to simulate future action outcomes and detect out-of-distribution and high-risk states preemptively. We train our method within an interactive imitation learning framework, where it continually updates the model from the experiences of the human-robot team collected using trustworthy deployments. Consequently, our method reduces the human workload needed over time while ensuring reliable task execution. Our method outperforms the baselines across system-level and unit-test metrics, with 23% and 40% higher success rates in simulation and on physical hardware, respectively. More information at https://ut-austin-rpl.github.io/sirius-runtime-monitor/


title: Anisotropies and modified gravity theories in stellar and substellar objects

abstract: In several classes of modified gravity theories, extra degrees of freedom are not completely screened in the interiors of stellar and substellar objects. In such theories, the hydrostatic equilibrium condition inside these objects is altered. Moreover, the interior structures of these objects might have a small pressure anisotropy induced by several physical phenomena, including rotation and magnetic fields. All these effects, both individually and collectively, induce changes in predicted stellar observables. Such changes have an impact on different phases of the stellar life cycle, starting from its birth to its death, covering almost all the branches of the Hertzsprung-Russell diagram. The aim of this work is to systematically review the current literature on the topic. We discuss the main results and constraints obtained on a class of modified gravity theories.


title: Characterizing maximal varieties via Bredon cohomology

abstract: We obtain a characterization of Maximal and Galois-Maximal $C_2$-spaces (including real algebraic varieties) in terms of $\operatorname{RO}(C_2)$-graded cohomology with coefficients in the constant Mackey functor $\underline{\mathbf{F}}_2$, using the structure theorem of \cite{clover_may:structure_theorem}. Other known characterizations, for instance in terms of equivariant Borel cohomology, are also rederived from this. For the particular case of a smooth projective real variety $V$, equivariant Poincar\'{e} duality from \cite{pedro&paulo:quaternionic_algebraic_cycles} is used to deduce further symmetry restrictions for the decomposition of the $\operatorname{RO}(C_2)$-graded cohomology of the complex locus $V(\mathbf{C})$ given by the same structure theorem. We illustrate this result with some computations, including the $\operatorname{RO}(C_2)$-graded cohomology with $\underline{\mathbf{F}}_2$ coefficients of real $K3$ surfaces.


title: Interactive Robot Learning from Verbal Correction

abstract: The ability to learn and refine behavior after deployment has become ever more important for robots as we design them to operate in unstructured environments like households. In this work, we design a new learning system based on large language model (LLM), OLAF, that allows everyday users to teach a robot using verbal corrections when the robot makes mistakes, e.g., by saying "Stop what you're doing. You should move closer to the cup." A key feature of OLAF is its ability to update the robot's visuomotor neural policy based on the verbal feedback to avoid repeating mistakes in the future. This is in contrast to existing LLM-based robotic systems, which only follow verbal commands or corrections but not learn from them. We demonstrate the efficacy of our design in experiments where a user teaches a robot to perform long-horizon manipulation tasks both in simulation and on physical hardware, achieving on average 20.0% improvement in policy success rate. Videos and more results are at https://ut-austin-rpl.github.io/olaf/


title: Efficient Numerical Algorithm for Large-Scale Damped Natural Gradient Descent

abstract: We propose a new algorithm for efficiently solving the damped Fisher matrix in large-scale scenarios where the number of parameters significantly exceeds the number of available samples. This problem is fundamental for natural gradient descent and stochastic reconfiguration. Our algorithm is based on Cholesky decomposition and is generally applicable. Benchmark results show that the algorithm is significantly faster than existing methods.


title: Dark Energy Survey Year 3 results: simulation-based cosmological inference with wavelet harmonics, scattering transforms, and moments of weak lensing mass maps I: validation on simulations

abstract: Beyond-two-point statistics contain additional information on cosmological as well as astrophysical and observational (systematics) parameters. In this methodology paper we provide an end-to-end simulation-based analysis of a set of Gaussian and non-Gaussian weak lensing statistics using detailed mock catalogues of the Dark Energy Survey. We implement: 1) second and third moments; 2) wavelet phase harmonics (WPH); 3) the scattering transform (ST). Our analysis is fully based on simulations, it spans a space of seven $\nu w$CDM cosmological parameters, and it forward models the most relevant sources of systematics of the data (masks, noise variations, clustering of the sources, intrinsic alignments, and shear and redshift calibration). We implement a neural network compression of the summary statistics, and we estimate the parameter posteriors using a likelihood-free-inference approach. We validate the pipeline extensively, and we find that WPH exhibits the strongest performance when combined with second moments, followed by ST. and then by third moments. The combination of all the different statistics further enhances constraints with respect to second moments, up to 25 per cent, 15 per cent, and 90 per cent for $S_8$, $\Omega_{\rm m}$, and the Figure-Of-Merit ${\rm FoM_{S_8,\Omega_{\rm m}}}$, respectively. We further find that non-Gaussian statistics improve constraints on $w$ and on the amplitude of intrinsic alignment with respect to second moments constraints. The methodological advances presented here are suitable for application to Stage IV surveys from Euclid, Rubin-LSST, and Roman with additional validation on mock catalogues for each survey. In a companion paper we present an application to DES Year 3 data.


title: Towards Matching Phones and Speech Representations

abstract: Learning phone types from phone instances has been a long-standing problem, while still being open. In this work, we revisit this problem in the context of self-supervised learning, and pose it as the problem of matching cluster centroids to phone embeddings. We study two key properties that enable matching, namely, whether cluster centroids of self-supervised representations reduce the variability of phone instances and respect the relationship among phones. We then use the matching result to produce pseudo-labels and introduce a new loss function for improving self-supervised representations. Our experiments show that the matching result captures the relationship among phones. Training the new loss function jointly with the regular self-supervised losses, such as APC and CPC, significantly improves the downstream phone classification.


title: Instability of computer vision models is a necessary result of the task itself

abstract: Adversarial examples resulting from instability of current computer vision models are an extremely important topic due to their potential to compromise any application. In this paper we demonstrate that instability is inevitable due to a) symmetries (translational invariance) of the data, b) the categorical nature of the classification task, and c) the fundamental discrepancy of classifying images as objects themselves. The issue is further exacerbated by non-exhaustive labelling of the training data. Therefore we conclude that instability is a necessary result of how the problem of computer vision is currently formulated. While the problem cannot be eliminated, through the analysis of the causes, we have arrived at ways how it can be partially alleviated. These include i) increasing the resolution of images, ii) providing contextual information for the image, iii) exhaustive labelling of training data, and iv) preventing attackers from frequent access to the computer vision system.


title: Pitch-Angle Anisotropy Imprinted by Relativistic Magnetic Reconnection

abstract: Radiation emitted by nonthermal particles accelerated during relativistic magnetic reconnection is critical for understanding the nonthermal emission in a variety of astrophysical systems, including blazar jets, black hole coronae, pulsars, and magnetars. By means of fully kinetic Particle-in-Cell (PIC) simulations, we demonstrate that reconnection-driven particle acceleration imprints an energy-dependent pitch-angle anisotropy and gives rise to broken power laws in both the particle energy spectrum and the pitch-angle anisotropy. The particle distributions depend on the relative strength of the non-reconnecting (guide field) versus the reconnecting component of the magnetic field ($B_g/B_0$) and the lepton magnetization ($\sigma_0$). Below the break Lorentz factor $\gamma_0$ (injection), the particle energy spectrum is ultra-hard ($p_< < 1$), while above $\gamma_0$, the spectral index $p_>$ is highly sensitive to $B_g/B_0$. Particles' velocities align with the magnetic field, reaching minimum pitch angles $\alpha$ at a Lorentz factor $\gamma_{\min \alpha}$ controlled by $B_g/B_0$ and $\sigma_0$. The energy-dependent pitch-angle anisotropy, evaluated through the mean of $\sin^2 \alpha$ of particles at a given energy, exhibits power-law ranges with negative ($m_<$) and positive ($m_>$) slopes below and above $\gamma_{\min \alpha}$, becoming steeper as $B_g/B_0$ increases. The generation of anisotropic pitch angle distributions has important astrophysical implications. We address their effects on regulating synchrotron luminosity, spectral energy distribution, polarization, particle cooling, the synchrotron burnoff limit, emission beaming, and temperature anisotropy.


title: Bifurcations and loss jumps in RNN training

abstract: Recurrent neural networks (RNNs) are popular machine learning tools for modeling and forecasting sequential data and for inferring dynamical systems (DS) from observed time series. Concepts from DS theory (DST) have variously been used to further our understanding of both, how trained RNNs solve complex tasks, and the training process itself. Bifurcations are particularly important phenomena in DS, including RNNs, that refer to topological (qualitative) changes in a system's dynamical behavior as one or more of its parameters are varied. Knowing the bifurcation structure of an RNN will thus allow to deduce many of its computational and dynamical properties, like its sensitivity to parameter variations or its behavior during training. In particular, bifurcations may account for sudden loss jumps observed in RNN training that could severely impede the training process. Here we first mathematically prove for a particular class of ReLU-based RNNs that certain bifurcations are indeed associated with loss gradients tending toward infinity or zero. We then introduce a novel heuristic algorithm for detecting all fixed points and k-cycles in ReLU-based RNNs and their existence and stability regions, hence bifurcation manifolds in parameter space. In contrast to previous numerical algorithms for finding fixed points and common continuation methods, our algorithm provides exact results and returns fixed points and cycles up to high orders with surprisingly good scaling behavior. We exemplify the algorithm on the analysis of the training process of RNNs, and find that the recently introduced technique of generalized teacher forcing completely avoids certain types of bifurcations in training. Thus, besides facilitating the DST analysis of trained RNNs, our algorithm provides a powerful instrument for analyzing the training process itself.


title: Harmonic Berezin transform on half-space with vertical weights

abstract: We consider weighted harmonic Bergman spaces on upper half-space with weights depending only on the vertical coordinate. In these settings, we give full asymptotic expansion of weighted harmonic Bergman kernel as well as full asymptotic expansion of the harmonic Berezin transform for functions depending only on the vertical coordinate. Both expansions utilize known holomorphic case for the Siegel domain.


title: Breakthroughs in Cool Star Physics with the Line Emission Mapper X-ray Probe

abstract: We outline some of the highlights of the scientific case for the advancement of stellar high energy physics using the Line Emission Mapper X-ray Probe ({\it LEM}). The key to advancements with LEM lie in its large effective area -- up to 100 times that of the {\it Chandra} MEG -- and 1~eV spectral resolution. The large effective area opens up for the first time the ability to study time-dependent phenomena on their natural timescales at high resolution, such as flares and coronal mass ejections, and also opens the sky to much fainter targets than available to {\it Chandra} or {\it XMM-Newton}.


title: Knots bounding non-isotopic ribbon disks

abstract: We exhibit infinitely many ribbon knots, each of which bounds infinitely many pairwise non-isotopic ribbon disks whose exteriors are diffeomorphic. This family provides a positive answer to a stronger version of an old question of Hitt and Sumners. The examples arise from our main result: a classification of fibered, homotopy-ribbon disks for each generalized square knot $T_{p,q}\# \overline{T}_{p,q}$ up to isotopy. Precisely, we show that each generalized square knot bounds infinitely many pairwise non-isotopic fibered, homotopy-ribbon disks, all of whose exteriors are diffeomorphic. When $q=2$, we prove further that infinitely many of these disks are also ribbon; whether the disks are always ribbon is an open problem.


title: A Fabric-based Pneumatic Actuator for the Infant Elbow: Design and Comparative Kinematic Analysis

abstract: This paper focuses on the design and systematic evaluation of fabric-based, bellow-type soft pneumatic actuators to assist with flexion and extension of the elbow, intended for use in infant wearable devices. Initially, the performance of a range of actuator variants was explored via simulation. The actuator variants were parameterized based on the shape, number, and size of the cells present. Subsequently, viable actuator variants identified from the simulations were fabricated and underwent further testing on a physical model based on an infant's body anthropometrics. The performance of these variants was evaluated based on kinematic analyses using metrics including movement smoothness, path length, and elbow joint angle. Internal pressure of the actuators was also attained. Taken together, results reported herein provide valuable insights about the suitability of several actuator designs to serve as components for pediatric wearable assistive devices.


title: Design and Analysis of Pseudospin-Polarized Ultra-Wideband Waveguide Supporting Hybrid Spoof Surface Plasmon Polaritons

abstract: In this study, novel low-loss waveguides and power dividers for ultra-broadband surface plasmon polaritons (SPPs) are introduced. This article uses complementary metasurfaces in place of traditional SPP, which are typically produced as metasurface unit cells on the dielectric sublayer. It has been demonstrated that the use of complementary metasurfaces considerably improves wave confinement and inhibits wave propagation. Because of this, it is anticipated that waveguides and power dividers made from these complimentary unit cells will have significantly lower losses and greater bandwidth than SPP used in traditional devices. In the frequency range of 0 GHz to 100 GHz, waveguides and bent waveguides with complementary metasurface unit cells exhibit insertion loss greater than 0.5 dB. Utilizing complementary metasurfaces, symmetric and asymmetric power dividers have been created and researched. The results of the simulation have shown that using this type of unit cell in the construction of microwave devices is advantageous.


title: Skill-Mix: a Flexible and Expandable Family of Evaluations for AI models

abstract: With LLMs shifting their role from statistical modeling of language to serving as general-purpose AI agents, how should LLM evaluations change? Arguably, a key ability of an AI agent is to flexibly combine, as needed, the basic skills it has learned. The capability to combine skills plays an important role in (human) pedagogy and also in a paper on emergence phenomena (Arora & Goyal, 2023). This work introduces Skill-Mix, a new evaluation to measure ability to combine skills. Using a list of $N$ skills the evaluator repeatedly picks random subsets of $k$ skills and asks the LLM to produce text combining that subset of skills. Since the number of subsets grows like $N^k$, for even modest $k$ this evaluation will, with high probability, require the LLM to produce text significantly different from any text in the training set. The paper develops a methodology for (a) designing and administering such an evaluation, and (b) automatic grading (plus spot-checking by humans) of the results using GPT-4 as well as the open LLaMA-2 70B model. Administering a version of to popular chatbots gave results that, while generally in line with prior expectations, contained surprises. Sizeable differences exist among model capabilities that are not captured by their ranking on popular LLM leaderboards ("cramming for the leaderboard"). Furthermore, simple probability calculations indicate that GPT-4's reasonable performance on $k=5$ is suggestive of going beyond "stochastic parrot" behavior (Bender et al., 2021), i.e., it combines skills in ways that it had not seen during training. We sketch how the methodology can lead to a Skill-Mix based eco-system of open evaluations for AI capabilities of future models.


title: Navigating to Success in Multi-Modal Human-Robot Collaboration: Analysis and Corpus Release

abstract: Human-guided robotic exploration is a useful approach to gathering information at remote locations, especially those that might be too risky, inhospitable, or inaccessible for humans. Maintaining common ground between the remotely-located partners is a challenge, one that can be facilitated by multi-modal communication. In this paper, we explore how participants utilized multiple modalities to investigate a remote location with the help of a robotic partner. Participants issued spoken natural language instructions and received from the robot: text-based feedback, continuous 2D LIDAR mapping, and upon-request static photographs. We noticed that different strategies were adopted in terms of use of the modalities, and hypothesize that these differences may be correlated with success at several exploration sub-tasks. We found that requesting photos may have improved the identification and counting of some key entities (doorways in particular) and that this strategy did not hinder the amount of overall area exploration. Future work with larger samples may reveal the effects of more nuanced photo and dialogue strategies, which can inform the training of robotic agents. Additionally, we announce the release of our unique multi-modal corpus of human-robot communication in an exploration context: SCOUT, the Situated Corpus on Understanding Transactions.


title: SD4Match: Learning to Prompt Stable Diffusion Model for Semantic Matching

abstract: In this paper, we address the challenge of matching semantically similar keypoints across image pairs. Existing research indicates that the intermediate output of the UNet within the Stable Diffusion (SD) can serve as robust image feature maps for such a matching task. We demonstrate that by employing a basic prompt tuning technique, the inherent potential of Stable Diffusion can be harnessed, resulting in a significant enhancement in accuracy over previous approaches. We further introduce a novel conditional prompting module that conditions the prompt on the local details of the input image pairs, leading to a further improvement in performance. We designate our approach as SD4Match, short for Stable Diffusion for Semantic Matching. Comprehensive evaluations of SD4Match on the PF-Pascal, PF-Willow, and SPair-71k datasets show that it sets new benchmarks in accuracy across all these datasets. Particularly, SD4Match outperforms the previous state-of-the-art by a margin of 12 percentage points on the challenging SPair-71k dataset.


title: DiffS2UT: A Semantic Preserving Diffusion Model for Textless Direct Speech-to-Speech Translation

abstract: While Diffusion Generative Models have achieved great success on image generation tasks, how to efficiently and effectively incorporate them into speech generation especially translation tasks remains a non-trivial problem. Specifically, due to the low information density of speech data, the transformed discrete speech unit sequence is much longer than the corresponding text transcription, posing significant challenges to existing auto-regressive models. Furthermore, it is not optimal to brutally apply discrete diffusion on the speech unit sequence while disregarding the continuous space structure, which will degrade the generation performance significantly. In this paper, we propose a novel diffusion model by applying the diffusion forward process in the \textit{continuous} speech representation space, while employing the diffusion backward process in the \textit{discrete} speech unit space. In this way, we preserve the semantic structure of the continuous speech representation space in the diffusion process and integrate the continuous and discrete diffusion models. We conduct extensive experiments on the textless direct speech-to-speech translation task, where the proposed method achieves comparable results to the computationally intensive auto-regressive baselines (500 steps on average) with significantly fewer decoding steps (50 steps).


title: Inside the black box: Neural network-based real-time prediction of US recessions

abstract: Long short-term memory (LSTM) and gated recurrent unit (GRU) are used to model US recessions from 1967 to 2021. Their predictive performances are compared to those of the traditional linear models. The out-of-sample performance suggests the application of LSTM and GRU in recession forecasting, especially for longer-term forecasts. The Shapley additive explanations (SHAP) method is applied to both groups of models. The SHAP-based different weight assignments imply the capability of these types of neural networks to capture the business cycle asymmetries and nonlinearities. The SHAP method delivers key recession indicators, such as the S&P 500 index for short-term forecasting up to 3 months and the term spread for longer-term forecasting up to 12 months. These findings are robust against other interpretation methods, such as the local interpretable model-agnostic explanations (LIME) and the marginal effects.


title: A flow-type scaling limit for random growth with memory

abstract: We study a stochastic Laplacian growth model, where a set $\mathbf{U}\subseteq\mathbb{R}^{\mathrm{d}}$ grows according to a reflecting Brownian motion in $\mathbf{U}$ stopped at level sets of its boundary local time. We derive a scaling limit for the leading-order behavior of the growing boundary (i.e. "interface"). It is given by a geometric flow-type PDE. It is obtained by an averaging principle for the reflecting Brownian motion. We also show that this geometric flow-type PDE is locally well-posed, and its blow-up times correspond to changes in the diffeomorphism class of the growth model. Our results extend those of Dembo-Groisman-Huang-Sidoravicius '21, which restricts to star-shaped growth domains and radially outwards growth, so that in polar coordinates, the geometric flow transforms into a simple ODE with infinite lifetime. Also, we remove the "separation of scales" assumption that was taken in Dembo-Groisman-Huang-Sidoravicius '21; this forces us to understand the local geometry of the growing interface.


title: Wave transformations near a coronal magnetic null-point

abstract: We investigate the viability of MHD waves, in particular acoustic p-modes, in causing strong current accumulation at the null points. We begin with a three-dimensional numerical setup incorporating a gravitationally stratifed solar atmosphere and an axially symmetric magnetic feld including a coronal magnetic null point. To excite waves, we employ wave drivers mimicking global p-modes. We found that most of the vertical velocity transmits through the Alfv\'en acoustic equipartition layer maintaining acoustic nature while a small fraction generates fast waves via the mode conversion process. The fast waves undergo almost total refection at the transition region due to sharp gradients in density and Alfv\'en speed. There are only weak signatures of Alfv\'en wave generation near the transition region due to fast-to-Alfv\'en mode conversion. Since the slow waves propagate with the local sound speed, they are not much afected by the density gradients at the transition region and undergo secondary mode conversion and transmission at the Alfv\'en-acoustic equipartition layer surrounding the null point, leading to fast wave focusing at the null point. These fast waves have associated perturbations in current density, showing oscillatory signatures compatible with the second harmonic of the driving frequency which could result in resistive heating and enhanced intensity in the presence of fnite resistivity. We conclude that MHD waves could be a potential source for oscillatory current dissipation around the magnetic null point. We conjecture that besides oscillatory magnetic reconnection, global p-modes could lead to the formation of various quasiperiodic energetic events.


title: Effective Prime Factorization via Quantum Annealing by Modular Locally-structured Embedding

abstract: This paper investigates novel techniques to solve prime factorization by quantum annealing (QA). Our contribution is twofold. First, we present a novel and very compact modular encoding of a binary multiplier circuit into the Pegasus architecture of current D-Wave QA devices. The key contribution is a compact encoding of a controlled full-adder into an 8-qubit module in the Pegasus topology, which we synthesized offline by means of Optimization Modulo Theories. This allows us to encode up to a 21*12-bit multiplier (and a 22*8-bit one) into the Pegasus 5760-qubit topology of current annealers. To the best of our knowledge, these are the largest factorization problems ever encoded into a quantum annealer. Second, we have investigated the problem of actually solving encoded PF problems by running an extensive experimental evaluation on a D-Wave Advantage 4.1 quantum annealer. In order to help the annealer in reaching the global minimum, in the experiments we introduced different approaches to initialize the multiplier qubits and adopted several performance enhancement techniques. Overall, exploiting all the encoding and solving techniques described in this paper, 8, 219, 999 = 32, 749 * 251 was the highest prime product we were able to factorize within the limits of our QPU resources. To the best of our knowledge, this is the largest number which was ever factorized by means of a quantum annealer, and, more generally, by a quantum device.


title: Synthetic Detections of Interstellar Objects with The Rubin Observatory Legacy Survey of Space and Time

abstract: The discovery of two interstellar objects passing through the Solar System, 1I/`Oumuamua and 2I/Borisov, implies that a galactic population exists with a spatial number density of order $\sim0.1$ au$^{-3}$. The forthcoming Rubin Observatory Legacy Survey of Space and Time (LSST) has been predicted to detect more asteroidal interstellar objects like 1I/`Oumuamua. We apply recently developed methods to simulate a suite of galactic populations of interstellar objects with a range of assumed kinematics, albedos and size-frequency distributions (SFD). We incorporate these populations into the objectsInField (OIF) algorithm, which simulates detections of moving objects by an arbitrary survey. We find that the LSST should detect between $\sim 0-70$ asteroidal interstellar objects every year (assuming the implied number density), with sensitive dependence on the SFD slope and characteristic albedo of the host population. The apparent rate of motion on the sky -- along with the associated trailing loss -- appears to be the largest barrier to detecting interstellar objects. Specifically, a relatively large number of synthetic objects would be detectable by the LSST if not for their rapid sky-motion ($>0.5^\circ$ d$^{-1}$). Therefore, algorithms that could successfully link and detect rapidly moving objects would significantly increase the number of interstellar object discoveries with the LSST (and in general). The mean diameter of detectable, inactive interstellar objects ranges from $\sim50 - 600$ m and depends sensitively on the SFD slope and albedo.


title: 1D-Touch: NLP-Assisted Coarse Text Selection via a Semi-Direct Gesture

abstract: Existing text selection techniques on touchscreen focus on improving the control for moving the carets. Coarse-grained text selection on word and phrase levels has not received much support beyond word-snapping and entity recognition. We introduce 1D-Touch, a novel text selection method that complements the carets-based sub-word selection by facilitating the selection of semantic units of words and above. This method employs a simple vertical slide gesture to expand and contract a selection area from a word. The expansion can be by words or by semantic chunks ranging from sub-phrases to sentences. This technique shifts the concept of text selection, from defining a range by locating the first and last words, towards a dynamic process of expanding and contracting a textual semantic entity. To understand the effects of our approach, we prototyped and tested two variants: WordTouch, which offers a straightforward word-by-word expansion, and ChunkTouch, which leverages NLP to chunk text into syntactic units, allowing the selection to grow by semantically meaningful units in response to the sliding gesture. Our evaluation, focused on the coarse-grained selection tasks handled by 1D-Touch, shows a 20% improvement over the default word-snapping selection method on Android.


title: Global Structure-Aware Diffusion Process for Low-Light Image Enhancement

abstract: This paper studies a diffusion-based framework to address the low-light image enhancement problem. To harness the capabilities of diffusion models, we delve into this intricate process and advocate for the regularization of its inherent ODE-trajectory. To be specific, inspired by the recent research that low curvature ODE-trajectory results in a stable and effective diffusion process, we formulate a curvature regularization term anchored in the intrinsic non-local structures of image data, i.e., global structure-aware regularization, which gradually facilitates the preservation of complicated details and the augmentation of contrast during the diffusion process. This incorporation mitigates the adverse effects of noise and artifacts resulting from the diffusion process, leading to a more precise and flexible enhancement. To additionally promote learning in challenging regions, we introduce an uncertainty-guided regularization technique, which wisely relaxes constraints on the most extreme regions of the image. Experimental evaluations reveal that the proposed diffusion-based framework, complemented by rank-informed regularization, attains distinguished performance in low-light enhancement. The outcomes indicate substantial advancements in image quality, noise suppression, and contrast amplification in comparison with state-of-the-art methods. We believe this innovative approach will stimulate further exploration and advancement in low-light image processing, with potential implications for other applications of diffusion models. The code is publicly available at https://github.com/jinnh/GSAD.


title: Gravitational lensing for interstellar power transmission

abstract: We investigate light propagation in the gravitational field of multiple gravitational lenses. Assuming these lenses are sufficiently spaced to prevent interaction, we consider a linear alignment for the transmitter, lenses, and receiver. Remarkably, in this axially-symmetric configuration, we can solve the relevant diffraction integrals -- result that offers valuable analytical insights. We show that the point-spread function (PSF) is affected by the number of lenses in the system. Even a single lens is useful for transmission either it is used as a part of the transmitter or it acts on the receiver's side. We show that power transmission via a pair of lenses benefits from light amplification on both ends of the link. The second lens plays an important role by focusing the signal to a much tighter spot; but in practical lensing scenarios, that lens changes the structure of the PSF on scales much smaller than the telescope, so that additional gain due to the presence of the second lens is independent of its properties and is govern solely by the transmission geometry. While evaluating the signal-to-noise ratio (SNR) in various transmitting scenarios, we see that a single-lens transmission performs on par with a pair of lenses. The fact that the second lens amplifies the brightness of the first one, creates a challenging background for signal reception. Nevertheless, in all the cases considered here, we have found practically-relevant SNR values. As a result, we were able to demonstrate the feasibility of establishing interstellar power transmission links relying on gravitational lensing - a finding with profound implications for applications targeting interstellar power transmission.


title: BLIS-Net: Classifying and Analyzing Signals on Graphs

abstract: Graph neural networks (GNNs) have emerged as a powerful tool for tasks such as node classification and graph classification. However, much less work has been done on signal classification, where the data consists of many functions (referred to as signals) defined on the vertices of a single graph. These tasks require networks designed differently from those designed for traditional GNN tasks. Indeed, traditional GNNs rely on localized low-pass filters, and signals of interest may have intricate multi-frequency behavior and exhibit long range interactions. This motivates us to introduce the BLIS-Net (Bi-Lipschitz Scattering Net), a novel GNN that builds on the previously introduced geometric scattering transform. Our network is able to capture both local and global signal structure and is able to capture both low-frequency and high-frequency information. We make several crucial changes to the original geometric scattering architecture which we prove increase the ability of our network to capture information about the input signal and show that BLIS-Net achieves superior performance on both synthetic and real-world data sets based on traffic flow and fMRI data.


title: Fluid dynamics alters liquid-liquid phase separation in confined aqueous two-phase systems

abstract: Liquid-liquid phase separation is key to understanding aqueous two-phase systems (ATPS) arising throughout cell biology, medical science, and the pharmaceutical industry. Controlling the detailed morphology of phase-separating compound droplets leads to new technologies for efficient single-cell analysis, targeted drug delivery, and effective cell scaffolds for wound healing. We present a computational model of liquid-liquid phase separation relevant to recent laboratory experiments with gelatin-polyethylene glycol mixtures. We include buoyancy and surface-tension-driven finite viscosity fluid dynamics with thermally induced phase separation. We show that the fluid dynamics greatly alters the evolution and equilibria of the phase separation problem. Notably, buoyancy plays a critical role in driving the ATPS to energy-minimizing crescent-shaped morphologies and shear flows can generate a tenfold speedup in particle formation. Neglecting fluid dynamics produces incorrect minimum-energy droplet shapes. The model allows for optimization of current manufacturing procedures for structured microparticles and improves understanding of ATPS evolution in confined and flowing settings important in biology and biotechnology.


title: Gravitational Spin Hall Effect of Dirac Particle and the Weak Equivalence Principle

abstract: We present a spin-induced none-geodesic effect of Dirac wave packets in a static uniform gravitational field. Our approach is based on the Foldy-Wouthuysen transformation of Dirac equation in a curved spacetime, which predicts the gravitational spin-orbit coupling. Due to this coupling, we find that the dynamics of the free-fall Dirac wave packets with opposite spin polarization will yield the transverse splitting in the direction perpendicular to spin orientation and gravity, which is known as the gravitational spin Hall effect. Even in a static uniform gravitational field, such effect suggests that the weak equivalence principle is violated for quantum particles.


title: Convergence of flow-based generative models via proximal gradient descent in Wasserstein space

abstract: Flow-based generative models enjoy certain advantages in computing the data generation and the likelihood, and have recently shown competitive empirical performance. Compared to the accumulating theoretical studies on related score-based diffusion models, analysis of flow-based models, which are deterministic in both forward (data-to-noise) and reverse (noise-to-data) directions, remain sparse. In this paper, we provide a theoretical guarantee of generating data distribution by a progressive flow model, the so-called JKO flow model, which implements the Jordan-Kinderleherer-Otto (JKO) scheme in a normalizing flow network. Leveraging the exponential convergence of the proximal gradient descent (GD) in Wasserstein space, we prove the Kullback-Leibler (KL) guarantee of data generation by a JKO flow model to be $O(\varepsilon^2)$ when using $N \lesssim \log (1/\varepsilon)$ many JKO steps ($N$ Residual Blocks in the flow) where $\varepsilon $ is the error in the per-step first-order condition. The assumption on data density is merely a finite second moment, and the theory extends to data distributions without density and when there are inversion errors in the reverse process where we obtain KL-$W_2$ mixed error guarantees. The non-asymptotic convergence rate of the JKO-type $W_2$-proximal GD is proved for a general class of convex objective functionals that includes the KL divergence as a special case, which can be of independent interest. The analysis framework can extend to other first-order Wasserstein optimization schemes applied to flow-based generative models.


title: Virial coefficients of the Uniform Electron Gas from Path Integral Monte Carlo Simulations

abstract: The properties of plasmas in the low-density limit are described by virial expansions. Analytical expressions are known from Green's function approaches only for the first three virial coefficients. Accurate path integral Monte Carlo (PIMC) simulations have recently been performed for the uniform electron gas, allowing the virial expansions to be analyzed and interpolation formulas to be derived. The exact expression for the second virial coefficient is used to test the accuracy of the PIMC simulations and the range of validity of the interpolation formula of Groth {\it et al.}~[Phys.~Rev.~Lett.~\textbf{119}, 135001 (2017)]. We discuss the fourth virial coefficient, which is of interest, e.g., for properties of solar plasmas, but has not yet been precisely known. Combining PIMC simulations with benchmarks from exact results of the virial expansion would allow us to obtain precise results for the equation of state (EoS) in a wide range of parameters.


title: A minimax optimal control approach for robust neural ODEs

abstract: In this paper, we address the adversarial training of neural ODEs from a robust control perspective. This is an alternative to the classical training via empirical risk minimization, and it is widely used to enforce reliable outcomes for input perturbations. Neural ODEs allow the interpretation of deep neural networks as discretizations of control systems, unlocking powerful tools from control theory for the development and the understanding of machine learning. In this specific case, we formulate the adversarial training with perturbed data as a minimax optimal control problem, for which we derive first order optimality conditions in the form of Pontryagin's Maximum Principle. We provide a novel interpretation of robust training leading to an alternative weighted technique, which we test on a low-dimensional classification task.


title: Boosting Biomolecular Switch Efficiency With Quantum Coherence

abstract: The resource theory of quantum thermodynamics has emerged as a powerful tool for exploring the out-of-equilibrium dynamics of microscopic and highly correlated systems. Recently, it has been employed in photoisomerization, a mechanism facilitating vision through the isomerism of the photo receptor protein rhodopsin, to elucidate the fundamental limits of efficiency inherent in this physical process. Limited attention has been given to the impact of energetic quantum coherences in this process, as these coherences do not influence the energy level populations within an individual molecule subjected to thermal operations. However, a specific type of energetic quantum coherences can impact the energy level populations in the scenario involving two or more molecules. In this study, we examine the case of two molecules undergoing photoisomerization to show that energetic quantum coherence can function as a resource that amplifies the efficiency of photoisomerization. These insights offer evidence for the role of energetic quantum coherence as a key resource in the realm of quantum thermodynamics at mesoscopic scales.


title: Global Voices, Local Biases: Socio-Cultural Prejudices across Languages

abstract: Human biases are ubiquitous but not uniform: disparities exist across linguistic, cultural, and societal borders. As large amounts of recent literature suggest, language models (LMs) trained on human data can reflect and often amplify the effects of these social biases. However, the vast majority of existing studies on bias are heavily skewed towards Western and European languages. In this work, we scale the Word Embedding Association Test (WEAT) to 24 languages, enabling broader studies and yielding interesting findings about LM bias. We additionally enhance this data with culturally relevant information for each language, capturing local contexts on a global scale. Further, to encompass more widely prevalent societal biases, we examine new bias dimensions across toxicity, ableism, and more. Moreover, we delve deeper into the Indian linguistic landscape, conducting a comprehensive regional bias analysis across six prevalent Indian languages. Finally, we highlight the significance of these social biases and the new dimensions through an extensive comparison of embedding methods, reinforcing the need to address them in pursuit of more equitable language models. All code, data and results are available here: https://github.com/iamshnoo/weathub.


title: Phase Separation, Edge Currents, and Hall Effect for Active Matter with Magnus Dynamics

abstract: We examine run and tumble disks in two-dimensional systems where the particles also have a Magnus component to their dynamics. For increased activity, we find that the system forms a motility-induced phase-separated (MIPS) state with chiral edge flow around the clusters, where the direction of the current is correlated with the sign of the Magnus term. The stability of the MIPS state is non-monotonic as a function of increasing Magnus term amplitude, with the MIPS region first extending down to lower activities followed by a break up of MIPS at large Magnus amplitudes into a gel-like state. We examine the dynamics in the presence of quenched disorder and a uniform drive, and find that the bulk flow exhibits a drive-dependent Hall angle. This is a result of the side jump effect produced by scattering from the pinning sites, and is similar to the behavior found for skyrmions in chiral magnets with quenched disorder.


title: PAC-tuning:Fine-tuning Pretrained Language Models with PAC-driven Perturbed Gradient Descent

abstract: Fine-tuning pretrained language models (PLMs) for downstream tasks is a large-scale optimization problem, in which the choice of the training algorithm critically determines how well the trained model can generalize to unseen test data, especially in the context of few-shot learning. To achieve good generalization performance and avoid overfitting, techniques such as data augmentation and pruning are often applied. However, adding these regularizations necessitates heavy tuning of the hyperparameters of optimization algorithms, such as the popular Adam optimizer. In this paper, we propose a two-stage fine-tuning method, PAC-tuning, to address this optimization challenge. First, based on PAC-Bayes training, PAC-tuning directly minimizes the PAC-Bayes generalization bound to learn proper parameter distribution. Second, PAC-tuning modifies the gradient by injecting noise with the variance learned in the first stage into the model parameters during training, resulting in a variant of perturbed gradient descent (PGD). In the past, the few-shot scenario posed difficulties for PAC-Bayes training because the PAC-Bayes bound, when applied to large models with limited training data, might not be stringent. Our experimental results across 5 GLUE benchmark tasks demonstrate that PAC-tuning successfully handles the challenges of fine-tuning tasks and outperforms strong baseline methods by a visible margin, further confirming the potential to apply PAC training for any other settings where the Adam optimizer is currently used for training.


title: An Open Source Data Contamination Report for Large Language Models

abstract: Data contamination in model evaluation has become increasingly prevalent with the growing popularity of large language models. It allows models to "cheat" via memorisation instead of displaying true capabilities. Therefore, contamination analysis has become an crucial part of reliable model evaluation to validate results. However, existing contamination analysis is usually conducted internally by large language model developers and often lacks transparency and completeness. This paper presents an extensive data contamination report for over 15 popular large language models across six popular multiple-choice QA benchmarks. We also introduce an open-source pipeline that enables the community to perform contamination analysis on customised data and models. Our experiments reveal varying contamination levels ranging from 1\% to 45\% across benchmarks, with the contamination degree increasing rapidly over time. Performance analysis of large language models indicates that data contamination does not necessarily lead to increased model metrics: while significant accuracy boosts of up to 14\% and 7\% are observed on contaminated C-Eval and Hellaswag benchmarks, only a minimal increase is noted on contaminated MMLU. We also find larger models seem able to gain more advantages than smaller models on contaminated test sets.


title: Noise-Free Score Distillation

abstract: Score Distillation Sampling (SDS) has emerged as the de facto approach for text-to-content generation in non-image domains. In this paper, we reexamine the SDS process and introduce a straightforward interpretation that demystifies the necessity for large Classifier-Free Guidance (CFG) scales, rooted in the distillation of an undesired noise term. Building upon our interpretation, we propose a novel Noise-Free Score Distillation (NFSD) process, which requires minimal modifications to the original SDS framework. Through this streamlined design, we achieve more effective distillation of pre-trained text-to-image diffusion models while using a nominal CFG scale. This strategic choice allows us to prevent the over-smoothing of results, ensuring that the generated data is both realistic and complies with the desired prompt. To demonstrate the efficacy of NFSD, we provide qualitative examples that compare NFSD and SDS, as well as several other methods.


title: Lil-Bevo: Explorations of Strategies for Training Language Models in More Humanlike Ways

abstract: We present Lil-Bevo, our submission to the BabyLM Challenge. We pretrained our masked language models with three ingredients: an initial pretraining with music data, training on shorter sequences before training on longer ones, and masking specific tokens to target some of the BLiMP subtasks. Overall, our baseline models performed above chance, but far below the performance levels of larger LLMs trained on more data. We found that training on short sequences performed better than training on longer sequences.Pretraining on music may help performance marginally, but, if so, the effect seems small. Our targeted Masked Language Modeling augmentation did not seem to improve model performance in general, but did seem to help on some of the specific BLiMP tasks that we were targeting (e.g., Negative Polarity Items). Training performant LLMs on small amounts of data is a difficult but potentially informative task. While some of our techniques showed some promise, more work is needed to explore whether they can improve performance more than the modest gains here. Our code is available at https://github.com/venkatasg/Lil-Bevo and out models at https://huggingface.co/collections/venkatasg/babylm-653591cdb66f4bf68922873a


title: Linear $x$-coordinate relations of triples on elliptic curves

abstract: For an elliptic curve $E$ defined over the field $\mathbb{C}$ of complex numbers, we classify all translates of elliptic curves in $E^3$ such that the $x$-coordinates satisfy a linear equation. This classification enables us to establish a relation between the rank of finite rank subgroups of $E$ and triples in $E$ whose $x$-coordinates are linearly related. The method of proof integrates complex analytic techniques on elliptic curves with results of Gao, Ge and K\"uhne on Uniform Mordell-Lang Conjecture for subvarieties in abelian varieties.


title: Time-dependence of SrVO$_3$ thermionic electron emission properties

abstract: Thermionic electron emission cathodes are critical components of various high power and high frequency vacuum electronic devices, electron microscopes, e-beam lithographic devices, and thermionic energy converters, which all demand an efficient and long-lasting low work function cathode. Single phase, polycrystalline perovskite oxide SrVO$_3$, with its intrinsic low effective work function and facile synthesis process, is a promising cathode candidate, where previous works have shown evidence of an effective work function as low as 2.3 eV. However, assessment of the stability over time under conditions relevant for operation and the related interplay of evolving surface chemistry with emission performance are still missing, and necessary for understanding how to best prepare, process and operate SrVO$_3$ cathodes. In this work, we study the vacuum activation process of SrVO$_3$ and find it has promising emission stability over 15 days of continuous high temperature operation. We find that SrVO$_3$ shows surface Sr and O segregation during operation, which we hypothesize is needed to create a positive surface dipole, leading to low effective work function. Emission repeatability from cyclic heating and cooling suggests the promising stability of the low effective work function surface, and additional observations of drift-free emission during one hour of continuous emission testing at high temperature further demonstrates its excellent performance stability.


title: SPA: A Graph Spectral Alignment Perspective for Domain Adaptation

abstract: Unsupervised domain adaptation (UDA) is a pivotal form in machine learning to extend the in-domain model to the distinctive target domains where the data distributions differ. Most prior works focus on capturing the inter-domain transferability but largely overlook rich intra-domain structures, which empirically results in even worse discriminability. In this work, we introduce a novel graph SPectral Alignment (SPA) framework to tackle the tradeoff. The core of our method is briefly condensed as follows: (i)-by casting the DA problem to graph primitives, SPA composes a coarse graph alignment mechanism with a novel spectral regularizer towards aligning the domain graphs in eigenspaces; (ii)-we further develop a fine-grained message propagation module -- upon a novel neighbor-aware self-training mechanism -- in order for enhanced discriminability in the target domain. On standardized benchmarks, the extensive experiments of SPA demonstrate that its performance has surpassed the existing cutting-edge DA methods. Coupled with dense model analysis, we conclude that our approach indeed possesses superior efficacy, robustness, discriminability, and transferability. Code and data are available at: https://github.com/CrownX/SPA.


title: Model-theoretic properties of nilpotent groups and Lie algebras

abstract: We give a systematic study of the model theory of generic nilpotent groups and Lie algebras. We show that the Fra\"iss\'e limit of 2-nilpotent groups of exponent $p$ studied by Baudisch is 2-dependent and NSOP$_{1}$. We prove that the class of $c$-nilpotent Lie algebras over an arbitrary field, in a language with predicates for a Lazard series, is closed under free amalgamation. We show that for $2 < c$, the generic $c$-nilpotent Lie algebra over $\mathbb{F}_{p}$ is strictly NSOP$_{4}$ and $c$-dependent. Via the Lazard correspondence, we obtain the same result for $c$-nilpotent groups of exponent $p$, for an odd prime $p > c$.


title: MimicGen: A Data Generation System for Scalable Robot Learning using Human Demonstrations

abstract: Imitation learning from a large set of human demonstrations has proved to be an effective paradigm for building capable robot agents. However, the demonstrations can be extremely costly and time-consuming to collect. We introduce MimicGen, a system for automatically synthesizing large-scale, rich datasets from only a small number of human demonstrations by adapting them to new contexts. We use MimicGen to generate over 50K demonstrations across 18 tasks with diverse scene configurations, object instances, and robot arms from just ~200 human demonstrations. We show that robot agents can be effectively trained on this generated dataset by imitation learning to achieve strong performance in long-horizon and high-precision tasks, such as multi-part assembly and coffee preparation, across broad initial state distributions. We further demonstrate that the effectiveness and utility of MimicGen data compare favorably to collecting additional human demonstrations, making it a powerful and economical approach towards scaling up robot learning. Datasets, simulation environments, videos, and more at https://mimicgen.github.io .


title: Engineering Waveguide Nonlinear Effective Length via Low Index Thin Films

abstract: Novel photonic nanowires were fabricated using low-index materials and tested in the near-infrared spectrum to assess their nonlinear optical properties. In this work, we argue the need to redefine the standard nonlinear figure of merit in terms of nonlinear phase shift and optical transmission for a given propagation distance. According to this new metric, our devices largely outperform all established platforms for devices with a linear footprint in the range of 50 to 500 um, which is demonstrated to be an outstanding technological gap. For 85 fs pulses, with carrier wavelength at 1480nm and sub-uW power levels, a spectral broadening exceeding 80% of the initial bandwidth was recorded over a propagation length of just 50 um. Leveraging on CMOS-compatible processes and well-established materials such as silicon, silica, and indium tin oxide, our devices bring great promise for developing alternative all-optical devices with unparalleled nonlinear performances within the aforementioned range.


title: A fresh look at the nested soft-collinear subtraction scheme: NNLO QCD corrections to $N$-gluon final states in $q\bar{q}$ annihilation

abstract: We describe how the nested soft-collinear subtraction scheme [1] can be used to compute the next-to-next-to-leading order (NNLO) QCD corrections to the production of an arbitrary number of gluonic jets in hadron collisions. We show that the infrared subtraction terms can be combined into recurring structures that in many cases are simple iterations of those terms known from next-to-leading order. The way that these recurring structures are identified and computed is fairly general, and can be applied to any partonic process. As an example, we explicitly demonstrate the cancellation of all singularities in the fully-differential cross section for the $q\bar{q} \to X + N g $ process at NNLO in QCD. The finite remainder of the NNLO QCD contribution, which arises upon cancellation of all $\epsilon$-poles, is expressed via relatively simple formulas, which can be implemented in a numerical code in a straightforward way. Our approach can be extended to describe arbitrary processes at NNLO in QCD; the largest remaining challenge at this point is the combinatorics of quark and gluon collinear limits.


title: Time-dependent electromagnetic scattering from dispersive materials

abstract: This paper studies time-dependent electromagnetic scattering from metamaterials that are described by dispersive material laws. We consider the numerical treatment of a scattering problem in which a dispersive material law, for a causal and passive homogeneous material, determines the wave-material interaction in the scatterer. The resulting problem is nonlocal in time inside the scatterer and is posed on an unbounded domain. Well-posedness of the scattering problem is shown using a formulation that is fully given on the surface of the scatterer via a time-dependent boundary integral equation. Discretizing this equation by convolution quadrature in time and boundary elements in space yields a provably stable and convergent method that is fully parallel in time and space. Under regularity assumptions on the exact solution we derive error bounds with explicit convergence rates in time and space. Numerical experiments illustrate the theoretical results and show the effectiveness of the method.


title: The sparse circular law, revisited

abstract: Let $A_n$ be an $n\times n$ matrix with iid entries distributed as Bernoulli random variables with parameter $p = p_n$. Rudelson and Tikhomirov, in a beautiful and celebrated paper, show that the distribution of eigenvalues of $A_n \cdot (pn)^{-1/2}$ is approximately uniform on the unit disk as $n\rightarrow \infty$ as long as $pn \rightarrow \infty$, which is the natural necessary condition. In this paper we give a much simpler proof of this result, in its full generality, using a perspective we developed in our recent proof of the existence of the limiting spectral law when $pn$ is bounded. One feature of our proof is that it avoids the use of $\epsilon$-nets entirely and, instead, proceeds by studying the evolution of the singular values of the shifted matrices $A_n-zI$ as we incrementally expose the randomness in the matrix.


title: A boundary projection for the dilation order

abstract: Motivated by Arveson's conjecture, we introduce a notion of hyperrigidity for a partial order on the state space of a $C^*$-algebra $B$. We show how this property is equivalent to the existence of a boundary: a subset of the pure states which completely encodes maximality in the given order. In the classical case where $B$ is commutative, such boundaries are known to exist when the partial order is induced by some well-behaved cone. However, the relevant order for the purposes of Arveson's conjecture is the dilation order, which is not known to fit into this framework. Our main result addresses this difficulty by showing that the dilation maximal states are stable under absolute continuity. Consequently, we obtain the existence of a boundary projection in the bidual $B^{**}$, on which all dilation maximal states must be concentrated. The topological regularity of this boundary projection is shown to lie at the heart of Arveson's conjecture. Our techniques do not require $B$ to be commutative.


title: Simulation-based Inference of Reionization Parameters from 3D Tomographic 21 cm Light-cone Images -- II: Application of Solid Harmonic Wavelet Scattering Transform

abstract: The information regarding how the intergalactic medium is reionized by astrophysical sources is contained in the tomographic three-dimensional 21 cm images from the epoch of reionization. In Zhao et al. (2022a) ("Paper I"), we demonstrated for the first time that density estimation likelihood-free inference (DELFI) can be applied efficiently to perform a Bayesian inference of the reionization parameters from the 21 cm images. Nevertheless, the 3D image data needs to be compressed into informative summaries as the input of DELFI by, e.g., a trained 3D convolutional neural network (CNN) as in Paper I (DELFI-3D CNN). Here in this paper, we introduce an alternative data compressor, the solid harmonic wavelet scattering transform (WST), which has a similar, yet fixed (i.e. no training), architecture to CNN, but we show that this approach (i.e. solid harmonic WST with DELFI) outperforms earlier analyses based on 3D 21 cm images using DELFI-3D CNN in terms of credible regions of parameters. Realistic effects, including thermal noise and residual foreground after removal, are also applied to the mock observations from the Square Kilometre Array (SKA). We show that under the same inference strategy using DELFI, the 21 cm image analysis with solid harmonic WST outperforms the 21 cm power spectrum analysis. This research serves as a proof of concept, demonstrating the potential to harness the strengths of WST and simulation-based inference to derive insights from future 21 cm light-cone image data.


title: An efficient frequency-independent numerical method for computing the far-field pattern induced by polygonal obstacles

abstract: For problems of time-harmonic scattering by rational polygonal obstacles, embedding formulae express the far-field pattern induced by any incident plane wave in terms of the far-field patterns for a relatively small (frequency-independent) set of canonical incident angles. Although these remarkable formulae are exact in theory, here we demonstrate that: (i) they are highly sensitive to numerical errors in practice, and (ii) direct calculation of the coefficients in these formulae may be impossible for particular sets of canonical incident angles, even in exact arithmetic. Only by overcoming these practical issues can embedding formulae provide a highly efficient approach to computing the far-field pattern induced by a large number of incident angles. Here we address challenges (i) and (ii), supporting our theory with numerical experiments. Challenge (i) is solved using techniques from computational complex analysis: we reformulate the embedding formula as a complex contour integral and prove that this is much less sensitive to numerical errors. In practice, this contour integral can be efficiently evaluated by residue calculus. Challenge (ii) is addressed using techniques from numerical linear algebra: we oversample, considering more canonical incident angles than are necessary, thus expanding the set of valid coefficient vectors. The coefficient vector can then be selected using either a least squares approach or column subset selection.


title: Characterization of acetonitrile ice irradiated by X-rays employing the PROCODA code: II. Desorption processes

abstract: In this work, we focus on the study of radiation induced desorption processes that occurred in acetonitrile ice irradiated by broadband X-rays (6 eV to 2 keV) monitored by FTIR spectroscopy at different radiation fluences. In a previous work, we used the PROCODA code to derive the chemical evolution of the ice. Here, we have obtained that the acetonitrile desorbed column density is at least two orders of magnitude larger than the desorbed column densities of daughter or granddaughter molecular species at chemical equilibrium stage. This indicates that total desorption column density is mainly governed by the father molecule, as also previously hypothesized in experimental studies. This occurs basically because the acetonitrile column density is larger than the other ones. In particular, at chemical equilibrium acetonitrile desorption column density represents almost 98\% of the total, while it is close to 1\% for H, CN and CH$_2$, the species with larger molecular desorption percentages at chemical equilibrium. Another derived quantity is what we called intrinsic desorption rate, which is a number per second for individual species. Some of the larger intrinsic desorption rates were: CH$_3$CN ($6.2\times 10^{-6}$), CN ($6.2\times 10^{-6}$), H ($5.7\times 10^{-6}$), CH$_2$ ($5.7\times 10^{-6}$) and C$_2$N$_2$ ($4.4\times 10^{-6}$). These results help to put constrain in astrochemical models and can be also useful to clarify some astronomical radio observations.

categories: astro-ph.HE astro-ph.GA astro-ph.IM astro-ph.SR


title: Orbital-optimized Density Functional Calculations of Molecular Rydberg Excited States with Real Space Grid Representation and Self-Interaction Correction

abstract: Density functional calculations of Rydberg excited states up to high energy are carried out for several molecules using an approach where the orbitals are variationally optimized by converging on saddle points on the electronic energy surface within a real space grid representation. Remarkably good agreement with experimental estimates of the excitation energy is obtained using the generalized gradient approximation (GGA) functional of Perdew, Burke and Ernzerhof (PBE) when Perdew-Zunger self-interaction correction is applied in combination with complex-valued orbitals. Even without the correction, the PBE functional gives quite good results despite the fact that corresponding Rydberg virtual orbitals have positive energy in the ground state calculation. Results obtained using the TPSS and r2SCAN meta-GGA functionals are also presented, but they do not provide a systematic improvement over the results from the uncorrected PBE functional. The grid representation combined with the projector augmented-wave approach gives a simpler and better representation of the diffuse Rydberg orbitals than a linear combination of atomic orbitals with commonly used basis sets, the latter leading to an overestimation of the excitation energy due to confinement of the excited states.


title: Using State-of-the-Art Speech Models to Evaluate Oral Reading Fluency in Ghana

abstract: This paper reports on a set of three recent experiments utilizing large-scale speech models to evaluate the oral reading fluency (ORF) of students in Ghana. While ORF is a well-established measure of foundational literacy, assessing it typically requires one-on-one sessions between a student and a trained evaluator, a process that is time-consuming and costly. Automating the evaluation of ORF could support better literacy instruction, particularly in education contexts where formative assessment is uncommon due to large class sizes and limited resources. To our knowledge, this research is among the first to examine the use of the most recent versions of large-scale speech models (Whisper V2 wav2vec2.0) for ORF assessment in the Global South. We find that Whisper V2 produces transcriptions of Ghanaian students reading aloud with a Word Error Rate of 13.5. This is close to the model's average WER on adult speech (12.8) and would have been considered state-of-the-art for children's speech transcription only a few years ago. We also find that when these transcriptions are used to produce fully automated ORF scores, they closely align with scores generated by expert human graders, with a correlation coefficient of 0.96. Importantly, these results were achieved on a representative dataset (i.e., students with regional accents, recordings taken in actual classrooms), using a free and publicly available speech model out of the box (i.e., no fine-tuning). This suggests that using large-scale speech models to assess ORF may be feasible to implement and scale in lower-resource, linguistically diverse educational contexts.


title: 2-Form U(1) Spin Liquids: Classical Model and Quantum Aspects

abstract: We introduce a novel geometrically frustrated classical Ising model, dubbed the "spin vorticity model", whose ground state manifold is a novel classical spin liquid, a "2-form Coulomb phase". We study the thermodynamics of this model both analytically and numerically, exposing the presence of algebraically decaying correlations and demonstrating an extensive ground state entropy, and give a comprehensive account of its ground state properties and excitations. Each classical ground state may be decomposed into collections of closed 2-dimensional membranes, supporting fractionalized string excitations attached to the boundaries of open membranes. At finite temperature, the model can then be described as a gas of closed strings in a background of fluctuating membranes. We demonstrate that the emergent gauge structure of the low-temperature phase is naturally captured in the formalism of 2-form electrodynamics, which describes 1-dimensional charged strings coupled to a rank-2 anti-symmetric gauge field. After establishing the classical spin vorticity model, we consider perturbing it with quantum exchange interactions, from which we derive an effective membrane exchange model of the quantum dynamics of these membranes, which maps to a frustrated 2-form U(1) lattice gauge theory. We show the existence of a fine-tuned Rokhsar-Kivelson point where the quantum ground state is an equal weight superposition of all classical ground state configurations. We further demonstrate how to quantize the string excitations, by coupling a 1-form string field to the emergent 2-form U(1) gauge field, thus mapping a quantum spin model to a 2-form gauge-Higgs model. We discuss the stability of the gapless deconfined phase of this gauge theory and the possibility of realizing a novel class of phases of quantum matter: 2-form U(1) quantum spin liquids.


title: On the generalized numerical criterion

abstract: In this note, we give examples that demonstrate a negative answer to the generalized numerical criterion problem for pairs.


title: LeCaRDv2: A Large-Scale Chinese Legal Case Retrieval Dataset

abstract: As an important component of intelligent legal systems, legal case retrieval plays a critical role in ensuring judicial justice and fairness. However, the development of legal case retrieval technologies in the Chinese legal system is restricted by three problems in existing datasets: limited data size, narrow definitions of legal relevance, and naive candidate pooling strategies used in data sampling. To alleviate these issues, we introduce LeCaRDv2, a large-scale Legal Case Retrieval Dataset (version 2). It consists of 800 queries and 55,192 candidates extracted from 4.3 million criminal case documents. To the best of our knowledge, LeCaRDv2 is one of the largest Chinese legal case retrieval datasets, providing extensive coverage of criminal charges. Additionally, we enrich the existing relevance criteria by considering three key aspects: characterization, penalty, procedure. This comprehensive criteria enriches the dataset and may provides a more holistic perspective. Furthermore, we propose a two-level candidate set pooling strategy that effectively identify potential candidates for each query case. It's important to note that all cases in the dataset have been annotated by multiple legal experts specializing in criminal law. Their expertise ensures the accuracy and reliability of the annotations. We evaluate several state-of-the-art retrieval models at LeCaRDv2, demonstrating that there is still significant room for improvement in legal case retrieval. The details of LeCaRDv2 can be found at the anonymous website https://github.com/anonymous1113243/LeCaRDv2.


title: A qualitative difference between gradient flows of convex functions in finite- and infinite-dimensional Hilbert spaces

abstract: We consider gradient flow/gradient descent and heavy ball/accelerated gradient descent optimization for convex objective functions. In the gradient flow case, we prove the following: 1. If $f$ does not have a minimizer, the convergence $f(x_t)\to \inf f$ can be arbitrarily slow. 2. If $f$ does have a minimizer, the excess energy $f(x_t) - \inf f$ is integrable/summable in time. In particular, $f(x_t) - \inf f = o(1/t)$ as $t\to\infty$. 3. In Hilbert spaces, this is optimal: $f(x_t) - \inf f$ can decay to $0$ as slowly as any given function which is monotone decreasing and integrable at $\infty$, even for a fixed quadratic objective. 4. In finite dimension (or more generally, for all gradient flow curves of finite length), this is not optimal: We prove that there are convex monotone decreasing integrable functions $g(t)$ which decrease to zero slower than $f(x_t)-\inf f$ for the gradient flow of any convex function on $\mathbb R^d$. For instance, we show that any gradient flow $x_t$ of a convex function $f$ in finite dimension satisfies $\liminf_{t\to\infty} \big(t\cdot \log^2(t)\cdot \big\{f(x_t) -\inf f\big\}\big)=0$. This improves on the commonly reported $O(1/t)$ rate and provides a sharp characterization of the energy decay law. We also note that it is impossible to establish a rate $O(1/(t\phi(t))$ for any function $\phi$ which satisfies $\lim_{t\to\infty}\phi(t) = \infty$, even asymptotically. Similar results are obtained in related settings for (1) discrete time gradient descent, (2) stochastic gradient descent with multiplicative noise and (3) the heavy ball ODE. In the case of stochastic gradient descent, the summability of $\mathbb E[f(x_n) - \inf f]$ is used to prove that $f(x_n)\to \inf f$ almost surely - an improvement on the convergence almost surely up to a subsequence which follows from the $O(1/n)$ decay estimate.

categories: math.OC cs.LG cs.NA math.CA math.NA stat.ML


title: Uncovering Meanings of Embeddings via Partial Orthogonality

abstract: Machine learning tools often rely on embedding text as vectors of real numbers. In this paper, we study how the semantic structure of language is encoded in the algebraic structure of such embeddings. Specifically, we look at a notion of ``semantic independence'' capturing the idea that, e.g., ``eggplant'' and ``tomato'' are independent given ``vegetable''. Although such examples are intuitive, it is difficult to formalize such a notion of semantic independence. The key observation here is that any sensible formalization should obey a set of so-called independence axioms, and thus any algebraic encoding of this structure should also obey these axioms. This leads us naturally to use partial orthogonality as the relevant algebraic structure. We develop theory and methods that allow us to demonstrate that partial orthogonality does indeed capture semantic independence. Complementary to this, we also introduce the concept of independence preserving embeddings where embeddings preserve the conditional independence structures of a distribution, and we prove the existence of such embeddings and approximations to them.


title: Steady-state topological order

abstract: We investigate a generalization of topological order from closed systems to open systems, for which the steady states take the place of ground states. We construct typical lattice models with steady-state topological order, and characterize them by complementary approaches based on topological degeneracy of steady states, topological entropy, and dissipative gauge theory. Whereas the (Liouvillian) level splitting between topologically degenerate steady states is exponentially small with respect to the system size, the Liouvillian gap between the steady states and the rest of the spectrum decays algebraically as the system size grows, and closes in the thermodynamic limit. It is shown that steady-state topological order remains definable in the presence of (Liouvillian) gapless modes. The topological phase transition to the trivial phase, where the topological degeneracy is lifted, is accompanied by gapping out the gapless modes. Our work offers a toolbox for investigating open-system topology of steady states.

categories: quant-ph cond-mat.mes-hall cond-mat.quant-gas cond-mat.str-el


title: On The Toric Ideals of the Coloured Graphs of Reduced Words

abstract: We study a family $\mathcal{B}$ of pseudo-multipartite graphs indexed by staircase partitions. They are realised from the reduced words of certain class of permutations. We investigate the vertex proper colouring of these graphs and give the general chromatic polynomial. For each member $B_{\lambda}$, we construct an affine toric ideal $\mathcal{I}_{B_{\lambda}}$ associated to vertex proper colouring using partition identity. It turns out that the projective version $\mathcal{V}(\mathcal{I}_{B_{\lambda}})$ is realised from the cartoon diagram associated with the vertex proper colouring.


title: Topological and magnetic properties of the interacting Bernevig-Hughes-Zhang model

abstract: We investigate the effects of electronic correlations on the Bernevig-Hughes-Zhang model using the real-space density matrix renormalization group (DMRG) algorithm. We introduce a method to probe topological phase transitions in systems with strong correlations using DMRG, substantiated by an unsupervised machine learning methodology that analyzes the orbital structure of the real-space edges. Including the full multi-orbital Hubbard interaction term, we construct a phase diagram as a function of a gap parameter ($m$) and the Hubbard interaction strength ($U$) via exact DMRG simulations on $N\times 4$ cylinders. Our analysis confirms that the topological phase persists in the presence of interactions, consistent with previous studies, but it also reveals an intriguing phase transition from a paramagnetic to an antiferromagnetic topological insulator. The combination of the magnetic structure factor, strength of magnetic moments, and the orbitally resolved density, provides real-space information on both topology and magnetism in a strongly correlated system.


title: Arbitrary finite intersections of doubling measures and applications

abstract: Using a wide array of machinery from diverse fields across mathematics, we provide a construction of a measure on the real line which is doubling on all $n$-adic intervals for any finite list of $n\in\mathbb{N}$, yet not doubling overall. In particular, we extend previous results in the area, where only two coprime numbers $n$ were allowed, by using substantially new ideas. In addition, we provide several nontrivial applications to reverse H\"older weights, $A_p$ weights, Hardy spaces, BMO and VMO function classes, and connect our results with key principles and conjectures across number theory.


title: Verifying Programs with Logic and Extended Proof Rules: Deep Embedding v.s. Shallow Embedding

abstract: Many foundational program verification tools have been developed to build machine-checked program correctness proofs, a majority of which are based on Hoare logic. Their program logics, their assertion languages, and their underlying programming languages can be formalized by either a shallow embedding or a deep embedding. Tools like Iris and early versions of Verified Software Toolchain (VST) choose different shallow embeddings to formalize their program logics. But the pros and cons of these different embeddings were not yet well studied. Therefore, we want to study the impact of the program logic's embedding on logic's proof rules in this paper. This paper considers a set of useful extended proof rules, and four different logic embeddings: one deep embedding and three common shallow embeddings. We prove the validity of these extended rules under these embeddings and discuss their main challenges. Furthermore, we propose a method to lift existing shallowly embedded logics to deeply embedded ones to greatly simplify proofs of extended rules in specific proof systems. We evaluate our results on two existing verification tools. We lift the originally shallowly embedded VST to our deeply embedded VST to support extended rules, and we implement Iris-CF and deeply embedded Iris-Imp based on the Iris framework to evaluate our theory in real verification projects.


title: Experimental prospects for indirect BSM searches in $e^{-}e^{+}\rightarrow q\bar{q}$ ($q=c,b$) processes at Higgs Factories

abstract: This contribution explores the ability to probe BSM physics by using the experimental prospects for measuring the forward-backward asymmetry ($A_{FB}$) in $e^{+}e^{-}\rightarrow b\bar{b}$ and $e^{+}e^{-}\rightarrow c\bar{c}$ processes at the baseline energy points of ILC: 250 and 500 GeV. The studies are based on the full simulation samples and reconstruction chains from the ILD concept group. The BSM models studied are two different types of gauge-Higgs unification (GHU) models that predict BSM Z$^\prime$ resonances at the TeV scale.


title: Applications of emulation and Bayesian methods in heavy-ion physics

abstract: Heavy-ion collisions provide a window into the properties of many-body systems of deconfined quarks and gluons. Understanding the collective properties of quarks and gluons is possible by comparing models of heavy-ion collisions to measurements of the distribution of particles produced at the end of the collisions. These model-to-data comparisons are extremely challenging, however, because of the complexity of the models, the large amount of experimental data, and their uncertainties. Bayesian inference provides a rigorous statistical framework to constrain the properties of nuclear matter by systematically comparing models and measurements. This review covers model emulation and Bayesian methods as applied to model-to-data comparisons in heavy-ion collisions. Replacing the model outputs (observables) with Gaussian process emulators is key to the Bayesian approach currently used in the field, and both current uses of emulators and related recent developments are reviewed. The general principles of Bayesian inference are then discussed along with other Bayesian methods, followed by a systematic comparison of seven recent Bayesian analyses that studied quark-gluon plasma properties, such as the shear and bulk viscosities. The latter comparison is used to illustrate sources of differences in analyses, and what it can teach us for future studies.


title: Mimicking two field inflationary features with a single field

abstract: It is well known that damped superimposed oscillations at large scales in the primordial power spectrum can be generated in both single field and two field models. In single field inflationary models, these features typically arise due to deviations from the slow roll regime. On the other hand, in two field models, these features are generated due to a turn in the background trajectory in the field space. In this work, we demonstrate that both single field and two field models can produce identical features at large scales in the primordial power spectrum. To achieve this, we utilize the generalized slow roll approximation and successfully reconstruct single field models based on the featured power spectrum typically generated in two field models. To validate our methodology, we numerically calculate the power spectrum from the reconstructed potential and find a remarkable agreement with the power spectrum which is obtained from the two field model.


title: Radar-Only Off-Road Local Navigation

abstract: Off-road robotics have traditionally utilized lidar for local navigation due to its accuracy and high resolution. However, the limitations of lidar, such as reduced performance in harsh environmental conditions and limited range, have prompted the exploration of alternative sensing technologies. This paper investigates the potential of radar for off-road local navigation, as it offers the advantages of a longer range and the ability to penetrate dust and light vegetation. We adapt existing lidar-based methods for radar and evaluate the performance in comparison to lidar under various off-road conditions. We show that radar can provide a significant range advantage over lidar while maintaining accuracy for both ground plane estimation and obstacle detection. And finally, we demonstrate successful autonomous navigation at a speed of 2.5 m/s over a path length of 350 m using only radar for ground plane estimation and obstacle detection.