Physics:Bloch sphere

From HandWiki
Short description: Geometrical representation of the pure state space of a two-level quantum mechanical system
Bloch sphere

In quantum mechanics and computing, 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 pure states of a quantum system correspond to the one-dimensional subspaces of the corresponding Hilbert space (and the "points" of the projective Hilbert space). For a two-dimensional Hilbert space, the space of all such states is the complex projective line [math]\displaystyle{ \mathbb{C}\mathbf{P}^1. }[/math] This is the Bloch sphere, which can be mapped to the Riemann sphere.

The Bloch sphere is a unit 2-sphere, with antipodal points corresponding to a pair of mutually orthogonal state vectors. The north and south poles of the Bloch sphere are typically chosen to correspond to the standard basis vectors [math]\displaystyle{ |0\rangle }[/math] and [math]\displaystyle{ |1\rangle }[/math], 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.

For historical reasons, in optics the Bloch sphere is also known as the Poincaré sphere and specifically represents different types of polarizations. Six common polarization types exist and are called Jones vectors. Indeed Henri Poincaré was the first to suggest the use of this kind of geometrical representation at the end of 19th century,[4] as a three-dimensional representation of Stokes parameters.

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 [math]\displaystyle{ \mathbb{C}^2 }[/math] to the Bloch sphere is the Hopf fibration, with each ray of spinors mapping to one point on the Bloch sphere.

Definition

Given an orthonormal basis, any pure state [math]\displaystyle{ |\psi\rangle }[/math] of a two-level quantum system can be written as a superposition of the basis vectors [math]\displaystyle{ |0\rangle }[/math] and [math]\displaystyle{ |1\rangle }[/math], where the coefficient of (or contribution from) each of the two basis vectors is a complex number. This means that the state is described by four real numbers. However, only the relative phase between the coefficients of the two basis vectors has any physical meaning (the phase of the quantum system is not directly measurable), so that there is redundancy in this description. We can take the coefficient of [math]\displaystyle{ |0\rangle }[/math] to be real and non-negative. This allows the state to be described by only three real numbers, giving rise to the three dimensions of the Bloch sphere.

We also know from quantum mechanics that the total probability of the system has to be one:

[math]\displaystyle{ \langle\psi | \psi\rangle = 1 }[/math], or equivalently [math]\displaystyle{ \big\| |\psi\rangle \big\|^2 = 1 }[/math].

Given this constraint, we can write [math]\displaystyle{ |\psi\rangle }[/math] using the following representation:

[math]\displaystyle{ |\psi\rangle = \cos\left(\theta /2\right) |0 \rangle \, + \, e^{i\phi} \sin\left(\theta /2\right) |1\rangle = \cos\left(\theta /2\right) |0 \rangle \, + \, (\cos\phi + i\sin\phi) \, \sin\left(\theta /2\right) |1\rangle }[/math], where [math]\displaystyle{ 0 \leq \theta \leq \pi }[/math] and [math]\displaystyle{ 0 \leq \phi \lt 2 \pi }[/math].

The representation is always unique, because, even though the value of [math]\displaystyle{ \phi }[/math] is not unique when [math]\displaystyle{ |\psi\rangle }[/math] is one of the states (see Bra-ket notation) [math]\displaystyle{ |0\rangle }[/math] or [math]\displaystyle{ |1\rangle }[/math], the point represented by [math]\displaystyle{ \theta }[/math] and [math]\displaystyle{ \phi }[/math] is unique.

The parameters [math]\displaystyle{ \theta\, }[/math] and [math]\displaystyle{ \phi\, }[/math], re-interpreted in spherical coordinates as respectively the colatitude with respect to the z-axis and the longitude with respect to the x-axis, specify a point

[math]\displaystyle{ \vec{a} = (\sin\theta \cos\phi,\; \sin\theta \sin\phi,\; \cos\theta) = (u, v, w) }[/math]

on the unit sphere in [math]\displaystyle{ \mathbb{R}^3 }[/math].

For mixed states, one considers the density operator. Any two-dimensional density operator ρ can be expanded using the identity I and the Hermitian, traceless Pauli matrices [math]\displaystyle{ \vec{\sigma} }[/math],

