|
Bloch sphere Quantum mechanics is mathematically formulated in Hilbert space, or more precisely, projective Hilbert space. The space of pure states of a quantum system is given by the rays in the Hilbert space (the "points" of projective Hilbert space). The space of rays in any vector space is a projective space, and in particular, the space of rays in a two dimensional Hilbert space is the complex projective line, which is isomorphic to a sphere. The natural metric on the Bloch sphere is the Fubini-Study metric.
The qubit To show this correspondence explicitly, consider the qubit description of the Bloch sphere; any state ψ can be written as a complex superposition of the ket vectors and ; moreover since phase factors do not affect physical state, we can take the representation so that the coefficient of is real and non-negative. Thus ψ has a representation as angle = cos heta , |0 angle + e^ sin heta ,|1 angle with The representation is unique except in the case ψ is one of the ket vectors or The parameters φ and θ uniquely specify a point on the unit sphere of Euclidean space R3, namely the point whose coordinates (x,y,z) are In this representation is mapped into (0,0,1) and is mapped into (0,0,-1). Generalization Consider an n-level quantum mechanical system. This system is described by an n-dimensional Hilbert space Hn. The pure state space is by definition the set of 1-dimensional rays of Hn. Theorem. Let U(''n'') be the Lie group of unitary matrices of size n. Then the pure state space of Hn can be identified with the compact coset space To prove this fact, note that there is a natural group action of U(n) on the set of states of Hn. This action is continuous and transitive on the pure states. For any state ψ, the fixed point set of ψ, (defined as the set of elements g of U(n) such that g ψ = ψ) is isomorphic to the product group From this the assertion of the theorem follows from basic facts about transitive group actions of compact groups. The important fact to note above is that the unitary group acts transitively on pure states. Now the (real) dimension of U(n) is n2. This is easy to see since the exponential map is a local homeomorphism from the space of self-adjoint complex matrices to U(n). The space of self-adjoint complex matrices has real dimension n2. Corollary. The real dimension of the pure state space of Hn is 2n − 2. In fact, Let us apply this to consider the real dimension of an m qubit quantum register. The corresponding Hilbert space has dimension 2m. Corollary. The real dimension of the pure state space of an m qubit quantum register is 2m+1 − 2. The geometry of density operators Formulations of quantum mechanics in terms of pure states are adequate for isolated systems; in general quantum mechanical systems need to be described in terms of density operators. The topological description is complicated by the fact that the unitary group does not act transitively on density operators. The orbits moreover are extremely diverse as follows from the following observation: Theorem. Suppose A is a density operator on an n level quantum mechanical system whose distinct eigenvalues are μ1, ..., μk with multiplicities n1, ...,nk. Then the group of unitary operators V such that V A V In particular the orbit of A is isomorphic to | ||||||||
|
| |||||||||
 |
|
| |