title: Improving Out-of-Distribution Generalization of Learned Dynamics by Learning Pseudometrics and Constraint Manifolds

abstract: We propose a method for improving the prediction accuracy of learned robot dynamics models on out-of-distribution (OOD) states. We achieve this by leveraging two key sources of structure often present in robot dynamics: 1) sparsity, i.e., some components of the state may not affect the dynamics, and 2) physical limits on the set of possible motions, in the form of nonholonomic constraints. Crucially, we do not assume this structure is known a priori, and instead learn it from data. We use contrastive learning to obtain a distance pseudometric that uncovers the sparsity pattern in the dynamics, and use it to reduce the input space when learning the dynamics. We then learn the unknown constraint manifold by approximating the normal space of possible motions from the data, which we use to train a Gaussian process (GP) representation of the constraint manifold. We evaluate our approach on a physical differential-drive robot and a simulated quadrotor, showing improved prediction accuracy on OOD data relative to baselines.


title: Phase field modelling of the detachment of bubbles from a solid substrate

abstract: We develop and implement numerically a phase field model for the evolution and detachment of a gas bubble resting on a solid substrate and surrounded by a viscous liquid. The bubble has a static contact angle $\theta $ and will be subject to gravitational forces. We compute, as a function of the static contact angle, the cricital Bond number over which bubbles detach from the substrate. Then, we perform similar studies for bubble resting on inclined substrates and bubbles under the action of an external flow. We provide approximate formulas for the critical Bond number under all these circumstances. Our method is also able to resolve the pinchoff of the bubble and the possible appearence of satellites.


title: Converging/diverging self-similar shock waves: from collapse to reflection

abstract: We solve the continuation problem for the non-isentropic Euler equations following the collapse of an imploding shock wave. More precisely, we prove that the self-similar G\"uderley imploding shock solutions for a perfect gas with adiabatic exponent $\gamma\in(1,3]$ admit a self-similar extension consisting of two regions of smooth flow separated by an outgoing spherically symmetric shock wave of finite strength. In addition, for $\gamma\in(1,\frac53]$, we show that there is a unique choice of shock wave that gives rise to a globally defined self-similar flow with physical state at the spatial origin.


title: Pseudo-holomorphic triangles and the median quasi-state

abstract: We prove that the minimal area of a holomorphic triangle whose boundary lies on the union of any three Lagrangian submanifolds is bounded from above by the Lagrangian spectral norm of any pair taken out of the three. We show a relation between this result and the median quasi-state on the 2-sphere. The median quasi-state gives rise to a measure of Poisson non-commutativity of any pair of functions. We answer a question of Entov--Polterovich--Zapolsky by giving a sharp upper bound on the ratio between this measure and the uniform norm of the Poisson bracket of the pair. The sharpness of this bound also implies a lower bound on the defect of the Calabi quasi-morphism.


title: Asymptotic spreading of predator-prey populations in a shifting environment

abstract: Inspired by recent studies associating shifting temperature conditions with changes in the efficiency of predator species in converting their prey to offspring, we propose a predator-prey model of reaction-diffusion type to analyze the consequence of such effects on the population dynamics and spread of species. In the model, the predator conversion efficiency is represented by a spatially heterogeneous function depending on the variable $\xi=x-c_1t$ for some given $c_1>0$. Using the Hamilton-Jacobi approach, we provide explicit formulas for the spreading speed of the predator species. When the conversion function is monotone increasing, the spreading speed is determined in all cases and non-local pulling is possible. When the function is monotone decreasing, we provide formulas for the spreading speed when the rate of shift of the conversion function is sufficiently fast or slow.


title: Bayesian Optimization Sequential Surrogate (BOSS) Algorithm: Fast Bayesian Inference for a Broad Class of Bayesian Hierarchical Models

abstract: Approximate Bayesian inference based on Laplace approximation and quadrature methods have become increasingly popular for their efficiency at fitting latent Gaussian models (LGM), which encompass popular models such as Bayesian generalized linear models, survival models, and spatio-temporal models. However, many useful models fall under the LGM framework only if some conditioning parameters are fixed, as the design matrix would vary with these parameters otherwise. Such models are termed the conditional LGMs with examples in change-point detection, non-linear regression, etc. Existing methods for fitting conditional LGMs rely on grid search or Markov-chain Monte Carlo (MCMC); both require a large number of evaluations of the unnormalized posterior density of the conditioning parameters. As each evaluation of the density requires fitting a separate LGM, these methods become computationally prohibitive beyond simple scenarios. In this work, we introduce the Bayesian optimization sequential surrogate (BOSS) algorithm, which combines Bayesian optimization with approximate Bayesian inference methods to significantly reduce the computational resources required for fitting conditional LGMs. With orders of magnitude fewer evaluations compared to grid or MCMC methods, Bayesian optimization provides us with sequential design points that capture the majority of the posterior mass of the conditioning parameters, which subsequently yields an accurate surrogate posterior distribution that can be easily normalized. We illustrate the efficiency, accuracy, and practical utility of the proposed method through extensive simulation studies and real-world applications in epidemiology, environmental sciences, and astrophysics.


title: Multiplier analysis of Lurye systems with power signals

abstract: Multipliers can be used to guarantee both the Lyapunov stability and input-output stability of Lurye systems with time-invariant memoryless slope-restricted nonlinearities. If a dynamic multiplier is used there is no guarantee the closed-loop system has finite incremental gain. It has been suggested in the literature that without this guarantee such a system may be critically sensitive to time-varying exogenous signals including noise. We show that multipliers guarantee the power gain of the system to be bounded and quantifiable. Furthermore power may be measured about an appropriate steady state bias term, provided the multiplier does not require the nonlinearity to be odd. Hence dynamic multipliers can be used to guarantee Lurye systems have low sensitivity to noise, provided other exogenous systems have constant steady state. We illustrate the analysis with an example where the exogenous signal is a power signal with non-zero mean.


title: Parasitic Circus:On the Feasibility of Golden Free PCB Verification

abstract: Printed circuit boards (PCBs) are an integral part of electronic systems. Hence, verifying their physical integrity in the presence of supply chain attacks (e.g., tampering and counterfeiting) is of utmost importance. Recently, tamper detection techniques grounded in impedance characterization of PCB's Power Delivery Network (PDN) have gained prominence due to their global detection coverage, non-invasive, and low-cost nature. Similar to other physical verification methods, these techniques rely on the existence of a physical golden sample for signature comparisons. However, having access to a physical golden sample for golden signature extraction is not feasible in many real-world scenarios. In this work, we assess the feasibility of eliminating a physical golden sample and replacing it with a simulated golden signature obtained by the PCB design files. By performing extensive simulation and measurements on an in-house designed PCB, we demonstrate how the parasitic impedance of the PCB components plays a major role in reaching a successful verification. Based on the obtained results and using statistical metrics, we show that we can mitigate the discrepancy between collected signatures from simulation and measurements.


title: Microscopic derivation of the thin film equation using the Mori-Zwanzig formalism

abstract: The hydrodynamics of thin films is typically described using phenomenological models whose connection to the microscopic particle dynamics is a subject of ongoing research. Existing methods based on density functional theory provide a good description of static thin films, but are not sufficient for understanding nonequilibrium dynamics. In this work, we present a microscopic derivation of the thin film equation using the Mori-Zwanzig projection operator formalism. This method allows to directly obtain the correct gradient dynamics structure along with microscopic expressions for the mobility and the free energy. Our results are verified against molecular dynamics simulations for both simple fluids and polymers.

categories: cond-mat.soft cond-mat.stat-mech physics.chem-ph physics.comp-ph


title: Adaptive LPD Radar Waveform Design with Generative Deep Learning

abstract: We propose a novel, learning-based method for adaptively generating low probability of detection (LPD) radar waveforms that blend into their operating environment. Our waveforms are designed to follow a distribution that is indistinguishable from the ambient radio frequency (RF) background -- while still being effective at ranging and sensing. To do so, we use an unsupervised, adversarial learning framework; our generator network produces waveforms designed to confuse a critic network, which is optimized to differentiate generated waveforms from the background. To ensure our generated waveforms are still effective for sensing, we introduce and minimize an ambiguity function-based loss on the generated waveforms. We evaluate the performance of our method by comparing the single-pulse detectability of our generated waveforms with traditional LPD waveforms using a separately trained detection neural network. We find that our method can generate LPD waveforms that reduce detectability by up to 90% while simultaneously offering improved ambiguity function (sensing) characteristics. Our framework also provides a mechanism to trade-off detectability and sensing performance.


title: Role of Helium Bubbles and Voids on the Property of Nanocrystalline Tungsten

abstract: This manuscript embarks on an inquiry into the influence of helium implantation on nanocrystalline tungsten, a contender for plasma-facing components (PFCs) in nuclear fusion reactors. The study underscores the inevitability of helium retention in tungsten due to the anticipated high flux of helium atoms from D-T fusion reactions in future reactors such as ITER and DEMO. This retention, potentially culminating in surface blistering and grain boundary embrittlement, propels an investigation into the helium's preferential substitutional configuration over interstitial within tungsten's lattice, leading to cavity and bubble formation. Atomistic tensile testing simulations, exploiting a helium-specific interatomic potential, dissect the ramifications of helium concentration and voids on tungsten's mechanical properties across grain sizes of 10nm and 15nm. The presence of helium at grain boundaries instigates detachment, influencing structural behaviors under strain. Notably, the study reveals a dichotomy in helium's effect: benign at concentrations up to the critical point, beyond which significant embrittlement and elastic softening occur, corroborating with theoretical predictions on helium-induced grain boundary embrittlement. This nuanced exploration delineates the intricate dance between helium implantation levels, grain size, and the ensuing mechanical property alterations in nanocrystalline tungsten, casting light on its viability and endurance as a PFC material under the rigorous conditions forecasted in fusion reactors.


title: BeRGeR: Byzantine-Robust Geometric Routing

