Showing 1–50 of 976 results for author: Davis, C

The Effects of M Star Age Dependent Ultraviolet Emission on Detecting and Interpreting Exoplanet Biosignatures

Authors: C. Evan Davis, Victoria S. Meadows, Evgenya L. Shkolnik, Andrew P. Lincowski, Sarah Peacock, R. O. Parke Loyd, Adam C. Schneider, Travis Barman

Abstract: Given their abundance and observational advantages, M stars will arguably be the best candidates for characterizing and searching for biosignatures on terrestrial exoplanets in the near future. However, photochemistry that can suppress or enhance key biosignature molecules in planetary atmospheres is primarily driven by UV flux from the host M star, which is influenced by stellar activity that dec… ▽ More Given their abundance and observational advantages, M stars will arguably be the best candidates for characterizing and searching for biosignatures on terrestrial exoplanets in the near future. However, photochemistry that can suppress or enhance key biosignature molecules in planetary atmospheres is primarily driven by UV flux from the host M star, which is influenced by stellar activity that decreases with age. Here, we simulate Pre-Industrial Earth-like and Archean Earth-like atmospheres around M4 and M8 stars from 650 Myr to 5 Gyr old. We find that our Pre-Industrial Earth atmospheres around 5 Gyr M stars have up to ten times more CH$_4$ than those around 650 Myr M stars, producing 68% stronger methane bands in NIR transit spectroscopy. Additionally, photochemical shielding from O$_2$ in our Pre-Industrial Earth atmospheres reduces the impact UV-driven photochemistry on composition, while the Archean Earth exhibits larger compositional changes due to weaker shielding from CO$_2$. Lastly, enhanced CO$_2$ photolysis, driven by the strong net UV flux and high Far/Near-UV ratios of 650 Myr and 1 Gyr M stars, cause our Archean Earth-like planets to produce up to 5.4 dex more O$_3$ than when around 5 Gyr M stars. The excess O$_3$ causes the Archean Earth to become half as reflective in the 0.2-0.3 $\mathrmμ$m Hartley band feature in ultraviolet reflectance spectroscopy, which the Habitable Worlds Observatory may be sensitive to. Without the context of the star's real-time, age-dependent UV radiation, this O$_3$ feature could be misinterpreted as a proxy for low, biogenic O$_2$. △ Less

Submitted 19 August, 2026; originally announced August 2026.

Comments: 25 pages, 7 figures, 2 tables

Reproducibility is Not Enough: Artifact Verifiability in Decentralized-Build Package Ecosystems

Authors: Oreofe Solarin, Kelechi Kalu, James C. Davis, Paschal Amusuo

Abstract: Reproducible and verifiable builds increase trust in distributed software artifacts by enabling independent parties to detect artifacts produced by compromised build or release pipelines. However, artifact verification requires more than deterministic builds: a verifier must also recover the source state, build environment, dependencies, and build instructions that produced the artifact. Decentral… ▽ More Reproducible and verifiable builds increase trust in distributed software artifacts by enabling independent parties to detect artifacts produced by compromised build or release pipelines. However, artifact verification requires more than deterministic builds: a verifier must also recover the source state, build environment, dependencies, and build instructions that produced the artifact. Decentralized-build ecosystems make this difficult because artifacts are produced through heterogeneous tools, maintainer-controlled workflows, and fragmented metadata. As a result, it remains unclear how often artifacts in these ecosystems can be independently verified. This paper studies artifact verifiability across four popular decentralized-build package ecosystems. We define an independent verifier model that relies only on registry-derivable metadata and an artifact comparison model with tiered equivalence levels. We implement these models in an Artifact Verification Pipeline and use it to measure artifact verifiability across the target ecosystems. Our results show that, beyond build determinism, verifiability is limited by missing source and build metadata, implicit release transformations, and unconventional build practices. Provenance attestations and embedded VCS metadata improve verification, but they do not provide complete rebuild specifications. These findings identify concrete metadata gaps and ecosystem-level changes needed to make artifact verification practical at package-registry scale. △ Less

Submitted 17 August, 2026; originally announced August 2026.

Comments: 12 pages, 6 figures, 3 tables

LIGO A$^\sharp$: Detector Design and Science Prospects Beyond A+

Authors: L. Sun, K. Kuns, B. J. J. Slagmolen, P. Fritschel, P. Schmidt, B. T. Lantz, S. S. Y. Chua, Divyajyoti, S. W. Ballmer, M. A. Barton, A. V. Cumming, K. L. Dooley, J. C. Driggers, A. Effler, M. Evans, B. Farr, G. González, N. Lu, D. J. Ottaway, C. Palomba, O. J. Piccinni, G. Pratten, S. Raja, A. P. Subhash, P. J. Sutton , et al. (1131 additional authors not shown)

Abstract: We present the LIGO A$^\sharp$ detector concept, an upgrade for the LIGO observatories based on room-temperature interferometers beyond the fifth observing run (O5). Building on the A+ sensitivity, A$^\sharp$ targets broadband sensitivity improvements through heavier test masses, improved suspensions and seismic isolation, increased arm-cavity power, enhanced frequency-dependent squeezing, reduced… ▽ More We present the LIGO A$^\sharp$ detector concept, an upgrade for the LIGO observatories based on room-temperature interferometers beyond the fifth observing run (O5). Building on the A+ sensitivity, A$^\sharp$ targets broadband sensitivity improvements through heavier test masses, improved suspensions and seismic isolation, increased arm-cavity power, enhanced frequency-dependent squeezing, reduced coating thermal noise considering two scenarios, and improved control of mechanical motion and optical modes. We describe the principal design choices, projected noise performance, and corresponding astrophysical prospects. LIGO A$^\sharp$ substantially increases compact-binary detection rates, strengthens population inference, and improves both early-warning times and localization for binary neutron star mergers. The improved sensitivity enables more detailed studies of compact-binary coalescences, including higher-order multipoles, intermediate-mass black holes, remnant black hole ringdown, and the neutron star equation of state. It also broadens the discovery potential for new gravitational-wave sources such as continuous waves and bursts, should enable detection of the stochastic background from compact binary mergers if it remains undetected after O5, and strengthens the role of gravitational-wave detectors as probes of fundamental physics. We discuss key technical challenges and the role of A$^\sharp$ as both a major scientific upgrade for the 2030s and a technology pathfinder for next-generation gravitational-wave observatories, such as Cosmic Explorer. △ Less

Submitted 12 August, 2026; originally announced August 2026.

Comments: 78 pages, 22 figures

Report number: LIGO-P2600307

Constraints on ultralight bosons from merging binary and remnant black holes observed during the second and third parts of the fourth LIGO-Virgo-KAGRA observing run

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, A. G. Abac, A. Abe, I. Abouelfettouh, F. Acernese, K. Ackley, A. Adam, S. Adhicary, D. Adhikari, R. X. Adhikari, V. K. Adkins, S. Afroz, A. Agapito, D. Agarwal, M. Agathos, N. Aggarwal, S. Aggarwal, O. D. Aguiar, I. -L. Ahrend, L. Aiello, A. Ain, P. Ajith, T. Akutsu , et al. (1786 additional authors not shown)

Abstract: We present constraints on ultralight bosons using binary black hole mergers observed in the second and third parts of the fourth LIGO-Virgo-KAGRA observing run. Directed searches are conducted for long-transient gravitational waves from ultralight vector boson clouds around merger remnants, using a hidden-Markov-model (HMM) tracking scheme. We target the remnant black holes formed in the binary co… ▽ More We present constraints on ultralight bosons using binary black hole mergers observed in the second and third parts of the fourth LIGO-Virgo-KAGRA observing run. Directed searches are conducted for long-transient gravitational waves from ultralight vector boson clouds around merger remnants, using a hidden-Markov-model (HMM) tracking scheme. We target the remnant black holes formed in the binary coalescences that produced GW250114 and GW250207. We find no evidence for such signals from either target. Estimating our search sensitivity at a threshold corresponding to a 1% false alarm probability, we thus disfavor vector boson masses in the range of $[2.80, 3.95]\times 10^{-13}$ eV with greater than 90% confidence. In addition, we derive constraints on ultralight scalar and vector bosons from the inferred high spins of the constituent black holes in three binaries, using events GW240515, GW241113, and GW241225_08. The excluded mass ranges in this approach depend on the assumed black-hole ages. At $10^5$ years, corresponding to typical dynamically formed binaries, we exclude scalar and vector bosons in the ranges $[1.39, 6.94]\times 10^{-13}$ eV and $[0.32, 14.4]\times 10^{-13}$ eV at 90% confidence, respectively. △ Less

Submitted 11 August, 2026; originally announced August 2026.

Comments: 27 pages (12 pages author list, 15 pages main paper), 5 figures

Report number: LIGO-P2600218

A Bayesian approach to the long-baseline neutrino oscillation sensitivity of DUNE

Authors: DUNE Collaboration, S. Abbaslu, F. Abd Alrahman, A. Abed Abud, R. Acciarri, M. A. Acero, M. R. Adames, G. Adamov, M. Adamowski, K. Adhikari, C. Adriano, K. Agudelo-Jaramillo, F. Akbar, F. Alemanno, N. S. Alex, L. Aliaga Soplin, A. Alqaisi, O. Alterkait, A. Alton, R. Alvarez, T. Alves, A. Aman, H. Amar, R. M. Amarinei, P. Amedo , et al. (1262 additional authors not shown)

Abstract: The sensitivity of the Deep Underground Neutrino Experiment (DUNE) to neutrino oscillation is evaluated using a Bayesian Markov Chain Monte Carlo (MCMC) approach. This analysis uses the same underlying sensitivity inputs as previous DUNE studies [Eur. Phys. J. C 80, 978 (2020)], and therefore does not present updated DUNE sensitivities, but instead explores the additional inferences accessible usi… ▽ More The sensitivity of the Deep Underground Neutrino Experiment (DUNE) to neutrino oscillation is evaluated using a Bayesian Markov Chain Monte Carlo (MCMC) approach. This analysis uses the same underlying sensitivity inputs as previous DUNE studies [Eur. Phys. J. C 80, 978 (2020)], and therefore does not present updated DUNE sensitivities, but instead explores the additional inferences accessible using a Bayesian approach. We present four-dimensional posterior probability distributions of the oscillation parameters, highlighting the breadth of correlation in the parameter space of interest, especially between $\sin^2 θ_{23}$ and $\sin^2 θ_{13}$. We exploit the flexibility of the Bayesian framework to incorporate parameter constraints post hoc and assess the impact of applying a reactor short-baseline $θ_{13}$ constraint. A significant increase in the sensitivity to the $θ_{23}$ octant is found when including the constraint. Posterior distributions of derived quantities can be easily constructed from MCMC results. This work presents the first study of DUNE's sensitivity to the Jarlskog invariant, $J$, a quantity that provides a parametrisation-independent measure of charge-parity violation in the leptonic sector. △ Less

Submitted 4 August, 2026; originally announced August 2026.

Comments: 20 pages, 5 figures

Report number: FERMILAB-PUB-26-0548-LBNF

The Twentieth Data Release of the Sloan Digital Sky Survey: First All-Sky BOSS Spectra, eROSITA-SDSS-V Mapper Coordinated Observations, and a Preview of the Local Volume Mapper

Authors: SDSS Collaboration, Mojgan Aghakhanloo, David Aguilar, James Aird, Andrés Almeida, Bella Abigail Sanabria Alonso, Hillary Diane Andales, Scott F. Anderson, Stefan Arseneau, Consuelo González Ávila, Shir Aviram, Catarina Aydar, Carles Badenes, Carolina Andonie, Jorge K. Barrera-Ballesteros, Franz E. Bauer, Chad Bender, Michelle A. Berg, F. Besser, Binod Bhattarai, Christian Moni Bidin, Jonathan C. Bird, Dmitry Bizyaev, Guillermo A. Blanc, Alexandra Bonkoski , et al. (251 additional authors not shown)

Abstract: This paper presents the twentieth data release (DR20) from the Sloan Digital Sky Survey, the third data release of its fifth generation (SDSS-V). SDSS-V is a panoptic spectroscopy survey that is mapping the stars, gas, and galaxies through three scientific programs: the Milky Way Mapper (MWM), the Local Volume Mapper (LVM), and the Black Hole Mapper (BHM). DR20 presents the first optical (BOSS) SD… ▽ More This paper presents the twentieth data release (DR20) from the Sloan Digital Sky Survey, the third data release of its fifth generation (SDSS-V). SDSS-V is a panoptic spectroscopy survey that is mapping the stars, gas, and galaxies through three scientific programs: the Milky Way Mapper (MWM), the Local Volume Mapper (LVM), and the Black Hole Mapper (BHM). DR20 presents the first optical (BOSS) SDSS-V spectra from southern hemisphere for the MWM and BHM surveys; new optical MWM and BHM data from the northern hemisphere are also available, for a total over 3 million spectra of 1.5 million stars and half a million galaxies and quasars, with galactic and extragalactic x-ray targets coordinate with eROSITA DR2. DR20 includes integral field spectroscopy maps from LVM of six targets and 169 tiles, spanning Galactic HII regions, planetary nebulae, and nearby galaxies. Additionally, eighteen value added catalogs are also released with DR20, based on SDSS-V MWM and BHM data, and we present a new LVM visualization tool including an RGB HiPS map as a value added product. △ Less

