arXiv subjects

William Cook

Publications and source records attributed to William Cook.

At least 19 recordsLinked to original sources

arXiv2026

Interior Magnetic Fields in Magnetars and Radio Pulsars

Magnetic fields are fundamental for neutron star physics and play a central role in powering the extreme phenomenology of magnetars, including Soft Gamma Repeaters and Anomalous X-ray Pulsars. However, the structure and stability of their internal magnetic fields remain largely unconstrained, as they cannot be directly probed by electromagnetic observations. Using 3D general-relativistic magnetohydrodynamics simulations across a range of rotation rates and magnetic field strengths, we identify two distinct evolutionary regimes leading towards dynamically stable magnetic configurations. In rapidly rotating stars, the Alfv\'en crossing timescale exceeds the rotation period, allowing differential winding to amplify a strong toroidal magnetic component before the onset of instabilities, leading to long-lived, stable configurations. In contrast, in magnetically dominated stars, instabilities in the poloidal field drive rapid field decay, leaving only a comparatively weak toroidal component. These results imply that the internal magnetic structure of neutron stars depends sensitively on their rotational state: rotation-dominated stars like radio pulsars develop strong toroidal fields, while magnetars are characterized by predominantly poloidal configurations. Our findings therefore show that a neutron star's rotational history shapes its internal magnetic structure, providing a unifying physical picture that connects the observed diversity of neutron star classes to their hidden field configurations.

astro-ph.HE↗

arXiv2026

Subgrid Modelling for Relativistic Magnetohydrodynamics with Machine Learning

Resolving the impact of magnetic field instabilities in triggering small scale turbulent flow and the associated rearrangement of the field is of critical importance in understanding multimessenger observables in binary neutron star mergers, and angular momentum transport in neutron stars and accretion disks. Direct simulation of these instabilities are unfeasible, however large-eddy simulations can incorporate the impact of this turbulence with a subgrid model. We present the first machine-learning-based subgrid model for special relativistic magnetohydrodynamics, trained using a neural network. We demonstrate its performance in online simulations of the 3D Kelvin-Helmholtz instability through both a priori and a posteriori tests. Evaluated in a low resolution simulation, our model captures magnetic field amplification of a simulation at 4 times the resolution with a speed-up of a factor 44. This demonstrates the applicability of such methods in general relativistic simulations of neutron star mergers and other scenarios.

astro-ph.HE↗

arXiv2026

Magnetic field dynamics in isolated neutron stars with an external dipole field

Neutron stars can harbor extremely strong magnetic fields, yet the structure and stability of their magnetic field configuration remain poorly understood. Observations of pulsars indicate that the large-scale external field is predominantly dipolar far from the star, while the internal magnetic configurations are largely unconstrained. We investigate the dynamical stability of magnetized neutron stars through long-term numerical-relativity simulations. We explore a range of models with an initial external dipole field and mixed poloidal-toroidal internal field where the energy of the toroidal component varies up to $90\%$ of the magnetic energy. We find that the internal magnetic field relaxes toward a dynamically stable mixed poloidal-toroidal geometry, in which the toroidal component contributes to $\lesssim10\%$ of the total magnetic energy both in the exterior and in the interior. This configuration emerges within one Alfv\'en time following the saturation of the Tayler instabilities and also aided by gravitational-wave emission. These results suggest that long-lived neutron star magnetic fields are strongly constrained toward stable mixed configurations, with important implications for pulsar emission models, magnetar evolution, and the interpretation of gravitational-wave signals from magnetized remnants.

astro-ph.HE↗

arXiv2026

Extending Exact Integrality Gap Computations for the Metric TSP

