Basic Elements of Strong Gravitational Lensing

Jeremy D. Schnittman; Paul L. Schechter

REVIEW 3 major objections 4 minor 2 references

Basic Elements of Strong Gravitational Lensing

T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read This chapter argues that strong lensing is best taught through Fermat's principle and a time-of-flight lens equation, organized around three D's: delay, deflection, and distortion.

desk verdict A readable pedagogical review whose central Fermat-principle lens equation has a (1+z_L) frame mismatch; worth refereeing but needs a fix before newcomers should use it. read the letter →

arxiv 2505.22738 v1 pith:CR5UPESR submitted 2025-05-28 astro-ph.CO

Paul L. Schechter , Jeremy D. Schnittman This is my paper

classification astro-ph.CO

keywords stronggravitationallensingFermat'sprincipletimedelayeffectiveofflightlensequationcausticsandcriticalcurvessingularisothermalellipticalpotentialWitthyperbola

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This review chapter sets out to show that the basic physics of strong gravitational lensing follows from Fermat's principle, organized around three D's: delay, deflection, and distortion. Its central pedagogical claim is that image positions can be found from the stationary points of a photon's total time delay, using an 'effective time of flight' between source, lens, and observer, so that a newcomer can reason about lensing before meeting angular diameter distances. If that route is sound, the chapter's equation (24) is a valid variant of the standard lens equation. The chapter also argues that apparent double and quadruple image systems are really triples and quintets with a highly demagnified central image, and that a stretched isothermal potential with a parallel external tide captures the observed quad configurations.

What carries the argument

