Skip to content
Field Atlas

Atlas / Physics / The Quantum Thread

Field · Emerged 1935 – 1996

Quantum Information

What can be computed and communicated using superposition and entanglement that cannot be done classically?

4 chapters4 min read7 turning points1 open problem

Branched from
Quantum Mechanics
Branched into
Not yet surveyed past here
Figures
Albert Einstein, Erwin Schrödinger, Boris Podolsky, Nathan Rosen, John Stewart Bell, John Clauser, Alain Aspect, Anton Zeilinger, Ronald Hanson, Peter Shor, Richard Feynman, David Deutsch, Charles Bennett, Gilles Brassard, Andrew Steane

In brief

Quantum information science treats the strangest features of quantum mechanics as resources. A qubit can be in a superposition of 0 and 1. Two qubits can be entangled, so that measurements on them are correlated more strongly than any classical mechanism allows, however far apart they are. These effects make possible key distribution whose security rests on physics, and computers that could solve certain problems exponentially faster than any known classical method.

The field grew out of a philosophical argument. In 1935 Einstein used entanglement to argue that quantum mechanics was incomplete. In 1964 John Bell turned the argument into an experimental test, and experiments since 1972 have shown that nature violates Bell's inequality, as quantum mechanics predicts. From the 1980s, physicists and computer scientists realised that the same effects could be used for computation and cryptography.

Key ideas

QubitEnters 1982 – 1985

A quantum bit: a two-state system, such as a photon's polarisation, that can be in any superposition of 0 and 1. Measuring it gives 0 or 1 with probabilities set by the superposition.

EntanglementEnters 1935

A joint state of two or more systems that cannot be described by giving each its own state. Measurements on entangled particles are correlated regardless of distance.

Bell's inequalityEnters 1964

A limit on correlations that any theory with pre-existing, local properties must obey. Quantum mechanics predicts, and experiments confirm, that it is violated.

Quantum key distributionEnters 1984

Sharing a secret key using quantum states. Any eavesdropper must measure the states and so disturbs them, which the users can detect.

Quantum error correctionEnters 1995 – 1996

Protecting fragile quantum information by spreading one logical qubit across many physical ones, so that errors can be detected and undone without measuring the information itself.

Draws on other domains

Chapter I

Spooky Action

In 1935 Albert Einstein, with Boris Podolsky and Nathan Rosen, published an argument that quantum mechanics is incomplete. Two particles that have interacted can be left in a joint state such that measuring one immediately tells you the result of measuring the other, however far away. Either the measurement affects the distant particle instantly, which Einstein thought absurd, or the particles carried definite answers all along, which quantum mechanics does not describe. Erwin Schrödinger named the phenomenon entanglement and called it the characteristic trait of quantum mechanics.

For thirty years the argument was treated as philosophy. Bohr replied, most physicists sided with him, and the calculations went on regardless.

Chapter II

Bell's Test

In 1964 John Bell, a CERN physicist who worked on the foundations in his spare time, found that the dispute had observable consequences. Any theory in which particles carry pre-set answers, and in which nothing travels faster than light, must obey a certain limit on correlations. Quantum mechanics predicts a violation. The question could be settled in a laboratory.

John Clauser and Stuart Freedman did the first test in 1972 with entangled photons, and found the quantum prediction. Alain Aspect in 1982 changed the measurement settings while the photons were in flight, so that no signal could coordinate them. In 2015 teams including Ronald Hanson's in Delft and Anton Zeilinger's in Vienna closed the last loopholes. Einstein's picture of pre-existing local properties is wrong.

Chapter III

A Closer Look: Bell's Inequality in Numbers

Two labs each receive one photon of an entangled pair. Alice measures hers with a polariser set at angle aa or a′a', chosen at random. Bob does the same with bb or b′b'. Each measurement gives +1+1 (the photon passes) or −1-1 (it is blocked).

Suppose each photon carries pre-set answers for every setting: A,A′A, A' for Alice's settings and B,B′B, B' for Bob's, each ±1\pm 1. Consider

