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.
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 theory, in its conventional formulation, is built on the theory of Hilbert spaces and operators. In this chapter we go through this basic material, which is central for the rest of the book. Our treatment is mainly intended as a refresher and a summary of useful results. It is assumed that the reader is already familiar with some of these concepts and elementary results, at least in the case of finite-dimensional inner product spaces. We present proofs for propositions and theorems only if the proof itself is considered to be instructive and illustrative. This gives us the freedom to present the material in a topical order rather than in the strict order of mathematical implication. Good references for this chapter are the functional analysis textbooks by Conway [45], Pedersen [113] and Reed and Simon [121]. These books also contain the proofs that we skip here. Hilbert spaces As an introduction, before a formal definition is given, one may think of a Hilbert space as the closest possible generalization of the inner product spaces c d to infinite dimensions. Actually, there are no finite-dimensional Hilbert spaces (up to isomorphisms) other than c d spaces. The crucial requirement of completeness becomes relevant only in infinite-dimensional spaces. This defining property of Hilbert spaces guarantees that they are well-behaved mathematical objects, and many calculations can be done almost as easily as in c d .
Hilbert spaces provide the fundamental mathematical framework for describing quantum mechanical systems. Their structure, characterized by an inner product and completeness, allows for the representation of quantum states as vectors and physical observables as self-adjoint operators. Key quantum phenomena such as superposition and entanglement find natural expression within this formalism. Superposition, where a quantum system can exist in multiple states simultaneously, is represented by linear combinations of basis vectors in the Hilbert space. Entanglement, a non-classical correlation between quantum systems, is described by non-separable state vectors in a tensor product of Hilbert spaces. These concepts are pivotal in quantum computing, where the unit of information, the qubit, is a two-level quantum system whose state is a vector in a two-dimensional complex Hilbert space (ℂ²). Quantum gates, which perform operations on qubits, are represented by unitary operators acting on these state vectors. The power of quantum computation, particularly in algorithms like Shor's or Grover's, stems from the ability to exploit superposition and entanglement, processes intrinsically described within the Hilbert space framework. Thus, a thorough understanding of Hilbert spaces is indispensable for grasping the principles of quantum mechanics and for advancing the field of quantum information and computation [1, 7]. The transition from classical bits to quantum qubits, and from classical logic gates to quantum unitary operations, is entirely predicated on the mathematical properties endowed by Hilbert spaces.
Hilbert spaces provide the fundamental mathematical framework for describing quantum mechanical systems. Their structure, characterized by an inner product and completeness, allows for the representation of quantum states as vectors and physical observables as self-adjoint operators. Key quantum phenomena such as superposition and entanglement find natural expression within this formalism. Superposition, where a quantum system can exist in multiple states simultaneously, is represented by linear combinations of basis vectors in the Hilbert space. Entanglement, a non-classical correlation between quantum systems, is described by non-separable state vectors in a tensor product of Hilbert spaces. These concepts are pivotal in quantum computing, where the unit of information, the qubit, is a two-level quantum system whose state is a vector in a two-dimensional complex Hilbert space (ℂ²). Quantum gates, which perform operations on qubits, are represented by unitary operators acting on these state vectors. The power of quantum computation, particularly in algorithms like Shor's or Grover's, stems from the ability to exploit superposition and entanglement, processes intrinsically described within the Hilbert space framework. Thus, a thorough understanding of Hilbert spaces is indispensable for grasping the principles of quantum mechanics and for advancing the field of quantum information and computation [1, 7]. The transition from classical bits to quantum qubits, and from classical logic gates to quantum unitary operations, is entirely predicated on the mathematical properties endowed by Hilbert spaces.
Starting from two Hilbert spaces H1 and H2 of dimension N1 and N2, respectively, one can construct a larger Hilbert space H = H1 ⊗H2, (32.1) a sort of union of the two. The space H is called the tensor product of H1 and H2. State vectors and operators of these spaces will be denoted by an index, (1) or (2). Associated with a pair of state vectors |φ(1)〉 and |χ(2)〉 belongs a state vector |φ(1)〉 ⊗ |χ(2)〉 ≡ |φ(1)〉|χ(2)〉 ≡ |φ(1)χ(2)〉 (32.2) in the combined Hilbert space. Let us choose basis sets {|un(1)〉} and {|uk(2)〉} for H1 and H2. In terms of these one can express the arbitrary vectors |φ(1)〉 and |χ(2)〉 as follows: |φ(1)〉 = ∑ n an|un(1)〉, (32.3) |χ(2)〉 = ∑ k bk|vk(2)〉. (32.4) In the Hilbert space H one may use a basis {|un(1)⊗ |vk(2)〉〉} for expansion of the tensor product in Eq. (32.2). Thus, |φ(1)〉 ⊗ |χ(2)〉 = ∑ n,k anbk|un(1)〉 ⊗ |vk(2)〉. (32.5) The components of a tensor product state vector in H hence are products, anbk, of components of the two state vectors in the Hilbert spaces H1 and H2. The most general state vector in H, |ψ〉, can in the basis {|un(1)〉 ⊗ |vk(2)〉} be expanded as follows: |ψ〉 = ∑ n,k cnk|un(1)〉 ⊗ |vk(2)〉, (32.6) where the double index nk on the expansion coefficient cnk specifies the vector axes in H. Although an arbitrary vector |ψ〉 in H cannot be written as a single vector product of two vectors in H1 and H2 [Eq. (32.5)], |ψ〉 can always be decomposed into a linear combination of tensor product vectors [Eq. (32.6)]. This result relates to the fact that the elements of an arbitrary matrix {cnk} cannot in general be given as the elements {anbk} of a dyadic product of two vectors with components {an} and {bk}. The scalar product in H of two arbitrary basis vectors, |un(1)〉 ⊗ |vk(2)〉 and |un′(1)〉 ⊗ |vk′(2)〉, is given by 〈un′(1)vk′(2)|un(1)vk(2)〉 = 〈un′(1)|un(1)〉〈vk′ (2)|vk(2)〉 = δnn′δkk′ . (32.7) of The last member of Eq. (32.7) is obtained provided each of the bases {|un(1)〉} and |vk(2)〉 is orthonormal in its respective Hilbert space. If this is the case, the basis in H, i.e., {|un〉⊗ |vk(2)〉}, is orthonormal, too.
In Section 2.4 we learned that a composite quantum system, composed of two subsystems A and B , is associated with a tensor product space HA ? HB . Composite quantum systems have already played an important role in many instances in this text, especially in open systems and measurement models. In this chapter we dive deeper into tensor product spaces, discovering some strange implications of the quantum theory of composite quantum systems. As a result of its tensor product structure, quantum theory has embedded into it the phenomenon of entanglement , which is often seen as the foremost quantum feature. As early as in 1935 it puzzled Erwin Schrödinger, who introduced the German term Verschränkung [127] and Albert Einstein, who, together with Boris Podolski and Nathan Rosen, used the specific example of an entangled state to argue that quantum theory is incomplete [58]. In the 1960s John Bell demonstrated that the consequences of entanglement are incompatible with the Einstein– Podolsky–Rosen model of local realism [11], [12]. In recent years entanglement has been recognized as the resource for quantum information processing. Nowadays entanglement theory is a highly developed subject, and we can present only the mathematical basics. For the reader with a deeper interest in entanglement we recommend the recent reviews by Horodecki et al . [80] and Plenio et al . [118], which also cover the quantum information aspects of entanglement. To simplify our discussion we will assume that the Hilbert spaces are finite dimensional.
Hilbert spaces provide the fundamental mathematical framework for describing quantum mechanical systems. Their structure, characterized by an inner product and completeness, allows for the representation of quantum states as vectors and physical observables as self-adjoint operators. Key quantum phenomena such as superposition and entanglement find natural expression within this formalism. Superposition, where a quantum system can exist in multiple states simultaneously, is represented by linear combinations of basis vectors in the Hilbert space. Entanglement, a non-classical correlation between quantum systems, is described by non-separable state vectors in a tensor product of Hilbert spaces. These concepts are pivotal in quantum computing, where the unit of information, the qubit, is a two-level quantum system whose state is a vector in a two-dimensional complex Hilbert space (ℂ²). Quantum gates, which perform operations on qubits, are represented by unitary operators acting on these state vectors. The power of quantum computation, particularly in algorithms like Shor's or Grover's, stems from the ability to exploit superposition and entanglement, processes intrinsically described within the Hilbert space framework. Thus, a thorough understanding of Hilbert spaces is indispensable for grasping the principles of quantum mechanics and for advancing the field of quantum information and computation [1, 7]. The transition from classical bits to quantum qubits, and from classical logic gates to quantum unitary operations, is entirely predicated on the mathematical properties endowed by Hilbert spaces.