{"id":"632296ca-af07-45be-97ac-22f2f670ebdd","arxiv_id":"2508.00122","paper_version":2,"verdict":"REJECT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"high","formal_verification":"none","parameter_count":2,"one_line_summary":"Global existence and sharp pointwise decay are proven for cubic Dirac and Dirac-Klein-Gordon systems on space-times close to Minkowski space.","lead":"This paper proves that small nonlinear Dirac fields, and Dirac fields coupled to a scalar field, can exist for all time on curved spacetimes that are close to flat space. If the proof holds, it gives the first global well-posedness and sharp decay results for such systems on curved asymptotically flat backgrounds.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Displayed bootstrap only yields t^{3/2}|ψ|≤Cετ^{2δ}; the claimed O(ε) decay rests on an unproved 'modified bootstrap' at the end of §5.","rationale":"The paper has a credible strategy: square the Dirac operator, treat the spinorial terms as small potentials, and run a hyperboloidal bootstrap. The reader's local well-posedness objection is valid and independently blocks the start: the citation to Theorem 11.2.1 of [44] is to a Klein-Gordon theorem, and the footnote's claim that the gap 'is not harmful' is not demonstrated. However, I see a more central obstruction at the end of §5. The bootstrap assumptions displayed in (5.1)-(5.2) have δ>0, so the Klainerman-Sobolev inequality Lemma 3.2 yields pointwise bounds with a growing factor τ^{2δ}; the final uniform energy bound and sharp t^{3/2} decay are asserted via a 'modified bootstrap' that is not written. The displayed δ-dependent estimates do not automatically transfer to uniform bounds, because the same commutator integrals that close against τ^{1/2+...} targets would need to be recontrolled for constant targets. This is a load-bearing proof gap, not a minor omission. There are also smaller consistency issues, e.g. Proposition 4.4's stated identity omits the g0iγ0∂tψ term appearing in its proof, which reinforces that the commutator bookkeeping has not been finalized. With these gaps, the manuscript does not fully support Theorem 1.2 (or Theorem 1.1 in its sharp form), so the reject verdict stands. A repaired version that supplies local well-posedness and a displayed uniform bootstrap would be worth reconsidering.","tokens_in":35154,"tokens_out":10837,"duration_ms":108976,"concrete_test":"Carry out the promised 'modified bootstrap' with uniform right-hand sides: replace the RHS in (5.1)-(5.2) by constants independent of τ and try to close Propositions 4.1, 5.1, 5.2, and 5.3. In particular, compute the low-derivative case of (4.2) with δ=0: if ∫_{τ0}^{τ} τ'^{-1/2} dτ' appears with no compensating t-decay, the uniform energy bound cannot close; if some additional commutator decay (e.g. an extra t^{-1}) is used, identify explicitly where it comes from. A positive outcome is a displayed proof of sup_τ (EM[∂I LJψ]^{1/2}+Em[∂I LJϕ]^{1/2}) ≤ 2C0ε; a negative outcome confirms that Theorems 1.1-1.2 are not proved as stated.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing gap is not the (also real) local well-posedness citation but the terminal bootstrap step. The displayed bootstrap assumptions (5.1)-(5.2) fix δ ∈ [1/(10N),1/(5N)] > 0: low-derivative energies are allowed to grow like τ^{(|I'|+|J|)δ} and high-derivative energies like τ^{1/2+(|I'|+|J|)δ}. Lemma 3.2 then gives t^{3/2}|ψ(t,x)| ≲ Σ_{|J|≤2}∥L^Jψ∥_{L²(Στ)} ≤ Cετ^{2δ}, which grows with τ. The final paragraph of §5 says that 'repeating the bootstrap argument with modified assumptions' yields sup_τ (EM[∂I LJψ]^{1/2}+Em[∂I LJϕ]^{1/2}) ≤ 2C0ε and hence the t^{3/2} bounds (1.10) and the DKG analogue, but this modified bootstrap is never displayed. It cannot be inferred from the preceding estimates: the δ-growth is what makes Proposition 4.1's commutator integrals close against the high-derivative τ^{1/2+...} targets, so a uniform-in-τ bootstrap would require reworking Propositions 4.1 and 5.1-5.3. Without that, the sharp decay and uniform energy claims of Theorems 1.1-1.2 are unsupported. Separately, the local well-posedness gap identified by the reader is real: footnote 1 concedes Theorem 11.2.1 of [44] does not cover the lower-order spinorial terms, and no replacement proof is given.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims global existence and sharp pointwise decay for the cubic Dirac equation and the Dirac-Klein-Gordon system on stationary asymptotically flat spacetimes close to Minkowski space. The proof squares the Dirac operator to obtain a nonlinear wave-type equation with spinorial lower-order terms, then applies hyperboloidal energy estimates, vector-field commutators, and a bootstrap argument. The main theorems (Theorems 1.1 and 1.2) assert uniform energy bounds and t^{-3/2} decay for small compactly supported data with N ≥ 11.","tokens_in":35489,"tokens_out":10251,"duration_ms":88207,"significance":"If established, the results would be a meaningful step for nonlinear Dirac systems on curved backgrounds, particularly the Dirac-Klein-Gordon system with its quadratic coupling. The paper's strategy—squaring the Dirac operator, using modified Lorentz boosts, and adapting the hyperboloidal foliation—is natural and the authors identify genuinely non-scalar difficulties. However, the manuscript as written does not supply complete proofs for several load-bearing steps, so the central claims are presently unsupported.","major_comments":[{"comment":"The claimed uniform energy bound sup_{τ0≤τ} (E_M[∂^I L^J ψ]^{1/2} + E_m[∂^I L^J ϕ]^{1/2}) ≤ 2C0ε, and the resulting sharp decay t^{3/2}|ψ|, t^{3/2}|ϕ| ≤ C0ε, are obtained by 'repeating the bootstrap argument with modified assumptions,' but this modified bootstrap is never displayed. The displayed bootstrap assumptions (5.1)-(5.2) allow high-derivative energies to grow like τ^{1/2+(|I'|+|J|)δ} with δ > 0, and Lemma 3.2 then gives only t^{3/2}|ψ| ≲ Cετ^{2δ}, which grows with τ. A uniform-in-τ bootstrap cannot be inferred from the preceding estimates; it would require new estimates reworking Propositions 4.1 and 5.1-5.3. This gap is load-bearing for both Theorem 1.1 and Theorem 1.2.","section":"Section 5, final paragraph"},{"comment":"The local well-posedness statement used to start the bootstrap is cited from Theorem 11.2.1 of [44]. The footnote admits that this theorem concerns Klein-Gordon equations and does not cover the lower-order spinorial terms in the squared equation (2.8), and asserts that the gap is 'not harmful' because the background is close to Minkowski. No replacement argument or even a sketch is provided. Without a proof of (1.8)/(5.9) for the squared Dirac system, the bootstrap cannot be initialized.","section":"Section 1.2, footnote 1; Section 5.1"},{"comment":"The proof concludes with bounds such as C'C^2ε^2M^{-1}τ^{(N+2)δ} and then states that choosing ε small completes the proof. The comparison with the bootstrap target (1/2)Cετ^{1/2+(|I'|+|J|)δ} is not made. Since (N+2)δ > 0, one must show that for all τ ≥ τ0 the left-hand side is bounded by the target; this requires an explicit exponent comparison and a choice of ε uniform in τ. The same omission occurs in Proposition 5.2. As written, the displayed estimates do not close the bootstrap.","section":"Section 5.3, Proposition 5.3 (cf. Section 5.2, Proposition 5.2)"}],"minor_comments":[{"comment":"The phrase 'the lower-order terms can be absorbed somewhere' should be replaced by a precise statement or a proof; vague assertions of absorption are not verifiable.","section":"Section 1.2, footnote 1"},{"comment":"The notation ∂^I = ∂_t^{I'} ∂_x^{I''} is introduced without defining I' and I'' in terms of the multi-index I; this should be clarified at first use.","section":"Section 5, notation"},{"comment":"The statement (4.1) uses t^{-1/2} while the later display (4.2) uses t^{-1}, and the powers of τ in the exponent differ ((N+2)δ versus (|I'|+|J|+2)δ); these inconsistencies should be reconciled and the integration in τ' made explicit.","section":"Section 4.1, Proposition 4.1"},{"comment":"The quantity ε0 = ε0(N,g) is not quantified; the paper should indicate which constants in the metric control the smallness, even if the exact dependence is not computed.","section":"Section 1.2, smallness condition"},{"comment":"The paper states that Theorem 1.1 is a special case of the earlier work [57]; if so, the novelty rests on Theorem 1.2, and the introduction should position the contribution accordingly to avoid overclaiming.","section":"Section 1.2, Theorem 1.1 and [57]"},{"comment":"Proposition 5.4 in the appendix duplicates Proposition 3.1; consolidating these statements would improve readability.","section":"Appendix, Proposition 5.4"}],"recommendation":"reject","confidential_remarks":"The manuscript is not ready for publication in its current form. The two main gaps—the local well-posedness on the initial hyperboloid and the terminal uniform bootstrap—are central and cannot be fixed by minor edits; substantial new arguments are required. The self-citation [57] is legitimate but does not support the Dirac-Klein-Gordon claim. The paper fits the journal's scope, and the underlying ideas are interesting, but the proof is too incomplete to justify acceptance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. First, the new target is real: a global existence plus t^{-3/2} decay theorem for the curved-space Dirac-Klein-Gordon system would be a first, and the paper honestly says the cubic Dirac result is a special case of the author's prior work with Herr [57]. Second, the proof as written does not deliver the advertised theorem. The displayed bootstrap assumptions (5.1)-(5.2) allow low-derivative energies to grow like tau^{delta} and high-derivative energies like tau^{1/2+delta}; Lemma 3.2 then gives t^{3/2}|psi| <= C epsilon tau^{2delta}, which is not uniform. The final paragraph of Section 5 asserts that a 'modified bootstrap' yields uniform energy and sharp decay, but that argument is never displayed. This is the most load-bearing gap: the delta-growth is exactly what lets the commutator integrals close, so removing it would require reworking Propositions 4.1 and 5.1-5.3. I agree with the stress-test on this point, and the reader's local-well-posedness concern is also real. Footnote 1 concedes that LeFloch-Ma's local theorem does not cover the lower-order spinorial terms and says the gap is harmless because the background is close to Minkowski. That may be fixable, but nothing in the paper shows how.\n\nWhat is genuinely good: Proposition 2.1's squaring computation is clear and useful. The modified Lorentz boost and the reduction of gamma^mu D_mu nonlinearities to scalar field estimates in Proposition 4.2 are the right kind of idea. The paper is honest about provenance, and the literature coverage is thorough. The self-citation to [57] is appropriate, not a red flag. There is no empirical fitting or circularity; the gaps are missing proof steps, not hidden assumptions.\n\nSecondary issues: Proposition 4.4's statement and proof do not quite match (an extra g_{0i} gamma^0 partial_t term appears in the proof), several commutator estimates rely on 'obvious error terms' and 'similar' cases, and the regularity parameter shifts between N >= 13 in Section 1.2 and N >= 11 in the theorems. These are minor compared with the terminal bootstrap.\n\nFor whom is this paper? Experts in dispersive PDE and mathematical relativity who want to see whether LeFloch-Ma hyperboloidal methods extend to spinorial systems. A serious referee could usefully check whether the bootstrap can be modified to close uniformly; if yes, the DKG result is valuable. As submitted I would not accept, but I would not desk-reject either. Send it to a referee who knows the hyperboloidal method and ask specifically whether the uniform bound and sharp decay can be extracted from the estimates displayed.","headline":"Genuine new DKG target, but the displayed bootstrap only yields growing bounds and the sharp decay rests on an unproved modified bootstrap; worth a serious referee, not acceptance as is.","tokens_in":36023,"tokens_out":3488,"would_cite":false,"duration_ms":36816,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q41","35L05","35L70","35B40"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper claims that cubic Dirac and Dirac-Klein-Gordon systems admit global solutions with sharp $t^{-3/2}$ decay on stationary asymptotically flat spacetimes close to Minkowski space, for small compactly supported data with $N \\geq…","keywords":["cubic Dirac equation","Dirac-Klein-Gordon system","global existence","pointwise decay","hyperboloidal foliation","spinorial connection","bootstrap argument","asymptotically flat spacetime"],"falsifier":"Take a stationary asymptotically flat metric satisfying (1.4) with a small but nonzero short-range component $g_{sr}^{tj}$, and compute the energy of the spinor evolution under the squared equation $(\\square_g - M^2)\\psi = -2\\Gamma^\\mu\\partial_\\mu\\psi + V\\psi$ for small compactly supported data. If the local energy bound (1.8) on $\\Sigma_{\\tau_0}$ cannot be established for all $|I|+|J| \\le N$, or if the bootstrap integrals in (1.12) grow like $\\tau^{1/2 + (|I'|+|J|)\\delta}$ with a constant that is not small relative to $\\varepsilon$, then the closing argument in Section 5 fails; a concrete calculation of the $\\Gamma^\\mu\\partial_\\mu$ contribution would settle whether the footnote's assertion that the gap is 'not harmful' is correct.","tokens_in":34867,"feed_emoji":"⚛️","tokens_out":14296,"duration_ms":120906,"temperature":0.7,"pith_summary":"The paper aims to prove that the cubic Dirac equation and the Dirac-Klein-Gordon system have global solutions on stationary asymptotically flat spacetimes close to Minkowski space, for small compactly supported initial data with $N \\ge 11$ derivatives, and that the fields decay pointwise at the sharp rate $t^{-3/2}$. If correct, this means that self-interacting spin-$\\frac12$ fields on such curved backgrounds remain bounded and radiate like free waves: energy stays controlled while the amplitude decays at the same rate as a linear wave. The central reduction is to square the Dirac operator, converting the first-order spinor system into a nonlinear wave-type equation with extra spinorial connection terms, and then to run a bootstrap with hyperboloidal-foliation energies and vector-field commutators.","feed_headline":"Global decay for Dirac-Klein-Gordon near Minkowski spacetime","feed_subtitle":"Small data yield global solutions that decay at the sharp rate of t^{-3/2} on curved backgrounds close to flat space.","key_machinery":"The load-bearing identity is the squared Dirac operator formula $(\\square_g - M^2)\\psi = -2\\Gamma^\\mu \\partial_\\mu \\psi + V\\psi - i\\gamma^\\mu D_\\mu F - M F$ (Proposition 2.1), which turns the first-order Dirac equation into a wave-type equation whose extra terms are controlled by the smallness of the metric perturbation; here $\\Gamma^\\mu$ is the spinorial connection and $V$ satisfies $|V| \\lesssim |\\partial^2 g| + |\\partial g|^2$. Around this identity the proof organizes three tools: hyperboloidal foliation energies $E_c[\\psi]$, the modified Lorentz boost $L_i + \\tfrac12 \\gamma^0\\gamma^i$ whose commutator with the Dirac operator is flat-friendly, and hyperboloidal Klainerman-Sobolev plus Hardy-type inequalities that convert energy bounds into pointwise decay and absorb dangerous $t$-factors from commutators. A key qualitative point is that the commutator $[\\gamma^\\mu D_\\mu, L_i]$ does not vanish even in flat space, and the modified boost is needed to make the bracket acceptable.","core_discovery":"The paper's central claim, Theorem 1.2, is that for any smooth stationary asymptotically flat metric satisfying the decay and smallness conditions (1.4), every small compactly supported initial datum produces a global Dirac-Klein-Gordon solution obeying $\\sup_{\\Sigma_\\tau} t^{3/2}|\\psi| + \\sup_{\\Sigma_\\tau} t^{3/2}|\\phi| \\lesssim \\varepsilon$ and the energy bound $E_M[\\partial^I L^J \\psi](\\tau) + E_m[\\partial^I L^J \\phi](\\tau) \\lesssim \\varepsilon^2$ for all $\\tau \\ge 2$ and all $|I|+|J| \\le N$. Theorem 1.1 gives the same conclusion for the cubic Dirac equation alone. The proof treats the gamma matrices as genuinely spacetime-dependent and shows that the spinorial connection terms they produce are acceptable error terms in the energy estimates, rather than obstructions to global existence.","pith_inferences":["Editorial inference: the energy bounds proven for all $\\partial^I L^J$ derivatives should give pointwise decay for derivative fields too, e.g. $t^{3/2}|L^J \\psi| \\lesssim \\varepsilon$, by reapplying the Klainerman-Sobolev step; the paper states decay only for the undifferentiated fields.","Editorial inference: the paper asserts, but does not prove, that the non-stationary case (1.15) works 'in essentially the same manner'; a direct check would need to show that commutators involving $\\partial_t g_{sr}$ do not reintroduce a $t$-growth that the Hardy inequality cannot absorb.","Editorial inference: the argument implicitly quantifies how small the metric perturbation must be: small enough that the connection term $\\Gamma^\\mu\\partial_\\mu\\psi$ and potential $V\\psi$ can be absorbed into the bootstrap margin. Extracting that quantitative threshold would indicate whether the result extends to slowly rotating black-hole metrics rather than merely perturbations of flat spacetime","Editorial inference: the same commutator machinery should apply to any first-order hyperbolic system with nonconstant coefficients that can be squared into a wave-type equation; Maxwell-Dirac is the natural next test, but the gauge field's slower $t^{-1}$ decay would likely require modified scattering rather than the decay shown here."],"forward_implications":["For every small compactly supported initial datum, the cubic Dirac equation admits a global solution with $\\sup_{\\Sigma_\\tau} t^{3/2}|\\psi| \\lesssim \\varepsilon$ (Theorem 1.1).","For every such datum, the Dirac-Klein-Gordon system admits a global solution with both fields decaying at the sharp rate $t^{-3/2}$ and with controlled energy (Theorem 1.2).","The same bootstrap closes when the metric is non-stationary but satisfies the time-decay assumption (1.15); the paper states the proof needs only straightforward modifications.","The hyperboloidal energy method also yields global solutions for scalar Klein-Gordon equations with cubic or quadratic-with-derivative nonlinearities on the same backgrounds, as worked out in the appendix toy models."],"supporting_citations":[{"why":"It supplies the local existence theorem on the initial hyperboloid and the hyperboloidal foliation energy framework; the paper's own footnote notes that the theorem covers Klein-Gordon equations, creating the gap the bootstrap must absorb.","marker":"[44]"},{"why":"It supplies the hyperboloidal Klainerman-Sobolev inequality and the Hardy-type inequality used to turn energy bounds into pointwise decay and to control t-factors from commutators.","marker":"[45]"},{"why":"It provides the commuting-vector-field strategy that the proof adapts to the spinorial Dirac operator.","marker":"[65]"},{"why":"It underlies the covariant Dirac operator setup, the spacetime-dependent gamma matrices, and the spinorial connection identities used when squaring the Dirac operator.","marker":"[77]"},{"why":"It provides the normalized coordinates and the metric decomposition $\\square_g = \\square + g_{lr}^\\omega \\Delta_\\omega + \\partial_\\alpha g_{sr}^{\\alpha\\beta}\\partial_\\beta$ used throughout the commutator estimates.","marker":"[85]"},{"why":"It gives the bound $|\\Gamma_\\mu| \\lesssim |\\partial g|$ for the spinorial connection, which quantifies the smallness of the lower-order terms.","marker":"[14]"}],"fun_headline_variants":["Global decay for Dirac systems near Minkowski spacetime","Sharp t^{-3/2} decay for cubic Dirac equations on curved backgrounds","Dirac-Klein-Gordon: global solutions on near-flat spacetimes","Small data, global existence for Dirac fields on curved space","Cubic Dirac and DKG: global well-posedness with precise decay"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The starting local-in-time solution on the initial hyperboloid is obtained by citing a theorem that the paper's own footnote says applies to Klein-Gordon equations rather than to the squared Dirac equation with its extra spinor-dependent terms; the paper asserts this gap is harmless because the metric is close to Minkowski, but does not demonstrate it.","fun_headline_variants_meta":{"raw":{"variants":["Global decay for Dirac systems near Minkowski spacetime","Sharp t^{-3/2} decay for cubic Dirac equations on curved backgrounds","Dirac-Klein-Gordon: global solutions on near-flat spacetimes","Small data, global existence for Dirac fields on curved space","Cubic Dirac and DKG: global well-posedness with precise decay"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000734,"raw_usage":{"total_tokens":3247,"prompt_tokens":874,"completion_tokens":2373,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":490,"completion_tokens_details":{"reasoning_tokens":2262}},"tokens_in":490,"tokens_out":2373,"duration_ms":17470,"temperature":1.0,"reasoning_tokens":2262,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T10:22:24.096133+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a stationary asymptotically flat metric satisfying (1.4) with a small but nonzero short-range component $g_{sr}^{tj}$, and compute the energy of the spinor evolution under the squared equation $(\\square_g - M^2)\\psi = -2\\Gamma^\\mu\\partial_\\mu\\psi + V\\psi$ for small compactly supported data. If the local energy bound (1.8) on $\\Sigma_{\\tau_0}$ cannot be established for all $|I|+|J| \\le N$, or if the bootstrap integrals in (1.12) grow like $\\tau^{1/2 + (|I'|+|J|)\\delta}$ with a constant that is not small relative to $\\varepsilon$, then the closing argument in Section 5 fails; a concrete calculation of the $\\Gamma^\\mu\\partial_\\mu$ contribution would settle whether the footnote's assertion that the gap is 'not harmful' is correct.","supporting_citations":[{"cited_title":"LeFloch, Y","cited_arxiv_id":null,"evidence_quote":"It supplies the hyperboloidal Klainerman-Sobolev inequality and the Hardy-type inequality used to turn energy bounds into pointwise decay and to control t-factors from commutators."},{"cited_title":"Klainerman, A commuting vectorfields approach to Strichartz-type inequalities and applications to quasi-linear wave equations, Int","cited_arxiv_id":null,"evidence_quote":"It provides the commuting-vector-field strategy that the proof adapts to the spinorial Dirac operator."},{"cited_title":"Parker and D","cited_arxiv_id":null,"evidence_quote":"It underlies the covariant Dirac operator setup, the spacetime-dependent gamma matrices, and the spinorial connection identities used when squaring the Dirac operator."},{"cited_title":"Tataru, Local decay of waves on asymptotically flat stationary space–times , Amer","cited_arxiv_id":null,"evidence_quote":"It provides the normalized coordinates and the metric decomposition $\\square_g = \\square + g_{lr}^\\omega \\Delta_\\omega + \\partial_\\alpha g_{sr}^{\\alpha\\beta}\\partial_\\beta$ used throughout the commutator estimates."}],"review_version":1}