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.
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.
Given a particular quantum computing architecture, how might one optimize its resources to maximize its computing power? We consider quantum computers with a number of distinguishable quantum states, and entangled particles shared between those states. Hilbert-space dimensionality is linked to nonclassicality and, hence, quantum computing power. We find that qutrit-based quantum computers optimize the Hilbert-space dimensionality and so are expected to be more powerful than other qudit implementations. In going beyond qudits, we identify structures with much higher Hilbert-space dimensionalities.