Quantum Mechanics Professional

Second quantisation is the natural language for many-body quantum systems and quantum field theory.

The idea

Instead of writing a wave function for N particles, describe states by occupation numbers: how many particles are in each single-particle mode k.

Creation and annihilation operators

For bosons: [â_k, â†_{k'} ] = δ_{kk'}. For fermions: {ĉ_k, ĉ†_{k'}} = δ_{kk'} — automatically enforcing Pauli exclusion.

The Hamiltonian in second-quantised form

Ĥ = Σ_k ε_k â†_k â_k + ½ Σ_{kk'qq'} V_{kk'qq'} â†_k â†_{k'} â_{q'} â_q

Applications

• Phonons, magnons, plasmons — quantised collective modes
• BCS superconductivity (Cooper pairs as bosons)
• Hubbard model for correlated electrons

Quantum field theory (QFT) is the synthesis of quantum mechanics and special relativity. Instead of quantising a fixed number of particles, we quantise fields.

Fields as operator-valued distributions

A scalar field φ̂(x,t) assigns an operator to each spacetime point. Expanding in Fourier modes yields creation and annihilation operators for particles of each momentum. Particles are excitations of the field.

The Klein–Gordon equation

(∂²/∂t² − ∇² + m²)φ = 0 — the relativistic wave equation for spin-0 particles.

Feynman diagrams

Perturbative calculations are organised by Feynman diagrams — graphical representations of terms in the perturbation series. Each vertex, propagator, and external line corresponds to a factor in an integral.

The Standard Model

The QFT of all known fundamental particles — quarks, leptons, gauge bosons (photon, W, Z, gluons) — confirmed to extraordinary precision.

Feynman's path integral formulation provides a third way to do quantum mechanics, especially powerful in QFT.

The propagator

The amplitude for a particle to travel from x_i at t_i to x_f at t_f is:

⟨x_f|e^{−iĤ(t_f-t_i)/ℏ}|x_i⟩ = ∫ 𝒝x(t) exp(iS[x]/ℏ)

S[x] = ∯L dt is the classical action and the integral is over all paths.

Classical limit

As ℏ → 0, only paths near the classical trajectory (stationary action) contribute — reproducing classical mechanics.

Wick rotation and statistical mechanics

Rotating t → −iτ maps the path integral to Z = ∯𝒝x exp(−S_E[x]/ℏ) — the partition function of statistical mechanics. QFT and statistical mechanics are unified under analytic continuation.

Applications

• Deriving Feynman rules systematically
• Non-perturbative effects (instantons, tunnelling in QFT)
• Lattice QCD (Monte Carlo path integrals)

Naively, QFT calculations produce divergent integrals. Renormalisation is a systematic procedure to extract finite, meaningful predictions.

Ultraviolet divergences

Loop integrals diverge as k → ∞ (unknown short-distance physics).

Regularisation

Temporarily make integrals finite: dimensional regularisation (d = 4 − ε), cut-off regularisation, Pauli–Villars. This reveals the structure of divergences.

Renormalisation

Absorb divergences into redefinitions of physical parameters (mass, charge, field strength). The remaining integrals are finite and give measurable predictions.

Running coupling constants

Coupling constants depend on the energy scale. In QED, α ≈ 1/137 at low energies but α ≈ 1/128 at the Z-boson mass. In QCD, the strong coupling α_s becomes small at high energies (asymptotic freedom).

Effective field theory

Below some scale Λ, physics is described by an effective Lagrangian. Higher-order operators are suppressed by powers of E/Λ.

A qubit is a two-level quantum system:

|ψ⟩ = α|0⟩ + β|1⟩,   |α|² + |β|² = 1

Physical implementations

• Superconducting transmon qubits (IBM, Google)
• Trapped-ion qubits (IonQ, Quantinuum)
• Photonic qubits (PsiQuantum)
• Spin qubits in silicon (Intel, QuTech)

Single-qubit gates

• Pauli-X (NOT): |0⟩ ↔ |1⟩
• Hadamard H: |0⟩ → (|0⟩+|1⟩)/√2
• Phase gate S: |1⟩ → i|1⟩

Two-qubit gates

• CNOT: flips target if control is |1⟩
• Toffoli (CCNOT): universal for classical reversible computation

Universality

The set {H, T, CNOT} is universal — any unitary on n qubits can be approximated to arbitrary precision by a circuit of these gates.

Quantum computers achieve speedups on specific problems via interference and entanglement.

Deutsch–Jozsa algorithm

Determines with certainty whether a function is constant or balanced using one query vs. at least 2^(n-1)+1 classical queries.

Grover's search algorithm

Searches an unsorted database of N items in O(√N) queries vs. O(N) classically — a quadratic speedup, proven optimal for unstructured search.

Shor's factoring algorithm

Factors an n-bit integer in O(n² log n log log n) time. The best classical algorithms are sub-exponential. Shor's algorithm would break RSA encryption given a large enough fault-tolerant quantum computer.

Quantum phase estimation (QPE)

Given unitary U and eigenstate |u⟩, QPE estimates the eigenphase φ with n-bit precision using n ancilla qubits. QPE is a subroutine in Shor's algorithm and quantum chemistry simulations.

VQE

A hybrid classical-quantum algorithm: a parameterised quantum circuit prepares trial states, expectation values are measured, and a classical optimiser updates parameters. Suited to near-term (NISQ) hardware.

Quantum information is fragile — any interaction with the environment causes errors. QEC protects quantum information without measuring it directly.

The no-cloning theorem

An unknown quantum state cannot be copied: there is no operation U such that U(|ψ⟩|0⟩) = |ψ⟩|ψ⟩ for all |ψ⟩. Classical redundant copies are forbidden.

Quantum error correcting codes

Encode one logical qubit into many physical qubits. Errors are detected by measuring syndromes (eigenvalues of multi-qubit Pauli operators) without measuring the logical state.

Shor's 9-qubit code

Encodes 1 logical qubit in 9 physical qubits; corrects any single-qubit error.

The threshold theorem

If physical error rates are below a threshold (~1% for surface codes), fault-tolerant quantum computation is achievable by using more physical qubits per logical qubit. The surface code (distance-d square lattice) requires O(d²) physical qubits and corrects ⌊(d−1)/2⌋ errors.

Current state

2024–2025: Google's Willow chip and IBM experiments have demonstrated below-threshold operation in small surface codes. Fault-tolerant logical qubits at useful scale remain a 5–15 year engineering challenge.

Real quantum systems are never perfectly isolated. Open quantum systems theory describes a quantum system S coupled to an environment E.

The Lindblad master equation

Under Markov and rotating-wave approximations, the reduced density matrix ρ̂_S obeys:

dρ̂/dt = −i[Ĥ, ρ̂]/ℏ + Σ_k γ_k (L̂_k ρ̂ L̂†_k − ½{L̂†_k L̂_k, ρ̂})

The Lindblad operators L̂_k model dissipation and dephasing with rates γ_k.

Key processes

• Amplitude damping: energy loss (T₁ decay in qubits)
• Dephasing: loss of phase coherence (T₂ decay)

Applications

• Spontaneous emission from atoms
• Laser theory
• Quantum thermodynamics — heat engines at the quantum scale

Multiple physical platforms are competing to build scalable, fault-tolerant quantum computers.

Superconducting qubits

Josephson-junction-based transmon qubits at ~15 mK. Leading in qubit count (IBM 1000+ qubits). Challenges: limited T₁/T₂ (10–500 μs), dilution refrigerators are bulky.

Trapped ions

Laser-cooled ion chains. Long coherence times (T₂ > seconds), very high gate fidelities (>99.9%). Slow gate speeds (ms vs μs). Hard to scale to thousands of ions.

Photonic quantum computing

Information in photon polarisation, path, or time-bin. Room-temperature operation. Deterministic two-qubit gates are difficult. Boson sampling is a near-term application.

Neutral atom arrays

Optical tweezers hold individual atoms; Rydberg blockade enables two-qubit gates. Long coherence times, 2D arrays of 1000+ atoms demonstrated.

Topological qubits

Microsoft pursues qubits based on Majorana zero modes — topologically protected and inherently error-resistant. Still in experimental validation (2025).

Despite quantum mechanics' extraordinary success, deep questions remain.

The measurement problem

What happens during a quantum measurement? Decoherence explains apparent classicality but not selection of a single outcome. No consensus interpretation exists.

Quantum gravity

General relativity and quantum mechanics are incompatible. Candidate frameworks — string theory, loop quantum gravity — lack definitive experimental tests.

The black hole information paradox

Hawking radiation appears thermal (no information about infalling matter), but quantum unitarity forbids information loss. The resolution — firewalls, holography, island formula — is an active research frontier.

High-temperature superconductivity

Cuprates superconduct at 77–133 K. No complete microscopic theory explains why. BCS theory fails here.

Many-body localisation

Strongly disordered quantum systems can fail to thermalise — violating the eigenstate thermalisation hypothesis.

Quantum advantage at scale

Will fault-tolerant quantum computers provide practical speedups for real-world problems (materials, drug design, optimisation)? Probably yes in some domains, but the timeline remains unclear.