Submitted 28 July, 2026; originally announced July 2026.

Comments: 81 pages, 13 figures, 8 tables

$C$-complexes, Clasp Number, and Triple Linking Number

Authors: Christopher William Davis, David Lawrence, Jack Paulsen, Nathan Phillips

Abstract: A C-complex is a union of Seifert surfaces for the components of a link which intersect each other in clasps. The clasp number of a link is the minimal number of clasps amongst all C-complexes it bounds. It gives a measure of how far a link is form being a boundary link. This paper provides a new lower bound for the number of clasps of all C-complexes bounded by a given 3-component link improving… ▽ More A C-complex is a union of Seifert surfaces for the components of a link which intersect each other in clasps. The clasp number of a link is the minimal number of clasps amongst all C-complexes it bounds. It gives a measure of how far a link is form being a boundary link. This paper provides a new lower bound for the number of clasps of all C-complexes bounded by a given 3-component link improving results of Amundsen-Anderson-D.-Guyer. Furthermore, we construct links that achieve these bounds. In order to do so, we express the triple linking numbers as the area bounded by three curves in the plane, called word curves, and then perform the geometry and discrete optimization needed to minimize the length of these curves. △ Less

Submitted 24 July, 2026; originally announced July 2026.

Comments: 10 pages, 6 figures

MSC Class: 57K10

GWTC-5.0: Tests of General Relativity

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, A. G. Abac, A. Abe, I. Abouelfettouh, F. Acernese, K. Ackley, A. Adam, S. Adhicary, D. Adhikari, R. X. Adhikari, V. K. Adkins, S. Afroz, A. Agapito, D. Agarwal, M. Agathos, N. Aggarwal, S. Aggarwal, O. D. Aguiar, I. -L. Ahrend, L. Aiello, A. Ain, P. Ajith, T. Akutsu , et al. (1800 additional authors not shown)

Abstract: The signals from the LIGO-Virgo-KAGRA network of gravitational-wave (GW) detectors allow us to perform sensitive tests of general relativity (GR) in the dynamical and strong-field regime of gravity. We present the results of seven tests of GR using the observed binary signals in the fifth GW Transient Catalog (GWTC-5.0), i.e., up to and including the second part of the fourth observing run (O4b).… ▽ More The signals from the LIGO-Virgo-KAGRA network of gravitational-wave (GW) detectors allow us to perform sensitive tests of general relativity (GR) in the dynamical and strong-field regime of gravity. We present the results of seven tests of GR using the observed binary signals in the fifth GW Transient Catalog (GWTC-5.0), i.e., up to and including the second part of the fourth observing run (O4b). We restrict our analysis to the confident signals, henceforth called events, observed by at least two detectors that have estimated false alarm rates $\le 10^{-3} \ \rm{yr}^{-1}$. These include 72 events from O4b and five events from the first part of the fourth observing run that are now analyzed due to their increased significance from updated search results, bringing the total number of events for tests of GR in the cumulative GWTC to 168. After subtracting the best-fit waveforms, we find the residuals are consistent with detector noise for all events considered. We also find no strong evidence for additional polarizations beyond those predicted by GR. We perform tests of GW generation, improving the constraints on deviations from the GR post-Newtonian coefficients by factors of 1.2-2.6. Finally, we find overall consistency of the remnants with GR using both time- and frequency-domain methods. For GW240621_195059, postmerger data are consistent with the dominant quadrupolar ($\ell=|m|=2$) mode of a Kerr black hole and its first overtone, with spurious high-frequency content preventing a spectroscopic constraint of GR. In the frequency-domain ringdown analysis, the GR prediction lies in the tails of the combined results, possibly due to the limited catalog size. However, the combined results indicate improved consistency with GR over GWTC-4.0, owing to the contribution of GW250114 with a network matched-filter signal-to-noise ratio of 76.9. Overall, we find no evidence for physics beyond GR. △ Less

Submitted 21 July, 2026; originally announced July 2026.

Comments: 44 pages and 10 figures

Report number: LIGO-P2500781

Software Supply Chains are Dead: Use-Case-Oriented Regeneration

Authors: Tanmay Singla, James C. Davis

Abstract: Modern software development relies on an increasingly doubtful premise: that the up-front implementation savings from adopting a dependency outweighs the maintenance costs. Two changes are reshaping the build-vs.-reuse calculus: software supply chain attacks have raised the cost of external reliance, while generative AI has lowered the cost of local implementation. We envision use-case-oriented re… ▽ More Modern software development relies on an increasingly doubtful premise: that the up-front implementation savings from adopting a dependency outweighs the maintenance costs. Two changes are reshaping the build-vs.-reuse calculus: software supply chain attacks have raised the cost of external reliance, while generative AI has lowered the cost of local implementation. We envision use-case-oriented regeneration as a new software sourcing paradigm that shifts the supply chain from external trust to local verification. We evaluate an agentic workflow that synthesizes only the specific slice of dependency functionality that a repository exercises. Our measurements across 180 repository-dependency pairs suggest that this approach is feasible: the replacements preserve 99.8% of repository-observed behavior across baseline validation checks and reduce the exported API surface by 93%. Software sourcing may evolve toward verifiable repository-specific code synthesis, especially when the required functionality is narrow, stable, and well tested. △ Less

Submitted 14 July, 2026; originally announced July 2026.

