title: One- and two-dimensional higher-point conformal blocks as free-particle wavefunctions in AdS$_3^{\otimes m}$

abstract: We establish that all of the one- and two-dimensional global conformal blocks are, up to some choice of prefactor, free-particle wavefunctions in tensor products of AdS$_3$ or limits thereof. Our first core observation is that the six-point comb-channel conformal blocks correspond to free-particle wavefunctions on an AdS$_3$ constructed directly in cross-ratio space. This construction generalizes to blocks for a special class of diagrams, which are determined as free-particle wavefunctions in tensor products of AdS$_3$. Conformal blocks for all the remaining topologies are obtained as limits of the free wavefunctions mentioned above. Our results show directly that the integrable models associated with all one- and two-dimensional conformal blocks can be seen as limits of free theory, and manifest a relation between AdS and CFT kinematics that lies outside of the standard AdS/CFT dictionary. We complete the discussion by providing explicit Feynman-like rules that can be used to work out blocks for all topologies, as well as a Mathematica notebook that allows simple computation of Casimir equations and series expansions for blocks, by requiring just an OPE diagram as input.


title: Constraining the AGN luminosity function from JWST with the X-ray Background

abstract: We predict the X-ray background (XRB) expected from the population of quasars detected by the JWST spectroscopic surveys over the redshift range $z \sim 4-7$. We find that the measured UV emissivities, in combination with a best-fitting quasar SED template, imply a $\sim 10$ times higher unresolved X-ray background than constrained by current experiments. We illustrate the difficulty of simultaneously matching the faint-end of the quasar luminosity function and the X-ray background constraints. We discuss possible origins and consequences of this discrepancy.


title: Cosmology with Galaxy Photometry Alone

abstract: We present the first cosmological constraints using only the observed photometry of galaxies. Villaescusa-Navarro et al. (2022; arXiv:2201.02202) recently demonstrated that the internal physical properties of a single simulated galaxy contain a significant amount of cosmological information. These physical properties, however, cannot be directly measured from observations. In this work, we present how we can go beyond theoretical demonstrations to infer cosmological constraints from actual galaxy observables (e.g. optical photometry) using neural density estimation and the CAMELS suite of hydrodynamical simulations. We find that the cosmological information in the photometry of a single galaxy is limited. However, we combine the constraining power of photometry from many galaxies using hierarchical population inference and place significant cosmological constraints. With the observed photometry of $\sim$20,000 NASA-Sloan Atlas galaxies, we constrain $\Omega_m = 0.323^{+0.075}_{-0.095}$ and $\sigma_8 = 0.799^{+0.088}_{-0.085}$.


title: Unbounded device-independent quantum key rates from arbitrarily small non-locality

abstract: Device-independent quantum key distribution allows for proving the security of a shared cryptographic key between two distant parties with potentially untrusted devices. The security proof is based on the measurement outcome statistics (correlation) of a Bell experiment, and security is guaranteed by the laws of quantum theory. While it is known that the observed correlation must be Bell non-local in order to prove security, recent results show that Bell non-locality is in general not sufficient for standard device-independent quantum key distribution. In this work, we show that conversely, there is no lower bound on the amount of non-locality that is sufficient for device-independent quantum key distribution. Even more so, we show that from certain correlations that exhibit arbitrarily small non-locality, one can still extract unbounded device-independent key rates. Therefore, a quantitative relation between device-independent key rates and Bell non-locality cannot be drawn in general. Our main technique comprises a rigorous connection between self-testing and device-independent quantum key distribution, applied to a recently discovered family of Bell inequalities with arbitrarily many measurement outcomes.


title: Modelling Stochastic Star Formation History of Dwarf Galaxies in GRUMPY

abstract: We investigate the impact of bursty star formation on several galaxy scaling relations of dwarf galaxies using the $\texttt{GRUMPY}$ galaxy formation model. While this model reproduces the star formation rate (SFR)-stellar mass, stellar mass-gas mass, and stellar mass-metallicity relations, the scatter of these relations in the original model is smaller than observed. We explore the effects of additional stochasticity of SFR on the scaling relations using a model that reproduces the level of SFR burstiness in high-resolution zoom-in simulations. The additional SFR stochasticity increases the scatter in the SFR-stellar mass relation to a level similar to that exhibited by most nearby dwarf galaxies. The most extreme observed starbursting dwarfs, however, require higher levels of SFR stochasticity. We find that bursty star formation increases the scatter in the colour-magnitude distribution (CMD) for brighter dwarf galaxies $(M_V < -12)$ to the observed level, but not for fainter ones for which scatter remains significantly smaller than observed. This is due to the predominant old stellar populations in these faint model galaxies and their generally declining SFR over the past 10 Gyrs, rather than quenching caused by reionization. We examine the possibility that the colour scatter is due to scatter in metallicity, but show that the level of scatter required leads to an overestimation of scatter in the metallicity-mass relation. This illustrates that the scatter of observed scaling relations in the dwarf galaxy regime represents a powerful constraint on the properties of their star formation.


title: JWST-TST DREAMS: Quartz Clouds in the Atmosphere of WASP-17b

abstract: Clouds are prevalent in many of the exoplanet atmospheres that have been observed to date. For transiting exoplanets, we know if clouds are present because they mute spectral features and cause wavelength-dependent scattering. While the exact composition of these clouds is largely unknown, this information is vital to understanding the chemistry and energy budget of planetary atmospheres. In this work, we observe one transit of the hot Jupiter WASP-17b with JWST's MIRI LRS and generate a transmission spectrum from 5-12 $\rm{\mu}$m. These wavelengths allow us to probe absorption due to the vibrational modes of various predicted cloud species. Our transmission spectrum shows additional opacity centered at 8.6 $\rm{\mu}$m, and detailed atmospheric modeling and retrievals identify this feature as SiO$_2$(s) (quartz) clouds. The SiO$_2$(s) clouds model is preferred at 3.5-4.2$\sigma$ versus a cloud-free model and at 2.6$\sigma$ versus a generic aerosol prescription. We find the SiO$_2$(s) clouds are comprised of small ${\sim}0.01$ $\rm{\mu}$m particles, which extend to high altitudes in the atmosphere. The atmosphere also shows a depletion of H$_2$O, a finding consistent with the formation of high-temperature aerosols from oxygen-rich species. This work is part of a series of studies by our JWST Telescope Scientist Team (JWST-TST), in which we will use Guaranteed Time Observations to perform Deep Reconnaissance of Exoplanet Atmospheres through Multi-instrument Spectroscopy (DREAMS).


title: Effects of mass and self-interaction on nonlinear scalarization of scalar-Gauss-Bonnet black holes

abstract: It was recently found that in certain flavours of scalar-Gauss-Bonnet gravity linearly stable bald black holes can co-exist with stable scalarized solutions. The transition between both can be ignited by a large nonlinear perturbation, thus the process was dubbed non-linear scalarization, and it happens with a jump that leads to interesting astrophysical implications. Generalizing these results to the case of nonzero scalar field potential is important because a massive self-interacting scalar field can have interesting theoretical and observational consequences, e.g. reconcile scalar-Gauss-Bonnet gravity with binary pulsar observation, stabilize black hole solutions, etc. That is why in the present paper, we address this open problem. We pay special attention to the influence of a scalar field mass and self-interaction on the existence of scalarized phases and the presence of a jump between stable bald and hairy back holes. Our results show that both the addition of a mass and positive self-interaction of the scalar field result in suppression or quenching of the overall scalarization phenomena. A negative scalar field self-interaction results in an increase of the scalarization. The presence and the size of the jump, though, are not so sensitive to the scalar field potential.


title: Mixed-state Quantum Phases: Renormalization and Quantum Error Correction

abstract: Open system quantum dynamics can generate a variety of long-range entangled mixed states, yet it has been unclear in what sense they constitute phases of matter. To establish that two mixed states are in the same phase, as defined by their two-way connectivity via local quantum channels, we use the renormalization group (RG) and decoders of quantum error correcting codes. We introduce a real-space RG scheme for mixed states based on local channels which ideally preserve correlations with the complementary system, and we prove this is equivalent to the reversibility of the channel's action. As an application, we demonstrate an exact RG flow of finite temperature toric code in two dimensions to infinite temperature, thus proving it is in the trivial phase. In contrast, for toric code subject to local dephasing, we establish a mixed state toric code phase using local channels obtained by truncating an RG-type decoder and the minimum weight perfect matching decoder. We also discover a precise relation between mixed state phase and decodability, by proving that local noise acting on toric code cannot destroy logical information without bringing the state out of the toric code phase.


title: Probe particles in odd active viscoelastic fluids: how activity and dissipation determine linear stability

abstract: Odd viscoelastic materials are constrained by fewer symmetries than their even counterparts. The breaking of these symmetries allow these materials to exhibit different features, which have attracted considerable attention in recent years. Immersing a bead in such complex fluids allows for probing their physical properties, highlighting signatures of their oddity and exploring consequences of these broken symmetries. We present the conditions under which the activity of an odd viscoelastic fluid can give rise to linear instabilities in the motion of the probe particle and unveil how the features of the probe particle dynamics depend on the oddity and activity of the viscoelastic medium in which it is immersed.


title: Spectra of V1405 Cas at the very beginning indicate a low-mass ONeMg white dwarf progenitor

abstract: The lowest possible mass of ONeMg white dwarfs (WDs) has not been clarified despite its importance in the formation and evolution of WDs. We tackle this issue by studying the properties of V1405 Cas (Nova Cassiopeiae 2021), which is an outlier given a combination of its very slow light-curve evolution and the recently reported neon-nova identification. We report its rapid spectral evolution in the initial phase, covering 9.88, 23.77, 33.94, 53.53, 71.79, and 81.90 hours after the discovery. The first spectrum is characterized by lines from highly-ionized species, most noticeably He II and N III. These lines are quickly replaced by lower-ionization lines, e.g., N II, Si II, and O I. In addition, Al II (6237 \r{A}) starts emerging as an emission line at the second epoch. We perform emission-line strength diagnostics, showing that the density and temperature quickly decrease toward later epochs. This behavior, together with the decreasing velocity seen in H$\alpha$, H$\beta$, and He I, indicates that the initial nova dynamics is reasonably well described by an expanding fireball on top of an expanding photosphere. Interestingly, the strengths of the N III and Al II indicate large abundance enhancement, pointing to an ONeMg WD progenitor as is consistent with its neon-nova classification. Given its low-mass nature inferred by the slow light-curve evolution and relatively narrow emission lines, it provides a challenge to the stellar evolution theory that predicts the lower limit of the ONeMg WD mass being $\sim$ 1.1 $M_\odot$.


