$SU(p,q)$ coherent states and a Gaussian de Finetti theorem

Abstract

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\times n$ upper-left submatrix of an $n\times n$ Haar-invariant unitary matrix is close in total variation distance to a matrix of independent normal variables if $n^3=O(m)$.

v2: 39 pages, including new application to truncations of Haar random matrices. Comments are welcome

References in corpus (9)

• 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
• Security of continuous-variable quantum key distribution via a Gaussian de Finetti reduction
• Security of continuous-variable quantum key distribution against general attacks
• One-and-a-half quantum de Finetti theorems
• On quantum estimation, quantum cloning and finite quantum de Finetti theorems
• A Finite de Finetti Theorem for Infinite-Dimensional Systems
• Distances between Random Orthogonal Matrices and Independent Normals
• A fermionic de Finetti theorem

Cited by in corpus (11)

• Advances in Quantum Cryptography
• Explicit asymptotic secret key rate of continuous-variable quantum key distribution with an arbitrary modulation
• Experimental Demonstration of Discrete Modulation Formats for Continuous Variable Quantum Key Distribution
• Composable security of two-way continuous-variable quantum key distribution without active symmetrization
• Efficient verification of continuous-variable quantum states and devices without assuming identical and independent operations
• Quantum-inspired permanent identities
• Refined finite-size analysis of binary-modulation continuous-variable quantum key distribution
• De Finetti-Style Results for Wishart Matrices: Combinatorial Structure and Phase Transitions
• Tight concentration inequalities for quantum adversarial setups exploiting permutation symmetry
• Resource-efficient energy test and parameter estimation in continuous-variable quantum key distribution
• Massive conformal particles with non-Abelian charges from free U(2N,2N)-twistor dynamics: quantization and coherent states