Quantum state tomography

Quantum state tomography is an inference problem: it uses outcomes collected from many repeated preparations of a quantum system to estimate the state that best explains those outcomes. It is not a way to inspect one unknown specimen repeatedly. A measurement generally changes the measured system, so the usual model assumes that the experiment can prepare many approximately identical copies of the same state.

For a finite-dimensional system, a mixed state is represented by a density operator $\rho$ satisfying

$$\rho ⪰0,\mathrm{Tr}(\rho )=1.$$

A measurement with outcomes $k$ is represented by a positive-operator-valued measure (POVM) $\{E_k\}$, where $E_k⪰0$ and ${\sum }_k{E}_k=I$. The Born rule connects the unknown state to observable probabilities:

$$p(k\mid \rho )=\mathrm{Tr}(\rho E_k).$$

A collection of measurements is informationally complete for a chosen state model when its exact outcome probabilities uniquely determine every state allowed by that model. Real experiments provide finite outcome counts rather than exact probabilities, so tomography also needs a statistical estimator and an account of uncertainty. Straight linear inversion can return a matrix that is not positive semidefinite; constrained methods such as maximum-likelihood estimation enforce a physical density operator, but the estimator and its assumptions still affect the result.

Full-state reconstruction

Full tomography estimates the entire density operator. A general state in dimension $d$ has $d^2-1$ independent real parameters. For $n$ qubits, $d=2^n$, so this becomes $4^n-1$. The exponentially large description is the basic scaling obstacle: measurement design, the number of state preparations, storage, and reconstruction can all become costly as the system grows.

Parameter counting alone is not a universal sample-complexity formula. The required number of copies also depends on the state’s rank or other promised structure, the requested error metric and confidence, and whether measurements may act jointly on several copies. Low-rank or otherwise structured states can sometimes be reconstructed with fewer measurements, but those gains rely on assumptions that do not hold for an arbitrary state.

Estimating selected properties

Many experiments do not need a complete classical description of $\rho$. If the scientific question concerns a selected observable, fidelity, correlation function, or other property, estimating that target directly can be much cheaper than reconstructing every matrix element.

Shadow tomography, introduced by Scott Aaronson, formalizes one such task. Given an unknown $D$-dimensional state and a known list of two-outcome measurements $E_1,\dots ,E_M$, it estimates every acceptance probability $\mathrm{Tr}(\rho E_i)$ to a requested additive accuracy without first producing the full density matrix. Aaronson’s result needs only polylogarithmic dependence on $M$ and logarithmic dependence on $D$ in the number of copies, but a copy-complexity bound alone does not imply an efficient computation or an experimentally practical protocol.

Classical shadows are a related but distinct method. Randomized measurements produce compact classical snapshots that can later be reused to predict many observables. Their efficiency depends on the measurement ensemble and on how difficult the target observables are under the corresponding shadow norm; a logarithmic dependence on the number of target observables does not make every property independent of system size or equally easy to estimate.

Assumptions and limits

Tomography normally assumes repeated, sufficiently stable state preparation and a known measurement model. Preparation drift, correlations between trials, detector miscalibration, and other state-preparation-and-measurement errors can therefore create systematic bias that more repetitions will not remove. Finite sampling adds statistical uncertainty, while a restricted state model can give an apparently precise answer that is wrong when the real state falls outside that model.

State tomography estimates a state under an assumed preparation and measurement setup. It should not be confused with process tomography, which estimates a quantum channel, or detector tomography, which estimates the measurement itself.

Connections

Tomography is used to characterize states prepared in quantum simulation, diagnose noise relevant to quantum error correction, and test state-preparation platforms. Its practical value is therefore question-dependent: full reconstruction is useful for small systems and diagnostic work, while targeted estimators are usually the scalable choice when only a bounded set of properties matters.

References

• D’Ariano, Paris, and Sacchi, “Quantum Tomography” (2003) — reviews the measurement and statistical foundations of quantum tomography.
• Haah, Harrow, Ji, Wu, and Yu, “Sample-optimal tomography of quantum states” (2017) — derives sample-complexity bounds while making the dependence on dimension, rank, error measure, and measurement model explicit.
• Aaronson, “Shadow Tomography of Quantum States”, STOC 2018 — defines shadow tomography and proves its polylogarithmic dependence on the number of specified measurements.
• Huang, Kueng, and Preskill, “Predicting Many Properties of a Quantum System from Very Few Measurements”, Nature Physics 16 (2020) — introduces the classical-shadows protocol and observable-dependent prediction guarantees.