Pith. sign in

REVIEW 2 major objections 4 minor 2 cited by

Commutator Estimates and Quantitative Local Weyl's Law for Schr\"odinger Operators with Non-Smooth Potentials

T0 review · 2 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For C^{1,1/2} potentials, spectral projections obey ℏ-scale commutator bounds, yielding quantitative Weyl laws.

desk verdict Genuinely new commutator and Weyl-law estimates for non-smooth potentials, but the proof chain rests on an unproved uniformity claim that a referee should push to fix. read the letter →

arxiv 2501.01381 v2 pith:NWCWL5IK submitted 2025-01-02 math-ph math.APmath.MPmath.SPquant-ph

Esteban Cárdenas , Laurent Lafleche This is my paper · ORCID
classification math-phmath.APmath.MPmath.SPquant-ph MSC 35J1081S3047B4747B1547B1035P30
keywords commutatorestimatesSchattennormslocalWeyllawsemiclassicallimitSchrodingeroperatorsnon-smoothpotentialsHartreeminimizersThomas-Fermidensity
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 proves that for semiclassical Schrödinger operators in three dimensions with potentials that are only $C^{1,1/2}$ (not smooth), growing to infinity, the spectral projection onto negative energies satisfies commutator bounds in every Schatten norm: $h^d \operatorname{Tr}(|[x,\gamma]|^p) \le C\hbar$ and $h^d \operatorname{Tr}(|[\hbar\nabla,\gamma]|^p) \le C\hbar$ (with at most logarithmic corrections for low $p$ when the Hessian does not decay). These commutator bounds are the quantum analogue of one derivative of regularity, and they are exactly what is needed to make the local Weyl law quantitative: the position density of the projected states converges to the classical density at rate $\hbar^{1/3}$ in $L^2$ and $\hbar^{1/2}$ in $L^1$, with analogous phase-space and trace-class rates. The same analysis extends to minimizers of the Hartree energy with repulsive singular pair potentials, including the Coulomb potential, giving $L^1$ convergence of the Hartree density to the Thomas\u2013Fermi density at rate $\hbar^{1/2}|\ln\hbar|^{1/4}$. A reader should care because previous quantitative Weyl laws relied on smooth potentials and pseudodifferential techniques, while the potentials that appear in mean-field fermionic models are exactly of this non-smooth type.

What carries the argument

The load-bearing object is the local eigenvalue estimate $h^d \operatorname{Tr} 1_{[a,b]}(H) \le C_1(|b-a|+\hbar)$, derived from a sharp Weyl law for $C^{1,\alpha}$ potentials (with $\alpha\ge1/2$) together with an asserted uniformity of that law under small constant shifts of the potential. From it the paper builds a singular resolvent estimate $h^d \operatorname{Tr}(1_{H\le0}(\hbar-H)^{-2}) \le C_2\hbar$, which is the averaged version of an energy-gap condition: the eigenvalues of $H$ are, on average, separated by gaps of order $\hbar$. General trace-class and Hilbert\u2013Schmidt commutator bounds (Propositions 3.3\u20133.5) then convert this resolvent bound into estimates for $[A,\gamma]$ when $A=x$, $p=-i\hbar\nabla$, or a phase-space translation $\tau_z$, after controlling the operator norms of $\gamma A$ and the commutator $[A,H]$ via Agmon-type decay estimates. For the quantitative Weyl law, the second pillar is a coherent-state variational principle: the energy gap between the quantized state and a classical phase-space density controls a sum of positive errors, which are then deconvolved using the Besov regularity just obtained. In the Hartree case, the fixed-point equation $\gamma=1_{H_\gamma\le0}+q$ connects the interacting minimizer to the linear theory, and a priori $L^p$ bounds on the mean-field potential $K*\rho_\gamma$ supply the required $C^{1,1/2}$ regularity.

What would settle it

Take a $C^{1,1/2}$ potential that grows like $|x|^{3/2}$ with a bounded oscillatory perturbation of order $|x|^{-1/2}$ (so $\nabla V$ decays but $\nabla^2V$ grows), and compute, for small $|E|$ shifts, the sharp Weyl remainder $|h^d \operatorname{Tr} 1_{H\le E} - \int_{|\xi|^2+V\le E} dx\, d\xi|$. If the $\hbar$-uniform bound (53) fails for some $E\in[-\varepsilon_0,\varepsilon_0]$, the local eigenvalue estimate (54) fails and with it the commutator bounds of Theorem 1.1 and all quantitative Weyl laws in Theorems 1.4 and 1.6.

Watch

Extended reading notes

Core claim

The central discovery is that the spectral projection $\gamma=1_{-\hbar^2\Delta+V\le0}$ inherits a uniform semiclassical regularity from a single local eigenvalue estimate, $h^d \operatorname{Tr} 1_{[a,b]}(H) \le C(|b-a|+\hbar)$, even when the potential $V$ is only $C^{1,1/2}_{\mathrm{loc}}$ with $e^{-\beta|x|}\nabla V \in L^\infty$. From this estimate the authors derive a singular resolvent bound and then general Schatten-norm commutator bounds, showing that $h^d \operatorname{Tr}(|[x,\gamma]|^p) \le C\hbar$ and $h^d \operatorname{Tr}(|[\hbar\nabla,\gamma]|^p) \le C\hbar$ for all $p\in[1,\infty)$, with $C$ independent of $\hbar$ (and with $|\ln\hbar|$ corrections for the momentum commutator at $p\le2$ unless $\nabla^2V$ also decays). These bounds imply that the position density and the Wigner transform of the projected state lie in $\hbar$-uniform Besov spaces, and they are then converted through a coherent-state variational principle into quantitative local and phase-space Weyl laws with rates $\hbar^{1/3}$, $\hbar^{1/2}$, and $\hbar^{1/4}$. The same machinery is applied to minimizers of the Hartree functional with repulsive singular interactions $K(x)=\kappa|x|^{-a}$, $a\in(0,1]$: for $a<1$ the optimal commutator and convergence rates hold, while the Coulomb case $a=1$ carries additional $|\ln\hbar|^{1/2}$ or $|\ln\hbar|^{1/4}$ factors.