Comments: [ESEM'26-ERVR] Proceedings of the 20th International Symposium on Empirical Software Engineering and Measurement (ESEM 2026 Emerging Results, Vision, and Reflection Papers)

Signal selection and model-independent extraction of pionless charged-current muon neutrino cross section using double-differential kinematic imbalance observables on carbon and oxygen with the T2K experiment

Authors: K. Abe, S. Abe, H. Adhikary, R. Akutsu, H. Alarakia-Charles, Y. I. Alj Hakim, S. Alonso Monsalve, L. Anthony, S. Aoki, K. A. Apte, T. Arai, T. Arihara, S. Arimoto, Y. Asami, Y. Asaoka, Y. Ashida, E. T. Atkin, N. Babu, V. Baranov, G. J. Barker, G. Barr, D. Barrow, P. Bates, L. Bathe-Peters, M. Batkiewicz-Kwasniak , et al. (380 additional authors not shown)

Abstract: We present the first joint measurement of muon neutrino CC$0πNp$ interactions on carbon and oxygen targets, in two double-differential kinematic imbalance (KI) observable spaces, $δp_{T}$-$δα_{T}$ and $p_{N}$-$\cosθ_μ$. The measurement employs the ND280 detector of the T2K experiment and includes a detailed description of the event selection used to define signal and control regions, the evaluatio… ▽ More We present the first joint measurement of muon neutrino CC$0πNp$ interactions on carbon and oxygen targets, in two double-differential kinematic imbalance (KI) observable spaces, $δp_{T}$-$δα_{T}$ and $p_{N}$-$\cosθ_μ$. The measurement employs the ND280 detector of the T2K experiment and includes a detailed description of the event selection used to define signal and control regions, the evaluation of systematic uncertainties, and the signal extraction procedure, together with validation studies supporting a robust cross-section measurement. The results of this analysis indicate that current neutrino-nucleus interaction models do not adequately describe the data, and demonstrate the strong discriminating power of KI observables. This measurement highlights the need for improved theoretical nuclear modeling within neutrino interaction generators to achieve increased precision in neutrino oscillation measurements. △ Less

Submitted 12 July, 2026; originally announced July 2026.

First double-differential measurement of pionless charged-current muon neutrino interactions using kinematic imbalance observables on carbon and oxygen with the T2K experiment

Authors: K. Abe, S. Abe, H. Adhikary, R. Akutsu, H. Alarakia-Charles, Y. I. Alj Hakim, S. Alonso Monsalve, L. Anthony, S. Aoki, K. A. Apte, T. Arai, T. Arihara, S. Arimoto, Y. Asami, Y. Asaoka, Y. Ashida, E. T. Atkin, N. Babu, V. Baranov, G. J. Barker, G. Barr, D. Barrow, P. Bates, L. Bathe-Peters, M. Batkiewicz-Kwasniak , et al. (380 additional authors not shown)

Abstract: We report the first measurement of muon-neutrino charged-current cross section as a function of kinematic imbalance (KI) observables on oxygen with no pions and at least one proton in the final state, using the T2K ND280 detector. The cross section is extracted simultaneously for carbon and oxygen targets and double-differentially as a function of several KI observables, providing new insight into… ▽ More We report the first measurement of muon-neutrino charged-current cross section as a function of kinematic imbalance (KI) observables on oxygen with no pions and at least one proton in the final state, using the T2K ND280 detector. The cross section is extracted simultaneously for carbon and oxygen targets and double-differentially as a function of several KI observables, providing new insight into the modeling of nuclear effects. This joint measurement offers direct sensitivity to the correlations between two targets, a key ingredient for reducing systematic uncertainties in neutrino oscillation experiments that employ multiple target nuclei, such as T2K and Hyper-Kamiokande. Comparisons with predictions from widely used neutrino event generators show that none of the models fully describe the data across all regions of measured phase space. These results highlight possible directions where improvements in neutrino-nucleus interaction modeling are needed for current and future neutrino oscillation experiments. △ Less

Submitted 14 July, 2026; v1 submitted 12 July, 2026; originally announced July 2026.

Comments: Added cross reference to arXiv:2607.10644

Sub-Torque-Balance Upper Limits on Continuous Gravitational Waves from Scorpius X-1

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, the Precision Ephemerides for Gravitational-Wave Searches, Project, :, A. G. Abac, I. Abouelfettouh, F. Acernese, K. Ackley, A. Adam, C. Adamcewicz, S. Adhicary, D. Adhikari, N. Adhikari, R. X. Adhikari, V. K. Adkins, S. Afroz, A. Agapito, D. Agarwal, M. Agathos, N. Aggarwal, S. Aggarwal, O. D. Aguiar, I. -L. Ahrend , et al. (1814 additional authors not shown)

Abstract: We present the results of a search for continuous gravitational waves from the low-mass X-ray binary Scorpius X-1 using LIGO data from the first part of the fourth LIGO-Virgo-KAGRA observing run. By applying the resampling version of the cross-correlation pipeline to search for signal frequencies $f_0$ between $25$ and $200\un{Hz}$ (corresponding to neutron star spin frequencies of $12.5$ to… ▽ More We present the results of a search for continuous gravitational waves from the low-mass X-ray binary Scorpius X-1 using LIGO data from the first part of the fourth LIGO-Virgo-KAGRA observing run. By applying the resampling version of the cross-correlation pipeline to search for signal frequencies $f_0$ between $25$ and $200\un{Hz}$ (corresponding to neutron star spin frequencies of $12.5$ to $100\un{Hz}$ for GW due to triaxiality, or $\sim15-20$ to $\sim120-150\un{Hz}$ for GW due to $r$-modes), we set upper limits below the standard torque balance level, independent of neutron star spin inclination, for $50\un{Hz}\lesssim f_0\lesssim200\un{Hz}$. While uncertainties in the modelling of torque and equation of state limit the strength of our inference, our results nonetheless argue against torque balance in this spin range for a neutron star described by a hadronic equation of state. The most sensitive upper limits on the gravitational wave amplitude $h_0$, at the upper end of the frequency band searched, approach $5\times10^{-26}$ marginalized over inclination angle and $2\times10^{-26}$ assuming the most favorable inclination. The marginalized upper limits correspond to a sensitivity depth of $70-75\un{Hz}^{-1/2}$, improving sensitivity considerably over previous searches. Expressed as constraints on the triaxial deformation of the neutron star, the limits correspond to an ellipticity of $3\times10^{-5}$ if the GW frequency $f_0$ is $75\un{Hz}$ and $3\times10^{-6}$ if $f_0=200\un{Hz}$, approaching deformations which could be supported by ordinary nuclear matter. Outliers from the search were ruled out as potential signals by a combination of hierarchical followup and analysis of additional data from later in the observing run. △ Less

Submitted 8 July, 2026; originally announced July 2026.

Comments: 30 pages, 7 figures

Report number: LIGO-P2500260-v10

A New High-Intensity Source for Ultracold Neutrons

Authors: K. Abe, S. Ahmed, B. Algohi, D. Anthony, L. Barron-Palos, Y. Bylinsky, M. Bosse, M. P. Bradley, A. Brossard, J. Chak, R. Chiba, C. Davis, R. de Vries, K. Dong, K. Drury, B. Franke, D. Fujimoto, R. Fujitani, M. Gericke, P. Giampa, C. Gibson, R. Golub, K. Hatanaka, T. Hepworth, T. Higuchi , et al. (56 additional authors not shown)

Abstract: The TRIUMF UltraCold Advanced Neutron (TUCAN) collaboration has completed a new superthermal source for ultracold neutrons (UCNs) at TRIUMF. It uses neutrons from a spallation target driven by TRIUMF's %520-MeV main cyclotron. Heavy water and liquid deuterium serve as neutron moderators, and inelastic scattering inside superfluid $^4$He at around \qty{1.1}{\kelvin} slows the neutrons down to becom… ▽ More The TRIUMF UltraCold Advanced Neutron (TUCAN) collaboration has completed a new superthermal source for ultracold neutrons (UCNs) at TRIUMF. It uses neutrons from a spallation target driven by TRIUMF's %520-MeV main cyclotron. Heavy water and liquid deuterium serve as neutron moderators, and inelastic scattering inside superfluid $^4$He at around \qty{1.1}{\kelvin} slows the neutrons down to become ultracold. During commissioning runs with the completed source, including the deuterium moderator, up to $1.47(2)\times 10^7$ UCNs were detected in the experimental area after irradiating the target and accumulating UCNs in the source for \qty{60}{\second}. Up to \qty{6.75(3)e5} UCN/s were detected during continuous operation, more than at any other source in the world. △ Less

Submitted 17 August, 2026; v1 submitted 3 July, 2026; originally announced July 2026.

SAGE: Structured Agentic Graph Editing for Software Diagrams

Authors: Tyler Sivertsen, Neal Singh, James C. Davis

Abstract: Software diagrams are difficult to edit through human-friendly interfaces because edits expressed in natural language must still preserve visual layout, editable structure, and semantic relationships. As a step forward, we present SAGE, a browser-based tool for prompt-guided editing of Draw.io and Mermaid-style engineering diagrams. The tool maps diagrams into an editable graph representation, tra… ▽ More Software diagrams are difficult to edit through human-friendly interfaces because edits expressed in natural language must still preserve visual layout, editable structure, and semantic relationships. As a step forward, we present SAGE, a browser-based tool for prompt-guided editing of Draw.io and Mermaid-style engineering diagrams. The tool maps diagrams into an editable graph representation, translates natural language requests into structured edit intents, analyzes those intents into graph-oriented operation steps, validates and repairs common Draw.io XML issues, and stores successful results as recoverable versioned artifacts. This design separates structured state management from model-driven interpretation, while acknowledging that some prompt-guided XML edits remain model-assisted. The tool also supports direct canvas editing and a secondary mask-based image-editing workflow. We evaluate the system using unit tests and a Kubernetes architecture case study, measuring structural validity, edit success, preservation of unrelated elements, and failure causes. △ Less

Submitted 1 July, 2026; originally announced July 2026.

Comments: 4 pages

Cheap Code, Costly Judgment: A Case Study on Governable Agentic Software Engineering

Authors: James C. Davis, Paschal C. Amusuo, Tanmay Singla, Berk Çakar, Kirsten A. Davis

Abstract: Generative AI is shifting software engineering from a practice organized around scarce implementation effort toward one organized around abundant, low-cost code production. This shift changes the central engineering problem: not whether AI can generate useful code, but how engineers organize architectures, tools, evidence, and feedback loops so that AI-mediated development remains inspectable, cor… ▽ More Generative AI is shifting software engineering from a practice organized around scarce implementation effort toward one organized around abundant, low-cost code production. This shift changes the central engineering problem: not whether AI can generate useful code, but how engineers organize architectures, tools, evidence, and feedback loops so that AI-mediated development remains inspectable, correctable, and maintainable. We study this problem through a first-person case study: a 12-week development effort in which a single expert software engineer used frontier AI coding agents to build a document accessibility remediation system. The empirical record comprises 88 contemporaneous field notes, 420 KLOC of production code, and 1.16 MLOC of tests, lints, supporting documentation, and agent tooling. From this record, we develop a candidate middle-range theory of governance conversion, expressed as a process model explaining how high-velocity agentic implementation becomes governable. The model explains how agentic implementation velocity surfaces recurring structural failure classes, and how engineering judgment sustains velocity by converting those failures into durable governance mechanisms. In contrast to existing governance models that derive controls from known obligations, governance conversion explains how controls are discovered from failures that become visible only during agentic work. We use our model to make testable predictions and to describe implications for software engineering research and practice. △ Less

Submitted 4 July, 2026; v1 submitted 1 July, 2026; originally announced July 2026.

Comments: 13 pages

Multigraded Regularity of the Complete Flag Variety

Authors: Caitlin M. Davis

Abstract: We study the multigraded regularity of the complete flag variety under the Plücker embedding. In particular, we prove inductive relationships about the regularity regions, and we provide some inner and outer bounds on the regions. We study the multigraded regularity of the complete flag variety under the Plücker embedding. In particular, we prove inductive relationships about the regularity regions, and we provide some inner and outer bounds on the regions. △ Less

Submitted 18 June, 2026; originally announced June 2026.

Comments: 19 pages. Comments welcome!

MSC Class: 13D02; 14M15

Constraining Neutrino Interaction Uncertainties for Neutrino Oscillation Measurements at the T2K Experiment

Authors: K. Abe, S. Abe, H. Adhikary, R. Akutsu, H. Alarakia-Charles, Y. I. Alj Hakim, S. Alonso Monsalve, L. Anthony, S. Aoki, K. A. Apte, T. Arai, T. Arihara, S. Arimoto, Y. Asami, Y. Asaoka, Y. Ashida, E. T. Atkin, N. Babu, V. Baranov, G. J. Barker, G. Barr, D. Barrow, P. Bates, L. Bathe-Peters, M. Batkiewicz-Kwasniak , et al. (417 additional authors not shown)

Abstract: In the context of neutrino oscillation measurements from the T2K experiment, the off-axis near detector ND280 plays a crucial role in constraining the incoming neutrino flux and neutrino-nucleus interaction cross sections. The result is a robust control over systematic uncertainties in the fit of neutrino oscillation parameters to the data at the T2K far detector, Super-Kamiokande. This paper deta… ▽ More In the context of neutrino oscillation measurements from the T2K experiment, the off-axis near detector ND280 plays a crucial role in constraining the incoming neutrino flux and neutrino-nucleus interaction cross sections. The result is a robust control over systematic uncertainties in the fit of neutrino oscillation parameters to the data at the T2K far detector, Super-Kamiokande. This paper details the methodology and results of these constraints in the context of the latest neutrino oscillation analysis from T2K. It describes how a new neutrino cross-section model and refined flux prediction are parameterized and fit to data in new ND280 event selections. Additionally, this work reports the results of extensive robustness studies, including fits with alternative interaction models, consistency checks against publicly available cross-section measurements, and \textit{p}-value evaluations, to demonstrate the reliability and robustness of our methodology. Finally, we present a sensitivity study demonstrating that the upgraded ND280, with improved acceptance and a lower hadron threshold, may enhance future constraints and further reduce systematic uncertainties in oscillation measurements. △ Less

Submitted 11 June, 2026; originally announced June 2026.

A Multi-Wavelength View of the First Type Ic-BL Supernova with an Einstein Probe X-ray Shock Breakout

Authors: Jillian C. Rastinejad, Gokul Srinivasaragavan, Nikhil Sarin, Tanner O'Dwyer, S. Bradley Cenko, James K. Leung, Anya E. Nugent, Daniel A. Perley, Genevieve Schroeder, Shreya Anand, Tomas Ahumada, Igor Andreoni, Aleksandra Bochenek, Alessandra Corsi, Christoffer Fremling, Anna Y. Q. Ho, Mansi M. Kasliwal, Geoffrey Mo, Anirudh Salgundi, Kendall I. Sippy, J. Sollerman, Eric C. Bellm, Tracy X. Chen, Michael W. Coughlin, Michael C. Davis , et al. (14 additional authors not shown)

Abstract: In March 2026, the Einstein Probe (EP) discovered its most nearby (z = 0.0343) Fast X-ray Transient (FXT), EP260321a, the first EP FXT to provide a strong match to expectations for X-ray "shock breakout'" (SBO) emission. Here, we present our multi-wavelength follow-up campaign of EP260321a and its broad-line Type Ic (Ic-BL) supernova (SN) counterpart, SN2026gzf. We show that our radio follow-up ex… ▽ More In March 2026, the Einstein Probe (EP) discovered its most nearby (z = 0.0343) Fast X-ray Transient (FXT), EP260321a, the first EP FXT to provide a strong match to expectations for X-ray "shock breakout'" (SBO) emission. Here, we present our multi-wavelength follow-up campaign of EP260321a and its broad-line Type Ic (Ic-BL) supernova (SN) counterpart, SN2026gzf. We show that our radio follow-up extending over 5.8 - 54.5 days post-FXT rules out an on-axis jet counterpart of isotropic-equivalent kinetic energy $E_{K} \gtrsim 10^{49}$ erg for circumburst densities $n > 10^{-2}~{\rm cm}^{-3}$ and assuming microphysical parameters $ε_e = ε_B = 0.1$. Our radio data also constrains a median mass-loss rate of $\dot{M} \lesssim 1.2 \times 10^{-5} M_{\odot}~{\rm yr}^{-1}$ for a Wolf-Rayet progenitor. In addition, we derive SN2026gzf's properties, including $^{56}$Ni mass, diffusion timescale, and expansion velocities, from our $\sim$nightly-cadence optical data and compare them with those of optically discovered Type Ic-BL SNe, finding that SN 2026gzf is well within the 90\% confidence interval across all properties. We further fit SN2026gzf's light curve and determine that combined emission from both interaction with CSM and $^{56}$Ni radioactive decay provides the best fit with plausible model parameters. Finally, using the rate of Ic-BL SNe from the ZTF Bright Transient Survey and assuming all Type Ic-BL SNe produce EP260321a-like FXTs, we infer an expected rate of EP-detected SBOs of 4.4 - 16 year$^{-1}$. This is inconsistent at the 90% confidence level with current EP detection rates, potentially indicating that most Type Ic-BL SNe produce less luminous X-ray SBO signals compared to EP260321a. △ Less

Submitted 15 July, 2026; v1 submitted 8 June, 2026; originally announced June 2026.

Comments: Version accepted to ApJL with minor changes

Is US Defense Acquisition Ready to Acquire AI-Enabled Capabilities? Assessing the DoD Software Acquisition Pathway Through a Scenario-Based Policy Analysis

Authors: Daniel Lugo, James C. Davis

Abstract: As AI systems transition from experimental prototypes to mission-critical tools, their dependence on dynamic data, evolving models, and governance raises questions about whether existing acquisition pathways can keep pace. The U.S. Department of Defense has modernized its acquisition processes through the Adaptive Acquisition Framework, with the Software Acquisition Pathway (SWP) serving as the pr… ▽ More As AI systems transition from experimental prototypes to mission-critical tools, their dependence on dynamic data, evolving models, and governance raises questions about whether existing acquisition pathways can keep pace. The U.S. Department of Defense has modernized its acquisition processes through the Adaptive Acquisition Framework, with the Software Acquisition Pathway (SWP) serving as the primary mechanism for acquiring software-intensive capabilities. This paper evaluates whether SWP is sufficient to address the unique demands of AI acquisition. In this work, we perform a scenario-based evaluation that traces a notional AI-enabled program through key SWP planning activities to assess how policy translates into program artifacts and decisions. We use Policy Scenario Analysis to examine whether the SWP-centered governance stack provides sufficient actionable support for AI acquisition. The governance stack provides a viable foundation for iterative delivery and AI testing. However, we identify a recurring actionability problem in the core guidance. AI-specific controls for data provenance, lifecycle management, and human oversight remain distributed across supplemental documents rather than embedded in the program-facing mechanisms through which SWP is executed. This disconnect leaves program offices reliant on inconsistent local interpretation. We conclude by recommending an AI-supporting sub-path and targeted artifact refinements to better bridge this policy-to-artifact gap. △ Less

Submitted 5 June, 2026; originally announced June 2026.

Comments: Submitted to ACM Digital Government: Research and Practice Journal on April 2026

Measuring Delivery Consistency in Practice: A DORA Extension from a Multi-Platform Release Setting

Authors: Luiz Parente, James C. Davis

Abstract: The DevOps Research and Assessment (DORA) framework is the most widely adopted measurement system for performance measurement across engineering teams. However, every DORA metric is a first-moment statistic or a simple ratio, which limits the potential insights into engineering process. For example, metrics like Deployment Frequency do not capture the distributional shape of deployment timing, so… ▽ More The DevOps Research and Assessment (DORA) framework is the most widely adopted measurement system for performance measurement across engineering teams. However, every DORA metric is a first-moment statistic or a simple ratio, which limits the potential insights into engineering process. For example, metrics like Deployment Frequency do not capture the distributional shape of deployment timing, so teams with identical measures can deploy on a metronomic cadence or in undesirably erratic bursts. We have been developing and piloting Delivery Consistency (DC), a bounded second-moment measure of cadence regularity derived from the coefficient of variation of inter-release intervals. In conjunction with other DORA concepts, we integrated DC into the Delivery Health Matrix, an eight-archetype diagnostic that maps joint readings to differentiated interventions. We report an experience evaluation on a four-platform software delivery group using 120 weeks of data extracted from our Jira, GitHub, and Firebase records. DC allowed us to distinguish platforms with identical DORA tier placements but different cadence regularity, and the Matrix summarized the readings into an archetype that pointed at a shared organization or procedural constraint. △ Less

Submitted 29 May, 2026; originally announced June 2026.

GWTC-5.0: Constraints on the Cosmic Expansion Rate and Modified Gravitational-wave Propagation

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, A. G. Abac, A. Abe, I. Abouelfettouh, F. Acernese, K. Ackley, A. Adam, S. Adhicary, D. Adhikari, R. X. Adhikari, V. K. Adkins, S. Afroz, A. Agapito, D. Agarwal, M. Agathos, N. Aggarwal, S. Aggarwal, O. D. Aguiar, I. -L. Ahrend, L. Aiello, A. Ain, P. Ajith, T. Akutsu , et al. (1788 additional authors not shown)

Abstract: We employ 236 gravitational-wave (GW) sources in the fifth LIGO--Virgo--KAGRA Collaboration (LVK) Gravitational-Wave Transient Catalog (GWTC-5.0) to estimate the Hubble constant $H_0$. We compare the luminosity distance measured from GWs to the redshift inferred i) using features in the mass spectrum, and ii) using statistical host galaxy association. Probing the relationship between source lumino… ▽ More We employ 236 gravitational-wave (GW) sources in the fifth LIGO--Virgo--KAGRA Collaboration (LVK) Gravitational-Wave Transient Catalog (GWTC-5.0) to estimate the Hubble constant $H_0$. We compare the luminosity distance measured from GWs to the redshift inferred i) using features in the mass spectrum, and ii) using statistical host galaxy association. Probing the relationship between source luminosity distances and redshifts obtained in this way yields constraints on cosmological parameters. We estimate $H_0 = {71.7}_{-7.5}^{+9.4}\,{\text{km}\,\text{s}^{-1}\,\text{Mpc}^{-1}}$ (median with $68\%$ symmetric credible interval). This combines information from the source-frame mass distribution with the $H_0$ measurement from GW170817 and its electromagnetic counterpart as well as galaxy catalog information from Dark Energy Survey Year 6 (DES-Y6). We improve over the GWTC-4.0 measurement by using more GW sources, some with significantly smaller sky localization volumes, which leads to a reduction by $22.0\%$ of the $H_0$ uncertainty and a reconstructed mass distribution with lower uncertainties. We also constrain deviations from general relativity (GR) which affect GW propagation, specifically that modify the luminosity distance inferred from the GW signal. We find no departures from GR in parameterized tests of GW propagation. △ Less