abstract: We present BeRGeR: the first asynchronous geometric routing algorithm that guarantees delivery of a message despite a Byzantine fault without relying on cryptographic primitives or randomization. The communication graph is a planar embedding that remains three-connected if all edges intersecting the source-target line segment are removed. We prove the algorithm correct and estimate its message complexity.


title: Primary Defect Production in Doped Iron Grain Boundaries during Low Energy Collision Cascades

abstract: This study explores the intricate interactions between grain boundaries (GBs) and irradiation-induced defects in nanocrystalline iron, highlighting the role of dopants like copper. Utilizing molecular dynamics simulations, the research delineates how GB properties, such as GB energy and defect formation energies, influence the formation and evolution of defects in low energy collision cascades. It reveals that GBs not only augment defect production but also show a marked preference for interstitials over vacancies, a behavior significantly modulated by the cascade's proximity to the GB. The presence of dopants is shown to alter GB properties, affecting both the rate and type of defect production, thereby underscoring the complex interplay between GB characteristics, dopant elements, and defect dynamics. Moreover, the investigation uncovers that the structural characteristics of GBs play a crucial role in cascade evolution and defect generation, with certain GB configurations undergoing reconfiguration in response to cascades. For instance, the reconfiguration of one pure Fe twist GB suggests that GB geometry can significantly influence defect generation mechanisms. These findings point to the potential of GB engineering in developing materials with enhanced radiation tolerance, advocating for a nuanced approach to material design. By tailoring GB properties and selectively introducing dopant elements, materials can be optimized to exhibit superior resistance to radiation-induced damage, offering insights for applications in nuclear reactors and other radiation-prone environments.


title: A Multi-loudspeaker Binaural Room Impulse Response Dataset with High-Resolution Translational and Rotational Head Coordinates in a Listening Room

abstract: Data report for the 3D3A Lab Binaural Room Impulse Response (BRIR) Dataset (https://doi.org/10.34770/6gc9-5787).


title: The Role of Temperature on Irradiation Defect Evolution near Surfaces and Grain Boundaries in Tungsten

abstract: This study explores the impact of temperature on defect dynamics in tungsten, emphasizing its application in nuclear fusion reactors as Plasma Facing Components (PFCs). Through atomistic simulations, the research elucidates the intricate interplay of defect production, annihilation, and redistribution under irradiation at room (300K) and elevated temperatures (1000K). It demonstrates that higher temperatures significantly increase the number and mobility of defects, leading to a substantial rise in the total number of surviving Frenkel Pairs (FPs), with a notable preference for surface distribution. This redistribution is attributed to energy gradient-driven relocation processes, enhanced by the defects' increased mobility at elevated temperatures. Moreover, the study reveals that elevated temperatures promote biased accumulation of interstitial defects in grain boundaries, especially in configurations that facilitate efficient interstitial migration, indicating a strategy for minimizing lattice interstitial accumulation under irradiation. These findings underscore the critical role of temperature in modulating irradiation-induced defect dynamics in tungsten, providing valuable insights for designing and selecting materials with optimized irradiation resistance for use in extreme conditions of nuclear fusion reactors. The research suggests a material design approach that accounts for temperature effects to enhance the durability and performance of nuclear fusion materials.


title: The Best of Many Robustness Criteria in Decision Making: Formulation and Application to Robust Pricing

abstract: In robust decision-making under non-Bayesian uncertainty, different robust optimization criteria, such as maximin performance, minimax regret, and maximin ratio, have been proposed. In many problems, all three criteria are well-motivated and well-grounded from a decision-theoretic perspective, yet different criteria give different prescriptions. This paper initiates a systematic study of overfitting to robustness criteria. How good is a prescription derived from one criterion when evaluated against another criterion? Does there exist a prescription that performs well against all criteria of interest? We formalize and study these questions through the prototypical problem of robust pricing under various information structures, including support, moments, and percentiles of the distribution of values. We provide a unified analysis of three focal robust criteria across various information structures and evaluate the relative performance of mechanisms optimized for each criterion against the others. We find that mechanisms optimized for one criterion often perform poorly against other criteria, highlighting the risk of overfitting to a particular robustness criterion. Remarkably, we show it is possible to design mechanisms that achieve good performance across all three criteria simultaneously, suggesting that decision-makers need not compromise among criteria.


title: Grain Boundary Defect Production during Successive Displacement Cascades on a Tungsten Surface

abstract: This study delves into the complex mechanisms of defect production and accumulation in nanocrystalline tungsten under irradiation, with a particular focus on the interplay between grain boundaries and free surfaces. Through molecular dynamics simulations, the research explores how grain boundaries act as sinks for irradiation-induced defects, a critical aspect in designing nanomaterials with enhanced radiation tolerance. The investigation leverages a novel Modified Wigner-Seitz Analysis to accurately quantify defect trends amidst dynamic surface reconstruction, providing a nuanced understanding of defect distribution in response to irradiation. This methodology underscores the intricate relationship between defect dynamics and the nano-scale structure of materials, specifically highlighting the role of interfaces in mediating these dynamics. The findings reveal a complex balance between defect production, surface interactions, and the influence of pre-existing defects and temperature on the primary defect production process. Surfaces are shown to amplify defect production due to biased accumulation of interstitials, alongside suppressed defect recombination, emphasizing the nuanced nature of defect dynamics in irradiated materials. This research contributes significantly to the fundamental understanding of defect formation and evolution in irradiated tungsten, offering insights that are instrumental in the development of nanomaterials poised for applications in extreme irradiation environments, such as fusion reactors, thereby advancing the field of materials science and engineering.


title: Wigner-molecule supercrystal in transition-metal dichalcogenide moir\'e superlattices: Lessons from the bottom-up approach

abstract: The few-body problem for $N=4$ fermionic charge carriers in a double-well moir\'{e} quantum dot (MQD), representing the first step in a bottom-up strategy to investigate formation of molecular supercrystals in transition metal dichalcogenide (TMD) moir\'e superlattices with integral fillings, $\nu > 1$, is solved exactly by employing large-scale exact-diagonalization via full configuration interaction (FCI) computations. A comparative analysis with the mean-field solutions of the often used spin-and-space unrestricted Hartree Fock (sS-UHF) demonstrates the limitations of the UHF method (by itself) to provide a proper description of the influence of the interdot Coulomb interaction. In particular, it is explicitly shown for $\nu=2$ that the exact charge densities (CDs) within each MQD retain the ring-like shape characteristic (for a wide range of relevant parameters) of a fully isolated MQD, as was found for sliding Wigner molecules (WMs). This deeply quantum-mechanical behavior contrasts sharply with the UHF CDs that portray solely orientationally pinned and well localized dumbbell dimers. An improved CD, which agrees with the FCI-calculated one, derived from the restoration of the sS-UHF broken parity symmetries is further introduced, suggesting a beyond-mean-field methodological roadmap for correcting the sS-UHF results. It is conjectured that the conclusions for the $\nu=2$ moir\'e TMD superlattice case extend to all cases with integral fillings that are associated with sliding WMs in isolated MQDs. The case of $\nu=3$, associated with a pinned WM in isolated MQDs, is an exception.


title: Fostering Inclusion: A Regional Initiative Uniting Communities to Co-Design Assistive Technologies

abstract: People with disabilities often face discrimination and lack of access in all areas of society. While improving the affordability and appropriateness of assistive technologies can pave the way for easier participation and independence, awareness and acceptance of disability as part of society are inevitable. The presented regional initiative strives to tackle these problems by bringing together people with disabilities, students, researchers, and associations. During different lecture formats at the university, students co-design assistive technologies with people with disabilities. After one year in practice, we reflect on the initiative and its impact on assistive technology development and mitigation of ableism. We conducted and analyzed thirteen semi-structured interviews with participants and other involved stakeholders. Not all co-design projects were finished within the time of a lecture. Participants nevertheless appreciated the co-design approach and steps in the right direction as projects are continued in upcoming semesters. Interviewees highlighted the initiative's importance in raising awareness and broadening knowledge regarding disability and internalized ableist assumptions for those participating. We conclude that collaboration, continuity, and public outreach are most important to work towards tangible assistive technologies, bridging accessibility gaps, and fostering a more inclusive society.


title: Measurement of anisotropies in Supernova Remnant observations and their interpretation using numerical models

abstract: Supernova remnants (SNRs) exhibit varying degrees of anisotropy, which have been extensively modeled using numerical methods. We implement a technique to measure anisotropies in SNRs by calculating power spectra from their high-resolution images. To test this technique, we develop 3D hydrodynamical models of supernova remnants and generate synthetic x-ray images from them. Power spectra extracted from both the 3D models and the synthetic images exhibit the same dominant angular scale, which separates large scale features from small scale features due to hydrodynamic instabilities. The angular power spectrum at small length scales during relatively early times is too steep to be consistent with Kolmogorov turbulence, but it transitions to Kolmogorov turbulence at late times. As an example of how this technique can be applied to observations, we extract a power spectrum from a \textit{Chandra} observation of Tycho's SNR and compare with our models. Our predicted power spectrum picks out the angular scale of Tycho's fleece-like structures and also agrees with the small-scale power seen in Tycho. We use this to extract an estimate for the density of the circumstellar gas ($n \sim 0.28/\mathrm{cm^3}$), consistent with previous measurements of this density by other means. The power spectrum also provides an estimate of the density profile of the outermost ejecta. Moreover, we observe additional power at large scales which may provide important clues about the explosion mechanism itself.


title: Quasi-van der Waals Epitaxial Growth of {\gamma}'-GaSe Thin Films on GaAs(111)B Substrates

abstract: GaSe is an important member of the post-transition metal chalcogenide family and is an emerging two-dimensional (2D) semiconductor material. Because it is a van der Waals material, it can be fabricated into atomic-scale ultrathin films, making it suitable for the preparation of compact, heterostructure devices. In addition, GaSe possesses unusual optical and electronic properties, such as a shift from an indirect-bandgap single-layer film to a direct-bandgap bulk material, rare intrinsic p-type conduction, and nonlinear optical behaviors. These properties make GaSe an appealing candidate for the fabrication of field-effect transistors, photodetectors, and photovoltaics. However, the wafer-scale production of pure GaSe single crystal thin films remains challenging. This study develops an approach for the direct growth of nanometer-thick GaSe films on GaAs substrates using molecular beam epitaxy. It yields smooth thin GaSe films with the rare {\gamma}'-polymorph. We analyze the formation mechanism of {\gamma}'-GaSe using density functional theory and speculate that it is stabilized by Ga vacancies since the formation enthalpy of {\gamma}'-GaSe tends to become lower than that of other polymorphs when the Ga vacancy concentration increases. Finally, we investigate the growth conditions of GaSe, providing valuable insights for exploring 2D/3D quasi-van der Waals epitaxial growth.


title: The Plane Quasar Survey: First Data Release

abstract: We present a sample of 305 QSO candidates having $|b| < 30^{\circ}$, the majority with GALEX magnitudes NUV < 18.75. To generate this sample, we apply UV-IR color selection criteria to photometric data from the Ultraviolet GAlactic Plane Survey (UVGAPS) as part of GALEX-CAUSE, the Million Quasars Catalog, Gaia DR2, and Pan-STARRS DR1. 165 of these 305 candidate UV-bright AGN (54%) have published spectroscopic redshifts from 45 different surveys, confirming them as AGN. We further obtained low-dispersion, optical, longslit spectra with the APO 3.5-m, MDM 2.4-m, and MDM 1.3-m telescopes for 84 of the candidates, and confirm 86% (N = 72) as AGN, generally with z < 0.6. These sources fill a gap in the Galactic latitude coverage of the available samples of known UV-bright QSO background probes. Along with a description of the confirmed QSO properties, we provide the fully-reduced, flux and wavelength-calibrated spectra of 84 low-latitude QSOs through the Mikulski Archive for Space Telescopes. Future HST/COS spectroscopy of these low-Galactic-latitude QSOs has the potential to transform our view of the Milky Way and Local Group circumgalactic medium.


title: Data-Efficient Contrastive Language-Image Pretraining: Prioritizing Data Quality over Quantity

abstract: Contrastive Language-Image Pre-training (CLIP) on large-scale image-caption datasets learns representations that can achieve remarkable zero-shot generalization. However, such models require a massive amount of pre-training data. Improving the quality of the pre-training data has been shown to be much more effective in improving CLIP's performance than increasing its volume. Nevertheless, finding small subsets of training data that provably generalize the best has remained an open question. In this work, we propose the first theoretically rigorous data selection method for CLIP. We show that subsets that closely preserve the cross-covariance of the images and captions of the full data provably achieve a superior generalization performance. Our extensive experiments on ConceptualCaptions3M and ConceptualCaptions12M demonstrate that subsets found by \method\ achieve over 2.7x and 1.4x the accuracy of the next best baseline on ImageNet and its shifted versions. Moreover, we show that our subsets obtain 1.5x the average accuracy across 11 downstream datasets, of the next best baseline. The code is available at: https://github.com/BigML-CS-UCLA/clipcov-data-efficient-clip.


title: Near-Field Channel Modeling for Electromagnetic Information Theory

abstract: Electromagnetic information theory (EIT) is one of the emerging topics for 6G communication due to its potential to reveal the performance limit of wireless communication systems. For EIT, the research foundation is reasonable and accurate channel modeling. Existing channel modeling works for EIT in non-line-of-sight (NLoS) scenario focus on far-field modeling, which can not accurately capture the characteristics of the channel in near-field. In this paper, we propose the near-field channel model for EIT based on electromagnetic scattering theory. We model the channel by using non-stationary Gaussian random fields and derive the analytical expression of the correlation function of the fields. Furthermore, we analyze the characteristics of the proposed channel model, e.g., channel degrees of freedom (DoF). Finally, we design a channel estimation scheme for near-field scenario by integrating the electromagnetic prior information of the proposed model. Numerical analysis verifies the correctness of the proposed scheme and shows that it can outperform existing schemes like least square (LS) and orthogonal matching pursuit (OMP).


title: Sonification of Wigner functions: case study of intense light-matter interactions

abstract: In quantum mechanics, the Wigner function $\rho_W(\textbf{r},\textbf{p})$ serves as a phase-space representation, capturing information about both the position $\textbf{r}$ and momentum $\textbf{p}$ of a quantum system. The Wigner function facilitates the calculation of expectation values of observables, examination of quantum system dynamics, and analysis of coherence and correlations. Therefore, it might serve as a tool to express quantum systems intuitively, for example, by using sonification techniques. This paper summarizes the experimental strategies employed in a previous project and delineates a new approach based on its outcomes. Emphasizing the attribution of specific Wigner functions to their underlying quantum states, dynamics, and sources; our proposed methodology seeks to refine the sonification and scoring process, aiming to enhance intuitive understanding and interpretation of quantum phenomena.


title: Spacetime symmetries and geometric diffusion

abstract: We examine relativistic diffusion through the frame and observer bundles associated with a Lorentzian manifold $(M,g)$. Our focus is on spacetimes with a non-trivial isometry group, and we detail the conditions required to find symmetric solutions of the relativistic diffusion equation. Additionally, we analyze the conservation laws associated with the presence of Killing vector fields on $(M,g)$ and their implications for the expressions of the geodesic spray and the vertical Laplacian on both the frame and the observer bundles. Finally, we present several relevant examples of symmetric spacetimes.


title: Rayleigh Taylor Instability in Multiple Finite-Thickness Fluid Layers

abstract: We develop a general transfer-matrix formalism for determining the growth rate of the Rayleigh-Taylor instability in a fluid system with spatially varying density and viscosity. We use this formalism to analytically and numerically treat the case of a stratified heterogeneous fluid. We introduce the inviscid-flow approximation in our transfer-matrix formalism to find analytic solutions in the limit of uniform kinematic viscosity for a stratified heterogeneous fluid. We discuss the applicability of these results and the no-acceleration approximation that also yields analytical solutions in the large viscosity limit.


title: Serial Properties, Selector Proofs, and the Provability of Consistency

abstract: For Hilbert, the consistency of a formal theory T is an infinite series of statements "D is free of contradictions" for each derivation D and a consistency proof is i) an operation that, given D, yields a proof that D is free of contradictions, and ii) a proof that (i) works for all inputs D. Hilbert's two-stage approach to proving consistency naturally generalizes to the notion of a finite proof of a series of sentences in a given theory. Such proofs, which we call selector proofs, have already been tacitly employed in mathematics. Selector proofs of consistency, including Hilbert's epsilon substitution method, do not aim at deriving the G\"odelian consistency formula Con(T) and are thus not precluded by G\"odel's second incompleteness theorem. We give a selector proof of consistency of Peano Arithmetic PA and formalize this proof in PA.


