title: Geneverse: A collection of Open-source Multimodal Large Language Models for Genomic and Proteomic Research

abstract: The applications of large language models (LLMs) are promising for biomedical and healthcare research. Despite the availability of open-source LLMs trained using a wide range of biomedical data, current research on the applications of LLMs to genomics and proteomics is still limited. To fill this gap, we propose a collection of finetuned LLMs and multimodal LLMs (MLLMs), known as Geneverse, for three novel tasks in genomic and proteomic research. The models in Geneverse are trained and evaluated based on domain-specific datasets, and we use advanced parameter-efficient finetuning techniques to achieve the model adaptation for tasks including the generation of descriptions for gene functions, protein function inference from its structure, and marker gene selection from spatial transcriptomic data. We demonstrate that adapted LLMs and MLLMs perform well for these tasks and may outperform closed-source large-scale models based on our evaluations focusing on both truthfulness and structural correctness. All of the training strategies and base models we used are freely accessible.


title: Rocket Exhaust Blowing Soil in Near Vacuum Conditions is Faster than Predicted by Continuum Scaling Laws

abstract: Experiments were performed to study how rocket exhaust blows soil in lunar and Martian conditions. Jets of gas were blown downwardly at various granular materials while a camera recorded the formation of scour holes as the material was removed. The experiments were performed in a series of conditions ranging from ambient 101 kPa pressure down to 0.3 kPa. This includes the range that is relevant for lunar conditions, because it is not hard vacuum inside the rocket exhaust where soil is being eroded. Prior work in ambient conditions showed that erosion rate is proportional to the square of the densimetric Froude number. However, the prior work was not performed at low pressures. In the new work, preliminary results show that as the gas density is so low that gas flow around the sand grains is no longer in the continuum regime, then erosion rate is faster than predicted by the earlier results. The dependency of erosion rate on various parameters is determined, but it turns out to be more complex than expected so additional experimental work will be required to develop complete scaling relationships.

categories: astro-ph.IM astro-ph.EP physics.flu-dyn physics.space-ph


title: Impact of Tolman-Kuchowicz Potentials on Gauss-Bonnet Gravity and Isotropic Stellar Structures

abstract: In this manuscript, we study the behavior of charged isotropic compact stellar objects within the framework of the modified Gauss-Bonnety theory of gravity by considering the Tolman Kuchowicz spacetime. We use some matching conditions of spherically symmetric space-time with Bardeen model as an exterior geometry and examine the physical behavior of stellar structures. In the current analysis, we discuss the energy conditions to check the viability of our model. Many physical aspects have been examined, such as energy density, pressure evolution, equation of state parameter, and causality condition. Furthermore, an equilibrium condition can be visualized through the modified Tolman-Oppenheimer-Volkov equation. Further, we study mass-radius function, compactness and redshift function, which are some essential features of the charged compact star model. It is worthwhile to mention here for the current study that our stellar structure in the background of Bardeen's model is more viable and stable.


title: R&B -- Rhythm and Brain: Cross-subject Decoding of Music from Human Brain Activity

abstract: Music is a universal phenomenon that profoundly influences human experiences across cultures. This study investigates whether music can be decoded from human brain activity measured with functional MRI (fMRI) during its perception. Leveraging recent advancements in extensive datasets and pre-trained computational models, we construct mappings between neural data and latent representations of musical stimuli. Our approach integrates functional and anatomical alignment techniques to facilitate cross-subject decoding, addressing the challenges posed by the low temporal resolution and signal-to-noise ratio (SNR) in fMRI data. Starting from the GTZan fMRI dataset, where five participants listened to 540 musical stimuli from 10 different genres while their brain activity was recorded, we used the CLAP (Contrastive Language-Audio Pretraining) model to extract latent representations of the musical stimuli and developed voxel-wise encoding models to identify brain regions responsive to these stimuli. By applying a threshold to the association between predicted and actual brain activity, we identified specific regions of interest (ROIs) which can be interpreted as key players in music processing. Our decoding pipeline, primarily retrieval-based, employs a linear map to project brain activity to the corresponding CLAP features. This enables us to predict and retrieve the musical stimuli most similar to those that originated the fMRI data. Our results demonstrate state-of-the-art identification accuracy, with our methods significantly outperforming existing approaches. Our findings suggest that neural-based music retrieval systems could enable personalized recommendations and therapeutic applications. Future work could use higher temporal resolution neuroimaging and generative models to improve decoding accuracy and explore the neural underpinnings of music perception and emotion.


title: Model-based generation of representative rear-end crash scenarios across the full severity range using pre-crash data

abstract: Generating representative rear-end crash scenarios is crucial for safety assessments of Advanced Driver Assistance Systems (ADAS) and Automated Driving systems (ADS). However, existing methods for scenario generation face challenges such as limited and biased in-depth crash data and difficulties in validation. This study sought to overcome these challenges by combining naturalistic driving data and pre-crash kinematics data from rear-end crashes. The combined dataset was weighted to create a representative dataset of rear-end crash characteristics across the full severity range in the United States. Multivariate distribution models were built for the combined dataset, and a driver behavior model for the following vehicle was created by combining two existing models. Simulations were conducted to generate a set of synthetic rear-end crash scenarios, which were then weighted to create a representative synthetic rear-end crash dataset. Finally, the synthetic dataset was validated by comparing the distributions of parameters and the outcomes (Delta-v, the total change in vehicle velocity over the duration of the crash event) of the generated crashes with those in the original combined dataset. The synthetic crash dataset can be used for the safety assessments of ADAS and ADS and as a benchmark when evaluating the representativeness of scenarios generated through other methods.


title: First Measurement of Deeply Virtual Compton Scattering on the Neutron with Detection of the Active Neutron

abstract: Measuring Deeply Virtual Compton Scattering on the neutron is one of the necessary steps to understand the structure of the nucleon in terms of Generalized Parton Distributions (GPDs). Neutron targets play a complementary role to transversely polarized proton targets in the determination of the GPD $E$. This poorly known and poorly constrained GPD is essential to obtain the contribution of the quarks' angular momentum to the spin of the nucleon. DVCS on the neutron was measured for the first time selecting the exclusive final state by detecting the neutron, using the Jefferson Lab longitudinally polarized electron beam, with energies up to 10.6 GeV, and the CLAS12 detector. The extracted beam-spin asymmetries, combined with DVCS observables measured on the proton, allow a clean quark-flavor separation of the imaginary parts of the GPDs $H$ and $E$.


title: Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods

abstract: We investigate how combinations of Large Language Models (LLMs) and symbolic analyses can be used to synthesise specifications of C programs. The LLM prompts are augmented with outputs from two formal methods tools in the Frama-C ecosystem, Pathcrawler and EVA, to produce C program annotations in the specification language ACSL. We demonstrate how the addition of symbolic analysis to the workflow impacts the quality of annotations: information about input/output examples from Pathcrawler produce more context-aware annotations, while the inclusion of EVA reports yields annotations more attuned to runtime errors. In addition, we show that the method infers rather the programs intent than its behaviour, by generating specifications for buggy programs and observing robustness of the result against bugs.


title: Cyclic Scheduler Design for Minimizing Age of Information in Massive Scale Networks Susceptible to Packet Errors

abstract: In multi-source status update systems, sources need to be scheduled appropriately to maintain timely communication between each of the sources and the monitor. A cyclic schedule is an age-agnostic schedule in which the sources are served according to a fixed finite transmission pattern, which upon completion, repeats itself. Such a scheme has a low $O(1)$ runtime complexity, which is desirable in large networks. This paper's focus is on designing transmission patterns so as to be used in massive scale networking scenarios involving a very large number of sources, e.g., up to thousands of IoT sources, with service time requirements and weights being heterogeneous in nature. The goal is to minimize the weighted sum age of information (AoI), called weighted AoI, when transmitting users' packets over a channel susceptible to heterogeneous packet errors. The main tool we use is a stochastic modeling framework using either Markov chains (MC) or moment generating functions (MGF), by which we obtain the weighted AoI for a given transmission pattern, which is not straightforward in the presence of packet drops. Using this framework, we provide a lower bound on the weighted AoI for the particular case of two sources, and also an algorithm to attain this lower bound. Then, by using the same framework, we design a cyclic scheduler for general number of sources with reasonable complexity using convex optimization and well-established packet spreading algorithms, and comparatively evaluate the proposed algorithm and existing age-agnostic scheduling schemes for general number of sources (resp.~two sources) when the lower bound is not available (resp.~when it is available). We present extensive numerical results to validate the effectiveness of the proposed approach.


title: Caustics: A Python Package for Accelerated Strong Gravitational Lensing Simulations

abstract: Gravitational lensing is the deflection of light rays due to the gravity of intervening masses. This phenomenon is observed in a variety of scales and configurations, involving any non-uniform mass such as planets, stars, galaxies, clusters of galaxies, and even the large scale structure of the universe. Strong lensing occurs when the distortions are significant and multiple images of the background source are observed. The lens objects must align on the sky of order ~1 arcsecond for galaxy-galaxy lensing, or 10's of arcseonds for cluster-galaxy lensing. As the discovery of lens systems has grown to the low thousands, these systems have become pivotal for precision measurements and addressing critical questions in astrophysics. Notably, they facilitate the measurement of the Universe's expansion rate, dark matter, supernovae, quasars, and the first stars among other topics. With future surveys expected to discover hundreds of thousands of lensing systems, the modelling and simulation of such systems must occur at orders of magnitude larger scale then ever before. Here we present `caustics`, a Python package designed to handle the extensive computational demands of modeling such a vast number of lensing systems.


title: Multiple Clues for Dayside Aerosols and Temperature Gradients in WASP-69 b from a Panchromatic JWST Emission Spectrum

