{"id":"5c5e7213-db18-43a3-950e-abd4bb1a36f6","arxiv_id":"2412.12273","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Gravitational memory in TT gauge is encoded in large residual diffeomorphisms that equal BMS transformations, and their Ward identities yield soft graviton theorems and flat-space consistency relations.","lead":"The paper shows that gravitational memory, the permanent change in detector strain after a gravitational wave passes, can be described by large coordinate transformations in the transverse-traceless gauge used around detectors. It proves these transformations are equivalent to BMS asymptotic symmetries and uses them to derive soft theorems and equal-time consistency relations linking detector physics to cosmology.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"In-in consistency relations require the physical mode condition, which is assumed but not proven for general flat-space memory configurations; the free-field N=2 planar-GW check does not close this gap.","rationale":"The reader's weakest_assumption identifies the same load-bearing concern that I would stress-test: the equal-time in-in consistency relations rely on the physical mode condition, which is not proven for general flat-space memory configurations. This is the least secure point in the central claim because the paper itself flags it as a necessary condition and provides only a free-field, planar-GW, N=2 explicit check. That check is real supporting evidence, but it does not test the condition in interacting or non-planar settings. I considered the alternative concern that the subleading amplitude soft theorem (Eq. (86)) has not been reduced to the standard single-pole form, but the double-pole structure there is a known feature of Ward-identity derivations and likely cancels after using the leading theorem; the amplitude algebra is lengthy but not demonstrably wrong. The physical mode condition, by contrast, is an explicit assumption with a known counterexample in cosmology (ultra-slow-roll), so it is the most honest and concrete point on which to condition acceptance. Since the paper discloses the assumption and the reader's CONDITIONAL verdict already reflects it, my analysis does not move the verdict.","tokens_in":38570,"tokens_out":25768,"duration_ms":230438,"concrete_test":"Evaluate the squeezed in-in three-point function ⟨h_{ij}(q) φ(k1) φ(k2) φ(k3)⟩' at first order in a λφ^3 interaction and at first order in the memory amplitude, for a planar long-wavelength GW, using the linearized propagator of Eq. (111) and the deformed coordinates of Eq. (96). Compare it with the right-hand side of (92) applied to the equal-time three-point operator. If the two disagree at O(λ), the physical mode condition fails for interacting flat-space memory; if they agree, the in-in consistency relations extend beyond the free N=2 check. A less costly variant: verify directly that the zero-momentum graviton mode function in Minkowski vacuum has the same time dependence (constant plus linear in u) as the residual-diff mode, by computing the in-in two-point function ⟨h(q) O(t)⟩ with O at a finite time and checking that the ratio used in (A.10) is time-independent.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Sections 5 and Appendix A derive equal-time in-in consistency relations from the residual TT-gauge diffeomorphisms. The step from the unequal-time identity (A.9) to the equal-time form (A.10) uses the 'physical mode condition' of Ref. [75]: the time dependence of the soft mode h(q) in the limit q→0 must match the time dependence of the long mode ¯h generated by the residual diffeomorphism, which is constant and linear in u (Eq. (27)). The paper explicitly states below Eq. (92) that this condition is not guaranteed, citing ultra-slow-roll inflation as a counterexample, and does not prove it for general flat-space memory configurations. This is load-bearing because the advertised flat-space analogs of inflationary consistency relations, e.g. Eqs. (92), (94), and (98), are exactly equal-time identities; if the physical mode condition fails, those identities miss contributions and the central claim that the residual-diff Ward identities reproduce the in-in soft theorems is not established in general. The explicit N=2 planar-GW check in Sec. 5 tests only the free scalar propagator, where the soft graviton mode function is trivially constant/linear; it does not test interacting correlators or non-planar memory backgrounds, so it cannot settle the condition.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper develops a local, detector-frame description of gravitational memory and its associated soft theorems. The authors identify the large residual diffeomorphisms preserving TT gauge around a static detector — an anisotropic volume-preserving spatial rescaling (n = 1) together with a quadratic piece and a compensating time translation (n = 2), Eqs. (28)–(31) — and show that these generate the constant and linear-in-u terms of the local GW strain given in Eqs. (26)–(27). They further show that a BMS transformation expanded around the detector is precisely equivalent to these residual diffeomorphisms plus compensating diffeomorphisms that restore TT gauge (Secs. 3.1–3.3). From the Ward-Takahashi identities of the residual diffeomorphisms, the linearized Einstein equations, and a deformed LSZ reduction, they derive the leading (Eq. (76)) and tree-level subleading (Eq. (86)) soft graviton theorems for scattering amplitudes, obtaining Weinberg's soft factor without polology. For equal-time in-in correlators, they derive consistency relations (Eqs. (92), (94), (98)) as flat-space analogs of inflationary consistency relations, and verify them for a massive scalar on a planar GW background using the propagator of Ref. [38] (Sec. 5). A simplified photon round-trip computation (Sec. 6) confirms the action of the residual diffeomorphism on detector observables, and Appendix A reviews the path-integral derivation of the in-in identities.","tokens_in":38805,"tokens_out":33847,"duration_ms":299945,"significance":"If the reservations below are addressed, this is a valuable bridge between three perspectives on gravitational memory: the asymptotic BMS framework, the local TT gauge used by GW detectors, and the cosmological consistency-relation technology. The strongest parts are the explicit BMS-to-TT dictionary with all compensating diffeomorphisms spelled out; the amplitude Ward-identity derivation that avoids polology; and the unusually honest treatment of limitations, including tree-level validity of the subleading theorem, the absence of loop corrections (logarithmic soft theorems and tails of memory), and the physical mode condition. The N=2 check is genuinely nontrivial: the scalar propagator on the planar GW background is computed independently, not fitted, and it validates both the leading and subleading in-in identities. The main reservation is that the equal-time in-in results are conditional on the physical mode condition, which the paper neither proves for general flat-space memory configurations nor subjects to a check capable of testing it.","major_comments":[{"comment":"The equal-time in-in consistency relations — Eqs. (92), (94), and (98), advertised as the flat-space analogs of inflationary consistency relations — follow from the unequal-time identity (A.9) only after it is promoted to the equal-time form (A.10) using the physical mode condition of Ref. [75]. The paper itself states below Eq. (92) that this condition is not guaranteed to hold, citing ultra-slow-roll inflation, where a symmetry exists but the equal-time relation fails; footnote 14 concedes a further failure mode for the subleading, boost-type part. Because these identities are one of the paper's three advertised results, this gap is load-bearing. The explicit N=2 planar-GW check does not close it: in the soft limit (Eq. (112)) the wave reduces by construction to the constant-plus-linear profile of Eq. (27), so the physical mode condition holds identically and the check tests only the algebraic content of the identities, on a free-field propagator. The authors should either prove the condition for a relevant class of flat-space memory configurations (for example, displacement memory, where the late-time strain is constant and the soft limit of a plane wave is A + Bu at leading order), exhibit a flat-space configuration where the condition fails, or clearly present the in-in identities as conditional results.","section":"Sec. 5 and Appendix A"},{"comment":"The abstract and Conclusions present the in-in relations as unconditional derivations ('the associated Ward identities and associated soft theorems, for both scattering amplitudes and equal-time (in-in) correlation functions'; 'we then derived the corresponding soft theorems, both for scattering amplitudes and for equal-time correlation functions'). The conditionality identified above is documented only in the body (below Eq. (92), in footnote 14, and in Appendix A). Since the equal-time identities are the advertised flat-space analog of inflationary consistency relations, the abstract and Conclusions should state explicitly that these results hold when the physical mode condition is satisfied, and should point the reader to the discussion of when it can fail.","section":"Abstract and Conclusions"}],"minor_comments":[{"comment":"The opening paragraph contains a duplicated phrase: 'the residual diffeomorphisms in TT gauge given in given in Eq. (31)' should read 'given in Eq. (31)'.","section":"Sec. 4.1"},{"comment":"The abstract contains a redundant 'associated': 'the associated Ward identities and associated soft theorems' should be edited.","section":"Abstract"},{"comment":"The text near Eq. (35) says 'Helmhotz-Hodge decomposition'; this should be 'Helmholtz-Hodge decomposition'.","section":"Sec. 3.1"},{"comment":"The heading '6 freely falling detectors' is inconsistently formatted; it should be capitalized like the other section headings.","section":"Sec. 6"},{"comment":"In the N=2 check, h+ and h× are first treated as fixed plane-wave amplitudes (Eqs. (100)–(113)) and then as stochastic variables with two-point functions ⟨h+h+⟩ and ⟨h×h×⟩ in Eq. (114); the transition deserves an explicit clarifying sentence.","section":"Sec. 5"},{"comment":"The operator D_q of the general consistency relation (87), defined abstractly in Eq. (A.7), is never displayed explicitly for the tensor case; a short explicit statement, analogous to the scalar example following Eq. (89), would help the reader connect Eq. (87) to Eqs. (94) and (99).","section":"Sec. 5, Eq. (87)"},{"comment":"The sentence stating that the expression in Eq. (81) 'vanishes up to O(q), thanks to momentum conservation or using the property of the transformation matrix of being traceless' does not specify which terms each condition kills; a brief assignment would make the cancellation checkable.","section":"Sec. 4.3, Eq. (81)"},{"comment":"The statement 'This paper is a more detailed companion to a short paper [77]' would benefit from one or two sentences describing the division of labor between the two papers, so that readers of the companion letter know what is new here.","section":"Sec. 1"}],"recommendation":"major_revision","confidential_remarks":"The present manuscript is a much-expanded version of the companion letter 2412.01910 by the same authors, and the editor should confirm that the journal's policy on companion papers is satisfied; the overlap is acknowledged in the text but is substantial. The use of the path-integral method of Ref. [75], co-authored by one of the present authors, is methodologically sound rather than circular: the method is used as published, and the resulting in-in identities are checked against an independently constructed propagator on the planar GW background. The citation pattern is not excessive. The manuscript is long, but the length is justified by the multipole algebra and the explicit checks."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know two things about this paper. First, it is a serious, mostly self-contained derivation of soft theorems and in-in consistency relations from large residual diffeomorphisms in TT gauge, worked out in multipolar detail. Second, its main caveat is explicitly flagged in the text: the equal-time consistency relations rely on a physical mode condition that is assumed, not proven, for general flat-space memory configurations. The authors are not hiding this.\n\nWhat is actually new: the explicit proof that the TT residual diffs are BMS transformations plus compensating diffs to restore gauge (Sec. 3) is a real service to the field. The Ward identity derivation for amplitudes reproduces Weinberg's soft factor without invoking polology, and the paper is careful to state that the subleading theorem is tree-level. The in-in consistency relations are checked against an independently computed scalar propagator on a planar GW background, and the photon round-trip check in Sec. 6 gives a clean physical confirmation of the coordinate picture.\n\nThe soft spots are in proportion. The stress-test concern lands, but the paper already acknowledges it in the discussion below Eq. (92) and in Appendix A: the physical mode condition is not proven for general memory modes, and the planar-GW check uses a free scalar propagator, where the soft mode function is trivially constant or linear. That check therefore does not close the gap for interacting correlators or non-planar backgrounds. Still, this is an honest limitation, not a hidden one. The amplitude derivation also drops an O(q) term with a citation; that is acceptable at tree level and consistent with the stated scope. The discussion of loop corrections for the subleading theorem is fair and reasonably detailed.\n\nThe central claim—that memory is encoded in large residual TT diffs equivalent to BMS plus compensating diffs—holds up for the cases actually treated. The in-in consistency relations are conditional, and the paper says so. It does not oversell.\n\nThis paper is for people working on GW memory, soft theorems, and consistency-relation methods. It deserves a serious referee: the logic is transparent, the limitations are stated, and the checks are real. I would send it out with comments asking for a sharper statement of the regime of validity of the equal-time identities and, ideally, a check beyond the free scalar propagator. My own verdict is positive with reservations, not rejection.","headline":"Solid bridge between TT-gauge memory diffs and BMS, with honest caveats; the equal-time in-in relations rest on an assumed physical mode condition that the checks do not close.","tokens_in":39326,"tokens_out":1627,"would_cite":true,"duration_ms":17146,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C35","83C40"],"pacs":["04.20.-q","04.30.-w"],"model":"deepseek-v4-flash","headline":"Gravitational memory in a detector's TT gauge is exactly BMS symmetry plus gauge-restoring diffs, and the Ward identities of these diffs yield the leading and subleading soft graviton theorems and flat-space inflationary consistency…","keywords":["gravitational memory","Bondi-Metzner-Sachs symmetry","soft graviton theorem","transverse-traceless gauge","residual diffeomorphisms","Ward identities","in-in consistency relations","planar gravitational waves"],"falsifier":"Evaluate the squeezed three-point function $\\langle h \\varphi \\varphi \\rangle$ for a scalar on a planar gravitational-wave background at next order in the gravitational-wave amplitude using the exact propagator cited in the paper; if the projected ratio on the left of the consistency relation deviates from the derivative of the two-point function, the equal-time identity is only approximate, not an exact Ward identity. A complementary test is to find any asymptotically flat source whose soft-limit strain grows nonlinearly in retarded time—the flat-space analogue of ultra-slow-roll—which would break the assumed time-dependence matching behind the leading and subleading in-in relations.","tokens_in":1958,"feed_emoji":"🛰️","tokens_out":5458,"duration_ms":108642,"temperature":0.7,"pith_summary":"Gravitational memory is usually described through the BMS symmetries of null infinity, but gravitational-wave detectors operate in local, transverse-traceless coordinates. This paper shows that in those local coordinates memory is carried by large residual diffeomorphisms—time-dependent anisotropic spatial rescalings and their gradient partners—and proves these are precisely BMS transformations together with compensating diffs that restore TT gauge. From the Ward identities of these diffs the paper derives the leading and subleading soft graviton theorems for scattering amplitudes and equal-time in-in correlators, and checks the correlator identities explicitly for planar gravitational waves. If the paper is right, memory, soft theorems, and cosmological consistency relations are the same symmetry statement, expressible in any frame.","feed_headline":"Memory in local detector coordinates is BMS symmetry in disguise","feed_subtitle":"These diffs give soft graviton theorems and flat-space consistency relations, linking memory to BMS.","key_machinery":"The load-bearing object is the residual diffeomorphism $\\xi^\\mu = M^\\mu_{\\mu_1} x^{\\mu_1} + M^\\mu_{\\mu_1\\mu_2} x^{\\mu_1} x^{\\mu_2}$ with $\\partial_\\mu \\xi^\\mu = 0$ and $\\Box \\xi^\\mu = 0$. The linear piece encodes constant memory as an anisotropic spatial rescaling; the quadratic piece encodes the linear-gradient memory mode. To restore TT gauge one adds compensating diffs—time-dependent translations, spatial rescalings, homogeneous accelerations, and time-dependent rotations. The Ward identity is built from the current $Q^\\mu = \\xi_\\alpha T^{\\alpha\\mu}$, and the Einstein equations plus LSZ reduction turn it into consistency relations for amplitudes and correlators; the physical-mode condition converts unequal-time in-in identities into equal-time ones.","core_discovery":"The paper's central claim is that gravitational memory admits a complete local description: in TT gauge, the constant memory shift is a large residual diffeomorphism corresponding to an anisotropic, volume-preserving spatial rescaling, and the linear-in-time piece is a quadratic residual diffeomorphism; together with the compensating diffs needed to keep the gauge TT, these are exactly the BMS transformations of null infinity translated into detector coordinates. The paper then derives Ward-Takahashi identities for these residual diffs and shows they reproduce the leading soft graviton theorem, with the $1/(k\\cdot q)$ factor emerging without diagrammatic polology, and the tree-level subleading soft theorem. For equal-time in-in correlators, the same identities become flat-space consistency relations, the direct analogue of inflationary consistency relations, verified at linear order in the gravitational-wave amplitude using the exact scalar propagator on a planar wave background.","pith_inferences":["If the equivalence is taken at face value, local interferometer observables become direct probes of BMS charge conservation: an anisotropic rescaling that removes constant memory in TT gauge maps to a supertranslation at null infinity, so detector-frame memory measurements test the asymptotic charge algebra without needing asymptotic coordinates.","The physical-mode caveat points to a concrete diagnostic: classify flat-space sources whose soft graviton time dependence is not $A_{ij} + B_{ij}u$; for such sources the equal-time consistency relations should fail, just as they do for ultra-slow-roll inflation.","Extending the same Ward-identity strategy to non-inertial detector frames should yield spin and center-of-mass memory sectors as higher residual diffs, effectively deriving superrotation Ward identities from local coordinate transformations rather than from null infinity.","The round-trip-time formula in the interferometer section could be turned into a waveform-level template for long-mode contributions; matching such a template against numerical-relativity waveforms with memory would test whether the residual-diff description exhausts the memory signal."],"forward_implications":["Constant gravitational memory can be defined and removed entirely in local TT gauge, without invoking an asymptotic construction, so memory is a genuine local detector-frame symmetry statement.","The leading soft graviton theorem follows from the Ward identity of the anisotropic rescaling without relying on nearly on-shell internal propagators, so the leading theorem holds nonperturbatively.","The subleading soft theorem follows at tree level from the quadratic residual diff; the paper notes that loop corrections involving $\\log\\omega$ require dressing the hard modes and are left for future work.","For equal-time in-in correlators with scalar hard modes, the identities match flat-space inflationary consistency relations, and the planar-wave check verifies both the leading and subleading relations at linear order in the gravitational-wave amplitude.","A long memory mode with strain $\\frac{1}{\\bar R}(A + Bu)$ can be removed from the photon round-trip time in a model interferometer by the same residual diffs, confirming that the observable effect is a coordinate-induced long mode."],"supporting_citations":[{"why":"Provides the multipole expansion connecting Bondi shear to the TT strain, which the paper uses to set up local memory.","marker":"[11]"},{"why":"Supplies the exact scalar propagator on a planar gravitational-wave background used in the explicit check of the consistency relations.","marker":"[38]"},{"why":"Establishes memory as a transition between BMS frames, the asymptotic statement the paper transplants into TT gauge.","marker":"[51]"},{"why":"The leading soft graviton theorem that the paper reproduces from the Ward identity of the residual diffs.","marker":"[66]"},{"why":"Connects BMS supertranslations to the leading soft graviton theorem, a key step in the infrared triangle the paper reformulates locally.","marker":"[67]"},{"why":"Relates gravitational memory, BMS supertranslations, and soft theorems, providing the direct predecessor of the paper's equivalence claim.","marker":"[68]"},{"why":"Supplies the adiabatic-mode Ward identity structure and the equal-time consistency relation formalism the paper adapts to TT gauge.","marker":"[74]"},{"why":"Gives the path-integral derivation of inflationary soft theorems and the physical-mode condition used in the in-in consistency relations.","marker":"[75]"}],"fun_headline_variants":["Memory in TT gauge is BMS symmetry in disguise","Local memory encodes BMS: soft theorems follow","Gravitational memory: a local BMS symmetry","Ward identities from memory: flat-space consistency","Residual diffeos equal memory: BMS and soft theorems"],"cache_read_input_tokens":41472,"weakest_assumption_plain":"The equal-time consistency relations stand on the physical-mode condition: the soft graviton in the small-momentum limit must share the time dependence of the long mode generated by the residual diffeomorphism, and the paper notes this is not automatic and can fail, as in ultra-slow-roll inflation.","fun_headline_variants_meta":{"raw":{"variants":["Memory in TT gauge is BMS symmetry in disguise","Local memory encodes BMS: soft theorems follow","Gravitational memory: a local BMS symmetry","Ward identities from memory: flat-space consistency","Residual diffeos equal memory: BMS and soft theorems"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001111,"raw_usage":{"total_tokens":4590,"prompt_tokens":869,"completion_tokens":3721,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":485,"completion_tokens_details":{"reasoning_tokens":3644}},"tokens_in":485,"tokens_out":3721,"duration_ms":26673,"temperature":1.0,"reasoning_tokens":3644,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T14:14:28.378948+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the squeezed three-point function $\\langle h \\varphi \\varphi \\rangle$ for a scalar on a planar gravitational-wave background at next order in the gravitational-wave amplitude using the exact propagator cited in the paper; if the projected ratio on the left of the consistency relation deviates from the derivative of the two-point function, the equal-time identity is only approximate, not an exact Ward identity. A complementary test is to find any asymptotically flat source whose soft-limit strain grows nonlinearly in retarded time—the flat-space analogue of ultra-slow-roll—which would break the assumed time-dependence matching behind the leading and subleading in-in relations.","supporting_citations":[{"cited_title":"Scalar propagator for planar gravitational waves","cited_arxiv_id":"2204.12930","evidence_quote":"Supplies the exact scalar propagator on a planar gravitational-wave background used in the explicit check of the consistency relations."}],"review_version":1}