title: Multimodal Human-Autonomous Agents Interaction Using Pre-Trained Language and Visual Foundation Models

abstract: In this paper, we extended the method proposed in [17] to enable humans to interact naturally with autonomous agents through vocal and textual conversations. Our extended method exploits the inherent capabilities of pre-trained large language models (LLMs), multimodal visual language models (VLMs), and speech recognition (SR) models to decode the high-level natural language conversations and semantic understanding of the robot's task environment, and abstract them to the robot's actionable commands or queries. We performed a quantitative evaluation of our framework's natural vocal conversation understanding with participants from different racial backgrounds and English language accents. The participants interacted with the robot using both spoken and textual instructional commands. Based on the logged interaction data, our framework achieved 87.55% vocal commands decoding accuracy, 86.27% commands execution success, and an average latency of 0.89 seconds from receiving the participants' vocal chat commands to initiating the robot's actual physical action. The video demonstrations of this paper can be found at https://linusnep.github.io/MTCC-IRoNL/.


title: Energy Consumption in Wireless Systems Equipped with RES, UAVs, and IRSs

abstract: The paper considers the characteristics of the energy budget for mobile base stations (BSs) in the form of Unmanned Aerial Vehicles (UAVs) equipped with Radio Frequency (RF) transceivers, Intelligent Reconfigurable Surfaces (IRSs), and Renewable Energy Sources (RESs). The obtained results highlight the benefits and challenges related to using the aforementioned mobile base stations from the energy side. The research cases took into account two types of UAV devices - multirotor and fixed-wing (airplane-like).


title: Fast and accurate nonadiabatic molecular dynamics enabled through variational interpolation of correlated electron wavefunctions

abstract: We build on the concept of eigenvector continuation to develop an efficient multi-state method for the rigorous and smooth interpolation of a small training set of many-body wavefunctions through chemical space at mean-field cost. The inferred states are represented as variationally optimal linear combinations of the training states transferred between the many-body basis of different nuclear geometries. We show that analytic multi-state forces and nonadiabatic couplings from the model enable application to nonadiabatic molecular dynamics, developing an active learning scheme to ensure a compact and systematically improvable training set. This culminates in application to the nonadiabatic molecular dynamics of a photoexcited 28-atom hydrogen chain, with surprising complexity in the resulting nuclear motion. With just 22 DMRG calculations of training states from the low-energy correlated electronic structure at different geometries, we infer the multi-state energies, forces and nonadiabatic coupling vectors at 12,000 geometries with provable convergence to high accuracy along an ensemble of molecular trajectories, which would not be feasible with a brute force approach. This opens up a route to bridge the timescales between accurate single-point correlated electronic structure methods and timescales of relevance for photo-induced molecular dynamics.

categories: physics.chem-ph cond-mat.str-el physics.comp-ph quant-ph


title: Semi-Algebraic Off-line Range Searching and Biclique Partitions in the Plane

