The curious nonexistence of Gaussian 2-designs

Abstract

2-designs -- ensembles of quantum pure states whose 2nd moments equal those of the uniform Haar ensemble -- are optimal solutions for several tasks in quantum information science, especially state and process tomography. We show that Gaussian states cannot form a 2-design for the continuous-variable (quantum optical) Hilbert space L2(R). This is surprising because the affine symplectic group HWSp (the natural symmetry group of Gaussian states) is irreducible on the symmetric subspace of two copies. In finite dimensional Hilbert spaces, irreducibility guarantees that HWSp-covariant ensembles (such as mutually unbiased bases in prime dimensions) are always 2-designs. This property is violated by continuous variables, for a subtle reason: the (well-defined) HWSp-invariant ensemble of Gaussian states does not have an average state because the averaging integral does not converge. In fact, no Gaussian ensemble is even close (in a precise sense) to being a 2-design. This surprising difference between discrete and continuous quantum mechanics has important implications for optical state and process tomography.

9 pages, no pretty figures (sorry!)

References in corpus (8)

• Continuous-variable optical quantum state tomography
• Tight informationally complete quantum measurements
• Optimizing quantum process tomography with unitary 2-designs
• Experimental characterization of qutrits using SIC-POVMs
• Weighted complex projective 2-designs from bases: optimal state determination by orthogonal measurements
• Efficient Quantum Tensor Product Expanders and k-designs
• The Quantumness of a Set of Quantum States
• A density tensor hierarchy for open system dynamics: retrieving the noise

Cited by in corpus (14)

• Scrambling and Complexity in Phase Space
• ON states as resource units for universal quantum computation with photonic architectures
• Simulation of quantum optics by coherent state decomposition
• On the Optimal Choice of Spin-Squeezed States for Detecting and Characterizing a Quantum Process
• Continuous-variable quantum state designs: theory and applications
• Efficient verification of bosonic quantum channels via benchmarking
• Energy-dependent barren plateau in bosonic variational quantum circuits
• Probing Dynamical Sensitivity of a Non-KAM System Through Out-of-Time-Order Correlators
• Projective toric designs, quantum state designs, and mutually unbiased bases
• Bosonic data hiding: power of linear vs non-linear optics
• On construction of finite averaging sets for $SL(2,\mathbb{C})$ via its Cartan decomposition
• Advancing Quantum Networking: Some Tools and Protocols for Ideal and Noisy Photonic Systems
• Continuous-variable designs and design-based shadow tomography from random lattices
• Bosonic randomized benchmarking with passive transformations