title: New mechanisms to engineer magnetic skyrmions and topological superconductors

abstract: We propose an alternative route to stabilize magnetic skyrmions which does not require Dzyaloshinkii-Moriya interactions, magnetic anisotropy, or an external Zeeman field. Our so-called magnetic skyrmion catalysis (MSC) solely relies on the emergence of flux in the system's ground state. We review scenarios that allow for a nonzero flux and summarize the magnetic skyrmion phases that it induces. Among these, we focus on the so-called skyrmionic spin-whirl crystal (Sk-SWC$_4$) phase. We discuss aspects of MSC using a concrete model for topological superconductivity, which describes the surface states of a topological crystalline insulator in the presence of proximity induced pairing. By assuming that the surface states can exhibit the Sk-SWC$_4$ phase, we detail how the addition of a pairing gap generates a chiral superconductor. For this purpose, we construct a low-energy model which renders the mechanism for topological superconductivity transparent. Moreover, by employing this model, we perform a self-consistent investigation of the appearance of the Sk-SWC$_4$ phase for different values of the pairing gap and the ground state's flux. Our analysis verifies the catalytic nature of our mechanism in stabilizing the Sk-SWC$_4$ phase, since the magnetization modulus becomes enhanced upon ramping up the flux. The involvement of MSC further shields magnetism against the suppression induced by the pairing gap. Remarkably, even if the pairing gap fully suppresses the Sk-SWC$_4$ phase for a given value of flux, this skyrmion phase can be restored by further increasing the flux. Our findings demonstrate that MSC enables topological superconductivity in a minimal and robust fashion.


title: Scalable, ab initio protocol for quantum simulating SU($N$)$\times$U(1) Lattice Gauge Theories

abstract: We propose a protocol for the scalable quantum simulation of SU($N$)$\times$U(1) lattice gauge theories with alkaline-earth like atoms in optical lattices in both one- and two-dimensional systems. The protocol exploits the combination of naturally occurring SU($N$) pseudo-spin symmetry and strong inter-orbital interactions that is unique to such atomic species. A detailed ab initio study of the microscopic dynamics shows how gauge invariance emerges in an accessible parameter regime, and allows us to identify the main challenges in the simulation of such theories. We provide quantitative results about the requirements in terms of experimental stability in relation to observing gauge invariant dynamics, a key element for a deeper analysis on the functioning of such class of theories in both quantum simulators and computers.


title: A Mass-Conserving-Perceptron for Machine Learning-Based Modeling of Geoscientific Systems

abstract: Although decades of effort have been devoted to building Physical-Conceptual (PC) models for predicting the time-series evolution of geoscientific systems, recent work shows that Machine Learning (ML) based Gated Recurrent Neural Network technology can be used to develop models that are much more accurate. However, the difficulty of extracting physical understanding from ML-based models complicates their utility for enhancing scientific knowledge regarding system structure and function. Here, we propose a physically-interpretable Mass Conserving Perceptron (MCP) as a way to bridge the gap between PC-based and ML-based modeling approaches. The MCP exploits the inherent isomorphism between the directed graph structures underlying both PC models and GRNNs to explicitly represent the mass-conserving nature of physical processes while enabling the functional nature of such processes to be directly learned (in an interpretable manner) from available data using off-the-shelf ML technology. As a proof of concept, we investigate the functional expressivity (capacity) of the MCP, explore its ability to parsimoniously represent the rainfall-runoff (RR) dynamics of the Leaf River Basin, and demonstrate its utility for scientific hypothesis testing. To conclude, we discuss extensions of the concept to enable ML-based physical-conceptual representation of the coupled nature of mass-energy-information flows through geoscientific systems.


title: Defect Analysis of 3D Printed Cylinder Object Using Transfer Learning Approaches

abstract: Additive manufacturing (AM) is gaining attention across various industries like healthcare, aerospace, and automotive. However, identifying defects early in the AM process can reduce production costs and improve productivity - a key challenge. This study explored the effectiveness of machine learning (ML) approaches, specifically transfer learning (TL) models, for defect detection in 3D-printed cylinders. Images of cylinders were analyzed using models including VGG16, VGG19, ResNet50, ResNet101, InceptionResNetV2, and MobileNetV2. Performance was compared across two datasets using accuracy, precision, recall, and F1-score metrics. In the first study, VGG16, InceptionResNetV2, and MobileNetV2 achieved perfect scores. In contrast, ResNet50 had the lowest performance, with an average F1-score of 0.32. Similarly, in the second study, MobileNetV2 correctly classified all instances, while ResNet50 struggled with more false positives and fewer true positives, resulting in an F1-score of 0.75. Overall, the findings suggest certain TL models like MobileNetV2 can deliver high accuracy for AM defect classification, although performance varies across algorithms. The results provide insights into model optimization and integration needs for reliable automated defect analysis during 3D printing. By identifying the top-performing TL techniques, this study aims to enhance AM product quality through robust image-based monitoring and inspection.


title: Circular Average Filtering and Circular Linear Interpolation in Complex Color Spaces

abstract: In color spaces where the chromatic term is given in polar coordinates, the shortest distance between colors of the same value is circular. By converting such a space into a complex polar form with a real-valued value axis, a color algebra for combining colors is immediately available. In this work, we introduce two complex space operations utilizing this observation: circular average filtering and circular linear interpolation. These operations produce Archimedean Spirals, thus guaranteeing that they operate along the shortest paths. We demonstrate that these operations provide an intuitive way to work in certain color spaces and that they are particularly useful for obtaining better filtering and interpolation results. We present a set of examples based on the perceptually uniform color space CIELAB or L*a*b* with its polar form CIEHLC. We conclude that representing colors in a complex space with circular operations can provide better visual results by exploitation of the strong algebraic properties of complex space C.


title: Singular sets on spaces with integral curvature bounds and diffeomorphism finiteness for manifolds

abstract: In this paper, we are concerned with noncollapsed Riemannian manifolds $(M^{n},g)$ with integral curvature bounds, as well as their Gromov-Hausdorff limits $(M^{n}_{i},g_{i})\xrightarrow{GH}(X,d)$. Our main result generalizes Cheeger's Hausdorff dimension estimate for the singular set in [7] and improve it into Minkowski dimension estimate in the spirit of Cheeger-Naber [12]. We also prove a difffeomorphism finiteness theorem for manifolds in the critical case, using Cheeger-Naber's methods in [13].


title: Gravitational Observatories

abstract: We consider four-dimensional general relativity with vanishing cosmological constant defined on a manifold with a boundary. In Lorentzian signature, the timelike boundary is of the form $\boldsymbol{\sigma} \times \mathbb{R}$, with $\boldsymbol{\sigma}$ a spatial two-manifold that we take to be either flat or $S^2$. In Euclidean signature, we take the boundary to be $S^2\times S^1$. We consider conformal boundary conditions, whereby the conformal class of the induced metric and trace $K$ of the extrinsic curvature are fixed at the timelike boundary. The problem of linearised gravity is analysed using the Kodama-Ishibashi formalism. It is shown that for a round metric on $S^2$ with constant $K$, there are modes that grow exponentially in time. We discuss a method to control the growing modes by varying $K$. The growing modes are absent for a conformally flat induced metric on the timelike boundary. We provide evidence that the Dirichlet problem for a spherical boundary does not suffer from non-uniqueness issues at the linearised level. We consider the extension of black hole thermodynamics to the case of conformal boundary conditions, and show that the form of the Bekenstein-Hawking entropy is retained.


title: Time-vectorized numerical integration for systems of ODEs

abstract: Stiff systems of ordinary differential equations (ODEs) and sparse training data are common in scientific problems. This paper describes efficient, implicit, vectorized methods for integrating stiff systems of ordinary differential equations through time and calculating parameter gradients with the adjoint method. The main innovation is to vectorize the problem both over the number of independent times series and over a batch or "chunk" of sequential time steps, effectively vectorizing the assembly of the implicit system of ODEs. The block-bidiagonal structure of the linearized implicit system for the backward Euler method allows for further vectorization using parallel cyclic reduction (PCR). Vectorizing over both axes of the input data provides a higher bandwidth of calculations to the computing device, allowing even problems with comparatively sparse data to fully utilize modern GPUs and achieving speed ups of greater than 100x, compared to standard, sequential time integration. We demonstrate the advantages of implicit, vectorized time integration with several example problems, drawn from both analytical stiff and non-stiff ODE models as well as neural ODE models. We also describe and provide a freely available open-source implementation of the methods developed here.


title: Electrical Grid Anomaly Detection via Tensor Decomposition

abstract: Supervisory Control and Data Acquisition (SCADA) systems often serve as the nervous system for substations within power grids. These systems facilitate real-time monitoring, data acquisition, control of equipment, and ensure smooth and efficient operation of the substation and its connected devices. Previous work has shown that dimensionality reduction-based approaches, such as Principal Component Analysis (PCA), can be used for accurate identification of anomalies in SCADA systems. While not specifically applied to SCADA, non-negative matrix factorization (NMF) has shown strong results at detecting anomalies in wireless sensor networks. These unsupervised approaches model the normal or expected behavior and detect the unseen types of attacks or anomalies by identifying the events that deviate from the expected behavior. These approaches; however, do not model the complex and multi-dimensional interactions that are naturally present in SCADA systems. Differently, non-negative tensor decomposition is a powerful unsupervised machine learning (ML) method that can model the complex and multi-faceted activity details of SCADA events. In this work, we novelly apply the tensor decomposition method Canonical Polyadic Alternating Poisson Regression (CP-APR) with a probabilistic framework, which has previously shown state-of-the-art anomaly detection results on cyber network data, to identify anomalies in SCADA systems. We showcase that the use of statistical behavior analysis of SCADA communication with tensor decomposition improves the specificity and accuracy of identifying anomalies in electrical grid systems. In our experiments, we model real-world SCADA system data collected from the electrical grid operated by Los Alamos National Laboratory (LANL) which provides transmission and distribution service through a partnership with Los Alamos County, and detect synthetically generated anomalies.


