SearcharxivSearch

arXiv subjects

Will Barker

Publications and source records attributed to Will Barker.

At least 19 recordsLinked to original sources

Bessel-Hagen currents for linearised Weyl-squared gravity

For the Fierz-Pauli action the Bessel-Hagen construction does not produce a preferred local gauge-invariant energy-momentum tensor; it identifies only a gauge-invariant equivalence class of Noether currents, because the action is built from first derivatives of $h_{\mu\nu}$ whereas the first local gauge-invariant spin-2 field strength, the curvature, contains two. It is natural to ask whether a theory built directly from the linearised curvature recovers the electromagnetic-like feature of a strictly gauge-invariant local representative. We examine linearised Weyl-squared (conformal) gravity, whose action is built from the linearised Weyl tensor $C^{(1)}_{\mu\nu\rho\sigma}$, the irreducible spin-2 part of the curvature and hence the curvature counterpart of the spin-1 field strength of electromagnetism. The Bessel-Hagen construction extends naturally from the Poincar\'e to the full conformal group, realised actively on the fixed Minkowski background, and the resulting Noether current is gauge invariant as a class for every conformal generator. Nevertheless there exists no nonzero strict local, polynomial, symmetric, dimension-four rank-two tensor quadratic in $h_{\mu\nu}$ that is invariant under both gauge symmetries and conserved on the Bach shell: the two gauge symmetries force any candidate to be built from $C^{(1)}$ and its derivatives, while the dimension-four and quadratic-order hypotheses leave only expressions quadratic in $C^{(1)}$ with no additional derivatives, and the four-dimensional Weyl identities collapse these to a pure trace, which cannot be conserved. Linearised Weyl-squared gravity therefore behaves like Fierz-Pauli, not electromagnetism. This suggests that a first-order gauge-covariant field strength, rather than a curvature-built action, is the natural route to an electromagnetic-like local representative.

gr-qc

Numerical polology: towards next-generation model-building for cosmology

The dark sector need not be restricted to simple field content. Indeed, simple bosonic configurations, such as scalar-tensor or dark photon models, contrast with the much richer picture painted by many ultraviolet scenarios. Polology is the study of propagator poles, which correspond to particle states in any given theory. We outline a numerical polology framework for discovering perturbative, ghost-free models with consistent interactions, which produces theoretical model priors by sampling the coupling space. The method is tested on tensor field theories of up to rank three. Subsequent observational constraint pipelines are illustrated for black hole superradiance (M33 X-7), dynamical dark energy (DESI DR2, Pantheon and SH0ES) and gravitational waves (GWTC-3).

astro-ph.CO

The limits of lattice inflation: a cautionary tale

Cosmological lattice simulations have become important tools for studying non-perturbative dynamics in the early Universe. Many widely used codes, however, approximate the gravitational background by an exact Friedmann-Lema\^itre-Robertson-Walker (FLRW) spacetime and neglect metric perturbations. We show that, during inflation, this approximation prevents the freezing of superhorizon modes. During slow roll, the curvature power spectrum decays as $H^4$, while the deviation becomes substantially stronger during ultra-slow roll. As a result, inflationary observables can be significantly distorted. In contrast, reheating studies appear to be considerably less sensitive to the omission of metric perturbations. We propose a practical criterion for assessing the validity of FLRW simulations based on the inclusion of first-order metric perturbations, and implement it in CosmoLattice.

astro-ph.CO

Bessel-Hagen currents for the Fierz-Pauli action

For electromagnetism in Minkowski spacetime, the Bessel-Hagen method gives a particularly direct Noetherian derivation of the standard gauge-invariant energy-momentum tensor. The key step is to supplement the form variation generated by an infinitesimal coordinate transformation with a compensating electromagnetic gauge transformation. In this paper we ask whether the same idea can be applied to the massless spin-2 field described by the Fierz-Pauli action. We first prove that no nonzero local tensor quadratic in first derivatives of the symmetric field $h_{\mu\nu}$ can be strictly invariant under the spin-2 gauge transformation $h_{\mu\nu}\mapsto h_{\mu\nu}+\partial_\mu\xi_\nu+\partial_\nu\xi_\mu$; the direct electromagnetic analogue of the Bessel-Hagen construction therefore cannot exist. Once the inexact nature of the Fierz-Pauli gauge symmetry is treated correctly, however, the Bessel-Hagen construction does produce a gauge-invariant equivalence class of Noether currents. Changing the compensating spin-2 gauge parameter changes the current only by terms proportional to the Fierz-Pauli field equations; performing an independent spin-2 gauge transformation on $h_{\mu\nu}$ changes the current only by a trivial current given by the divergence of an antisymmetric superpotential plus field-equation terms. This provides the natural spin-2 analogue of Bessel-Hagen's electromagnetic construction, but only in the quotient space of conserved currents, and not as a preferred local gauge-invariant energy-momentum tensor.

