Steven GellerQuantum Computing, End to End

Book contents

Current section

Orientation Guides

  1. How to Use This Book
  2. Computation, Information, and Qubits
  3. Amplitudes, Measurement, and Gates
  4. Multi-Qubit Circuits, Entanglement, and No-Hype Protocols
  5. Quantum Algorithms and Speedups
  6. Noise, Error Correction, and Fault Tolerance
  7. Hardware Architecture and the Full Stack
  8. Applications, Evidence, and Strategy

Orientation guide

Multi-Qubit Circuits, Entanglement, and No-Hype Protocols

Add a second qubit and the state space stops being a collection of independent parts: gates become conditional, correlations appear that no local description can reproduce, and the word entanglement earns its keep. This guide builds the smallest entangling circuit by hand and strips the hype from the three protocols everyone name-drops.

In this chapter 10 sections

Reader question. What changes mathematically and operationally when a second qubit joins a circuit?

The state space becomes a tensor product with one amplitude per joint basis state; controlled gates can create states that do not factor into independent qubits, producing correlations that require joint comparison but cannot carry a chosen faster-than-light message.

Scope and non-goals.
  • Stronger forms of Bell's theorem and multipartite entanglement classification belong to specialized treatments.
  • Teleportation, superdense coding, and no-cloning establish protocol constraints and capabilities—not general computational speedup.
The smallest entangling circuit: a Hadamard gate followed by CNOT The smallest entangling circuit: H, then a conditional flip |0> |0> H create superposition spread it into correlation M M only 00 or 11
Figure O3.1. Notice what the meters cannot show you: each wire alone is a coin flip, yet the two flips always agree. The correlation lives in the pair, not in either qubit; and that is all entanglement means.

Four joint outcomes, one ordered basis

Build the two-qubit coordinate system and state the endianness convention.

Multi-qubit computing is where the state space grows exponentially, gates become conditional, and entanglement appears. It is also where bad explanations become tempting, so this guide keeps four disciplines in view throughout:

  • Combine systems with tensor products, never with wishful notation.
  • Use multi-qubit gates to create correlations that no collection of independent one-qubit states can represent.
  • Use measurement to extract classical data; and expect it to destroy the rest.
  • Respect no-signaling: entanglement never sends usable information faster than light.

For two qubits, this book uses a fixed ordering, and the fixedness matters:

00=(1000),01=(0100),10=(0010),11=(0001).\begin{aligned}\lvert00\rangle&=\begin{pmatrix}1\\0\\0\\0\end{pmatrix},&\lvert01\rangle&=\begin{pmatrix}0\\1\\0\\0\end{pmatrix},&\lvert10\rangle&=\begin{pmatrix}0\\0\\1\\0\end{pmatrix},&\lvert11\rangle&=\begin{pmatrix}0\\0\\0\\1\end{pmatrix}.\end{aligned}(O3.1)

A general two-qubit pure state is ψ=a0000+a0101+a1010+a1111\lvert\psi\rangle=a_{00}\lvert00\rangle+a_{01}\lvert01\rangle+a_{10}\lvert10\rangle+a_{11}\lvert11\rangle, with the squared magnitudes of the four amplitudes summing to one. Most early mistakes in multi-qubit work are ordering mistakes; decide the convention once and never improvise it again.

Combining two one-qubit states multiplies every component of the first vector by every component of the second:

(ab)(cd)=(acadbcbd)\begin{pmatrix}a\\b\end{pmatrix}\otimes\begin{pmatrix}c\\d\end{pmatrix}=\begin{pmatrix}ac\\ad\\bc\\bd\end{pmatrix}(O3.2)

Worked through on basis states:

01=(10)(01)=(0100)=01\lvert0\rangle\otimes\lvert1\rangle=\begin{pmatrix}1\\0\end{pmatrix}\otimes\begin{pmatrix}0\\1\end{pmatrix}=\begin{pmatrix}0\\1\\0\\0\end{pmatrix}=\lvert01\rangle(O3.3)

Two qubits give a four-dimensional state space; ten give a thousand; three hundred give more amplitudes than there are atoms in the observable universe. That growth is the source of both the excitement and the simulation cost.

Evidence boundary. Composite quantum systems are represented by tensor-product state spaces. [John Watrous] [Michael A. Nielsen]

CNOT as a branch-dependent permutation

Trace all basis inputs before applying it to a superposition.

CNOT uses the first qubit as control and the second as target, flipping the target exactly when the control is 1:

0000,0101,1011,1110.\begin{aligned}\lvert00\rangle&\mapsto\lvert00\rangle,&\lvert01\rangle&\mapsto\lvert01\rangle,\\\lvert10\rangle&\mapsto\lvert11\rangle,&\lvert11\rangle&\mapsto\lvert10\rangle.\end{aligned}(O3.4)

