Bloch Sphere Representation of Gates

A single-qubit pure state, up to an unobservable global phase, is one unit arrow from the centre of a ball to its surface — a point on the Bloch sphere. Write ∣ψ⟩=cos⁡(θ/2)∣0⟩+eiφsin⁡(θ/2)∣1⟩|\psi\rangle=\cos(\theta/2)|0\rangle+e^{i\varphi}\sin(\theta/2)|1\rangle and the arrow has polar angle θ\theta and azimuth φ\varphi; the north pole is ∣0⟩|0\rangle, the south pole ∣1⟩|1\rangle, and the equator carries the equal superpositions. A gate cannot lengthen the arrow (it preserves purity) nor bend angles between arrows (it preserves inner products), so the only thing left is to turn the whole ball rigidly. Every single-qubit unitary is a rotation of the Bloch sphere — an axis and an angle, nothing more. This is not an analogy but an exact theorem: the surjective two-to-one Lie-group homomorphism SU(2)→SO(3)SU(2)\to SO(3). A special-unitary UU acts on Bloch vectors by conjugation, U(r^⋅σ⃗)U†=(Rr^)⋅σ⃗U(\hat r\cdot\vec\sigma)U^{\dagger}=(R\hat r)\cdot\vec\sigma, where RR is a genuine 3×33\times3 rotation and σ⃗=(X,Y,Z)\vec\sigma=(X,Y,Z) are the Pauli matrices. The kernel is exactly {+I,−I}\{+I,-I\} — the freedom of global phase — so UU and −U-U paint the same picture. The generator is Rn^(θ)=exp⁡(−iθ2 n^⋅σ⃗)=cos⁡(θ/2)I−isin⁡(θ/2) n^⋅σ⃗R_{\hat n}(\theta)=\exp(-i\tfrac{\theta}{2}\,\hat n\cdot\vec\sigma)=\cos(\theta/2)I-i\sin(\theta/2)\,\hat n\cdot\vec\sigma, and the factor of two in θ/2\theta/2 is the spinor double cover: a full 2π2\pi turn of the sphere sends the state vector to minus itself. From this one formula you read the axis and angle of every named gate, compile arbitrary gates into hardware rotations, and prove circuit identities by moving axes instead of multiplying matrices.

Key takeaways
  • A single-qubit pure state is a point on the unit Bloch sphere, ∣ψ⟩=cos⁡(θ/2)∣0⟩+eiφsin⁡(θ/2)∣1⟩|\psi\rangle=\cos(\theta/2)|0\rangle+e^{i\varphi}\sin(\theta/2)|1\rangle ↔ r^=(sin⁡θcos⁡φ,sin⁡θsin⁡φ,cos⁡θ)\hat r=(\sin\theta\cos\varphi,\sin\theta\sin\varphi,\cos\theta); mixed states fill the interior.
  • Up to global phase, every single-qubit unitary is a rotation Rn^(θ)=exp⁡(−iθ n^⋅σ⃗/2)=cos⁡(θ/2)I−isin⁡(θ/2) n^⋅σ⃗R_{\hat n}(\theta)=\exp(-i\theta\,\hat n\cdot\vec\sigma/2)=\cos(\theta/2)I-i\sin(\theta/2)\,\hat n\cdot\vec\sigma of the sphere about axis n^\hat n by angle θ\theta.
  • The gate-to-rotation map is the 2-to-1 homomorphism SU(2)→SO(3)SU(2)\to SO(3) with kernel {+I,−I}\{+I,-I\}, so ±U\pm U give the same rotation; global phase is invisible.
  • X,Y,ZX,Y,Z are π\pi-turns about x^,y^,z^\hat x,\hat y,\hat z; S,TS,T are z^\hat z-turns of π/2,π/4\pi/2,\pi/4; Hadamard is a π\pi-turn about the diagonal (x^+z^)/2(\hat x+\hat z)/\sqrt2.
  • Rotations do not commute; a product's axis and angle follow the SU(2)SU(2) half-angle law, and Rn^(2π)=−IR_{\hat n}(2\pi)=-I is the spinor sign flip.
  • Key idea: up to global phase a single-qubit gate is exactly a rotation Rn^(θ)=exp⁡(−iθ n^⋅σ⃗/2)R_{\hat n}(\theta)=\exp(-i\theta\,\hat n\cdot\vec\sigma/2) of the Bloch sphere; the gate's eigenvectors are the ±n^\pm\hat n poles and its eigenphase difference is the angle θ\theta.
The core insight

Up to global phase, a single-qubit unitary is exactly a rotation Rn^(θ)=exp⁡(−iθ n^⋅σ⃗/2)R_{\hat n}(\theta)=\exp(-i\theta\,\hat n\cdot\vec\sigma/2) of the Bloch sphere about axis n^\hat n by angle θ\theta; the gate's eigenvectors sit at the ±n^\pm\hat n poles and its eigenphase difference is θ\theta.

Where this lives today

