{"id":"fdbf3af0-d0f2-4836-9f4a-22db0b53da5c","arxiv_id":"2501.00071","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":2.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"Exterior stability of Minkowski spacetime for the Einstein-Yang-Mills system in the Lorenz gauge is claimed for small data, with a proof outline built on a null frame decomposition.","lead":"This paper claims that small perturbations of flat spacetime coupled to non-abelian Yang-Mills fields decay to zero outside a light cone when the fields are written in the Lorenz gauge. The proof is sketched using null frames and energy estimates, but the full argument depends on the author's earlier preprints.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1 rests on Lemma 2.2, an imported energy estimate for A_ea that this manuscript does not prove; if that lemma is wrong or has hidden hypotheses, the control of the bad term A_ea·∇A_ea and the bootstrap collapse.","rationale":"The reader's weakest assumption is the same as the point I would stress. The paper is honestly titled an overview, and the theorem may be true; but as a stand-alone proof of Theorem 1 it delegates the decisive new estimate to a companion preprint [35] and reproduces no derivation. I find this to be a real, not manufactured, gap: the bad term A_ea · ∇(m) A_ea is the advertised new difficulty relative to Einstein vacuum and Einstein-Maxwell, and Lemma 2.2 is the only device introduced to handle it. If the lemma is correct, the high-level strategy is plausible; if it is not, the bootstrap of Proposition 2.1 cannot close. Since the concern is exactly the one the reader identified, I do not change the verdict. The check above would settle it.","tokens_in":27556,"tokens_out":10148,"duration_ms":103690,"concrete_test":"Obtain arXiv:2310.08611 [35] and verify Lemma 2.2 from its proof. Concretely: (1) re-derive the energy identity for Φ_V using the multiplier defined there and check that the null flux over N_{t1}^{t2} is nonnegative with no undisplayed boundary term on ∂Σ_ext; (2) confirm that in the null-frame wave equation for A_ea the coefficient of A_ea · ∇(m) A_ea is indeed absent, so estimate (2.20) is not circular; (3) test the lemma on the model case g = m, A = 0 with Φ_V a tangential free-wave component and verify that the inequality reduces to the standard weighted energy identity with the stated weights w(q) and (1+|q|)-weights. If any of these fail, Theorem 1 is not established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The single most load-bearing point is Lemma 2.2 (Section 2.2), imported from [35]. It supplies the only weighted energy and pointwise decay for the tangential components A_ea, and those estimates are what allow the paper to control the bad quadratic term A_ea · ∇(m) A_ea appearing in the A_L wave equation (2.19). Without Lemma 2.2, the displayed estimates (2.20), (2.21), (2.24), (2.25) that feed Proposition 2.1 are unsupported: the bootstrap energy contains full gradients of A, so a direct estimate of A_ea · ∇(m) A_ea would give a factor too large to close. The manuscript quotes the lemma verbatim but gives no proof, and the hypotheses on the weight w, the exterior domain Σ_ext, the null-boundary flux term, the decay of Φ_V at spatial infinity, and the role of the bootstrap constant E(4) cannot be checked from this text. This is an omitted proof exactly where the argument departs from the Einstein vacuum and Einstein-Maxwell cases.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims an exterior stability theorem for the (1+3)-dimensional Minkowski spacetime solution of the Einstein-Yang-Mills system in the Lorenz gauge, for Yang-Mills fields valued in an arbitrary compact Lie algebra. Theorem 1 asserts that sufficiently small, smooth, asymptotically flat constraint-satisfying initial data admit a solution in the future of the causal complement of any compact set, converging to a null Yang-Mills potential and to Minkowski spacetime, with the pointwise decay estimates (1.22)-(1.24) and the weighted energy bound (1.26). The announced proof proceeds by reducing the system to nonlinear wave equations in a null frame, then controlling the \"bad\" nonlinearities A_ea·∇A_ea and A_L·∇A by a separate energy estimate for tangential components, refined commutator estimates, and a bootstrap closure.","tokens_in":27862,"tokens_out":9353,"duration_ms":90455,"significance":"If true, the theorem would be a substantial advance: it addresses a fully coupled Einstein-matter system whose Lorenz-gauge equations fail the null condition, and it covers arbitrary compact Lie algebras without symmetry assumptions. The proposed strategy is meaningful, singling out a genuinely new difficulty, the tangential component A_ea in the wave equation for A_L, which requires a componentwise energy estimate that is absent in the Einstein-vacuum and Einstein-Maxwell cases. However, the present manuscript does not contain the proof of its central claims. The two main structural inputs, Lemma 2.1 and Lemma 2.2, are imported from same-author preprints [34] and [35] without proof; the bootstrap closure in Proposition 2.1 is only sketched via an unsupported inequality (2.53); and Theorem 1 repeats the statement of [36]. Thus the significance is conditional and cannot be assessed from this text.","major_comments":[{"comment":"The single most load-bearing estimate, the exterior energy inequality for the tangential components A_ea, is quoted from [35] with no proof. The lemma is used to control the term |A_ea|·|∇(m)A_ea| in the wave equation (2.19) and to derive (2.20), (2.21), (2.24), and (2.25), all of which feed into Proposition 2.1. The hypotheses on Φ_V, the weight w(q), the domain Σ_ext^t, the null-boundary flux term, the decay of Φ at infinity, and the role of the bootstrap constant E(4) are not checked, or even defined, in the present manuscript. Without this lemma the estimates in Subsection 2.2 are unsupported and Theorem 1 does not follow. This is precisely the point where the analysis departs from the Einstein-vacuum and Einstein-Maxwell cases, so the missing proof is load-bearing.","section":"Section 2.2, Lemma 2.2"},{"comment":"The reduction of the Einstein-Yang-Mills system to the coupled wave equations (2.5)-(2.6), together with the assertion that solutions of these reduced equations satisfy the Lorenz and wave-coordinate gauge conditions, is imported from [34] without proof. Moreover, the text states that (2.15)-(2.18) are not merely estimates but are equalities between tensors, yet it displays only inequalities and provides no derivation. These equalities are the basis for the schematic wave equations (2.19) and for the subsequent good/bad decomposition. A reader therefore cannot verify that the system treated in Sections 2.2-2.5 is equivalent to the original Einstein-Yang-Mills system (1.1) in the claimed gauges.","section":"Section 2.1, Lemma 2.1"},{"comment":"The closure of the bootstrap is not proved. The proof consists of the single estimate (2.53), followed by \"This leads to\" and \"Hence, we get the result.\" There is no derivation of (2.53) from the preceding estimates (2.20)-(2.25), (2.38)-(2.42), and (2.48)-(2.52); no Gronwall argument is written; and the crucial choice of δ relative to the bootstrap power (1+t)^δ is absent. In particular, since (2.53) contains both a time integral of E_{|K|}(t) with a (1+t)^{-1} factor and one with a (1+t)^{-1+c·ǫ} factor, the closure requires a delicate smallness/δ hierarchy that is not supplied. The term E_{|I|+2}(t1) on the right-hand side also needs an absorption argument using the initial smallness (1.27). This gap is central because Proposition 2.1 is the step that upgrades the a priori bound (2.2) to the theorem's conclusions.","section":"Section 2.5, Proposition 2.1"},{"comment":"The statement of Theorem 1 leaves the role of the mass parameter M ambiguous. The initial data are given by (Σ, A, E, g, k), but h^1 in (1.12) is defined by subtracting χ(r) M/r from g_ij for a constant M that is not explicitly identified with the ADM mass of (Σ, g). The smallness of E_{N+2} in (1.17) then depends on this choice of M, and the estimates (1.22)-(1.29) use the same M in the definition of h0. Without a statement that M is determined by g, a given data set may satisfy (1.17) for one choice of M and fail for another. The theorem's hypotheses should be made unambiguous.","section":"Section 1, Theorem 1"}],"minor_comments":[{"comment":"The phrase \"hyperbolic partial partial differential\" and the sentence \"in the future causal of the compact K\" should be corrected; these appear to be typographical errors.","section":"Abstract and Introduction"},{"comment":"The theorem is labeled \"Theorem 1\" in Section 1, but Section 2 repeatedly refers to \"Theorem 1.2\" (e.g., \"The goal of this section is to prove Theorem 1.2\" and \"we proved our Theorem 1.2\"). The numbering should be made consistent.","section":"Theorem 1 and Section 2"},{"comment":"The weight w is introduced in (1.25), but the text at the start of Subsection 2.2 refers to \"Definition 1.25\"; this should be \"equation (1.25)\".","section":"Section 2.2"},{"comment":"The constraint equations are cited as \"(1.14), (1.16), (1.16)\"; the middle reference should be (1.15).","section":"Section 2.1, sentence before (2.7)"},{"comment":"Lemma 2.2 is not self-contained: the objects Σ_ext^t, N_{t1}^{t2}, dv^{(m)}_N, T^{(g)}, L_t, and Φ_V are not defined in the lemma statement. Definitions should be supplied even if the proof is in [35].","section":"Section 2.2, Lemma 2.2"},{"comment":"The energy norm E_N uses expressions D(D^I A) and D(D^I h^1), but the order and meaning of the derivatives is ambiguous. It should be clarified whether D^I denotes repeated covariant derivatives and how the metric-dependent D interacts with the flat derivatives used elsewhere, e.g., in the energy norm (2.1).","section":"Section 1.2, equation (1.13)"}],"recommendation":"reject","confidential_remarks":"The paper's theorem coincides with the announcement in the author's preprint [36], and the two main lemmas are imported from [34] and [35], all by the same author. If the editor is considering this as a research announcement, I would recommend requiring evidence that [34] and [35] have been refereed or accepted, or that their proofs are included as supplementary material. As it stands, the present text is unverifiable without those preprints. The fit with a standard math.AP paper is also questionable: the manuscript is mostly recalled statements and displayed estimates, with no complete proof of any of the four subsections. A full proof, rather than an overview, would be needed before publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is an overview in the literal sense. Theorem 1 is the same exterior stability statement as the author's [36], and the two lemmas that carry the proof (Lemma 2.1 from [34], Lemma 2.2 from [35]) are imported, not proved. If you take this manuscript alone, the central theorem is not established.\n\nThat said, the paper earns its keep in other ways. It isolates the two genuinely new obstacles for the Lorenz-gauge Einstein-Yang-Mills system: the tangential quadratic term A_ea · ∇A_ea and the longitudinal term A_L · ∇A. The schematic decomposition of the wave equations in (2.19)-(2.20) is informative, and the paper is explicit about why the Maxwell case is different: the potential itself enters the dynamics, so gauge-breaking is unavoidable. The sections on the commutator upgrade (2.4) also make clear where the extra work is. For a reader who wants to know what the difficulty is, this is a useful map.\n\nNow the soft spots, in proportion. The biggest is Lemma 2.2: it is literally the only reason the term A_ea · ∇A_ea can be controlled, and its statement includes hypotheses on the weight w, the null boundary flux, the decay of Φ_V, and the role of E(4) that cannot be checked from this text. The proof of Proposition 2.1 is condensed to a single 'This leads to' after (2.53), with the Gronwall step not shown. Many displayed estimates, (2.15)-(2.18) and (2.29)-(2.33), are asserted without derivation, though the paper does flag which ones are actually literal identities. These gaps are exactly where the argument differs from the vacuum and Maxwell cases.\n\nIs the central argument sound? Probably, if the companion preprints are correct, but I cannot tell from this manuscript. The self-reference burden is real: [34], [35], and [36] are all same-author preprints, and the two pillars of the proof are hidden there. The paper is honest about being an overview, so I do not read it as an attempt to conceal anything; but as a standalone work, it does not carry the proof.\n\nWho gets value: someone who wants the high-level strategy or who is checking whether the problem is mature. It is not a paper to cite for the theorem itself; cite [36] if that gets refereed.\n\nRecommendation: this deserves a serious referee only if the editor also sends the companion papers along, or if the scope is explicitly an announcement. For a regular submission, I would send it back for a full proof or a clear statement that it is an extended abstract, not a research article. As-is, I would not accept it, but I would not desk-reject it either: send to review with instructions to examine the companion chain.","headline":"A readable roadmap for a claimed proof that rests on unproved imports; the overview is useful, but the theorem is not established here.","tokens_in":28339,"tokens_out":3784,"would_cite":false,"duration_ms":34628,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q75","35L72","83C05","35B40"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims that small smooth perturbations of the Einstein-Yang-Mills system in the Lorenz gauge decay to zero outside the future light cone of any compact set, leaving Minkowski spacetime stable there.","keywords":["Einstein-Yang-Mills system","exterior stability","Minkowski spacetime","Lorenz gauge","wave coordinates","null frame decomposition","Yang-Mills potential","nonlinear wave equations"],"falsifier":"Read Lemma 2.2 in the companion preprint [35] and check whether its hypotheses cover the objects to which it is applied here: the lemma asks for a field decaying sufficiently fast at spatial infinity, while in (2.20) it is applied to Lie derivatives $Z^I A_{e_a}$ whose decay under the bootstrap is only the slow rate of (2.21); if the lemma is false or carries extra hypotheses, the pointwise estimate (2.21) and Theorem 1 collapse. A direct way to look for that failure is to test the inequality (2.20) on a small spherically symmetric SU(2) mode in Minkowski space, where the left-hand side and the $|Z^K H_{LL}|^2/(1+|q|)^{4+2\\gamma}$ term can be evaluated explicitly and checked against the claimed weights.","tokens_in":27339,"feed_emoji":"🌌","tokens_out":19858,"duration_ms":162783,"temperature":0.7,"pith_summary":"The paper claims a proof of the exterior stability of Minkowski spacetime — stability in the whole region lying outside the future light cone of any prescribed compact set — for the fully coupled Einstein-Yang-Mills system in the Lorenz gauge (the divergence condition $\\nabla^\\alpha A_\\alpha = 0$ imposed on the Yang-Mills potential $A$) and in harmonic wave coordinates on the metric, for the potential valued in the Lie algebra of any compact Lie group, without spherical symmetry. The main theorem states that sufficiently small, smooth, asymptotically flat initial data satisfying the Einstein-Yang-Mills constraint equations produce a solution that, in the future causal complement of any compact set, converges to the zero Yang-Mills potential and to Minkowski spacetime, with explicit pointwise decay rates for the fields and curvature and an energy that grows at most like an arbitrarily small power of time. A sympathetic reader should care because this is a matter-coupled stability problem that fails the null condition (the quadratic structure that makes small quasilinear waves disperse cleanly): unlike Einstein-Maxwell, the non-abelian equations cannot be written without the potential, so stability is genuinely gauge-dependent, and new quadratic terms $A_{e_a}\\nabla^{(m)} A_{e_a}$ and $A_L \\nabla^{(m)} A$ arise that the vacuum and Maxwell analyses never face. The proof's work is to tame these two bad nonlinearities through a null-frame decomposition (splitting the fields into components along the outgoing null cone and the 2-spheres), a dedicated weighted energy estimate for the tangential components $A_{e_a}$, a Hardy-type inequality in the exterior, and a refined commutator estimate that upgrades decay for all Lie derivatives.","feed_headline":"Small Yang-Mills perturbations disperse, leaving Minkowski spacetime intact","feed_subtitle":"Proof shows flat spacetime is stable in the exterior under small Einstein-Yang-Mills matter in Lorenz gauge.","key_machinery":"The central objects are the null-frame tetrad $\\{L, \\underline{L}, e_1, e_2\\}$ built from wave coordinates, which decomposes the coupled system into 'good' components ($A_T$, $h^1_{TU}$) controllable through the Lorenz gauge and wave-coordinate conditions, and 'bad' components ($A_L$, $A_{e_a}$) whose products $A_L \\cdot \\nabla^{(m)} A$ and $A_{e_a} \\cdot \\nabla^{(m)} A_{e_a}$ appear in the wave equation for $A_L$ in (2.19). The bad term $A_{e_a} \\cdot \\nabla^{(m)} A_{e_a}$ is controlled by Lemma 2.2, a weighted energy estimate for the tangential components imported from the companion preprint [35]; the bad term $A_L \\cdot \\nabla^{(m)} A$ is controlled using a strong Lorenz-gauge decay estimate for $A_L$ in (2.26)-(2.27), a Hardy-type inequality in the exterior (Corollary 2.2), and an estimate on $\\partial A_L$ in (2.29). Finally, a refined commutator estimate (2.43)-(2.44), inserted into the null-frame Lie-derivative upgrade (2.45) taken from Corollary 7.2 of [52], upgrades the dispersive estimates to all Lie derivatives of the fields, and the energy bootstrap $E_N(t) \\leq E(N)\\, \\epsilon\\,(1+t)^\\delta$ is closed by a Gronwall argument in Proposition 2.1.","core_discovery":"The paper's central claim, Theorem 1, is that given smooth, asymptotically flat initial data satisfying the Einstein-Yang-Mills constraint equations with sufficiently small weighted energy norm $E_{N+2}$ and small mass $M$, there exists a solution $(M,A,g)$ of the fully coupled Einstein-Yang-Mills system in the Lorenz gauge and in wave coordinates, defined in the whole future causal complement of any compact set $K \\subset \\Sigma$ and converging to the zero Yang-Mills potential and to Minkowski spacetime. More precisely, the perturbation $h^1 = g - m - h^0$ of the metric and the potential $A$ obey the pointwise decay estimates (1.22) and (1.23), the Yang-Mills curvature decays according to (1.24), and the exterior energy satisfies $E_N(K)(t) \\leq C(N)\\, \\epsilon \\,(1+t)^\\epsilon$ as in (1.26). The proof treats the coupled system as covariant nonlinear wave equations in a null frame, and a recurring structural finding is that the energy estimate must be closed separately for the tangential components $A_{e_a}$ before the full potential can be handled — a distinction that has no analogue in the Einstein vacuum or Einstein-Maxwell cases, and which reflects the failure of the null condition in the Lorenz gauge.","pith_inferences":["If the exterior stability is correct, the natural next conjecture is full global stability, obtained by covering the interior of the future light cone with a chain of similar exterior-type estimates; the present argument offers no control that crosses the cone $r = t$, so the boundary of the exterior region is where a genuine obstruction could still hide.","Because the bootstrap opens through the imported tangential energy estimate (Lemma 2.2), the theorem is currently conditional on that companion preprint; checking that Lemma 2.2 applies to the Lie derivatives $Z^I A_{e_a}$ used in (2.20) is the fastest way to test the whole chain.","In the abelian limit (gauge group U(1)), the bad products commute away and the system degenerates toward Einstein-Maxwell, so the present estimates should collapse onto the known Einstein-Maxwell stability statements; reproducing that limit would be a clean consistency check.","The decay rates (1.22)-(1.24) are sharp enough to benchmark Lorenz-gauge numerical relativity: a small SU(2) perturbation of flat spacetime simulated in this gauge either exhibits the stated $1/(1+t+|q|)^{1-\\epsilon}(1+|q|)^{1+\\gamma}$ falloff or exposes a concrete gap in the estimates."],"forward_implications":["For every compact gauge group, small smooth data satisfying the Einstein-Yang-Mills constraints produce a solution in the Lorenz gauge and wave coordinates that converges to the zero Yang-Mills potential and to Minkowski spacetime throughout the exterior region, at the pointwise rates (1.22)-(1.23).","The gauge-invariant Yang-Mills curvature decays at the explicit rate (1.24), so the physically meaningful field strength disperses, not merely the gauge-dependent potential.","The exterior energy is almost conserved: $E_N(K)(t) \\leq C(N) \\epsilon (1+t)^\\epsilon$ as in (1.26), with the loss confined to an arbitrarily small power of time.","Stability in this formulation is genuinely gauge-dependent: because the Yang-Mills equations cannot be expressed without the potential $A$, the statement of the theorem presupposes the Lorenz gauge, in contrast to the abelian Maxwell case where the curvature suffices.","Because the system fails the null condition, the proof shows that the failure of null structure is not an obstruction to exterior stability; the offending products $A_{e_a}\\nabla^{(m)}A_{e_a}$ and $A_L\\nabla^{(m)}A$ are controlled by separate estimates rather than by a null condition."],"supporting_citations":[{"why":"Supplies Lemma 2.2, the weighted energy estimate for tangential components $A_{e_a}$ that controls the bad product $A_{e_a}\\nabla^{(m)}A_{e_a}$ and opens the bootstrap; it is not proved in this paper.","marker":"[35]"},{"why":"Preceding paper from which the coupled wave-equation recast (Lemma 2.1), the null-ray integration method, and prior energy machinery are recalled.","marker":"[34]"},{"why":"Harmonic-gauge stability proof for the Einstein vacuum equations whose null-frame decomposition is adopted and whose Corollary 7.2 upgrades the dispersive estimates for Lie derivatives of the fields.","marker":"[52]"}],"fun_headline_variants":["Proof: Minkowski resists small Yang-Mills ripples","Exterior stability proved for Einstein-Yang-Mills equations","Small Yang-Mills fields decay, spacetime stays flat outside","Lorenz gauge yields stability proof for Einstein-Yang-Mills"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument rests on Lemma 2.2, a weighted energy estimate for the tangential components $A_{e_a}$ of the Yang-Mills potential that is imported from the companion preprint [35] and not proved here; if that lemma carries hidden hypotheses or an error, the controls on the bad product $A_{e_a}\\cdot\\nabla^{(m)}A_{e_a}$ and the pointwise decay (2.21) — hence the theorem — do not follow.","fun_headline_variants_meta":{"raw":{"variants":["Proof: Minkowski resists small Yang-Mills ripples","Exterior stability proved for Einstein-Yang-Mills equations","Small Yang-Mills fields decay, spacetime stays flat outside","Lorenz gauge yields stability proof for Einstein-Yang-Mills"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000878,"raw_usage":{"total_tokens":3911,"prompt_tokens":1177,"completion_tokens":2734,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":793,"completion_tokens_details":{"reasoning_tokens":2663}},"tokens_in":793,"tokens_out":2734,"duration_ms":20516,"temperature":1.0,"reasoning_tokens":2663,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T23:16:37.832964+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Read Lemma 2.2 in the companion preprint [35] and check whether its hypotheses cover the objects to which it is applied here: the lemma asks for a field decaying sufficiently fast at spatial infinity, while in (2.20) it is applied to Lie derivatives $Z^I A_{e_a}$ whose decay under the bootstrap is only the slow rate of (2.21); if the lemma is false or carries extra hypotheses, the pointwise estimate (2.21) and Theorem 1 collapse. A direct way to look for that failure is to test the inequality (2.20) on a small spherically symmetric SU(2) mode in Minkowski space, where the left-hand side and the $|Z^K H_{LL}|^2/(1+|q|)^{4+2\\gamma}$ term can be evaluated explicitly and checked against the claimed weights.","supporting_citations":[{"cited_title":"Energy estimates for the Einstein-Yang-Mills fields and applications","cited_arxiv_id":"2310.08611","evidence_quote":"Supplies Lemma 2.2, the weighted energy estimate for tangential components $A_{e_a}$ that controls the bad product $A_{e_a}\\nabla^{(m)}A_{e_a}$ and opens the bootstrap; it is not proved in this paper."},{"cited_title":"Lindblad, I","cited_arxiv_id":null,"evidence_quote":"Harmonic-gauge stability proof for the Einstein vacuum equations whose null-frame decomposition is adopted and whose Corollary 7.2 upgrades the dispersive estimates for Lie derivatives of the fields."}],"review_version":1}