Quantum De Finetti Theorem Research Articles

The mean-field approximation and the non-linear Schrödinger functional for trapped Bose gases

We study the ground state of a trapped Bose gas, starting from the full many-body Schrodinger Hamiltonian, and derive the nonlinear Schrodinger energy functional in the limit of large particle number, when the interaction potential converges slowly to a Dirac delta function. Our method is based on quantitative estimates on the discrepancy between the full many-body energy and its mean-field approximation using Hartree states. These are proved using finite dimensional localization and a quantitative version of the quantum de Finetti theorem. Our approach covers the case of attractive interactions in the regime of stability. In particular, our main new result is a derivation of the 2D attractive nonlinear Schrodinger ground state.

Quantum de Finetti Theorem under Fully-One-Way Adaptive Measurements.

We prove a version of the quantum de Finetti theorem: permutation-invariant quantum states are well approximated as a probabilistic mixture of multifold product states. The approximation is measured by distinguishability under measurements that are implementable by fully-one-way local operations and classical communication (LOCC). Our result strengthens Brandão and Harrow's de Finetti theorem where a kind of partially-one-way LOCC measurements was used for measuring the approximation, with essentially the same error bound. As main applications, we show (i)a quasipolynomial-time algorithm which detects multipartite entanglement with an amount larger than an arbitrarily small constant (measured with a variant of the relative entropy of entanglement), and (ii)a proof that in quantum Merlin-Arthur proof systems, polynomially many provers are not more powerful than a single prover when the verifier is restricted to one-way LOCC operations.

Unconditional Uniqueness for the Cubic Gross‐Pitaevskii Hierarchy via Quantum de Finetti

We present a new, simpler proof of the unconditional uniqueness of solutions to the cubic Gross‐Pitaevskii hierarchy in . One of the main tools in our analysis is the quantum de Finetti theorem. Our uniqueness result is equivalent to the one established in the celebrated works of Erdős, Schlein, and Yau. © 2015 Wiley Periodicals, Inc.

A rigorous derivation of the defocusing cubic nonlinear Schrödinger equation on [formula omitted] from the dynamics of many-body quantum systems

In this paper, we will obtain a rigorous derivation of the defocusing cubic nonlinear Schrödinger equation on the three-dimensional torus T3 from the many-body limit of interacting bosonic systems. This type of result was previously obtained on R3 in the work of Erdős, Schlein, and Yau [54–57], and on T2 and R2 in the work of Kirkpatrick, Schlein, and Staffilani [78]. Our proof relies on an unconditional uniqueness result for the Gross–Pitaevskii hierarchy at the level of regularity α=1, which is proved by using a modification of the techniques from the work of T. Chen, Hainzl, Pavlović and Seiringer [20] to the periodic setting. These techniques are based on the Quantum de Finetti theorem in the formulation of Ammari and Nier [6,7] and Lewin, Nam, and Rougerie [83]. In order to apply this approach in the periodic setting, we need to recall multilinear estimates obtained by Herr, Tataru, and Tzvetkov [74].Having proved the unconditional uniqueness result at the level of regularity α=1, we will apply it in order to finish the derivation of the defocusing cubic nonlinear Schrödinger equation on T3, which was started in the work of Elgart, Erdős, Schlein, and Yau [50]. In the latter work, the authors obtain all the steps of Spohn's strategy for the derivation of the NLS [108], except for the final step of uniqueness. Additional arguments are necessary to show that the objects constructed in [50] satisfy the assumptions of the unconditional uniqueness theorem. Once we achieve this, we are able to prove the derivation result. In particular, we show Propagation of Chaos for the defocusing Gross–Pitaevskii hierarchy on T3 for suitably chosen initial data.

Remarks on the Quantum de Finetti Theorem for Bosonic Systems

The quantum de Finetti theorem asserts that the k-body density matrices of a 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, Mitchison, Konig and Renner 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, which gives the density matrices of the constructed state as a function of those of the original state.

Derivation of Hartreeʼs theory for generic mean-field Bose systems

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 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.