abstract: Let $P$ be a set of $m$ points in ${\mathbb R}^2$, let $\Sigma$ be a set of $n$ semi-algebraic sets of constant complexity in ${\mathbb R}^2$, let $(S,+)$ be a semigroup, and let $w: P \rightarrow S$ be a weight function on the points of $P$. We describe a randomized algorithm for computing $w(P\cap\sigma)$ for every $\sigma\in\Sigma$ in overall expected time $O^*\bigl( m^{\frac{2s}{5s-4}}n^{\frac{5s-6}{5s-4}} + m^{2/3}n^{2/3} + m + n \bigr)$, where $s>0$ is a constant that bounds the maximum complexity of the regions of $\Sigma$, and where the $O^*(\cdot)$ notation hides subpolynomial factors. For $s\ge 3$, surprisingly, this bound is smaller than the best-known bound for answering $m$ such queries in an on-line manner. The latter takes $O^*(m^{\frac{s}{2s-1}}n^{\frac{2s-2}{2s-1}}+m+n)$ time. Let $\Phi: \Sigma \times P \rightarrow \{0,1\}$ be the Boolean predicate (of constant complexity) such that $\Phi(\sigma,p) = 1$ if $p\in\sigma$ and $0$ otherwise, and let $\Sigma\mathop{\Phi} P = \{ (\sigma,p) \in \Sigma\times P \mid \Phi(\sigma,p)=1\}$. Our algorithm actually computes a partition ${\mathcal B}_\Phi$ of $\Sigma\mathop{\Phi} P$ into bipartite cliques (bicliques) of size (i.e., sum of the sizes of the vertex sets of its bicliques) $O^*\bigl( m^{\frac{2s}{5s-4}}n^{\frac{5s-6}{5s-4}} + m^{2/3}n^{2/3} + m + n \bigr)$. It is straightforward to compute $w(P\cap\sigma)$ for all $\sigma\in \Sigma$ from ${\mathcal B}_\Phi$. Similarly, if $\eta: \Sigma \rightarrow S$ is a weight function on the regions of $\Sigma$, $\sum_{\sigma\in \Sigma: p \in \sigma} \eta(\sigma)$, for every point $p\in P$, can be computed from ${\mathcal B}_\Phi$ in a straightforward manner. A recent work of Chan et al. solves the online version of this dual point enclosure problem within the same performance bound as our off-line solution. We also mention a few other applications of computing ${\mathcal B}_\Phi$.


title: Adsorbate Dissociation Due to Heteromolecular Electronic Energy Transfer from Fluorobenzene Thin Films

abstract: Study of the near-UV photodissociation dynamics for monolayer (ML) quantities of CH$_3$I on thin films of a series of fluorobenzenes and benzene (1--25ML) grown on a Cu(100) substrate finds that in addition to gas-phase-like neutral photodissociation, CH$_3$I dissociation can be enhanced via photoabsorption in several of the thin films studied. Distinct CH$_3$ photofragment kinetic energy distributions are found for CH$_3$I photodissociation on C$_6$H$_5$F, 1,4-C$_6$H$_4$F$_2$ and C$_6$H$_6$ thin films, and distinguished from neutral photodissociation pathways using polarized incident light. The effective photodissociation cross section for CH$_3$I on these thin films is increased as compared to that for the higher F-count fluorobenzene thin films due to the additional photodissociation pathway available. Quenching by the metal substrate of the photoexcitation via this new pathway suggests a significantly longer timescale for excitation than that of neutral CH$_3$I photodissociation. The observations support a mechanism in which neutral photoexcitation in the thin film (i.e. an exciton) is transported to the interface with CH$_3$I, and transferring the electronic excitation to the CH$_3$I which then dissociates. The unimodal CH$_3$ photofragment distribution and observed kinetic energies on the fluorobenzene thin films suggest that the dissociation occurs via the $^3Q_1$ excited state of CH$_3$I.


title: Stochastic Rounding Implicitly Regularizes Tall-and-Thin Matrices

abstract: Motivated by the popularity of stochastic rounding in the context of machine learning and the training of large-scale deep neural network models, we consider stochastic nearness rounding of real matrices $\mathbf{A}$ with many more rows than columns. We provide novel theoretical evidence, supported by extensive experimental evaluation that, with high probability, the smallest singular value of a stochastically rounded matrix is well bounded away from zero -- regardless of how close $\mathbf{A}$ is to being rank deficient and even if $\mathbf{A}$ is rank-deficient. In other words, stochastic rounding \textit{implicitly regularizes} tall and skinny matrices $\mathbf{A}$ so that the rounded version has full column rank. Our proofs leverage powerful results in random matrix theory, and the idea that stochastic rounding errors do not concentrate in low-dimensional column spaces.


title: Scalable Networked Feature Selection with Randomized Algorithm for Robot Navigation

abstract: We address the problem of sparse selection of visual features for localizing a team of robots navigating an unknown environment, where robots can exchange relative position measurements with neighbors. We select a set of the most informative features by anticipating their importance in robots localization by simulating trajectories of robots over a prediction horizon. Through theoretical proofs, we establish a crucial connection between graph Laplacian and the importance of features. We show that strong network connectivity translates to uniformity in feature importance, which enables uniform random sampling of features and reduces the overall computational complexity. We leverage a scalable randomized algorithm for sparse sums of positive semidefinite matrices to efficiently select the set of the most informative features and significantly improve the probabilistic performance bounds. Finally, we support our findings with extensive simulations.


title: Reachability-based Trajectory Design via Exact Formulation of Implicit Neural Signed Distance Functions

abstract: Generating receding-horizon motion trajectories for autonomous vehicles in real-time while also providing safety guarantees is challenging. This is because a future trajectory needs to be planned before the previously computed trajectory is completely executed. This becomes even more difficult if the trajectory is required to satisfy continuous-time collision-avoidance constraints while accounting for a large number of obstacles. To address these challenges, this paper proposes a novel real-time, receding-horizon motion planning algorithm named REachability-based trajectory Design via Exact Formulation of Implicit NEural signed Distance functions (REDEFINED). REDEFINED first applies offline reachability analysis to compute zonotope-based reachable sets that overapproximate the motion of the ego vehicle. During online planning, REDEFINED leverages zonotope arithmetic to construct a neural implicit representation that computes the exact signed distance between a parameterized swept volume of the ego vehicle and obstacle vehicles. REDEFINED then implements a novel, real-time optimization framework that utilizes the neural network to construct a collision avoidance constraint. REDEFINED is compared to a variety of state-of-the-art techniques and is demonstrated to successfully enable the vehicle to safely navigate through complex environments. Code, data, and video demonstrations can be found at https://roahmlab.github.io/redefined/.


title: $\beta$ Cephei pulsators in eclipsing binaries observed with TESS

abstract: The combined strength of asteroseismology and empirical stellar basic parameter determinations for in-depth asteroseismic analysis of massive pulsators in eclipsing binaries shows great potential for treating the challenging and mysterious discrepancies between observations and models of stellar structure and evolution of massive stars. This paper compiles a comprehensive list of massive pulsators in eclipsing binary systems observed with TESS. The TESS light curves and Discrete Fourier Transforms (DFT) of a sample of 8055 stars of spectral type B0--B3 were examined for eclipses and stellar pulsations and the ephemerides of the resulting sub-sample of massive pulsators in eclipsing binaries were computed. This sub-sample was also cross-matched with existing catalogues of massive pulsators. Until now, fewer than 30 $\beta$ Cep pulsators in eclipsing binaries have been reported in the literature. Here we announce a total of 78 pulsators of the $\beta$ Cephei type in eclipsing binaries, 59 of which are new discoveries. Forty-three are recognized as definite and 35 are candidate pulsators. Our sample of pulsating massive stars in eclipsing binaries allows for future asteroseismic modelling to better understand the internal mixing profile and to resolve the mass discrepancy in massive stars. We have already started follow-up of some of the most interesting candidates.


title: Mesoscale Molecular Simulations of Fabry-P\'erot Vibrational Strong Coupling

abstract: Developing theoretical frameworks for vibrational strong coupling (VSC) beyond the single-mode approximation is crucial for a comprehensive understanding of experiments with planar Fabry-P\'erot cavities. Herein, a generalized cavity molecular dynamics (CavMD) scheme is developed to simulate VSC of a large ensemble of realistic molecules coupled to an arbitrary 1D or 2D photonic environment. This approach is built upon the Power-Zienau-Woolley Hamiltonian in the normal mode basis and uses a grid representation of the molecular ensembles to reduce the computational cost. When simulating the polariton dispersion relation for a homogeneous distribution of molecules in planar Fabry-P\'erot cavities, our data highlight the importance of preserving the in-plane translational symmetry of the molecular distribution. In this homogeneous limit, CavMD yields the consistent polariton dispersion relation as analytic theory, i.e., incorporating many cavity modes with varying in-plane wave vectors ($k_{\parallel}$) produces the same spectrum as the system with a single cavity mode. Furthermore, CavMD reveals that the validity of the single mode approximation is challenged when nonequilibrium polariton dynamics are considered, as polariton-polariton scattering occurs between modes with nearest neighbor $k_{\parallel}$. The procedure for numerically approaching the macroscopic limit is also demonstrated with CavMD by increasing the system size. Looking forward, our generalized CavMD approach may facilitate understanding vibrational polariton transport and condensation.


title: Energy Consumption in RES-Aware 5G Networks

abstract: In this work, the impact of using Renewable Energy Source (RES) generators in next-generation (5G) cellular systems on total power consumption (PC) has been investigated. The paper highlights the gain related to the use of photovoltaic (PV) panels and wind turbines (WTs) in the form of two factors - the average extension of battery lifetime (AEBL) powering a single network cell and the average reduction in energy consumption (AREC) within the whole network. The examination has been conducted for four different seasons of the year and various configurations of available power sources. The provided system scenario was based on real data on weather conditions, building placement, and implemented mobile networks for the city of Poznan in Poland. Used RES generators were designed in accordance with the specifications of real devices.


title: The Wreaths of KHAN: Uniform Graph Feature Selection with False Discovery Rate Control