The gate-as-rotation picture is the working language of quantum control and compilation. On real hardware a gate is a pulse: a resonant microwave or laser drive implements Rn^(θ)R_{\hat n}(\theta) with the angle θ\theta set by the pulse area and the axis n^\hat n set by the drive phase, so changing a phase in software literally rotates the axis on the sphere. Native gate sets are chosen in these terms — IBM's superconducting qubits expose RzR_z (a virtual phase, zero pulse time and essentially exact) with the fixed X\sqrt X half-turn of worked example 2, and a compiler builds any single-qubit gate from an RzR_z–X\sqrt X–RzR_z–X\sqrt X–RzR_z sandwich, the Z-Y decomposition read on the sphere. Composite-pulse and dynamical-decoupling sequences (spin echoes, CPMG, BB1) are geometric paths that return the arrow to its target even when the drive is miscalibrated. And the universality behind small gate sets — the Solovay–Kitaev theorem — is at heart that two rotations about non-parallel axes through angles incommensurate with π\pi densely fill SO(3)SO(3), so a Hadamard and a TT approximate any single-qubit rotation to arbitrary precision with only logarithmic overhead.

The physical picture

Think of the qubit as an arrow from the centre of a unit ball to a point on its surface. A unitary preserves every vector's length and the angle between any two, so on the sphere it leaves one freedom: turn the whole ball rigidly about a line through the centre. That line is the axis n^\hat n and the amount of turning is the angle θ\theta — together they name the gate completely. The axis is the gate's eigenbasis lifted onto the sphere: the two eigenstates sit at the poles of n^\hat n, left untouched except for a rephasing that between them is exactly θ\theta. So "diagonalise the gate" and "find its Bloch axis and angle" are one task.

Figure
The Bloch sphere: a pure state is a unit arrow at polar angle θ from ẑ and azimuth φ, so cos(θ/2) sets the amplitude of state 0 and φ the relative phase; the vector r̂ = (sinθ cosφ, sinθ sinφ, cosθ) has length 1 for pure states and 0 at the maximally mixed centre, north pole 0 and south pole 1
A pure single-qubit state is an arrow on the unit sphere; a gate rigidly turns it |0⟩ ẑ |1⟩ |+⟩ x̂ |i⟩ ŷ r̂ (pure state) θ φ The map |ψ⟩ = cos(θ/2)|0⟩ + e^{iφ} sin(θ/2)|1⟩ r̂ = (sinθ cosφ, sinθ sinφ, cosθ) north pole θ=0 → |0⟩ equator θ=π/2 → |±⟩,|±i⟩ |r̂| = 1 pure state |r̂| = 0 maximally mixed ρ = ½(I + r̂·σ)

Because the state vector lives in SU(2)SU(2) while the observable arrow lives in SO(3)SO(3), there is a built-in factor of two: turning the sphere by θ\theta advances the state vector through θ/2\theta/2 in the exponential. Run the sphere around by 2π2\pi and every arrow returns home, yet the state vector picks up a minus sign — the spinor sign flip — undetectable because global phase has no image on the sphere. Conjugation carries an equally clean meaning: UVU†UVU^{\dagger} is VV with its axis rotated by UU — why HZH=XHZH=X (Hadamard swings z^\hat z onto x^\hat x) and why Clifford sandwiches merely permute the Pauli axes.

Figure
Gate as rotation: X, Y, Z are π turns about x̂, ŷ, ẑ; S and T are ẑ turns of π/2 and π/4; Hadamard is a π turn about the diagonal (x̂+ẑ)/√2 that carries the north pole 0 onto the equatorial + state; and composing R_x(π/2) after R_z(π/2) gives a 2π/3 turn about the body diagonal (x̂−ŷ+ẑ)/√3
Every named single-qubit gate is one fixed axis and one fixed angle ẑ Z,S,T x̂ X ŷ Y H axis |0⟩ |+⟩ H: π about diagonal gate axis angle Xx̂π Yŷπ Zẑπ Sẑπ/2 Tẑπ/4 H(x̂+ẑ)/√2π Composition (order matters) R_x(π/2) · R_z(π/2) = R_n̂(2π/3) n̂ = (x̂ − ŷ + ẑ)/√3 a 120° turn about a body diagonal

The core equations

The starting point is the dictionary between a qubit state and a point in space. After the global phase is dropped a pure state keeps two real parameters, exactly the two spherical angles; a general mixed state is the same expression with a Bloch vector of length at most one.

∣ψ⟩=cos⁡ ⁣θ2 ∣0⟩+eiφsin⁡ ⁣θ2 ∣1⟩  ⟷  r^=(sin⁡θcos⁡φ,sin⁡θsin⁡φ,cos⁡θ)(1)|\psi\rangle=\cos\!\tfrac{\theta}{2}\,|0\rangle+e^{i\varphi}\sin\!\tfrac{\theta}{2}\,|1\rangle\;\longleftrightarrow\;\hat r=(\sin\theta\cos\varphi,\sin\theta\sin\varphi,\cos\theta) \qquad (1)

