title: A tiny public key scheme based on Niederreiter Cryptosystem

abstract: Due to the weakness of public key cryptosystems encounter of quantum computers, the need to provide a solution was emerged. The McEliece cryptosystem and its security equivalent, the Niederreiter cryptosystem, which are based on Goppa codes, are one of the solutions, but they are not practical due to their long key length. Several prior attempts to decrease the length of the public key in code-based cryptosystems involved substituting the Goppa code family with other code families. However, these efforts ultimately proved to be insecure. In 2016, the National Institute of Standards and Technology (NIST) called for proposals from around the world to standardize post-quantum cryptography (PQC) schemes to solve this issue. After receiving of various proposals in this field, the Classic McEliece cryptosystem, as well as the Hamming Quasi-Cyclic (HQC) and Bit Flipping Key Encapsulation (BIKE), chosen as code-based encryption category cryptosystems that successfully progressed to the final stage. This article proposes a method for developing a code-based public key cryptography scheme that is both simple and implementable. The proposed scheme has a much shorter public key length compared to the NIST finalist cryptosystems. The key length for the primary parameters of the McEliece cryptosystem (n=1024, k=524, t=50) ranges from 18 to 500 bits. The security of this system is at least as strong as the security of the Niederreiter cryptosystem. The proposed structure is based on the Niederreiter cryptosystem which exhibits a set of highly advantageous properties that make it a suitable candidate for implementation in all extant systems.


title: Growing ecosystem of deep learning methods for modeling protein$\unicode{x2013}$protein interactions

abstract: Numerous cellular functions rely on protein$\unicode{x2013}$protein interactions. Efforts to comprehensively characterize them remain challenged however by the diversity of molecular recognition mechanisms employed within the proteome. Deep learning has emerged as a promising approach for tackling this problem by exploiting both experimental data and basic biophysical knowledge about protein interactions. Here, we review the growing ecosystem of deep learning methods for modeling protein interactions, highlighting the diversity of these biophysically-informed models and their respective trade-offs. We discuss recent successes in using representation learning to capture complex features pertinent to predicting protein interactions and interaction sites, geometric deep learning to reason over protein structures and predict complex structures, and generative modeling to design de novo protein assemblies. We also outline some of the outstanding challenges and promising new directions. Opportunities abound to discover novel interactions, elucidate their physical mechanisms, and engineer binders to modulate their functions using deep learning and, ultimately, unravel how protein interactions orchestrate complex cellular behaviors.


title: Status Quo and Problems of Requirements Engineering for Machine Learning: Results from an International Survey

abstract: Systems that use Machine Learning (ML) have become commonplace for companies that want to improve their products and processes. Literature suggests that Requirements Engineering (RE) can help address many problems when engineering ML-enabled systems. However, the state of empirical evidence on how RE is applied in practice in the context of ML-enabled systems is mainly dominated by isolated case studies with limited generalizability. We conducted an international survey to gather practitioner insights into the status quo and problems of RE in ML-enabled systems. We gathered 188 complete responses from 25 countries. We conducted quantitative statistical analyses on contemporary practices using bootstrapping with confidence intervals and qualitative analyses on the reported problems involving open and axial coding procedures. We found significant differences in RE practices within ML projects. For instance, (i) RE-related activities are mostly conducted by project leaders and data scientists, (ii) the prevalent requirements documentation format concerns interactive Notebooks, (iii) the main focus of non-functional requirements includes data quality, model reliability, and model explainability, and (iv) main challenges include managing customer expectations and aligning requirements with data. The qualitative analyses revealed that practitioners face problems related to lack of business domain understanding, unclear goals and requirements, low customer engagement, and communication issues. These results help to provide a better understanding of the adopted practices and of which problems exist in practical environments. We put forward the need to adapt further and disseminate RE-related practices for engineering ML-enabled systems.


title: Desingularizations of sheaves and reduced invariants

abstract: Given $\mathfrak{F}$ a coherent sheaf on a Noetherian integral algebraic stack $\mathfrak{P}$, we give two constructions of stacks $\widetilde{\mathfrak{P}}$, equipped with birational morphisms $p:\widetilde{\mathfrak{P}}\to \mathfrak{P}$ such that $p^*\mathfrak{F}$ is simpler: in the Rossi construction, the torsion free part of $p^*\mathfrak{F}$ is locally free; in the Hu--Li diagonalization construction, $p^*\mathfrak{F}$ is a union of locally free sheaves. We use these constructions to define reduced Gromov--Witten invariants of complete intersections in all genera.


title: Fuzzy semigroups via semigroups

abstract: The theory of fuzzy semigroups is a branch of mathematics that arose in early 90's as an effort to characterize properties of semigroups by the properties of their fuzzy subsystems which include, fuzzy subsemigroups and their alike, fuzzy one (resp. two) sided ideals, fuzzy quasi-ideals, fuzzy bi-ideals etc. To be more precise, a fuzzy subsemigroup of a given semigroup $(S,\cdot)$ is just a $\wedge$-prehomomorphism $f$ of $(S,\cdot)$ to $([0,1],\wedge)$. Variations of this, which correspond to the other before mentioned fuzzy subsystems, can be obtained by imposing certain properties to $f$. It turns out from the work of Kuroki, Mordeson, Malik and that of many of their descendants, that fuzzy subsystems play a similar role to the structure theory of semigroups that play their non fuzzy analogues. The aim of the present paper is to show that this similarity is not coincidental. As a first step to this, we prove that there is a 1-1 correspondence between fuzzy subsemigroups of $S$ and subsemigroups of a certain type of $S\times I$. Restricted to fuzzy one sided ideals, this correspondence identifies the above fuzzy subsystems to their analogues of $S\times I$. Using these identifications, we prove that the characterization of the regularity of semigroups in terms of fuzzy one sided ideals and fuzzy quasi-ideals can be obtained as an implication of the corresponding non fuzzy analogue.


title: CMB-S4: Iterative Internal Delensing and $r$ Constraints

abstract: The tightest constraints on the tensor-to-scalar ratio $r$ can only be obtained after removing a substantial fraction of the lensing $B$-mode sample variance. The planned CMB-S4 experiment will remove the lensing $B$-mode signal internally by reconstructing the gravitational lenses from high-resolution observations. We document here a first lensing reconstruction pipeline able to achieve this optimally for arbitrary sky coverage. We make it part of a map-based framework to test CMB-S4 delensing performance and its constraining power on $r$, including inhomogeneous noise and two non-Gaussian Galactic polarized foreground models. The framework performs component-separation of the high-resolution maps, followed by the construction of lensing $B$-mode templates, which are then included in a parametric small-aperture maps cross-spectra-based likelihood for $r$. We find that the lensing reconstruction and framework achieve the expected performance, compatible with the target $\sigma(r) \simeq 5\cdot 10^{-4}$ in the absence of a tensor signal, after an effective removal of $92\%$ to $93\%$ of the lensing $B$-mode variance, depending on the simulation set. The code for the lensing reconstruction can also be used for cross-correlation studies with large-scale structures, lensing spectrum reconstruction, cluster lensing, or other CMB lensing-related purposes. As part of our tests we also demonstrate joint optimal reconstruction of the lensing potential with the lensing curl potential mode, second-order in the density fluctuations.


title: Sparse topic modeling via spectral decomposition and thresholding

abstract: The probabilistic Latent Semantic Indexing model assumes that the expectation of the corpus matrix is low-rank and can be written as the product of a topic-word matrix and a word-document matrix. In this paper, we study the estimation of the topic-word matrix under the additional assumption that the ordered entries of its columns rapidly decay to zero. This sparsity assumption is motivated by the empirical observation that the word frequencies in a text often adhere to Zipf's law. We introduce a new spectral procedure for estimating the topic-word matrix that thresholds words based on their corpus frequencies, and show that its $\ell_1$-error rate under our sparsity assumption depends on the vocabulary size $p$ only via a logarithmic term. Our error bound is valid for all parameter regimes and in particular for the setting where $p$ is extremely large; this high-dimensional setting is commonly encountered but has not been adequately addressed in prior literature. Furthermore, our procedure also accommodates datasets that violate the separability assumption, which is necessary for most prior approaches in topic modeling. Experiments with synthetic data confirm that our procedure is computationally fast and allows for consistent estimation of the topic-word matrix in a wide variety of parameter regimes. Our procedure also performs well relative to well-established methods when applied to a large corpus of research paper abstracts, as well as the analysis of single-cell and microbiome data where the same statistical model is relevant but the parameter regimes are vastly different.


title: Macroscopic approach to the radar echo scatter from high-energy particle cascades

abstract: To probe the cosmic particle flux at the highest energies, large volumes of dense material like ice have to be monitored. This can be achieved by exploiting the radio signal. In this work, we provide a macroscopic model to predict the radar echo signatures found when a radio signal is reflected from a cosmic-ray or neutrino-induced particle cascade propagating in a dense medium like ice. Its macroscopic nature allows for an energy independent run-time, taking less than 10 s for simulating a single scatter event. As a first application, we discuss basic signal properties and simulate the expected signal for the T-576 beam-test experiment at the Stanford Linear Accelerator Center. We find good signal strength agreement with the only observed radar echo from a high-energy particle cascade to date.


title: Graph-Based Analysis and Visualisation of Mobility Data

abstract: Urban mobility forecast and analysis can be addressed through grid-based and graph-based models. However, graph-based representations have the advantage of more realistically depicting the mobility networks and being more robust since they allow the implementation of Graph Theory machinery, enhancing the analysis and visualisation of mobility flows. We define two types of mobility graphs: Region Adjacency graphs and Origin-Destination graphs. Several node centrality metrics of graphs are applied to identify the most relevant nodes of the network in terms of graph connectivity. Additionally, the Perron vector associated with a strongly connected graph is applied to define a circulation function on the mobility graph. Such node values are visualised in the geographically embedded graphs, showing clustering patterns within the network. Since mobility graphs can be directed or undirected, we define several Graph Laplacian for both cases and show that these matrices and their spectral properties provide insightful information for network analysis. The computation of node centrality metrics and Perron-induced circulation functions for three different geographical regions demonstrate that basic elements from Graph Theory applied to mobility networks can lead to structure analysis for graphs of different connectivity, size, and orientation properties.