abstract: Graphical models find numerous applications in biology, chemistry, sociology, neuroscience, etc. While substantial progress has been made in graph estimation, it remains largely unexplored how to select significant graph signals with uncertainty assessment, especially those graph features related to topological structures including cycles (i.e., wreaths), cliques, hubs, etc. These features play a vital role in protein substructure analysis, drug molecular design, and brain network connectivity analysis. To fill the gap, we propose a novel inferential framework for general high dimensional graphical models to select graph features with false discovery rate controlled. Our method is based on the maximum of $p$-values from single edges that comprise the topological feature of interest, thus is able to detect weak signals. Moreover, we introduce the $K$-dimensional persistent Homology Adaptive selectioN (KHAN) algorithm to select all the homological features within $K$ dimensions with the uniform control of the false discovery rate over continuous filtration levels. The KHAN method applies a novel discrete Gram-Schmidt algorithm to select statistically significant generators from the homology group. We apply the structural screening method to identify the important residues of the SARS-CoV-2 spike protein during the binding process to the ACE2 receptors. We score the residues for all domains in the spike protein by the $p$-value weighted filtration level in the network persistent homology for the closed, partially open, and open states and identify the residues crucial for protein conformational changes and thus being potential targets for inhibition.

categories: math.ST q-bio.QM stat.AP stat.ME stat.TH


title: FinLlama: Financial Sentiment Classification for Algorithmic Trading Applications

abstract: There are multiple sources of financial news online which influence market movements and trader's decisions. This highlights the need for accurate sentiment analysis, in addition to having appropriate algorithmic trading techniques, to arrive at better informed trading decisions. Standard lexicon based sentiment approaches have demonstrated their power in aiding financial decisions. However, they are known to suffer from issues related to context sensitivity and word ordering. Large Language Models (LLMs) can also be used in this context, but they are not finance-specific and tend to require significant computational resources. To facilitate a finance specific LLM framework, we introduce a novel approach based on the Llama 2 7B foundational model, in order to benefit from its generative nature and comprehensive language manipulation. This is achieved by fine-tuning the Llama2 7B model on a small portion of supervised financial sentiment analysis data, so as to jointly handle the complexities of financial lexicon and context, and further equipping it with a neural network based decision mechanism. Such a generator-classifier scheme, referred to as FinLlama, is trained not only to classify the sentiment valence but also quantify its strength, thus offering traders a nuanced insight into financial news articles. Complementing this, the implementation of parameter-efficient fine-tuning through LoRA optimises trainable parameters, thus minimising computational and memory requirements, without sacrificing accuracy. Simulation results demonstrate the ability of the proposed FinLlama to provide a framework for enhanced portfolio management decisions and increased market returns. These results underpin the ability of FinLlama to construct high-return portfolios which exhibit enhanced resilience, even during volatile periods and unpredictable market events.


title: Bounds on the photon mass via the Shapiro effect in the solar system

abstract: We study the effects of a finite mass for the photon on its propagation in a weak gravitational field. In particular, we analyse the gravitational time delay, also known as the Shapiro effect. We work in isotropic coordinates in the weak-field limit and find that the mass-dependent corrections enhance the gravitational time delay. Doppler-tracking data from the Cassini mission allow us to set upper bounds on the photon mass at the level of $m_\gamma \lesssim 3 \times 10^{-7} \, {\rm eV/c^2}$. We also discuss next-generation solar-system tests of general relativity that could improve this upper limit, potentially reaching $m_\gamma \lesssim 8 \times 10^{-8} \, {\rm eV/c^2}$. Though not competitive with the currently best limits, our projected bounds are at the ballpark of earlier ones based on the gravitational deflection angle.


title: Interfacing Quantum Spin Hall and Quantum Anomalous Hall insulators: Bi bilayer on MnBi$_2$Te$_4$-family materials

abstract: Meeting of non-trivial topology with magnetism results in novel phases of matter, such as Quantum Anomalous Hall (QAH) or axion insulator phases. Even more exotic states with high and tunable Chern numbers are expected at the contact of intrinsic magnetic topological insulators (IMTIs) and 2D topological insulators (TIs).Here we synthesize a heterostructures composed of 2D TI and 3D IMTIs, specifically of bismuth bilayer on top of MnBi$_2$Te$_4$-family of compounds and study their electronic properties by means of angle-resolved photoelectron spectroscopy (ARPES) and density functional theory (DFT). The epitaxial interface is characterized by hybridized Bi and IMTI electronic states. The Bi bilayer-derived states on different members of MnBi$_2$Te$_4$-family of materials are similar, except in the region of mixing with the topological surface states of the substrate. In that region, the new, substrate dependent interface Dirac state is observed. Our \emph{ab initio} calculations show rich interface phases with emergence of exchange split 1D edge states, making the Bi/IMTI heterostructures promising playground for observation of novel members in the family of quantum Hall effects.


title: Bayesian analysis of verbal autopsy data using factor models with age- and sex-dependent associations between symptoms

abstract: Verbal autopsies (VAs) are extensively used to investigate the population-level distributions of deaths by cause in low-resource settings without well-organized vital statistics systems. Computer-based methods are often adopted to assign causes of death to deceased individuals based on the interview responses of their family members or caregivers. In this article, we develop a new Bayesian approach that extracts information about cause-of-death distributions from VA data considering the age- and sex-related variation in the associations between symptoms. Its performance is compared with that of existing approaches using gold-standard data from the Population Health Metrics Research Consortium. In addition, we compute the relevance of predictors to causes of death based on information-theoretic measures.


title: BostonTwin: the Boston Digital Twin for Ray-Tracing in 6G Networks

abstract: Digital twins are now a staple of wireless networks design and evolution. Creating an accurate digital copy of a real system offers numerous opportunities to study and analyze its performance and issues. It also allows designing and testing new solutions in a risk-free environment, and applying them back to the real system after validation. A candidate technology that will heavily rely on digital twins for design and deployment is 6G, which promises robust and ubiquitous networks for eXtended Reality (XR) and immersive communications solutions. In this paper, we present BostonTwin, a dataset that merges a high-fidelity 3D model of the city of Boston, MA, with the existing geospatial data on cellular base stations deployments, in a ray-tracing-ready format. Thus, BostonTwin enables not only the instantaneous rendering and programmatic access to the building models, but it also allows for an accurate representation of the electromagnetic propagation environment in the real-world city of Boston. The level of detail and accuracy of this characterization is crucial to designing 6G networks that can support the strict requirements of sensitive and high-bandwidth applications, such as XR and immersive communication.


title: Estimation and Analysis of Slice Propagation Uncertainty in 3D Anatomy Segmentation

abstract: Supervised methods for 3D anatomy segmentation demonstrate superior performance but are often limited by the availability of annotated data. This limitation has led to a growing interest in self-supervised approaches in tandem with the abundance of available un-annotated data. Slice propagation has emerged as an self-supervised approach that leverages slice registration as a self-supervised task to achieve full anatomy segmentation with minimal supervision. This approach significantly reduces the need for domain expertise, time, and the cost associated with building fully annotated datasets required for training segmentation networks. However, this shift toward reduced supervision via deterministic networks raises concerns about the trustworthiness and reliability of predictions, especially when compared with more accurate supervised approaches. To address this concern, we propose the integration of calibrated uncertainty quantification (UQ) into slice propagation methods, providing insights into the model's predictive reliability and confidence levels. Incorporating uncertainty measures enhances user confidence in self-supervised approaches, thereby improving their practical applicability. We conducted experiments on three datasets for 3D abdominal segmentation using five UQ methods. The results illustrate that incorporating UQ improves not only model trustworthiness, but also segmentation accuracy. Furthermore, our analysis reveals various failure modes of slice propagation methods that might not be immediately apparent to end-users. This study opens up new research avenues to improve the accuracy and trustworthiness of slice propagation methods.


title: Photon statistics analysis of h-BN quantum emitters with pulsed and continuous-wave excitation

abstract: We report on the quantum photon statistics of hexagonal boron nitride (h-BN) quantum emitters by analyzing the Mandel Q parameter. We have measured the Mandel Q parameter for h-BN quantum emitters under various temperatures and pump power excitation conditions. Under pulsed excitation we can achieve a Mandel Q of -0.002 and under continuous-wave (CW) excitation this parameter can reach -0.0025. We investigate the effect of cryogenic temperatures on Mandel Q and conclude that the photon statistics vary weakly with temperature. Through calculation of spontaneous emission from an excited two-level emitter model, we demonstrate good agreement between measured and calculated Mandel Q parameter when accounting for the experimental photon collection efficiency. Finally, we illustrate the usefulness of Mandel Q in quantum applications by the example of random number generation and analyze the effect of Mandel Q on the speed of generating random bits via this method.


title: Long time regularity of the $p$-Gauss curvature flow with flat side

