Quantum Fourier Transform

Graduate Depth 128 in the knowledge graph I know this Set as goal
Unlocks 3 downstream topics
QFT Fourier-transform phase-estimation period-finding

Core Idea

The quantum Fourier transform (QFT) maps a computational basis state |j> of an n-qubit register to (1/sqrt(2^n)) * sum_{k=0}^{2^n - 1} e^(2*pi*i*j*k/2^n) |k> — the discrete Fourier transform of the basis state amplitudes. It can be implemented with O(n^2) gates using a circuit of Hadamard gates and controlled phase rotations, compared to the O(n * 2^n) operations of the classical FFT. The QFT does not compute the Fourier transform of classical data efficiently (reading out the result requires measurement), but it is the key subroutine in quantum phase estimation, Shor's algorithm, and many other quantum algorithms that extract periodic structure.

Explainer

The classical discrete Fourier transform (DFT) converts a vector of N complex numbers into its frequency-domain representation. It is computable in O(N log N) time via the FFT algorithm. The quantum Fourier transform performs the same mathematical operation on quantum amplitudes — but because the amplitudes are encoded in an n-qubit state where N = 2^n, the operation takes only O(n^2) gates, which is O((log N)^2) in terms of the input size N. This exponential reduction in gate count is real, but its utility is constrained by the quantum context.

The QFT circuit has an elegant recursive structure. For n qubits, apply a Hadamard gate to the first qubit, then apply controlled phase rotations from each subsequent qubit (controlled-R_2 from the second qubit, controlled-R_3 from the third, and so on, where R_k applies a phase of e^(2*pi*i/2^k) to the |1> state). Then recursively apply the QFT to the remaining n-1 qubits. Finally, reverse the bit order with SWAP gates. The total gate count is n Hadamard gates plus n(n-1)/2 controlled rotations plus n/2 SWAPs, giving O(n^2) gates. In practice, rotations with very small angles (large k) can be dropped with negligible error, reducing the effective gate count further.

The QFT is not useful for "computing Fourier transforms of classical data on a quantum computer" — loading classical data into amplitudes is itself a hard problem (exponential cost in general), and measuring the output collapses it to a single basis state, losing most of the transform. The QFT is powerful when the input state arises naturally from a quantum computation. The canonical example is period finding: if a quantum state has a periodic structure with period r (nonzero amplitude only at positions 0, r, 2r, ...), the QFT maps this to a state with peaks at multiples of N/r. Measuring yields a random multiple of approximately N/r, from which r can be extracted using continued fraction expansion.

This is precisely how Shor's algorithm works: it constructs a periodic state via modular exponentiation, applies the QFT, and extracts the period. Quantum phase estimation follows the same pattern — it uses the QFT to convert a phase encoded in a unitary's eigenvalue into a computational basis measurement. The QFT is the Fourier analysis engine at the heart of most "algebraic" quantum algorithms (as opposed to "search" algorithms like Grover's). Understanding the QFT is understanding the core mechanism by which quantum computers extract hidden periodic structure exponentially faster than classical machines.

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 Transform

Longest path: 129 steps · 664 total prerequisite topics

Prerequisites (3)

Leads To (3)