pith. sign in

arxiv: 2605.18182 · v1 · pith:F2ONEUGUnew · submitted 2026-05-18 · 🌌 astro-ph.CO · gr-qc

Gravitational lensing time delay beyond the Shapiro/geometry split

Pith reviewed 2026-05-20 09:33 UTC · model grok-4.3

classification 🌌 astro-ph.CO gr-qc
keywords gravitational lensingtime delayShapiro delaycosmological constantSchwarzschild-de Sitterangular diameter distancenull geodesicsstrong lensing
0
0 comments X

The pith

The cosmological constant enters lensing time delays only through unlensed angular diameter distances and the lens-redshift prefactor.

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

The paper integrates null geodesics in the Schwarzschild-de Sitter metric to obtain the time delay in strong gravitational lensing. The usual split into geometrical and Shapiro contributions emerges as the leading term in a small-angle expansion around the standard lensing geometry. The first correction beyond this split arises solely as a higher-order term from the Schwarzschild portion of the metric and carries no additional dependence on the cosmological constant. As a direct result, up to this order the cosmological constant affects the observable exclusively through the unlensed angular diameter distances and the unlensed lens-redshift prefactor. This structure confirms that standard cosmological inputs suffice without new mixing at the next order.

Core claim

Integrating the exact null geodesics of the Schwarzschild-de Sitter metric and performing a small-angle expansion around the standard lensing configuration recovers the conventional geometrical-plus-Shapiro time-delay formula as the leading term. The first correction to this split is a higher-order contribution that depends only on the Schwarzschild geometry and introduces no further cosmological dependence. Consequently, to this order the cosmological constant enters the time-delay expression only through the unlensed angular diameter distances and the unlensed lens-redshift prefactor.

What carries the argument

Small-angle expansion of null geodesic travel times in the Schwarzschild-de Sitter metric, separating the leading geometry-plus-Shapiro split from a first correction intrinsic to the Schwarzschild component.

If this is right

  • The conventional lensing time-delay formula remains accurate without supplementary cosmological constant corrections at this order.
  • All cosmological dependence in the time delay is captured by the unlensed angular diameter distances and redshift prefactor.
  • The first correction term can be evaluated using only the local Schwarzschild geometry.
  • The separation between cosmological and local contributions persists through the leading correction in the expansion.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Similar geodesic expansions could be applied to other metrics to test whether extra parameters remain isolated to distance factors.
  • Precision time-delay measurements might isolate the predicted correction by subtracting the standard formula from observed delays.
  • The result simplifies modeling in time-delay cosmography by confirming the absence of new Lambda mixing at next-to-leading order.
  • Analogous expansions may clarify higher-order effects in related lensing quantities such as deflection angles or image positions.

Load-bearing premise

The small-angle expansion around the standard lensing configuration suffices to isolate the leading delay term and its first correction when integrating null geodesics.

What would settle it

Numerical integration of exact null geodesics for a specific lens-source geometry in Schwarzschild-de Sitter spacetime, verifying whether the residual after subtracting the standard formula matches the derived correction without extra cosmological constant contributions.

Figures

Figures reproduced from arXiv: 2605.18182 by Kfir Blum, Luca Teodori, Zhaoyu Bai.