title: Adaptive Preconditioned Gradient Descent with Energy

abstract: We propose an adaptive step size with an energy approach for a suitable class of preconditioned gradient descent methods. We focus on settings where the preconditioning is applied to address the constraints in optimization problems, such as the Hessian-Riemannian and natural gradient descent methods. More specifically, we incorporate these preconditioned gradient descent algorithms in the recently introduced Adaptive Energy Gradient Descent (AEGD) framework. In particular, we discuss theoretical results on the unconditional energy-stability and convergence rates across three classes of objective functions. Furthermore, our numerical results demonstrate excellent performance of the proposed method on several test bed optimization problems.


title: Maximising the physics potential of $B^\pm\to\pi^\pm\mu^+\mu^-$ decays

abstract: We present a method that maximises the experimental sensitivity to new physics contributions in $B^\pm\to\pi^\pm\mu^+\mu^-$ decays. This method relies on performing an unbinned maximum likelihood fit to both the measured dimuon $q^2$ distribution of $B^\pm\to\pi^\pm\mu^+\mu^-$ decays, and theory calculations at spacelike $q^2$, where QCD predictions are most reliable. We exploit the known analytic properties of the decay amplitude and employ a dispersion relation to describe the non-local hadronic contributions across spacelike and timelike $q^2$ regions. The fit stability and the sensitivity to new physics couplings and new sources of $CP$-violation are studied for current and future data-taking scenarios, with the LHCb experiment as an example. The proposed method offers a precise and reliable way to search for new physics in these decays.


title: Divergence of critical fluctuations on approaching catastrophic phase inversion in turbulent emulsions

abstract: Catastrophic phase inversion, the sudden breakdown of a dense emulsion, occurs when the dispersed majority phase irreversibly exchanges role with the continuous minority phase. This common process has been extensively studied over the past decades and yet its fundamental physical mechanism has remained largely unexplored. Here we experimentally and numerically study the dynamics of catastrophic phase inversion as it occurs when the volume fraction of the dispersed phase exceeds a critical volume fraction (typically around 92% in experiments). Our data accurately quantify the abrupt change of both the global torque and average droplet size at approaching and across the phase inversion point, exhibiting strong hysteresis. Most importantly, we reveal that the fluctuations in the global torque diverge as a power-law while approaching the critical volume-fraction and we connect their growth to the formation of highly heterogeneous spatial droplet structures. The present finding, unveiling the tight connection between fluctuations in dynamic heterogeneity and the critical divergence of torque fluctuation, paves the way to a quantitative description of catastrophic phase inversion as an out-of-equilibrium critical-like phenomena.


title: The 1 $\rightarrow$ 3 Massive Splitting Functions from QCD Factorization and SCET

abstract: Splitting functions are universal functions describing the collinear dynamics of gauge theories, and as such are crucial ingredients for a wide variety of calculations in perturbative QCD. We present analytic results for the triple collinear splitting functions in QCD with a single massive parton. We derive the splitting functions using two distinct methods; first by expanding the squared matrix elements in the collinear limit, and secondly by using soft-collinear effective theory with massive quarks. We find agreement between these two approaches, providing a strong check of our results. Additionally, we also check all iterated and soft limits of our results, finding agreement with predictions from factorization. Our results provide an important ingredient for higher order perturbative calculations involving massive partons, and for the description of the collinear dynamics of heavy flavor jets.


title: Multi-domain improves out-of-distribution and data-limited scenarios for medical image analysis

abstract: Current machine learning methods for medical image analysis primarily focus on developing models tailored for their specific tasks, utilizing data within their target domain. These specialized models tend to be data-hungry and often exhibit limitations in generalizing to out-of-distribution samples. Recently, foundation models have been proposed, which combine data from various domains and demonstrate excellent generalization capabilities. Building upon this, this work introduces the incorporation of diverse medical image domains, including different imaging modalities like X-ray, MRI, CT, and ultrasound images, as well as various viewpoints such as axial, coronal, and sagittal views. We refer to this approach as multi-domain model and compare its performance to that of specialized models. Our findings underscore the superior generalization capabilities of multi-domain models, particularly in scenarios characterized by limited data availability and out-of-distribution, frequently encountered in healthcare applications. The integration of diverse data allows multi-domain models to utilize shared information across domains, enhancing the overall outcomes significantly. To illustrate, for organ recognition, multi-domain model can enhance accuracy by up to 10% compared to conventional specialized models.


title: Polarization study of single color centers in aluminum nitride

abstract: Color centers in wide-bandgap semiconductors are a promising class of solid-state quantum light source, many of which operate at room temperature. We examine a family of color centers in aluminum nitride, which emits close to 620 nm. We present a technique to rapidly map an ensemble of these single photon emitters, identifying all emitters, not just those with absorption dipole parallel to the laser polarization. We demonstrate a fast technique to determine their absorption polarization orientation in the c-plane, finding they are uniformly distributed in orientation, in contrast to many other emitters in crystalline materials.


title: Fractional partial differential variational inequality

abstract: In this present paper, we introduce and study a dynamical systems involving fractional derivative operator and nonlocal condition, which is constituted of a fractional evolution equation and a time-dependent variational inequality, and is named as fractional partial differential variational inequality (FPDVI, for short). By employing the estimates involving the one-and two-parameter Mittag-Leffler functions, fixed-point theory for set-value mappings, and non-compactness measure theory, we develop a general framework to establish the existence of smooth solutions to (FPDVI).


title: Existence of solutions for a singular double phase problem involving a $\psi$-Hilfer Fractional operator via Nehari Manifold

abstract: In this present paper, we investigate a new class of singular double phase $p$-Laplacian equation problems with a $\psi$-Hilfer fractional operator combined from a parametric term. Motivated by the fibering method using the Nehari manifold, we discuss the existence of at least two weak solutions to such problems when the parameter is small enough. Before attacking the main contribution, we discuss some results involving the energy functional and the Nehari manifold.


title: Energy spectra and fluxes of turbulent rotating Bose-Einstein condensates in two dimensions

abstract: We investigate the scaling of the energy cascade in a harmonically trapped, turbulent, rotating Bose-Einstein condensate (BEC) in two dimensions. We achieve turbulence by injecting a localized perturbation into the condensate and gradually increasing its rotation frequency from an initial value to a maximum. The main characteristics of the resulting turbulent state depend on the initial conditions, rotation frequency, and ramp-up time. We analyze the energy and the fluxes of kinetic energy by considering initial profiles without vortices and with vortex lattices. In the case without initial vortices, we find the presence of Kolmogorov-like scaling ($k^{-5/3}$) of the incompressible kinetic energy in the inertial range. However, with initial vortex lattices, the energy spectrum follows Vinen scaling ($k^{-1}$) at transient iterations. For cases with high rotating frequencies, Kolmogorov-like scaling emerges at longer durations. We observe positive kinetic energy fluxes with both initial states across all final frequencies, indicating a forward cascade of incompressible and compressible kinetic energy.


title: Near-Optimality of Finite-Memory Codes and Reinforcement Learning for Zero-Delay Coding of Markov Sources

abstract: We study the problem of zero-delay coding of a Markov source over a noisy channel with feedback. We first formulate the problem as a Markov decision process (MDP) where the state is a previous belief term along with a finite memory of channel outputs and quantizers. We then approximate this state by marginalizing over all possible beliefs, so that our policies only use the finite-memory term to encode the source. Under an appropriate notion of predictor stability, we show that such policies are near-optimal for the zero-delay coding problem as the memory length increases. We also give sufficient conditions for predictor stability to hold, and propose a reinforcement learning algorithm to compute near-optimal finite-memory policies. These theoretical results are supported by simulations.


title: Geographic Location Encoding with Spherical Harmonics and Sinusoidal Representation Networks

abstract: Learning representations of geographical space is vital for any machine learning model that integrates geolocated data, spanning application domains such as remote sensing, ecology, or epidemiology. Recent work embeds coordinates using sine and cosine projections based on Double Fourier Sphere (DFS) features. These embeddings assume a rectangular data domain even on global data, which can lead to artifacts, especially at the poles. At the same time, little attention has been paid to the exact design of the neural network architectures with which these functional embeddings are combined. This work proposes a novel location encoder for globally distributed geographic data that combines spherical harmonic basis functions, natively defined on spherical surfaces, with sinusoidal representation networks (SirenNets) that can be interpreted as learned Double Fourier Sphere embedding. We systematically evaluate positional embeddings and neural network architectures across various benchmarks and synthetic evaluation datasets. In contrast to previous approaches that require the combination of both positional encoding and neural networks to learn meaningful representations, we show that both spherical harmonics and sinusoidal representation networks are competitive on their own but set state-of-the-art performances across tasks when combined. The model code and experiments are available at https://github.com/marccoru/locationencoder.


title: HiFi-123: Towards High-fidelity One Image to 3D Content Generation

abstract: Recent advances in diffusion models have enabled 3D generation from a single image. However, current methods often produce suboptimal results for novel views, with blurred textures and deviations from the reference image, limiting their practical applications. In this paper, we introduce HiFi-123, a method designed for high-fidelity and multi-view consistent 3D generation. Our contributions are twofold: First, we propose a Reference-Guided Novel View Enhancement (RGNV) technique that significantly improves the fidelity of diffusion-based zero-shot novel view synthesis methods. Second, capitalizing on the RGNV, we present a novel Reference-Guided State Distillation (RGSD) loss. When incorporated into the optimization-based image-to-3D pipeline, our method significantly improves 3D generation quality, achieving state-of-the-art performance. Comprehensive evaluations demonstrate the effectiveness of our approach over existing methods, both qualitatively and quantitatively. Video results are available on the project page.