Submitted 4 August, 2026; v1 submitted 26 May, 2026; originally announced May 2026.

Comments: main paper: 20 pages and 7 figures; total with appendices: 51 pages and 13 figures. This article draws heavily from the corresponding GWTC-4 article, arXiv:2509.04348

Report number: LIGO-P2600018

GWTC-5.0: Population Properties of Merging Compact Binaries

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, A. G. Abac, A. Abe, I. Abouelfettouh, F. Acernese, K. Ackley, A. Adam, S. Adhicary, D. Adhikari, R. X. Adhikari, V. K. Adkins, S. Afroz, A. Agapito, D. Agarwal, M. Agathos, N. Aggarwal, S. Aggarwal, O. D. Aguiar, I. -L. Ahrend, L. Aiello, A. Ain, P. Ajith, T. Akutsu , et al. (1791 additional authors not shown)

Abstract: We present the population properties of merging compact binaries inferred using 267 mergers from the cumulative Gravitational-Wave Transient Catalog 5.0. As this data set contains no new sources with a neutron star, we primarily focus on the properties of the binary black hole mergers. We infer the merger rate of binary black holes with component masses between $2.5\,\mathrm{M}_\odot $ and… ▽ More We present the population properties of merging compact binaries inferred using 267 mergers from the cumulative Gravitational-Wave Transient Catalog 5.0. As this data set contains no new sources with a neutron star, we primarily focus on the properties of the binary black hole mergers. We infer the merger rate of binary black holes with component masses between $2.5\,\mathrm{M}_\odot $ and $200\,\mathrm{M}_\odot $ to be $27.5\text{--} 49.4 \, \mathrm{Gpc}^{-3}\,\mathrm{yr}^{-1}$ (all intervals at $90\%$ credible levels) at redshift $z = 0.2$. We find evidence for a subpopulation of binary black hole mergers that host a rapidly spinning black hole (dimensionless spins $χ\sim 0.7$), consistent with signatures of hierarchical mergers. We find that these occur at two mass scales, the first at primary masses $\sim 10$--$20\,\mathrm{M}_\odot $ and the second above $\sim 45\,\mathrm{M}_\odot $, and we estimate their total rate at $z=0.2$ to be $0.2\text{--} 3.11 \, {\rm Gpc}^{-3} {\rm yr}^{-1}$. We infer that, above $40\,\mathrm{M}_\odot $, the mass distribution of the less massive (secondary) black hole declines more steeply than that of the more massive (primary) one. This is consistent with a flatter mass-ratio distribution and indicates the prevalence of unequal-mass binaries with large primary masses. We find evidence for two features in the black hole mass spectrum: a peak around $10\,\mathrm{M}_\odot $ and a change of slope at around $35\,\mathrm{M}_\odot $. Black holes of $\sim 35\,\mathrm{M}_\odot $ pair preferentially with companions of similar mass. Additionally, we find that the effective inspiral spin distribution of binary black holes is asymmetric about zero, based on which we infer that at least $9 \%$ of mergers occur in channels with some preference for spin-orbit alignment. We find evidence that... △ Less

Submitted 1 July, 2026; v1 submitted 26 May, 2026; originally announced May 2026.

Comments: Abstract truncated in Arxiv metadata. The paper appendices draw heavily from the corresponding GWTC-4 article, arXiv:2508.18083

Report number: LIGO-P2600045

GWTC-5.0: Observations from the Second Part of the Fourth LIGO-Virgo-KAGRA Observing Run and Updates to the Gravitational-Wave Transient Catalog

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, A. G. Abac, A. Abe, I. Abouelfettouh, F. Acernese, K. Ackley, A. Adam, S. Adhicary, D. Adhikari, R. X. Adhikari, V. K. Adkins, S. Afroz, A. Agapito, D. Agarwal, M. Agathos, N. Aggarwal, S. Aggarwal, O. D. Aguiar, I. -L. Ahrend, L. Aiello, A. Ain, P. Ajith, T. Akutsu , et al. (1805 additional authors not shown)

Abstract: Version 5.0 of the Gravitational-Wave Transient Catalog (GWTC-5.0) adds new candidates detected by the LIGO Virgo KAGRA network of observatories through the second part of the fourth observing run (O4b: 2024 April 10 15:00:00 to 2025 January 28 17:00:00 UTC) and four days of the preceding engineering run (2024 April 6 to 2024 April 10). We find 161 compact binary coalescence candidates that are id… ▽ More Version 5.0 of the Gravitational-Wave Transient Catalog (GWTC-5.0) adds new candidates detected by the LIGO Virgo KAGRA network of observatories through the second part of the fourth observing run (O4b: 2024 April 10 15:00:00 to 2025 January 28 17:00:00 UTC) and four days of the preceding engineering run (2024 April 6 to 2024 April 10). We find 161 compact binary coalescence candidates that are identified by at least one of our search algorithms with a probability of astrophysical origin $p_\mathrm{astro} \geq 0.5$ and that are not vetoed during event validation. We also provide detailed source property measurements for 104 candidates that have a false-alarm rate < 1yr$^{-1}$. Based on the inferred component masses, all these candidates are consistent with signals from binary black holes. Median inferred component masses in the new candidates range from 5.14$M_\odot$ (GW241109_115924) to 70$M_\odot$ (GW241116_151753). Improvements in detector sensitivity allow us to observe compact binary coalescences with increasing clarity: 5 binary-black-hole signals have network signal-to-noise ratio exceeding 30, with a maximum to date of 76.9 for GW250114_082203. Such loud signals enable more precise studies of properties of their astrophysical sources and tests of general relativity. We also present updated results up to the first part of the fourth observing run, identifying 229 candidates. This brings the total number of transients in the cumulative GWTC having $p_\mathrm{astro} \geq 0.5$ to 390, further expanding the size of the catalog and our view of the gravitational-wave universe. △ Less

Submitted 23 June, 2026; v1 submitted 26 May, 2026; originally announced May 2026.

Comments: main paper: 30 pages, 8 figures; total with appendices: 43 pages, 9 figures. This article draws heavily from the corresponding GWTC-4 article, arXiv:2508.18082

Report number: LIGO-P2600152

GWTC-5.0: Methods for Identifying and Characterizing Gravitational-wave Transients

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, A. G. Abac, A. Abe, I. Abouelfettouh, F. Acernese, K. Ackley, A. Adam, S. Adhicary, D. Adhikari, R. X. Adhikari, V. K. Adkins, S. Afroz, A. Agapito, D. Agarwal, M. Agathos, N. Aggarwal, S. Aggarwal, O. D. Aguiar, I. -L. Ahrend, L. Aiello, A. Ain, P. Ajith, T. Akutsu , et al. (1800 additional authors not shown)

Abstract: The Gravitational-Wave Transient Catalog (GWTC) is a collection of candidate gravitational-wave transient signals identified and characterized by the LIGO-Virgo-KAGRA Collaboration. Producing the contents of the GWTC from detector data requires complex analysis methods. These comprise techniques to model the signal; identify the transients in the data; evaluate the quality of the data and mitigate… ▽ More The Gravitational-Wave Transient Catalog (GWTC) is a collection of candidate gravitational-wave transient signals identified and characterized by the LIGO-Virgo-KAGRA Collaboration. Producing the contents of the GWTC from detector data requires complex analysis methods. These comprise techniques to model the signal; identify the transients in the data; evaluate the quality of the data and mitigate possible instrumental issues; infer the parameters of each transient; compare the data with the waveform models for compact binary coalescences, and handle the large amount of results associated with all these different analyses. In this paper, we describe the methods employed to produce the catalog's fifth release, GWTC-5.0, focusing on the analysis of the second part of the fourth observing run of LIGO, Virgo and KAGRA. △ Less

Submitted 23 June, 2026; v1 submitted 26 May, 2026; originally announced May 2026.

Comments: This article supersedes the corresponding GWTC-4 article, arXiv:2508.18081

Report number: LIGO-P2600166

GWTC-5.0: An Introduction to Version 5.0 of the Gravitational-Wave Transient Catalog

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, A. G. Abac, A. Abe, I. Abouelfettouh, F. Acernese, K. Ackley, A. Adam, S. Adhicary, D. Adhikari, R. X. Adhikari, V. K. Adkins, S. Afroz, A. Agapito, D. Agarwal, M. Agathos, N. Aggarwal, S. Aggarwal, O. D. Aguiar, I. -L. Ahrend, L. Aiello, A. Ain, P. Ajith, T. Akutsu , et al. (1800 additional authors not shown)

Abstract: The Gravitational-Wave Transient Catalog (GWTC) is a collection of short-duration (transient) gravitational-wave signals identified by the LIGO-Virgo-KAGRA Collaboration in gravitational-wave data produced by the eponymous detectors. The catalog provides information about the identified candidates, such as the arrival time and amplitude of the signal and properties of the signal's source as inferr… ▽ More The Gravitational-Wave Transient Catalog (GWTC) is a collection of short-duration (transient) gravitational-wave signals identified by the LIGO-Virgo-KAGRA Collaboration in gravitational-wave data produced by the eponymous detectors. The catalog provides information about the identified candidates, such as the arrival time and amplitude of the signal and properties of the signal's source as inferred from the observational data. GWTC is the release of this dataset and version 5.0 extends the catalog to include observations made during the second part of the fourth LIGO-Virgo-KAGRA observing run up until 2025 January 28. This paper marks an introduction to a collection of articles related to this version of the catalog, GWTC-5.0. This update significantly increases the number of detected merging binary systems of black holes and neutron stars to over 300, enabling many follow-up studies toward understanding the gravitational-wave universe. The collection of articles accompanying the catalog provides documentation of the methods used to analyze the data, summaries of the catalog of events, observational measurements drawn from the population, and detailed discussions of selected candidates. △ Less

