REVIEW 2 major objections 6 minor 1 cited by
Atom Interferometer Phase Shear and Spacetime Sectional Curvature
T0 review · 2 major / 6 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read An atom interferometer's phase shear directly measures integrated spacetime curvature.
desk verdict Phase shear is identified with integrated sectional curvature—a new and plausible leading result, but the redshift corrections and the null-boundary Gauss-Bonnet proof both need tightening. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
Eq. (3), the generalized Gauss-Bonnet theorem: for a piecewise smooth boundary $\gamma$ of a $1+1$-dimensional Lorentzian surface $M$, $\int_M K\,dA + \oint_\gamma k_g\,ds + \sum_j \alpha_j = 0$. Angles are boost rapidities between future-directed unit vectors, and a null boundary segment contributes one angle defined by parallel-transporting the adjacent tangent vectors to a common point. In the interferometer the boundary is the lower arm, the final beamsplitter null geodesic, and the upper arm traversed backwards; because every segment is geodesic, the geodesic-curvature term vanishes and the boundary angles must exactly balance the enclosed sectional curvature. That balance is what identifies the measured shear angle with $\int_M K\,dA$.
What would settle it
Find a Lorentzian surface with a piecewise smooth boundary containing null geodesic segments (for instance one with conjugate points or lacking global hyperbolicity) on which Eq. (3) fails, or measure the phase-shear wavelength in a strong, well-characterized static field such as near a dense spherical test mass, where $K=-2G_N\rho$, and check it against $-mc\int_M K\,dA$; a discrepancy larger than the stated corrections would rule out the central claim.
Extended reading notes
Core claim
Stated as the authors would state it: for a collimated atom interferometer whose flat-space output ports close in momentum space, applying the same laser pulse sequence in curved spacetime makes each output port develop a shear angle $\theta_\pm$ whose associated momentum difference is $\Delta p_\pm = -m\int_M K\,dA - m\sum_{j\ne f}\alpha'_j\int_{N_j}K\,dA + m\beta'_\pm\int_{N_\pm}K\,dA + O(\bar K^3\bar A^3+\bar v^2\bar K\bar A+\bar v\bar K^2\bar A^2)$. The leading term is the integrated sectional curvature over the surface bounded by the arms and the final beamsplitter; the correction terms arise from gravitational redshift of the atom-optics pulses and are suppressed by powers of the recoil velocity. The discovery is that a generalized Gauss-Bonnet theorem converts the holonomy of the interferometer loop into a curvature integral, so that phase shear is a geometric observable rather than a parasitic phase effect.
Load-bearing premise
The derivation assumes the generalized Gauss-Bonnet theorem, Eq. (3), holds for Lorentzian surfaces whose boundary includes null geodesic segments, a result proved in the Appendix only by a limiting argument and prior results without fully specifying the regularity conditions (for example, absence of conjugate points or global hyperbolicity) needed for arbitrary spacetimes, so if that theorem fails in the required generality the identification of phase shear with integrated sectional curvature collapses.
Editorial extensions
If this is right
- Phase shear becomes a coordinate-free, representation-free observable for spacetime geometry, independent of how the total interferometer phase is split into propagation, laser, and separation terms.
- In weak static fields the formula reproduces the known result that phase shear measures gravity gradients; for the Schwarzschild field at Earth's surface it predicts a shear wavelength of roughly $1.5\,\mathrm{mm}/(A/c \text{ in } \mathrm{m\,s})$ for $^{87}\mathrm{Sr}$, which is observable with few-millimetre atom clouds.
- In the detuned-mirror variant where shear is nulled, the curvature is read out as a frequency shift $\Delta\nu\simeq m\Delta\alpha_{\pi-}$, giving a direct curvature measurement for equivalence-principle tests, and splitting the detuning across $N$ pulses recovers contrast.
- Long-baseline gradiometers such as a 1-km vertical baseline at Earth's surface would see a differential shear wavelength of about $3.2$ mm between the two interferometers.
- Gravitational waves and realistic laser frequency noise are predicted to produce negligible phase shear, so the effect is a clean curvature probe rather than a noise source.
Reading between the lines
- Because the integrated curvature is independent of surface deformation, the same shear measurement could be used to map local curvature by varying the enclosed spacetime area, effectively turning the interferometer into a differential curvature sensor rather than an average.
- The same Gauss-Bonnet holonomy argument suggests that other closed loops in atom-optics spacetime, beyond the standard Mach-Zehnder arms, could yield curvature integrals, possibly unifying multi-loop and resonant interferometers under one geometric identity.
- A direct test of Eq. (2) could be made in a well-characterized strong-field configuration near a dense test mass, where the sectional curvature is $-2G_N\rho$, by checking that the measured shear wavelength tracks the predicted curvature rather than the integrated phase.
- The gravitational-redshift correction terms, while small, may become relevant in high-precision equivalence-principle tests and could be isolated experimentally by comparing single-photon and two-photon atom optics, since the redshift bookkeeping differs between the two.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that the phase shear of a light-pulse atom interferometer—the momentum difference between the two output wavepackets—is given, to leading order, by the integrated sectional curvature of the spacetime surface bounded by the interferometer arms and the final beamsplitter. The derivation uses a generalized Gauss-Bonnet theorem for Lorentzian surfaces with null boundary segments, and identifies the small corrections with gravitational redshift of the atom-optics pulses. Applications to Newtonian gravity, Schwarzschild, test masses, and long-baseline gradiometers are given, together with estimates of the shear wavelength and a discussion of noise and observability. The paper also sketches a variant in which the central mirror pulse is detuned so that spacetime curvature is measured by the frequency offset rather than by phase shear.
Significance. If the main result holds, this is an important conceptual advance: it gives a direct, coordinate-free relation between a measurable atom-interferometer observable and spacetime curvature, with no fitted parameters and no dependence on a particular representation of the interferometer phase. The flat-space comparison is a reference definition rather than a fitted constant, and the argument is not circular. The paper makes explicit, falsifiable predictions (for example, a shear wavelength of about 1.5 mm for Earth's surface curvature with A/c of order 1 m s) and identifies a practically relevant effect for future long-baseline detectors. However, the proof of the generalized Gauss-Bonnet theorem is presented only as a sketch with unspecified technical hypotheses, and there is a sign error in the redshift-correction derivation. These issues currently prevent the claims from being accepted as stated.
major comments (2)
- [Eqs. (14)–(17), redshift-correction derivation] There is a sign inconsistency between Eq. (14) and Eq. (16). Equation (14) gives φ1 = φ'_1 − ∫_{N1} K dA, hence e^{−φ1} = e^{−φ'_1} e^{+∫_{N1} K dA}; Eq. (16) instead contains the factor e^{−∫_{N1} K dA}, which is the opposite sign. With the printed convention, a photon propagating out of a gravitational potential well would appear blueshifted in the atom frame, contrary to the standard gravitational redshift. Consequently the sign of Δα1 in Eq. (17), and therefore of every correction term in Eq. (19), is not trustworthy as written. Since this is the only explicitly worked step of the induction leading to Eq. (19), the correction terms should be rederived and validated on a concrete static metric such as Φ = −GM/r before publication.
- [Appendix A, Eq. (3) and its application to Eq. (2)] The generalized Gauss-Bonnet theorem is the load-bearing ingredient for the leading term of Eq. (2). The proof in Appendix A is a limiting argument for a single null segment assumed to lie in a geodesically convex neighborhood, and the extension to multiple null segments is asserted by induction. The argument does not state the global hypotheses under which Law's Gauss-Bonnet formula applies to the modified curve, such as global hyperbolicity, orientability, absence of conjugate points on the null segments, and existence of a convex neighborhood for every null segment. It also does not verify that replacing one null segment preserves the hypotheses needed for the remaining null segments. This matters because the final-beamsplitter null segment in a long-baseline interferometer need not lie in a single convex neighborhood, and the second remark in Appendix A explicitly introduces a boundary with two null segments plus a spacelike connector without proving the induction in that case. Please state precise hypotheses for Eq. (3) and either provide a complete proof or restrict the main claim to spacetimes and regions satisfying those hypotheses; otherwise Eq. (2) is not established.
minor comments (6)
- [Just before Eq. (3)] Please enumerate the 'appropriate technical hypotheses' for Eq. (3) in the main text at first use, rather than only referring to Appendix A; the current sentence is too vague for a theorem that is central to the paper.
- [Fig. 2 and surrounding text] The caption of Fig. 2 does not define β−, β+, or the hatched wavy lines used for two-photon transitions. Please define all symbols in the caption or introduce them before the figure.
- [Eq. (20)] Equation (20) uses a surface M′ without definition. Please specify whether M′ is the same as M in Eq. (2), the surface for the mirror pulse, or some other region.
- [Appendix A, first paragraph] There is a typo: 'beampslitter' should be 'beamsplitter.'
- [Eq. (5) and the O(·) notation] The O(x) notation, defined as 'terms of typical magnitude x or smaller,' is informal. Consider replacing it with a standard asymptotic statement in dimensionless small parameters, such as powers of v/c and |K|A, so that the error terms can be checked.
- [First section, phase-curvature remark] The sentence distinguishing phase shear from the wave-packet phase-curvature effect of Ref. [26] is brief; a one-sentence explanation of why phase curvature is neglected beyond 'collimated' would help.
Circularity Check
No significant circularity: the central derivation applies an external Gauss-Bonnet theorem to a loop constructed from interferometer trajectories, with no fitted parameters or load-bearing self-citation.
full rationale
The paper's central claim, Eq. (2), follows from applying the generalized Gauss-Bonnet formula, Eq. (3), to the boundary loop formed by the interferometer arms and the final beamsplitter null geodesic. The Gauss-Bonnet theorem is imported from prior mathematical work [27-30], with the null-segment extension proven in Appendix A by a limiting argument; neither the theorem nor the extension is defined in terms of the phase-shear result it is used to derive. The flat-space comparison enters only as a reference definition (vanishing shear in flat space), not as a fitted constant, and the correction terms in Eqs. (17)-(19) are computed from the same geometric theorem rather than tuned to reproduce a target. There is no fitted input later renamed a prediction, and no central premise rests solely on the present authors' prior work: citations such as [13], [24], and [25] provide context, known gravity-gradient results, or measurement configurations, but the geometric identification of phase shear with integrated sectional curvature is not equivalent to any of those inputs. Concerns about the generality of the generalized Gauss-Bonnet theorem for null boundary segments, or about regularity conditions in Appendix A, are correctness risks about an external mathematical ingredient, not circularity. The derivation is therefore self-contained with respect to its inputs, and no specific reduction of the claimed result to its own assumptions can be exhibited.
Assumptions & free parameters
assumptions (5)
- ad hoc to paper Generalized Gauss-Bonnet theorem with null boundary segments (Eq. 3).
- domain assumption AI arms follow geodesics and atom optics pulses propagate along null geodesics.
- domain assumption A 1+1 dimensional Lorentzian surface M bounded by the arms and FBS exists with integrable sectional curvature.
- domain assumption The laser trajectory has identical geodesic curvature in curved and flat space, and the initial angle φ0 is identical.
- domain assumption Wavepackets are collimated with negligible phase curvature.
Cite this review
Pith. "Pith review of Atom Interferometer Phase Shear and Spacetime Sectional Curvature." pith.science (2026). https://pith.science/paper/M34UG4AQ
@misc{pith2026250821331,
author = {Pith},
title = {Pith review of: Atom Interferometer Phase Shear and Spacetime Sectional Curvature},
year = {2026},
howpublished = {\url{https://pith.science/paper/M34UG4AQ}},
note = {Machine review of arXiv:2508.21331}
}
read the original abstract
Atom interferometry is a natural laboratory for precision tests of general relativity, but there is no simple relationship between atom interferometer phase and geometric properties of spacetime. Here we show that a different atom interferometer observable, the phase shear, can be expressed directly as the integrated sectional curvature over a spacetime surface enclosed by the interferometer arms and final beamsplitter. This is a consequence of a generalized Gauss-Bonnet theorem, which also explicitly computes small correction terms arising from gravitational redshift of atom optics pulses. This synthesis of quantum mechanics, relativity, and differential geometry affords a manifestly coordinate-free and representation-free means of measuring spacetime properties. Additionally, it provides a convenient computational tool for predicting atom interferometer properties in arbitrary background spacetimes.
Figures
Forward citations
Cited by 1 Pith paper
-
Exact Semiclassical Phase Shifts for Relativistic Atom Interferometers in Flat Spacetime
Within the semiclassical short-pulse approximation, exact flat-spacetime phase shifts are obtained for Mach-Zehnder, resonant, and LMT clock and two-photon atom interferometers, including the closed form ω_a(1+ω_a/2m)...
Reference graph
Works this paper leans on
-
[1]
M. Kasevich and S. Chu, Measurement of the gravita- tional acceleration of an atom with a light-pulse atom interferometer, Applied Physics B 54, 321 (1992)
work page 1992
-
[2]
Peters, K
A. Peters, K. Y. Chung, and S. Chu, High-precision grav- ity measurements using atom interferometry, Metrologia 38, 25 (2001)
2001
-
[3]
J. Stockton, K. Takase, and M. Kasevich, Absolute geodetic rotation measurement using atom interferom- etry, Phys. Rev. Lett. 107, 133001 (2011)
work page 2011
-
[4]
S. Dimopoulos, P. W. Graham, J. M. Hogan, M. A. Kasevich, and S. Rajendran, Gravitational wave detec- tion with atom interferometry, Physics Letters B 678, 37 (2009)
work page 2009
-
[5]
P. W. Graham, J. M. Hogan, M. A. Kasevich, and S. Ra- jendran, New method for gravitational wave detection with atomic sensors, Phys. Rev. Lett.110, 171102 (2013)
work page 2013
-
[6]
S. Dimopoulos, P. W. Graham, J. M. Hogan, M. A. Ka- sevich, and S. Rajendran, Atomic gravitational wave in- terferometric sensor, Phys. Rev. D 78, 122002 (2008)
work page 2008
-
[7]
M. Abe, P. Adamson, M. Borcean, D. Bortoletto, K. Bridges, S. P. Carman, S. Chattopadhyay, J. Cole- man, N. M. Curfman, K. DeRose, et al. , Matter-wave atomic gradiometer interferometric sensor (MAGIS-100), Quantum Science and Technology 6, 044003 (2021)
work page 2021
-
[8]
Bonnin, N
A. Bonnin, N. Zahzam, Y. Bidel, and A. Bresson, Simul- taneous dual-species matter-wave accelerometer, Phys. Rev. A 88, 043615 (2013)
2013
Show all 33 references
-
[9]
Schlippert, J
D. Schlippert, J. Hartwig, H. Albers, L. L. Richardson, C. Schubert, A. Roura, W. P. Schleich, W. Ertmer, and E. M. Rasel, Quantum test of the universality of free fall, Phys. Rev. Lett. 112, 203002 (2014)
2014
-
[10]
M. G. Tarallo, T. Mazzoni, N. Poli, D. V. Sutyrin, X. Zhang, and G. M. Tino, Test of einstein equivalence principle for 0-spin and half-integer-spin atoms: Search for spin-gravity coupling effects, Phys. Rev. Lett. 113, 023005 (2014)
2014
-
[11]
L. Zhou, S. Long, B. Tang, X. Chen, F. Gao, W. Peng, W. Duan, J. Zhong, Z. Xiong, J. Wang, Y. Zhang, and M. Zhan, Test of equivalence principle at 10−8 level by a dual-species double-diffraction raman atom interferome- ter, Phys. Rev. Lett. 115, 013004 (2015)
2015
-
[12]
Asenbaum, C
P. Asenbaum, C. Overstreet, M. Kim, J. Curti, and M. A. Kasevich, Atom-interferometric test of the equivalence principle at the 10−12 level, Phys. Rev. Lett. 125, 191101 (2020)
2020
-
[13]
Dimopoulos, P
S. Dimopoulos, P. W. Graham, J. M. Hogan, and M. A. Kasevich, General relativistic effects in atom interferom- etry, Phys. Rev. D 78, 042003 (2008)
2008
-
[14]
Badurina, Y
L. Badurina, Y. Du, V. S. Lee, Y. Wang, and K. M. Zurek, Signatures of linearized gravity in atom interfer- ometers: A simplified computational framework, Physi- cal Review D 111, 042002 (2025)
2025
-
[15]
Werner, P
M. Werner, P. K. Schwartz, J.-N. Kirsten-Siemß, N. Gaaloul, D. Giulini, and K. Hammerer, Atom interfer- ometers in weakly curved spacetimes using Bragg diffrac- tion and Bloch oscillations, Phys. Rev. D 109, 022008 (2024)
2024
-
[16]
Roura, Atom interferometer as a freely falling clock for time-dilation measurements, Quantum Science and Technology 10, 025004 (2025)
A. Roura, Atom interferometer as a freely falling clock for time-dilation measurements, Quantum Science and Technology 10, 025004 (2025)
2025
-
[17]
Roura, Gravitational redshift in quantum-clock inter- ferometry, Phys
A. Roura, Gravitational redshift in quantum-clock inter- ferometry, Phys. Rev. X 10, 021014 (2020)
2020
-
[18]
Roura, W
A. Roura, W. Zeller, and W. P. Schleich, Overcoming loss of contrast in atom interferometry due to gravity gradients, New Journal of Physics 16, 123012 (2014)
2014
-
[19]
Ufrecht and E
C. Ufrecht and E. Giese, Perturbative operator approach to high-precision light-pulse atom interferometry, Physi- cal Review A 101, 053615 (2020)
2020
-
[20]
Storey and C
P. Storey and C. Cohen-Tannoudji, The Feynman path integral approach to atomic interferometry. a tutorial, Journal de Physique II 4, 1999 (1994)
1994
-
[21]
Antoine and C
C. Antoine and C. J. Bord´ e, Exact phase shifts for atom interferometry, Physics Letters A 306, 277 (2003)
2003
-
[22]
Dubetsky, S
B. Dubetsky, S. B. Libby, and P. Berman, Atom interfer- ometry in the presence of an external test mass, Atoms 4, 14 (2016)
2016
-
[23]
Overstreet, P
C. Overstreet, P. Asenbaum, and M. A. Kasevich, Phys- ically significant phase shifts in matter-wave interferom- etry, American Journal of Physics 89, 324 (2021)
2021
-
[24]
Overstreet, P
C. Overstreet, P. Asenbaum, T. Kovachy, R. Notermans, J. M. Hogan, and M. A. Kasevich, Effective inertial frame in an atom interferometric test of the equivalence princi- ple, Physical review letters 120, 183604 (2018)
2018
-
[25]
Roura, Circumventing Heisenberg’s uncertainty prin- ciple in atom interferometry tests of the equivalence prin- ciple, Physical review letters 118, 160401 (2017)
A. Roura, Circumventing Heisenberg’s uncertainty prin- ciple in atom interferometry tests of the equivalence prin- ciple, Physical review letters 118, 160401 (2017). 6
2017
-
[26]
Sugarbaker, S
A. Sugarbaker, S. M. Dickerson, J. M. Hogan, D. M. Johnson, and M. A. Kasevich, Enhanced atom interfer- ometer readout through the application of phase shear, Physical review letters 111, 113002 (2013)
2013
-
[27]
Helzer, A relativistic version of the Gauss-Bonnet for- mula, Journal of Differential Geometry 9, 507 (1974)
G. Helzer, A relativistic version of the Gauss-Bonnet for- mula, Journal of Differential Geometry 9, 507 (1974)
1974
-
[28]
G. S. Birman and K. Nomizu, The Gauss-Bonnet theo- rem for 2-dimensional spacetimes, The Michigan mathe- matical journal 31, 77 (1984)
1984
-
[29]
Dzan Jin Jee, Gauss-Bonnet formula for general Lorentzian surfaces, Geometriae Dedicata15, 215 (1984)
1984
-
[30]
P. R. Law, Neutral geometry and the Gauss-Bonnet the- orem for two-dimensional pseudo-Riemannian manifolds, The Rocky Mountain Journal of Mathematics 22, 1365 (1992)
1992
-
[31]
N. J. Hicks, Notes on differential geometry (van Nostrand Princeton, 1965)
1965
-
[32]
P. W. Graham, J. M. Hogan, M. A. Kasevich, and S. Ra- jendran, Resonant mode for gravitational wave detectors based on atom interferometry, Physical Review D 94, 104022 (2016)
2016
-
[33]
Overstreet, P
C. Overstreet, P. Asenbaum, J. Curti, M. Kim, and M. A. Kasevich, Observation of a gravitational Aharonov-Bohm effect, Science 375, 226 (2022). APPENDIX A Our definition of Lorentzian angles between non-null vectors is equivalent to that of of Helzer [27] or the real part only...
2022
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.