title: Parisi formula for balanced Potts spin glass

abstract: The Potts spin glass is a generalization of the Sherrington--Kirkpatrick (SK) model that allows for spins to take more than two values. Based on a novel synchronization mechanism, Panchenko (2018) showed that the limiting free energy is given by a Parisi-type variational formula. The functional order parameter in this formula is a probability measure on a monotone path in the space of positive-semidefinite matrices. By comparison, the order parameter for the SK model is much simpler: a probability measure on the unit interval. Nevertheless, a longstanding prediction by Elderfield and Sherrington (1983) is that the order parameter for the Potts spin glass can be reduced to that of the SK model. We prove this prediction for the balanced Potts spin glass, where the model is constrained so that the fraction of spins taking each value is asymptotically the same. It is generally believed that the limiting free energy of the balanced model is the same as that of the unconstrained model, in which case our results reduce the functional order parameter of Panchenko's variational formula to probability measures on the unit interval. The intuitive reason -- for both this belief and the Elderfield--Sherrington prediction -- is that no spin value is a priori preferred over another, and the order parameter should reflect this inherent symmetry. This paper rigorously demonstrates how symmetry, when combined with synchronization, acts as the desired reduction mechanism. Our proof requires that we introduce a generalized Potts spin glass model with mixed higher-order interactions, which is interesting it its own right. We prove that the Parisi formula for this model is differentiable with respect to inverse temperatures. This is a key ingredient for guaranteeing the Ghirlanda--Guerra identities without perturbation, which then allow us to exploit symmetry and synchronization simultaneously.


title: Causal Rule Learning: Enhancing the Understanding of Heterogeneous Treatment Effect via Weighted Causal Rules

abstract: Interpretability is a key concern in estimating heterogeneous treatment effects using machine learning methods, especially for healthcare applications where high-stake decisions are often made. Inspired by the Predictive, Descriptive, Relevant framework of interpretability, we propose causal rule learning which finds a refined set of causal rules characterizing potential subgroups to estimate and enhance our understanding of heterogeneous treatment effects. Causal rule learning involves three phases: rule discovery, rule selection, and rule analysis. In the rule discovery phase, we utilize a causal forest to generate a pool of causal rules with corresponding subgroup average treatment effects. The selection phase then employs a D-learning method to select a subset of these rules to deconstruct individual-level treatment effects as a linear combination of the subgroup-level effects. This helps to answer an ignored question by previous literature: what if an individual simultaneously belongs to multiple groups with different average treatment effects? The rule analysis phase outlines a detailed procedure to further analyze each rule in the subset from multiple perspectives, revealing the most promising rules for further validation. The rules themselves, their corresponding subgroup treatment effects, and their weights in the linear combination give us more insights into heterogeneous treatment effects. Simulation and real-world data analysis demonstrate the superior performance of causal rule learning on the interpretable estimation of heterogeneous treatment effect when the ground truth is complex and the sample size is sufficient.


title: A convenient approach to characterizing model uncertainty with application to early dark energy solutions of the Hubble tension

abstract: Despite increasingly precise observations and sophisticated theoretical models, the discrepancy between measurements of H0 from the cosmic microwave background or from Baryon Acoustic Oscillations combined with Big-Bang Nucleosynthesis versus those from local distance ladder probes -- commonly known as the $H_0$ tension -- continues to perplex the scientific community. To address this tension, Early Dark Energy (EDE) models have been proposed as alternatives to $\Lambda$CDM, as they can change the observed sound horizon and the inferred Hubble constant from measurements based on this. In this paper, we investigate the use of Bayesian Model Averaging (BMA) to evaluate EDE as a solution to the H0 tension. BMA consists of assigning a prior to the model and deriving a posterior as for any other unknown parameter in a Bayesian analysis. BMA can be computationally challenging in that one must approximate the joint posterior of both model and parameters. Here we present a computational strategy for BMA that exploits existing MCMC software and combines model-specific posteriors post-hoc. In application to a comprehensive analysis of cosmological datasets, we quantify the impact of EDE on the H0 discrepancy. We find an EDE model probability of $\sim$90% whenever we include the H0 measurement from Type Ia Supernovae in the analysis, whereas the other data show a strong preference for the standard cosmological model. We finally present constraints on common parameters marginalized over both cosmological models. For reasonable priors on models with and without EDE, the H0 tension is reduced by at least 20%.


title: Monopoles in Dirac spin liquids and their symmetries from instanton calculus

abstract: The Dirac spin liquid (DSL) is a two-dimensional (2D) fractionalized Mott insulator featuring massless Dirac spinon excitations coupled to a compact $U(1)$ gauge field, which allows for flux-tunneling instanton events described by magnetic monopoles in (2+1)D Euclidean spacetime. The state-operator correspondence of conformal field theory has been used recently to define associated monopole operators and determine their quantum numbers, which encode the microscopic symmetries of conventional ordered phases proximate to the DSL. In this work, we utilize semiclassical instanton methods not relying on conformal invariance to construct monopole operators directly in (2+1)D spacetime as instanton-induced 't Hooft vertices, i.e., fermion-number-violating effective interactions originating from zero modes of the Euclidean Dirac operator in an instanton background. In the presence of a flavor-adjoint fermion mass, resummation of the instanton gas is shown to select the correct monopole to be proliferated, in accordance with predictions of the state-operator correspondence. We also show that our instanton-based approach is able to determine monopole quantum numbers on bipartite lattices.


title: QSym$^2$: A Quantum Symbolic Symmetry Analysis Program for Electronic Structure

abstract: Symmetry provides a powerful machinery to classify, interpret, and understand quantum-mechanical theories and results. However, most contemporary quantum chemistry packages lack the ability to handle degeneracy and symmetry breaking effects, especially in non-Abelian groups, nor are they able to characterize symmetry in the presence of external magnetic or electric fields. In this article, a program written in Rust entitled QSym$^2$ that makes use of group and representation theories to provide symmetry analysis for a wide range of quantum-chemical calculations is introduced. With its ability to generate character tables symbolically on-the-fly, and by making use of a generic symmetry-orbit-based representation analysis method formulated in this work, QSym$^2$ is able to address all of these shortcomings. To illustrate these capabilities of QSym$^2$, four sets of case studies are examined in detail in this article: (i) high-symmetry $\textrm{C}_{84}\textrm{H}_{64}$, $\textrm{C}_{60}$, and $\textrm{B}_9^-$ to demonstrate the analysis of degenerate molecular orbitals (MOs); (ii) octahedral $\textrm{Fe(CN)}_6^{3-}$ to demonstrate the analysis of symmetry-broken determinants and MOs; (iii) linear hydrogen fluoride in a magnetic field to demonstrate the analysis of magnetic symmetry; and (iv) equilateral $\textrm{H}_3^+$ to demonstrate the analysis of density symmetries.


title: Unraveling the Thermodynamic Enigma between Fast and Slow Coronal Mass Ejections

abstract: Coronal Mass Ejections (CMEs) are the most energetic expulsions of magnetized plasma from the Sun that play a crucial role in space weather dynamics. This study investigates the diverse kinematics and thermodynamic evolution of two CMEs (CME1: 2011 September 24 and CME2: 2018 August 20) at coronal heights where thermodynamic measurements are limited. The peak 3D propagation speed of CME1 is high (1,885 km/s) with two-phase expansion (rapid and nearly constant), while the peak 3D propagation speed of CME2 is slow (420 km/s) with only a gradual expansion. We estimate the distance-dependent variations in the polytropic index, heating rate, temperature, and internal forces implementing the revised FRIS model, taking inputs of 3D kinematics estimated from the GCS model. We find CME1 exhibiting heat-release during its early-rapid acceleration decrease and jumps to the heat-absorption state during its constant acceleration phase. In contrast to CME1, CME2 shows a gradual transition from the near-adiabatic to the heat-absorption state during its gradually increasing acceleration. Our analysis reveals that although both CMEs show differential heating, they experience heat-absorption during their later propagation phases, approaching the isothermal state. The faster CME1 achieves an adiabatic state followed by an isothermal state at smaller distances from the Sun than the slower CME2. We also find that the expansion of CMEs is primarily influenced by centrifugal and thermal pressure forces, with the Lorentz force impeding expansion. Multi-wavelength observations of flux-ropes at source regions support the FRIS model-derived findings at initially observed lower coronal heights.


title: EARL: Eye-on-Hand Reinforcement Learner for Dynamic Grasping with Active Pose Estimation

abstract: In this paper, we explore the dynamic grasping of moving objects through active pose tracking and reinforcement learning for hand-eye coordination systems. Most existing vision-based robotic grasping methods implicitly assume target objects are stationary or moving predictably. Performing grasping of unpredictably moving objects presents a unique set of challenges. For example, a pre-computed robust grasp can become unreachable or unstable as the target object moves, and motion planning must also be adaptive. In this work, we present a new approach, Eye-on-hAnd Reinforcement Learner (EARL), for enabling coupled Eye-on-Hand (EoH) robotic manipulation systems to perform real-time active pose tracking and dynamic grasping of novel objects without explicit motion prediction. EARL readily addresses many thorny issues in automated hand-eye coordination, including fast-tracking of 6D object pose from vision, learning control policy for a robotic arm to track a moving object while keeping the object in the camera's field of view, and performing dynamic grasping. We demonstrate the effectiveness of our approach in extensive experiments validated on multiple commercial robotic arms in both simulations and complex real-world tasks.


title: Comparing AI Algorithms for Optimizing Elliptic Curve Cryptography Parameters in Third-Party E-Commerce Integrations: A Pre-Quantum Era Analysis

