{"id":"3602ee45-944f-4d73-8fb6-1582a0fcbc23","arxiv_id":"1908.05651","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Local well-posedness for the 3D Maxwell-Klein-Gordon system in Lorenz gauge is established in Fourier-Lebesgue spaces with regularity s=5/(2r)-1/2+δ, which is almost optimal under scaling as r→1.","lead":"This paper proves a local well-posedness theorem for the Maxwell-Klein-Gordon equations in three space dimensions, for initial data in Fourier-Lebesgue spaces with regularity almost optimal with respect to scaling. A generalist might read it because it shows how null form structure and Fourier-Lebesgue spaces can close a known gap between existing regularity and the scaling limit for this system.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central proof is internally coherent, but the load-bearing r=2 endpoint estimates are quoted from [15] and Theorem 1.3's return to the original system is explicitly omitted; a failure in either propagates to Theorem 1.1.","rationale":"The reader identified as the weakest assumption the uniform validity, for 11/r, then the contraction estimates (36)-(37) fail and Theorem 1.1 is unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's own text flags the key vulnerability: Lemma 2.12 quotes \"[15], Chapter 5, Claim 1\" for the r=2 endpoint, Lemma 2.13 quotes Claim 3, Lemma 2.14 quotes Claims 4/5, and Lemma 2.15 quotes the Chapter 6 estimates of [15]; the proof of Theorem 1.3 then says \"we omit the calculation\" and refers to [15], Section 6. These quoted estimates are the r=2 anchor for the bilinear complex interpolation used to prove Lemmas 2.12-2.15 for all 11/r, so the parameter arithmetic is consistent. The unresolved risk is therefore the validity and exact form of the quoted [15] endpoint estimates, together with the unverified equivalence in Theorem 1.3. This is a verification gap, not an internal inconsistency.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a local well-posedness result for the Maxwell-Klein-Gordon system in Lorenz gauge in three space dimensions, with initial data in Fourier-Lebesgue spaces. For 10, and data satisfying (12)-(19), the author obtains a unique local solution of the first-order system (21)-(28) in X-spaces, with ∇A^hom in X^r_{l-1,1-ε0} and A^inh in X^r_{l,1-ε0}. The proof combines bilinear and trilinear estimates for r close to 1, which are proven using Foschi-Klainerman type estimates, with r=2 endpoint estimates quoted from the author's previous paper [15], and then interpolates to the full range 13/4 at r=2 and the scaling-critical value s_c=3/r-1, and it does so for large data in Lorenz gauge despite the absence of a null condition in one nonlinearity. The r=1+ estimates for products and null forms are new and are derived in detail, and the overall interpolation strategy is natural. The paper is honest about its reliance on the author's prior r=2 endpoint estimates and on an omitted calculation in Theorem 1.3; those are the main points that need attention before the result can be considered fully verified.","major_comments":[{"comment":"The proof of Theorem 1.3, which is the main statement for the original Maxwell-Klein-Gordon system, is omitted: the text says 'we omit the calculation' and refers to [15], Section 6 and [18], Section 5. This step is load-bearing because it converts the solution of the first-order system (21)-(28) into a solution of (1)-(5) satisfying the Lorenz gauge and the initial conditions, and it also uses the derivation of the wave equations (29)-(30). The paper should either include this calculation or state the exact correspondence as a lemma with a complete proof, since the validity of the main theorem depends on it.","section":"Proof of Theorem 1.3"},{"comment":"The r=2 endpoint estimates are quoted from the author's preprint [15], Chapter 5 and Chapter 6, rather than being re-derived. These estimates are the anchor for the bilinear complex interpolation that produces Lemmas 2.12-2.15 for all 11/r and b-1+ in the target spaces. But the verification gap remains: the paper should either reproduce the quoted claims or state them in full with precise hypotheses so that the interpolation step can be audited.","section":"Lemmas 2.12-2.15"},{"comment":"The sentence 'By the fractional Leibniz rule this inequality remains true for ω>0' is an unproved assertion that is needed to pass from the ω=0 case, where s=2 and l=3/2+1/(2r), to the full δ>0 range. The fractional Leibniz rule is not automatic for the X^r_{s,b} norms with the specific combination of spaces used here, and the paper should supply the argument or a reference that covers this exact situation. This is also where the condition on ε in Lemma 2.8 and the 'r=1+' convention interact with the interpolation, so the details should be written out.","section":"Lemma 2.12"}],"minor_comments":[{"comment":"The notation 'r=1+' is informal. It should be defined, for example as 'for every r in (1,1+ε) with ε sufficiently small', so that the statements of Lemmas 2.4-2.11 have a precise quantifier over r.","section":"Throughout"},{"comment":"In the proof of Lemma 2.8, the displayed equation for the hyperbolic case contains the duplicated expression 'I = I =' after the integral; this is a typo.","section":"Lemma 2.8, first paragraph"},{"comment":"The abstract says the assumed regularity is 'almost optimal with respect to scaling as r→1' and refers to the critical value s_c=1/2. Since s_c=3/r-1 depends on r and tends to 2 as r→1, the sentence should distinguish the r-dependent critical value from the classical H^s critical value at r=2.","section":"Abstract"},{"comment":"The proof uses choices of exponents with signs '3/α1 ±' and '3±' without explaining that the sign is chosen according to |ξ|≥1 or |ξ|≤1. Please add a sentence making this explicit.","section":"Section 2, proof of Lemma 2.4"},{"comment":"Reference [15] is an arXiv preprint; if the published version has appeared or if the numbering of claims differs, the author should update the reference to allow the reader to locate the quoted estimates.","section":"References"},{"comment":"The general local well-posedness theorem is quoted from [7] with a reference to a generalization to systems, but the proof of the system version for the Maxwell-Klein-Gordon equations is not given. A few sentences explaining how Theorem 1.4 applies to the coupled system (21)-(22) would improve readability.","section":"Theorem 1.4"},{"comment":"The definition of the Fourier-Lebesgue norm writes ||f||_{\\hat H^{s,r}} = ||<ξ>^s \\hat f(ξ)||_{\\hat L^{r'}}, but the notation \\hat L^{r'} is not defined; it should say that this is the L^{r'} norm in the frequency variable. (Use backslash-free notation in the text.)","section":"Equation (9)"},{"comment":"The interpolation parameter is given as θ=2-2/r, but the text does not specify which endpoint corresponds to r=1+ and which to r=2, nor how the Sobolev exponents s and l behave under interpolation. Adding a short interpolation diagram would remove ambiguity.","section":"Lemma 2.12, proof"},{"comment":"The proof of (40) uses interpolation between r=1+ and r=2 after checking the two endpoint cases. The argument is plausible, but the interpolation statement for the product ||φ0∂kφ0||_{\\hat H^{s-2,r}} is not written out; a brief justification would help.","section":"Section 3, Proof of Theorem 1.2"},{"comment":"The linear estimate (38) is stated with T^{0+} and then used in the proof of Theorem 1.2. The dependence on T should be made explicit, since the uniqueness time T in Theorem 1.1 depends on the data and the output regularity in Theorem 1.2 is asserted for that same T.","section":"Equation (38)"}],"recommendation":"major_revision","confidential_remarks":"The paper is a serious technical contribution and the reliance on the author's previous work [15] is a natural choice rather than an attempt to conceal a gap. However, because the main theorem explicitly omits a calculation and the r=2 endpoint estimates are quoted rather than verified, I recommend that the editor ask the author to supply the missing calculation in Theorem 1.3 and to state the quoted endpoint estimates with enough precision for the interpolation argument to be checked. Once those points are addressed, the result is likely to be acceptable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nQuick take: this is a genuine advance. Pecher proves local well-posedness for the Maxwell-Klein-Gordon system in Lorenz gauge in Fourier-Lebesgue spaces with s = 5/(2r)-1/2+δ, which tends to the scaling-critical value 3/r-1 as r→1; at r=2 it matches the known s>3/4 and closes the gap in the limit. The genuinely new part is the family of bilinear and trilinear estimates for r close to 1, especially the treatment of Aμ∂μφ through Hodge decomposition and the null structure in P1/P2 (Lemmas 2.6–2.11). Those estimates are derived, not just asserted, and the transfer principle is used cleanly. The interpolation framework is standard and the parameter arithmetic checks out.\n\nThe soft spots are real but not disqualifying. The r=2 endpoint estimates are quoted from the author's own [15] and are the anchor for the bilinear interpolation in Lemmas 2.12–2.15. If any of those endpoint estimates has a b-deficit different from what is assumed, the contraction in Theorem 1.1 collapses. I checked the interpolation bookkeeping: with θ=2-2/r, interpolating b between 0 at r=1+ and -1/2+ at r=2 gives 1/r-1, which is exactly what b-1+ should be for b>1/r. So no internal inconsistency; the unresolved risk is the validity and exact form of the quoted [15] estimates. Second, the proof of Theorem 1.3, the return from the first-order system to the original (1)-(5), is explicitly omitted: \"we omit the calculation\" and the reader is sent to [15], Section 6. Since Theorem 1.3 is one of the main advertised results, that is the weakest part of the manuscript. A referee should verify that the equivalence is genuinely covered there.\n\nI found no fitted constants, no circularity, and no sign of overclaiming. The self-citation is standard use of prior work. The paper even flags its own omitted calculation, which makes the honest-note test easy to pass.\n\nWho is this for: specialists in low-regularity wave and Maxwell-Klein-Gordon well-posedness. It deserves a serious referee, not a desk reject. If the [15] endpoint estimates and the Theorem 1.3 equivalence hold, the main theorem is sound; I see no fatal flaw in the new r=1+ material. Recommend conditional acceptance.","headline":"A real Fourier-Lebesgue extension of low-regularity MKG theory in Lorenz gauge, but the proof leans on the author's earlier r=2 estimates and one omitted verification, so accept conditionally.","tokens_in":22450,"tokens_out":4153,"would_cite":true,"duration_ms":38348,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q61","35L70"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that, in three space dimensions and in the Lorenz gauge, the Maxwell-Klein-Gordon system is locally well-posed for large data in Fourier-Lebesgue spaces at almost scaling-critical regularity, closing the gap between the…","keywords":["Maxwell-Klein-Gordon","local well-posedness","Fourier-Lebesgue spaces","Lorenz gauge","null forms","wave-Sobolev spaces","scaling-critical regularity","bilinear estimates"],"falsifier":"A direct check of the load-bearing estimate in Lemma 2.12 at a single intermediate exponent, say r=3/2, would settle the interpolation step: choose X^r_{s,b}-functions concentrated on the wave cone and see whether $\\|A_\\mu\\partial^\\mu\\varphi\\|_{X^r_{s-1,b-1+}}$ is bounded by a constant times $\\|\\nabla A\\|_{X^r_{l-1,1-}}\\|\\varphi\\|_{X^r_{s,b}}$. An explicit counterexample there would refute the proof, while successful verification at several r values would support the interpolation.","tokens_in":21441,"feed_emoji":"📐","tokens_out":11012,"duration_ms":95599,"temperature":0.7,"pith_summary":"The Maxwell-Klein-Gordon equations couple a charged scalar field to an electromagnetic field, and a natural question is how rough the initial data can be while still guaranteeing a unique local solution. This paper answers that question in three space dimensions, in the Lorenz gauge, for data in Fourier-Lebesgue spaces $\\hat H^{s,r}$ with $10$ and produces a unique local solution, with the field strength $F_{\\mu\\nu}$ keeping the full regularity of the data. Since the scaling-critical regularity is $s_c=3/r-1$, the required exponent approaches this lower bound as $r\\to 1$, making the result almost optimal in the scaling sense. A reader should care because it closes the previously open gap between the known $L^2$-based threshold $s>3/4$ and the scaling-critical value $1/2$, in the limit $r\\to 1$.","feed_headline":"Maxwell-Klein-Gordon solutions reach near-critical regularity","feed_subtitle":"As r→1, required smoothness comes within δ of the scaling limit, closing the known gap.","key_machinery":"The machinery is the family of Fourier-Lebesgue wave-Sobolev spaces $X^r_{s,b,\\pm}$, with norm $\\|u\\|_{X^r_{s,b,\\pm}}=\\|\\langle\\xi\\rangle^s\\langle\\tau\\pm|\\xi|\\rangle^b\\hat u(\\tau,\\xi)\\|_{L^{r'}_{\\tau\\xi}}$, which measure spatial regularity $s$ and wave-frequency regularity $b$ in $L^{r'}$. A transfer principle reduces the nonlinear PDE to multilinear estimates for the nonlinearities in these spaces. For the troublesome term $A_\\mu\\partial^\\mu\\varphi$, the Lorenz gauge and the Hodge decomposition separate the divergence-free part, whose symbol is controlled by a null form, from the curl-free part, which becomes a null form after using $\\partial_t A_0=\\nabla\\cdot A$; this is what lets the bilinear null-form estimates apply despite one quadratic term lacking the classical null condition. The proof then combines new estimates near $r=1$ with previously known endpoint estimates at $r=2$ by complex interpolation, using a fractional Leibniz rule to add small amounts of regularity $\\omega>0$. A general contraction-mapping theorem for such systems closes the argument.","core_discovery":"The central claim is that, under the Lorenz condition and the compatibility conditions (12)-(19), the Cauchy problem for the Maxwell-Klein-Gordon system is locally well-posed in three dimensions for large data in the Fourier-Lebesgue spaces $\\hat H^{s,r}$, provided $10$. Here $\\hat H^{s,r}$ is the space of distributions whose Fourier transform lies in $L^{r'}$ with weight $\\langle\\xi\\rangle^s$. The solution is constructed in the associated wave-Sobolev spaces $X^r_{s,b,\\pm}$; the scalar field $\\varphi$ lives at regularity $s$, the potential $A$ is controlled through $\\nabla A$ at regularity $l-1$, and the field strength satisfies $\\nabla F_{\\mu\\nu},\\partial_t F_{\\mu\\nu}\\in X^r_{s-2,b}[0,T]$. Because $s$ and $l$ converge to the scaling-critical exponents $3/r-1$ as $r\\to 1$, the theorem gives almost optimal low-regularity well-posedness, and as a corollary $\\varphi$ and $F_{\\mu\\nu}$ are continuous in time with the expected regularity.","pith_inferences":["The theorem suggests that the true critical threshold for local well-posedness of Maxwell-Klein-Gordon in three dimensions may be exactly the scaling value $s_c=3/r-1$ within the Fourier-Lebesgue family, and that reaching $r=1$ itself would require new estimates rather than interpolation of the current ones.","It also suggests that the historically noted gap at $r=2$ is an artifact of restricting to $L^2$-based Sobolev spaces rather than an intrinsic obstruction of the equations.","A testable extension is to carry the same Fourier-Lebesgue argument to the Coulomb gauge or to dimensions $n\\neq 3$, where the potential and field strength scale differently.","The same device might apply to coupled wave-Klein-Gordon systems whose quadratic derivative nonlinearities lack a null condition, provided the field strength still satisfies null-form wave equations."],"forward_implications":["For every $10$, the Maxwell-Klein-Gordon system in Lorenz gauge has a unique local solution for large data in $\\hat H^{s,r}$ with $s=5/(2r)-1/2+\\delta$.","As $r\\to 1$, the required regularity $s$ approaches the scaling-critical value $3/r-1$, so the gap between the known $L^2$ threshold $s>3/4$ and the scaling-critical $1/2$ is closed within the Fourier-Lebesgue scale.","The field strength $F_{\\mu\\nu}$ preserves the regularity of the data, even though the potential $A$ itself may lose regularity compared with $\\varphi$.","The solution depends continuously on the initial data, and higher regularity of the data is preserved by the flow.","The same conclusion transfers to the original second-order system (1)-(5) under the Lorenz gauge condition and the stated compatibility conditions."],"supporting_citations":[{"why":"Supplies the bilinear null-form estimates for wave equations that control the quadratic nonlinearities.","marker":"[5]"},{"why":"Gives the L^2-based endpoint estimates at r=2 that are interpolated with the new near-r=1 estimates.","marker":"[15]"},{"why":"Introduces the X^r_{s,b} spaces and the general fixed-point theorem for nonlinear wave systems used in the contraction argument.","marker":"[7]"},{"why":"Provides the transfer principle that turns estimates for linear wave evolutions into estimates in the X^r norms.","marker":"[12]"},{"why":"Gives the Lorenz-gauge null-structure identities for the nonlinear terms in the equations for $\\varphi$ and $F_{\\mu\\nu}$.","marker":"[18]"},{"why":"Supplies the derivation of the wave equations for $F_{\\mu\\nu}$ and related estimates used in Theorems 1.2 and 1.3.","marker":"[17]"},{"why":"Gives the hyperbolic Leibniz rule used for the cubic product estimates.","marker":"[2]"}],"fun_headline_variants":["MKG regularity reaches near-scaling limit","Near-optimal well-posedness in Fourier-Lebesgue spaces","Gap closed: MKG approaches scaling limit","Almost optimal regularity for Maxwell-Klein-Gordon","Fourier-Lebesgue spaces yield near-optimal MKG"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof rests on the assumption that the multilinear estimates known at the two ends of the range, r just above 1 and r=2, blend correctly through interpolation for every intermediate r, with the fractional Leibniz rule preserving the needed extra smoothness; if this blending fails anywhere in the middle, the contraction argument behind the main theorem does not go through.","fun_headline_variants_meta":{"raw":{"variants":["MKG regularity reaches near-scaling limit","Near-optimal well-posedness in Fourier-Lebesgue spaces","Gap closed: MKG approaches scaling limit","Almost optimal regularity for Maxwell-Klein-Gordon","Fourier-Lebesgue spaces yield near-optimal MKG"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000922,"raw_usage":{"total_tokens":3967,"prompt_tokens":969,"completion_tokens":2998,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":585,"completion_tokens_details":{"reasoning_tokens":2918}},"tokens_in":585,"tokens_out":2998,"duration_ms":21580,"temperature":1.0,"reasoning_tokens":2918,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:07:12.354896+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A direct check of the load-bearing estimate in Lemma 2.12 at a single intermediate exponent, say r=3/2, would settle the interpolation step: choose X^r_{s,b}-functions concentrated on the wave cone and see whether $\\|A_\\mu\\partial^\\mu\\varphi\\|_{X^r_{s-1,b-1+}}$ is bounded by a constant times $\\|\\nabla A\\|_{X^r_{l-1,1-}}\\|\\varphi\\|_{X^r_{s,b}}$. An explicit counterexample there would refute the proof, while successful verification at several r values would support the interpolation.","supporting_citations":[{"cited_title":"Foschi and S","cited_arxiv_id":null,"evidence_quote":"Supplies the bilinear null-form estimates for wave equations that control the quadratic nonlinearities."},{"cited_title":"Low regularity local well-posedness for the (N+1)-dimensional Maxwell-Klein-Gordon equations in Lorenz gauge","cited_arxiv_id":"1705.00599","evidence_quote":"Gives the L^2-based endpoint estimates at r=2 that are interpolated with the new near-r=1 estimates."},{"cited_title":"Gr¨ unrock: An improved local well-posedness result for the modified KdV equation","cited_arxiv_id":null,"evidence_quote":"Introduces the X^r_{s,b} spaces and the general fixed-point theorem for nonlinear wave systems used in the contraction argument."},{"cited_title":"Klainerman and S","cited_arxiv_id":null,"evidence_quote":"Provides the transfer principle that turns estimates for linear wave evolutions into estimates in the X^r norms."},{"cited_title":"Selberg and A","cited_arxiv_id":null,"evidence_quote":"Gives the Lorenz-gauge null-structure identities for the nonlinear terms in the equations for $\\varphi$ and $F_{\\mu\\nu}$."},{"cited_title":"Selberg: Almost optimal local well-posedness of the Maxwell-Klein- Gordon equations in 1+4 dimensions","cited_arxiv_id":null,"evidence_quote":"Supplies the derivation of the wave equations for $F_{\\mu\\nu}$ and related estimates used in Theorems 1.2 and 1.3."},{"cited_title":"d’Ancona, D","cited_arxiv_id":null,"evidence_quote":"Gives the hyperbolic Leibniz rule used for the cubic product estimates."}],"review_version":1}