title: A Hybrid Data-driven Model of Ship Roll

abstract: A hybrid data-driven method, which combines low-fidelity physics with machine learning (ML) to model nonlinear forces and moments at a reduced computational cost, is applied to predict the roll motions of an appended ONR Tumblehome (ONRT) hull in waves. The method is trained using CFD data of unforced roll decay time series--a common data set used in parameter identification for ship roll damping and restoring moments. The trained model is then used to predict wave excited roll responses in a range of wave frequencies and the results are compared to CFD validation data. The predictions show that the method improves predictions of roll responses, especially near the natural frequency.


title: Arithmetic Deformation of Line Bundles

abstract: We introduce a new method to study mixed characteristic deformation of line bundles. In particular, for sufficiently large smooth projective families $f : \mathcal{X} \to \mathcal{S}$ defined over the ring of $N$-integers $\mathcal{O}_{L}[1/N]$ of a number field $L$, we produce a proper closed subscheme $\mathcal{E} \subsetneq \mathcal{S}$ outside of which all line bundles appearing in positive characteristic fibres of $f$ admit characteristic zero lifts. This in particular applies to elliptic surfaces over $\mathbb{P}^1$ and projective hypersurfaces in $\mathbb{P}^3$ of degree $d \geq 5$. We also study the locus in $\mathcal{E}$ in more detail in the $h^{0, 2} = 2$ case.


title: Analyzing Textual Data for Fatality Classification in Afghanistan's Armed Conflicts: A BERT Approach

abstract: Afghanistan has witnessed many armed conflicts throughout history, especially in the past 20 years; these events have had a significant impact on human lives, including military and civilians, with potential fatalities. In this research, we aim to leverage state-of-the-art machine learning techniques to classify the outcomes of Afghanistan armed conflicts to either fatal or non-fatal based on their textual descriptions provided by the Armed Conflict Location & Event Data Project (ACLED) dataset. The dataset contains comprehensive descriptions of armed conflicts in Afghanistan that took place from August 2021 to March 2023. The proposed approach leverages the power of BERT (Bidirectional Encoder Representations from Transformers), a cutting-edge language representation model in natural language processing. The classifier utilizes the raw textual description of an event to estimate the likelihood of the event resulting in a fatality. The model achieved impressive performance on the test set with an accuracy of 98.8%, recall of 98.05%, precision of 99.6%, and an F1 score of 98.82%. These results highlight the model's robustness and indicate its potential impact in various areas such as resource allocation, policymaking, and humanitarian aid efforts in Afghanistan. The model indicates a machine learning-based text classification approach using the ACLED dataset to accurately classify fatality in Afghanistan armed conflicts, achieving robust performance with the BERT model and paving the way for future endeavors in predicting event severity in Afghanistan.


title: Histogram- and Diffusion-Based Medical Out-of-Distribution Detection

abstract: Out-of-distribution (OOD) detection is crucial for the safety and reliability of artificial intelligence algorithms, especially in the medical domain. In the context of the Medical OOD (MOOD) detection challenge 2023, we propose a pipeline that combines a histogram-based method and a diffusion-based method. The histogram-based method is designed to accurately detect homogeneous anomalies in the toy examples of the challenge, such as blobs with constant intensity values. The diffusion-based method is based on one of the latest methods for unsupervised anomaly detection, called DDPM-OOD. We explore this method and propose extensive post-processing steps for pixel-level and sample-level anomaly detection on brain MRI and abdominal CT data provided by the challenge. Our results show that the proposed DDPM method is sensitive to blur and bias field samples, but faces challenges with anatomical deformation, black slice, and swapped patches. These findings suggest that further research is needed to improve the performance of DDPM for OOD detection in medical images.


title: Wake structures and performance of wind turbine rotor with harmonic surging motions under laminar and turbulent inflows

abstract: This study presents a comprehensive numerical analysis of a full-scale horizontal-axis Floating Offshore Wind Turbine (FOWT) subjected to harmonic surging motions under both laminar and turbulent inflow conditions. Utilizing high-fidelity Computational Fluid Dynamics (CFD) simulations, namely Large-Eddy Simulation (LES) with Actuator Line Model (ALM), this research investigates the rotor performance, wake characteristics, and wake structures of a surging FOWT in detail. The study delves into the influence of varying inflow turbulence intensities, surging settings, and their interplay on the aerodynamic performance and the wake aerodynamics of a FOWT rotor. The results show that, through employing the phase-locking technique, Surging Induced Periodic Coherent Structures (SIPCS) can be identified in the wake of all the surging cases studied, irrespective of the inflow conditions and the surging settings. Additionally, the findings show that the faster wake recovery observed in the surging-laminar cases is not caused by facilitating instability-induced faster wake breakdown, a previously accepted hypothesis. Instead, it is the enhanced advection process resulting from the induction fields of SIPCS that causes the wake to recover faster. The analysis of rotor performance shows that the time-averaged rotor performances are affected by the intricate dynamics arising from the surging motions. With certain surging settings, the time-averaged thrust and the time-averaged power of a surging rotor are found to be simultaneously lower and higher compared to those of a fixed rotor. Furthermore, the study underscores the importance of considering both the magnitude of surging and the rate of surging ($\mathcal{V}$ and $\mathcal{W}$) simultaneously to fully characterize the hysteresis load on a surging rotor.


title: SplitBeam: Effective and Efficient Beamforming in Wi-Fi Networks Through Split Computing

abstract: Modern IEEE 802.11 (Wi-Fi) networks extensively rely on multiple-input multiple-output (MIMO) to significantly improve throughput. To correctly beamform MIMO transmissions, the access point needs to frequently acquire a beamforming matrix (BM) from each connected station. However, the size of the matrix grows with the number of antennas and subcarriers, resulting in an increasing amount of airtime overhead and computational load at the station. Conventional approaches come with either excessive computational load or loss of beamforming precision. For this reason, we propose SplitBeam, a new framework where we train a split deep neural network (DNN) to directly output the BM given the channel state information (CSI) matrix as input. We formulate and solve a bottleneck optimization problem (BOP) to keep computation, airtime overhead, and bit error rate (BER) below application requirements. We perform extensive experimental CSI collection with off-the-shelf Wi-Fi devices in two distinct environments and compare the performance of SplitBeam with the standard IEEE 802.11 algorithm for BM feedback and the state-of-the-art DNN-based approach LB-SciFi. Our experimental results show that SplitBeam reduces the beamforming feedback size and computational complexity by respectively up to 81% and 84% while maintaining BER within about 10^-3 of existing approaches. We also implement the SplitBeam DNNs on FPGA hardware to estimate the end-to-end BM reporting delay, and show that the latter is less than 10 milliseconds in the most complex scenario, which is the target channel sounding frequency in realistic multi-user MIMO scenarios.


title: Holomorphic curves in Stein domains and the tau-invariant

abstract: The scope of the paper is threefold. First, we build on recent work by Hayden to compute Hedden's tau-invariant $\tau_{\xi}(L)$ in the case when $\xi$ is a Stein fillable contact structure, and $L$ is a transverse link arising as the boundary of a $J$-holomorphic curve. This leads to a new proof of the relative Thom conjecture for Stein domains. Secondly, we compare the invariant $\tau_\xi$ to the Grigsby-Ruberman-Strle topological tau-invariant $\tau_{\mathfrak s}$, associated to the $\text{Spin}^c$-structure $\mathfrak s=\mathfrak s_\xi$ of the contact structure, to admit topological obstructions for a link type to contain a holomorphically fillable transverse representative. We combine the latter with a result of Mark and Tosun to confirm a conjecture of Gompf: no standardly-oriented Brieskorn homology sphere bounds a rational homology four-ball Stein filling, with any contact structure. Finally, we use our main result together with methods from lattice cohomology to compute the $\tau_{\mathfrak s}$-invariants of certain links in lens spaces, and estimate their PL slice genus.


title: Rethinking Thorne-\.{Z}ytkow Object Formation: Assembly via Common Envelope in Field Binaries

abstract: Thorne-\.{Z}ytkow objects (T\.{Z}Os), hypothetical merger products in which a neutron star is embedded in a stellar core, are traditionally considered steady-state configurations. Their assembly, especially through dynamical channels, is not well-understood. The predominant focus in the literature has been on the observational signatures related to the evolution and long-term fate of T\.{Z}Os, with their initial formation often treated as a given. However, the foundational calculations supporting the existence of T\.{Z}Os assume non-rotating spherically-symmetric initial conditions that we find to be inconsistent with a binary merger scenario. In this work, we explore the implications of post-merger dynamics in T\.{Z}O formation scenarios with field binary progenitors, specifically the role that angular momentum transport during the common envelope phase plays in constraining possible merger products, using the tools of stellar evolution and three-dimensional hydrodynamics. We also propose an alternative steady-state outcome for these mergers: the thin-envelope T\.{Z}O, an equilibrium solution consisting of a low-mass spherical envelope supported by the accretion disk luminosity of a central stellar-mass black hole. These configurations may be of interest to upcoming time-domain surveys as potential X-ray sources that may be preceded by a series of bright transient events.


title: LoftQ: LoRA-Fine-Tuning-Aware Quantization for Large Language Models