abstract: WASP-69 b is a hot, inflated, Saturn-mass planet 0.26 Mjup with a zero-albedo equilibrium temperature of 963 K. Here, we report the JWST 2 to 12 um emission spectrum of the planet consisting of two eclipses observed with NIRCam grism time series and one eclipse observed with MIRI LRS. The emission spectrum shows absorption features of water vapor, carbon dioxide and carbon monoxide, but no strong evidence for methane. WASP-69 b's emission spectrum is poorly fit by cloud-free homogeneous models. We find three possible model scenarios for the planet: 1) a Scattering Model that raises the brightness at short wavelengths with a free Geometric Albedo parameter 2) a Cloud Layer model that includes high altitude silicate aerosols to moderate long wavelength emission and 3) a Two-Region model that includes significant dayside inhomogeneity and cloud opacity with two different temperature-pressure profiles. In all cases, aerosols are needed to fit the spectrum of the planet. The Scattering model requires an unexpectedly high Geometric Albedo of 0.64. Our atmospheric retrievals indicate inefficient redistribution of heat and an inhomogeneous dayside distribution, which is tentatively supported by MIRI LRS broadband eclipse maps that show a central concentration of brightness. Our more plausible models (2 and 3) retrieve chemical abundances enriched in heavy elements relative to solar composition by 6x to 14x solar and a C/O ratio of 0.65 to 0.94, whereas the less plausible highly reflective scenario (1) retrieves a slightly lower metallicity and lower C/O ratio.


title: Cosmic twins are likely rare: exploring pathways to hadron-quark stars with the same mass as neutron stars

abstract: A viable model for the dense matter equation of state above the nuclear saturation density is a hadron-to-quark phase transition at densities relevant to compact objects. In this case, stable hybrid hadron-quark stars can arise. An even more interesting scenario is one where the hadron-to-quark phase transition results in the emergence of a third branch of stable compact objects (in addition to white dwarfs and neutron stars). Inherent to the presence of a third family of compact stars is the existence of twin stars -- hybrid stars with the same mass as the corresponding neutron stars, but with smaller radii. Interestingly, the neutron star-twin star scenario is consistent with GW170817. If twin stars exist in nature, it raises a question about the mechanism that leads to their formation. Here, we explore gravitational collapse as a pathway to the formation of low-mass twin stars. We perform fully general relativistic simulations of the collapse of a stellar iron core, modeled as a cold degenerate gas, to investigate whether the end product is a neutron star or a twin star. Our simulations show that even with unrealistically large perturbations in the initial conditions, the core bounces well below the hadron-to-quark phase transition density, if the initial total rest mass is in the twin star range. Following cooling, these configurations produce neutron stars. We find that twin stars can potentially form due to mass loss, e.g., through winds, from a slightly more massive hybrid star that was initially produced in the collapse of a more massive core or if the maximum NS mass is below the Chandrasekhar mass limit. The challenge in producing twin stars in gravitational collapse, in conjunction with the fine tuning required because of their narrow mass range, suggest the rarity of twin stars in nature.


title: Thermal state preparation of the SYK model using a variational quantum algorithm

abstract: We study the preparation of thermal states of the dense and sparse Sachdev-Ye-Kitaev (SYK) model using a variational quantum algorithm for $6 \le N \le 12$ Majorana fermions over a wide range of temperatures. Utilizing IBM's 127-qubit quantum processor, we perform benchmark computations for the dense SYK model with $N = 6$, showing good agreement with exact results. The preparation of thermal states of a non-local random Hamiltonian with all-to-all coupling using the simulator and quantum hardware represents a significant step toward future computations of thermal out-of-time order correlators in quantum many-body systems.


title: The Impact of Non-Gaussian Primordial Tails on Cosmological Observables

abstract: Whilst current observational evidence favors a close-to-Gaussian spectrum of primordial perturbations, there exist many models of the early Universe that predict this distribution to have exponentially enhanced or suppressed tails. In this work, we generate realizations of the primordial potential with non-Gaussian tails via a phenomenological model; these are then evolved numerically to obtain maps of the cosmic microwave background (CMB) and large-scale structure (LSS). In the CMB maps, our added non-Gaussianity manifests as a localized enhancement of hot and cold spots, which would be expected to contribute to $N$-point functions up to large $N$. Such models are indirectly constrained by \textit{Planck} trispectrum bounds, which restrict the changes in the temperature fluctuations to $O(10\mu\mathrm{K})$. In the late-time Universe, we find that tailed cosmologies lead to a halo mass function enhanced at high masses, as expected. Furthermore, significant scale-dependent bias in the halo-halo and halo-matter power spectrum is also sourced, which arises from the squeezed limit of large $N$-point functions that are implicitly generated through the enhancement of the tails. These results underscore that a detection of scale-dependent bias alone cannot be used to rule out single field inflation, but can be used together with other statistics to probe a wide range of primordial processes.


title: A geometric dual of F-maximization in massive type IIA

abstract: Using equivariant localization we construct a geometric dual of F-maximization in massive type IIA supergravity. Our results use only topological data to quantize the fluxes, compute the free-energy and conformal dimensions of operators in the dual field theory without the need for explicit solutions. We utilize our formalism to study various classes of solutions, including examples where an explicit solution is not known.


title: Early Galaxies and Early Dark Energy: A Unified Solution to the Hubble Tension and Puzzles of Massive Bright Galaxies revealed by JWST

abstract: JWST has revealed a large population of ultra-violet (UV)-bright galaxies at $z\gtrsim 10$ and possibly overly massive galaxies at $z\gtrsim 7$, challenging standard galaxy formation models in the $\Lambda$CDM cosmology. We use an empirical galaxy formation model to explore the potential of alleviating these tensions through an Early Dark Energy (EDE) model, originally proposed to solve the Hubble tension. Our benchmark model demonstrates excellent agreement with the UV luminosity functions (UVLFs) at $4\lesssim z \lesssim10$ in both $\Lambda$CDM and EDE cosmologies. In the EDE cosmology, the UVLF measurements at $z\simeq 12$ based on spectroscopically confirmed galaxies exhibit no tension with the benchmark model. Photometric constraints at $12 \lesssim z\lesssim 16$ can be fully explained within EDE via either moderately increased star formation efficiencies ($\epsilon_{\ast}\sim 3-10\%$ at $M_{\rm halo}\sim 10^{10.5}\,{\rm M}_\odot$) or enhanced UV variabilities ($\sigma_{\rm UV}\sim 0.8-1.3$ mag at $M_{\rm halo}\sim 10^{10.5}\,{\rm M}_\odot$) that are within the scatter of hydrodynamical simulation predictions. A similar agreement is difficult to achieve in $\Lambda$CDM, especially at $z\gtrsim 14$, where the required $\sigma_{\rm UV}$ exceeds the maximum value seen in simulations. Furthermore, the implausibly large cosmic stellar mass densities inferred from some JWST observations are no longer in tension with cosmology when the EDE is considered. Our findings highlight EDE as an intriguing unified solution to a fundamental problem in cosmology and the recent tensions raised by JWST observations. Data at the highest redshifts reached by JWST ($z \sim 14-16$) will be crucial for differentiating modified galaxy formation physics from new cosmological physics.


title: All planar two-loop amplitudes in maximally supersymmetric Yang-Mills theory

abstract: We calculate the general planar dual-conformally invariant double-pentagon and pentabox integrals in four dimensions. Concretely, we derive one-fold integral representations for these elliptic integrals over polylogarithms of weight three. These integral representations allow us to determine the respective symbols using consistency conditions alone. Together with the previously calculated double-box integral, these integrals suffice to express all two-loop planar scattering amplitudes in maximally supersymmetric Yang-Mills theory in four dimensions -- which we thus calculate for any number of particles and any helicity configuration!


title: Finding cosmic anisotropy with networks of next-generation gravitational-wave detectors

abstract: The standard cosmological model involves the assumption of isotropy and homogeneity, a principle that is generally well-motivated but is now in conflict with various anisotropies found using independent astrophysical probes. These anisotropies tend to take the form of dipoles; while some can be explained by simple kinematic effects, many others are not fully understood. Thus, generic phenomenological models are being considered, such as a dipole in the luminosity distance. We demonstrate how such a dipole could be measured using gravitational waves from binary neutron star mergers observed by six different networks of gravitational-wave detectors, ranging from upgraded LIGO detectors to anticipated next-generation ground-based observatories. We find that, for example, a network of three next-generation detectors would produce strong constraints on a dipole's amplitude ($\sim 13\%$) and location ($\sim 84$ deg$^2$) after just one year of observing. We demonstrate that the constraints scale with the number of detections, enabling projections for multiple years of observing. Our findings indicate that future observations of binary neutron star mergers would improve upon existing dipole constraints, provided that at least one next-generation detector is built. We also assess directional sensitivity of the dipole measurements by varying the dipole's location on a grid across the sky. We find that for a network of three next-generation detectors, the range of the constraints is only $\lesssim 1.2\%$ for the amplitude and $\lesssim 4\%$ for the location, indicating that the location of the dipole will not greatly impact our ability to measure its effects.


title: When, Where, and How Star Formation Happens in a Galaxy Pair at Cosmic Noon Using CANUCS JWST/NIRISS Grism Spectroscopy

abstract: Spatially resolved studies are key to understanding when, where, and how stars form within galaxies. Using slitless grism spectra and broadband imaging from the CAnadian NIRISS Unbiased Cluster Survey (CANUCS) we study the spatially resolved properties of a strongly lensed ($\mu$ = 5.4$\pm$1.8) z = 0.8718 galaxy pair consisting of a blue face-on galaxy (10.2 $\pm$ 0.2 log($M/M_\odot$)) with multiple star-forming clumps and a dusty red edge-on galaxy (9.9 $\pm$ 0.3 log($M/M_\odot$)). We produce accurate H$\alpha$ maps from JWST/NIRISS grism data using a new methodology that accurately models spatially varying continuum and emission line strengths. With spatially resolved indicators, we probe star formation on timescales of $\sim$ 10 Myr (NIRISS H$\alpha$ emission line maps) and $\sim$ 100 Myr (UV imaging and broadband SED fits). Taking the ratio of the H$\alpha$ to UV flux ($\eta$), we measure spatially resolved star formation burstiness. We find that in the face-on galaxy both H$\alpha$ and broadband star formation rates (SFRs) drop at large galactocentric radii by a factor of $\sim$ 4.7 and 3.8 respectively, while SFR over the last $\sim$ 100 Myrs has increased by a factor of 1.6. Additionally, of the 20 clumps identified in the galaxy pair we find that 7 are experiencing bursty star formation, while 10 clumps are quenching and 3 are in equilibrium (either being in a state of steady star formation or post-burst). Our analysis reveals that the blue face-on galaxy disk is predominantly in a quenching or equilibrium phase. However, the most intense quenching within the galaxy is seen in the quenching clumps. This pilot study demonstrates what JWST/NIRISS data can reveal about spatially varying star formation in galaxies at Cosmic Noon.


