title: The Multiplicative Formula of Langlands for Orbital Integrals in GL(2)

abstract: Langlands has introduced a formula for a specific product of orbital integrals in $\mbox{GL}(2, \mathbb{Q})$. Altu\u{g} employs this formula to manipulate the regular elliptic part of the trace formula, with the aim of eliminating the contribution of the trivial representation from the spectral side. Arthur predicts that this formula coincides with a product of polynomials associated with zeta functions of orders developed by Zhiwei Yun. In a previous paper, the author determined the explicit polynomials for the relevant quadratic orders. This paper demonstrates how these polynomials can effectively generalize Langlands' formula to $GL(2, K)$, for general algebraic number fields $K$. Furthermore, we also use this formula to extend a well-known formula of Zagier to any algebraic number field and explain its applications in the contexts of the strategy of Beyond Endoscopy proposed by Langlands.


title: Logarithmic negative tangency and root stacks

abstract: We study stable maps to normal crossings pairs with possibly negative tangency orders. There are two independent models: punctured Gromov-Witten theory of pairs and orbifold Gromov-Witten theory of root stacks with extremal ages. Exploiting the tropical structure of the punctured mapping space, we define and study a new virtual class for the punctured theory. This arises as a refined intersection product on the Artin fan, and produces a distinguished sector of punctured Gromov-Witten invariants. Restricting to genus zero, we show that these invariants coincide with the orbifold invariants, first for smooth pairs, and then for normal crossings pairs after passing to a sufficiently refined blowup. This builds on previous work to provide a complete picture of the logarithmic-orbifold comparison in genus zero, which is compatible with splitting and thus allows for the wholesale importation of orbifold techniques, including boundary recursion and torus localisation. Contemporaneous work of Johnston uses the comparison to give a new proof of the associativity of the Gross-Siebert intrinsic mirror ring.


title: Walia-LLM: Enhancing Amharic-LLaMA by Integrating Task-Specific and Generative Datasets

abstract: Large language models (LLMs) have received a lot of attention in natural language processing (NLP) research because of their exceptional performance in understanding and generating human languages. However, low-resource languages are left behind due to the unavailability of resources. In this work, we focus on enhancing the LLaMA-2-Amharic model by integrating task-specific and generative datasets to improve language model performance for Amharic. We compile an Amharic instruction fine-tuning dataset and fine-tuned LLaMA-2-Amharic model. The fine-tuned model shows promising results in different NLP tasks. We open-source our dataset creation pipeline, instruction datasets, trained models, and evaluation outputs to promote language-specific studies on these models.


title: The Cosmic Ultraviolet Baryon Survey (CUBS) VII: on the warm-hot circumgalactic medium probed by O VI and Ne VIII at 0.4 $\lesssim$ z $\lesssim$ 0.7

abstract: This paper presents a newly established sample of 103 unique galaxies or galaxy groups at $0.4\lesssim z\lesssim 0.7$ from the Cosmic Ultraviolet Baryon Survey (CUBS) for studying the warm-hot circumgalactic medium (CGM) probed by both O VI and Ne VIII absorption. The galaxies and associated neighbors are identified at $< 1$ physical Mpc from the sightlines toward 15 CUBS QSOs at $z_{\rm QSO}\gtrsim 0.8$. A total of 30 galaxies or galaxy groups exhibit associated O VI $\lambda\lambda$ 1031, 1037 doublet absorption within a line-of-sight velocity interval of $\pm250$ km/s, while the rest show no trace of O VI to a detection limit of $\log N_{\rm OVI}/{\rm cm^{-2}}\approx13.7$. Meanwhile, only five galaxies or galaxy groups exhibit the Ne VIII $\lambda\lambda$ 770,780 doublet absorption, down to a limiting column density of $\log N_{\rm NeVIII}/{\rm cm^{-2}}\approx14.0$. These O VI- and Ne VIII-bearing halos reside in different galaxy environments with stellar masses ranging from $\log M_{\rm star}/M_\odot \approx 8$ to $\approx11.5$. The warm-hot CGM around galaxies of different stellar masses and star formation rates exhibits different spatial profiles and kinematics. In particular, star-forming galaxies with $\log M_{\rm star}/M_\odot\approx9-11$ show a significant concentration of metal-enriched warm-hot CGM within the virial radius, while massive quiescent galaxies exhibit flatter radial profiles of both column densities and covering fractions. In addition, the velocity dispersion of O VI absorption is broad with $\sigma_v > 40$ km/s for galaxies of $\log M_{\rm star}/M_\odot>9$ within the virial radius, suggesting a more dynamic warm-hot halo around these galaxies. Finally, the warm-hot CGM probed by O VI and Ne VIII is suggested to be the dominant phase in sub-$L^*$ galaxies with $\log M_{\rm star}/M_\odot\approx9-10$ based on their high ionization fractions in the CGM.


title: Lumos : Empowering Multimodal LLMs with Scene Text Recognition

abstract: We introduce Lumos, the first end-to-end multimodal question-answering system with text understanding capabilities. At the core of Lumos is a Scene Text Recognition (STR) component that extracts text from first person point-of-view images, the output of which is used to augment input to a Multimodal Large Language Model (MM-LLM). While building Lumos, we encountered numerous challenges related to STR quality, overall latency, and model inference. In this paper, we delve into those challenges, and discuss the system architecture, design choices, and modeling techniques employed to overcome these obstacles. We also provide a comprehensive evaluation for each component, showcasing high quality and efficiency.


title: Nearest Neighbour Score Estimators for Diffusion Generative Models

abstract: Score function estimation is the cornerstone of both training and sampling from diffusion generative models. Despite this fact, the most commonly used estimators are either biased neural network approximations or high variance Monte Carlo estimators based on the conditional score. We introduce a novel nearest neighbour score function estimator which utilizes multiple samples from the training set to dramatically decrease estimator variance. We leverage our low variance estimator in two compelling applications. Training consistency models with our estimator, we report a significant increase in both convergence speed and sample quality. In diffusion models, we show that our estimator can replace a learned network for probability-flow ODE integration, opening promising new avenues of future research.


title: Volitional Control of the Paretic Hand Post-Stroke Increases Finger Stiffness and Resistance to Robot-Assisted Movement

abstract: Increased effort during use of the paretic arm and hand can provoke involuntary abnormal synergy patterns and amplify stiffness effects of muscle tone for individuals after stroke, which can add difficulty for user-controlled devices to assist hand movement during functional tasks. We study how volitional effort, exerted in an attempt to open or close the hand, affects resistance to robot-assisted movement at the finger level. We perform experiments with three chronic stroke survivors to measure changes in stiffness when the user is actively exerting effort to activate ipsilateral EMG-controlled robot-assisted hand movements, compared with when the fingers are passively stretched, as well as overall effects from sustained active engagement and use. Our results suggest that active engagement of the upper extremity increases muscle tone in the finger to a much greater degree than through passive-stretch or sustained exertion over time. Potential design implications of this work suggest that developers should anticipate higher levels of finger stiffness when relying on user-driven ipsilateral control methods for assistive or rehabilitative devices for stroke.


title: Grasp Force Assistance via Throttle-based Wrist Angle Control on a Robotic Hand Orthosis for C6-C7 Spinal Cord Injury

abstract: Individuals with hand paralysis resulting from C6-C7 spinal cord injuries frequently rely on tenodesis for grasping. However, tenodesis generates limited grasping force and demands constant exertion to maintain a grasp, leading to fatigue and sometimes pain. We introduce the MyHand-SCI, a wearable robot that provides grasping assistance through motorized exotendons. Our user-driven device enables independent, ipsilateral operation via a novel Throttle-based Wrist Angle control method, which allows users to maintain grasps without continued wrist extension. A pilot case study with a person with C6 spinal cord injury shows an improvement in functional grasping and grasping force, as well as a preserved ability to modulate grasping force while using our device, thus improving their ability to manipulate everyday objects. This research is a step towards developing effective and intuitive wearable assistive devices for individuals with spinal cord injury.


title: Careless Whisper: Speech-to-Text Hallucination Harms

abstract: Speech-to-text services aim to transcribe input audio as accurately as possible. They increasingly play a role in everyday life, for example in personal voice assistants or in customer-company interactions. We evaluate Open AI's Whisper, a state-of-the-art automated speech recognition service outperforming industry competitors, as of 2023. While many of Whisper's transcriptions were highly accurate, we find that roughly 1\% of audio transcriptions contained entire hallucinated phrases or sentences which did not exist in any form in the underlying audio. We thematically analyze the Whisper-hallucinated content, finding that 38\% of hallucinations include explicit harms such as perpetuating violence, making up inaccurate associations, or implying false authority. We then study why hallucinations occur by observing the disparities in hallucination rates between speakers with aphasia (who have a lowered ability to express themselves using speech and voice) and a control group. We find that hallucinations disproportionately occur for individuals who speak with longer shares of non-vocal durations -- a common symptom of aphasia. We call on industry practitioners to ameliorate these language-model-based hallucinations in Whisper, and to raise awareness of potential biases amplified by hallucinations in downstream applications of speech-to-text models.


title: Leveraging Digital Cousins for Ensemble Q-Learning in Large-Scale Wireless Networks

abstract: Optimizing large-scale wireless networks, including optimal resource management, power allocation, and throughput maximization, is inherently challenging due to their non-observable system dynamics and heterogeneous and complex nature. Herein, a novel ensemble Q-learning algorithm that addresses the performance and complexity challenges of the traditional Q-learning algorithm for optimizing wireless networks is presented. Ensemble learning with synthetic Markov Decision Processes is tailored to wireless networks via new models for approximating large state-space observable wireless networks. In particular, digital cousins are proposed as an extension of the traditional digital twin concept wherein multiple Q-learning algorithms on multiple synthetic Markovian environments are run in parallel and their outputs are fused into a single Q-function. Convergence analyses of key statistics and Q-functions and derivations of upper bounds on the estimation bias and variance are provided. Numerical results across a variety of real-world wireless networks show that the proposed algorithm can achieve up to 50% less average policy error with up to 40% less runtime complexity than the state-of-the-art reinforcement learning algorithms. It is also shown that theoretical results properly predict trends in the experimental results.


