Quantum Phase Estimation

Research Depth 129 in the knowledge graph I know this Set as goal
phase-estimation QPE eigenvalue quantum-subroutine

Core Idea

Quantum phase estimation (QPE) estimates the eigenvalue phase of a unitary operator: given a unitary U and an eigenstate |u> with U|u> = e^(2*pi*i*phi)|u>, QPE outputs an n-bit approximation of phi using O(n) controlled applications of U and an inverse QFT. It is the core subroutine of Shor's algorithm, the HHL algorithm for linear systems, quantum chemistry simulations, and many other quantum algorithms. QPE converts the inaccessible phase information stored in a unitary's eigenvalue into a measurable computational-basis state.

Explainer

Quantum phase estimation solves a fundamental problem: given a unitary operator U and an eigenstate |u> satisfying U|u> = e^(2*pi*i*phi)|u>, determine phi. The phase phi is encoded in the complex eigenvalue of U, which cannot be directly observed through measurement of |u> (measuring |u> gives |u> with certainty, revealing nothing about phi). QPE extracts phi by converting it into a computational-basis measurement outcome using controlled unitaries and the inverse QFT.

The circuit uses two registers: an ancilla register of n qubits (determining the precision of the estimate) and a target register holding |u>. The ancilla qubits are initialized to |+> = H|0>, and each controls a different power of U applied to the target. Specifically, the j-th ancilla qubit (j = 0, 1, ..., n-1) controls U^(2^j). Because |u> is an eigenstate, U^(2^j)|u> = e^(2*pi*i * 2^j * phi)|u>, so the controlled operation applies a phase of 2^j * phi to the j-th qubit's |1> component. After all controlled unitaries, the ancilla register is in the state (1/sqrt(2^n)) sum_{k=0}^{2^n-1} e^(2*pi*i*k*phi) |k> — exactly the QFT of the state |round(2^n * phi)>.

Applying the inverse QFT to the ancilla register transforms it to a state peaked at |round(2^n * phi)>. If phi is exactly an n-bit binary fraction, the inverse QFT produces the exact binary representation with probability 1. If phi has more than n bits of precision, the result is a distribution peaked at the nearest n-bit approximation, with success probability at least 4/pi^2 ≈ 0.405 for the closest value. Adding a few extra ancilla qubits increases precision and success probability arbitrarily.

QPE is the engine inside many quantum algorithms. In Shor's algorithm, QPE is applied to the modular multiplication operator to extract the order (period) of modular exponentiation. In quantum chemistry, QPE applied to the time evolution operator e^(-iHt) of a molecular Hamiltonian estimates the ground-state energy. In the HHL algorithm for linear systems, QPE estimates eigenvalues of a matrix to enable matrix inversion. The pattern is always the same: encode a problem's answer as the phase of a unitary, then use QPE to read it out. This makes QPE perhaps the most important primitive in the quantum algorithm designer's toolkit — a universal phase-to-measurement converter.

Practice Questions 3 questions

Prerequisite Chain

Counting to 10Counting to 20Understanding ZeroThe Number ZeroCounting to FiveOne-to-One CorrespondenceCombining Small Groups Within 5Addition Within 10Addition Within 20Two-Digit Addition Without RegroupingTwo-Digit Addition with RegroupingAddition Within 100Repeated Addition as MultiplicationMultiplication Facts Within 100Division as Equal SharingDivision as Grouping (Measurement Division)Division: Grouping (Repeated Subtraction) ModelDivision: Fair Sharing ModelDivision as Equal SharingDivision as GroupingBasic Division FactsDivision Facts Within 100Two-Digit by One-Digit DivisionDivision with RemaindersRemainders and Quotients in DivisionDivision Word ProblemsIntroduction to Long DivisionFactors and MultiplesPrime and Composite NumbersEquivalent FractionsRelating Fractions and DecimalsDecimal Place ValueReading and Writing DecimalsComparing and Ordering DecimalsAdding and Subtracting DecimalsMultiplying DecimalsDividing DecimalsDividing FractionsMixed Number ArithmeticOrder of OperationsInteger Order of OperationsVariable ExpressionsCombining Like TermsOne-Step EquationsTwo-Step EquationsSolving Multi-Step EquationsEquations with Variables on Both SidesAngle Pairs: Complementary, Supplementary, and VerticalParallel Lines and TransversalsCorresponding AnglesAlternate Interior AnglesTriangle Angle Sum TheoremExterior Angle TheoremTriangle Inequality TheoremSimilar Triangles: AA SimilaritySimilar Triangles: SSS and SAS SimilarityProportions in Similar TrianglesRight Triangle Trigonometry IntroductionTrigonometric Ratios ReviewRadian MeasureConverting Between Degrees and RadiansThe Unit CircleGraphing Sine and CosineGraphing Tangent and Reciprocal Trigonometric FunctionsDerivatives of Trigonometric FunctionsAntiderivativesIterated Integrals and Fubini's TheoremDouble Integrals in Cartesian CoordinatesDouble Integrals over Rectangular RegionsDouble Integrals in Polar CoordinatesDouble Integrals: Definition and SetupIterated Integrals and Fubini's TheoremDouble Integrals over Rectangular RegionsDouble Integrals over General RegionsApplications of Double Integrals: Area, Mass, and MomentsTriple Integrals in Cartesian CoordinatesTriple Integrals in Cylindrical and Spherical CoordinatesChange of Variables and the Jacobian DeterminantApplications of Triple Integrals: Volume and MassVector Fields and Their RepresentationsLine Integrals of Vector FieldsGreen's TheoremSurface Integrals and Flux of Vector FieldsSurface Integrals and Flux of Vector FieldsDivergence Theorem: Flux and OutflowDivergence TheoremElectric FluxGauss's LawConductors in Electrostatic EquilibriumCapacitance and CapacitorsDielectricsDielectric Constant and Relative PermittivityElectric Field Inside Dielectric MaterialsDielectric Materials and PolarizationDielectric Susceptibility and PermittivityEnergy Density in Electric FieldsElectric Current and Current DensityElectrical Resistance and ResistivityOhm's Law and Circuit ElementsElectromotive Force (EMF) and BatteriesKirchhoff's Circuit Laws: Voltage and CurrentDC Circuit Network Analysis MethodsTransient Response in RC CircuitsRC CircuitsLC and RLC CircuitsAC Circuits: FundamentalsImpedance and ReactanceAC Power and ResonanceElectromagnetic WavesThe Electromagnetic SpectrumBlackbody Radiation and Planck's LawPhotoelectric EffectThe Photon: Light as QuantaCompton ScatteringWave-Particle Dualityde Broglie WavelengthHeisenberg Uncertainty PrincipleWavefunction and the Born RuleThe Schrödinger EquationSchrödinger Equation: Time-Dependent FormWavefunctions and Boundary ConditionsBoundary Value Problems in ElectrostaticsParticle in a Box (Infinite Square Well)Quantum NumbersSpin-1/2 SystemsPauli MatricesQuantum GatesQuantum CircuitsQuantum Fourier TransformQuantum Phase Estimation

Longest path: 130 steps · 665 total prerequisite topics

Prerequisites (3)

Leads To (0)

No topics depend on this one yet.