where: θ\theta — polar angle, 0≤θ≤π0\le\theta\le\pi; φ\varphi — azimuthal angle, 0≤φ<2π0\le\varphi<2\pi; r^\hat r — unit Bloch vector. Reading it: the poles (θ=0,π\theta=0,\pi) are ∣0⟩|0\rangle and ∣1⟩|1\rangle, and the half-angle θ/2\theta/2 is why antipodal points are orthogonal states. Packaging the same data as a density operator makes the whole ball visible. Every one-qubit state is the identity plus a Bloch vector contracted with the Paulis.

ρ=12(I+r^⋅σ⃗),∣r^∣≤1(2)\rho=\tfrac12\left(I+\hat r\cdot\vec\sigma\right),\qquad |\hat r|\le 1 \qquad (2)

where: ρ\rho — density operator; σ⃗=(X,Y,Z)\vec\sigma=(X,Y,Z) — Pauli matrices; r^\hat r — Bloch vector, ∣r^∣=1|\hat r|=1 pure, <1<1 mixed, 00 maximally mixed. Reading it: purity is tr ρ2=12(1+∣r^∣2)\mathrm{tr}\,\rho^2=\tfrac12(1+|\hat r|^2), so length on the sphere measures how pure the state is. A rotation by angle θ\theta about axis n^\hat n is the exponential of the corresponding Pauli combination; because that combination squares to the identity, the exponential collapses to a cosine plus a sine — the workhorse formula.

Rn^(θ)=exp⁡ ⁣(−iθ2 n^⋅σ⃗)=cos⁡ ⁣θ2 I−isin⁡ ⁣θ2 (n^⋅σ⃗)(3)R_{\hat n}(\theta)=\exp\!\left(-i\tfrac{\theta}{2}\,\hat n\cdot\vec\sigma\right)=\cos\!\tfrac{\theta}{2}\,I-i\sin\!\tfrac{\theta}{2}\,(\hat n\cdot\vec\sigma) \qquad (3)

where: n^=(nx,ny,nz)\hat n=(n_x,n_y,n_z) — unit axis; θ\theta — rotation angle; n^⋅σ⃗=nxX+nyY+nzZ\hat n\cdot\vec\sigma=n_xX+n_yY+n_zZ — a traceless Hermitian involution. Reading it: n^\hat n is fixed and the poles are eigenvectors with eigenvalues e∓iθ/2e^{\mp i\theta/2}, whose phase difference is θ\theta. That a gate rotates the sphere at all is the statement that conjugation of a Bloch vector by a unitary is a genuine three-dimensional rotation — the SU(2)→SO(3)SU(2)\to SO(3) homomorphism, derived below.

U (r^⋅σ⃗) U†=(Rr^)⋅σ⃗,U∈SU(2),  R∈SO(3)(4)U\,(\hat r\cdot\vec\sigma)\,U^{\dagger}=(R\hat r)\cdot\vec\sigma,\qquad U\in SU(2),\;R\in SO(3) \qquad (4)

where: UU — special-unitary representative; RR — the 3×33\times3 real rotation it induces. Reading it: U↦RU\mapsto R is a homomorphism, so a product of gates rotates by the product of rotations. The map is two-to-one, and the factor of two shows up as the spinor sign: a single full turn is the identity on every arrow but minus the identity on the state vector.

Rn^(2π)=−I,Rn^(4π)=+I(5)R_{\hat n}(2\pi)=-I,\qquad R_{\hat n}(4\pi)=+I \qquad (5)

where: −I-I — unobservable global phase, the same Bloch rotation as +I+I. Reading it: the kernel is {+I,−I}\{+I,-I\}, so two turns of the state vector make one turn of the sphere look complete. Going backwards — matrix to axis and angle — is trace arithmetic once the global phase is stripped: the trace gives the angle, the Pauli projections the axis.

V=e−iαU∈SU(2),cos⁡θ2=∣12 tr V∣,nj=− Im tr(Vσj)2sin⁡(θ/2)(6)V=e^{-i\alpha}U\in SU(2),\quad \cos\tfrac{\theta}{2}=\big|\tfrac12\,\mathrm{tr}\,V\big|,\quad n_j=\frac{-\,\mathrm{Im}\,\mathrm{tr}(V\sigma_j)}{2\sin(\theta/2)} \qquad (6)

where: α=12arg⁡det⁡U\alpha=\tfrac12\arg\det U — global phase carried by UU; θ\theta — recovered angle; njn_j — axis components, defined when sin⁡(θ/2)≠0\sin(\theta/2)\neq0. Reading it: if θ=0\theta=0 then V=IV=I and the axis is undefined, as a do-nothing rotation should be. Products of rotations obey a half-angle law — SU(2)SU(2) multiplication in axis–angle form — the cross-product term encoding non-commutativity.

cos⁡γ2=cos⁡β2cos⁡α2−(m^⋅n^)sin⁡β2sin⁡α2(7)\cos\tfrac{\gamma}{2}=\cos\tfrac{\beta}{2}\cos\tfrac{\alpha}{2}-(\hat m\cdot\hat n)\sin\tfrac{\beta}{2}\sin\tfrac{\alpha}{2} \qquad (7)

