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 and the arrow has polar angle and azimuth ; the north pole is , the south pole , 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 . A special-unitary acts on Bloch vectors by conjugation, , where is a genuine rotation and are the Pauli matrices. The kernel is exactly — the freedom of global phase — so and paint the same picture. The generator is , and the factor of two in is the spinor double cover: a full 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.
- A single-qubit pure state is a point on the unit Bloch sphere, ↔ ; mixed states fill the interior.
- Up to global phase, every single-qubit unitary is a rotation of the sphere about axis by angle .
- The gate-to-rotation map is the 2-to-1 homomorphism with kernel , so give the same rotation; global phase is invisible.
- are -turns about ; are -turns of ; Hadamard is a -turn about the diagonal .
- Rotations do not commute; a product's axis and angle follow the half-angle law, and is the spinor sign flip.
- Key idea: up to global phase a single-qubit gate is exactly a rotation of the Bloch sphere; the gate's eigenvectors are the poles and its eigenphase difference is the angle .
Up to global phase, a single-qubit unitary is exactly a rotation of the Bloch sphere about axis by angle ; the gate's eigenvectors sit at the poles and its eigenphase difference is .
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 with the angle set by the pulse area and the axis 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 (a virtual phase, zero pulse time and essentially exact) with the fixed half-turn of worked example 2, and a compiler builds any single-qubit gate from an –––– 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 densely fill , so a Hadamard and a 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 and the amount of turning is the angle — 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 , left untouched except for a rephasing that between them is exactly . So "diagonalise the gate" and "find its Bloch axis and angle" are one task.
Because the state vector lives in while the observable arrow lives in , there is a built-in factor of two: turning the sphere by advances the state vector through in the exponential. Run the sphere around by 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: is with its axis rotated by — why (Hadamard swings onto ) and why Clifford sandwiches merely permute the Pauli axes.
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.
where: — polar angle, ; — azimuthal angle, ; — unit Bloch vector. Reading it: the poles () are and , and the half-angle 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.
where: — density operator; — Pauli matrices; — Bloch vector, pure, mixed, maximally mixed. Reading it: purity is , so length on the sphere measures how pure the state is. A rotation by angle about axis 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.
where: — unit axis; — rotation angle; — a traceless Hermitian involution. Reading it: is fixed and the poles are eigenvectors with eigenvalues , whose phase difference is . 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 homomorphism, derived below.
where: — special-unitary representative; — the real rotation it induces. Reading it: 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.
where: — unobservable global phase, the same Bloch rotation as . Reading it: the kernel is , 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.
where: — global phase carried by ; — recovered angle; — axis components, defined when . Reading it: if then and the axis is undefined, as a do-nothing rotation should be. Products of rotations obey a half-angle law — multiplication in axis–angle form — the cross-product term encoding non-commutativity.
where: ; — net angle; — cosine between the axes. Reading it: for parallel axes the last term vanishes and angles add (why all -rotations commute); for perpendicular axes the net axis tilts out of both.
The goal is to show that the operator exponential — a formally infinite power series of matrices — sums exactly to the closed form , and that the only property doing the work is that squares to the identity. This one algebraic fact stands behind every named-gate identity in the article.
Step 1. Square the generator. Using , , since the symmetric part gives and the antisymmetric part vanishes against symmetric . Why: an operator whose square is behaves in an exponential exactly like the imaginary unit in , forcing a cosine–sine answer.
Step 2. Split by parity. With , the series has even powers and odd powers , separating into an -part and an -part. Why: only makes every even power the identity and every odd power , so no other matrix survives.
Step 3. Resum. The even series is and the odd series is , giving . Why: these are the Taylor series of cosine and sine, with and standing in for the real and imaginary units.
Go deeper · Derivation B · 1 minThe 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 on is orthogonal with determinant one — and that the only unitaries acting trivially are , 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 ; it is traceless and Hermitian, and the three Paulis are a real basis of such matrices, so is a linear isomorphism of with the traceless Hermitian 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 , and is Hermitian, so it equals for some real ; defining by gives a linear map on . Why: preserving trace and Hermiticity keeps the output a legitimate Bloch vector, so is well defined.
Step 3. Show is a proper rotation. Since is conjugation-invariant, , so is orthogonal; and connecting to by a path in along which starts at forces , giving . Why: length preservation forces orthogonality, connectedness rules out reflections.
Step 4. Find the kernel. If then for all traceless Hermitian , so commutes with all three Paulis and is a scalar ; forces . 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
The goal is a practical recipe: given an arbitrary unitary , 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 and , so and while and paint the identical rotation. Why: only the special-unitary representative has the clean cosine–sine form, and is invisible on the sphere anyway.
Step 2. Angle from the trace. Since and Paulis are traceless, , so . Why: the axis part contributes nothing to the trace, so it isolates the angle.
Step 3. Axis from the Pauli projections. Using , , so when ; if then and the axis is undefined. Why: projecting onto each Pauli extracts that component, and the sine fails exactly when there is no rotation to orient.
Step 4. Test on . Writing gives , so , and only , so — a quarter-turn about . Why: recovering 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:
| Case | Result | Meaning |
|---|---|---|
| Pauli | -turn about ; swaps the poles, exchanging and . The is global phase. | |
| Pauli | -turn about ; sends up to phase while fixing as poles. | |
| Pauli | -turn about ; maps while fixing . | |
| Phase gate | quarter-turn () about ; rotates the equatorial – plane by . | |
| gate | eighth-turn () about ; the irrational-angle generator behind Clifford+ universality. | |
| Hadamard | -turn about the – diagonal; swaps and , hence the computational and Hadamard bases. | |
| Identity | no rotation; axis undefined, the boundary. |
Worked examples
1 · Composing two quarter-turns into a body-diagonal rotation (fully worked)
Apply then ; the circuit unitary is (right-most acts first). Find its axis and angle.
Step 1. In cosine–sine form, with : and .
Step 2. Net angle from the scalar law (7) with . The axes are perpendicular, , so , giving and the net angle .
Step 3. Net axis. Multiplying, , and gives . Matching with gives .
Step 4. Interpret. A turn about a body diagonal cyclically permutes the coordinate axes; here it acts by conjugation as (with signs), the kind of Pauli-permuting operation the Clifford group is built from. Net result: with — two perpendicular quarter-turns make one diagonal third-turn, so rotations neither commute nor simply add.
2 · Extracting the axis and angle of the gate (fully worked)
The gate is hardware-native on many superconducting processors (the "SX" gate). Find its global phase, rotation angle, and axis.
Step 1. Strip the phase. , so and .
Step 2. Angle from the trace. , so . Thus and the rotation angle is — a quarter-turn, as the name demands.
Step 3. Axis from a Pauli projection. , so . The recipe with gives , so and the other projections vanish. The axis is .
Step 4. Assemble. , a quarter-turn about up to a phase. Applied twice, — genuinely a square root of the bit-flip, two turns making the turn.
3 · Why Hadamard swaps the two bases (axis argument)
Show geometrically that interchanges with . is a -rotation about the bisector of and . A -rotation about the bisector of two axes exchanges them (and flips the third): , , . The poles of are and those of are , so swapping the axes swaps the bases. , 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- nucleus in a field traces exactly the same geometry a qubit does under a gate.
Origins · 1 minFelix Bloch and how this was discovered
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- in a rotating frame turns about an axis set by the drive phase through an angle set by the pulse area — precisely . The mathematical backbone is older — Hamilton's quaternions (1843) are the algebra of , Cartan's spinors (1913) the objects that change sign under a 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.
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 follows from ; the homomorphism and kernel are classical results; the named-gate identities , , , , , , and follow by direct exponentiation; and the worked-example results and 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 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 while the observable Bloch arrow lives in , 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 turns the arrow by the full . Setting makes the induced angle come out to exactly . The half-angle is the fingerprint of the double cover, and forgetting it makes a Pauli — a full -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 turn, so anything measurable about a single isolated qubit is unchanged. But the state vector is multiplied by : . This spinor sign is invisible for one qubit, yet becomes measurable in interference: rotate a spin by 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 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 , the axis points along the eigenstate with the larger phase and the angle is . 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 , diagonal in , therefore has axis .
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 rotates by and by , then rotates by — the change-of-frame formula: the rotation performed about the axis has moved 's axis to. Conjugating keeps the angle but transports the axis by 's rotation. This is why is simply "Hadamard swings the -axis onto the -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 double-covers . Two qubits have a six-dimensional pure-state manifold () and unitaries in , 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 is the pulse area — the time integral of the drive amplitude — so a longer or stronger pulse turns further. The axis lies in the equatorial plane at an azimuth equal to the drive phase, so a phase shift swaps an for an . Rotations about are usually done virtually, by relabelling the phase of later pulses, which costs no time and is essentially error-free — one reason is a preferred native gate.