The load-bearing object is the time-delay surface $\tau_{\rm sum}(\vec I)$, the sum of the Shapiro delay and the two geometric delays; stationary points of this surface are the images, and the three D's are its zeroth, first, and second derivatives. The named intermediate is the effective time of flight, $T_{\rm eff}^{SO} = (1/T^{LO}+1/T^{SL})^{-1}$, which packages the lens-to-observer and source-to-lens geometric delays into one number and carries the geometric term in equation (24). For observed configurations, the machinery is the SIEP+XT$\parallel$ potential, a singular isothermal elliptical potential with a parallel external tide, whose image positions fall at the intersections of a hyperbola (Witt's hyperbola) and an ellipse (Wynne's ellipse).

What would settle it

Run equation (24) for a singular isothermal sphere in an open or closed FRW universe and compare the predicted image positions with the standard form $\beta = \theta - (D_{LS}/D_S)\,\alpha(\theta)$ at the same source and lens redshifts; any redshift-dependent mismatch would show that the additivity of transverse co-moving distances used in section 8.2 does not hold in curved geometry.

Watch

Extended reading notes

Core claim

The chapter's claim, on its own terms, is that Fermat's principle is the fundamental driver of strong lensing: images sit at stationary points of the combined gravitational and geometric time delay, and all three D's are derivatives of that delay surface. The constructive result is a time-of-flight variant of the lens equation, equation (24), $$0 = \frac{f_K(\chi_{OL}^{\rm long})}{c}\nabla\Psi_{2D}(\vec I) + \frac{1}{T_{\rm eff}^{OS}}\left(\frac{1}{1+z_L}f_K(\chi_{OL}^{\rm long})\right)^2(\vec I - \vec L),$$ in which the image offset appears without any angular diameter distance. Along the way the chapter asserts that doubles and quads are in principle triples and quintets with a demagnified central maximum, and that the SIEP+XT$\parallel$ potential, read geometrically through Witt's hyperbola and Wynne's ellipse, reproduces the observed configurations of quadruply lensed quasars.

Load-bearing premise

The construction stands on one piece of cosmological bookkeeping: transverse co-moving distances add like longitudinal ones, and the factor $1/(1+z_L)$ converts them to the lens plane exactly; if either step is off in curved spacetime, equation (24) would drift from the standard lens equation by redshift-dependent factors.

Editorial extensions

If this is right

A newcomer can derive image positions from photon travel times and $T_{\rm eff}$ before learning angular diameter distances, changing the usual pedagogical order of lensing courses.
Every observed double or quad should be treated as a triple or quintet; the missing image is a maximum of the delay surface that is strongly demagnified, usually below detection.
The SIEP+XT$\parallel$ model gives a direct, non-iterative forward calculation of quad positions, and the Witt-Wynne construction lets observers read the taxonomy of quads from a hyperbola-ellipse intersection.
Because Witt's hyperbola always passes through the lens center, fitting hyperbolae to real quads provides a test that lensing potentials are centered on their galaxies.
Less cuspy potentials, as in clusters, should reveal true fifth images where galaxy-scale lenses hide them.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

I infer that if equation (24) is equivalent to the standard lens equation, the effective time of flight $T_{\rm eff}$—not angular diameter distances—is the natural observable for time-delay cosmography, so Hubble-constant constraints could be re-expressed as ratios of $T_{\rm eff}$ values.
I infer that the chapter's additivity of transverse co-moving distances needs a curved-geometry check: since $\chi_{AC}=\chi_{AB}+\chi_{BC}$ is exact only for flat space, a closed or open universe version of equation (24) would either confirm the equivalence or expose a redshift-dependent correction.
I infer a statistical test: if lensing potentials are centered on their galaxies, the offsets between observed Witt hyperbolae and galaxy centers across a large sample of quads should be distributed around zero with scatter set by substructure; the chapter's figures suggest but do not prove this.
I infer that the 'failed quintet' idea predicts a selection effect: surveys for central images in clusters should find more fifth images than in galaxy-scale lenses, and the ratio should track the slope of the central density profile.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Read this one if you want a clear sense of what a senior practitioner thinks beginners need for strong lensing. The chapter is genuinely readable: the three D's (delay, deflection, distortion) are a good mnemonic, the figures are well chosen, and the taxonomy section (13.5) is a nice repackaging of Schechter's own published quad classification. The Fermat-principle route is a legitimate pedagogical choice, and avoiding angular diameter distances is a real service for newcomers.

But the central derivation has a problem that I think is load-bearing. Equation (24) is supposed to be a variant of the lens equation. Working through equations (9), (16), (20), (21), and (24) with Ψ2D read as the dimensionless potential (the only dimensionally consistent reading), I get θ - θ_L = -(1+z_L)^2 (χ_SL/χ_OS) ∇Ψ2D. The standard lens equation is θ - θ_L = -(1+z_L)(χ_SL/χ_OS) ∇Ψ2D (flat case). The origin is clear: T_LO and T_SL are conformal times (χ/c), while T_LI is a lens-plane proper time (χ/[c(1+z_L)]). The geometric delay formula (19) mixes frames, and the factor (1+z_L) does not cancel. The paper never demonstrates the equivalence to β = θ - (D_LS/D_S)α, and a direct reduction shows it fails by one power of (1+z_L). For z_L = 0.5, that is roughly a 44% shift in image radii. This is exactly the kind of error a newcomer using the chapter to code a lens equation would carry into their own work.

The reader's report missed this (they vouched for equation (24) with an (1+z_L) conversion), so I would trust the stress-test here. There are also smaller issues: section 8.2 says transverse and longitudinal comoving distances both satisfy χ_AC = χ_AB + χ_BC, which is true only for the longitudinal coordinate, not for f_K(χ) in curved space; the 20,000x speedup in 13.9 has no benchmark detail; and there are enough typos (e.g., equation (8) inconsistent with equation (9)) to suggest the draft is unpolished.

None of this kills the review's value. The observational material, the caustic/critical-curve discussion, and the Witt-Wynne construction are solid and independent of equation (24). But the central pedagogical promise — that times of flight give a valid route to the lens equation — is not delivered as written. I would send this to peer review, with the factor fix required before acceptance. It deserves a serious referee; the error is real but repairable.

Referee Report

3 major / 4 minor

Summary. This chapter presents an introduction to strong gravitational lensing built around Fermat's principle, organizing the subject into three 'D's (Delay, Deflection, Distortion). It develops a time-of-flight formalism with an 'effective time of flight' T_eff, leading to a proposed variant of the lens equation (Eq. 24), then surveys image configurations (doubles, triples, quads, quintets), critical curves, caustics, the SIS/SIEP+XT lens models, and a geometric taxonomy for quadruple lenses using Witt hyperbolae and Wynne ellipses.

Significance. If the time-of-flight derivation were valid, this would be a useful pedagogical alternative to the standard angular-diameter-distance treatment, with intuitive explanations and a handy tabulation of T_eff. The qualitative sections accurately summarize known results and the authors' prior work on quad taxonomy, and the figures are instructive. However, the central lens equation contains a frame mismatch and an omitted source-position term, so the main pedagogical claim is not currently reliable.

major comments (3)

[10.1–10.4, Eqs. (14)–(24)] The geometric delay is constructed from T_LI = |L-I| f_K(χ_OL)/[(1+z_L)c], i.e., the image-lens separation. The Fermat geometric delay must be quadratic in the image-source separation, not the image-lens separation. Consequently Eq. (24) contains no source position β and is at best the on-axis case of a source directly behind the lens. It cannot serve as the general lens equation asserted in §10.4, and it does not reproduce the standard result β = θ - (D_LS/D_S)α for off-axis sources. The stationary condition should contain (I-L-β) on the left-hand side; a direct reduction for the SIS model with β≠0 already shows the failure.
[10.1, Eqs. (16)–(19), (24)] There is a frame mismatch among the three times. T_LO = χ_OL/c and T_SL = χ_SL/c are conformal times, while T_LI = χ_LI/[(1+z_L)c] is a lens-plane proper time. Since Eq. (21) is explicitly said to be evaluated 'at z_lens', the geometric term must also be a lens-frame time. The correct lens-frame geometric delay is (1+z_L)/2 (1/T_LO+1/T_SL) T_LI^2, i.e., Eq. (19) multiplied by (1+z_L). With that correction, Eq. (24) reduces to I-L-β = -(χ_SL/χ_OS)(1+z_L)∇Φ2D, the standard lens equation, using α_hat=(1+z_L)∇Φ2D. As printed, Eq. (24) has an extra factor (1+z_L) in the deflection term; for z_L=0.5 this makes image radii ~50% too large.
[9–10, Eqs. (13), (21)] The definition of Ψ2D in Eq. (13) carries a prefactor f_K(χ_OL), giving it dimensions of length, but Eq. (21) multiplies Ψ2D by χ_OL/c, which yields dimensions of length^2/time rather than time. If Ψ2D is intended to be dimensionless (as its use in Eq. (24) suggests), the prefactor in Eq. (13) must be removed; if it is meant to have dimensions of length, the coefficient in Eq. (21) should be 1/c. As printed, the Shapiro term in Eqs. (21)–(24) is dimensionally inconsistent, and the coefficient of ∇Ψ2D is ambiguous.

minor comments (4)

[8.2] The statement that 'transverse and longitudinal co-moving distances both have the special property that χ_AC = χ_AB + χ_BC' is incorrect for transverse distances f_K(χ) in non-flat geometries; additivity holds only for longitudinal comoving distances (and trivially for flat f_K).
[Throughout] There are numerous typographical errors, including 'illustative', 'observatinal', 'respresentative', 'straddeled', 'configurarions', and 'spehre'. A careful proofread is needed.
[Table 1 and Eq. (13)] The symbol I is used both as a physical vector position in the image plane and as an angular position on the sky; Eq. (13) should clarify the argument of Φ2D to avoid confusion about units.
[10.5] The sentence introducing Table 2 says 'In Table 10.5 of the effective time of flight' but the table is numbered Table 2; the cross-reference should be corrected.

Circularity Check

0 steps flagged · score 1.0 of 10

No load-bearing circularity: the lens equation is derived from Fermat's principle with external cosmological inputs; self-citations in the quad taxonomy are illustrative rather than inputs to the derivation.

full rationale

This is a pedagogical chapter rather than a paper making a new forward prediction, and its derivation chain is not circular. The time-delay function (eqs 1–3), the Shapiro delay (eqs 10–12), and the geometric delays (eqs 14–19) are assembled from Fermat's principle plus standard FRW bookkeeping, with the cosmological distance conversions cited to external references (Hogg 1999; Binney and Merrifield 1998; Narayan and Bartelmann 1996). The 'effective time of flight' T_eff in eq (20) is a defined combination of T_LO and T_SL, and the lens equation (24) is the algebraic stationary-point condition of the resulting delay; it is not a fitted parameter renamed as a prediction. The self-citations in sections 13.5 and 13.9 (Wynne and Schechter 2018; Falor and Schechter 2022; Schechter and Luhtaru 2024) support a classification illustration, not the derivation of the lens equation, and the Witt-hyperbola check uses observed galaxy positions as an independent datum. The chapter's claim that eq (24) is a variant of the standard lens equation is asserted rather than reduced, and a skeptical reader may find the (1+z_L) bookkeeping needs checking; that is a derivation-correctness concern, not a circularity concern. No step in the paper reduces by construction to its own inputs.

Assumptions & free parameters 0 free parameters · 5 assumptions · 1 invented entities

The chapter introduces no fitted constants: the SIS/SIEP parameters (b, θ_E, η, Γ) and the 0.5 ellipticity threshold are model definitions and results taken from prior literature, not data fits performed here. The central pedagogical framework rests on standard axioms: FRW/ΛCDM geometry, the thin-lens approximation, Fermat's principle, and Morse-theoretic image counting, all with external grounding in cited textbooks. The only genuinely new device is the effective time of flight T_eff, which is a re-labeling of standard delay quantities. No new particles, forces, or physical entities are postulated.

assumptions (5)

domain assumption The universe is described by an FRW metric with ordinary matter, cold dark matter, and a cosmological constant, and is very nearly spatially flat.
Section 8 opens 'For simplicity we assume that we live in a ΛCDM universe' and cites Efstathiou and Gratton (2020) for near-flatness; the distance framework used in the time-delay derivation of equation (24) is built on this metric.
domain assumption The thin-lens approximation: the full gravitational delay is accumulated at a single plane perpendicular to the line of sight.
Section 4 justifies it because the lensing scale is far smaller than the source-observer distance; it underlies equations (1)-(3) and the stationary-point derivation that produces the lens equation (24).
domain assumption Fermat's principle, that images form at minima, maxima, and saddle points of the sum of geometric and gravitational time delay.
Section 3 states 'images appear along directions for which a photon's time of flight is a minimum (or a maximum, or a saddle point)'; the entire three-D framework and the stationary condition in section 10.4 rest on it.
standard math Morse-theoretic image counting: stationary points of the two-dimensional delay surface alternate in index, so a minimum or maximum cannot appear without a saddle point.
Section 13.2 states 'one cannot add either a minimum or a maximum without also adding a saddle point', which is used to argue that apparent doubles and quads are actually triples and quintets (section 13.6).
domain assumption Galaxy lens potentials are well approximated by singular isothermal ellipsoids plus a parallel external tide (SIEP+XT∥).
Section 12 elevates SIEP+XT∥ to the archetypical model and builds the Witt-Wynne construction on it; support comes from flat rotation curves (Bosma 1978) and the authors' prior papers (Luhtaru et al. 2021, Falor and Schechter 2022).

invented entities (1)

Effective time of flight T_eff^SO
purpose: A bookkeeping quantity defined in equation (20) as (1/T_LO + 1/T_SL)^(-1); it packages the geometric delay and lets the lens equation be written without angular diameter distances.
It is a recombination of the two light-travel times already present in equation (19), so it carries no new physics and no falsifiable handle of its own; values are tabulated in Table 2 for a flat ΛCDM cosmology. It is a pedagogical device, like the three D's and the word 'scronching', not a new physical entity.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Basic Elements of Strong Gravitational Lensing." pith.science (2026). https://pith.science/paper/CR5UPESR

@misc{pith2026250522738,
  author       = {Pith},
  title        = {Pith review of: Basic Elements of Strong Gravitational Lensing},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CR5UPESR}},
  note         = {Machine review of arXiv:2505.22738}
}