gr-qc

Fast Poisson brackets and constraint algebras in canonical gravity

In the study of alternative or extended theories of gravity, Dirac's Hamiltonian constraint algorithm is invaluable for enumerating the propagating modes and gauge symmetries. For gravity, this canonical approach is frequently applied as a means for finding pathologies such as strongly coupled modes; more generally it facilitates the reconstruction of gauge symmetries and the quantization of gauge theories. For gravity, however, the algorithm can become notoriously arduous to implement. We present a simple computer algebra package for efficiently computing Poisson brackets and reconstructing constraint algebras. The tools are stress-tested against pure general relativity and modified gravity, including the order reduction of general relativity at two loops.

physics.comp-ph

Higher spin Lagrangians from higher derivative diffeomorphisms

The covariant description of massless particles of arbitrary spin typically employs symmetric tensors of rank $s$ and rests on a local symmetry carried by symmetric tensor parameters of rank $s-1$, suitably generalizing the $U(1)$ transformations of Maxwell's theory and the diffeomorphisms underlying general relativity. Here we show that Fronsdal's action is actually uniquely identified by the weaker requirement of invariance under higher-derivative gauge transformations driven by a vector parameter. This observation may hint to a tighter, if unexpected, connection between higher-spin symmetry and diffeomorphisms.

hep-th

Spectrum of pure $R^2$ gravity: full Hamiltonian analysis

We perform a full Hamiltonian constraint analysis of pure Ricci-scalar-squared ($R^2$) gravity to clarify recent controversies regarding its particle spectrum. While it is well established that the full theory consistently propagates three degrees of freedom, we confirm that its linearised spectrum around Minkowski spacetime is empty. Moreover, we show that this is not a feature unique to Minkowski spacetime, but a generic property of all traceless-Ricci spacetimes that have a vanishing Ricci scalar, such as the Schwarzschild and Kerr black hole spacetimes. The mechanism for this phenomenon is a change in the nature of the constraints upon linearisation: ten second-class constraints of the full theory become first-class, while the three momentum constraints degenerate into a single constraint. Furthermore, we show that higher order perturbation theory around these singular backgrounds reveals no degrees of freedom at any order. This is in conflict with the general analysis and points to the fact that such backgrounds are surfaces of strong coupling in field space, where the dynamics of perturbations becomes nonperturbative. We further show via a cosmological phase-space analysis that the evolving universe is able to penetrate through the singular $R=0$ surface.

gr-qc

Alleviating the Hubble tension with Torsion Condensation (TorC)

Constraints on the cosmological parameters of Torsion Condensation (TorC) are investigated using Planck 2018 Cosmic Microwave Background data. TorC is a case of Poincar\'e gauge theory -- a formulation of gravity motivated by the gauge field theories underlying fundamental forces in the standard model of particle physics. Unlike general relativity, TorC incorporates intrinsic torsion degrees of freedom while maintaining second-order field equations. At specific parameter values, it reduces to the $\Lambda$CDM model, providing a natural extension to standard cosmology. The base model of TorC introduces two parameters beyond those in $\Lambda$CDM: the initial value of the torsion scalar field and its time derivative -- one can absorb the latter by allowing the dark energy density to float. To constrain these parameters, `PolyChord` nested sampling algorithm is employed, interfaced via `Cobaya` with a modified version of `CAMB`. Our results indicate that TorC allows for a larger inferred Hubble constant, offering a potential resolution to the Hubble tension. Tension analysis using the $R$-statistic shows that TorC alleviates the statistical tension between the Planck 2018 and SH0Es 2020 datasets, though this improvement is not sufficient to decisively favour TorC over $\Lambda$CDM in a Bayesian model comparison. This study highlights TorC as a compelling theory of gravity, demonstrating its potential to address cosmological tensions and motivating further investigations of extended theories of gravity within a cosmological context. As current and upcoming surveys -- including Euclid, Roman Space Telescope, Vera C. Rubin Observatory, LISA, and Simons Observatory -- deliver data on gravity across all scales, they will offer critical tests of gravity models like TorC, making the present a pivotal moment for exploring extended theories of gravity.

