{"id":"54e3eebc-3dcf-4d88-b099-d4916deed36f","arxiv_id":"1908.01038","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For a mass-subcritical fractional Hartree equation with a confining unbounded potential, the ground state set exists and, assuming global well-posedness, the standing waves are orbitally stable.","lead":"This paper proves that the fractional Hartree equation with a potential that grows at infinity has a nonempty set of ground states, and that the standing waves built from them are orbitally stable, provided the equation is globally well-posed. The result matters for trapped boson star and fractional Schrödinger models, but the well-posedness assumption is still an open problem.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.3 depends on the still-open Hypothesis 1; if global well-posedness for fractional Hartree with unbounded potentials fails, the orbital stability result is vacuous.","rationale":"The reader's weakest assumption correctly identifies Hypothesis 1 as the load-bearing point. The variational existence and compactness argument in Proposition 4.1 is self-contained and essentially correct: the compact embedding lemma is valid, and the orbital stability proof follows the Cazenave-Lions pattern once Hypothesis 1 is granted. The only blemish in the proof is the algebraic slip in Lemma 3.2's estimate for (3.6), where the difference of Hartree integrals is bounded by | ||v_n||_2^2 - ||U||_2^2 | instead of the L1 difference of the squared moduli; since strong L2 convergence gives the latter, the argument is repairable. Therefore no internal contradiction threatens the conditional conclusion; the main caveat is the unproved global well-posedness. This matches the reader's verdict, so no adjustment is needed.","tokens_in":10311,"tokens_out":25043,"duration_ms":228459,"concrete_test":"Prove or disprove the local-in-time dispersive estimate ||e^{-itH}||_{L^1 to L^infty} <= C |t|^{-N/2} for H = (-Delta + m^2)^s + |x|^2 in the range 0<s<1. If the estimate fails, the standard Strichartz route to Hypothesis 1 is blocked and the well-posedness assumption is unsupported; if it holds, it supplies a key missing ingredient for verifying Hypothesis 1.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing assumption is Hypothesis 1, stated in Section 2 but not repeated in Theorem 4.3. The orbital stability proof uses it to (i) convert the a priori energy bounds into a uniform-in-time Sigma^s bound for the solution and (ii) pass from the minimizing sequence {u(t_n)} to actual solution values with conserved mass and energy. Remark 2.1 admits that for 0<s<1 with unbounded potentials like |x|^2, the global well-posedness part remains an open question; only numerical evidence exists for a special case. Thus the central claim is genuinely conditional, and its title/abstract can be read as overstating an unconditional stability theorem. If Hypothesis 1 is false, Theorem 4.3 holds for no initial data outside standing waves. The variational core (Proposition 4.1) appears sound; the minor algebraic slip in Lemma 3.2's proof of (3.6) is repairable and does not affect this conclusion.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the mass-subcritical fractional Hartree equation (1.1) with an unbounded potential V satisfying (2.1). The authors define an energy space Σ^s and an energy functional E, and prove (Proposition 4.1) that the constrained minimization d_M = inf_{∥v∥_2^2=M} E(v) is attained and that every minimizing sequence is relatively compact in Σ^s. Under the additional global well-posedness Hypothesis 1, they then prove (Theorem 4.3) the orbital stability of the set of ground states S_M. The proof relies on a compact embedding of Σ^s in L^2 obtained from the growth of V, Lemma 3.2, and a concentration-compactness argument adapted from Cazenave–Lions and Zhang.","tokens_in":10453,"tokens_out":10503,"duration_ms":88639,"significance":"The variational part of the paper is a clean and apparently correct extension of existing ground-state existence results to fractional Hartree equations with unbounded potentials. The compact-embedding observation is simple and useful, and Proposition 4.1 does not depend on the open hypothesis. The orbital stability result is a natural consequence of the variational compactness once global well-posedness is assumed. The authors are explicit in Remark 2.1 that Hypothesis 1 remains open for 0<s<1 with unbounded potentials, which is an honest limitation. The main weakness is that the abstract and theorem statement present the stability conclusion as unconditional, even though the proof and the theorem as written require Hypothesis 1.","major_comments":[{"comment":"Theorem 4.3 as stated is missing the assumption that Hypothesis 1 holds. The sentence before the theorem says 'assuming Hypothesis 1', but the formal statement does not include it. Because Remark 2.1 states that the theoretical proof of Hypothesis 1 is open for the fractional Hartree equation with unbounded potentials, the orbital stability theorem is conditional in an essential way: without global well-posedness, the solutions u(t) to which the conclusion applies are not known to exist for arbitrary Σ^s data. The abstract and title should be revised to say that orbital stability is proved conditionally on Hypothesis 1, and the theorem statement should explicitly list it as an assumption.","section":"Section 2, Hypothesis 1 and Remark 2.1; Theorem 4.3"}],"minor_comments":[{"comment":"In the second part of the proof, the displayed inequality bounding the difference of the two Hartree terms uses | ∥vn∥_2^2 - ∥U∥_2^2 | as a factor, which is not a valid upper bound for the L^1 difference of the squared moduli. The argument can be repaired by writing ∥ |vn|^2 - |U|^2 ∥_1 ≤ (∥vn∥_2 + ∥U∥_2)∥vn - U∥_2 and using (3.11).","section":"Section 3, proof of Lemma 3.2"},{"comment":"The abstract states that the paper proves orbital stability without mentioning that this conclusion depends on Hypothesis 1, which Remark 2.1 acknowledges remains open; this should be qualified.","section":"Abstract"},{"comment":"In the computation of ⟨f, φ⟩_Σ, the second displayed line contains V^{1/2}v_n instead of V^{1/2}f; this appears to be a typographical error and should be corrected.","section":"Section 5, proof of Proposition 5.1"},{"comment":"The citation 'Zhang and Kirkpatrick [15]' should be 'Kirkpatrick and Zhang [15]' to match the reference list entry.","section":"Remark 2.1 and reference list"}],"recommendation":"major_revision","confidential_remarks":"The paper is honest about the open hypothesis in Remark 2.1, but the formal presentation overstates the result. The variational existence result (Proposition 4.1) appears sound and may be publishable on its own; the orbital stability theorem can be made precise with modest changes in wording. I recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe variational core is the real contribution. Proposition 4.1 gives unconditional existence and relative compactness of minimizing sequences for the fractional Hartree energy with unbounded V in the mass-subcritical range 0<γ<2s. That fills a gap: prior results mostly assume V=0 or s=1 with harmonic potentials. The new compactness lemma, embedding Σ^s into L^2 via V→∞, is a clean adaptation of the Cazenave–Lions/Zhang idea and it works.\n\nTheorem 4.3 is exactly what the title claims, but only under Hypothesis 1, the global well-posedness of (1.1) in Σ^s. The authors themselves say in Remark 2.1 that this remains open for fractional Hartree with harmonic potentials. So the headline stability statement is conditional, and the abstract does not say so. That is the softest part, and it is a real softness, not a manufactured one. If Hypothesis 1 is false, Theorem 4.3 has no nontrivial solutions to apply to.\n\nOne more technical point: in the proof of Lemma 3.2, the estimate after splitting the double integral appears to use |∫(|vn|^2−|U|^2)| ≤ |‖vn‖2^2−‖U‖2^2|, which is backwards. The fix is straightforward: strong L^2 convergence gives ∫||vn|^2−|U|^2|→0, so the conclusion survives. Minor typos in the appendix too.\n\nCitation pattern is fine; the self-citations are method templates, not the target result.\n\nBottom line: read the paper for Proposition 4.1 and Lemma 3.2; treat Theorem 4.3 as a conditional statement with a clearly flagged open hypothesis. If the authors move Hypothesis 1 into the abstract and fix the inequality slip, it is a solid paper. I would send it to a serious referee. I would cite the compactness lemma if I were working on fractional Hartree with traps.","headline":"Solid variational existence and compactness for fractional Hartree ground states with unbounded potentials; the stability theorem is genuinely conditional on an open GWP hypothesis.","tokens_in":11011,"tokens_out":3251,"would_cite":true,"duration_ms":29073,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q55","35B35","35C08"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that mass-subcritical fractional Hartree equations with growing potentials have ground-state sets that are orbitally stable, assuming global well-posedness.","keywords":["fractional Hartree equation","orbital stability","standing waves","ground states","unbounded potentials","compact embedding","mass-subcritical","concentration compactness"],"falsifier":"Exhibit a fixed-mass minimizing sequence for some admissible $V$ whose $\\Sigma^s$-norm does not converge, and Proposition 4.1 fails; or, assuming well-posedness, evolve initial data within $\\Sigma^s$-distance $\\delta$ of $S_M$ and observe them leave an $\\varepsilon$-neighborhood, falsifying Theorem 4.3.","tokens_in":10077,"feed_emoji":"🌊","tokens_out":9799,"duration_ms":83031,"temperature":0.7,"pith_summary":"This paper studies the nonlinear fractional Hartree equation $i u_t = (-\\Delta+m^2)^s u + V(x)u - (|x|^{-\\gamma}*|u|^2)u$ with a potential $V\\to\\infty$ at infinity. In the mass-subcritical range $0<\\gamma<2s$, it shows that the variational problem of minimizing the energy at fixed $L^2$-mass has a minimizer, so ground states exist in the energy space $\\Sigma^s$. It then shows that the set of all such minimizers is relatively compact and, conditional on a global well-posedness hypothesis, that this set is orbitally stable: initial data close to a ground state remain close to the ground-state set for all time. The significance is that stability results for fractional Hartree equations with bounded or zero potentials are extended to confining potentials, which are physically natural for trapped boson stars.","feed_headline":"Trapping potentials yield stable ground states for fractional Hartree waves","feed_subtitle":"If true, any solution launched near a ground state stays near the ground-state set for all time.","key_machinery":"The machinery is the energy space $\\Sigma^s=\\{v\\in L^2: (-\\Delta+m^2)^{s/2}v\\in L^2,\\ |V|^{1/2}v\\in L^2\\}$ together with a compactness lemma (Lemma 3.2). Because $V(x)\\to\\infty$ as $|x|\\to\\infty$, boundedness in $\\Sigma^s$ controls mass in the tails, and on bounded domains the fractional Sobolev embedding is compact; combining these, every weakly convergent sequence in $\\Sigma^s$ has a subsequence converging strongly in $L^2$ and in the Hartree interaction integral. This compact embedding is what lets the proof run the minimizing-sequence argument without a profile decomposition. A Hardy-type inequality supplies the bound $\\int (|x|^{-\\gamma}*|v|^2)|v|^2 \\le C\\|v\\|_{\\dot H^s}^{\\gamma/s}\\|v\\|_2^{(4s-\\gamma)/s}$, which keeps the nonlinearity subcritical relative to the $\\Sigma^s$ norm.","core_discovery":"The central claim is Theorem 4.3: for $0<s<N/2$, $0<\\gamma<2s$, and $V$ satisfying (2.1), the set $S_M$ of minimizers of the energy $E$ on the mass sphere $\\|v\\|_2^2=M$ is nonempty and orbitally stable, provided the Cauchy problem is globally well-posed with conservation of mass and energy. The proof proceeds through Proposition 4.1, which asserts that the variational problem $d_M=\\inf_{\\|v\\|_2^2=M}E(v)$ attains its minimum and that every minimizing sequence is relatively compact in $\\Sigma^s$. Under Hypothesis 1, if initial data approach $S_M$ and are evolved to times $t_n$, the conserved mass and energy turn $u(t_n,\\cdot)$ into a minimizing sequence; relative compactness then forces it back to $S_M$, giving the stability estimate.","pith_inferences":["The compactness argument does not use any structure special to the Hartree kernel beyond the Hardy bound, so the same route should yield orbital stability for other mass-subcritical nonlocal Schrödinger equations with confining potentials.","If Hypothesis 1 is ever proved, Theorem 4.3 becomes unconditional; the stability proof already provides the uniform $\\Sigma^s$ bounds needed to turn local existence into global control.","A concrete testable extension is to simulate the fractional Hartree dynamics with $V=|x|^2$ and $s=1/2$ near a numerically computed ground state; the $\\Sigma^s$ distance to $S_M$ staying small would corroborate both Hypothesis 1 and the stability conclusion."],"forward_implications":["For every mass $M>0$ in the subcritical range, the constrained energy problem $d_M$ admits a ground state, hence there exist standing waves $e^{i\\omega t}v(x)$ solving the equation.","Any minimizing sequence at fixed mass is relatively compact in $\\Sigma^s$: mass cannot escape to infinity, so variational limits are attained.","Orbital stability holds as a priori statement: if global well-posedness holds, closeness to $S_M$ is preserved for all time in the $\\Sigma^s$ norm.","The result extends by a phase rotation to potentials that are merely bounded below and tend to infinity (Remark 4.4), covering harmonic and polynomial trapping potentials.","The mass-subcritical condition $\\gamma<2s$ is needed: at $\\gamma=2s$ the associated zero-potential theory exhibits mass-critical instability, so the stability statement occupies the subcritical side of that boundary."],"supporting_citations":[{"why":"supplies the variational minimizing-sequence framework the proof adapts.","marker":"[3]"},{"why":"contributes the unbounded-potential compactness strategy used in Section 3.","marker":"[22]"},{"why":"provides the Hardy inequality used to control the Hartree term.","marker":"[20]"},{"why":"is the zero-potential fractional Hartree stability result being extended, and its mass-critical instability marks the boundary of the subcritical range.","marker":"[24]"},{"why":"supports the stability-with-potential method by treating attractive condensates with unbounded potentials.","marker":"[23]"},{"why":"treats the mass-critical case with harmonic potential and gives the threshold comparison for the subcritical theorem.","marker":"[14]"}],"fun_headline_variants":["Fractional Hartree waves stay stable under unbounded traps","Stable ground states for fractional Hartree with unbounded potentials","Unbounded potentials don't break fractional Hartree wave stability","Stability proved for fractional Hartree standing waves in unbounded fields"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Global well-posedness with conserved mass and energy (Hypothesis 1) is assumed, not proved; the stability conclusion applies only to solutions that exist for all time.","fun_headline_variants_meta":{"raw":{"variants":["Fractional Hartree waves stay stable under unbounded traps","Stable ground states for fractional Hartree with unbounded potentials","Unbounded potentials don't break fractional Hartree wave stability","Stability proved for fractional Hartree standing waves in unbounded fields"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000764,"raw_usage":{"total_tokens":3350,"prompt_tokens":870,"completion_tokens":2480,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":486,"completion_tokens_details":{"reasoning_tokens":2409}},"tokens_in":486,"tokens_out":2480,"duration_ms":17275,"temperature":1.0,"reasoning_tokens":2409,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:25:35.892976+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a fixed-mass minimizing sequence for some admissible $V$ whose $\\Sigma^s$-norm does not converge, and Proposition 4.1 fails; or, assuming well-posedness, evolve initial data within $\\Sigma^s$-distance $\\delta$ of $S_M$ and observe them leave an $\\varepsilon$-neighborhood, falsifying Theorem 4.3.","supporting_citations":[{"cited_title":"Cazenave and P","cited_arxiv_id":null,"evidence_quote":"supplies the variational minimizing-sequence framework the proof adapts."},{"cited_title":"Zhang, Stability of standing waves for the nonlinear S chr¨ odinger equations with unbounded potentials","cited_arxiv_id":null,"evidence_quote":"contributes the unbounded-potential compactness strategy used in Section 3."},{"cited_title":"Tao, Nonlinear Dispersive Equations: Local and Global Analysis","cited_arxiv_id":null,"evidence_quote":"provides the Hardy inequality used to control the Hartree term."},{"cited_title":"Zhang and S","cited_arxiv_id":null,"evidence_quote":"is the zero-potential fractional Hartree stability result being extended, and its mass-critical instability marks the boundary of the subcritical range."},{"cited_title":"Zhang, Stability of attractive Bose-Einstein conden sates","cited_arxiv_id":null,"evidence_quote":"supports the stability-with-potential method by treating attractive condensates with unbounded potentials."},{"cited_title":"Huang , J","cited_arxiv_id":null,"evidence_quote":"treats the mass-critical case with harmonic potential and gives the threshold comparison for the subcritical theorem."}],"review_version":1}