abstract: Quantization is an indispensable technique for serving Large Language Models (LLMs) and has recently found its way into LoRA fine-tuning. In this work we focus on the scenario where quantization and LoRA fine-tuning are applied together on a pre-trained model. In such cases it is common to observe a consistent gap in the performance on downstream tasks between full fine-tuning and quantization plus LoRA fine-tuning approach. In response, we propose LoftQ (LoRA-Fine-Tuning-aware Quantization), a novel quantization framework that simultaneously quantizes an LLM and finds a proper low-rank initialization for LoRA fine-tuning. Such an initialization alleviates the discrepancy between the quantized and full-precision model and significantly improves generalization in downstream tasks. We evaluate our method on natural language understanding, question answering, summarization, and natural language generation tasks. Experiments show that our method is highly effective and outperforms existing quantization methods, especially in the challenging 2-bit and 2/4-bit mixed precision regimes. The code is available on https://github.com/yxli2123/LoftQ.


title: Learning RL-Policies for Joint Beamforming Without Exploration: A Batch Constrained Off-Policy Approach

abstract: In this work, we consider the problem of network parameter optimization for rate maximization. We frame this as a joint optimization problem of power control, beam forming, and interference cancellation. We consider the setting where multiple Base Stations (BSs) communicate with multiple user equipment (UEs). Because of the exponential computational complexity of brute force search, we instead solve this nonconvex optimization problem using deep reinforcement learning (RL) techniques. Modern communication systems are notorious for their difficulty in exactly modeling their behavior. This limits us in using RL-based algorithms as interaction with the environment is needed for the agent to explore and learn efficiently. Further, it is ill-advised to deploy the algorithm in the real world for exploration and learning because of the high cost of failure. In contrast to the previous RL-based solutions proposed, such as deep-Q network (DQN) based control, we suggest an offline model-based approach. We specifically consider discrete batch-constrained deep Q-learning (BCQ) and show that performance similar to DQN can be achieved with only a fraction of the data without exploring. This maximizes sample efficiency and minimizes risk in deploying a new algorithm to commercial networks. We provide the entire project resource, including code and data, at the following link: https://github.com/Heasung-Kim/ safe-rl-deployment-for-5g.


title: Counting and Algorithmic Generalization with Transformers

abstract: Algorithmic generalization in machine learning refers to the ability to learn the underlying algorithm that generates data in a way that generalizes out-of-distribution. This is generally considered a difficult task for most machine learning algorithms. Here, we analyze algorithmic generalization when counting is required, either implicitly or explicitly. We show that standard Transformers are based on architectural decisions that hinder out-of-distribution performance for such tasks. In particular, we discuss the consequences of using layer normalization and of normalizing the attention weights via softmax. With ablation of the problematic operations, we demonstrate that a modified transformer can exhibit a good algorithmic generalization performance on counting while using a very lightweight architecture.


title: Asymptotic Stability of Active Disturbance Rejection Control for Linear SISO Plants with Low Observer Gains

abstract: This paper theoretically investigates the closed-loop performance of active disturbance rejection control (ADRC) on a third-order linear plant with relative degree 3, subject to a class of exogenous disturbances. While PID control cannot be guaranteed to be capable of stabilizing such plants, ADRC offers a model-free alternative. However, many existing works on ADRC consider the observer gains to be taken arbitrarily large, in order to guarantee desired performance, such as works which consider parameterizing ADRC by bandwidth. This work finds that, for constant exogenous disturbances, arbitrary eigenvalue assignment is possible for the closed-loop system under linear ADRC, thus guaranteeing the existence of an ADRC controller for desired performance without taking any gains arbitrarily large. We also find that stabilization is possible when the exogenous disturbance is stable, and show how ADRC can recover the performance of model-based observers. We demonstrate aspects of the resulting closed-loop systems under ADRC in simulations.


title: One n Remains to Settle the Tree Conjecture

abstract: In the famous network creation game of Fabrikant et al. a set of agents play a game to build a connected graph. The $n$ agents form the vertex set $V$ of the graph and each vertex $v\in V$ buys a set $E_v$ of edges inducing a graph $G=(V,\bigcup\limits_{v\in V} E_v)$. The private objective of each vertex is to minimize the sum of its building cost (the cost of the edges it buys) plus its connection cost (the total distance from itself to every other vertex). Given a cost of $\alpha$ for each individual edge, a long-standing conjecture, called the tree conjecture, states that if $\alpha > n$ then every Nash equilibrium graph in the game is a spanning tree. After a plethora of work, it is known that the conjecture holds for any $\alpha>3n-3$. In this paper we prove the tree conjecture holds for $\alpha>2n$. This reduces by half the open range for $\alpha$ with only $[n, 2n)$ remaining in order to settle the conjecture.


title: Mean and variance of the longest alternating subsequence in a random separable permutation

abstract: A permutation is \it separable \rm if it can be obtained from the singleton permutation by iterating direct sums and skew sums. Equivalently, it is separable if and only it avoids the patterns 2413 and 3142. Under the uniform probability on separable permutations of $[n]$, let the random variable $A_n$ denote the length of the longest alternating subsequence. Also, let $A_n^{+,-}$ denote the length of the longest alternating subsequence that begins with an ascent and ends with a descent, and define $A_n^{-,+}, A_n^{+,+}, A_n^{-,-}$ similarly. By symmetry, the first two and the last two of these latter four random variables are equi-distributed. We prove that the expected value of any of these five random variables behaves asymptotically as $(2-\sqrt2)n\approx0.5858\thinspace n$. We also prove that the variance of any of the four random variables $A_n^{\pm,\pm}$ behaves asymptotically as $\frac{16-11\sqrt2}2n\approx0.2218\thinspace n$.


title: Perturbing parameters to understand cloud contributions to climate change

abstract: The sensitivity of cloud feedbacks to atmospheric model parameters is evaluated using a CAM6 perturbed parameter ensemble (PPE). The CAM6 PPE perturbs 45 parameters across 262 simulations, 206 of which are used here. The spread in total cloud feedback and its six components across the CAM6 PPE are comparable to the spread across the CMIP6 and AMIP ensembles, indicating that parametric uncertainty mirrors structural uncertainty. However, the high-cloud altitude feedback is generally larger in the CAM6 PPE than WCRP assessment, CMIP6, and AMIP values. We evaluate the influence of each of the 45 parameters on the total cloud feedback and each of the six cloud feedback components. We also explore whether the CAM6 PPE can be used to constrain the total cloud feedback, with inconclusive results. Further, we find that despite the large parametric sensitivity of cloud feedbacks in CAM6, a substantial increase in cloud feedbacks from CAM5 to CAM6 is not a result of changes in parameter values. Notably, the CAM6 PPE is run with a more recent version of CAM6 (CAM6.3) than was used for AMIP (CAM6.0), and has a smaller total cloud feedback (0.56 W m$^{-2}$ K$^{-1}$) as compared to CAM6.0 (0.81 W m$^{-2}$ K$^{-1}$) owing primarily to reductions in low clouds over the tropics and middle latitudes. The work highlights the large sensitivity of cloud feedbacks to both parameter values and structural details in CAM6.


title: Non-smoothable homeomorphisms of $4$-manifolds with boundary

abstract: We construct the first examples of non-smoothable self-homeomorphisms of smooth $4$-manifolds with boundary that fix the boundary and act trivially on homology. As a corollary, we construct self-diffeomorphisms of $4$-manifolds with boundary that fix the boundary and act trivially on homology but cannot be isotoped to any self-diffeomorphism supported in a collar of the boundary and, in particular, are not isotopic to any generalised Dehn twist.


title: Generalised Gaussian states in group field theory and $\mathfrak{su(1,1)}$ quantum cosmology

abstract: We define generalised Gaussian states for quantum cosmological models based on the $\mathfrak{su(1,1)}$ algebra, with particular emphasis on its realisation in group field theory for a single field mode, and study their semiclassical properties. These states are generalisations of coherent, squeezed and thermal states considered previously. As two possible characterisations of semiclassicality, we contrast the requirement of small relative fluctuations in volume and energy with the saturation of the Robertson--Schr\"odinger uncertainty principle. We find that for the most general class of states the appearance of small relative fluctuations, which we take as the main criterion relevant for the emergence of cosmology, is mostly determined by the amount of displacement used to define the state. We also observe that defining such generalised Gaussian states is less straightforward in the algebraic approach to canonical quantisation of group field theory, and discuss special cases.


title: Localization of vibrational modes in high-entropy oxides

abstract: The recently-discovered high-entropy oxides offer a paradoxical combination of crystalline arrangement and high disorder. They differ qualitatively from established paradigms for disordered solids such as glasses and alloys. In these latter systems, it is well known that disorder induces localized vibrational excitations. In this article, we explore the possibility of disorder-induced localization in (MgCoCuNiZn)O, the prototypical high-entropy oxide with rock-salt structure. To describe phononic excitations, we model the interatomic potentials for the cation-oxygen interactions by fitting to the physical properties of the parent binary oxides. We validate our model against the experimentally determined crystal structure, bond lengths, and optical conductivity. The resulting phonon spectrum shows wave-like propagating modes at low energies and localized modes at high energies. Localization is reflected in signatures such as participation ratio and correlation amplitude. Finally, we explore the possibility of increased mass disorder in the oxygen sublattice. Admixing sulphur or tellurium atoms with oxygen enhances localization. It even leads to localized modes in the middle of the spectrum. Our results suggest that high-entropy oxides are a promising platform to study Anderson localization of phonons.


title: Multimodal Large Language Model for Visual Navigation

abstract: Recent efforts to enable visual navigation using large language models have mainly focused on developing complex prompt systems. These systems incorporate instructions, observations, and history into massive text prompts, which are then combined with pre-trained large language models to facilitate visual navigation. In contrast, our approach aims to fine-tune large language models for visual navigation without extensive prompt engineering. Our design involves a simple text prompt, current observations, and a history collector model that gathers information from previous observations as input. For output, our design provides a probability distribution of possible actions that the agent can take during navigation. We train our model using human demonstrations and collision signals from the Habitat-Matterport 3D Dataset (HM3D). Experimental results demonstrate that our method outperforms state-of-the-art behavior cloning methods and effectively reduces collision rates.


