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. 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
  5. We explore how to build quantum circuits that compute the lowest energy state corresponding to a given Hamiltonian within a symmetry subspace by explicitly encoding it into the circuit. We create an explicit unitary and a variationally trained unitary that maps any vector output by ansatz A(α→) from a defined subspace to a vector in the symmetry space. The parameters are trained varitionally to minimize the energy, thus keeping the output within the labelled symmetry value. The method was tested for a spin XXZ Hamiltonian using rotation and reflection symmetry and H2 Hamiltonian within Sz=0 subspace using S2 symmetry. We have found the variationally trained unitary gives good results with very low depth circuits and can thus be used to prepare symmetry states within near term quantum computers. 
    more » « less