where: Rm^(β)Rn^(α)=Rk^(γ)R_{\hat m}(\beta)R_{\hat n}(\alpha)=R_{\hat k}(\gamma); γ\gamma — net angle; m^⋅n^\hat m\cdot\hat n — cosine between the axes. Reading it: for parallel axes the last term vanishes and angles add (why all zz-rotations commute); for perpendicular axes the net axis tilts out of both.

Derivation AWhy the rotation generator collapses to cosine plus sine

The goal is to show that the operator exponential exp⁡(−iθ2 n^⋅σ⃗)\exp(-i\tfrac{\theta}{2}\,\hat n\cdot\vec\sigma) — a formally infinite power series of 2×22\times2 matrices — sums exactly to the closed form cos⁡(θ/2)I−isin⁡(θ/2) n^⋅σ⃗\cos(\theta/2)I-i\sin(\theta/2)\,\hat n\cdot\vec\sigma, and that the only property doing the work is that n^⋅σ⃗\hat n\cdot\vec\sigma squares to the identity. This one algebraic fact stands behind every named-gate identity in the article.

Step 1. Square the generator. Using σiσj=δijI+iϵijkσk\sigma_i\sigma_j=\delta_{ij}I+i\epsilon_{ijk}\sigma_k, (n^⋅σ⃗)2=∑i,jninjσiσj=∣n^∣2 I=I(\hat n\cdot\vec\sigma)^2=\sum_{i,j}n_in_j\sigma_i\sigma_j=|\hat n|^2\,I=I, since the symmetric part gives ∣n^∣2|\hat n|^2 and the antisymmetric ϵijk\epsilon_{ijk} part vanishes against symmetric ninjn_in_j. Why: an operator whose square is II behaves in an exponential exactly like the imaginary unit in eiϕe^{i\phi}, forcing a cosine–sine answer.

Step 2. Split by parity. With A=n^⋅σ⃗A=\hat n\cdot\vec\sigma, the series ∑k1k!(−iθ2)kAk\sum_k\tfrac{1}{k!}(-i\tfrac{\theta}{2})^kA^k has even powers A2m=IA^{2m}=I and odd powers A2m+1=AA^{2m+1}=A, separating into an II-part and an AA-part. Why: only A2=IA^2=I makes every even power the identity and every odd power AA, so no other matrix survives.

Step 3. Resum. The even series is cos⁡(θ/2)\cos(\theta/2) and the odd series is −isin⁡(θ/2)-i\sin(\theta/2), giving Rn^(θ)=cos⁡(θ/2)I−isin⁡(θ/2)AR_{\hat n}(\theta)=\cos(\theta/2)I-i\sin(\theta/2)A. Why: these are the Taylor series of cosine and sine, with II and AA standing in for the real and imaginary units.

Go deeper · Derivation B · 1 minThe SU(2) to SO(3) homomorphism and its kernel
Derivation BThe SU(2) to SO(3) homomorphism and its kernel

The goal is to prove that conjugating a Bloch vector by a single-qubit unitary genuinely rotates it — that the induced map RR on R3\mathbb R^3 is orthogonal with determinant one — and that the only unitaries acting trivially are ±I\pm I, so the gate-to-rotation correspondence is exactly two-to-one. Encoding the Bloch vector as a traceless Hermitian matrix turns the question into linear algebra on a three-dimensional real space.

Step 1. Identify the arena. Set M=r^⋅σ⃗M=\hat r\cdot\vec\sigma; it is traceless and Hermitian, and the three Paulis are a real basis of such matrices, so r^↦M\hat r\mapsto M is a linear isomorphism of R3\mathbb R^3 with the traceless Hermitian 2×22\times2 matrices. Why: putting the geometry inside a matrix space lets unitary conjugation act on vectors, which is where the rotation comes from.

Step 2. Show conjugation stays in the arena. For any U∈SU(2)U\in SU(2), tr(UMU†)=tr M=0\mathrm{tr}(UMU^{\dagger})=\mathrm{tr}\,M=0 and UMU†UMU^{\dagger} is Hermitian, so it equals r^′⋅σ⃗\hat r'\cdot\vec\sigma for some real r^′\hat r'; defining RR by r^′=Rr^\hat r'=R\hat r gives a linear map on R3\mathbb R^3. Why: preserving trace and Hermiticity keeps the output a legitimate Bloch vector, so RR is well defined.

Step 3. Show RR is a proper rotation. Since det⁡(r^⋅σ⃗)=−∣r^∣2\det(\hat r\cdot\vec\sigma)=-|\hat r|^2 is conjugation-invariant, ∣r^′∣=∣r^∣|\hat r'|=|\hat r|, so RR is orthogonal; and connecting UU to II by a path in SU(2)SU(2) along which det⁡R∈{+1,−1}\det R\in\{+1,-1\} starts at +1+1 forces det⁡R=+1\det R=+1, giving R∈SO(3)R\in SO(3). Why: length preservation forces orthogonality, connectedness rules out reflections.

