Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Examples of bosonic de Finetti states over finite dimensional Hilbert spaces

Alex D. Gottlieb

Published Jun 14, 2005• 8 citations
OpenAlex

Abstract

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.

Related papers

Quantum de Finetti theorem in phase-space representation

Anthony Leverrier, Nicolas J. Cerf

The quantum versions of de Finetti's theorem derived so far express the convergence of $n$-partite symmetric states, i.e., states that are invariant under permutations of their $n$ parties, toward probabilistic mixtures of independent and identically distributed (IID) states of the form ${\ensuremath{\sigma}}^{\ensuremath{\bigotimes}n}$. Unfortunately, these theorems only hold in finite-dimensional Hilbert spaces, and their direct generalization to infinite-dimensional Hilbert spaces is known to fail. Here, we address this problem by considering invariance under orthogonal transformations in phase space instead of permutations in state space, which leads to a quantum de Finetti theorem particularly relevant to continuous-variable systems. Specifically, an $n$-mode bosonic state that is invariant with respect to this continuous symmetry in phase space is proven to converge toward a probabilistic mixture of IID Gaussian states (actually, $n$ identical thermal states).

arXiv:0904.4862•Physical Review A•Jul 28, 2009•11 citations

Connecting classical finite exchangeability to quantum theory

Alessio Benavoli, Alessandro Facchini, Marco Zaffalon A

Exchangeability is a fundamental concept in probability theory and statistics. It allows to model situations where the order of observations does not matter. The classical de Finetti's theorem provides a representation of infinitely exchangeable sequences of random variables as mixtures of independent and identically distributed variables. The quantum de Finetti theorem extends this result to symmetric quantum states on tensor product Hilbert spaces. It is well known that both theorems do not hold for finitely exchangeable sequences. The aim of this work is to investigate two lesser-known representation theorems, which were developed in classical probability theory to extend de Finetti's theorem to finitely exchangeable sequences by using quasi-probabilities and quasi-expectations. With the aid of these theorems, we illustrate how a de Finetti-like representation theorem for finitely exchangeable sequences can be formulated through a mathematical representation which is formally equivalent to quantum theory (with boson-symmetric density matrices). We then show a promising application of this connection to the challenge of defining entanglement for indistinguishable bosons.

arXiv:2306.03869•Jun 6, 2023•0 citations

Remarks on the Quantum de Finetti Theorem for Bosonic Systems

Mathieu Lewin B, Phan Thành Nam, Nicolas Rougerie

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.

arXiv:1310.2200•Applied Mathematics Research eXpress•Oct 9, 2014•34 citations

Finite de Finetti Theorem for Infinite-Dimensional Systems

Christian D’Cruz, Tobias J. Osborne, Rüdiger Schack

We formulate and prove a de Finetti representation theorem for finitely exchangeable states of a quantum system consisting of k infinite-dimensional subsystems. The theorem is valid for states that can be written as the partial trace of a pure state |Psi/Psi| chosen from a family of subsets {Cn} of the full symmetric subspace for n subsystems. We show that such states become arbitrarily close to mixtures of pure power states as n increases. We give a second equivalent characterization of the family {Cn}.

arXiv:quant-ph/0606139•Physical Review Letters•Apr 19, 2007•15 citations

Quantum de Finetti theorems and mean-field theory from quantum phase space representations

F. Trimborn, Reinhard F. Werner, Dirk Witthaut

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.

Journal of Physics A Mathematical and Theoretical•Feb 18, 2016•5 citations

SU(p,q) coherent states and Gaussian de Finetti theorems

Anthony Leverrier