Submitted 23 June, 2026; v1 submitted 26 May, 2026; originally announced May 2026.

Comments: This article supersedes the corresponding GWTC-4 article, arXiv:2508.18080

Report number: LIGO-P2500701

Open Data from LIGO, Virgo, and KAGRA through the Second Part of the Fourth Observing Run

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, A. G. Abac, A. Abe, I. Abouelfettouh, F. Acernese, K. Ackley, A. Adam, S. Adhicary, D. Adhikari, R. X. Adhikari, V. K. Adkins, S. Afroz, A. Agapito, D. Agarwal, M. Agathos, N. Aggarwal, S. Aggarwal, O. D. Aguiar, I. -L. Ahrend, L. Aiello, A. Ain, P. Ajith, T. Akutsu , et al. (1787 additional authors not shown)

Abstract: LIGO, Virgo, KAGRA, and GEO 600 form a network of gravitational-wave observatories. Data and analysis results from this network are made publicly available through the Gravitational Wave Open Science Center (GWOSC). This paper describes open data from this network, including the addition of data from the second part of the fourth observing run (O4b) and selected periods from the preceding engineer… ▽ More LIGO, Virgo, KAGRA, and GEO 600 form a network of gravitational-wave observatories. Data and analysis results from this network are made publicly available through the Gravitational Wave Open Science Center (GWOSC). This paper describes open data from this network, including the addition of data from the second part of the fourth observing run (O4b) and selected periods from the preceding engineering run (ER16), which were collected from times spanning April 6th, 2024 to January 28th, 2025. The public data set includes calibrated strain time series for each instrument, data from additional channels used for noise subtraction and detector characterization, and new analysis data products in the online GWOSC release associated with version 5.0 of the Gravitational-Wave Transient Catalog. △ Less

Submitted 17 June, 2026; v1 submitted 26 May, 2026; originally announced May 2026.

Comments: This version has an updated author list, updated references and some text has been modified to improve clarity. This article draws heavily from the corresponding O4a article, arXiv:2508.18079

Report number: LIGO-P2600085

Lifting Milnor Invariants for 3-Component Links

Authors: Christopher W. Davis, JungHwan Park

Abstract: We define a sequence of integer-valued invariants $γ^k(L)$ for a $3$-component link $L$. We prove that the resulting $γ$-invariants are invariant under concordance, and more generally under weak cobordism, and that they lift certain Milnor invariants of 3-component links. To establish this, we introduce an invariant $h(L)$, a $3$-component analogue of the Kojima--Yamasaki $η$-invariant, and show t… ▽ More We define a sequence of integer-valued invariants $γ^k(L)$ for a $3$-component link $L$. We prove that the resulting $γ$-invariants are invariant under concordance, and more generally under weak cobordism, and that they lift certain Milnor invariants of 3-component links. To establish this, we introduce an invariant $h(L)$, a $3$-component analogue of the Kojima--Yamasaki $η$-invariant, and show that it recovers the $γ$-invariants. As applications, we obtain a weak-cobordism classification when the distinguished component has trivial Alexander polynomial and characterize knots that bound continuously embedded disks in $B^4$ whose complements have fundamental group $\mathbb{Z}$. △ Less

Submitted 17 June, 2026; v1 submitted 21 May, 2026; originally announced May 2026.

Comments: 30 pages, 7 figures. Version 2: Revised to explain some connections to work of Tatsuya-Yasuhara

MSC Class: 57K10

GW240925 and GW250207: Astrophysical Calibration of Gravitational-wave Detectors

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, A. G. Abac, I. Abouelfettouh, F. Acernese, K. Ackley, A. Adam, C. Adamcewicz, S. Adhicary, D. Adhikari, N. Adhikari, R. X. Adhikari, V. K. Adkins, S. Afroz, A. Agapito, D. Agarwal, M. Agathos, N. Aggarwal, S. Aggarwal, O. D. Aguiar, I. -L. Ahrend, L. Aiello, A. Ain, P. Ajith , et al. (1817 additional authors not shown)

Abstract: GW240925 and GW250207 are two loud gravitational-wave signals from binary black hole coalescences observed with network signal-to-noise ratios $\sim 32$ and $\sim 69$, respectively, by the LIGO Hanford--LIGO Livingston--Virgo network. Gravitational-wave signals from coalescing binaries have characteristic phase and amplitude evolution predicted by general relativity. These signal waveforms, togeth… ▽ More GW240925 and GW250207 are two loud gravitational-wave signals from binary black hole coalescences observed with network signal-to-noise ratios $\sim 32$ and $\sim 69$, respectively, by the LIGO Hanford--LIGO Livingston--Virgo network. Gravitational-wave signals from coalescing binaries have characteristic phase and amplitude evolution predicted by general relativity. These signal waveforms, together with measured instrumental calibration uncertainties, are used to infer source parameters. However, for sufficiently loud detections it is possible to constrain the calibration of the detectors directly using the signals themselves. We present the first informative astrophysical measurements of gravitational-wave detector calibration. For GW240925, we verify the inference of Hanford calibration from the astrophysical signal through cross-checks with known calibration errors obtained from in-situ measurements. At the time of GW250207, the Hanford detector was not fully stabilized, leading to elevated calibration uncertainties; thus, astrophysical calibration is essential to obtain accurate data and to enable source localization. These well-localized, high signal-to-noise observations have the potential to offer precise measurements of source properties, stringent tests of general relativity, and informative dark siren measurements, provided that calibration uncertainties are properly incorporated. As detector sensitivity improves, astrophysical calibration will become an increasingly valuable complement to in-situ calibration measurements. Obtaining accurate calibration will be essential for precision gravitational-wave science. △ Less

Submitted 17 August, 2026; v1 submitted 12 May, 2026; originally announced May 2026.

Comments: 38 pages (11 pages author list, 7 pages main paper, 8 pages references, 12 pages supplemental material), 15 figures (4 in main text, 11 in supplemental material); data products available from https://doi.org/10.5281/zenodo.18600070

Report number: LIGO-P2500565

Journal ref: Phys. Rev. Lett. 137, 071401 (2026)

AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification

Authors: Paschal C. Amusuo, Ricardo Calvo, Dharun Anandayuvaraj, Taylor Le Lievre, Kevin Kolyakov, Elijah Jorgensen, Aravind Machiry, James C. Davis

Abstract: Memory-safety errors remain a persistent source of zero-day vulnerabilities in low-level software. The problem is especially acute in embedded systems, where hardware protections are often limited and dynamic analysis is difficult to apply effectively. Memory-safety verification can provide stronger assurance by proving the absence of such errors or exposing violations when they exist. However, cu… ▽ More Memory-safety errors remain a persistent source of zero-day vulnerabilities in low-level software. The problem is especially acute in embedded systems, where hardware protections are often limited and dynamic analysis is difficult to apply effectively. Memory-safety verification can provide stronger assurance by proving the absence of such errors or exposing violations when they exist. However, current verification workflows remain largely manual and require substantial specialized expertise, limiting their adoption in practice. We present AutoSOUP, a system for automating component-level memory-safety verification through Safety-Oriented Unit Proofs. We formalize these unit proofs as artifacts that encode verification choices (scope, loop bounds, and environment models) for verifying safety properties, and introduce three techniques for deriving them automatically. To overcome the limitations of existing automation approaches, we further introduce LLM-As-Function-Call, a hybrid architecture that combines deterministic program synthesis with LLMs to automate these techniques and produce justifiable unit proofs. We evaluate AutoSOUP by assessing its ability to automate memory-safety verification and expose vulnerabilities in verified components, and we characterize the assumptions and guarantees of the resulting proofs. △ Less

Submitted 11 May, 2026; originally announced May 2026.

Comments: 13 main pages, 7 appendix pages, 2 figures, 5 listings

ACM Class: D.2.4; F.3.1

Searches for Binary Mergers with Sub-solar Mass Components in Data from the First Part of LIGO--Virgo--KAGRA's Fourth Observing Run

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, A. G. Abac, I. Abouelfettouh, F. Acernese, K. Ackley, A. Adam, C. Adamcewicz, S. Adhicary, D. Adhikari, N. Adhikari, R. X. Adhikari, V. K. Adkins, S. Afroz, A. Agapito, D. Agarwal, M. Agathos, N. Aggarwal, S. Aggarwal, O. D. Aguiar, I. -L. Ahrend, L. Aiello, A. Ain, P. Ajith , et al. (1810 additional authors not shown)

Abstract: We report on a gravitational wave search for compact binary coalescences involving at least one component with mass between $0.2\,M_\odot$ to $1\,M_\odot$, and ratio of component masses between 0.1 and 1. The analysis uses data collected by the LIGO detectors between May 24 2023 15:00 UTC and January 16 2024 16:00 UTC. No statistically significant sub-solar mass candidates were identified by the p… ▽ More We report on a gravitational wave search for compact binary coalescences involving at least one component with mass between $0.2\,M_\odot$ to $1\,M_\odot$, and ratio of component masses between 0.1 and 1. The analysis uses data collected by the LIGO detectors between May 24 2023 15:00 UTC and January 16 2024 16:00 UTC. No statistically significant sub-solar mass candidates were identified by the participating search algorithms. We report the detection sensitivity of the current searches to the target sub-solar mass black hole population. With the absence of detections, we place upper limits on the merger rate of sub-solar mass black holes, ranging from 110 ${\rm Gpc^{-3}\,yr^{-1}}$ to 10000 ${\rm Gpc^{-3}\,yr^{-1}}$ at 90\% confidence. We constrain two illustrative dark matter scenarios that can form sub-solar mass compact objects with these searches: primordial black holes, and dark black holes forming in a dissipative dark matter model. For late-forming primordial black hole binaries, our search excludes the fraction of dark matter in primordial black holes to be $\leq 1$ only for masses above $0.9\,M_\odot$. In the early-formation scenario, we limit this fraction to be $\leq 7\%$ at $1\,M_\odot$, and $\leq 40\%a$ at $0.35\,M_\odot$. For the dissipative model, the excluded region in the parameter space of dark matter fraction in dark black holes and their minimum possible mass extends down to (0.9 to 1.2) $\times 10^{-5}$ at $1\,M_\odot$ with no constraints below $0.02\,M_\odot$. For the first time, we report the detection sensitivity of our searches to binaries with sub-solar mass neutron stars, and place the 90\% confidence merger rate limit at (570 to 710) ${\rm Gpc^{-3}\,yr^{-1}}$ for a population with component masses distributed uniformly down to $0.5\,M_\odot$. △ Less

Submitted 23 July, 2026; v1 submitted 6 May, 2026; originally announced May 2026.

Report number: LIGO-P2400387

Optimizing Bit-Labeling of Voronoi Constellations

Authors: Carilyn Rumrill, David Muzzey, Connor Davis, Stephen Mackes, Dan Chew

Abstract: We define a novel search method and performance metric as a technique for optimizing the bit-to-symbol map of the $D_4$ and $E_8$ root lattices in reference to bit error rate. We hold other sources of lattice gain constant by fixing the lattice constellation, and consider basis matrices that permute the integer labelings of the lattice points. After searching the possible basis matrices for $D_4$… ▽ More We define a novel search method and performance metric as a technique for optimizing the bit-to-symbol map of the $D_4$ and $E_8$ root lattices in reference to bit error rate. We hold other sources of lattice gain constant by fixing the lattice constellation, and consider basis matrices that permute the integer labelings of the lattice points. After searching the possible basis matrices for $D_4$ and $E_8$, we found 0.1 dB of gain in $D_4$ bit error rate curves, and 0.5 dB of gain in $E_8$ compared to the standard bases commonly used in literature at a BER of $10^{-4}$. △ Less

Submitted 6 May, 2026; originally announced May 2026.

Comments: 6 Pages, 7 Figures, and submitted to IEEE ITW2026

Gordian distance and clasper surgery for links

Authors: Anthony Bosman, Christopher W. Davis, Taylor Martin, Katherine Vance