Step 4. Find the kernel. If R=IR=I then UMU†=MUMU^{\dagger}=M for all traceless Hermitian MM, so UU commutes with all three Paulis and is a scalar eiαIe^{i\alpha}I; det⁡U=1\det U=1 forces U=±IU=\pm I. Why: only multiples of the identity commute with a full operator basis, and special-unitarity cuts the phase to the two-element kernel — the freedom of global phase.

Go deeper · Derivation C · 1 minRecovering the axis and angle of any single-qubit gate
Derivation CRecovering the axis and angle of any single-qubit gate

The goal is a practical recipe: given an arbitrary 2×22\times2 unitary UU, strip its unobservable global phase, then read its rotation angle from one trace and its axis from three more. This inverts the axis–angle formula and is exactly what a compiler does turning an abstract gate into a hardware pulse, so every step ends in a number.

Step 1. Remove the global phase. Set α=12arg⁡det⁡U\alpha=\tfrac12\arg\det U and V=e−iαUV=e^{-i\alpha}U, so det⁡V=1\det V=1 and V∈SU(2)V\in SU(2) while UU and VV paint the identical rotation. Why: only the special-unitary representative has the clean cosine–sine form, and α\alpha is invisible on the sphere anyway.

Step 2. Angle from the trace. Since V=cos⁡(θ/2)I−isin⁡(θ/2) n^⋅σ⃗V=\cos(\theta/2)I-i\sin(\theta/2)\,\hat n\cdot\vec\sigma and Paulis are traceless, tr V=2cos⁡(θ/2)\mathrm{tr}\,V=2\cos(\theta/2), so θ=2arccos⁡∣12tr V∣\theta=2\arccos\big|\tfrac12\mathrm{tr}\,V\big|. Why: the axis part contributes nothing to the trace, so it isolates the angle.

Step 3. Axis from the Pauli projections. Using tr(σjσk)=2δjk\mathrm{tr}(\sigma_j\sigma_k)=2\delta_{jk}, tr(Vσj)=−2isin⁡(θ/2) nj\mathrm{tr}(V\sigma_j)=-2i\sin(\theta/2)\,n_j, so nj=− Im tr(Vσj)/(2sin⁡(θ/2))n_j=-\,\mathrm{Im}\,\mathrm{tr}(V\sigma_j)/(2\sin(\theta/2)) when sin⁡(θ/2)≠0\sin(\theta/2)\neq0; if θ=0\theta=0 then V=IV=I and the axis is undefined. Why: projecting VV onto each Pauli extracts that component, and the sine fails exactly when there is no rotation to orient.

Step 4. Test on SS. Writing S=diag(1,i)=eiπ/4diag(e−iπ/4,eiπ/4)S=\mathrm{diag}(1,i)=e^{i\pi/4}\mathrm{diag}(e^{-i\pi/4},e^{i\pi/4}) gives α=π/4\alpha=\pi/4, tr V=2cos⁡(π/4)\mathrm{tr}\,V=2\cos(\pi/4) so θ=π/2\theta=\pi/2, and only tr(Vσz)≠0\mathrm{tr}(V\sigma_z)\neq0, so n^=z^\hat n=\hat z — a quarter-turn about z^\hat z. Why: recovering S=eiπ/4Rz^(π/2)S=e^{i\pi/4}R_{\hat z}(\pi/2) confirms the recipe end to end.

Limiting cases

Special values of the axis–angle formula recover every named gate, each up to a global phase that leaves no trace on the sphere:

CaseResultMeaning
Pauli XXRx^(π)=−iXR_{\hat x}(\pi)=-iXπ\pi-turn about x^\hat x; swaps the z^\hat z poles, exchanging ∣0⟩|0\rangle and ∣1⟩|1\rangle. The −i-i is global phase.
Pauli YYRy^(π)=−iYR_{\hat y}(\pi)=-iYπ\pi-turn about y^\hat y; sends ∣0⟩→∣1⟩|0\rangle\to|1\rangle up to phase while fixing ∣+i⟩,∣−i⟩|{+}i\rangle,|{-}i\rangle as poles.
Pauli ZZRz^(π)=−iZR_{\hat z}(\pi)=-iZπ\pi-turn about z^\hat z; maps ∣+⟩↔∣−⟩|+\rangle\leftrightarrow|-\rangle while fixing ∣0⟩,∣1⟩|0\rangle,|1\rangle.
Phase gate SSS=eiπ/4Rz^(π/2)S=e^{i\pi/4}R_{\hat z}(\pi/2)quarter-turn (π/2\pi/2) about z^\hat z; rotates the equatorial xx–yy plane by 90°90°.
TT gateT=eiπ/8Rz^(π/4)T=e^{i\pi/8}R_{\hat z}(\pi/4)eighth-turn (π/4\pi/4) about z^\hat z; the irrational-angle generator behind Clifford+TT universality.
Hadamard HHH=eiπ/2Rn^(π), n^=12(x^+z^)H=e^{i\pi/2}R_{\hat n}(\pi),\ \hat n=\tfrac{1}{\sqrt2}(\hat x+\hat z)π\pi-turn about the xx–zz diagonal; swaps x^\hat x and z^\hat z, hence the computational and Hadamard bases.
IdentityRn^(0)=IR_{\hat n}(0)=Ino rotation; axis undefined, the θ→0\theta\to0 boundary.