title: UGMAE: A Unified Framework for Graph Masked Autoencoders

abstract: Generative self-supervised learning on graphs, particularly graph masked autoencoders, has emerged as a popular learning paradigm and demonstrated its efficacy in handling non-Euclidean data. However, several remaining issues limit the capability of existing methods: 1) the disregard of uneven node significance in masking, 2) the underutilization of holistic graph information, 3) the ignorance of semantic knowledge in the representation space due to the exclusive use of reconstruction loss in the output space, and 4) the unstable reconstructions caused by the large volume of masked contents. In light of this, we propose UGMAE, a unified framework for graph masked autoencoders to address these issues from the perspectives of adaptivity, integrity, complementarity, and consistency. Specifically, we first develop an adaptive feature mask generator to account for the unique significance of nodes and sample informative masks (adaptivity). We then design a ranking-based structure reconstruction objective joint with feature reconstruction to capture holistic graph information and emphasize the topological proximity between neighbors (integrity). After that, we present a bootstrapping-based similarity module to encode the high-level semantic knowledge in the representation space, complementary to the low-level reconstruction in the output space (complementarity). Finally, we build a consistency assurance module to provide reconstruction objectives with extra stabilized consistency targets (consistency). Extensive experiments demonstrate that UGMAE outperforms both contrastive and generative state-of-the-art baselines on several tasks across multiple datasets.


title: Combinatorial aspects of Parraud's asymptotic expansion for GUE matrices

abstract: We give a new combinatorial proof of Parraud's formula for the asymptotic expansion in powers of $1/N^2$ for the expected trace of polynomials of several independent $N \times N$ GUE matrices, which expresses the result using a mixture of free difference quotients, introducing new freely independent semicircular variables, and integration with respect to parameters. Our approach streamlines the statement of the formula while clarifying its relationship to the combinatorial genus expansion.


title: Beyond the Mud: Datasets and Benchmarks for Computer Vision in Off-Road Racing

abstract: Despite significant progress in optical character recognition (OCR) and computer vision systems, robustly recognizing text and identifying people in images taken in unconstrained \emph{in-the-wild} environments remain an ongoing challenge. However, such obstacles must be overcome in practical applications of vision systems, such as identifying racers in photos taken during off-road racing events. To this end, we introduce two new challenging real-world datasets - the off-road motorcycle Racer Number Dataset (RND) and the Muddy Racer re-iDentification Dataset (MUDD) - to highlight the shortcomings of current methods and drive advances in OCR and person re-identification (ReID) under extreme conditions. These two datasets feature over 6,300 images taken during off-road competitions which exhibit a variety of factors that undermine even modern vision systems, namely mud, complex poses, and motion blur. We establish benchmark performance on both datasets using state-of-the-art models. Off-the-shelf models transfer poorly, reaching only 15% end-to-end (E2E) F1 score on text spotting, and 33% rank-1 accuracy on ReID. Fine-tuning yields major improvements, bringing model performance to 53% F1 score for E2E text spotting and 79% rank-1 accuracy on ReID, but still falls short of good performance. Our analysis exposes open problems in real-world OCR and ReID that necessitate domain-targeted techniques. With these datasets and analysis of model limitations, we aim to foster innovations in handling real-world conditions like mud and complex poses to drive progress in robust computer vision. All data was sourced from PerformancePhoto.co, a website used by professional motorsports photographers, racers, and fans. The top-performing text spotting and ReID models are deployed on this platform to power real-time race photo search.


title: The Influence of Laser Focusing Conditions on the Direct Laser Acceleration of Electrons

abstract: Direct Laser Acceleration (DLA) of electrons during a high-energy, picosecond laser interaction with an underdense plasma has been demonstrated to be substantially enhanced by controlling the laser focusing geometry. Experiments using the OMEGA EP facility measured electrons accelerated to maximum energies exceeding 120 times the ponderomotive energy under certain laser focusing, pulse energy, and plasma density conditions. Two-dimensional particle-in-cell simulations show that the laser focusing conditions alter the laser field evolution, channel fields generation, and electron oscillation, all of which contribute to the final electron energies. The optimal laser focusing condition occurs when the transverse oscillation amplitude of the accelerated electron in the channel fields matches the laser beam width, resulting in efficient energy gain. Through this observation, a simple model was developed to calculate the optimal laser focal spot size in more general conditions and is validated by experimental data.


title: On the Stability of Undesirable Equilibria in the Quadratic Program Framework for Safety-Critical Control

abstract: Control Lyapunov functions (CLFs) and Control Barrier Functions (CBFs) have been used to develop provably safe controllers by means of quadratic programs (QPs). This framework guarantees safety in the form of trajectory invariance with respect to a given set, but it can introduce undesirable equilibrium points to the closed loop system, which can be asymptotically stable. In this work, we present a detailed study of the formation and stability of equilibrium points with the QP framework for a class of nonlinear systems. We introduce the useful concept of compatibility between a CLF and a family of CBFs, regarding the number of stable equilibrium points other than the CLF minimum. Using this concept, we derive a set of compatibility conditions on the parameters of a quadratic CLF and a family of quadratic CBFs that guarantee that all undesirable equilibrium points are not attractive. Furthermore, we propose an extension to the QP-based controller that dynamically modifies the CLF geometry in order to satisfy the compatibility conditions, guaranteeing safety and quasi-global convergence of the system state to the CLF minimum. Numeric simulations illustrate the applicability of the proposed method for safety-critical, deadlock-free robotic navigation tasks.


title: Quantum key distribution with unbounded pulse correlations

abstract: A prevalent issue in practical applications of quantum key distribution (QKD) is the emergence of correlations among the emitted signals. Although recent works have proved the security of QKD in the presence of this imperfection, they rest on the premise that pulse correlations are of finite length. However, this assumption is not necessarily met in practice, since the length of these correlations could be potentially unbounded. Indeed, the first emitted pulse could be correlated with the last one, even if very faintly. Still, intuitively, there should exist a pulse separation threshold after which these correlations become so small as to be essentially negligible, rendering them inconsequential from a security standpoint. Building on this insight, we introduce a general formalism designed to extend existing security proofs to the practically relevant scenario in which pulse correlations have an unbounded length. This approach significantly enhances the applicability of these proofs and the robustness of QKD's implementation security.


title: Populating The Milky Way: Characterising Planet Demographics by Combining Galaxy Formation Simulations and Planet Population Synthesis Models

abstract: Stellar populations and their distribution differ widely across the Galaxy, which is likely to affect planet demographics. Our local neighbourhood is dominated by young, metal-rich stars in the galactic thin disc, while the stellar halo and galactic bulge host a large fraction of older, metal-poor stars. We study the impact of these variations on planet populations in different regions of the Galaxy by combining a high-resolution galaxy formation simulation with state-of-the-art planet population synthesis models. We construct a population model to estimate occurrence rates of different planet types, based on the New Generation Planet Population Synthesis by Emsenhuber et al., 2021. We apply this to a simulated Milky Way--Analogue in the HESTIA galaxy formation simulation. We study the planet occurrence rate in the metal-rich regions of the inner Galaxy, i.e. in the galactic bulge and thin disc, and contrast them to the frequencies in the more distant, metal-poor region like the thick disc and stellar halo. We find that the planet demographics in the metal-poor regions of the Milky Way-Analogue, differ strongly from the planet populations in the more distant, metal-poor regions. The occurrence rate of giant planets ($>300 M_\bigoplus$) is 10 to 20 times larger in the thin disc compared to the thick disc, driven by the low amounts of solid material available for planet formation around metal-poor stars. Similarly, low-mass Earth-like planets around Sun-like stars are most abundant in the thick disc, being 1.5 times more frequent than in the thin disc. Moreover, low-mass planets are expected to be abundant throughout the galaxy, from the central regions to the outer halo, due to their formation processes being less dependent on stellar metallicity. The planet populations differ more strongly around Sun-like stars compared to dwarfs with masses 0.3 - 0.5 $M_\odot$.


title: Why and When LLM-Based Assistants Can Go Wrong: Investigating the Effectiveness of Prompt-Based Interactions for Software Help-Seeking

abstract: Large Language Model (LLM) assistants, such as ChatGPT, have emerged as potential alternatives to search methods for helping users navigate complex, feature-rich software. LLMs use vast training data from domain-specific texts, software manuals, and code repositories to mimic human-like interactions, offering tailored assistance, including step-by-step instructions. In this work, we investigated LLM-generated software guidance through a within-subject experiment with 16 participants and follow-up interviews. We compared a baseline LLM assistant with an LLM optimized for particular software contexts, SoftAIBot, which also offered guidelines for constructing appropriate prompts. We assessed task completion, perceived accuracy, relevance, and trust. Surprisingly, although SoftAIBot outperformed the baseline LLM, our results revealed no significant difference in LLM usage and user perceptions with or without prompt guidelines and the integration of domain context. Most users struggled to understand how the prompt's text related to the LLM's responses and often followed the LLM's suggestions verbatim, even if they were incorrect. This resulted in difficulties when using the LLM's advice for software tasks, leading to low task completion rates. Our detailed analysis also revealed that users remained unaware of inaccuracies in the LLM's responses, indicating a gap between their lack of software expertise and their ability to evaluate the LLM's assistance. With the growing push for designing domain-specific LLM assistants, we emphasize the importance of incorporating explainable, context-aware cues into LLMs to help users understand prompt-based interactions, identify biases, and maximize the utility of LLM assistants.


title: Dumviri: Detecting Trackers and Mixed Trackers with a Breakage Detector

