The quantum de Finetti theorem asserts that the |$k$|-body density matrices of an |$N$|-body bosonic state approach a convex combination of Hartree states (pure tensor powers) when |$N$| is large and |$k$| fixed. In this note, we review a construction due to Christandl et al. [8] valid for finite-dimensional Hilbert spaces, which gives a quantitative version of the theorem. We first propose a variant of their proof that leads to a slightly improved estimate. Next we provide an alternative proof of an explicit formula due to Chiribella [7], which gives the density matrices of the constructed state as a function of those of the original state.
The quantum de Finetti theorem asserts that the |k|-body density matrices of an |N|-body bosonic state approach a convex combination of Hartree states (pure tensor powers) when |N| is large and |k| fixed. In this note, we review a construction due to Christandl et al. [8] valid for finite-dimensional Hilbert spaces, which gives a quantitative version of the theorem. We first propose a variant of their proof that leads to a slightly improved estimate. Next we provide an alternative proof of an explicit formula due to Chiribella [7], which gives the density matrices of the constructed state as a function of those of the original state.
Abstract We introduce the number-conserving quantum phase space description as a versatile tool to address fundamental aspects of quantum many-body systems. Using phase space methods we prove two alternative versions of the quantum de Finetti theorem for finite-dimensional bosonic quantum systems, which states that a reduced density matrix of a many-body quantum state can be approximated by a convex combination of product states where the error is proportional to the inverse particle number. This theorem provides a formal justification for the mean-field description of many-body quantum systems, as it shows that quantum correlations can be neglected for the calculation of few-body observables when the particle number is large. Furthermore we discuss methods to derive the exact evolution equations for quantum phase space distribution functions as well as upper and lower bounds for the ground state energy. As an important example, we consider the Bose–Hubbard model and show that the mean-field dynamics is given by a classical phase space flow equivalent to the discrete Gross–Pitaevskii equation.
In this paper we provide a novel strategy to prove the validity of Hartree's theory for the ground state energy of bosonic quantum systems in the mean-field regime. For the well-known case of trapped Bose gases, this can be shown using the strong quantum de Finetti theorem, which gives the structure of infinite hierarchies of k-particles density matrices. Here we deal with the case where some particles are allowed to escape to infinity, leading to a lack of compactness. Our approach is based on two ingredients: (1) a weak version of the quantum de Finetti theorem, and (2) geometric techniques for many-body systems. Our strategy does not rely on any special property of the interaction between the particles. In particular, our results cover those of Benguria-Lieb and Lieb-Yau for, respectively, bosonic atoms and boson stars.
We prove optimal finite quantum de Finetti upper bounds. Given a bosonic state ρN∈D(SymN(Cd)), there is a probability measure ν on the unit sphere such that ρN(2)−∫∣u⟩⟨u∣⊗2dν(u)1≤N−1d−1. By purification, the bosonic theorem also gives the optimal O(d/N) upper bound for arbitrary exchangeable states. These results settle the dimension dependence left open by Christandl, König, Mitchison, and Renner (CMP 2007). The proof casts de Finetti approximation as sum-of-squares rounding and applies the argmax method of Jeronimo, Wu, and Xu (manuscript 2026).
More generally, t-site marginals satisfy O(td/N) bosonic and O(td/N) permutation-invariant bounds. Our proof formulates de Finetti approximation as the integrality gap of a symmetric-extension semidefinite program and rounds an optimum by the argmax principle. The sharp bounds have several consequences. For every fixed ε∈(0,1), we construct a channel with input dimension D=exp(Oε(dlogd))=exp(o(d)) whose outputs are ε-close to separable states of local dimension d and whose image contains every such separable state, thereby refuting Watrous's disentangler conjecture. We also obtain deterministic exp(O(d/ε))-time algorithms for explicit Best Separable State without perfect completeness and for trace-distance separability testing.
Finally, spectral truncation gives the first dimension-free bosonic de Finetti theorem in Hilbert--Schmidt distance, with the optimal rate Θ(N−1/2) when the dimension may grow.
According to the Quantum de Finetti Theorem, locally normal infinite particle states with Bose-Einstein symmetry can be represented as mixtures of infinite tensor powers of vector states. This note presents examples of infinite-particle states with Bose-Einstein symmetry that arise as limits of Gibbs ensembles on finite dimensional spaces, and displays their de Finetti representations. We consider Gibbs ensembles for systems of bosons in a finite dimensional setting and discover limits as the number of particles tends to infinity, provided the temperature is scaled in proportion to particle number.
These notes deal with the mean-field approximation for equilibrium states of N-body systems in classical and quantum statistical mechanics. A general strategy for the justification of effective models based on statistical independence assumptions is presented in details. The main tools are structure theorems {à} la de Finetti, describing the large N limits of admissible states for these systems. These rely on the symmetry under exchange of particles, due to their indiscernability. Emphasis is put on quantum aspects, in particular the mean-field approximation for the ground states of large bosonic systems, in relation with the Bose-Einstein condensation phenomenon. Topics covered in details include: the structure of reduced density matrices for large bosonic systems, Fock-space localization methods, derivation of effective energy functionals of Hartree or non-linear Schr{ö}dinger type, starting from the many-body Schr{ö}dinger Hamiltonian.
In its most basic form, the finite quantum de Finetti theorem states that the reduced k-partite density operator of an n-partite symmetric state can be approximated by a convex combination of k-fold product states. Variations of this result include Renner’s “exponential” approximation by “almost-product” states, a theorem which deals with certain triples of representations of the unitary group, and the result of D’Cruz et al. [e-print quant-ph/0606139;Phys. Rev. Lett. 98, 160406 (2007)] for infinite-dimensional systems. We show how these theorems follow from a single, general de Finetti theorem for representations of symmetry groups, each instance corresponding to a particular choice of symmetry group and representation of that group. This gives some insight into the nature of the set of approximating states and leads to some new results, including an exponential theorem for infinite-dimensional systems.