Recognition: no theorem link
Quantum Relative Entropy and the Mean-Field Limit
Pith reviewed 2026-05-12 00:58 UTC · model grok-4.3
The pith
Quantum relative entropy bounds the distance from N-body density matrices to tensorized Hartree solutions.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove a quantitative stability estimate between the N-body density matrix and the tensorized solution of the Hartree equation. The argument is based on an entropy production identity, a cancellation mechanism for the centered two-body fluctuation, and a combinatorial estimate controlling the remaining mixed moments. As a consequence, we obtain propagation of chaos in trace norm for fixed marginals. We further combine the entropy estimate with known semiclassical Wasserstein bounds to derive a convergence estimate that is uniform in the Planck constant in an appropriate joint mean-field and semiclassical regime. Finally, we extend the method to finite-dimensional open quantum systems, for
What carries the argument
The quantum relative entropy between the N-body density matrix and the tensor product of one-body Hartree states, together with its production identity that isolates and cancels centered two-body fluctuations.
If this is right
- The trace-norm distance between any fixed marginal of the N-body state and the Hartree one-body density matrix vanishes as N tends to infinity.
- Propagation of chaos holds in trace norm for the closed von Neumann dynamics.
- Convergence rates remain uniform when the Planck constant is sent to zero simultaneously with the mean-field limit.
- An analogous relative entropy bound holds for Lindblad open systems with arbitrary bounded two-body interactions defined by partial trace.
Where Pith is reading between the lines
- The cancellation structure in the entropy production may apply to other quantum mean-field limits such as the Vlasov equation with quantum corrections.
- The uniform-in-Planck-constant estimate suggests that mean-field approximations remain reliable for moderately quantum regimes without requiring separate semiclassical analysis.
- Numerical schemes that evolve the one-body Hartree equation could be validated against full many-body simulations by monitoring this relative entropy directly.
Load-bearing premise
The interaction potentials must allow the Hartree equation to be well-posed and must support the entropy production identity together with the cancellation of centered fluctuations and the combinatorial moment bounds.
What would settle it
A concrete counterexample in which the relative entropy between an explicit N-body state and the corresponding Hartree product state fails to control the trace-norm distance for large N under bounded interactions.
read the original abstract
We develop a quantum relative entropy method for the mean-field limit of quantum many-body systems. For closed systems governed by the von Neumann equation, we prove a quantitative stability estimate between the $N$-body density matrix and the tensorized solution of the Hartree equation. The argument is based on an entropy production identity, a cancellation mechanism for the centered two-body fluctuation, and a combinatorial estimate controlling the remaining mixed moments. As a consequence, we obtain propagation of chaos in trace norm for fixed marginals. We further combine the entropy estimate with known semiclassical Wasserstein bounds to derive a convergence estimate that is uniform in the Planck constant in an appropriate joint mean-field and semiclassical regime. Finally, we extend the method to finite-dimensional open quantum systems governed by Lindblad dynamics. In this setting, we establish an analogous relative entropy estimate for general bounded two-body interactions, where the mean-field potential is defined through partial trace. This shows that the entropy method does not rely on any special tensor-product decomposition of the interaction.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops a quantum relative entropy method for the mean-field limit of quantum many-body systems. For closed systems governed by the von Neumann equation, it proves a quantitative stability estimate between the N-body density matrix and the tensorized Hartree solution, relying on an entropy production identity, cancellation of centered two-body fluctuations, and combinatorial control of mixed moments. Consequences include trace-norm propagation of chaos for fixed marginals and an ħ-uniform convergence estimate obtained by combining the entropy bound with semiclassical Wasserstein estimates. The method is extended to finite-dimensional open systems under Lindblad dynamics with bounded two-body interactions, where the mean-field potential is defined via partial trace, showing that the approach does not require special tensor-product structure.
Significance. If the entropy production identity, fluctuation cancellation, and moment estimates close as asserted, the work supplies a unified, structure-independent framework for quantitative mean-field limits that applies equally to closed and open quantum systems. The ħ-uniform joint limit and the extension to general bounded interactions are notable strengths, as they broaden applicability beyond the usual closed-system tensor-product settings and connect directly to existing semiclassical tools.
major comments (2)
- [Section 3 (closed-system case)] The entropy production identity and the exact cancellation for centered two-body fluctuations (central to the stability estimate) are asserted to hold under the stated well-posedness assumptions, but the manuscript should explicitly verify that these identities survive the quantum operator setting without hidden commutator terms or regularity gaps; this is load-bearing for the quantitative bound.
- [Section 4 (combinatorial estimates)] The combinatorial estimates controlling the remaining mixed moments after cancellation must be shown to produce constants independent of N and ħ in the joint limit; the current sketch leaves open whether the moment bounds remain uniform when the interaction is only bounded (rather than smooth).
minor comments (2)
- [Section 5] Notation for the partial-trace mean-field potential in the open-system case should be introduced earlier and kept consistent with the closed-system Hartree potential to aid readability.
- [Section 4.2] The manuscript cites semiclassical Wasserstein bounds but does not restate the precise form of the bound used; adding a short reminder of the cited result would clarify how the ħ-uniformity is obtained.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and the constructive comments. We address each major comment below and will incorporate the requested clarifications in the revised version.
read point-by-point responses
-
Referee: [Section 3 (closed-system case)] The entropy production identity and the exact cancellation for centered two-body fluctuations (central to the stability estimate) are asserted to hold under the stated well-posedness assumptions, but the manuscript should explicitly verify that these identities survive the quantum operator setting without hidden commutator terms or regularity gaps; this is load-bearing for the quantitative bound.
Authors: We agree that an explicit verification is necessary for rigor. In the revised manuscript we will insert a self-contained computation in Section 3 that derives the entropy production identity directly from the von Neumann equation, invoking only the cyclicity of the trace and the definition of the relative entropy; this shows that no extraneous commutator terms appear. The same expanded calculation will be given for the cancellation of the centered two-body fluctuations, confirming that the identity holds under the stated bounded-interaction assumptions without additional regularity requirements. revision: yes
-
Referee: [Section 4 (combinatorial estimates)] The combinatorial estimates controlling the remaining mixed moments after cancellation must be shown to produce constants independent of N and ħ in the joint limit; the current sketch leaves open whether the moment bounds remain uniform when the interaction is only bounded (rather than smooth).
Authors: We thank the referee for this observation. The combinatorial bounds in Section 4 are constructed so that the constants depend only on the operator norm of the interaction and on purely combinatorial factors arising from the number of pairings; these quantities are independent of both N and ħ. Nevertheless, to remove any ambiguity we will replace the sketch with a fully detailed proof in the revision, explicitly tracking all constants and verifying that boundedness of the interaction (without smoothness) is sufficient for uniformity in the joint mean-field/semiclassical limit. revision: yes
Circularity Check
No significant circularity; derivation self-contained
full rationale
The paper establishes its entropy production identity, centered fluctuation cancellation, and mixed-moment combinatorial bounds as direct consequences of the von Neumann/Lindblad equations and partial-trace definitions inside the manuscript. These intermediates are not presupposed by the target stability or propagation-of-chaos statements; they are proven first and then applied. The ħ-uniform estimate invokes externally cited semiclassical Wasserstein bounds rather than any self-referential closure. No ansatz is smuggled via self-citation, no parameter is fitted then relabeled as prediction, and no uniqueness theorem is imported from the authors' prior work. The argument therefore reduces to standard operator identities plus independent external input.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The two-body interaction potential is such that the Hartree equation is well-posed and the fluctuation cancellation holds
- domain assumption Two-body interactions are bounded
Reference graph
Works this paper leans on
- [1]
- [2]
-
[3]
N. Benedikter, V. Jakˇ si´ c, M. Porta, C. Saffirio, and B. Schlein. Mean-field evolution of fermionic mixed states.Communications on Pure and Applied Mathematics, 69(12):2250–2303, 2016
work page 2016
-
[4]
E. A. Carlen and E. H. Lieb. Brascamp–lieb inequalities for non-commutative integration.Docu- menta Mathematica, 13:553–584, 2008
work page 2008
-
[5]
E. A. Carlen and E. H. Lieb. Remainder terms for some quantum entropy inequalities.Journal of Mathematical Physics, 55(4), 2014
work page 2014
-
[6]
L. Chen, J. O. Lee, and J. Lee. Rate of convergence toward hartree dynamics with singular inter- action potential.Journal of Mathematical Physics, 59(3), 2018
work page 2018
-
[7]
L. Chen, J. O. Lee, and B. Schlein. Rate of convergence towards hartree dynamics.Journal of Statistical Physics, 144(4):872–903, 2011
work page 2011
-
[8]
J. J. Chong, L. Lafleche, and C. Saffirio. From many-body quantum dynamics to the hartree– fock and vlasov equations with singular potentials.Journal of the European Mathematical Society, 26(12):4923–5007, 2024
work page 2024
-
[9]
A. Deuchert, M. Caporaletti, and B. Schlein. Dynamics of mean-field bosons at positive tempera- ture.Annales de l’Institut Henri Poincar´ e C, Analyse Non Lin´ eaire, 41(4):995–1054, 2024
work page 2024
- [10]
-
[11]
A. Elgart and B. Schlein. Mean field dynamics of boson stars.Communications on Pure and Applied Mathematics, 60(4):500–545, 2007
work page 2007
-
[12]
L. Erd˝ os and H.-T. Yau. Derivation of the nonlinear schr¨ odinger equation from a many-body coulomb system.Advances in Theoretical and Mathematical Physics, 5:1169–1205, 2001
work page 2001
-
[13]
J. Fr¨ ohlich, S. Graffi, and S. Schwarz. Mean-field and classical limit of many-body schr¨ odinger dynamics for bosons.Communications in Mathematical Physics, 271(3):681–697, 2007
work page 2007
- [14]
-
[15]
F. Golse and T. Paul. The schr¨ odinger equation in the mean-field and semiclassical regime.Archive for Rational Mechanics and Analysis, 223(1):57–94, 2017
work page 2017
- [16]
- [17]
-
[18]
M. G. Grillakis, M. Machedon, and D. Margetis. Second-order corrections to mean field evolution of weakly interacting bosons. i.Communications in Mathematical Physics, 294(1):273–301, 2010
work page 2010
-
[19]
Hayashi.Quantum information: an introduction
M. Hayashi.Quantum information: an introduction. Springer, 2006
work page 2006
-
[20]
P.-E. Jabin and Z. Wang. Mean field limit and propagation of chaos for vlasov systems with bounded forces.Journal of Functional Analysis, 271(12):3588–3627, 2016
work page 2016
-
[21]
P.-E. Jabin and Z. Wang. Quantitative estimates of propagation of chaos for stochastic systems withw −1,∞ kernels.Inventiones mathematicae, 214(1):523–591, 2018
work page 2018
-
[22]
E. Kuz. Rate of convergence to mean field for interacting bosons.Communications in Partial Dif- ferential Equations, 40(10):1831–1854, 2015
work page 2015
- [23]
- [24]
-
[25]
P.-L. Lions and T. Paul. Sur les mesures de wigner.Revista Matem´ atica Iberoamericana, 9(3):553– 618, 1993
work page 1993
-
[26]
D. Mitrouskas, S. Petrat, and P. Pickl. Bogoliubov corrections and trace norm convergence for the hartree dynamics.Reviews in Mathematical Physics, 31(08):1950024, 2019
work page 2019
-
[27]
H. Narnhofer and G. L. Sewell. Vlasov hydrodynamics of a quantum mechanical model.Commu- nications in Mathematical Physics, 79(1):9–24, 1981
work page 1981
-
[28]
T. Paul, M. Pulvirenti, and S. Simonella. On the size of chaos in the mean field dynamics.Archive for Rational Mechanics and Analysis, 231(1):285–317, 2019
work page 2019
-
[29]
P. Pickl. A simple derivation of mean field limits for quantum systems.Letters in Mathematical Physics, 97(2):151–164, 2011
work page 2011
-
[30]
I. Rodnianski and B. Schlein. Quantum fluctuations and rate of convergence towards mean field dynamics.Communications in Mathematical Physics, 291(1):31–61, 2009
work page 2009
-
[31]
H. Spohn and H. Neunzert. On the vlasov hierarchy.Mathematical Methods in the Applied Sciences, 3(1):445–455, 1981. Universit´e Paris-Saclay CentraleSup´elec, Laboratoire MICS and CNRS FR-3487 Email address:gaoyue.guo@centralesupelec.fr School of Mathematical Sciences, Peking University, Beijing, 100871, China Email address:leunghao@stu.pku.edu.cn Beijing...
work page 1981
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.