Abstract: In 2000, Habiro introduced the notion of $C_k$-equivalence of knots and links. This geometric filtration is closely connected to finite type invariants, a class of invariants including Milnor's invariants. Shortly thereafter, Ohyama, Taniyama, and Yamada proved that $C_k$-equivalence, and by extension finite type invariants, say very little about the unknotting number by showing that any knot is a… ▽ More In 2000, Habiro introduced the notion of $C_k$-equivalence of knots and links. This geometric filtration is closely connected to finite type invariants, a class of invariants including Milnor's invariants. Shortly thereafter, Ohyama, Taniyama, and Yamada proved that $C_k$-equivalence, and by extension finite type invariants, say very little about the unknotting number by showing that any knot is at most one crossing change away from being $C_k$-trivial for any $k\in \mathbb{N}$. The same is not true for links, since the pairwise linking number gives a lower bound on unlinking and is an invariant of $C_2$-equivalence. We prove that, aside from the linking number, the result of Ohyama, Taniyama, and Yamada extends to links: any $n$-component link with linking number zero can be reduced to a $C_k$-trivial link in at most $n^2$ crossing changes. As a consequence, Milnor's invariants carry only limited information about the unlinking number. To establish a lower bound, we produce a sequence of $n$-component links for which the crossing change distance to a $C_k$-trivial link grows quadratically in $n$. Notably, these bounds are independent of the choice of $k\in \mathbb{N}$. Finally, we determine the exact number of crossing changes to a $C_k$-trivial link for links with nonzero linking numbers and where no component is $C_k$-trivial. △ Less

Submitted 1 July, 2026; v1 submitted 4 May, 2026; originally announced May 2026.

Comments: 13 pages, 9 figures. Based upon work supported by the National Science Foundation under Grant No. DMS-1928930 while the authors participated in a program hosted by the Simons Laufer Mathematical Sciences Institute

MSC Class: 57K10

AutoOR: Scalably Post-training LLMs to Autoformulate Operations Research Problems

Authors: Sumeet Ramesh Motwani, Chuan Du, Aleksander Petrov, Christopher Davis, Philip Torr, Antonio Papania-Davis, Weishi Yan

Abstract: Optimization problems are central to decision-making in manufacturing, logistics, scheduling, and other industrial settings. Translating complicated descriptions of these problems into solver-ready formulations requires specialized operations research (OR) expertise, making it hard to scale. We present AutoOR, a scalable synthetic data generation and reinforcement learning pipeline that trains LLM… ▽ More Optimization problems are central to decision-making in manufacturing, logistics, scheduling, and other industrial settings. Translating complicated descriptions of these problems into solver-ready formulations requires specialized operations research (OR) expertise, making it hard to scale. We present AutoOR, a scalable synthetic data generation and reinforcement learning pipeline that trains LLMs to autoformulate optimization problems specified in natural language across linear, mixed-integer, and non-linear categories. AutoOR generates verified training data from standard optimization forms and uses solver execution feedback as the reward signal for RL post-training. AutoOR applied to an 8B model achieves state-of-the-art or competitive results across six established OR benchmarks, matching significantly larger frontier models. For a non-linear problem class involving physical dynamics, where frontier models score near 0%, we introduce a curriculum RL strategy that bootstraps from limited initial training data to make this class tractable for post-training. We believe that methods such as AutoOR can significantly accelerate industrial decision-making with AI. △ Less

Submitted 20 August, 2026; v1 submitted 17 April, 2026; originally announced April 2026.

Initial Performance of the TUCAN Magnetically Shielded Room

Authors: S. Ahmed, B. Algohi, D. Anthony, P. Berard, L. Barron-Palos, M. Bosse, A. Brossard, J. Chak, R. Curtis, C. Davis, R. de Vries, K. Dong, B. Dowie, K. Drury, P. Fierlinger, B. Franke, D. Fujimoto, R. Fujitani, P. Giampa, C. Gibson, R. Golub, K. Hatanaka, T. Hepworth, T. Higuchi, J. Hussain , et al. (42 additional authors not shown)

Abstract: The TRIUMF Ultracold Advanced Neutron (TUCAN) collaboration has commissioned a large magnetically shielded room to be used for measuring the neutron electric dipole moment (nEDM) to a precision of $10^{-27}~e\mathrm{cm}$. The room is composed of five layers of MuMetal and one layer of copper and sits within the $\lesssim 370~μ\mathrm{T}$ ambient field produced by the TRIUMF cyclotron. Within this… ▽ More The TRIUMF Ultracold Advanced Neutron (TUCAN) collaboration has commissioned a large magnetically shielded room to be used for measuring the neutron electric dipole moment (nEDM) to a precision of $10^{-27}~e\mathrm{cm}$. The room is composed of five layers of MuMetal and one layer of copper and sits within the $\lesssim 370~μ\mathrm{T}$ ambient field produced by the TRIUMF cyclotron. Within this environment, the quasi-static shielding factor was measured to be $3.25(2) \times 10^4$ at $0.01~\mathrm{Hz}$ with an external peak-to-peak perturbation of $2~μ\mathrm{T}$. Without the large ambient cyclotron field, the shielding factor improves to $3.75(4)\times 10^4$ at the same perturbation amplitude and frequency. After idealization in the cyclotron field, the residual field at the room center was $B = 1.8(2)~\mathrm{nT}$ and the vertical first-order gradient across the central 1~m$^3$ ($dB_{\mathrm{z}}/dz$) was $-279(64)~\mathrm{pT/m}$. With additional improvement to the idealization, and with active compensation, we expect the room to be adequate for a $10^{-27}~e\mathrm{cm}$ nEDM search. △ Less

Submitted 16 April, 2026; originally announced April 2026.

Benchmarking Deflection and Hallucination in Large Vision-Language Models

Authors: Nicholas Moratelli, Christopher Davis, Leonardo F. R. Ribeiro, Bill Byrne, Gonzalo Iglesias

Abstract: Large Vision-Language Models (LVLMs) increasingly rely on retrieval to answer knowledge-intensive multimodal questions. Existing benchmarks overlook conflicts between visual and textual evidence and the importance of generating deflections (e.g., Sorry, I cannot answer...) when retrieved knowledge is incomplete. These benchmarks also suffer from rapid obsolescence, as growing LVLM training sets al… ▽ More Large Vision-Language Models (LVLMs) increasingly rely on retrieval to answer knowledge-intensive multimodal questions. Existing benchmarks overlook conflicts between visual and textual evidence and the importance of generating deflections (e.g., Sorry, I cannot answer...) when retrieved knowledge is incomplete. These benchmarks also suffer from rapid obsolescence, as growing LVLM training sets allow models to answer many questions without retrieval. We address these gaps with three contributions. First, we propose a dynamic data curation pipeline that preserves benchmark difficulty over time by filtering for genuinely retrieval-dependent samples. Second, we introduce VLM-DeflectionBench, a benchmark of 2,775 samples spanning diverse multimodal retrieval settings, designed to probe model behaviour under conflicting or insufficient evidence. Third, we define a fine-grained evaluation protocol with four scenarios that disentangle parametric memorization from retrieval robustness. Experiments across 20 state-of-the-art LVLMs indicate that models usually fail to deflect in the presence of noisy or misleading evidence. Our results highlight the need to evaluate not only what models know, but how they behave when they do not, and serve as a reusable and extensible benchmark for reliable KB-VQA evaluation. All resources will be publicly available upon publication. △ Less

Submitted 13 April, 2026; originally announced April 2026.

Comments: Accepted to ACL 2026

Active Learning for Generalizable Detonation Performance Prediction of Energetic Materials

Authors: R. Seaton Ullberg, Megan C. Davis, Jeremy N. Schroeder, Andrew H. Salij, M. J. Cawkwell, Christopher J. Snyder, Wilton J. M. Kort-Kamp, Ivana Matanovic

Abstract: The discovery of new energetic materials is critical for advancing technologies from defense to private industry. However, experimental approaches remain slow and expensive while computational alternatives require accurate material property inputs that are often costly to obtain, limiting their ability to efficiently predict detonation performance across a vast chemical space. We address this chal… ▽ More The discovery of new energetic materials is critical for advancing technologies from defense to private industry. However, experimental approaches remain slow and expensive while computational alternatives require accurate material property inputs that are often costly to obtain, limiting their ability to efficiently predict detonation performance across a vast chemical space. We address this challenge through an active learning strategy that integrates density functional theory calculations, thermochemical modeling, message-passing neural networks, and Bayesian optimization. The resulting high-throughput workflow iteratively expands the training dataset by selecting new molecules in a targeted manner that balances the exploration of broad chemical space with the exploitation of promising high-performing candidates. This approach yields the largest publicly available database of potential CHNO explosives drawn from an initial pool of more than 70 billion candidates and a generalizable surrogate model capable of accurately predicting detonation performance (R$^2$ > 0.98). Feature importance analysis on this largest-to-date dataset reveals that oxygen balance is the dominant driver of detonation performance, complemented by contributions from local electronic structure, density, and the presence of specific functional groups. Cheminformatics analysis highlights how energetic materials with similar performance metrics tend to cluster in distinct chemical spaces offering a clearer direction for future synthesis studies. Together, the surrogate model, database, and resulting chemical insights provide a valuable foundation for high-throughput screening and targeted discovery of new energetic materials spanning diverse and previously unexplored regions of chemical space. △ Less

Submitted 9 April, 2026; originally announced April 2026.

Generative Chemical Language Models for Energetic Materials Discovery

Authors: Andrew Salij, R. Seaton Ullberg, Megan C. Davis, Marc J. Cawkwell, Christopher J. Snyder, Cristina Garcia Cardona, Ivana Matanovic, Wilton J. M. Kort-Kamp

Abstract: The discovery of new energetic materials remains a pressing challenge hindered by limited availability of high-quality data. To address this, we have developed generative molecular language models that have been pretrained on extensive chemical data and then fine-tuned with curated energetic materials datasets. This transfer-learning strategy extends the chemical language model capabilities beyond… ▽ More The discovery of new energetic materials remains a pressing challenge hindered by limited availability of high-quality data. To address this, we have developed generative molecular language models that have been pretrained on extensive chemical data and then fine-tuned with curated energetic materials datasets. This transfer-learning strategy extends the chemical language model capabilities beyond the pharmacological space in which they have been predominantly developed, offering a framework applicable to other data-spare discovery problems. Furthermore, we discuss the benefits of fragment-based molecular encodings for chemical language models, in particular in constructing synthetically accessible structures. Together, these advances provide a foundation for accelerating the design of next-generation energetic materials with demanding performance requirements. △ Less

Submitted 30 March, 2026; originally announced April 2026.

Narrowband searches for continuous gravitational waves from known pulsars in the first two parts of the fourth LIGO--Virgo--KAGRA observing run

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, A. G. Abac, I. Abouelfettouh, F. Acernese, K. Ackley, A. Adam, C. Adamcewicz, S. Adhicary, D. Adhikari, N. Adhikari, R. X. Adhikari, V. K. Adkins, S. Afroz, A. Agapito, D. Agarwal, M. Agathos, N. Aggarwal, S. Aggarwal, O. D. Aguiar, I. -L. Ahrend, L. Aiello, A. Ain, P. Ajith , et al. (1831 additional authors not shown)

Abstract: Rotating non-axisymmetric neutron stars (NSs) are promising sources for continuous gravitational waves (CWs). Such CWs can, if detected, inform us about the internal structure and equation of state of NSs. Here, we present a narrowband search for CWs from known pulsars, for which an efficient and sensitive matched-filter search can be applied. Narrowband searches are designed to be robust to misma… ▽ More Rotating non-axisymmetric neutron stars (NSs) are promising sources for continuous gravitational waves (CWs). Such CWs can, if detected, inform us about the internal structure and equation of state of NSs. Here, we present a narrowband search for CWs from known pulsars, for which an efficient and sensitive matched-filter search can be applied. Narrowband searches are designed to be robust to mismatches between the electromagnetic (EM) and gravitational emissions, in contrast to fully targeted searches where the CW emission is assumed to be phase-locked to the EM one. In this work, we search for the CW counterparts emitted by 34 pulsars using data from the first and second parts of the fourth LIGO--Virgo--KAGRA observing run. This is the largest number of pulsars so far targeted for narrowband searches in the advanced detector era. We use the 5n-vector narrowband pipeline, which applies frequency-domain matched filtering. In previous searches, it covered a narrow range in the frequency -- frequency time derivative ($f$ -- $\dot{f}$) space. Here, we also explore a range in the second time derivative of the frequency $\ddot{f}$ around the value indicated by EM observations. Additionally, for the first time, we target sources in a binary system with this kind of search. We find no evidence for CWs and therefore set upper limits on the strain amplitude emitted by each pulsar, using simulated signals added in real data. For 20 analyses, we report an upper limit below the theoretical spin-down limit. The tightest constraint is for pulsar PSR J0534+2200 (the Crab pulsar), for which our strain upper limit on the CW amplitude is $\lesssim 2\%$ of its spin-down limit, corresponding to less than $0.04\%$ of the spin-down power being radiated in the CW channel. △ Less

