REVIEW 2 major objections 4 minor 5 cited by
Phase mixing for the Hartree equation and Landau damping in the semiclassical limit
T0 review · 2 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read The Hartree equation exhibits nonlinear Landau damping near translation-invariant steady states, with decay and scattering bounds that are uniform in the Planck constant.
desk verdict A real uniform-in-hbar Hartree phase-mixing theorem with a genuine gap: the proof of (I1) needs an evenness assumption on w that Theorem 1.5 never states. 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 runs through three pieces of machinery. The Wigner transform converts the density-matrix equation into a kinetic equation on phase space, with quantum corrections carrying explicit $\hbar$ factors and entering through an $\langle\hbar k\rangle$ weight. Conjugation by the free Hartree flow defines the operator $P$ whose Wigner transform satisfies the damped transport equation, and the linear response is encoded in the Green function $\widehat{G}_r(\lambda,k) = \hat w(k) m_g(\lambda,k)/(1+\hat w(k)m_g(\lambda,k))$, built from the response function $m_g$. The uniform Penrose condition, $|1+\hat w(k)m_g(\lambda,k)| \geq \kappa$ for all $\Re\lambda \geq 0$ and all $k$, uniformly in $\hbar$, keeps the linear response bounded away from resonances. A bootstrap in the norms (B1)--(B5) then propagates the decay, with a resonance-control lemma showing that near-collinear density modes cannot cascade at large times.
What would settle it
Compute the imaginary part of the integral $I$ in Section 4.1.1 for a non-even kernel $w \in L^1$ satisfying the decay bound (1.5) and the uniform Penrose condition, for instance a small non-symmetric perturbation of a radial kernel with generic initial data. The identity $I = \overline I$ used in the proof relies on $\hat w$ being real, so a nonzero imaginary part would stop the bootstrap improvement (I1) from closing and would show that Theorem 1.5 as stated is too broad.
Extended reading notes
Core claim
Near a steady state $\gamma_g = \hbar^d g(-i\hbar\nabla)$, any sufficiently small perturbation $Q_{\rm in}$ in the norm $\|\cdot\|_{H^{N_0}_{M,M}}$ evolves so that each Fourier mode of the density decays as $\langle k, kt\rangle^{-\sigma_1}$, and the density-matrix perturbation scatters along the free Hartree flow to an asymptotic operator $Q_\infty$ in $H^{\sigma_0}_M$, with rate $\langle t\rangle^{-d/2}$ and constants independent of $\hbar$. The nonlinear Hartree equation is treated as a Volterra equation for the density, and the nonlinear interaction is controlled by a bootstrap in weighted quantum Sobolev spaces applied to the Wigner-transformed equation. The uniform-in-$\hbar$ character of the estimates is the new content: earlier phase-mixing results for the Hartree equation were either at fixed $\hbar$ or did not produce scattering with rates, so this theorem is the first quantum Landau-damping statement that survives the semiclassical limit.
Load-bearing premise
The load-bearing premise is that the interaction kernel is even, because the proof's central cancellation treats $\hat w(\ell)$ and $\widehat{\rho_Q}(t,\ell)$ as real-valued, while the theorem's stated assumptions only require a decay bound on $\hat w$, not evenness.
Editorial extensions
If this is right
- If Theorem 1.5 holds, the nonlinear Hartree equation has finite-regularity Landau damping near all translation-invariant steady states covered by the uniform Penrose condition, not only at fixed Planck constant.
- The Fourier decay $\langle k, kt\rangle^{-\sigma_1}$ implies physical-space $L^p$ decay of the density at rate $\langle t\rangle^{-d(1-1/p)}$ for $p \in [2,\infty]$, as stated in Corollary 1.6.
- Scattering at rate $\langle t\rangle^{-d/2}$ gives a well-defined asymptotic state $Q_\infty$ uniformly in $\hbar$, so the exchange of the limits $t \to \infty$ and $\hbar \to 0$ becomes possible once strong semiclassical convergence of the solutions is known.
- In dimension $d=3$, the screened Coulomb kernel falls under the hypotheses, extending the classical finite-regularity Landau-damping statement for screened interactions to the quantum setting.
Reading between the lines
- Editorial inference: The uniform-in-$\hbar$ bounds suggest that the Hartree scattering profile should converge to the Vlasov scattering profile as $\hbar \to 0$ whenever the Wigner transforms of the initial data converge strongly; proving that convergence is left open in the paper.
- Editorial inference: The proof's reliance on $\hat w$ being real-valued indicates that the theorem can be sharpened by adding an evenness hypothesis, or the energy estimate could be modified to absorb a complex $\hat w$; no modification is needed for centrosymmetric kernels such as screened Coulomb.
- Editorial inference: The $\langle\hbar k\rangle$ weight in the density bootstrap encodes a structural trade-off: the quantum equation controls one extra derivative, but only when paired with an $\hbar$ factor, which explains why fixed-$\hbar$ results can use lower regularity while uniform-in-$\hbar$ results cannot.
- Editorial inference: A direct test of the method's limits would be to run the same bootstrap for a kernel that violates evenness only slightly; the energy identity in Section 4.1.1 will either close if the imaginary part is absorbed, or fail, revealing how much of Theorem 1.5 survives beyond even kernels.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper studies the nonlinear Hartree equation near translation-invariant steady states γ_g = ℏ^d g(-iℏ∇). Under a uniform-in-ℏ Penrose stability condition and short-range decay of the interaction kernel, Theorem 1.5 claims mode-by-mode density decay |cρ_Q(t,k)| ≲ ε/⟨k,kt⟩^{σ_1} and scattering along the free Hartree flow at rate ⟨t⟩^{-d/2}, with constants independent of ℏ ∈ (0,1]. The proof combines a linearised Volterra/Laplace analysis in Section 2 with a five-control bootstrap scheme in Sections 3 and 4, organised around the bootstrap assumptions (B1)–(B5) and improvements (I1)–(I5).
Significance. If the main theorem held, this would be a substantial contribution: it would extend nonlinear phase-mixing and scattering results from the Vlasov equation to the Hartree equation near infinite-particle translation-invariant steady states, with explicit uniformity in the semiclassical limit and a route toward recovering classical scattering data. The paper is clearly structured: the linear theory based on the Lindhard function and Green function decay is developed in detail, the bootstrap architecture is mapped with a dependency diagram, and the constants are chosen by the proof rather than fitted to the desired decay. These strengths are real. The central obstacle is the symmetry gap in Section 4.1.1, which prevents the proof of (I1) as stated.
major comments (2)
- [§4.1.1, Eq. (4.1)] The cancellation of the subtracted integral is not justified by the hypotheses of Theorem 1.5. The penultimate step asserts that self-adjointness of Q implies c_{ρ_Q}(t,ℓ) and \hat w(ℓ) are real-valued and even. Self-adjointness only gives that ρ_Q(t,·) is real, hence c_{ρ_Q}(t,−ℓ)=overline{c_{ρ_Q}(t,ℓ)}; for real w ∈ L^1(R^d) one only obtains \hat w(−ℓ)=overline{\hat w(ℓ)}. Repeating the displayed changes of variables with these Hermitian symmetries yields I = −\overline{I} rather than I = \overline{I}, so the conclusion that the subtracted integral has zero imaginary part is not established. This is not a cosmetic issue: the bound on N^{(B1),V}_0 is the key step in proving the bootstrap improvement (I1), and (I1) is used for (I2), (I4), (I5), and in Lemma 1.23. Consequently Theorem 1.5 as stated asserts more than the proof establishes. Adding evenness of w alone does not repair the argument, because ρ_Q need not be even for a generic self-adjoint perturbation.
- [Theorem 1.5 vs §1.8.1, Eq. (1.15)] There is a parameter mismatch between the main theorem and the bootstrap proof. Theorem 1.5 allows σ_1 ≥ d+7, while the bootstrap setup in Section 1.8.1, Eq. (1.15), and the final step of Section 3.2.6 explicitly require σ_1 ≥ d+8, together with the existence of σ_2,σ_3,σ_4 satisfying the displayed gaps. As written, one may choose parameters satisfying the theorem's hypotheses but not the proof's requirements. The theorem should either impose the stronger lower bound on σ_1 or state explicitly that the constants are chosen so that the auxiliary parameters exist.
minor comments (4)
- [§2.2, Remark 2.7] The assertion that every radial, positive-valued g ∈ H^{3/2+δ_0}_{1+⌈d/2⌉} satisfies condition (2.10) is false: radial positivity does not force the marginal g_k to be strictly decreasing on (0,∞). A radial L^1 function with a local maximum away from the origin gives a counterexample. The sufficient condition in Proposition 2.6(ii) should explicitly assume monotonicity of the marginal, or a proof of the stronger claim should be supplied.
- [Lemma 1.23, final estimate] The displayed chain after the weighted Cauchy-Schwarz step does not algebraically produce the stated bound ∥N_P(t)∥_{H^{σ_0}_M} ≲ ε^2/⟨t⟩^{d−2δ}; reading the displayed factors literally gives a different exponent. Since any exponent larger than 1 suffices for the subsequent integrability argument, this appears to be a typographical/inconsistency issue rather than a fatal gap, but the calculation should be corrected.
- [Lemma 3.2] The notation x = a^± in the proof of the resonance lemma is used without definition; please spell out that it means a ± ε for arbitrarily small ε > 0.
- [References] References [3] and [5] appear to be the same paper (Bedrossian, Masmoudi and Mouhot, 'Landau damping: paraproducts and Gevrey regularity'); one of the entries should be removed or redirected.
Circularity Check
No circularity found: Theorem 1.5 is a bootstrap derivation from the stated uniform Penrose stability condition, with all cited inputs external and no fitted parameters.
full rationale
Theorem 1.5 is derived from the uniform Penrose condition through a Laplace/Volterra inversion (equations (2.4)-(2.5)), Green-function decay (Lemmas 2.9 and Proposition 2.10), and a five-part bootstrap (Proposition 1.20). The density decay (1.6) is not assumed: it is encoded in bootstrap bound (B5), whose improvement (I5) is obtained from (B3), (B4) and the preceding bound by a standard bootstrap closure with epsilon small; this is an a priori estimate, not a definitional equivalence. The scattering statement (1.7) is deduced from integrability of the Duhamel terms controlled by (B3) and (B5), not from a pre-fitted rate. Constants are selected after the estimates, depend only on the fixed data, and are not fit to the output. Citations to Bedrossian-Masmoudi-Mouhot and Nguyen-You are to external works and supply standard lemmas (L2 trace, convolution estimates) or an analogous strategy; they do not import the Hartree conclusion. The only flagged weakness is in Section 4.1.1, where the cancellation I=I is justified by asserting that both rho_Q and w are real-valued; under the stated hypotheses self-adjointness gives Hermitian symmetry, not real even symmetry, so this is a correctness gap rather than circularity. No load-bearing step equates a conclusion with an input.
Assumptions & free parameters
assumptions (5)
- domain assumption Uniform Penrose condition (1.2) holds with a constant kappa > 0 uniformly for all hbar in (0,1].
- domain assumption The interaction kernel w is short-range with |hat_w(k)| less than or similar to <k>^{-(M-1/2)} as in (1.5).
- domain assumption The steady state g is smooth, g in H^{N0+7/2+delta0}_{2+ceil(d/2)}(R^d; R+), and the initial perturbation is small in a weighted quantum Sobolev space.
- ad hoc to paper The interaction kernel w is even, so that hat_w is real-valued.
- standard math Local well-posedness of the Hartree equation near positive-density steady states, taken from Lewin-Sabin [20].
Cite this review
Pith. "Pith review of Phase mixing for the Hartree equation and Landau damping in the semiclassical limit." pith.science (2026). https://pith.science/paper/MQPXNSWK
@misc{pith2026241214842,
author = {Pith},
title = {Pith review of: Phase mixing for the Hartree equation and Landau damping in the semiclassical limit},
year = {2026},
howpublished = {\url{https://pith.science/paper/MQPXNSWK}},
note = {Machine review of arXiv:2412.14842}
}
read the original abstract
The asymptotic behaviour of the Hartree equation is studied near translation-invariant steady states. For short-range interaction kernels satisfying a uniform Penrose stability condition, including the screened Coulomb interaction, phase-mixing estimates in finite regularity are established. These demonstrate density decay and scattering of solutions in weighted quantum Sobolev spaces, providing a quantum analogue of Landau damping in classical plasma physics. The results hold uniformly in the semiclassical limit, thereby bridging the quantum and classical regimes.
Figures
Forward citations
Cited by 5 Pith papers
-
Semi-classical limit of quantum scattering states for the nonlinear Hartree equation
Quantum scattering states for the nonlinear Hartree equation converge, via Wigner transforms, to classical Vlasov scattering states in the semiclassical limit, with new uniform-in-Planck-constant dispersion estimates ...
-
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.
-
Uniform dispersive estimates for the semi-classical Hartree equation with long-range interaction
Small-data solutions of the semiclassical Hartree equation with long-range interaction satisfy the uniform-in-hbar optimal density decay ||rho(t)||_{L∞} ≲ <t>^{-3}.
-
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.
-
Scattering for the positive density Hartree equation
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.
Reference graph
Works this paper leans on
-
[25]
Phase mixing estimates for the nonlinear Hartree equation of infinite rank
C. You. “Phase mixing estimates for the nonlinear Hartree equation of infinite rank”. In:arXiv e-prints (2024). arXiv: 2408.15972 [math.AP]
arXiv 2024
-
[1]
Nonlinear echoes and Landau damping with insufficient regularity
J. Bedrossian. “Nonlinear echoes and Landau damping with insufficient regularity”. In:Tunisia Journal of Mathematics 3.1 (2021). doi: 10.2140/tunis.2021.3.121
-
[2]
Landau damping in finite regularity for unconfined systems with screened interactions
J. Bedrossian, N. Masmoudi, and C. Mouhot. “Landau damping in finite regularity for unconfined systems with screened interactions”. In:Comm. Pure Appl. Math.71.3 (2018). doi: 10.1002/cpa. 21730
doi:10.1002/cpa 2018
-
[4]
Linearized Wave-Damping Structure of Vlasov–Poisson in R3
J. Bedrossian, N. Masmoudi, and C. Mouhot. “Linearized Wave-Damping Structure of Vlasov–Poisson in R3”. In:SIAM Journal on Mathematical Analysis54.4 (2022). doi: 10.1137/20M1386141
-
[5]
Landau damping: paraproducts and Gevrey reg- ularity
J. Bedrossian, N. Masmoudi, and Clément Mouhot. “Landau damping: paraproducts and Gevrey reg- ularity”. In:Ann. PDE 2.1 (2016). doi: 10.1007/s40818-016-0008-2
- [6]
-
[7]
An existence proof for the Hartree-Fock time-dependent problem with bounded two-body interaction
A. Bove, G. Da Prato, and G. Fano. “An existence proof for the Hartree-Fock time-dependent problem with bounded two-body interaction”. In:Comm. Math. Phys.37 (1974). issn: 0010-3616
work page 1974
-
[8]
On the Hartree-Fock time-dependent problem
A. Bove, G. Da Prato, and G. Fano. “On the Hartree-Fock time-dependent problem”. In:Comm. Math. Phys. 49.1 (1976). issn: 0010-3616
work page 1976
Show all 24 references
-
[9]
The time-dependent Hartree-Fock equations with Coulomb two-body interaction
J. M. Chadam. “The time-dependent Hartree-Fock equations with Coulomb two-body interaction”. In: Comm. Math. Phys.46.2 (1976). issn: 0010-3616
1976
-
[10]
Global well-posedness of the NLS system for infinitely many fermions
T. Chen, Y. Hong, and N. Pavlović. “Global well-posedness of the NLS system for infinitely many fermions”. In:Arch. Ration. Mech. Anal.224 (2017). doi: 10.1007/s00205-016-1068-x. REFERENCES 45
2017 doi
-
[11]
On the scattering problem for infinitely many fermions in dimen- sions d ≥ 3 at positive temperature
T. Chen, Y. Hong, and N. Pavlović. “On the scattering problem for infinitely many fermions in dimen- sions d ≥ 3 at positive temperature”. In:Ann. Inst. H. Poincaré C Anal. Non Linéaire35.2 (2018). doi: 10.1016/j.anihpc.2017.05.002
2018 doi
-
[12]
On theL2 rate of convergence in the limit from the Hartree to the Vlasov-Poisson equation
J. J. Chong, L. Lafleche, and C. Saffirio. “On theL2 rate of convergence in the limit from the Hartree to the Vlasov-Poisson equation”. In:Journal de l’École polytechnique. Mathématiques10 (2023). doi: 10.5802/jep.230
2023 doi
-
[13]
Stability of equilibria for a Hartree equation for random fields
C. Collot and A.-S. de Suzzoni. “Stability of equilibria for a Hartree equation for random fields”. In: J. Math. Pures Appl. (9)(2020). doi: 10.1016/j.matpur.2020.03.003
2020 doi
-
[14]
Stability of steady states for Hartree and Schrödinger equations for infinitely many particles
C. Collot and A.-S. de Suzzoni. “Stability of steady states for Hartree and Schrödinger equations for infinitely many particles”. In:Annales Henri Lebesgue(2022). doi: 10.5802/ahl.127
2022 doi
-
[15]
Landau damping for analytic and Gevrey data
E. Grenier, T. T. Nguyen, and I. Rodnianski. “Landau damping for analytic and Gevrey data”. In: Mathematical Research Letters28.6 (2021). doi: 10.4310/mrl.2021.v28.n6.a3
2021 doi
-
[16]
Asymptotic stability of a wide class of stationarysolutionsfor the Hartree and Schrödinger equations for infinitely many particles
S. Hadama. “Asymptotic stability of a wide class of stationarysolutionsfor the Hartree and Schrödinger equations for infinitely many particles”. In:arXiv e-prints (2024). arXiv: 2308.15929 [math.AP]
2024
-
[17]
Nonlinear Landau damping for the Vlasov-Poisson system inR3: the Poisson equilib- rium
I. Ionescu et al. “Nonlinear Landau damping for the Vlasov-Poisson system inR3: the Poisson equilib- rium”. In:Ann. PDE 10.2 (2024). doi: 10.1007/s40818-023-00161-w
2024 doi
-
[18]
On the vibrations of the electronic plasma
L. Landau. “On the vibrations of the electronic plasma”. In:Acad. Sci. USSR. J. Phys.10 (1946)
1946
-
[19]
The Hartree and Vlasov equations at positive density
M. Lewin and J. Sabin. “The Hartree and Vlasov equations at positive density”. In:Comm. Partial Differential Equations45.12 (2020). doi: 10.1080/03605302.2020.1803355
2020
-
[20]
The Hartree equation for infinitely many particles I. Well-posedness theory
M. Lewin and J. Sabin. “The Hartree equation for infinitely many particles I. Well-posedness theory”. In: Comm. Math. Phys.334.1 (2015). doi: 10.1007/s00220-014-2098-6
2015 doi
-
[21]
TheHartreeequationforinfinitelymanyparticles,II:Dispersionandscattering in 2D
M.LewinandJ.Sabin.“TheHartreeequationforinfinitelymanyparticles,II:Dispersionandscattering in 2D”. In:Anal. PDE 7.6 (2014). doi: 10.2140/apde.2014.7.1339
2014 doi
-
[22]
On Landau damping
C. Mouhot and C. Villani. “On Landau damping”. In: Acta Math 207.1 (2011), pp. 29–201. doi: 10.1007/s11511-011-0068-9
2011 doi
-
[23]
Modified scattering for long-range Hartree equations of infinite rank near vacuum
T. T. Nguyen and C. You. “Modified scattering for long-range Hartree equations of infinite rank near vacuum”. In:arXiv e-prints (2024). arXiv: 2408.15860 [math.AP]
2024 arXiv
-
[24]
Plasmons for the Hartree equations with Coulomb interaction
T. T. Nguyen and C. You. “Plasmons for the Hartree equations with Coulomb interaction”. In:arXiv e-prints (2023). arXiv: 2306.03800 [math.AP]
2023 arXiv
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.