We prove a generalization of the quantum de Finetti theorem when the local space is an infinite-dimensional Fock space. In particular, instead of considering the action of the permutation group on n copies of that space, we consider the action of the unitary group U(n) on the creation operators of the n modes and define a natural generalization of the symmetric subspace as the space of states invariant under unitaries in U(n). Our first result is a complete characterization of this subspace, which turns out to be spanned by a family of generalized coherent states related to the special unitary group SU(p,q) of signature (p,q). More precisely, this construction yields a unitary representation of the noncompact simple real Lie group SU(p,q). We therefore find a dual unitary representation of the pair of groups U(n) and SU(p,q) on an n(p+q)-mode Fock space.The (Gaussian) SU(p,q) coherent states resolve the identity on the symmetric subspace, which implies a Gaussian de Finetti theorem stating that tracing over a few modes of a unitary-invariant state yields a state close to a mixture of Gaussian states. As an application of this de Finetti theorem, we show that the n×n upper-left submatrix of an n×n Haar-invariant unitary matrix is close in total variation distance to a matrix of independent normal variables if n3=O(m).

•Jan 14, 2017•0 citations
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.
The quantum versions of de Finetti's theorem derived so far express the convergence of nnn-partite symmetric states, i.e., states that are invariant under permutations of their nnn parties, toward probabilistic mixtures of independent and identically distributed (IID) states of the form ${\ensuremath{\sigma}}^{\ensuremath{\bigotimes}n}$. Unfortunately, these theorems only hold in finite-dimensional Hilbert spaces, and their direct generalization to infinite-dimensional Hilbert spaces is known to fail. Here, we address this problem by considering invariance under orthogonal transformations in phase space instead of permutations in state space, which leads to a quantum de Finetti theorem particularly relevant to continuous-variable systems. Specifically, an nnn-mode bosonic state that is invariant with respect to this continuous symmetry in phase space is proven to converge toward a probabilistic mixture of IID Gaussian states (actually, nnn identical thermal states).
Exchangeability is a fundamental concept in probability theory and statistics. It allows to model situations where the order of observations does not matter. The classical de Finetti's theorem provides a representation of infinitely exchangeable sequences of random variables as mixtures of independent and identically distributed variables. The quantum de Finetti theorem extends this result to symmetric quantum states on tensor product Hilbert spaces. It is well known that both theorems do not hold for finitely exchangeable sequences. The aim of this work is to investigate two lesser-known representation theorems, which were developed in classical probability theory to extend de Finetti's theorem to finitely exchangeable sequences by using quasi-probabilities and quasi-expectations. With the aid of these theorems, we illustrate how a de Finetti-like representation theorem for finitely exchangeable sequences can be formulated through a mathematical representation which is formally equivalent to quantum theory (with boson-symmetric density matrices). We then show a promising application of this connection to the challenge of defining entanglement for indistinguishable bosons.
The quantum de Finetti theorem asserts that the |kkk|-body density matrices of an |NNN|-body bosonic state approach a convex combination of Hartree states (pure tensor powers) when |NNN| is large and |kkk| 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.
We formulate and prove a de Finetti representation theorem for finitely exchangeable states of a quantum system consisting of k infinite-dimensional subsystems. The theorem is valid for states that can be written as the partial trace of a pure state |Psi/Psi| chosen from a family of subsets {Cn} of the full symmetric subspace for n subsystems. We show that such states become arbitrarily close to mixtures of pure power states as n increases. We give a second equivalent characterization of the family {Cn}.
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.
We prove a generalization of the quantum de Finetti theorem when the local space is an infinite-dimensional Fock space. In particular, instead of considering the action of the permutation group on n copies of that space, we consider the action of the unitary group U(n) on the creation operators of the n modes and define a natural generalization of the symmetric subspace as the space of states invariant under unitaries in U(n). Our first result is a complete characterization of this subspace, which turns out to be spanned by a family of generalized coherent states related to the special unitary group SU(p,q) of signature (p,q). More precisely, this construction yields a unitary representation of the noncompact simple real Lie group SU(p,q). We therefore find a dual unitary representation of the pair of groups U(n) and SU(p,q) on an n(p+q)-mode Fock space.The (Gaussian) SU(p,q) coherent states resolve the identity on the symmetric subspace, which implies a Gaussian de Finetti theorem stating that tracing over a few modes of a unitary-invariant state yields a state close to a mixture of Gaussian states. As an application of this de Finetti theorem, we show that the n×n upper-left submatrix of an n×n Haar-invariant unitary matrix is close in total variation distance to a matrix of independent normal variables if n3=O(m).