Quantum Phase Estimation
Short Definition
Section titled “Short Definition”Quantum phase estimation (QPE) estimates an eigenphase of a unitary operator. Given
standard QPE uses controlled powers of , phase kickback, and an inverse quantum Fourier transform to return an -bit estimate of .
QPE is not merely a way to read a phase already attached to an isolated state. An overall phase is unobservable. Controlled evolution converts the eigenphase into relative phases on a control register, where interference can reveal it. The algorithm is central to order finding, energy estimation, quantum counting, amplitude estimation, and many spectral algorithms.
This page is the canonical home for the eigenphase problem, the standard circuit, its exact probability law, precision guarantees, iterative variants, and resource accounting. The dedicated Phase Kickback page owns the general phase-transduction contract, while Algorithmic Primitives owns the broader algorithm-composition language.
The Eigenphase Contract
Section titled “The Eigenphase Contract”The ideal input contract contains more than the equation :
- a procedure prepares the eigenstate , or a state with stated overlap on relevant eigenspaces;
- controlled implementations of are available for the required integers ;
- the phase convention and interval are fixed;
- a target accuracy and failure probability are specified;
- the cost model says whether powers are primitive calls, repeated base operations, or simulated evolution for longer times.
These assumptions determine whether QPE is useful. The inverse Fourier transform can be modest compared with preparing a good eigenstate or implementing the largest controlled power.
Phase is defined modulo one
Section titled “Phase is defined modulo one”The eigenvalue determines
QPE cannot distinguish from for integer . For Hamiltonian energies, this becomes an aliasing interval that must be resolved using an energy promise, an offset, or several evolution times.
Controlled access is a separate capability
Section titled “Controlled access is a separate capability”An uncontrolled implementation of does not automatically supply a cheap controlled-. The controlled operation must preserve a coherent distinction between “apply ” and “do nothing.” If is given as a known gate sequence, its gates can often be controlled with additional synthesis cost. If is generated by a Hamiltonian, a controlled simulation protocol must be designed.
This distinction also fixes the phase origin. Replacing by changes no unconditional experiment, but controlled- makes a relative phase on the control. The physical implementation, not only the abstract channel induced by , therefore matters.
Controlled Operations owns the generic semantic and evidence audit for that access assumption; this page retains the powered-access contract, phase-estimation algorithm, precision guarantees, and resource costs.
Phase Kickback from Powered Unitaries
Section titled “Phase Kickback from Powered Unitaries”Phase Kickback owns the base common-eigenstate identity, target-return test, relative-phase convention, and phase-sensitive readout. This section specializes that licensed mechanism to powered unitaries, a multi-qubit phase-gradient register, and the precision and resource obligations of QPE.
Begin with one control qubit in and the target eigenstate:
A controlled- produces
The target returns to the same eigenstate. Its eigenphase has become a measurable relative phase on the control. Using powers interrogates successively finer binary scales of .
For control qubits, let the computational-basis integer be
Prepare every control in and apply controlled- from control . The joint state becomes
The control register is a discrete phase-gradient state. The target factors out because it is an eigenstate.
For three control qubits, controlled , , and encode the eigenphase at binary scales. The inverse QFT concentrates the phase gradient into an estimate ; the target eigenstate is preserved ideally.
The Inverse Quantum Fourier Transform
Section titled “The Inverse Quantum Fourier Transform”Let . The Quantum Fourier Transform page owns the circuit construction, swaps, abstract resource count, and approximation cutoff. This page fixes the convention used by the phase decoder:
If the phase has an exact -bit representation,
then the control state is exactly . Applying gives
Measurement returns the binary digits of with certainty in the ideal circuit.
Different circuit diagrams reverse qubit order or attach to wires in the opposite vertical order. Some QFT circuits include explicit final swaps; others absorb bit reversal into classical interpretation. The safe convention is to define the integer , the Fourier sign, and the output bit order algebraically.
The QFT is a decoder, not a spectrum dump
Section titled “The QFT is a decoder, not a spectrum dump”The inverse QFT converts one coherently encoded phase into a concentrated measurement distribution. It does not print a classical list of all eigenphases or Fourier coefficients. One run returns one -bit string.
An exact inverse QFT on qubits uses order one- and two-qubit gates in the standard decomposition. Small controlled rotations can be omitted in an approximate QFT, reducing gate count while adding a controlled approximation error. The classical fast Fourier transform is related mathematically but acts on an explicitly stored classical vector and has a different input-output contract.
The Probability Distribution for an Inexact Phase
Section titled “The Probability Distribution for an Inexact Phase”Most phases are not exactly representable with bits. After the inverse QFT, the amplitude of outcome is
Summing the geometric series gives
with the continuous limit when . Therefore
This is a periodic finite-resolution kernel sharply peaked near . Its side lobes are real algorithmic probability, not numerical noise.
Nearest-bin guarantee
Section titled “Nearest-bin guarantee”Let be the integer nearest to , interpreted around the phase circle. Then
Using elementary sine bounds in the probability formula gives
This lower bound is conservative. Repetition raises confidence, and retaining nearby outcomes can give a larger useful success probability.
Guard bits
Section titled “Guard bits”Suppose the goal is bits of phase accuracy with failure probability at most . A standard sufficient choice is to run QPE with
control qubits, then round or discard the extra low-significance bits. The added bits narrow the Fourier kernel relative to the requested -bit bin. The bound is sufficient rather than always tight; an application should state its exact acceptance interval and postprocessing.
Worked Examples
Section titled “Worked Examples”An exactly representable phase
Section titled “An exactly representable phase”Take
and . After controlled powers, the control state is
The inverse QFT produces
with probability one, subject to the chosen output-bit convention.
A phase between binary grid points
Section titled “A phase between binary grid points”Let and , so . The nearest grid points are and . The probability formula gives approximately
The two nearest outcomes together carry about probability. Reporting only the mode gives an error of ; retaining the full likelihood conveys the finite-resolution uncertainty more honestly.
Input States That Are Not Eigenstates
Section titled “Input States That Are Not Eigenstates”Suppose the target is
Linearity gives, schematically,
where denotes the finite-resolution estimate distribution centered on . Measuring the control samples eigenphase with probability approaching when the peaks are well resolved. The target is correspondingly projected toward the associated eigenspace.
Consequences:
- QPE does not preferentially find the ground state unless the input has substantial ground-state overlap.
- An eigenvalue absent from the input state cannot appear.
- Degenerate eigenvectors sharing one phase are not distinguished; the measurement projects onto their common eigenspace.
- Eigenphases separated by less than the achieved resolution produce overlapping distributions.
- Repeating until a rare eigenvalue appears costs order state preparations unless another coherent amplification mechanism is available.
This is an approximate implementation of the spectral-measurement logic developed in Spectral Decomposition and Projective Measurement.
Precision Costs Time
Section titled “Precision Costs Time”An -qubit control register requires powers through
There are only distinct controlled-power blocks, but that statement can hide their cost.
Three access models
Section titled “Three access models”| Access model | Cost assigned to | Consequence |
|---|---|---|
| powered-unitary oracle | one primitive call | strong model; the power oracle itself needs justification |
| repeated base unitary | calls to | total base calls are |
| Hamiltonian evolution | simulate time | cost normally grows with evolution time, norm, and target error |
Quantum Oracles owns the declaration of whether base, inverse, controlled, or powered unitary access is supplied and which conversions are licensed. QPE owns the phase gradient, precision and success guarantees, decoder, and coherent-time costs once that access record is fixed.
The Quantum Algorithms and Complexity chapter guide records three powered calls, seven repetition-equivalent base- interrogation units, maximum individual block duration four, and a standard-circuit coherent horizon of at least seven interrogation units plus decoding and other gates; these are not interchangeable resource statements.
Treating every as one elementary gate can create a fictitious exponential speedup. In order finding, modular arithmetic supplies efficient structured implementations of the powers. In energy estimation, long-time dynamics generally carry a correspondingly long physical or logical cost.
Total interrogation time
Section titled “Total interrogation time”If
then is evolution for time . The sum of controlled evolution times is
The phase resolution is order , so the energy resolution scales as order , up to constants and algorithmic errors. QPE trades coherent evolution time for spectral resolution; the -bit output does not arise from only polynomial interrogation time in .
Gate and error budget
Section titled “Gate and error budget”A complete error budget separates:
- target-state preparation error and eigenstate overlap;
- controlled-simulation error for each power;
- coherent over-rotations and phase bias;
- inverse-QFT approximation error;
- decoherence during the longest controlled evolution;
- measurement and feedforward errors;
- statistical failure from the finite-resolution distribution.
Errors in the largest powers are especially consequential because they encode the finest phase information. Synthesis cost for small inverse-QFT rotations may also be significant in a fault-tolerant gate set. Universal Gate Sets supplies that logical-to-native distinction.
Energy Estimation and Aliasing
Section titled “Energy Estimation and Aliasing”For a Hamiltonian eigenstate,
time evolution gives
Thus QPE can estimate only modulo . If a promised spectral interval is , a convenient shifted unitary is
Its phase is
without wrapping provided
The energy can then be reconstructed as
A smaller increases the unambiguous energy range but worsens the energy represented by one phase bin. A larger maximum evolution time improves resolution. Selecting , the offset, and is therefore one coupled design problem.
The Time-Evolution Operator fixes the physical sign convention. Product formulas are one possible implementation route: Trotter Product Formula derives the operator splitting, while Trotter–Suzuki Methods treats controlled-circuit cost and the resulting eigenphase or energy bias.
Iterative and Semiclassical Variants
Section titled “Iterative and Semiclassical Variants”The standard circuit stores all phase bits coherently and then applies an inverse QFT. Several variants trade qubit count against repetitions, feedback, and coherent duration.
Semiclassical inverse QFT
Section titled “Semiclassical inverse QFT”When the QFT is immediately followed by computational-basis measurement, controlled rotations within the inverse QFT can be replaced by sequential single-qubit measurements and classically controlled phase corrections. This is the Griffiths–Niu semiclassical Fourier transform.
It removes entangling gates from the final Fourier decoder and can permit control-qubit reuse. It does not remove the need for powered controlled- operations, a coherent target, or accurate feedforward.
Single-ancilla iterative phase estimation
Section titled “Single-ancilla iterative phase estimation”Iterative QPE reuses one control qubit. Each round applies a selected controlled power, adds a phase correction determined by previously inferred bits, and measures the control. The target eigenstate is retained for the next round or prepared again.
The width falls from control qubits to one, but:
- rounds are sequential;
- mid-circuit measurement and low-latency feedforward are required;
- an early bit error can corrupt later corrections;
- the largest controlled power and total interrogation time remain;
- repeated shots may be needed to make each bit reliable.
The two-qubit implementation studied by Dobšíček and collaborators is a standard concrete form of this idea.
Kitaev-style statistical estimation
Section titled “Kitaev-style statistical estimation”One-control experiments can estimate the quadratures of
for selected integers . A Hadamard test measures cosine; adding a quarter-cycle phase shift measures sine. Classical reconstruction combines these noisy modular-angle estimates.
This approach avoids a coherent multi-qubit inverse QFT and supports flexible statistical inference. It replaces coherent width with repeated experiments and a nontrivial phase-unwrapping problem. Bayesian, maximum-likelihood, and robust phase-estimation protocols refine this tradeoff for particular noise and prior-information models.
No variant makes precision free. They redistribute control qubits, circuit depth, shots, classical processing, and tolerance to noise.
Roles in Larger Algorithms
Section titled “Roles in Larger Algorithms”Order finding and Shor’s algorithm
Section titled “Order finding and Shor’s algorithm”For modular multiplication, relevant unitary eigenphases are rational numbers of the form
QPE samples an approximation to , and continued fractions can recover the order when the precision and number-theoretic conditions are sufficient. The input need not be one known eigenstate; it decomposes into eigenstates whose phases are sampled.
The crucial implementation fact is that controlled powers of modular multiplication can be built by repeated squaring and reversible arithmetic. They are not realized by naively repeating one enormous circuit times. QPE supplies period information, while the reduction from factoring to order finding, arithmetic, success analysis, and classical postprocessing belong to the full Shor Algorithm.
Quantum chemistry and many-body spectra
Section titled “Quantum chemistry and many-body spectra”Set to a simulated time-evolution operator and prepare a trial state with overlap on a molecular or many-body eigenstate. QPE can estimate the corresponding energy and project the target toward that eigenspace.
The difficult resources are often:
- preparing a sufficiently accurate trial state;
- simulating controlled dynamics for long times;
- resolving nearby levels;
- repeating when the desired overlap is small;
- implementing the algorithm fault tolerantly.
The phase-estimation subroutine alone does not establish an end-to-end speedup over the best classical method. Simulation of Quantum Chemistry and Simulation of Quantum Materials place these dependencies inside molecular and periodic or effective-model workflows, respectively. Quantum Algorithms for Chemistry and Materials compares this overlap- and precision-sensitive spectral route with variational and direct-dynamics alternatives; this page retains the generic phase-estimation kernel and coherent-time requirements.
Simulation, counting, and spectral transforms
Section titled “Simulation, counting, and spectral transforms”QPE appears whenever useful information is encoded in a unitary eigenphase:
- Hamiltonian simulation supplies so energies become phases.
- Quantum counting applies QPE to the Grover iterate, whose rotation angle encodes the number of marked items.
- Amplitude Estimation reuses this page’s generic single-phase kernel and powered circuit, then owns the conjugate Grover eigenphase mixture, the decoder, probability-error bound, and complete component ledger.
- Linear-system and spectral algorithms condition rotations or filters on estimated eigenvalues.
- Eigenstate filtering and projection use the phase register as a spectral label.
Hamiltonian Simulation specifies the access, normalization, controlled-query, energy-offset, and simulation-error contracts behind that first bullet. Those costs must be combined with the overlap, resolution, and decoding costs developed here. Qubitization and Quantum Signal Processing explains the alternative of phase-estimating a qubitized walk directly, including the two eigenphase branches and the conversion . Simulation of Quantum Chemistry connects those phase and simulation contracts to molecular integral conventions, active spaces, fermion encodings, state overlap, and chemical error budgets.
These compositions require more than citing QPE by name. Each must state how the eigenstate overlap, controlled powers, phase precision, and readout error enter the final task.
Common Mistakes
Section titled “Common Mistakes”- Saying QPE measures an unobservable global phase. Controlled evolution makes an eigenphase relative to a reference branch.
- Assuming any unknown black-box unitary can be controlled at no cost.
- Counting powered-unitary blocks while ignoring their exponents or evolution times.
- Claiming output bits imply only polynomial cost in .
- Expecting a deterministic bit string when is not on the -bit grid.
- Feeding an arbitrary state into QPE and calling the result its expectation value. QPE samples spectral components instead.
- Assuming QPE prepares the ground state even when the trial overlap is tiny.
- Ignoring phase wraparound when converting a phase to energy.
- Mixing Fourier-sign, wire-order, and binary-endianness conventions.
- Treating the inverse QFT as a classical readout of an entire spectrum.
- Reporting algorithmic precision without simulation, synthesis, decoherence, and failure-probability errors.
Resource Checklist
Section titled “Resource Checklist”Before using QPE, record:
- the unitary and eigenphase convention;
- the state-preparation method and relevant eigenstate overlaps;
- how controlled- is implemented;
- the largest power, total evolution time, and gate count;
- the phase interval, aliasing promise, and output-bit order;
- target accuracy and total failure probability;
- inverse-QFT or iterative-decoder approximation;
- simulation, synthesis, noise, and measurement errors;
- the classical postprocessing and final application output.
This is the phase-estimation specialization of the resource ledger in Claims, Hype, and Evidence Standards.
Exercises
Section titled “Exercises”1. Exact three-bit phase
Section titled “1. Exact three-bit phase”Let and use three control qubits. Show directly that the phase-gradient state equals and give the measured bit string after the inverse QFT.
Solution
The control state before the inverse QFT is
By the stated Fourier convention, this is exactly . Therefore
If a circuit omits final swaps, its physical wire order may display the reversed string; the decoded integer remains after applying the declared convention.
2. Derive the phase-gradient state
Section titled “2. Derive the phase-gradient state”Starting from , prove that controlled powers produce
Solution
Write a control string as with integer
On that branch, control applies only when . The total target operation is
Because is an eigenstate,
Summing over the equally weighted control strings gives the stated result.
3. Nearest-bin lower bound
Section titled “3. Nearest-bin lower bound”Let be nearest to , so . Use
for and for to prove .
Solution
By symmetry take . Since ,
Also,
Therefore the magnitude of the amplitude obeys
Squaring gives
At , the result follows by continuity and the probability is one.
4. Superposed eigenstates
Section titled “4. Superposed eigenstates”Suppose
where the two phases are exactly resolved by QPE. What are the phase-outcome probabilities and post-measurement target states?
Solution
Ideal QPE produces
The phase outcomes occur with probabilities and . Conditioned on outcome , the target is ; conditioned on , it is . The relative phase does not change these probabilities once the phase labels are orthogonal.
5. Choose an unaliased energy time
Section titled “5. Choose an unaliased energy time”The spectrum is promised to lie in . For
derive a condition on that prevents phase wraparound and give the energy reconstructed from .
Solution
An energy eigenstate acquires phase
with
All promised energies map into one phase interval without wrapping if
A sufficient condition is
Then
6. Count the hidden power cost
Section titled “6. Count the hidden power cost”Standard QPE uses powers . If each power is implemented by repeating , find the total number of base- calls and express it in terms of the phase resolution .
Solution
The total is the geometric sum
Since is order ,
Thus the control register grows only logarithmically with inverse precision, but repeated base-unitary use grows linearly with inverse precision.
7. One-control quadrature measurements
Section titled “7. One-control quadrature measurements”After a Hadamard and controlled-, the control is
Apply , then a Hadamard. Find for and .
Solution
After the phase correction, the relative angle is
The final Hadamard gives
For ,
For ,
Repeated samples therefore estimate the cosine and sine quadratures used in Kitaev-style iterative reconstruction.
References
Section titled “References”- A. Yu. Kitaev, “Quantum measurements and the Abelian stabilizer problem,” 1995, arXiv:quant-ph/9511026.
- R. Cleve, A. Ekert, C. Macchiavello, and M. Mosca, “Quantum algorithms revisited,” Proceedings of the Royal Society A 454, 339–354, 1998, doi:10.1098/rspa.1998.0164.
- M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, 10th anniversary ed., Cambridge University Press, 2010, doi:10.1017/CBO9780511976667.
- R. B. Griffiths and C.-S. Niu, “Semiclassical Fourier transform for quantum computation,” Physical Review Letters 76, 3228–3231, 1996, doi:10.1103/PhysRevLett.76.3228.
- M. Dobšíček, G. Johansson, V. S. Shumeiko, and G. Wendin, “Arbitrary accuracy iterative quantum phase estimation algorithm using a single ancillary qubit,” Physical Review A 76, 030306(R), 2007, doi:10.1103/PhysRevA.76.030306.
- D. S. Abrams and S. Lloyd, “Quantum algorithm providing exponential speed increase for finding eigenvalues and eigenvectors,” Physical Review Letters 83, 5162–5165, 1999, doi:10.1103/PhysRevLett.83.5162.
- P. W. Shor, “Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer,” SIAM Journal on Computing 26, 1484–1509, 1997, doi:10.1137/S0097539795293172.
- A. Aspuru-Guzik, A. D. Dutoi, P. J. Love, and M. Head-Gordon, “Simulated quantum computation of molecular energies,” Science 309, 1704–1707, 2005, doi:10.1126/science.1113479.
- M. Reiher, N. Wiebe, K. M. Svore, D. Wecker, and M. Troyer, “Elucidating reaction mechanisms on quantum computers,” Proceedings of the National Academy of Sciences 114, 7555–7560, 2017, doi:10.1073/pnas.1619152114.
See Also
Section titled “See Also”- VQE
- Quantum Chemistry Case Studies
- Algorithmic Primitives
- Shor Algorithm
- Resource Estimation Tools
- Circuit Model
- Time-Evolution Operator
- Spectral Decomposition
- Trotter Product Formula
- Trotter–Suzuki Methods develops controlled product-formula circuits, effective-Hamiltonian bias, and matched error and resource ledgers.
- Digital Quantum Simulation develops the controlled time-evolution implementation and resource assumptions that determine whether phase-estimation precision is operationally attainable.
- Fast Fourier Transform
- Claims, Hype, and Evidence Standards