Gravitational lensing time delay beyond the Shapiro/geometry split

This paper derives the standard gravitational lensing time delay formula from exact null geodesics in the Schwarzschild-de Sitter metric, identifying a higher-order correction intrinsic to the Schwarzschild geometry that does not introduce new cosmological dependencies beyond those already present in angular diameter distances and the redshift prefactor.

The Gist

Imagine the universe as a giant, stretching trampoline. Usually, when we talk about how gravity bends light (like a lens), we treat two things separately: the local "dip" in the trampoline caused by a heavy object (like a galaxy), and the overall stretching of the trampoline itself (the expansion of the universe).

For decades, scientists have used a standard formula to calculate the time delay in gravitational lensing. This is the difference in arrival time between two images of the same distant object (like a quasar) that have taken different paths around a galaxy. The standard formula splits this delay into two parts:

1. Geometric Delay: The extra time it takes because one path is physically longer than the other.
2. Shapiro Delay: The extra time it takes because light slows down slightly as it passes through the "dip" of gravity.

The authors of this paper, Luca Teodori, Kfir Blum, and Zhaoyu Bai, asked a very precise question: Is this split perfectly accurate, or is there a tiny, hidden correction we've been missing?

To find out, they didn't use the usual "approximate" math. Instead, they used the exact, "perfect" equations of General Relativity for a universe with a single point mass (a galaxy) and a cosmological constant (the force driving the universe's expansion). They treated the problem like a high-precision math puzzle, looking for the smallest possible error in the standard formula.

The "Perfect" Calculation

Think of the standard formula as a map drawn for a flat Earth. It works great for walking across a city, but if you try to walk around the whole globe, you eventually need to account for the Earth's curve.

The authors took the "flat Earth" map (the standard lensing formula) and compared it to the "globe" map (the exact Schwarzschild-de Sitter metric). They expanded their calculations using a tiny number, $x$, which represents how strong the gravity is compared to the distance the light travels. In real life, this number is incredibly small (like 0.00001 for galaxy lenses), which is why the standard formula has worked so well up until now.

The Discovery: A Tiny "Schwarzschild" Correction

When they did the math, they found that the standard split (Geometric + Shapiro) is indeed the main answer, but there is a first correction term.

Here is the most important part of their finding, explained simply:

• The Correction Exists: There is a tiny, extra term that the standard formula misses.
• Where it Comes From: This correction does not come from the expansion of the universe (the cosmological constant). Instead, it comes entirely from the gravity of the point mass itself (the Schwarzschild part). It's like finding a tiny imperfection in the shape of the heavy rock on the trampoline, not in the stretching of the fabric.
• What it Means for Cosmology: Because this correction is purely about the local gravity and not the universe's expansion, it does not introduce any new, confusing dependence on cosmology. The "cosmological constant" (the force of expansion) still only enters the equation through the standard distances and redshifts, just as we thought.

The Analogy: The Hiker and the Hill

Imagine a hiker trying to calculate the time it takes to walk from point A to point B around a hill.

• The Standard Formula: Says, "Time = (Longer Path) + (Slowing down on the hill)."
• The Authors' Result: They say, "Actually, there is a tiny third factor: the exact curvature of the hill's peak adds a microscopic amount of time that isn't captured by just 'slowing down'."
• The Twist: This tiny extra time is caused only by the shape of the hill. It has nothing to do with the wind blowing across the landscape (the expansion of the universe). So, if you are trying to measure the wind speed using this hiker's time, you don't have to worry that the shape of the hill is messing up your wind calculation in a new, unexpected way.

Why This Matters (According to the Paper)

The paper concludes that for the precision we currently have in measuring the universe's expansion (using time delays from lensed quasars), the standard formula is excellent. The new correction they found is a higher-order effect that is intrinsic to the gravity of the lens itself.

Key Takeaways:

1. No New Cosmology: The cosmological constant (dark energy/expansion) does not get a "secret" new role in the time delay formula. It still works exactly as we thought, through distances and redshifts.
2. Refining the Math: The authors successfully derived the standard formula from the exact laws of physics, proving why it works and identifying the very first tiny correction.
3. The Source of Error: The first correction to the "Geometric + Shapiro" split is purely a "Schwarzschild" effect (local gravity), not a cosmological one.

In short, the authors didn't find a new force or a new way the universe expands. Instead, they polished the existing math to show exactly how the local gravity of a galaxy tweaks the timing of light, confirming that our current understanding of how expansion affects these measurements is robust and correct up to this level of precision.

