Authors prove quantitative propagation of chaos for mixed Hartree evolutions in squared Uhlmann fidelity then trace norm, using purified projection and rank-one counting estimates, for interactions satisfying a projected-square bound.
Quantum Relative Entropy and the Mean-Field Limit
2 Pith papers cite this work. Polarity classification is still indexing.
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.
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Proves quantitative trace-norm propagation of chaos for Belavkin equations on mixed-state density matrices in finite-dimensional quantum mean-field systems.
citing papers explorer
-
Purified Projection Method and Uhlmann Fidelity for Mixed Hartree Dynamics
Authors prove quantitative propagation of chaos for mixed Hartree evolutions in squared Uhlmann fidelity then trace norm, using purified projection and rank-one counting estimates, for interactions satisfying a projected-square bound.