title: The Monopole-Fermion Problem in a Chiral Gauge Theory (the $\psi\chi\eta$ Model)

abstract: The scattering of electrically charged fermions on magnetic monopole leads to the Callan-Rubakov problem. We discuss some aspects of this problem for Abelian gauge theories with chiral fermions in a Dirac monopole background. In some cases, it is possible to embed the theory in a non-Abelian gauge theory where the monopole is regularized as a 't Hooft-Polyakov monopole. One theory of this kind is the $SU(N)$ chiral gauge theory with fermions in the symmetric, anti-antisymmetric and anti-fundamental representations also called "$\psi \chi \eta$" model, with an extra adjoint scalar that induces the Abelianization of the gauge group. We examine this model in detail and provide a possible solution for the condensates around the monopole, the symmetry preserving boundary conditions, and discuss the particle scattering problem.


title: Non-Ioffe-Larkin composition rule and spinon-dictated electric transport in doped Mott insulators

abstract: The electric resistivity is examined in the constrained Hilbert space of a doped Mott insulator, which is dictated by a non-Ioffe-Larkin composition rule due to the underlying mutual Chern-Simons topological gauge structure. In the low-temperature pseudogap phase, where holons remain condensed while spinons proliferate, the charge transport is governed by a chiral spinon excitation, comprising a bosonic spin-$1/2$ at the core of a supercurrent vortex. It leads to a vanishing resistivity with the "confinement" of the spinons in the superconducting phase but a low-$T$ divergence of the resistivity once the spinon confinement is disrupted by external magnetic fields. In the latter, the chiral spinons will generate a Hall number $n_H =$ doping concentration $\delta$ and a Nernst effect to signal an underlying long-range entanglement between the charge and spin degrees of freedom. Their presence is further reflected in thermodynamic quantities such as specific heat and spin susceptibility. Finally, in the high-temperature spin-disordered phase, it is shown that the holons exhibit a linear-$T$ resistivity by scattering with the spinons acting as free local moments, which generate randomized gauge fluxes as perceived by the charge degree of freedom.


title: Testing particle acceleration in blazar jets with continuous high-cadence optical polarization observations

abstract: Variability can be the pathway to understanding the physical processes in astrophysical jets, however, the high-cadence observations required to test particle acceleration models are still missing. Here we report on the first attempt to produce continuous, >24 hour polarization light curves of blazars using telescopes distributed across the globe and the rotation of the Earth to avoid the rising Sun. Our campaign involved 16 telescopes in Asia, Europe, and North America. We observed BL Lacertae and CGRaBS J0211+1051 for a combined 685 telescope hours. We find large variations in the polarization degree and angle for both sources in sub-hour timescales as well as a ~180 degree rotation of the polarization angle in CGRaBS J0211+1051 in less than two days. We compared our high-cadence observations to Particle-In-Cell magnetic reconnection and turbulent plasma simulations. We find that although the state of the art simulation frameworks can produce a large fraction of the polarization properties, they do not account for the entirety of the observed polarization behavior in blazar jets.


title: Reconsidering the dynamical states of galaxy clusters using PCA and UMAP

abstract: Numerous metrics exist to quantify the dynamical state of galaxy clusters, both observationally and within simulations. Many of these correlate strongly with one another, but it is not clear whether all of these measures probe the same intrinsic properties. In this work, we use two different statistical approaches -- principal component analysis (PCA) and uniform manifold approximation and projection (UMAP) -- to investigate which dynamical properties of a cluster are in fact the best descriptors of its dynamical state. We use measurements taken directly from The Three Hundred suite of galaxy cluster simulations, as well as morphological properties calculated using mock X-ray and SZ maps of the same simulated clusters. We find that four descriptions of dynamical state naturally arise, and although correlations exist between these, a given cluster can be "dynamically relaxed" according to all, none, or some of these four descriptions. These results demonstrate that it is highly important for future observational and theoretical studies to consider in which sense clusters are dynamically relaxed. Cluster dynamical states are complex and multi-dimensional, and so it is not meaningful to classify them simply as "relaxed" and "unrelaxed" based on a single linear scale.


title: Open-Vocabulary Temporal Action Localization using Multimodal Guidance

abstract: Open-Vocabulary Temporal Action Localization (OVTAL) enables a model to recognize any desired action category in videos without the need to explicitly curate training data for all categories. However, this flexibility poses significant challenges, as the model must recognize not only the action categories seen during training but also novel categories specified at inference. Unlike standard temporal action localization, where training and test categories are predetermined, OVTAL requires understanding contextual cues that reveal the semantics of novel categories. To address these challenges, we introduce OVFormer, a novel open-vocabulary framework extending ActionFormer with three key contributions. First, we employ task-specific prompts as input to a large language model to obtain rich class-specific descriptions for action categories. Second, we introduce a cross-attention mechanism to learn the alignment between class representations and frame-level video features, facilitating the multimodal guided features. Third, we propose a two-stage training strategy which includes training with a larger vocabulary dataset and finetuning to downstream data to generalize to novel categories. OVFormer extends existing TAL methods to open-vocabulary settings. Comprehensive evaluations on the THUMOS14 and ActivityNet-1.3 benchmarks demonstrate the effectiveness of our method. Code and pretrained models will be publicly released.


title: Observation of a non-Hermitian supersonic mode

abstract: Quantum computers have long been anticipated to excel in simulating quantum many-body physics. While most previous work has focused on Hermitian physics, we demonstrate the power of variational quantum circuits for resource-efficient simulations of dynamical and equilibrium physics in non-Hermitian systems, revealing new phenomena beyond standard Hermitian quantum machines. Using a variational quantum compilation scheme for fermionic systems, we reduce gate count, save qubits, and eliminate the need for postselection, a major challenge in simulating non-Hermitian dynamics via standard Trotterization. Experimentally, we observed a supersonic mode in the connected density-density correlation function on an $ n = 18 $ fermionic chain after a non-Hermitian, locally interacting quench, which would otherwise be forbidden by the Lieb-Robinson bound in a Hermitian system. Additionally, we investigate sequential quantum circuits generated by tensor networks for ground state preparation, here defined as the eigenstate with the lowest real part eigenvalue, using a variance minimization scheme. Through a trapped-ion implementation on the Quantinuum H1 quantum processor, we accurately capture correlation functions and energies across an exceptional point on a dissipative spin chain up to length $ n = 20 $ using only 3 qubits. Motivated by these advancements, we provide an analytical example demonstrating that simulating single-qubit non-Hermitian dynamics for $\Theta(\log(n))$ time from certain initial states is exponentially hard on a quantum computer, offering insights into the opportunities and limitations of using quantum computation for simulating non-Hermitian physics.


title: Rapid multi-band space-based optical timing: revolutionizing accretion physics

abstract: Optical timing with rapid, seconds-to-minutes cadences with high photometric precision and gap-free long baselines is necessary for an unambiguous physical picture of accretion phenomena, and is only possible from space. Exoplanet-hunting missions like Kepler and TESS have offered an outstanding new window into detailed jet and accretion physics, but have been severely hampered by incomplete calibration and systematics treatments and, most especially, a monochromatic single wide bandpass. Advances made using Kepler and TESS survey data, when considered alongside detailed, expensive multi-color experiments done from the ground, reveal the enormous potential of a space-based multi-color optical timing mission with a high energy focus.


title: Introducing Moment: A toolkit for semi-definite programming with moment matrices

abstract: Non-commutative polynomial optimization is a powerful technique with numerous applications in quantum nonlocality, quantum key distribution, causal inference, many-body physics, amongst others. The standard approach is to reduce such optimizations to a hierarchy of semi-definite programs, which can be solved numerically using well-understood interior-point methods. A key, but computationally costly, step is the formulation of moment matrices, whose size (and hence cost) grows exponentially with the depth of the hierarchy. It is therefore essential to have highly-optimized software to construct moment matrices. Here, we introduce Moment: a toolkit that produces moment matrix relaxations from the specification of a non-commutative optimization problem. In order to obtain the absolute best performance, Moment is written in C++, and for convenience of use provides an interface via MATLAB. We benchmark Moment's performance, and see that it can be up to four orders of magnitude faster than current software with similar functionality.


title: How to Rent GPUs on a Budget

abstract: The explosion in Machine Learning (ML) over the past ten years has led to a dramatic increase in demand for GPUs to train ML models. Because it is prohibitively expensive for most users to build and maintain a large GPU cluster, large cloud providers (Microsoft Azure, Amazon AWS, Google Cloud) have seen explosive growth in demand for renting cloud-based GPUs. In this cloud-computing paradigm, a user must specify their demand for GPUs at every moment in time, and will pay for every GPU-hour they use. ML training jobs are known to be parallelizable to different degrees. Given a stream of ML training jobs, a user typically wants to minimize the mean response time across all jobs. Here, the response time of a job denotes the time from when a job arrives until it is complete. Additionally, the user is constrained by some operating budget. Specifically, in this paper the user is constrained to use no more than $b$ GPUs per hour, over a long-run time average. The question is how to minimize mean response time while meeting the budget constraint. Because training jobs receive a diminishing marginal benefit from running on additional GPUs, allocating too many GPUs to a single training job can dramatically increase the overall cost paid by the user. Hence, an optimal rental policy must balance a tradeoff between training cost and mean response time. This paper derives the optimal rental policy for a stream of training jobs where the jobs have different levels of parallelizability (specified by a speedup function) and different job sizes (amounts of inherent work). We make almost no assumptions about the arrival process and about the job size distribution. Our optimal policy specifies how many GPUs to rent at every moment in time and how to allocate these GPUs.


