REVIEW 1 major objections 2 minor 4 cited by
Scattering for the positive density Hartree equation
T0 review · 1 major / 2 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read 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$…
desk verdict 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. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
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.
What would settle it
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.
Extended reading notes
Core claim
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.
Load-bearing premise
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$.
Editorial extensions
If this is right
- 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).
Reading between the lines
- 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)$.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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).
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 (1)
- [Lemma 4.7] 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.
minor comments (2)
- [Corollary 1.11, proof] 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.
- [Proposition 6.1] 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.
Circularity Check
No significant circularity: Penrose stability is an explicit assumption, and the scattering proof is built from independent harmonic-analysis estimates.
full rationale
The central claim, Theorem 1, is conditional on (w,g) being Penrose stable (Definition 1.1); this is an input, not a consequence of the scattering statement. Proposition 1.4 derives invertibility of 1+L from the Penrose symbol condition via Paley-Wiener, independently of the nonlinear construction. The nonlinear fixed point (1.3) is shown contractive in L^2_t H^s_x using three independently-supported blocks: Strichartz estimates for orthonormal systems recalled from [2]/[16] (Proposition 1.8 and Corollary 1.11); Strichartz estimates for U_V developed in Section 5 from the fractional Leibniz decompositions of Section 3 and the Christ-Kiselev lemmas in Schatten spaces of Section 4; and the reaction-term estimates of Section 6, where the singular H^{-1/2} contribution is estimated by Theorem 2, which is [9, Thm. 3.1] and for which the present paper also supplies a self-contained proof in Appendix A. No parameter is fitted to the quantity being predicted, and no ansatz is smuggled in as an unexplained external constraint. Citations to the authors' prior works [21,27] refer to the results being extended, and those cited lemmas either are proved in the paper or have independent published sources; the one self-citation [22] in Remark 1.7 is a conditional aside about an additional Penrose-stability sufficient condition and is not used in the proof of Theorem 1. The paper's own limitations, notably Remark 1.7 that condition (1.4) fails for the free Fermi sea in d=3, further show that the theorem does not obtain its conclusion by definition. An alleged formal gap in Lemma 4.7 concerning cross terms in the partially orthogonal Christ-Kiselev argument would be a correctness gap in a supporting estimate, not a circular reduction of the main theorem to its own assumptions.
Assumptions & free parameters
assumptions (5)
- standard math Strichartz estimates for orthonormal systems, Proposition 1.8 from [2]
- standard math Fractional Leibniz rules from [30], as reformulated in Lemmas 3.9 and 3.12
- standard math Theorem 2, i.e. [9, Thm. 3.1], on Schatten bounds for |∇|^{1/2}V flows
- domain assumption Penrose stability of (w,g) (Definition 1.1)
- domain assumption Regularity assumptions: ŵ even, continuous, bounded; g∈L^1(R^d,R_+) with ⟨ξ⟩^{2(d-2)}g∈L^∞ and sup_ω∫_0^∞ t|ĝ(tω)|dt<∞
Cite this review
Pith. "Pith review of Scattering for the positive density Hartree equation." pith.science (2026). https://pith.science/paper/WK2WUHRQ
@misc{pith2026250419552,
author = {Pith},
title = {Pith review of: Scattering for the positive density Hartree equation},
year = {2026},
howpublished = {\url{https://pith.science/paper/WK2WUHRQ}},
note = {Machine review of arXiv:2504.19552}
}
read the original abstract
We study the asymptotic stability for large times of homogeneous stationary states for the nonlinear Hartree equation for density matrices in Rd for d\geq3. We can reach both the optimal Sobolev and Schatten exponents for the initial data, with a wide class of interaction potentials w (under the sole assumption that w is bounded, including in particular delta potentials). Our method relies on fractional Leibniz rules for density matrices to deal with the fractional critical Sobolev regularity s = d/2 -1 for odd d, as well as Christ-Kiselev lemmas in Schatten spaces.
Forward citations
Cited by 4 Pith papers
-
The semiclassical limit from Hartree to Vlasov at positive density: strong uniform-in-time convergence and scattering
Strong, quantitative convergence from Hartree to Vlasov is shown near Penrose-stable steady states, with uniform-in-time control of Wigner transforms and scattering profiles.
-
Applications of renormalisation to orthonormal Strichartz estimates and the NLS system on the circle
Subtracting the mean from the particle density improves orthonormal Strichartz estimates and shifts the optimal well-posedness threshold for the cubic NLS system on the circle from Schatten exponent 1 to 2.
-
Large Time Behavior of the Klein-Gordon-Schr\"{o}dinger system
Small localized data in H^4000 for the 3D Klein-Gordon-Schrödinger system produce global solutions that decay and scatter to free waves.
-
Phase mixing for the Hartree equation and Landau damping in the semiclassical limit
A uniform-in-hbar phase-mixing and scattering theorem for the nonlinear Hartree equation near spatially homogeneous steady states under a Penrose stability condition.
Reference graph
Works this paper leans on
-
[21]
S. Hadama, Asymptotic stability of a wide class of stationary solution s for the Hartree and Schr¨ odinger equations for infinitely many particles , arXiv preprint arXiv:2308.15929, (2023). To appear in Annales Henri Lebesgue. [22] , Asymptotic stability of a wide class of steady states for the hartree equation for random fields , arXiv preprint arXiv:2303....
arXiv 2023
-
[1]
J. Bedrossian, N. Masmoudi, and C. Mouhot , Landau damping in finite regularity for unconfined systems with screened interactions , Comm. Pure Appl. Math., 71 (2018), pp. 537–576
work page 2018
-
[2]
N. Bez, Y. Hong, S. Lee, S. Nakamura, and Y. Sawano , On the Strichartz estimates for or- thonormal systems of initial data with regularity , Adv. Math., 354 (2019), pp. 106736, 37
2019
-
[3]
R. Bhatia and F. Kittaneh , Cartesian decompositions and Schatten norms , Linear Algebra Appl., 318 (2000), pp. 109–116
work page 2000
-
[4]
A. Bove, G. Da Prato, and G. F ano , An existence proof for the Hartree-Fock time-dependent problem with bounded two-body interaction , Commun. Math. Phys., 37 (1974), pp. 183–191
work page 1974
-
[5]
, On the Hartree-Fock time-dependent problem , Commun. Math. Phys., 49 (1976), pp. 25–33
work page 1976
-
[6]
T. Cazenave and F. B. Weissler , The Cauchy problem for the critical nonlinear Schr¨ odinger equa- tion in H s, Nonlinear Anal., 14 (1990), pp. 807–836
work page 1990
-
[7]
Chadam , The time-dependent Hartree-Fock equations with Coulomb tw o-body interaction, Commun
J. Chadam , The time-dependent Hartree-Fock equations with Coulomb tw o-body interaction, Commun. Math. Phys., 46 (1976), pp. 99–104
work page 1976
Show all 40 references
-
[8]
J. M. Chadam and R. T. Glassey , Global existence of solutions to the Cauchy problem for time - dependent Hartree equations , J. Math. Phys., 16 (1975), pp. 1122–1130. 74 A. BORIE, S. HADAMA, AND J. SABIN
1975
-
[9]
T. Chen, Y. Hong, and N. Pavlovi ´c, On the scattering problem for infinitely many fermions in dimensions larger than 3 at positive temperature , in Annales de l’Institut Henri Poincare (C) Non Linear Analysis, Elsevier, 2017
2017
-
[10]
Christ and A
M. Christ and A. Kiselev , Maximal functions associated to filtrations , Journal of Functional Anal- ysis, 179 (2001), pp. 409–425
2001
-
[11]
Collot, E
C. Collot, E. Danesi, A.-S. de Suzzoni, and C. Mal ´ ez´ e, Stability of homogeneous equilibria of the hartree-fock equation, for its equivalent formulation for random fields , arXiv preprint arXiv:2310.03442, (2023)
2023 arXiv
-
[12]
Collot and A.-S
C. Collot and A.-S. de Suzzoni , Stability of equilibria for a Hartree equation for random fie lds, J. Math. Pures Appl. (9), 137 (2020), pp. 70–100
2020
-
[13]
Collot and A.-S
C. Collot and A.-S. de Suzzoni , Stability of steady states for Hartree and Schr¨ odinger equ ations for infinitely many particles , Ann. H. Lebesgue, 5 (2022), pp. 429–490
2022
-
[14]
D’Ancona, V
P. D’Ancona, V. Pierfelice, and N. Visciglia , Some remarks on the Schr¨ odinger equation with a potential in Lr t Ls x, Math. Ann., 333 (2005), pp. 271–290
2005
-
[15]
Fefferman and E
C. Fefferman and E. M. Stein , Some maximal inequalities , Amer. J. Math., 93 (1971), pp. 107–115
1971
-
[16]
R. L. Frank, M. Lewin, E. H. Lieb, and R. Seiringer , Strichartz inequality for orthonormal functions, J. Eur. Math. Soc. (JEMS), 16 (2014), pp. 1507–1526
2014
-
[17]
R. L. Frank and J. Sabin , Restriction theorems for orthonormal functions, Strichar tz inequalities, and uniform Sobolev estimates , Amer. J. Math., 139 (2017), pp. 1649–1691
2017
-
[18]
Ginibre and G
J. Ginibre and G. Velo , Smoothing properties and retarded estimates for some dispe rsive evolution equations, Comm. Math. Phys., 144 (1992), pp. 163–188
1992
-
[19]
Giuliani and G
G. Giuliani and G. Vignale , Quantum Theory of the Electron Liquid , Cambridge University Press, 2005
2005
-
[20]
Grafakos , Classical Fourier analysis , vol
L. Grafakos , Classical Fourier analysis , vol. 249 of Graduate Texts in Mathematics, Springer, New York, third ed., 2014
2014
-
[23]
Han-Kwan, T
D. Han-Kwan, T. T. Nguyen, and F. Rousset , Asymptotic stability of equilibria for screened Vlasov-Poisson systems via pointwise dispersive estimate s, Ann. PDE, 7 (2021), pp. Paper No. 18, 37
2021
-
[24]
, On the linearized Vlasov-Poisson system on the whole space a round stable homogeneous equilibria, Comm. Math. Phys., 387 (2021), pp. 1405–1440
2021
-
[25]
A. D. Ionescu, B. Pausader, X. W ang, and K. Widmayer , Nonlinear Landau damping for the Vlasov-Poisson system in R3: the Poisson equilibrium , Ann. PDE, 10 (2024), pp. Paper No. 2, 78
2024
-
[26]
Landau , On the vibrations of the electronic plasma , in Collected Papers of L.D
L. Landau , On the vibrations of the electronic plasma , in Collected Papers of L.D. Landau, D. T. HAAR, ed., Pergamon, 1965, pp. 445 – 460
1965
-
[27]
Lewin and J
M. Lewin and J. Sabin , The Hartree equation for infinitely many particles. II. Disp ersion and scat- tering in 2D , Analysis and PDE, 7 (2014), pp. 1339–1363
2014
-
[28]
Lewin and J
M. Lewin and J. Sabin , The Hartree equation for infinitely many particles I. Well-p osedness theory, Comm. Math. Phys., 334 (2015), pp. 117–170
2015
-
[29]
Lewin and J
M. Lewin and J. Sabin , The Hartree and Vlasov equations at positive density , Comm. Partial Differ- ential Equations, 45 (2020), pp. 1702–1754
2020
-
[30]
Li , On Kato-Ponce and fractional Leibniz , Rev
D. Li , On Kato-Ponce and fractional Leibniz , Rev. Mat. Iberoam., 35 (2019), pp. 23–100
2019
-
[31]
Mal ´ ez´ e, A scattering result around a non-localised equilibria for t he quintic hartree equation for random fields , arXiv preprint arXiv:2309.10500, (2023)
C. Mal ´ ez´ e, A scattering result around a non-localised equilibria for t he quintic hartree equation for random fields , arXiv preprint arXiv:2309.10500, (2023)
2023 arXiv
-
[32]
Mouhot and C
C. Mouhot and C. Villani , On Landau damping , Acta Math., 207 (2011), pp. 29–201. SCATTERING FOR THE POSITIVE DENSITY HARTREE EQUATION 75
2011
-
[33]
T. T. Nguyen and C. You , Plasmons for the Hartree equations with Coulomb interactio n, arXiv preprint arXiv:2306.03800, (2023)
2023 arXiv
-
[34]
Penrose , Electrostatic instabilities of a uniform non-maxwellian p lasma, The Physics of Fluids, 3 (1960), pp
O. Penrose , Electrostatic instabilities of a uniform non-maxwellian p lasma, The Physics of Fluids, 3 (1960), pp. 258–265
1960
-
[35]
Rudin , Real and complex analysis , McGraw-Hill Book Co., New York, third ed., 1987
W. Rudin , Real and complex analysis , McGraw-Hill Book Co., New York, third ed., 1987
1987
-
[36]
Smith , Phase mixing for the Hartree equation and Landau damping in t he semiclassical limit , arXiv preprint arXiv:2412.14842, (2024)
M. Smith , Phase mixing for the Hartree equation and Landau damping in t he semiclassical limit , arXiv preprint arXiv:2412.14842, (2024)
2024 arXiv
-
[37]
Strichartz, Restrictions of Fourier transforms to quadratic surfaces a nd decay of solutions of wave equations, Duke Math
R. Strichartz, Restrictions of Fourier transforms to quadratic surfaces a nd decay of solutions of wave equations, Duke Math. J., 44 (1977), pp. 705–714
1977
-
[38]
Tao, Spherically averaged endpoint Strichartz estimates for th e two-dimensional Schr¨ odinger equa- tion, Communications in Partial Differential Equations, 25 (2000), pp
T. Tao, Spherically averaged endpoint Strichartz estimates for th e two-dimensional Schr¨ odinger equa- tion, Communications in Partial Differential Equations, 25 (2000), pp. 1 471–1485
2000
-
[39]
Yajima, Existence of solutions for Schr¨ odinger evolution equations, Comm
K. Yajima, Existence of solutions for Schr¨ odinger evolution equations, Comm. Math. Phys., 110 (1987), pp. 415–426
1987
-
[40]
You , Phase mixing estimates for the nonlinear Hartree equation o f infinite rank , arXiv preprint arXiv:2408.15972, (2024)
C. You , Phase mixing estimates for the nonlinear Hartree equation o f infinite rank , arXiv preprint arXiv:2408.15972, (2024)
2024 arXiv
-
[41]
Zagatti , The Cauchy problem for Hartree-Fock time-dependent equati ons, Ann
S. Zagatti , The Cauchy problem for Hartree-Fock time-dependent equati ons, Ann. Inst. H. Poincar´ e Phys. Th´ eor., 56 (1992), pp. 357–374. Univ Rennes, CNRS, IRMAR - UMR 6625, F-35000 Rennes, France Email address : antoine.borie@univ-rennes.fr Research Institute for Mathemat...
1992
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.