abstract: In this paper, we prove the long time regularity of the interface in the $p$-Gauss curvature flow with flat side in all dimensions for $p>\frac1n$. Here the interface is the boundary of the flat part in the flow. In dimension $2$, this problem was solved in \cite{DL2004} for $p=1$ and in \cite{KimLeeRhee2013} for $p\in(1/2,1)$. We utilize the duality method to transform the Gauss curvature flow to a singular parabolic Monge-Amp\`ere equation, and prove the regularity of the interface by studying the asymptotic cone of the parabolic Monge-Amp\`ere equation in the polar coordinates.


title: Computational modeling of the physical features that influence breast cancer invasion into adipose tissue

abstract: Breast cancer invasion into adipose tissue strongly influences disease progression and metastasis. The degree of cancer cell invasion into adipose tissue depends on numerous biochemical and physical properties of cancer cells, adipocytes, and other key components of adipose tissue. We model breast cancer invasion into adipose tissue as a physical process by carrying out simulations of active, cohesive spherical particles (cancer cells) invading into confluent packings of deformable polyhedra (adipocytes). We quantify the degree of invasion by calculating the interfacial area $A_t$ between cancer cells and adipocytes. We determine the long-time value of $A_t$ versus the activity and strength of the cohesion between cancer cells, as well as mechanical properties of the adipocytes and extracellular matrix (ECM) in which the adipocytes are embedded. We show that the degree of invasion collapses onto a master curve by plotting it versus a dimensionless energy scale $E_c$, which grows linearly with mean-square fluctuations and persistence time of the cancer cell velocities, is inversely proportional to the pressure of the system, and has an offset that increases with the cancer cell cohesive energy. The condition, $E_c \gg 1$, indicates that cancer cells will invade the adipose tissue, whereas for $E_c \ll 1$, the cancer cells and adipocytes remain demixed. We also show that constraints on adipocyte positions by the ECM decrease $A_t$ relative to that obtained for unconstrained adipocytes. Finally, spatial heterogeneity in structural and mechanical properties of the adipocytes in the presence of ECM impedes invasion relative to adipose tissue with uniform properties.


title: A Comparative Investigation of Compositional Syntax and Semantics in DALL-E 2

abstract: In this study we compared how well DALL-E 2 visually represented the meaning of linguistic prompts also given to young children in comprehension tests. Sentences representing fundamental components of grammatical knowledge were selected from assessment tests used with several hundred English-speaking children aged 2-7 years for whom we had collected original item-level data. DALL-E 2 was given these prompts five times to generate 20 cartoons per item, for 9 adult judges to score. Results revealed no conditions in which DALL-E 2-generated images that matched the semantic accuracy of children, even at the youngest age (2 years). DALL-E 2 failed to assign the appropriate roles in reversible forms; it failed on negation despite an easier contrastive prompt than the children received; it often assigned the adjective to the wrong noun; it ignored implicit agents in passives. This work points to a clear absence of compositional sentence representations for DALL-E 2.


title: Selecting informative conformal prediction sets with false coverage rate control

abstract: In supervised learning, including regression and classification, conformal methods provide prediction sets for the outcome/label with finite sample coverage for any machine learning predictor. We consider here the case where such prediction sets come after a selection process. The selection process requires that the selected prediction sets be `informative' in a well defined sense. We consider both the classification and regression settings where the analyst may consider as informative only the sample with prediction sets small enough, excluding null values, or obeying other appropriate `monotone' constraints. We develop a unified framework for building such informative conformal prediction sets while controlling the false coverage rate (FCR) on the selected sample. While conformal prediction sets after selection have been the focus of much recent literature in the field, the new introduced procedures, called InfoSP and InfoSCOP, are to our knowledge the first ones providing FCR control for informative prediction sets. We show the usefulness of our resulting procedures on real and simulated data.


title: 5G cellular systems supported by UAVs, RESs, and RISs (PL: Systemy kom\'orkowe 5G wspierane przez BSP, OZE oraz IPR)

abstract: The paper considers energy consumption in 5G cellular networks powered by Renewable Energy Sources (RESs) and equipped with Reconfigurable Intelligent Surfaces (RISs) and tethered Unmanned Aerial Vehicles (UAVs), acting as mobile access points. The study was focused on the energy side of the Radio Access Network (RAN) located in the city of Pozna\'n in Poland. The profit associated with the use of renewable energy generators, i.e. photovoltaic panels (PVP) for base stations (BSs) is presented in the form of two factors: the average number of UAV charges (ANUC) to provide continuous access to mobile services for connected user equipment (UE) terminals, and the average reduction in energy consumption (AREC) of the wireless system.


title: Leveraging Large Language Models to Extract Information on Substance Use Disorder Severity from Clinical Notes: A Zero-shot Learning Approach

abstract: Substance use disorder (SUD) poses a major concern due to its detrimental effects on health and society. SUD identification and treatment depend on a variety of factors such as severity, co-determinants (e.g., withdrawal symptoms), and social determinants of health. Existing diagnostic coding systems used by American insurance providers, like the International Classification of Diseases (ICD-10), lack granularity for certain diagnoses, but clinicians will add this granularity (as that found within the Diagnostic and Statistical Manual of Mental Disorders classification or DSM-5) as supplemental unstructured text in clinical notes. Traditional natural language processing (NLP) methods face limitations in accurately parsing such diverse clinical language. Large Language Models (LLMs) offer promise in overcoming these challenges by adapting to diverse language patterns. This study investigates the application of LLMs for extracting severity-related information for various SUD diagnoses from clinical notes. We propose a workflow employing zero-shot learning of LLMs with carefully crafted prompts and post-processing techniques. Through experimentation with Flan-T5, an open-source LLM, we demonstrate its superior recall compared to the rule-based approach. Focusing on 11 categories of SUD diagnoses, we show the effectiveness of LLMs in extracting severity information, contributing to improved risk assessment and treatment planning for SUD patients.


title: Electrical/piezoresistive effects in bent Alpide MAPS

abstract: The ITS3 upgrade baseline design employs MAPS (Monolithic Active Pixel Sensor) in bent state. Bending experiments with the existing ITS2 MAPS (=Alpide chip) show it remains functional but with relative large analog supply current changes. It is shown that by the piezoresistive effect, rotation of current mirror FETs can be responsible which was confirmed after validating the layout. Measured Gauge Factor has proper sign but is 3 times lower than typical values derived from literature. The magnitude of the measured strain induced PMOS V$_{th}$ shift is as expected but the sign differs for compressive strain with some of the literature.


title: A new method to search for highly ionizing exotic particles, monopoles and beyond, using time projection chamber

abstract: Measuring the energy loss and mass of highly ionizing particles predicted by theories from beyond the Standard Model pose considerable challenges to conventional detection techniques. Such particles are predicted to experience energy loss to matter they pass through that exceeds the dynamic range specified for most readout chips, leading to saturation of the detectors' electronics. Consequently, achieving precise energy loss and mass measurements becomes unattainable. We present a new approach to detect such highly ionizing particles using time projection chambers that overcomes this limitation and provide a case study for triggering on magnetic monopoles.


title: Simultaneous NICER and NuSTAR observations of the Ultraluminous source NGC 4190 ULX-1

abstract: We present an X-ray analysis of three different XMM-Newton observations together with simultaneous NICER and NuSTAR observations of the ultraluminous X-ray source NGC 4190 ULX-1. Our goal is to constrain the structure of the accretion disk and the geometrical properties of the source. We performed a temporal and spectral analyses in the 0.4--30 keV energy range where the source is significantly detected in dedicated XMM-Newton, NICER and NuSTAR observations. The temporal analysis shows no flaring activity in the light curves. No pulsation is detected throughout. The source exhibits a typical ULX spectrum, which can be fitted with two thermal blackbody components plus a Comptonization tail at high energies. The luminosity-temperature relation of each thermal spectral component is consistent with the $L \propto T^{2}$ relation expected from an advection-dominated supercritical disk. We interpret these results as a super-Eddington accreting black hole seen almost face-on. A dense wind ejected from the disk obscures the central source, and a hot electron plasma is evacuated through the funnel formed above the hole. Geometric beaming is responsible for the ULX soft emission, whereas the hard tail is the result of Comptonization of soft photons by the electrons ejected through the funnel.


title: R3DS: Reality-linked 3D Scenes for Panoramic Scene Understanding

abstract: We introduce the Reality-linked 3D Scenes (R3DS) dataset of synthetic 3D scenes mirroring the real-world scene arrangements from Matterport3D panoramas. Compared to prior work, R3DS has more complete and densely populated scenes with objects linked to real-world observations in panoramas. R3DS also provides an object support hierarchy, and matching object sets (e.g., same chairs around a dining table) for each scene. Overall, R3DS contains 19K objects represented by 3,784 distinct CAD models from over 100 object categories. We demonstrate the effectiveness of R3DS on the Panoramic Scene Understanding task. We find that: 1) training on R3DS enables better generalization; 2) support relation prediction trained with R3DS improves performance compared to heuristically calculated support; and 3) R3DS offers a challenging benchmark for future work on panoramic scene understanding.


title: A 2-distance $(2\Delta+7)$-coloring of planar graphs

abstract: A vertex coloring of a graph $G$ is called a $2$-distance coloring if any two vertices at a distance at most $2$ from each other receive different colors. Recently, Bousquet et al. (Discrete Mathematics, 346(4), 113288, 2023) proved that $2\Delta+7$ colors are sufficient for the $2$-distance coloring of planar graphs with maximum degree $\Delta\geq 9$. In this paper, we strengthen their result by removing the maximum degree constraint and show that all planar graphs admit a 2-distance $(2\Delta+7)$-coloring.This particularly improves the result of Van den Heuvel and McGuinness (Journal of Graph Theory, 42(2), 110-124, 2003).


title: Semialgebraic Range Stabbing, Ray Shooting, and Intersection Counting in the Plane

abstract: Polynomial partitioning techniques have recently led to improved geometric data structures for a variety of fundamental problems related to semialgebraic range searching and intersection searching in 3D and higher dimensions (e.g., see [Agarwal, Aronov, Ezra, and Zahl, SoCG 2019; Ezra and Sharir, SoCG 2021; Agarwal, Aronov, Ezra, Katz, and Sharir, SoCG 2022]). They have also led to improved algorithms for offline versions of semialgebraic range searching in 2D, via lens-cutting [Sharir and Zahl (2017)]. In this paper, we show that these techniques can yield new data structures for a number of other 2D problems even for online queries: 1. Semialgebraic range stabbing. We present a data structure for $n$ semialgebraic ranges in 2D of constant description complexity with $O(n^{3/2+\varepsilon})$ preprocessing time and space, so that we can count the number of ranges containing a query point in $O(n^{1/4+\varepsilon})$ time, for an arbitrarily small constant $\varepsilon>0$. 2. Ray shooting amid algebraic arcs. We present a data structure for $n$ algebraic arcs in 2D of constant description complexity with $O(n^{3/2+\varepsilon})$ preprocessing time and space, so that we can find the first arc hit by a query (straight-line) ray in $O(n^{1/4+\varepsilon})$ time. 3. Intersection counting amid algebraic arcs. We present a data structure for $n$ algebraic arcs in 2D of constant description complexity with $O(n^{3/2+\varepsilon})$ preprocessing time and space, so that we can count the number of intersection points with a query algebraic arc of constant description complexity in $O(n^{1/2+\varepsilon})$ time. In particular, this implies an $O(n^{3/2+\varepsilon})$-time algorithm for counting intersections between two sets of $n$ algebraic arcs in 2D.


title: Conformally symplectic structures and the Lefschetz condition