Load-bearing premise

The local eigenvalue estimate, and therefore every stated commutator bound and Weyl-law rate, rests on the assertion that the sharp Weyl law for $C^{1,1/2}$ potentials remains uniform when the potential is shifted by any small constant $E\in[-\varepsilon_0,\varepsilon_0]$, a uniformity the authors affirm follows from the proof of the Weyl law but do not themselves reproduce.

Editorial extensions

If this is right

  • The local Weyl law holds quantitatively for non-smooth, growing potentials: $\|\rho_\gamma-\rho_f\|_{L^2}\le C\hbar^{1/3}$ and $\|\rho_\gamma-\rho_f\|_{L^1}\le C\hbar^{1/2}$ in $d=3$, with explicit constants.
  • The Wigner transform $f_\gamma$ of the spectral projection converges to the classical indicator function in $L^2$ at rate $\hbar^{1/4}$, and the operator difference $\gamma-\rho_f$ converges in trace norm at rate $\hbar^{1/2}$.
  • The commutator bounds imply uniform-in-$\hbar$ $W^{1,1}$ regularity of the position density (up to a logarithmic factor), and uniform Besov regularity $\|\gamma\|_{\dot B^{1/p}_{p,\infty}}$ for every $p\in[1,\infty]$.
  • For Hartree minimizers with repulsive singular interactions $K(x)=\kappa|x|^{-a}$, $a<1$, the optimal $\hbar$-rates hold; in the Coulomb case $a=1$ the rates carry only $|\ln\hbar|^{1/2}$ (trace norm) and $|\ln\hbar|^{1/4}$ (density in $L^1$).
  • Convergence in Wasserstein distances follows: $W_p(\rho_\gamma,\rho_f)\le C\hbar^{1/(2p)}$ for $p\in[1,\infty)$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The linear commutator estimates are formulated in $d\ge3$ at the level of Propositions 3.6\u20133.7, so Theorem 1.1's restriction to $d=3$ appears to be a presentation choice rather than a barrier; if so, the quantitative Weyl-law rates carry over to all $d\ge3$.
  • The uniformity of the sharp Weyl law of [47] under constant shifts (inequality (53)) is the one external input the authors do not reprove; a future verification would make the proof self-contained, whereas a counterexample would leave only weaker eigenvalue-counting methods and likely destroy the $\hbar^{1/2}$ density rate.
  • Because the proof avoids pseudodifferential calculus, the same local-eigenvalue-estimate-to-commutator pipeline should adapt to Schr\"odinger operators on graphs or to discrete Laplacians, where sharp Weyl remainders are known, yielding analogous commutator and quantitative-density bounds.
  • The $\sqrt{|\ln\hbar|}$ correction in the Coulomb Hartree case is likely not optimal; testing the estimates against exactly solvable radial Coulomb-trap models could reveal whether the logarithm is a proof artifact or intrinsic.
Share X Bluesky LinkedIn Reddit HN

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. The paper analyzes semiclassical Schrödinger operators H = −ℏ²Δ + V with potentials of class C^{1,1/2}_{loc} in dimension d = 3 and establishes Schatten-norm commutator estimates for the spectral projection γ = 1_{H≤0}. These estimates are then used to prove quantitative local and phase-space Weyl laws in L² and L¹, and extended to Hartree minimizers with repulsive singular pair interactions, including the Coulomb case. The technical core is a chain: a sharp Weyl law (from Mikkelsen) yields a local eigenvalue estimate, which yields singular resolvent bounds, which yield the commutator estimates; quantitative convergence of densities and states then follows from coherent-state and variational arguments. The paper is largely self-contained and tracks constants explicitly, but the chain currently rests on a uniformity assertion for the sharp Weyl law under constant potential shifts that is stated but not proved.

Significance. If the missing uniformity is supplied, this is a substantial contribution: it extends commutator estimates from smooth potentials to C^{1,1/2} potentials and to Hartree minimizers with singular interactions, and it provides the first quantitative local and phase-space Weyl law rates in this regularity class. The proof strategy is original in using singular resolvent estimates rather than pseudodifferential calculus, and the authors are careful to record explicit constants and optimal ℏ-scaling in several regimes. However, the main results are conditional on an unproved uniformity assertion in Eq. (53), which is load-bearing: without it, Lemma 3.1 and therefore the commutator and Weyl-law theorems do not follow.

major comments (2)
  1. [Section 3.2, Eq. (53)] The uniform-in-E perturbed Weyl law (53) is the central load-bearing premise of the paper. It is used immediately to prove Lemma 3.1, which in turn yields the singular resolvent estimates Lemma 3.2 and all of Theorem 1.1 and Theorem 1.4. The justification given in the paragraph after Eq. (52) asserts that Mikkelsen's regularization argument yields constants depending only on the C^{1,1/2} norm on Ω_ν, and that this remains true for V+E with |E| ≤ ε0. This is plausible, but it is not a proof: changing E moves the sublevel set Ω_ν = {V ≤ ν} to {V ≤ ν−E}, and the relevant norms and the pseudodifferential expansion in [47] may depend on E through these sets. The authors should either prove uniformity directly, or state and prove a precise lemma showing that the constant in (53) is the same for all E ∈ [−ε0, ε0]. Without this, the local eigenvalue estimate and all subsequent results are conditional.
  2. [Section 6.1.1, Eq. (101)] The interacting results inherit exactly the same gap. Equation (101) asserts the uniform perturbed Weyl law for the effective Hamiltonian H_γ = −ℏ²Δ + U + K ∗ ρ_γ, with the same constant C0 for all E ∈ [−ε0, ε0]. This is again justified by the same 'not explicitly mentioned in [47]' argument, but now the potential is ℏ-dependent through ρ_γ, so the uniformity needs to be established for the whole family V_γ. This assumption is used to obtain the local eigenvalue estimate (102), which is needed to control the kernel component q in the fixed-point equation and to run Propositions 3.6 and 3.7 in the proof of Theorem 1.5. Thus Theorems 1.5 and 1.6 are conditional on the same unproved uniformity, and the authors should provide a complete argument before the interacting claims can be accepted.