abstract: This paper presents a comparative analysis between the Genetic Algorithm (GA) and Particle Swarm Optimization (PSO), two vital artificial intelligence algorithms, focusing on optimizing Elliptic Curve Cryptography (ECC) parameters. These encompass the elliptic curve coefficients, prime number, generator point, group order, and cofactor. The study provides insights into which of the bio-inspired algorithms yields better optimization results for ECC configurations, examining performances under the same fitness function. This function incorporates methods to ensure robust ECC parameters, including assessing for singular or anomalous curves and applying Pollard's rho attack and Hasse's theorem for optimization precision. The optimized parameters generated by GA and PSO are tested in a simulated e-commerce environment, contrasting with well-known curves like secp256k1 during the transmission of order messages using Elliptic Curve-Diffie Hellman (ECDH) and Hash-based Message Authentication Code (HMAC). Focusing on traditional computing in the pre-quantum era, this research highlights the efficacy of GA and PSO in ECC optimization, with implications for enhancing cybersecurity in third-party e-commerce integrations. We recommend the immediate consideration of these findings before quantum computing's widespread adoption.


title: TopoMLP: A Simple yet Strong Pipeline for Driving Topology Reasoning

abstract: Topology reasoning aims to comprehensively understand road scenes and present drivable routes in autonomous driving. It requires detecting road centerlines (lane) and traffic elements, further reasoning their topology relationship, i.e., lane-lane topology, and lane-traffic topology. In this work, we first present that the topology score relies heavily on detection performance on lane and traffic elements. Therefore, we introduce a powerful 3D lane detector and an improved 2D traffic element detector to extend the upper limit of topology performance. Further, we propose TopoMLP, a simple yet high-performance pipeline for driving topology reasoning. Based on the impressive detection performance, we develop two simple MLP-based heads for topology generation. TopoMLP achieves state-of-the-art performance on OpenLane-V2 benchmark, i.e., 41.2% OLS with ResNet-50 backbone. It is also the 1st solution for 1st OpenLane Topology in Autonomous Driving Challenge. We hope such simple and strong pipeline can provide some new insights to the community. Code is at https://github.com/wudongming97/TopoMLP.


title: Performance Analysis of RIS-assisted MIMO-OFDM Cellular Networks Based on Matern Cluster Processes

abstract: Reconfigurable Intelligent Surfaces (RIS) technology are a promising physical-layer candidate for sixth-generation (6G) cellular networks. This paper provides a system-level performance assessment of RIS-assisted multi-input multi-output (MIMO) cellular networks in terms of downlink coverage probability and ergodic rate. To capture the inherent randomness in the spatial deployments of both Base Stations (BSs) and RISs, we propose a new stochastic geometry model for such systems based on the Matern Cluster Process (MCP). This model consists in randomly distributed RISs around BSs, whose placement is according to a Poisson Point Process (PPP). The RISs provide the multipath diversity and the multiple antenna receiver provide the antenna diversity. The system is assumed to use the orthogonal frequency division multiplexing (OFDM) technique to modulate the former and employ the maximal ratio combining (MRC) technique at the receiver to exploit the latter. We show that the coverage probability and the ergodic rate can be evaluated when considering RISs operate as batched powerless beamformers. The resulting analytical expressions provide a generic methodology to evaluate the impact of key RIS-related parameters, such as the size of RIS and the density of nodes, on system level performance. Numerical evaluations of the analytical expressions and Monte-Carlo simulations jointly validate the proposed analytical approach and provide valuable insights into the design of future RIS-assisted radio cellular networks.


title: Shearing Off the Tree: Emerging Branch Structure and Born's Rule in an Equilibrated Multiverse

abstract: Within the many worlds interpretation (MWI) it is believed that, as time passes on, the linearity of the Schr\"odinger equation together with decoherence generate an exponentially growing tree of branches where "everything happens", provided the branches are defined for a decohering basis. By studying an example, using exact numerical diagonalization of the Schr\"odinger equation to compute the decoherent histories functional, we find that this picture needs revision. Our example shows decoherence for histories defined at a few times, but a significant fraction (often the vast majority) of branches shows strong interference effects for histories of many times. In a sense made precise below, the histories independently sample an equilibrated quantum process, and, remarkably, we find that only histories that sample frequencies in accordance with Born's rule remain decoherent. Our results suggest that there is more structure in the many worlds tree than previously anticipated, influencing arguments of both proponents and opponents of the MWI.


title: Going Beyond Neural Network Feature Similarity: The Network Feature Complexity and Its Interpretation Using Category Theory

abstract: The behavior of neural networks still remains opaque, and a recently widely noted phenomenon is that networks often achieve similar performance when initialized with different random parameters. This phenomenon has attracted significant attention in measuring the similarity between features learned by distinct networks. However, feature similarity could be vague in describing the same feature since equivalent features hardly exist. In this paper, we expand the concept of equivalent feature and provide the definition of what we call functionally equivalent features. These features produce equivalent output under certain transformations. Using this definition, we aim to derive a more intrinsic metric for the so-called feature complexity regarding the redundancy of features learned by a neural network at each layer. We offer a formal interpretation of our approach through the lens of category theory, a well-developed area in mathematics. To quantify the feature complexity, we further propose an efficient algorithm named Iterative Feature Merging. Our experimental results validate our ideas and theories from various perspectives. We empirically demonstrate that the functionally equivalence widely exists among different features learned by the same neural network and we could reduce the number of parameters of the network without affecting the performance.The IFM shows great potential as a data-agnostic model prune method. We have also drawn several interesting empirical findings regarding the defined feature complexity.


title: New red giants in NGC 6791 and NGC 6819 using Kepler superstamps

abstract: Context. Stars that are members of stellar clusters are assumed to be formed at the same time and place from material with the same initial chemical composition. These additional constraints on the ensemble of cluster stars make these stars suitable as benchmarks. Aims. We aimed 1) to identify previously unknown red giants in the open clusters NGC 6791 and NGC 6819, 2) to extract their asteroseismic parameters, and 3) to determine their cluster membership. Methods. We followed a dedicated method based on difference imaging to extract the light curves of potential red giants in NGC 6791 and NGC 6819 from Kepler superstamp data. We extracted the asteroseismic parameters of the stars that showed solar-like oscillations. We performed an asteroseismic membership study to identify which of these stars are likely to be cluster members. Results. We found 149 red giant stars within the Kepler superstamps, 93 of which are likely cluster members. We were able to find 29 red giants that are not primary targets of Kepler, and therefore, their light curves had not been released previously. Five of these previously unknown red giants have a cluster membership probability greater than 95%.


title: slash: A Technique for Static Configuration-Logic Identification

abstract: Researchers have recently devised tools for debloating software and detecting configuration errors. Several of these tools rely on the observation that programs are composed of an initialization phase followed by a main-computation phase. Users of these tools are required to manually annotate the boundary that separates these phases, a task that can be time-consuming and error-prone (typically, the user has to read and understand the source code or trace executions with a debugger). Because errors can impair the tool's accuracy and functionality, the manual-annotation requirement hinders the ability to apply the tools on a large scale. In this paper, we present a field study of 24 widely-used C/C++ programs, identifying common boundary properties in 96\% of them. We then introduce \textit{slash}, an automated tool that locates the boundary based on the identified properties. \textit{slash} successfully identifies the boundary in 87.5\% of the studied programs within 8.5\ minutes, using up to 4.4\ GB memory. In an independent test, carried out after \textit{slash} was developed, \textit{slash} identified the boundary in 85.7\% of a dataset of 21 popular C/C++ GitHub repositories. Finally, we demonstrate \textit{slash}'s potential to streamline the boundary-identification process of software-debloating and error-detection tools.


title: Planar aperiodic tile sets: from Wang tiles to the Hat and Spectre monotiles

abstract: A brief history of planar aperiodic tile sets is presented, starting from the Domino Problem proposed by Hao Wang in 1961. We provide highlights that led to the discovery of the Taylor--Socolar aperiodic monotile in 2010 and the Hat and Spectre aperiodic monotiles in 2023. The Spectre tile is an amazingly simple monotile; a single tile whose translated and rotated copies tile the plane but only in a way that lacks any translational periodicity. We showcase this breakthrough discovery through the 60$+$ years that aperiodic tile sets have been considered.


title: Improved convergence rates for some kernel random forest algorithms

abstract: Random forests are notable learning algorithms first introduced by Breinman in 2001, they are widely used for classification and regression tasks and their mathematical properties are under ongoing research. We consider a specific class of random forest algorithms related to kernel methods, the so-called KeRF (Kernel Random Forests.) In particular, we investigate thoroughly two explicit algorithms, designed independently of the data set, the centered KeRF and the uniform KeRF. In the present article, we provide an improvement in the rate of convergence for both algorithms and we explore the related reproducing kernel Hilbert space defined by the explicit kernel of the centered random forest.


title: Symmetric Semi-invariants for some Inonu-Wigner contractions

abstract: Let $\mathfrak p$ be a proper parabolic subalgebra of a simple Lie algebra $\mathfrak g$. Writing $\mathfrak p=\mathfrak r\oplus \mathfrak m$, with $\mathfrak r$ being the Levi factor of $\mathfrak p$ and $\mathfrak m$ the nilpotent radical of $\mathfrak p$, we may consider the semi-direct product $\tilde\mathfrak p=\mathfrak r\ltimes(\mathfrak m)^a$ where $(\mathfrak m)^a$ is an abelian ideal of $\tilde\mathfrak p$, isomorphic to $\mathfrak m$ as an $\mathfrak r$-module. Then $\tilde\mathfrak p$ is a Lie algebra, which is a special case of In\"on\"u-Wigner contraction and may be considered as a degeneration of the parabolic subalgebra $\mathfrak p$. Let $S(\tilde\mathfrak p)$ be the symmetric algebra of $\tilde\mathfrak p$ (it is equal to the symmetric algebra $S(\mathfrak p)$ of $\mathfrak p$) and consider the algebra of semi-invariants $Sy(\tilde\mathfrak p)\subset S(\tilde\mathfrak p)$ under the adjoint action of $\tilde\mathfrak p$. Using what we call a generalized PBW filtration on a highest weight irreducible representation $V(\lambda)$ of $\mathfrak g$, induced by the standard degree filtration on the enveloping algebra $U(\mathfrak m^-)$ of $\mathfrak m^-$, the nilpotent radical of the opposite parabolic subalgebra $\mathfrak p^-$ of $\mathfrak p$, one obtains a lower bound for the formel character of the algebra $Sy(\tilde\mathfrak p)$, when the latter is well defined.