S=AB−AB′+A′B+A′B′=A(B−B′)+A′(B+B′).S = AB - AB' + A'B + A'B' = A(B - B') + A'(B + B') .

Since BB and B′B' are each ±1\pm 1, one of (B−B′)(B - B') and (B+B′)(B + B') is 0 and the other is ±2\pm 2. So SS is always +2+2 or −2-2, and the average over many pairs obeys

∣⟨S⟩∣≤2.|\langle S \rangle| \le 2 .

That is the Clauser–Horne–Shimony–Holt form of Bell's inequality. It assumes nothing except pre-set answers and no influence of one lab's choice on the other.

For photons entangled in polarisation, quantum mechanics predicts that the average of ABAB is cos⁡2(a−b)\cos 2(a - b). Choose a=0∘a = 0^\circ, a′=45∘a' = 45^\circ, b=22.5∘b = 22.5^\circ, b′=67.5∘b' = 67.5^\circ:

Pair of settingsAngle differencePredicted average
a,ba, b−22.5∘-22.5^\circcos⁡(−45∘)=0.707\cos(-45^\circ) = 0.707
a,b′a, b'−67.5∘-67.5^\circcos⁡(−135∘)=−0.707\cos(-135^\circ) = -0.707
a′,ba', b22.5∘22.5^\circcos⁡45∘=0.707\cos 45^\circ = 0.707
a′,b′a', b'−22.5∘-22.5^\circcos⁡(−45∘)=0.707\cos(-45^\circ) = 0.707

So quantum mechanics predicts S=0.707−(−0.707)+0.707+0.707=22≈2.83S = 0.707 - (-0.707) + 0.707 + 0.707 = 2\sqrt2 \approx 2.83, well above 2. One of Aspect's 1982 experiments, with fixed settings, measured S=2.697±0.015S = 2.697 \pm 0.015, close to the quantum prediction once imperfect equipment is accounted for, and more than forty standard deviations above the classical limit. No assignment of pre-set answers can produce these correlations.

This cannot be used to send messages faster than light: each lab alone sees a random sequence of ±1\pm 1. The correlation shows up only when the two records are compared.

Chapter IV

From Paradox to Resource

In the 1980s entanglement and superposition began to look like resources. Richard Feynman pointed out in 1982 that ordinary computers need exponential time to simulate quantum systems, and proposed building computers from quantum parts. David Deutsch defined the universal quantum computer in 1985. In 1984 Charles Bennett and Gilles Brassard showed how to share secret keys whose security rests on quantum mechanics. In 1994 Peter Shor found a quantum algorithm that factors large numbers quickly, which would break the public-key cryptography that secures the internet.

Quantum states are fragile, and it seemed they could never be protected, since they cannot be copied. In 1995–96 Shor and Andrew Steane showed that quantum error correction is possible. In 2024 a Google team showed, for the first time clearly, error correction improving as the code grows. Whether a machine large enough to run Shor's algorithm on real cryptographic keys can be built is the field's open question.

Applications

Where it is used

  • Cryptography↗ Mathematics · Public-Key Cryptography

    Breaking and remaking public-key cryptography

    Shor's algorithm would break RSA and elliptic-curve cryptography on a large quantum computer. That threat drove the design of new, "post-quantum" public-key systems, standardised in 2024, and quantum key distribution offers an alternative whose security rests on physics.

    › Sources (1)
    • Shor, P. W. (1997). Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM Journal on Computing 26(5): 1484–1509.
  • Security

    Randomness certified by Bell tests

    If a Bell inequality is violated, the measurement results cannot have been predetermined. Experiments use this to generate random numbers whose unpredictability is guaranteed by physics, not by trust in the device.

    › Sources (1)
    • Pironio, S. et al. (2010). Random numbers certified by Bell's theorem. Nature 464: 1021–1024.

Open problems

Where the map runs out

Open

Can a large fault-tolerant quantum computer be built?

Open as of 2026. Small error-corrected logical qubits have been demonstrated.

Running Shor's algorithm on numbers used in real cryptography is estimated to need about a thousand or more error-corrected logical qubits, and so up to a million physical qubits. The largest machines have far fewer, and they are too noisy for long computations.

Why it is hard

Qubits must be isolated from their environment yet controlled precisely, and errors must be corrected faster than they occur across the whole machine. No physical principle is known to forbid it, but it has never been done at scale, and some physicists doubt it will work.

What resolving it unlocks

Simulation of molecules and materials beyond classical reach, and the breaking of today's public-key cryptography. A proof that it is impossible would reveal something new about quantum mechanics itself.

› Sources (2)

Further reading

  1. Aaronson, S. (2013). Quantum Computing Since Democritus. Cambridge University Press.

    A witty tour of quantum computing and complexity for readers with some mathematics.

  2. Gilder, L. (2008). The Age of Entanglement: When Quantum Physics Was Reborn. Knopf.

    A history of entanglement from Einstein to Bell tests.

  3. Nielsen, M. A. & Chuang, I. L. (2010). Quantum Computation and Quantum Information (10th anniversary ed.). Cambridge University Press.

    The standard textbook.