abstract: This short note provides a symplectic analogue of Vaisman's theorem in complex geometry. Namely, for any compact symplectic manifold satisfying the hard Lefschetz condition in degree 1, every locally conformally symplectic structure is in fact globally conformally symplectic, whenever there is a mutually compatible almost complex structure.


title: Density properties for fractional Musielak-Sobolev spaces

abstract: In this paper, we introduce a new fractional Musielak-Sobolev space $Ws,{\Phi}x,y({\Omega})$ where ${\Omega}$ is an open subset in RN and we show some density properties of smooth and compactly supported functions in this space.


title: On the interplay of liquid-like and stress-driven dynamics in a metallic glass former observed by temperature scanning XPCS

abstract: Modern detector technology and highly brilliant fourth-generation synchrotrons allow to improve the temporal resolution in time-resolved diffraction studies. Profiting from this, we applied temperature scanning X-ray photon correlation spectroscopy (XPCS) to probe the dynamics of a Pt-based metallic glass former in the glass, glass transition region, and supercooled liquid, covering up to six orders of magnitude in time scales. Our data demonstrates that the structural alpha-relaxation process is still observable in the glass, although it is partially masked by a faster source of decorrelation observed at atomic scale. We present an approach that interprets these findings as the superposition of heterogeneous liquid-like and stress-driven ballistic-like atomic motions. This work not only extends the dynamical range probed by standard isothermal XPCS, but also clarifies the fate of the alpha-relaxation across the glass transition and provides a new perception on the anomalous, compressed temporal decay of the density-density correlation functions observed in metallic glasses and many out-of-equilibrium soft materials.


title: Molecular Classification Using Hyperdimensional Graph Classification

abstract: Our work introduces an innovative approach to graph learning by leveraging Hyperdimensional Computing. Graphs serve as a widely embraced method for conveying information, and their utilization in learning has gained significant attention. This is notable in the field of chemoinformatics, where learning from graph representations plays a pivotal role. An important application within this domain involves the identification of cancerous cells across diverse molecular structures. We propose an HDC-based model that demonstrates comparable Area Under the Curve results when compared to state-of-the-art models like Graph Neural Networks (GNNs) or the Weisfieler-Lehman graph kernel (WL). Moreover, it outperforms previously proposed hyperdimensional computing graph learning methods. Furthermore, it achieves noteworthy speed enhancements, boasting a 40x acceleration in the training phase and a 15x improvement in inference time compared to GNN and WL models. This not only underscores the efficacy of the HDC-based method, but also highlights its potential for expedited and resource-efficient graph learning.


title: Gradient-based Fuzzy System Optimisation via Automatic Differentiation -- FuzzyR as a Use Case

abstract: Since their introduction, fuzzy sets and systems have become an important area of research known for its versatility in modelling, knowledge representation and reasoning, and increasingly its potential within the context explainable AI. While the applications of fuzzy systems are diverse, there has been comparatively little advancement in their design from a machine learning perspective. In other words, while representations such as neural networks have benefited from a boom in learning capability driven by an increase in computational performance in combination with advances in their training mechanisms and available tool, in particular gradient descent, the impact on fuzzy system design has been limited. In this paper, we discuss gradient-descent-based optimisation of fuzzy systems, focussing in particular on automatic differentiation -- crucial to neural network learning -- with a view to free fuzzy system designers from intricate derivative computations, allowing for more focus on the functional and explainability aspects of their design. As a starting point, we present a use case in FuzzyR which demonstrates how current fuzzy inference system implementations can be adjusted to leverage powerful features of automatic differentiation tools sets, discussing its potential for the future of fuzzy system design.


title: Reinforcement Learning from Delayed Observations via World Models

abstract: In standard reinforcement learning settings, agents typically assume immediate feedback about the effects of their actions after taking them. However, in practice, this assumption may not hold true due to physical constraints and can significantly impact the performance of learning algorithms. In this paper, we address observation delays in partially observable environments. We propose leveraging world models, which have shown success in integrating past observations and learning dynamics, to handle observation delays. By reducing delayed POMDPs to delayed MDPs with world models, our methods can effectively handle partial observability, where existing approaches achieve sub-optimal performance or degrade quickly as observability decreases. Experiments suggest that one of our methods can outperform a naive model-based approach by up to 250%. Moreover, we evaluate our methods on visual delayed environments, for the first time showcasing delay-aware reinforcement learning continuous control with visual observations.


title: Prototipo de un Contador Bidireccional Autom\'atico de Personas basado en sensores de visi\'on 3D

abstract: 3D sensors, also known as RGB-D sensors, utilize depth images where each pixel measures the distance from the camera to objects, using principles like structured light or time-of-flight. Advances in artificial vision have led to affordable 3D cameras capable of real-time object detection without object movement, surpassing 2D cameras in information depth. These cameras can identify objects of varying colors and reflectivities and are less affected by lighting changes. The described prototype uses RGB-D sensors for bidirectional people counting in venues, aiding security and surveillance in spaces like stadiums or airports. It determines real-time occupancy and checks against maximum capacity, crucial during emergencies. The system includes a RealSense D415 depth camera and a mini-computer running object detection algorithms to count people and a 2D camera for identity verification. The system supports statistical analysis and uses C++, Python, and PHP with OpenCV for image processing, demonstrating a comprehensive approach to monitoring venue occupancy.


title: BD-14 3065b (TOI-4987b): from giant planet to brown dwarf: evidence for deuterium burning in old age?

abstract: The present study reports the confirmation of BD-14 3065b, a transiting planet/brown dwarf in a triple-star system, with a mass near the deuterium burning boundary. BD-14 3065b has the largest radius observed within the sample of giant planets and brown dwarfs around post-main-sequence stars. Its orbital period is 4.3 days, and it transits a subgiant F-type star with a mass of $M_\star=1.41 \pm 0.05 M_{\odot}$, a radius of $R_\star=2.35 \pm 0.08 R_{\odot}$, an effective temperature of $T_{\rm eff}=6935\pm90$ K, and a metallicity of $-0.34\pm0.05$ dex. By combining TESS photometry with high-resolution spectra acquired with the TRES and Pucheros+ spectrographs, we measured a mass of $M_p=12.37\pm0.92 M_J$ and a radius of $R_p=1.926\pm0.094 R_J$. Our discussion of potential processes that could be responsible for the inflated radius led us to conclude that deuterium burning is a plausible explanation resulting from the heating of BD-14 3065b's interior. Detection of the secondary eclipse with TESS photometry enables a precise determination of the eccentricity $e_p=0.066\pm0.011$ and reveals BD-14 3065b has a brightness temperature of $3520 \pm 130$ K. With its unique characteristics, BD-14 3065b presents an excellent opportunity to study its atmosphere through thermal emission spectroscopy.


title: Quantifying the efficiency of principal signal transmission modes in proteins

abstract: On the microscopic level, biological signal transmission relies on coordinated structural changes in allosteric proteins that involve sensor and effector modules. The timescales and microscopic details of signal transmission in proteins are often unclear, despite a plethora of structural information on signaling proteins. Based on linear-response theory, we develop a theoretical framework to define frequency-dependent force and displacement transmit functions through proteins and, more generally, viscoelastic media. Transmit functions quantify the fraction of a local time-dependent perturbation at one site, be it a deformation, a force, or a combination thereof, that survives at a second site. They are defined in terms of equilibrium fluctuations from simulations or experimental observations. We apply the framework to our all-atom molecular dynamics simulation data of a parallel, homodimeric coiled-coil (CC) motif that connects sensor and effector modules of a blue-light-regulated histidine kinase from bacterial signaling systems extensively studied in experiments. Our analysis reveals that signal transmission through the CC is possible via shift, splay, and twist deformation modes. Based on the results of mutation experiments, we infer that the most relevant mode for the biological function of the histidine kinase protein is the splay deformation.


title: Improving LoRA in Privacy-preserving Federated Learning

abstract: Low-rank adaptation (LoRA) is one of the most popular task-specific parameter-efficient fine-tuning (PEFT) methods on pre-trained language models for its good performance and computational efficiency. LoRA injects a product of two trainable rank decomposition matrices over the top of each frozen pre-trained model module. However, when applied in the setting of privacy-preserving federated learning (FL), LoRA may become unstable due to the following facts: 1) the effects of data heterogeneity and multi-step local updates are non-negligible, 2) additive noise enforced on updating gradients to guarantee differential privacy (DP) can be amplified and 3) the final performance is susceptible to hyper-parameters. A key factor leading to these phenomena is the discordance between jointly optimizing the two low-rank matrices by local clients and separately aggregating them by the central server. Thus, this paper proposes an efficient and effective version of LoRA, Federated Freeze A LoRA (FFA-LoRA), to alleviate these challenges and further halve the communication cost of federated fine-tuning LLMs. The core idea of FFA-LoRA is to fix the randomly initialized non-zero matrices and only fine-tune the zero-initialized matrices. Compared to LoRA, FFA-LoRA is motivated by practical and theoretical benefits in privacy-preserved FL. Our experiments demonstrate that FFA-LoRA provides more consistent performance with better computational efficiency over vanilla LoRA in various FL tasks.


title: Homotopy BV-algebras in Hermitian geometry

abstract: We show that the de Rham complex of any almost Hermitian manifold carries a natural commutative $BV_\infty$-algebra structure satisfying the degeneration property. In the almost K\"ahler case, this recovers Koszul's BV-algebra, defined for any Poisson manifold. As a consequence, both the Dolbeault and the de Rham cohomologies of any compact Hermitian manifold are canonically endowed with homotopy hypercommutative algebra structures, also known as formal homotopy Frobenius manifolds. Similar results are developed for (almost) symplectic manifolds with Lagrangian subbundles.


title: Electrostatic trapping of N$_2$ molecules in high Rydberg states