Ground states of fermionic lattice Hamiltonians with permutation symmetry

We study the ground states of lattice Hamiltonians that are invariant under permutations, in the limit where the number of lattice sites, N -> \infty. For spin systems, these are product states, a fact that follows directly from the quantum de Finetti theorem. For fermionic systems, however, the problem is very different, since mode operators acting on different sites do not commute, but anti-commute. We construct a family of fermionic states, \cal{F}, from which such ground states can be easily computed. They are characterized by few parameters whose number only depends on M, the number of modes per lattice site. We also give an explicit construction for M=1,2. In the first case, \cal{F} is contained in the set of Gaussian states, whereas in the second it is not. Inspired by that constructions, we build a set of fermionic variational wave functions, and apply it to the Fermi-Hubbard model in two spatial dimensions, obtaining results that go beyond the generalized Hartree-Fock theory.

Quantum Interactive Proofs with Short Messages

This paper considers three variants of quantum interactive proof systems in which short (meaning logarithmic-length) messages are exchanged between the prover and verifier. The first variant is one in which the verifier sends a short message to the prover, and the prover responds with an ordinary, or polynomial-length, message; the second variant is one in which any number of messages can be exchanged, but where the combined length of all the messages is logarithmic; and the third variant is one in which the verifier sends polynomially many random bits to the prover, who responds with a short quantum message. We prove that in all of these cases the short messages can be eliminated without changing the power of the model, so the first variant has the expressive power of QMA and the second and third variants have the expressive power of BQP. These facts are proved through the use of quantum state tomography, along with the finite quantum de Finetti theorem for the first variant.

Security of continuous-variable quantum key distribution: towards a de Finetti theorem for rotation symmetry in phase space

Proving the unconditional security of quantum key distribution (QKD) is a highly challenging task as one needs to determine the most efficient attack compatible with experimental data. This task is even more demanding for continuous-variable QKD as the Hilbert space where the protocol is described is infinite dimensional. A possible strategy to address this problem is to make an extensive use of the symmetries of the protocol. In this paper, we investigate a rotation symmetry in phase space that is particularly relevant to continuous-variable QKD, and explore the way towards a new quantum de Finetti theorem that would exploit this symmetry and provide a powerful tool to assess the security of continuous-variable protocols. As a first step, a single-party asymptotic version of this quantum de Finetti theorem in phase space is derived.

Quantum de Finetti theorem in phase-space representation

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, towards probabilistic mixtures of independent and identically distributed (i.i.d.) states. 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 new type of quantum de Finetti's theorem that is 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 towards a probabilistic mixture of i.i.d. Gaussian states (actually, n identical thermal states).

Finite de Finetti theorem for conditional probability distributions describing physical theories

We work in a general framework where the state of a physical system is defined by its behavior under measurement and the global state is constrained by no-signaling conditions. We show that the marginals of symmetric states in such theories can be approximated by convex combinations of independent and identical conditional probability distributions, generalizing the classical finite de Finetti theorem of Diaconis and Freedman. Our results apply to correlations obtained from quantum states even when there is no bound on the local dimension, so that known quantum de Finetti theorems cannot be used.

De Finetti Representation Theorem for Infinite-Dimensional Quantum Systems and Applications to Quantum Cryptography

We show that the quantum de Finetti theorem holds for states on infinite-dimensional systems, provided they satisfy certain experimentally verifiable conditions. This result can be applied to prove the security of quantum key distribution based on weak coherent states or other continuous variable states against general attacks.

The de Finetti theorem for test spaces

We prove a de Finetti theorem for exchangeable sequences of states on test spaces, where a test space is a generalization of the sample space of classical probability theory and the Hilbert space of quantum theory. The standard classical and quantum de Finetti theorems are obtained as special cases. By working in a test space framework, the common features that are responsible for the existence of these theorems are elucidated. In addition, the test space framework is general enough to imply a de Finetti theorem for classical processes. We conclude by discussing the ways in which our assumptions may fail, leading to probabilistic models that do not have a de Finetti theorem.