abstract: Previous automatic tracker detection work lacks features to recognize web page breakage and often resort to manual analysis to assess the breakage caused by blocking trackers. We introduce Dumviri, which incorporates a breakage detector that can automatically detect web page breakage caused by erroneously blocking a resource that is needed by the page to function properly. This addition allows Dumviri to prevent functional resources from being misclassified as trackers and increases overall detection accuracy. We designed Dumviri to take differential features. We further find that these features are agnostic to analysis granularity and enable Dumviri to predict tracking resources at the request field granularity, allowing Dumviri to handle some mixed trackers. Evaluating Dumviri on 15K pages shows its ability to replicate the labels of human-generated filter lists with an accuracy of 97.44%. Through a manual analysis, we found that Dumviri identified previously unreported trackers and its breakage detector can identify rules that cause web page breakage in commonly used filter lists like EasyPrivacy. In the case of mixed trackers, Dumviri, being the first automated mixed tracker detector, achieves a 79.09% accuracy. We have confirmed 22 previously unreported unique trackers and 26 unique mixed trackers. We promptly reported these findings to privacy developers, and we will publish our filter lists in uBlock Origin's extended syntax.


title: The Formal Proof of the Kepler Conjecture: a critical retrospective

abstract: The Kepler conjecture asserts that no packing of congruent balls in three-dimensional Euclidean space has density greater than that of the face-centered cubic packing. In 1998, Sam Ferguson and I announced a computer-assisted proof of this conjecture. Long delays in the refereeing process sparked a project to give a formal proof of the Kepler conjecture, which was completed in a large collaborative effort in 2014. This article gives a critical reappraisal of that project.


title: On the asymptotics of a lazy reinforced random walk

abstract: Based on a martingale theory approach, we present a complete characterization of the asymptotic behaviour of a lazy reinforced random walk (LRRW) which shows three different regimes (diffusive, critical and superdiffusive). This allows us to prove versions of the law of large numbers, the quadratic strong law, the law of iterated logarithm, the almost sure central limit theorem and the functional central limit theorem in the diffusive and critical regimes. In the superdiffusive regime we obtain a strong convergence to a random variable, including a central limit theorem and a law of iterated logarithm for the fluctuations.


title: Stochastic Integration of the Cahn-Hilliard Phase Field Equations

abstract: In this work we develop a stochastic algorithm to integrate the Cahn-Hilliard equations. The algorithm is based on Gillespie's stochastic simulation algorithm, also known as kinetic Monte Carlo. The deterministic integration of the phase field equations leads to the closest minimum of free energy and does not overcome free energy barriers. However, in the nucleation and growth regime of the phase diagram, free energy barriers need to be thermally overcome for the system to phase separate to reach equilibrium. We show in this work that the proposed stochastic integration algorithm indeed allows the system to overcome free energy barriers. We discuss the results in terms of fluctuation distributions, grid sizes and efficiency.


title: Multiple Random Masking Autoencoder Ensembles for Robust Multimodal Semi-supervised Learning

abstract: There is an increasing number of real-world problems in computer vision and machine learning requiring to take into consideration multiple interpretation layers (modalities or views) of the world and learn how they relate to each other. For example, in the case of Earth Observations from satellite data, it is important to be able to predict one observation layer (e.g. vegetation index) from other layers (e.g. water vapor, snow cover, temperature etc), in order to best understand how the Earth System functions and also be able to reliably predict information for one layer when the data is missing (e.g. due to measurement failure or error).


title: Conditional quantization for uniform distributions on line segments and regular polygons

abstract: Quantization for a Borel probability measure refers to the idea of estimating a given probability by a discrete probability with support containing a finite number of elements. If in the quantization some of the elements in the support are preselected, then the quantization is called a conditional quantization. In this paper, we have investigated the conditional quantization for the uniform distributions defined on the unit line segments and $m$-sided regular polygons, where $m\geq 3$, inscribed in a unit circle.


title: Physics informed data-driven near-wall modelling for lattice Boltzmann simulation of high Reynolds number turbulent flows

abstract: Data-driven approaches offer novel opportunities for improving the performance of turbulent flow simulations, which are critical to wide-ranging applications from wind farms and aerodynamic designs to weather and climate forecasting. While conventional continuum Navier-Stokes solvers have been the subject of a significant amount of work in this domain, there has hitherto been very limited effort in the same direction for the more scalable and highly performant lattice Boltzmann method (LBM), even though it has been successfully applied to a variety of turbulent flow simulations using large-eddy simulation (LES) techniques. In this work, we establish a data-driven framework for the LES-based lattice Boltzmann simulation of near-wall turbulent flow fields. We do this by training neural networks using improved delayed detached eddy simulation data. Crucially, this is done in combination with physics-based information that substantially constrains the data-driven predictions. Using data from turbulent channel flow at a friction Reynolds number at $5200$, our simulations accurately predict the behaviour of the wall model at arbitrary friction Reynolds numbers up to $1.0 \times 10^6$. In contradistinction with other models that use direct numerical simulation datasets, our physics-informed model requires data from very limited regions within the wall-bounded plane, reducing by three orders of magnitude the quantity of data needed for training. We also demonstrate that our model can handle data configurations when the near-wall grid is sparse. Our physics-informed neural network approach opens up the possibility of employing LBM in combination with highly specific and therefore much more limited quantities of macroscopic data, substantially facilitating the investigation of a wide-range of turbulent flow applications at very large scale.


title: HPIC: The Habitable Worlds Observatory Preliminary Input Catalog

abstract: The Habitable Worlds Observatory Preliminary Input Catalog (HPIC) is a list of ~13,000 nearby bright stars that will be potential targets for the Habitable Worlds Observatory (HWO) in its search for Earth-sized planets around Sun-like stars. We construct this target list using the TESS and Gaia DR3 catalogs, and develop an automated pipeline to compile stellar measurements and derived astrophysical properties for all stars. We benchmark the stellar properties in the HPIC relative to those of the manually curated ExEP HWO Precursor Science Stars list and find that, for the 164 best targets for exo-Earth direct imaging, our stellar properties are consistent. We demonstrate the utility of the HPIC by using it as an input for yield calculations to predict the science output of various mission designs including those with larger telescope diameters and those focused on other planet types besides Earth analogs, such as Jupiter-mass planets. The breadth and completeness of the HPIC is essential for accurate HWO mission trade studies, and it will be useful for other exoplanet studies and general astrophysics studying the population of bright nearby stars.


title: Parameter Estimation for Low-Mass Eccentric Black Hole Binaries

abstract: Recent studies have shown that orbital eccentricity may indicate dynamical assembly as a formation mechanism for binary black holes. Eccentricity leaves a distinct signature in gravitational wave signals and it may be measured if the binary remains eccentric when it enters the LIGO band. Although eccentricity has not yet been confidently detected, the possibility of detecting eccentric binaries is becoming more likely with the improved sensitivity of gravitational wave detectors such as LIGO, Virgo, and KAGRA. It is crucial to assess the accuracy of current search pipelines in recovering eccentricity from gravitational wave signals if it is present. In this study, we investigate the ability of parameter estimation pipeline RIFT to recover eccentricity in the non-spinning and aligned-spin cases for low mass binary black holes. We use TaylorF2Ecc and TEOBResumS to inject sets of synthetic signals and test how well RIFT accurately recovers key binary black hole parameters. Our findings provide valuable insights into the capability of current parameter estimation methods to detect and measure eccentricity in gravitational wave signals.


title: Gravitational Collapse without Singularity Formation in Brans-Dicke Theory

abstract: In the present work we study collapse process of a homogeneous and isotropic fluid in Brans-Dicke ({BD}) theory with non-vanishing spacetime torsion. In this theory, torsion can be generated by the {BD} scalar field as well as the intrinsic angular momentum (spin) of matter. Assuming the matter content of the collapsing body to be a Weyssenhoff fluid, which is a generalization of perfect fluid in general relativity ({GR}) in order to include the spin effects, we find that in BD theory with torsion, the existence of spin effects could avoid the spacetime singularity that forms in the original version of this theory (Scheel et al. in Phys Rev D 51:4208, 1995, Scheel et al. in Phys Rev D 51:4236, 1995). Numerical simulations of collapse model show that the spacetime singularity is replaced by a non-singular bounce, the spacetime event at which the collapse process halts at a minimum radius and then turns into an expanding phase. Moreover, the model parameters can be set so that the apparent horizon will never meet the boundary of the collapsing body so that the bounce event can be detectable by external observers in the Universe.


title: Elasticity between manifolds: the weakly-incompatible limit

abstract: Elasticity between manifolds concerns the study of the "most isometric" way of immersing one Riemannian manifold $(M,g)$ (the elastic body) into another $(S,s)$ (ambient space). We study the limit problem of weak-incompatibility: We obtain, via $\Gamma$-convergence, a limit model for a sequence of bodies $(M,g_\varepsilon)$ when $g_\varepsilon \to s$, and relate the minimum of the limit energy to a linearized curvature discrepancy between $g_\varepsilon$ and $s$, using recent results of Kupferman and Leder. The main technical challenge is obtaining the correct notion of displacement for manifold-valued configurations, using Sobolev truncations and parallel transport. We further show that the associated compactness result is obtained if $(S,s)$ satisfies a quantitative rigidity property, analogous to the Friesecke--James--M\"uller rigidity estimate in Euclidean space, and show that this property holds when $(S,s)$ is a round sphere.


title: Relatively endotrivial complexes

abstract: Let $G$ be a finite group and $k$ a field of characteristic $p > 0$. We use the notion of projectivity relative to a $kG$-module to define multiple notions of relatively endotrivial chain complexes, extending the definition of an endotrivial chain complex. These definitions are motivated by Lassueur's analogous construction of relatively endotrivial $kG$-modules. Similar to the study of endotrivial modules, we obtain equivalent characterizations of relative endotriviality and corresponding h-mark homomorphisms which determine the isomorphism class of a relatively endotrivial complex up to a torsion element. Additionally, we study the homomorphism induced by restriction of relatively endotrivial complexes to subgroups containing Sylow $p$-subgroups $S$ of $G$. One result of this investigation is that the group $\mathcal{E}_k(G)$ of endotrivial complexes is isomorphic to a direct product of its torsion subgroup $\text{Hom}(G,k^\times)$ and a fusion-stable subgroup of $\mathcal{E}_k(S)$.


title: Sensitivity of the helioglow to variation of the total ionization rate and solar Lyman-alpha emission