As a matrix in the fixed basis ordering:

CNOT=(1000010000010010)\operatorname{CNOT}=\begin{pmatrix}1&0&0&0\\0&1&0&0\\0&0&0&1\\0&0&1&0\end{pmatrix}(O3.5)

It is the quantum version of an if-statement, and because it is linear it acts on superpositions branch by branch; which is exactly how the next example manufactures entanglement.

A two-qubit product state factors into independent one-qubit states, (a0+b1)(c0+d1)(a\lvert0\rangle+b\lvert1\rangle)\otimes(c\lvert0\rangle+d\lvert1\rangle), which expands to ac00+ad01+bc10+bd11ac\lvert00\rangle+ad\lvert01\rangle+bc\lvert10\rangle+bd\lvert11\rangle. Compare the coefficients and you get a test: a two-qubit pure state is separable only if its amplitudes satisfy

a00a11=a01a10a_{00}a_{11}=a_{01}a_{10}(O3.6)

For Φ+\Phi^+, the left side is (1/2)(1/2)=1/2(1/\sqrt2)(1/\sqrt2)=1/2 and the right side is 00=00\cdot0=0. The test fails, so no choice of local one-qubit states can reproduce the joint state. That is the whole definition: entangled means not factorable. No distance, no drama, just algebra.

A classical random process can also produce correlated bits; 00 half the time, 11 half the time; and in one measurement basis that looks exactly like the Bell state. The difference shows up when you measure in other bases: Bell states produce structured correlations there too, and no classical local hidden-variable model can reproduce the full set of statistics observed in Bell-type experiments.

For computation the practical point is simpler still: entanglement means the joint state cannot be represented as independent local states. It is a state-space and correlation-structure resource; not a communication loophole, and not evidence that the universe is whispering between particles.

Evidence boundary. A Hadamard followed by CNOT creates a Bell state that cannot be factored into independent one-qubit states. [Michael A. Nielsen] [John Preskill]

The factorization test on a Bell pair

Show algebraically why the output cannot be written as two independent states.

The correlations are real, but they carry no controllable message. Three facts close every loophole:

  • Each local measurement outcome is individually random.
  • The correlation becomes visible only when the two parties compare classical records.
  • Comparing records requires ordinary, slower-than-light classical communication.

Teleportation respects the same rule. It transfers an unknown quantum state using a shared entangled pair plus two classical bits, and the receiver cannot reconstruct anything until the classical bits arrive. Relativity survives quantum mechanics intact.

Suppose a universal cloning operation UU existed, with Uψ0=ψψU\lvert\psi\rangle\lvert0\rangle=\lvert\psi\rangle\lvert\psi\rangle for any state ψ\lvert\psi\rangle. Applied to two different inputs it would give Ua0=aaU\lvert a\rangle\lvert0\rangle=\lvert a\rangle\lvert a\rangle and Ub0=bbU\lvert b\rangle\lvert0\rangle=\lvert b\rangle\lvert b\rangle.

Unitary operations preserve inner products. Before cloning, the inner product of the two input states is ab\langle a\vert b\rangle, since the blank state contributes a factor of one. After cloning it is (ab)2(\langle a\vert b\rangle)^2. Preservation demands ab=(ab)2\langle a\vert b\rangle=(\langle a\vert b\rangle)^2, which holds only when the states are identical or perfectly distinguishable; never for arbitrary unknown states.

So universal cloning is impossible, and the proof is three lines of linear algebra. This is not an engineering limitation awaiting a clever fix; it is a theorem, and Part III shows how the field turns it from a constraint into a security resource.

Evidence boundary. Bell correlations do not allow controllable faster-than-light signaling. [John S. Bell] [Michael A. Nielsen]

B=(00,01,10,11)B=(\lvert00\rangle,\lvert01\rangle,\lvert10\rangle,\lvert11\rangle)(O3.7)

Notation contract: Basis order (|00>, |01>, |10>, |11>); left wire is the most-significant qubit; tensor-product and marginal notation declared.

Local randomness and joint structure

Separate marginal statistics from correlations observed after classical comparison.

Superdense coding

Resource: one shared Bell pair, plus one qubit sent from Alice to Bob.

Outcome: Bob recovers two classical bits from Alice's single transmitted qubit.

Operational boundary:

  • A physical qubit still makes the trip.
  • Relativistic signaling limits remain intact.
  • It spends pre-shared entanglement; the pair is consumed.

Teleportation

Resource: one shared Bell pair, plus two classical bits sent from Alice to Bob.

Outcome: Bob reconstructs Alice's unknown qubit state.

Operational boundary:

  • The protocol moves a qubit state rather than an object.
  • Alice's original is destroyed, as no-cloning requires.
  • Completion waits for the classical bits to arrive.

BB84 and quantum key distribution