astro-ph.CO

Infrared foundations for quantum geometry II: Catalogue of all torsion-like theories including new ghost-tachyon-free cases

The construction of consistent effective field theories in the infrared demands that models be defined by their underlying gauge symmetries, rather than by an arbitrary tuning of couplings or a cherry-picking of operators which may not be stable against radiative corrections. Adhering to this principle, we systematically derive all linear, parity-conserving models that propagate a pair-antisymmetric rank-three field on a Minkowski background. Such models are relevant not only to torsion, but to many areas in high-energy physics ranging from dual graviton formulations to string theory and higher-spin theories. Following this exhaustive classification, we extract several unitary models. In the context of torsion, the results are remarkable. None of the models we obtain propagate scalar or pseudoscalar torsion, in stark contrast to the literature focus. Instead, all models propagate one or more vector torsion modes.

hep-th

Infrared foundations for quantum geometry I: Catalogue of totally symmetric rank-three field theories

We systematically obtain all linear models which propagate a totally symmetric rank-three field without parity violation on a flat background. Each such model is defined exclusively by its gauge symmetry, a necessary property of effective field theories in the infrared limit. By comparison, models obtained by other means (tuning couplings or cherry-picking operators) may be unstable against radiative corrections. For each model, we compute the spectrum of massless and massive particles, and the no-ghost-no-tachyon constraints on the couplings. We conclude that foundational models exist which can propagate one massless particle of spin one or spin three in isolation, or both particles simultaneously, generalising the model of Campoleoni and Francia. Our algorithm for detecting symmetric models is grounded in particle physics methods, being based directly on the Wigner decomposition of the field. Compared to our recent analysis of the totally symmetric rank-three field (whose results we confirm and extend) our new algorithm does not require an ansatz for the symmetry transformation, and is not restricted to so-called 'free' symmetries.

hep-th

The particle spectra of parity-violating theories: A less radical approach and an upgrade of PSALTer

Due to computational barriers, the effects of parity violation have so far been grossly neglected in gravitational model-building, leading to a serious gap in the space of prior models. We present a new algorithm for efficiently computing the particle spectrum for any parity-violating tensorial field theory. It allows to extract conditions for the absence of massive ghosts without resorting to any manipulation of radicals in cases where the particle masses are irrational functions of the Lagrangian coupling coefficients. We test it against several examples, among which is the most general parity-indefinite Einstein-Cartan/Poincar\'e gravity that propagates two healthy massive scalars (in addition to the massless graviton). Importantly, we upgrade the PSALTer software in the Wolfram Language to accommodate parity-violating theories. PSALTer is a contribution to the xAct project.

hep-th

Can metric-affine gravity be saved?

Like general relativity, metric-affine gravity should be a viable effective quantum theory, otherwise it is a mathematical curiosity without physical application. Assuming a perturbative quantum field theory, the universal, flat limit of metric-affine gravity offers a good foundation for model-building only when symmetry constraints are themselves sufficient to get rid of ghosts and tachyons in the spectrum of propagating particle states, without requiring any further tuning of the couplings. Using this symmetry-first criterion, we find that for parity-preserving models with a totally symmetric distortion, only massless spin-one and spin-three modes are possible besides the graviton. Moreover, no viable models result from gauge symmetries generated by a scalar field.

hep-th

How black hole mimickers and Shapiro-free lenses signal effective dark matter

We report the existence of two exotic compact objects in the leading relativistic model of modified Newtonian dynamics, namely aether-scalar-tensor theory. This model is consistent with precision cosmology and gravitational wave constraints on tensor speed. Black hole mimickers could subtly change observations: gravitational waves from their mergers might show unusual echoes or altered ringdown patterns, and images of their horizon-scale shadows might be slightly different from those of a true black hole. Shapiro-free lenses are massless objects that deflect light without any gravitational time delay, producing distinctive lensing events. These predictions connect to ongoing and future gravitational-wave searches, horizon-scale imaging, and time-domain lensing surveys.

gr-qc

The radial metric function does not identify null surfaces

We investigate the conditions under which a hypersurface becomes null through the use of coordinate transformations. We demonstrate that, in static spacetimes, the correct criterion for a surface to be null is $g_{tt} = 0$, rather than $g^{rr} = 0$, in agreement with the results of Vollick. We further show that, if a Kruskal-like coordinate exists, the proxy condition $g^{rr} = 0$ is equivalent to $g_{tt} = 0$ if $\partial_r g_{tt} \neq 0$ and both $g^{rr}$ and $g_{tt}$ vanish at the same rate near the horizon. Our method extends naturally to axisymmetric stationary spacetimes, for which we demonstrate that the condition $\det\big(h_{ab}\big) = 0$ for the induced metric on a null hypersurface is recovered. By contrast with the induced metric approach, our method provides a physical perspective that connects the general null condition with its underlying relationship to photon geodesics.

