|0⟩|1⟩
Set theory · Concept hubDeep story

Quantum Algorithms

1994 CE20th-century United States (Shor)

Through Quantum Algorithms: What can an exact procedure solve, and what can it never decide?

Cross mechanical procedures, proof, quantum computation, learning, and strategy to explore the limits of calculation and choice.

This voyage is an editorial path for understanding, not a claim of direct historical influence or sole invention.

Understand it in one breath

"Use quantum superposition and entanglement to reach speeds impossible for classical computers." In 1994 Shor's algorithm turned integer factoring from exponential to polynomial timea future threat to RSA. In 1996 Grover's algorithm gave √N speedup for unstructured search. Google demonstrated quantum supremacy for the first time in 2019.

At a glance

Algorithm

Problem

Classical time

Quantum time

Significance

Deutsch (1985) / Deutsch-Jozsa (1992)

Is f constant or balanced?

O(2ⁿ⁻¹+1)

O(1)

First proof of an intrinsic quantum speedup

Shor (1994)

Factor a large integer N

exp(O(n^(1/3)))

O(n³)

Threatens RSA and internet cryptography

Grover (1996)

Search unsorted data

O(N)

O(√N)

Quadratic speedup for search

HHL (2009)

Linear system Ax=b

O(N)

O(log N)

Potential acceleration for ML and simulation

Quantum supremacy (Google 2019)

Random-circuit sampling

~10,000 years

200 seconds

First demonstration of quantum advantage

Depending on the problem, quantum algorithms offer exponential speedup (Shor), quadratic speedup (Grover), or no advantage (most everyday problems) — they do not make everything faster.

Concept

Algorithms using quantum superposition — Shor 1994 cast a shadow on RSA security.

Key formula

ψ=iαii,measurementi with probability αi2|\psi\rangle = \sum_i \alpha_i |i\rangle,\quad \text{measurement} \to |i\rangle \text{ with probability } |\alpha_i|^2

Ports in time

This concept was not invented in one instant

Follow the scenes to see problems, notation, standards of proof, and applications changing across different times and places.

1
AD 1985Scene 1 / 4Continue through the world of this year

Deutsch — a blueprint for quantum computing

David Deutsch described the universal quantum computer through a quantum analogue of a Turing machine, establishing a theoretical starting point for the field.

No reliable place is given, so time continues without an invented pin

Continue through the world of this year
2
AD 1994Scene 2 / 4Continue through the world of this year

Shor’s algorithm — a warning for RSA

Peter Shor discovered a quantum algorithm that can factor large integers efficiently, showing how a sufficiently capable quantum computer could break RSA.

No reliable place is given, so time continues without an invented pin

Continue through the world of this year
3
AD 1996Scene 3 / 4Continue through the world of this year

Grover — a quadratic speedup

Grover’s algorithm searches an unstructured space in roughly √N steps rather than N, effectively halving the security strength of a symmetric cryptographic key against brute force.

No reliable place is given, so time continues without an invented pin

Continue through the world of this year
4
AD 2019Scene 4 / 4Continue through the world of this year

Google claims quantum supremacy

Google reported that its 53-qubit Sycamore processor completed a sampling task in about 200 seconds that it estimated would take a leading classical supercomputer around 10,000 years — a debated benchmark.

No reliable place is given, so time continues without an invented pin

Continue through the world of this year

Modern applications

Post-quantum cryptography, drug-discovery simulation, optimization, quantum machine learning, and quantum chemistry.

Beyond MathVoyage

Curated sources and problems. Bring one discovery back from OEIS, Project Euler, MathOverflow, or arXiv.

No concept belongs to one person

Follow people who played different roles

These are not inventor credits. They are different ports: opening a problem, sharpening a language, or carrying it into another world.

Number lenses

A concept looks different when its world of numbers changes

These numbers are editorial lenses for the voyage, not required prerequisites.

Concept genealogy

What supports it, and what does it open?

Concepts arriving from before

Current port

Quantum Algorithms

Concepts opened from here

No direct successor port is curated yet.

Only direct editorial links are shown; this is not a complete learning order or historical influence line.