minor comments (4)
  1. [Throughout] The paper uses both h and ℏ with h = 2πℏ, but several formulas mix them without explicitly recalling the conversion. For example, Proposition 4.7 is stated for all h, ε > 0, while Theorem 1.4 quotes rates in ℏ; the reader must track the factor 2π throughout. A short notational remark after Eq. (13) would help.
  2. [Proposition 4.1] The statement writes ‖ρ_f − ρ_γ‖_{L²(R^{2d})}, but position densities ρ_f and ρ_γ are functions on R^d. This should be R^d; the proof and Theorem 1.4 use the correct domain.
  3. [Hypotheses (H1), (H3), (H4)] The phrase 'uniformly in ℏ' in assumptions on V, ∇V, and ∇²V is confusing because V is otherwise fixed and independent of ℏ. If the authors intend a family of potentials depending on ℏ, this should be stated explicitly; otherwise the phrase should be removed or clarified.
  4. [Eq. (52)] The condition ‖V‖_{C^{1,α}(Ω_ν)} < C_{Ω_ν} is written as if C_{Ω_ν} were a fixed constant, but the notation suggests it may depend on Ω_ν. It would be clearer to write ‖V‖_{C^{1,α}(Ω_ν)} ≤ C_ν with C_ν depending only on Ω_ν and explicitly on the C^{1,1/2} norm of V on a slightly enlarged set.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation is a forward chain from an external sharp Weyl law through eigenvalue, resolvent and commutator estimates; the flagged uniformity gap in Eq. (53) is a correctness risk, not a circular reduction.

full rationale

The central chain is forward and externally anchored. Section 3.2 starts from the sharp Weyl law of Mikkelsen [47, Theorem 1.5], quoted as Eq. (51), and converts it into the local eigenvalue estimate Lemma 3.1, then the singular resolvent bounds Lemma 3.2, then the general commutator bounds Propositions 3.3–3.5, and finally Theorem 1.1. The quantitative Weyl laws in Section 4 are obtained by a separate variational/coherent-state argument (Lemma 4.3, Corollary 4.5, Proposition 4.7) in which the commutator estimates enter only as regularity inputs. Nothing is defined in terms of the quantity being predicted, and no parameter is fitted to a subset of the target data: the constants C0, C1, C2 are structural constants inherited from the external Weyl law and CLR/Lieb–Thirring bounds. The one passage that deserves explicit flagging is Eq. (53): the authors state that the uniformity in E of Mikkelsen's bound, 'Although not explicitly mentioned in [47]', is justified by the regularization argument, but they do not reproduce that proof. This is a missing-support/correctness risk: if the uniformity failed, Lemma 3.1 and the downstream commutator and Weyl-law statements would not follow. It is not, however, circular, because Eq. (53) is not derived from the paper's own conclusions and no sentence reduces a target estimate to an input by construction. The same uniformity assumption recurs at Eq. (101) in the Hartree section, with the same status. Self-citations to Lafleche ([36]–[39]) are used as published technical tools (semiclassical convolution identities, quantum Besov and Sobolev inequalities, harmonic-oscillator examples); they are not invoked as an authority to forbid alternatives, and the central inequalities do not collapse into those citations. Hence no circular step meeting the quoted-evidence standard is present.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

The central claims rest on the sharp Weyl law of Mikkelsen (with an asserted uniform perturbation stability), CLR, Lieb-Thirring, and Agmon estimates. The Hartree results additionally use the fixed-point characterization of minimizers. No new entities are postulated, and no data-fitted parameters appear; constants such as ε0 are existential choices in the proof, not fitted values.

assumptions (7)
  • domain assumption Sharp Weyl law with uniform constant for perturbed potentials V+E
    Invoked in Section 3.2 to establish Equation (53) for all E in [-ε0, ε0]; the uniformity over E is asserted to follow from the proof in [47] but is not proved in the paper.
  • standard math CLR (Cwikel-Lieb-Rozenblum) bound
    Used in Sections 2 and 3 to control Tr(1_{H≤E}) and L¹ norms of densities.
  • standard math Lieb-Thirring kinetic inequality
    Used in Lemma 2.2 to bound kinetic and potential energy of the spectral projection.
  • standard math Agmon-type exponential decay estimates
    Proved in Section 2.3 using a virial-type argument; underpin uniform-in-ℏ bounds on moments such as ‖xγ‖_{L∞} and ‖∇Vγ‖_{L∞}.
  • domain assumption Fixed-point equation for Hartree minimizers (γ = 1_{H_γ<0} + q with q supported in kernel)
    Taken from [48]; used in Section 6 to connect the nonlinear problem to the linear theory.
  • standard math Log-Lipschitz and second-derivative bounds for K*ρ for Coulomb kernel
    Used in Lemma 6.1; cited to Kato-Ponce and Beale-Kato-Majda.
  • standard math Spectral theorem and functional calculus for self-adjoint operators
    Used throughout for defining γ = 1_{H≤0} and performing trace computations.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Commutator Estimates and Quantitative Local Weyl's Law for Schr\"odinger Operators with Non-Smooth Potentials." pith.science (2026). https://pith.science/paper/NWCWL5IK