abstract: N$_2$ molecules traveling in pulsed supersonic beams have been excited from their ${\mathrm{X\,^1\Sigma_{\mathrm{g}}^+}}$ ground electronic state to long-lived Rydberg states with principal quantum numbers between 39 and 48 using a resonance-enhanced two-color three-photon excitation scheme. The Rydberg states populated had static electric dipole moments exceeding $5000$ D which allowed deceleration of the molecules to rest in the laboratory-fixed frame of reference and three-dimensional trapping using inhomogeneous electric fields. The trapped molecules were confined for up to 10 ms, with effective trap decay time constants increasing with principal quantum number, and ranging from 450$\mu$s to 700 $\mu$s. These observations, and comparison with the results of similar measurements with He atoms, indicate that the decay dynamics of the trapped Rydberg N$_2$ molecules are dominated by spontaneous emission and do not exhibit significant contributions from effects of intramolecular interactions that lead to non-radiative decay.


title: OpenEval: Benchmarking Chinese LLMs across Capability, Alignment and Safety

abstract: The rapid development of Chinese large language models (LLMs) poses big challenges for efficient LLM evaluation. While current initiatives have introduced new benchmarks or evaluation platforms for assessing Chinese LLMs, many of these focus primarily on capabilities, usually overlooking potential alignment and safety issues. To address this gap, we introduce OpenEval, an evaluation testbed that benchmarks Chinese LLMs across capability, alignment and safety. For capability assessment, we include 12 benchmark datasets to evaluate Chinese LLMs from 4 sub-dimensions: NLP tasks, disciplinary knowledge, commonsense reasoning and mathematical reasoning. For alignment assessment, OpenEval contains 7 datasets that examines the bias, offensiveness and illegalness in the outputs yielded by Chinese LLMs. To evaluate safety, especially anticipated risks (e.g., power-seeking, self-awareness) of advanced LLMs, we include 6 datasets. In addition to these benchmarks, we have implemented a phased public evaluation and benchmark update strategy to ensure that OpenEval is in line with the development of Chinese LLMs or even able to provide cutting-edge benchmark datasets to guide the development of Chinese LLMs. In our first public evaluation, we have tested a range of Chinese LLMs, spanning from 7B to 72B parameters, including both open-source and proprietary models. Evaluation results indicate that while Chinese LLMs have shown impressive performance in certain tasks, more attention should be directed towards broader aspects such as commonsense reasoning, alignment, and safety.


title: EffiPerception: an Efficient Framework for Various Perception Tasks

abstract: The accuracy-speed-memory trade-off is always the priority to consider for several computer vision perception tasks. Previous methods mainly focus on a single or small couple of these tasks, such as creating effective data augmentation, feature extractor, learning strategies, etc. These approaches, however, could be inherently task-specific: their proposed model's performance may depend on a specific perception task or a dataset. Targeting to explore common learning patterns and increasing the module robustness, we propose the EffiPerception framework. It could achieve great accuracy-speed performance with relatively low memory cost under several perception tasks: 2D Object Detection, 3D Object Detection, 2D Instance Segmentation, and 3D Point Cloud Segmentation. Overall, the framework consists of three parts: (1) Efficient Feature Extractors, which extract the input features for each modality. (2) Efficient Layers, plug-in plug-out layers that further process the feature representation, aggregating core learned information while pruning noisy proposals. (3) The EffiOptim, an 8-bit optimizer to further cut down the computational cost and facilitate performance stability. Extensive experiments on the KITTI, semantic-KITTI, and COCO datasets revealed that EffiPerception could show great accuracy-speed-memory overall performance increase within the four detection and segmentation tasks, in comparison to earlier, well-respected methods.


title: Orbifold Indices in Four Dimensions

abstract: We introduce supersymmetric indices for four-dimensional gauge theories defined on $\mathscr O \times S^1$, where $\mathscr O $ is a circle bundle over the weighted complex projective line informally known as spindle. Trivial fibrations yield a four-dimensional version of the spindle index, which we obtain by applying localization to partition functions of theories on the direct product of a spindle and a two-dimensional torus. Conversely, non-trivial fibrations lead to the branched lens index, which we compute by localizing theories on the direct product of a circle and a branched covering of the lens space, possibly endowed with conical singularities. The branched lens index encompasses the maximally refined four-dimensional lens index as a special case.


title: Molecular dynamics simulation with finite electric fields using Perturbed Neural Network Potentials

abstract: The interaction of condensed phase systems with external electric fields is crucial in myriad processes in nature and technology ranging from the field-directed motion of cells (galvanotaxis), to energy storage and conversion systems including supercapacitors, batteries and solar cells. Molecular simulation in the presence of electric fields would give important atomistic insight into these processes but applications of the most accurate methods such as ab-initio molecular dynamics are limited in scope by their computational expense. Here we introduce Perturbed Neural Network Potential Molecular Dynamics (PNNP MD) to push back the accessible time and length scales of such simulations at virtually no loss in accuracy. The total forces on the atoms are expressed in terms of the unperturbed potential energy surface represented by a standard neural network potential and a field-induced perturbation obtained from a series expansion of the field interaction truncated at first order. The latter is represented in terms of an equivariant graph neural network, trained on the atomic polar tensor. PNNP MD is shown to give excellent results for the dielectric relaxation dynamics, the dielectric constant and the field-dependent IR spectrum of liquid water when compared to ab-initio molecular dynamics or experiment, up to surprisingly high field strengths of about 0.2 V/A. This is remarkable because, in contrast to most previous approaches, the two neural networks on which PNNL MD is based are exclusively trained on zero-field molecular configurations demonstrating that the networks not only interpolate but also reliably extrapolate the field response. PNNP MD is based on rigorous theory yet it is simple, general, modular, and systematically improvable allowing us to obtain atomistic insight into the interaction of a wide range of condensed phase systems with external electric fields.


title: Approximated Likelihood Ratio: A Forward-Only and Parallel Framework for Boosting Neural Network Training

abstract: Efficient and biologically plausible alternatives to backpropagation in neural network training remain a challenge due to issues such as high computational complexity and additional assumptions about neural networks, which limit scalability to deeper networks. The likelihood ratio method offers a promising gradient estimation strategy but is constrained by significant memory consumption, especially when deploying multiple copies of data to reduce estimation variance. In this paper, we introduce an approximation technique for the likelihood ratio (LR) method to alleviate computational and memory demands in gradient estimation. By exploiting the natural parallelism during the backward pass using LR, we further provide a high-performance training strategy, which pipelines both the forward and backward pass, to make it more suitable for the computation on specialized hardware. Extensive experiments demonstrate the effectiveness of the approximation technique in neural network training. This work underscores the potential of the likelihood ratio method in achieving high-performance neural network training, suggesting avenues for further exploration.


title: Explainable agency: human preferences for simple or complex explanations

abstract: Research in cognitive psychology has established that whether people prefer simpler explanations to complex ones is context dependent, but the question of `simple vs. complex' becomes critical when an artificial agent seeks to explain its decisions or predictions to humans. We present a model for abstracting causal reasoning chains for the purpose of explanation. This model uses a set of rules to progressively abstract different types of causal information in causal proof traces. We perform online studies using 123 Amazon MTurk participants and with five industry experts over two domains: maritime patrol and weather prediction. We found participants' satisfaction with generated explanations was based on the consistency of relationships among the causes (coherence) that explain an event; and that the important question is not whether people prefer simple or complex explanations, but what types of causal information are relevant to individuals in specific contexts.


title: The Amaterasu Cosmic Ray as a Magnetic Monopole and Implications for Extensions of the Standard Model

abstract: The Amaterasu cosmic ray particle appears to have come from the direction of the local cosmic void. We take this as evidence that it is a magnetic monopole rather than a proton or nucleus. This in turn strongly suggests physics at high energy is described by a quiver gauge theory.


title: Enhanced Detection of Transdermal Alcohol Levels Using Hyperdimensional Computing on Embedded Devices

abstract: Alcohol consumption has a significant impact on individuals' health, with even more pronounced consequences when consumption becomes excessive. One approach to promoting healthier drinking habits is implementing just-in-time interventions, where timely notifications indicating intoxication are sent during heavy drinking episodes. However, the complexity or invasiveness of an intervention mechanism may deter an individual from using them in practice. Previous research tackled this challenge using collected motion data and conventional Machine Learning (ML) algorithms to classify heavy drinking episodes, but with impractical accuracy and computational efficiency for mobile devices. Consequently, we have elected to use Hyperdimensional Computing (HDC) to design a just-in-time intervention approach that is practical for smartphones, smart wearables, and IoT deployment. HDC is a framework that has proven results in processing real-time sensor data efficiently. This approach offers several advantages, including low latency, minimal power consumption, and high parallelism. We explore various HDC encoding designs and combine them with various HDC learning models to create an optimal and feasible approach for mobile devices. Our findings indicate an accuracy rate of 89\%, which represents a substantial 12\% improvement over the current state-of-the-art.


title: Towards a Theory of Pragmatic Information

abstract: Standard information theory says nothing about how much meaning is conveyed by the information. We fill this gap with a rigorously justifiable, quantitative definition of ``pragmatic information'' as the amount of meaning in a message that is relevant to a particular decision (as opposed to the {\it value} that the decision maker places on that message). We posit that such a message updates a ``state of the world'' random variable, $\omega$, that informs the decision. The pragmatic information of a single message is then defined as the Kulbach-Leibler divergence between the {\it a priori} and updated probability distributions of $\omega$; the pragmatic information of a message ensemble is defined as the expected value of the pragmatic information values of the ensemble's component messages. We then show, first, that the pragmatic information of a single message is the expected difference between the shortest binary encoding of $\omega$ under the {\it a priori} and updated distributions, and, second, that the average of the pragmatic values of individual messages, when sampled a large number of times from the ensemble, approaches its expected value. Pragmatic information thus defined has many hoped-for properties, such as non-negativity and additivity for independent decisions and ``pragmatically independent'' messages. We also sketch three applications: The first is the single play of a slot machine, a.k.a. ``one armed bandit'', with an unknown payout probability; the second being a characterization of the rate of biological evolution in a simple model of reproduction with mutation (the so-called ``quasi-species'' model); the third being a reformulation of the efficient market hypothesis of financial economics. We conclude by noting the importance of the computational capacity of the receiver in processing pragmatic information.