title: Every Parameter Matters: Ensuring the Convergence of Federated Learning with Dynamic Heterogeneous Models Reduction

abstract: Cross-device Federated Learning (FL) faces significant challenges where low-end clients that could potentially make unique contributions are excluded from training large models due to their resource bottlenecks. Recent research efforts have focused on model-heterogeneous FL, by extracting reduced-size models from the global model and applying them to local clients accordingly. Despite the empirical success, general theoretical guarantees of convergence on this method remain an open question. This paper presents a unifying framework for heterogeneous FL algorithms with online model extraction and provides a general convergence analysis for the first time. In particular, we prove that under certain sufficient conditions and for both IID and non-IID data, these algorithms converge to a stationary point of standard FL for general smooth cost functions. Moreover, we introduce the concept of minimum coverage index, together with model reduction noise, which will determine the convergence of heterogeneous federated learning, and therefore we advocate for a holistic approach that considers both factors to enhance the efficiency of heterogeneous federated learning.


title: SSG2: A new modelling paradigm for semantic segmentation

abstract: State-of-the-art models in semantic segmentation primarily operate on single, static images, generating corresponding segmentation masks. This one-shot approach leaves little room for error correction, as the models lack the capability to integrate multiple observations for enhanced accuracy. Inspired by work on semantic change detection, we address this limitation by introducing a methodology that leverages a sequence of observables generated for each static input image. By adding this "temporal" dimension, we exploit strong signal correlations between successive observations in the sequence to reduce error rates. Our framework, dubbed SSG2 (Semantic Segmentation Generation 2), employs a dual-encoder, single-decoder base network augmented with a sequence model. The base model learns to predict the set intersection, union, and difference of labels from dual-input images. Given a fixed target input image and a set of support images, the sequence model builds the predicted mask of the target by synthesizing the partial views from each sequence step and filtering out noise. We evaluate SSG2 across three diverse datasets: UrbanMonitor, featuring orthoimage tiles from Darwin, Australia with five spectral bands and 0.2m spatial resolution; ISPRS Potsdam, which includes true orthophoto images with multiple spectral bands and a 5cm ground sampling distance; and ISIC2018, a medical dataset focused on skin lesion segmentation, particularly melanoma. The SSG2 model demonstrates rapid convergence within the first few tens of epochs and significantly outperforms UNet-like baseline models with the same number of gradient updates. However, the addition of the temporal dimension results in an increased memory footprint. While this could be a limitation, it is offset by the advent of higher-memory GPUs and coding optimizations.


title: Machine Learning Who to Nudge: Causal vs Predictive Targeting in a Field Experiment on Student Financial Aid Renewal

abstract: In many settings, interventions may be more effective for some individuals than others, so that targeting interventions may be beneficial. We analyze the value of targeting in the context of a large-scale field experiment with over 53,000 college students, where the goal was to use "nudges" to encourage students to renew their financial-aid applications before a non-binding deadline. We begin with baseline approaches to targeting. First, we target based on a causal forest that estimates heterogeneous treatment effects and then assigns students to treatment according to those estimated to have the highest treatment effects. Next, we evaluate two alternative targeting policies, one targeting students with low predicted probability of renewing financial aid in the absence of the treatment, the other targeting those with high probability. The predicted baseline outcome is not the ideal criterion for targeting, nor is it a priori clear whether to prioritize low, high, or intermediate predicted probability. Nonetheless, targeting on low baseline outcomes is common in practice, for example because the relationship between individual characteristics and treatment effects is often difficult or impossible to estimate with historical data. We propose hybrid approaches that incorporate the strengths of both predictive approaches (accurate estimation) and causal approaches (correct criterion); we show that targeting intermediate baseline outcomes is most effective in our specific application, while targeting based on low baseline outcomes is detrimental. In one year of the experiment, nudging all students improved early filing by an average of 6.4 percentage points over a baseline average of 37% filing, and we estimate that targeting half of the students using our preferred policy attains around 75% of this benefit.


title: PyMsOfa: A Python Package for the Standards of Fundamental Astronomy (SOFA) Service

abstract: The Standards of Fundamental Astronomy (SOFA) is a service provided by the International Astronomical Union (IAU) that offers algorithms and software for astronomical calculations, which was released in two versions by FORTRAN 77 and ANSI C, respectively. In this work, we implement the python package PyMsOfa for SOFA service by three ways: (1) a python wrapper package based on a foreign function library for Python (ctypes), (2) a python wrapper package with the foreign function interface for Python calling C code (cffi), and (3) a python package directly written in pure python codes from SOFA subroutines. The package PyMsOfa has fully implemented 247 functions of the original SOFA routines. In addition, PyMsOfa is also extensively examined, which is exactly consistent with those test examples given by the original SOFA. This python package can be suitable to not only the astrometric detection of habitable planets of the Closeby Habitable Exoplanet Survey (CHES) mission (Ji et al. 2022), but also for the frontiers themes of black holes and dark matter related to astrometric calculations and other fields. The source codes are available via https://github.com/CHES2023/PyMsOfa.

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


title: Pay Attention to How You Drive: Safe and Adaptive Model-Based Reinforcement Learning for Off-Road Driving

abstract: Autonomous off-road driving is challenging as risky actions taken by the robot may lead to catastrophic damage. As such, developing controllers in simulation is often desirable as it provides a safer and more economical alternative. However, accurately modeling robot dynamics is difficult due to the complex robot dynamics and terrain interactions in unstructured environments. Domain randomization addresses this problem by randomizing simulation dynamics parameters, however this approach sacrifices performance for robustness leading to policies that are sub-optimal for any target dynamics. We introduce a novel model-based reinforcement learning approach that aims to balance robustness with adaptability. Our approach trains a System Identification Transformer (SIT) and an Adaptive Dynamics Model (ADM) under a variety of simulated dynamics. The SIT uses attention mechanisms to distill state-transition observations from the target system into a context vector, which provides an abstraction for its target dynamics. Conditioned on this, the ADM probabilistically models the system's dynamics. Online, we use a Risk-Aware Model Predictive Path Integral controller (MPPI) to safely control the robot under its current understanding of the dynamics. We demonstrate in simulation as well as in multiple real-world environments that this approach enables safer behaviors upon initialization and becomes less conservative (i.e. faster) as its understanding of the target system dynamics improves with more observations. In particular, our approach results in an approximately 41% improvement in lap-time over the non-adaptive baseline while remaining safe across different environments.


title: Quantum control of classical motion: piston dynamics in a Rabi-coupled Bose-Einstein condensate

abstract: We explore the dynamics of a hybrid classical-quantum system consisting of a classical piston and a self-interacting pseudospin 1/2 Bose-Einstein condensate with a time-dependent Rabi coupling. We investigate the mechanical work produced by the piston moving as a result of the quantum pressure of the condensate. The time-dependent Rabi field redistributes the condensate density between the spin components and, as a result, causes a time dependent pressure acting on the piston. Correspondingly, the motion of the piston produces quantum evolution of the condensate mass- and spin density profiles. We show how by optimised design of the time-dependent direction of the Rabi field, one can control position and velocity of the piston.


title: In-situ Estimation of Time-averaging Uncertainties in Turbulent Flow Simulations

abstract: The statistics obtained from turbulent flow simulations are generally uncertain due to finite time averaging. The techniques available in the literature to accurately estimate these uncertainties typically only work in an offline mode, that is, they require access to all available samples of a time series at once. In addition to the impossibility of online monitoring of uncertainties during the course of simulations, such an offline approach can lead to input/output (I/O) deficiencies and large storage/memory requirements, which can be problematic for large-scale simulations of turbulent flows. Here, we designed, implemented and tested a framework for estimating time-averaging uncertainties in turbulence statistics in an in-situ (online/streaming/updating) manner. The proposed algorithm relies on a novel low-memory update formula for computing the sample-estimated autocorrelation functions (ACFs). Based on this, smooth modeled ACFs of turbulence quantities can be generated to accurately estimate the time-averaging uncertainties in the corresponding sample mean estimators. The resulting uncertainty estimates are highly robust, accurate, and quantitatively the same as those obtained by standard offline estimators. Moreover, the computational overhead added by the in-situ algorithm is found to be negligible. The framework is completely general and can be used with any flow solver and also integrated into the simulations over conformal and complex meshes created by adopting adaptive mesh refinement techniques. The results of the study are encouraging for the further development of the in-situ framework for other uncertainty quantification and data-driven analyses relevant not only to large-scale turbulent flow simulations, but also to the simulation of other dynamical systems leading to time-varying quantities with autocorrelated samples.


title: GDL-DS: A Benchmark for Geometric Deep Learning under Distribution Shifts

abstract: Geometric deep learning (GDL) has gained significant attention in various scientific fields, chiefly for its proficiency in modeling data with intricate geometric structures. Yet, very few works have delved into its capability of tackling the distribution shift problem, a prevalent challenge in many relevant applications. To bridge this gap, we propose GDL-DS, a comprehensive benchmark designed for evaluating the performance of GDL models in scenarios with distribution shifts. Our evaluation datasets cover diverse scientific domains from particle physics and materials science to biochemistry, and encapsulate a broad spectrum of distribution shifts including conditional, covariate, and concept shifts. Furthermore, we study three levels of information access from the out-of-distribution (OOD) testing data, including no OOD information, only OOD features without labels, and OOD features with a few labels. Overall, our benchmark results in 30 different experiment settings, and evaluates 3 GDL backbones and 11 learning algorithms in each setting. A thorough analysis of the evaluation results is provided, poised to illuminate insights for DGL researchers and domain practitioners who are to use DGL in their applications.


title: Can GPT models be Financial Analysts? An Evaluation of ChatGPT and GPT-4 on mock CFA Exams