abstract: Direct observations of solar wind are mostly limited to the vicinity of the ecliptic plane. Retrieving the latitudinal structure of solar wind indirectly based on observations of the backscatter glow of interstellar neutral hydrogen is complex and requires support from theoretical models. The GLOWS instrument, to operate on the planned IMAP mission, will scan the helioglow along circumsolar rings with an angular distance of ~75 degrees. Its objective is to retrieve the latitudinal structure of the ionization rate of interstellar hydrogen and with this, the structure of the solar wind. In preparation for future analysis, we studied the sensitivity of the light curves to temporal and latitudinal variation of the ionization rate of interstellar hydrogen and the solar Lyman-alpha illumination. Based on carefully planned numerical experiments, we analyze the time delay and relaxation time of the system for variations of the ionization rate and solar illumination in heliolatitude and with time. We found that variations in the solar illumination are reflected in the helioglow without delay, but relaxation takes longer than the variation rise time. By contrast, variations in the ionization rate are anti-correlated with the helioglow brightness with a delay of several months. We also found that the helioglow is not sensitive to variations in the ionization rate at the solar poles, so retrieving the ionization rate and solar wind at the poles requires an approximation of the ionization rate profiles with appropriate parametric functions.


title: Quasinormable Fr\'echet spaces and M. W. Wong's inequality

abstract: A short proof of M. W. Wong's inequality $\lVert J_{-s}\varphi\rVert_p \le \varepsilon \lVert J_{-t}\varphi\rVert_p + C \lVert\varphi\rVert_p$ is given.


title: Triangular projection on $\boldsymbol{S}_p,~0<p<1$, as $\boldsymbol{p}$ approaches 1

abstract: This is a continuation of our recent paper. We continue studying properties of the triangular projection ${\mathscr P}_n$ on the space of $n\times n$ matrices. We establish sharp estimates for the $p$-norms of ${\mathscr P}_n$ as an operator on the Schatten--von Neumann class $\boldsymbol{S}_p$ for $0<p<1$. Our estimates are uniform in $n$ and $p$ as soon as $p$ is separated away from 0. The main result of the paper shows that for $p\in(0,1)$, the $p$-norms of ${\mathscr P}_n$ on $\boldsymbol{S}_p$ behave as $n\to\infty$ and $p\to1$ as $n^{1/p-1}\min\big\{(1-p)^{-1},\log n\big\}$.


title: Tight Algorithm for Connected Odd Cycle Transversal Parameterized by Clique-width

abstract: Recently, Bojikian and Kratsch [2023] have presented a novel approach to tackle connectivity problems parameterized by clique-width ($\operatorname{cw}$), based on counting small representations of partial solutions (modulo two). Using this technique, they were able to get a tight bound for the Steiner Tree problem, answering an open question posed by Hegerfeld and Kratsch [ESA, 2023]. We use the same technique to solve the Connected Odd Cycle Transversal problem in time $\mathcal{O}^*(12^{\operatorname{cw}})$. We define a new representation of partial solutions by separating the connectivity requirement from the 2-colorability requirement of this problem. Moreover, we prove that our result is tight by providing SETH-based lower bound excluding algorithms with running time $\mathcal{O}^*((12-\epsilon)^{\operatorname{lcw}})$ even when parameterized by linear clique-width. This answers the second question posed by Hegerfeld and Kratsch in the same paper.


title: Adaptive quantum accelerated imaging for space domain awareness

abstract: The growth in space activity has increased the need for Space Domain Awareness (SDA) to ensure safe space operations. Imaging and detecting space targets is, however, challenging due to their dim appearance, small angular size/separation, dense distribution, and atmospheric turbulence. These challenges render space targets in ground-based imaging observations as point-like objects in the sub-Rayleigh regime, with extreme brightness contrast but a low photon budget. Here, we propose to use the recently developed quantum-accelerated imaging (QAI) for the SDA challenge. We mainly focus on three SDA challenges (1) minimal a priori assumptions (2) many-object problem (3) extreme brightness ratio. We also present results on source estimation and localization in the presence of atmospheric turbulence. QAI shows significantly improved estimation in position, brightness, and number of targets for all SDA challenges. In particular, we demonstrate up to 2.5 times better performance in source detection than highly optimized direct imaging in extreme scenarios like stars with a 1000 times brightness ratio. With over 10,000 simulations, we verify the increased resolution of our approach compared to conventional state-of-the-art direct imaging paving the way towards quantum optics approaches for SDA.


title: Long-term orbital evolution of Dimorphos boulders and implications on the origin of meteorites

abstract: By using recent observations of the Dydimos-Dimorphos system from the Hubble Space Telescope, 37 boulders with a size of 4 to 7 meters ejected from the system during the impact with the DART spacecraft were identified. In this work, we studied the orbital evolution of a swarm of boulders with a similar size to that of the detected ones. By using recent estimates for the ejection velocity of the boulders, we numerically propagated the dynamics of the swarm for 20 kyr in the future. We found that the ejection velocities and the non-gravitational effects are not strong enough to change the secular evolution significantly. The minimum orbit intersection distance (MOID) with the Earth will be reached in about 2.5 kyr, but it will not fall below 0.02 au. On the contrary, the Mars MOID will be very small in four instances, two near 6 kyr and the other two near 15 kyr. Therefore, there may be a chance for them to impact Mars in the future. Given the rarefaction of the Martian atmosphere, we expect the boulders to arrive intact on the ground and excavate a small impact crater. The results presented here provide a further indication that some meteorites found on Earth originated in collisions of $\sim$100 m near-Earth asteroids with projectiles of $\sim$1 m in size.


title: An algorithm for dynamic vehicle-track-structure interaction analysis for high-speed trains

abstract: The objective of the present work is to develop a robust, yet simple-to-implement algorithm for dynamic vehicle-track-structure-interaction (VTSI) analysis, applicable to trains passing over bridges. The algorithm can be readily implemented in existing bridge analysis software with minimal code modifications. It is based on modeling the bridge and train separately, and coupling them together by means of kinematic constraints. The contact forces between the wheels and the track become Lagrange multipliers in this approach. A direct implementation of such an approach results in spurious oscillations in the contact forces. Two approaches are presented to mitigate these spurious oscillations - (a) a cubic B-spline interpolation of the kinematic constraints in time, and (b) an adaptation of an alternate time-integration scheme originally developed by Bathe. Solutions obtained using this algorithm are verified using a generic differential algebraic equation (DAE) solver. Due to high train speeds and possible track irregularities, wheels can momentarily lose contact with the track. This contact separation is formulated as a Linear Complementarity Problem (LCP). With this formulation, including contact separation in the analysis amounts to replacing a call to a linear equation solver by a call to an LCP solver, a modification of only two steps of the procedure. The focus of this paper is on the computational procedure of VTSI analysis. The main contribution of this paper is recognizing computational issues associated with time-varying kinematic constraints, clearly identifying their cause and developing remedies.


title: Reconstruction of Polarization Properties of Whistler Waves From Two Magnetic and Two Electric Field Components: Application to Parker Solar Probe Measurements

abstract: The search-coil magnetometer (SCM) aboard Parker Solar Probe (PSP) measures the 3 Hz to 1 MHz magnetic field fluctuations. During Encounter 1, the SCM operated as expected; however, in March 2019, technical issues limited subsequent encounters to two components for frequencies below 1 kHz. Detrimentally, most whistler waves are observed in the affected frequency band where established techniques cannot extract the wave polarization properties under these conditions. Fortunately, the Electric Field Instrument aboard PSP measures two electric field components and covers the affected bandwidth. We propose a technique using the available electromagnetic fields to reconstruct the missing components by neglecting the electric field parallel to the background magnetic field. This technique is applicable with the assumptions of (a) low-frequency whistlers in the plasma frame relative to the electron cyclotron frequency; (b) a small propagation angle with respect to the background magnetic field; and (c) a large wave phase speed relative to the cross-field solar wind velocity. Critically, the method cannot be applied if the background magnetic field is aligned with the affected SCM coil. We have validated our method using burst mode measurements made before March 2019. The reconstruction conditions are satisfied for 80% of the burst mode whistlers detected during Encounter 1. We apply the method to determine the polarization of a whistler event observed after March 2019 during Encounter 2. Our novel method is an encouraging step toward analyzing whistler properties in affected encounters and improving our understanding of wave-particle interactions in the young solar wind.

categories: astro-ph.SR physics.data-an physics.ins-det physics.plasm-ph physics.space-ph


title: On Bayesian Filtering for Markov Regime Switching Models

abstract: This paper presents a framework for empirical analysis of dynamic macroeconomic models using Bayesian filtering, with a specific focus on the state-space formulation of Dynamic Stochastic General Equilibrium (DSGE) models with multiple regimes. We outline the theoretical foundations of model estimation, provide the details of two families of powerful multiple-regime filters, IMM and GPB, and construct corresponding multiple-regime smoothers. A simulation exercise, based on a prototypical New Keynesian DSGE model, is used to demonstrate the computational robustness of the proposed filters and smoothers and evaluate their accuracy and speed for a selection of filters from each family. We show that the canonical IMM filter is faster and is no less, and often more, accurate than its competitors within IMM and GPB families, the latter including the commonly used Kim and Nelson (1999) filter. Using it with the matching smoother improves the precision in recovering unobserved variables by about 25 percent. Furthermore, applying it to the U.S. 1947-2023 macroeconomic time series, we successfully identify significant past policy shifts including those related to the post-Covid-19 period. Our results demonstrate the practical applicability and potential of the proposed routines in macroeconomic analysis.


title: Jackiw-Teitelboim Gravity, Random Disks of Constant Curvature, Self-Overlapping Curves and Liouville $\text{CFT}_{1}$

abstract: We propose a microscopic definition of finite cut-off JT quantum gravity on the disk, both in the discretized and in the continuum points of view. The discretized formulation involves a new model of so-called self-overlapping random polygons. The measure is not uniform, implying that the degrees of freedom are not in one-to-one correspondence with the shape of the boundary. The continuum formulation is based on a boundary $\text{CFT}_{1}$ from which we predict some critical exponents of the self-overlapping polygon model. The coupling to an arbitrary bulk matter CFT is also discussed.


