The quantum systems with finite-dimensional Hilbert space have several applications and are intensively explored theoretically and experimentally. The mathematical description of these systems follows the analogy with the usual infinite-dimensional case. There exist finite versions for most of the elements used in the continuous case, but here we provide a finite version corresponding to the mixed Gaussian states. Our aim is to fill this gap. The definition we propose for the mixed discrete Gaussian states is based on the explicit formulas we have obtained in the case of pure discrete-variable Gaussian states.
The quantum systems with finite-dimensional Hilbert space have several applications and are intensively explored theoretically and experimentally. The mathematical description of these systems follows the analogy with the usual infinite-dimensional case. There exist finite versions for most of the elements used in the continuous case, but here we provide a finite version corresponding to the mixed Gaussian states. Our aim is to fill this gap. The definition we propose for the mixed discrete Gaussian states is based on the explicit formulas we have obtained in the case of pure discrete-variable Gaussian states.
Weyl's formulation of quantum mechanics opened the possibility of studying the dynamics of quantum systems both in infinite-dimensional and finite-dimensional systems. Based on Weyl's approach, generalized by Schwinger, a self-consistent theoretical framework describing physical systems characterised by a finite-dimensional space of states has been created. The used mathematical formalism is further developed by adding finite-dimensional versions of some notions and results from the continuous case. Discrete versions of the continuous Gaussian functions have been defined by using the Jacobi theta functions. We continue the investigation of the properties of these finite Gaussians by following the analogy with the continuous case. We study the uncertainty relation of finite Gaussian states, the form of the associated Wigner quasi-distribution and the evolution under free-particle and quantum harmonic oscillator Hamiltonians. In all cases, a particular emphasis is put on the recovery of the known continuous-limit results when the dimension d of the system increases.
Quantum continuous variable systems are quantum systems obeying the canonical commutation relations. As we have seen in the previous chapter, such systems always require the adoption of infinite-dimensional Hilbert spaces, even when a finite number of degrees of freedom is considered. Besides making their dynamics potentially intractable, this fact also implies that the study of properties related to the information and correlation content of continuous variable systems turns out to be particularly difficult. A widely known way to make continuous variable systems more tractable is to consider the restriction to Gaussian states. Already well trodden in older research on quantum optics, the study of Gaussian systems has more recently become a central theme of continuous variable quantum information. If open quantum systems, coupled to an external environment, are considered, the Gaussian regime applies when the system couples linearly to its environment and when system and environment are governed by Hamiltonians which are at most quadratic in the canonical operators (or, equivalently, when the overall Hamiltonian of system and environment is at most quadratic). These conditions may seem rather restrictive but, as we shall point out in the course of the book, are actually ordinarily met by a vast number of existing experimental set-ups in the areas of quantum optics, trapped ions, optomechanics, atomic ensembles and certain superconducting degrees of freedom (all of these platforms are reviewed in Chapter 9 ). What we will refer to as Gaussian measurements – POVMs that preserve the Gaussian character of initial states – are also customarily carried out with comparatively high efficiency, while the description of quantum noise can be incorporated seamlessly into the Gaussian picture. What is perhaps even more important to note is that the restriction to the Gaussian realm, while not exhaustive of the full wealth of dynamics and situations allowed in the whole Hilbert space, still lets one include most of the processes relevant to quantum technologies. Squeezing, whereby certain canonical quadratures have uncertainties below the vacuum state noise, and can hence be used in precision measurements, quantum entanglement, and cooling, where the entropy is drained out of a system in order to reach a pure quantum state and thus initialise information protocols or low noise experiments, may all be described within the Gaussian regime. Within the quantum information discourse, the Gaussian restriction has been often criticised on the grounds that no real genuinely quantum effects can ever be observed without leaving it at some point, since the statistics obtained from Gaussian states through Gaussian measurements can be reproduced by classical probability distributions. While technically correct, the reader should be reminded that such critiques often disregard the fact that the object described by a Gaussian state does entail a genuinely quantum description in a Hilbert space. Hence, for instance, the preparation of a pure Gaussian quantum state is the preparation of a pure vector of the Hilbert space. Likewise, a highly squeezed Gaussian state prepared for a metrological protocol is a state with very low noise in a certain physical observable, regardless of whether it can be mimicked by a classical distribution or not. The testing and exploitation of quantum non-locality (stronger than classical correlations that imply the presence of quantum entanglement) with Gaussian states does instead require a departure from Gaussian measurements. However, as we will see, certain non-Gaussian measurements are customarily implemented with current technology, and it is hence still relevant to study in detail the creation of such a resource for Gaussian states. This chapter will introduce Gaussian states from a somewhat unusual angle: as ground and thermal states of at most second-order Hamiltonians. Our treatment will highlight the privileged role played by quadratic canonical ( i.e. , ‘symplectic’) transformations in this context, which we will take care to describe in full generality, and will hinge on the reduction of Gaussian states into their normal modes, which allows for their systematic diagonalisation. We will then proceed to explore an equivalent characterisation in terms of statistical moments of the canonical operators, and to introduce the implications of non-commutativity on such statistics in the form of the Robertson–Schrödinger uncertainty relation.
The mathematical description of the quantum harmonic oscillator is essentially based on the Gaussian function. In the case of a quantum oscillator with finite-dimensional Hilbert space, the position space consists in a finite number of points, and the ground state can be regarded as a finite version of the Gaussian function. Conversely, each finite Gaussian can be used in order to define some finite oscillators. We investigate certain finite Gaussians as concern their Fourier transform, Wigner function and associated oscillators.
A Hilbert space is usually described using an orthonormal basis, but a more general description can be defined using a tight frame. In the case of continuous-variable Gaussian states, the coherence is usually described using the Hermite-Gauss basis. We present an alternative description using the tight frame of all canonical coherent states. The description of Gaussian states in terms of coherent states is simpler than in terms of Hermite-Gauss basis, and this allows us to obtain an explicit formula describing the frame-dependent coherence of a mixed Gaussian state as a function of the determinant and the trace of covariance matrix. For each mixed Gaussian state, we construct a sequence of discrete-variable quantum states rapidly convergent to it (as concern the purity and coherence) when the dimension of Hilbert space becomes large enough (15 or more). In the discrete case, the coherence is measured with respect to the tight frame of all discrete coherent states.
Complex Hilbert spaces play an important role in the description of quantum systems. In fact, with every quantum system there is associated an infinite dimensional or a finite dimensional separable complex Hilbert space ℍ that consists of the states of the quantum system. In physics terminology, the Hilbert space ℍ is usually referred to as the space of (pure) states. Throughout this monograph, the mathematical description of a quantum system shall be based on a certain complex (separable) Hilbert space ℍ, and therefore the quantum system will simply be denoted by ℍ. The quantum system ℍ is said to be a finite-dimensional system if ℍ is a finite-dimensional complex Hilbert space. Otherwise, the quantum system ℍ is said to be an infinite-dimensional system. The Hilbert space ℍ representing a composite quantum system that consists of n subsystems is a tensor product of the Hilbert spaces of n component systems described by ℍ 1 , … ℍ n , i.e., ℍ = ℍ 1 ⊗ … ⊗ ℍ n . In the theory of Hilbert spaces, a tensor product of Hilbert spaces is a way to create a new Hilbert space out of 2 (or more) Hilbert spaces. In the following, we illustrate the concept and construction of tensor product ℍ ⊗ 핂 of only 2 Hilbert spaces ℍ and 핂. The concepts and constructions can be easily extended to more than 2 Hilbert spaces such as ℍ 1 ⊗ ℍ 2 ⊗ … ⊗ ℍ n . Recall that the tensor product of ℍ with 핂 denoted by ℍ ⊗ 핂 is a new Hilbert space that consists of elements ϕ ⊗ φ ( ϕ ∈ ℍ and φ ∈ 핂) and is equipped with the Hilbertian inner product 〈·, ·〉 ℍ⊗핂 :(ℍ ⊗ 핂) × (ℍ ⊗ 핂) → C defined by 〈 ϕ 1 ⊗ φ 1 , ϕ 2 ⊗ φ 2 〉 ℍ⊗핂 = 〈 ϕ 1 , ϕ 2 〉 ℍ 〈 φ 1 , φ 2 〉 핂 , ϕ i ∈ ℍ and φ i ∈ 핂 for i = 1, 2.
Quantum Continuous Variables introduces the theory of continuous variable quantum systems, from its foundations based on the framework of Gaussian states to modern developments, including its applications to quantum information and forthcoming quantum technologies. This new book addresses the theory of Gaussian states, operations, and dynamics in great depth and breadth, through a novel approach that embraces both the Hilbert space and phase descriptions.
The volume includes coverage of entanglement theory and quantum information protocols, and their connection with relevant experimental set-ups. General techniques for non-Gaussian manipulations also emerge as the treatment unfolds, and are demonstrated with specific case studies.
This book will be of interest to graduate students looking to familiarise themselves with the field, in addition to experienced researchers eager to enhance their understanding of its theoretical methods. It will also appeal to experimentalists searching for a rigorous but accessible treatment of the theory in the area.