[math]\displaystyle{ \begin{align} \rho &= \frac{1}{2}\left(I + \vec{a} \cdot \vec{\sigma}\right) \\ &= \frac{1}{2}\begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} + \frac{a_x}{2}\begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} + \frac{a_y}{2}\begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix} + \frac{a_z}{2}\begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} \\ &= \frac{1}{2}\begin{pmatrix} 1 + a_z & a_x - ia_y \\ a_x + ia_y & 1 - a_z \end{pmatrix} \end{align} }[/math],

where [math]\displaystyle{ \vec{a} \in \mathbb{R}^3 }[/math] is called the Bloch vector.

It is this vector that indicates the point within the sphere that corresponds to a given mixed state. Specifically, as a basic feature of the Pauli vector, the eigenvalues of ρ are [math]\displaystyle{ \frac{1}{2}\left(1 \pm |\vec{a}|\right) }[/math]. Density operators must be positive-semidefinite, so it follows that [math]\displaystyle{ \left|\vec{a}\right| \le 1 }[/math].

For pure states, one then has

[math]\displaystyle{ \operatorname{tr}\left(\rho^2\right) = \frac{1}{2}\left(1 + \left|\vec{a}\right|^2 \right) = 1 \quad \Leftrightarrow \quad \left|\vec{a}\right| = 1 ~, }[/math]

in comportance with the above.[5]

As a consequence, 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

The Bloch vector [math]\displaystyle{ \vec{a} = (u,v,w) }[/math] can be represented in the following basis, with reference to the density operator [math]\displaystyle{ \rho }[/math]:[6]

[math]\displaystyle{ u = \rho_{10} + \rho_{01} = 2 \operatorname{Re}(\rho_{01}) }[/math]
[math]\displaystyle{ v = i(\rho_{01} - \rho_{10}) = 2 \operatorname{Im}(\rho_{10}) }[/math]
[math]\displaystyle{ w = \rho_{00} - \rho_{11} }[/math]

where

[math]\displaystyle{ \rho = \begin{pmatrix} \rho_{00} & \rho_{01} \\ \rho_{10} & \rho_{11} \end{pmatrix} = \frac{1}{2}\begin{pmatrix} 1+w & u-iv \\ u+iv & 1-w \end{pmatrix}. }[/math]

This basis is often used in laser theory, where [math]\displaystyle{ w }[/math] is known as the population inversion.[7] In this basis, the numbers [math]\displaystyle{ u, v, w }[/math] are the expectations of the three Pauli matrices [math]\displaystyle{ X, Y, Z }[/math], allowing one to identify the three coordinates with x y and z axes.

Pure states

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

[math]\displaystyle{ \operatorname{U}(n) /(\operatorname{U}(n - 1) \times \operatorname{U}(1)). }[/math]

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

[math]\displaystyle{ \operatorname{U}(n - 1) \times \operatorname{U}(1). }[/math]

In linear algebra terms, this can be justified as follows. Any [math]\displaystyle{ g }[/math] of U(n) that leaves [math]\displaystyle{ |\psi\rangle }[/math] invariant must have [math]\displaystyle{ |\psi\rangle }[/math] 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 [math]\displaystyle{ |\psi\rangle }[/math], 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

[math]\displaystyle{ A \mapsto e^{i A} }[/math]

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,

[math]\displaystyle{ n^2 - \left((n - 1)^2 + 1\right) = 2n - 2. \quad }[/math]

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.

Plotting pure two-spinor states through stereographic projection

Bloch sphere centered at the origin of [math]\displaystyle{ \mathbb{R}^3 }[/math]. A pair of points on it, [math]\displaystyle{ \left|\uparrow\right\rangle }[/math] and [math]\displaystyle{ \left|\downarrow\right\rangle }[/math] have been chosen as a basis. Mathematically they are orthogonal even though graphically the angle between them is π. In [math]\displaystyle{ \mathbb{R}^3 }[/math] those points have coordinates (0,0,1) and (0,0,−1). An arbitrary spinor [math]\displaystyle{ \left|\nearrow\right\rangle }[/math] on the Bloch sphere is representable as a unique linear combination of the two basis spinors, with coefficients being a pair of complex numbers; call them α and β. Let their ratio be [math]\displaystyle{ u = {\beta \over \alpha} }[/math], which is also a complex number [math]\displaystyle{ u_x + i u_y }[/math]. Consider the plane z = 0, the equatorial plane of the sphere, as it were, to be a complex plane and that the point u is plotted on it as [math]\displaystyle{ (u_x, u_y, 0) }[/math]. Project point u stereographically onto the Bloch sphere away from the South Pole — as it were — (0,0,−1). The projection is onto a point marked on the sphere as [math]\displaystyle{ \left|\nearrow\right\rangle }[/math].