title: TRACE: A Comprehensive Benchmark for Continual Learning in Large Language Models

abstract: Aligned large language models (LLMs) demonstrate exceptional capabilities in task-solving, following instructions, and ensuring safety. However, the continual learning aspect of these aligned LLMs has been largely overlooked. Existing continual learning benchmarks lack sufficient challenge for leading aligned LLMs, owing to both their simplicity and the models' potential exposure during instruction tuning. In this paper, we introduce TRACE, a novel benchmark designed to evaluate continual learning in LLMs. TRACE consists of 8 distinct datasets spanning challenging tasks including domain-specific tasks, multilingual capabilities, code generation, and mathematical reasoning. All datasets are standardized into a unified format, allowing for effortless automatic evaluation of LLMs. Our experiments show that after training on TRACE, aligned LLMs exhibit significant declines in both general ability and instruction-following capabilities. For example, the accuracy of llama2-chat 13B on gsm8k dataset declined precipitously from 28.8\% to 2\% after training on our datasets. This highlights the challenge of finding a suitable tradeoff between achieving performance on specific tasks while preserving the original prowess of LLMs. Empirical findings suggest that tasks inherently equipped with reasoning paths contribute significantly to preserving certain capabilities of LLMs against potential declines. Motivated by this, we introduce the Reasoning-augmented Continual Learning (RCL) approach. RCL integrates task-specific cues with meta-rationales, effectively reducing catastrophic forgetting in LLMs while expediting convergence on novel tasks.


title: FABind: Fast and Accurate Protein-Ligand Binding

abstract: Modeling the interaction between proteins and ligands and accurately predicting their binding structures is a critical yet challenging task in drug discovery. Recent advancements in deep learning have shown promise in addressing this challenge, with sampling-based and regression-based methods emerging as two prominent approaches. However, these methods have notable limitations. Sampling-based methods often suffer from low efficiency due to the need for generating multiple candidate structures for selection. On the other hand, regression-based methods offer fast predictions but may experience decreased accuracy. Additionally, the variation in protein sizes often requires external modules for selecting suitable binding pockets, further impacting efficiency. In this work, we propose $\mathbf{FABind}$, an end-to-end model that combines pocket prediction and docking to achieve accurate and fast protein-ligand binding. $\mathbf{FABind}$ incorporates a unique ligand-informed pocket prediction module, which is also leveraged for docking pose estimation. The model further enhances the docking process by incrementally integrating the predicted pocket to optimize protein-ligand binding, reducing discrepancies between training and inference. Through extensive experiments on benchmark datasets, our proposed $\mathbf{FABind}$ demonstrates strong advantages in terms of effectiveness and efficiency compared to existing methods. Our code is available at https://github.com/QizhiPei/FABind


title: OmniLingo: Listening- and speaking-based language learning

abstract: In this demo paper we present OmniLingo, an architecture for distributing data for listening- and speaking-based language learning applications and a demonstration client built using the architecture. The architecture is based on the Interplanetary Filesystem (IPFS) and puts at the forefront user sovereignty over data.


title: Efficient Graduated Non-Convexity for Pose Graph Optimization

abstract: We propose a novel approach to Graduated Non-Convexity (GNC) and demonstrate its efficacy through its application in robust pose graph optimization, a key component in SLAM backends. Traditional GNC methods often rely on heuristic methods for GNC schedule, updating control parameter {\mu} for escalating the non-convexity. In contrast, our approach leverages the properties of convex functions and convex optimization to identify the boundary points beyond which convexity is no longer guaranteed, thereby eliminating redundant optimization steps in existing methodologies and enhancing both speed and robustness. We show that our method outperforms the state-of-the-art method in terms of speed and accuracy when used for robust back-end pose graph optimization via GNC. Our work builds upon and enhances the open-source riSAM framework. Our implementation can be accessed from: https://github.com/SNU-DLLAB/EGNC-PGO


title: The cubo-cubic transformation of the smooth quadric fourfold is very special

abstract: We classify special self-birational transformations of the smooth quadric threefold and fourfold, $Q^3$ and $Q^4$. It turns out that there is only one such example in each dimension. In the case of $Q^3$, it is given by the linear system of quadrics passing through a rational normal quartic curve. In the case of $Q^4$, it is given by the linear system of cubic complexes passing through a non-minimal K3 surface of degree $10$ with two skew $(-1)$-lines.


title: Optimal estimation of pure states with displaced-null measurements

