One-and-a-half quantum de Finetti theorems

Abstract

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.

14 pages, 3 figures, v4: minor additions (including figures), published version

References in corpus (1)

• A complete family of separability criteria

Cited by in corpus (8)

• Matrix Product States, Projected Entangled Pair States, and variational renormalization group methods for quantum spin systems
• A de Finetti representation theorem for infinite dimensional quantum systems and applications to quantum cryptography
• Post-selection technique for quantum channels with applications to quantum cryptography
• Broadcast copies reveal the quantumness of correlations
• Finite de Finetti theorem for conditional probability distributions describing physical theories
• Entanglement Theory and the Quantum Simulation of Many-Body Physics
• Security of quantum key distribution using weak coherent states with nonrandom phases
• On Exchangeable Continuous Variable Systems