title: Current fluctuations of a self-interacting diffusion on a ring

abstract: We investigate fluctuations in the average speed or current of a self-interacting diffusion (SID) on a ring, mimicking the non-Markovian behaviour of an agent influenced by its own path. We derive the SID's phase diagram, showing a delocalisation-localisation phase transition from self-repelling to self-attracting. Current fluctuations are analysed using: (i) an adiabatic approximation, where the system reaches its stationary distribution before developing current fluctuations, and (ii) an original extension of level 2.5 large deviations for Markov processes. The latter, combined with perturbation theory, provides an upper bound to current fluctuations, which is tight in the self-repelling region, while the former approximates current fluctuations well in all regimes. Both methods accurately estimate the asymptotic variance and suggests a phase transition at the onset of the localised regime.


title: Modular and Extendable 1D-Simulation for Microfluidic Devices

abstract: Microfluidic devices have been the subject of considerable attention in recent years. The development of novel microfluidic devices, their evaluation, and their validation requires simulations. While common methods based on Computational Fluid Dynamics (CFD) can be time-consuming, 1D simulation provides an appealing alternative that leads to efficient results with reasonable quality. Current 1D simulation tools cover specific microfluidic applications; however, these tools are still rare and not widely adopted. There is a need for a more versatile and adaptable tool that covers novel applications, like mixing and the addition of membranes, and allows easy extension, resulting in one comprehensive 1D simulation tool for microfluidic devices. In this work, we present an open-source, modular, and extendable 1D simulation approach for microfluidic devices, which is available as an open-source software package at https://github.com/cda-tum/mmft-modular-1D-simulator. To this end, we propose an implementation that consists of a base module (providing the core functionality) that can be extended with dedicated application-specific modules (providing dedicated support for common microfluidic applications such as mixing, droplets, membranes, etc.). Case studies show that this indeed allows to efficiently simulate a broad spectrum of microfluidic applications in a quality that matches previous results or even fabricated devices.


title: Exponential Time Approximation for Coloring 3-Colorable Graphs

abstract: The problem of efficiently coloring $3$-colorable graphs with few colors has received much attention on both the algorithmic and inapproximability fronts. We consider exponential time approximations, in which given a parameter $r$, we aim to develop an $r$-approximation algorithm with the best possible runtime, providing a tradeoff between runtime and approximation ratio. In this vein, an algorithm to $O(n^\varepsilon)$-color a 3-colorable graphs in time $2^{\Theta(n^{1-2\varepsilon}\log(n))}$ is given in (Atserias and Dalmau, SODA 2022.) We build on tools developed in (Bansal et al., Algorithmic, 2019) to obtain an algorithm to color $3$-colorable graphs with $O(r)$ colors in $\exp\left(\tilde{O}\left(\frac {n\log^{11/2}r} {r^3}\right)\right)$ time, asymptotically improving upon the bound given by Atserias and Dalmau.


title: Entangelment Entropy on Generalized Brillouin Zone

abstract: We investigate the entanglement properties of non-Hermitian Su-Schrieffer-Heeger (SSH) model from the perspective of the Generalized Brillouin Zone (GBZ). The non-Bloch entanglement entropy is defined on a quasi-reciprocal lattice, obtained by performing an ordinary Fourier transformation on the non-Bloch Hamiltonian. We demonstrate that the broken bulk-boundary correspondence is recovered in terms of the non-Bloch entanglement entropy. When the GBZ is circular, we show that the non-Bloch entanglement entropy is well-defined (real and positive-definite) in large parameter regions, except close to the exceptional points (EPs). In the critical region, we found that each Fermi point contributes precisely 1 to the central charge $c$ of the logarithmic scaling. At the EP, the central charge becomes negative due to the presence of the exceptional bound state. For the case of non-circular GBZ, long-range hopping emerges in the quasi-reciprocal lattice, and the von Neumann entropy on the GBZ is no longer real. However, the non-Bloch edge entanglement entropy remains real, which serves as a reliable topological indicator and respects the bulk-boundary correspondence. We compute the topological phase diagram, and reveal the critical behavior along the exceptional phase boundaries.


title: Unseen Object Reasoning with Shared Appearance Cues

abstract: This paper introduces an innovative approach to open world recognition (OWR), where we leverage knowledge acquired from known objects to address the recognition of previously unseen objects. The traditional method of object modeling relies on supervised learning with strict closed-set assumptions, presupposing that objects encountered during inference are already known at the training phase. However, this assumption proves inadequate for real-world scenarios due to the impracticality of accounting for the immense diversity of objects. Our hypothesis posits that object appearances can be represented as collections of "shareable" mid-level features, arranged in constellations to form object instances. By adopting this framework, we can efficiently dissect and represent both known and unknown objects in terms of their appearance cues. Our paper introduces a straightforward yet elegant method for modeling novel or unseen objects, utilizing established appearance cues and accounting for inherent uncertainties. This representation not only enables the detection of out-of-distribution objects or novel categories among unseen objects but also facilitates a deeper level of reasoning, empowering the identification of the superclass to which an unknown instance belongs. This novel approach holds promise for advancing open world recognition in diverse applications.


title: Constraining pseudo-Diracness with astrophysical neutrino flavors

abstract: The three Standard Model neutrinos can have Majorana mass or strictly Dirac mass, but both scenarios are practically indistinguishable in neutrino oscillation experiments. If they are pseudo-Dirac, however, there will be new mass splittings among the pseudo-Dirac pairs, potentially leaving traces in neutrino oscillation phenomena. In this work, we use flavor ratios of astrophysical neutrinos to discriminate different possible mass spectra of pseudo-Dirac neutrinos. We show that it will be possible to impose robust bounds of order $\delta m^2_3 \lesssim 10^{-12}$ $\text{eV}^2$ on the new mass squared splitting involving the third pseudo-Dirac mass eigenstates (those with the least electron flavor composition) with the future experiment IceCube-Gen2. The derived sensitivity is robust because it only assumes an extragalactic origin for the astrophysical neutrinos and hierarchical pseudo-Dirac mass spectrum. In case the neutrino sources are known in the future, such bounds can potentially improve by up to five orders of magnitude, reaching $\delta m^2_3 \lesssim 10^{-17}$ $\text{eV}^2$.


title: SAIL: Self-Improving Efficient Online Alignment of Large Language Models

abstract: Reinforcement Learning from Human Feedback (RLHF) is a key method for aligning large language models (LLMs) with human preferences. However, current offline alignment approaches like DPO, IPO, and SLiC rely heavily on fixed preference datasets, which can lead to sub-optimal performance. On the other hand, recent literature has focused on designing online RLHF methods but still lacks a unified conceptual formulation and suffers from distribution shift issues. To address this, we establish that online LLM alignment is underpinned by bilevel optimization. By reducing this formulation to an efficient single-level first-order method (using the reward-policy equivalence), our approach generates new samples and iteratively refines model alignment by exploring responses and regulating preference labels. In doing so, we permit alignment methods to operate in an online and self-improving manner, as well as generalize prior online RLHF methods as special cases. Compared to state-of-the-art iterative RLHF methods, our approach significantly improves alignment performance on open-sourced datasets with minimal computational overhead.


title: Robust Reinforcement Learning from Corrupted Human Feedback

abstract: Reinforcement learning from human feedback (RLHF) provides a principled framework for aligning AI systems with human preference data. For various reasons, e.g., personal bias, context ambiguity, lack of training, etc, human annotators may give incorrect or inconsistent preference labels. To tackle this challenge, we propose a robust RLHF approach -- $R^3M$, which models the potentially corrupted preference label as sparse outliers. Accordingly, we formulate the robust reward learning as an $\ell_1$-regularized maximum likelihood estimation problem. Computationally, we develop an efficient alternating optimization algorithm, which only incurs negligible computational overhead compared with the standard RLHF approach. Theoretically, we prove that under proper regularity conditions, $R^3M$ can consistently learn the underlying reward and identify outliers, provided that the number of outlier labels scales sublinearly with the preference sample size. Furthermore, we remark that $R^3M$ is versatile and can be extended to various preference optimization methods, including direct preference optimization (DPO). Our experiments on robotic control and natural language generation with large language models (LLMs) show that $R^3M$ improves robustness of the reward against several types of perturbations to the preference data.


title: Stochastic fluctuations and the relaxation time in transient relativistic fluids

abstract: We argue that the ratio between the shear viscosity and the shear relaxation time, $\eta/\tau_\pi$, should be defined as a thermodynamic quantity obtained from the equal-time symmetric correlator of the shear-stress tensor. In kinetic theory, we show that this ratio does not depend on the type of interaction. Similarly, an exact expression for this ratio is obtained for holographic gauge theories. We also determine how stochastic fluctuations change $\eta/\tau_\pi$ in transient relativistic hydrodynamics and show that thermal fluctuations do not spoil causality and stability.


title: DEM: Distribution Edited Model for Training with Mixed Data Distributions

abstract: Training with mixed data distributions is a common and important part of creating multi-task and instruction-following models. The diversity of the data distributions and cost of joint training makes the optimization procedure extremely challenging. Data mixing methods partially address this problem, albeit having a sub-optimal performance across data sources and require multiple expensive training runs. In this paper, we propose a simple and efficient alternative for better optimization of the data sources by combining models individually trained on each data source with the base model using basic element-wise vector operations. The resulting model, namely Distribution Edited Model (DEM), is 11x cheaper than standard data mixing and outperforms strong baselines on a variety of benchmarks, yielding up to 6.2% improvement on MMLU, 11.5% on BBH, 16.1% on DROP, and 9.3% on HELM with models of size 3B to 13B. Notably, DEM does not require full re-training when modifying a single data-source, thus making it very flexible and scalable for training with diverse data sources.


title: Texture Feature Analysis for Classification of Early-Stage Prostate Cancer in mpMRI