Resource: quantum states prepared in non-commuting bases, plus an authenticated classical channel.

Outcome: a shared key with eavesdropping detection, under clearly stated assumptions about the devices and the channel.

What it does not replace: the migration to post-quantum cryptography across ordinary internet infrastructure, which solves a different problem for a fraction of the operational cost. Part VIII weighs both honestly.

Entangling gates are usually the hard part of a machine. One-qubit rotations are comparatively easy; making two qubits interact strongly enough to entangle, while keeping cross-talk, leakage, calibration drift, and measurement error under control, is where modalities differ. The questions that matter:

  • What is the native entangling gate?
  • What is its measured fidelity?
  • How does that fidelity change as the system grows?
  • How connected are the qubits?
  • Does routing force long chains of swap gates?
  • Can error-correction cycles run fast enough to keep up?

Entanglement is necessary for many quantum advantages, but it is never sufficient by itself. The weak version of an application claim runs: "this uses entanglement, so it will beat classical computing." The strong version names the problem structure being exploited, the algorithm that exploits it, the hardware that can run the circuit within error limits, and the classical baseline that loses under stated assumptions. Anything between those two poles is marketing.

Protocol contracts without supernatural payloads

List the resources and outputs of cloning, dense coding, and teleportation claims.

  1. Compute 10\lvert1\rangle\otimes\lvert0\rangle in the fixed basis ordering.
  2. Write CNOT's action on all four two-qubit basis states from memory.
  3. Derive the Bell state from 00\lvert00\rangle using HH on the first qubit and then CNOT.
  4. Test whether (00+01)/2(\lvert00\rangle+\lvert01\rangle)/\sqrt2 is entangled.
  5. Test whether (00+11)/2(\lvert00\rangle+\lvert11\rangle)/\sqrt2 is entangled.
  6. Explain why no-cloning does not prevent copying classical bits.
  7. Explain teleportation to a technical audience without science-fiction language.
  8. Pick a hardware company and identify its main entangling operation or error-correction route.

Part III of the book gives each of these ideas a full chapter:

Then continue to Quantum Algorithms and Speedups, where entanglement and interference are put to work.

Two-qubit state inspector

Acceptance contract for Two-qubit state inspector
FieldReader-visible record
FormatInteractive tensor/factorization tool with a deterministic test suite
VerificationFixtures verify basis ordering, Bell-state amplitudes, reduced local probabilities, and failed rank-one factorization.
AvailabilitySource-embedded acceptance record; no separate download is claimed
{
  "artifact": "Two-qubit state inspector",
  "format": "Interactive tensor/factorization tool with a deterministic test suite",
  "acceptance_test": "Fixtures verify basis ordering, Bell-state amplitudes, reduced local probabilities, and failed rank-one factorization.",
  "publication_state": "source-embedded contract and worked fixture"
}

Scope boundary

  • Stronger forms of Bell's theorem and multipartite entanglement classification belong to specialized treatments.
  • Teleportation, superdense coding, and no-cloning establish protocol constraints and capabilities—not general computational speedup.

Depth commitment. One Bell trace, one factorization proof, one marginal calculation, and three protocol contracts.

Practice problem

Given three two-qubit statevectors, determine which factor, construct factors when they exist, and compute each qubit's marginal probabilities.

u = (1,0,0,0)
v = (1,0,0,1)/sqrt(2)
w = (0,1,1,0)/sqrt(2)
basis order = |00>, |01>, |10>, |11>
Deliverable
A factorization worksheet with coefficient equations, factors, and local marginals.
Pass condition
A rank-one coefficient-matrix check independently classifies all three states and matches the worksheet.

Verification record

Expected solution form. Algebraic solution plus a four-line matrix-rank verification.

Model answer. u factors as |0> tensor |0> and its reshaped matrix has rank one. v and w have rank two, hence do not factor; each has uniform one-qubit marginals even though its joint outcomes are perfectly correlated or anticorrelated in Z.

Model result and check. The verifier reshapes each vector to 2×22\times2 and checks determinant/rank and marginal distributions.

Acceptance test. A rank-one coefficient-matrix check independently classifies all three states and matches the worksheet.

Provenance

Sources and review

  1. John Watrous. The Theory of Quantum Information. Cambridge University Press / University of Waterloo. 2018textbook
  2. Michael A. Nielsen and Isaac L. Chuang. Quantum Computation and Quantum Information. Cambridge University Press. 2010textbook
  3. John Preskill. Lecture Notes for Physics 219: Quantum Computation. California Institute of Technology. 2018graduate lecture notes
  4. John S. Bell. On the Einstein Podolsky Rosen paradox. Physics Physique Fizika. 1964primary paper

The load-bearing claims in the chapter are mapped inline to this registered source set. A citation supports only the bounded claim beside it.

Cite this chapter