@misc{pith2026250101381,
  author       = {Pith},
  title        = {Pith review of: Commutator Estimates and Quantitative Local Weyl's Law for Schr\"odinger Operators with Non-Smooth Potentials},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NWCWL5IK}},
  note         = {Machine review of arXiv:2501.01381}
}
abstract

We analyze semi-classical Schr\"odinger operators with potentials of class $C^{1,1/2}$ and establish commutator estimates for the associated projection operators in Schatten norms. These are then applied to prove quantitative versions of the local and phase space Weyl laws in $L^p$ spaces. We study both non-interacting, and interacting particle systems. In particular, we are able to treat the case of the minimizers of the Hartree energy in the case of repulsive singular pair interactions such as the Coulomb potential.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

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

  1. Derivation of the time-dependent Hartree equations for strongly interacting dense fermionic systems

    math-ph 2025-07 conditional novelty 8.0 of 10

    The rescaled Schrödinger dynamics of N dense fermions with C^2 pair interactions converges to the time-dependent Hartree dynamics with explicit rate N^{-1/24}.

  2. The quantitative semi-classical limit of a large Fermi system at zero temperature

    math-ph 2025-05 conditional novelty 6.0 of 10

    For three-dimensional interacting fermions at zero temperature, the ground-state Wigner function approaches Thomas-Fermi theory in trace norm at rate N times a positive power of the semi-classical parameter, with Coul...

Reference graph

Works this paper leans on

80 extracted references · 79 canonical work pages · cited by 2 Pith papers

  1. [47]

    Sharp semiclassical spectral asymptotics for Schr\"odinger operators with non-smooth potentials

    S. Mikkelsen. Sharp Semiclassical Spectral Asymptoti cs for Schrödinger Operators with Non-Smooth Poten- tials. arXiv:2309.12015, pages 1–19, Sept. 2023. 52 E. CÁRDENAS AND L. LAFLECHE

    work page Pith review arXiv 2023

  2. [1]

    S. Agmon. Spectral Properties of Schrödinger Operators and Scattering Theory. Annali della Scuola Normale Superiore di Pisa. Classe di Scienze. Serie IV , 2(2):151–218, 1975

    work page 1975

  3. [2]

    S. Agmon. Lectures on Exponential Decay of Solutions of Second-Order Elliptic Equations: Bounds on Eigenfunctions of N-Body Schrodinger Operations . Number 29 in Princeton Legacy Library, Mathematical Notes. Princeton University Press, 1982

    work page 1982

  4. [3]

    A. B. Aleksandrov and V . V . Peller. Operator Lipschitz functions. Russian Mathematical Surveys, 71(4):605– 702, Aug. 2016

    work page 2016

  5. [4]

    To this end, we shall obtain quantitative versions of the local Weyl law and the Weyl law i n the phase space

    Q/u.pc/a.pc/n.pc/t.pc/i.pc/t.pc/a.pc/t.pc/i.pc/v.pc/e.pc /l.pc/o.pc/c.pc/a.pc/l.pc W/e.pc/y.pc/l.pc ’/s.pc /l.pc/a.pc/w.pc The main goal of this section is to prove Theorem 1.4. To this end, we shall obtain quantitative versions of the local Weyl law and the Weyl law i n the phase space. The proof of the theorem then follows from propositions 4.1 and 4.2 ...

    work page

  6. [5]

    Thanks to Lemma 3.1 and 3.2 we then get ‖ Tzγ − γ ‖ 2 L2 ≤ C HS ( |z| ‖ γ ‖ 2 L∞ + 1 |z| ‖ (TzH −H) γ ‖ 2 L∞ )

    with A =τz. Thanks to Lemma 3.1 and 3.2 we then get ‖ Tzγ − γ ‖ 2 L2 ≤ C HS ( |z| ‖ γ ‖ 2 L∞ + 1 |z| ‖ (TzH −H) γ ‖ 2 L∞ ) . Using Formula (

    work page

  7. [6]

    We study the minimizers γ := γ H of the Hartree energy functional Eρ given in Equation ( 14)

    I/n.pc/t.pc/e.pc/r.pc/a.pc/c.pc/t.pc/i.pc/n.pc/g.pc /c.pc/a.pc/s.pc/e.pc: H/a.pc/r.pc/t.pc/r.pc/e.pc/e.pc /t.pc/h.pc/e.pc/o.pc/r.pc/y.pc In this section, we consider the case of interacting particl es, that is, as described in intro- duction, the potential is given by Vρ :=K ∗̺ρ +U withK(x) = κ |x|−a withκ> 0 anda ∈ [0, 1] andU : Rd → R some external pote...

    work page

  8. [7]

    Benedikter, V

    N. Benedikter, V . Jakšić, M. Porta, C. Saffirio, and B. Schl ein. Mean-Field Evolution of Fermionic Mixed States. Communications on Pure and Applied Mathematics , 69(12):2250–2303, Dec. 2016

    work page 2016

Show all 80 references
  1. [8]

    Benedikter, M

    N. Benedikter, M. Porta, C. Saffirio, and B. Schlein. From t he Hartree Dynamics to the Vlasov Equation. Archive for Rational Mechanics and Analysis, 221(1):273–334, July 2016

    2016

  2. [9]

    Benedikter, M

    N. Benedikter, M. Porta, and B. Schlein. Mean-field Dynam ics of Fermions with Relativistic Dispersion. Journal of Mathematical Physics , 55(2):021901, Feb. 2014

    2014

  3. [10]

    Benedikter, M

    N. Benedikter, M. Porta, and B. Schlein. Mean-field Evol ution of Fermionic Systems. Communications in Mathematical Physics, 331(3):1087–1131, Nov. 2014

    2014

  4. [11]

    These estimates will be particularly helpful when we study interacting particle systems with Coulomb potentials

    R/e.pc/g.pc/u.pc/l.pc/a.pc/r.pc/i.pc/t.pc/y.pc /o.pc/f.pc /t.pc/h.pc/e.pc /p.pc/o.pc/s.pc/i.pc/t.pc/i.pc/o.pc/n.pc /d.pc/e.pc/n.pc/s.pc/i.pc/t.pc/y.pc In this section we establish further regularity properties of the position density ̺γ . These estimates will be particularly h...

  5. [12]

    Cárdenas

    E. Cárdenas. Norm Convergence of Confined Fermionic Systems at Zero Temperature.Letters in Mathematical Physics, 114(2):38, Mar. 2024

    2024

  6. [13]

    Cárdenas, J

    E. Cárdenas, J. K. Miller, and N. Pavlović. On the Effecti ve Dynamics of Bose-Fermi Mixtures. arXiv:2309.04638, pages 1–55, Sept. 2023

    2023 arXiv

  7. [14]

    Chazarain

    J. Chazarain. Spectre d’un hamiltonien quantique et me canique classique. Communications in Partial Differ- ential Equations, 5(6):595–644, Jan. 1980

    1980

  8. [15]

    J. J. Chong, L. Lafleche, and C. Saffirio. Semiclassical Li mit of the Bogoliubov-de Gennes Equation. arXiv:2403.15880, pages 1–29, Mar. 2024

    2024 arXiv

  9. [16]

    M. Cwikel. Weak Type Estimates for Singular Values and t he Number of Bound States of Schrodinger Operators. Annals of Mathematics. Second Series , 106(1):93–100, July 1977

    1977

  10. [17]

    Y . L. Daletskii and S. G. Krein. Integration and differen tiation of functions of Hermitian operators and applications to the theory of perturbations. AMS Translations (2), 47(1-30):10–1090, 1965

    1965

  11. [18]

    D. S. Dean, P. L. Doussal, S. N. Majumdar, and G. Schehr. Universal Ground-State Properties of Free Fermions in a d-Dimensional Trap. Europhysics Letters, 112(6):60001, Dec. 2015. C/o.pc/m.pc/m.pc/u.pc/t.pc/a.pc/t.pc/o.pc/r.pc E/s.pc/t.pc/i.pc/m.pc/a.pc/t.pc/e.pc/s.pc /a.pc/n....

    2015

  12. [19]

    The estimates for the L1 norm come from ( 25) withκ ≥ 0

    to conclude ‖̺γ ‖ L∞ ≤Cd,β,R,a ( 1 + ‖U−‖ L∞ + ∫ Rd U 3/2 − ) . The estimates for the L1 norm come from ( 25) withκ ≥ 0. It then suffices to interpolate. □ 6.1.1. Commutator estimates. Thanks to the uniform C 1,α estimates of Lemma 6.1 and [47, Theorem 1.5] we can find ε0 > 0 sma...

  13. [20]

    Deleporte and G

    A. Deleporte and G. Lambert. Universality for Free Ferm ions and the Local Weyl Law for Semiclassical Schrödinger Operators. Journal of the European Mathematical Society , online first:1–98, May 2024

    2024

  14. [21]

    Fournais, M

    S. Fournais, M. Lewin, and J. P. Solovej. The Semi-class ical Limit of Large Fermionic Systems. Calculus of Variations and Partial Differential Equations , 57(4):105, Aug. 2018

    2018

  15. [22]

    Fournais and P

    S. Fournais and P. S. Madsen. Semi-classical Limit of Confined Fermionic Systems in Homogeneous Magnetic Fields. Annales Henri Poincaré, 21(5):1401–1449, May 2020

    2020

  16. [23]

    They are uniformly bounded in ℏ thanks toLp estimates

    and ( 78) in terms of γ and U (x). They are uniformly bounded in ℏ thanks toLp estimates. Arguing as in the linear case, we know thatf ∈ ˙B1/2 2,∞(R6) and ∇f ∈ M (R6). Thus, we now use the estimates for the quantum gradient ‖ ∇γ ‖ L1 that follow from Theorem 1.5. Finally, we n...

  17. [24]

    R. L. Frank. Weyl’s Law under Minimal Assumptions. In M. Brown, F. Gesztesy, P. Kurasov, A. Laptev, B. Simon, G. Stolz, and I. Wood, editors, From Complex Analysis to Operator Theory: A Panorama: In Memory of Sergey Naboko, pages 549–572. Springer International Publishing, Cham, 2023

    2023

  18. [25]

    The bound in B1/2 2,∞ then follows by definition of Besov spaces and the H s bound by the continuous embeddingB1/2 2,∞ ⊂H s fors< 1/2

    and Lemma 2.1 that these quantities are bounded independently of ℏ. The bound in B1/2 2,∞ then follows by definition of Besov spaces and the H s bound by the continuous embeddingB1/2 2,∞ ⊂H s fors< 1/2. □

  19. [26]

    Girardot and N

    T. Girardot and N. Rougerie. Semiclassical Limit for Al most Fermionic Anyons. Communications in Mathe- matical Physics, 387(1):427–480, Oct. 2021

    2021

  20. [27]

    N. L. Balazs and G. G. Zipfel. Quantum Oscillations in the Semiclassical Fermion µ-Space Density. Annals of Physics, 77(1):139–156, May 1973

    1973

  21. [28]

    J. T. Beale, T. Kato, and A. J. Majda. Remarks on the Breakd own of Smooth Solutions for the 3-D Euler Equations. Communications in Mathematical Physics , 94(1):61–66, Mar. 1984

    1984

  22. [29]

    Benedikter

    N. Benedikter. Effective Dynamics of Interacting Fermio ns from Semiclassical Theory to the Random Phase Approximation. Journal of Mathematical Physics , 63(8):081101, Aug. 2022

    2022

  23. [30]

    H. J. Groenewold. On the principles of elementary quant um mechanics. Physica, 12(7):405–460, Oct. 1946

    1946

  24. [31]

    E. Heinz. Beiträge zur Störungstheorie der Spektralze rlegung. Mathematische Annalen, 123:415–438, 1951

    1951

  25. [32]

    Hörmander

    L. Hörmander. On the Asymptotic Distribution of the Eig envalues of Pseudodifferential Operators in Rn. Arkiv för Matematik, 17(1–2):297–313, Dec. 1979

    1979

  26. [33]

    Iacobelli and L

    M. Iacobelli and L. Lafleche. Enhanced Stability in Quantum Optimal Transport Pseudometrics: From Hartree to Vlasov–Poisson. Journal of Statistical Physics , 191(12):157, Nov. 2024

    2024

  27. [34]

    M. S. Birman and M. Z. Solomyak. Stieltjes Double-Integ ral Operators. In M. S. Birman, editor, Spectral Theory and Wave Processes, pages 25–54. Springer US, Boston, MA, 1967

    1967

  28. [35]

    Kato and G

    T. Kato and G. Ponce. Well-posedness of the Euler and Nav ier–Stokes equations in the Lebesque spaces Lp s (R2). Revista Matemática Iberoamericana, 2(1–2):73–88, 1986

    1986

  29. [36]

    L. Lafleche. Propagation of Moments and Semiclassical L imit from Hartree to Vlasov Equation. Journal of Statistical Physics, 177(1):20–60, Oct. 2019

    2019

  30. [37]

    L. Lafleche. Quantum Optimal Transport and Weak Topolog ies. arXiv:2306.12944, pages 1–25, June 2023

    2023 arXiv

  31. [38]

    L. Lafleche. On Quantum Sobolev Inequalities. Journal of Functional Analysis, 286(10):110400, May 2024

    2024

  32. [39]

    L. Lafleche. Optimal Semiclassical Regularity of Proje ction Operators and Strong Weyl Law. Journal of Mathematical Physics, 65(5):052104, May 2024

    2024

  33. [40]

    Lewin, P

    M. Lewin, P. S. Madsen, and A. Triay. Semi-classical Lim it of Large Fermionic Systems at Positive Temper- ature. Journal of Mathematical Physics , 60(9):091901, Sept. 2019

    2019

  34. [41]

    E. H. Lieb. The Number of Bound States of One-body Schrod inger Operators and the Weyl Problem. In Geometry of the Laplace Operator (Proc. Sympos. Pure Math., Univ. Hawaii, Honolulu, Hawaii, 1979) , volume 36 of Proc. Sympos. Pure Math., pages 241–252. Amer. Math. Soc., Provid...

    1979

  35. [42]

    D. S. Dean, P. Le Doussal, S. N. Majumdar, and G. Schehr. W igner Function of Noninteracting Trapped Fermions. Physical Review A, 97(6):063614, June 2018

    2018

  36. [43]

    E. H. Lieb and B. Simon. The Thomas–Fermi theory of atoms, molecules and solids. Advances in Mathematics, 23:22–116, 1977

    1977

  37. [44]

    E. H. Lieb and W. E. Thirring. Inequalities for the Moments of the Eigenvalues of the Schrödinger Hamiltonian and their Relation to Sobolev Inequalities. Studies in Mathematical Physics, Essays in Honor of Valenti ne Bargmann, pages 269–303, 1976

    1976

  38. [45]

    Lions and B

    P.-L. Lions and B. Perthame. Propagation of Moments and Regularity for the 3-Dimensional Vlasov–Poisson System. Inventiones Mathematicae, 105(2):415–430, 1991

    1991

  39. [46]

    Fournais and S

    S. Fournais and S. Mikkelsen. An Optimal Semiclassical Bound on Commutators of Spectral Projections with Position and Momentum Operators. Letters in Mathematical Physics, 110(12):3343–3373, Dec. 2020

    2020

  40. [48]

    Fresta, M

    L. Fresta, M. Porta, and B. Schlein. Effective Dynamics of Extended Fermi Gases in the High-Density Regime. Communications in Mathematical Physics , 401(2):1701–1751, July 2023

    2023

  41. [49]

    Potapov and F

    D. Potapov and F. Sukochev. Operator-Lipschitz functi ons in Schatten–von Neumann classes. Acta Mathe- matica, 207(2):375–389, 2011

    2011

  42. [50]

    Golse, C

    F. Golse, C. Mouhot, and T. Paul. On the Mean Field and Cla ssical Limits of Quantum Mechanics. Commu- nications in Mathematical Physics , 343(1):165–205, Apr. 2016

    2016

  43. [51]

    Golse and T

    F. Golse and T. Paul. The Schrödinger Equation in the Mea n-Field and Semiclassical Regime. Archive for Rational Mechanics and Analysis , 223(1):57–94, Jan. 2017

    2017

  44. [52]

    Gottschling and P

    N. Gottschling and P. T. Nam. Convergence of Levy–Lieb t o Thomas–Fermi Density Functional. Calculus of Variations and Partial Differential Equations , 57(6):146, Dec. 2018

    2018

  45. [53]

    Lemma 3.1

    is the validity of the following local eigenvalue estimate. Lemma 3.1. Leta ∈ [−ε0, 0] andb ∈ [a, 1]. Then, in d ≥ 3 (54) hd Tr1[a,b](H) ≤ C 1 (|b −a| + ℏ) where C1 = 2 C0 + ( ωd 2 + L0,d ε0 ) ∫ Rd (V − 1)d/2−1 − . Proof. Assume first b ≤ ε0 so that −ε0 ≤ a ≤ b ≤ ε0. Since 1[a,...

  46. [54]

    W. Sickel. On the Regularity of Characteristic Functio ns. In Anomalies in Partial Differential Equations , volume 43 of Springer INdAM Series, pages 395–441, Cham, 2021. Springer International Publis hing

    2021

  47. [55]

    Remark 3.3.2

    becomes O(ℏ) once we can control ‖ p γ ‖ L∞, ‖x γ ‖ L∞ and ‖∇V γ ‖ L∞ uniformly in ℏ. Remark 3.3.2. For the proof, we establish the more general inequality: for all λ > 0 and d ≥ 1 (56) Tr ( |[A, γ ]|2) ≤ 2 Tr ( 10<H<λ |γ A|2) + 2‖ γ [A,H ] (1 − γ )‖ 2 L∞ Tr ( γ (λ −H)−2) . Th...

  48. [56]

    C. Villani. Topics in Optimal Transportation , volume 58 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, Mar. 2003

    2003

  49. [57]

    Proposition 3.3 then follows forλ ≥ ℏ thanks to Lemma 3.1 and Lemma 3.2

    proves Formula ( 56). Proposition 3.3 then follows forλ ≥ ℏ thanks to Lemma 3.1 and Lemma 3.2. □ 3.4. General trace-class bounds. For the case of the trace-class commutator estimates, we state two propositions. The first one will be useful for the po sition commutator estimates...

  50. [58]

    V . Ivrii. Semiclassical Spectral Asymptotics. Astérisque, 207(5):7–33, 1992

    1992

  51. [60]

    in detail as the second one is analogous. Similarly as in the proof for the Hilbert–S chmidt estimates, we write the commutator using the operator 1 − γ as [A, γ ] = ( 1 − γ )A γ − (1 − γ ) γ A and we write 1 − γ = 10<H<λ + 1H≥λ to get ‖ [A, γ ]‖ 1 ≤ 2 ‖ (1 − γ )A γ ‖ 1 ≤ 2 ‖ ...

  52. [65]

    E. H. Lieb and M. Loss. Analysis, volume 14 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2nd edition, 2001

    2001

  53. [66]

    This yields ‖ Tzγ − γ ‖ 2 L2 ≤ C HS |z| ( ‖ γ ‖ 2 L∞ + 2 ‖ p γ ‖ 2 L∞ + ‖∇V γ ‖ 2 L∞ )

    forH gives ‖ (TzH −H) γ ‖ 2 L∞ ≤ |z|2( 2 ‖ p γ ‖ 2 L∞ + ‖∇V γ ‖ 2 L∞ ) . This yields ‖ Tzγ − γ ‖ 2 L2 ≤ C HS |z| ( ‖ γ ‖ 2 L∞ + 2 ‖ p γ ‖ 2 L∞ + ‖∇V γ ‖ 2 L∞ ) . Finally, for |z| ≥ 1, it is sufficient to use the triangle inequality for Schatten n orms and the fact that Tz is an ...

  54. [69]

    Marcantoni, M

    S. Marcantoni, M. Porta, and J. Sabin. Dynamics of Mean- Field Fermi Systems with Nonzero Pairing.Annales Henri Poincaré, Online First:1–54, Sept. 2024

    2024

  55. [71]

    N. N. Nguyen. Weyl Laws for Interacting Particles. Journal of Mathematical Physics , 65(11):113503, Nov. 2024

    2024

  56. [73]

    M. C. Reed and B. Simon. Analysis of Operators , volume 4 of Methods of Modern Mathematical Physics . Academic Press, New Y ork; London, 1 edition edition, May 1978

    1978

  57. [74]

    Robert and B

    D. Robert and B. Helffer. Comportement semi-classique d u spectre des hamiltoniens quantiques elliptiques. Annales de l’institut Fourier , 31(3):169–223, 1981

    1981

  58. [75]

    G. V . Rozenblum. The Distribution of the Discrete Spect rum for Singular Differential Operators. Doklady Akademii Nauk SSSR, 202(1):1012–1015, 1972

    1972

  59. [76]

    M. A. Shubin. Pseudodifferential Operators and Spectral Theory . Springer, Berlin, Heidelberg, 2001

    2001

  60. [77]

    and (78). Proof. Notice that all the terms on the left-hand side of inequality (86) are positive, hence they are controlled individually by the sum of the terms on the rig ht-hand side. First we prove Inequality ( 87). Recall for any a,b ≥ 0 andθ ≤ 1, we have the following ine...

  61. [78]

    A. V . Sobolev. Quasi-Classical Asymptotics of Local Riesz Means for the Schrödinger Operator in a Moderate Magnetic Field. Annales de l’Institut Henri Poincaré. Physique Théorique , 62(4):325–360, 1995

    1995

  62. [80]

    This proves Identity ( 84)

    gives ∫ R2d Hg ( g − 1Hg≤0 ) dx dξ = ∫ R2d |Hg| ⏐ ⏐1Hg≤0 −g ⏐ ⏐ dx dξ and on the other side, ∫ R2d Hg 1Hg≤0 dx dξ = − ∫ R2d ( |ξ|2 −cd̺2/d g ) − = −cd p′ ∫ Rd ̺p g dy wherep′ is the dual exponent of p. This proves Identity ( 84). To get Inequality ( 85), one can use Y oung’s i...

  63. [81]

    R. F. Werner. Quantum Harmonic Analysis on Phase Space. Journal of Mathematical Physics , 25(5):1404– 1411, May 1984

    1984

  64. [89]

    can be readily estimated with ( 87) withq = 1 via ∫ R2d ⏐ ⏐ ⏐1Hf ≤0 − 1H ˜fγ ≤0 ⏐ ⏐ ⏐ = ∫ Rd ⏐ ⏐ ⏐̺1/d f −̺1/d ˜γ ⏐ ⏐ ⏐ d ≤ ∫ Rd |̺f −̺˜γ |. For the second term on the right-hand side of Inequality ( 89), we have 1 2 ∫ Ω c 1, 1×Rd ⏐ ⏐ ⏐1H ˜fγ ≤0 − ˜fγ ⏐ ⏐ ⏐ ≤ ∫ Ω c 1, 1 ̺˜γ ≤ ...

  65. [91]

    □ Our first step towards the proof of the L2 regularity is the following lemma, which is based on an application of the weighted Hilbert–Schmidt commutat or bound in Proposition 5.3

    and ( 92) finishes the proof. □ Our first step towards the proof of the L2 regularity is the following lemma, which is based on an application of the weighted Hilbert–Schmidt commutat or bound in Proposition 5.3. Lemma 5.4. Let γ = 1H≤0 andH = −ℏ2∆ + V withd ≥ 3. Then ‖ ‖ ‖ ∇xγ ...

  66. [93]

    Next, a similar computation shows (97) ‖ ‖ ‖ [ |p|4,A ] ρ ‖ ‖ ‖ ≤ ‖ ‖ ‖ [ |p|2, [ p2,A ]] ρ ‖ ‖ ‖ + 2 ‖‖ ‖ [ |p|2,A ] |p|2 ρ ‖ ‖ ‖

    follows with A = V and ρ = γ , and using Hypothesis ( H4). Next, a similar computation shows (97) ‖ ‖ ‖ [ |p|4,A ] ρ ‖ ‖ ‖ ≤ ‖ ‖ ‖ [ |p|2, [ p2,A ]] ρ ‖ ‖ ‖ + 2 ‖‖ ‖ [ |p|2,A ] |p|2 ρ ‖ ‖ ‖ . For the first term in ( 97), we use Inequality ( 96) with [ |p|2,A ] instead ofA so th...

  67. [94]

    As for the other inequality, ‖ ‖ ‖ [ p |p|4,A ] ρ ‖ ‖ ‖ ≤ ℏ ‖ ‖ ‖ [ |p|4, ∇A ] ρ ‖ ‖ ‖ + 2 ‖ ‖ ‖ [ |p|4,A ] p ρ ‖ ‖ ‖

    follows by takingA =V , ρ = γ and using ( H4). As for the other inequality, ‖ ‖ ‖ [ p |p|4,A ] ρ ‖ ‖ ‖ ≤ ℏ ‖ ‖ ‖ [ |p|4, ∇A ] ρ ‖ ‖ ‖ + 2 ‖ ‖ ‖ [ |p|4,A ] p ρ ‖ ‖ ‖ . so that (

  68. [95]

    follows by an appropriate application of ( 98). Finally, for the last bound, we write |p|4 γ = |p|2 (H −V ) γ = |p|2 γ H −V |p|2 γ − 2 ℏ ∇V · p γ − ∆ V γ , from which we conclude ‖ ‖ ‖eβ|x| |p|4 γ ‖ ‖ ‖ ≤ ‖ ‖ ‖eβ|x| |p|2 γ ‖ ‖ ‖ ‖ γ H‖ + ‖ ‖ ‖eβ|x|V |p|2 γ ‖ ‖ ‖ +2 ℏ ‖‖ ‖eβ|x|...

  69. [96]

    For the second term in ( 97), we use Inequality (96) with |p|2 ρ instead of ρ

    we find for the two terms ‖ ‖ ‖ [ |p|2, ∆ A ] ρ ‖ ‖ ‖ ≤ ℏ2 ‖ ‖ ‖ ∆ 2A ρ ‖ ‖ ‖ + 2 ℏ ‖∇ ∆ A · p ρ ‖ ‖ ‖ ‖ [ |p|2, ∇A · p ] ρ ‖ ‖ ‖ ≤ ℏ2 ‖ (∇∆ A · p) ρ ‖ + 2ℏ ‖ (∇ (∇A · p) · p) ρ ‖ . For the second term in ( 97), we use Inequality (96) with |p|2 ρ instead of ρ . Putting all toge...

  70. [103]

    quantitative bathtub principle

    also holds for two derivatives. We repeat the same argument as before and conclude that most t erms are uniformly bounded in ℏ. The only exception is the following mixed term which, thank s to hypotheses ( H2) and (H3), and Lemma 6.1, satisfies the bound ‖ ‖ ‖ ∇2Vγ (x) · p γ ‖ ...

  71. [105]

    □ In order to connect our analysis back to the linear case we mak e the following observation

    and (107), and employing Y oung’s inequality. □ In order to connect our analysis back to the linear case we mak e the following observation. Since̺ ˜f =gε ∗̺f ,ˆK ≥ 0 and 0 ≤ˆg2 ε ≤ 1, it follows from Plancherel formula that ∫ Rd ̺ ˜fK ∗̺ ˜f = ∫ Rd ˆKˆg2 ε |ˆρf |2 ≤ ∫ Rd ̺fK ∗...

  72. [106]

    We finish the proof by takingρ = ρ ˜f ,g =f˜γ , putting together (

    and using 1 − 1/p′ = 1/p we find (107) Eg − Ef ≥ ∫ Rd U+̺g + ∫ R2d |Hg| ⏐ ⏐g − 1Hg≤0 ⏐ ⏐ +cd p ∫ Rd ̺p g −̺p f −p̺ p−1 f (̺g −̺f ). We finish the proof by takingρ = ρ ˜f ,g =f˜γ , putting together (

Pith tools

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