Pith. sign in

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 →

arxiv 2412.14842 v2 pith:MQPXNSWK submitted 2024-12-19 math.AP

classification math.AP MSC 35B4035Q5535Q8381Q20
keywords HartreeequationLandaudampingphasemixingsemiclassicallimituniformPenroseconditionWignertransformscatteringscreenedCoulomb
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper aims to prove that, in dimensions $d \geq 3$, small perturbations of translation-invariant steady states of the Hartree equation decay and scatter for short-range interaction kernels satisfying a uniform Penrose stability condition, including the screened Coulomb interaction. The main theorem gives pointwise-in-time Fourier decay of the density, $|\widehat{\rho_Q}(t,k)| \leq C\varepsilon \langle k, kt\rangle^{-\sigma_1}$, and a scattering estimate in a weighted quantum Sobolev space with rate $\langle t\rangle^{-d/2}$. Crucially, all constants are independent of $\hbar \in (0,1]$, so the phase-mixing behavior is established uniformly in the semiclassical limit. If true, this provides a quantum analogue of nonlinear Landau damping that can in principle recover classical Vlasov damping as $\hbar \to 0$.

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.

Watch

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 extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

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)
  1. [§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.
  2. [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)
  1. [§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.
  2. [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.
  3. [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.
  4. [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

0 steps flagged · score 0.0 of 10

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 0 free parameters · 5 assumptions · 0 invented entities

No numerical fitting is involved; all constants are chosen by the proof. The main result is conditional on the uniform Penrose condition, the short-range decay of hat_w, and sufficiently regular and small initial data. The unstated evenness of w needed in Section 4.1.1 is an extra implicit domain assumption; it holds for the screened Coulomb kernel.

assumptions (5)
  • domain assumption Uniform Penrose condition (1.2) holds with a constant kappa > 0 uniformly for all hbar in (0,1].
    Assumed in Theorem 1.5 and used throughout the linear and nonlinear analysis. Sufficient conditions are given in Proposition 2.6, including repulsive radial interactions, but the theorem is conditional on (1.2).
  • 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).
    Used to control the Green function and the resonance integrals. The screened Coulomb kernel satisfies the bound, while the unscreened Coulomb kernel does not.
  • 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.
    These are hypotheses of Theorem 1.5. They initialize the bootstrap and justify the Wigner transform and Sobolev embedding estimates.
  • ad hoc to paper The interaction kernel w is even, so that hat_w is real-valued.
    Needed for the cancellation I = I in Section 4.1.1. The proof states that hat_w(ell) is real-valued, but Theorem 1.5 does not explicitly state that w is even. This is the most fragile implicit assumption and holds for the screened Coulomb kernel.
  • standard math Local well-posedness of the Hartree equation near positive-density steady states, taken from Lewin-Sabin [20].
    Used at the end of Proposition 1.20 to run the bootstrap on the maximal interval and to conclude T* = infinity.

how reviews work

0 comments
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

Figures reproduced from arXiv: 2412.14842 by the authors.

Figure 1
Figure 1. Semiclassical limit and scattering map [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Bootstrap dependencies: each arrow indicates an assumption used to establish an improvement, e.g. (B1) → (B2) reflects the use of (B1) in proving (I2). that the constants K2 and K4 appearing in the bootstrap assumptions (B2) and (B4) may be chosen de￾pending only on the fixed setup. Section 4 then shows that the remaining constants K1, K3, and K5, can also be selected depending only on the setup and on K2, K4. If ε0… view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 5 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Semi-classical limit of quantum scattering states for the nonlinear Hartree equation

    math.AP 2025-07 conditional novelty 8.0 of 10

    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 ...

  2. The semiclassical limit from Hartree to Vlasov at positive density: strong uniform-in-time convergence and scattering

    math.AP 2026-07 accept novelty 7.0 of 10

    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.

  3. Uniform dispersive estimates for the semi-classical Hartree equation with long-range interaction

    math.AP 2025-07 reject novelty 7.0 of 10

    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}.

  4. Large Time Behavior of the Klein-Gordon-Schr\"{o}dinger system

    math.AP 2025-06 conditional novelty 7.0 of 10

    Small localized data in H^4000 for the 3D Klein-Gordon-Schrödinger system produce global solutions that decay and scatter to free waves.

  5. Scattering for the positive density Hartree equation

    math.AP 2025-04 conditional novelty 7.0 of 10

    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

24 extracted references · 6 canonical work pages · cited by 5 Pith papers

  1. [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]

  2. [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

  3. [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

  4. [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. [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. [6]

    Borie, S

    A. Borie, S. Hadama, and J. Sabin. Scattering for the positive density Hartree equation. 2025. url: https://arxiv.org/abs/2504.19552

  7. [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

  8. [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

Show all 24 references
  1. [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

  2. [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

  3. [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

  4. [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

  5. [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

  6. [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

  7. [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

  8. [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]

  9. [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

  10. [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)

  11. [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

  12. [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

  13. [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

  14. [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

  15. [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]

  16. [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]

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.