Bits & Boolean logic
State is a string of 0/1. Copying is free. Error correction is mature. Best for the vast majority of software.
A visual tour of qubits, gates, algorithms, and hardware — honest about NISQ limits, quadratic speedups, and what still needs fault tolerance.
A machine that stores and processes information in quantum states — not a faster classical chip, and not a universal accelerator for every problem.
A classical computer encodes bits that are definitively 0 or 1. Logic gates flip and combine those bits with deterministic (or well-characterized probabilistic) rules. Scaling means more transistors, more memory, better algorithms.
A quantum computer encodes qubits whose state can be a superposition of 0 and 1, and whose qubits can be entangled. Computation is a carefully choreographed sequence of unitary operations (gates), followed by measurement that collapses amplitudes into classical outcomes.
The point is not that every step is “both 0 and 1 at once equals infinite parallelism.” Interference — constructive for right answers, destructive for wrong ones — is the real engine. Without a structure that creates useful interference, a quantum device is just an expensive random-bit generator.
State is a string of 0/1. Copying is free. Error correction is mature. Best for the vast majority of software.
State is a vector in ℂ²ⁿ. No-cloning forbids naive backup. Noise is the central engineering battle.
| Aspect | Classical | Quantum (gate model) |
|---|---|---|
| Information unit | Bit ∈ {0,1} | Qubit ∈ ℂ² (up to global phase) |
| n-unit state space | 2ⁿ discrete configs | 2ⁿ complex amplitudes (normalized) |
| Typical ops | AND, OR, NOT, RAM… | Unitary gates + measurement |
| Error reality today | ~10⁻²⁰+ logical FIT with ECC | NISQ: noisy physical qubits; FTQC still ahead |
Useful quantum advantage is about problem structure: periodicity, oracles with amplitude amplification, sparse Hamiltonians, and certain optimization landscapes — not “hard ⇒ quantum.”
Classically hard problems are not automatically good quantum targets. Many NP-hard tasks remain hard on quantum machines under standard complexity beliefs. The interesting cases are problems where quantum linear algebra, interference, or quantum simulation map cleanly onto the question.
A qubit’s pure state is a point on the Bloch sphere. Superposition is a direction; measurement picks a pole with probabilities set by amplitudes.
Write a single-qubit pure state as |ψ⟩ = α|0⟩ + β|1⟩ with |α|² + |β|² = 1. In polar form, α = cos(θ/2), β = e^{iφ} sin(θ/2). The angles (θ, φ) are coordinates on the Bloch sphere: north pole |0⟩, south pole |1⟩, equator equal superpositions with a relative phase.
Measuring in the computational basis yields 0 with probability |α|² and 1 with |β|², and the state collapses to the observed basis vector. Phase between amplitudes is invisible to that single measurement — but it becomes crucial when gates create interference across paths.
Drag to rotate the view · presets set the state · Measure collapses toward a pole
Superposition is not “the qubit is randomly 0 or 1 before you look.” Before measurement there is a definite state vector; randomness appears in the Born-rule sampling of that vector. After measurement, phases and coherences that encoded the prior superposition are gone for that copy.
Gates are unitary matrices: reversible, norm-preserving maps on the statevector. Common single-qubit gates generate rotations on the Bloch sphere; multi-qubit gates create entanglement.
X (NOT) flips |0⟩↔|1⟩. Z leaves |0⟩ alone and maps |1⟩→−|1⟩ (phase flip). H (Hadamard) maps |0⟩→|+⟩ and |1⟩→|−⟩ — the usual way to create equal superposition from a computational basis state.
Any single-qubit unitary is a rotation of the Bloch vector. Circuits compose gates; global phases don’t affect measurement probabilities, but relative phases do.
Apply gates in sequence · bars show measurement probabilities · circuit sketch updates live
A quantum circuit is a timeline of gates on wires (qubits). Entanglement is when the joint state cannot be written as a product of single-qubit states — Bell pairs are the canonical example.
To build a Bell state |Φ⁺⟩ = (|00⟩+|11⟩)/√2: start from |00⟩, apply H on qubit A, then CNOT with A as control and B as target. Measuring A alone looks random; measuring B afterward is perfectly correlated.
Entanglement does not allow faster-than-light signaling. Local measurement outcomes are random; only when compared (classically) do correlations appear. That is why teleportation and device-independent protocols still need classical communication channels.
Watch correlated collapse · switch Bell states with the chips
Three different ideas: amplitude amplification (Grover), period finding via QFT (Shor), and hybrid variational optimization (VQE).
Given a black-box function that marks one (or a few) items in an unstructured list of N, Grover’s algorithm rotates the state in the plane spanned by the uniform superposition and the marked subspace. Each oracle + diffusion iteration boosts the marked amplitude. Optimal iterations ≈ π/4 √N.
Step 0
Yellow dashed line = mean amplitude · ★ = marked item · too many iterations overshoots
From a random a coprime to N, find the order r of a mod N (smallest r with aʳ ≡ 1 mod N). Classical post-processing turns a suitable r into factors.
Prepare a superposition of exponents, compute aˣ mod N into an ancilla, then apply the quantum Fourier transform to extract the period from phase kickback / peak interference.
RSA-2048 class factoring needs fault-tolerant logical qubits and deep circuits — far beyond NISQ. “Shor exists” ≠ “cryptography is broken today.”
Estimate the ground-state energy of a Hamiltonian by preparing a parameterized ansatz on a QPU, measuring Pauli expectations, and letting a classical optimizer update the parameters. Fits NISQ-era exploration of chemistry/materials — but ansatz choice, barren plateaus, and noise mean VQE is not automatic quantum advantage.
Two architectural families: universal digital gate machines, and analog annealers aimed at optimization landscapes.
Many modalities, one goal: long coherence, high-fidelity gates, scalable connectivity, and a credible path to error correction. This is an overview — not a fabrication manual.
Every platform trades coherence, gate speed, connectivity, operating temperature, and manufacturability. Roadmaps converge on needing logical qubits: encode many noisy physical qubits into fewer protected logical ones.
Josephson junctions as nonlinear oscillators; fast gates; cryogenic dilution refrigerators; used by many leading gate-model labs.
Atomic ions in EM traps; laser/microwave gates; excellent coherence & fidelity; gates often slower; shuttling or photonic links for scale.
Rydberg arrays in optical tweezers; flexible geometries; mid-circuit measurement improving; strong for analog & digital flavors.
Dual-rail / GKP / cluster-state approaches; room-temp transmission; probabilistic entangling gates or continuous-variable codes.
Electron or hole spins in semiconductors; CMOS-adjacent fab hopes; dense integration challenges around control wiring.
Spins in diamond (or SiC); optical interface; strong for sensing; computing scale still research-heavy.
Non-Abelian anyons / Majorana-based proposals aim for intrinsic protection; experimental status remains contested and research-grade.
Historic demonstration platform; ensemble qubits; not a scalable FTQC path but pedagogically important.
Microwave-optical transducers, ion–photon interfaces, cryogenic CMOS control — systems engineering between modalities.
Donor spins (e.g. P in Si) and photonic integration explore fab-friendly stacks; still deep in research scaling.
See how the eight chapters lock together: qubits → gates → circuits → algorithms, with hardware feeding every layer, annealing as a parallel optimization path, and error correction bridging noisy devices to fault-tolerant algorithms. Crypto honesty sits between “why it matters” and what Shor actually requires.
Hover a node to highlight its links. Click a chapter node to jump there. Each earlier chapter also has a smaller local mindmap under its lead.
Plain-spoken definitions for quantum computing — English and 繁體中文. Search either language; tap a card to expand aliases and jump to a related chapter.