abstract: Magnetic resonance imaging (MRI) has become a crucial tool in the diagnosis and staging of prostate cancer, owing to its superior tissue contrast. However, it also creates large volumes of data that must be assessed by trained experts, a time-consuming and laborious task. This has prompted the development of machine learning tools for the automation of Prostate cancer (PCa) risk classification based on multiple MRI modalities (T2W, ADC, and high-b-value DWI). Understanding and interpreting the predictions made by the models, however, remains a challenge. We analyze Random Forests (RF) and Support Vector Machines (SVM), for two complementary datasets, the public Prostate-X dataset, and an in-house, mostly early-stage PCa dataset to elucidate the contributions made by first-order statistical features, Haralick texture features, and local binary patterns to the classification. Using correlation analysis and Shapley impact scores, we find that many of the features typically used are strongly correlated, and that the majority of features have negligible impact on the classification. We identify a small set of features that determine the classification outcome, which may aid the development of explainable AI approaches.


title: CONCERTO at APEX -- On-sky performance in continuum

abstract: We present the data-processing algorithms and the performance of CONCERTO (CarbON CII line in post-rEionisation and ReionisaTiOn epoch) in continuum by analysing the data from the commissioning and scientific observations. The beam pattern is characterized by an effective FWHM of 31.9 $\pm$ 0.6" and 34.4 $\pm$ 1.0" for high-frequency (HF) and low-frequency (LF) bands. The main beam is slightly elongated with a mean eccentricity of 0.46. Two error beams of $\sim$65" and $\sim$130" are characterized, enabling the estimate of a main beam efficiency of $\sim$0.52. The field of view is accurately reconstructed and presents coherent distortions between the HF and LF arrays. LEKID parameters were robustly determined for 80% of the read tones. Cross-talks between LEKIDs are the first cause of flagging, followed by an excess of eccentricity for $\sim$10% of the LEKIDs, all located in a given region of the field of view. On the 44 scans of Uranus selected for the absolute photometric calibration, 72.5% and 78.2% of the LEKIDs are selected as valid detectors with a probability >70%. By comparing Uranus measurements with a model, we obtain calibration factors of 19.5$\pm$0.6 [Hz/Jy] and 25.6$\pm$0.9 [Hz/Jy] for HF and LF. The point-source continuum measurement uncertainties are 3.0% and 3.4% for HF and LF bands. The RMS of CONCERTO maps is verified to evolve as proportional to the inverse square root of integration time. The measured NEFDs for HF and LF are 115$\pm$2 mJy/beam$\cdot$s$^{1/2}$ and 95$\pm$1 mJy/beam$\cdot$s$^{1/2}$, obtained using CONCERTO data on the COSMOS field for a mean precipitable water vapour and elevation of 0.81 mm and 55.7 deg. CONCERTO demonstrates unique capabilities in fast dual-band spectral mapping with a $\sim$18.5' instantaneous field-of-view. CONCERTO's performance in continuum is perfectly in line with expectations.


title: Sparse Bayesian multidimensional scaling(s)

abstract: Bayesian multidimensional scaling (BMDS) is a probabilistic dimension reduction tool that allows one to model and visualize data consisting of dissimilarities between pairs of objects. Although BMDS has proven useful within, e.g., Bayesian phylogenetic inference, its likelihood and gradient calculations require a burdensome order of $N^2$ floating-point operations, where $N$ is the number of data points. Thus, BMDS becomes impractical as $N$ grows large. We propose and compare two sparse versions of BMDS (sBMDS) that apply log-likelihood and gradient computations to subsets of the observed dissimilarity matrix data. Landmark sBMDS (L-sBMDS) extracts columns, while banded sBMDS (B-sBMDS) extracts diagonals of the data. These sparse variants let one specify a time complexity between $N^2$ and $N$. Under simplified settings, we prove posterior consistency for subsampled distance matrices. Through simulations, we examine the accuracy and computational efficiency across all models using both the Metropolis-Hastings and Hamiltonian Monte Carlo algorithms. We observe approximately 3-fold, 10-fold and 40-fold speedups with negligible loss of accuracy, when applying the sBMDS likelihoods and gradients to 500, 1,000 and 5,000 data points with 50 bands (landmarks); these speedups only increase with the size of data considered. Finally, we apply the sBMDS variants to the phylogeographic modeling of multiple influenza subtypes to better understand how these strains spread through global air transportation networks.


title: Polar phonons and magnetic excitations in the antiferromagnet CoF$_2$

abstract: The coupling between antiferromagnetic spins and infrared-active phonons in solids is responsible for many intriguing phenomena and is a field of intense research with extensive potential applications in the modern devices based on antiferromagnetic spintronics and phononics. Insulating rutile antiferromagnetic crystal CoF$_2$ is one of the model materials for studying nonlinear magnetophononics due to the strong spin-lattice coupling as a result of the orbitally degenerate ground state of Co$^{2+}$ ions manifested in the plethora of static and induced piezomagnetic effects. Here we report results on the complete infrared spectroscopy study of lattice and magnetic dynamics in CoF$_2$ in a wide temperature range and their careful analysis. We observed that infrared-active phonons demonstrate frequency shifts at the antiferromagnetic ordering. Furthermore, using first-principles calculations, we examined the lattice dynamics and disclosed that these frequency shifts are rather due to the spin-phonon coupling than geometrical lattice effects. Next we found that the low-frequency dielectric permittivity demonstrates distinct changes at the antiferromagnetic ordering due to the spontaneous magnetodielectric effect caused by the behavior of infrared-active phonons. In addition, we have observed magnetic excitations in the infrared spectra and identified their magnetodipole origin. To strengthen our conclusions, we analyze the theoretical phonon-magnon coupling overall phonons at the $\Gamma$ point. We conclude that the largest effect comes from the $A_{1g}$ and $B_{2g}$ Raman-active modes. As such, our results establish a solid basis for further investigations and more deeper understanding of the coupling of phonons with spins and magnetic excitations in antiferromagnets.


title: Sketch-GNN: Scalable Graph Neural Networks with Sublinear Training Complexity

abstract: Graph Neural Networks (GNNs) are widely applied to graph learning problems such as node classification. When scaling up the underlying graphs of GNNs to a larger size, we are forced to either train on the complete graph and keep the full graph adjacency and node embeddings in memory (which is often infeasible) or mini-batch sample the graph (which results in exponentially growing computational complexities with respect to the number of GNN layers). Various sampling-based and historical-embedding-based methods are proposed to avoid this exponential growth of complexities. However, none of these solutions eliminates the linear dependence on graph size. This paper proposes a sketch-based algorithm whose training time and memory grow sublinearly with respect to graph size by training GNNs atop a few compact sketches of graph adjacency and node embeddings. Based on polynomial tensor-sketch (PTS) theory, our framework provides a novel protocol for sketching non-linear activations and graph convolution matrices in GNNs, as opposed to existing methods that sketch linear weights or gradients in neural networks. In addition, we develop a locality-sensitive hashing (LSH) technique that can be trained to improve the quality of sketches. Experiments on large-graph benchmarks demonstrate the scalability and competitive performance of our Sketch-GNNs versus their full-size GNN counterparts.


title: Contrastive Entity Coreference and Disambiguation for Historical Texts

abstract: Massive-scale historical document collections are crucial for social science research. Despite increasing digitization, these documents typically lack unique cross-document identifiers for individuals mentioned within the texts, as well as individual identifiers from external knowledgebases like Wikipedia/Wikidata. Existing entity disambiguation methods often fall short in accuracy for historical documents, which are replete with individuals not remembered in contemporary knowledgebases. This study makes three key contributions to improve cross-document coreference resolution and disambiguation in historical texts: a massive-scale training dataset replete with hard negatives - that sources over 190 million entity pairs from Wikipedia contexts and disambiguation pages - high-quality evaluation data from hand-labeled historical newswire articles, and trained models evaluated on this historical benchmark. We contrastively train bi-encoder models for coreferencing and disambiguating individuals in historical texts, achieving accurate, scalable performance that identifies out-of-knowledgebase individuals. Our approach significantly surpasses other entity disambiguation models on our historical newswire benchmark. Our models also demonstrate competitive performance on modern entity disambiguation benchmarks, particularly certain news disambiguation datasets.


title: Decoherence of Histories: Chaotic Versus Integrable Systems

abstract: We study the emergence of decoherent histories in isolated systems based on exact numerical integration of the Schr\"odinger equation for a Heisenberg chain. We reveal that the nature of the system, which we switch from (i) chaotic to (ii) interacting integrable to (iii) non-interacting integrable, strongly impacts decoherence. From a finite size scaling law we infer a strong exponential suppression of coherences for (i), a weak exponential suppression for (ii) and no exponential suppression for (iii) on a relevant short (nonequilibrium) time scale. Moreover, for longer times we find stronger decoherence for (i) but the opposite for (ii), hinting even at a possible power-law decay for (ii) at equilibrium time scales. This behaviour is encoded in the multi-time properties of the quantum histories and it can not be explained by environmentally induced decoherence. Our results suggest that chaoticity plays a crucial role in the emergence of classicality in finite size systems.


title: Neural Moving Horizon Estimation: A Systematic Literature Review

abstract: The neural moving horizon estimator (NMHE) is a relatively new and powerful state estimator that combines the strengths of neural networks (NNs) and model-based state estimation techniques. Various approaches exist for constructing NMHEs, each with its unique advantages and limitations. However, a comprehensive literature review that consolidates existing knowledge, outlines design guidelines and highlights future research directions is currently lacking. This systematic literature review synthesizes the existing knowledge on NMHE, addressing the above knowledge gap. The paper (1) explains the fundamental principles of NMHE, (2) explores different NMHE architectures, discussing the pros and cons of each, (3) investigates the NN architectures used in NMHE, providing insights for future designs, (4) examines the real-time implementability of current approaches, offering recommendations for practical applications, and (5) discusses the current limitations of NMHE approaches and outlines directions for future research. These insights can significantly improve the design and application of NMHE, which is critical for enhancing state estimation in complex systems.


title: Well-posedness of the higher-order nonlinear Schr\"odinger equation on a finite interval

