title: Observational predictions for the survival of atomic hydrogen in simulated Fornax-like galaxy clusters

abstract: The presence of dense, neutral hydrogen clouds in the hot, diffuse intra-group and intra-cluster medium is an important clue to the physical processes controlling the survival of cold gas and sheds light on cosmological baryon flows in massive halos. Advances in numerical modeling and observational surveys means that theory and observational comparisons are now possible. In this paper, we use the high-resolution TNG50 cosmological simulation to study the HI distribution in seven halos with masses similar to the Fornax galaxy cluster. Adopting observational sensitivities similar to the MeerKAT Fornax Survey (MFS), an ongoing HI survey that will probe to column densities of $10^{18}$ cm$^{-2}$, we find that Fornax-like TNG50 halos have an extended distribution of neutral hydrogen clouds. Within one virial radius, we predict the MFS will observe a total HI covering fraction around $\sim$ 12\% (mean value) for 10 kpc pixels and 6\% for 2 kpc pixels. If we restrict this to gas more than 10 half-mass radii from galaxies, the mean values only decrease mildly, to 10\% (4\%) for 10 (2) kpc pixels (albeit with significant halo-to-halo spread). Although there are large amounts of HI outside of galaxies, the gas seems to be associated with satellites, judging both by the visual inspection of projections and by comparison of the line of sight velocities of galaxies and intracluster HI.


title: Superdiffusive transport on lattices with nodal impurities

abstract: We show that 1D lattice models exhibit superdiffusive transport in the presence of random "nodal impurities" in the absence of interaction. Here a nodal impurity is defined as a localized state, the wave function of which has zeros (nodes) in momentum space. The dynamics exponent $z$, a defining quantity for transport behaviors, is computed to establish this result. To be specific, in a disordered system having only nodal impurities, the dynamical exponent $z=4n/(4n-1)$ where $n$ is the order of the node. If the system has time reversal, the nodes appear in pairs and the dynamical exponent can be enhanced to $z=8n/(8n-1)$. As $1<z<2$, both cases indicate superdiffusive transport.


title: Notes on the Practical Application of Nested Sampling: MultiNest, (Non)convergence, and Rectification

abstract: Nested sampling is a promising tool for Bayesian statistical analysis because it simultaneously performs parameter estimation and facilitates model comparison. MultiNest is one of the most popular nested sampling implementations, and has been applied to a wide variety of problems in the physical sciences. However, MultiNest results are frequently unreliable, and accompanying convergence tests are a necessary component of any analysis. Using simple, analytically tractable test problems, I illustrate how MultiNest (1) can produce systematically biased estimates of the Bayesian evidence, which are more significantly biased for problems of higher dimensionality; (2) can derive posterior estimates with errors on the order of $\sim100\%$; (3) is more likely to underestimate the width of a credible interval than to overestimate it - to a minor degree for smooth problems, but much more so when sampling noisy likelihoods. Nevertheless, I show how MultiNest can be used to jump-start Markov chain Monte Carlo sampling or more rigorous nested sampling techniques, potentially accelerating more trustworthy measurements of posterior distributions and Bayesian evidences, and overcoming the challenge of Markov chain Monte Carlo initialization.


title: The Renormalization Group for Large-Scale Structure: Origin of Galaxy Stochasticity

abstract: The renormalization group equations for large-scale structure (RG-LSS) describe how the bias and stochastic (noise) parameters -- both of matter and biased tracers such as galaxies -- evolve as a function of the cutoff $\Lambda$ of the effective field theory. In previous work, we derived the RG-LSS equations for the bias parameters using the Wilson-Polchinski framework. Here, we extend these results to include stochastic contributions, corresponding to terms in the effective action that are higher order in the current $J$. We show that the RG equations exhibit an interesting, previously unnoticed structure at all orders in $J$, which implies that a single nonlinear bias term immediately generates all stochastic moments through RG evolution. We then derive the nonlinear RG evolution of the (leading-derivative) stochastic parameters for all $n$-point functions, and show that this evolution is controlled by a different, lower scale than the nonlinear scale. This has implications for the optimal choice of the renormalization scale when comparing the theory with data to obtain cosmological constraints.


title: Quick recipes for gravitational-wave selection effects

abstract: Accurate modeling of selection effects is a key ingredient to the success of gravitational-wave astronomy. The detection probability plays a crucial role in both statistical population studies, where it enters the hierarchical Bayesian likelihood, and astrophysical modeling, where it is used to convert predictions from population-synthesis codes into observable distributions. We review the most commonly used approximations, extend them, and present some recipes for a straightforward implementation. These include a closed-form expression capturing both multiple detectors and noise realizations written in terms of the so-called Marcum Q-function and a ready-to-use mapping between signal-to-noise ratio thresholds and false-alarm rates from state-of-the-art detection pipelines. The bias introduced by approximating the matched filter signal-to-noise ratio with the optimal signal-to-noise ratio is not symmetric: sources that are nominally below threshold are more likely to be detected than sources above threshold are to be missed. Using both analytical considerations and software injections in detection pipelines, we confirm that including noise realizations when estimating the selection function introduces an average variation of a few %. This effect is most relevant for large catalogs and specific subpopulations of sources at the edge of detectability (e.g. high redshifts).


title: Type-I two-Higgs-doublet model and gravitational waves from domain walls bounded by strings

abstract: The spontaneous breaking of a $U(1)$ symmetry via an intermediate discrete symmetry may yield a hybrid topological defect of "domain walls bounded by cosmic strings". The decay of this defect network leads to a unique gravitational wave signal spanning many orders in observable frequencies, that can be distinguished from signals generated by other sources. We investigate the production of gravitational waves from this mechanism in the context of the type-I two-Higgs-doublet model extended by a $U(1)_R$ symmetry, that simultaneously accommodates the seesaw mechanism, anomaly cancellation, and eliminates flavour-changing neutral currents. The gravitational wave spectrum produced by the string-bounded-wall network can be detected for $U(1)_R$ breaking scale from $10^{12}$ to $10^{15}$ GeV in forthcoming interferometers including LISA and Einstein Telescope, with a distinctive $f^{3}$ slope and inflexion in the frequency range between microhertz and hertz.


title: Gravitational wave signatures of post-fragmentation reheating

abstract: After cosmic inflation, coherent oscillations of the inflaton field about a monomial potential $V(\phi)\sim \phi^k$ result in an expansion phase characterized by a stiff equation-of-state $w\simeq(k-2)/(k+2)$. Sourced by the oscillating inflaton condensate, parametric (self)resonant effects can induce the exponential growth of inhomogeneities eventually backreacting and leading to the fragmentation of the condensate. In this work, we investigate realizations of inflation giving rise to such dynamics, assuming an inflaton weakly coupled to its decay products. As a result, the transition to a radiation-dominated universe, i.e. reheating, occurs after fragmentation. We estimate the consequences on the production of gravitational waves by computing the contribution induced by the stiff equation-of-state era in addition to the signal generated by the fragmentation process for $k=4,6,8,10$. Our results are independent of the reheating temperature provided that reheating is achieved posterior to fragmentation. Our work shows that the dynamics of such weakly-coupled inflaton scenario can actually result in characteristic gravitational wave spectra with frequencies from Hz to GHz, in the reach of future gravitational wave observatories, in addition to the complementarity between upcoming detectors in discriminating (post)inflation scenarios. We advocate the need of developing high-frequency gravitational wave detectors to gain insight into the dynamics of inflation and reheating.


title: Flavor's Delight

abstract: Discrete flavor symmetries provide a promising approach to understand the flavor sector of the standard model of particle physics. Top-down (TD) explanations from string theory reveal two different types of such flavor symmetries: traditional and modular flavor symmetries that combine to the eclectic flavor group. There have been many bottom-up (BU) constructions to fit experimental data within this scheme. We compare TD and BU constructions to identify the most promising groups and try to give a unified description. Although there is some progress in joining BU and TD approaches, we point out some gaps that have to be closed with future model building.


title: Dirac leptogenesis from asymmetry wash-in via scatterings

abstract: Leptogenesis typically requires the introduction of heavy particles whose out-of-equilibrium decays are essential for generating a matter-antimatter asymmetry, according to one of Sakharov's conditions. We demonstrate that in Dirac leptogenesis, scatterings between the light degrees of freedom - Standard Model particles plus Dirac neutrinos - are sufficient to generate the asymmetry. Due to its vanishing source term in the Boltzmann equations, the asymmetry of right-handed neutrinos solely arises through wash-in processes. Sakharov's conditions are satisfied because the right-handed neutrino partners are out of equilibrium. Consequently, heavy degrees of freedom never needed to be produced in the early universe, allowing for a reheating temperature well below their mass scale. Considering a minimal leptoquark model, we discuss the viable parameter space along with the observational signature of an increased number of effective neutrinos in the early universe.


title: Disentangling spin excitation continua in classical and quantum magnets using 2D nonlinear spectroscopy

abstract: Inelastic neutron scattering (INS) has traditionally been one of the primary methods for investigating quantum magnets, particularly in identifying a continuum of excitations as a hallmark of spin fractionalization in quantum spin liquids (QSLs). However, INS faces severe limitations due to its inability to distinguish between such QSL signatures and similar excitation continua arising from highly frustrated magnetic orders with large unit cells or classical spin liquids. In contrast, two-dimensional coherent spectroscopy (2DCS) has emerged as a powerful tool to probe nonlinear excitation dynamics, offering insights into the underlying mechanisms behind these broad spectral features. In this paper, we utilize classical molecular dynamics (MD) techniques to explore the 2DCS responses of frustrated magnets with dominant Kitaev interactions. Comparing the classical and quantum versions of the pure Kitaev model our results indicate both clear similarities, in the form of sharp line features, and clear distinctions, in the locations of these features and in selection rules. Moreover, in the extended $K\Gamma\Gamma'$ model, we show that the 2DCS response of the Kitaev spin liquid is completely distinct from that of large unit cell magnetic orders, despite both generating a broad continuum in INS. Additionally, we demonstrate the extreme sensitivity of classical 2DCS to thermal fluctuations and discuss the potential significance of quantum coherence in experimental settings. Overall, our work illustrates the potential of 2DCS in resolving the complex physics underlying ambiguous spin excitation continua, thereby enhancing our understanding of the dynamics in these frustrated systems.


