A topic in the Open Knowledge Graph — a free, open map of 15,290 topics and the order to learn them in.

Quantum Fourier Transform

Graduate Depth 158 in the knowledge graph I know this Set as goal
3topics build on this
955prerequisites beneath it
See this on the map →
Quantum CircuitsQuantum Gates+1 moreQuantum Algorithms Beyond Shor's AlgorithmQuantum Phase Estimation+1 more
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(2n)) * sum_{k=0}^{2n - 1} e2*pi*i*j*k/2n |k> — the discrete Fourier transform of the basis state amplitudes. It can be implemented with O(n2) gates using a circuit of Hadamard gates and controlled phase rotations, compared to the O(n * 2n) 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 = 2n, the operation takes only O(n2) 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 e2*pi*i/2k 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(n2) 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

Understanding ZeroThe Number ZeroCounting to FiveCounting to 10Counting to 20Counting a Set of Objects Up to 20Cardinality: The Last Number CountedMatching Numerals to QuantitiesSubitizing Small QuantitiesAddition Within 10Number Bonds to 10Addition Within 20Doubles and Near DoublesDoubles Facts Within 10Near Doubles Facts Within 20Mental Math Strategies for AdditionMental Math: Adding and Subtracting TensAddition Within 100Repeated Addition as MultiplicationMultiplication as Equal GroupsMultiplication: ArraysBasic Multiplication Facts (0s, 1s, 2s, 5s, 10s)Multiplication 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 100Multiplication and Division Fact FamiliesRelationship Between Multiplication and DivisionDivision Facts as Inverse of MultiplicationRemainders and Quotients in DivisionDivision Word ProblemsMulti-Step Word ProblemsSolving Multi-Step Word ProblemsMultiplication Word ProblemsDivision Word ProblemsIntroduction to Long DivisionFactors and MultiplesPrime and Composite NumbersEquivalent FractionsRelating Fractions and DecimalsDecimal Place ValueIntegers and the Number LineComparing and Ordering IntegersAbsolute ValueAdding IntegersSubtracting IntegersMultiplying IntegersDividing IntegersUnit RatesProportionsPercent ConceptConverting Between Fractions, Decimals, and PercentsOperations with Rational NumbersTwo-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 IntroductionSine, Cosine, and Tangent RatiosTrigonometric Ratios ReviewRadian MeasureConverting Between Degrees and RadiansThe Unit CircleGraphing Sine and CosineGraphing Tangent and Reciprocal Trigonometric FunctionsDerivatives of Trigonometric FunctionsAntiderivativesIndefinite IntegralsBasic Integration RulesRiemann SumsDefinite Integral DefinitionDouble 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 FieldsWork and CirculationLine Integrals of Scalar and Vector FunctionsFundamental Theorem for Line IntegralsConservative Vector FieldsConservative Vector Fields and Potential FunctionsCurl and Divergence of Vector FieldsCurl and DivergenceDivergence TheoremElectric Flux and Divergence TheoremGauss's Law: Integral Form and MeaningSolving Problems with Gauss'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 WavesPostulates of Special RelativityTime DilationLength ContractionLorentz TransformationRelativistic Velocity AdditionRelativistic Momentum and EnergyMass-Energy Equivalence and E=mc²Photons as Particles with Energy and MomentumPlanck-Einstein Relation: Energy and FrequencyPhotoelectric EffectThe Photon: Light as QuantaCompton ScatteringWave-Particle Dualityde Broglie WavelengthThe Schrödinger EquationState Vectors and WavefunctionsQuantum SuperpositionQuantum EntanglementBell Theorem and Bell InequalitiesPostulates of Quantum MechanicsObservables and Quantum OperatorsCommutators and Commutation RelationsQuantum Angular MomentumQuantum Mechanical Treatment of HydrogenSolving the Schrödinger Equation for Hydrogen AtomQuantum NumbersSpin-1/2 SystemsPauli MatricesQuantum GatesQuantum CircuitsQuantum Fourier Transform

Longest path: 159 steps · 955 total prerequisite topics

Prerequisites (3)

Leads To (3)