gr-qc

Complete background cosmology of parity-even quadratic metric-affine gravity

The cosmology of metric-affine gravity is studied for the general, parity preserving action quadratic in curvature, torsion and non-metricity. The model contains 27 a priori independent couplings in addition to the Einstein constant. Linear and higher order relations between the quadratic operators in a Friedmann--Lemaitre--Robertson--Walker spacetime are obtained, along with the modified Friedmann, torsion and non-metricity equations. Extra parameter constraints lead to two special branches of the model. Firstly, a branch is found in which the Riemannian spatial curvature (thought to be slightly closed or flat in the Lambda-CDM model of our Universe) is entirely screened from all the field equations, regardless of its true value. Secondly, an integrable branch is found which yields (anti) de Sitter expansion at late times. The particle spectra of these two branches are studied, and the need to eliminate higher-spin particles as well as ghosts and tachyons motivates further parameter constraints in each case. The most general model is also found which reproduces the exact Friedmann equations of general relativity. The full set of equations describing closed, open or flat cosmologies, for general parity-even quadratic metric-affine gravity, is made available for SymPy, Mathematica and Maple platforms.

gr-qc

Buchdahl bound, photon ring, ISCO and radial acceleration in Einstein-\ae{}ther theory

Spherically symmetric Einstein-{\ae}ther (E{\AE}) theory with a Maxwell-like kinetic term is revisited. We consider a general choice of the metric and the \ae{}ther field, finding that:~(i) there is a gauge freedom allowing one always to use a diagonal metric; and~(ii) the nature of the Maxwell equation forces the \ae{}ther field to be time-like in the coordinate basis. We derive the vacuum solution and confirm that the innermost stable circular orbit (ISCO) and photon ring are enlarged relative to general relativity (GR). Buchdahl's theorem in E\AE{} theory is derived. For a uniform physical density, we find that the upper bound on compactness is always lower than in GR. Additionally, we observe that the Newtonian and E\AE{} radial acceleration relations run parallel in the low pressure limit. Our analysis of E\AE{} theory may offer novel insights into its interesting phenomenological generalization: \AE{}ther--scalar--tensor theory ({\AE}ST).

gr-qc

Inflationary and Gravitational Wave Signatures of Small Primordial Black Holes as Dark Matter

Mounting evidence suggests that the semi-classical description of a black hole breaks down at the latest after losing an O(1) fraction of its mass. As a result, effects such as memory burden can slow down evaporation so that small primordial black holes (PBHs), in particular those in the mass range 10^6 g to 10^9 g, become viable dark matter candidates. In this paper, we investigate the production of PBHs from a prototype model of polynomial inflation with a non-minimal coupling to gravity. We show that a sufficiently small PBH mass alleviates any tension with CMB observations. Moreover, we develop efficient numerical procedures to identify model parameters and evolve Mukhanov-Sasaki modes to place bounds on the scalar-induced stochastic gravitational wave (GW) background. Whilst we identify some prospects for observation with future GW detectors, our results highlight the need to develop new experiments for high-frequency GW detection in the ~kHz to ~MHz range. Finally, we demonstrate that previously-used ans\"atze for modelling the power spectrum only yield a reliable approximation for the GW signal if some input from inflation is used.

astro-ph.CO

Every Poincar\'e gauge theory is conformal: a compelling case for dynamical vector torsion

The Poincar\'e gauge theory (PGT) of gravity provides a viable formulation of general relativity (Einstein-Cartan theory), and a popular model-building framework for modified gravity with torsion. Notoriously, however, the PGT terms which propagate vector torsion lead to strongly-coupled ghosts: the modern view is that only scalar torsion can propagate. To fix this, we revisit the concept of embedding explicit mass scales in scale-invariant theories, showing how the Klein-Gordon theory naturally leads to a slowly-rolling inflaton. We then show that the unique scale-invariant embedding of PGT leads to two new terms, one of which is the Maxwell term for vector torsion. We provide the full spectrum of quantum particles in the resulting theory. Our result means that every PGT is conformal and - after a two-decade hiatus - vector torsion is back on the menu.

hep-th