title: Synchronization-induced violation of thermodynamic uncertainty relations

abstract: Fluctuations affect the functionality of nanodevices. Thermodynamic uncertainty relations (TURs), derived within the framework of stochastic thermodynamics, show that a minimal amount of dissipation is required to obtain a given relative energy current dispersion, that is, current precision has a thermodynamic cost. It is therefore of great interest to explore the possibility that TURs are violated, particularly for quantum systems, leading to accurate currents at lower cost. Here, we show that two quantum harmonic oscillators are synchronized by coupling to a common thermal environment, at strong dissipation and low temperature. In this regime, periodically modulated couplings to a second thermal reservoir, breaking time-reversal symmetry and taking advantage of non-Markovianity of this latter reservoir, lead to strong violation of TURs for local work currents, while maintaining finite output power. Our results pave the way for the use of synchronization in the thermodynamics of precision.


title: No bulk thermal currents in massive Dirac fermions

abstract: We calculate the energy current flowing in the bulk of a (2+1)-dimensional system of massive Dirac fermions and along a (1+1)-dimensional domain wall generated by flipping the sign of the particle mass. We show that, at low temperatures and in the long-wavelenghth limit, the system does not support a bulk thermal Hall current proportional to the temperature gradient. The only such contribution is due to states localised at the domain wall. This puts an end to a controversy existing in the literature and amends previous results obtained via first-order perturbation calculations.


title: IRX-CIGALE: a tailored module for Low-Luminosity AGN

abstract: The spectral energy distribution (SED) of low-luminosity active galactic nuclei (LLAGN) presents unique challenges due to their comparable radiation output to their host galaxies and complex accretion dynamics. We introduce a novel module within the CIGALE framework specifically designed for SED fitting of LLAGN, incorporating both empirical relationships like $L_\mathrm{X}$--$L_\mathrm{12\mu m}$ and physically-based accretion models such as advection-dominated accretion flows (ADAFs) and truncated accretion disks. This allows for more accurate depiction of LLAGN central emissions. Using this module, we analyzed a set of 52 X-ray-detected local galaxies, primarily LINERs and Seyferts, and compared its performance to higher-luminosity AGN from the COSMOS and SDSS datasets. Our results show that the module adeptly estimates bolometric luminosities with high precision, despite significant galaxy contamination. It also introduces a versatile X-ray bolometric correction formula covering a vast range of luminosities. Further, our study explored the $\alpha_\mathrm{ox}$ index, which measures the UV to X-ray emission slope, showing that unlike quasars, LLAGN display either stable or only slightly varying $\alpha_\mathrm{ox}$ values, indicating differing accretion and photon production processes in the low luminosity regime. Additionally, we observed a significant drop of 1.4 dex in specific star formation rates when moving from whole galaxies to a central 9-arcsecond aperture in LLAGN, suggesting potential feedback mechanisms at play. Overall, our findings underscore the importance of a multiwavelength approach in AGN studies, highlighting distinct behaviors of LLAGN compared to quasars, thus enhancing our understanding of LLAGN and providing a framework for future comprehensive AGN population studies.


title: On the mass assembly history of the Milky Way: clues from its stellar halo

abstract: Stellar halos of galaxies retain crucial clues to their mass assembly history. It is in these galactic components that the remains of cannibalised galactic building blocks are deposited. For the case of the Milky Way, the opportunity to analyse the stellar halo's structure on a star-by-star basis in a multi-faceted approach provides a basis from which to infer its past and assembly history in unrivalled detail. Moreover, the insights that can be gained about the formation of the Galaxy not only help constrain the evolution of our Milky Way, but may also help place constraints on the formation of other disc galaxies in the Universe. This paper includes a summary of work undertaken during a PhD thesis aiming to make progress toward answering the most fundamental question in the field of Galactic archaeology: "How did the Milky Way form?" Through the effort to answer this question, we summarise new insights into aspects of the history of assembly and evolution of our Galaxy and measurements of the structure of various of its Galactic components.


title: A Volume-Limited Radio Search for Magnetic Activity in 140 Exoplanets with the Very Large Array

abstract: We present results from a search for radio emission in 77 stellar systems hosting 140 exoplanets, predominantly within 17.5 pc using the Very Large Array (VLA) at $4-8$ GHz. This is the largest and most sensitive search to date for radio emission in exoplanetary systems in the GHz frequency range. We obtained new observations of 58 systems, and analyzed archival observations of an additional 19 systems. Our choice of frequency and volume limit are motivated by radio detections of ultracool dwarfs (UCDs), including T dwarfs with masses at the exoplanet threshold of $\sim\!13\,M_J$. Our surveyed exoplanets span a mass range of $\approx\,10^{-3}-10\,M_J$ and semi-major axes of $\approx\,10^{-2}-10\,$AU. We detect a single target - GJ 3323 (M4) hosting two exoplanets with minimum masses of 2 and 2.3$\,M_\oplus$ - with a circular polarization fraction of $\approx\,40\%$; the radio luminosity agrees with its known X-ray luminosity and the G\"udel-Benz relation for stellar activity suggesting a likely stellar origin, but the high circular polarization fraction may also be indicative of star-planet interaction. For the remaining sources our $3\sigma$ upper limits are generally $L_\nu\lesssim\,10^{12.5}\,\mathrm{erg}\,\mathrm{s}^{-1}\,\mathrm{Hz}^{-1}$, comparable to the lowest radio luminosities in UCDs. Our results are consistent with previous targeted searches of individual systems at GHz frequencies while greatly expanding the sample size. Our sensitivity is comparable to predicted fluxes for some systems considered candidates for detectable star-planet interaction. Observations with future instruments such as the Square Kilometer Array and Next Generation Very Large Array will be necessary to further constrain emission mechanisms from exoplanet systems at GHz frequencies.


title: Action-Angle Variables for Axisymmetric Potentials via Birkhoff Normalization

abstract: We describe a method for calculating action-angle variables in axisymmetric galactic potentials using Birkhoff normalization, a technique from Hamiltonian perturbation theory. An advantageous feature of this method is that it yields explicit series expressions for both the forward and inverse transformations between the action-angle variables and position-velocity data. It also provides explicit expressions for the Hamiltonian and dynamical frequencies as functions of the action variables. We test this method by examining orbits in a Miyamoto-Nagai model potential and compare it to the popular St\"ackel approximation method. When vertical actions are not too large, the Birkhoff normalization method achieves fractional errors smaller than a part in $10^{3}$ and outperforms the St\"ackel approximation. We also show that the range over which Birkhoff normalization provides accurate results can be extended by constructing Pad\'e approximants from the perturbative series expressions developed with the method. Numerical routines in Python for carrying out the Birkhoff normalization procedure are made available.


title: Adaptive atomic basis sets

abstract: Atomic basis sets are widely employed within quantum mechanics based simulations of matter. We introduce a machine learning model that adapts the basis set to the local chemical environment of each atom, prior to the start of self consistent field (SCF) calculations. In particular, as a proof of principle and because of their historic popularity, we have studied the Gaussian type orbitals from the Pople basis set, i.e. the STO-3G, 3-21G, 6-31G and 6-31G*. We adapt the basis by scaling the variance of the radial Gaussian functions leading to contraction or expansion of the atomic orbitals.A data set of optimal scaling factors for C, H, O, N and F were obtained by variational minimization of the Hartree-Fock (HF) energy of the smallest 2500 organic molecules from the QM9 database. Kernel ridge regression based machine learning (ML) prediction errors of the change in scaling decay rapidly with training set size, typically reaching less than 1 % for training set size 2000. Overall, we find systematically lower variance, and consequently the larger training efficiencies, when going from hydrogen to carbon to nitrogen to oxygen. Using the scaled basis functions obtained from the ML model, we conducted HF calculations for the subsequent 30'000 molecules in QM9. In comparison to the corresponding default Pople basis set results we observed improved energetics in up to 99 % of all cases. With respect to the larger basis set 6-311G(2df,2pd), atomization energy errors are lowered on average by ~31, 107, 11, and 11 kcal/mol for STO-3G, 3-21G, 6-31G and 6-31G*, respectively -- with negligible computational overhead. We illustrate the high transferability of adaptive basis sets for larger out-of-domain molecules relevant to addiction, diabetes, pain, aging.


title: Partial absence of cosine problem in 3d Lorentzian spin foams

abstract: We study the semi-classical limit of the recently proposed coherent spin foam model for (2+1) Lorentzian quantum gravity. Specifically, we analyze the gluing equations derived from the stationary phase approximation of the vertex amplitude. Typically these exhibit two solutions yielding a cosine of the Regge action. However, by inspection of the algebraic equations as well as their geometrical realization, we show in this note that the behavior is more nuanced: when all triangles are either spacelike or timelike, two solutions exist. In any other case, only a single solution is obtained, thus yielding a single Regge exponential.


title: Constellation Dataset: Benchmarking High-Altitude Object Detection for an Urban Intersection

abstract: We introduce Constellation, a dataset of 13K images suitable for research on detection of objects in dense urban streetscapes observed from high-elevation cameras, collected for a variety of temporal conditions. The dataset addresses the need for curated data to explore problems in small object detection exemplified by the limited pixel footprint of pedestrians observed tens of meters from above. It enables the testing of object detection models for variations in lighting, building shadows, weather, and scene dynamics. We evaluate contemporary object detection architectures on the dataset, observing that state-of-the-art methods have lower performance in detecting small pedestrians compared to vehicles, corresponding to a 10% difference in average precision (AP). Using structurally similar datasets for pretraining the models results in an increase of 1.8% mean AP (mAP). We further find that incorporating domain-specific data augmentations helps improve model performance. Using pseudo-labeled data, obtained from inference outcomes of the best-performing models, improves the performance of the models. Finally, comparing the models trained using the data collected in two different time intervals, we find a performance drift in models due to the changes in intersection conditions over time. The best-performing model achieves a pedestrian AP of 92.0% with 11.5 ms inference time on NVIDIA A100 GPUs, and an mAP of 95.4%.


