QCQI - Chapter 1: Overview & Postulates

Learning Objectives¶

• Why quantum computation? Key resources: superposition, interference, entanglement.

• Four postulates (finite-dimensional) + density operators and POVMs.

• Composition & reduced states; Bell states as a running example.

Big Picture¶

Quantum algorithms engineer interference so that correct answers add and incorrect answers cancel.

Eureka! Interference is the computational “workhorse”: amplitudes carry phase information that algorithms program.

Dirac Notation (Quick Refresher)¶

$|\psi\rangle=\alpha|0\rangle+\beta|1\rangle$, $\|\psi\|^2=1$; global phase is unobservable.

Bloch form: $|\psi\rangle=\cos(\theta/2)|0\rangle+e^{i\phi}\sin(\theta/2)|1\rangle$.

Postulate I: States¶

Pure states $|\psi\rangle$ or density operators $\rho\ge0$, $\mathrm{Tr}\rho=1$.

Mixed states capture ignorance/noise.

Eureka! Density matrices unify classical randomness and quantum coherence.

Postulate II: Evolution¶

Closed: $|\psi'\rangle=U|\psi\rangle$; Open: $\rho'=\sum_i K_i\rho K_i^\dagger$ with $\sum_i K_i^\dagger K_i=I$.

Eureka! Unitary + environment + trace-out $\Rightarrow$ Kraus form (Stinespring).

Postulate III: Measurement¶

Projectors $\{P_m\}$: $p(m)=\langle \psi|P_m|\psi\rangle$; post-measurement state $P_m|\psi\rangle/\sqrt{p(m)}$.

POVMs $\{E_m\}$: $p(m)=\mathrm{Tr}(E_m\rho)$.

Postulate IV: Composition¶

$\mathcal{H}_{AB}=\mathcal{H}_A\otimes \mathcal{H}_B$; reduces via partial trace.

Bell state: $|\Phi^+\rangle=(|00\rangle+|11\rangle)/\sqrt2$, with $\rho_A=I/2$.

Eureka! Purity can be global but not local.

Schematic¶

Hands-on Notebook¶

Companion notebook (multi-backend): L01_QCQI_Ch01_Overview_and_Postulates

Set backend in the first cell to cirq, pennylane, braket, pyquil, or qiskit.

Mini-Lab¶

• Compare Hadamard statistics across two frameworks.

• Program a 2-outcome POVM and verify total probability.

• Build a Bell pair and compute reduced density matrices.

Takeaways¶

• Postulates define the rules of the game.

• Density operators and POVMs generalize states and measurements.

• Entanglement = nonclassical correlations revealed by reduced states.