{"id":"15050664-1d0d-44f9-857e-39589e2293c9","arxiv_id":"2501.17818","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"An asymmetric double copy with a ghost-like sqrt-dilaton cancels dilaton contaminations in tree-level GR amplitudes with massive scalars up to six points, leaving a residual bubble ambiguity at one loop.","lead":"A ghost-like 'square-root dilaton' field is added to the Yang-Mills side of the double copy so that its square cancels unwanted dilaton exchanges, reproducing general-relativity amplitudes for massive scalar scattering at tree level up to six external particles, and partially at one loop. The construction could simplify future gravitational-wave and black-hole scattering computations that currently remove dilatons by hand-projectors.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The tree-level 'verification up to six massive scalars' fixes its only free coupling f± on the same six-point data, so the claim rests on one fitted parameter and needs an independent higher-point check.","rationale":"Good-faith reading: the paper is a bootstrap construction, and bootstrap methods legitimately determine interactions by matching to GR. The problem is specifically that the single nontrivial coupling f± is fixed using the same six-point amplitude that is then called the verification. That does not make the six-point computation worthless: the maximal cuts (4.11)-(4.14) are fixed from GR before f± is solved, the four-point factorizations are checked, and the five-point comparison to [182] is independent. In addition, the one-loop calculation is transparently incomplete: eq. (5.28) survives as a local bubble remainder after the axion is subtracted by hand, and the conclusion lists four possible resolutions. So the honest verdict is CONDITIONAL: accept the tree-level construction as a proposed prescription, require an eight-point check (or an independent derivation of f±) before the 'verification up to six external scalars' claim is taken at face value, and treat the loop-level method as explicitly open. This is exactly the reader's weakest assumption, so I agree with the reader; no change of verdict is needed.","tokens_in":39335,"tokens_out":4507,"duration_ms":47380,"concrete_test":"Compute the tree-level eight-massive-scalar amplitude from the √dilaton gauge theory defined by Lagrangian (2.23) with f1 = sqrt(Ds-1) (equivalently f± = -1 ± sqrt(Ds-1)), using the same bootstrap method and numerator ansatz of §4, and compare against the GR amplitude obtained independently via the projective double copy of ref. [89] or direct GR computation. If the eight-point amplitude matches without introducing any new free parameter, the fitted f± is validated and the six-point result was not an artefact of overfitting. If it mismatches, the truncation (2.21)-(2.23) is missing terms, or f± must be promoted to a graph-dependent quantity. As a secondary but independent check, recompute the one-loop two-particle cut after including an axion ghost of the type discussed in §5.3 and verify whether the residual bubble (5.28) cancels; if it cancels, the loop-level gap is closed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The single most load-bearing weakness is the status of the coupling f± = -1 ± sqrt(Ds-1) introduced in eq. (3.13) and used in the asymmetric double copy. In §2.4 the corresponding quartic coupling f1 is added to the Lagrangian (2.23) by hand; it is not a consequence of the KK compactification. In §4.2 the value of f± is solved by matching the next-to-maximal cut (4.15) to the double copy (4.16), producing numerators (4.17), and then the full six-point amplitude is compared to GR and found to match. However, the NMC cut used to fix f± is a factorization limit of exactly the same six-point amplitude that is subsequently advertised as the verification. The six-point agreement is therefore a unitarity-consistency check of a fitted parameter rather than an independent test of the double-copy prescription. What is independently established at tree level is: the four-point factorizations (which leave f± free), the five-point agreement with ref. [182], and the six-point maximal cuts (4.11)-(4.14), which do not involve the f± contact term. The abstract's phrase 'explicitly verified up to six external massive scalars' is thus stronger than the evidence: one parameter is fit on six-point data and no higher-point independent check is shown. This is a real soft spot -- not a sign of error -- and the paper itself flags the need for eight-point checks in the conclusion.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a modified double-copy prescription for computing general-relativity amplitudes with massive scalar matter, in which a massless scalar 'sqrt-dilaton' ghost is added to the gauge theory and combined in an asymmetric double copy so that unwanted dilaton exchanges cancel automatically. The authors bootstrap gauge-theory numerators at four, five, and six points, fixing an unknown two-scalar-two-sqrt-dilaton coupling f± by matching the next-to-maximal cut of the six-point amplitude, and then report agreement with the GR results of ref. [89]. They also construct one-loop four-point numerators and find that, after subtracting axion bubble contributions, a residual local bubble remainder remains (eq. (5.28)). The paper is transparent about these limitations and explicitly calls for eight-point checks.","tokens_in":39657,"tokens_out":3388,"duration_ms":37444,"significance":"If the tree-level prescription is correct, it provides a projector-free, automatic cancellation of dilaton contamination in GR amplitudes with massive scalars, which would be a useful technical advance for classical and quantum gravitational scattering computations. The paper is careful and detailed: explicit numerators are given, the bootstrap and cut comparisons are documented, agreement with the five-point amplitude of ref. [182] is reported, and the one-loop residual remainder is acknowledged rather than hidden. The main limitation is that the central tree-level verification is not parameter-free: the coupling f± is fitted to six-point data, and the same six-point amplitude is then used to demonstrate the construction. The paper is valuable as a step toward a ghost-based dilaton subtraction, but its headline claim should be tempered until an independent higher-point test or a first-principles derivation of f± is supplied.","major_comments":[{"comment":"The coupling f± is fixed by matching the next-to-maximal cut of the six-point amplitude to the double copy (eqs. (4.15)–(4.17)), and the same six-point amplitude is then presented as the verification that the construction works up to six external massive scalars. The six-point agreement is therefore a consistency check of a fitted parameter, not an independent confirmation of the double-copy prescription. The abstract's phrase 'explicitly verified up to six external massive scalars' is stronger than the evidence. The authors should either supply an independent higher-point check (for example, eight external scalars, which they themselves call for in the conclusion) or explicitly state that the tree-level verification is conditional on the value of f± determined in §4.2.","section":"§4.2, eqs. (4.15)–(4.20); Abstract"},{"comment":"The Lagrangian (2.23) contains the two-scalar-two-sqrt-dilaton coupling f1, which is added by hand rather than derived from the Kaluza-Klein compactification. Since f± = -1 + f1 (eq. (3.13)), the central ingredient of the asymmetric double copy is not a consequence of the top-down dimensional reduction. The paper should make clear that this is an ansatz parameter and either derive it from a symmetry or identify an independent principle that fixes it; currently the six-point matching is the only source of the value.","section":"§2.4, eqs. (2.22)–(2.23); §3.2, eq. (3.13)"},{"comment":"At one loop, the proposed double copy does not automatically cancel all unwanted states: the axion contribution must be subtracted by hand (eqs. (5.22)–(5.27)), and even after that subtraction a residual bubble remainder Δ remains (eq. (5.28)). This is a real gap in the 'automatic' cancellation claim at loop level. The authors acknowledge the remainder and discuss possible resolutions, but no concrete completion is provided. The abstract should be adjusted to state that the one-loop prescription requires additional subtraction steps and is not yet closed.","section":"§5.3, eq. (5.28)"},{"comment":"The new bonus relation with the multiplicative factor f± is introduced as an assumption and is then used for the six-point numerators and for the one-loop construction. Its validity for general multiplicity is not demonstrated; the six-point check exercises it only in a single configuration, and only after f± has been fitted. The paper should explicitly list this relation among the axioms of the construction and discuss what independent evidence (for example, a higher-multiplicity cut or a symmetry argument) would justify it.","section":"§3.2, eq. (3.12); §4.2, eq. (4.3)"}],"minor_comments":[{"comment":"The text 'six-opoint numerators' should read 'six-point numerators'.","section":"§4, 'Final expressions'"},{"comment":"The axion remainder expression in eq. (5.26) is very long; moving it to an appendix, or at least stating the simplified Gram-determinant form (5.27) first, would improve readability.","section":"§5.3, eq. (5.26)"},{"comment":"The notation '√dilaton' is used interchangeably as a word and as a math symbol; defining a single consistent typesetting convention (for example, always as ‘sqrt-dilaton’ in text) would avoid confusion.","section":"§2.4, below eq. (2.23)"}],"recommendation":"major_revision","confidential_remarks":"The paper is well within the scope of the journal and reports a technically detailed step toward a ghost-based dilaton subtraction. The main issue is the status of the fitted coupling f±: the six-point amplitude is used both to fix it and to claim verification. I would not recommend rejection, but the authors should provide an independent higher-point check or substantially reword the abstract and conclusion to state the conditional nature of the tree-level verification. The one-loop residual remainder also needs to be presented more prominently as an open problem rather than a minor caveat."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. First, this paper has a genuinely new idea: a bosonic 'sqrt-dilaton' ghost in the gauge theory, combined with an asymmetric double copy using conjugate couplings f± = -1 ± sqrt(Ds-1), automatically removes dilaton contamination in amplitudes with massive scalars, in general dimension. That is a real step beyond the fermionic ghosts of ref. [16] and the projection methods of refs. [86,89]. Second, the headline claim—tree-level verification up to six external massive scalars—carries an asterisk: the coupling f± is fixed by matching the same six-point next-to-maximal cut that is then presented as the check. The paper is honest about this, but the abstract is a bit strong.\n\nWhat is good. The bootstrap is careful. Four-point amplitudes are fixed from factorization, the five-point result agrees with ref. [182], and the six-point maximal cuts work without pinning down f±. The explicit numerators and Lagrangian are given, and the one-loop analysis is admirably transparent: after removing the axion bubble by hand, a local bubble remainder (eq. 5.28) survives, and the authors list four possible resolutions. That is the right way to report an incomplete result.\n\nThe soft spots are real but not fatal. f± enters the Lagrangian (2.23) by hand; it is not derived from the compactification. Using the six-point NMC cut (4.15)-(4.17) to fix it, then comparing the full six-point amplitude and calling that a verification, is circular in a narrow sense. The independent evidence—four-point factorizations, five-point agreement, six-point maximal cuts—makes the construction plausible but not proven. The paper itself flags the need for an eight-point check. The one-loop story is unfinished: the axion and residual bubble terms mean the prescription is not yet a loop-level tool. The comparison data come from the same group's refs. [86,89]; that is normal in this field and not a problem.\n\nWho this is for: double-copy and amplitudes people, especially those computing massive-scalar gravitational amplitudes for black-hole scattering. If the tree-level prescription survives an eight-point test, it could become a standard tool. The paper deserves serious peer review: the technical content is substantial, the math appears internally consistent, and the limitations are stated rather than hidden. My recommendation: send it to a good hep-th journal, and ask the authors to add an independent higher-point check or explicitly reframe the six-point result as fixing f± rather than verifying the prescription.","headline":"A genuinely new ghost-based double copy for removing dilatons, but the six-point 'verification' fits its only coupling on the same data—send to review with a request for an independent check.","tokens_in":40211,"tokens_out":3105,"would_cite":true,"duration_ms":30460,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper establishes that a ghost-like $\\sqrt{\\text{dilaton}}$ scalar added to Yang–Mills theory and subtracted as an asymmetric double copy automatically cancels dilaton contamination, matching tree-level general-relativity amplitudes…","keywords":["double copy","color-kinematics duality","dilaton","massive scalar matter","scattering amplitudes","general relativity","Kaluza-Klein compactification","unitarity cuts"],"falsifier":"Compute the eight-massive-scalar tree amplitude with the same double copy and compare all factorization cuts against the general-relativity amplitude obtained by the projective method; any mismatch in a cut or the full amplitude would rule out the tree-level prescription, since renormalizability forbids introducing new higher-point contact terms to fix it.","tokens_in":39049,"feed_emoji":"👻","tokens_out":7486,"duration_ms":68850,"temperature":0.7,"pith_summary":"Scattering amplitudes in general relativity can be obtained from the double copy of Yang–Mills theory, but when massive scalar matter is present the naive double copy also produces massless scalar dilaton states that are not part of general relativity. This paper develops a prescription that removes those dilatons automatically: add a massless scalar field, called the $\\sqrt{\\text{dilaton}}$, to the gauge theory and subtract its double copy from the Yang–Mills double copy, treating the new field as a ghost with conjugate couplings in the two copies. The paper verifies that this asymmetric double copy reproduces the required dilaton graphs in general spacetime dimension at tree level, up to six external massive scalars, by matching against known general-relativity amplitudes. At one loop, the same prescription reproduces the four-scalar integrand after the axion bubble is subtracted by hand, leaving a local remainder that vanishes in the classical limit. If the prescription holds at higher multiplicity, it gives a faster, projector-free route to gravitational amplitudes for massive matter.","feed_headline":"Double copy cancels dilaton contamination with a ghost scalar","feed_subtitle":"Tree amplitudes with up to six massive scalars match general relativity with no projectors.","key_machinery":"The central object is the $\\sqrt{\\text{dilaton}}$ ghost: a massless adjoint scalar obtained from dimensional compactification of Yang–Mills, whose double copy produces a dilaton dressed with ghost-like signs. The mechanism is the subtraction formula $M_{\\rm GR}=\\sum_\\Gamma N_\\Gamma\\tilde N_\\Gamma/\\prod(p_i^2-m_i^2)+\\sum_l(-1)^l(D_s-2)^{-l}\\sum_{\\Gamma_l}N_{\\Gamma_l}\\tilde N_{\\Gamma_l}/\\prod(p_i^2-m_i^2)$, which in practice is the Yang–Mills double copy minus the $\\sqrt{\\text{dilaton}}$ double copy. Load-bearing identities are the kinematic Jacobi relations inherited from the gluons and the new bonus relation $f_\\pm N_2(1,2,3,4)=N_1(1,2,3,4)-N_1(1,2,4,3)$ with $f_\\pm=-1\\pm\\sqrt{D_s-1}$; using $f_+$ in one copy and $f_-$ in the other makes $f_+f_-=-(D_s-2)$ and cancels the dilaton projector normalizations. The bootstrap fixes all numerators through unitarity cuts, with the value of $f_\\pm$ fixed by matching the six-point amplitude to general relativity.","core_discovery":"The central claim is that a gauge theory consisting of Yang–Mills plus massive scalars and an additional massless $\\sqrt{\\text{dilaton}}$ scalar, with the quartic two-scalar–two-$\\sqrt{\\text{dilaton}}$ coupling $f_\\pm=-1\\pm\\sqrt{D_s-1}$ assigned with opposite signs in the two copies of the double copy, automatically reproduces the dilaton contamination of the naive double copy. Consequently the difference of the two double copies gives the general-relativity amplitude. The authors verify this at tree level by matching maximal and next-to-maximal cuts of the six-massive-scalar amplitude, and the final numerators satisfy color-kinematics and bonus relations, including a new multiplicative relation $f_\\pm N_2=N_1-N_1'$ that rationalizes the dilaton normalization $(D_s-2)$ in the double copy. At one loop, the four-point amplitude is constructed by the same numerators, and after accounting for the axion bubble by hand, the remaining mismatch is a single local bubble contribution that vanishes in the classical limit.","pith_inferences":["If the six-point verification is unique, the value $f_\\pm=-1\\pm\\sqrt{D_s-1}$ likely encodes a deeper kinematic-algebra relation between graphs with different numbers of contiguous $\\sqrt{\\text{dilaton}}$ lines, possibly derivable from an off-shell symmetry rather than fixed by matching.","The residual one-loop bubble is local and vanishes classically, so a complete loop-level prescription may be unnecessary for classical gravitational-wave observables; the natural next ingredient is a ghost for the axion or $B_{\\mu\\nu}$ field.","The method should be stress-tested at eight external massive scalars, where a first non-trivial mismatch would show up in a triple or quadruple cut, and renormalizability forbids introducing new higher-point contact terms to repair it.","Promoting the $\\sqrt{\\text{dilaton}}$ to a complex field or to a vector ghost may resolve the loop remainder, but the paper's preliminary analysis indicates that new double-counting rules would then be needed to avoid over-cancellation of dilatons."],"forward_implications":["Tree-level general-relativity amplitudes with massive scalar matter can be assembled from two simpler double copies, the Yang–Mills square minus the $\\sqrt{\\text{dilaton}}$ square, with no state projectors on internal lines.","The same gauge-theory Lagrangian and numerator relations pass the six-scalar check, so higher-multiplicity tree amplitudes such as eight external scalars become a concrete computational target rather than a conceptual obstruction.","At one loop the four-scalar integrand matches general relativity after subtracting the axion bubble, and the remaining local bubble remainder vanishes in the classical limit, leaving classical observables unaffected.","The asymmetric conjugation $f_+$/$f_-$ rationalizes the dilaton normalization factor $D_s-2$ inside the double copy, which is why the ghost subtraction works without extra projectors."],"supporting_citations":[{"why":"Supplies the general-relativity amplitudes and projective-double-copy results that the difference cuts are compared against.","marker":"[89]"},{"why":"Provides the Yang–Mills double-copy amplitudes with massive scalars that form the naive double copy being corrected.","marker":"[86]"},{"why":"Introduced double-copy ghost fields for removing unwanted states, the idea this paper adapts to massive-scalar-sourced dilatons.","marker":"[16]"},{"why":"Observed that a bosonic scalar ghost can remove the dilaton in simple four- and five-point tree graphs, the starting point for the current construction.","marker":"[182]"},{"why":"Establishes the color-kinematics duality that the kinematic numerator relations in the construction must satisfy.","marker":"[1]"},{"why":"Formulates the double-copy map from gauge-theory numerators to gravitational amplitudes used throughout.","marker":"[2]"}],"fun_headline_variants":["Asymmetric double copy ghosts away dilatons","Double copy with ghost scalar matches GR amplitudes","New double copy prescription removes dilatons","Six-point tree check confirms dilaton-free double copy"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The number $f_\\pm=-1\\pm\\sqrt{D_s-1}$, which controls how two massive scalars talk to two ghost scalars, is set by matching to the six-point general-relativity result rather than derived from first principles; if a different value or a different truncation of the gauge theory also matched the available data, the automatic cancellation would not be uniquely established.","fun_headline_variants_meta":{"raw":{"variants":["Asymmetric double copy ghosts away dilatons","Double copy with ghost scalar matches GR amplitudes","New double copy prescription removes dilatons","Six-point tree check confirms dilaton-free double copy"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000827,"raw_usage":{"total_tokens":3593,"prompt_tokens":900,"completion_tokens":2693,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":516,"completion_tokens_details":{"reasoning_tokens":2637}},"tokens_in":516,"tokens_out":2693,"duration_ms":18426,"temperature":1.0,"reasoning_tokens":2637,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T04:32:35.619026+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the eight-massive-scalar tree amplitude with the same double copy and compare all factorization cuts against the general-relativity amplitude obtained by the projective method; any mismatch in a cut or the full amplitude would rule out the tree-level prescription, since renormalizability forbids introducing new higher-point contact terms to fix it.","supporting_citations":[],"review_version":1}