title: Seesaw Limit of the Nelson-Barr Mechanism

abstract: We investigate how the solution to the strong CP problem and the explanation for the observed fermion mass hierarchies can be intrinsically related. Specifically, we explore the Nelson-Barr mechanism and identify its "seesaw limit", where light quark masses are suppressed by large CP-violating terms. Upon adding three (two) vector-like quarks that mix with the down-type (up-type) quark sector of the Standard Model, we demonstrate how the lack of CP violation in the strong sector and the observed quark mass hierarchy can be simultaneously achieved.


title: Bounds on $T\bar {T}$ deformation from entanglement

abstract: Motivated by the existence of complex spectrum in $T\bar T$-deformed CFTs, in this paper we revisit the broadly studied topic of (holographic) entanglement entropy in the deformed theory to investigate its complex behaviour. As a concrete example, we show that in case of a 1+1 dimensional holographic CFT at finite temperature $\beta^{-1}$ and chemical potential $\Omega$, the holographic entanglement entropy in the deformed theory remains to be real only within the range $-\frac{\beta^2}{8\pi^2}\frac{(1-\Omega^2)^2}{\Omega^2}< \mu < \frac{\beta^2}{8\pi^2}(1-\Omega^2) $ of the deformation parameter. While the upper bound overlaps with the familiar Hagedorn bound in the deformed theory, the novel lower bound on the negative values of the deformation parameter does not show up in thermodynamic quantities. However, from a holographic perspective we show that this intriguing lower bound is related to a spacelike to null transition of the associated Ryu-Takayanagi surface in the deformed geometry. We also investigate the Quantum Null Energy Condition in the deformed theory, within its regime of validity.


title: Fuzzing MLIR by Synthesizing Custom Mutations

abstract: Multi-Level Intermediate Representation (MLIR) is an effort to enable faster compiler development by providing an extensible framework for downstream developers to define custom IRs with MLIR dialects. MLIR dialects define new IRs that are tailored for specific domains. The diversity and rapid evolution of these IRs make it impractical to pre-define custom generator logic for every available dialect. We design a new approach called SynthFuzz that automatically infers and applies custom mutations from existing tests. Inferred custom mutations are parameterized and context-dependent such that they can be concretized depending on the target context. By doing this, we obviate the need to manually write custom mutations for newly introduced MLIR dialects. Further, SynthFuzz increases the chance of finding effective edit locations and reduces the chance of inserting invalid edit content by performing k-ancestor-prefix and l-sibling-postfix matching. We compare SynthFuzz to three baselines: Grammarinator -- a grammar-based fuzzer without custom mutators, MLIRSmith -- a custom test generator for MLIR, and NeuRI -- a custom test generator with support for parameterized generation. We conduct this comparison on 4 different MLIR projects where each project defines a new set of MLIR dialects that would take months of effort to manually write custom input generation and mutation logic. We show that SynthFuzz on average improves input diversity by 1.51$\times$, which increases branch coverage by 1.16$\times$. Further, we show that our context dependent custom mutation increases the proportion of valid tests by up to 1.11$\times$, indicating that SynthFuzz correctly concretizes its parameterized mutations with respect to the target context. Mutation parameterization reduces the fraction of tests violating general MLIR constraints by 0.57$\times$, increasing the time spent fuzzing dialect-specific code.


title: On the calibration of ultra-high energy EASs at the Yakutsk array and Telescope Array

abstract: An analysis of calibrations of extensive air showers with zenith angles $\theta \le 50^{\circ}$ and energies $E_{\text{SD}} \ge 10^{18.5}$ eV was carried out in experiments at the Yakutsk array and Telescope Array. The values of $E_{\text{SD}}$ were determined from particle densities measured with ground-based scintillation detectors at a distance $r = 800$ m from shower axis. Measured densities were compared with the values obtained in simulations preformed with the use of CORSIKA code within the framework of QGSJet-II.04 hadron interaction model for primary protons. For showers with $\theta = 0^{\circ}$ the $E_{\text{SD}}$ estimates of both arrays are very close, and their energy spectra are similar in shape and absolute value. Another Telescope Array calibration, based on measuring the EAS fluorescent radiation with optical detectors, gives underestimated energy $E_{\text{FD}} = 0.787 \times E_{\text{SD}}$.


title: Comparing advanced-era interferometric gravitational-wave detector network configurations: sky localization and source properties

abstract: The expansion and upgrade of the global network of ground-based gravitational wave detectors promises to improve our capacity to infer the sky-localization of transient sources, enabling more effective multi-messenger follow-ups. At the same time, the increase in the signal-to-noise ratio of detected events allows for more precise estimates of the source parameters. This study aims to assess the performance of advanced-era networks of ground-based detectors, focusing on the Hanford, Livingston, Virgo, and KAGRA instruments. We use full Bayesian parameter estimation procedures to predict the scientific potential of a network. Assuming a fixed LIGO configuration, we find that the addition of the Virgo detector is beneficial to the sky localization starting from a binary neutron star horizon distance of 20 Mpc and improves significantly from 40 Mpc onwards for both a single and double LIGO detector network, reducing the inferred mean sky-area by up to 95%. Similarly, the KAGRA detector tightens the constraints, starting from a sensitivity range of 10 Mpc. Looking at highly-spinning binary black holes, we find significant improvements with increasing sensitivity in constraining the intrinsic source parameters when adding Virgo to the two LIGO detectors. Finally, we also examine the impact of the low-frequency cut-off data on the signal-to-noise ratio. We find that existing 20 Hz thresholds are sufficient and propose a metric to monitor this to study detector performance. Our findings quantify how future enhancements in detector sensitivity and network configurations will improve the localization of gravitational wave sources and allow for more precise identification of their intrinsic properties.


title: Universal fragmentation in annihilation reactions with constrained kinetics

abstract: In reaction-diffusion models of annihilation reactions in low dimensions, single-particle dynamics provides a bottleneck for reactions, leading to an anomalously slow approach to the empty state. Here, we construct a reaction model with a reciprocal bottleneck on particle dynamics where single-particle motion conserves the center of mass. We show that such a constrained reaction-diffusion dynamics does not approach an empty state but freezes at late times in a state with fragmented particle clusters, and that the late-time dynamics and asymptotic density are universal. Our setup thus constitutes a minimal model for the fragmentation of a one-dimensional lattice into independent particle clusters, and we provide exact results for the final density in the large-reaction rate limit. We suggest that the universal reaction dynamics could be observable in experiments with cold atoms or in the Auger recombination of exciton gases.


title: The galaxy-galaxy strong lensing cross section and the internal distribution of matter in {\Lambda}CDM substructure

abstract: Strong gravitational lensing offers a powerful probe of the detailed distribution of matter in lenses, while magnifying and bringing faint background sources into view. Observed strong lensing by massive galaxy clusters, which are often in complex dynamical states, has also been used to map their dark matter substructures on smaller scales. Deep high resolution imaging has revealed the presence of strong lensing events associated with these substructures, namely galaxy-scale sub-halos. However, an inventory of these observed galaxy-galaxy strong lensing (GGSL) events is noted to be discrepant with state-of-the-art {\Lambda}CDM simulations. Cluster sub-halos appear to be over-concentrated compared to their simulated counterparts yielding an order of magnitude higher value of GGSL. In this paper, we explore the possibility of resolving this observed discrepancy by redistributing the mass within observed cluster sub-halos in ways that are consistent within the {\Lambda}CDM paradigm of structure formation. Lensing mass reconstructions from data provide constraints on the mass enclosed within apertures and are agnostic to the detailed mass profile within them. Therefore, as the detailed density profile within cluster sub-halos currently remains unconstrained by data, we are afforded the freedom to redistribute the enclosed mass. We investigate if rearranging the mass to a more centrally concentrated density profile helps alleviate the GGSL discrepancy. We report that refitting cluster sub-halos to the ubiquitous {\Lambda}CDM-motivated Navarro-Frenk-White profile, and further modifying them to include significant baryonic components, does not resolve this tension. A resolution to this persisting GGSL discrepancy may require more careful exploration of alternative dark matter models.


title: Simultaneous Estimation of Shape and Force along Highly Deformable Surgical Manipulators Using Sparse FBG Measurement

abstract: Recently, fiber optic sensors such as fiber Bragg gratings (FBGs) have been widely investigated for shape reconstruction and force estimation of flexible surgical robots. However, most existing approaches need precise model parameters of FBGs inside the fiber and their alignments with the flexible robots for accurate sensing results. Another challenge lies in online acquiring external forces at arbitrary locations along the flexible robots, which is highly required when with large deflections in robotic surgery. In this paper, we propose a novel data-driven paradigm for simultaneous estimation of shape and force along highly deformable flexible robots by using sparse strain measurement from a single-core FBG fiber. A thin-walled soft sensing tube helically embedded with FBG sensors is designed for a robotic-assisted flexible ureteroscope with large deflection up to 270 degrees and a bend radius under 10 mm. We introduce and study three learning models by incorporating spatial strain encoders, and compare their performances in both free space and constrained environments with contact forces at different locations. The experimental results in terms of dynamic shape-force sensing accuracy demonstrate the effectiveness and superiority of the proposed methods.


title: An unsupervised learning-based shear wave tracking method for ultrasound elastography