abstract: Large Language Models (LLMs) have demonstrated remarkable performance on a wide range of Natural Language Processing (NLP) tasks, often matching or even beating state-of-the-art task-specific models. This study aims at assessing the financial reasoning capabilities of LLMs. We leverage mock exam questions of the Chartered Financial Analyst (CFA) Program to conduct a comprehensive evaluation of ChatGPT and GPT-4 in financial analysis, considering Zero-Shot (ZS), Chain-of-Thought (CoT), and Few-Shot (FS) scenarios. We present an in-depth analysis of the models' performance and limitations, and estimate whether they would have a chance at passing the CFA exams. Finally, we outline insights into potential strategies and improvements to enhance the applicability of LLMs in finance. In this perspective, we hope this work paves the way for future studies to continue enhancing LLMs for financial reasoning through rigorous evaluation.


title: Data-driven Invariance for Reference Governors

abstract: This paper presents a novel approach to synthesizing positive invariant sets for unmodeled nonlinear systems using direct data-driven techniques. The data-driven invariant sets are used to design a data-driven reference governor that selects a reference for the closed-loop system to enforce constraints. Using kernel-basis functions, we solve a semi-definite program to learn a sum-of-squares Lyapunov-like function whose unity level-set is a constraint admissible positive invariant set, which determines the constraint admissible states as well as reference inputs. Leveraging Lipschitz properties of the system, we prove that tightening the model-based design ensures robustness of the data-driven invariant set to the inherent plant uncertainty in a data-driven framework. To mitigate the curse-of-dimensionality, we repose the semi-definite program into a linear program. We validate our approach through two examples: First, we present an illustrative example where we can analytically compute the maximum positive invariant set and compare with the presented data-driven invariant set. Second, we present a practical autonomous driving scenario to demonstrate the utility of the presented method for nonlinear systems.


title: An Efficient Resilient MPC Scheme via Constraint Tightening against Cyberattacks: Application to Vehicle Cruise Control

abstract: We propose a novel framework for designing a resilient Model Predictive Control (MPC) targeting uncertain linear systems under cyber attack. Assuming a periodic attack scenario, we model the system under Denial of Service (DoS) attack, also with measurement noise, as an uncertain linear system with parametric and additive uncertainty. To detect anomalies, we employ a Kalman filter-based approach. Then, through our observations of the intensity of the launched attack, we determine a range of possible values for the system matrices, as well as establish bounds of the additive uncertainty for the equivalent uncertain system. Leveraging a recent constraint tightening robust MPC method, we present an optimization-based resilient algorithm. Accordingly, we compute the uncertainty bounds and corresponding constraints offline for various attack magnitudes. Then, this data can be used efficiently in the MPC computations online. We demonstrate the effectiveness of the developed framework on the Adaptive Cruise Control (ACC) problem.


title: Fed-Safe: Securing Federated Learning in Healthcare Against Adversarial Attacks

abstract: This paper explores the security aspects of federated learning applications in medical image analysis. Current robustness-oriented methods like adversarial training, secure aggregation, and homomorphic encryption often risk privacy compromises. The central aim is to defend the network against potential privacy breaches while maintaining model robustness against adversarial manipulations. We show that incorporating distributed noise, grounded in the privacy guarantees in federated settings, enables the development of a adversarially robust model that also meets federated privacy standards. We conducted comprehensive evaluations across diverse attack scenarios, parameters, and use cases in cancer imaging, concentrating on pathology, meningioma, and glioma. The results reveal that the incorporation of distributed noise allows for the attainment of security levels comparable to those of conventional adversarial training while requiring fewer retraining samples to establish a robust model.


title: Lattices of varieties of plactic-like monoids

abstract: We study the equational theories and bases of meets and joins of several varieties of plactic-like monoids. Using those results, we construct sublattices of the lattice of varieties of monoids, generated by said varieties. We calculate the axiomatic ranks of their elements, obtain plactic-like congruences whose corresponding factor monoids generate varieties in the lattice, and determine which varieties are joins of the variety of commutative monoids and a finitely generated variety. We also show that the hyposylvester and metasylvester monoids generate the same variety as the sylvester monoid.


title: Virtual Augmented Reality for Atari Reinforcement Learning

abstract: Reinforcement Learning (RL) has achieved significant milestones in the gaming domain, most notably Google DeepMind's AlphaGo defeating human Go champion Ken Jie. This victory was also made possible through the Atari Learning Environment (ALE): The ALE has been foundational in RL research, facilitating significant RL algorithm developments such as AlphaGo and others. In current Atari video game RL research, RL agents' perceptions of its environment is based on raw pixel data from the Atari video game screen with minimal image preprocessing. Contrarily, cutting-edge ML research, external to the Atari video game RL research domain, is focusing on enhancing image perception. A notable example is Meta Research's "Segment Anything Model" (SAM), a foundation model capable of segmenting images without prior training (zero-shot). This paper addresses a novel methodical question: Can state-of-the-art image segmentation models such as SAM improve the performance of RL agents playing Atari video games? The results suggest that SAM can serve as a "virtual augmented reality" for the RL agent, boosting its Atari video game playing performance under certain conditions. Comparing RL agent performance results from raw and augmented pixel inputs provides insight into these conditions. Although this paper was limited by computational constraints, the findings show improved RL agent performance for augmented pixel inputs and can inform broader research agendas in the domain of "virtual augmented reality for video game playing RL agents".


title: Heavy flavor as a probe of hot QCD matter produced in proton-proton collisions

abstract: The creation of a quark-gluon plasma (QGP) is expected in heavy ion collisions. It came as a surprise that proton-proton collisions at ultrarelativistic energies show as well a ``QGP-like'' behavior and signs of the creation of a fluid, although the corresponding system size is not more than a few cubic femtometers. Even more surprisingly, also heavy flavor particles seem to be part of the fluid or at least interact with it. In this paper, we will investigate in a quantitative way this ``collective behavior'' of heavy flavor, by employing the newly developed EPOS4HQ approach, which has proven to be compatible with basic experimental data of light flavor hadrons. We will investigate all observables, which may manifest collectivity, as particle spectra, elliptic flow, baryon-to-meson ratios, and two-particle correlations, and compare the results with experimental data. We will try to disentangle initial state effects, those being due to interactions between charm quarks and plasma partons, and final state effects (hadronization).


title: Kernel-Elastic Autoencoder for Molecular Design

abstract: We introduce the Kernel-Elastic Autoencoder (KAE), a self-supervised generative model based on the transformer architecture with enhanced performance for molecular design. KAE is formulated based on two novel loss functions: modified maximum mean discrepancy and weighted reconstruction. KAE addresses the long-standing challenge of achieving valid generation and accurate reconstruction at the same time. KAE achieves remarkable diversity in molecule generation while maintaining near-perfect reconstructions on the independent testing dataset, surpassing previous molecule-generating models. KAE enables conditional generation and allows for decoding based on beam search resulting in state-of-the-art performance in constrained optimizations. Furthermore, KAE can generate molecules conditional to favorable binding affinities in docking applications as confirmed by AutoDock Vina and Glide scores, outperforming all existing candidates from the training dataset. Beyond molecular design, we anticipate KAE could be applied to solve problems by generation in a wide range of applications.


title: IMU Preintegration for Multi-Robot Systems in the Presence of Bias and Communication Constraints

abstract: This document is in supplement to the paper titled "Multi-Robot Relative Pose Estimation and IMU Preintegration Using Passive UWB Transceivers", available at [1]. The purpose of this document is to show how IMU biases can be incorporated into the framework presented in [1], while maintaining the differential Sylvester equation form of the process model.


title: Understanding How to Inform Blind and Low-Vision Users about Data Privacy through Privacy Question Answering Assistants

abstract: Understanding and managing data privacy in the digital world can be challenging for sighted users, let alone blind and low-vision (BLV) users. There is limited research on how BLV users, who have special accessibility needs, navigate data privacy, and how potential privacy tools could assist them. We conducted an in-depth qualitative study with 21 US BLV participants to understand their data privacy risk perception and mitigation, as well as their information behaviors related to data privacy. We also explored BLV users' attitudes towards potential privacy question answering (Q&A) assistants that enable them to better navigate data privacy information. We found that BLV users face heightened security and privacy risks, but their risk mitigation is often insufficient. They do not necessarily seek data privacy information but clearly recognize the benefits of a potential privacy Q&A assistant. They also expect privacy Q&A assistants to possess cross-platform compatibility, support multi-modality, and demonstrate robust functionality. Our study sheds light on BLV users' expectations when it comes to usability, accessibility, trust and equity issues regarding digital data privacy.


title: A note on balance laws of coupled surface and bulk fluid flows

abstract: Balance laws of coupled bulk-surface-bulk fluid flows are considered. We carefully investigate how do the interface conditions influence the total mass, total momentum and total energy of the system.


title: Craig Interpolation for Decidable First-Order Fragments

abstract: We show that the guarded-negation fragment (GNFO) is, in a precise sense, the smallest extension of the guarded fragment (GFO) with Craig interpolation. In contrast, we show that the smallest extension of the two-variable fragment (FO2), and of the forward fragment (FF) with Craig interpolation, is full first-order logic. Similarly, we also show that all extensions of FO2 and of the fluted fragment (FL) with Craig interpolation are undecidable.


title: Quantifying State Transfer Strength on Graphs with Involution

abstract: This paper discusses continuous-time quantum walks and asymptotic state transfer in graphs with an involution. By providing quantitative bounds on the eigenvectors of the Hamiltonian, it provides an approach to achieving high-fidelity state transfer by strategically selecting energy potentials based on the maximum degrees of the graphs. The study also involves an analysis of the time necessary for quantum transfer to occur.


title: Flexible Transmission: A Comprehensive Review of Concepts, Technologies, and Market

