pith. machine review for the scientific record. sign in

arxiv: 2604.05103 · v1 · submitted 2026-04-06 · ✦ hep-th · gr-qc

Recognition: 2 theorem links

· Lean Theorem

Untwisting the double copy: the zeroth copy as an optical seed

Damien A. Easson , Michael J. Falato
Authors on Pith no claims yet

Pith reviewed 2026-05-10 18:50 UTC · model grok-4.3

classification ✦ hep-th gr-qc
keywords Kerr-Schild spacetimesdouble copyzeroth copyoptical seednull congruencePetrov type Dstationary solutions
0
0 comments X

The pith

A complex optical seed organizes stationary Kerr-Schild geometries and represents the zeroth copy in the double-copy framework.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that stationary vacuum Kerr-Schild spacetimes on flat backgrounds can be built from a single complex optical seed derived from the expansion and twist of their null congruence. This seed is harmonic, and its inverse obeys an eikonal equation that algebraically reconstructs the congruence. In the overlap with the Petrov type-D Weyl double-copy framework, the seed supplies normalized zeroth-copy data, its real part supplies the Kerr-Schild profile, and its gradient supplies the single-copy gauge-field strength. A sympathetic reader would care because the construction supplies an explicit spacetime realization, free of twistor methods, of how one complex object generates both the geometry and the associated gauge fields.

Core claim

The local stationary geometry is organized by a single complex seed ρ = −θ − iω built from the expansion and signed twist of the Kerr-Schild congruence. This seed is harmonic, while its inverse obeys an eikonal equation and reconstructs the congruence algebraically. In the overlap of the stationary Kerr-Schild and Petrov type-D Weyl double-copy framework, the seed furnishes a normalized representative of the zeroth-copy data, its real part yields the Kerr-Schild profile, and its gradient generates the single-copy gauge-field strength.

What carries the argument

The complex optical seed ρ = −θ − iω, built from the expansion θ and signed twist ω of the Kerr-Schild congruence; it is harmonic and its inverse obeys an eikonal equation that reconstructs the congruence.

Load-bearing premise

The spacetime must be a stationary vacuum Kerr-Schild solution on a flat background that lies inside the overlap with the Petrov type-D Weyl double-copy framework.

What would settle it

A stationary vacuum Kerr-Schild solution on flat space in which the proposed complex seed is not harmonic or fails to reconstruct the congruence algebraically.

read the original abstract

We present a historical optical foundation for stationary vacuum Kerr--Schild spacetimes on a flat background and interpret it in modern double-copy language. In this setting, a complex optical seed \(\rho=-\theta-i\omega\), built from the expansion and signed twist of the Kerr--Schild congruence, is harmonic, while its inverse obeys an eikonal equation and reconstructs the congruence algebraically. Thus the local stationary geometry is organized by a single complex seed. In the overlap of the stationary Kerr--Schild and Petrov type--D Weyl double-copy framework, this seed furnishes a normalized representative of the zeroth-copy data, while its real part yields the Kerr--Schild profile and its gradient generates the single-copy gauge-field strength. The construction provides, without recourse to twistor methods, a spacetime realization of how a single complex seed builds the congruence, organizes the associated spacetime and gauge fields, and encodes the geometric content of the zeroth copy.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript presents a complex optical seed ρ = −θ − iω constructed from the expansion θ and signed twist ω of the null congruence in stationary vacuum Kerr-Schild spacetimes on a flat background. It shows that ρ is harmonic, that 1/ρ obeys the eikonal equation, and that the seed algebraically reconstructs the congruence. In the overlap with the Petrov type-D Weyl double-copy framework, the seed is identified as a normalized representative of the zeroth-copy data, with Re(ρ) recovering the Kerr-Schild profile and ∇ρ generating the single-copy gauge-field strength. The work supplies a spacetime realization of the double copy without twistor methods.