abstract: Shear wave elastography involves applying a non-invasive acoustic radiation force to the tissue and imaging the induced deformation to infer its mechanical properties. This work investigates the use of convolutional neural networks to improve displacement estimation accuracy in shear wave imaging. Our training approach is completely unsupervised, which allows to learn the estimation of the induced micro-scale deformations without ground truth labels. We also present an ultrasound simulation dataset where the shear wave propagation has been simulated via finite element method. Our dataset is made publicly available along with this paper, and consists in 150 shear wave propagation simulations in both homogenous and hetegeneous media, which represents a total of 20,000 ultrasound images. We assessed the ability of our learning-based approach to characterise tissue elastic properties (i.e., Young's modulus) on our dataset and compared our results with a classical normalised cross-correlation approach.


title: Taming False Positives in Out-of-Distribution Detection with Human Feedback

abstract: Robustness to out-of-distribution (OOD) samples is crucial for safely deploying machine learning models in the open world. Recent works have focused on designing scoring functions to quantify OOD uncertainty. Setting appropriate thresholds for these scoring functions for OOD detection is challenging as OOD samples are often unavailable up front. Typically, thresholds are set to achieve a desired true positive rate (TPR), e.g., $95\%$ TPR. However, this can lead to very high false positive rates (FPR), ranging from 60 to 96\%, as observed in the Open-OOD benchmark. In safety-critical real-life applications, e.g., medical diagnosis, controlling the FPR is essential when dealing with various OOD samples dynamically. To address these challenges, we propose a mathematically grounded OOD detection framework that leverages expert feedback to \emph{safely} update the threshold on the fly. We provide theoretical results showing that it is guaranteed to meet the FPR constraint at all times while minimizing the use of human feedback. Another key feature of our framework is that it can work with any scoring function for OOD uncertainty quantification. Empirical evaluation of our system on synthetic and benchmark OOD datasets shows that our method can maintain FPR at most $5\%$ while maximizing TPR.


title: Entropy production of run-and-tumble particles

abstract: We analyze the entropy production in run-and-tumble models. After presenting the general formalism in the framework of the Fokker-Planck equations in one space dimension, we derive some known exact results in simple physical situations (free run-and-tumble particles and harmonic confinement). We then extend the calculation to the case of anisotropic motion (different speeds and tumbling rates for right and left oriented particles), obtaining exact expressions of the entropy production rate. We conclude by discussing the general case of heterogeneous run-and-tumble motion described by space-dependent parameters and extending the analysis to the case of d-dimensional motions.


title: A Notion of Uniqueness for the Adversarial Bayes Classifier

abstract: We propose a new notion of uniqueness for the adversarial Bayes classifier in the setting of binary classification. Analyzing this concept produces a simple procedure for computing all adversarial Bayes classifiers for a well-motivated family of one dimensional data distributions. This characterization is then leveraged to show that as the perturbation radius increases, certain the regularity of adversarial Bayes classifiers improves. Various examples demonstrate that the boundary of the adversarial Bayes classifier frequently lies near the boundary of the Bayes classifier.


title: Attributing Responsibility in AI-Induced Incidents: A Computational Reflective Equilibrium Framework for Accountability

abstract: The pervasive integration of Artificial Intelligence (AI) has introduced complex challenges in the responsibility and accountability in the event of incidents involving AI-enabled systems. The interconnectivity of these systems, ethical concerns of AI-induced incidents, coupled with uncertainties in AI technology and the absence of corresponding regulations, have made traditional responsibility attribution challenging. To this end, this work proposes a Computational Reflective Equilibrium (CRE) approach to establish a coherent and ethically acceptable responsibility attribution framework for all stakeholders. The computational approach provides a structured analysis that overcomes the limitations of conceptual approaches in dealing with dynamic and multifaceted scenarios, showcasing the framework's explainability, coherence, and adaptivity properties in the responsibility attribution process. We examine the pivotal role of the initial activation level associated with claims in equilibrium computation. Using an AI-assisted medical decision-support system as a case study, we illustrate how different initializations lead to diverse responsibility distributions. The framework offers valuable insights into accountability in AI-induced incidents, facilitating the development of a sustainable and resilient system through continuous monitoring, revision, and reflection.


title: A Closer Look at Classification Evaluation Metrics and a Critical Reflection of Common Evaluation Practice

abstract: Classification systems are evaluated in a countless number of papers. However, we find that evaluation practice is often nebulous. Frequently, metrics are selected without arguments, and blurry terminology invites misconceptions. For instance, many works use so-called 'macro' metrics to rank systems (e.g., 'macro F1') but do not clearly specify what they would expect from such a 'macro' metric. This is problematic, since picking a metric can affect paper findings as well as shared task rankings, and thus any clarity in the process should be maximized. Starting from the intuitive concepts of bias and prevalence, we perform an analysis of common evaluation metrics, considering expectations as found expressed in papers. Equipped with a thorough understanding of the metrics, we survey metric selection in recent shared tasks of Natural Language Processing. The results show that metric choices are often not supported with convincing arguments, an issue that can make any ranking seem arbitrary. This work aims at providing overview and guidance for more informed and transparent metric selection, fostering meaningful evaluation.


title: Superfluid--Bose-glass transition of disordered bosons with long-range hopping in one dimension

abstract: We study the superfluid--Bose-glass transition in a one-dimensional lattice boson model with power-law decaying hopping amplitude $t_{i-j}\sim 1/|i-j|^\alpha$, using bosonization and the nonperturbative functional renormalization group (FRG). When $\alpha$ is smaller than a critical value $\alpha_c<3$, the U(1) symmetry is spontaneously broken, which leads to a density mode with nonlinear dispersion and dynamical exponent $z=(\alpha-1)/2$; the superfluid phase is then stable for sufficiently weak disorder, contrary to the case of short-range hopping where the superfluid phase is destabilized by an infinitesimal disorder when the Luttinger parameter is smaller than $3/2$. In the presence of disorder, long-range hopping has however no effect in the infrared limit and the FRG flow eventually becomes similar to that of a boson system with short-range hopping. This implies that the superfluid phase, when stable, exhibits a density mode with linear dispersion ($z=1$) and the superfluid--Bose-glass transition remains in the Berezinskii-Kosterlitz-Thouless universality class, while the Bose-glass fixed point is insensitive to long-range hopping. We compare our findings with a recent numerical study.


title: PDMS elastic properties: influence of fabrication protocol and test method

abstract: Silicone rubbers have been integral to the rapid development of microfluidic devices and flexible electronics in recent decades. Polydimethylsiloxane, commonly abbreviated as PDMS and produced using the brand name Dow SYLGARD 184, is a ubiquitous such rubber that is renowned for its ease of manufacturing and biocompatibility. SYLGARD 184 is a soft polymer frequently used in the field of mechanics, microfluidics, and electronics given the straightforward ability to manipulate its material properties via tuning base to curing agent mix ratios and curing schedules. However, this tuning process largely occurs on a case by case basis via trial and error, without a comprehensive understanding of how composition, temperature, or mechanical test method my alter the measured elasticity. Here we compare the reported elastic response of PDMS SYLGARD 184 obtained using a range of mechanical testing methods and compositions to investigate the variability. We also include previously unreported experimental results obtained in our lab using Volume Controlled Cavitation Expansion (VCCE). Both testing method and cure schedule (time and temperature of curing) are found to strongly influence the measured elastic response resulting in shear moduli that range over 3 orders of magnitude for chemical compositions that are reported to be the same. While tension testing is a common test method in mechanical analysis, the wide ranging moduli for stiff PDMS and complete inability to measure softer PDMS compositions reveal the limits of this standard method. As researchers in the field of mechanics strive to quantify the properties of increasingly complex biological and composite materials, converging on a standardized measurement of PDMS is necessary, and is a necessary first step for the community.


title: A joint test of unconfoundedness and common trends

abstract: This paper introduces an overidentification test of two alternative assumptions to identify the average treatment effect on the treated in a two-period panel data setting: unconfoundedness and common trends. Under the unconfoundedness assumption, treatment assignment and post-treatment outcomes are independent, conditional on control variables and pre-treatment outcomes, which motivates including pre-treatment outcomes in the set of controls. Conversely, under the common trends assumption, the trend and the treatment assignment are independent, conditional on control variables. This motivates employing a Difference-in-Differences (DiD) approach by comparing the differences between pre- and post-treatment outcomes of the treatment and control group. Given the non-nested nature of these assumptions and their often ambiguous plausibility in empirical settings, we propose a joint test using a doubly robust statistic that can be combined with machine learning to control for observed confounders in a data-driven manner. We discuss various causal models that imply the satisfaction of either common trends, unconfoundedness, or both assumptions jointly, and we investigate the finite sample properties of our test through a simulation study. Additionally, we apply the proposed method to five empirical examples using publicly available datasets and find the test to reject the null hypothesis in two cases.


title: Stable Symmetry-Protected Topological Phases in Systems with Heralded Noise

abstract: We present a family of local quantum channels whose steady-states exhibit stable mixed-state symmetry-protected topological (SPT) order. Motivated by recent experimental progress on "erasure conversion" techniques that allow one to identify (\emph{herald}) decoherence processes, we consider open systems with biased erasure noise, which leads to strongly symmetric heralded errors. We utilize this heralding to construct a local correction protocol that effectively confines errors into short-ranged pairs in the steady-state. Using a combination of numerical simulations and mean-field analysis, we show that our protocol stabilizes SPT order against a sufficiently low rate of decoherence. As the rate of heralded noise increases, SPT order is eventually lost through a directed percolation transition. We further find that while introducing unheralded errors destroys SPT order in the limit of long length- and time-scales, the correction protocol is sufficient for ensuring that local SPT order persists, with a correlation length that diverges as $\xi \sim (1-f_e)^{-1/2}$, where $f_e$ is the fraction of errors that are heralded.


title: Dynamics of GN-z11 Explored by JWST Integral Field Spectroscopy: Gaseous Rotating Disk at z=10.60 Suggestive of Weak Feedback?

abstract: We investigate the dynamics of GN-z11, a luminous galaxy at $z=10.60$, carefully analyzing the public deep integral field spectroscopy (IFS) data taken with JWST NIRSpec IFU. While the observations of the IFS data originally targeted a He II clump near GN-z11, we find that C III]$\lambda\lambda1907,1909$ emission from ionized gas at GN-z11 is bright and spatially extended significantly beyond the point-spread function (PSF) in contrast with the GN-z11's compact UV-continuum morphology. The spatially extended C III] emission of GN-z11 shows a velocity gradient, red- and blue-shifted components in the NE and SW directions, respectively, which cannot be explained by the variation of [C III]$\lambda$1907/C III]$\lambda$1909 line ratios. We perform forward modeling with GalPak$^\mathrm{3D}$, including the effects of PSF smearing and line blending, and find that the best-fit model is a nearly edge-on disk with a rotation velocity of $v_\mathrm{rot}$=$376_{-151}^{+110}$ km s$^{-1}$, a velocity dispersion of $\sigma_v=113_{-48}^{+24}$ km s$^{-1}$, and a ratio of $v_\mathrm{rot}/\sigma_v=3.3_{-1.5}^{+1.7}$, indicative of a rotation-dominated disk at $z=10.6$. Interestingly, the disk rotation velocity is faster than the circular velocity at the virial radius, $v_\mathrm{c}(r_{200})=205_{-34}^{+28}$ km s$^{-1}$, estimated from the stellar mass, suggesting a compact disk produced under weak feedback such predicted in numerical simulations. In fact, the half-light radius of the C III] emitting gas disk is only $294\pm45$ pc, while the one of the stellar UV component is even smaller, $196\pm12$ pc. While higher S/N data are necessary for a conclusion, these observational results would suggest that GN-z11 has a fast-rotating gaseous disk whose center possesses luminous stellar components or AGN providing weak feedback.


