arxiv: 2603.08778 · v3 · submitted 2026-03-09 · 🌀 gr-qc · hep-th

Recognition: 2 theorem links

· Lean Theorem

Strong-deflection expansion of the deflection angle near a degenerate photon sphere

Takahisa Igata , Tadashi Sasaki , Naoki Tsukamoto

Authors on Pith no claims yet

Pith reviewed 2026-05-15 14:39 UTC · model grok-4.3

classification 🌀 gr-qc hep-th

keywords strong deflectiondeflection angledegenerate photon spherelight deflectioneffective potentialWeyl tensorasymptotically flat spacetimegeneral relativity

0 comments

The pith

The leading coefficient in the strong-deflection expansion of light near a degenerate photon sphere factors into a universal branch constant and a local factor set by the third derivative of the effective potential.

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

This paper develops an expansion for the deflection angle of light rays that pass close to a degenerate photon sphere in asymptotically flat, static, and spherically symmetric spacetimes. It isolates the divergent contribution to the deflection integral in a manner that stays finite even when the orbit is marginal, producing a unique leading power-law term. When written in terms of the radius of closest approach, the coefficient splits into a fixed universal number multiplied by a quantity fixed solely by the third derivative of the effective potential evaluated at the photon sphere. The same local factor also admits an invariant expression built from the areal-radius derivative of a tidal measure formed from the electric part of the Weyl tensor. In general relativity this quantity further equals the areal-radius derivative of a weighted null-energy density profile, and analytic examples confirm the factorization with explicit closed-form coefficients.

Core claim

The paper presents a strong-deflection expansion for the deflection angle near a degenerate photon sphere. The leading power-law term is obtained by isolating the divergent contribution from the ray's passage near the marginal orbit in a way that remains well defined at marginality. When expressed in terms of the radius of closest approach, the leading coefficient factorizes into a universal branch constant and a local factor determined by the third derivative of the effective potential at the degenerate photon sphere. Passing to the expansion in terms of the impact parameter then only multiplies the coefficient by an additional local conversion factor. The local factor admits an invariant 3

What carries the argument

Isolation of the divergent contribution to the deflection-angle integral near the marginal orbit, which produces a unique leading power-law term whose coefficient factorizes into a universal branch constant times the third derivative of the effective potential.

If this is right

Analytic examples in representative marginal configurations produce closed-form expressions for the leading divergent coefficients.
The local factor admits an invariant representation through the areal-radius derivative of a dimensionless tidal measure constructed from the electric part of the Weyl tensor.
In general relativity the same local factor equals the areal-radius derivative of a weighted null-energy density profile.
The expansion in impact parameter is obtained from the closest-approach form simply by multiplying by one additional local conversion factor.

Where Pith is reading between the lines

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

The same factorization could be tested in numerical ray-tracing through specific black-hole metrics that possess degenerate photon spheres.
The invariant tidal-measure form may allow direct comparison of the leading deflection coefficient across different gravity theories without choosing coordinates.
If the universal branch constant survives in non-spherically symmetric cases, it would simplify strong-lensing calculations near marginally unstable photon orbits.
The relation to null-energy density suggests a possible link between deflection strength and local energy-condition violations near the photon sphere.

Load-bearing premise

The spacetime is asymptotically flat, static, and spherically symmetric so that the deflection angle integral can be isolated for its divergent contribution while remaining well defined at marginality.

What would settle it

Numerical integration of the exact deflection angle for a concrete metric containing a degenerate photon sphere, such as a specific hairy black hole solution, compared directly against the analytic leading coefficient predicted from the third derivative of its effective potential.

read the original abstract