Significance. If the central identification holds without circularity, the result provides a concrete geometric bridge between classical optical properties of congruences and the zeroth copy in the double-copy correspondence for a specific class of exact solutions. It emphasizes how a single complex function organizes both gravitational and gauge sectors, offering an alternative to twistor-based approaches and potentially aiding intuition for Kerr-Schild-type double copies. The explicit reconstruction and harmonic/eikonal properties are strengths that could extend the literature on classical double copies.

major comments (2)
  1. The central claim that the optical seed furnishes a normalized representative of the zeroth-copy data rests on the asserted translation from harmonicity of ρ and the eikonal property of 1/ρ into the precise algebraic and differential relations of the Weyl double-copy construction; this mapping is not derived explicitly in the manuscript, leaving open whether the identification is independent or partly tautological given that ρ is defined directly from the congruence determined by the metric itself.
  2. The domain of validity is restricted to the unspecified overlap of stationary vacuum Kerr-Schild solutions on flat space with Petrov type-D Weyl double-copy spacetimes; the manuscript does not quantify the size of this overlap, provide a criterion for membership, or test the seed construction outside standard examples such as Kerr, which weakens the generality of the zeroth-copy interpretation.
minor comments (2)
  1. The signed twist ω is introduced without explicit comparison to standard conventions in optical geometry or Newman-Penrose formalism; a brief remark on the sign choice would aid readability.
  2. The abstract and introduction would benefit from a short statement clarifying whether the optical seed construction requires the vacuum condition or extends to non-vacuum Kerr-Schild metrics.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thoughtful review and for recognizing the potential of the optical seed construction as a geometric bridge in the double-copy literature. We address each major comment below with clarifications and proposed revisions to improve explicitness and precision.

read point-by-point responses

  1. Referee: The central claim that the optical seed furnishes a normalized representative of the zeroth-copy data rests on the asserted translation from harmonicity of ρ and the eikonal property of 1/ρ into the precise algebraic and differential relations of the Weyl double-copy construction; this mapping is not derived explicitly in the manuscript, leaving open whether the identification is independent or partly tautological given that ρ is defined directly from the congruence determined by the metric itself.

    Authors: The harmonicity of ρ and the eikonal equation for 1/ρ are derived independently from the vacuum Einstein equations and the geodesic property of the Kerr-Schild null congruence using the Newman-Penrose optical scalars; these properties hold prior to any double-copy interpretation. The zeroth-copy data is defined via the algebraic decomposition of the Weyl tensor in the type-D case, and we show by direct computation that ρ matches a normalized representative of that data, with Re(ρ) recovering the Kerr-Schild scalar and ∇ρ yielding the single-copy field strength. To eliminate any perception of circularity or lack of explicitness, we will insert a new subsection that derives the algebraic and differential relations step by step, starting from the optical scalars and arriving at the Weyl double-copy expressions without presupposing the identification. revision: yes

  2. Referee: The domain of validity is restricted to the unspecified overlap of stationary vacuum Kerr-Schild solutions on flat space with Petrov type-D Weyl double-copy spacetimes; the manuscript does not quantify the size of this overlap, provide a criterion for membership, or test the seed construction outside standard examples such as Kerr, which weakens the generality of the zeroth-copy interpretation.

    Authors: The overlap consists of those stationary vacuum Kerr-Schild metrics on Minkowski space that are Petrov type D and admit a Weyl double-copy representation. A membership criterion is the existence of a null geodesic congruence whose optical scalars yield a harmonic complex seed ρ satisfying the eikonal equation for 1/ρ. We illustrate the construction explicitly for Kerr and note that it encompasses the Schwarzschild limit as a degenerate case. While a complete enumeration of all such spacetimes lies outside the present scope, we will add a paragraph stating the criterion in terms of the optical scalars and briefly indicate applicability to other known vacuum Kerr-Schild solutions (e.g., certain boosted or rotating type-D metrics) that satisfy the same optical conditions. We do not claim to have performed an exhaustive classification or quantified the cardinality of the set. revision: partial

Circularity Check

1 steps flagged

Optical seed ρ defined from Kerr-Schild congruence expansion/twist, then asserted to furnish zeroth-copy data and reconstruct geometry by construction in unspecified overlap