abstract: We revisit the problem of estimating an unknown parameter of a pure quantum state, and investigate `null-measurement' strategies in which the experimenter aims to measure in a basis that contains a vector close to the true system state. Such strategies are known to approach the quantum Fisher information for models where the quantum Cram\'{e}r-Rao bound is achievable but a detailed adaptive strategy for achieving the bound in the multi-copy setting has been lacking. We first show that the following naive null-measurement implementation fails to attain even the standard estimation scaling: estimate the parameter on a small sub-sample, and apply the null-measurement corresponding to the estimated value on the rest of the systems. This is due to non-identifiability issues specific to null-measurements, which arise when the true and reference parameters are close to each other. To avoid this, we propose the alternative displaced-null measurement strategy in which the reference parameter is altered by a small amount which is sufficient to ensure parameter identifiability. We use this strategy to devise asymptotically optimal measurements for models where the quantum Cram\'{e}r-Rao bound is achievable. More generally, we extend the method to arbitrary multi-parameter models and prove the asymptotic achievability of the the Holevo bound. An important tool in our analysis is the theory of quantum local asymptotic normality which provides a clear intuition about the design of the proposed estimators, and shows that they have asymptotically normal distributions.

categories: quant-ph math-ph math.MP math.ST stat.TH


title: The resurgence of the plateau in supersymmetric ${\cal N}=1$ Jackiw-Teitelboim gravity

abstract: Significant progresses have been made recently in understanding the spectral form factor of Jackiw-Teitelboim gravity, particularly at late times where non-perturbative effects are expected to play a dominant role. By focusing on a peculiar regime of large time and fixed temperature, called $\tau$-scaling limit, it was found that it is possible to analytically investigate the late-time plateau directly through the gravitational genus expansion. We extend this analysis to the supersymmetric $\mathcal{N}=1$ generalization of the bosonic theory, revealing an interesting structure. First, we notice that in the $\tau$-scaling limit the perturbative sum over genera truncates after a single term, which solely accounts for the ramp behaviour. Instead a non-perturbative completion, responsible for the plateau, is encoded into an exact formula coming from the properties of the chiral gaussian ensemble, governing the spectral properties of the supersymmetric theory. We are able to recover the non-perturbative contributions by slightly deforming the genus of the involved surfaces and using resurgence theory. We derive a closed-form analytical expression for the late-time plateau and a trans-series expansion that captures the ramp-plateau transition.


title: Transmission of fast solitons for the NLS with an external potential

abstract: We consider the dynamics of a boosted soliton evolving under the cubic NLS with an external potential. We show that for sufficiently large velocities, the soliton is effectively transmitted through the potential. This result extends work of Holmer, Marzuola, and Zworski, who considered the case of a delta potential with no bound states, and work of Datchev and Holmer, who considered the case of a delta potential with a linear bound state.


title: SWE-bench: Can Language Models Resolve Real-World GitHub Issues?

abstract: Language models have outpaced our ability to evaluate them effectively, but for their future development it is essential to study the frontier of their capabilities. We find real-world software engineering to be a rich, sustainable, and challenging testbed for evaluating the next generation of language models. To this end, we introduce SWE-bench, an evaluation framework consisting of $2,294$ software engineering problems drawn from real GitHub issues and corresponding pull requests across $12$ popular Python repositories. Given a codebase along with a description of an issue to be resolved, a language model is tasked with editing the codebase to address the issue. Resolving issues in SWE-bench frequently requires understanding and coordinating changes across multiple functions, classes, and even files simultaneously, calling for models to interact with execution environments, process extremely long contexts and perform complex reasoning that goes far beyond traditional code generation tasks. Our evaluations show that both state-of-the-art proprietary models and our fine-tuned model SWE-Llama can resolve only the simplest issues. The best-performing model, Claude 2, is able to solve a mere $1.96$% of the issues. Advances on SWE-bench represent steps towards LMs that are more practical, intelligent, and autonomous.


title: Correlated Noise Provably Beats Independent Noise for Differentially Private Learning

abstract: Differentially private learning algorithms inject noise into the learning process. While the most common private learning algorithm, DP-SGD, adds independent Gaussian noise in each iteration, recent work on matrix factorization mechanisms has shown empirically that introducing correlations in the noise can greatly improve their utility. We characterize the asymptotic learning utility for any choice of the correlation function, giving precise analytical bounds for linear regression and as the solution to a convex program for general convex functions. We show, using these bounds, how correlated noise provably improves upon vanilla DP-SGD as a function of problem parameters such as the effective dimension and condition number. Moreover, our analytical expression for the near-optimal correlation function circumvents the cubic complexity of the semi-definite program used to optimize the noise correlation matrix in previous work. We validate our theory with experiments on private deep learning. Our work matches or outperforms prior work while being efficient both in terms of compute and memory.


title: Evanescent-field assisted photon collection from quantum emitters under a solid immersion lens

abstract: Solid-state quantum light sources are being intensively investigated for applications in quantum technology. A key challenge is to extract light from host materials with high refractive index, where efficiency is limited by refraction and total internal reflection. Here we show that an index-matched solid immersion lens can, if placed sufficiently close to the semiconductor, extract light coupled through the evanescent field at the surface. Using both numerical simulations and experiments, we investigate how changing the thickness of the spacer between the semiconductor and lens impacts the collection efficiency (CE). Using automatic selection and measurement of 100 s of individually addressable colour centres in several aluminium nitride samples we demonstrate spacer-thickness dependent photon CE enhancement, with a mean enhancement factor of 4.2 and a highest measured photon detection rate of 743 kcps.


title: Uni3D: Exploring Unified 3D Representation at Scale

abstract: Scaling up representations for images or text has been extensively investigated in the past few years and has led to revolutions in learning vision and language. However, scalable representation for 3D objects and scenes is relatively unexplored. In this work, we present Uni3D, a 3D foundation model to explore the unified 3D representation at scale. Uni3D uses a 2D initialized ViT end-to-end pretrained to align the 3D point cloud features with the image-text aligned features. Via the simple architecture and pretext task, Uni3D can leverage abundant 2D pretrained models as initialization and image-text aligned models as the target, unlocking the great potential of 2D models and scaling-up strategies to the 3D world. We efficiently scale up Uni3D to one billion parameters, and set new records on a broad range of 3D tasks, such as zero-shot classification, few-shot classification, open-world understanding and part segmentation. We show that the strong Uni3D representation also enables applications such as 3D painting and retrieval in the wild. We believe that Uni3D provides a new direction for exploring both scaling up and efficiency of the representation in 3D domain.


title: Optical assembly of nanostructures mediated by surface roughness

abstract: Rigorous understanding of the self-assembly of colloidal nanocrystals is crucial to the development of tailored nanostructured materials. Despite extensive studies, a mechanistic understanding of self-assembly under non-equilibrium driven by an external field remains an ongoing challenge. We demonstrate self-assembly by optical tweezers imposing an external attractive field for cubic-phase sodium yttrium fluoride nanocrystals. We show that surface roughness of the nanocrystals is a decisive factor for contact leading to assembly between the nanocrystals, manifested by the roughness-dependent hydrodynamic resistivity. This provides direct evidence that dynamics are equally important to energetics in understanding self-assembly. These results have implications in a wide variety of different fields, such as in understanding the factors that mediate oriented attachment-based crystal growth or in interpreting the structure of binding sites on viruses.


title: Conceptual Framework for Autonomous Cognitive Entities

abstract: The rapid development and adoption of Generative AI (GAI) technology in the form of chatbots such as ChatGPT and Claude has greatly increased interest in agentic machines. This paper introduces the Autonomous Cognitive Entity (ACE) model, a novel framework for a cognitive architecture, enabling machines and software agents to operate more independently. Drawing inspiration from the OSI model, the ACE framework presents layers of abstraction to conceptualize artificial cognitive architectures. The model is designed to harness the capabilities of the latest generative AI technologies, including large language models (LLMs) and multimodal generative models (MMMs), to build autonomous, agentic systems. The ACE framework comprises six layers: the Aspirational Layer, Global Strategy, Agent Model, Executive Function, Cognitive Control, and Task Prosecution. Each layer plays a distinct role, ranging from setting the moral compass and strategic thinking to task selection and execution. The ACE framework also incorporates mechanisms for handling failures and adapting actions, thereby enhancing the robustness and flexibility of autonomous agents. This paper introduces the conceptual framework and proposes implementation strategies that have been tested and observed in industry. The goal of this paper is to formalize this framework so as to be more accessible.


title: Influence of additional neutrons on the fusion cross-section beyond the N=8 shell

abstract: Fusion enhancement for neutron-rich isotopes of oxygen on carbon nuclei was probed. To measure the fusion cross-section a $^{20}$O beam accelerated to E$_{lab}$/A=2.7 MeV bombarded the active-target detector MuSIC@Indiana with a fill gas of CH$_4$. Examination of the average fusion cross-section over the interval 12 MeV $\leq$E$_{c.m.}$$\leq$ 17 MeV for $^{16-20}$O + $^{12}$C reveals that while even isotopes of oxygen exhibit essentially the same cross-section, the cross-section for odd isotopes can be either enhanced or suppressed relative to the even A members of the isotopic chain. Theoretical models fail to explain the observed experimental results.


title: Information Content Exploration

abstract: Sparse reward environments are known to be challenging for reinforcement learning agents. In such environments, efficient and scalable exploration is crucial. Exploration is a means by which an agent gains information about the environment. We expand on this topic and propose a new intrinsic reward that systemically quantifies exploratory behavior and promotes state coverage by maximizing the information content of a trajectory taken by an agent. We compare our method to alternative exploration based intrinsic reward techniques, namely Curiosity Driven Learning and Random Network Distillation. We show that our information theoretic reward induces efficient exploration and outperforms in various games, including Montezuma Revenge, a known difficult task for reinforcement learning. Finally, we propose an extension that maximizes information content in a discretely compressed latent space which boosts sample efficiency and generalizes to continuous state spaces.


title: How Knowledge Workers Think Generative AI Will (Not) Transform Their Industries

abstract: Generative AI is expected to have transformative effects in multiple knowledge industries. To better understand how knowledge workers expect generative AI may affect their industries in the future, we conducted participatory research workshops for seven different industries, with a total of 54 participants across three US cities. We describe participants' expectations of generative AI's impact, including a dominant narrative that cut across the groups' discourse: participants largely envision generative AI as a tool to perform menial work, under human review. Participants do not generally anticipate the disruptive changes to knowledge industries currently projected in common media and academic narratives. Participants do however envision generative AI may amplify four social forces currently shaping their industries: deskilling, dehumanization, disconnection, and disinformation. We describe these forces, and then we provide additional detail regarding attitudes in specific knowledge industries. We conclude with a discussion of implications and research challenges for the HCI community.


title: A Supervised Embedding and Clustering Anomaly Detection method for classification of Mobile Network Faults

abstract: The paper introduces Supervised Embedding and Clustering Anomaly Detection (SEMC-AD), a method designed to efficiently identify faulty alarm logs in a mobile network and alleviate the challenges of manual monitoring caused by the growing volume of alarm logs. SEMC-AD employs a supervised embedding approach based on deep neural networks, utilizing historical alarm logs and their labels to extract numerical representations for each log, effectively addressing the issue of imbalanced classification due to a small proportion of anomalies in the dataset without employing one-hot encoding. The robustness of the embedding is evaluated by plotting the two most significant principle components of the embedded alarm logs, revealing that anomalies form distinct clusters with similar embeddings. Multivariate normal Gaussian clustering is then applied to these components, identifying clusters with a high ratio of anomalies to normal alarms (above 90%) and labeling them as the anomaly group. To classify new alarm logs, we check if their embedded vectors' two most significant principle components fall within the anomaly-labeled clusters. If so, the log is classified as an anomaly. Performance evaluation demonstrates that SEMC-AD outperforms conventional random forest and gradient boosting methods without embedding. SEMC-AD achieves 99% anomaly detection, whereas random forest and XGBoost only detect 86% and 81% of anomalies, respectively. While supervised classification methods may excel in labeled datasets, the results demonstrate that SEMC-AD is more efficient in classifying anomalies in datasets with numerous categorical features, significantly enhancing anomaly detection, reducing operator burden, and improving network maintenance.


title: On the Transcendence of Power Towers of Liouville Numbers

abstract: In this paper, among other things, we explicit a $G_{\delta}$-dense set of Liouville numbers, for which the triple power tower of any of its elements is a transcendental number.


title: Quantifying the Effects of Known Unknowns on Inferred High-redshift Galaxy Properties: Burstiness, the IMF, and Nebular Physics

abstract: The era of the James Webb Space Telescope ushers stellar population models into uncharted territories, particularly at the high-redshift frontier. In a companion paper, we apply the \texttt{Prospector} Bayesian framework to jointly infer galaxy redshifts and stellar population properties from broad-band photometry as part of the UNCOVER survey. Here we present a comprehensive error budget in spectral energy distribution (SED) modeling. Using a sample selected to have photometric redshifts higher than 9, we quantify the systematic shifts stemming from various model choices in inferred stellar mass, star formation rate (SFR), and age. These choices encompass different timescales for changes in the star formation history (SFH), non-universal stellar initial mass functions (IMF), and the inclusion of variable nebular abundances, gas density and ionizing photon budget. We find that the IMF exerts the strongest influence on the inferred properties: the systematic uncertainties can be as much as 1 dex, 2--5 times larger than the formal reported uncertainties in mass and SFR; and importantly, exceed the scatter seen when using different SED fitting codes. Although the assumptions on the lower end of the IMF induce degeneracy, our findings suggest that a common practice in the literature of assessing uncertainties in SED-fitting processes by comparing multiple codes is substantively underestimating the true systematic uncertainty. Highly stochastic SFHs change the inferred SFH by much larger than the formal uncertainties, and introduce $\sim 0.8$ dex systematics in SFR averaged over short time scale and $\sim 0.3$ dex systematics in average age. Finally, employing a flexible nebular emission model causes $\sim 0.2$ dex systematic increase in mass and SFR, comparable to the formal uncertainty. This paper constitutes an initial step toward a complete uncertainty estimate in SED modeling.


title: Quantum Evolution as a Square Root of the Master Equation

abstract: The analogy between the quantum evolution and that of the master equation is explored. By stressing the stochastic nature of quantum evolution a number of conceptual difficulties in the interpretation of quantum mechanics are avoided.


title: Invariant description of static and dynamical Brans-Dicke spherically symmetric models

abstract: We investigate spherically symmetric static and dynamical Brans-Dicke theory exact solutions using invariants and, in particular, the Newman Penrose formalism utilizing Cartan scalars. The GR limit of these solutions is examined through the use of Cartan invariants via the Cartan-Karlhede algorithm and is additionally supported by analysis of scalar polynomial invariants. It is determined that the appearance of horizons in these spacetimes depends primarily on one of the parameters, $n$, of the family of solutions. In particular, expansion-free surfaces appear which, for a subset of parameter values, define additional surfaces distinct from the standard surfaces (e.g., apparent horizons) identified in previous work. These surfaces in static spherically symmetric Brans-Dicke solutions was previously shown to correspond to the Schwarzschild horizon in general relativity when an appropriate limit exists between the two theories. We show additionally that other geometrically defined horizons exist for these cases, and identify all solutions for which the corresponding general relativity limit is not a Schwarzschild one, yet still contains horizons. The identification of some of these other surfaces was noted in previous work and is characterized invariantly in this work. In the case of the family of dynamical Brans-Dicke solutions, we identify similar invariantly defined surfaces as in the static case and present an invariant characterization of their geometries. Through the analysis of the Cartan invariants, we determine which members of these families of solutions are locally equivalent, through the use of the Cartan-Karlhede algorithm. In addition, we identify black hole surfaces, naked singularities, and wormholes with the Cartan invariants. The aim of this work is to demonstrate the usefulness of Cartan invariants for describing properties of exact solutions.


title: Finiteness of pointed maps to moduli spaces of polarized varieties

abstract: We prove a finiteness result for pointed maps to the base space of a family of polarized varieties with maximal variation in moduli. A key ingredient is a new criterion for the rigidity of pointed maps.


title: Linking the Metallicity Enrichment History to the Star Formation History: An SFH-regulated Chemical Evolution Model and Its Implications for the Gas Cycling Process

abstract: The metallicity enrichment history (MEH) of a galaxy is determined by its star formation history (SFH) and the gas cycling process. In this paper, we construct a chemical evolution model that is regulated by the SFH of the system. In this SFH-regulated model, the evolution of all other variables, including the MEH, can be determined by the SFH. We test this model on six locally isolated dwarf galaxies covering three dwarf types that were observed by the Local Cosmology from Isolated Dwarfs (LCID) project. The SFHs and MEHs of these LCID galaxies have been measured from the deep color-magnitude diagrams that are down to the main sequence turn-offs stars. With simple assumptions of the star formation law and the mass-dependent outflows, our SFH-regulated model successfully reproduces the MEHs of all six LCID galaxies from their SFHs, with only one free parameter, the wind efficiency $\eta \sim 1.0$, for all six galaxies. This model provides a physically motivated link that directly connects the SFH and MEH of a galaxy, which will be useful to accommodate into the state-of-the-art stellar population synthesis models to help relieve the nuisance of the heavy degeneracy between the ages and metallicities of the stellar populations.


title: OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text

abstract: There is growing evidence that pretraining on high quality, carefully thought-out tokens such as code or mathematics plays an important role in improving the reasoning abilities of large language models. For example, Minerva, a PaLM model finetuned on billions of tokens of mathematical documents from arXiv and the web, reported dramatically improved performance on problems that require quantitative reasoning. However, because all known open source web datasets employ preprocessing that does not faithfully preserve mathematical notation, the benefits of large scale training on quantitive web documents are unavailable to the research community. We introduce OpenWebMath, an open dataset inspired by these works containing 14.7B tokens of mathematical webpages from Common Crawl. We describe in detail our method for extracting text and LaTeX content and removing boilerplate from HTML documents, as well as our methods for quality filtering and deduplication. Additionally, we run small-scale experiments by training 1.4B parameter language models on OpenWebMath, showing that models trained on 14.7B tokens of our dataset surpass the performance of models trained on over 20x the amount of general language data. We hope that our dataset, openly released on the Hugging Face Hub, will help spur advances in the reasoning abilities of large language models.


title: Generically Stable Measures and Distal Regularity in Continuous Logic

abstract: We develop a theory of generically stable and smooth Keisler measures in NIP metric theories, generalizing the case of classical logic. Using smooth extensions, we verify that fundamental properties of (Borel)-definable measures and the Morley product hold in the NIP metric setting. With these results, we prove that as in discrete logic, generic stability can be defined equivalently through definability properties, statistical properties, or behavior under the Morley product. We also examine weakly orthogonal Keisler measures, characterizing weak orthogonality in terms of various analytic regularity properties. We then examine Keisler measures in distal metric theories, proving that as in discrete logic, distality is characterized by all generically stable measures being smooth, or by all pairs of generically stable measures being weakly orthogonal. We then use this, together with our results on weak orthogonality and a cutting lemma, to find analytic versions of distal regularity and the strong Erd\H{o}s-Hajnal property.


title: Discovery of a variable energy-dependent X-ray polarization in the accreting neutron star GX 5-1

abstract: We report on the coordinated observations of the neutron star low-mass X-ray binary (NS-LMXB) \gx in X-rays (IXPE, NICER, Nustar and INTEGRAL), optical (REM and LCO), near-infrared (REM), mid-infrared (VLT VISIR), and radio (ATCA). This Z-source was observed by \IXPE twice in March-April 2023 (Obs. 1 and 2). In the radio band, the source was detected, but only upper-limits to the linear polarization were obtained at a $3\sigma$ level of $6.1\%$ at 5.5 GHz and $5.9\%$ at 9 GHz in Obs.~1 and $12.5\%$ at 5.5~GHz and $20\%$ at 9~GHz in Obs.~2. The mid-IR, near-IR and optical observations suggest the presence of a compact jet which peaks in the mid- or far-IR. The X-ray polarization degree was found to be $3.7\% \pm 0.4 \%$ (at $90\%$ confidence level) during Obs.~1 when the source was in the horizontal branch of the Z-track and $1.8\% \pm 0.4 \%$ during Obs.~2 when the source was in the normal-flaring branch. These results confirm the variation of polarization degree as a function of the position of the source in the color-color diagram as for previously observed Z-track sources (Cyg~X-2 and XTE~1701$-$462). Evidence for a variation of the polarization angle $\sim 20^\circ$ with energy is found in both observations, likely related to the different, non-orthogonal polarization angles of the disk and Comptonization components which peak at different energies.


title: Proximal Diagonal Newton Methods for Composite Optimization Problems

abstract: This paper proposes new proximal Newton-type methods with a diagonal metric for solving composite optimization problems whose objective function is the sum of a twice continuously differentiable function and a proper closed directionally differentiable function. Although proximal Newton-type methods using diagonal metrics have been shown to be superior to the proximal gradient method numerically, no theoretical results have been obtained to suggest this superiority. Even though our proposed method is based on a simple idea, its convergence rate suggests an advantage over the proximal gradient method in certain situations. Numerical experiments show that our proposed algorithms are effective, especially in the nonconvex case.


title: Enhancing Predictive Capabilities in Data-Driven Dynamical Modeling with Automatic Differentiation: Koopman and Neural ODE Approaches

abstract: Data-driven approximations of the Koopman operator are promising for predicting the time evolution of systems characterized by complex dynamics. Among these methods, the approach known as extended dynamic mode decomposition with dictionary learning (EDMD-DL) has garnered significant attention. Here we present a modification of EDMD-DL that concurrently determines both the dictionary of observables and the corresponding approximation of the Koopman operator. This innovation leverages automatic differentiation to facilitate gradient descent computations through the pseudoinverse. We also address the performance of several alternative methodologies. We assess a 'pure' Koopman approach, which involves the direct time-integration of a linear, high-dimensional system governing the dynamics within the space of observables. Additionally, we explore a modified approach where the system alternates between spaces of states and observables at each time step -- this approach no longer satisfies the linearity of the true Koopman operator representation. For further comparisons, we also apply a state space approach (neural ODEs). We consider systems encompassing two and three-dimensional ordinary differential equation systems featuring steady, oscillatory, and chaotic attractors, as well as partial differential equations exhibiting increasingly complex and intricate behaviors. Our framework significantly outperforms EDMD-DL. Furthermore, the state space approach offers superior performance compared to the 'pure' Koopman approach where the entire time evolution occurs in the space of observables. When the temporal evolution of the Koopman approach alternates between states and observables at each time step, however, its predictions become comparable to those of the state space approach.


title: Strongly subradiant states in planar atomic arrays

abstract: The optically trapped ensembles of atoms provide a versatile platform for storing and coherent manipulation of quantum information. However, efficient realization of quantum information processing requires long-lived quantum states protected from the decoherence e.g. via spontaneous emission. Here, we theoretically study collective dipolar oscillations in finite planar arrays of quantum emitters in free space and analyze mechanisms that govern the emergence of strongly subradiant collective states. We demonstrate that the external coupling between the collective states associated with the symmetry of the array and with the quasi-flat dispersion of the corresponding infinite lattice plays a crucial role in the boost of their radiative lifetime. We show that among different regular arrangements of the atoms the square atomic arrays support eigenstates with minimal radiative losses that scale with the total number of atoms $N_{tot}$ as $\propto N_{tot}^{-5}$.


title: A Compact TIA in 22nm FDSOI CMOS for Qubit Readout in Monolithic Quantum Processors

abstract: This paper reports an inductorless transimpedance amplifier (TIA) with very compact size and adequate performance for spin qubit readout operations in monolithic quantum processors. The TIA has been designed and fabricated in a 22nm FDSOI CMOS foundry technology commercially available. The measurement results show a transimpedance gain of 103 dB{\Omega} with a bandwidth of 13 GHz, at room temperature, and it is expected to exhibit slightly superior performance at cryogenic temperatures. The power consumption amounts to 4.1 mW. The core area amount to 0.00025 mm2, i.e., about two orders of magnitude smaller with respect to the prior-art works, and approaching the qubit size, which makes the inductorless TIA a compact enabling solution for monolithic quantum processors.


title: Spectral Entry-wise Matrix Estimation for Low-Rank Reinforcement Learning

abstract: We study matrix estimation problems arising in reinforcement learning (RL) with low-rank structure. In low-rank bandits, the matrix to be recovered specifies the expected arm rewards, and for low-rank Markov Decision Processes (MDPs), it may for example characterize the transition kernel of the MDP. In both cases, each entry of the matrix carries important information, and we seek estimation methods with low entry-wise error. Importantly, these methods further need to accommodate for inherent correlations in the available data (e.g. for MDPs, the data consists of system trajectories). We investigate the performance of simple spectral-based matrix estimation approaches: we show that they efficiently recover the singular subspaces of the matrix and exhibit nearly-minimal entry-wise error. These new results on low-rank matrix estimation make it possible to devise reinforcement learning algorithms that fully exploit the underlying low-rank structure. We provide two examples of such algorithms: a regret minimization algorithm for low-rank bandit problems, and a best policy identification algorithm for reward-free RL in low-rank MDPs. Both algorithms yield state-of-the-art performance guarantees.


title: $f$-Policy Gradients: A General Framework for Goal Conditioned RL using $f$-Divergences

abstract: Goal-Conditioned Reinforcement Learning (RL) problems often have access to sparse rewards where the agent receives a reward signal only when it has achieved the goal, making policy optimization a difficult problem. Several works augment this sparse reward with a learned dense reward function, but this can lead to sub-optimal policies if the reward is misaligned. Moreover, recent works have demonstrated that effective shaping rewards for a particular problem can depend on the underlying learning algorithm. This paper introduces a novel way to encourage exploration called $f$-Policy Gradients, or $f$-PG. $f$-PG minimizes the f-divergence between the agent's state visitation distribution and the goal, which we show can lead to an optimal policy. We derive gradients for various f-divergences to optimize this objective. Our learning paradigm provides dense learning signals for exploration in sparse reward settings. We further introduce an entropy-regularized policy optimization objective, that we call $state$-MaxEnt RL (or $s$-MaxEnt RL) as a special case of our objective. We show that several metric-based shaping rewards like L2 can be used with $s$-MaxEnt RL, providing a common ground to study such metric-based shaping rewards with efficient exploration. We find that $f$-PG has better performance compared to standard policy gradient methods on a challenging gridworld as well as the Point Maze and FetchReach environments. More information on our website https://agarwalsiddhant10.github.io/projects/fpg.html.


title: Impact of grain boundary and surface diffusion on predicted fission gas bubble behavior and release in UO$_2$ fuel

abstract: In this work, we quantify the impact of grain boundary (GB) and surface diffusion on fission gas bubble evolution and fission gas release in UO$_2$ nuclear fuel using simulations with a hybrid phase field/cluster dynamics model. We begin with a comprehensive literature review of uranium vacancy and xenon atom diffusivity in UO$_2$ through the bulk, along GBs, and along surfaces. In our model we represent fast GB and surface diffusion using a heterogeneous diffusivity that is a function of the order parameters that represent bubbles and grains. We find that the GB diffusivity directly impacts the rate of gas release via GB transport, and that the GB diffusivity is likely below 10$^4$ times the lower value from Olander and van Uffelen (2001). We also find that the surface diffusivity impacts bubble coalescence and mobility, and that the bubble surface diffusivity is likely below $10^{-4}$ times the value from Zhou and Olander (1984).


title: Using a quench level approximation to estimate the effect of metallicity on N-bearing species abundances in H2-dominated atmospheres

abstract: Variations in atmospheric elemental nitrogen can considerably affect the abundance of major nitrogen-bearing species such as NH$_3$ and HCN. Also, due to vertical mixing and photochemistry, their abundance deviates from the thermochemical equilibrium. The goal of this study is to understand the effect of atmospheric metallicity on the composition of NH$_3$, N$_2$, and HCN over a large parameter space in the presence of vertical mixing which, when combined with the work on CHO-bearing species in Soni and Acharyya (2023) can provide a comprehensive understanding of the effect of atmospheric metallicity. We used quenching approximations and a full chemical kinetics model for the calculations, and a comparison between these two methods was made. For generating thermal profiles, petitRADTRANS code is used. Chemical timescales of NH$_3$ and N$_2$ are found to be complex functions of metallicity, while HCN is inversely proportional. Using NH$_3$ and CO quenched abundances, the HCN quenched abundance can be constrained since it remains in equilibrium with NH$_3$, CO, and H$_2$O. Quenched NH$_3$ increases with increasing K$_{zz}$ untill a particular point, after which it becomes independent of vertical mixing. There is a sweet spot in the K$_{zz}$ parameter space to maximize the quenched HCN for a given T$_{int}$ and T$_{equi}$; the parameter space moves towards the lower equilibrium temperature, and HCN abundance increases with metallicity. Finally, we used the dataset of quenched abundances to provide a list of potential candidates in which HCN observation can be possible.


title: Mitigation of interfacial dielectric loss in aluminum-on-silicon superconducting qubits

abstract: We demonstrate aluminum-on-silicon planar transmon qubits with time-averaged ${T_1}$ energy relaxation times of up to ${270\,\mu s}$, corresponding to Q = 5 million, and a highest observed value of ${501\,\mu s}$. We use materials analysis techniques and numerical simulations to investigate the dominant sources of energy loss, and devise and demonstrate a strategy towards mitigating them. The mitigation of loss is achieved by reducing the presence of oxide, a known host of defects, near the substrate-metal interface, by growing aluminum films thicker than 300 nm. A loss analysis of coplanar-waveguide resonators shows that the improvement is owing to a reduction of dielectric loss due to two-level system defects. We perform time-of-flight secondary ion mass spectrometry and observe a reduced presence of oxygen at the substrate-metal interface for the thicker films. The correlation between the enhanced performance and the film thickness is due to the tendency of aluminum to grow in columnar structures of parallel grain boundaries, where the size of the grain depends on the film thickness: transmission electron microscopy imaging shows that the thicker film has larger grains and consequently fewer grain boundaries containing oxide near this interface. These conclusions are supported by numerical simulations of the different loss contributions in the device.


title: Emergent modified gravity: Covariance regained

abstract: In its canonical formulation, general relativity is subject to gauge transformations that are equivalent to space-time coordinate changes of general covariance only when the gauge generators, given by the Hamiltonian and diffeomorphism constraints, vanish. Since the specific form taken by Poisson brackets of the constraints and of the gauge transformations and equations of motion they generate is important for general covariance to be realized, modifications of the canonical theory, suggested for instance by approaches to quantum gravity, are not guaranteed to be compatible with the existence of a covariant space-time line element. This caveat applies even if the modification preserves the number of independent gauge transformations and the modified constraints remain first class. Here, a complete derivation of covariance conditions, regained from the canonical constraints without assuming that space-time has its classical structure, is presented and applied in detail to spherically symmetric vacuum models. As a broad application, the presence of structure functions in the constraint brackets plays a crucial role, which in an independent analysis has recently been shown to lead to higher algebraic structures in hypersurface deformations given by an L-infinity bracket. The physical analysis of a related feature presented here demonstrates that, at least within the spherically symmetric setting, new theories of modified gravity are possible that are not of higher-curvature form.


title: The Relational Interpretations on soft matter as intermediate asymptoitcs

abstract: In this paper, it is demonstrated that there is a parallelism between the relational interpretation of Rovelli and the interpretation of soft matter based on intermediate asymptotics. The general interpretation of physics strongly assumes the duality of the observer and the world, and the uniqueness of the world though the relational interpretation suggested different conclusions: {\ it no properties, no interaction}, and {\ it facts are relative}. These conclusions are seemingly counterintuitive, though this work shows that similar conclusions are found in the interpretation of soft matter based on the concept of intermediate asymptotics. The interpretation of soft matter based on intermediate asymptotics also concludes that the properties are not determined without the scale. This is due to the conclusion of intermediate asymptotics that any formalization and its interpretation are localized by the scale. It is demonstrated that the similarity between the two interpretations originated from its monism of relations. This logical structure is also compared with the works in other disciplines. This work reports the insight that the relational interpretation can be a general and fundamental concept, not the one applicable to special cases.


title: Test & Evaluation Best Practices for Machine Learning-Enabled Systems

abstract: Machine learning (ML) - based software systems are rapidly gaining adoption across various domains, making it increasingly essential to ensure they perform as intended. This report presents best practices for the Test and Evaluation (T&E) of ML-enabled software systems across its lifecycle. We categorize the lifecycle of ML-enabled software systems into three stages: component, integration and deployment, and post-deployment. At the component level, the primary objective is to test and evaluate the ML model as a standalone component. Next, in the integration and deployment stage, the goal is to evaluate an integrated ML-enabled system consisting of both ML and non-ML components. Finally, once the ML-enabled software system is deployed and operationalized, the T&E objective is to ensure the system performs as intended. Maintenance activities for ML-enabled software systems span the lifecycle and involve maintaining various assets of ML-enabled software systems. Given its unique characteristics, the T&E of ML-enabled software systems is challenging. While significant research has been reported on T&E at the component level, limited work is reported on T&E in the remaining two stages. Furthermore, in many cases, there is a lack of systematic T&E strategies throughout the ML-enabled system's lifecycle. This leads practitioners to resort to ad-hoc T&E practices, which can undermine user confidence in the reliability of ML-enabled software systems. New systematic testing approaches, adequacy measurements, and metrics are required to address the T&E challenges across all stages of the ML-enabled system lifecycle.


title: Inverse Factorized Q-Learning for Cooperative Multi-agent Imitation Learning

abstract: This paper concerns imitation learning (IL) (i.e, the problem of learning to mimic expert behaviors from demonstrations) in cooperative multi-agent systems. The learning problem under consideration poses several challenges, characterized by high-dimensional state and action spaces and intricate inter-agent dependencies. In a single-agent setting, IL has proven to be done efficiently through an inverse soft-Q learning process given expert demonstrations. However, extending this framework to a multi-agent context introduces the need to simultaneously learn both local value functions to capture local observations and individual actions, and a joint value function for exploiting centralized learning. In this work, we introduce a novel multi-agent IL algorithm designed to address these challenges. Our approach enables the centralized learning by leveraging mixing networks to aggregate decentralized Q functions. A main advantage of this approach is that the weights of the mixing networks can be trained using information derived from global states. We further establish conditions for the mixing networks under which the multi-agent objective function exhibits convexity within the Q function space. We present extensive experiments conducted on some challenging competitive and cooperative multi-agent game environments, including an advanced version of the Star-Craft multi-agent challenge (i.e., SMACv2), which demonstrates the effectiveness of our proposed algorithm compared to existing state-of-the-art multi-agent IL algorithms.