# 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). In a two-dimensional Hilbert space this is simply the complex projective line, which is a geometrical 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 **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): |0\rangle **
and **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): |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. See the Jones Vector for a detailed list of the 6 common polarization types and how they map on to the surface of this sphere.

The natural metric on the Bloch sphere is the Fubini–Study metric.

## Contents

## Definition

Given an orthonormal basis, any pure state **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): |\psi \rangle **
of a two-level quantum system can be written as a superposition of the basis vectors
**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): |0\rangle **
and **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): |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 **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): |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, so it must be that

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): \langle \psi ^{*}|\psi \rangle =1**, meaning**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): ||\psi \rangle |^{2}=1**.

Given this constraint, we can write **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): |\psi \rangle **
in the following representation:

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): |\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**

with

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): 0\leq \theta \leq \pi**and**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): 0\leq \phi <2\pi**.

Except in the case where

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): |\psi \rangle**is one of the ket vectors**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): |1\rangle**

the representation is unique. The parameters **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): \theta \,**
and **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): \phi \,**
, re-interpreted as spherical coordinates, specify a point

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\vec {a}}=(\sin \theta \cos \phi ,\;\sin \theta \sin \phi ,\;\cos \theta )**

on the unit sphere in **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\mathbb {R}}^{{3}}**
.

For mixed states, one needs to consider the density operator. Any two-dimensional density operator **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): \rho **
can be expanded using the identity **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): I**
and the Hermitian, traceless Pauli matrices **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\vec {\sigma }}**
:

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): \rho ={\frac {1}{2}}\left(I+{\vec {a}}\cdot {\vec {\sigma }}\right)**,

where **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\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 **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): \rho **
are given by **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\frac {1}{2}}\left(1\pm |{\vec {a}}|\right)**
. As density operators must be positive-semidefinite, we have **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): |{\vec {a}}|\leq 1**
.

For pure states we must have

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\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.

## A generalization for pure states

Consider an *n*-level quantum mechanical system. This system is described by an *n*-dimensional Hilbert space *H*_{n}. The pure state space is by definition the set of 1-dimensional rays of *H*_{n}.

**Theorem**. Let U(*n*) be the Lie group of unitary matrices of size *n*. Then the pure state space of *H*_{n} can be identified with the compact coset space

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): \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 *H*_{n}. This action is continuous and transitive on the pure states. For any state **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): g**
of U(*n*) such that **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): g|\psi \rangle =|\psi \rangle **
) is isomorphic to the product group

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): \operatorname {U}(n-1)\times \operatorname {U}(1).**

In linear algebra terms, this can be justified as follows. Any **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): g**
of U(*n*) that leaves *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 *n*^{2}. This is easy to see since the exponential map

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): A\mapsto e^{{iA}}**

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 *n*^{2}.

**Corollary**. The real dimension of the pure state space of *H*_{n} is
2*n* − 2.

In fact,

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): n^{2}-((n-1)^{2}+1)=2n-2.\quad**

Let us apply this to consider the real dimension of an *m* qubit quantum register. The corresponding Hilbert space has dimension 2^{m}.

**Corollary**. The real dimension of the pure state space of an *m* qubit quantum register is 2^{m+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. However, while the Bloch sphere parametrizes not only pure states but mixed states for 2-level systems, 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 *n*_{1}, ...,*n*_{k}. Then the group of
unitary operators *V* such that *V A V** = *A* is isomorphic (as a Lie
group) to

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): \operatorname {U}(n_{1})\times \cdots \times \operatorname {U}(n_{k}).**

In particular the orbit of *A* is isomorphic to

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): \operatorname {U}(n)/(\operatorname {U}(n_{1})\times \cdots \times \operatorname {U}(n_{k})).**

We note here that, in the literature, one can find non-Bloch type parametrizations of (mixed) states that do generalize to dimensions higher than 2.

## See also

- Specific implementations of the Bloch sphere are enumerated under the qubit article.
- Atomic electron transition
- Gyrovector space

## References

- Dariusz Chruściński, "Geometric Aspect of Quantum Mechanics and Quantum Entanglement",
*Journal of Physics Conference Series*,**39**(2006) pp. 9–16. - Alain Michaud, "Rabi Flopping Oscillations" (2009).
*(A small animation of the bloch vector submitted to a resonant excitation.)* - Template:Cite book