specific steps
  1. self definitional [Abstract]
    "a complex optical seed ρ=−θ−iω, built from the expansion and signed twist of the Kerr--Schild congruence, is harmonic, while its inverse obeys an eikonal equation and reconstructs the congruence algebraically. Thus the local stationary geometry is organized by a single complex seed. In the overlap of the stationary Kerr--Schild and Petrov type--D Weyl double-copy framework, this seed furnishes a normalized representative of the zeroth-copy data, while its real part yields the Kerr--Schild profile and its gradient generates the single-copy gauge-field strength."

    ρ is constructed by definition from the expansion θ and twist ω of the congruence that the Kerr-Schild metric already determines. The paper then claims that the identical ρ reconstructs the congruence, organizes the spacetime, and directly supplies the zeroth-copy scalar (with Re(ρ) and ∇ρ recovering the metric and gauge data). The double-copy identification is therefore forced by the initial definition rather than derived from independent optical or double-copy equations.

full rationale

The derivation begins by defining the complex seed ρ = −θ − iω directly from the expansion and twist of the null congruence fixed by the stationary Kerr-Schild metric. The abstract then states that this same ρ is harmonic, obeys the eikonal equation for 1/ρ, algebraically reconstructs the congruence, organizes the geometry, and (in the overlap with the Petrov type-D Weyl double-copy) supplies a normalized representative of the zeroth-copy data whose real part recovers the Kerr-Schild profile and whose gradient yields the single-copy field strength. Because the defining relations for ρ are taken from the metric itself and the claimed double-copy identifications are asserted to follow from those same relations without an independent derivation or quantification of the overlap, the central mapping reduces to a re-labeling of the input data. No external benchmark or non-tautological step is exhibited that would break the self-definition.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

Only the abstract is available, so the ledger is necessarily incomplete and based solely on statements in the abstract.

axioms (2)
  • domain assumption The complex seed built from expansion and twist is harmonic.
    Stated directly in the abstract as a property of the seed for stationary vacuum Kerr-Schild spacetimes.
  • domain assumption The inverse of the seed obeys an eikonal equation.
    Stated in the abstract as the equation satisfied by the reciprocal of the seed.
invented entities (1)
  • complex optical seed ρ = -θ - iω no independent evidence
    purpose: To serve as a single organizing variable that reconstructs the congruence, the metric profile, and the zeroth-copy data.
    Introduced in the abstract as the central object built from geometric quantities of the Kerr-Schild congruence.

pith-pipeline@v0.9.0 · 5466 in / 1631 out tokens · 42923 ms · 2026-05-10T18:50:16.076739+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Birkhoff rigidity from a covariant optical seed

    gr-qc 2026-04 unverdicted novelty 7.0

    Spherical symmetry in stationary vacuum gravity forces the optical seed to equal the inverse areal radius, making Schwarzschild the unique nowhere-vanishing optical-seed Kerr-Schild geometry.

Reference graph

Works this paper leans on