Given a pure state

[math]\displaystyle{ \alpha \left|\uparrow \right\rangle + \beta \left|\downarrow \right\rangle = \left|\nearrow \right\rangle }[/math]

where [math]\displaystyle{ \alpha }[/math] and [math]\displaystyle{ \beta }[/math] are complex numbers which are normalized so that

[math]\displaystyle{ |\alpha|^2 + |\beta|^2 = \alpha^* \alpha + \beta^* \beta = 1 }[/math]

and such that [math]\displaystyle{ \langle\downarrow | \uparrow\rangle = 0 }[/math] and [math]\displaystyle{ \langle\downarrow | \downarrow\rangle = \langle\uparrow | \uparrow\rangle = 1 }[/math], i.e., such that [math]\displaystyle{ \left|\uparrow\right\rangle }[/math] and [math]\displaystyle{ \left|\downarrow\right\rangle }[/math] form a basis and have diametrically opposite representations on the Bloch sphere, then let

[math]\displaystyle{ u = {\beta \over \alpha} = {\alpha^* \beta \over \alpha^* \alpha} = {\alpha^* \beta \over |\alpha|^2} = u_x + i u_y }[/math]

be their ratio.

If the Bloch sphere is thought of as being embedded in [math]\displaystyle{ \mathbb{R}^3 }[/math] with its center at the origin and with radius one, then the plane z = 0 (which intersects the Bloch sphere at a great circle; the sphere's equator, as it were) can be thought of as an Argand diagram. Plot point u in this plane — so that in [math]\displaystyle{ \mathbb{R}^3 }[/math] it has coordinates [math]\displaystyle{ (u_x, u_y, 0) }[/math].

Draw a straight line through u and through the point on the sphere that represents [math]\displaystyle{ \left|\downarrow\right\rangle }[/math]. (Let (0,0,1) represent [math]\displaystyle{ \left|\uparrow\right\rangle }[/math] and (0,0,−1) represent [math]\displaystyle{ \left|\downarrow\right\rangle }[/math].) This line intersects the sphere at another point besides [math]\displaystyle{ \left|\downarrow\right\rangle }[/math]. (The only exception is when [math]\displaystyle{ u = \infty }[/math], i.e., when [math]\displaystyle{ \alpha = 0 }[/math] and [math]\displaystyle{ \beta \ne 0 }[/math].) Call this point P. Point u on the plane z = 0 is the stereographic projection of point P on the Bloch sphere. The vector with tail at the origin and tip at P is the direction in 3-D space corresponding to the spinor [math]\displaystyle{ \left|\nearrow\right\rangle }[/math]. The coordinates of P are

[math]\displaystyle{ P_x = {2 u_x \over 1 + u_x^2 + u_y^2} }[/math]
[math]\displaystyle{ P_y = {2 u_y \over 1 + u_x^2 + u_y^2} }[/math]
[math]\displaystyle{ P_z = {1 - u_x^2 - u_y^2 \over 1 + u_x^2 + u_y^2} }[/math].

Mathematically the Bloch sphere for a two-spinor state can be mapped to a Riemann sphere [math]\displaystyle{ \mathbb{C}\mathbf{P}^1 }[/math], i.e., the projective Hilbert space [math]\displaystyle{ \mathbf{P}(H_2) }[/math] (as [math]\displaystyle{ \mathbf{P}(H_{n})=\mathbb{C}\mathbf{P}^{n-1} }[/math] in case of finite-dimensional complex Hilbert spaces). The 2-dimensional complex Hilbert space [math]\displaystyle{ H_2 }[/math] is a representation space of SO(3).[8]

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 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 (qubit) corresponds to a point inside the Bloch sphere with the following coordinates:

[math]\displaystyle{ \left( \sum p_i x_i, \sum p_i y_i, \sum p_i z_i \right), }[/math]

where [math]\displaystyle{ p_i }[/math] is the probability of the individual states within the ensemble and [math]\displaystyle{ x_i, y_i, z_i }[/math] are the coordinates of the individual states (on the surface of Bloch sphere). The set of all points on and inside the Bloch sphere is known as the Bloch ball.

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

[math]\displaystyle{ \operatorname{U}(n_1) \times \cdots \times \operatorname{U}(n_k). }[/math]

In particular the orbit of A is isomorphic to

[math]\displaystyle{ \operatorname{U}(n)/\left(\operatorname{U}(n_1) \times \cdots \times \operatorname{U}(n_k)\right). }[/math]

It is possible to generalize the construction of the Bloch ball to dimensions larger than 2, but the geometry of such a "Bloch body" is more complicated than that of a ball.[9]

Rotations

A useful advantage of the Bloch sphere representation is that the evolution of the qubit state is describable by rotations of the Bloch sphere. The most concise explanation for why this is the case is that the Lie algebra for the group of unitary and hermitian matrices [math]\displaystyle{ SU(2) }[/math] is isomorphic to the Lie algebra of the group of three dimensional rotations [math]\displaystyle{ SO(3) }[/math].[10]

Rotation operators about the Bloch basis

The rotations of the Bloch sphere about the Cartesian axes in the Bloch basis are given by[11]

[math]\displaystyle{ \begin{align} R_x(\theta) &= e^{(-i \theta X/2)} = \cos(\theta /2)I - i\sin(\theta/2)X = \begin{bmatrix} \cos \theta/2 & -i \sin \theta/2 \\ -i \sin \theta/2 & \cos \theta/2 \end{bmatrix} \\ R_y(\theta) &= e^{(-i \theta Y/2)} = \cos(\theta /2)I - i\sin(\theta/2)Y = \begin{bmatrix} \cos \theta/2 & -\sin \theta/2 \\ \sin \theta/2 & \cos \theta/2 \end{bmatrix} \\ R_z(\theta) &= e^{(-i \theta Z/2)} = \cos(\theta /2)I - i\sin(\theta/2)Z = \begin{bmatrix} e^{-i \theta/2} & 0 \\ 0 & e^{i \theta/2} \end{bmatrix} \end{align} }[/math]

Rotations about a general axis

If [math]\displaystyle{ \hat{n} = (n_x, n_y, n_z) }[/math] is a real unit vector in three dimensions, the rotation of the Bloch sphere about this axis is given by:

[math]\displaystyle{ R_{\hat{n}}(\theta) = \exp\left(-i\theta\hat{n} \cdot \frac{1}{2}\vec{\sigma}\right) }[/math]

An interesting thing to note is that this expression is identical under relabelling to the extended Euler formula for quaternions.

[math]\displaystyle{ \mathbf{q} = e^{\frac{1}{2}\theta(u_x\mathbf{i} + u_y\mathbf{j} + u_z\mathbf{k})} = \cos \frac{\theta}{2} + (u_x\mathbf{i} + u_y\mathbf{j} + u_z\mathbf{k}) \sin \frac{\theta}{2} }[/math]

Derivation of the Bloch rotation generator

Ballentine[12] presents an intuitive derivation for the infinitesimal unitary transformation. This is important for understanding why the rotations of Bloch spheres are exponentials of linear combinations of Pauli matrices. Hence a brief treatment on this is given here. A more complete description in a quantum mechanical context can be found here.

Consider a family of unitary operators [math]\displaystyle{ U }[/math] representing a rotation about some axis. Since the rotation has one degree of freedom, the operator acts on a field of scalars [math]\displaystyle{ S }[/math] such that:

[math]\displaystyle{ U(0) = I }[/math]
[math]\displaystyle{ U(s_1 + s_2) = U(s_1)U(s_2) }[/math]

Where [math]\displaystyle{ 0, s_1, s_2, \in S }[/math]

We define the infinitesimal unitary as the Taylor expansion truncated at second order.

[math]\displaystyle{ U(s) = I + \frac{dU}{ds} \Bigg|_{s=0} s + O\left(s^2\right) }[/math]

By the unitary condition:

[math]\displaystyle{ U^{\dagger}U = I }[/math]

Hence

[math]\displaystyle{ U^{\dagger}U = I + s\left(\frac{dU}{ds}\Bigg|_{s=0} + \frac{dU^{\dagger}}{ds}\Bigg|_{s=0}\right) + O\left(s^2\right) = I }[/math]

For this equality to hold true (assuming [math]\displaystyle{ O\left(s^2\right) }[/math] is negligible) we require

[math]\displaystyle{ \frac{dU}{ds} \Bigg|_{s=0} + \frac{dU^{\dagger}}{ds} \Bigg|_{s=0}= 0 }[/math].

This results in a solution of the form:

[math]\displaystyle{ \frac{dU}{ds} \Bigg|_{s=0} = iK }[/math]

Where [math]\displaystyle{ K }[/math] is any Hermitian transformation, and is called the generator of the unitary family.

Hence:

[math]\displaystyle{ U(s) = e^{iKs} }[/math]

Since the Pauli matrices [math]\displaystyle{ (\sigma_x, \sigma_y, \sigma_z) }[/math] are unitary Hermitian matrices and have eigenvectors corresponding to the Bloch basis, [math]\displaystyle{ (\hat{x}, \hat{y}, \hat{z}) }[/math], we can naturally see how a rotation of the Bloch sphere about an arbitrary axis [math]\displaystyle{ \hat{n} }[/math] is described by

[math]\displaystyle{ R_{\hat{n}}(\theta) = \exp(-i \theta \hat{n} \cdot \vec{\sigma}/2) }[/math]

With the rotation generator given by [math]\displaystyle{ K = \hat{n} \cdot \vec{\sigma}/2 }[/math]

External links

See also

References

  1. Bloch, Felix (Oct 1946). "Nuclear induction". Phys. Rev. 70 (7–8): 460–474. doi:10.1103/physrev.70.460. Bibcode1946PhRv...70..460B. ; see Arecchi, F T, Courtens, E, Gilmore, R, & Thomas, H (1972). "Atomic coherent states in quantum optics", Phys Rev A6(6): 2211
  2. Nielsen, Michael A.; Chuang, Isaac L. (2004). Quantum Computation and Quantum Information. Cambridge University Press. ISBN 978-0-521-63503-5. 
  3. "Bloch sphere | Quantiki". http://www.quantiki.org/wiki/Bloch_sphere. 
  4. Poincaré, Henri (1892). Théorie mathématique de la lumière II. G. Carré. https://archive.org/details/thoriemathma00poin. 
  5. The idempotent density matrix
    [math]\displaystyle{ \frac{1}{2}(1\!\! 1 + \vec a \cdot \vec \sigma) = \begin{pmatrix} \cos^2 \theta/2 & \sin \theta/2 ~ \cos\theta/2 ~e^{-i\phi} \\ \sin \theta/2 ~ \cos\theta/2 ~e^{i\phi} & \sin^2 \theta/2 \end{pmatrix} }[/math]
    acts on the state eigenvector [math]\displaystyle{ (\cos\theta/2, e^{i\phi} \sin\theta/2) }[/math] with eigenvalue 1, so like a projection operator for it.
  6. 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. Bibcode1957JAP....28...49F. 
  7. Milonni, Peter W.; Eberly, Joseph (1988). Lasers. New York: Wiley. p. 340. ISBN 978-0471627319. 
  8. Penrose, Roger (2007). The Road to Reality : A Complete Guide to the Laws of the Universe. New York: Vintage Books (Random House, Inc.). p. 554. ISBN 978-0-679-77631-4. 
  9. Appleby, D.M. (2007). "Symmetric informationally complete measurements of arbitrary rank". Optics and Spectroscopy 103 (3): 416–428. doi:10.1134/S0030400X07090111. Bibcode2007OptSp.103..416A. 
  10. D.B. Westra 2008, "SU(2) and SO(3)", https://www.mat.univie.ac.at/~westra/so3su2.pdf
  11. Nielsen and Chuang 2010, "Quantum Computation and Information," pg 174
  12. Ballentine 2014, "Quantum Mechanics - A Modern Development", Chapter 3