abstract: We establish the local Hadamard well-posedness of a certain third-order nonlinear Schr\"odinger equation with a multi-term linear part and a general power nonlinearity known as the higher-order nonlinear Schr\"odinger equation, formulated on a finite interval with a combination of nonzero Dirichlet and Neumann boundary conditions. Specifically, for initial and boundary data in suitable Sobolev spaces that are related to one another through the time regularity induced by the equation, we prove the existence of a unique solution as well as the continuous dependence of that solution on the data. The precise choice of solution space depends on the value of the Sobolev exponent and is dictated both by the linear estimates associated with the forced linear counterpart of the nonlinear initial-boundary value problem and, in the low-regularity setting below the Sobolev algebra property threshold, by certain nonlinear estimates that control the Sobolev norm of the power nonlinearity. In particular, as usual in Schr\"odinger-type equations, in the case of low regularity it is necessary to derive Strichartz estimates in suitable Lebesgue/Bessel potential spaces. The proof of well-posedness is based on a contraction mapping argument combined with the linear estimates, which are established by employing the explicit solution formula for the forced linear problem derived via the unified transform of Fokas. Due to the nature of the finite interval problem, this formula involves contour integrals in the complex Fourier plane with corresponding integrands that contain differences of exponentials in their denominators, thus requiring delicate handling through appropriate contour deformations. It is worth noting that, in addition to the various linear and nonlinear results obtained for the finite interval problem, novel time regularity results are established here also for the relevant half-line problem.


title: A Topology Scavenger Hunt to Introduce Topological Data Analysis

abstract: Topology at the undergraduate level is often a theoretical mathematics course, introducing concepts from point-set topology or possibly algebraic topology. However, the last two decades have seen an explosion of growth in applied topology and topological data analysis, which are topics that can be presented in an accessible way to undergraduate students and can encourage exciting projects. For the past several years, the Topology course at Macalester College has included content from point-set and algebraic topology, as well as applied topology, culminating in a project chosen by the students. In the course, students work through a topology scavenger hunt as an activity to introduce the ideas and software behind some of the primary tools in topological data analysis, namely, persistent homology and mapper. This scavenger hunt includes a variety of point clouds of varying dimensions, such as an annulus in 2D, a bouquet of loops in 3D, a sphere in 4D, and a torus in 400D. The students' goal is to analyze each point cloud with a variety of software to infer the topological structure. After completing this activity, students are able to extend the ideas learned in the scavenger hunt to an open-ended capstone project. Examples of past projects include: using persistence to explore the relationship between country development and geography, to analyze congressional voting patterns, and to classify genres of a large corpus of texts by combining with tools from natural language processing and machine learning.


title: Necessary and sufficient condition for neutral-type delay systems: Polynomial approximations

abstract: A new necessary and sufficient stability test in a tractable number of operations for linear neutral-type delay systems is introduced. It is developed in the Lyapunov-Krasovskii framework via functionals with prescribed derivatives. The necessary conditions, which stem from substituting any polynomial approximation of the functional argument, reduce to a quadratic form of monomials whose matrix is independent of the coefficients of the approximation under consideration. In the particular case of Chebyshev polynomials, the functional approximation error is quantified, leading to an estimate of the order of approximation such that the positive semi-definiteness of the functional is verified. Some examples illustrate the obtained results.


title: Graphical copula GARCH modeling with dynamic conditional dependence

abstract: Modeling returns on large portfolios is a challenging problem as the number of parameters in the covariance matrix grows as the square of the size of the portfolio. Traditional correlation models, for example, the dynamic conditional correlation (DCC)-GARCH model, often ignore the nonlinear dependencies in the tail of the return distribution. In this paper, we aim to develop a framework to model the nonlinear dependencies dynamically, namely the graphical copula GARCH (GC-GARCH) model. Motivated from the capital asset pricing model, to allow modeling of large portfolios, the number of parameters can be greatly reduced by introducing conditional independence among stocks given some risk factors. The joint distribution of the risk factors is factorized using a directed acyclic graph (DAG) with pair-copula construction (PCC) to enhance the modeling of the tails of the return distribution while offering the flexibility of having complex dependent structures. The DAG induces topological orders to the risk factors, which can be regarded as a list of directions of the flow of information. The conditional distributions among stock returns are also modeled using PCC. Dynamic conditional dependence structures are incorporated to allow the parameters in the copulas to be time-varying. Three-stage estimation is used to estimate parameters in the marginal distributions, the risk factor copulas, and the stock copulas. The simulation study shows that the proposed estimation procedure can estimate the parameters and the underlying DAG structure accurately. In the investment experiment of the empirical study, we demonstrate that the GC-GARCH model produces more precise conditional value-at-risk prediction and considerably higher cumulative portfolio returns than the DCC-GARCH model.


title: Detecting AI-Generated Text: Factors Influencing Detectability with Current Methods

abstract: Large language models (LLMs) have advanced to a point that even humans have difficulty discerning whether a text was generated by another human, or by a computer. However, knowing whether a text was produced by human or artificial intelligence (AI) is important to determining its trustworthiness, and has applications in many domains including detecting fraud and academic dishonesty, as well as combating the spread of misinformation and political propaganda. The task of AI-generated text (AIGT) detection is therefore both very challenging, and highly critical. In this survey, we summarize state-of-the art approaches to AIGT detection, including watermarking, statistical and stylistic analysis, and machine learning classification. We also provide information about existing datasets for this task. Synthesizing the research findings, we aim to provide insight into the salient factors that combine to determine how "detectable" AIGT text is under different scenarios, and to make practical recommendations for future work towards this significant technical and societal challenge.


title: On the Multicategorical Meta-Theorem and the Completeness of Restricted Algebraic Deduction Systems

abstract: Eight categorical soundness and completeness theorems are established within the framework of algebraic theories. Exactly six of the eight deduction systems exhibit complete semantics within the cartesian monoidal category of sets. The multicategorical meta-theorem via soundness and completeness enables the transference of properties of families of models from the cartesian monoidal category of sets to $\Delta$-multicategories $C$. A bijective correspondence $R \mapsto \Delta_R$ is made between context structures $R$ and structure categories $\Delta$, which are wide subcategories of $\textbf{FinOrd}$ consisting of finite ordinals and functions. Given a multisorted signature $\sigma$ with a context structure $R$, an equational deduction system $\vdash_R$ is constructed for $R$-theories. The models within $\Delta_R$-multicategories provide a natural semantic framework for the deduction system $\vdash_R$ for modelable context structures $R$. Each of the eight modelable context structures $R$ is linked with a soundness and completeness theorem for the deduction system $\vdash_R$.


title: Ten Years of ZMap

abstract: Since ZMap's debut in 2013, networking and security researchers have used the open-source scanner to write hundreds of research papers that study Internet behavior. In addition, ZMap powers much of the attack-surface management and security ratings industries, and more than a dozen security companies have built products on top of ZMap. Behind the scenes, much of ZMap's behavior - ranging from its pseudorandom IP generation to its packet construction - has quietly evolved as we have learned more about how to scan the Internet. In this work, we quantify ZMap's adoption over the ten years since its release, describe its modern behavior (and the measurements that motivated those changes), and offer lessons from releasing and maintaining ZMap.


title: TinyStyler: Efficient Few-Shot Text Style Transfer with Authorship Embeddings

abstract: The goal of text style transfer is to transform the style of texts while preserving their original meaning, often with only a few examples of the target style. Existing style transfer methods generally rely on the few-shot capabilities of large language models or on complex controllable text generation approaches that are inefficient and underperform on fluency metrics. We introduce TinyStyler, a lightweight but effective approach, which leverages a small language model (800M params) and pre-trained authorship embeddings to perform efficient, few-shot text style transfer. We evaluate on the challenging task of authorship style transfer and find TinyStyler outperforms strong approaches such as GPT-4. We also evaluate TinyStyler's ability to perform text attribute style transfer (formal $\leftrightarrow$ informal) with automatic and human evaluations and find that the approach outperforms recent controllable text generation methods. Our model has been made publicly available at https://huggingface.co/tinystyler/tinystyler .


title: Escaping the Shadow of Bell's Theorem in Network Nonlocality

abstract: The possibility of nonclassicality in networks unrelated to Bell's original eponymous theorem has recently attracted significant interest. Here, we identify a sufficient condition for being "outside the shadow of Bell's theorem" and introduce a testable criterion capable of certifying the novelty of instances of network-nonclassicality which we call minimal network nonclassicality. We provide examples of minimally network nonclassical correlations realizable in quantum theory as well as examples coming from more exotic operational probabilistic theories. In particular, we apply these concepts to the simplest configuration of the 3-chain scenario (a.k.a. the bilocality scenario) to prove that certain correlations have escaped the shadow of Bell's theorem. While some of the examples herein are unprecedented, we also revisit more familiar examples of network nonclassicality in order to highlight the contrast between our approach versus prior approaches with respect to assessing novelty.


title: Stabilising nonlinear travelling waves in pipe flow using time-delayed feedback

abstract: We demonstrate the first successful non-invasive stabilisation of nonlinear travelling waves in a straight circular pipe using time-delayed feedback control (TDF). The main novelty in this work is in the application of a "multiple time-delayed feedback" (MTDF) approach, where several control terms are required to attenuate a broad range of unstable eigenfrequencies. We implement a gradient descent method to dynamically adjust the gain functions, $G_i(t),$ in order to reduce the need for tuning a high dimensional parameter space. We consider the effect of the control terms via an approximate linear analysis and a frequency-domain analysis, which justifies the choice of MTDF parameters. By using an adaptive approach to setting the control gains, we advocate for a broad range of MTDF terms which are then free to find their own stabilising amplitudes for a given target solution, thereby removing trial and error when the instability of the target solution is unknown a'priori. This also enables travelling waves to be stabilised from generic turbulent states and with speculative starting parameters.


title: On mutually $\mu$-intersecting quasi-Hermitian varieties with some applications

abstract: Mutually intersecting varieties of a finite Desarguesian projective space are varieties with the same size, such that the intersection of two of them contains the same number of points. Here, we show the existence of a new family of mutually intersecting varieties by using certain quasi-Hermitian varieties of $\mathrm{PG}(n,q^2)$, where $q$ is any prime power. With the help of these quasi-Hermitian varieties we provide a new construction of $5$-dimensional MDS codes over ${\mathbb F}_q$ as well as an infinite family of simple orthogonal arrays $OA(q^{2n-1},q^{2n-2},q,2)$ of index $\mu=q^{2n-3}$.