Worked examples

1 · Composing two quarter-turns into a body-diagonal rotation (fully worked)

Apply Rz(π/2)R_z(\pi/2) then Rx(π/2)R_x(\pi/2); the circuit unitary is Rx(π/2)Rz(π/2)R_x(\pi/2)R_z(\pi/2) (right-most acts first). Find its axis and angle.

Step 1. In cosine–sine form, with cos⁡(π/4)=sin⁡(π/4)=1/2\cos(\pi/4)=\sin(\pi/4)=1/\sqrt2: Rz(π/2)=12(I−iZ)R_z(\pi/2)=\tfrac{1}{\sqrt2}(I-iZ) and Rx(π/2)=12(I−iX)R_x(\pi/2)=\tfrac{1}{\sqrt2}(I-iX).

Step 2. Net angle from the scalar law (7) with m^=x^,n^=z^,α=β=π/2\hat m=\hat x,\hat n=\hat z,\alpha=\beta=\pi/2. The axes are perpendicular, m^⋅n^=0\hat m\cdot\hat n=0, so cos⁡(γ/2)=cos⁡2(π/4)=12\cos(\gamma/2)=\cos^2(\pi/4)=\tfrac12, giving γ/2=π/3\gamma/2=\pi/3 and the net angle γ=2π/3=120°\gamma=2\pi/3=120°.

Step 3. Net axis. Multiplying, Rx(π/2)Rz(π/2)=12(I−iX)(I−iZ)=12(I−iX−iZ−XZ)R_x(\pi/2)R_z(\pi/2)=\tfrac12(I-iX)(I-iZ)=\tfrac12(I-iX-iZ-XZ), and XZ=−iYXZ=-iY gives 12(I−i(X−Y+Z))\tfrac12\big(I-i(X-Y+Z)\big). Matching cos⁡(γ/2)I−isin⁡(γ/2)k^⋅σ⃗\cos(\gamma/2)I-i\sin(\gamma/2)\hat k\cdot\vec\sigma with sin⁡(π/3)=3/2\sin(\pi/3)=\sqrt3/2 gives k^=(x^−y^+z^)/3\hat k=(\hat x-\hat y+\hat z)/\sqrt3.

Step 4. Interpret. A 120°120° turn about a body diagonal cyclically permutes the coordinate axes; here it acts by conjugation as X→Z→Y→XX\to Z\to Y\to X (with signs), the kind of Pauli-permuting operation the Clifford group is built from. Net result: Rx(π/2)Rz(π/2)=Rk^(2π/3)R_x(\pi/2)R_z(\pi/2)=R_{\hat k}(2\pi/3) with k^=(x^−y^+z^)/3\hat k=(\hat x-\hat y+\hat z)/\sqrt3 — two perpendicular quarter-turns make one diagonal third-turn, so rotations neither commute nor simply add.

2 · Extracting the axis and angle of the X\sqrt{X} gate (fully worked)

The gate X=12(1+i1−i1−i1+i)\sqrt X=\tfrac12\big(\begin{smallmatrix}1+i&1-i\\1-i&1+i\end{smallmatrix}\big) is hardware-native on many superconducting processors (the "SX" gate). Find its global phase, rotation angle, and axis.

Step 1. Strip the phase. det⁡X=14[(1+i)2−(1−i)2]=14[2i−(−2i)]=i=eiπ/2\det\sqrt X=\tfrac14\big[(1+i)^2-(1-i)^2\big]=\tfrac14[2i-(-2i)]=i=e^{i\pi/2}, so α=12arg⁡det⁡=π/4\alpha=\tfrac12\arg\det=\pi/4 and V=e−iπ/4X∈SU(2)V=e^{-i\pi/4}\sqrt X\in SU(2).

Step 2. Angle from the trace. tr X=1+i=2 eiπ/4\mathrm{tr}\,\sqrt X=1+i=\sqrt2\,e^{i\pi/4}, so tr V=e−iπ/42 eiπ/4=2=2cos⁡(θ/2)\mathrm{tr}\,V=e^{-i\pi/4}\sqrt2\,e^{i\pi/4}=\sqrt2=2\cos(\theta/2). Thus cos⁡(θ/2)=1/2\cos(\theta/2)=1/\sqrt2 and the rotation angle is θ=π/2\theta=\pi/2 — a quarter-turn, as the name X\sqrt X demands.

Step 3. Axis from a Pauli projection. tr(X X)=1−i=2 e−iπ/4\mathrm{tr}(\sqrt X\,X)=1-i=\sqrt2\,e^{-i\pi/4}, so tr(Vσx)=2 e−iπ/2=−i2\mathrm{tr}(V\sigma_x)=\sqrt2\,e^{-i\pi/2}=-i\sqrt2. The recipe tr(Vσj)=−2isin⁡(θ/2)nj\mathrm{tr}(V\sigma_j)=-2i\sin(\theta/2)n_j with sin⁡(π/4)=1/2\sin(\pi/4)=1/\sqrt2 gives −i2=−i2 nx-i\sqrt2=-i\sqrt2\,n_x, so nx=1n_x=1 and the other projections vanish. The axis is x^\hat x.