Figure 1
Figure 1. Figure 1: FIG. 1: Illustration of the lensing setup in SdS static coordinates. [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
read the original abstract

Time delays are a key observable in strong gravitational lensing systems. Their theoretical expression is usually written as a sum of a geometrical delay and a Shapiro delay, with cosmology entering through angular diameter distances and a redshift prefactor. In this work we derive this structure from the exact null geodesics of the Schwarzschild-de Sitter metric. The standard formula is recovered as the leading term in a small-angle expansion, and we identify the first correction to the usual geometrical-plus-Shapiro split. Such correction does not introduce any new cosmological dependence: it corresponds instead to a higher-order correction intrinsic to the Schwarzschild part of the metric. As a consequence, up to this order, the cosmological constant enters only through the unlensed angular diameter distances and the unlensed lens-redshift prefactor.

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

1 major / 2 minor

Summary. The manuscript derives the gravitational lensing time delay from the exact null geodesic equation in the Schwarzschild-de Sitter metric. A small-angle expansion recovers the standard geometrical-plus-Shapiro split as the leading term, with the cosmological constant entering only through unlensed angular diameter distances and the lens-redshift prefactor. The first correction beyond this split is identified as a higher-order Schwarzschild effect without additional Lambda dependence.

Significance. If the derivation holds, the result provides a first-principles confirmation that Lambda affects time delays only via standard distance measures up to the considered perturbative order. This strengthens the theoretical basis for time-delay cosmography in LambdaCDM and related models. The geodesic-derived approach, rather than an assumed split, is a clear methodological strength.

major comments (1)
  1. [§3] §3, around the definition of the small-angle expansion: the unperturbed (zeroth-order) path must be explicitly identified as the exact null geodesic in the M=0 de Sitter limit rather than a coordinate straight line. If the latter is used, show that Lambda corrections to the path length and coordinate time enter only at higher order than the claimed Schwarzschild correction, so that the isolation of cosmological dependence to unlensed distances remains valid.
minor comments (2)
  1. [Eq. (12)] Eq. (12): the small-angle parameter should be defined with an explicit relation to the observed image separation angle to make the expansion order transparent.
  2. [Figure 2] Figure 2: add a panel or inset showing the size of the first correction term relative to the leading term for typical lens redshifts.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the constructive comment and for recognizing the strength of our geodesic-based derivation. We address the single major comment below.

read point-by-point responses
  1. Referee: [§3] §3, around the definition of the small-angle expansion: the unperturbed (zeroth-order) path must be explicitly identified as the exact null geodesic in the M=0 de Sitter limit rather than a coordinate straight line. If the latter is used, show that Lambda corrections to the path length and coordinate time enter only at higher order than the claimed Schwarzschild correction, so that the isolation of cosmological dependence to unlensed distances remains valid.

    Authors: We appreciate the request for explicit clarification. Our derivation begins from the exact null geodesic equations in the full Schwarzschild-de Sitter metric. In the small-angle expansion of §3, the zeroth-order (unperturbed) path is the exact null geodesic of the M=0 de Sitter limit. Within the perturbative order relevant to the leading time-delay terms, this geodesic is indistinguishable from a coordinate straight line. Explicit expansion of the geodesic equation shows that any additional corrections to path length and coordinate time induced by the cosmological constant appear only at orders higher than the first correction we isolate, which arises solely from the Schwarzschild mass term. Consequently, the cosmological dependence remains confined to the unlensed angular-diameter distances and lens-redshift prefactor, as stated. We will revise §3 to state this identification explicitly and to include a short order-of-magnitude argument confirming the higher-order status of the Lambda corrections. revision: yes

Circularity Check

0 steps flagged

Derivation from external SdS metric and geodesics is self-contained

full rationale

The paper starts from the standard Schwarzschild-de Sitter metric and the null geodesic equation, both external inputs not derived within the work. It performs a small-angle expansion to recover the standard geometrical-plus-Shapiro time-delay formula as the leading term and identifies the first correction as a higher-order Schwarzschild effect with no additional Lambda dependence beyond unlensed distances and redshift prefactor. No step reduces by construction to a fitted parameter, self-definition, or self-citation chain; the central claim follows directly from integrating the geodesic equations under the stated expansion without circular redefinition of inputs as outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the choice of the Schwarzschild-de Sitter metric as the background spacetime and the validity of a small-angle perturbative expansion to separate orders. No free parameters or new postulated entities are introduced in the abstract.

axioms (2)
  • domain assumption Spacetime is described by the Schwarzschild-de Sitter metric
    The paper computes exact null geodesics in this metric to derive the time delay structure.
  • domain assumption A small-angle expansion is appropriate and sufficient for isolating the leading term and first correction
    Invoked to recover the standard geometrical-plus-Shapiro formula and to identify the intrinsic correction.

pith-pipeline@v0.9.0 · 5659 in / 1521 out tokens · 87572 ms · 2026-05-20T09:33:19.007907+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.

  • IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    The standard formula is recovered as the leading term in a small-angle expansion, and we identify the first correction to the usual geometrical-plus-Shapiro split. Such correction does not introduce any new cosmological dependence: it corresponds instead to a higher-order correction intrinsic to the Schwarzschild part of the metric.

  • IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    As a consequence, up to this order, the cosmological constant enters only through the unlensed angular diameter distances and the unlensed lens-redshift prefactor.

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.

Reference graph

Works this paper leans on

51 extracted references · 51 canonical work pages · 24 internal anchors

  1. [1]

    (49) Equation (49) is the direct expansion of the exact travel-time integrals

    + 15πr2 s 8Dl 1 θ2 − 1 θ1 +r sO(x2). (49) Equation (49) is the direct expansion of the exact travel-time integrals. To expose the usual geometrical-plus- Shapiro split, it is useful to use the lens equation once more. Letϑ i :=s iθi be the signed image position. Up to the same order, Eq. (34) lets us rewrite Eq. (49) as ∆T= (1 + ˜zl) " 1 2 DeDl Del (ϑ2 −β...

  2. [2]

    DarkMaps

    Fermat principle Equation (50) can be read as the difference of a one-image Fermat potential, T(ϑ;β) = (1 + ˜zl) 1 2 DeDl Del (ϑ−β) 2 −2r s ln|ϑ|+ 15πr2 s 16Dl|ϑ| ,(53) evaluated at the two signed image positions,∆T=T(ϑ 2;β)− T(ϑ 1;β) +r sO(x2). The stationarity statement is thatTshould be varied with respect to the image position while holding the source...

  3. [3]

    Schneider, J

    P. Schneider, J. Ehlers, and E. E. Falco,Gravitational Lenses. 1992

  4. [4]

    Light Propagation in Arbitrary Spacetimes and the Gravitational Lens Approximation

    S. Seitz, P. Schneider, and J. Ehlers, “Light propagation in arbitrary space-times and the gravitational lens approximation,”Class. Quant. Grav.11(1994) 2345–2374,arXiv:astro-ph/9403056

  5. [5]

    Gravitational Lensing

    M. Bartelmann, “Gravitational Lensing,”Class. Quant. Grav.27(2010) 233001,arXiv:1010.3829 [astro-ph.CO]

  6. [6]

    H0LiCOW I. $H_0$ Lenses in COSMOGRAIL's Wellspring: Program Overview

    S. H. Suyuet al., “H0LiCOW ? I. H0 Lenses in COSMOGRAIL’s Wellspring: program overview,”Mon. Not. Roy. Astron. Soc.468no. 3, (2017) 2590–2604,arXiv:1607.00017 [astro-ph.CO]

  7. [7]

    TDCOSMO. I. An exploration of systematic uncertainties in the inference ofH 0 from time-delay cosmography,

    M. Millonet al., “TDCOSMO. I. An exploration of systematic uncertainties in the inference ofH 0 from time-delay cosmography,”Astron. Astrophys.639(2020) A101,arXiv:1912.08027 [astro-ph.CO]

  8. [8]

    Cosmological gravitational lens equation: Its validity and limitation,

    M. Sasaki, “Cosmological gravitational lens equation: Its validity and limitation,”Prog. Theor. Phys.90(1993) 753–781

  9. [9]

    Cosmology with gravitationally lensed repeating Fast Radio Bursts,

    O. Wucknitz, L. G. Spitler, and U. L. Pen, “Cosmology with gravitationally lensed repeating Fast Radio Bursts,”Astron. Astrophys.645(2021) A44,arXiv:2004.11643 [astro-ph.CO]

  10. [10]

    Effects of a Nonvanishing Cosmological Constant on the Spherically Symmetric Vacuum Manifold,

    K. Lake and R. C. Roeder, “Effects of a Nonvanishing Cosmological Constant on the Spherically Symmetric Vacuum Manifold,”Phys. Rev. D15(1977) 3513–3519

  11. [11]

    Gravitational lensing from a spacetime perspective,

    V. Perlick, “Gravitational lensing from a spacetime perspective,”Living Rev. Rel.7(2004) 9

  12. [12]

    ¨Uber die physikalischen Grundlagen der Einsteinschen Gravitationstheorie,

    F. Kottler, “ ¨Uber die physikalischen Grundlagen der Einsteinschen Gravitationstheorie,”Annalen der Physik361no. 14, (Jan., 1918) 401–462

  13. [13]

    On the effect of the cosmological expansion on the gravitational lensing by a point mass

    O. F. Piattella, “On the effect of the cosmological expansion on the gravitational lensing by a point mass,”Universe2 no. 4, (2016) 25,arXiv:1609.00270 [gr-qc]

  14. [14]

    The Contribution of the Cosmological Constant to the Relativistic Bending of Light Revisited

    W. Rindler and M. Ishak, “Contribution of the cosmological constant to the relativistic bending of light revisited,”Phys. Rev. D76(2007) 043006,arXiv:0709.2948 [astro-ph]

  15. [15]

    The Relevance of the Cosmological Constant for Lensing

    M. Ishak and W. Rindler, “The Relevance of the Cosmological Constant for Lensing,”Gen. Rel. Grav.42(2010) 2247–2268,arXiv:1006.0014 [astro-ph.CO]. 18

  16. [16]

    Effect of Accelerated Global Expansion on Bending of Light

    M. E. Aghili, B. Bolen, and L. Bombelli, “Effect of accelerated global expansion on the bending of light,”Gen. Rel. Grav.49no. 1, (2017) 10,arXiv:1408.0786 [gr-qc]

  17. [17]

    Light bending by the cosmological constant,

    L. Hu, A. Heavens, and D. Bacon, “Light bending by the cosmological constant,”JCAP02no. 02, (2022) 009, arXiv:2109.09785 [astro-ph.CO]

  18. [18]

    The role of Lambda in the cosmological lens equation

    M. Sereno, “The role of Lambda in the cosmological lens equation,”Phys. Rev. Lett.102(2009) 021301, arXiv:0807.5123 [astro-ph]

  19. [19]

    Effect of the cosmological constant on the bending of light and the cosmological lens equation

    H. Arakida and M. Kasai, “Effect of the cosmological constant on the bending of light and the cosmological lens equation,”Phys. Rev. D85(2012) 023006,arXiv:1110.6735 [gr-qc]

  20. [20]

    Lambda does not Lens: Deflection of Light in the Schwarzschild-de Sitter Spacetime

    L. M. Butcher, “No practical lensing by Lambda: Deflection of light in the Schwarzschild–de Sitter spacetime,”Phys. Rev. D94no. 8, (2016) 083011,arXiv:1602.02751 [gr-qc]

  21. [21]

    Time Delay for Multiply Imaged Quasars,

    J. H. Cooke and R. Kantowski, “Time Delay for Multiply Imaged Quasars,”ApJL195(Jan., 1975) L11

  22. [22]

    On the possibility of determining Hubble’s parameter and the masses of galaxies from the gravitational lens effect,

    S. Refsdal, “On the possibility of determining Hubble’s parameter and the masses of galaxies from the gravitational lens effect,”Mon. Not. Roy. Astron. Soc.128(1964) 307

  23. [23]

    Solar system effects in Schwarzschild--de Sitter spacetime

    V. Kagramanova, J. Kunz, and C. Lammerzahl, “Solar system effects in Schwarzschild-de Sitter spacetime,”Phys. Lett. B634(2006) 465–470,arXiv:gr-qc/0602002

  24. [24]

    Cosmological constant and time delay

    T. Schucker and N. Zaimen, “Cosmological constant and time delay,”Astron. Astrophys.484(2008) 103, arXiv:0801.3776 [astro-ph]

  25. [25]

    The mass-particle in an expanding universe,

    G. C. McVittie, “The mass-particle in an expanding universe,”Mon. Not. Roy. Astron. Soc.93(1933) 325–339

  26. [26]

    McVittie's Legacy: Black Holes in an Expanding Universe

    N. Kaloper, M. Kleban, and D. Martin, “McVittie’s Legacy: Black Holes in an Expanding Universe,”Phys. Rev. D81 (2010) 104044,arXiv:1003.4777 [hep-th]

  27. [27]

    Rigorous Approach to the Gravitational Lensing

    M. Park, “Rigorous Approach to the Gravitational Lensing,”Phys. Rev. D78(2008) 023014,arXiv:0804.4331 [astro-ph]

  28. [28]

    Gravitational lensing in a universe with matter and a cosmological constant,

    P. Bessa and O. F. Piattella, “Gravitational lensing in a universe with matter and a cosmological constant,”Phys. Rev. D106no. 12, (2022) 123513,arXiv:2209.04063 [astro-ph.CO]

  29. [29]

    Application of Time Transfer Function to McVittie Spacetime: Gravitational Time Delay and Secular Increase in Astronomical Unit

    H. Arakida, “Application of Time Transfer Function to McVittie Spacetime: Gravitational Time Delay and Secular Increase in Astronomical Unit,”Gen. Rel. Grav.43(2011) 2127–2139,arXiv:1103.2569 [gr-qc]

  30. [30]

    The influence of the expansion of space on the gravitation fields surrounding the individual stars,

    A. Einstein and E. G. Straus, “The influence of the expansion of space on the gravitation fields surrounding the individual stars,”Rev. Mod. Phys.17(1945) 120–124

  31. [31]

    Das Schwarzschildsche Linienelement und die Expansion des Weltalls.,

    E. Sch¨ ucking, “Das Schwarzschildsche Linienelement und die Expansion des Weltalls.,”Zeitschrift fur Physik137no. 5, (Oct., 1954) 595–603

  32. [32]

    Strong lensing in the Einstein-Straus solution

    T. Schucker, “Strong lensing in the Einstein-Straus solution,”Gen. Rel. Grav.41(2009) 1595–1610,arXiv:0807.0380 [astro-ph]

  33. [33]

    Time delay in the Einstein-Straus solution

    K.-E. Boudjemaa, M. Guenouche, and S. R. Zouzou, “Time delay in the Einstein-Straus solution,”Gen. Rel. Grav.43 (2011) 1707–1731,arXiv:1006.0080 [astro-ph.CO]

  34. [34]

    Time Delay in Swiss Cheese Gravitational Lensing

    B. Chen, R. Kantowski, and X. Dai, “Time Delay in Swiss Cheese Gravitational Lensing,”Phys. Rev. D82(2010) 043005,arXiv:1006.3500 [astro-ph.CO]

  35. [35]

    Towards a new proposal for the time delay in gravitational lensing

    N. Alchera, M. Bonici, and N. Maggiore, “Towards a new proposal for the time delay in gravitational lensing,” Symmetry9no. 10, (2017) 202,arXiv:1709.09055 [astro-ph.CO]

  36. [36]

    Analysis of the angular dependence of time delay in gravitational lensing

    N. Alchera, M. Bonici, R. Cardinale, A. Domi, N. Maggiore, C. Righi, and S. Tosi, “Analysis of the angular dependence of time delay in gravitational lensing,”Symmetry10no. 7, (2018) 246,arXiv:1804.03111 [astro-ph.CO]

  37. [37]

    On the exact gravitational lens equation in spherically symmetric and static spacetimes

    V. Perlick, “On the Exact gravitational lens equation in spherically symmetric and static space-times,”Phys. Rev. D69 (2004) 064017,arXiv:gr-qc/0307072

  38. [38]

    Gravitational lensing beyond the weak-field approximation,

    V. Perlick, “Gravitational lensing beyond the weak-field approximation,”AIP Conf. Proc.1577no. 1, (2015) 94–111

  39. [39]

    Observations in Locally Inhomogeneous Cosmological Models,

    C. C. Dyer and R. C. Roeder, “Observations in Locally Inhomogeneous Cosmological Models,”ApJ189(Apr., 1974) 167–176

  40. [40]

    Swiss-cheese models and the Dyer-Roeder approximation

    P. Fleury, “Swiss-cheese models and the Dyer-Roeder approximation,”JCAP06(2014) 054,arXiv:1402.3123 [astro-ph.CO]

  41. [41]

    Beitr¨ age zur Theorie der reinen Gravitationsstrahlung,

    P. Jordan, J. Ehlers, and R. K. Sachs, “Beitr¨ age zur Theorie der reinen Gravitationsstrahlung,”Mainz Akademie Wissenschaften Mathematisch Naturwissenschaftliche Klasse1(Aug., 1961) 1

  42. [42]

    Gravitational waves in general relativity. 8. Waves in asymptotically flat space-times,

    R. K. Sachs, “Gravitational waves in general relativity. 8. Waves in asymptotically flat space-times,”Proc. Roy. Soc. Lond. A270(1962) 103–126

  43. [43]

    Bilocal geodesic operators in static spherically-symmetric spacetimes,

    J. Serbenta and M. Korzy´ nski, “Bilocal geodesic operators in static spherically-symmetric spacetimes,”Class. Quant. Grav.39no. 15, (2022) 155002,arXiv:2111.02880 [gr-qc]

  44. [44]

    Lx. on the definition of distance in general relativity,

    I. Etherington, “Lx. on the definition of distance in general relativity,”The London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science15no. 100, (1933) 761–773

  45. [45]

    Astrometric requirements for strong lensing time-delay cosmography,

    S. Birrer and T. Treu, “Astrometric requirements for strong lensing time-delay cosmography,”Mon. Not. Roy. Astron. Soc.489no. 2, (2019) 2097–2103

  46. [46]

    The quest for an accurate measurement of cosmic shear,

    J. Zhang, “The quest for an accurate measurement of cosmic shear,”Natl. Sci. Rev.3no. 2, (2016) 159–160

  47. [47]

    Weak Gravitational Lensing by Galaxies,

    T. G. Brainerd, R. D. Blandford, and I. Smail, “Weak Gravitational Lensing by Galaxies,”Astrophys. J.466(1996) 623

  48. [48]

    Cluster–galaxy weak lensing,

    K. Umetsu, “Cluster–galaxy weak lensing,”Astron. Astrophys. Rev.28(2020) 7

  49. [49]

    The Mass Of The Coma Cluster From Weak Lensing In The Sloan Digital Sky Survey

    J. M. Kubo, A. Stebbins, J. Annis, I. P. Dell’Antonio, H. Lin, H. Khiabanian, and J. A. Frieman, “The Mass of the Coma Cluster from Weak Lensing in the Sloan Digital Sky Survey,”Astrophys. J.671no. 2, (2007) 1466–1470, arXiv:0709.0506 [astro-ph]

  50. [50]

    Interferometric observation of microlensing events,

    A. Cassan and C. Ranc, “Interferometric observation of microlensing events,”Mon. Not. Roy. Astron. Soc.458no. 2, (2016) 2074–2079

  51. [51]

    Catalogue of Spacetimes

    T. Muller and F. Grave, “Catalogue of Spacetimes,”arXiv:0904.4184 [gr-qc]