The subtour relaxation of the traveling salesman problem (TSP) plays a central role in approximation algorithms and polyhedral studies of the TSP. A long-standing conjecture asserts that the integrality gap of the subtour relaxation for the metric TSP is exactly $4/3$. In this paper, we extend the exact verification of this conjecture to a larger number of vertices. Using the framework introduced by Benoit and Boyd in 2008, we confirm their results up to $n=10$. We further show that for $n=11$ and $n=12$, the published lists of extreme points of the subtour polytope are incomplete: one extreme point is missing for $n=11$ and twenty-two extreme points are missing for $n=12$. We extend the enumeration of the extreme points of the subtour polytope to instances with up to $n=16$ vertices in the general case. Restricted to half-integral extreme points, we extend the enumeration to $n=18$. Our results provide additional support for the $4/3$-Conjecture. Our lists of extreme points are available on the public bonndata repository (https://doi.org/10.60507/FK2/JK95PC).

math.CO↗

arXiv2026

GR-Athena++: Binary Neutron Star Merger Simulations with Neutrino Transport

We present general-relativistic radiation magnetohydrodynamics simulations of binary neutron star mergers performed with GR-Athena++. Neutrino transport is treated using a moment-based, energy-integrated scheme (M1), augmented by neutrino number density evolution (N0). Our implementation is validated through an extensive suite of standard tests and demonstrated to perform robustly under adaptive mesh refinement. As a first application, we simulate the gravitational collapse of a uniformly rotating, magnetized neutron star, demonstrating stable radiation evolution through apparent-horizon formation using a novel excision technique based on the tapering of state vector evolution inside the horizon. To further test robustness in highly dynamic environments, we apply our code to two demanding binary neutron star merger scenarios. We investigate a long-lived remnant with the DD2 equation of state, evolved with full general-relativistic magnetohydrodynamics and M1 neutrino transport. Following this, a gravitational collapse scenario with the SFHo equation of state is explored. We showcase long-term stable evolution on neutrino cooling time-scales, demonstrating robust handling of excision and stable evolution of the post-collapse accretion phase in three-dimensional mergers with magnetic fields and neutrino radiation.

gr-qc↗

arXiv2025

Magnetic Field Configurations in Binary Neutron Star Mergers II: Inspiral, Merger and Ejecta

We perform a series of simulations of magnetised Binary Neutron Star mergers, with varying magnetic field topologies in the initial data, as well as varying Equations of State, and mass ratios. In this paper, a companion paper to arXiv:2506.18995, we analyse the impact of the initial field configuration on the gravitational wave signal, the amplification of the magnetic field, and the ejected material. We investigate the dependence of the phase evolution of the gravitational wave in the post-merger on the initial magnetic field, finding that dephasing between the $(\ell=2,m=2)$ mode of the gravitational wave, and the $(2,1)$ and $(3,3)$ modes may be strongly impacted by the numerical reconstruction scheme. The magnetic field amplification during the Kelvin-Helmholtz dominated phase may be considerably enhanced by anti-aligned fields, or suppressed by toroidal fields. The post-merger amplification of the field due to winding may be suppressed by toroidal fields, and enhanced by asymmetries or mixtures of poloidal and toroidal fields. The field strength in the ejecta may be impacted by the initial magnetic field, with configurations which lead to large amplifications and those with mixtures of poloidal and toroidal fields preferentially emitting highly magnetised material in the polar regions, showing a weaker dependence of the magnetic field on the density of the ejecta than in cases that amplify the magnetic field less. We find that the magnetic field is largely randomly oriented in the ejected material, supporting such models used to estimate thermalisation timescales of ejected material. We find that configurations which begin with an initial bitant symmetry break this symmetry uniformly, independent of the initial configuration, when evolved without an enforced symmetry. This behaviour suggests the presence of a spontaneous symmetry breaking bifurcation in the solution.

astro-ph.HE↗

arXiv2025

Covariant and Gauge-invariant Metric-based Gravitational-waves Extraction in Numerical Relativity

We revisit the problem of gravitational-wave extraction in numerical relativity with gauge-invariant metric perturbation theory of spherical spacetimes. Our extraction algorithm allows the computation of even-parity (Zerilli-Moncrief) and odd-parity (Regge-Wheeler) multipoles of the strain from a (3+1) metric without the assumption that the spherical background is in Schwarzschild coordinates. The algorithm is validated with a comprehensive suite of 3D problems including fluid ($f$-modes) and spacetime ($w$-modes) perturbations of neutron stars, gravitational collapse of rotating neutron stars, circular binary black holes mergers and black hole dynamical captures and binary neutron star mergers. We find that metric extraction is robust in all the considered scenarios and delivers waveforms of overall quality similar to curvature (Weyl) extraction. Metric extraction is particularly valuable in identifying waveform systematics for problems in which the reconstruction of the strain from the Weyl multipoles is ambiguous. Direct comparison of different choices for the gauge-invariant master functions show very good agreement in the even-parity sector. Instead, in the odd-parity sector, assuming the background in Schwarzschild coordinates can minimize gauge effects related to the use of the $\Gamma$-driver shift. Moreover, for optimal choices of the extraction radius, a simple extrapolation to null infinity can deliver waveforms compatible to Cauchy-characteristic extrapolated waveforms.

gr-qc↗

arXiv2025

Magnetic Field Configurations in Binary Neutron Star Mergers I: Post-merger Remnant and Disk

We present a suite of general relativistic magnetohydrodynamic (GRMHD) simulations of binary neutron star (BNS) mergers performed with the code GR-Athena++. We investigate how a different initial magnetic field configuration, nuclear equation of state, or binary mass ratio affects the magnetic and thermodynamic evolution of the post-merger remnant and disk. We also analyze the impact of the commonly-assumed reflection (bitant) symmetry across the equatorial plane. Magnetic field amplification occurs shortly after the merger due to the Kelvin-Helmholtz instability; later, the field keeps evolving with a predominantly toroidal configuration due to winding and turbulence. The initial magnetic field topology leaves an imprint on the field structure and affects magnetic field amplification for the initial magnetic field values commonly assumed in the literature and the limited resolution of the simulations. Enforcing equatorial reflection symmetry partially suppresses the development of turbulence near the equatorial plane and impacts the post-merger magnetic field evolution. Stiffer EOSs produce larger, less compact remnants that may retain memory of the pre-merger strong poloidal field.

astro-ph.HE↗

arXiv2025

Turbulence in Magnetised Neutron Stars

The magnetic field configuration in the interior of neutron stars and its stability are open problems and may be impacted by the influence of a turbulent cascade within the star. Assessing the impact of turbulent flow with numerical simulations requires incredibly high resolution as well as long lived simulations covering multiple Alfven times. We present a series of simulations of magnetised neutron stars with resolution up to 29m and lasting at their longest 1.2s to assess this issue, the longest lasting and highest resolution such simulations to date. At the highest resolution we find evidence for a turbulent cascade absent in an unmagnetised star which cannot be captured with lower resolution simulations, consistent with Kolmogorov power law scaling. The presence of turbulence triggers an inverse cascade of helicity, while at late times the net helicity appears to vanish, suggesting that a twisted-torus is not formed in the magnetic field. We find that the presence of the magnetic field excites a characteristic quadrupolar oscillation of the density profile at 145 Hz, consistent with Alfvenic modes proposed as the source of quasi-periodic oscillations observed in magnetars.

astro-ph.HE↗

arXiv2025

Mixed Fractional Information: Consistency of Dissipation Measures for Stable Laws

Symmetric alpha-stable (S alpha S) distributions with alpha<2 lack finite classical Fisher information. Building on Johnson's framework, we define Mixed Fractional Information (MFI) via the initial rate of relative entropy dissipation during interpolation between S alpha S laws with differing scales, v and s. We demonstrate two equivalent formulations for MFI in this specific S alpha S-to-S alpha S setting. The first involves the derivative D'(v) of the relative entropy between the two S alpha S densities. The second uses an integral expectation E_gv[u(x,0) (pF_v(x) - pF_s(x))] involving the difference between Fisher scores (pF_v, pF_s) and a specific MMSE-related score function u(x,0) derived from the interpolation dynamics. Our central contribution is a rigorous proof of the consistency identity: D'(v) = (1/(alpha v)) E_gv[X (pF_v(X) - pF_s(X))]. This identity mathematically validates the equivalence of the two MFI formulations for S alpha S inputs, establishing MFI's internal coherence and directly linking entropy dissipation rates to score function differences. We further establish MFI's non-negativity (zero if and only if v=s), derive its closed-form expression for the Cauchy case (alpha=1), and numerically validate the consistency identity. MFI provides a finite, coherent, and computable information-theoretic measure for comparing S alpha S distributions where classical Fisher information fails, connecting entropy dynamics to score functions and estimation concepts. This work lays a foundation for exploring potential fractional I-MMSE relations and new functional inequalities tailored to heavy-tailed systems.

cs.OH↗

arXiv2025

A Recursive Block Pillar Structure in the Kolakoski Sequence K(1,3)

The Kolakoski sequence K(1,3) over {1, 3} is known to be structured, unlike K(1,2), with symbol frequency d approx. 0.397 linked to the Pisot number alpha (real root of x^3 - 2x^2 - 1 = 0). We reveal an explicit nested recursion defining block sequences B(n) and pillar sequences P(n) via B(n+1) = B(n) P(n) B(n) and P(n+1) = G(R(P(n)), 3), where G generates runs from vector R(P(n)). We prove B(n) are prefixes of K(1,3) converging to it, and B(n+1) = G(R(B(n)), 1), directly reflecting the Kolakoski self-encoding property. We derive recurrences for lengths |B(n)|, |P(n)| and symbol counts, confirming growth governed by alpha (limit |B(n+1)|/|B(n)| = alpha as n -> infinity). If block/pillar densities converge, they must equal d. This constructive framework provides an alternative perspective on K(1,3)'s regularity, consistent with known results from substitution dynamics.

math.GM↗

arXiv2025

Beyond Coordinates: Meta-Equivariance in Statistical Inference

Optimal statistical decisions should transcend the language used to describe them. Yet, how do we guarantee that the choice of coordinates - the parameterisation of an optimisation problem - does not subtly dictate the solution? This paper reveals a fundamental geometric invariance principle. We first analyse the optimal combination of two asymptotically normal estimators under a strictly convex trace-AMSE risk. While methods for finding optimal weights are known, we prove that the resulting optimal estimator is invariant under direct affine reparameterisations of the weighting scheme. This exemplifies a broader principle we term meta-equivariance: the unique minimiser of any strictly convex, differentiable scalar objective over a matrix space transforms covariantly under any invertible affine reparameterisation of that space. Distinct from classical statistical equivariance tied to data symmetries, meta-equivariance arises from the immutable geometry of convex optimisation itself. It guarantees that optimality, in these settings, is not an artefact of representation but an intrinsic, coordinate-free truth.

cs.OH↗

arXiv2025

A Hierarchical Decomposition of Kullback-Leibler Divergence: Disentangling Marginal Mismatches from Statistical Dependencies

The Kullback-Leibler (KL) divergence is a foundational measure for comparing probability distributions. Yet in multivariate settings, its single value often obscures the underlying reasons for divergence, conflating mismatches in individual variable distributions (marginals) with effects arising from statistical dependencies. We derive an algebraically exact, additive, and hierarchical decomposition of the KL divergence between a joint distribution P(X1,...,Xn) and a standard product reference distribution Q(X1,...,Xn) = product_i q(Xi), where variables are assumed independent and identically distributed according to a common reference q. The total divergence precisely splits into two primary components: (1) the summed divergence of each marginal distribution Pi(Xi) from the common reference q(Xi), quantifying marginal deviations; and (2) the total correlation (or multi-information), capturing the total statistical dependency among variables. Leveraging Mobius inversion on the subset lattice, we further decompose this total correlation term into a hierarchy of signed contributions from distinct pairwise, triplet, and higher-order statistical interactions, expressed using standard Shannon information quantities. This decomposition provides an algebraically complete and interpretable breakdown of KL divergence using established information measures, requiring no approximations or model assumptions. Numerical validation using hypergeometric sampling confirms the decomposition's exactness to machine precision across diverse system configurations.

cs.OH↗

arXiv2025

The Resonance Bias Framework: Resonance, Structure, and Arithmetic in Quadrature Error

We study the trapezoidal rule for periodic functions on uniform grids and show that the quadrature error exhibits a rich deterministic structure, beyond traditional asymptotic or statistical interpretations. Focusing on the prototype function f(x) = sin^2(2 pi k x), we derive an analytical expression for the error governed by a resonance function chi_P(y), closely related to the Dirichlet kernel, roots of unity, and discrete Fourier analysis on the group Z/PZ. This function acts as a spectral filter, connecting the integration error to arithmetic properties such as k/P and geometric phase cancellation, visualized as vector averaging on the unit circle. We introduce the Resonance Bias Framework (RBF), a generalization to arbitrary smooth periodic functions, leading to the error representation B_P[f] = sum_{k != 0} c_k chi_P(k/P). Although this is mathematically equivalent to the classical aliasing sum, it reveals a deeper mechanism: the quadrature error arises from structured resonance rather than random aliasing noise. The RBF thus provides an interpretable framework for understanding integration errors at finite resolution, grounded in number theory and geometry.

math.GM↗

arXiv2025

Time-Variant Vector Field Visualization for Magnetic Fields of Neutron Star Simulations

We present a novel visualization application designed to explore the time-dependent development of magnetic fields of neutron stars. The strongest magnetic fields in the universe can be found within neutron stars, potentially playing a role in initiating astrophysical jets and facilitating the outflow of neutron-rich matter, ultimately resulting in the production of heavy elements during binary neutron star mergers. Since such effects may be dependent on the strength and configuration of the magnetic field, the formation and parameters of such fields are part of current research in astrophysics. Magnetic fields are investigated using simulations in which various initial configurations are tested. However, the long-term configuration is an open question, and current simulations do not achieve a stable magnetic field. Neutron star simulations produce data quantities in the range of several terabytes, which are both spatially in 3D and temporally resolved. Our tool enables physicists to interactively explore the generated data. We first convert the data in a pre-processing step and then we combine sparse vector field visualization using streamlines with dense vector field visualization using line integral convolution. We provide several methods to interact with the data responsively. This allows the user to intuitively investigate data-specific issues. Furthermore, diverse visualization techniques facilitate individual exploration of the data and enable real-time processing of specific domain tasks, like the investigation of the time-dependent evolution of the magnetic field. In a qualitative study, domain experts tested the tool, and the usability was queried. Experts rated the tool very positively and recommended it for their daily work.

astro-ph.HE↗

arXiv2024

Binary Black Hole Waveforms from High-Resolution GR-Athena++ Simulations

The detection and subsequent inference of binary black hole signals rely heavily on the accuracy of the waveform model employed. In the highly non-linear, dynamic, and strong-field regime near merger, these waveforms can only be accurately modeled through numerical relativity simulations. Considering the precision requirements of next-generation gravitational wave observatories, we present in this paper high-resolution simulations of four non-spinning quasi-circular binary black hole systems with mass ratios of 1, 2, 3, and 4, conducted using the GR-Athena++ code. We extract waveforms from these simulations using both finite radius and Cauchy characteristic extraction (CCE) methods. Additionally, we provide a comprehensive error analysis to evaluate the accuracy and convergence of the waveforms. Our self-mismatch study shows that the (2, 2) mode of the CCE strains, for the world tube extraction radius of $R=50$, reaches the level of ${\sim} 10^{-12}$ mismatch for mass ratios of 1, 2, 3, and ${\sim} 10^{-11}$ mismatch for the mass ratio of 4. However, when larger extraction radii are considered or when more modes are included the mismatches increase. These results highlight both the promise and limitations of current simulations in achieving the precision required for upcoming detectors such as LISA, Cosmic Explorer, and Einstein Telescope. The waveforms are publicly available on ScholarSphere, and represent the first set of waveforms of the new GR-Athena++ catalog.

gr-qc↗

arXiv2024

Performance-Portable Numerical Relativity with AthenaK

We present the numerical relativity module within AthenaK, an open source performance-portable astrophysics code designed for exascale computing applications. This module employs the Z4c formulation to solve the Einstein equations. We demonstrate its accuracy through a series of standard numerical relativity tests, including convergence of the gravitational waveform from binary black hole coalescence. Furthermore, we conduct scaling tests on OLCF Frontier and NERSC Perlmutter, where AthenaK exhibits excellent weak scaling efficiency of 80% on up to 65,536 AMD MI250X GPUs on Frontier (relative to 4 GPUs) and strong scaling efficiencies of 84% and 77% on AMD MI250X and NVIDIA A100 GPUs on Frontier and Perlmutter respectively. Additionally, we observe a significant performance boost, with two orders of magnitude speedup ($\gtrsim 200\times$) on a GPU compared to a single CPU core, affirming that AthenaK is well-suited for exascale computing, thereby expanding the potential for breakthroughs in numerical relativity research.

gr-qc↗

arXiv2024

Performance-Portable Binary Neutron Star Mergers with AthenaK

We introduce an extension to the AthenaK code for general-relativistic magnetohydrodynamics (GRMHD) in dynamical spacetimes using a 3+1 conservative Eulerian formulation. Like the fixed-spacetime GRMHD solver, we use standard finite-volume methods to evolve the fluid and a constrained transport scheme to preserve the divergence-free constraint for the magnetic field. We also utilize a first-order flux correction (FOFC) scheme to reduce the need for an artificial atmosphere and optionally enforce a maximum principle to improve robustness. We demonstrate the accuracy of AthenaK using a set of standard tests in flat and curved spacetimes. Using a SANE accretion disk around a Kerr black hole, we compare the new solver to the existing solver for stationary spacetimes using the so-called "HARM-like" formulation. We find that both formulations converge to similar results. We also include the first published binary neutron star (BNS) mergers performed on graphical processing units (GPUs). Thanks to the FOFC scheme, our BNS mergers maintain a relative error of $\mathcal{O}(10^{-11})$ or better in baryon mass conservation up to collapse. Finally, we perform scaling tests of AthenaK on OLCF Frontier, where we show excellent weak scaling of $\geq 80\%$ efficiency up to 32768 GPUs and $74\%$ up to 65536 GPUs for a GRMHD problem in dynamical spacetimes with six levels of mesh refinement. AthenaK achieves an order-of-magnitude speedup using GPUs compared to CPUs, demonstrating that it is suitable for performing numerical relativity problems on modern exascale resources.

astro-ph.HE↗