title: Precise Mass, Orbital motion and Stellar properties of the M-dwarf binary LP 349-25AB

abstract: LP~349$-$25 is a well studied close stellar binary system comprised of two late M dwarf stars, both stars close to the limit between star and brown dwarf. This system was previously identified as a source of GHz radio emission. We observed LP~349$-$25AB in 11 epochs in 2020$-$2022, detecting both components in this nearby binary system using the Very Long Baseline Array (VLBA). We fit simultaneously the VLBA absolute astrometric positions together with existing relative astrometric observations derived from optical/infrared observations with a set of algorithms that use non-linear least-square, Genetic Algorithm and Markov Chain Montecarlo methods to determine the orbital parameters of the two components. We find the masses of the primary and secondary components to be 0.08188 $\pm$ 0.00061 $M\odot$, and 0.06411 $\pm$ 0.00049 $M_\odot$, respectively, representing one of the most precise mass estimates of any UCDs to date. The primary is an UCD of 85.71$\pm$0.64 M$_{Jup}$, while the secondary has a mass consistent with being a Brown Dwarf of 67.11 $\pm$ 0.51 $M_{Jup}$. This is one of the very few direct detections of a Brown Dwarf with VLBA observations. We also find a distance to the binary system of 14.122 $\pm$ 0.057 pc. Using Stellar Evolutionary Models, we find the model-derived stellar parameters of both stars. In particular, we obtain a model-derived age of 262 Myr for the system, which indicates that LP~349$-$25AB is composed of two pre-main-sequence stars. In addition, we find that the secondary star is significantly less evolved that the primary star.


title: Access to Emergency Services: A New York City Case Study

abstract: Emergency services play a crucial role in safeguarding human life and property within society. In this paper, we propose a network-based methodology for calculating transportation access between emergency services and the broader community. Using New York City as a case study, this study identifies 'emergency service deserts' based on the National Fire Protection Association (NFPA) guidelines, where accessibility to Fire, Emergency Medical Services, Police, and Hospitals are compromised. The results show that while 95% of NYC residents are well-served by emergency services, the residents of Staten Island are disproportionately underserved. By quantifying the relationship between first responder travel time, Emergency Services Sector (ESS) site density, and population density, we discovered a negative power law relationship between travel time and ESS site density. This relationship can be used directly by policymakers to determine which parts of a community would benefit the most from providing new ESS locations. Furthermore, this methodology can be used to quantify the resilience of emergency service infrastructure by observing changes in accessibility in communities facing threats.


title: Examining the robustness of LLM evaluation to the distributional assumptions of benchmarks

abstract: Benchmarks have emerged as the central approach for evaluating Large Language Models (LLMs). The research community often relies on a model's average performance across the test prompts of a benchmark to evaluate the model's performance. This is consistent with the assumption that the test prompts within a benchmark represent a random sample from a real-world distribution of interest. We note that this is generally not the case; instead, we hold that the distribution of interest varies according to the specific use case. We find that (1) the correlation in model performance across test prompts is non-random, (2) accounting for correlations across test prompts can change model rankings on major benchmarks, (3) explanatory factors for these correlations include semantic similarity and common LLM failure points.


title: ML2SC: Deploying Machine Learning Models as Smart Contracts on the Blockchain

abstract: With the growing concern of AI safety, there is a need to trust the computations done by machine learning (ML) models. Blockchain technology, known for recording data and running computations transparently and in a tamper-proof manner, can offer this trust. One significant challenge in deploying ML Classifiers on-chain is that while ML models are typically written in Python using an ML library such as Pytorch, smart contracts deployed on EVM-compatible blockchains are written in Solidity. We introduce Machine Learning to Smart Contract (ML2SC), a PyTorch to Solidity translator that can automatically translate multi-layer perceptron (MLP) models written in Pytorch to Solidity smart contract versions. ML2SC uses a fixed-point math library to approximate floating-point computation. After deploying the generated smart contract, we can train our models off-chain using PyTorch and then further transfer the acquired weights and biases to the smart contract using a function call. Finally, the model inference can also be done with a function call providing the input. We mathematically model the gas costs associated with deploying, updating model parameters, and running inference on these models on-chain, showing that the gas costs increase linearly in various parameters associated with an MLP. We present empirical results matching our modeling. We also evaluate the classification accuracy showing that the outputs obtained by our transparent on-chain implementation are identical to the original off-chain implementation with Pytorch.


title: Detecting fast vanishing loops in complex-analytic germs (and detecting germs that are inner metrically conical)

abstract: Let X be a reduced complex-analytic germ of pure dimension n\ge2, with arbitrary singularities (not necessarily normal or complete intersection). Various homology cycles on Link_\ep[X] vanish at different speeds when \ep\to0. We give a condition ensuring fast vanishing loops on X. The condition is in terms of the discriminant and the covering data for "convenient" coverings X\to (C^n,o). No resolution of singularities is involved. For surface germs (n=2) this condition becomes necessary and sufficient. A corollary for surface germs that are strictly complete intersections detects fast loops via singularities of the projectivized tangent cone of X. Fast loops are the simplest obstructions for X to be inner metrically conical. Hence we get simple necessary conditions to the IMC property. For normal surface germs these conditions are also sufficient. We give numerous classes of non-IMC germs and IMC germs.


title: COCOLA: Coherence-Oriented Contrastive Learning of Musical Audio Representations

abstract: We present COCOLA (Coherence-Oriented Contrastive Learning for Audio), a contrastive learning method for musical audio representations that captures the harmonic and rhythmic coherence between samples. Our method operates at the level of stems (or their combinations) composing music tracks and allows the objective evaluation of compositional models for music in the task of accompaniment generation. We also introduce a new baseline for compositional music generation called CompoNet, based on ControlNet, generalizing the tasks of MSDM, and quantify it against the latter using COCOLA. We release all models trained on public datasets containing separate stems (MUSDB18-HQ, MoisesDB, Slakh2100, and CocoChorales).


title: CarbonCP: Carbon-Aware DNN Partitioning with Conformal Prediction for Sustainable Edge Intelligence

abstract: This paper presents a solution to address carbon emission mitigation for end-to-end edge computing systems, including the computing at battery-powered edge devices and servers, as well as the communications between them. We design and implement, CarbonCP, a context-adaptive, carbon-aware, and uncertainty-aware AI inference framework built upon conformal prediction theory, which balances operational carbon emissions, end-to-end latency, and battery consumption of edge devices through DNN partitioning under varying system processing contexts and carbon intensity. Our experimental results demonstrate that CarbonCP is effective in substantially reducing operational carbon emissions, up to 58.8%, while maintaining key user-centric performance metrics with only 9.9% error rate.


title: Retractors in local positive logic

abstract: We study type spaces and retractors (saturated models) for local positive logic.


title: CriSp: Leveraging Tread Depth Maps for Enhanced Crime-Scene Shoeprint Matching

abstract: Shoeprints are a common type of evidence found at crime scenes and are used regularly in forensic investigations. However, existing methods cannot effectively employ deep learning techniques to match noisy and occluded crime-scene shoeprints to a shoe database due to a lack of training data. Moreover, all existing methods match crime-scene shoeprints to clean reference prints, yet our analysis shows matching to more informative tread depth maps yields better retrieval results. The matching task is further complicated by the necessity to identify similarities only in corresponding regions (heels, toes, etc) of prints and shoe treads. To overcome these challenges, we leverage shoe tread images from online retailers and utilize an off-the-shelf predictor to estimate depth maps and clean prints. Our method, named CriSp, matches crime-scene shoeprints to tread depth maps by training on this data. CriSp incorporates data augmentation to simulate crime-scene shoeprints, an encoder to learn spatially-aware features, and a masking module to ensure only visible regions of crime-scene prints affect retrieval results. To validate our approach, we introduce two validation sets by reprocessing existing datasets of crime-scene shoeprints and establish a benchmarking protocol for comparison. On this benchmark, CriSp significantly outperforms state-of-the-art methods in both automated shoeprint matching and image retrieval tailored to this task.


title: Hall response in interacting bosonic and fermionic ladders

abstract: We use bosonization, retaining band curvature terms, to analyze the Hall response of interacting bosonic and fermionic two-leg ladders threaded by a flux. We derive an explicit expression of the Hall imbalance in a perturbative expansion in the band curvature, retaining fully the interactions. We show that the flux dependence of the Hall imbalance allows to distinguish the two phases (Meissner and Vortex) that are present for a bosonic ladder. For small magnetic field we relate the Hall resistance, both for bosonic and fermionic ladders, to the density dependence of the charge sitffness of the system in absence of flux. Our expression unveil a universal interaction-independent behavior in the Galilean invariant case.


title: DRL2FC: An Attack-Resilient Controller for Automatic Generation Control Based on Deep Reinforcement Learning