Step 4. Assemble. X=eiπ/4Rx^(π/2)\sqrt X=e^{i\pi/4}R_{\hat x}(\pi/2), a quarter-turn about x^\hat x up to a π/4\pi/4 phase. Applied twice, (X)2=eiπ/2Rx^(π)=eiπ/2(−iX)=X(\sqrt X)^2=e^{i\pi/2}R_{\hat x}(\pi)=e^{i\pi/2}(-iX)=X — genuinely a square root of the bit-flip, two π/2\pi/2 turns making the π\pi turn.

3 · Why Hadamard swaps the two bases (axis argument)

Show geometrically that HH interchanges {∣0⟩,∣1⟩}\{|0\rangle,|1\rangle\} with {∣+⟩,∣−⟩}\{|+\rangle,|-\rangle\}. HH is a π\pi-rotation about the bisector n^=(x^+z^)/2\hat n=(\hat x+\hat z)/\sqrt2 of x^\hat x and z^\hat z. A π\pi-rotation about the bisector of two axes exchanges them (and flips the third): z^→x^\hat z\to\hat x, x^→z^\hat x\to\hat z, y^→−y^\hat y\to-\hat y. The poles of z^\hat z are ∣0⟩,∣1⟩|0\rangle,|1\rangle and those of x^\hat x are ∣+⟩,∣−⟩|+\rangle,|-\rangle, so swapping the axes swaps the bases. HZH=XHZH=X, HXH=ZHXH=Z is read straight off the axis geometry — no matrix products.

Physics of the portrait

The sphere carries the name of a physicist who never worked on quantum computers. It came from the magnetic-resonance laboratory, where a spin-12\tfrac12 nucleus in a field traces exactly the same geometry a qubit does under a gate.

Origins · 1 minFelix Bloch and how this was discovered
FB
Felix Bloch
1905–1983 · nuclear magnetic resonance and the geometry of two-level systems

Felix Bloch's first fame came from solids: his 1928 doctoral work under Werner Heisenberg produced Bloch's theorem and Bloch waves, the foundation of the quantum theory of electrons in crystals. But the sphere that bears his name comes from later. In 1946 at Stanford, Bloch developed the theory of nuclear induction — the resonant response of nuclear spins to radio-frequency fields — and introduced the magnetization vector whose tip traces a sphere as the spins precess, work for which he shared the 1952 Nobel Prize with Edward Purcell. The Bloch vector and Bloch equations are the direct ancestors of the qubit picture: a driven spin-12\tfrac12 in a rotating frame turns about an axis set by the drive phase through an angle set by the pulse area — precisely Rn^(θ)R_{\hat n}(\theta). The mathematical backbone is older — Hamilton's quaternions (1843) are the algebra of SU(2)SU(2), Cartan's spinors (1913) the objects that change sign under a 2π2\pi turn — but it was Feynman, Vernon, and Hellwarth in 1957 who showed that any two-level system maps onto a rotating vector on Bloch's sphere. That is the theorem this article rests on: the qubit is a spin in disguise, and a gate is a rotation.

History
1843
— Hamilton discovers the quaternions, the algebra underlying SU(2)
1913
— Cartan introduces spinors, objects that change sign under a 2π turn
1927
— Pauli writes the spin matrices σ_x, σ_y, σ_z for the electron
1946
— Bloch's nuclear-induction theory gives the Bloch vector its name
1957
— Feynman, Vernon and Hellwarth map any two-level system to a rotating vector

Going further

Texts. Nielsen & Chuang, Quantum Computation and Quantum Information, §1.3.1 and §4.2 (Bloch sphere; rotation operators; Theorem 4.1) · Preskill, Lecture Notes for Physics 219, Ch. 2 · Watrous, The Theory of Quantum Information, §2 · Kitaev, Shen & Vyalyi, Classical and Quantum Computation, §8 (single-qubit gates; Solovay–Kitaev) · Mermin, Quantum Computer Science, Ch. 1 · Wilde, Quantum Information Theory, Ch. 3. All equations are standard. The rotation operator Rn^(θ)=cos⁡(θ/2)I−isin⁡(θ/2)n^⋅σ⃗R_{\hat n}(\theta)=\cos(\theta/2)I-i\sin(\theta/2)\hat n\cdot\vec\sigma follows from (n^⋅σ⃗)2=I(\hat n\cdot\vec\sigma)^2=I; the SU(2)→SO(3)SU(2)\to SO(3) homomorphism and kernel {±I}\{\pm I\} are classical results; the named-gate identities X=iRx^(π)X=iR_{\hat x}(\pi), Z=iRz^(π)Z=iR_{\hat z}(\pi), S=eiπ/4Rz^(π/2)S=e^{i\pi/4}R_{\hat z}(\pi/2), T=eiπ/8Rz^(π/4)T=e^{i\pi/8}R_{\hat z}(\pi/4), H=eiπ/2R(x^+z^)/2(π)H=e^{i\pi/2}R_{(\hat x+\hat z)/\sqrt2}(\pi), HXH=ZHXH=Z, and HZH=XHZH=X follow by direct exponentiation; and the worked-example results Rx(π/2)Rz(π/2)=R(x^−y^+z^)/3(2π/3)R_x(\pi/2)R_z(\pi/2)=R_{(\hat x-\hat y+\hat z)/\sqrt3}(2\pi/3) and X=eiπ/4Rx^(π/2)\sqrt X=e^{i\pi/4}R_{\hat x}(\pi/2) are confirmed by explicit matrix multiplication.