title: On The Number Of Labeled Bipartite Graphs

abstract: Let $I$ and $O$ denote two sets of vertices, where $I\cap O =\emptyset$, $|I| = n$, $|O| = r$, and $B_u(n,r)$ denote the set of unlabeled graphs whose edges connect vertices in $I$ and $O$. Recently, it was established in\cite{atmacaoruc2018} that the following two-sided equality holds, \begin{equation} \label{mainResult} \displaystyle \frac{\binom{r+2^{n}-1}{r}}{n!}\, \le\, |B_u(n,r)|\, \le\, 2\frac{\binom{r+2^{n}-1}{r}}{n!},\, n < r.\nonumber \end{equation} and exact formulas were provided in~\cite{atmaca2017size} for $|B_u(2,r)|$ and $|B_u(3,r)|.$ In this paper, these results are extended to various families of labeled bipartite graphs.


title: Probing the interaction energy of two $^{85}$Rb atoms in an optical tweezer via spin-motion coupling

abstract: The inherent polarization gradients in tight optical tweezers can be used to couple the atomic spins to the two-body motion under the action of a microwave spin-flip transition, so that such a spin-motion coupling offers an important control knob on the motional states of optically trapped two colliding atoms. Here, after preparing two elastically scattering $^{85}$Rb atoms in the three-dimensional ground-state in the optical tweezer, we employed this control in order to probe the colliding energies of elastic and inelastic channels. The combination of microwave spectra and corresponding s-wave pseudopotential model allows us to infer the effect of the state-dependent trapping potentials on the elastics colliding energies, as well as to reveal how the presence of inelastic interactions affects elastic part of the relative potential. Our work shows that the spin-motion coupling in a tight optical tweezer expand the experimental toolbox for fundamental studies of ultracold collisions in the two body systems with reactive collisions, and potentially for that of more complex interactions, such as optically trapped atom-molecule and molecule-molecule interactions.


title: A Quantum Algorithm Based Heuristic to Hide Sensitive Itemsets

abstract: Quantum devices use qubits to represent information, which allows them to exploit important properties from quantum physics, specifically superposition and entanglement. As a result, quantum computers have the potential to outperform the most advanced classical computers. In recent years, quantum algorithms have shown hints of this promise, and many algorithms have been proposed for the quantum domain. There are two key hurdles to solving difficult real-world problems on quantum computers. The first is on the hardware front -- the number of qubits in the most advanced quantum systems is too small to make the solution of large problems practical. The second involves the algorithms themselves -- as quantum computers use qubits, the algorithms that work there are fundamentally different from those that work on traditional computers. As a result of these constraints, research has focused on developing approaches to solve small versions of problems as proofs of concept -- recognizing that it would be possible to scale these up once quantum devices with enough qubits become available. Our objective in this paper is along the same lines. We present a quantum approach to solve a well-studied problem in the context of data sharing. This heuristic uses the well-known Quantum Approximate Optimization Algorithm (QAOA). We present results on experiments involving small datasets to illustrate how the problem could be solved using quantum algorithms. The results show that the method has potential and provide answers close to optimal. At the same time, we realize there are opportunities for improving the method further.


title: MIML library: a Modular and Flexible Library for Multi-instance Multi-label Learning

abstract: MIML library is a Java software tool to develop, test, and compare classification algorithms for multi-instance multi-label (MIML) learning. The library includes 43 algorithms and provides a specific format and facilities for data managing and partitioning, holdout and cross-validation methods, standard metrics for performance evaluation, and generation of reports. In addition, algorithms can be executed through $xml$ configuration files without needing to program. It is platform-independent, extensible, free, open-source, and available on GitHub under the GNU General Public License.


title: Idealised Antenna Functions for Higher Order QCD Calculations

abstract: In this thesis, the infrared structure of squared matrix elements in quantum chromodynamics (QCD) is scrutinised. Specifically, the triple-collinear splitting functions are decomposed and improvements to antenna subtraction are sought through the construction of idealised antenna functions. The antenna-subtraction technique has demonstrated remarkable effectiveness in handling next-to-next-to-leading order (NNLO) infrared divergences for a wide range of QCD processes relevant for colliders. However, since antenna functions were historically extracted from matrix elements, they did not have uniform properties, which made the generation of subtraction terms complex. Antenna subtraction up to NNLO is reviewed, including the role of antenna functions. A general algorithm is detailed in order to re-build antenna functions, with idealised features, directly from a specified list of unresolved limits, for any number of real and virtual emissions. Using this general algorithm, together with the decomposition of the triple-collinear splitting functions, all the antenna functions required for NNLO QCD calculations in the final-final configuration are constructed and it is demonstrated that they form a consistent NNLO subtraction scheme. The idealised antenna functions should simplify the generation of subtraction terms and minimise the introduction of spurious limits. Additionally, the general algorithm sets out an initial blueprint for next-to-NNLO (N$^3$LO) idealised antennae for use in N$^3$LO QCD calculations.


title: Colimits of Heyting Algebras through Esakia Duality

abstract: In this note we generalize the construction, due to Ghilardi, of the free Heyting algebra generated by a finite distributive lattice, to the case of arbitrary distributive lattices. Categorically, this provides an explicit construction of a left adjoint to the inclusion of Heyting algebras in the category of distributive lattices This is shown to have several applications, both old and new, in the study of Heyting algebras: (1) it allows a more concrete description of colimits of Heyting algebras, as well as, via duality theory, limits of Esakia spaces, by knowing their description over distributive lattices and Priestley spaces; (2) It allows a direct proof of the amalgamation property for Heyting algebras, and of related facts; (3) it allows a proof of the fact that the category of Heyting algebras is co-distributive. We also study some generalizations and variations of this construction to different settings. First, we analyse some subvarieties of Heyting algebras -- such as Boolean algebras, $\mathsf{KC}$ and $\mathsf{LC}$ algebras, and show how the construction can be adapted to this setting. Second, we study the relationship between the category of image-finite posets with p-morphisms and the category of posets with monotone maps, showing that a variation of the above ideas provides us with an appropriate general idea.


title: Learned infinite elements for helioseismology -- Learning transparent boundary conditions for the solar atmosphere

abstract: Context. Acoustic waves in the Sun are affected by the atmospheric layers, but this region is often ignored in forward models due to the increase in computational cost. Aims. The purpose of this work is to take into account the solar atmosphere without increasing significantly the computational cost. Methods. We solve a scalar wave equation that describes the propagation of acoustic modes inside the Sun using a finite element method. The boundary conditions used to truncate the computational domain are learned from the Dirichlet-to-Neumann operator, that is the relation between the solution and its normal derivative at the computational boundary. These boundary conditions may be applied at any height above which the background medium is assumed to be radially symmetric. Results. Taking into account the atmosphere is important even for wave frequencies below the acoustic cut-off. In particular, the mode frequencies computed for an isothermal atmosphere differ by up 10 {\mu}Hz from those computed for the VAL-C atmospheric model. We show that learned infinite elements lead to a numerical accuracy similar to that obtained for a traditional radiation boundary condition. Its main advantage is to reproduce the solution for any radially symmetric atmosphere to a very good accuracy at a low computational cost. Conclusions. This work emphasizes the importance of including atmospheric layers in helioseismology and proposes a computationally efficient method to do so.


title: Information gain and measurement disturbance for quantum agents

abstract: The traditional formalism of quantum measurement (hereafter ``TQM'') describes processes where some properties of quantum states are extracted and stored as classical information. While TQM is a natural and appropriate description of how humans interact with quantum systems, it is silent on the question of how a more general, quantum, agent would do so. How do we describe the observation of a system by an observer with the ability to store not only classical information but quantum states in its memory? In this paper, we extend the idea of measurement to a more general class of sensors for quantum agents which interact with a system in such a way that the agent's memory stores information (classical or quantum) about the system under study. For appropriate sensory interactions, the quantum agent may ``learn'' more about the system than would be possible under any set of classical measurements -- but as we show, this comes at the cost of additional measurement disturbance. We experimentally demonstrate such a system and characterize the tradeoffs, which can be done by considering the information required to erase the effects of a measurement.


title: Portobello: Extending Driving Simulation from the Lab to the Road

abstract: In automotive user interface design, testing often starts with lab-based driving simulators and migrates toward on-road studies to mitigate risks. Mixed reality (XR) helps translate virtual study designs to the real road to increase ecological validity. However, researchers rarely run the same study in both in-lab and on-road simulators due to the challenges of replicating studies in both physical and virtual worlds. To provide a common infrastructure to port in-lab study designs on-road, we built a platform-portable infrastructure, Portobello, to enable us to run twinned physical-virtual studies. As a proof-of-concept, we extended the on-road simulator XR-OOM with Portobello. We ran a within-subjects, autonomous-vehicle crosswalk cooperation study (N=32) both in-lab and on-road to investigate study design portability and platform-driven influences on study outcomes. To our knowledge, this is the first system that enables the twinning of studies originally designed for in-lab simulators to be carried out in an on-road platform.


title: Avoiding Catastrophe in Continuous Spaces by Asking for Help

abstract: Most reinforcement learning algorithms with formal regret guarantees assume all mistakes are reversible and essentially rely on trying all possible behaviors. This approach leads to poor outcomes when some mistakes are irreparable or even catastrophic. We propose a variant of the contextual bandit problem where the goal is to minimize the chance of catastrophe. Specifically, we assume that the payoff each round represents the chance of avoiding catastrophe that round, and try to maximize the product of payoffs (the overall chance of avoiding catastrophe). We allow a limited number of queries to a mentor and assume a Lipschitz continuous payoff function. We first show that in general, any algorithm either constantly queries the mentor or is nearly guaranteed to cause catastrophe. However, when the mentor policy class has bounded Natarajan dimension and contains at least some "reasonable" policies, we provide an algorithm whose regret and rate of querying the mentor both approach 0 as the time horizon grows. We also present an alternative algorithm which provides the same regret and query guarantees when the mentor's action changes a constant number of times in a 1D state space, and can handle adversarially chosen states.