read the original abstract

Even when used to describe the same phenomenon, equations, graphics and words each give different perspectives and lead to complementary insights. The basic elements of strong gravitational lensing are introduced here favoring words and graphics over equations whenever possible. Fermat's principle is the fundamental driver of strong lensing. Three "D's'' encapsulate the essential effects of lensing: Delay, Deflection and Distortion. Gravity and geometry both contribute to the delay of photons from a lensed source. Their interplay determines how the images of a source are deflected and how they are stretched or compressed. Caustics and critical curves are explained. Images of doubly, triply, quadruply and quintuply lensed sources are displayed. A table of symbols, their definitions and distinctions provides a summary of the basic elements of strong lensing.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

2 extracted references · 1 canonical work pages

[1]

Bolton, A.S., Burles, S., Koopmans, L.V.E., Treu, T., Gavazzi, R., Moustakas, L.A., Wayth, R., Schlegel, D.J.: The Sloan Lens ACS Survey. V. The Full ACS Strong-Lens Sample. Ap.J. 682(2), 964–984 (2008) https://doi.org/10.1086/589327 arXiv:0805.1931 [astro-ph] 26 Binney, J., Merrifield, M.: Galactic Astronomy, (1998) Bosma, A.: The distribution and kinema...

arXiv 2008
[1978]

