pith. machine review for the scientific record. sign in

arxiv: 2604.06791 · v1 · submitted 2026-04-08 · 🌀 gr-qc

Recognition: 2 theorem links

· Lean Theorem

Gravitational Lensing as an Optical Framework for Modified Gravity Theories

Authors on Pith no claims yet

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

classification 🌀 gr-qc
keywords gravitational lensingmodified gravityeffective refractive indexlight deflectionMONDf(R) gravityEinstein radiusray tracing
0
0 comments X

The pith

Gravitational lensing in modified gravity can be recast as light propagation through a medium whose refractive index derives from the metric, giving closed-form deflection angles for MOND, Yukawa and f(R) models.

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

The paper derives a general expression for the deflection angle of light in any static spherically symmetric gravitational field by mapping the problem onto ordinary optical ray tracing in a radially varying refractive index. After establishing the baseline in standard general relativity, the same mapping is applied to three families of modified gravity by substituting their effective potentials into the refractive-index formula. This substitution produces explicit analytical formulas for both the total deflection angle and the Einstein-ring radius in each case. Numerical integration of light rays through the same potentials reproduces the analytical results, confirming internal consistency. The approach therefore lets researchers compute lensing signatures in non-standard gravity using only undergraduate optics and calculus.

Core claim

Identifying an effective refractive index from the metric components converts the null-geodesic deflection problem into an optical one; assuming the same index relation continues to hold when the metric is replaced by the effective potential of a modified gravity theory yields closed-form expressions for the deflection angle and Einstein radius in deep-MOND, Yukawa-type, and power-law f(R) models, all validated by ray-tracing simulations.

What carries the argument

The effective refractive index n(r) constructed from the metric (or effective potential), which converts gravitational light deflection into standard optical ray tracing governed by the variational principle for a graded-index medium.

If this is right

  • Closed-form deflection angles and Einstein radii become available for deep-MOND, Yukawa and f(R) lensing without solving the geodesic equation.
  • The optical mapping supplies a direct route to compare predicted ring sizes against existing or future lensing observations for each model.
  • Any other modified gravity theory whose weak-field limit can be written as an effective potential can be inserted into the same refractive-index formula.
  • Students can reproduce and extend the calculations with only calculus, Snell's law and simple numerical integration.

Where Pith is reading between the lines

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

  • If the optical analogy extends to non-spherical or strong-field regimes, it could simplify numerical lensing studies in a wider class of gravity theories.
  • The same refractive-index construction might be tested against precision solar-system or galactic lensing data to constrain the allowed forms of the effective potential.
  • Rewriting lensing observables in terms of an equivalent refractive profile could make the differences between modified-gravity predictions more transparent for observers.

Load-bearing premise

The assumption that the relation between the metric and an effective refractive index that works in general relativity remains valid when the metric is replaced by an effective potential taken from a modified gravity theory.

What would settle it

Numerical integration of the null geodesics for any one of the three modified metrics produces a deflection angle that differs from the angle obtained by applying the optical formula to the same effective potential.

Figures

Figures reproduced from arXiv: 2604.06791 by Romy Hanang Setya Budhi.

