{"id":"d890a4cc-7e61-4c67-8b54-91517ada9489","arxiv_id":"1908.07505","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A new formulation of gravitational memory using null geodesics is proposed, and BMS supertranslations in Newman-Unti gauge are shown to act as bulk memory.","lead":"This paper proposes detecting gravitational memory with ingoing light rays instead of test particles, which can work in the bulk of a spacetime, not just at infinity. It also connects this bulk memory to BMS symmetries in Newman-Unti gauge, extending a known relation from null infinity.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Bulk memory Δη^a is not shown to be well-defined: conditions (i)-(ii) leave a supertranslation/Eulerian choice in identifying the same null pair, and no uniqueness proof for the NU extension into the bulk is given.","rationale":"The central claim is that null geodesic deviation in Newman-Unti gauge defines and detects gravitational memory in the bulk. The null-infinity consistency check in Section 3.1 is a useful, and apparently correct, reproduction of the standard formula. The load-bearing gap is not an internal contradiction in that asymptotic check but the step from it to the bulk: the paper requires conditions (i) and (ii) without proving existence or uniqueness of a global NU chart and v-independent data (f,z^a) for a general dynamical spacetime. The shell example is linearized and does not settle this. In particular, the v-independence condition is not a physical prescription because any v-independent angular function δT(x^A) can be added to f, changing the finite-r memory by a term proportional to ΔC^{AB}∂_BδT. This is exactly the kind of supertranslation ambiguity that Section 4 claims to resolve by a unique extension, but that uniqueness is asserted rather than demonstrated. The concern is addressable: an explicit normalization rule (for example, fixing the physical initial separation d^A at I^-) would make the observable well-defined, and a direct verification of the BMS extension in a nontrivial example would support Section 4. Because these are missing, the reader's conditional verdict is appropriate; my stress-test does not move it to accept or reject.","tokens_in":6161,"tokens_out":25721,"duration_ms":423941,"concrete_test":"Recompute Δη^A from equations (13)-(14) for the shell metric using f' = f + δT(x^A), with δT a nonzero v-independent function, and compare with the published expression. If the two values differ, as the linearized formula indicates, then equation (6) depends on an arbitrary choice of f. To remain an observable, the paper must either fix δT by a physical condition or explicitly state that the memory is the coefficient extracted from the pair (Δη^A, d^A) rather than Δη^A itself. The same redefinition changes the Section 4 geodesic-deviation identification, so the check also tests whether the claimed BMS extension is unique.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 3 defines the bulk memory as Δη^a = η^a|_{v'} − η^a|_v after imposing two conditions: Newman-Unti coordinates (i) and v-independence of f,z^a (ii). But (ii) does not select a unique pair of null geodesics. For the linearized shell metric, any v-independent δT(x^A) gives another admissible f, and equations (13)-(14) imply Δη^A → Δη^A − (1/(2r^2)) ΔC^{AB} ∂_B δT. Thus the numerical value of Δη^A changes under an allowed redefinition of f unless one also fixes the initial separation d^A and states a normalization rule. The physically motivated identification with an inertial observer at I^- is not a derivation: in a general dynamical spacetime the asymptotic frame at different v is ambiguous precisely by BMS supertranslations, and Section 4's assertion that a gauge choice gives a unique bulk extension of BMS generators is stated without proof. The only bulk check is a first-order shell on Schwarzschild, where the existence of the coordinates and of v-independent data is assumed. If these conditions cannot be imposed uniquely or globally, Δη^a is a gauge-dependent coordinate answer rather than a well-defined bulk memory observable.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a bulk formulation of gravitational memory based on the geodesic deviation between an ingoing null geodesic generator n^a and a neighboring null geodesic obtained by deforming n^a with a function f. After imposing Newman-Unti coordinates and requiring f and the initial location z^a to be v-independent, the author defines the bulk memory as the change Δη^a = η^a|_{v'} - η^a|_v. The paper shows that at null infinity this quantity reproduces Christodoulou's timelike-geodesic memory formula, illustrates the construction for a linearized null shell on Schwarzschild, and observes that BMS generators in Newman-Unti gauge are themselves geodesic deviation vectors, thereby extending the Strominger-Zhiboedov supertranslation-memory connection to the bulk.","tokens_in":6465,"tokens_out":4822,"duration_ms":49866,"significance":"If the construction is made fully rigorous, the paper would provide a conceptually new way to detect gravitational memory away from null infinity using light rays rather than timelike test particles, and would give a bulk interpretation of BMS supertranslations. The null-infinity check in Eq. (10) against Eq. (7) is a valuable consistency test, and the explicit linearized shell computation in Section 3.2 makes the proposal concrete. The paper is short and the main claims rest on a small number of technical steps; those steps are asserted rather than derived, and the bulk observable as defined is not shown to be gauge-invariant. The significance is therefore conditional on filling these gaps.","major_comments":[{"comment":"The definition of Δη^a is not shown to be well-defined. Condition (ii) only requires f and z^a to be independent of v, but for any v-independent function δT(x^A), the replacement f → f + δT gives another admissible deformation. Since Eq. (14) gives Δη^A = − (1/(2r^2)) ΔC^A{}_B ∂^B f, this replacement changes the bulk memory by − (1/(2r^2)) ΔC^A{}_B ∂^B δT and also changes the initial separation d^A in Eq. (9). Unless an additional normalization rule for f or d^A is imposed, the numerical value of Δη^a is gauge-dependent rather than a well-defined bulk observable.","section":"Section 3, Eq. (6) and conditions (i)-(ii)"},{"comment":"The key technical formulas are asserted without derivation. The text says 'One may then verify' for the linearized solution (3) and 'This follows from integrating' for the asymptotic expansion (8), but no computation or precise hypotheses are supplied. Because Eq. (8) is the basis for the claimed match with Christodoulou's result in Eq. (10) and also underlies the bulk formulas (13)-(14), these steps need to be shown explicitly or supported by a complete reference. As written, the agreement with Eq. (7) is formal and cannot be checked by the reader.","section":"Section 2, Eq. (3) and Section 3.1, Eq. (8)"},{"comment":"The claim that BMS generators have a unique extension into the bulk once Newman-Unti gauge is fixed is stated without proof. The subsequent identification of the BMS generators with the geodesic deviation vector, using the specific expressions in Eq. (15), is also not verified against the known form of BMS vector fields in Newman-Unti coordinates. This uniqueness and identification are essential for the claimed generalization of the Strominger-Zhiboedov connection to the bulk; please provide the explicit computation or a precise reference.","section":"Section 4, paragraph 2"},{"comment":"The bulk applicability is demonstrated only for a first-order null shell on a Schwarzschild background, and the computation assumes that the required Newman-Unti coordinates and v-independent choices of f and z^a exist. The paper does not show that conditions (i) and (ii) can be satisfied, let alone uniquely, for a general dynamical spacetime. Since the abstract states that the method is applicable in the bulk of a spacetime, the general claim overstates what has been established; at minimum the intended scope (e.g., linearized perturbations of stationary black holes) should be stated and the existence assumptions made explicit.","section":"Sections 3.2 and Abstract"}],"minor_comments":[{"comment":"There is a typo in the Introduction: 'Christoudoulou' should be 'Christodoulou'.","section":"Section 1"},{"comment":"The integral in Eq. (3) is written with an upper limit r but no lower limit; since z^a is meant to encode the initial location, please specify the lower limit of integration or define z^a to include the integration constant.","section":"Eq. (3)"},{"comment":"The index position on the mixed quantity ΔC^A{}_B is not defined; after defining C_{AB} as traceless with respect to γ_{AB}, please state the raising convention explicitly (for example, C^A{}_B = γ^{AC} C_{CB}) at first use.","section":"Eqs. (10) and (14)"},{"comment":"The comparison of Bondi and Newman-Unti generators uses a vector n^a without defining it in that paragraph; please refer to the definition in Section 2 or define it again.","section":"Section 4, footnote 15"}],"recommendation":"major_revision","confidential_remarks":"The paper is a compact research note whose central technical content is concentrated in a few asserted formulas and one linearized example. I would be willing to reconsider after the authors supply the missing derivations and, more importantly, a well-posed definition of Δη^a that removes the residual gauge freedom described in the major comments. The topic is suitable for the journal if those issues are resolved."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Henk Bart's note proposes a bulk formulation of gravitational memory using ingoing null geodesics as detectors. The basic idea is clean: pick a pair of null geodesics, measure their deviation at affine time r, and compare the same construction at a later v. With Newman-Unti coordinates and v-independent f and z^a, the difference Δη^a is presented as the bulk memory. The paper does two useful things: it reproduces the Christodoulou displacement at null infinity, which is a good consistency check, and it observes that in NU gauge the BMS generators are themselves geodesic deviation vectors, giving a bulk version of the Strominger-Zhiboedov connection. That second observation is genuinely not in the cited literature, even though the related bulk statement in Hawking-Perry-Strominger is acknowledged.\n\nThe soft spots are where one would expect for a short note. The expansion (8) and the linearized geodesic solution (3) are asserted rather than derived. That is acceptable for a research note if the reader can fill in the steps, but it does slow the referee. More substantive: the paper says Δη^a is well-defined under conditions (i)-(ii), but the conditions do not pick out a unique f and z^a. Any v-independent function f gives an admissible pair of light rays, and different choices give different Δη^a, related at leading order to the initial separation d^A. In the null infinity check this dependence is made explicit (9)-(10), but in the bulk section the observable is presented as if it were a single number. To fully define the bulk memory you need to fix the initial separation and state a normalization. This is probably fixable — the memory displacement has always been detector-dependent — but it should be said plainly. The uniqueness of the NU-gauge extension of BMS generators in Section 4 is likewise asserted. Finally, the only bulk example is a linearized shell on Schwarzschild, so general applicability is not demonstrated.\n\nNone of this is fatal. The core consistency with Christodoulou holds up, and the BMS observation is likely correct. But the paper overstates the well-definedness of the bulk observable. A referee should ask for a derivation of (8), a cleaner statement of what is fixed when choosing f and z^a, and some comment on global extension of NU coordinates in dynamical spacetimes.\n\nThis is a note for people working on gravitational memory and infrared structure; it is not a full new formalism. I would give it to a referee rather than desk reject, but I would expect a revision that tightens the definitions.","headline":"A short, clean note: null geodesics as bulk memory detectors, with an honest null-infinity check and a neat BMS observation, but the bulk observable is less well-defined than claimed.","tokens_in":6925,"tokens_out":4210,"would_cite":false,"duration_ms":44841,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C30","83C35","83C40","83C57"],"pacs":[],"model":"deepseek-v4-flash","headline":"The geodesic deviation between pairs of infalling null geodesics, compared before and after a burst, detects gravitational memory at every radius; in Newman-Unti gauge the change is the action of a BMS supertranslation.","keywords":["gravitational memory","null geodesics","geodesic deviation","Newman-Unti gauge","BMS supertranslations","black holes","asymptotic symmetries","gravitational waves"],"falsifier":"Construct two different $v$-independent choices of $(f,z^a)$ in Newman-Unti coordinates that agree on the same past-null-infinity boundary data for a nonlinear dynamical spacetime; if they give different $\\Delta\\eta^a$ at finite radius, the proposed bulk memory is gauge-dependent and the central claim fails. A simpler check is to find a spacetime where no Newman-Unti chart covers the radiation region, in which case the method has no bulk meaning there.","tokens_in":5948,"feed_emoji":"🌌","tokens_out":12280,"duration_ms":107840,"temperature":0.7,"pith_summary":"Gravitational memory is usually read off at null infinity from timelike test particles that are permanently displaced after a wave passes. This paper proposes reading the same effect in the bulk with ingoing null geodesics: take a pair of light rays generated by a null geodesic vector field, deform one of them by a small function $f$, and compare the geodesic deviation $\\eta^a$ at two different times $v$ and $v'$. In Newman-Unti coordinates, with the deformation held independent of $v$, the difference $\\Delta\\eta^a$ is well-defined at every affine radius $r$ and quantifies bulk memory. The paper shows this reproduces the known null-infinity formula and works explicitly for a null shell falling onto a Schwarzschild black hole. It also shows that BMS generators in Newman-Unti gauge coincide with such geodesic deviation vectors, so the bulk memory is the action of a supertranslation.","feed_headline":"Light-ray pairs measure gravitational memory anywhere in spacetime","feed_subtitle":"A null-ray deviation reproduces the known memory effect and links it to BMS supertranslations in Newman-Unti gauge.","key_machinery":"The load-bearing object is the geodesic deviation vector $\\eta^a(r) := x^a(r) - x_0^a(r)$, built from the first-order solution $p_a = n_a - \\partial_a f$, $x^a = \\int g^{ab}p_b + z^a$ of the geodesic equations. Here $n^a = -\\partial^a v$ generates the null hypersurfaces $\\Sigma_v$, $f$ is a small function, and $z^a$ fixes the ingoing location of the deformed ray. In Newman-Unti coordinates — a gauge adapted to a foliation by null hypersurfaces, with metric (5) — the deformed ray is null and affinely parametrised by $r$, so comparing $\\eta^a$ at two values of $v$ (keeping $f,z^a$ independent of $v$) isolates the permanent part of the deviation. The same deviation vector, with $f = T(x^A)+\\tfrac12 v\\,D_A Y^A$ and the associated $z^a$, reproduces the BMS generators — the asymptotic symmetries of null infinity, whose supertranslations are the angle-dependent translations — which identifies the supertranslation part of the memory.","core_discovery":"The central discovery is that the geodesic deviation vector $\\eta^a(r)=x^a(r)-x_0^a(r)$ between an ingoing null geodesic generated by $n^a$ and a neighbouring null geodesic generated by the deformation $n^a_f = n^a + \\mathcal{L}_\\eta n^a$ is a bulk detector of gravitational memory. Provided the coordinates are Newman-Unti and the deformation data $(f,z^a)$ are chosen independent of $v$, the change $\\Delta\\eta^a = \\eta^a|_{v'} - \\eta^a|_v$ is well defined at every $r$ and is nonzero only when the two light-ray pairs lie on opposite sides of the radiation burst. At large radius it reduces to the known displacement-memory formula $\\Delta x^A = -\\frac{(\\delta x_0)^B}{2r}\\Delta C^A{}_B$; for a shell on Schwarzschild it gives $\\Delta\\eta^A = -\\frac{1}{2r^2}\\Delta C^A{}_B\\,\\partial^B f$. Finally, BMS supertranslation generators in Newman-Unti gauge are exactly such deviation vectors, so the bulk memory is the action of a supertranslation, extending the earlier null-infinity connection to the bulk.","pith_inferences":["If the $v$-independence condition can be relaxed or reformulated covariantly, the same null-ray deviation might define memory in spacetimes without global Newman-Unti charts, such as numerical binary-black-hole mergers.","Because light-ray pairs are natural observables, the construction suggests a practical route to finite-radius memory measurements in gravitational-wave detectors or pulsar-timing data.","A testable extension would be to compute $\\Delta\\eta^a$ in a nonlinear numerical spacetime to see whether the $v$-independent pairing selects a unique supertranslation frame; the paper does not demonstrate uniqueness in general.","If Newman-Unti gauge exists in higher dimensions, the same deviation-vector argument could give a bulk memory interpretation for higher-dimensional BMS supertranslations."],"forward_implications":["Bulk observers can detect memory using pairs of infalling light rays instead of timelike test particles, avoiding the inward drift of timelike geodesics near a black hole.","The method works at every affine radius $r$, so gravitational memory is a bulk observable, not only an asymptotic one.","At large $r$ the new quantity $\\Delta\\eta^A$ reproduces the known displacement memory, giving a consistency check against the standard null-infinity result.","In Newman-Unti gauge, BMS supertranslations acquire a concrete bulk action: they are geodesic deviation vectors, so the memory effect is their physical manifestation.","BMS generators in Bondi gauge are generally not geodesic deviations, so this memory interpretation is tied to Newman-Unti gauge."],"supporting_citations":[{"why":"Supplies the known null-infinity displacement formula that the new method must reproduce.","marker":"[4]"},{"why":"Establishes the connection between BMS supertranslations and memory at null infinity that is generalised to the bulk here.","marker":"[9]"},{"why":"Defines the Newman-Unti coordinate conditions used to make $\\Delta\\eta^a$ well-defined and to interpret BMS generators.","marker":"[10]"},{"why":"Provides the linearised shell-on-Schwarzschild metric used for the explicit bulk-memory calculation.","marker":"[8]"},{"why":"Gives the Newman-Unti group of BMS generators, re-expressed as geodesic deviation vectors in Section 4.","marker":"[17]"}],"fun_headline_variants":["Light-ray pairs gauge gravitational memory in bulk","Null geodesic shifts expose gravitational memory anywhere","Bulk memory effect from BMS supertranslations","Ingoing light rays reveal bulk gravitational memory","Gravitational memory from null geodesic deviations"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole construction stands on the assumption that Newman-Unti coordinates extend into the bulk and that the two light-ray pairs at different times can be identified as 'the same' pair via $v$-independent choices of $f$ and $z^a$; if that identification is not unique, the bulk memory $\\Delta\\eta^a$ is not well-defined.","fun_headline_variants_meta":{"raw":{"variants":["Light-ray pairs gauge gravitational memory in bulk","Null geodesic shifts expose gravitational memory anywhere","Bulk memory effect from BMS supertranslations","Ingoing light rays reveal bulk gravitational memory","Gravitational memory from null geodesic deviations"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000778,"raw_usage":{"total_tokens":3413,"prompt_tokens":892,"completion_tokens":2521,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":508,"completion_tokens_details":{"reasoning_tokens":2452}},"tokens_in":508,"tokens_out":2521,"duration_ms":18449,"temperature":1.0,"reasoning_tokens":2452,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:14:00.398837+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct two different $v$-independent choices of $(f,z^a)$ in Newman-Unti coordinates that agree on the same past-null-infinity boundary data for a nonlinear dynamical spacetime; if they give different $\\Delta\\eta^a$ at finite radius, the proposed bulk memory is gauge-dependent and the central claim fails. A simpler check is to find a spacetime where no Newman-Unti chart covers the radiation region, in which case the method has no bulk meaning there.","supporting_citations":[{"cited_title":"Christodoulou, Nonlinear nature of gravitation and gravitational wave experiments, Phys","cited_arxiv_id":null,"evidence_quote":"Supplies the known null-infinity displacement formula that the new method must reproduce."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the Newman-Unti coordinate conditions used to make $\\Delta\\eta^a$ well-defined and to interpret BMS generators."}],"review_version":1}