abstract: Power grids heavily rely on Automatic Generation Control (AGC) systems to maintain grid stability by balancing generation and demand. However, the increasing digitization and interconnection of power grid infrastructure expose AGC systems to new vulnerabilities, particularly from cyberattacks such as false data injection attacks (FDIAs). These attacks aim at manipulating sensor measurements and control signals by injecting tampered data into the communication mediums. As such, it is necessary to develop innovative approaches that enhance the resilience of AGC systems. This paper addresses this challenge by exploring the potential of deep reinforcement learning (DRL) to enhancing the resilience of AGC systems against FDIAs. To this end, a DRL-based controller is proposed that dynamically adjusts generator setpoints in response to both load fluctuations and potential cyber threats. The controller learns these optimal control policies by interacting with a simulated power system environment that incorporates the AGC dynamics under cyberattacks. The extensive experiments on test power systems subjected to various FDIAs demonstrate the effectiveness of the presented approach in mitigating the impact of cyberattacks.


title: Influence of freestream turbulence and porosity on porous disc-generated wakes

abstract: This study aims to evaluate the effect of freestream turbulence (FST) on wakes produced by discs with different porosity. The wakes are exposed to various freestream turbulence "flavours", where turbulence intensity and integral length scale are independently varied. The turbulent wakes are interrogated through hot-wire anemometry from 3 to 15 diameters downstream of the discs. It is found that discs with low porosity behave similarly to a solid body, both in terms of entrainment behaviour and scaling laws for the centreline mean velocity evolution. Far from the discs, the presence of FST reduces both the wake growth rate and entrainment rate, with a clear effect of both turbulence intensity and integral length scale. As porosity increases, these "solid body" FST effects gradually diminish and are reversed above a critical porosity. The entrainment behaviour in disc-generated wakes is significantly influenced by the presence of large scale coherent-structures, which act as a shield between the wake and the surrounding flow, thus impeding mixing. We found that higher porosity, turbulence intensity, or integral length scale weaken the energy content of these structures, thereby limiting their influence on wake development to a shorter distance downstream of the disc. This, in turn, potentially reduces the influence of large-scale engulfment to the overall entrainment mechanism to a shorter distance downstream of the discs as well. For low porosity discs, freestream turbulence intensity initially promotes near wake growth through the suppression of large-scale structures; however, further downstream, the wakes grow faster when the background is non turbulent.


title: Rotating spintronic terahertz emitter optimized for microjoule pump-pulse energies and megahertz repetition rates

abstract: Spintronic terahertz emitters (STEs) are powerful sources of ultra-broadband single-cycle terahertz (THz) field transients. They work with any pump wavelength, and their polarity and polarization direction are easily adjustable. However, at high pump powers and high repetition rates, STE operation is hampered by a significant increase in the local temperature. Here, we resolve this issue by rotating the STE at a few 100 Hz, thereby distributing the absorbed pump power over a larger area. Our approach permits stable STE operation at a fluence of ~1 mJ/cm$^2$ with up to 18 W pump power at megahertz repetition rates, corresponding to pump-pulse energies of a few 10 $\mu$J and a power density far above the melting threshold of metallic films. The rotating STE is of interest for all ultra-broadband high-power THz applications requiring high repetition rates. As an example, we show that THz pulses with peak fields of 10 kV/cm can be coupled to a THz-lightwave-driven scanning tunneling microscope at 1 MHz repetition rate, demonstrating that the rotating STE can compete with standard THz sources such as LiNbO$_3$.


title: Chandra HETG X-ray Spectra and Variability of $\pi$ Aqr, a $\gamma$ Cas-type Be star

abstract: High-resolution X-ray spectra of $\pi\,$Aqr, a $\gamma\,$Cas-type star, obtained with the Chandra/HETG grating spectrometer, revealed emission lines of H-like ions of Mg, Si, S, and Fe, a strong, hard continuum, and a lack of He-like ions, indicating the presence of very hot thermal plasma. The X-ray light curve showed significant fluctuations, with coherent variability at period of about 3400 seconds in one observation. The hardness ratio was relatively constant except for one observation in which the spectrum was much harder and more absorbed. We interpret the X-ray emission as arising from accretion onto the secondary, which is likely a magnetic white dwarf, an intermediate polar system.


title: A Three-Field Multiscale Method

abstract: "A Three-Field Domain Decomposition Method" is the title of a seminal paper by F. Brezzi and L. D. Marini which introduces a three-field formulation for elliptic partial differential equations. Based on that, we propose the Multiscale-Hybrid-Hybrid Method (MH$^2$M) for the Darcy model, a multiscale finite element method that yields, after a series of formal manipulations, a symmetric positive definite formulation that depends only on the trace of the solution. We show stability and convergence results for a family of finite element spaces and establish relationships with other multiscale finite element methods.


title: A Constructive Real Projective Plane

abstract: The classical theory of plane projective geometry is examined constructively, using both synthetic and analytic methods. The topics include Desargues's Theorem, harmonic conjugates, projectivities, involutions, conics, Pascal's Theorem, poles and polars. The axioms used for the synthetic treatment are constructive versions of the traditional axioms. The analytic construction is used to verify the consistency of the axioms; it is based on the usual model in three-dimensional Euclidean space, using only constructive properties of the real numbers. The methods of strict constructivism, following principles put forward by Errett Bishop, reveal the hidden constructive content of a portion of classical geometry. A number of open problems remain for future studies.


title: Reduced and All-at-Once Approaches for Model Calibration and Discovery in Computational Solid Mechanics

abstract: In the framework of solid mechanics, the task of deriving material parameters from experimental data has recently re-emerged with the progress in full-field measurement capabilities and the renewed advances of machine learning. In this context, new methods such as the virtual fields method and physics-informed neural networks have been developed as alternatives to the already established least-squares and finite element-based approaches. Moreover, model discovery problems are starting to emerge and can also be addressed in a parameter estimation framework. These developments call for a new unified perspective, which is able to cover both traditional parameter estimation methods and novel approaches in which the state variables or the model structure itself are inferred as well. Adopting concepts discussed in the inverse problems community, we distinguish between all-at-once and reduced approaches. With this general framework, we are able to structure a large portion of the literature on parameter estimation in computational mechanics - and we can identify combinations that have not yet been addressed, two of which are proposed in this paper. We also discuss statistical approaches to quantify the uncertainty related to the estimated parameters, and we propose a novel two-step procedure for identification of complex material models based on both frequentist and Bayesian principles. Finally, we illustrate and compare several of the aforementioned methods with mechanical benchmarks based on synthetic and real data.


title: Covariant phase space analysis of Lanczos-Lovelock gravity with boundaries

abstract: This work introduces a novel prescription for the expression of the thermodynamic potentials associated with the couplings of a Lanczos-Lovelock theory. These potentials emerge in theories with multiple couplings, where the ratio between them provide intrinsic length scales that break scale invariance. Our prescription, derived from the covariant phase space formalism, differs from previous approaches by enabling the construction of finite potentials without reference to any background. To do so, we consistently work with finite-size systems with Dirichlet boundary conditions and rigorously take into account boundary and corner terms: including these terms is found to be crucial for relaxing the integrability conditions for phase space quantities that were required in previous works. We apply this prescription to the first law of (extended) thermodynamics for stationary black holes, and derive a version of the Smarr formula that holds for static black holes with arbitrary asymptotic behaviour.


title: Explicit formulae for generalized Stirling and Eulerian numbers

abstract: In this article we generalize the $q$-difference operator due to Carlitz in order to derive explicit sum formulae for several extensions of Stirling numbers of the second kind, including complete homogeneous symmetric functions, complementary symmetric functions, $r$-Whitney numbers and elliptic analogues of rook, Stirling and Lah numbers. Furthermore, we generalize Carlitz' $q$-Eulerian numbers to a Lagrange polynomial extension. We define them by generalizing Worpitzky's identity appropriately, and derive a recursion and an explicit sum formulae. Special cases include $r$-Whitney Eulerian numbers and elliptic Eulerian numbers.


title: High-Redshift Extragalactic Science with the Single Aperture Large Telescope for Universe Studies (SALTUS) Space Observatory

abstract: This paper presents an overview of the high-redshift extragalactic science case for the Single Aperture Large Telescope for Universe Studies (SALTUS) far-infrared NASA probe-class mission concept. Enabled by its 14m primary reflector, SALTUS offers enormous gains in spatial resolution and spectral sensitivity over previous far-IR missions. SALTUS would be a versatile observatory capable of responding to the scientific needs of the extragalactic community in the 2030s, and a natural follow-on to the near- and mid-IR capabilities of JWST. Key early-universe science goals for SALTUS focus on understanding the role of galactic feedback processes in regulating galaxy growth across cosmic time, and charting the rise of metals and dust from the early universe to the present. This paper summarizes these science cases and the performance metrics most relevant for high-redshift observations.


title: Milky Way and Nearby Galaxies Science with the Single Aperture Large Telescope for Universe Studies (\textit{SALTUS}) Space Observatory

abstract: This paper presents an overview of the Milky Way and nearby galaxies science case for the \textit{Single Aperture Large Telescope for Universe Studies} (SALTUS) far-infrared NASA probe-class mission concept. SALTUS offers enormous gains in spatial resolution and spectral sensitivity over previous far-IR missions, thanks to its cold ($<$40~K) 14-m primary mirror. Key Milky Way and nearby galaxies science goals for SALTUS focus on understanding the role of star formation in feedback in the Local Universe. In addition to this science case, SALTUS would open a new window to to of Galactic and extragalactic communities in the 2030s, enable fundamentally new questions to be answered, and be a far-IR analog to the near- and mid-IR capabilities of JWST. This paper summarizes the Milky Way and nearby galaxies science case and plans for notional observing programs in both guaranteed and guest (open) time.


title: Humans prefer interacting with slow, less realistic butterfly simulations

abstract: How should zoomorphic, or bio-inspired, robots indicate to humans that interactions will be safe and fun? Here, a survey is used to measure how human willingness to interact with a simulated butterfly robot is affected by different flight patterns. Flapping frequency, flap to glide ratio, and flapping pattern were independently varied based on a literature review of butterfly and moth flight. Human willingness to interact with these simulations and demographic information were self-reported via an online survey. Low flapping frequency and greater proportion of gliding were preferred, and prior experience with butterflies strongly predicted greater interaction willingness. The preferred flight parameters correspond to migrating butterfly flight patterns that are rarely directly observed by humans and do not correspond to the species that inspired the wing shape of the robot model. The most realistic butterfly simulations were among the least preferred. An analysis of animated butterflies in popular media revealed a convergence on slower, less realistic flight parameters. This iterative and interactive artistic process provides a model for determining human preferences and identifying functional requirements of robots for human interaction. Thus, the robotic design process can be streamlined by leveraging animated models and surveys prior to construction.