title: Locality Sensitive Hashing for Network Traffic Fingerprinting

abstract: The advent of the Internet of Things (IoT) has brought forth additional intricacies and difficulties to computer networks. These gadgets are particularly susceptible to cyber-attacks because of their simplistic design. Therefore, it is crucial to recognise these devices inside a network for the purpose of network administration and to identify any harmful actions. Network traffic fingerprinting is a crucial technique for identifying devices and detecting anomalies. Currently, the predominant methods for this depend heavily on machine learning (ML). Nevertheless, machine learning (ML) methods need the selection of features, adjustment of hyperparameters, and retraining of models to attain optimal outcomes and provide resilience to concept drifts detected in a network. In this research, we suggest using locality-sensitive hashing (LSH) for network traffic fingerprinting as a solution to these difficulties. Our study focuses on examining several design options for the Nilsimsa LSH function. We then use this function to create unique fingerprints for network data, which may be used to identify devices. We also compared it with ML-based traffic fingerprinting and observed that our method increases the accuracy of state-of-the-art by 12% achieving around 94% accuracy in identifying devices in a network.


title: Beyond LLMs: Advancing the Landscape of Complex Reasoning

abstract: Since the advent of Large Language Models a few years ago, they have often been considered the de facto solution for many AI problems. However, in addition to the many deficiencies of LLMs that prevent them from broad industry adoption, such as reliability, cost, and speed, there is a whole class of common real world problems that Large Language Models perform poorly on, namely, constraint satisfaction and optimization problems. These problems are ubiquitous and current solutions are highly specialized and expensive to implement. At Elemental Cognition, we developed our EC AI platform which takes a neuro-symbolic approach to solving constraint satisfaction and optimization problems. The platform employs, at its core, a precise and high performance logical reasoning engine, and leverages LLMs for knowledge acquisition and user interaction. This platform supports developers in specifying application logic in natural and concise language while generating application user interfaces to interact with users effectively. We evaluated LLMs against systems built on the EC AI platform in three domains and found the EC AI systems to significantly outperform LLMs on constructing valid and optimal solutions, on validating proposed solutions, and on repairing invalid solutions.


title: Classification of Enhanced Geoeffectiveness Resulting from High-Speed Solar Wind Streams Compressing Slower Interplanetary Coronal Mass Ejections

abstract: High-speed solar wind streams (HSSs) interact with the preceding ambient solar wind to form Stream Interaction Regions (SIRs), which are a primary source of recurrent geomagnetic storms. However, HSSs may also encounter and subsequently interact with Interplanetary Coronal Mass Ejections (ICMEs). In particular, the impact of the interaction between slower ICMEs and faster HSSs, represents an unexplored area that requires further in-depth investigation. This specific interaction can give rise to unexpected geomagnetic storm signatures, diverging from the conventional expectations of individual SIR events sharing similar HSS properties. Our study presents a comprehensive analysis of solar wind data spanning from 1996 to 2020, capturing 23 instances where such encounters led to geomagnetic storms ($SymH$ $< -30$ nT). We determined that interaction events between preceding slower ICMEs and faster HSSs possess the potential to induce substantial storm activity, statistically nearly doubling the geoeffective impact in comparison to SIR storm events. The increase in the amplitude of the $SymH$ index appears to result from heightened dynamic pressure, often coupled with the concurrent amplification of the CMEs rearward $|B|$ and/or $B_z$ components.


title: On k-ampleness equivalence

abstract: For a partition $a$ and a vector bundle $E$ on a projective variety $X$ let $\mathcal{F}l_s(E)$ be the corresponding flag manifold. There is a line bundle $\it Q_a^s$ on $\mathcal{F}l_s(E)$ with $p:\mathcal{F}l_s(E)\to X $ and $\it p_*Q_a^s = \mathcal{S}_aE$. We prove, if $\mathcal{S}_aE $ is $k$-ample (in the sense of Sommese) then $\it Q_a^s$ is $k$-ample. For the inverse if $\it Q_a^s$ is $k$-ample, we prove that one of two the conditions of k-ampleness namely the cohomological vanishing is proved here but not yet the condition of semiamplenes of $\mathcal{S}_aE $ .


title: Compressive-Sensing-Enhanced First-Principles Calculation of Photoluminescence Spectra in Color Centers: A Comparison between Theory and Experiment for the G Center in Silicon

abstract: Photoluminescence (PL) spectra are a versatile tool for exploring the electronic and optical properties of quantum defect systems. In this work, we investigate the PL spectra of the G center in silicon by combining first-principles computations with a machine-learned compressive-sensing technique and experiment. We show that the compressive-sensing technique provides a speed up of approximately 20 times compared with the finite-displacement method with similar numerical accuracy. We compare theory and experiment and show good agreement for the historically proposed configuration B of the G center. In particular, we attribute the experimentally observed E-line of the G center to a local vibration mode mainly involving two substitutional C atoms and one interstitial Si atom. Our theoretical results also well reproduce and explain the experimental E-line energy shifts originating from the carbon isotopic effect. In addition, our results demonstrate that some highly anharmonic modes that are apparent in computed spectra could be absent experimentally because of their short lifetime. Our work not only provides a deeper understanding of the G-center defect but also paves the way to accelerate the calculation of PL spectra for color centers.


title: The Blocklace: A Universal, Byzantine Fault-Tolerant, Conflict-free Replicated Data Type

abstract: Conflict-free Replicated Data Types (CRDTs) are designed for replica convergence without global coordination or consensus. Recent work has achieves the same in a Byzantine environment, through DAG-like structures based on cryptographic hashes of content. The blocklace is a partially-ordered generalization of the blockchain in which each block has any finite number of signed hash pointers to preceding blocks. We show that the blocklace datatype, with the sole operation of adding a single block, is a CRDT: it is both a pure operation-based CRDT, with self-tagging; and a delta-state CRDT, under a slight generalization of the delta framework. Allowing arbitrary values as payload, the blocklace can also be seen as a universal Byzantine fault-tolerant implementation for arbitrary CRDTs, under the operation-based approach. Current approaches only care about CRDT convergence, being equivocation-tolerant (they do not detect or prevent equivocations), allowing a Byzantine node to cause an arbitrary amount of harm by polluting the CRDT state with an infinite number of equivocations. We show that a blocklace can be used not only in an equivocation-tolerant way, but also so as to detect and eventually exclude Byzantine behavior, namely equivocations, even under the presence of collusion. The blocklace CRDT protocol ensures that the Byzantine nodes may harm only a finite prefix of the computation.


title: Interrater agreement statistics under the two-rater dichotomous-response case with correlated decisions

abstract: Measurement of the interrater agreement (IRA) is critical in various disciplines. To correct for potential confounding chance agreement in IRA, Cohen's kappa and many other methods have been proposed. However, owing to the varied strategies and assumptions across these methods, there is a lack of practical guidelines on how these methods should be preferred even for the common two-rater dichotomous rating. To fill the gaps in the literature, we systematically review nine IRA methods and propose a generalized framework that can simulate the correlated decision processes behind the two raters to compare those reviewed methods under comprehensive practical scenarios. Based on the new framework, an estimand of "true" chance-corrected IRA is defined by accounting for the "probabilistic certainty" and serves as the comparison benchmark. We carry out extensive simulations to evaluate the performance of the reviewed IRA measures, and an agglomerative hierarchical clustering analysis is conducted to assess the inter-relationships among the included methods and the benchmark metric. Recommendations for selecting appropriate IRA statistics in different practical conditions are provided and the needs for further advancements in IRA estimation methodologies are emphasized.


title: Multi-Attribute Vision Transformers are Efficient and Robust Learners

abstract: Since their inception, Vision Transformers (ViTs) have emerged as a compelling alternative to Convolutional Neural Networks (CNNs) across a wide spectrum of tasks. ViTs exhibit notable characteristics, including global attention, resilience against occlusions, and adaptability to distribution shifts. One underexplored aspect of ViTs is their potential for multi-attribute learning, referring to their ability to simultaneously grasp multiple attribute-related tasks. In this paper, we delve into the multi-attribute learning capability of ViTs, presenting a straightforward yet effective strategy for training various attributes through a single ViT network as distinct tasks. We assess the resilience of multi-attribute ViTs against adversarial attacks and compare their performance against ViTs designed for single attributes. Moreover, we further evaluate the robustness of multi-attribute ViTs against a recent transformer based attack called Patch-Fool. Our empirical findings on the CelebA dataset provide validation for our assertion.


title: Contagion on Financial Networks: An Introduction

abstract: This mini-project models propagation of shocks, in time point, through links in connected banks. In particular, financial network of 100 banks out of which 15 are shocked to default (that is, 85.00% of the banks are solvent) is modelled using Erdos and Renyi network -- directed, weighted and randomly generated network. Shocking some banks in a financial network implies removing their assets and redistributing their liabilities to other connected ones in the network. The banks are nodes and two ranges of probability values determine tendency of having a link between a pair of banks. Our major finding shows that the ranges of probability values and banks' percentage solvency have positive correlation.


title: Enhancing Programming Error Messages in Real Time with Generative AI

abstract: Generative AI is changing the way that many disciplines are taught, including computer science. Researchers have shown that generative AI tools are capable of solving programming problems, writing extensive blocks of code, and explaining complex code in simple terms. Particular promise has been shown in using generative AI to enhance programming error messages. Both students and instructors have complained for decades that these messages are often cryptic and difficult to understand. Yet recent work has shown that students make fewer repeated errors when enhanced via GPT-4. We extend this work by implementing feedback from ChatGPT for all programs submitted to our automated assessment tool, Athene, providing help for compiler, run-time, and logic errors. Our results indicate that adding generative AI to an automated assessment tool does not necessarily make it better and that design of the interface matters greatly to the usability of the feedback that GPT-4 provided.


title: Grounding Data Science Code Generation with Input-Output Specifications

