{"id":"c1ce8693-68b1-4da2-ad2d-09da92c85375","arxiv_id":"2506.05406","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For radial data with energy just above the ground state, the energy-critical Hartree equation has a dichotomy: solutions scatter or blow up according to a sign functional, after at most one passage near the ground state.","lead":"This paper classifies the long-time behavior of radial solutions to the focusing energy-critical Hartree equation when the energy is slightly above the ground state: every such solution either scatters, blows up, or stays near the ground state only on a single time interval. It extends the Nakanishi-Schlag global dynamics program from NLS, NLW and NLKG to the nonlocal Hartree equation.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central claim hinges on an imported spectral/nondegeneracy assumption (Prop. 2.3) that is not proved or independently checked; if the coercivity on G^⊥ fails, the ejection mechanism collapses.","rationale":"The reader identified the same weakest assumption, and I agree. The paper is a serious adaptation of the Nakanishi–Schlag program and the internal logic is coherent if the spectral hypothesis holds, but the hypothesis is imported and central. The main theorem's proof would collapse without Prop. 2.3(e), and no internal check is provided. This justifies remaining CONDITIONAL rather than ACCEPT. I do not see a clear internal contradiction in the estimates; the concern is the security of an unverified external pillar.","tokens_in":47333,"tokens_out":40184,"duration_ms":364115,"concrete_test":"Independently derive Prop. 2.3(e) from the nondegeneracy theorems [29,34]: verify on radial functions in G^⊥ that ⟨Lγ,γ⟩ ≥ c∥γ∥^2_{˙H^1} by checking that L_- ≥ 0 with kernel span{W} and L_+ has exactly one nonpositive direction (scaling) on the constrained space; a concrete way is to solve the radial ODE systems for L_- and the coupled g± eigenvalue problem for d=5 and compute the smallest eigenvalue of the quadratic form restricted to G^⊥. If a nonzero γ∈G^⊥ with ⟨Lγ,γ⟩≤0 is found, the ejection lemma and hence Theorem 1.5 are unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 1.5 reduces the dynamics near W to the finite-dimensional unstable-mode ODE ∂_τ λ_± = ±μλ_± + O(∥v∥^2) (Prop. 3.4) and then to the ejection lemma (Prop. 3.8). This reduction requires Prop. 2.3(e): the linearized energy Φ is coercive on G^⊥, so that the orthogonal component γ is controlled by ⟨Lγ,γ⟩ (Prop. 3.5). The paper imports Prop. 2.3 from [29,34] and gives no self-contained verification; the only internal proof (Prop. 3.3) starts after assuming the spectral setup and just normalizes g± and proves ⟨W,g2⟩≠0. If L_- had an additional negative eigenvalue or L_+ had more than the scaling mode plus ±μ, then the sign functional Θ and the estimate (3.21) would fail, and the one-pass lemma (Prop. 3.12) would not follow. This is load-bearing because every subsequent conclusion—ejection, one-pass, and the scattering/blow-up dichotomy—uses it. The auxiliary Prop. 3.10 and Lemma 5.4 are also only sketched, but they are adaptations of known arguments; the spectral input is the more fundamental unverified pillar.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies radial solutions of the focusing, energy-critical Hartree equation in dimensions d≥5 with energy slightly above the ground state energy E(W). Adapting the Nakanishi–Schlag strategy of ejection dynamics and one-pass lemmas, the authors introduce a nonlinear distance function ed_W, a sign functional Θ, and a relatively closed set X_ε inside the energy shell H_ε. Their main theorem, Theorem 1.5, asserts that any solution can remain in X_ε only on an interval, and once it leaves X_ε its fate is determined by Θ: Θ=+1 gives scattering while Θ=-1 gives finite-time blow-up for L² data. The proof combines modulation analysis around the ground-state manifold, spectral properties of the linearized operator, virial identities, a critical-element argument, and a perturbation reduction to the sub-threshold theory of [37]. Theorem 1.7 further proves that the four forward/backward scattering/blow-up classes have nonempty interior.","tokens_in":47607,"tokens_out":16040,"duration_ms":173890,"significance":"If the spectral input from [29,34] and the sketched lemmas are accepted, the paper would provide a complete classification of radial dynamics slightly above the ground state for a nonlocal energy-critical equation, extending the NLS/NLW/NLKG results of Nakanishi–Schlag, Krieger–Nakanishi–Schlag, and Roy. The adaptation is nontrivial: the scaling parameter must be incorporated into the hyperbolic dynamics, the nonlinear distance requires a dynamical mollification, and the one-pass proof involves a virial comparison between hyperbolic and variational regions. The construction of the four open sets in Theorem 1.7 is a useful additional result. However, several load-bearing ingredients are only cited or sketched, so the current manuscript is not yet fully verifiable.","major_comments":[{"comment":"The coercivity statement Proposition 2.3(e), namely Φ(h) ≥ c‖h‖² on G⊥, is imported from [29,34] with no proof. This is load-bearing: Proposition 3.5 uses it to conclude ‖γ‖² ∼ ⟨Lγ,γ⟩, which underpins the equivalent norm in (3.12), the nonlinear distance estimates in Proposition 3.7, and the ejection dynamics in Proposition 3.8. Since the nondegeneracy results in [28,29,30] are by the same group and Proposition 2.3 adds spectral conclusions beyond nondegeneracy, the manuscript should either prove Proposition 2.3(e) or give precise theorem/lemma references and a summary of the argument. The reader currently cannot independently check the hypothesis on which the entire hyperbolic mechanism rests.","section":"Section 2, Proposition 2.3"},{"comment":"After equation (3.2), the text states that ω(g±,γ)=0 'implies γ∈G⊥'. This is not immediate because G⊥ is defined by three orthogonality conditions: (iW,γ)=(fW,γ)=ω(g±,γ)=0. The spectral decomposition fixes only the symplectic orthogonality to g±. The authors need to justify that g± are H¹-orthogonal to iW and fW, for example by proving that the linearized generator iL is skew-adjoint with respect to the H¹ inner product, or by an explicit computation. Without this, the coercivity in Proposition 2.3(e) cannot be applied to the remainder γ in Proposition 3.5.","section":"Section 3.3, Proposition 3.3"},{"comment":"Proposition 3.10 is stated with only a 'Sketch of proof' and refers to [44, Lemma 4.3]. It is used twice in load-bearing ways: in Proposition 3.11 to ensure sign K(φ) is constant on H_ϵ \\ eB_δ(W), and in the one-pass proof to obtain the lower bounds −K ≥ κ(δ_V) and K ≥ κ(δ_V) on the variational region. The distance ed_W here is defined through a temporal mollification and the nonlinearity is nonlocal, so the reduction to [44] is not automatic. A full proof, or at least a detailed statement of the modifications needed for the Hartree kernel |x|^{-4}, should be included.","section":"Section 3.6, Proposition 3.10"},{"comment":"Lemma 5.4, the precompactness of the critical flow up to scaling, is essential for Lemma 5.5: it is used to exclude concentration blow-up in Step 1, to prove inf σ_c = −∞ in Step 2, and to construct the limiting object U_ω in Step 3. The proof is only a sketch referring to [37, Proposition 4.2]. Since the critical solution here has energy above E(W) and carries the additional constraint Θ=+1, the adaptation is not merely a citation and should be written out or the exact modifications should be supplied.","section":"Section 5, Lemma 5.4"}],"minor_comments":[{"comment":"The manuscript contains many typos and formatting errors, including 'ST A TE' in the title, 'invairances', 'pionerred', 'defination', and 'Lemmma'. A careful proofreading pass is needed.","section":"Throughout"},{"comment":"In the proof of Theorem 1.7, the vector B in the definition γ(0) := -P^⊥_B φ^C_R W + ω(φ^C_R W, g_-)g_+ - ω(φ^C_R W, g_+)g_- is not defined; the text says only 'where B satisfies ω(g±,B)=0'. Please clarify what B is and how the projection P^⊥_B is chosen.","section":"Section 7, construction of γ(0)"},{"comment":"The list of smallness conditions (4.1), (4.16), (4.18), (4.23), (4.24), (4.36), (4.40), and (4.43) is hard to follow because some conditions involve δ and δ_M jointly while δ_M is later fixed as an absolute constant. It would help to state the final ordering of parameters explicitly at the beginning of Section 4.","section":"Section 4, parameter hierarchy"},{"comment":"The sentence 'Later, D. Li and X. Zhang in [24] removed the radial assumption' is not fully aligned with the reference [24], which appears to have three authors; please verify the attribution and the bibliography entry.","section":"Introduction, Theorem 1.2"}],"recommendation":"major_revision","confidential_remarks":"The paper leans very heavily on the authors' own previous work [28,29,30,37] for the nondegeneracy of the ground state and for the sub-threshold dynamics. This is not improper, but it means that the referee cannot evaluate the central hypotheses in isolation. The editor may wish to confirm that Proposition 2.3 is indeed proved in full in the cited papers, since the present manuscript does not reproduce it."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: this is a real result, not a marginal one. It classifies radial solutions slightly above the ground state for the energy-critical Hartree equation, extending the known below-threshold theory and transferring the Nakanishi–Schlag mechanism to a nonlocal critical equation. Theorem 1.5 and the non-empty four intersections in Theorem 1.7 are genuinely new, and the introduction of the scaling parameter in the modulation is the right adaptation: without it the critical scaling would break the finite-dimensional control. The paper ships detailed proofs of the key one-pass lemma in Section 4 and the ejection lemma in Proposition 3.8, and I can see the logic: ejection forces growth of the unstable mode, the sign functional Θ is well-defined, and the one-pass argument precludes re-entry. So far the architecture is coherent.\n\nWhere I hesitate: the spectral pillar Proposition 2.3 is imported from [29,34]. The stress-test is right that the coercivity on G^⊥ and the simple ±μ spectrum are load-bearing. But I do not treat that as a flaw in the paper itself: it is a published external theorem, and citing it is normal mathematical practice. What I would want from the authors is a precise pointer to the theorem statements and a discussion of exactly where [29,34] prove part (e), because Proposition 3.5 and the ejection mechanism only work verbatim if the G^⊥ coercivity holds at the stated norm. The sketches in Proposition 3.10 and Lemma 5.4 are thinner: they say 'same as [44, Lemma 4.3]' and 'see [37, Prop 4.2]'. For a paper of this length, that is acceptable in the subfield but should be upgraded in the published version, especially Lemma 5.4 because pre-compactness of the critical flow is what closes the contradiction.\n\nThe self-citation pattern is fine. The nondegeneracy papers overlap with the authors, but the results are independently proven and the dependency is transparent. I found no circularity.\n\nWho it is for: dispersive PDE people working on threshold dynamics and concentration-compactness. It deserves a serious referee; it is exactly the kind of paper that should be read carefully rather than desk-rejected. My recommendation: send it to peer review, with referee attention on Prop. 2.3 compatibility and the two sketches.","headline":"Serious, credible extension of the Nakanishi–Schlag one-pass program to the energy-critical Hartree equation; the main theorem is new and the architecture is right, but the proof leans on imported spectral and pre-compactness results that a referee should verify.","tokens_in":48129,"tokens_out":1585,"would_cite":true,"duration_ms":18404,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q41","35Q55"],"pacs":[],"model":"deepseek-v4-flash","headline":"For radial Hartree solutions with energy just above the soliton threshold, a continuous sign functional Θ decides between scattering and finite-time blow-up after a single pass near the ground state.","keywords":["Blow-up","Hartree equation","Concentration-compactness-rigidity argument","Induction on energy","Modulation analysis","One-pass lemma","Scattering theory","Variational method"],"falsifier":"Compute the radial linearized eigenvalue problem $L_- h = \\nu h$ at $W$: any negative eigenvalue $\\nu < 0$ on the subspace orthogonal to $\\mathrm{span}\\{W\\}$ would falsify Proposition 2.3(e), destroy the coercivity of the linearized energy on $G^\\perp$, and invalidate the ejection lemma and the sign functional used in Theorem 1.5.","tokens_in":47138,"feed_emoji":"⚛️","tokens_out":14596,"duration_ms":121706,"temperature":0.7,"pith_summary":"This paper classifies the long-time behavior of radial solutions to the focusing energy-critical Hartree equation whose energy is slightly above the energy of the ground state $W$. It builds a closed set $X_\\epsilon$ around the soliton manifold and a continuous sign function $\\Theta$ defined outside $X_\\epsilon$, and proves that every solution can stay inside $X_\\epsilon$ only on a single interval of time. After leaving $X_\\epsilon$, $\\Theta = +1$ forces scattering to a free wave at large time, while $\\Theta = -1$ (for $L^2$ data) forces finite-time blow-up. The proof rests on a one-pass lemma showing that a solution can pass near $W$ and leave at most once.","feed_headline":"A sign forecasts scatter or blow-up for Hartree radial solutions","feed_subtitle":"Radial data with energy just above the soliton threshold is fully classified: stay, scatter, or blow up.","key_machinery":"The load-bearing mechanism is the unstable-mode description of the flow near $W$: after the orthogonal decomposition $v = \\lambda_+ g_+ + \\lambda_- g_- + \\gamma$ into the eigenfunctions $g_\\pm$ of the linearized operator $iL$ and the orthogonal remainder $\\gamma$, the mode equations $\\partial_\\tau \\lambda_\\pm = \\pm \\mu \\lambda_\\pm + O(\\|v\\|^2)$ make the flow hyperbolic, so a solution entering a small neighborhood of $W$ with outward radial distance is ejected with $\\lambda_1$ growing exponentially. Around this sit the nonlinear distance $\\widetilde{d}_W$ (a smoothed energy-excess that is strictly convex in the rescaled time $\\tau$), the sign functional $\\Theta$ glued from $\\operatorname{sign} K$ and $-\\operatorname{sign} \\lambda_1$, and the one-pass lemma (Proposition 3.12), which uses a localized virial identity and cut-off estimates to prove that no solution can re-enter the small neighborhood after leaving it.","core_discovery":"The central claim is Theorem 1.5: for each dimension $d \\ge 5$ there is an absolute $\\epsilon_* \\in (0,1)$ such that for every $\\epsilon \\in (0, \\epsilon_*]$ there exist a relatively closed $X_\\epsilon \\subset H_\\epsilon$ and a continuous $\\Theta : H_\\epsilon \\setminus X_\\epsilon \\to \\{\\pm 1\\}$ with the property that any solution $u$ of (1.1) with radial data can meet $X_\\epsilon$ only on an interval (possibly its whole lifespan), and on each component of the complement the constant sign $\\Theta(u(t))$ decides the asymptotic fate: $\\Theta = +1$ near the maximal forward time implies the solution scatters, and $\\Theta = -1$ with $u_0 \\in L^2$ implies finite-time blow-up in that direction. The sign functional $\\Theta$ is constructed so that it equals $\\operatorname{sign} K$ (the virial functional) away from $W$ and equals $-\\operatorname{sign} \\lambda_1$ (the unstable eigenmode) near $W$, and the two definitions are glued by the ejection lemma. The proof combines hyperbolic dynamics near the soliton — the unstable mode grows exponentially with rate $\\mu$ and dominates the remainder — with a one-pass argument far from $W$ that rules out returns to the soliton, and with the known classification below $E(W)$ for the scattering side.","pith_inferences":["If the same spectral gap around $W$ persisted for nearby nonlocal kernels, the ejection-and-one-pass scheme would extend the dichotomy to a family of Hartree-type equations, with the admissible energy window set by the uniform spectral constants rather than by the exact interaction.","The sign functional effectively labels the two connected components of the energy shell outside the stable manifold of the linearized flow; a numerical continuation of that manifold would yield a concrete, checkable criterion for predicting scatter versus blow-up for a given radial datum.","The one-pass lemma suggests the no-return property is a spectral fact rather than a radial-symmetry fact: any solution that came back near $W$ would have to cross the ejected region with both signs of $K$, which the virial estimates forbid; this hints the dichotomy may survive without radial symmetry.","A solution that scatters in the past and blows up in the future must cross the soliton neighborhood exactly once; the crossing time and the value of $\\lambda_1$ at injection could serve as an observable order parameter in numerical experiments."],"forward_implications":["Every radial solution with $E(u_0) < E(W) + \\epsilon^2$ has its visits to the $\\epsilon$-neighborhood of the soliton confined to one interval of time; outside that interval the sign $\\Theta$ is constant.","If $\\Theta = +1$ after the ejection time, the solution scatters in that time direction — its Strichartz norm is finite and it approaches a linear wave.","If $\\Theta = -1$ after ejection and the initial data lie in $L^2$, the solution blows up in finite time in that direction.","The four one-sided behaviors — scatter/scatter, scatter/blow-up, blow-up/scatter, and blow-up/blow-up — all occur on open sets of data, so mixed dynamics are generic in $H_\\epsilon \\cap L^2$.","The dichotomy is uniform in $\\epsilon$: the same spectral constants define $X_\\epsilon$ and $\\Theta$ for every small $\\epsilon$, so the classification is stable under small changes of the energy threshold."],"supporting_citations":[{"why":"Supplies the below-threshold scatter/blow-up classification that serves as the base case and as the contradiction target in the energy-induction step.","marker":"[37]"},{"why":"Establishes the non-degeneracy of the ground state and the threshold dynamics (W±), yielding the spectral properties of the linearized operator used throughout.","marker":"[29]"},{"why":"Provides the variational characterization of W, the localized virial identity, and the local well-posedness tools used in the hyperbolic and variational regions.","marker":"[34]"},{"why":"Gives the energy-critical Schrödinger analogue whose ejection-and-one-pass structure is adapted here, including the handling of the scaling parameter.","marker":"[43]"},{"why":"Introduces the nonlinear distance functional d0 and its mollified convex version d1, and the gluing of sign K with −sign λ1 into a continuous sign functional.","marker":"[46]"},{"why":"Pioneered the one-pass lemma and the ejection description for Klein–Gordon dynamics above the ground state, the methodological basis of Proposition 3.12.","marker":"[44]"},{"why":"Provides the energy-critical wave-equation template for the one-pass lemma with radial data, including control of the scaling parameter.","marker":"[22]"},{"why":"Supplies the induction-on-energy (energy-reduction) argument used on the scattering side of the one-pass lemma.","marker":"[4]"}],"fun_headline_variants":["Sign predicts scatter or blow-up for Hartree radial data","Above soliton energy: radial Hartree solutions split by sign","Sign functional classifies radial Hartree dynamics above ground state","Radial Hartree solutions above ground state: scatter or blow-up","One sign decides fate of radial Hartree waves above threshold"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The paper's argument stands on the non-degeneracy of the ground state $W$: the linearized operator around $W$ must have exactly one unstable and one stable direction (eigenvalues $\\pm\\mu$), no other negative modes, and a coercive bound on the orthogonal remainder; if these spectral facts failed, the ejection dynamics and the one-pass lemma would break.","fun_headline_variants_meta":{"raw":{"variants":["Sign predicts scatter or blow-up for Hartree radial data","Above soliton energy: radial Hartree solutions split by sign","Sign functional classifies radial Hartree dynamics above ground state","Radial Hartree solutions above ground state: scatter or blow-up","One sign decides fate of radial Hartree waves above threshold"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000264,"raw_usage":{"total_tokens":1720,"prompt_tokens":1178,"completion_tokens":542,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":794,"completion_tokens_details":{"reasoning_tokens":458}},"tokens_in":794,"tokens_out":542,"duration_ms":5989,"temperature":1.0,"reasoning_tokens":458,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T10:52:50.221056+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the radial linearized eigenvalue problem $L_- h = \\nu h$ at $W$: any negative eigenvalue $\\nu < 0$ on the subspace orthogonal to $\\mathrm{span}\\{W\\}$ would falsify Proposition 2.3(e), destroy the coercivity of the linearized energy on $G^\\perp$, and invalidate the ejection lemma and the sign functional used in Theorem 1.5.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the below-threshold scatter/blow-up classification that serves as the base case and as the contradiction target in the energy-induction step."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the non-degeneracy of the ground state and the threshold dynamics (W±), yielding the spectral properties of the linearized operator used throughout."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the variational characterization of W, the localized virial identity, and the local well-posedness tools used in the hyperbolic and variational regions."},{"cited_title":"Nakanishi and T","cited_arxiv_id":null,"evidence_quote":"Gives the energy-critical Schrödinger analogue whose ejection-and-one-pass structure is adapted here, including the handling of the scaling parameter."},{"cited_title":"Nakanishi and W","cited_arxiv_id":null,"evidence_quote":"Introduces the nonlinear distance functional d0 and its mollified convex version d1, and the gluing of sign K with −sign λ1 into a continuous sign functional."},{"cited_title":"Nakanishi and W","cited_arxiv_id":null,"evidence_quote":"Pioneered the one-pass lemma and the ejection description for Klein–Gordon dynamics above the ground state, the methodological basis of Proposition 3.12."},{"cited_title":"Krieger, K","cited_arxiv_id":null,"evidence_quote":"Provides the energy-critical wave-equation template for the one-pass lemma with radial data, including control of the scaling parameter."},{"cited_title":"Bourgain,Global well-posedness of defocusing critical nonlinear Schr¨ odinger equation in the radial case, J","cited_arxiv_id":null,"evidence_quote":"Supplies the induction-on-energy (energy-reduction) argument used on the scattering side of the one-pass lemma."}],"review_version":1}