{"id":"f379ed16-22b2-4ac3-b6d1-b1faef63fddb","arxiv_id":"2504.19552","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"For d≥3, small perturbations of homogeneous stationary states of the Hartree equation scatter linearly, at the optimal Sobolev and Schatten exponents, for any interaction potential with bounded Fourier transform.","lead":"This paper proves that small perturbations of homogeneous stationary states of the Hartree equation for density matrices scatter back to equilibrium in all dimensions d≥3, with optimal regularity and sharp initial-data spaces. It extends a prior d=3 result to every dimension using new fractional Leibniz rules for density matrices and Christ-Kiselev lemmas in Schatten spaces.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 4.7's proof relies on an orthogonality identity that fails for cross terms with a common J; this gap affects the singular reaction term in Proposition 6.8 and hence the fixed point for Theorem 1.","rationale":"The paper's central theorem is conditional on a long chain of estimates, and most of the chain is carefully executed: the fractional Leibniz decompositions, the free Strichartz estimates, and the perturbative estimates for U_V are substantial and appear internally coherent. I found no error in the main fixed-point scheme other than the one described above. The concern in Lemma 4.7 is real: the proof asserts a Schatten orthogonality identity that is false without the parity splitting used earlier in Lemma 4.1. However, the gap appears to be repairable without changing the statement or the numerology, so it does not by itself force rejection. The reader's weakest-assumption analysis focused on the Penrose stability condition and the exclusion of the free Fermi sea; that is a limitation of scope rather than the formal gap I identified, hence only partial agreement. Because the reader already assigned a CONDITIONAL verdict, my recommendation is UNCHANGED rather than a further movement: the paper should be revised to correct Lemma 4.7's proof before the result is accepted as fully verified, but the stated theorem is not obviously false on this basis. A concrete and finite check, such as the parity-split proof or the scalar example, would settle whether the lemma holds as stated.","tokens_in":78586,"tokens_out":31796,"duration_ms":317305,"concrete_test":"Repair Lemma 4.7 by first decomposing the scale-k sum into I ∈ I_even and I ∈ I_odd. For each family, verify that T_{I,J}T*_{I',J'} = 0 unless I=I' and J=J': J≠J' gives zero, and within a fixed parity family J determines I. If the resulting proof reproduces the bound ||T_<||_{S^α} ≲ ||g1||_{L^{p1}X1}||g2||_{L^{p2}X2} under the same condition max(1/2,1/α)<1/p1+1/p2, then Lemma 4.7 and Corollary 4.9 stand. As an independent numerical check, take H1=H2=C, g1=g2≡1 on [0,1], and B(t,s)=1_{I1}(t)1_J(s) - 1_{I2}(t)1_J(s), where I1 and I2 are the two right neighbours of J in the odd family; compute the S^α norm of the full and retarded operators. If the retarded operator violates the lemma's bound, the lemma is false; if it satisfies the bound, the issue is only the proof's omitted parity split.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing gap is in the proof of Lemma 4.7, the 'partially orthogonal' Christ-Kiselev lemma in Schatten spaces, which Corollary 4.9 uses to treat the H^{-1/2} term in Step 6 of Proposition 6.8. The proof claims that for a fixed scale 2^{-k},\n\n||Σ_{I∼J} T_{I,J}||_{S^α} = ||Σ_{I∼J} T_{I,J}T*_{I,J}||_{S^{α/2}}^{1/2},\n\njustified by T_{I,J}T*_{I',J'} = 0 when J≠J'. This ignores cross terms with the same J but different I. In the odd interval family there are two intervals I,I' both related to the same J, and T_{I,J}T*_{I',J} need not vanish: the adjoint T*_{I',J} has range supported in F^{-1}(J), which is exactly the integration support of T_{I,J}. For a scalar kernel B(t,s)=a(t)b(s), the cross term equals (∫_I a)(∫_{I'}a)(∫_J b)^2|J|, generically nonzero. Thus the displayed equality is false, and the subsequent S^{α/2} bound is not established. Since this is the only mechanism supplied for the most singular reaction term, the contraction estimate for ρ_{2,2}—and therefore the fixed-point proof of Theorem 1—has a genuine formal gap as written. The gap seems repairable by splitting the scale-k sum into the even and odd interval families used in Lemma 4.1, since within one family each J has at most one I; the stated exponents would then be preserved.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies asymptotic stability of homogeneous stationary states g(-i∇x) for the Hartree equation (0.1) in d≥3. Theorem 1 asserts that, under decay and Penrose-stability assumptions on g and w, any sufficiently small perturbation Qin in the critical Sobolev-Schatten space H^{d/2-1,2d/(d+1)} gives rise to a global solution γ(t)=g(-i∇)+Q(t) whose density ρ_Q lies in L^2_t H^{d/2-1}_x and which scatters linearly as t→±∞. The strategy is a fixed-point argument for ρ_Q: the map Φ in (1.3) combines the initial-data term, the linear response (inverted via 1+L under Penrose stability), and the quadratic and cubic background-reaction terms. The technical core consists of fractional Leibniz decompositions (Section 3), two Christ-Kiselev lemmas in Schatten spaces (Section 4), Strichartz estimates for the perturbed propagator UV (Section 5), and the reaction estimates (Section 6).","tokens_in":78939,"tokens_out":6921,"duration_ms":72129,"significance":"If correct, Theorem 1 reaches simultaneously the critical Sobolev exponent s=d/2−1 and the sharp Schatten exponent 2d/(d+1) in all dimensions d≥3, extending the d=3 result of [21] and improving the regularity and potential assumptions of [9,12,13]. The paper introduces tools of independent interest: fractional Leibniz rules tailored to density matrices and Christ-Kiselev lemmas in Schatten spaces. It is also transparent about limitations, notably Remark 1.7, which states that the Penrose-stability assumption (1.4) fails for the free Fermi sea in d=3. The central argument is coherent and does not reduce to fitted parameters or circular definitions; the main issue is a formal gap in the proof of a key auxiliary lemma that appears repairable.","major_comments":[{"comment":"The proof asserts, after the dyadic decomposition, the equality ||Σ_{I∼J, |I|=2^{-k}} T_{I,J}||_{S^α} = ||Σ_{I∼J} T_{I,J}T*_{I,J}||_{S^{α/2}}^{1/2}, justified by T_{I,J}T*_{I',J'}=0 when J≠J'. This does not control cross terms with the same J and different I. In the odd interval family, two intervals I and I' can both be related to the same J, and T_{I,J}T*_{I',J} need not vanish, since the range of T*_{I',J} lies in the integration support of T_{I,J}. Thus the displayed equality is false as stated, and the subsequent S^{α/2} bound is not established. This is exactly the mechanism used in Corollary 4.9 and in Step 6 of Proposition 6.8 for the ˙H^{-1/2} singular term, so the contraction estimate for ρ_{2,2} has a genuine formal gap. The gap appears repairable by splitting the scale-k sum into the even and odd interval families used in Lemma 4.1, because within one family each J has at most one related I, and the stated exponents are preserved.","section":"Lemma 4.7"}],"minor_comments":[{"comment":"The sentence 'We then let α1 ∈ (1, +∞) such that 1/α1.' breaks off; the defining condition on α1 is missing. Please supply the bounds used immediately afterwards to define α2.","section":"Corollary 1.11, proof"},{"comment":"The displayed computation of the sum of reciprocal Schatten exponents is typographically garbled; please rewrite it in a way that makes the Hölder-in-Schatten summation transparent.","section":"Proposition 6.1"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: the paper earns its length. It does what it claims—scattering at the sharp Sobolev and Schatten exponents for positive-density Hartree states in all d ≥ 3, for potentials with merely bounded Fourier transform—and the proof architecture is coherent. The new tools, fractional Leibniz rules for density matrices and the Christ–Kiselev lemmas in Schatten spaces, are real and likely reusable. I did not find a flaw in the main chain (Theorem 3 + Theorem 4 + Proposition 1.4). The quantum Penrose stability assumption is honestly discussed, including the important remark that the free Fermi sea is not covered by condition (1.4) in d = 3.\n\nWhere it gets soft: the proof of Lemma 4.7, the 'partially orthogonal' Christ–Kiselev lemma, is wrong as printed. The identity\n||Σ_{I~J, |I|=2⁻ᵏ} T_{I,J}||_{S^α} = ||Σ T_{I,J} T*_{I,J}||_{S^{α/2}}^{1/2}\nis justified by 'T_{I,J}T*_{I',J'} = 0 for J ≠ J''. That misses cross terms with the same J and two different I's; for scalar kernels they are generically nonzero. The fix is straightforward: split the sum into the even/odd interval families from Lemma 4.1, so that within each sub-sum the J's are distinct, and the Schatten exponent arithmetic still works. But as written, the estimate in Step 6 of Proposition 6.8 rests on an unjustified identity. This is a gap in the write-up, not a failure of the main idea; the proof should be patched, not thrown out.\n\nThere are also two smaller presentational issues: the missing condition in the proof of Corollary 1.11 (α1 is 'chosen' with no range given) and an apparent misprint in the decomposition of ρ3 in Proposition 6.6. Both are easy to fix but should be corrected before publication.\n\nWho is it for: anyone working on mean-field quantum dynamics, infinite-rank Hartree equations, or Strichartz estimates for orthonormal systems. The fractional Leibniz and Christ–Kiselev technology deserves attention even separately from the main theorem. I would send this to a serious referee; the central result is important enough that referee time is justified, and the gaps are local. My own recommendation: accept after the authors repair Lemma 4.7 and clean up the typos.","headline":"Genuine, substantial extension of Hadama's d=3 scattering result to all d ≥ 3 at sharp regularity, with a real but repairable gap in the Schatten-space Christ–Kiselev lemma.","tokens_in":79511,"tokens_out":7068,"would_cite":true,"duration_ms":68489,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q55","35B40","47B10"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that small perturbations of the homogeneous stationary state $g(-i\\nabla)$ for the Hartree equation on density matrices scatter linearly around it in all dimensions $d\\ge 3$, at the critical Sobolev regularity $s=d/2-1$…","keywords":["Hartree equation","density matrices","asymptotic stability","scattering","Schatten spaces","Strichartz estimates","fractional Leibniz rules","Penrose stability"],"falsifier":"Compute the symbol in Definition 1.1 for an explicit Penrose-stable-looking pair, say $g$ a compactly supported smooth radial function and $\\hat w\\equiv 1$; if any triple $(\\tau,\\omega,\\xi)$ with $\\tau>0$ makes $\\left|1+2\\hat w(\\xi)\\int_0^\\infty e^{-t\\tau}e^{-it\\omega}\\sin(t|\\xi|^2)\\hat g(2t\\xi)dt\\right|=0$, then $1+L$ has a kernel and Theorem 1 cannot hold for that pair. Short of that, the theorem's scattering conclusion would also be disproved by numerically constructing a solution with $\\rho_Q\\notin L^2_tH^{d/2-1}_x$ from an $H^{d/2-1,2d/(d+1)}$ initial datum satisfying all hypotheses.","tokens_in":78372,"feed_emoji":"⚛️","tokens_out":8127,"duration_ms":75198,"temperature":0.7,"pith_summary":"This paper establishes the asymptotic stability of homogeneous stationary states for the mean-field Hartree equation acting on density matrices in $\\mathbb{R}^d$, $d\\ge 3$. The central claim is that a small perturbation $Q_{\\mathrm{in}}$ in the Sobolev\\,--\\,Schatten space $H^{d/2-1,2d/(d+1)}$ of the stationary state $g(-i\\nabla)$ evolves so that the full state $\\gamma(t)=g(-i\\nabla)+Q(t)$ is a solution and $\\gamma(t)$ returns to $g(-i\\nabla)$ linearly as $t\\to\\pm\\infty$, provided the potential $w$ has bounded Fourier transform and the pair $(w,g)$ is quantum Penrose stable. If true, this reaches the optimal number of derivatives $s=d/2-1$ and the optimal Schatten exponent $\\alpha=2d/(d+1)$ for all $d\\ge 3$, improving the prior $d=3$ result and non-optimal-regularity results, and permitting singular potentials such as delta functions. The proof works by solving a fixed-point equation for the spatial density $\\rho_Q$ in $L^2_t H^s_x$, using fractional Leibniz rules for density matrices and Christ\\,--\\,Kiselev lemmas in Schatten spaces to control the reaction of the background.","feed_headline":"Hartree scattering hits sharp exponents in every dimension d≥3","feed_subtitle":"If the proof holds, the critical Sobolev and Schatten exponents are reached for all d≥3, including delta potentials.","key_machinery":"The argument is carried by three interlocking objects. First, the quantum Penrose stability condition (Definition 1.1) is a frequency-by-frequency lower bound on $\\left|1+2\\hat w(\\xi)\\int_0^\\infty e^{-t\\tau}e^{-it\\omega}\\sin(t|\\xi|^2)\\hat g(2t\\xi)dt\\right|$; it guarantees that the linearized response operator $1+L$ is invertible on $L^2_tH^s_x$, which is what makes the fixed-point map $\\Phi$ in (1.3) well defined. Second, fractional Leibniz rules for density matrices (Lemmas 3.9\\,--\\,3.15) decompose $\\langle\\nabla\\rangle^s W\\langle\\nabla\\rangle^{-s}$ and $|D|^s\\rho_\\gamma$ into factorized products $A^*B$, distributing the fractional derivatives when $s=d/2-1$ is not an integer. Third, Christ\\,--\\,Kiselev lemmas in Schatten spaces (Section 4) turn full time integrals into retarded nested integrals, allowing iterated Duhamel expansions of the propagator $U_V$ to be estimated at sharp Schatten exponents. Together these yield Strichartz estimates for $U_V(t)=\\langle\\nabla\\rangle^s U_V(t)\\langle\\nabla\\rangle^{-s}$ and bound the quadratic and cubic reactions of the background, closing the contraction.","core_discovery":"On the paper's own terms, Theorem 1 is the discovery: for $d\\ge 3$, $w$ with even continuous bounded Fourier transform, and $g\\in L^1(\\mathbb{R}^d,\\mathbb{R}_+)$ with $\\langle\\xi\\rangle^{2(d-2)}g(\\xi)\\in L^\\infty$ and the uniform decay condition $\\sup_\\omega\\int_0^\\infty t|\\hat g(t\\omega)|dt<\\infty$, quantum Penrose stability of $(w,g)$ implies that every initial perturbation of size $\\le\\varepsilon_0$ in $H^{d/2-1,2d/(d+1)}$ yields a unique global solution $\\gamma(t)=g(-i\\nabla)+Q(t)$ with $Q\\in C^0_t H^{d/2-1,2}$ and $\\rho_Q\\in L^2_t H^{d/2-1}_x$, scattering linearly: $\\gamma(t)-g(-i\\nabla)-e^{it\\Delta}Q_\\pm e^{-it\\Delta}\\to 0$ in $H^{d/2-1,2d/(d-1)}$. The regularity and Schatten exponents are sharp because the linear evolution already requires $\\alpha\\le 2d/(d+1)$. The paper's contribution is to reach this sharp range simultaneously for all $d\\ge 3$ by proving Strichartz estimates for the perturbed propagator $U_V$ and controlling the reaction terms of the background $g(-i\\nabla)$ with fractional Leibniz decompositions and a Christ\\,--\\,Kiselev lemma in Schatten spaces.","pith_inferences":["The fractional Leibniz and Christ\\,--\\,Kiselev technology developed here is not tied to the specific Hartree nonlinearity; it should apply to other positive-density quantum kinetic equations (exchange terms, quintic Hartree, possibly the semiclassical Vlasov limit) whenever the relevant densities are controlled in $L^2_tH^s_x$.","The theorem stops short of the zero-temperature free Fermi sea $g=1(|\\xi|^2\\le\\mu)$ in $d\\le 3$ because condition (1.4) fails; the paper's Remark 1.7 suggests a possible route through a weaker boundedness of $L$, so an immediate testable extension would be to prove Theorem 1 under that relaxed invertibility assumption.","Because the sharpness argument uses the free linear evolution, the exponent $\\alpha=2d/(d+1)$ is likely optimal for any nonlinear equation whose linear part is $e^{it\\Delta}$; if a future example saturates the Penrose condition at the boundary, the scattering result should fail at $\\alpha>2d/(d+1)$."],"forward_implications":["If correct, the critical Sobolev exponent $s=d/2-1$ is reached for the positive-density Hartree equation in every dimension $d\\ge 3$, with the sharp Schatten exponent $\\alpha=2d/(d+1)$ for the initial data.","Bounded Fourier transform of $w$ is sufficient, so potentials with $\\delta$-like singularities, including the cubic nonlinear Schr\\\"odinger case $w=c\\delta_0$, fall inside the theorem.","Initial data need not be non-negative, so the result allows both adding and removing particles locally from the homogeneous gas, and no auxiliary $L^{3/4}_x$ condition on $\\rho_{Q_{\\mathrm{in}}}$ is required.","Scattering states $Q_\\pm$ exist in $H^{d/2-1,2d/(d-1)}$, and the solution is unique under a slightly stronger decay condition on $g$ (Proposition 7.1)."],"supporting_citations":[{"why":"Sets up the positive-density Hartree equation, the linear response operator $L$, and the Penrose-type stability framework in $d=2$.","marker":"[27]"},{"why":"Earlier $d\\ge 3$ scattering at non-optimal Sobolev regularity via Schatten and Hilbert\\,--\\,Schmidt kernels; its Theorem 3.1 handles the most singular background term here.","marker":"[9]"},{"why":"The $d=3$ predecessor at critical regularity that this work extends to all dimensions by replacing interpolation with fractional Leibniz rules.","marker":"[21]"},{"why":"Sharp Strichartz estimates for orthonormal systems with regularity, used as the base free-propagator estimate (Proposition 1.8).","marker":"[2]"},{"why":"Supplies the fractional Leibniz decomposition framework that the paper rewrites for operator densities.","marker":"[30]"},{"why":"Original Christ\\,--\\,Kiselev argument, adapted here to Schatten spaces.","marker":"[38]"},{"why":"The dual Strichartz/Schatten formulation for orthonormal functions used throughout.","marker":"[16]"},{"why":"Establishes well-posedness and the stationary homogeneous states $g(-i\\nabla)$ for the Hartree equation.","marker":"[28]"}],"fun_headline_variants":["Optimal Sobolev and Schatten bounds for Hartree scattering in all d≥3","Sharp Hartree scattering: optimal regularity and Schatten exponents for all d≥3","Positive-density Hartree: global scattering at sharp Sobolev and Schatten norms","Critical exponents for Hartree scattering in every dimension d≥3"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is quantum Penrose stability together with the decay condition $\\sup_\\omega\\int_0^\\infty t|\\hat g(t\\omega)|dt<\\infty$: without them the linearized response operator $1+L$ is not known to be invertible on $L^2_tH^s_x$, and the fixed-point map $\\Phi$ used to construct the density collapses. The paper itself notes in Remark 1.7 that this condition excludes the physical zero-temperature Fermi sea $g=1(|\\xi|^2\\le\\mu)$ in $d=3$.","fun_headline_variants_meta":{"raw":{"variants":["Optimal Sobolev and Schatten bounds for Hartree scattering in all d≥3","Sharp Hartree scattering: optimal regularity and Schatten exponents for all d≥3","Positive-density Hartree: global scattering at sharp Sobolev and Schatten norms","Critical exponents for Hartree scattering in every dimension d≥3"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000523,"raw_usage":{"total_tokens":2537,"prompt_tokens":964,"completion_tokens":1573,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":580,"completion_tokens_details":{"reasoning_tokens":1488}},"tokens_in":580,"tokens_out":1573,"duration_ms":12332,"temperature":1.0,"reasoning_tokens":1488,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T05:49:15.850487+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the symbol in Definition 1.1 for an explicit Penrose-stable-looking pair, say $g$ a compactly supported smooth radial function and $\\hat w\\equiv 1$; if any triple $(\\tau,\\omega,\\xi)$ with $\\tau>0$ makes $\\left|1+2\\hat w(\\xi)\\int_0^\\infty e^{-t\\tau}e^{-it\\omega}\\sin(t|\\xi|^2)\\hat g(2t\\xi)dt\\right|=0$, then $1+L$ has a kernel and Theorem 1 cannot hold for that pair. Short of that, the theorem's scattering conclusion would also be disproved by numerically constructing a solution with $\\rho_Q\\notin L^2_tH^{d/2-1}_x$ from an $H^{d/2-1,2d/(d+1)}$ initial datum satisfying all hypotheses.","supporting_citations":[{"cited_title":"Lewin and J","cited_arxiv_id":null,"evidence_quote":"Sets up the positive-density Hartree equation, the linear response operator $L$, and the Penrose-type stability framework in $d=2$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Earlier $d\\ge 3$ scattering at non-optimal Sobolev regularity via Schatten and Hilbert\\,--\\,Schmidt kernels; its Theorem 3.1 handles the most singular background term here."},{"cited_title":"Li , On Kato-Ponce and fractional Leibniz , Rev","cited_arxiv_id":null,"evidence_quote":"Supplies the fractional Leibniz decomposition framework that the paper rewrites for operator densities."},{"cited_title":"Tao, Spherically averaged endpoint Strichartz estimates for th e two-dimensional Schr¨ odinger equa- tion, Communications in Partial Differential Equations, 25 (2000), pp","cited_arxiv_id":null,"evidence_quote":"Original Christ\\,--\\,Kiselev argument, adapted here to Schatten spaces."},{"cited_title":"Lewin and J","cited_arxiv_id":null,"evidence_quote":"Establishes well-posedness and the stationary homogeneous states $g(-i\\nabla)$ for the Hartree equation."}],"review_version":1}