Technical Summary

Technical Summary: Gravitational Lensing Time Delay beyond the Shapiro/Geometry Split

Problem Statement
In strong gravitational lensing systems, time delays between multiple images are a primary observable used for both lens modeling and cosmological parameter inference (e.g., $H_0$). The standard theoretical framework expresses the time delay as a sum of a geometrical delay and a Shapiro (gravitational) delay, with cosmological parameters entering exclusively through angular diameter distances and a redshift prefactor. This separation relies on the thin-lens and weak-field approximations, treating the cosmological background and the local lens contribution as distinct. While this is an excellent approximation for current applications, the authors note that precision measurements motivate a more explicit understanding of the underlying expansion and the specific role of the cosmological constant ($\Lambda$). Specifically, it is necessary to identify the dimensionless parameters controlling the standard formulae and to determine the nature and magnitude of the first corrections to the standard "geometrical-plus-Shapiro" split.

Methodology
The authors employ the Schwarzschild-de Sitter (SdS) metric as an exact setting to investigate these questions. The SdS metric describes a point mass ($r_s$) embedded in a universe with a positive cosmological constant ($\Lambda$, related to the Hubble constant $H$). Unlike previous studies that often focus on deflection angles, this work focuses on time delays.

The methodology involves:

1. Exact Geodesic Derivation: The authors derive exact expressions for light deflection and time delays using null geodesics in static SdS coordinates with a comoving emitter and observer.
2. Small-Angle and Large-Distance Expansion: They perform an expansion in a small parameter $x = r_s/r_c$, where $r_c$ is the radius of closest approach. This regime corresponds to $x \sim \theta$ (the image angle), which is typically of order $10^{-5}$ to $10^{-9}$ in astrophysical lensing scenarios.
3. Reconstruction of Standard Formalism: The authors expand the exact integrals to recover the standard lens equation and time-delay formula, expressing the results in terms of image positions and unlensed angular diameter distances ($D_l, D_e, D_{el}$).
4. Identification of Corrections: They systematically identify the first-order correction terms beyond the leading standard formula to determine if they introduce new cosmological dependencies (specifically independent $\Lambda$ contributions) or if they arise purely from the Schwarzschild part of the metric.

Key Results

1. Recovery of Standard Formulae: The standard lens equation and the time-delay formula (geometrical + Shapiro) are recovered as the leading terms in the small-angle expansion.
2. Deflection Angle: Consistent with previous work (Ref. [18]), the authors find no independent contribution from the cosmological constant $\Lambda$ to the deflection angle up to order $O(x^2)$. The effects of $H^2$ are entirely encoded in the unlensed angular diameter distances.
3. Time Delay Structure: The standard time delay formula is the leading term. The authors derive the first correction to this split, denoted as $\Delta T^{(1)}$.
   • The correction term is given by:
     $$\Delta T^{(1)} = (1 + \tilde{z}_l) \frac{15\pi r_s^2}{16 D_l} \left( \frac{1}{\theta_2} - \frac{1}{\theta_1} \right)$$
   • This correction is of relative order $x$ (or $\theta$) compared to the leading term.
4. Origin of the Correction: Crucially, the authors demonstrate that this correction does not introduce any new cosmological dependence. It corresponds to a higher-order correction intrinsic to the Schwarzschild part of the metric (the point mass contribution).
5. Role of Cosmology: Up to the order of this correction, the cosmological constant enters the time-delay expression only through the unlensed angular diameter distances and the unlensed lens-redshift prefactor ($1+\tilde{z}_l$). There is no independent $\Lambda$ contribution to the time-delay structure itself at this order.

Significance and Claims
The paper claims to provide a rigorous derivation of the standard lensing time-delay formula directly from the exact null geodesics of the SdS metric, rather than relying on heuristic approximations. The primary significance lies in clarifying the origin of the first correction to the standard "geometrical-plus-Shapiro" split.

The authors modestly state that while their calculation is performed in an idealized SdS setting (point mass, static coordinates, $\Lambda$-dominated universe), the result suggests that corrections to the standard split in more realistic cosmological and lens scenarios (including extended lenses and environments) will likely also enter at the order of $r_s O(x)$. They posit that these corrections are fundamentally Schwarzschild in nature (arising from the point mass) rather than being driven by independent cosmological expansion effects. Consequently, for the precision levels currently relevant to strong lensing cosmography, the standard assumption that cosmology enters only via distances and redshifts remains robust, with the first deviations being intrinsic to the lens mass distribution rather than the background expansion.