title: Analysis of regularity/chaoticity of the globular clusters dynamics on the central region of the Milky Way

abstract: We analyzed the regularity/chaoticity of the orbits of 45 globular clusters in the central region of the Galaxy with a radius of 3.5 kpc, which are subject to the greatest influence from an elongated rotating bar. Various analysis methods were used, namely, methods for calculating the Highest Lyapunov Exponents, the method of Poincar$\acute{e}$ sections, the frequency method based on the calculation of fundamental frequencies, as well as the visual assessment method. Bimodality was discovered in the histogram of the distribution of positive Lyapunov exponents, calculated in the classical version, without renormalization of the shadow orbit, which makes it possible to implement a probabilistic method of GC classification. To construct the orbits of globular clusters, we used a gravitational potential model with a bar in the form of a triaxial ellipsoid, described in detail in the work of Bajkova et al., Izvestiya Glavnoi astronomicheskoi observatorii v Pulkove, {\bf 228}, 1 (2023). The following bar parameters were adopted: mass $10^{10} M_\odot $, semimajor axis length 5 kpc, bar viewing angle 25$^o$, rotation velocity 40 km s$^{-1}$ kpc$^{-1}$. To form the 6D-phase space required for orbit integration, the most accurate astrometric data to date from the Gaia satellite (EDR3) (Vasiliev, Baumgardt, 2021), as well as new refined average distances to globular clusters (Baumgardt, Vasiliev, 2021) were used. A classification is made of globular clusters with regular and chaotic dynamics. As the analysis showed, globular clusters with small pericentric distances and large eccentricities are most susceptible to the influence of the bar and demonstrate the greatest chaos. It is shown that the results of classifying globular clusters by the nature of their orbital dynamics, obtained using the various methods of analysis considered in the work, correlate well with each other.


title: Design for Enabling Echelle and OMR Spectrograph Observations for Point and Extended Sources on the Same Night at VBT

abstract: The 2.34m Vainu Bappu Telescope (VBT) is a reflecting telescope that operates in two modes, prime focus and cassegrain focus, and is equipped with two instruments. In prime focus mode, the telescope has the F-number of f/3.25, and the High-Resolution Echelle Spectrograph (HRES) is employed through optical fiber. On the other hand, in cassegrain focus mode, the F-number is f/13, and the OMR Spectrograph (OMRS) is mounted for low and medium-resolution spectroscopy. Currently, the VBT faces a limitation: either the OMRS or the HRES can be used due to the switch in the heavy secondary mirror. To overcome this, we present a novel method enabling the OMRS to operate from prime mode alongside the HRES. The fiber setup for OMRS is optimized with a 25-lenslet + fiber-based Integral Field Unit (IFU) capable of observing both point and extended sources. The optimized lenslet, fiber, and fore optics design is undergoing lab testing. Our approach allows seamless operation of both spectrographs on the same night, enhancing the observational capabilities of astronomical studies with VBT.


title: Theoretical Analysis of Fiber Arrangements for Improved Coupling Efficiency in the VBT High-Resolution Echelle Spectrograph

abstract: In fiber-based spectroscopy within telescopes, a prevailing limitation has been the necessity to align the fiber diameter with the telescope's seeing conditions, often characterized by the Full Width at Half Maximum of the point spread function. This alignment constraint captures around 50 \% of the incoming flux from any point source. Furthermore, the challenge is compounded when high-resolution spectroscopy is in play, as it often demands a minute slit width, further exacerbating flux loss. The essence of this paper lies in a comprehensive exploration, accomplished through theoretical simulations, of strategies aimed at enhancing the coupling efficiency of high-resolution spectrographs. The primary objective is to bolster the flux capture without compromising the critical aspect of spectral resolution. This research endeavors to unlock the potential for more effective utilization of high-resolution spectrographs to study celestial objects.


title: News Deja Vu: Connecting Past and Present with Semantic Search

abstract: Social scientists and the general public often analyze contemporary events by drawing parallels with the past, a process complicated by the vast, noisy, and unstructured nature of historical texts. For example, hundreds of millions of page scans from historical newspapers have been noisily transcribed. Traditional sparse methods for searching for relevant material in these vast corpora, e.g., with keywords, can be brittle given complex vocabularies and OCR noise. This study introduces News Deja Vu, a novel semantic search tool that leverages transformer large language models and a bi-encoder approach to identify historical news articles that are most similar to modern news queries. News Deja Vu first recognizes and masks entities, in order to focus on broader parallels rather than the specific named entities being discussed. Then, a contrastively trained, lightweight bi-encoder retrieves historical articles that are most similar semantically to a modern query, illustrating how phenomena that might seem unique to the present have varied historical precedents. Aimed at social scientists, the user-friendly News Deja Vu package is designed to be accessible for those who lack extensive familiarity with deep learning. It works with large text datasets, and we show how it can be deployed to a massive scale corpus of historical, open-source news articles. While human expertise remains important for drawing deeper insights, News Deja Vu provides a powerful tool for exploring parallels in how people have perceived past and present.


title: Detecting and Classifying Flares in High-Resolution Solar Spectra with Supervised Machine Learning

abstract: Flares are a well-studied aspect of the Sun's magnetic activity. Detecting and classifying solar flares can inform the analysis of contamination caused by stellar flares in exoplanet transmission spectra. In this paper, we present a standardized procedure to classify solar flares with the aid of supervised machine learning. Using flare data from the RHESSI mission and solar spectra from the HARPS-N instrument, we trained several supervised machine learning models, and found that the best performing algorithm is a C-Support Vector Machine (SVC) with non-linear kernels, specifically Radial Basis Functions (RBF). The best-trained model, SVC with RBF kernels, achieves an average aggregate accuracy score of 0.65, and categorical accuracy scores of over 0.70 for the no-flare and weak-flare classes, respectively. In comparison, a blind classification algorithm would have an accuracy score of 0.33. Testing showed that the model is able to detect and classify solar flares in entirely new data with different characteristics and distributions from those of the training set. Future efforts could focus on enhancing classification accuracy, investigating the efficacy of alternative models, particularly deep learning models, and incorporating more datasets to extend the application of this framework to stars that host exoplanets.

categories: astro-ph.SR astro-ph.EP astro-ph.IM cs.LG


title: The impact of fear and behaviour response to established and novel diseases

abstract: We analyze a disease transmission model that allows individuals to acquire fear and change their behaviour to reduce transmission. Fear is acquired through contact with infected individuals and through the influence of fearful individuals. We analyze the model in two limits: First, an Established Disease Limit (EDL), where the spread of the disease is much faster than the spread of fear, and second, a Novel Disease Limit (NDL), where the spread of the disease is comparable to that of fear. For the EDL, we show that the relative rate of fear acquisition to disease transmission controls the size of the fearful population at the end of a disease outbreak, and that the fear-induced contact reduction behaviour has very little impact on disease burden. Conversely, we show that in the NDL, disease burden can be controlled by fear-induced behaviour depending on the rate of fear loss. Specifically, fear-induced behaviour introduces a contact parameter $p$, which if too large prevents the contact reduction from effectively managing the epidemic. We analytically identify a critical prophylactic behaviour parameter $p=p_c$ where this happens leading to a discontinuity in epidemic prevalence. We show that this change in disease burden introduces multiple epidemic waves.


title: DiVerify: Diversifying Identity Verification in Next-Generation Software Signing

abstract: Code signing enables software developers to digitally sign their code using cryptographic keys, thereby associating the code to their identity. This allows users to verify the authenticity and integrity of the software, ensuring it has not been tampered with. Next-generation software signing such as Sigstore and OpenPubKey simplify code signing by providing streamlined mechanisms to verify and link signer identities to the public key. However, their designs have vulnerabilities: reliance on an identity provider introduces a single point of failure, and the failure to follow the principle of least privilege on the client side increases security risks. We introduce Diverse Identity Verification (DiVerify) scheme, which strengthens the security guarantees of next-generation software signing by leveraging threshold identity validations and scope mechanisms. We formalize a general definition of diverse verification scope and how it applies to next-generation software signing solutions, enabling clients to protect themselves from the impact of a compromised identity provider and help identity providers minimize the impact of compromised clients. As proof of concept, we implement DiVerify in the Sigstore ecosystem and evaluate the security improvements. By using fine-grained access control mechanisms and implementing threshold validations over account signing capabilities, we demonstrate that signing tools can protect themselves against threats from compromised identity providers and malicious signing clients.


title: Computational Demonstrations of Density Wave of Cooper Pairs and Paired-Electron Liquid in the Quarter-Filled Band -- a Brief Review

abstract: There has been strong interest recently in the so-called Cooper pair density wave, subsequent to the proposition that such a state occurs in the hole-doped cuprate superconductors. As of now there is no convincing demonstration of such a state in the cuprate theoretical literature. We present here a brief but complete review of our theoretical and computational work on the paired-electron crystal (PEC), which has been also experimentally seen in the insulating phase proximate to superconductivity (SC) in organic charge-transfer solid (CTS) superconductors. Within our theory, SC in the CTS does indeed evolve from the PEC. A crucial requirement for the finding of the PEC is that the proper carrier density of one charge carrier per two sites is taken into consideration at the outset. Following the discussion of CTS superconductors, we briefly discuss how the theory can be extended to understand the phase diagram of the cuprate superconductors that has remained mysterious after nearly four decades of the discovery of SC in this family.


title: VR-NRP: A Virtual Reality Simulation for Training in the Neonatal Resuscitation Program

