QCQI – Chapter 1 Detailed Summary: Overview & Postulates

Learning Objectives¶

• State and apply the postulates of quantum mechanics (finite-dimensional setting).

• Use Dirac notation fluently; convert to matrix form when needed.

• Compute measurement probabilities (projective/POVM) and post-measurement states.

• Compose systems via tensor products; form reduced states by partial trace.

Big Picture¶

Quantum algorithms engineer interference so that “wrong” amplitudes cancel and “right” amplitudes add.

Eureka! A quantum algorithm is a designed interference pattern: unitaries steer phases; measurement reads out the amplified answer.

Dirac Notation & Bloch Refresher¶

$|\psi\rangle=\alpha|0\rangle+\beta|1\rangle$, $|\alpha|^2+|\beta|^2=1$. Up to global phase, $|\psi(\theta,\phi)\rangle=\cos(\theta/2)|0\rangle+e^{i\phi}\sin(\theta/2)|1\rangle$.

Eureka! One qubit needs two angles: the Bloch sphere parameters $(\theta,\phi)$.

Postulates¶

State. Pure: $|\psi\rangle$; Mixed: $\rho\ge0,~\operatorname{Tr}\rho=1$.

Evolution. Closed: $U$ unitary. Open: CPTP map $\mathcal{E}(\rho)=\sum_i K_i\rho K_i^\dagger$.

Measurement. Projectors $\{P_m\}$ with $p(m)=\langle \psi|P_m|\psi\rangle$ and collapse. General POVM: effects $\{E_m\}$, $p(m)=\operatorname{Tr}(E_m\rho)$.

Composition. $\mathcal{H}_{AB}=\mathcal{H}_A\otimes\mathcal{H}_B$, reduced states by partial trace.

Eureka! Pure global entanglement can look locally maximally mixed: for $|\Phi^+\rangle$, $\rho_A=I/2$.

Worked Examples¶

Projective Z-measurement. For $|\psi\rangle=\alpha|0\rangle+\beta|1\rangle$: $p(0)=|\alpha|^2$, $p(1)=|\beta|^2$.

POVM via Kraus. Effects $E_m=K_m^\dagger K_m$ give $p(m)=\operatorname{Tr}(E_m\rho)$.

Partial trace. For $|\Phi^+\rangle=(|00\rangle+|11\rangle)/\sqrt2$, $\rho_A=\operatorname{Tr}_B[|\Phi^+\rangle\!\langle \Phi^+|]=I/2$.

Pseudo-code Aids¶

Pseudocode — Projective measurement (one qubit)

Input: $|\psi\rangle=\alpha|0\rangle+\beta|1\rangle$ Output: $b\in\{0,1\}$ and post-measurement state Draw $u\sim \mathcal{U}(0,1)$ if $u<|\alpha|^2$: return $b=0$, state $|0\rangle$ else: return $b=1$, state $|1\rangle$

Pseudocode — Apply a quantum channel (Kraus form)

Input: $\rho$, Kraus set $\{K_i\}$ with $\sum_i K_i^\dagger K_i=I$ Output: $\rho'=\sum_i K_i \rho K_i^\dagger$

Schematics¶

Bell-Pair Preparation (H + CNOT)¶

Hands-on Notebook (Multi-Backend)¶

Run: L01_QCQI_Ch01_Overview_and_Postulates

Set backend to cirq, pennylane, braket, pyquil, or qiskit.