title: Piecewise Stochastic Barrier Functions

abstract: This paper presents a novel stochastic barrier function (SBF) framework for safety analysis of stochastic systems based on piecewise (PW) functions. We first outline a general formulation of PW-SBFs. Then, we focus on PW-Constant (PWC) SBFs and show how their simplicity yields computational advantages for general stochastic systems. Specifically, we prove that synthesis of PWC-SBFs reduces to a minimax optimization problem. Then, we introduce three efficient algorithms to solve this problem, each offering distinct advantages and disadvantages. The first algorithm is based on dual linear programming (LP), which provides an exact solution to the minimax optimization problem. The second is a more scalable algorithm based on iterative counter-example guided synthesis, which involves solving two smaller LPs. The third algorithm solves the minimax problem using gradient descent, which admits even better scalability. We provide an extensive evaluation of these methods on various case studies, including neural network dynamic models, nonlinear switched systems, and high-dimensional linear systems. Our benchmarks demonstrate that PWC-SBFs outperform state-of-the-art methods, namely sum-of-squares and neural barrier functions, and can scale to eight dimensional systems.


title: The Importance of Subtleties in the Scaling of the 'Terminal Momentum' For Galaxy Formation Simulations

abstract: In galaxy formation simulations, it is increasingly common to represent supernovae (SNe) at finite resolution (when the Sedov-Taylor phase is unresolved) via hybrid energy-momentum coupling with some 'terminal momentum' $p_{\rm term}$ (depending weakly on ambient density and metallicity) that represents unresolved work from an energy-conserving phase. Numerical implementations can ensure momentum and energy conservation of such methods, but these require that couplings depend on the surrounding gas velocity field (radial velocity $\langle v_{r} \rangle$). This raises the question of whether $p_{\rm term}$ should also be velocity-dependent, which we explore analytically and in simulations. We show that for simple spherical models, the dependence of $p_{\rm term}$ on $\langle v_{r} \rangle$ introduces negligible corrections beyond those already imposed by energy conservation if $\langle v_{r} \rangle \ge 0$. However, for SNe in some net converging flow ($\langle v_{r} \rangle<0$), naively coupling the total momentum when a blastwave reaches the standard cooling/snowplow phase (or some effective cooling time/velocity/temperature criterion) leads to enormous $p_{\rm term}$ and potentially pathological behaviors. We propose an alternative $\Delta$-Momentum formulation which represents the differential SNe effect and show this leads to opposite behavior of $p_{\rm term}$ in this limit. We also consider a more conservative velocity-independent formulation. Testing in numerical simulations, these directly translate to large effects on predicted star formation histories and stellar masses of massive galaxies, explaining differences between some models and motivating further study in idealized simulations.


title: On the Existence of "Maia variables"

abstract: There are different classes of pulsating stars in the H-R diagram. While many of those classes are undisputed, some remain a mystery such as the objects historically called "Maia variables." Whereas the presence of such a class was suggested seven decades ago, no pulsational driving mechanism is known that could excite short-period oscillations in these late B to early A-type stars. Alternative hypotheses that would render the reports of variability of those stars erroneous have been proposed, such as incorrect effective temperatures, binarity or rapid rotation, but no certain conclusions have been reached yet. Therefore, the existence of these variables as a homogeneous class of pulsating star is still under discussion. Meanwhile, many new candidates of these variables have been claimed especially by using photometric observations from space telescopes. In this study, we examined 31 objects that are alleged members of this hypothetical group and carried out detailed spectroscopic and photometric analyses to test the proposed hypotheses for their cause of variability. The $T_{eff}$, log$(g)$, $v$ sin $i$, and chemical abundances of the targets were determined and the $TESS$ photometric data were examined. As a result, we found that most of these targets are located inside the $\delta$ Scuti, $\beta$ Cephei, or SPB star instability strips, a few show evidence for binarity, and others exhibit rapid rotation. We give arguments that none of the apparently rapid pulsations in our targets is caused by a star outside any known instability strip. By extrapolation, we argue that most stars proposed as pulsators outside well-established instability domains are misclassified. Hence there is no sufficient evidence justifying the existence of a class of pulsating stars formerly known as the "Maia variables."


title: IDIL: Imitation Learning of Intent-Driven Expert Behavior

abstract: When faced with accomplishing a task, human experts exhibit intentional behavior. Their unique intents shape their plans and decisions, resulting in experts demonstrating diverse behaviors to accomplish the same task. Due to the uncertainties encountered in the real world and their bounded rationality, experts sometimes adjust their intents, which in turn influences their behaviors during task execution. This paper introduces IDIL, a novel imitation learning algorithm to mimic these diverse intent-driven behaviors of experts. Iteratively, our approach estimates expert intent from heterogeneous demonstrations and then uses it to learn an intent-aware model of their behavior. Unlike contemporary approaches, IDIL is capable of addressing sequential tasks with high-dimensional state representations, while sidestepping the complexities and drawbacks associated with adversarial training (a mainstay of related techniques). Our empirical results suggest that the models generated by IDIL either match or surpass those produced by recent imitation learning benchmarks in metrics of task performance. Moreover, as it creates a generative model, IDIL demonstrates superior performance in intent inference metrics, crucial for human-agent interactions, and aptly captures a broad spectrum of expert behaviors.


title: Record Acceleration of the Two-Dimensional Ising Model Using High-Performance Wafer Scale Engine

abstract: The versatility and wide-ranging applicability of the Ising model, originally introduced to study phase transitions in magnetic materials, have made it a cornerstone in statistical physics and a valuable tool for evaluating the performance of emerging computer hardware. Here, we present a novel implementation of the two-dimensional Ising model on a Cerebras Wafer-Scale Engine (WSE), a revolutionary processor that is opening new frontiers in computing. In our deployment of the checkerboard algorithm, we optimized the Ising model to take advantage of the unique WSE architecture. Specifically, we employed a compressed bit representation storing 16 spins on each int16 word, and efficiently distributed the spins over the processing units enabling seamless weak scaling and limiting communications to only immediate neighboring units. Our implementation can handle up to 754 simulations in parallel, achieving an aggregate of over 61.8 trillion flip attempts per second for Ising models with up to 200 million spins. This represents a gain of up to 148 times over previously reported single-device with a highly optimized implementation on NVIDIA V100 and up to 88 times in productivity compared to NVIDIA H100. Our findings highlight the significant potential of the WSE in scientific computing, particularly in the field of materials modeling.


title: Efficient Variational Quantum Linear Solver for Structured Sparse Matrices

abstract: We develop a novel approach for efficiently applying variational quantum linear solver (VQLS) in context of structured sparse matrices. Such matrices frequently arise during numerical solution of partial differential equations which are ubiquitous in science and engineering. Conventionally, Pauli basis is used for linear combination of unitary (LCU) decomposition of the underlying matrix to facilitate the evaluation the global/local VQLS cost functions. However, Pauli basis in worst case can result in number of LCU terms that scale quadratically with respect to the matrix size. We show that by using an alternate basis one can better exploit the sparsity and underlying structure of matrix leading to number of tensor product terms which scale only logarithmically with respect to the matrix size. Given this new basis is comprised of non-unitary operators, we employ the concept of unitary completion to design efficient quantum circuits for computing the global/local VQLS cost functions. We compare our approach with other related concepts in the literature including unitary dilation and measurement in Bell basis, and discuss its pros/cons while using VQLS applied to Heat equation as an example.


title: A Catalog of Transformations to Remove Smells From Natural Language Tests

abstract: Test smells can pose difficulties during testing activities, such as poor maintainability, non-deterministic behavior, and incomplete verification. Existing research has extensively addressed test smells in automated software tests but little attention has been given to smells in natural language tests. While some research has identified and catalogued such smells, there is a lack of systematic approaches for their removal. Consequently, there is also a lack of tools to automatically identify and remove natural language test smells. This paper introduces a catalog of transformations designed to remove seven natural language test smells and a companion tool implemented using Natural Language Processing (NLP) techniques. Our work aims to enhance the quality and reliability of natural language tests during software development. The research employs a two-fold empirical strategy to evaluate its contributions. First, a survey involving 15 software testing professionals assesses the acceptance and usefulness of the catalog's transformations. Second, an empirical study evaluates our tool to remove natural language test smells by analyzing a sample of real-practice tests from the Ubuntu OS. The results indicate that software testing professionals find the transformations valuable. Additionally, the automated tool demonstrates a good level of precision, as evidenced by a F-Measure rate of 83.70%


title: Optimizing Spectral Phase Transfer in Four-Wave Mixing with Gas-filled Capillaries: A Trade-off Study

abstract: Four-wave mixing (FWM) in gas-filled hollow-core capillaries, a nonlinear optical process that mixes signal and pump photon frequencies to generate idler frequency photons, offers a method for precise spectral phase transfer from signal to idler at ultrashort timescales and extreme powers. However, this regime is challenged by competing linear and nonlinear dynamics, leading to significant trade-offs between spectral phase transfer and conversion efficiency. Our computational investigation focuses on upconversion of femtosecond pulses from the infrared (IR) to the ultraviolet (UV), a range notoriously difficult to manipulate. We explore an intermediate energy regime that strikes an optimal balance between FWM-mediated phase-transfer fidelity and nonlinear conversion efficiency. By adjusting the energy ratios and spectral phase profiles of the input signal, we achieve conversion efficiencies of approximately 5%-15% while maintaining an effectively quasi-linear spectral phase transfer. These findings contribute to establishing first-principles and scaling laws essential for applications such as high-precision imaging, spectroscopy, quantum transduction, and distributed entangled interconnects, facilitating advanced control of ultrafast photonic and electronic wavepackets in quantum materials with unprecedented spatial and temporal precision.


