{"id":"b14ebec3-80dd-4906-8f1f-33dbf089279f","arxiv_id":"2508.21331","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The momentum difference between output wavepackets of a light-pulse atom interferometer equals the integrated sectional curvature over the enclosed spacetime surface, up to small gravitational redshift corrections.","lead":"This paper shows that a measurable atom interferometer signal, the phase shear, is directly equal to the integrated curvature of spacetime over the surface enclosed by the interferometer paths. The result gives a coordinate-free computational tool for designing and interpreting atom interferometry tests of gravity.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The generalized Gauss-Bonnet theorem with null boundary segments is the load-bearing step; Appendix A's limiting proof and its induction to multiple null segments leave the needed regularity conditions unproven.","rationale":"The reader identified the same load-bearing concern: the generalized Gauss-Bonnet theorem with null boundaries is not fully established, and the proof sketch leaves regularity conditions open. This is indeed the most load-bearing issue because Eq. (2) is derived directly from Eq. (3); if the theorem fails for the null-boundary loops arising in atom interferometry, the leading-order identification of phase shear with integrated sectional curvature breaks. The internal sign inconsistency noted by the reader is a real defect in the redshift-correction derivation (Eqs. (14) and (16) give opposite signs for the curvature-dependent frequency shift), but it affects only the O(v K A) correction terms and not the leading term, so it is secondary to the Gauss-Bonnet question. The proposed numerical test in a nontrivial curved spacetime would directly settle whether Eq. (3) holds for the relevant boundary geometry, including the multi-null-segment case that the induction is meant to cover. Since the reader's verdict is already CONDITIONAL and this stress-test does not identify a reason to move away from that assessment, the verdict remains unchanged.","tokens_in":9579,"tokens_out":25196,"duration_ms":251534,"concrete_test":"Numerically compute both sides of Eq. (3) for a closed AI-like loop in Schwarzschild spacetime: two radial timelike geodesic arms connected by two null geodesic segments representing the initial and final beamsplitters. Use parallel transport to compute the null-segment angles and rapidity angles at the timelike corners, and compare the sum of angles with -integral_M K dA. Repeat the computation with the two null segments replaced in different orders, as in the Appendix A induction, and with one null segment subdivided by an infinitesimal timelike buffer, to test whether the limit is independent of the approximation. If Eq. (3) fails at numerical precision, the central claim collapses; if it holds in these nontrivial cases, the proof sketch is adequate for the intended applications.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central result Eq. (2) follows from Eq. (10), which is Eq. (3) applied to a boundary loop that includes the FBS null geodesic and, in two-photon configurations, additional null segments. The generalized Gauss-Bonnet theorem is therefore the load-bearing step. Appendix A proves Eq. (3) for a single null segment by replacing it with a non-null geodesic Gamma_epsilon inside a geodesically convex neighborhood, then asserts that multiple null segments follow by induction. The proof does not specify the global hypotheses under which Law's formula applies to the modified curve: causality or global hyperbolicity, a geodesically convex neighborhood for every null segment, absence of conjugate points on the null segments, and orientability of the Lorentzian surface. The induction also does not check that replacing one null segment preserves the hypotheses needed for the remaining null segments, or that the limiting wedge areas vanish when several null segments are present. If Eq. (3) requires conditions that the AI bounding surface need not satisfy, such as a long FBS null geodesic not contained in a single convex neighborhood or the two-null-segment loop described in Appendix A's second remark, then the identification theta_plus_minus = -integral_M K dA fails and Eq. (2) is unproven. This is the most load-bearing concern because it affects the leading term, not just the small correction terms.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":9848,"tokens_out":17010,"duration_ms":161190,"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":[{"comment":"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.","section":"Eqs. (14)–(17), redshift-correction derivation"},{"comment":"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.","section":"Appendix A, Eq. (3) and its application to Eq. (2)"}],"minor_comments":[{"comment":"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.","section":"Just before Eq. (3)"},{"comment":"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.","section":"Fig. 2 and surrounding text"},{"comment":"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.","section":"Eq. (20)"},{"comment":"There is a typo: 'beampslitter' should be 'beamsplitter.'","section":"Appendix A, first paragraph"},{"comment":"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.","section":"Eq. (5) and the O(·) notation"},{"comment":"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.","section":"First section, phase-curvature remark"}],"recommendation":"major_revision","confidential_remarks":"This is a conceptually interesting paper that fits the journal well. The leading-order result is plausible and the flat-space comparison is not circular, but the two issues identified above must be fixed: the sign error in the redshift-correction derivation and the incomplete statement/proof of the null-boundary Gauss-Bonnet theorem. Both appear fixable within the manuscript's scope, so I recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague—\n\nThe one thing to know: the paper gives a genuinely new identity, that atom-interferometer phase shear equals the integrated sectional curvature over the surface enclosed by the arms and final beamsplitter, modulo small redshift corrections. If correct, this turns a nuisance effect into a direct probe of spacetime curvature, and it does so in a coordinate-free way that existing treatments of gravity-gradient shear (Roura, Overstreet et al.) don't provide. The leading term is almost certainly right; the weak spots are the rigor of the null-segment Gauss-Bonnet extension and an apparent sign slip in the redshift correction.\n\nWhat's good: the geometric formulation is clean, the application to single-photon and multi-photon AIs is broad, and the paper grounds the claim in concrete numbers—Earth's gradient gives a 1.5 mm shear wavelength, a tungsten test mass gives ~11000 eotvos, and the MAGIS-100 scale gives ~3.2 mm differential wavelength. It also correctly notes gravitational waves are far below observability. The derivation of the leading term via Eq. (10) is straightforward once you accept the generalized GB theorem.\n\nSoft spots, in order:\n\n1. The sign inconsistency between Eq. (14) and Eq. (16) is real. If ϕ1 = ϕ'_1 - ∫K dA, then the photon momentum in the atom frame should scale as e^{+∫K} ν, not e^{-∫K} ν. The sign error flips the correction terms in Eq. (19). It doesn't touch the leading term—those corrections are down by v/c—but it means Eq. (19) as written shouldn't be used for precision estimates until fixed.\n\n2. The correction terms in Eq. (19) are never checked against a concrete example. A quick test in the Schwarzschild or static Newtonian limit would have caught the sign slip and given confidence in the expansion. Its absence is a real weakness.\n\n3. The null-boundary GB theorem is load-bearing for the leading term, and Appendix A is a sketch. The limiting argument for one null segment in a convex neighborhood is plausible, but the induction to multiple null segments—which the two-photon AI needs—is asserted without the needed hypotheses (global hyperbolicity, absence of conjugate points, orientability). I don't think the theorem fails, but the paper overclaims rigor. A referee should ask for a precise statement or a citation where null boundaries are proven.\n\nBottom line: the central result is novel, important, and probably correct. The paper deserves a serious referee. I'd send it out; the fixes are localized (sign, a test example, and a careful theorem statement), and the upside is a lasting geometric tool.\n\nRead it. You'll get use out of it.","headline":"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.","tokens_in":10325,"tokens_out":3501,"would_cite":true,"duration_ms":32569,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"An atom interferometer's phase shear directly measures integrated spacetime curvature.","keywords":["atom interferometry","phase shear","sectional curvature","Gauss-Bonnet theorem","Lorentzian geometry","general relativity","gravitational redshift","atom optics"],"falsifier":"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.","tokens_in":9386,"feed_emoji":"⚛️","tokens_out":8368,"duration_ms":68849,"temperature":0.7,"pith_summary":"This paper claims that the phase shear of an atom interferometer—the momentum mismatch between the two output wavepackets after the final beamsplitter—is a direct, coordinate-free measure of spacetime curvature. The central result, Eq. (2), states that when the pulse sequence would close the momentum gap in flat space, in curved spacetime the momentum difference equals $-mc\\int_M K\\,dA$ plus corrections smaller by $\\bar v/c$, where $K$ is the sectional curvature (the intrinsic curvature of the two-dimensional surface $M$) and $M$ is the spacetime surface bounded by the interferometer arms and the final beamsplitter. If true, this gives experimenters a new observable that bypasses the ambiguous decomposition of interferometer phase into propagation, laser, and separation terms. The paper works out observable consequences for gravity gradients, Schwarzschild spacetime, long-baseline gradiometers, and gravitational waves.","feed_headline":"Atom interferometer phase shear measures spacetime curvature","feed_subtitle":"A generalized Gauss-Bonnet theorem turns shear angle into a coordinate-free gravity probe.","key_machinery":"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$.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the covariant semiclassical formalism in which the interferometer phase and shear angle are defined.","marker":"[13]"},{"why":"Provide the Lorentzian Gauss-Bonnet results that the paper generalizes to boundaries containing null geodesic segments.","marker":"[27-30]"},{"why":"Its Gauss-Bonnet formula, with real part taken, becomes the paper's Eq. (3); the extension to one null segment is built by approximating it by non-null geodesics.","marker":"[30]"},{"why":"Reported experimental measurement of phase shear due to a gravity gradient, the effect the paper reinterprets geometrically.","marker":"[24]"},{"why":"Introduces the detuned-mirror configuration that cancels phase shear and lets curvature be read as a frequency offset.","marker":"[25]"},{"why":"Provides the single-photon gradiometer configuration to which the phase-shear result applies.","marker":"[5]"},{"why":"Describes multi-loop and resonant atom interferometers with crossing arms, where the orientation of enclosed spacetime area must be tracked.","marker":"[32]"},{"why":"Observes the gravitational Aharonov-Bohm effect with a test mass, the source whose sectional curvature phase shear could also probe.","marker":"[33]"}],"fun_headline_variants":["Atom phase shear becomes a direct curvature measurement","Generalized Gauss-Bonnet connects shear to spacetime curvature","New observable: atom interferometer phase shear probes gravity","Phase shear offers coordinate-free route to spacetime geometry"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Atom phase shear becomes a direct curvature measurement","Generalized Gauss-Bonnet connects shear to spacetime curvature","New observable: atom interferometer phase shear probes gravity","Phase shear offers coordinate-free route to spacetime geometry"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000213,"raw_usage":{"total_tokens":1385,"prompt_tokens":874,"completion_tokens":511,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":490,"completion_tokens_details":{"reasoning_tokens":450}},"tokens_in":490,"tokens_out":511,"duration_ms":4944,"temperature":1.0,"reasoning_tokens":450,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T16:40:55.220531+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"Dimopoulos, P","cited_arxiv_id":null,"evidence_quote":"Supplies the covariant semiclassical formalism in which the interferometer phase and shear angle are defined."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Its Gauss-Bonnet formula, with real part taken, becomes the paper's Eq. (3); the extension to one null segment is built by approximating it by non-null geodesics."},{"cited_title":"Overstreet, P","cited_arxiv_id":null,"evidence_quote":"Reported experimental measurement of phase shear due to a gravity gradient, the effect the paper reinterprets geometrically."},{"cited_title":"Roura, Circumventing Heisenberg’s uncertainty prin- ciple in atom interferometry tests of the equivalence prin- ciple, Physical review letters 118, 160401 (2017)","cited_arxiv_id":null,"evidence_quote":"Introduces the detuned-mirror configuration that cancels phase shear and lets curvature be read as a frequency offset."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the single-photon gradiometer configuration to which the phase-shear result applies."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Describes multi-loop and resonant atom interferometers with crossing arms, where the orientation of enclosed spacetime area must be tracked."},{"cited_title":"Overstreet, P","cited_arxiv_id":null,"evidence_quote":"Observes the gravitational Aharonov-Bohm effect with a test mass, the source whose sectional curvature phase shear could also probe."}],"review_version":1}