Bloch sphere

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Bloch sphere

In quantum mechanics, the Bloch sphere is a geometrical representation of the pure state space of a two-level quantum mechanical system (qubit), named after the physicist Felix Bloch.[1]

Quantum mechanics is mathematically formulated in Hilbert space or projective Hilbert space. The space of pure states of a quantum system is given by the one-dimensional subspaces of the corresponding Hilbert space (or the "points" of the projective Hilbert space). For a two-dimensional Hilbert space, this is simply the complex projective line ℂℙ1. This is the Bloch sphere.

The Bloch sphere is a unit 2-sphere, with each pair of antipodal points corresponding to mutually orthogonal state vectors. The north and south poles of the Bloch sphere are typically chosen to correspond to the standard basis vectors |0\rangle and |1\rangle, respectively, which in turn might correspond e.g. to the spin-up and spin-down states of an electron. This choice is arbitrary, however. The points on the surface of the sphere correspond to the pure states of the system, whereas the interior points correspond to the mixed states.[2][3] The Bloch sphere may be generalized to an n-level quantum system but then the visualization is less useful.

In optics, the Bloch sphere is also known as the Poincaré sphere and specifically represents different types of polarizations. 6 common polarization types exist and are called Jones Vectors.

The natural metric on the Bloch sphere is the Fubini–Study metric. The mapping from the unit 3-sphere in the two-dimensional state space ℂ2 to the Bloch sphere is the Hopf fibration.


Given an orthonormal basis, any pure state |\psi\rangle of a two-level quantum system can be written as a superposition of the basis vectors |0 \rangle and |1 \rangle , where the coefficient or amount of each basis vector is a complex number. Since only the relative phase between the coefficients of the two basis vectors has any physical meaning, we can take the coefficient of |0 \rangle to be real and non-negative. We also know from quantum mechanics that the total probability of the system has to be one: \langle \psi | \psi \rangle = 1, or equivalently ||\psi \rangle|^2 = 1. Given this constraint, we can write |\psi\rangle using the following representation:

 |\psi\rangle = \cos\left(\tfrac{\theta}{2}\right) |0 \rangle \, + \, e^{i \phi}  \sin\left(\tfrac{\theta}{2}\right) |1 \rangle =
\cos\left(\tfrac{\theta}{2}\right) |0 \rangle \, +  \, ( \cos \phi + i \sin \phi) \, \sin\left(\tfrac{\theta}{2}\right) |1 \rangle , where  0 \leq \theta \leq \pi and 0 \leq \phi < 2 \pi.

Except in the case where |\psi\rangle is one of the ket vectors  |0 \rangle or  |1 \rangle, the representation is unique. The parameters \theta \, and \phi \,, re-interpreted in spherical coordinates as respectively the colatitude with respect to the z-axis and the longitude with respect to the y-axis, specify a point

\vec{a} = (\sin \theta \cos \phi, \; \sin \theta  \sin \phi, \; \cos \theta)

on the unit sphere in \mathbb{R}^{3}.

For mixed states, one needs to consider the density operator. Any two-dimensional density operator \rho can be expanded using the identity I and the Hermitian, traceless Pauli matrices \vec{\sigma}:

\rho = \frac{1}{2}\left(I +\vec{a} \cdot \vec{\sigma} \right),

where \vec{a} \in \mathbb{R}^3 is called the Bloch vector of the system. It is this vector that indicates the point within the sphere that corresponds to a given mixed state. The eigenvalues of \rho are given by \frac{1}{2}\left(1 \pm |\vec{a}|\right). As density operators must be positive-semidefinite, we have |\vec{a}| \le 1. For pure states we must have

\mathrm{tr}(\rho^2) = \frac{1}{2}\left(1 +|\vec{a}|^2 \right) = 1 \quad \Leftrightarrow \quad |\vec{a}| = 1

in accordance with the previous result. Hence the surface of the Bloch sphere represents all the pure states of a two-dimensional quantum system, whereas the interior corresponds to all the mixed states.

u,v,w Representation[edit]

The Bloch vector \vec{a} can be represented in the following basis, with reference to the density operator \rho:[4]

u = \rho_{10} + \rho_{01} = 2 \cdot \Re[\rho_{01}]
v = i(\rho_{10} - \rho_{01}) = 2 \cdot \Im[\rho_{01}]
w = \rho_{11} - \rho_{00}
\vec{a} = (u,v,w)

This basis is often used in laser theory, where w is known as the population inversion.[5]

Pure states[edit]

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

 \operatorname{U}(n) /(\operatorname{U}(n-1) \times \operatorname{U}(1)).

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 |\psi\rangle, the isotropy group of |\psi\rangle, (defined as the set of elements g of U(n) such that g |\psi\rangle = |\psi\rangle) is isomorphic to the product group

 \operatorname{U}(n-1) \times \operatorname{U}(1).

In linear algebra terms, this can be justified as follows. Any g of U(n) that leaves |\psi\rangle invariant must have |\psi\rangle as an eigenvector. Since the corresponding eigenvalue must be a complex number of modulus 1, this gives the U(1) factor of the isotropy group. The other part of the isotropy group is parametrized by the unitary matrices on the orthogonal complement of |\psi\rangle, which is isomorphic to U(n - 1). 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

 A \mapsto e^{i A}

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,

 n^2 - ((n-1)^2 +1) = 2 n - 2. \quad

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.

Density operators[edit]

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 Bloch sphere parametrizes not only pure states but mixed states for 2-level systems. The density operator describing the mixed-state of a 2-level quantum system (qbit) corresponds to a point inside the Bloch sphere with the following coordinates:

( \Sigma p_i x_i,  \Sigma p_i y_i,  \Sigma p_i z_i )

Where p_i is the probability of the individual states within the ensemble and x_i, y_i, z_i are the coordinates of the individual states (on the surface of Bloch sphere).

For states of higher dimensions there is difficulty in extending this to mixed states. 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* = A is isomorphic (as a Lie group) to

\operatorname{U}(n_1) \times \cdots \times \operatorname{U}(n_k).

In particular the orbit of A is isomorphic to

\operatorname{U}(n)/(\operatorname{U}(n_1) \times \cdots \times \operatorname{U}(n_k)).

We note here that, in the literature, one can find other (not Bloch-style) parametrizations of (mixed) states that do generalize to dimensions higher than 2.[citation needed]

See also[edit]


  1. ^ Bloch, Felix (Oct 1946). "Nuclear induction". Phys. Rev. 70 (7-8): 460–474. doi:10.1103/physrev.70.460. 
  2. ^ Nielsen, Michael A.; Chuang, Isaac L. (2004). Quantum Computation and Quantum Information. Cambridge University Press. ISBN 978-0-521-63503-5. 
  3. ^
  4. ^ Feynman, Richard; Vernon, Frank; Hellwarth, Robert (January 1957). "Geometrical Representation of the Schrödinger Equation for Solving Maser Problems". Journal of Applied Physics 28 (1): 49–52. doi:10.1063/1.1722572. 
  5. ^ Milloni, Peter; Eberly, Joseph (1988). Lasers. New York: Wiley. p. 340. ISBN 978-0471627319.