Submitted 8 July, 2026; v1 submitted 26 March, 2026; originally announced March 2026.

Comments: 30 pages, 6 figures, submitted to ApJ

Report number: LIGO-P2500612

Journal ref: The Astrophysical Journal, 1005:221, 2026 July 10

Searches for Continuous Gravitational Waves from Supernova Remnants in the first part of the LIGO-Virgo-KAGRA Fourth Observing run

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, A. G. Abac, I. Abouelfettouh, F. Acernese, K. Ackley, C. Adamcewicz, S. Adhicary, D. Adhikari, N. Adhikari, R. X. Adhikari, V. K. Adkins, S. Afroz, A. Agapito, D. Agarwal, M. Agathos, N. Aggarwal, S. Aggarwal, O. D. Aguiar, I. -L. Ahrend, L. Aiello, A. Ain, P. Ajith, T. Akutsu , et al. (1742 additional authors not shown)

Abstract: We present results from directed searches for continuous gravitational waves from a sample of 15 nearby supernova remnants, likely hosting young neutron star candidates, using data from the first eight months of the fourth observing run (O4) of the LIGO-Virgo-KAGRA Collaboration. The analysis employs five pipelines: four semi-coherent methods -- the Band-Sampled-Data directed pipeline, Weave and t… ▽ More We present results from directed searches for continuous gravitational waves from a sample of 15 nearby supernova remnants, likely hosting young neutron star candidates, using data from the first eight months of the fourth observing run (O4) of the LIGO-Virgo-KAGRA Collaboration. The analysis employs five pipelines: four semi-coherent methods -- the Band-Sampled-Data directed pipeline, Weave and two Viterbi pipelines (single- and dual-harmonic) -- and PyStoch, a cross-correlation-based pipeline. These searches cover wide frequency bands and do not assume prior knowledge of the targets' ephemerides. No evidence of a signal is found from any of the 15 sources. We set 95\% confidence-level upper limits on the intrinsic strain amplitude, with the most stringent constraints reaching $\sim 4 \times 10^{-26}$ near 300 Hz for the nearby source G266.2$-$1.2 (Vela Jr.). We also derive limits on neutron star ellipticity and $r$-mode amplitudes for the same source, with the best constraints reaching $\lesssim 10^{-7}$ and $\lesssim 10^{-5}$, respectively, at frequencies above 400 Hz. These results represent the most sensitive wide-band directed searches for continuous gravitational waves from supernova remnants to date. △ Less

Submitted 2 April, 2026; v1 submitted 26 March, 2026; originally announced March 2026.

Journal ref: The Astrophysical Journal, 1004 204 (2026)

GWTC-4.0: Tests of General Relativity. III. Tests of the Remnants

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, A. G. Abac, I. Abouelfettouh, F. Acernese, K. Ackley, C. Adamcewicz, S. Adhicary, D. Adhikari, N. Adhikari, R. X. Adhikari, V. K. Adkins, S. Afroz, A. Agapito, D. Agarwal, M. Agathos, N. Aggarwal, S. Aggarwal, O. D. Aguiar, I. -L. Ahrend, L. Aiello, A. Ain, P. Ajith, T. Akutsu , et al. (1757 additional authors not shown)

Abstract: This is the third paper of the set recording the results of the suite of tests of general relativity (GR) performed on the signals from the fourth Gravitational-Wave Transient Catalog (GWTC-4.0), where we focus on the remnants of the binary mergers. We examine for the first time 42 events from the first part of the fourth observing run of the LIGO-Virgo-KAGRA detectors, alongside events from the p… ▽ More This is the third paper of the set recording the results of the suite of tests of general relativity (GR) performed on the signals from the fourth Gravitational-Wave Transient Catalog (GWTC-4.0), where we focus on the remnants of the binary mergers. We examine for the first time 42 events from the first part of the fourth observing run of the LIGO-Virgo-KAGRA detectors, alongside events from the previous observation runs, restricting our analysis to the confident signals, which were measured in at least two detectors and that have false alarm rates $\le 10^{-3} \mathrm{yr}^{-1}$. This paper focuses on seven tests of the coalescence remnants. Three of these are tests of the ringdown and its consistency with the expected quasinormal mode spectrum of a Kerr black hole. Specifically, two tests analyze just the ringdown in the time domain, and the third test analyzes the entire signal in the frequency domain. Four tests allow for the existence of possible echoes arriving after the end of the ringdown, which are not expected in GR. We find overall consistency of the remnants with GR. When combining events by multiplying likelihoods (hierarchically), one analysis finds that the GR prediction lies at the boundary of the $98.6^{+1.4}_{-9.4}\%$ ($99.3^{+0.7}_{-4.5}\%$) credible region, an increase from $93.8^{+6.1}_{-20.0}\%$ ($94.9^{+4.4}_{-18.2}\%$) for GWTC-3.0. Here the ranges of values comes from bootstrapping to account for the finite number of events analyzed and suggest that some of the apparently significant deviation could be attributed to variance due to the finite catalog. Since the significance also decreases to 92.2% (96.2%) when including the more recent very loud event GW250114, there is no strong evidence for a GR deviation. We find no evidence for post-merger echoes in the events that were analyzed. (Abridged) △ Less

Submitted 19 March, 2026; originally announced March 2026.

Comments: As part of the Astrophysical Journal Letters Focus Issue on the Gravitational Wave Transient Catalog

Report number: LIGO-P2500067

GWTC-4.0: Tests of General Relativity. II. Parameterized Tests

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, A. G. Abac, I. Abouelfettouh, F. Acernese, K. Ackley, C. Adamcewicz, S. Adhicary, D. Adhikari, N. Adhikari, R. X. Adhikari, V. K. Adkins, S. Afroz, A. Agapito, D. Agarwal, M. Agathos, N. Aggarwal, S. Aggarwal, O. D. Aguiar, I. -L. Ahrend, L. Aiello, A. Ain, P. Ajith, T. Akutsu , et al. (1763 additional authors not shown)

Abstract: In this second of three papers on tests of general relativity (GR) applied to the compact binary coalescence signals in the 4th Gravitational-Wave Transient Catalog (GWTC-4.0), we present the results of the parameterized tests of GR and constraints on line-of-sight acceleration (LOSA). We include events up to and including the 1st part of the 4th observing run (O4a) of the LIGO-Virgo-KAGRA detecto… ▽ More In this second of three papers on tests of general relativity (GR) applied to the compact binary coalescence signals in the 4th Gravitational-Wave Transient Catalog (GWTC-4.0), we present the results of the parameterized tests of GR and constraints on line-of-sight acceleration (LOSA). We include events up to and including the 1st part of the 4th observing run (O4a) of the LIGO-Virgo-KAGRA detectors. As in the other two papers in this series, we restrict our analysis to the 42 confident signals, measured by at least two detectors, that have FAR < 10^{-3}/yr from O4a, in addition to the 49 such events from previous observing runs. This paper focuses on the 8 tests that constrain parameterized deviations from the expected GR (or unaccelerated) values. These include modifications of post-Newtonian (PN) parameters, spin-induced quadrupole moments different from those of a binary black hole (BH), and possible dispersive or birefringent propagation effects. Overall, we find no evidence for physics beyond GR, for spin-induced quadrupole moments different from those of a Kerr BH in GR, or for LOSA, with more than 90% of the events including the null result (no deviation) within their 90% credible intervals. We discuss possible systematics affecting the other events and tests, even though they are statistically not surprising, given noise. The increased number of events analyzed allow us to improve the constraints on deviations from GR. For instance, for the PN coefficients, we improve the constraints by factors of 1.2-5.5, though some of this improvement is due to allowing the PN coefficient deviations to affect more of the waveform. We also provide illustrative translations to some modified theories. We update the bound on the graviton mass, at 90% credibility, to $m_g\leq1.92\times10^{-23}\mathrm{eV}/c^2$. Many of the bounds on possible deviations derived from our events are the best to date. △ Less

Submitted 20 July, 2026; v1 submitted 19 March, 2026; originally announced March 2026.

Comments: As part of the Astrophysical Journal Letters Focus Issue on the Gravitational Wave Transient Catalog; updated with ApJL resubmission and updated data release

Report number: LIGO-P2500066

GWTC-4.0: Tests of General Relativity. I. Overview and General Tests

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, A. G. Abac, I. Abouelfettouh, F. Acernese, K. Ackley, C. Adamcewicz, S. Adhicary, D. Adhikari, N. Adhikari, R. X. Adhikari, V. K. Adkins, S. Afroz, A. Agapito, D. Agarwal, M. Agathos, N. Aggarwal, S. Aggarwal, O. D. Aguiar, I. -L. Ahrend, L. Aiello, A. Ain, P. Ajith, T. Akutsu , et al. (1759 additional authors not shown)

Abstract: The worldwide LIGO-Virgo-KAGRA network of gravitational-wave (GW) detectors continues to increase in sensitivity, thus increasing the quantity and quality of the detected GW signals from compact binary coalescences. These signals allow us to perform ever-more sensitive tests of general relativity (GR) in the dynamical and strong-field regime of gravity. This paper is the first of three, where we p… ▽ More The worldwide LIGO-Virgo-KAGRA network of gravitational-wave (GW) detectors continues to increase in sensitivity, thus increasing the quantity and quality of the detected GW signals from compact binary coalescences. These signals allow us to perform ever-more sensitive tests of general relativity (GR) in the dynamical and strong-field regime of gravity. This paper is the first of three, where we present the results of a suite of tests of GR using the binary signals included in the fourth GW Transient Catalog (GWTC-4.0), i.e., up to and including the first part of the fourth observing run of the detectors (O4a). We restrict our analysis to the 91 confident signals, henceforth called events, that were measured by at least two detectors, and have false alarm rates $\le 10^{-3} \mathrm{yr}^{-1}$. These include 42 events from O4a. This first paper presents an overview of the methods, selection of events and GR tests, and serves as a guidemap for all three papers. Here we focus on the four general tests of consistency, where we find no evidence for deviations from our models. Specifically, for all the events considered, we find consistency of the residuals with noise. The final mass and final spin as inferred from the low- and high-frequency parts of the waveform are consistent with each other. We also find no evidence for deviations from the GR predictions for the amplitudes of subdominant GW multipole moments, or for non-GR modes of polarization. We thus find that GR, without new physics beyond it, is still consistent with these GW events. The results of the two additional papers in this trio also find overall consistency with vacuum GR, with more than 90% of the events being consistent with GR at the 90% credible level. While one of the ringdown analyses finds the GR value in the tails for its combined results, this may be due in part to catalog variance. △ Less

Submitted 19 March, 2026; originally announced March 2026.

Comments: As part of the Astrophysical Journal Letters Focus Issue on the Gravitational Wave Transient Catalog

Report number: LIGO-P2500065

A Longitudinal Study of Usability in Identity-Based Software Signing

Authors: Kelechi G. Kalu, Hieu Tran, Santiago Torres-Arias, Sooyeon Jeong, James C. Davis

Abstract: Identity-based software signing tools aim to make software artifact provenance verifiable while reducing the operational burden of long-lived key management. However, there is limited cross-tool longitudinal evidence about which usability problems arise in practice and how those problems evolve as tools mature. This gap matters because unusable signing and verification workflows can lead to incomp… ▽ More Identity-based software signing tools aim to make software artifact provenance verifiable while reducing the operational burden of long-lived key management. However, there is limited cross-tool longitudinal evidence about which usability problems arise in practice and how those problems evolve as tools mature. This gap matters because unusable signing and verification workflows can lead to incomplete adoption, misconfiguration, or skipped verification, undermining intended integrity guarantees. We conducted the first mining-software-repositories study of five open-source identity-based signing ecosystems: Sigstore, OpenPubKey, HashiCorp Vault, Keyfactor, and Notary v2. We analyzed approximately 3,900 GitHub issues from Nov. 2021 to Nov. 2025. We coded each issue for the reported usability concern and the implicated architectural component, and compared patterns across tools and over time. Across ecosystems, reported concerns concentrate in verification workflows, policy and configuration surfaces, and integration boundaries. Longitudinal Poisson trend analysis shows substantial declines in reported issues for most ecosystems. However, across usability themes, workflow- and documentation-related concerns decline unevenly across tools and concern types, and verification workflows and configuration surfaces remain persistent friction points. These results indicate that identity-based signing reduces some usability burdens while relocating complexity to verification semantics, policy configuration, and deployment integration. Designing future signing ecosystems therefore requires treating verification semantics and release workflows as first-class usability targets rather than peripheral integration concerns. △ Less