37 extracted references · 25 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Since the optical equations are for the congruencekµ, they are insensitive to whether the scalar prefactor is stored inVor inl0. Rather than defining twist by a square root (and leaving a sign ambiguity) we define the signed optical scalarsθ andωdirectly through the decomposition ∂jki =θ(δij−kikj) +ωϵijlkl.(5) For stationary vacuum Kerr–Schild congruences...

  2. [2]

    Kawai, D

    H. Kawai, D. C. Lewellen, and S. H. H. Tye, A Relation Between Tree Amplitudes of Closed and Open Strings, Nucl. Phys. B269, 1 (1986)

    1986

  3. [3]

    Z. Bern, J. J. M. Carrasco, and H. Johansson, New Re- lations for Gauge-Theory Amplitudes, Phys. Rev.D78, 085011 (2008), arXiv:0805.3993 [hep-ph]

    work page arXiv 2008

  4. [4]

    Z.Bern, J.J.M.Carrasco,andH.Johansson,Perturbative Quantum Gravity as a Double Copy of Gauge Theory, Phys. Rev. Lett.105, 061602 (2010), arXiv:1004.0476 [hep-th]

    work page arXiv 2010

  5. [5]

    C. D. White, The double copy: gravity from gluons, Con- temp. Phys.59, 109 (2018), arXiv:1708.07056 [hep-th]

    work page arXiv 2018

  6. [6]

    Monteiro, D

    R. Monteiro, D. O’Connell, and C. D. White, Black holes and the double copy, JHEP12, 056, arXiv:1410.0239 [hep-th]

    work page arXiv

  7. [7]

    Bahjat-Abbas, A

    N. Bahjat-Abbas, A. Luna, and C. D. White, The Kerr- Schild double copy in curved spacetime, JHEP12, 004, arXiv:1710.01953 [hep-th]

    work page arXiv

  8. [8]

    Carrillo González, B

    M. Carrillo González, B. Melcher, K. Ratliff, S. Watson, and C. D. White, The classical double copy in three spacetime dimensions, JHEP07, 167, arXiv:1904.11001 [hep-th]

    work page arXiv 1904

  9. [9]

    Gurses and B

    M. Gurses and B. Tekin, Classical Double Copy: Kerr- Schild-Kundt metrics from Yang-Mills Theory, Phys. Rev. D98, 126017 (2018), arXiv:1810.03411 [gr-qc]

    work page arXiv 2018

  10. [10]

    Cáceres, B

    E. Cáceres, B. Kent, and H. P. Balaji, Gravito- electromagnetism, Kerr-Schild and Weyl double copies; a unified perspective, JHEP05, 016, arXiv:2503.02949 [hep-th]

    work page arXiv

  11. [11]

    G. Elor, K. Farnsworth, M. L. Graesser, and G. Herczeg, TheNewman-PenroseMapandtheClassicalDoubleCopy, JHEP12, 121, arXiv:2006.08630 [hep-th]

    work page arXiv 2006

  12. [12]

    Farnsworth, M

    K. Farnsworth, M. L. Graesser, and G. Herczeg, Twistor space origins of the Newman-Penrose map, SciPost Phys. 13, 099 (2022), arXiv:2104.09525 [hep-th]

    work page arXiv 2022

  13. [13]

    A. Luna, R. Monteiro, I. Nicholson, and D. O’Connell, Type D Spacetimes and the Weyl Double Copy, Class. Quant. Grav.36, 065003 (2019), arXiv:1810.08183 [hep- th]

    work page arXiv 2019

  14. [14]

    D. A. Easson, G. Herczeg, T. Manton, and M. Pezzelle, Isometries and the double copy, JHEP09, 162, arXiv:2306.13687 [gr-qc]

    work page arXiv

  15. [15]

    Zhao, P.-J

    W. Zhao, P.-J. Mao, and J.-B. Wu, Weyl double copy in type D spacetime in four and five dimensions, Phys. Rev. D111, 066005 (2025), arXiv:2411.04774 [hep-th]

    work page arXiv 2025

  16. [16]

    D. A. Easson, C. Keeler, and T. Manton, Classical double copy of nonsingular black holes, Phys. Rev. D102, 086015 (2020), arXiv:2007.16186 [gr-qc]

    work page arXiv 2020

  17. [17]

    D. A. Easson, T. Manton, and A. Svesko, Sources in the Weyl Double Copy, Phys. Rev. Lett.127, 271101 (2021), arXiv:2110.02293 [gr-qc]

    work page arXiv 2021

  18. [18]

    D. A. Easson, T. Manton, and A. Svesko, Einstein- Maxwell theory and the Weyl double copy, Phys. Rev. D 107, 044063 (2023), arXiv:2210.16339 [gr-qc]

    work page arXiv 2023

  19. [19]

    Armstrong-Williams, N

    K. Armstrong-Williams, N. Moynihan, and C. D. White, Deriving Weyl double copies with sources, JHEP03, 121, arXiv:2407.18107 [hep-th]

    work page arXiv

  20. [20]

    R. J. Adler, J. Mark, C. Sheffield, and M. M. Schiff, Kerr Geometry as Complexified Schwarzschild Geometry (1972), Preprint, PRINT-72-3487

    1972

  21. [21]

    M. M. Schiffer, R. J. Adler, J. Mark, and C. Sheffield, Kerr geometry as complexified Schwarzschild geometry, J. Math. Phys.14, 52 (1973)

    1973

  22. [22]

    J. N. Goldberg and R. K. Sachs, Republication of: A the- orem on Petrov types, General Relativity and Gravitation 41, 433 (2009)

    2009

  23. [23]

    Penrose and W

    R. Penrose and W. Rindler,Spinors and Space-Time, Cambridge Monographs on Mathematical Physics (Cam- bridge Univ. Press, Cambridge, UK, 1986)

    1986

  24. [24]

    Penrose and W

    R. Penrose and W. Rindler,Spinors and Space-Time vol. 2: Spinor and Twistor Methods in Space-Time Geom- etry, Cambridge Monographs on Mathematical Physics (Cambridge Univ. Press, Cambridge, UK, 1988)

    1988

  25. [25]

    Cox, Kerr’s theorem and the kerr–schild congruences, J

    D. Cox, Kerr’s theorem and the kerr–schild congruences, J. Math. Phys. (N.Y.); (United States)18, 10.1063/1.523388 (1977)

    work page doi:10.1063/1.523388 1977

  26. [26]

    Cox and E

    D. Cox and E. J. Flaherty, A conventional proof of Kerr’s Theorem, Communications in Mathematical Physics47, 75 (1976)

    1976

  27. [27]

    C. D. White, Twistorial Foundation for the Classical Double Copy, Phys. Rev. Lett.126, 061602 (2021), arXiv:2012.02479 [hep-th]

    work page arXiv 2021

  28. [28]

    Chacón, S

    E. Chacón, S. Nagy, and C. D. White, The Weyl double copy from twistor space, JHEP05, 2239, arXiv:2103.16441 [hep-th]

    work page arXiv

  29. [29]

    Chacón, S

    E. Chacón, S. Nagy, and C. D. White, Alternative for- mulations of the twistor double copy, JHEP03, 180, arXiv:2112.06764 [hep-th]. 8

    work page arXiv

  30. [30]

    The Penrose Transform and the Kerr-Schild double copy

    E. Albertini, M. L. Graesser, and G. Herczeg, The Penrose Transform and the Kerr-Schild double copy, arXiv:2511.14854 [hep-th] (2025)

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  31. [31]

    Kerr, R. P. and Schild, A., Republication of: A new class of vacuum solutions of the Einstein field equations, General Relativity and Gravitation41, 2485 (2009)

    2009

  32. [32]

    D. Bini, A. Geralico, and R. P. Kerr, The Kerr-Schild ansatz revised, Int. J. Geom. Meth. Mod. Phys.7, 693 (2010), arXiv:1408.4601 [gr-qc]

    work page arXiv 2010

  33. [33]

    E. T. Newman and A. I. Janis, Note on the Kerr spinning particle metric, J. Math. Phys.6, 915 (1965)

    1965

  34. [34]

    I. Bah, R. Dempsey, and P. Weck, Kerr-Schild Dou- ble Copy and Complex Worldlines, JHEP20, 180, arXiv:1910.04197 [hep-th]

    work page arXiv 1910

  35. [35]

    R. P. Kerr, Gravitational field of a spinning mass as an example of algebraically special metrics, Phys. Rev. Lett. 11, 237 (1963)

    1963

  36. [36]

    The Kerr-Newman metric: A Review

    T. Adamo and E. Newman, The Kerr-Newman metric: A Review, Scholarpedia9, 31791 (2014), arXiv:1410.6626 [gr-qc]

    work page arXiv 2014

  37. [37]

    A. I. Janis and E. T. Newman, Structure of Gravitational Sources, J. Math. Phys.6, 902 (1965)

    1965