{"id":"bb5c6b4d-bbaa-4865-9cac-7eb5b2f89523","arxiv_id":"2508.17919","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"The universal log soft graviton factors are invariant under logarithmic translations, which explains the cancellation of outgoing massless contributions and yields a recurrence constraint on higher-order log soft terms.","lead":"This paper shows that universal logarithmic frequency terms in the gravitational waves produced by a scattering event are invariant under a special spacetime symmetry called logarithmic translations. The invariance explains why those terms do not depend on outgoing massless particles, and it gives a constraint that any higher-order universal log terms must satisfy.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The invariance proof (4.14) stands on the unproven global identification L_+=L_- of Eq. (3.59); if future and past log translations were independent, the cancellations in (4.13) would fail. The matching argument is deferred to companion paper [29].","rationale":"The reader's weakest-assumption identification matches my own: Eq. (3.59) is the single most load-bearing unproven input. The rest of the invariance computation is short, transparent, and I found no algebraic error in (4.13)-(4.14) once (3.59) is granted. The paper is also appropriately careful in saying that the matching argument is deferred to [29], and it flags the conditional status of the higher-order recurrence in Sec. 5. Independent evidence does support the paper's framework: the log soft factors used are the rigorously established expressions from [4,5], Appendix B recovers the known Sahoo-Sen rewritten form, and the calculation is presented as a consistency check rather than a derivation of those factors. The concern is therefore not that the paper is wrong in its internal derivation, but that the intended physical conclusion depends on a global-matching statement not proven in this manuscript. That is exactly the kind of condition that should gate acceptance rather than force rejection. Since the reader already reached CONDITIONAL on this basis, my read does not change the verdict; the remaining task is a concrete check of (3.59).","tokens_in":20027,"tokens_out":11254,"duration_ms":123875,"concrete_test":"Derive Eq. (3.59) by an explicit matching computation: for a concrete two-body scattering solution in harmonic coordinates on a single global patch, construct the asymptotic diffeomorphism ξ^μ = log R L^μ + O(R^0), impose the harmonic-gauge falloff conditions (A.36)-(A.37), and impose the Ashtekar-Hansen matching conditions at spatial infinity i^0. Check whether the restriction of this vector field to future and past timelike infinity forces L_+ = L_-; if a consistent solution with L_+ ≠ L_- exists, the invariance (4.14) fails, whereas if no such solution exists, the global identification is established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that the known log soft factors are invariant under log translations, and this invariance explains the outgoing-massless cancellation. The proof in Sec. 4 is internally coherent, but its load-bearing input is the identification L_+ = L_- of the future and past log translation groups (Eq. 3.59). The check (4.14) applies the same shift -L^mu to c_I+ and to every hard-particle deviation vector c_i (Eq. 4.12), and the cancellations in (4.13) use total momentum conservation and the vanishing of total divergent angular momentum. If instead one allows independent future and past parameters, so that δc_i = -L_+ for outgoing and -L_- for incoming particles, a direct variation of (4.10) leaves uncancelled terms proportional to P^μ_total (L_+-L_-)^ν and to ((L_+-L_-)·n) times the incoming-particle sum over p^μ p^ν/(p·n); neither vanishes for L_+ ≠ L_-. The paper states that (3.59) arises naturally in harmonic coordinates or follows from matching at infinity, but the argument is deferred to the companion paper [29], and Appendix A.2 actually shows that the harmonic-gauge residual diffeo parameter l must vanish. Thus the global identification is not an automatic consequence of a single coordinate patch; it is a nontrivial matching condition. Until it is supplied, the invariance of the log soft factors is conditional on an unproved global-matching assumption.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies the two known universal logarithmic terms in the low-frequency expansion of classical gravitational radiation and proposes that they are invariant under logarithmic translations. The authors introduce the log deviation vector c^mu, relate it to the gravitational potential at timelike infinity, and discuss harmonic and radiative log frames. They argue that future and past log translations should be identified, Eq. (3.59), yielding a single global log translation group. Using the heuristic derivation of the log soft factors from [4,5], they express h^(log) and h^(log2) in terms of c^mu and verify their invariance under the log translation action, thereby offering an explanation for the cancellation of outgoing massless contributions. They then derive a recurrence relation for higher-order log soft remainders. The paper is explicitly presented as preparatory to a companion paper [29] that will provide a fully asymptotic derivation.","tokens_in":20372,"tokens_out":6870,"duration_ms":76578,"significance":"If the main claim holds, the paper gives a simple structural explanation for a puzzling cancellation that had only been observed in the first two universal log terms, and it provides a consistency condition for conjectured higher-order terms. The invariance computations in Section 4 are explicit, and the expressions reproduce the rigorously derived log soft factors of [4,5]. The paper is also honest about the conditional status of the higher-order discussion in Section 5. The overall significance is real but conditional: the invariance proof rests on the global identification of future and past log translations, which is deferred to a companion paper. If that matching condition is established, the paper will be a valuable contribution to the asymptotic-symmetry understanding of log soft theorems.","major_comments":[{"comment":"The identification L_+ = L_- is the load-bearing input for the invariance proof. In Section 4, Eq. (4.12) applies the same shift -L^mu to c_I+ and to every hard-particle deviation vector, and the cancellations leading to Eq. (4.14) rely on this common shift together with momentum conservation. If future and past log translations were independent, a direct variation of Eq. (4.10) would leave uncancelled terms proportional to P^mu_total (L_+-L_-)^nu and to ((L_+-L_-)·n) times incoming-particle sums, neither of which vanishes for L_+ ≠ L_-. The paper states that Eq. (3.59) arises naturally in harmonic coordinates or follows from matching at infinity deferred to [29]. However, Appendix A.2, Eqs. (A.40)-(A.41), shows that the residual harmonic-gauge log translation parameter l must vanish, so a single harmonic coordinate patch does not by itself deliver the nontrivial global identification. The central claim of log soft factor invariance is therefore conditional on an unproved global-matching result. Please either prove Eq. (3.59) in this paper or state it explicitly as an assumption and revise the claims in the abstract and Section 4 accordingly.","section":"Section 3.5, Eq. (3.59)"},{"comment":"The second invariance relation in Eq. (4.13) uses sum_i J^div_iμν = 0, and the footnote strengthens this to the statement that incoming and outgoing divergent angular momenta vanish separately. This is a necessary step for the claimed invariance of h^(log2) in Eq. (4.14). No proof or reference is supplied for this fact. Please provide a derivation, for example from the explicit expression for c_i^mu indicated in footnote 17, or cite a precise result. Without this, the log2 invariance statement is not fully supported as written.","section":"Footnote 15 and Eq. (4.13)"}],"minor_comments":[{"comment":"The abstract says the work 'leads to a recurrence relation' for higher-order universal log soft terms, but Section 5 explicitly states that the recurrence is conditional on the existence of log-frame expressions for the undetermined remainders and that the proposal of [12] cannot be checked. Please qualify the abstract wording to reflect this conditionality.","section":"Abstract and Section 5"},{"comment":"Reference [29] is the companion paper that is supposed to supply the proof of the global matching condition and the fully asymptotic derivation. It is cited without a preprint number or a citable source. Since Eq. (3.59) is load-bearing, either the proof should appear here or the companion paper should be made available.","section":"Reference [29]"},{"comment":"The text uses 'Ecs.' where 'Eqs.' is intended; please correct this typographical issue.","section":"Appendix A.2, after Eq. (A.47)"}],"recommendation":"major_revision","confidential_remarks":"The decisive missing piece is the proof of the global matching condition L_+ = L_- in Eq. (3.59), which is deferred to companion paper [29]. The authors' own Appendix A.2 appears to conflict with the claim that Eq. (3.59) arises naturally in harmonic coordinates, since it shows that harmonic gauge freezes log translations. This tension should be resolved before publication. The rest of the paper is a clear and well-written structural contribution, and the invariance computations are explicit and checkable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: the paper reorganizes the two known log soft graviton terms around log translations and shows, cleanly, why the outgoing massless contributions cancel. The rewriting is new and the invariance check is explicit and correct as far as it goes. But the argument leans on a global identification of future and past log translations, Eq. (3.59), that is not established here: the matching is deferred to companion paper [29], and the paper's own Appendix A.2 shows harmonic gauge actually kills log translations. Keep that caveat in mind before citing the explanation as settled.\n\nWhat is genuinely good: the paper doesn't just restate prior results. Defining log deviation vectors and writing h^(log), h^(log2) through them gives a manifestly invariant form; the check (4.14) is direct. The explanation of the massless cancellation — that in the harmonic frame the massless deviation vectors coincide with c_I^+ and the log translation removes them — is the cleanest I've seen. The recurrence (5.7) for higher-order remainders is a useful constraint, though it is conditional on the remainders admitting log-frame expressions, which the paper says openly is not established. The input soft factors come from earlier work [4,5]; no circularity. The computations are careful and the limitations are stated.\n\nThe soft spot is load-bearing. All of Sec. 4 applies the same shift -L to outgoing and incoming deviation vectors. That is legitimate only if L_+=L_-. The paper says this 'arises naturally' in harmonic coordinates, but Appendix A.2 shows the harmonic gauge residual diffeo parameter l must vanish. So one coordinate patch actually freezes log translations; the identification is a nontrivial matching condition across infinity, not a gauge triviality. The authors defer this to [29]. Until that matching argument appears, the invariance proof is conditional, and the stress-test algebra shows that with independent L_+ and L_- the cancellations in (4.13) do not go through. This is the difference between a suggestive explanation and a proven one. The paper would not collapse if Eqs. (4.10)-(4.14) are read as an identity within a fixed global log frame; that reading is fine. But the advertised explanation of the puzzling cancellation needs the global identification.\n\nWho is it for: people working on soft theorems, tails, and infrared structure. It deserves a serious referee: the question is important, the paper is honest about what is missing, and the conditional statement is already worth having. A referee should push on (3.59) and on the existence assumption behind (5.7). If [29] delivers the matching, this becomes an accepted part of the literature; if not, it remains a well-marked conjecture.","headline":"A useful, honest reorganization of the log soft graviton terms, but the advertised explanation of the massless cancellation rests on a global log-translation identification that is deferred to a companion paper.","tokens_in":20868,"tokens_out":2374,"would_cite":true,"duration_ms":25492,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C30"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper shows that the two universal logarithmic terms in the low-frequency gravitational waveform are invariant under logarithmic translations, explaining the cancellation of outgoing massless contributions and constraining…","keywords":["log soft theorems","logarithmic translations","gravitational radiation","soft graviton theorem","asymptotic symmetries","timelike infinity","classical scattering","gravitational wave tails"],"falsifier":"Take a two-body scattering process that emits one massless scalar or photon, compute the $\\log\\omega$ and $\\omega\\log^2\\omega$ waveform coefficients in harmonic gauge and in a gauge related by a nonzero log translation, and check whether the difference vanishes identically. Any residual dependence on the outgoing massless particle's momentum, or any frame dependence of $h^{(\\log)}_{\\mu\\nu}$ or $h^{(\\log2)}_{\\mu\\nu}$, would refute the central claim.","tokens_in":19812,"feed_emoji":"🌊","tokens_out":13860,"duration_ms":118243,"temperature":0.7,"pith_summary":"Gravitational radiation from a classical scattering has a soft-frequency expansion containing two universal logarithmic terms, proportional to $\\log\\omega$ and $\\omega\\log^2\\omega$. This paper tries to show that those log terms are the shadow of a pure-gauge asymptotic redundancy called logarithmic translation: a shift of asymptotic geodesics by $\\log R\\,L^\\mu$ that does not change the physics. It writes the log soft factors in terms of the log deviation vector $c^\\mu$ and verifies $\\delta_L h^{(\\log)}_{\\mu\\nu}=0$ and $\\delta_L h^{(\\log2)}_{\\mu\\nu}=0$ under a single global log translation acting on both future and past infinity. That invariance explains a previously puzzling cancellation of the outgoing massless-particle contributions, and it yields a recurrence relation that any higher-order log soft term would have to satisfy. The reader should care because it turns an observed coincidence in two perturbative coefficients into a structural symmetry of the asymptotic gravitational field.","feed_headline":"A gauge shift explains gravitational-wave soft-term cancellations","feed_subtitle":"The two universal log-frequency terms are invariant under a pure-gauge shift, so outgoing massless contributions must vanish.","key_machinery":"The central object is the log deviation vector $c^\\mu$, the coefficient of $\\log R$ in an asymptotic trajectory $X^\\mu(R)=R V^\\mu+\\log R\\,c^\\mu+\\cdots$, computed as the limit $c^\\mu=\\lim_{R\\to\\infty}\\Gamma^\\mu_{\\nu\\rho}X^\\nu X^\\rho$. Under a logarithmic translation this vector shifts as $\\delta_L c^\\mu=-L^\\mu$. At timelike infinity the same information is carried by the gravitational potential $\\sigma$, and for null directions the harmonic log frame gives $c^\\mu_{I+}=2G P^\\mu_{\\mathrm{total}}$, while the radiative log frame sets $c^\\mu_{I+}=0$. The argument combines two mechanisms: the phase from soft null-ray drag, $e^{-i\\omega\\log\\omega\\, n\\cdot c_{I+}}$, and the divergent angular momenta $J^{div}_{i\\mu\\nu}=c_{i\\mu}p_{i\\nu}-c_{i\\nu}p_{i\\mu}$. The load-bearing identities are $\\delta_L h^{(1)div}_{\\mu\\nu}=i L\\cdot n\\,h^{(0)}_{\\mu\\nu}$ and $\\delta_L h^{(2)div}_{\\mu\\nu}=i L\\cdot n\\,h^{(1)div}_{\\mu\\nu}$, from which $\\delta_L h^{(\\log)}_{\\mu\\nu}=0$ and $\\delta_L h^{(\\log2)}_{\\mu\\nu}=0$ follow.","core_discovery":"On the paper's own terms, the discovery is that the two known universal log soft factors are not independent accidents but the manifestation of log translation invariance. Writing the soft waveform as $\\tilde h_{\\mu\\nu}$ and using the shortcut in which gravitational drag contributes a phase $e^{-i\\omega\\log\\omega\\, n\\cdot c_{I+}}$ and particle angular momenta acquire divergent pieces $J^{div}_{i\\mu\\nu}=c_{i\\mu}p_{i\\nu}-c_{i\\nu}p_{i\\mu}$, the log coefficients take the form $h^{(\\log)}_{\\mu\\nu}=-i\\,n\\cdot c_{I+}h^{(0)}_{\\mu\\nu}-h^{(1)div}_{\\mu\\nu}$, with an analogous expression for $h^{(\\log2)}_{\\mu\\nu}$. Under a log translation all deviation vectors shift by the same vector, $\\delta_L c^\\mu=-L^\\mu$, and momentum conservation makes the combination invariant. Because outgoing massless particles have $c_i=c_{I+}$, their net contribution cancels or, in the future radiative log frame $c_{I+}=0$, vanishes term by term; the previously mysterious cancellation is therefore pure gauge. The same logic, applied to the conjectured tower $\\omega^{k-1}\\log^k\\omega$, produces the recurrence $\\delta_L a^{(k)}_{\\mu\\nu}=k(n\\cdot L)a^{(k-1)}_{\\mu\\nu}$ for the coefficients.","pith_inferences":["If the future/past identification survives the companion paper's matching argument, log translations should behave like ordinary translations with an identically vanishing charge: a pure-gauge symmetry that nevertheless constrains radiative data. The paper does not establish the charge interpretation.","The same log-frame logic may apply to log soft photon theorems and to loop-level quantum soft graviton corrections, where a harmonic log frame would again produce deviation vectors proportional to total momentum and outgoing massless contributions could become removable by a log translation.","The recurrence (5.6) could be used as a prediction generator: imposing it on proposed higher-order remainders would fix the first unknown coefficient $r^{(3)}_{\\mu\\nu}$ up to log-translation-invariant data, providing a concrete test of the symmetry at order $\\omega^2\\log^3\\omega$.","A numerical relativity simulation of a binary system with a massless scalar or photon field could test frame independence directly: extract the $\\log\\omega$ and $\\omega\\log^2\\omega$ waveform coefficients in coordinates related by a nonzero log translation and check that they remain exactly unchanged."],"forward_implications":["The two known universal log terms $h^{(\\log)}_{\\mu\\nu}$ and $h^{(\\log2)}_{\\mu\\nu}$ can be evaluated in any log frame; in the future radiative frame the outgoing massless contributions vanish term by term, not only in total.","The cancellation observed in earlier derivations is reinterpreted as a gauge artifact: in the harmonic log frame it is a conspiracy between the drag phase and the divergent angular momenta, while in the radiative frame it is manifest.","Any prospective higher-order leading-log coefficient of the form $\\omega^{k-1}\\log^k\\omega$ that admits a log-frame expression must satisfy the recurrence $\\delta_L a^{(k)}_{\\mu\\nu}=k(n\\cdot L)a^{(k-1)}_{\\mu\\nu}$, which turns into a polynomial constraint on the undetermined remainders $r^{(k)}_{\\mu\\nu}$.","The harmonic log frame supplies the relation $c^\\mu_{I+}=2G P^\\mu_{\\mathrm{total}}$, and the global frame identification yields $c^\\mu_{I+}+c^\\mu_{I-}=0$, connecting the soft theorem derivation to the asymptotic geometry of timelike infinity."],"supporting_citations":[{"why":"Supplies the rigorously derived first log soft factor and the harmonic-frame relation $c^\\mu_{I+}=2G P^\\mu_{\\mathrm{total}}$ that this paper reproduces and generalizes.","marker":"[3]"},{"why":"Provides the rigorous derivations of the first two log soft factors whose harmonic-frame expressions are rewritten here in log-translation-invariant form.","marker":"[4, 5]"},{"why":"Records the rewritten log soft theorem in which the outgoing-massless cancellation is observed; the paper explains that cancellation as pure gauge.","marker":"[6]"},{"why":"Supplies the asymptotic framework for timelike infinity, the potential equation $(D^2-3)\\sigma=4\\pi G\\rho$, and the radiative log frame boundary condition.","marker":"[22]"},{"why":"Introduces logarithmic translations as residual asymptotic gauge freedoms, the symmetry whose invariance is established for the soft factors.","marker":"[13, 14]"},{"why":"Companion paper that supplies the matching argument identifying future and past log translations, which the global invariance proof assumes.","marker":"[29]"},{"why":"Proposes the higher-order leading-log remainders that the paper tests against log translation invariance and constrains through the recurrence.","marker":"[12]"},{"why":"Review that assembles the universal leading-log tower and the early/late-time tail interpretation used to frame the soft expansion.","marker":"[7]"}],"fun_headline_variants":["Log translations expose gauge symmetry behind gravitational cancellations","Gauge invariance from log translations explains soft-radiation puzzle","Universal soft logs arise from log translation invariance","Log shifts make outgoing massless contributions vanish naturally"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the future and past log translations are the same group, $L^\\mu_+=L^\\mu_-$, so that outgoing and incoming log deviation vectors shift by the same vector. The invariance check applies that single shift to both sides; if future and past could be shifted independently, the cancellations that leave the soft factors unchanged would not go through.","fun_headline_variants_meta":{"raw":{"variants":["Log translations expose gauge symmetry behind gravitational cancellations","Gauge invariance from log translations explains soft-radiation puzzle","Universal soft logs arise from log translation invariance","Log shifts make outgoing massless contributions vanish naturally"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000405,"raw_usage":{"total_tokens":2076,"prompt_tokens":883,"completion_tokens":1193,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":499,"completion_tokens_details":{"reasoning_tokens":1133}},"tokens_in":499,"tokens_out":1193,"duration_ms":10360,"temperature":1.0,"reasoning_tokens":1133,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T17:00:21.842686+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a two-body scattering process that emits one massless scalar or photon, compute the $\\log\\omega$ and $\\omega\\log^2\\omega$ waveform coefficients in harmonic gauge and in a gauge related by a nonzero log translation, and check whether the difference vanishes identically. Any residual dependence on the outgoing massless particle's momentum, or any frame dependence of $h^{(\\log)}_{\\mu\\nu}$ or $h^{(\\log2)}_{\\mu\\nu}$, would refute the central claim.","supporting_citations":[{"cited_title":"Classical and Quantum Results on Logarith mic Terms in the Soft Theorem in Four Dimensions,","cited_arxiv_id":null,"evidence_quote":"Supplies the rigorously derived first log soft factor and the harmonic-frame relation $c^\\mu_{I+}=2G P^\\mu_{\\mathrm{total}}$ that this paper reproduces and generalizes."},{"cited_title":"Classical soft graviton theorem rewritte n,","cited_arxiv_id":null,"evidence_quote":"Records the rewritten log soft theorem in which the outgoing-massless cancellation is observed; the paper explains that cancellation as pure gauge."},{"cited_title":"An asymptotic framework for gravitational scattering,","cited_arxiv_id":null,"evidence_quote":"Supplies the asymptotic framework for timelike infinity, the potential equation $(D^2-3)\\sigma=4\\pi G\\rho$, and the radiative log frame boundary condition."},{"cited_title":"An asymptotic proof of the classica l log soft graviton theorem","cited_arxiv_id":null,"evidence_quote":"Companion paper that supplies the matching argument identifying future and past log translations, which the global invariance proof assumes."},{"cited_title":"Logarithmic soft theorems and soft spectra,","cited_arxiv_id":null,"evidence_quote":"Proposes the higher-order leading-log remainders that the paper tests against log translation invariance and constrains through the recurrence."}],"review_version":1}