Quantum state tomography typically requires exponentially many copies of a quantum state, due to the complex correlations present in large systems. We show that, for bosonic systems, the scaling is completely determined by the nature of these correlations. Motivated by the Hong-Ou-Mandel effect and boson sampling, we define Gaussian-entanglable (GE) states, produced by generalized interference between separable bosonic modes. GE states greatly extend the Gaussian family, encompassing separable states, multi-mode Gottesman-Kitaev-Preskill codes, entangled cat states, and boson-sampling outputs-resources for error correction and quantum advantage. We prove that any pure GE state of m modes can be learned efficiently, requiring only poly(m) copies, via a protocol based on Gaussian unitaries, local tomography, and classical post-processing; for boson-sampling states, no Gaussian unitaries are needed. For states outside GE, we define an operational monotone-the minimal number of ancillary modes needed to make them GE-which exactly characterizes the exponential tomography overhead. We also show that deterministic generation of NOON states with N ≥ 3 via two-mode interference is impossible.
Quantum measurements are probabilistic and, in general, provide only partial information about the underlying quantum state. Obtaining a full classical description of an unknown quantum state requires the analysis of several different measurements, a task known as quantum-state tomography. Here we analyse the ultimate achievable performance in the tomography of continuous-variable systems, such as bosonic and quantum optical systems. We prove that tomography of these systems is extremely inefficient in terms of time resources, much more so than tomography of finite-dimensional systems such as qubits. Not only does the minimum number of state copies needed for tomography scale exponentially with the number of modes, but, even for low-energy states, it also scales unfavourably with the trace-distance error between the original state and its estimated classical description. On a more positive note, we prove that the tomography of Gaussian states is efficient by establishing a bound on the trace-distance error made when approximating a Gaussian state from knowledge of the first and second moments within a specified error bound. Last, we demonstrate that the tomography of non-Gaussian states prepared through Gaussian unitaries and a few local non-Gaussian evolutions is efficient and experimentally feasible.
The sample complexity is the minimum number of copies required to learn an accurate classical description of a quantum state. Bosonic and fermionic Gaussian quantum states are families of quantum states that play a key role in quantum science and technology, from quantum optics and many-body physics to quantum chemistry, quantum computing, and quantum information theory. Despite their importance, their sample complexity had not been fully determined. We settle this open problem and show that both bosonic and fermionic Gaussian states can be learned using a number of copies that scales quadratically in the number of modes, regardless of whether the state is pure or mixed, and independently of any energy bound on the state. We derive these results by using the representation theory of Gaussian unitaries and by putting forth a generalization of the random purification channel to this setting and beyond.
Unlike in finite dimensions, quantum information in continuous-variable systems has the peculiar feature that without imposing physical constraints, the sample complexity of state tomography can be unbounded. Remarkably, this is even the case for state-of-the-art protocols for learning Gaussian states, which have finite-dimensional descriptions: the best known rates scale with
loglogE, where
E is the energy of the system. We prove this is not an artifact of existing analyses, but a fundamental limitation of the measurements used. We show: (1) Any protocol that uses Gaussian measurements, even entangled or adaptively chosen ones, must incur a
loglogE dependence. This answers an open question posed by a number of previous works. (2) There is a smooth tradeoff between the number of rounds of adaptivity and the energy dependence, and we give a matching protocol achieving this interpolated rate. (3) With highly entangled, non-Gaussian measurements, one can learn
n-mode pure Gaussian states with
O(n2/ε2) samples, independent of
E. This answers an open question posed by Chen et al. (4) A simple protocol based on the single-copy canonical phase POVM of Holevo and Helstrom learns single-mode pure Gaussian states with
O(1/ε2) samples, again independent of
E.
Our results clarify the role of energy in bosonic state tomography and shed new light on the intriguing interplay between adaptivity, entanglement, and magic in quantum learning.
Quantum measurements are probabilistic and, in general, provide only partial information about the underlying quantum state. Obtaining a full classical description of an unknown quantum state requires the analysis of several different measurements, a task known as quantum-state tomography. Here we analyse the ultimate achievable performance in the tomography of continuous-variable systems, such as bosonic and quantum optical systems. We prove that tomography of these systems is extremely inefficient in terms of time resources, much more so than tomography of finite-dimensional systems such as qubits. Not only does the minimum number of state copies needed for tomography scale exponentially with the number of modes, but, even for low-energy states, it also scales unfavourably with the trace-distance error between the original state and its estimated classical description. On a more positive note, we prove that the tomography of Gaussian states is efficient by establishing a bound on the trace-distance error made when approximating a Gaussian state from knowledge of the first and second moments within a specified error bound. Last, we demonstrate that the tomography of non-Gaussian states prepared through Gaussian unitaries and a few local non-Gaussian evolutions is efficient and experimentally feasible.
A fundamental question in physics is: When does classical behavior emerge from quantum systems? Bosonic Gaussian states provide a natural setting to explore this quantum-classical boundary, as they capture both the classical field behavior and the intrinsic quantum nature of light. Here, we address this problem from a learning-theoretic perspective by asking: When are bosonic Gaussian states classical to learn? That is, under what conditions (if any) can an n-mode bosonic Gaussian state be learned with as few samples, and with operations as simple, as are needed to learn a classical 2n-variate Gaussian distribution? We establish a smooth crossover in learnability governed by the state's thermal fluctuations:
- Cold Gaussian states are non-classical to learn: When the covariance matrix satisfies
Σ≤(21+O(n1))I, i.e. close to the vacuum covariance, tomography under single-copy (i.e., non-entangled) measurements fundamentally requires
Ω(n3) copies, strictly exceeding the sample complexity
Θ(n2) of learning classical Gaussian distributions. We show that this hardness persists even when few-copy entangled measurements are allowed.
- Warm Gaussian states are classical to learn: When thermal fluctuations exceed the vacuum noise, parameterized by
Σ≥(21+ν)I for any parameter
ν>0, we prove that single-copy tomography requires
N=Θ(n2min(n,1+ν−1)) copies. This bound is tight and is achieved by simple, non-adaptive, unentangled heterodyne measurements. Crucially, for
ν=Ω(1), the sample complexity drops to
Θ(n2), matching the classical case.
Our results tightly characterize a quantum-to-classical crossover in the learnability of bosonic Gaussian states, reveal a novel connection between fundamental physics and statistical learning theory, and have implications for real-world sensing experiments.