skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Pretty good measurement for bosonic Gaussian ensembles
The pretty good measurement is a fundamental analytical tool in quantum information theory, giving a method for inferring the classical label that identifies a quantum state chosen probabilistically from an ensemble. Identifying and constructing the pretty good measurement for the class of bosonic Gaussian states is of immediate practical relevance in quantum information processing tasks. Holevo recently showed that the pretty good measurement for a bosonic Gaussian ensemble is a bosonic Gaussian measurement that attains the accessible information of the ensemble [IEEE Trans. Inf. Theory66(9) (2020) 5634]. In this paper, we provide an alternate proof of Gaussianity of the pretty good measurement for a Gaussian ensemble of multimode bosonic states, with a focus on establishing an explicit and efficiently computable Gaussian description of the measurement. We also compute an explicit form of the mean square error of the pretty good measurement, which is relevant when using it for parameter estimation. Generalizing the pretty good measurement is a quantum instrument, called the pretty good instrument. We prove that the post-measurement state of the pretty good instrument is a faithful Gaussian state if the input state is a faithful Gaussian state whose covariance matrix satisfies a certain condition. Combined with our previous finding for the pretty good measurement and provided that the same condition holds, it follows that the expected output state is a faithful Gaussian state as well. In this case, we compute an explicit Gaussian description of the post-measurement and expected output states. Our findings imply that the pretty good instrument for bosonic Gaussian ensembles is no longer merely an analytical tool, but that it can also be implemented experimentally in quantum optics laboratories.  more » « less
Award ID(s):
2304816
PAR ID:
10534590
Author(s) / Creator(s):
; ; ;
Publisher / Repository:
World Scientific
Date Published:
Journal Name:
International journal of quantum information
ISSN:
1793-6918
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. We show how the decoherence that occurs in an entangling atomic spin–light interface can be simply modeled as the dynamics of a bosonic mode. Although one seeks to control the collective spin of the atomic system in the permutationally invariant (symmetric) subspace, diffuse scattering and optical pumping are local, making an exact description of the many-body state intractable. To overcome this issue we develop a generalized Holstein–Primakoff approximation for collective states which is valid when decoherence is uniform across a large atomic ensemble. In different applications the dynamics is conveniently treated as a Wigner function evolving according to a thermalizing diffusion equation, or by a Fokker–Planck equation for a bosonic mode decaying in a zero-temperature reservoir. We use our formalism to study the combined effect of Hamiltonian evolution, local and collective decoherence, and measurement backaction in preparing nonclassical spin states for application in quantum metrology. 
    more » « less
  2. Meka, Raghu (Ed.)
    In recent years, quantum computing involving physical systems with continuous degrees of freedom, such as the bosonic quantum states of light, has attracted significant interest. However, a well-defined quantum complexity theory for these bosonic computations over infinite-dimensional Hilbert spaces is missing. In this work, we lay the foundations for such a research program. We introduce natural complexity classes and problems based on bosonic generalizations of BQP, the local Hamiltonian problem, and QMA. We uncover several relationships and subtle differences between standard Boolean classical and discrete-variable quantum complexity classes, and identify outstanding open problems. Our main contributions include the following: 1) Bosonic computations. We show that the power of Gaussian computations up to logspace reductions is equivalent to bounded-error quantum logspace (BQL, characterized by the problem of inverting well-conditioned matrices). More generally, we define classes of continuous-variable quantum polynomial time computations with a bounded probability of error (CVBQP) based on gates generated by polynomial bosonic Hamiltonians and particle-number measurements. Due to the infinite-dimensional Hilbert space, it is not a priori clear whether a decidable upper bound can be obtained for these classes. We identify complete problems for these classes, and we demonstrate a BQP lower bound and an EXPSPACE upper bound by proving bounds on the average energy throughout the computation. We further show that the problem of computing expectation values of polynomial bosonic observables at the output of bosonic quantum circuits using Gaussian and cubic phase gates is in PSPACE. 2) Bosonic ground energy problems. We prove that the problem of deciding whether the spectrum of a bosonic Hamiltonian is bounded from below is co-NP-hard. Furthermore, we show that the problem of finding the minimum energy of a bosonic Hamiltonian critically depends on the non-Gaussian stellar rank of the family of energy-constrained states one optimizes over: for zero stellar rank, i.e., optimizing over Gaussian states, it is NP-complete; for polynomially-bounded stellar rank, it is in QMA; for unbounded stellar rank, it is RE-hard, i.e., undecidable. 
    more » « less
  3. Bosonic pure-loss channel, which represents the process of photons decaying into a vacuum environment, has zero quantum capacity when the channel’s transmissivity is less than 50%. Modeled as a beam splitter interaction between the system and its environment, the performance of bosonic pure-loss channel can be enhanced by controlling the environment state. We show that by choosing the ideal Gottesman-Kitaev-Preskill (GKP) states for the system and its environment, perfect transmission of quantum information through a beam splitter is achievable at arbitrarily low transmissivities. Our explicit constructions allow for experimental demonstration of the improved performance of a quantum channel through passive environment assistance, which is potentially useful for quantum transduction where the environment state can be naturally controlled. In practice, it is crucial to consider finite-energy constraints, and high-fidelity quantum communication through a beam splitter remains achievable with GKP states at the few-photon level. 
    more » « less
  4. Bosonic channels describe quantum-mechanically many practical communication links such as optical, microwave, and radiofrequency. We investigate the maximum rates for the bosonic multiple access channel (MAC) in the presence of thermal noise added by the environment and when the transmitters utilize Gaussian state inputs. We develop an outer bound for the capacity region for the thermal-noise lossy bosonic MAC. We additionally find that the use of coherent states at the transmitters is capacity-achieving in the limits of high and low mean input photon numbers. Furthermore, we verify that coherent states are capacity-achieving for the sum rate of the channel. In the non-asymptotic regime, when a global mean photon-number constraint is imposed on the transmitters, coherent states are the optimal Gaussian state. Surprisingly however, the use of single-mode squeezed states can increase the capacity over that afforded by coherent state encoding when each transmitter is photon number constrained individually. 
    more » « less
  5. Abstract The achievable rate of information transfer in optical communications is determined by the physical properties of the communication channel, such as the intrinsic channel noise. Bosonic phase noise channels, a class of non-Gaussian channels, have emerged as a relevant noise model in quantum information and optical communication. However, while the fundamental limits for communication over Gaussian channels have been extensively studied, the properties of communication over Bosonic phase noise channels are not well understood. Here we propose and demonstrate experimentally the concept of optimized communication strategies for communication over phase noise channels to enhance information transfer beyond what is possible with conventional methods of modulation and detection. Two key ingredients are generalized constellations of coherent states that interpolate between standard on-off keying and binary phase-shift keying formats, and non-Gaussian measurements based on photon number resolving detection of the coherently displaced signal. For a given power constraint and channel noise strength, these novel strategies rely on joint optimization of the input alphabet and the measurement to provide enhanced communication capability over a non-Gaussian channel characterized in terms of the error rate as well as mutual information. 
    more » « less