Lesson 17 · 60 min · core
The Bloch Sphere
Every pure qubit state is, up to an unobservable global phase, a point on the unit sphere in . We derive the parametrisation from two arbitrary complex amplitudes, show that its projector is with , prove the overlap formula (so orthogonal states are antipodal), explain the half-angles through the 2-to-1 map , and extend the picture to mixed states filling the Bloch ball.
Prerequisites: The Qubit, Density Operators: Pure vs Mixed
Objectives and key results
Map any normalised pair to Bloch angles with , , and back.
Derive entry by entry and read off .
Prove and conclude that orthogonal states are antipodal points.
Explain why the sphere uses half-angles: and in give the same rotation of .
Place mixed states inside the ball: with eigenvalues and purity .
- formula · Bloch parametrisation
- identity · Projector as a Bloch vector
- theorem · Overlap formula
- theorem · Bloch ball
From two complex amplitudes to two angles#
A qubit state is described by two complex numbers, that is four real parameters. Normalisation removes one of them, and the measurement postulate removes another: the vectors and give identical probabilities for every measurement, so a global phase is physically invisible. Two real parameters remain, and two real parameters are exactly what is needed to name a point on a sphere. The derivation below makes this precise.
Derivation of
- Step 1:Polar form of each complex amplitude.
- Step 2:Factor out from both terms.
- Step 3:Discard the global phase , which changes no measurement probability; only the relative phase survives. Reduce modulo into .
- Step 4:Normalisation, using .
- Step 5:is a point of the unit circle in the closed first quadrant, so it equals for a unique ; write , hence .
- Step 6:Substitute. At the poles or the factor multiplying or the whole term vanishes, so is irrelevant there (like longitude at the geographic poles); the convention is .
Result
The projector and the Bloch vector#
Global phase disappears automatically if we work with the projector instead of the vector: . The four matrices form a basis of the real vector space of Hermitian matrices, so the projector can be expanded in them. Recall and .
Entry-wise computation of
- Step 1:The bra is the conjugate transpose of the ket, so becomes .
- Step 2:Column times row: entry is .
- Step 3:Add and subtract and (double-angle formula), then halve.
- Step 4:Double-angle formula .
- Step 5:Substitute the three identities and Euler's formula .
- Step 6:Compare with entry by entry: , , .
- Step 7:Pythagoras twice: every pure state lies on the unit sphere.
Result
The last form in the result follows from and : . So the Bloch vector is the vector of Pauli expectation values — which is how the simulator computes it.
The six cardinal states. Plugging the special angles into the parametrisation gives the eigenstates of the three Pauli matrices:
| state | amplitudes | |||
|---|---|---|---|---|
Circuit · 1 qubit
Preparing with then : moves from to , and multiplies the amplitude by , rotating the azimuth by about to : .
Quick check
Which Bloch vector belongs to ?
Overlaps: orthogonal means antipodal#
Overlap formula
For pure qubit states with Bloch vectors and , , where is the angle between the two vectors. In particular if and only if .
Proof (6 steps)
- Step 1:, then the trace identity with , .
- Step 2:Insert the Bloch forms of both projectors.
- Step 3:Expand the product and use linearity of the trace.
- Step 4:, the Paulis are traceless, and gives .
- Step 5:Both vectors have unit length, so ; then the half-angle identity.
- Step 6:For unit vectors, Cauchy–Schwarz gives with equality exactly when they point in opposite directions.
∎
Quick check
What is for a state with ? Give a decimal.
Why half-angles, and the Bloch ball#
The 2-to-1 map
- Step 1:for a unit vector , so the power series of the exponential splits into even (cosine) and odd (sine) parts.
- Step 2:is Hermitian and traceless, so it expands in the Paulis with real coefficients (found using ). preserves because purity is unitarily invariant, and by continuity from , so .
- Step 3:E.g. for the coherence picks up , i.e. : the Bloch angle is the full while the matrix uses .
- Step 4:A full turn of the Bloch vector gives on the Hilbert space; only a turn by gives .
- Step 5:The signs cancel, so and produce the same rotation : the map is exactly 2-to-1. The factor is a global phase, invisible on the sphere, which is why the amplitudes carry while the sphere shows .
Result
Mixed states fill the Bloch ball
Every qubit density operator can be written uniquely as with , and such an operator is positive semidefinite if and only if . Its eigenvalues are and its purity is ; pure states are exactly the surface and is the centre.
Proof (5 steps)
- Step 1:is a real basis of Hermitian matrices; fixes the coefficient of to , and extracts .
- Step 2:, so the antisymmetric parts cancel in the symmetric sum.
- Step 3:Eigenvalues square to and sum to (for ); adding and halving shifts them.
- Step 4:A Hermitian matrix is positive semidefinite iff its smallest eigenvalue is non-negative.
- Step 5:Purity is the sum of squared eigenvalues; the cross terms cancel. It equals 1 iff (pure) and at ().
∎
Quick check
A qubit has Bloch vector . Which statement is correct?
References
- M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, 10th anniversary ed., Cambridge University Press (2010), §1.2 and §4.2.doi:10.1017/CBO9780511976667
- F. Bloch, Nuclear Induction, Physical Review 70, 460 (1946).doi:10.1103/PhysRev.70.460
- J. Preskill, Lecture Notes for Physics 219: Quantum Computation, Chapter 2.theory.caltech.edu
Hands-on labs
Hit the target on the Bloch sphere
2 steps · auto-gradedOpen labPlace the state on the Bloch sphere, first by choosing directly and then by preparing it from with at most two gates from .