Figure 1
Figure 1. Figure 1: FIG. 1. Geometry of the thin-lens approximation in gravitational lensing. The observer detects the [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. Deflection angle as a function of impact parameter for various gravity models. The [PITH_FULL_IMAGE:figures/full_fig_p013_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. Ray tracing simulations showing gravitational lensing trajectories for different gravity [PITH_FULL_IMAGE:figures/full_fig_p014_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4. Einstein ring geometry and image formation for each model. The panels show the Einstein [PITH_FULL_IMAGE:figures/full_fig_p015_4.png] view at source ↗
read the original abstract

We present a framework that reformulates gravitational lensing as an optical phenomenon governed by an effective refractive index, enabling exploration of modified gravity theories using undergraduate-level mathematics and optics. After deriving the general deflection angle for arbitrary spherically symmetric fields, we establish the observational baseline using standard general relativity, including the lens equation and Einstein ring properties. Assuming the optical relation holds for modified effective potentials, we apply the formalism to deep-MOND, Yukawa-type, and power-law ($f(R)$) models, providing closed-form analytical expressions for the deflection angle and Einstein radius. Numerical ray-tracing simulations validate these analytical results. This framework serves as a conceptual bridge to contemporary research, offering students computational experience and critical awareness of gravitational lensing foundations.

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 proposes reformulating gravitational lensing as an optical problem using an effective refractive index derived from the weak-field metric. It derives a general deflection angle for spherically symmetric fields, establishes the GR baseline including the lens equation and Einstein ring, and then applies the same optical relation to modified effective potentials in deep-MOND, Yukawa-type, and power-law f(R) models to obtain closed-form expressions for deflection angles and Einstein radii. Numerical ray-tracing simulations are used to validate the analytical results. The work is framed as a pedagogical bridge to modified gravity using undergraduate-level tools.

Significance. If the central extension is valid, the framework provides an accessible entry point for exploring lensing in modified gravity via familiar optics, with the closed-form expressions and ray-tracing validation offering concrete computational value for teaching and quick estimates. The explicit statement of the assumption in the abstract is a positive transparency feature. However, the significance is constrained because the results remain formal without independent justification from the modified theories' metrics or actions.

major comments (2)
  1. [Application to modified gravity models] In the section applying the formalism to modified gravity models (following the GR baseline): the closed-form deflection angles and Einstein radii for deep-MOND, Yukawa, and f(R) rest on the direct substitution of modified effective potentials into the GR-derived refractive index n(r) obtained from g_{00}≈1+2Φ and g_{ij}≈1-2Φ. No re-derivation of null geodesics or the optical relation from each theory's action or metric is provided, despite the fact that extra degrees of freedom (e.g., scalar in f(R)) or the non-relativistic nature of deep-MOND can alter light propagation beyond a simple potential replacement. This assumption is load-bearing for the central claim of physically applicable expressions.
  2. [Numerical ray-tracing simulations] In the numerical validation section: the ray-tracing simulations employ the identical n(r) constructed under the same assumption, confirming internal consistency of the analytics but not providing an external test against the light deflection predicted by the full modified-gravity field equations or against existing literature benchmarks for these models.
minor comments (2)
  1. [Conclusions] The abstract and introduction clearly flag the assumption, but the conclusions should expand on the conditions under which the optical mapping remains valid or the regimes where it may break down for each model.
  2. [Modified gravity applications] Explicit equations defining the effective potentials for deep-MOND, Yukawa, and f(R) cases would improve traceability when substituting into the deflection formula.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the constructive and detailed report. The comments help clarify the scope of our pedagogical framework, and we address each major point below with proposed revisions to improve transparency without altering the core approach.

read point-by-point responses
  1. Referee: [Application to modified gravity models] In the section applying the formalism to modified gravity models (following the GR baseline): the closed-form deflection angles and Einstein radii for deep-MOND, Yukawa, and f(R) rest on the direct substitution of modified effective potentials into the GR-derived refractive index n(r) obtained from g_{00}≈1+2Φ and g_{ij}≈1-2Φ. No re-derivation of null geodesics or the optical relation from each theory's action or metric is provided, despite the fact that extra degrees of freedom (e.g., scalar in f(R)) or the non-relativistic nature of deep-MOND can alter light propagation beyond a simple potential replacement. This assumption is load-bearing for the central claim of physically applicable expressions.

    Authors: We agree that the closed-form results for the modified models rely on the assumption that the GR-derived optical relation n(r) can be applied via direct substitution of the modified effective potential Φ. This assumption is stated explicitly in the abstract and main text. The manuscript is framed as a pedagogical tool that recasts lensing in familiar optical terms for undergraduate-level exploration, rather than a first-principles derivation from the full actions or metrics of each theory. For the Yukawa model the weak-field metric is directly analogous to GR with a screened potential, making the substitution more direct. For deep-MOND (non-relativistic) and f(R) (with scalar degree of freedom) we acknowledge that additional effects on null geodesics could arise. We will revise the manuscript to expand the discussion of this assumption, its domain of applicability, and its limitations, and we will add brief references to existing literature on light deflection in these models for context. revision: partial

  2. Referee: [Numerical ray-tracing simulations] In the numerical validation section: the ray-tracing simulations employ the identical n(r) constructed under the same assumption, confirming internal consistency of the analytics but not providing an external test against the light deflection predicted by the full modified-gravity field equations or against existing literature benchmarks for these models.

    Authors: The ray-tracing simulations are intended solely to confirm internal consistency: that the analytical deflection angles and Einstein radii match numerical integration of the ray equation under the same effective n(r). This validates the derivations within the adopted optical framework. We accept that the simulations do not constitute an external validation against the complete field equations of the modified theories or against literature benchmarks. Performing such full numerical tests lies outside the pedagogical scope of the paper. We will revise the relevant section to state this purpose explicitly and to note that direct comparisons with full modified-gravity light-deflection calculations remain an avenue for future work. revision: partial

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper explicitly derives the general deflection angle for arbitrary spherically symmetric fields and the GR baseline (lens equation, Einstein ring) using standard methods before stating the assumption that the optical refractive-index relation holds for modified effective potentials. It then applies the same formalism to deep-MOND, Yukawa, and f(R) models to obtain closed-form expressions. This extension is presented as an assumption rather than a first-principles derivation from the modified theories' metrics or actions, with no reduction of outputs to inputs by construction, no self-citations, and no self-definitional loops. The numerical ray-tracing validation employs the assumed relation but does not create circularity because the paper does not claim the expressions are independently derived from the target modified-gravity frameworks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The framework rests on one central domain assumption that allows the optical mapping to be used outside GR; no new free parameters or invented entities are introduced beyond those already present in the target modified-gravity models.

axioms (1)
  • domain assumption The optical relation between the metric and an effective refractive index continues to hold when the gravitational potential is replaced by a modified-gravity effective potential.
    Explicitly invoked when the authors state they assume the optical relation holds for modified effective potentials and then derive expressions for MOND, Yukawa, and f(R) models.

pith-pipeline@v0.9.0 · 5416 in / 1331 out tokens · 141066 ms · 2026-05-10T18:09:51.904729+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.

Reference graph

Works this paper leans on

43 extracted references · 36 canonical work pages · 1 internal anchor

  1. [1]

    and the MOG/STVG theory [30]. Our phenomenological treatment, which yields αMOND = 2π √GM a0/c2, should be understood as an illustrative calculation demonstrat- ing the characteristic constant-deflection behavior, noting that detailed predictions require the full relativistic framework. In the deep-MOND regime (accelerationa≪a 0, wherea 0 ≈1.2×10 −10 m/s2...

  2. [2]

    poses a more severe challenge in that the separation between the X-ray gas and the gravitational lensing signal requires a significant mass component that does not interact collisionally, which in MOND frameworks necessitates additional fields (e.g., neutrinos) and remains a subject of active debate. For the Yukawa-type potential, solar system VLBI measur...

  3. [3]

    Annalen der Physik , year = 1916, volume = 354, pages =

    A. Einstein, “Die Grundlage der allgemeinen Relativit¨ atstheorie,” Ann. Phys.49, 769 (1916). DOI: 10.1002/andp.19163540702

  4. [4]

    C. W. Misner, K. S. Thorne, and J. A. Wheeler,Gravitation(W. H. Freeman, San Francisco, 1973)

  5. [5]

    Observational Evidence from Supernovae for an Accelerating Universe and a Cosmological Constant

    A. G. Riess et al., “Observational Evidence from Supernovae for an Accelerating Universe and a Cosmological Constant,” Astron. J.116, 1009 (1998). DOI: 10.1086/300499

  6. [6]

    Measurements of Omega and Lambda from 42 High-Redshift Supernovae

    S. Perlmutter et al., “Measurements of Ω and Λ from 42 High-Redshift Supernovae,” Astro- phys. J.517, 565 (1999). DOI: 10.1086/307221

  7. [7]

    , keywords =

    V. C. Rubin, W. K. Ford, Jr., and N. Thonnard, “Rotational properties of 21 SC galaxies with a large range of luminosities and radii, from NGC 4605 (R = 4 kpc) to UGC 2885 (R = 122 kpc),” Astrophys. J.238, 471 (1980). DOI: 10.1086/158003

  8. [8]

    Capozziello, M

    S. Capozziello and M. De Laurentis, “Extended Theories of Gravity,” Phys. Rep.509, 167 (2011). DOI: 10.1016/j.physrep.2011.09.003

  9. [9]

    , keywords =

    T. Clifton, P. G. Ferreira, A. Padilla, and C. Skordis, “Modified Gravity and Cosmology,” Phys. Rep.513, 1 (2012). DOI: 10.1016/j.physrep.2012.01.001

  10. [10]

    The total eclipse of 1919 May 29 and the influence of gravitation on light,

    A. S. Eddington, “The total eclipse of 1919 May 29 and the influence of gravitation on light,” The Observatory42, 119 (1919). https://adsabs.harvard.edu/full/1919Obs....42..119E

  11. [11]

    Dyson, A.S

    F. W. Dyson, A. S. Eddington, and C. Davidson, “A Determination of the Deflection of Light by the Sun’s Gravitational Field, from Observations Made at the Total Eclipse of May 29, 1919,” Phil. Trans. R. Soc. A220, 291 (1920). DOI: 10.1098/rsta.1920.0009

  12. [12]

    , keywords =

    D. Clowe, M. Bradaˇ c, A. H. Gonzalez, M. Markevitch, S. W. Randall, C. Jones, and D. Zaritsky, “A Direct Empirical Proof of the Existence of Dark Matter,” Astrophys. J.648, L109 (2006). DOI: 10.1086/508162

  13. [13]

    H0LiCOW–I.H 0 Lenses in COSMOGRAIL’s Wellspring: program overview,

    S. H. Suyu et al., “H0LiCOW–I.H 0 Lenses in COSMOGRAIL’s Wellspring: program overview,” Mon. Not. R. Astron. Soc.468, 2590 (2017). DOI: 10.1093/mnras/stx483

  14. [14]

    , keywords =

    S. Mao and B. Paczy´ nski, “Gravitational Microlensing by Double Stars and Planetary Sys- tems,” Astrophys. J.374, L37 (1991). DOI: 10.1086/186066

  15. [15]

    Binney and S

    J. Binney and S. Tremaine,Galactic Dynamics, 2nd ed. (Princeton University Press, Prince- ton, 2008)

  16. [16]

    Schneider, J

    P. Schneider, J. Ehlers, and E. E. Falco,Gravitational Lenses(Springer, Berlin, 1992). DOI: 10.1007/978-3-662-03758-4

  17. [17]

    On the optical-mechanical analogy in general relativity,

    K. K. Nandi and A. Islam, “On the optical-mechanical analogy in general relativity,” Am. J. Phys.63, 258 (1995). DOI: 10.1119/1.17934

  18. [18]

    Lectures on Gravitational Lensing

    R. Narayan and M. Bartelmann, “Lectures on Gravitational Lensing,”, arXiv:astro- ph/9606001, DOI: 10.48550/arXiv.astro-ph/9606001

  19. [19]

    Weak Lensing Probes of Modified Gravity,

    F. Schmidt, “Weak Lensing Probes of Modified Gravity,” Phys. Rev. D78, 043002 (2008). DOI: 10.1103/PhysRevD.78.043002

  20. [20]

    Testing chameleon gravity with the Coma cluster,

    A. Terukina, L. Lombriser, K. Yamamoto, D. Bacon, K. Koyama, and R. C. Nichol, “Testing chameleon gravity with the Coma cluster,” J. Cosmol. Astropart. Phys.04, 030 (2011). DOI: 19 10.1088/1475-7516/2014/04/013

  21. [21]

    Introducing Alternative Theories of Gravity through Analysis of Perihelion Precession,

    R. H. S. Budhi, A. Hermanto, A. B. S. Utomo, and E. T. Sulistyani, “Introducing Alternative Theories of Gravity through Analysis of Perihelion Precession,”Eur. J. Phys.(2025). DOI: 10.1088/1361-6404/ae55df

  22. [22]

    ¨Uber die Ablenkung eines Lichtstrahls von seiner geradlinigen Bewegung durch die Attraktion eines Weltk¨ orpers, an welchem er nahe vorbeigeht,

    J. Soldner, “ ¨Uber die Ablenkung eines Lichtstrahls von seiner geradlinigen Bewegung durch die Attraktion eines Weltk¨ orpers, an welchem er nahe vorbeigeht,” Ann. Phys.370, 593 (1921). DOI: 10.1002/andp.19213701503

  23. [23]

    ¨Uber den Einfluß der Schwerkraft auf die Ausbreitung des Lichtes,

    A. Einstein, “ ¨Uber den Einfluß der Schwerkraft auf die Ausbreitung des Lichtes,” Ann. Phys. 340, 898 (1911). DOI: 10.1002/andp.19113401005

  24. [24]

    Born and E

    M. Born and E. Wolf,Principles of Optics: Electromagnetic Theory of Propagation, Interfer- ence and Diffraction of Light, 7th (expanded) ed. (Cambridge University Press, Cambridge, 1999)

  25. [25]

    Gravitational lensing from a spacetime perspective,

    V. Perlick, “Gravitational lensing from a spacetime perspective,” Living Rev. Relativ.7, 9 (2004). DOI: 10.12942/lrr-2004-9

  26. [26]

    Weinberg,Gravitation and Cosmology: Principles and Applications of the General Theory of Relativity(John Wiley & Sons, New York, 1972)

    S. Weinberg,Gravitation and Cosmology: Principles and Applications of the General Theory of Relativity(John Wiley & Sons, New York, 1972)

  27. [27]

    The Confrontation between General Relativity and Experiment

    C. M. Will, “The Confrontation between General Relativity and Experiment,” Living Rev. Relativ.17, 4 (2014). DOI: 10.12942/lrr-2014-4

  28. [28]

    1983, title A modification of the Newtonian dynamics as a possible alternative to the hidden mass hypothesis

    M. Milgrom, “A modification of the Newtonian dynamics as a possible alternative to the hidden mass hypothesis,” Astrophys. J.270, 365 (1983). DOI: 10.1086/161130

  29. [29]

    Relativistic gravitation theory for the modified Newtonian dynamics paradigm,

    J. D. Bekenstein, “Relativistic gravitation theory for the modified Newtonian dynamics paradigm,” Phys. Rev. D70, 083509 (2004). DOI: 10.1103/PhysRevD.70.083509

  30. [30]

    The vector field for the gravitational lensing in TeVeS,

    H. S. Zhao, “The vector field for the gravitational lensing in TeVeS,” arXiv:astro-ph/0611774 (2006). DOI: 10.48550/arXiv.astro-ph.0611777

  31. [31]

    Prabhu, Axion production in pulsar magneto- sphere gaps, Physical Review D104, 10.1103/phys- revd.104.055038 (2021)

    M. Milgrom, “Bimetric MOND gravity,” Phys. Rev. D80, 123536 (2009). DOI: 10.1103/Phys- RevD.80.123536

  32. [32]

    , keywords =

    J. W. Moffat, “Scalar-tensor-vector gravity theory,” J. Cosmol. Astropart. Phys.03, 004 (2006). DOI: 10.1088/1475-7516/2006/03/004

  33. [33]

    Theoretical Aspects of Massive Gravity,

    K. Hinterbichler, “Theoretical Aspects of Massive Gravity,” Rev. Mod. Phys.84, 671 (2012). DOI: 10.1103/RevModPhys.84.671

  34. [34]

    Tests of the Gravitational Inverse-Square Law,

    E. G. Adelberger, B. R. Heckel, and A. E. Nelson, “Tests of the Gravitational Inverse-Square Law,” Ann. Rev. Nucl. Part. Sci.53, 77 (2003). DOI: 10.1146/annurev.nucl.53.041002.110503

  35. [35]

    Solar System Constraints on the Yukawa Potential inf(R) Gravity,

    R. H. S. Budhi, “Solar System Constraints on the Yukawa Potential inf(R) Gravity,” Indones. J. Appl. Phys.15, 280 (2025). DOI: 10.13057/ijap.v15i2.99471

  36. [36]

    f(R) theories of gravity,

    T. P. Sotiriou and V. Faraoni, “f(R) theories of gravity,” Rev. Mod. Phys.82, 451 (2010). DOI: 10.1103/RevModPhys.82.451

  37. [37]

    Living Reviews in Relativity , keywords =

    A. De Felice and S. Tsujikawa, “f(R) theories,” Living Rev. Relativ.13, 3 (2010). DOI: 10.12942/lrr-2010-3

  38. [38]

    Inflation in anR 2-correctedf(R) gravity model,

    R. H. S. Budhi and D. N. I. Syamputra, “Inflation in anR 2-correctedf(R) gravity model,” Rev. Mex. Fis.71, 009 (2025). DOI: 10.31349/RevMexFis.71.020702

  39. [39]

    Chameleon cosmology,

    J. Khoury and A. Weltman, “Chameleon cosmology,” Phys. Rev. D69, 044026 (2004). DOI: 10.1103/PhysRevD.69.044026

  40. [40]

    Constraints on dark matter mass in anF(R) grav- ity model with an additionalR 2 correction term,

    R. H. S. Budhi and D. A. Allaudza’i, “Constraints on dark matter mass in anF(R) grav- ity model with an additionalR 2 correction term,” Phys. Scripta100, 015304 (2025). DOI: 10.1088/1402-4896/ad95c6

  41. [41]

    Preventing curvature singulari- 20 ties inf(R) dark energy models,

    R. H. S. Budhi, N. Shobcha, and N. S. Risdianto, “Preventing curvature singulari- 20 ties inf(R) dark energy models,” Int. J. Mod. Phys. A40, 2550154 (2025). DOI: 10.1142/S0217751X25501544

  42. [42]

    Gravitational Lensing Simulations for Modified Gravity Theories,

    R. H. S. Budhi, “Gravitational Lensing Simulations for Modified Gravity Theories,” Zenodo (2026). DOI: 10.5281/zenodo.19434875

  43. [43]

    The Sloan Lens ACS Survey. I. A Large Spectroscopically Selected Sample of Massive Early-Type Lens Galaxies,

    A. S. Bolton, S. Burles, L. V. E. Koopmans, T. Treu, and L. A. Moustakas, “The Sloan Lens ACS Survey. I. A Large Spectroscopically Selected Sample of Massive Early-Type Lens Galaxies,” Astrophys. J.638, 703 (2006). DOI: 10.1086/498884