Bloch Sphere for Quantum Information
Short Definition
Section titled “Short Definition”The Bloch ball is an exact three-real-parameter representation of every one-qubit density operator:
The vector is the Bloch vector. Pure states lie on the unit sphere , mixed states lie inside it, and the maximally mixed state is the center. Its components are experimentally meaningful Pauli expectation values:
In quantum information, the picture is more than a state visualization. It is an operational dictionary:
- a state corresponds to its vector ;
- a projective measurement corresponds to an axis ;
- a one-qubit unitary corresponds to a proper rotation of ;
- a one-qubit channel corresponds to an affine map .
This page owns that operational QI dictionary. Bloch Sphere Geometry owns the coordinate geometry, Bloch Sphere for Spin owns the spinor and SU(2) interpretation, and Bloch Sphere for Density Operators derives the mixed-state ball from density-matrix positivity.
From a Density Matrix to Three Measurable Numbers
Section titled “From a Density Matrix to Three Measurable Numbers”Pauli expansion
Section titled “Pauli expansion”The identity and Pauli matrices form an orthogonal basis for operators under the Hilbert–Schmidt inner product:
Consequently, every trace-one Hermitian matrix has a unique expansion
The coefficients are recovered by traces:
In the computational basis,
Thus is the computational-basis population imbalance, while and encode the real and imaginary parts of the coherence. A basis label such as is a convention fixed by the chosen encoding and control frame. It need not be a literal spatial direction.
Positivity makes a ball
Section titled “Positivity makes a ball”The eigenvalues of are
The condition is therefore exactly
The purity is
It ranges from at the center to on the surface. The radius measures purity for a one-qubit state; it does not by itself identify a temperature, a noise source, or a preparation procedure.
Pure states on the surface
Section titled “Pure states on the surface”After choosing the computational basis, a pure state can be parameterized as
Its Bloch vector is
The polar angle controls the population imbalance, and the azimuthal angle records relative phase. Global phase is absent because the density operator
is unchanged by . The derivation from normalized rays is given in Bloch Sphere for Spin and Projective Hilbert Space.
Six cardinal states
Section titled “Six cardinal states”The eigenstates of , , and define six useful reference points.
| Direction | State | Pauli eigenvalue |
|---|---|---|
These states are common calibration targets. The names , , and refer to Pauli coordinates in the logical frame. A hardware implementation must establish which pulses and readout settings realize those coordinates.
Mixed States and Convexity
Section titled “Mixed States and Convexity”If preparations occur with classical probabilities , the averaged state is
Bloch vectors average in the same way:
The Bloch ball is therefore convex. Mixing surface points produces an interior point unless all weight lies on the same pure state.
The decomposition is not unique. For example,
and
Both ensembles give . A point in the ball specifies the density operator, not a unique story about which pure state “really occurred.” It can also be the reduced state of a qubit entangled with another system, with no ignorance ensemble preferred by the formalism.
The Bloch representation organizes three one-qubit tasks. A projective measurement compares the state vector with an axis . A unitary rotates the ball rigidly, preserving radii and angles. A noisy channel acts affinely as and can contract, distort, or translate the accessible region. Not every affine map taking the ball into itself is automatically a completely positive quantum channel.
Measurement Axes
Section titled “Measurement Axes”Projective measurement along an axis
Section titled “Projective measurement along an axis”For a unit vector , the observable
has eigenvalues . Its projectors are
The Born rule gives
The expectation value is the signed projection
This is the operational meaning of the angle between the state and measurement vectors. Parallel pure-state and measurement axes give a certain outcome; antiparallel axes give a certain outcome; perpendicular axes give equal probabilities.
State axes and measurement axes are different objects
Section titled “State axes and measurement axes are different objects”The same three-dimensional coordinates describe a state vector and a measurement direction, but they play different roles. The state belongs to the preparation model. The axis belongs to the measurement effect. If both are unknown, observed probabilities alone do not determine which one is miscalibrated.
A real detector may be biased or unsharp. A binary effect can be expanded as
with positivity constraints on and . The resulting probability
need not correspond to an ideal projective axis. Measurement Tomography owns reconstruction of unknown detector effects.
One-Qubit State Tomography
Section titled “One-Qubit State Tomography”If ideal , , and measurements are calibrated, repeated outcomes estimate
For counts and in basis ,
These estimates fluctuate. Independent linear inversion can produce
which corresponds to no positive density operator. This is not evidence for a state outside quantum mechanics; it is a sign that statistical noise and model assumptions must be handled. Constrained least squares, maximum likelihood, or Bayesian estimation can enforce physicality, but the estimator then has its own bias and uncertainty properties.
Tomography also inherits calibration error. If state preparation and measurement are both imperfect, a reconstructed vector can absorb errors from either side. A complete report states:
- the preparation and measurement model;
- shots per setting and uncertainty intervals;
- drift monitoring and data-selection rules;
- the estimator and positivity constraint;
- readout correction or calibration procedure;
- whether quoted fidelity is raw, corrected, or model dependent.
Three Pauli settings are informationally complete for one-qubit state tomography, but tomography scales poorly for many qubits. An arbitrary -qubit density matrix has real parameters. The single-qubit sphere does not remove that scaling.
Rotations and Gates
Section titled “Rotations and Gates”Unitary gates rotate the ball
Section titled “Unitary gates rotate the ball”Ignoring an overall phase, every one-qubit unitary can be written
Conjugation by maps
to a real-space rotation of the Bloch vector:
The rotation preserves
so a unitary cannot purify or mix an isolated qubit. It moves pure states along the surface and mixed states on a sphere of fixed radius.
The factor of in the exponential matters. A Bloch-vector rotation by angle is generated by . The underlying spinor changes sign under a rotation, while its density operator and Bloch vector return after . Spin Rotations owns the SU(2)-to-SO(3) derivation.
Familiar gates as rotations
Section titled “Familiar gates as rotations”Up to global phase:
| Gate family | Bloch action |
|---|---|
| Rotation by about | |
| Rotation by about | |
| Rotation by about | |
| Rotation by about | |
| Rotation by about | |
| Rotation by about | |
| Rotation by about , up to phase |
Single-Qubit Gates owns gate matrices, phase conventions, Euler decompositions, native controls, and compilation distinctions. Here the sphere provides the geometric action.
Schrödinger and Heisenberg pictures
Section titled “Schrödinger and Heisenberg pictures”One may rotate the state while holding the measurement axis fixed:
or hold the state fixed and rotate the observable oppositely:
The probability is unchanged because
This distinction is practical. A laboratory may implement an measurement by applying a basis-change pulse and then using a fixed readout. Whether the diagram shows a rotated state or rotated measurement axis depends on the chosen description.
Composition order
Section titled “Composition order”Rotations generally do not commute:
On a state column, the rightmost gate acts first. Bloch diagrams can hide this convention when arrows are drawn without an explicit time order. For pulse sequences, state the active rotation convention, axis orientation, and multiplication order.
Noisy Channels as Affine Maps
Section titled “Noisy Channels as Affine Maps”Every trace-preserving linear map on one-qubit operators acts affinely on the Bloch vector:
where is a real matrix and . A physical quantum channel must be completely positive as well as trace preserving; this imposes constraints stronger than merely mapping the Bloch ball into itself.
A channel is unital when
In Bloch coordinates this means
Unital channels leave the center fixed, though they may contract or anisotropically distort the ball. Nonunital channels translate the center.
Dephasing
Section titled “Dephasing”Define the dephasing family
Its Bloch action is
At , transverse coherence vanishes and the sphere collapses to the -axis segment. Populations are unchanged. Negative includes an additional phase inversion; in many dynamical dephasing models decays from toward . Dephasing Channel owns the Kraus, master-equation, and coherence-time treatments.
Depolarization
Section titled “Depolarization”For the convention
the Bloch vector transforms isotropically:
The ball contracts toward the center. Other sources use different depolarizing parameters, so the channel definition should accompany any quoted error probability.
Amplitude damping
Section titled “Amplitude damping”With chosen as the ground state and damping probability ,
This channel contracts and translates the ball toward . It is not unital because
Amplitude-Damping Channel gives the canonical channel derivation and physical interpretation.
A picture is not a complete process certification
Section titled “A picture is not a complete process certification”Drawing an ellipsoid inside the ball is useful but insufficient to certify a channel. Complete positivity constrains the allowed contractions and translations, and correlated initial states can invalidate a state-independent reduced channel model. Process tomography additionally depends on trusted preparations and measurements. The Quantum Channels and Noise volume section owns Kraus, Choi, and Stinespring representations and their consistency conditions.
Geometric Diagnostics
Section titled “Geometric Diagnostics”Several one-qubit quantities become elementary functions of Bloch vectors.
Trace distance
Section titled “Trace distance”For qubit states and with vectors and ,
Thus optimal one-shot distinguishability is related to Euclidean separation in the ball. Antipodal pure states have distance and are orthogonal. The canonical definition and operational theorem are in Trace Distance.
Fidelity
Section titled “Fidelity”Using the squared Uhlmann-fidelity convention,
If is pure, this reduces to
Some sources call the fidelity, so conventions must be stated. Fidelity fixes the site’s formula convention.
Entropy and radius
Section titled “Entropy and radius”Because the eigenvalues are with , the von Neumann entropy is
where is binary entropy. Entropy decreases monotonically from one bit at the center to zero on the surface. This simple radial dependence is special to one qubit.
Worked Operational Examples
Section titled “Worked Operational Examples”Ramsey phase as azimuthal motion
Section titled “Ramsey phase as azimuthal motion”Prepare , apply a pulse about , and obtain the state. A relative phase accumulation
rotates the vector to
An measurement gives
while a measurement gives
The phase is invisible to a direct measurement because throughout. This is why a final analysis pulse is needed to convert phase into a population difference.
Dephasing as loss of contrast
Section titled “Dephasing as loss of contrast”If the same equatorial state undergoes ,
Ramsey fringe contrast is multiplied by . The radial contraction summarizes the loss of coherence for this state family, but it does not by itself identify whether the cause was stochastic detuning, entanglement with an environment, averaging over drift, or another mechanism.
A calibrated measurement
Section titled “A calibrated measurement”Suppose a prepared state has
which is pure because . Measuring along
gives
The near-certain outcome reflects geometric alignment, not simultaneous pre-existing and values.
Limitations of the Picture
Section titled “Limitations of the Picture”It is exact only for one qubit
Section titled “It is exact only for one qubit”An -qubit density matrix requires real parameters. One may draw a reduced Bloch vector for each qubit, but those vectors omit correlations and entanglement. For the Bell state
each qubit has , yet the joint state is pure and maximally entangled. Two centered local balls do not describe the global state.
Generalized Bloch vectors are not ordinary balls
Section titled “Generalized Bloch vectors are not ordinary balls”For a qudit, one can expand a state in traceless generators. Positivity does not fill a simple Euclidean ball when . The elegant equivalence
is special to under the standard normalization.
Axes require conventions and calibration
Section titled “Axes require conventions and calibration”The axis usually names the computational basis, but whether is north or south, ground or excited, horizontal or vertical polarization is conventional. Rotating-frame phases determine laboratory and . A diagram without those conventions may reverse signs or rotation directions.
A trajectory does not identify a mechanism
Section titled “A trajectory does not identify a mechanism”The same visible path can arise from a Hamiltonian, a time-dependent control frame, postselection, or a noisy channel. A shrinking vector signals reduced one-qubit purity, but not a unique microscopic environment. Mechanistic claims require a declared dynamical model and independent tests.
A point is not an ensemble decomposition
Section titled “A point is not an ensemble decomposition”Interior points do not reveal which classical mixture produced them. They may also be reduced states of entangled systems. The ball captures all one-qubit measurement statistics, not a hidden decomposition.
The sphere does not make noncommuting observables classical
Section titled “The sphere does not make noncommuting observables classical”The coordinates , , and are expectation values measurable on separate, similarly prepared systems. They are not three jointly readable values carried by one specimen. Uncertainty and measurement disturbance remain.
Common Mistakes
Section titled “Common Mistakes”- Calling every point in the ball a pure state; only the surface is pure.
- Treating the Bloch vector as the state vector in .
- Forgetting that global phase is absent but relative phase sets the azimuth.
- Interpreting logical , , and as literal laboratory directions without an encoding map.
- Using without checking complete positivity.
- Inferring a calibrated state from data when the measurement axes are themselves unknown.
- Comparing depolarizing or dephasing parameters without checking conventions.
- Using local Bloch vectors as a complete description of a multi-qubit state.
- Treating linear-inversion estimates with as physical states.
- Assuming a shrinking vector identifies one unique decoherence mechanism.
Exercises
Section titled “Exercises”1. Reconstruct a state from Pauli data
Section titled “1. Reconstruct a state from Pauli data”Ideal measurements give
Find the Bloch vector and density matrix. Is the estimate physical?
Solution
For a Pauli measurement,
Therefore
Its length is
so it is physical. The density matrix is
Equivalently,
2. Diagnose an unphysical linear estimate
Section titled “2. Diagnose an unphysical linear estimate”Tomographic linear inversion gives
Why is this not a valid qubit state, and what should an analyst do?
Solution
The squared length is
The smaller eigenvalue
is negative, so the reconstructed matrix is not positive semidefinite.
The analyst should not simply interpret the vector as “more than pure.” They should retain the raw counts, quantify statistical and calibration uncertainty, and use a documented physical estimator such as constrained least squares, maximum likelihood, or a Bayesian method. The choice of estimator and correction procedure must be reported.
3. Measure along a tilted axis
Section titled “3. Measure along a tilted axis”A qubit is in the state, . It is measured along
Find and .
Solution
The dot product is
Hence
Numerically, and .
4. Follow a gate rotation
Section titled “4. Follow a gate rotation”The initial Bloch vector is . Apply
Find the final state and the probabilities of , , and outcomes.
Solution
A positive rotation about sends to :
The final state is
up to global phase. Therefore
5. Dephasing and purity
Section titled “5. Dephasing and purity”The state passes through with . Find its output Bloch vector and purity. Evaluate the result at and .
Solution
The input vector is , so
Its purity is
At , the state remains pure with purity . At , the output is the center of the equatorial chord,
with purity . Complete dephasing of the equal superposition produces an equal incoherent mixture of and .
6. Show that amplitude damping is nonunital
Section titled “6. Show that amplitude damping is nonunital”Apply amplitude damping with probability to the maximally mixed state. Find the output vector and explain why the result proves the channel is nonunital.
Solution
The maximally mixed input has
Using the affine map,
Thus
For , this is not . Equivalently,
The channel translates the center toward the ground-state pole and is nonunital.
Where to Go Next
Section titled “Where to Go Next”- Information-Theoretic Foundations routes a one-qubit geometry question among carrier, state-validity, measurement, entropy, and resource owners before a specialized calculation begins.
- Bits, Qubits, Qudits, and Modes distinguishes the abstract qubit from its physical and logical realizations.
- Density Operators for Quantum Information extends the one-qubit picture to ensembles, reduced systems, instruments, state metrics, and numerical workflows.
- Bloch Sphere for Density Operators derives the ball, purity, and measurement formulas from density-operator structure.
- Bloch Sphere for Spin develops spinors, SU(2), SO(3), and physical spin directions.
- Bloch Sphere Geometry supplies the Pauli-coordinate mathematics.
- Pauli Matrices gives the matrix basis and algebra used throughout.
- BB84 uses the four states on the and axes as a prepare-and-measure key-distribution alphabet.
- Quantum Channels and Noise develops completely positive maps beyond the affine picture.
- Dephasing Channel and Amplitude-Damping Channel give canonical noise models.
- Measurement Tomography treats the inverse problem in which detector effects, rather than the input state, are unknown.
- State Tomography develops the statistical reconstruction workflow, physical estimators, uncertainty, SPAM limits, and many-qubit scaling beyond the geometric one-qubit example.
- Quantum Information Roadmap places states, gates, measurements, channels, and error correction in sequence.
References
Section titled “References”- F. Bloch, “Nuclear induction,” Physical Review 70, 460–474, 1946, doi:10.1103/PhysRev.70.460.
- U. Fano, “Description of states in quantum mechanics by density matrix and operator techniques,” Reviews of Modern Physics 29, 74–93, 1957, doi:10.1103/RevModPhys.29.74.
- M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, 10th anniversary ed., Cambridge University Press, 2010, doi:10.1017/CBO9780511976667.
- J. Watrous, The Theory of Quantum Information, Cambridge University Press, 2018, doi:10.1017/9781316848142.
- I. Bengtsson and K. Życzkowski, Geometry of Quantum States, 2nd ed., Cambridge University Press, 2017, doi:10.1017/9781139207010.
- J. Preskill, Lecture Notes for Physics 219/Computer Science 219: Quantum Computation, California Institute of Technology, course materials.
- D. F. V. James, P. G. Kwiat, W. J. Munro, and A. G. White, “Measurement of qubits,” Physical Review A 64, 052312, 2001, doi:10.1103/PhysRevA.64.052312.
- M. G. A. Paris and J. Řeháček, eds., Quantum State Estimation, Springer, 2004, doi:10.1007/b98673.
- M. B. Ruskai, S. Szarek, and E. Werner, “An analysis of completely-positive trace-preserving maps on ,” Linear Algebra and its Applications 347, 159–187, 2002, doi:10.1016/S0024-3795(01)00547-X.
- A. Fujiwara and P. Algoet, “One-to-one parametrization of quantum channels,” Physical Review A 59, 3290–3294, 1999, doi:10.1103/PhysRevA.59.3290.
- A. Gilchrist, N. K. Langford, and M. A. Nielsen, “Distance measures to compare real and ideal quantum processes,” Physical Review A 71, 062310, 2005, doi:10.1103/PhysRevA.71.062310.
- R. Blume-Kohout, “Optimal, reliable estimation of quantum states,” New Journal of Physics 12, 043034, 2010, doi:10.1088/1367-2630/12/4/043034.
- S. T. Merkel, J. M. Gambetta, J. A. Smolin, S. Poletto, A. D. Córcoles, B. R. Johnson, C. A. Ryan, and M. Steffen, “Self-consistent quantum process tomography,” Physical Review A 87, 062119, 2013, doi:10.1103/PhysRevA.87.062119.
Summary
Section titled “Summary”The Bloch ball gives an exact operational coordinate system for one qubit. A state is represented by with ; pure states lie on the surface, and mixed states lie inside. An ideal projective measurement along has probabilities . Three calibrated Pauli measurements reconstruct the state, subject to finite-sample and calibration uncertainty.
One-qubit unitaries rotate the ball rigidly. General channels act affinely as , with complete positivity constraining the allowed deformation. Dephasing contracts transverse components, depolarization contracts isotropically, and amplitude damping contracts and translates toward the ground-state pole. The picture is exact for one qubit but does not encode multi-qubit correlations, choose an ensemble decomposition, certify a channel, or replace calibration and uncertainty analysis.