Asymmetric Surface Brightness Structure of Caustic Crossing Arc in SDSS J1226+2152: A Case for Dark Matter Substructure

Dai, L., Kaurov, A.A., Sharon, K., Florian, M., Miralda-Escud´ e, J., Venumadhav, T., Frye, B., Rigby, J.R., Bayliss, M.: Asymmetric surface brightness structure of caustic crossing arc in SDSS J1226+2152: a case for dark matter sub- structure. M.N.R.A.S 495(3), 3192–3208 (2020) https://doi.org/10.1093/mnras/ staa1355 arXiv:2001.00261 [astro-ph.GA] Efstat...

work page Pith review arXiv 2020

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.

[1] [1]

Bolton, A.S., Burles, S., Koopmans, L.V.E., Treu, T., Gavazzi, R., Moustakas, L.A., Wayth, R., Schlegel, D.J.: The Sloan Lens ACS Survey. V. The Full ACS Strong-Lens Sample. Ap.J. 682(2), 964–984 (2008) https://doi.org/10.1086/589327 arXiv:0805.1931 [astro-ph] 26 Binney, J., Merrifield, M.: Galactic Astronomy, (1998) Bosma, A.: The distribution and kinema...

arXiv 2008

[2] [1978]

Asymmetric Surface Brightness Structure of Caustic Crossing Arc in SDSS J1226+2152: A Case for Dark Matter Substructure

Dai, L., Kaurov, A.A., Sharon, K., Florian, M., Miralda-Escud´ e, J., Venumadhav, T., Frye, B., Rigby, J.R., Bayliss, M.: Asymmetric surface brightness structure of caustic crossing arc in SDSS J1226+2152: a case for dark matter sub- structure. M.N.R.A.S 495(3), 3192–3208 (2020) https://doi.org/10.1093/mnras/ staa1355 arXiv:2001.00261 [astro-ph.GA] Efstat...

work page Pith review arXiv 2020