We present a strong-deflection expansion for the deflection angle of light rays scattered near a degenerate photon sphere in asymptotically flat, static, and spherically symmetric spacetimes. Our prescription isolates the divergent contribution to the deflection-angle integral arising from the ray's passage near the marginal orbit in a way that remains well defined at marginality, thereby yielding a unique leading power-law term. When expressed in terms of the radius of closest approach, the leading coefficient in the strong deflection limit factorizes into a universal branch constant and a local factor determined by the third derivative of the effective potential at the degenerate photon sphere. Passing to the expansion in terms of the impact parameter then only multiplies the coefficient by an additional local conversion factor. We show that the local factor in the closest-approach expansion admits an invariant representation through the areal-radius derivative of a dimensionless tidal measure constructed from the electric part of the Weyl tensor. In general relativity, we further relate this quantity to the areal-radius derivative of a weighted null-energy density profile. Analytic examples validate this factorization and yield closed-form expressions for the leading divergent coefficients in representative marginal configurations.

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.

Desk Editor's Note private letter to a colleague

This paper gives a clean factorization for the deflection angle expansion at degenerate photon spheres.

read the letter

The main takeaway is that the authors have found a clean way to expand the deflection angle for light near a degenerate photon sphere by factoring out the leading divergent term into a universal constant and a local piece set by the third derivative of the potential. They keep everything invariant by rewriting the local factor in terms of the areal radius derivative of a tidal quantity built from the Weyl tensor. The examples they work out give explicit closed forms, which is helpful. The derivation uses standard local Taylor expansion around the marginal orbit and isolates the integral contribution that blows up. Once you have the closest-approach form, switching to impact parameter is just multiplication by another factor from the metric. The algebra checks out directly. A minor limitation is that everything is set up for static spherical symmetry and flat asymptotics. That matches the usual setup for these calculations, but it does mean the result is not immediately portable to Kerr or other spacetimes. This paper is for specialists in strong gravitational lensing who need better control over the coefficients when the photon sphere sits at the edge of stability. A reader working on black hole shadow modeling or extreme deflection events would find the explicit expressions practical. I would recommend sending it out for peer review. The math is straightforward and the result fills a specific technical hole without relying on numerics or fits.

Referee Report

0 major / 2 minor

Summary. The paper presents a strong-deflection expansion for the deflection angle of light rays scattered near a degenerate photon sphere in asymptotically flat, static, and spherically symmetric spacetimes. It isolates the divergent contribution to the deflection-angle integral in a manner that remains well-defined at marginality, yielding a unique leading power-law term. When expressed in terms of the radius of closest approach, the leading coefficient factorizes into a universal branch constant and a local factor determined by the third derivative of the effective potential at the degenerate photon sphere. The local factor admits an invariant representation via the areal-radius derivative of a dimensionless tidal measure from the electric part of the Weyl tensor; in GR this is further related to the areal-radius derivative of a weighted null-energy density. Analytic examples confirm the factorization and supply closed-form expressions for representative marginal configurations.

Significance. If the central derivation holds, the result supplies a systematic and coordinate-invariant tool for computing strong-deflection angles near degenerate photon spheres, a regime relevant to certain black-hole and exotic-compact-object spacetimes. The explicit factorization into universal and local pieces, together with the Weyl-tensor representation, should facilitate comparisons across metrics and may prove useful for analytic or semi-analytic lensing studies. The provision of closed-form coefficients in concrete examples is a concrete strength that supports immediate applicability.

minor comments (2)

The abstract sentence that describes the factorization is long and could be split into two shorter sentences for improved readability.
In the section introducing the invariant tidal measure, an explicit one-line definition of the dimensionless quantity would help readers who are not already familiar with the electric Weyl decomposition in this context.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our work and the recommendation for minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via local expansion

full rationale

The paper isolates the divergent contribution to the deflection-angle integral by performing a local Taylor expansion of the effective potential around the degenerate photon sphere (vanishing second derivative), so the leading behavior is controlled by the third derivative. The resulting factorization into a universal integral constant times a local factor follows directly from the standard change-of-variable analysis of the integral near a cubic turning point; conversion to impact-parameter form is purely algebraic. No parameters are fitted to data, no self-citations are load-bearing for the central claim, and analytic examples simply verify the closed-form expressions obtained from the expansion. The construction uses only the stated symmetries and the integral representation of the deflection angle, remaining independent of the target result.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The approach assumes the existence of a degenerate photon sphere where the effective potential has a point of inflection, allowing the local expansion around the third derivative.