abstract: Large language models (LLMs) have recently demonstrated a remarkable ability to generate code from natural language (NL) prompts. However, in the real world, NL is often too ambiguous to capture the true intent behind programming problems, requiring additional input-output (I/O) specifications. Unfortunately, LLMs can have difficulty aligning their outputs with both the NL prompt and the I/O specification. In this paper, we give a way to mitigate this issue in the context of data science programming, where tasks require explicit I/O specifications for clarity. Specifically, we propose GIFT4Code, a novel approach for the instruction fine-tuning of LLMs with respect to I/O specifications. Our method leverages synthetic data produced by the LLM itself and utilizes execution-derived feedback as a key learning signal. This feedback, in the form of program I/O specifications, is provided to the LLM to facilitate instruction fine-tuning. We evaluated our approach on two challenging data science benchmarks, Arcade and DS-1000. The results demonstrate a significant improvement in the LLM's ability to generate code that is not only executable but also accurately aligned with user specifications, substantially improving the quality of code generation for complex data science tasks.


title: On the connections between the low dimensional homology groups of $\textrm{SL}_2$ and $\textrm{PSL}_2$

abstract: In this article we study the low dimensional homology groups of the special linear group $\textrm{SL}_2(A)$ and the projective special linear group $\textrm{PSL}_2(A)$, $A$ a domain, through the natural surjective map $\textrm{SL}_2(A) \to \textrm{PSL}_2(A)$. In particular, we study the connection of the first, the second and the third homology groups of these groups over euclidean domains $\mathbb{Z}[\frac{1}{m}]$, $m$ a square free integer, and local domains.


title: Efficient and Scalable Fine-Tune of Language Models for Genome Understanding

abstract: Although DNA foundation models have advanced the understanding of genomes, they still face significant challenges in the limited scale and diversity of genomic data. This limitation starkly contrasts with the success of natural language foundation models, which thrive on substantially larger scales. Furthermore, genome understanding involves numerous downstream genome annotation tasks with inherent data heterogeneity, thereby necessitating more efficient and robust fine-tuning methods tailored for genomics. Here, we present \textsc{Lingo}: \textsc{L}anguage prefix f\textsc{In}e-tuning for \textsc{G}en\textsc{O}mes. Unlike DNA foundation models, \textsc{Lingo} strategically leverages natural language foundation models' contextual cues, recalibrating their linguistic knowledge to genomic sequences. \textsc{Lingo} further accommodates numerous, heterogeneous downstream fine-tune tasks by an adaptive rank sampling method that prunes and stochastically reintroduces pruned singular vectors within small computational budgets. Adaptive rank sampling outperformed existing fine-tuning methods on all benchmarked 14 genome understanding tasks, while requiring fewer than 2\% of trainable parameters as genomic-specific adapters. Impressively, applying these adapters on natural language foundation models matched or even exceeded the performance of DNA foundation models. \textsc{Lingo} presents a new paradigm of efficient and scalable genome understanding via genomic-specific adapters on language models.


title: A note on double Floquet-Bloch transforms and the far-field asymptotics of Green's functions tailored to periodic structures

abstract: We propose a general procedure to study double integrals arising when considering wave propagation in periodic structures. This method, based on a complex deformation of the integration surface to bypass the integrands' singularities, is particularly efficient to estimate the Green's functions of such structures in the far field. We provide several illustrative examples and explicit asymptotic formulae. Special attention is devoted to the pathological cases of degeneracies, such as Dirac conical points for instance.


title: Diffeomorphic Measure Matching with Kernels for Generative Modeling

abstract: This article presents a general framework for the transport of probability measures towards minimum divergence generative modeling and sampling using ordinary differential equations (ODEs) and Reproducing Kernel Hilbert Spaces (RKHSs), inspired by ideas from diffeomorphic matching and image registration. A theoretical analysis of the proposed method is presented, giving a priori error bounds in terms of the complexity of the model, the number of samples in the training set, and model misspecification. An extensive suite of numerical experiments further highlights the properties, strengths, and weaknesses of the method and extends its applicability to other tasks, such as conditional simulation and inference.


title: Large Language Models as Agents in Two-Player Games

abstract: By formally defining the training processes of large language models (LLMs), which usually encompasses pre-training, supervised fine-tuning, and reinforcement learning with human feedback, within a single and unified machine learning paradigm, we can glean pivotal insights for advancing LLM technologies. This position paper delineates the parallels between the training methods of LLMs and the strategies employed for the development of agents in two-player games, as studied in game theory, reinforcement learning, and multi-agent systems. We propose a re-conceptualization of LLM learning processes in terms of agent learning in language-based games. This framework unveils innovative perspectives on the successes and challenges in LLM development, offering a fresh understanding of addressing alignment issues among other strategic considerations. Furthermore, our two-player game approach sheds light on novel data preparation and machine learning techniques for training LLMs.


title: ReNeLiB: Real-time Neural Listening Behavior Generation for Socially Interactive Agents

abstract: Flexible and natural nonverbal reactions to human behavior remain a challenge for socially interactive agents (SIAs) that are predominantly animated using hand-crafted rules. While recently proposed machine learning based approaches to conversational behavior generation are a promising way to address this challenge, they have not yet been employed in SIAs. The primary reason for this is the lack of a software toolkit integrating such approaches with SIA frameworks that conforms to the challenging real-time requirements of human-agent interaction scenarios. In our work, we for the first time present such a toolkit consisting of three main components: (1) real-time feature extraction capturing multi-modal social cues from the user; (2) behavior generation based on a recent state-of-the-art neural network approach; (3) visualization of the generated behavior supporting both FLAME-based and Apple ARKit-based interactive agents. We comprehensively evaluate the real-time performance of the whole framework and its components. In addition, we introduce pre-trained behavioral generation models derived from psychotherapy sessions for domain-specific listening behaviors. Our software toolkit, pivotal for deploying and assessing SIAs' listening behavior in real-time, is publicly available. Resources, including code, behavioural multi-modal features extracted from therapeutic interactions, are hosted at https://daksitha.github.io/ReNeLib


title: User Perception of Partially Automated Driving Systems: A Meaningful Human Control Perspective on the Perception among Tesla Users

abstract: The use of partially automated driving systems raises concerns about potential responsibility issues, posing risk to the system safety, acceptance, and adoption of these technologies. The concept of meaningful human control has emerged in response to the responsibility gap problem, requiring the fulfillment of two conditions, tracking and tracing. While this concept has provided important philosophical and design insights on automated driving systems, there is currently little knowledge on how meaningful human control relates to subjective experiences of actual users of these systems. To address this gap, our study aimed to investigate the alignment between the degree of meaningful human control and drivers' perceptions of safety and trust in a real-world partially automated driving system. We utilized previously collected data from interviews with Tesla "Full Self-Driving" (FSD) Beta users, investigating the alignment between the user perception and how well the system was tracking the users' reasons. We found that tracking of users' reasons for driving tasks (such as safe maneuvers) correlated with perceived safety and trust, albeit with notable exceptions. Surprisingly, failure to track lane changing and braking reasons was not necessarily associated with negative perceptions of safety. However, the failure of the system to track expected maneuvers in dangerous situations always resulted in low trust and perceived lack of safety. Overall, our analyses highlight alignment points but also possible discrepancies between perceived safety and trust on the one hand, and meaningful human control on the other hand. Our results can help the developers of automated driving technology to design systems under meaningful human control and are perceived as safe and trustworthy.


title: Reverse design of the ideal pulse for hollow capillary fiber post-compression schemes

abstract: The countless applications of ultrashort laser pulses in very different scientific areas explain the ongoing efforts to develop new strategies for the generation of light pulses with increasingly better characteristics. In this work, we theoretically study the application of the nonlinear reverse propagation method to produce few-cycle pulses with clean temporal profiles from standard post-compression setups based in hollow capillary fibers. By numerically solving the propagation of a desired goal pulse in the backward direction, we are able to predict the structure of the ideal input pulse that could be perfectly compressed in a given setup. Although the goal pulse cannot be chosen in a simple manner due to the fundamental symmetries of the nonlinear propagation equation, our analysis shows that the ideal pulse presents a recurring form and that, in general, both its intensity profile and phase must be shaped to recover the optimized goal output.


title: Score-based generative models break the curse of dimensionality in learning a family of sub-Gaussian probability distributions

abstract: While score-based generative models (SGMs) have achieved remarkable success in enormous image generation tasks, their mathematical foundations are still limited. In this paper, we analyze the approximation and generalization of SGMs in learning a family of sub-Gaussian probability distributions. We introduce a notion of complexity for probability distributions in terms of their relative density with respect to the standard Gaussian measure. We prove that if the log-relative density can be locally approximated by a neural network whose parameters can be suitably bounded, then the distribution generated by empirical score matching approximates the target distribution in total variation with a dimension-independent rate. We illustrate our theory through examples, which include certain mixtures of Gaussians. An essential ingredient of our proof is to derive a dimension-free deep neural network approximation rate for the true score function associated with the forward process, which is interesting in its own right.


title: Continuum of magnetic excitations in the Kitaev honeycomb iridate D$_3$LiIr$_2$O$_6$

abstract: Inelastic neutron scattering (INS) measurements of powder D$_3(^{7}$Li)($^{193}$Ir)$_2$O$_6$ reveal low energy magnetic excitations with a scattering cross section that is broad in $|Q|$ and consistent with a Kitaev spin-liquid (KSL) state. The magnetic nature of the excitation spectrum is demonstrated by longitudinally polarized neutron studies. The total magnetic moment of 1.7(2)$\mu_B$/Ir inferred from the total magnetic scattering cross section is consistent with the effective moment inferred from magnetic susceptibility data and expectations for the $J_{\rm eff}=1/2$ single ion state. The rise in the dynamic correlation function ${\cal S}(Q,\omega)$ for $\hbar\omega<5~$meV can be described by a nearest-neighbor Kitaev model with interaction strength $K\approx-13(5)$~meV. Exchange disorder associated with the mixed D-Li site could play an important role in stabilizing the low $T$ quantum fluctuating state.


title: CycPUF: Cyclic Physical Unclonable Function