A most compendious and facile quantum de Finetti theorem

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.

SINGLETON CONDITIONS AND QUANTUM DE FINETTI'S THEOREM

We investigate the validity of quantum De Finetti's Theorem for algebraic random processes satisfying the singleton condition. We first prove a conditional version of the theorem, then we give some natural conditions which guarantee the full validity of De Finetti's Theorem.

Computational complexity of the quantum separability problem

Ever since entanglement was identified as a computational and cryptographic resource, researchers have sought efficient ways to tell whether a given density matrix represents an unentangled, or \emph{separable}, state. This paper gives the first systematic and comprehensive treatment of this (bipartite) quantum separability problem, focusing on its deterministic (as opposed to randomized) computational complexity. First, I review the one-sided tests for separability, paying particular attention to the semidefinite programming methods. Then, I discuss various ways of formulating the quantum separability problem, from exact to approximate formulations, the latter of which are the paper's main focus. I then give a thorough treatment of the problem's relationship with NP, NP-completeness, and co-NP. I also discuss extensions of Gurvits' NP-hardness result to strong NP-hardness of certain related problems. A major open question is whether the NP-contained formulation (QSEP) of the quantum separability problem is Karp-NP-complete; QSEP may be the first natural example of a problem that is Turing-NP-complete but not Karp-NP-complete. Finally, I survey all the proposed (deterministic) algorithms for the quantum separability problem, including the bounded search for symmetric extensions (via semidefinite programming), based on the recent quantum de Finetti theorem \cite{DPS02,DPS04,qphCKMR06}; and the entanglement-witness search (via interior-point algorithms and global optimization) \cite{ITCE04,IT06}. These two algorithms have the lowest complexity, with the latter being the best under advice of asymptotically optimal point-coverings of the sphere.

One-and-a-Half Quantum de Finetti Theorems

We prove a new kind of quantum de Finetti theorem for representations of the unitary group U(d). Consider a pure state that lies in the irreducible representation U_{mu+nu} for Young diagrams mu and nu. U_{mu+nu} is contained in the tensor product of U_mu and U_nu; let xi be the state obtained by tracing out U_nu. We show that xi is close to a convex combination of states Uv, where U is in U(d) and v is the highest weight vector in U_mu. When U_{mu+nu} is the symmetric representation, this yields the conventional quantum de Finetti theorem for symmetric states, and our method of proof gives near-optimal bounds for the approximation of xi by a convex combination of product states. For the class of symmetric Werner states, we give a second de Finetti-style theorem (our 'half' theorem); the de Finetti-approximation in this case takes a particularly simple form, involving only product states with a fixed spectrum. Our proof uses purely group theoretic methods, and makes a link with the shifted Schur functions. It also provides some useful examples, and gives some insight into the structure of the set of convex combinations of product states.

Examples of Bosonic de Finetti States over Finite Dimensional Hilbert Spaces

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.

Measurements of Entanglement and a Quantum de Finetti Theorem

The problem of defining a natural measure of entanglement of mixed states on tensor products is considered from the point of view of a quantum de Finetti theorem for Bosons.

Unknown quantum states: The quantum de Finetti representation

We present an elementary proof of the quantum de Finetti representation theorem, a quantum analog of de Finetti’s classical theorem on exchangeable probability assignments. This contrasts with the original proof of Hudson and Moody [Z. Wahrschein. verw. Geb. 33, 343 (1976)], which relies on advanced mathematics and does not share the same potential for generalization. The classical de Finetti theorem provides an operational definition of the concept of an unknown probability in Bayesian probability theory, where probabilities are taken to be degrees of belief instead of objective states of nature. The quantum de Finetti theorem, in a closely analogous fashion, deals with exchangeable density-operator assignments and provides an operational definition of the concept of an “unknown quantum state” in quantum-state tomography. This result is especially important for information-based interpretations of quantum mechanics, where quantum states, like probabilities, are taken to be states of knowledge rather than states of nature. We further demonstrate that the theorem fails for real Hilbert spaces and discuss the significance of this point.