abstract: As global concerns regarding climate change are increasing worldwide, the transition towards clean energy sources has accelerated. Accounting for a large share of energy consumption, the electricity sector is experiencing a significant shift towards renewable energy sources. To accommodate this rapid shift, the transmission system requires major upgrades. Although enhancing grid capacity through transmission system expansion is always a solution, this solution is very costly and requires a protracted permitting process. The concept of flexible transmission encompasses a broad range of technologies and market tools that enable effective reconfiguration and manipulation of the power grid for leveraged dispatch of renewable energy resources. The proliferation of such technologies allows for enhanced transfer capability over the current transmission network, thus reducing the need for grid expansion projects. This paper comprehensively reviews flexible transmission technologies and their role in achieving a net-zero carbon emission grid vision. Flexible transmission definitions from different viewpoints are discussed, and mathematical measures to quantify grid flexibility are reviewed. An extensive range of technologies enhancing flexibility across the grid is introduced and explored in detail. The environmental impacts of flexible transmission, including renewable energy utilization and carbon emission reduction, are presented. Finally, market models required for creating proper incentives for the deployment of flexible transmission and regulatory barriers and challenges are discussed.


title: Time-modulated near-field radiative heat transfer

abstract: We explore near-field radiative heat transfer between two bodies under time modulation by developing a rigorous fluctuational electrodynamics formalism. We demonstrate that time modulation can results in the enhancement, suppression, elimination, or reversal of radiative heat flow between the two bodies, and can be used to create a radiative thermal diode with infinite contrast ratio, as well as a near-field radiative heat engine that pumps heat from the cold to the hot bodies. The formalism reveals a fundamental symmetry relation in the radiative heat transfer coefficients that underlies these effects. Our results indicate the significant capabilities of time modulation for managing nanoscale heat flow.


title: Globalization of partial inverse semigroupoid actions on sets

abstract: We prove that every partial action of an inverse semigroupoid on a set admits a universal globalization. Moreover, we show that our construction gives a reflector from the category of partial actions on the full subcategory of global actions. Finally, we investigate if the mediating function given by the universal property of our construction is injective.


title: The intermediate neutron capture process: IV. Impact of nuclear model and parameter uncertainties

abstract: We investigate both the systematic and statistical uncertainties associated with theoretical nuclear reaction rates of relevance during the i-process and explore their impact on the i-process elemental production, and subsequently on the surface enrichment, for a low-mass low-metallicity star during the early AGB phase. We use the TALYS reaction code (Koning et al. 2023) to estimate both the model and parameter uncertainties affecting the photon strength function and the nuclear level densities, hence the radiative neutron capture rates. The STAREVOL code (Siess et al. 2006) is used to determine the impact of nuclear uncertainties on the i-process nucleosynthesis in a 1 $M_{\odot}$ [Fe/H] = - 2.5 model star during the proton ingestion event in the early AGB phase. A large nuclear network of 1160 species coherently coupled to the transport processes is solved to follow the i-process nucleosynthesis. We find that the non-correlated parameter uncertainties lead the surface abundances uncertainties of element with $Z\geq 40$ to range between 0.5 and 1.0 dex, with odd-$Z$ elements displaying higher uncertainties. The correlated model uncertainties are of the same order of magnitude, and both model and parameter uncertainties have an important impact on potential observable tracers such as Eu and La. Both the correlated model and uncorrelated parameter uncertainties need to be estimated coherently before being propagated to astrophysical observables through multi-zone stellar evolution models. Many reactions are found to affect the i-process predictions and will require improved nuclear models guided by experimental constraints. Priority should be given to the reactions influencing the observable tracers.


title: A Geometric Picture of Perturbative QFT

abstract: In previous work, a lattice scalar propagator was rigorously defined in $d=1$ flat space and shown to equal the known Klein-Gordon propagator of QFT. This work generalizes this lattice propagator to manifolds whose universal cover is the hyperbolic half plane as well as a broad class of higher dimensional manifolds. We motivate a conjecture for the power spectrum of these curved space propagators. Afterwards, an analogous definition of the Dirac spinor propagator is defined. The formulation of these propagators are unified by the understanding of the object as a Fourier transform of the volume of path space of paths with the same length $I$ to mass $m$; the main theorem of this work will be to demonstrate that the point correlators of scalar perturbative QFT can be understood as a Fourier transform of the volume of path space of paths, which realize a Feynman diagram and have some total length I. After demonstrating this theorem, the author goes on to conjecture the point correlators of the Abelian Higgs Model in this geometric formulation.


title: End-to-end Online Speaker Diarization with Target Speaker Tracking

abstract: This paper proposes an online target speaker voice activity detection system for speaker diarization tasks, which does not require a priori knowledge from the clustering-based diarization system to obtain the target speaker embeddings. By adapting the conventional target speaker voice activity detection for real-time operation, this framework can identify speaker activities using self-generated embeddings, resulting in consistent performance without permutation inconsistencies in the inference phase. During the inference process, we employ a front-end model to extract the frame-level speaker embeddings for each coming block of a signal. Next, we predict the detection state of each speaker based on these frame-level speaker embeddings and the previously estimated target speaker embedding. Then, the target speaker embeddings are updated by aggregating these frame-level speaker embeddings according to the predictions in the current block. Our model predicts the results for each block and updates the target speakers' embeddings until reaching the end of the signal. Experimental results show that the proposed method outperforms the offline clustering-based diarization system on the DIHARD III and AliMeeting datasets. The proposed method is further extended to multi-channel data, which achieves similar performance with the state-of-the-art offline diarization systems.


title: The Data Lakehouse: Data Warehousing and More

abstract: Relational Database Management Systems designed for Online Analytical Processing (RDBMS-OLAP) have been foundational to democratizing data and enabling analytical use cases such as business intelligence and reporting for many years. However, RDBMS-OLAP systems present some well-known challenges. They are primarily optimized only for relational workloads, lead to proliferation of data copies which can become unmanageable, and since the data is stored in proprietary formats, it can lead to vendor lock-in, restricting access to engines, tools, and capabilities beyond what the vendor offers. As the demand for data-driven decision making surges, the need for a more robust data architecture to address these challenges becomes ever more critical. Cloud data lakes have addressed some of the shortcomings of RDBMS-OLAP systems, but they present their own set of challenges. More recently, organizations have often followed a two-tier architectural approach to take advantage of both these platforms, leveraging both cloud data lakes and RDBMS-OLAP systems. However, this approach brings additional challenges, complexities, and overhead. This paper discusses how a data lakehouse, a new architectural approach, achieves the same benefits of an RDBMS-OLAP and cloud data lake combined, while also providing additional advantages. We take today's data warehousing and break it down into implementation independent components, capabilities, and practices. We then take these aspects and show how a lakehouse architecture satisfies them. Then, we go a step further and discuss what additional capabilities and benefits a lakehouse architecture provides over an RDBMS-OLAP.


title: Magnetic microcalorimeter with paramagnetic temperature sensors and integrated dc-SQUID readout for high-resolution X-ray emission spectroscopy