title: PLLaVA : Parameter-free LLaVA Extension from Images to Videos for Video Dense Captioning

abstract: Vision-language pre-training has significantly elevated performance across a wide range of image-language applications. Yet, the pre-training process for video-related tasks demands exceptionally large computational and data resources, which hinders the progress of video-language models. This paper investigates a straight-forward, highly efficient, and resource-light approach to adapting an existing image-language pre-trained model for dense video understanding. Our preliminary experiments reveal that directly fine-tuning pre-trained image-language models with multiple frames as inputs on video datasets leads to performance saturation or even a drop. Our further investigation reveals that it is largely attributed to the bias of learned high-norm visual features. Motivated by this finding, we propose a simple but effective pooling strategy to smooth the feature distribution along the temporal dimension and thus reduce the dominant impacts from the extreme features. The new model is termed Pooling LLaVA, or PLLaVA in short. PLLaVA achieves new state-of-the-art performance on modern benchmark datasets for both video question-answer and captioning tasks. Notably, on the recent popular VideoChatGPT benchmark, PLLaVA achieves a score of 3.48 out of 5 on average of five evaluated dimensions, exceeding the previous SOTA results from GPT4V (IG-VLM) by 9%. On the latest multi-choice benchmark MVBench, PLLaVA achieves 58.1% accuracy on average across 20 sub-tasks, 14.5% higher than GPT4V (IG-VLM). Code is available at https://pllava.github.io/


title: Star-Image Centering with Deep Learning II: HST/WFPC2 Full Field of View

abstract: We present an expanded and improved deep-learning (DL) methodology for determining centers of star images on HST/WFPC2 exposures. Previously, we demonstrated that our DL model can eliminate the pixel-phase bias otherwise present in these undersampled images; however that analysis was limited to the central portion of each detector. In the current work we introduce the inclusion of global positions to account for the PSF variation across the entire chip and instrumental magnitudes to account for nonlinear effects such as charge transfer efficiency. The DL model is trained using a unique series of WFPC2 observations of globular cluster 47 Tuc, data sets comprising over 600 dithered exposures taken in each of two filters, F555W and F814W. It is found that the PSF variations across each chip correspond to corrections of the order of 100 mpix, while magnitude effects are at a level of about 10 mpix. Importantly, pixel-phase bias is eliminated with the DL model; whereas, with a classic centering algorithm, the amplitude of this bias can be up to 40 mpix. Our improved DL model yields star-image centers with uncertainties of 8-10 mpix across the full field of view of WFPC2.


title: Experimental evidence for the $\omega^4$ tail of the nonphononic spectra of glasses

abstract: It is now established that glasses feature low-frequency, nonphononic excitations, in addition to phonons that follow Debye's vibrational density of state (VDoS). Extensive computer studies demonstrated that these nonphononic, glassy excitations follow a universal non-Debye VDoS ${\cal D}_{\rm G}(\omega)\!\sim\!\omega^4$, at low frequencies $\omega$. Yet, due to intrinsic difficulties in disentangling ${\cal D}_{\rm G}(\omega)$ from the total VDoS ${\cal D}(\omega)$, which is experimentally accessible through various scattering techniques, the $\omega^4$ tail of ${\cal D}_{\rm G}(\omega)$ lacked direct experimental support. We develop a procedure to extract ${\cal D}_{\rm G}(\omega)$ from the measured ${\cal D}(\omega)$, based on recent advances in understanding low-frequency excitations in glasses, and apply it to available datasets for diverse glasses. The resulting analysis shows that the $\omega^4$ tail of the nonphononic vibrational spectra of glasses is nontrivially consistent with a broad range of experimental observations. It also further supports that ${\cal D}_{\rm G}(\omega)$ makes an additive contribution to ${\cal D}(\omega)$.


title: Probabilistic Interval Analysis of Unreliable Programs

abstract: Advancement of chip technology will make future computer chips faster. Power consumption of such chips shall also decrease. But this speed gain shall not come free of cost, there is going to be a trade-off between speed and efficiency, i.e accuracy of the computation. In order to achieve this extra speed we will simply have to let our computers make more mistakes in computations. Consequently, systems built with these type of chips will possess an innate unreliability lying within. Programs written for these systems will also have to incorporate this unreliability. Researchers have already started developing programming frameworks for unreliable architectures as such. In the present work, we use a restricted version of C-type languages to model the programs written for unreliable architectures. We propose a technique for statically analyzing codes written for these kind of architectures. Our technique, which primarily focuses on Interval/Range Analysis of this type of programs, uses the well established theory of abstract interpretation. While discussing unreliability of hardware, there comes scope of failure of the hardware components implicitly. There are two types of failure models, namely: 1) permanent failure model, where the hardware stops execution on failure and 2) transient failure model, where on failure, the hardware continues subsequent operations with wrong operand values. In this paper, we've only taken transient failure model into consideration. The goal of this analysis is to predict the probability with which a program variable assumes values from a given range at a given program point.


title: Giant microwave absorption in the vortex lattice in $s$-wave superconductors

abstract: In this article we study microwave absorption in superconductors in the presence of a vortex lattice. We show that in addition to the conventional absorption mechanism associated with the vortex core motion, there is another mechanism of microwave absorption, which is caused by the time-dependence of the quasiparticle density of states outside the vortex cores. This mechanism exists even in the absence of vortex motion and provides the dominant contribution to microwave absorption in a broad interval of physical parameters. At low frequencies, the dissipative part of the microwave conductivity $\sigma(\omega)$ is proportional to the inelastic relaxation time, $\tau_{\mathrm{in}}$, which is typically much larger than the elastic relaxation time, $\tau_{\mathrm{el}}$. At high frequencies $\sigma(\omega)$ is proportional to the quasiparticle diffusion time across the inter-vortex distance, $\tau_{\mathrm D}$, which is still larger than $\tau_{\mathrm{el}}$.


title: Atomistic Modelling of High-Entropy Layered Anodes and Their Electrolyte Interface

abstract: Van der Waals (vdW) heterostructures have attracted intense interest worldwide as they offer several routes to design materials with novel features and wide-ranging applications. Unfortunately, at present, vdW heterostructures are restricted to a small number of stackable layers, due to the weak vdW forces holding adjacent layers together. In this work, we report on computational studies of a bulk vdW material consisting of alternating TiS2 and TiSe2 (TSS) vertically arranged layers as a potential candidate for anode applications. We use density functional theory (DFT) calculations and ab-initio molecular dynamics (AIMD) simulations to explore the effect of high entropy on several electrochemically relevant properties of the bulk heterostructure (TSS-HS) by substituting Mo6+ and Al3+ at the transition metal site (Ti4+). We also study the solvation shell formation at the electrode-electrolyte interface (EEI) using AIMD to determine Li-coordination. Based on the properties computed using DFT and AIMD we propose that high entropy TSS-HS (TSS-HE) might possess improved electrochemical performance over standard TSS-HS. Factors that could improve the performance of TSS-HE are 1) Less structural deformation, 2) Strong bonding (Metal-Oxygen), 3) Better electron mobility, 4) Wider operational voltage window, and 5) Faster Li-ion diffusion. Our observations suggest that 'high entropy' can be an effective strategy to design new anode materials for improving electrochemical performance of Li-ion batteries.


title: Evaluating Class Membership Relations in Knowledge Graphs using Large Language Models

abstract: A backbone of knowledge graphs are their class membership relations, which assign entities to a given class. As part of the knowledge engineering process, we propose a new method for evaluating the quality of these relations by processing descriptions of a given entity and class using a zero-shot chain-of-thought classifier that uses a natural language intensional definition of a class. We evaluate the method using two publicly available knowledge graphs, Wikidata and CaLiGraph, and 7 large language models. Using the gpt-4-0125-preview large language model, the method's classification performance achieves a macro-averaged F1-score of 0.830 on data from Wikidata and 0.893 on data from CaLiGraph. Moreover, a manual analysis of the classification errors shows that 40.9% of errors were due to the knowledge graphs, with 16.0% due to missing relations and 24.9% due to incorrectly asserted relations. These results show how large language models can assist knowledge engineers in the process of knowledge graph refinement. The code and data are available on Github.


title: Higgs Phases and Boundary Criticality

abstract: Motivated by recent work connecting Higgs phases to symmetry protected topological (SPT) phases, we investigate the interplay of gauge redundancy and global symmetry in lattice gauge theories with Higgs fields in the presence of a boundary. The core conceptual point is that a global symmetry associated to a Higgs field, which is pure-gauge in a closed system, acts physically at the boundary under boundary conditions which allow electric flux to escape the system. We demonstrate in both Abelian and non-Abelian models that this symmetry is spontaneously broken in the Higgs regime, implying the presence of gapless edge modes. Starting with the U(1) Abelian Higgs model in 4D, we demonstrate a boundary phase transition in the 3D XY universality class separating the bulk Higgs and confining regimes. Varying the boundary coupling while preserving the symmetries shifts the location of the boundary phase transition. We then consider non-Abelian gauge theories with fundamental and group-valued Higgs matter, and identify the analogous non-Abelian global symmetry acting on the boundary generated by the total color charge. For SU($N$) gauge theory with fundamental Higgs matter we argue for a boundary phase transition in the O($2N$) universality class, verified numerically for $N=2,3$. For group-valued Higgs matter, the boundary theory is a principal chiral model exhibiting chiral symmetry breaking. We further demonstrate this mechanism in theories with higher-form Higgs fields. We show how the higher-form matter symmetry acts at the boundary and can spontaneously break, exhibiting a boundary confinement-deconfinement transition. We also study the electric-magnetic dual theory, demonstrating a dual magnetic defect condensation transition at the boundary. We discuss some implications and extensions of these findings and what they may imply for the relation between Higgs and SPT phases.


title: Quiver connections and bimodules of basic algebras

abstract: Motivated by the problem of classifying quantum symmetries of non-semisimple, finite-dimensional associative algebras, we define a notion of connection between bounded quivers and build a bicategory of bounded quivers and quiver connections. We prove this bicategory is equivalent to a bicategory of basic algebras, bimodules, and intertwiners with some additional structure.