{"id":"9831401f-94a0-4c1b-af4a-37ccc73d145c","arxiv_id":"1908.06904","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Scattering for the defocusing energy-critical Klein-Gordon-Hartree equation in d≥5 is established by excluding a soliton-like critical solution via a momentum-orthogonal virial identity.","lead":"The paper proves that all finite-energy solutions of the defocusing energy-critical Klein-Gordon-Hartree equation in five or more spatial dimensions exist for all time and scatter to free Klein-Gordon waves. A specialist would read it because it extends the Kenig-Merle concentration-compactness program to a nonlocal energy-critical equation with a cubic convolution.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The scattering theorem rests on Corollary 4.3, whose proof is deferred to [23] and whose energy-critical adaptation is not automatic; this omitted proof is the main load-bearing gap.","rationale":"The reader's conditional verdict targets Corollary 4.3, and the stress-test pass agrees that this is the most load-bearing unverified input. The paper supplies substantial original work: Strichartz estimates (Lemma 2.3), perturbation theory (Lemma 2.7), profile and energy orthogonality (Lemmas 3.3 and 3.5), and the virial identity in Proposition 5.1 are all written out. The visible mathematics contains no internal contradiction. The gap is that the extinction proof depends on a quantitative lower bound imported from the subcritical paper [23] without proof of its energy-critical validity. The proposed check is analytical: reproduce the deferred proof with γ = 4 and verify that the uniform time-averaged lower bound survives the critical scaling. Since the reader already made acceptance conditional on exactly this issue, the verdict needs no change.","tokens_in":23958,"tokens_out":29191,"duration_ms":283596,"concrete_test":"Write out the proof of Corollary 4.3 for γ = 4 by adapting [23], and check the critical borderline step: prove that for a precompact H^1×L^2 trajectory with E ≠ 0 and |ċ| ≤ 1, the functional F(w) = ∫∫ (x2-y2)^2 / |x-y|^6 |w(x)|^2 |w(y)|^2 dx dy is positive on every nonzero H^1 function and that the time-averaged integral inf_t ∫_t^{t+τ} F(u(s)) ds is positive. If this requires only compactness of K and conservation of energy, Corollary 4.3 is valid; if the proof in [23] invokes a subcritical inequality such as a fractional Sobolev embedding with exponent depending on γ < 4, identify the γ = 4 replacement and recheck the uniform β.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The contradiction argument in Proposition 5.1 integrates (5.5) and needs Corollary 4.3 to turn the anisotropic density integral into a lower bound that grows linearly in T. Without (4.9)-(4.10), equation (5.5) only yields -∂_t A ≥ -ηE and there is no contradiction with the uniform bound |A(t)| ≲ R E. Corollary 4.3 is stated with a one-line reference to [23], but [23] treats the subcritical convolution |x|^{-γ}, 2 < γ < min(d,4). At γ = 4 the nonlinearity is energy-critical: the potential term is no longer perturbative relative to the kinetic term, so the Sobolev and Hardy-Littlewood-Sobolev exponents in the deferred proof become borderline. In particular, the step that derives a uniform β > 0 from compactness of K requires controlling instants where u is close to 0 in H^1 while the energy is carried by u_t; for a critical nonlinearity this control is exactly the issue. If the lower bound fails, Proposition 5.1 collapses. No contradiction with the visible estimates is identified, but the argument is not verifiable from the preprint alone.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves global well-posedness and scattering for the defocusing energy-critical Klein-Gordon-Hartree equation u_tt - Δu + u + (|x|^{-4} * |u|^2)u = 0 in dimensions d ≥ 5, for initial data in the energy space H^1(R^d) × L^2(R^d). The proof follows the Kenig-Merle concentration-compactness route: it defines a scattering threshold E_max, proves small-data scattering, then assumes E_max < ∞ and extracts a critical element with a precompact trajectory. This critical element is then ruled out by a virial-type identity in a direction orthogonal to the momentum, following the method of Pausader. The main body of the paper consists of the local well-posedness theory (Section 2), the linear and nonlinear profile decomposition (Section 3), the extraction of the critical element (Section 4), and the extinction argument (Section 5).","tokens_in":24189,"tokens_out":14356,"duration_ms":119322,"significance":"If the proof is correct, the result is a significant advance: it establishes scattering for all finite-energy solutions of the defocusing energy-critical Klein-Gordon-Hartree equation in d ≥ 5, removing the radial symmetry assumption in earlier work of Miao-Xu-Zhao on the Hartree equation and treating the massive Klein-Gordon case. The paper's local theory in Section 2, particularly Lemma 2.3, gives a careful treatment of the borderline Hardy-Littlewood-Sobolev estimates for the critical convolution, and the perturbation lemma is stated in a usable form. The profile decomposition in Section 3 is adapted explicitly to the nonlocal nonlinearity, and the virial computation in Section 5 is explicit and the main identity is essentially correct. The central weakness is that the compactness-to-contradiction step rests on Corollary 4.3, whose proof is entirely deferred to the authors' subcritical paper [23], and on Proposition 4.1, which is delegated to '[10] adapted verbatim' plus the authors' previous work [22]. These dependencies make the present manuscript not independently verifiable at its load-bearing points.","major_comments":[{"comment":"Corollary 4.3 is stated with the proof deferred to [23] ('One can refer to [23] for the detail proof'), but [23] treats the subcritical convolution |x|^{-γ} with 2 < γ < min(d,4). At γ = 4 the nonlinearity is energy-critical: the Hardy-Littlewood-Sobolev and Sobolev exponents in the deferred proof become borderline, and the step deriving a uniform β > 0 from the precompactness of K requires controlling instants where u is close to 0 in H^1 while the energy is carried by u_t. This lower bound (4.9)-(4.10) is the key input in Proposition 5.1: without it, integrating (5.5) gives only -∂_t A ≥ -ηE, so the contradiction with the uniform bound |A(t)| ≲ R E collapses. Please provide a complete proof of Corollary 4.3 for the critical case, or state explicitly which theorem in the literature covers γ = 4 and verify that all its hypotheses are satisfied.","section":"Section 4, Corollary 4.3"},{"comment":"The proof of Proposition 4.1 is delegated to '[10] adapted verbatim' and to the authors' previous papers [22] and [23]. Specifically, the h_n → 0 alternative in the profile decomposition is ruled out by citing [22], and the construction of the C^1 translation c(t) with |c'(t)| ≲ 1 is referred to [23]. Both steps are load-bearing: if the h_n → 0 case were not excluded, the limit profile would solve the wave-Hartree equation rather than the Klein-Gordon equation, and the virial argument in Section 5 would not apply. Please state the precise results from [22] and [23] that cover these steps, and show that the objects constructed here satisfy their hypotheses, in particular the energy-critical condition and d ≥ 5 for [22].","section":"Section 4, Proposition 4.1"},{"comment":"The displayed formula for -∂_t A in (5.4) has the error term ∫_{|z|≥R}(O1(u)+O2(u))dx, but from A = I + (1/2)J and the preceding computations one obtains the error ∫_{|z|≥R}(O1(u) + (1/2)O2(u))dx. The missing factor 1/2 is of no consequence for the bound |∫(O1 + (1/2)O2)| ≲ tail energy, but the identity as printed is incorrect and should be corrected.","section":"Section 5, identity (5.4)"}],"minor_comments":[{"comment":"The title on the first page reads 'KLEIN-GORDON-HARTREE EQUA TION' with a stray space, and the abstract contains 'defocus ing'; these typos should be fixed.","section":"Title and abstract"},{"comment":"The second integral in the definition of E_{R,c} is written as '∫∫_{|x−c|≥R y∈Rd}', which is ambiguous; it should display two separate integration signs, one over x with |x−c| ≥ R and one over y ∈ R^d.","section":"Corollary 4.2"},{"comment":"The notation '∫_t^0' in (4.10) should read '∫_0^t', and the symbol '/greaterorsimilar' should be replaced by the standard '≳'.","section":"Section 4, display (4.10)"},{"comment":"The displayed equation for the case h_∞^j = 0 is confusing: the right-hand side appears to combine the commutator (⟨∇⟩−|∇|)⃗u and the nonlinearity in a way that is not derived in the text. Please clarify the equality and the meaning of the term f(|∇|^{-1}⟨∇⟩u).","section":"Section 3.2, display after (3.26)"},{"comment":"In the estimate of I2, the sentence 'since otherwise I2 vanish' should read 'since otherwise I2 vanishes'; also, the application of the Hardy-Littlewood-Sobolev inequality in the region |x−c| ∼ |y−c| uses the kernel |x−y|^{-4}, which is admissible for d ≥ 5, but this end-point condition should be stated explicitly for the reader.","section":"Proposition 5.1, I2 estimate"}],"recommendation":"major_revision","confidential_remarks":"The manuscript relies substantially on the authors' own prior work [22] and [23] for load-bearing steps: [22] rules out the concentrating-profile case in Proposition 4.1, and [23] supplies the proof of Corollary 4.3 and the choice of the translation function c(t). This is not circular in a logical sense, but it means the correctness of the present theorem is contingent on results that are not re-derived here and whose adaptation to the energy-critical case is not automatic. I recommend that the editor ask the authors to provide the missing proof of Corollary 4.3 in the critical setting, or to state precisely which theorem in [22] or [23] covers it, so that the manuscript can be evaluated independently. The paper is within the scope of the journal, and there is no evidence of deliberate concealment of difficulties; the omissions appear to be an over-reliance on the authors' previous work."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear Colleague,\n\nThis paper claims the first scattering result for the defocusing energy-critical Klein-Gordon-Hartree equation in d≥5: every finite-energy solution is global and scatters to free Klein-Gordon solutions. That is a real step, not a repackaging. The genuinely new piece is the virial identity in the momentum-orthogonal direction, used to kill the soliton-like critical element; the way the nonlocal term and the moving frame interact is handled with care in Section 5.\n\nThe paper also does solid work on the nonlinear estimates, the Strichartz/perturbation setup, and the profile decomposition. Lemma 2.3, Lemma 2.7, and Lemma 3.5 are all visible and coherent. I looked for a hidden contradiction in the I2 estimate in Proposition 5.1 and did not find one.\n\nThe soft spots are exactly the ones flagged. Proposition 4.1 says the proof from [10] can be adapted verbatim; Corollary 4.3 sends the reader to [23] for the fixed-time lower bound; and the h_n→0 case uses [22]. Three separate load-bearing imports, all from the authors' own group or the direct template. The self-citation pattern is not itself a flaw, but it means the preprint is not self-contained in the places that matter.\n\nThe one that worries me is Corollary 4.3. The lower bound on the anisotropic density integral is the engine of the contradiction. Without it, (5.5) only gives -A'(t) ≥ -ηE, which is no contradiction. The deferred proof in [23] is for the subcritical convolution |x|^{-γ} with 2<γ0$ on some unit-length interval; such an example would disprove Corollary 4.3 and remove the linear-growth contradiction that forces $E_{\\max}=+\\infty$.","tokens_in":23754,"feed_emoji":"🌊","tokens_out":9147,"duration_ms":85705,"temperature":0.7,"pith_summary":"The paper aims to establish global well-posedness and scattering for the defocusing energy-critical Klein-Gordon-Hartree equation in spatial dimensions $d\\ge 5$: every solution with finite energy exists for all time and converges, in $H^1(\\mathbb{R}^d)\\times L^2(\\mathbb{R}^d)$, to a free Klein-Gordon solution as $t\\to\\pm\\infty$. This matters because the nonlinearity $(|x|^{-4}*|u|^2)u$ is nonlocal and lacks the Lorentz invariance usually used to control momentum, so the standard energy-critical scattering machinery needs a new way to rule out a trapped soliton-like solution. The paper reduces the problem to showing that no such critical element exists, then eliminates it with a virial-type identity in the direction orthogonal to the conserved momentum. If correct, the result completes the energy-critical scattering theory for this nonlocal equation.","feed_headline":"All finite-energy solutions scatter for critical Klein-Gordon-Hartree","feed_subtitle":"Every solution in d≥5 approaches a free Klein-Gordon wave in both time directions.","key_machinery":"The load-bearing object is the localized virial action $A(t)=I(t)+\\frac12 J(t)$, built from $I(t)=\\int z_2\\varphi_R(z)\\,\\partial_2 u\\,u_t\\,dx$ with $z=x-c(t)$ and the equirepartition action $J(t)=\\int \\varphi_R(z)\\,u\\,u_t\\,dx$. Its time derivative, after symmetrization, is essentially the negative of the weighted interaction integral $\\iint \\frac{|x_2-y_2|^2}{|x-y|^6}|u(t,x)|^2|u(t,y)|^2\\,dx\\,dy$ plus errors that become small when the trajectory is precompact and $R$ is large. Integrating this identity and applying the fixed-time lower bound of Corollary 4.3 forces $A(t)$ to grow linearly in $t$, while compactness and bounded energy give the uniform bound $|A(t)|\\lesssim R\\,E(u,\\dot u)$; this contradiction extinguishes the critical element. The earlier part of the argument uses the profile decomposition strategy of [10] to extract that critical element and the small-data scattering theory to initialize the induction on energy.","core_discovery":"The central claim is Theorem 1.3: for $d\\ge 5$ and any $(u_0,u_1)\\in H^1(\\mathbb{R}^d)\\times L^2(\\mathbb{R}^d)$, the equation $u_{tt}-\\Delta u+u+(|x|^{-4}*|u|^2)u=0$ has a unique global strong solution $u$, and there exist free Klein-Gordon solutions $v_\\pm$ such that $(u(t),u_t(t))$ converges to $(v_\\pm(t),\\partial_t v_\\pm(t))$ in $H^1\\times L^2$ as $t\\to\\pm\\infty$. The proof argues by contradiction on the maximal scattering-energy threshold $E_{\\max}$. If $E_{\\max}$ were finite, concentration-compactness methods produce a single nonzero critical element $u_c$ of energy $E_{\\max}$ whose orbit is precompact up to translations and whose scattering size is infinite. A localized virial action in a direction perpendicular to the conserved momentum then has time derivative bounded below by the positive integral of $|x_2-y_2|^2/|x-y|^6$ times the two-particle density, up to arbitrarily small energy errors; the imported fixed-time lower bound of Corollary 4.3 makes that integral grow linearly in time, contradicting the uniform bound on the virial action. Hence $E_{\\max}=+\\infty$, which closes the induction and yields global well-posedness and scattering.","pith_inferences":["The same orthogonal-virial mechanism is likely exportable to other nonlocal, non-Lorentz-invariant critical dispersive equations; the handling of the momentum direction is the part to test in those settings.","A direct, self-contained proof of Corollary 4.3 at criticality would remove the only cited gap in the argument; a quantitative version would also yield an explicit divergence rate for the virial action.","Because the argument is stated for $d\\ge 5$, the borderline case $d=4$ is not covered, and extending the extinction step there would require new endpoint estimates for the kernel $|x|^{-4}$.","The virial identity may provide a useful local smoothing or Morawetz estimate for later low-regularity or focusing problems, but that direction is not pursued in the paper."],"forward_implications":["Every finite-energy solution in $d\\ge 5$ is global; there is no finite-time blow-up for the defocusing energy-critical Klein-Gordon-Hartree equation.","Every finite-energy solution scatters to a free Klein-Gordon wave in both time directions, so the nonlinear dynamics is asymptotically linear.","No nonzero, compact-up-to-translation threshold solution can exist at the critical energy; the scattering threshold $E_{\\max}$ is infinite.","The result covers arbitrary, not only radial, initial data in the energy space.","Finiteness of energy alone controls the global scattering size, turning the small-data scattering threshold into a global statement."],"supporting_citations":[{"why":"Supplies the concentration-compactness strategy, the profile decomposition, and the extraction of the critical element from the threshold assumption.","marker":"[10]"},{"why":"Supplies the virial-type identity in the direction orthogonal to the momentum vector, used to exclude the critical element.","marker":"[28]"},{"why":"Provides (by citation) the fixed-time lower bound in Corollary 4.3 that forces linear growth of the weighted interaction integral.","marker":"[23]"},{"why":"Rules out the $h_n\\to 0$ profile by showing the energy-critical wave-Hartree equation has no nonzero finite-energy solution with infinite scattering size.","marker":"[22]"},{"why":"Provides the Strichartz and dispersive estimates underlying the local theory, small-data scattering, and perturbation argument.","marker":"[7]"}],"fun_headline_variants":["Scattering proved for critical Klein-Gordon-Hartree in d≥5","All solutions scatter for critical Klein-Gordon-Hartree","Defocusing critical KG-Hartree scatters in d≥5","No soliton solutions in critical Klein-Gordon-Hartree","Global well-posedness and scattering for KG-Hartree"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing imported lemma (Corollary 4.3, whose proof is not included here) says that a nonzero solution whose trajectory, after shifting the moving center to the origin, stays in a compact set must radiate at least a fixed positive amount $\\beta$ of the weighted quantity $\\iint |x_2-y_2|^2|u|^2|u|^2/|x-y|^6\\,dx\\,dy$ in every time box of fixed length; if that lower bound fails to carry over from the subcritical case, the extinction argument collapses.","fun_headline_variants_meta":{"raw":{"variants":["Scattering proved for critical Klein-Gordon-Hartree in d≥5","All solutions scatter for critical Klein-Gordon-Hartree","Defocusing critical KG-Hartree scatters in d≥5","No soliton solutions in critical Klein-Gordon-Hartree","Global well-posedness and scattering for KG-Hartree"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000462,"raw_usage":{"total_tokens":2353,"prompt_tokens":1032,"completion_tokens":1321,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":648,"completion_tokens_details":{"reasoning_tokens":1231}},"tokens_in":648,"tokens_out":1321,"duration_ms":9421,"temperature":1.0,"reasoning_tokens":1231,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:01:35.667970+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit, numerically or analytically, a nonzero global solution of (1.1) in $d\\ge 5$ whose trajectory is precompact up to translation and for which the quantity $\\int_t^{t+1}\\iint |x_2-y_2|^2|u(s,x)|^2|u(s,y)|^2/|x-y|^6\\,dx\\,dy\\,ds$ can be made smaller than any prescribed $\\beta>0$ on some unit-length interval; such an example would disprove Corollary 4.3 and remove the linear-growth contradiction that forces $E_{\\max}=+\\infty$.","supporting_citations":[{"cited_title":"Ibrahim, N","cited_arxiv_id":null,"evidence_quote":"Supplies the concentration-compactness strategy, the profile decomposition, and the extraction of the critical element from the threshold assumption."},{"cited_title":"Pausader, Scattering for the Beam Equation in Low Dim ensions","cited_arxiv_id":null,"evidence_quote":"Supplies the virial-type identity in the direction orthogonal to the momentum vector, used to exclude the critical element."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides (by citation) the fixed-time lower bound in Corollary 4.3 that forces linear growth of the weighted interaction integral."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Rules out the $h_n\\to 0$ profile by showing the energy-critical wave-Hartree equation has no nonzero finite-energy solution with infinite scattering size."},{"cited_title":"Ginibre and G","cited_arxiv_id":null,"evidence_quote":"Provides the Strichartz and dispersive estimates underlying the local theory, small-data scattering, and perturbation argument."}],"review_version":1}