abstract: The use of Virtual Reality (VR) technologies has been extensively researched in surgical and anatomical education. VR provides a lifelike and interactive environment where healthcare providers can practice and refresh their skills in a safe environment. VR has been shown to be as effective as traditional medical education teaching methods, with the potential to provide more cost-effective and convenient means of curriculum delivery, especially in rural and remote areas or in environments with limited access to hands-on training. In this sense, VR offers the potential to be used to support resuscitation training for healthcare providers such as the Neonatal Resuscitation Program (NRP). The NRP program is an evidence-based and standardized approach for training healthcare providers on the resuscitation of the newborn. In this article, we describe a VR simulation environment that was designed and developed to refresh the skills of NRP providers. To validate this platform, we compared the VR-NRP simulation with exposure to 360-degree immersive video. We found that both VR technologies were positively viewed by healthcare professionals and performed very similarly to each other. However, the VR simulation provided a significantly increased feeling of presence. Furthermore, participants found the VR simulation more useful, leading to improved experiential learning outcomes. Also, participants using VR simulation reported higher confidence in certain NRP skills, such as proper mask placement and newborn response evaluation. This research represents a step forward in understanding how VR and related extended reality (XR) technologies can be applied for effective, immersive medical education, with potential benefits for remote and rural healthcare providers.


title: Pareto-Optimal Learning from Preferences with Hidden Context

abstract: Ensuring AI models align with human values is essential for their safety and functionality. Reinforcement learning from human feedback (RLHF) uses human preferences to achieve this alignment. However, preferences sourced from diverse populations can result in point estimates of human values that may be sub-optimal or unfair to specific groups. We propose Pareto Optimal Preference Learning (POPL), which frames discrepant group preferences as objectives with potential trade-offs, aiming for policies that are Pareto-optimal on the preference dataset. POPL utilizes Lexicase selection, an iterative process to select diverse and Pareto-optimal solutions. Our empirical evaluations demonstrate that POPL surpasses baseline methods in learning sets of reward functions, effectively catering to distinct groups without access to group numbers or membership labels. Furthermore, we illustrate that POPL can serve as a foundation for techniques optimizing specific notions of group fairness, ensuring inclusive and equitable AI model alignment.


title: Determination of certain mod $p$ Galois representations using local constancy

abstract: Let $p \geq 5$ be a prime. Let $k = b + c(p-1)$ be an integer in $[2p+2, p^2 - p +3]$, where $b \in [2,p]$ and $c \in [2, p-1]$. We prove local constancy in the weight space of the mod $p$ reduction of certain two-dimensional crystalline representations of $\mathrm{Gal}(\bar{\mathbb{Q}}_p/\mathbb{Q}_p)$, where the slope $\nu(a_p)$ is constrained to be in $(1, c)$ and non-integral. We use the mod $p$ local Langlands correspondence for $\text{GL}_{2} (\mathbb{Q}_{p})$ to compute the mod $p$ reductions explicitly, thereby also giving a lower bound on the radius of constancy around the weights $k$ in the above range and under additional conditions on the slope. As an application of local constancy, we obtain explicit mod $p$ reductions at many new values of $k$ and $a_p$.


title: Assessing and Advancing the Potential of Quantum Computing: A NASA Case Study

abstract: Quantum computing is one of the most enticing computational paradigms with the potential to revolutionize diverse areas of future-generation computational systems. While quantum computing hardware has advanced rapidly, from tiny laboratory experiments to quantum chips that can outperform even the largest supercomputers on specialized computational tasks, these noisy-intermediate scale quantum (NISQ) processors are still too small and non-robust to be directly useful for any real-world applications. In this paper, we describe NASA's work in assessing and advancing the potential of quantum computing. We discuss advances in algorithms, both near- and longer-term, and the results of our explorations on current hardware as well as with simulations, including illustrating the benefits of algorithm-hardware co-design in the NISQ era. This work also includes physics-inspired classical algorithms that can be used at application scale today. We discuss innovative tools supporting the assessment and advancement of quantum computing and describe improved methods for simulating quantum systems of various types on high-performance computing systems that incorporate realistic error models. We provide an overview of recent methods for benchmarking, evaluating, and characterizing quantum hardware for error mitigation, as well as insights into fundamental quantum physics that can be harnessed for computational purposes.


title: Catalysis in Extreme Field Environments: The Case of Strongly Ionized $SiO_{2}$ Nanoparticle Surfaces

abstract: High electric fields can significantly alter catalytic environments and the resultant chemical processes. Such fields arise naturally in biological systems but can also be artificially induced through localized excitations at nanoscale. Recently, strong field excitation of dielectric nanoparticles has emerged as an avenue for studying catalysis in highly ionized environments producing extreme electric fields. While the dynamics of surface ion emission driven by ultrafast laser ionization has been heavily explored, understanding the molecular dynamics leading to fragmentation has remained elusive. To address this, we employed a multiscale approach utilizing non-adiabatic quantum molecular dynamics (NAQMD) simulations on hydrogenated silica surfaces in both bare and wetted environments under field conditions mimicking those of an ionized nanoparticle. Our findings indicate that hole localization drives fragmentation dynamics, leading to surface silanol dissociation within 50 fs and charge transfer-induced water splitting in wetted environments within 150 fs. Further insight into such ultrafast mechanisms is critical for advancement of catalysis on the surface of charged nanosystems.


title: Data-driven Aeroelastic Analyses of Structures in Turbulent Wind Conditions using Enhanced Gaussian Processes with Aerodynamic Priors

abstract: Recent advancements in data-driven aeroelasticity have been driven by the wealth of data available in the wind engineering practice, especially in modeling aerodynamic forces. Despite progress, challenges persist in addressing free-stream turbulence and incorporating physics knowledge into data-driven aerodynamic force models. This paper presents a hybrid Gaussian Process (GPs) methodology for non-linear modeling of aerodynamic forces induced by gusts and motion on bluff bodies. Building on a recently developed GP model of the motion-induced forces, we formulate a hybrid GP aerodynamic force model that incorporates both gust- and motion-induced angles of attack as exogenous inputs, alongside a semi-analytical quasi-steady (QS) model as a physics-based prior knowledge. In this manner, the GP model incorporates the absent physics of the QS model, and the non-dimensional hybrid formulation enhances its appeal from an aerodynamic perspective. We devise a training procedure that leverages simultaneous input signals of gust angles, based on random free-stream turbulence, and motion angles, based on random broadband signals. We verify the methodology through analytical linear aerodynamics of a flat plate and non-linear aerodynamics of a bridge deck using Computational Fluid Dynamics (CFD). The standout feature of the presented methodology is its applicability for aeroelastic buffeting analyses, showcasing robustness when handling broadband excitation. Importantly, the non-linear hybrid model preserves its capability to capture higher-order harmonics in the motion-induced forces and remains applicable for flutter analysis, while incorporating both motion and gust angles as input. Applications of the methodology are anticipated in the aeroelastic analysis and monitoring of slender line-like structures.


title: Can the Near-Horizon Black Hole Memory be detected through Binary Inspirals?

abstract: The memory effect, in the context of gravitational-waves (GWs), manifests itself in the permanent relative displacement of test masses when they encounter the GWs. A number of works have explored the possibility of detecting the memory when the source and detector are separated by large distances. A special type of memory, arising from BMS symmetries, called ``black-hole memory'', has been recently proposed. The black hole memory only manifests itself in the vicinity of its event horizon. Therefore, formally observing it requires placing a GW detector at the horizon of the BH, which prima-facie seems unfeasible. In this work, we describe a toy model that suggests a possible way the black hole memory may be observed, without requiring a human-made detector near the event horizon. The model considers a binary black hole (BBH), emanating GWs observable at cosmological distances, as a proxy for an idealized detector in the vicinity of a supermassive Schwarzschild black hole that is endowed with a supertranslation hair by sending a shock-wave to it. This sudden change affects the geometry near the horizon of the supertranslated black hole and it induces a change in the inspiraling orbital separation (and hence, orbital frequency) of the binary, which in turn imprints itself on the GWs. Using basic GW data analysis tools, we demonstrate that the black hole memory should be observable by a LISA-like space-based detector.


title: QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification

abstract: Ranking risks and countermeasures is one of the foremost goals of quantitative security analysis. One of the popular frameworks, used also in industrial practice, for this task are attack-defense trees. Standard quantitative analyses available for attack-defense trees can distinguish likely from unlikely vulnerabilities. We provide a tool that allows for easy synthesis and analysis of those models, also featuring probabilities, costs and time. Furthermore, it provides a variety of interfaces to existing model checkers and analysis tools. Unfortunately, currently available tools rely on precise quantitative inputs (probabilities, timing, or costs of attacks), which are rarely available. Instead, only statistical, imprecise information is typically available, leaving us with probably approximately correct (PAC) estimates of the real quantities. As a part of our tool, we extend the standard analysis techniques so they can handle the PAC input and yield rigorous bounds on the imprecision and uncertainty of the final result of the analysis.


title: Torsion of Rational Elliptic Curves over the Cyclotomic Extensions of $\mathbb{Q}$

abstract: Let $E$ be an elliptic curve defined over $\mathbb{Q}$. Let $p>3$ be a prime such that $p-1$ is not divisible by $3,4,5,7,11$. In this article we classify the groups that can arise as $E(\mathbb{Q}(\zeta_p))_{\text{tors}}$ up to isomorphism. The method illustrates techniques for eliminating possible structures that can appear as a subgroup of $E(\mathbb{Q}^{ab})_{\text{tors}}.$


title: Anomalously strong polarization dependence of the intensity of magnetically-induced atomic transitions

abstract: The impact of the optical field polarization on the spectrum of magnetically-induced transitions, a class of transitions forbidden at zero magnetic field, is studied with a weak-probe sub-Doppler technique. The high spectral resolution of the technique combined with the simplicity in interpreting the observed spectra\EK{,} allows to follow the behavior of individual transitions as a function of the magnetic field amplitude. We observe only one intense transition (out of $2F_g+1$) in the case of linear ($\pi$) polarization in the $F_g\rightarrow F_g+2$ manifolds of $^{85}$Rb, $^{87}$Rb and $^{133}$Cs for fields above a few hundreds of gauss. We show that this behavior is in agreement with a model based on the diagonalization of the Zeeman Hamiltonian matrix. With the rapid development of micro-machined vapor-cell-based sensors these results will be of use to magnetometers operating above Earth field, wide-range laser frequency stabilization systems and atomic Faraday filters.