axioms (1)

domain assumption The spacetime is asymptotically flat, static, and spherically symmetric.
Explicitly stated as the class of spacetimes considered.

pith-pipeline@v0.9.0 · 5497 in / 1182 out tokens · 54627 ms · 2026-05-15T14:39:39.072613+00:00 · methodology

discussion (0)

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/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

V'''c =−12[R²(r)E(r)]'c (Eq. 64); κ=−(8πRc/3)(d[R²(ρ+Π)]/dR)c (Eq. 74)

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

64 extracted references · 64 canonical work pages · 32 internal anchors

[1]

Numerically,U≈4.85730 (henceU − = √ 3U≈8.41309)

(41) Here Γ denotes the gamma function. Numerically,U≈4.85730 (henceU − = √ 3U≈8.41309). The finite term ¯dD comes from the large-ytail of the integral. Using the asymptotic behavior Fs(y)≃2y −3/2 asy→ ∞, we obtain ¯dD =− 4√κ .(42) BecauseF s(y) has the same large-yasymptotics fors=±1, ¯dD is branch-independent. Having isolated the divergent contributionI...

work page 2025
[2]

J. M. Bardeen, Timelike and null geodesics in the Kerr metric, inBlack Holes (Les Astres Occlus), edited by C. DeWitt and B. S. DeWitt (Gordon and Breach, New York, 1973), pp. 215–239

work page 1973
[3]

First M87 Event Horizon Telescope Results. I. The Shadow of the Supermassive Black Hole

K. Akiyamaet al.(Event Horizon Telescope Collaboration), Astrophys. J. Lett.875, L1 (2019) [arXiv:1906.11238 [astro-ph.GA]]

work page internal anchor Pith review Pith/arXiv arXiv 2019
[4]

First Sagittarius A* Event Horizon Telescope Results. I. The Shadow of the Supermassive Black Hole in the Center of the Milky Way

K. Akiyamaet al.(Event Horizon Telescope Collaboration), Astrophys. J. Lett.930, L12 (2022) [arXiv:2311.08680 [astro-ph.HE]]

work page internal anchor Pith review Pith/arXiv arXiv 2022
[5]

J. P. Luminet, Astron. Astrophys.75, 228 (1979)

work page 1979
[6]

Fukue and T

J. Fukue and T. Yokoyama, Publ. Astron. Soc. Jpn.40, 15 (1988)

work page 1988
[7]

Viewing the Shadow of the Black Hole at the Galactic Center

H. Falcke, F. Melia, and E. Agol, Astrophys. J. Lett.528, L13 (2000) [arXiv:astro-ph/9912263 [astro- ph]]

work page internal anchor Pith review Pith/arXiv arXiv 2000
[8]

Shapes and Positions of Black Hole Shadows in Accretion Disks and Spin Parameters of Black Holes

R. Takahashi, Astrophys. J.611, 996 (2004) [arXiv:astro-ph/0405099]

work page internal anchor Pith review Pith/arXiv arXiv 2004
[9]

Measurement of the Kerr Spin Parameter by Observation of a Compact Object's Shadow

K. Hioki and K. i. Maeda, Phys. Rev. D80, 024042 (2009) [arXiv:0904.3575 [astro-ph.HE]]

work page internal anchor Pith review Pith/arXiv arXiv 2009
[10]

Igata, H

T. Igata, H. Ishihara, and Y. Yasunishi, Phys. Rev. D100, 044058 (2019) [arXiv:1904.00271 [gr-qc]]

work page arXiv 2019
[11]

S. E. Gralla, D. E. Holz, and R. M. Wald, Phys. Rev. D100, 024018 (2019) [arXiv:1906.00873 [astro- ph.HE]]

work page internal anchor Pith review Pith/arXiv arXiv 2019
[12]

S. E. Gralla, A. Lupsasca, and D. P. Marrone, Phys. Rev. D102, 124004 (2020) [arXiv:2008.03879 [gr-qc]]

work page arXiv 2020
[13]

Darwin, Proc

C. Darwin, Proc. R. Soc. Lond. A249, 180 (1959)

work page 1959
[14]

Bozza, S

V. Bozza, S. Capozziello, G. Iovane, and G. Scarpetta, Gen. Relativ. Gravit.33, 1535 (2001) [arXiv:gr- qc/0102068 [gr-qc]]. 24

work page arXiv 2001
[15]

K. S. Virbhadra and G. F. R. Ellis, Phys. Rev. D62, 084003 (2000) [arXiv:astro-ph/9904193 [astro-ph]]

work page internal anchor Pith review Pith/arXiv arXiv 2000
[16]

Perlick, Living Rev

V. Perlick, Living Rev. Relativity7, 9 (2004)

work page 2004
[17]

Gravitational lensing in the strong field limit

V. Bozza, Phys. Rev. D66, 103001 (2002) [arXiv:gr-qc/0208075]

work page internal anchor Pith review Pith/arXiv arXiv 2002
[18]

Gravitational Lensing by Black Holes

V. Bozza, Gen. Relativ. Gravit.42, 2269 (2010) [arXiv:0911.2187 [gr-qc]]

work page internal anchor Pith review Pith/arXiv arXiv 2010
[19]

C. M. Claudel, K. S. Virbhadra, and G. F. R. Ellis, J. Math. Phys. (N.Y.)42, 818 (2001) [arXiv:gr- qc/0005050 [gr-qc]]

work page arXiv 2001
[20]

Photon Spheres and Sonic Horizons in Black Holes from Supergravity and Other Theories

M. Cvetic, G. W. Gibbons, and C. N. Pope, Phys. Rev. D94, 106005 (2016) [arXiv:1608.02202 [gr-qc]]

work page internal anchor Pith review Pith/arXiv arXiv 2016
[21]

Kudo and H

R. Kudo and H. Asada, Phys. Rev. D105, 084014 (2022) [arXiv:2201.01946 [gr-qc]]

work page arXiv 2022
[22]

On the number of light rings in curved spacetimes of ultra-compact objects

S. Hod, Phys. Lett. B776, 1 (2018) [arXiv:1710.00836 [gr-qc]]

work page internal anchor Pith review Pith/arXiv arXiv 2018
[23]

P. V. P. Cunha, E. Berti, and C. A. R. Herdeiro, Phys. Rev. Lett.119, 251102 (2017) [arXiv:1708.04211 [gr-qc]]

work page internal anchor Pith review Pith/arXiv arXiv 2017
[24]

Tsukamoto, Eur

N. Tsukamoto, Eur. Phys. J. C84, 1325 (2024) [arXiv:2401.07846 [gr-qc]]

work page arXiv 2024
[25]

Zhang and Y

J. Zhang and Y. Xie, Phys. Rev. D109, 043032 (2024)

work page 2024
[26]

Tsukamoto, Phys

N. Tsukamoto, Phys. Rev. D102, 104029 (2020) [arXiv:2008.12244 [gr-qc]]

work page arXiv 2020
[27]

Gravitational lensing inside and outside of a marginally unstable photon sphere in a general, static, spherically symmetric, and asymptotically-flat spacetime in strong deflection limits

N. Tsukamoto, arXiv:2512.01688 [gr-qc]

work page internal anchor Pith review Pith/arXiv arXiv
[28]

A Note on Geodesics in Hayward Metric

T. Chiba and M. Kimura, Prog. Theor. Exp. Phys.2017, 043E01 (2017) [arXiv:1701.04910 [gr-qc]]

work page internal anchor Pith review Pith/arXiv arXiv 2017
[29]

Wormholes as Black Hole Foils

T. Damour and S. N. Solodukhin, Phys. Rev. D76, 024016 (2007) [arXiv:0704.2667 [gr-qc]]

work page internal anchor Pith review Pith/arXiv arXiv 2007
[30]

Tsukamoto, Phys

N. Tsukamoto, Phys. Rev. D101, 104021 (2020);106, 049901(E) (2022) [arXiv:2004.00822 [gr-qc]]

work page arXiv 2020
[31]

Q. M. Fu and X. Zhang, Phys. Rev. D105, 064020 (2022) [arXiv:2111.07223 [gr-qc]]

work page arXiv 2022
[32]

Curious case of gravitational lensing by binary black holes: a tale of two photon spheres, new relativistic images and caustics

M. Patil, P. Mishra, and D. Narasimha, Phys. Rev. D95, 024026 (2017) [arXiv:1610.04863 [gr-qc]]

work page internal anchor Pith review Pith/arXiv arXiv 2017
[33]

Sasaki, Phys

T. Sasaki, Phys. Rev. D112, 024072 (2025) [arXiv:2504.00355 [gr-qc]]

work page arXiv 2025
[34]

E. F. Eiroa, G. E. Romero, and D. F. Torres, Phys. Rev. D66, 024010 (2002) [arXiv:gr-qc/0203049]

work page internal anchor Pith review Pith/arXiv arXiv 2002
[35]

Deflection angle in the strong deflection limit in a general asymptotically flat, static, spherically symmetric spacetime

N. Tsukamoto, Phys. Rev. D95, 064035 (2017) [arXiv:1612.08251 [gr-qc]]

work page internal anchor Pith review Pith/arXiv arXiv 2017
[36]

Igata, Phys

T. Igata, Phys. Rev. D113, 044042 (2026) [arXiv:2503.02320 [gr-qc]]

work page arXiv 2026
[37]

I. Z. Stefanov, S. S. Yazadjiev, and G. G. Gyulchev, Phys. Rev. Lett.104, 251103 (2010) [arXiv:1003.1609 [gr-qc]]

work page internal anchor Pith review Pith/arXiv arXiv 2010
[38]

Strong gravitational lensing and black hole quasinormal modes: Towards a semiclassical unified description

B. Raffaelli, Gen. Relativ. Gravit.48, 16 (2016) [arXiv:1412.7333 [gr-qc]]

work page internal anchor Pith review Pith/arXiv arXiv 2016
[39]

Igata and Y

T. Igata and Y. Takamori, arXiv:2603.09946 [gr-qc]

work page arXiv
[40]

Igata, Phys

T. Igata, Phys. Rev. D113, 024036 (2026) [arXiv:2504.07906 [gr-qc]]

work page arXiv 2026
[41]

Igata, arXiv:2505.01848 [gr-qc]

T. Igata, arXiv:2505.01848 [gr-qc]

work page arXiv
[42]

R. M. Wald,General Relativity(University of Chicago Press, Chicago, 1984)

work page 1984
[43]

C. W. Misner and D. H. Sharp, Phys. Rev.136, B571 (1964)

work page 1964
[44]

S. A. Hayward, Phys. Rev. D53, 1938 (1996) [arXiv:gr-qc/9408002]

work page internal anchor Pith review Pith/arXiv arXiv 1938
[45]

Kinoshita, Phys

S. Kinoshita, Phys. Rev. D110, 044056 (2024) [arXiv:2402.16484]

work page arXiv 2024
[46]

Analytical approach to strong gravitational lensing from ultracompact objects

R. Shaikh, P. Banerjee, S. Paul, and T. Sarkar, Phys. Rev. D99, 104040 (2019) [arXiv:1903.08211 [gr-qc]]

work page internal anchor Pith review Pith/arXiv arXiv 2019
[47]

Tsukamoto, Phys

N. Tsukamoto, Phys. Rev. D104, 124016 (2021) [arXiv:2107.07146 [gr-qc]]. 25

work page arXiv 2021
[48]

S. A. Hayward, Phys. Rev. Lett.96, 031103 (2006) [arXiv:gr-qc/0506126 [gr-qc]]

work page internal anchor Pith review Pith/arXiv arXiv 2006
[49]

J. M. Bardeen, inProceedings of the 5th International Conference on Gravitation and the Theory of Relativity (GR5), Tbilisi (1968), p. 174

work page 1968
[50]

The Bardeen Model as a Nonlinear Magnetic Monopole

E. Ayon-Beato and A. Garcia, Phys. Lett. B493, 149 (2000) [arXiv:gr-qc/0009077 [gr-qc]]

work page internal anchor Pith review Pith/arXiv arXiv 2000
[51]

E. F. Eiroa and C. M. Sendra, Classical Quantum Gravity28, 085008 (2011) [arXiv:1011.2455 [gr-qc]]

work page internal anchor Pith review Pith/arXiv arXiv 2011
[52]

J. P. S. Lemos and O. B. Zaslavskii, Phys. Rev. D78, 024040 (2008) [arXiv:0806.0845 [gr-qc]]

work page internal anchor Pith review Pith/arXiv arXiv 2008
[53]

Quasinormal modes of black holes and black branes

E. Berti, V. Cardoso, and A. O. Starinets, Classical Quantum Gravity26, 163001 (2009) [arXiv:0905.2975 [gr-qc]]

work page internal anchor Pith review Pith/arXiv arXiv 2009
[54]

R. A. Konoplya and A. Zhidenko, Rev. Mod. Phys.83, 793 (2011) [arXiv:1102.4014 [gr-qc]]

work page internal anchor Pith review Pith/arXiv arXiv 2011
[55]

Ferrari and B

V. Ferrari and B. Mashhoon, Phys. Rev. D30, 295 (1984)

work page 1984
[56]

Geodesic stability, Lyapunov exponents and quasinormal modes

V. Cardoso, A. S. Miranda, E. Berti, H. Witek, and V. T. Zanchin, Phys. Rev. D79, 064016 (2009) [arXiv:0812.1806 [hep-th]]

work page internal anchor Pith review Pith/arXiv arXiv 2009
[57]

H. Yang, F. Zhang, A. Zimmerman, D. A. Nichols, E. Berti, and Y. Chen, Phys. Rev. D87, 041502 (2013) [arXiv:1212.3271 [gr-qc]]

work page internal anchor Pith review Pith/arXiv arXiv 2013
[58]

H. Yang, D. A. Nichols, F. Zhang, A. Zimmerman, Z. Zhang, and Y. Chen, Phys. Rev. D86, 104006 (2012) [arXiv:1207.4253 [gr-qc]]

work page internal anchor Pith review Pith/arXiv arXiv 2012
[59]

Iyer and C

S. Iyer and C. M. Will, Phys. Rev. D35, 3621 (1987)

work page 1987
[60]

Hatsuda and M

Y. Hatsuda and M. Kimura, Universe7, 476 (2021) [arXiv:2111.15197 [gr-qc]]

work page arXiv 2021
[61]

R. A. Konoplya and Z. Stuchl´ ık, Phys. Lett. B771, 597 (2017) [arXiv:1705.05928 [gr-qc]]

work page internal anchor Pith review Pith/arXiv arXiv 2017
[62]

G. Guo, P. Wang, H. Wu, and H. Yang, J. High Energy Phys.06, 060 (2022) [arXiv:2112.14133 [gr-qc]]

work page arXiv 2022
[63]

G. Guo, P. Wang, H. Wu, and H. Yang, J. High Energy Phys.10, 076 (2023) [arXiv:2307.12210 [gr-qc]]

work page arXiv 2023
[64]

Teo, Gen

E. Teo, Gen. Relativ. Gravit.35, 1909 (2003)

work page 1909