abstract: Physical Unclonable Functions (PUFs) leverage manufacturing process imperfections that cause propagation delay discrepancies for the signals traveling along these paths. While PUFs can be used for device authentication and chip-specific key generation, strong PUFs have been shown to be vulnerable to machine learning modeling attacks. Although there is an impression that combinational circuits must be designed without any loops, cyclic combinational circuits have been shown to increase design security against hardware intellectual property theft. In this paper, we introduce feedback signals into traditional delay-based PUF designs such as arbiter PUF, ring oscillator PUF, and butterfly PUF to give them a wider range of possible output behaviors and thus an edge against modeling attacks. Based on our analysis, cyclic PUFs produce responses that can be binary, steady-state, oscillating, or pseudo-random under fixed challenges. The proposed cyclic PUFs are implemented in field programmable gate arrays, and their power and area overhead, in addition to functional metrics, are reported compared with their traditional counterparts. The security gain of the proposed cyclic PUFs is also shown against state-of-the-art attacks.


title: Message Detouring: A Simple Yet Effective Cycle Representation for Expressive Graph Learning

abstract: Graph learning is crucial in the fields of bioinformatics, social networks, and chemicals. Although high-order graphlets, such as cycles, are critical to achieving an informative graph representation for node classification, edge prediction, and graph recognition, modeling high-order topological characteristics poses significant computational challenges, restricting its widespread applications in machine learning. To address this limitation, we introduce the concept of \textit{message detouring} to hierarchically characterize cycle representation throughout the entire graph, which capitalizes on the contrast between the shortest and longest pathways within a range of local topologies associated with each graph node. The topological feature representations derived from our message detouring landscape demonstrate comparable expressive power to high-order \textit{Weisfeiler-Lehman} (WL) tests but much less computational demands. In addition to the integration with graph kernel and message passing neural networks, we present a novel message detouring neural network, which uses Transformer backbone to integrate cycle representations across nodes and edges. Aside from theoretical results, experimental results on expressiveness, graph classification, and node classification show message detouring can significantly outperform current counterpart approaches on various benchmark datasets.


abstract: This research paper addresses the challenge of modality mismatch in multimodal learning, where the modalities available during inference differ from those available at training. We propose the Text-centric Alignment for Multi-Modality Learning (TAMML) approach, an innovative method that utilizes Large Language Models (LLMs) with in-context learning and foundation models to enhance the generalizability of multimodal systems under these conditions. By leveraging the unique properties of text as a unified semantic space, TAMML demonstrates significant improvements in handling unseen, diverse, and unpredictable modality combinations. TAMML not only adapts to varying modalities but also maintains robust performance, showcasing the potential of foundation models in overcoming the limitations of traditional fixed-modality frameworks in embedding representations. This study contributes to the field by offering a flexible, effective solution for real-world applications where modality availability is dynamic and uncertain.


title: Nonperturbative Simulation of Anharmonic Rattler Dynamics in Type-I Clathrates with Vibrational Dynamical Mean-Field Theory

abstract: We use vibrational dynamical mean-field theory (VDMFT) to study the vibrational structure of type-I clathrate solids, specifically X$_8$Ga$_{16}$Ge$_{30}$, where X=Ba,Sr. These materials are cage-like chemical structures hosting loosely bound guest atoms, resulting in strong anharmonicity, short phonon lifetimes, and ultra-low thermal conductivities. Presenting the methodological developments necessary for this first application to three-dimensional, atomistic materials, we validate our approach through comparison to molecular dynamics simulations and show that VDMFT is extremely accurate at a fraction of the cost. We find that anharmonicity causes rattler modes to shift up in frequency by 50% (10 cm$^{-1}$) and to have lifetimes of less than 1 ps. Furthermore, we analyze the phonon self-energy and find that anharmonicity mixes guest rattling modes and cage acoustic modes, significantly changing the character of the harmonic phonons.


title: Out-of-Distribution Detection and Data Drift Monitoring using Statistical Process Control

abstract: Background: Machine learning (ML) methods often fail with data that deviates from their training distribution. This is a significant concern for ML-enabled devices in clinical settings, where data drift may cause unexpected performance that jeopardizes patient safety. Method: We propose a ML-enabled Statistical Process Control (SPC) framework for out-of-distribution (OOD) detection and drift monitoring. SPC is advantageous as it visually and statistically highlights deviations from the expected distribution. To demonstrate the utility of the proposed framework for monitoring data drift in radiological images, we investigated different design choices, including methods for extracting feature representations, drift quantification, and SPC parameter selection. Results: We demonstrate the effectiveness of our framework for two tasks: 1) differentiating axial vs. non-axial computed tomography (CT) images and 2) separating chest x-ray (CXR) from other modalities. For both tasks, we achieved high accuracy in detecting OOD inputs, with 0.913 in CT and 0.995 in CXR, and sensitivity of 0.980 in CT and 0.984 in CXR. Our framework was also adept at monitoring data streams and identifying the time a drift occurred. In a simulation with 100 daily CXR cases, we detected a drift in OOD input percentage from 0-1% to 3-5% within two days, maintaining a low false-positive rate. Through additional experimental results, we demonstrate the framework's data-agnostic nature and independence from the underlying model's structure. Conclusion: We propose a framework for OOD detection and drift monitoring that is agnostic to data, modality, and model. The framework is customizable and can be adapted for specific applications.


title: Fuzzy Bounces

abstract: We observe that the energy and the enthalpy densities can be smeared by two fudge factors that are constrained by the contracted Bianchi identities. Depending on the analytic properties of the smearing functions the underlying cosmological solutions belong to two physically different classes, namely the bounces of the scale factor and the curvature bounces. While the curvature bounces are naturally compatible with a stage of accelerated expansion, the bounces of the scale factor demand an early phase of accelerated contraction even if a short inflationary stage may arise prior to the decelerated regime. Despite the regularity of the underlying solutions, gradient instabilities and singularities do occasionally appear in the evolution of curvature inhomogeneities. After deducing the specific criteria behind these occurrences, the background-independent conclusions are corroborated by a series of concrete examples associated with different forms of the smearing functions. The evolution of the curvature inhomogeneities restricts the ranges of the solutions that turn out to be unsuitable even for a limited description of the pre-inflationary initial data. The same observation holds in the case of the gauge-invariant evolution of the matter density contrast. It is however not excluded that a class of scenarios (mainly associated with the curvature bounces) could indeed avoid the potential instabilities. All in all the present analysis explore a general approach whose results are relevant in all the contexts where bouncing solutions are invoked either as complementary or as alternative to the conventional inflationary scenarios.


title: Learning Neural Contracting Dynamics: Extended Linearization and Global Guarantees

abstract: Global stability and robustness guarantees in learned dynamical systems are essential to ensure well-behavedness of the systems in the face of uncertainty. We present Extended Linearized Contracting Dynamics (ELCD), the first neural network-based dynamical system with global contractivity guarantees in arbitrary metrics. The key feature of ELCD is a parametrization of the extended linearization of the nonlinear vector field. In its most basic form, ELCD is guaranteed to be (i) globally exponentially stable, (ii) equilibrium contracting, and (iii) globally contracting with respect to some metric. To allow for contraction with respect to more general metrics in the data space, we train diffeomorphisms between the data space and a latent space and enforce contractivity in the latent space, which ensures global contractivity in the data space. We demonstrate the performance of ELCD on the high dimensional LASA, multi-link pendulum, and Rosenbrock datasets.


title: Earth's Alfv\'en wings driven by the April 2023 Coronal Mass Ejection

abstract: We report a rare regime of Earth's magnetosphere interaction with sub-Alfv\'enic solar wind in which the windsock-like magnetosphere transforms into one with Alfv\'en wings. In the magnetic cloud of a Coronal Mass Ejection (CME) on April 24, 2023, NASA's Magnetospheric Multiscale mission distinguishes the following features: (1) unshocked and accelerated cold CME plasma coming directly against Earth's dayside magnetosphere; (2) dynamical wing filaments representing new channels of magnetic connection between the magnetosphere and foot points of the Sun's erupted flux rope; (3) cold CME ions observed with energized counter-streaming electrons, evidence of CME plasma captured due to reconnection between magnetic-cloud and Alfv\'en-wing field lines. The reported measurements advance our knowledge of CME interaction with planetary magnetospheres, and open new opportunities to understand how sub-Alfv\'enic plasma flows impact astrophysical bodies such as Mercury, moons of Jupiter, and exoplanets close to their host stars.


title: Numerical investigation of vacuum ultra-violet emission in Ar/O$_2$ inductively coupled plasmas

abstract: Controlling fluxes of vacuum ultraviolet (VUV) radiation is important in a number of industrial and biomedical applications of low pressure plasma sources because, depending on the process, VUV radiation may be desired, required to a certain degree, or unwanted. In this work, the emission of VUV radiation from O atoms is investigated in low-pressure Ar/O$_2$ inductively coupled plasma via numerical simulations. For this purpose, a self-consistent Ar/O$_2$ plasma-chemical reaction scheme has been implemented in a zero dimensional plasma chemical kinetics model and is used to investigate VUV emission from excited O atoms (3s $^5$S$^0_2$) and 3s $^3$S$^0_1$) at 130 and 135 nm. The model is extensively compared with experimental measurements of absolute VUV emission intensities, electron densities and Ar excited state densities. In addition, VUV emission intensities are investigated as a function of pressure, Ar/O$_2$ mixture, and power deposition and the dominant reaction pathways leading to VUV emission are identified and described. In general terms, absolute VUV emission intensities increase with power and oxygen fraction over the ranges investigated and peak emission intensities are found for pressures between 5-50 Pa. The emission is dominated by the 130 nm resonance line from the decay of the O(3s $^3$S$^0_1$) state to the ground state. Besides, at low pressure (0.3-1 Pa), the flux of VUV photons to surfaces is much lower than that of positive ions, whereas VUV fluxes dominate at higher pressure, $\gtrsim$5-50 Pa depending on O$_2$ fraction. Finally, oxygen atom fluxes to surfaces are, in general, larger than those of VUV photons for the parameter space investigated.