abstract: We present two variants of a magnetic microcalorimeter with paramagnetic temperature sensors and integrated dc-SQUID readout for high-resolution X-ray emission spectroscopy. Each variant employs two overhanging gold absorbers with a sensitive area of 150$\mu$m x 150$\mu$m and a thickness of 3$\mu$m, thus providing a quantum efficiency of 98% for photons up to 5keV and 50% for photons up to 10keV. The first variant turned out to be fully operational, but, at the same time, to suffer from Joule power dissipation of the Josephson junction shunt resistors, athermal phonon loss, and slew rate limitations of the overall setup. Overall, it only achieved an energy resolution $\Delta E_\mathrm{FWHM} = 8.9eV$. In the second variant, we introduced an innovative `tetrapod absorber geometry' as well as a membrane-technique for protecting the temperature sensors against the power dissipation of the shunt resistors. By this, the second variant achieves an outstanding energy resolution of $\Delta E_\mathrm{FWHM} =1.25(18)eV$ and hence provides, to our knowledge, the present best energy resolving power $E/\Delta E_\mathrm{FWHM}$ among all existing energy-dispersive detectors for soft and tender X-rays.


title: CoLadder: Supporting Programmers with Hierarchical Code Generation in Multi-Level Abstraction

abstract: Programmers increasingly rely on Large Language Models (LLMs) for code generation. However, misalignment between programmers' goals and generated code complicates the code evaluation process and demands frequent switching between prompt authoring and code evaluation. Yet, current LLM-driven code assistants lack sufficient scaffolding to help programmers format intentions from their overarching goals, a crucial step before translating these intentions into natural language prompts. To address this gap, we adopted an iterative design process to gain insights into programmers' strategies when using LLMs for programming. Building on our findings, we created CoLadder, a system that supports programmers by facilitating hierarchical task decomposition, direct code segment manipulation, and result evaluation during prompt authoring. A user study with 12 experienced programmers showed that CoLadder is effective in helping programmers externalize their problem-solving intentions flexibly, improving their ability to evaluate and modify code across various abstraction levels, from goal to final code implementation.


title: Algebraic Connectivity Characterization of Ensemble Random Hypergraphs

abstract: Random hypergraph is a broad concept used to describe probability distributions over hypergraphs, which are mathematical structures with applications in various fields, e.g., complex systems in physics, computer science, social sciences, and network science. Ensemble methods, on the other hand, are crucial both in physics and machine learning. In physics, ensemble theory helps bridge the gap between the microscopic and macroscopic worlds, providing a statistical framework for understanding systems with a vast number of particles. In machine learning, ensemble methods are valuable because they improve predictive accuracy, reduce overfitting, lower prediction variance, mitigate bias, and capture complex relationships in data. However, there is limited research on applying ensemble methods to a set of random hypergraphs. This work aims to study the connectivity behavior of an ensemble of random hypergraphs. Specifically, it focuses on quantifying the random behavior of the algebraic connectivity of these ensembles through tail bounds. We utilize Laplacian tensors to represent these ensemble random hypergraphs and establish mathematical theorems, such as Courant-Fischer and Lieb-Seiringer theorems for tensors, to derive tail bounds for the algebraic connectivity. We derive three different tail bounds, i.e., Chernoff, Bennett, and Bernstein bounds, for the algebraic connectivity of ensemble hypergraphs with respect to different random hypergraphs assumptions.


title: Analyzing User Ideologies and Shared News During the 2019 Argentinian Elections

abstract: The extensive data generated on social media platforms allow us to gain insights over trending topics and public opinions. Additionally, it offers a window into user behavior, including their content engagement and news sharing habits. In this study, we analyze the relationship between users' political ideologies and the news they share during Argentina's 2019 election period. Our findings reveal that users predominantly share news that aligns with their political beliefs, despite accessing media outlets with diverse political leanings. Moreover, we observe a consistent pattern of users sharing articles related to topics biased to their preferred candidates, highlighting a deeper level of political alignment in online discussions. We believe that this systematic analysis framework can be applied to similar scenarios in different countries, especially those marked by significant political polarization, akin to Argentina.


title: ELDEN: Exploration via Local Dependencies

abstract: Tasks with large state space and sparse rewards present a longstanding challenge to reinforcement learning. In these tasks, an agent needs to explore the state space efficiently until it finds a reward. To deal with this problem, the community has proposed to augment the reward function with intrinsic reward, a bonus signal that encourages the agent to visit interesting states. In this work, we propose a new way of defining interesting states for environments with factored state spaces and complex chained dependencies, where an agent's actions may change the value of one entity that, in order, may affect the value of another entity. Our insight is that, in these environments, interesting states for exploration are states where the agent is uncertain whether (as opposed to how) entities such as the agent or objects have some influence on each other. We present ELDEN, Exploration via Local DepENdencies, a novel intrinsic reward that encourages the discovery of new interactions between entities. ELDEN utilizes a novel scheme -- the partial derivative of the learned dynamics to model the local dependencies between entities accurately and computationally efficiently. The uncertainty of the predicted dependencies is then used as an intrinsic reward to encourage exploration toward new interactions. We evaluate the performance of ELDEN on four different domains with complex dependencies, ranging from 2D grid worlds to 3D robotic tasks. In all domains, ELDEN correctly identifies local dependencies and learns successful policies, significantly outperforming previous state-of-the-art exploration methods.


title: Electrical noise spectroscopy of magnons in a quantum Hall ferromagnet

abstract: Collective spin-wave excitations-magnons-in a quantum Hall ferromagnet are promising quasi-particles for next-generation spintronics devices, including platforms for information transfer. Detection of these charge-neutral excitations relies on the conversion of magnons into electrical signals in the form of excess electrons and holes, but if these signals are equal the magnon detection remains elusive. In this work, we overcome this shortcoming by measuring the electrical noise generated by magnons. We use the symmetry-broken quantum Hall ferromagnet of the zeroth Landau level in graphene to launch magnons. Absorption of these magnons creates excess noise above the Zeeman energy and remains finite even when the average electrical signal is zero. Moreover, we formulate a theoretical model in which the noise is generated by equilibration (partial or full, depending on the bias voltage) between edge channels and propagating magnons. Our model, which agrees with experimental observations, also allows us to pinpoint the regime of ballistic magnon transport in our device.


title: How Does Artificial Intelligence Improve Human Decision-Making? Evidence from the AI-Powered Go Program

abstract: We study how humans learn from AI, exploiting an introduction of an AI-powered Go program (APG) that unexpectedly outperformed the best professional player. We compare the move quality of professional players to that of APG's superior solutions around its public release. Our analysis of 749,190 moves demonstrates significant improvements in players' move quality, accompanied by decreased number and magnitude of errors. The effect is pronounced in the early stages of the game where uncertainty is highest. In addition, younger players and those in AI-exposed countries experience greater improvement, suggesting potential inequality in learning from AI. Further, while players of all levels learn, less skilled players derive higher marginal benefits. These findings have implications for managers seeking to adopt and utilize AI effectively within their organizations.


title: A Benchmarking Protocol for SAR Colorization: From Regression to Deep Learning Approaches

abstract: Synthetic aperture radar (SAR) images are widely used in remote sensing. Interpreting SAR images can be challenging due to their intrinsic speckle noise and grayscale nature. To address this issue, SAR colorization has emerged as a research direction to colorize gray scale SAR images while preserving the original spatial information and radiometric information. However, this research field is still in its early stages, and many limitations can be highlighted. In this paper, we propose a full research line for supervised learning-based approaches to SAR colorization. Our approach includes a protocol for generating synthetic color SAR images, several baselines, and an effective method based on the conditional generative adversarial network (cGAN) for SAR colorization. We also propose numerical assessment metrics for the problem at hand. To our knowledge, this is the first attempt to propose a research line for SAR colorization that includes a protocol, a benchmark, and a complete performance evaluation. Our extensive tests demonstrate the effectiveness of our proposed cGAN-based network for SAR colorization. The code will be made publicly available.


title: A Second Homotopy Group for Digital Images

abstract: We define a second (higher) homotopy group for digital images. Namely, we construct a functor from digital images to abelian groups, which closely resembles the ordinary second homotopy group from algebraic topology. We illustrate that our approach can be effective by computing this (digital) second homotopy group for a digital 2-sphere.


title: The California Legacy Survey IV. Lonely, Poor, and Eccentric: A Comparison Between Solitary and Neighborly Gas Giants

abstract: We compare systems with single giant planets to systems with multiple giant planets using a catalog of planets from a high-precision radial velocity survey of FGKM stars. Our comparison focuses on orbital properties, planet masses, and host star properties. We use hierarchical methods to model the orbital eccentricity distributions of giant singles and giant multis, and find that the distributions are distinct. The multiple giant planets typically have moderate eccentricities and their eccentricity distribution extends to $e=0.47$ (90th percentile), while the single giant planets have a pile-up of nearly circular orbits and a long tail that extends to $e=0.77$. We determine that stellar hosts of multiple giants are distinctly more metal-rich than hosts of solitary giants, with respective mean metallicities $0.228\pm0.027$ vs. $0.129\pm0.019$ dex. We measure the distinct occurrence distributions of single and multiple giants with respect to orbital separation, and find that single gas giants have a $\sim$2.3$\sigma$ significant hot ($a<0.06$) Jupiter pile-up not seen among multi giant systems. We find that the median mass ($\msini$ ) of giants in multiples is nearly double that of single giants (1.71 $\mjup$ vs. 0.92 $\mjup$ ). We find that giant planets in the same system have correlated masses, analogous to the `peas in a pod' effect seen among less massive planets.


title: Polynomial Time Cryptanalytic Extraction of Neural Network Models

abstract: Billions of dollars and countless GPU hours are currently spent on training Deep Neural Networks (DNNs) for a variety of tasks. Thus, it is essential to determine the difficulty of extracting all the parameters of such neural networks when given access to their black-box implementations. Many versions of this problem have been studied over the last 30 years, and the best current attack on ReLU-based deep neural networks was presented at Crypto 2020 by Carlini, Jagielski, and Mironov. It resembles a differential chosen plaintext attack on a cryptosystem, which has a secret key embedded in its black-box implementation and requires a polynomial number of queries but an exponential amount of time (as a function of the number of neurons). In this paper, we improve this attack by developing several new techniques that enable us to extract with arbitrarily high precision all the real-valued parameters of a ReLU-based DNN using a polynomial number of queries and a polynomial amount of time. We demonstrate its practical efficiency by applying it to a full-sized neural network for classifying the CIFAR10 dataset, which has 3072 inputs, 8 hidden layers with 256 neurons each, and over million neuronal parameters. An attack following the approach by Carlini et al. requires an exhaustive search over 2 to the power 256 possibilities. Our attack replaces this with our new techniques, which require only 30 minutes on a 256-core computer.


title: The perimeter and volume of a Reuleaux polyhedron

abstract: A ball polyhedron is the intersection of a finite number of closed balls with the same radius. In this note, we study ball polyhedra in which the set of centers defining the balls have the maximum possible number of diametric pairs. We explain how to compute the perimeter and volume of these shapes by employing the Gauss-Bonnet theorem and another integral formula. In addition, we show how to adapt this method to approximate the volume of Meissner polyhedra, which are constant width bodies constructed from ball polyhedra.


title: Waymax: An Accelerated, Data-Driven Simulator for Large-Scale Autonomous Driving Research

abstract: Simulation is an essential tool to develop and benchmark autonomous vehicle planning software in a safe and cost-effective manner. However, realistic simulation requires accurate modeling of nuanced and complex multi-agent interactive behaviors. To address these challenges, we introduce Waymax, a new data-driven simulator for autonomous driving in multi-agent scenes, designed for large-scale simulation and testing. Waymax uses publicly-released, real-world driving data (e.g., the Waymo Open Motion Dataset) to initialize or play back a diverse set of multi-agent simulated scenarios. It runs entirely on hardware accelerators such as TPUs/GPUs and supports in-graph simulation for training, making it suitable for modern large-scale, distributed machine learning workflows. To support online training and evaluation, Waymax includes several learned and hard-coded behavior models that allow for realistic interaction within simulation. To supplement Waymax, we benchmark a suite of popular imitation and reinforcement learning algorithms with ablation studies on different design decisions, where we highlight the effectiveness of routes as guidance for planning agents and the ability of RL to overfit against simulated agents.


title: An uncountable family of non-smooth fans that admit transitive homeomorphisms

abstract: Recently, many examples of smooth fans that admit a transitive homeomorphism have been constructed. For example, a family of uncountably many pairwise non-homeomorphic smooth fans that admit transitive homeomorphisms was constructed. In this paper, we construct a family of uncountably many pairwise non-homeomorphic non-smooth fans that admit transitive homeomorphisms.


title: Nash Equilibrium of Joint Day-ahead Electricity Markets and Forward Contracts in Congested Power Systems

abstract: Uncertainty in the output power of large-scale wind power plants (WPPs) can face the electricity market players with undesirable profit variations. Market players can hedge themselves against these risks by participating in forward contracts markets alongside the day-ahead markets. The participation of market players in these two markets affects their profits and also the prices and power quantities of each market. Moreover, limitations in the transmission grid can affect the optimal behavior of market players. In this paper, a Cournot Nash equilibrium model is proposed to study the behavior of market players in the forward contract market and the day-ahead electricity market in a congested power system with large-scale integration of WPPs. The proposed method is applied to a test system, and the results are discussed.