Submitted 17 March, 2026; originally announced March 2026.

The Super Fine-Grained Detector for the T2K neutrino oscillation experiment

Authors: S. Abe, H. Alarakia-Charles, I. Alekseev, T. Arai, T. Arihara, S. Arimoto, A. M. Artikov, Y. Awataguchi, N. Babu, V. Baranov, G. Barr, D. Barrow, L. Bartoszek, A. Beliakova, L. Bernardi, L. Berns, S. Bhattacharjee, A. V. Boikov, A. Blondel, A. Bonnemaison, F. Cadoux, S. Cap, A. Cauchois, J. Chakrani, P. S. Chong , et al. (147 additional authors not shown)

Abstract: The magnetised near detector ND280 of the long-baseline neutrino experiment T2K has been upgraded to improve its detection performance and, consequently, enhance our understanding of neutrino-nucleus interactions, reducing the systematic uncertainties in measurements of the neutrino oscillation parameters. A key component of the upgrade is a novel segmented plastic scintillator detector, called th… ▽ More The magnetised near detector ND280 of the long-baseline neutrino experiment T2K has been upgraded to improve its detection performance and, consequently, enhance our understanding of neutrino-nucleus interactions, reducing the systematic uncertainties in measurements of the neutrino oscillation parameters. A key component of the upgrade is a novel segmented plastic scintillator detector, called the Super Fine-Grained Detector (SuperFGD), made of approximately 2 million optically isolated 1 cm$^3$ cubes read out by three orthogonal wavelength-shifting (WLS) fibres. Scintillation photons are detected by 55,888 Hamamatsu Multi-Pixel Photon Counters (MPPCs). The SuperFGD provides 3D images of neutrino interactions by tracking the final-state charged particles produced isotropically, including protons down to a threshold of around 330 MeV/$c$. The high light yield of SuperFGD greatly improves particle identification and the sub-nanosecond time resolution provides an excellent identification of Michel electrons. The SuperFGD is also able to detect neutrons from neutrino interactions and, for the first time in a neutrino experiment, to reconstruct their kinetic energy using a fine detector segmentation and by measuring the time-of-flight with sub-nanosecond precision. In this article the details of the detector design, construction and performance are described. The detector was installed in ND280 and successfully commissioned with cosmic data in 2023 and, later, with the T2K neutrino beam. The detector response has been characterised with the 2023 and 2024 data and the results are reported in this article. △ Less

Submitted 16 March, 2026; originally announced March 2026.

Beyond Local Code Optimization: Multi-Agent Reasoning for Software System Optimization

Authors: Huiyun Peng, Parth Vinod Patil, Antonio Zhong Qiu, George K. Thiruvathukal, James C. Davis

Abstract: Large language models and AI agents have recently shown promise in automating software performance optimization, but existing approaches predominantly rely on local, syntax-driven code transformations. This limits their ability to reason about program behavior and capture whole system performance interactions. As modern software increasingly comprises interacting components - such as microservices… ▽ More Large language models and AI agents have recently shown promise in automating software performance optimization, but existing approaches predominantly rely on local, syntax-driven code transformations. This limits their ability to reason about program behavior and capture whole system performance interactions. As modern software increasingly comprises interacting components - such as microservices, databases, and shared infrastructure - effective code optimization requires reasoning about program structure and system architecture beyond individual functions or files. This paper explores the feasibility of whole system optimization for microservices. We introduce a multi-agent framework that integrates control-flow and data-flow representations with architectural and cross-component dependency signals to support system-level performance reasoning. The proposed system is decomposed into coordinated agent roles - summarization, analysis, optimization, and verification - that collaboratively identify cross-cutting bottlenecks and construct multi-step optimization strategies spanning the software stack. We present a proof-of-concept on a microservice-based system that illustrates the effectiveness of our proposed framework, achieving a 36.58% improvement in throughput and a 27.81% reduction in average response time. △ Less

Submitted 15 March, 2026; originally announced March 2026.

All-sky Searches for Continuous Gravitational Waves from Isolated Neutron Stars in the Data from the First Part of the Fourth LIGO-Virgo-KAGRA Observing Run

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, A. G. Abac, I. Abouelfettouh, F. Acernese, K. Ackley, A. Adam, C. Adamcewicz, S. Adhicary, D. Adhikari, N. Adhikari, R. X. Adhikari, V. K. Adkins, S. Afroz, A. Agapito, D. Agarwal, M. Agathos, N. Aggarwal, S. Aggarwal, O. D. Aguiar, I. -L. Ahrend, L. Aiello, A. Ain, P. Ajith , et al. (1804 additional authors not shown)

Abstract: We present results from an all-sky search for continuous gravitational waves, using three different methods applied to the first eight months of LIGO data from the fourth LIGO-Virgo-KAGRA Collaboration s observing run. We aim at signals potentially emitted by rotating, non-axisymmetric isolated neutron star in the Milky Way. The analysis spans a frequency range from 20 Hz to 2000 Hz and accommodat… ▽ More We present results from an all-sky search for continuous gravitational waves, using three different methods applied to the first eight months of LIGO data from the fourth LIGO-Virgo-KAGRA Collaboration s observing run. We aim at signals potentially emitted by rotating, non-axisymmetric isolated neutron star in the Milky Way. The analysis spans a frequency range from 20 Hz to 2000 Hz and accommodates frequency derivative magnitudes up to $10^{-8}$ Hz/s. No statistically significant periodic gravitational wave signals were detected. We establish 95% confidence-level (CL) frequentist upper limits on the dimensionless strain amplitudes. The most stringent population-averaged strain upper limits reach 9.7 $\times$ $10^{-26}$ near 290 Hz, matching the best previous constraints from 250 to $\sim$1700 Hz while extending coverage to a much broader spin-down range. At higher frequencies, the new limits improve upon previous results by factors of approximately $\sim$1.6. These constraints are applied to three astrophysical scenarios: 1) the distribution of galactic neutron stars as a function of spin frequency and ellipticity; 2) the contribution of millisecond pulsars to the GeV excess near the galactic center; and 3) the possible dark matter fraction composed of nearby inspiraling primordial binary black holes with asteroid-scale masses. △ Less

Submitted 14 March, 2026; originally announced March 2026.

Comments: 45 pages, 17 figures

Report number: LIGO-P2500416

An Empirical Investigation of Pre-Trained Deep Learning Model Reuse in the Scientific Process

Authors: Nicholas M. Synovic, Karolina Ryzka, Alessandra V. Vellucci Solari, Kenny Lyons, James C. Davis, George K. Thiruvathukal

Abstract: Deep learning has achieved recognition for its impact within natural sciences, yet the prohibitive financial and technical cost of training models from scratch inhibit adoption. Following software engineering community guidance, natural scientists are reusing pre-trained deep learning models (PTMs) to amortize these costs. While prior works recommend PTM reuse patterns, we present the first empiri… ▽ More Deep learning has achieved recognition for its impact within natural sciences, yet the prohibitive financial and technical cost of training models from scratch inhibit adoption. Following software engineering community guidance, natural scientists are reusing pre-trained deep learning models (PTMs) to amortize these costs. While prior works recommend PTM reuse patterns, we present the first empirical study of PTM reuse patterns in the natural sciences, quantifying the utilization and impact of PTM reuse within the scientific process across 17,718 peer reviewed, open access papers. Our results show that "Biochemistry, Genetics and Molecular Biology" has outpaced other natural scientific fields in PTM reuse, "adaptation" reuse is the most prevalent PTM reuse pattern identified across all natural science fields, and the "testing" stage of the scientific process has been most impacted by PTM integration. △ Less

Submitted 15 June, 2026; v1 submitted 13 March, 2026; originally announced March 2026.

Comments: 22 pages, 7 figures, 4 tables

Narrowband heralded single photons via Bragg grating inscription in germanium-doped photonic crystal fiber

Authors: Will A. M. Smith, Alex I. Flint, Rex H. S. Bannerman, James C. Gates, Peter G. R. Smith, Alex O. C. Davis, Peter J. Mosley

Abstract: We present a fiber-based source of narrowband heralded single photons in the telecoms C-band. Photon pairs were generated by spontaneous four-wave mixing in photonic crystal fiber (PCF) with a germanium-doped region incorporated into its core for enhanced photosensitivity. A fiber Bragg grating (FBG) with a bandwidth of 0.2 nm and contrast of 17.5 dB was UV-written into the PCF to reflect a sub-na… ▽ More We present a fiber-based source of narrowband heralded single photons in the telecoms C-band. Photon pairs were generated by spontaneous four-wave mixing in photonic crystal fiber (PCF) with a germanium-doped region incorporated into its core for enhanced photosensitivity. A fiber Bragg grating (FBG) with a bandwidth of 0.2 nm and contrast of 17.5 dB was UV-written into the PCF to reflect a sub-nanometre slice of the photon-pair spectrum. This allowed narrowband photons to be heralded at the proximal end of the fiber by detection events after the distal end. We present photon counting data with a coincidence-to-accidental ratio of up to 70. Our source demonstrates a viable route to fiber-integrated narrowband heralded single photon sources suitable for coupling to quantum memories and interfacing heterogeneous qubit types. △ Less

Submitted 10 March, 2026; originally announced March 2026.

Towards the Systematic Testing of Regular Expression Engines

Authors: Berk Çakar, Dongyoon Lee, James C. Davis

Abstract: Software engineers use regular expressions (regexes) across a wide range of domains and tasks. To support regexes, software projects must integrate a regex engine, whether provided natively by the language runtime (e.g., Python's re) or included as an external dependency (e.g., PCRE). However, these engines may contain bugs and introduce vulnerabilities. A common strategy for testing regex engines… ▽ More Software engineers use regular expressions (regexes) across a wide range of domains and tasks. To support regexes, software projects must integrate a regex engine, whether provided natively by the language runtime (e.g., Python's re) or included as an external dependency (e.g., PCRE). However, these engines may contain bugs and introduce vulnerabilities. A common strategy for testing regex engines involves differential testing -- comparing outputs across different implementations. However, this approach is concerning because regex syntax and semantics vary significantly between dialects (e.g., POSIX vs. PCRE). Fuzzing is also utilized to ease testing of feature-rich regex implementations to expose defects, but naive byte-level mutations generate syntactically invalid inputs that exercise only parsing logic, not matching internals. In this work, we describe our progress towards ReTest, a framework that systematically tests regular expression engines by combining grammar-aware fuzzing for high code coverage with metamorphic testing to generate dialect-independent test oracles. So far, we have surveyed testing practices across 22 regex engines, analyzed 1,007 regex engine bugs and 156 CVEs to characterize failure modes, and curated 16 metamorphic relations for regexes derived from Kleene algebra. Our preliminary evaluation on PCRE shows that ReTest achieves 3x higher edge coverage than existing fuzzing approaches and has identified three new memory safety defects. We conclude by describing our next steps toward our ultimate goal: helping regex engine developers identify bugs without depending on a consistent cross-implementation standard. △ Less

Submitted 27 February, 2026; originally announced March 2026.

Comments: 10 pages, 3 tables, and 4 figures. Presented in Journal Ahead Workshop (JAWs) 2026

Regular Expression Denial of Service Induced by Backreferences

Authors: Yichen Liu, Berk Çakar, Aman Agrawal, Minseok Seo, James C. Davis, Dongyoon Lee

Abstract: This paper presents the first systematic study of denial-of-service vulnerabilities in Regular Expressions with Backreferences (REwB). We introduce the Two-Phase Memory Automaton (2PMFA), an automaton model that precisely captures REwB semantics. Using this model, we derive necessary conditions under which backreferences induce super-linear backtracking runtime, even when sink ambiguity is linear… ▽ More This paper presents the first systematic study of denial-of-service vulnerabilities in Regular Expressions with Backreferences (REwB). We introduce the Two-Phase Memory Automaton (2PMFA), an automaton model that precisely captures REwB semantics. Using this model, we derive necessary conditions under which backreferences induce super-linear backtracking runtime, even when sink ambiguity is linear -- a regime where existing detectors report no vulnerability. Based on these conditions, we identify three vulnerability patterns, develop detection and attack-construction algorithms, and validate them in practice. Using the Snort intrusion detection ruleset, our evaluation identifies 45 previously unknown REwB vulnerabilities with quadratic or worse runtime. We further demonstrate practical exploits against Snort, including slowing rule evaluation by 0.6-1.2 seconds and bypassing alerts by triggering PCRE's matching limit. △ Less

Submitted 24 February, 2026; originally announced February 2026.

Comments: 24 pages, 8 figures. Submitted to USENIX Security 2026. For the code repository of detector, see https://anonymous.4open.science/r/slmad-EABE. For the code repository of measurements, see https://anonymous.4open.science/r/atkre-7D50