Prerequisites. Pauli Gates (X, Y, Z) · Single-Qubit Rotation Gates · Quantum Circuit Model. Leads to. Z-Y Decomposition · Universal Gate Sets · Circuit Identities and Equivalences.

Ask the tutor: ask me to take any single-qubit gate you like — a raw 2×22\times2 matrix, a pulse, or a product of named gates — and walk it onto the sphere as an explicit axis and angle.

Why does the angle in the exponential carry a factor of one half?

Because the state vector lives in SU(2)SU(2) while the observable Bloch arrow lives in SO(3)SO(3), related by a two-to-one homomorphism rather than an identity. Conjugation — the way a gate acts on the arrow — effectively squares the representation, so the exponent that advances the state vector by θ/2\theta/2 turns the arrow by the full θ\theta. Setting Rn^(θ)=exp⁡(−iθ2n^⋅σ⃗)R_{\hat n}(\theta)=\exp(-i\tfrac{\theta}{2}\hat n\cdot\vec\sigma) makes the induced SO(3)SO(3) angle come out to exactly θ\theta. The half-angle is the fingerprint of the double cover, and forgetting it makes a Pauli ZZ — a full π\pi-turn — look like a half-turn.

Does a 2π rotation really do nothing, or does it change the state?

Both, depending on what you watch. Every Bloch arrow returns exactly to where it started after a 2π2\pi turn, so anything measurable about a single isolated qubit is unchanged. But the state vector is multiplied by −1-1: Rn^(2π)=−IR_{\hat n}(2\pi)=-I. This spinor sign is invisible for one qubit, yet becomes measurable in interference: rotate a spin by 2π2\pi in one arm of an interferometer and leave the other alone, and the relative sign shifts the fringes — seen with neutrons. The sphere returns; the ket needs a full 4π4\pi to truly come home.

Is the rotation axis of a gate the same thing as its eigenbasis?

Yes, exactly. The two eigenstates sit at the poles of the rotation axis, because a rotation fixes precisely the points on its axis (up to phase). If the eigenvalues are eiλ±e^{i\lambda_\pm}, the axis points along the eigenstate with the larger phase and the angle is θ=λ+−λ−\theta=\lambda_+-\lambda_-. So "diagonalise the gate" and "find its Bloch axis and angle" are the same computation: diagonalising hands you the eigenvectors (the poles) and eigenvalues (whose phases differ by the angle). A Pauli ZZ, diagonal in {∣0⟩,∣1⟩}\{|0\rangle,|1\rangle\}, therefore has axis z^\hat z.

Why is conjugation UVU† the same as rotating V's axis by U?

Because the map from gates to rotations is a group homomorphism. If VV rotates by RVR_V and UU by RUR_U, then UVU†UVU^{\dagger} rotates by RURVRU−1R_UR_VR_U^{-1} — the change-of-frame formula: the rotation RVR_V performed about the axis RUR_U has moved VV's axis to. Conjugating keeps the angle but transports the axis by UU's rotation. This is why HZH=XHZH=X is simply "Hadamard swings the zz-axis onto the xx-axis", and every Clifford conjugation of a Pauli is a permutation of coordinate axes, provable by moving one arrow rather than multiplying matrices.

Why does this only work for one qubit — is there a Bloch sphere for two?

The clean "state is a point, gate is a rotation" picture is special to a single qubit, where the pure-state space after dropping global phase is the two-sphere and SU(2)SU(2) double-covers SO(3)SO(3). Two qubits have a six-dimensional pure-state manifold (CP3\mathbb{CP}^3) and unitaries in SU(4)SU(4), for which no faithful three-dimensional sphere exists — entanglement has nowhere to sit on two separate spheres. You can still draw each qubit's reduced state as a Bloch vector, but entangled states then have short vectors (each qubit looks mixed) and the correlations vanish from view. The Bloch sphere is a single-qubit tool.

How do experimentalists actually apply a rotation R_n(θ) to a qubit?

By a resonant pulse. A drive tuned to the qubit frequency, viewed in the rotating frame, appears as a static effective field about which the qubit precesses. The angle θ\theta is the pulse area — the time integral of the drive amplitude — so a longer or stronger pulse turns further. The axis n^\hat n lies in the equatorial plane at an azimuth equal to the drive phase, so a 90°90° phase shift swaps an RxR_x for an RyR_y. Rotations about z^\hat z are usually done virtually, by relabelling the phase of later pulses, which costs no time and is essentially error-free — one reason RzR_z is a preferred native gate.

Before this

Where this leads