| Nakajima–Zwanzig projection operator | |
|---|---|
| Name | Nakajima–Zwanzig projection operator |
| Field | Quantum statistical mechanics |
| Introduced | 1958–1960 |
| Introduced by | Sadao Nakajima; Robert Zwanzig |
| Related | Open quantum system, Mori–Zwanzig formalism, Lindblad equation, Redfield equation, Density matrix |
Nakajima–Zwanzig projection operator
The Nakajima–Zwanzig projection operator is a mathematical device used to derive reduced, non-Markovian dynamical equations for a subsystem of interest interacting with an environment. Developed in the late 1950s and 1960s by Sadao Nakajima and Robert Zwanzig, it provides a systematic way to eliminate environmental degrees of freedom and obtain a generalized master equation with a memory kernel, central to the theory of open quantum systems and nonequilibrium statistical mechanics.
The projection-operator approach addresses problems in which a full quantum system, described by a total Hamiltonian on a composite Hilbert space, is partitioned into a relevant subsystem and an environment or bath. Typical physical settings include quantum optics with cavities and reservoirs, condensed-matter systems coupled to phonons, and quantum information devices interacting with noise sources at Los Alamos National Laboratorys and university labs. By focusing on the reduced density operator of the subsystem, the method captures dissipation and decoherence arising from coupling to large reservoirs such as thermal baths or structured environments represented by models like the Caldeira–Leggett model or collections of harmonic oscillators.
One introduces a linear superoperator P (the projection) acting on operators in the total Hilbert space such that P^2 = P. The complementary projector Q = 1 − P projects onto irrelevant degrees of freedom. For a total density operator ρ_tot(t) obeying the von Neumann equation with Liouvillian L (where L· = −(i/ħ)[H,·]), the projection decomposition yields equations for Pρ_tot and Qρ_tot. Common choices set Pρ_tot = Tr_B(ρ_tot) ⊗ ρ_B^eq, invoking a reference bath state ρ_B^eq (often a thermal Gibbs state). The projected dynamics produce integro-differential equations featuring a memory kernel K(t) expressed in terms of Q-propagators e^{QLt} and initial correlations.
Starting from dρ_tot/dt = Lρ_tot, apply P and Q and eliminate Qρ_tot formally by integrating its equation of motion. Substitution back into the P-equation yields the Nakajima–Zwanzig equation: d/dt Pρ_tot(t) = PLPρ_tot(t) + ∫_0^t dt' PL e^{Q L (t−t')} QL P ρ_tot(t'). This generalized master equation contains a convolution with the memory kernel M(t−t') = PL e^{Q L (t−t')} QL P and a term depending on initial Qρ_tot(0) representing initial correlations. The derivation uses properties of projection superoperators and the Dyson series for propagators, connecting to perturbative expansions used in nonequilibrium Green's functions and linear-response theory.
Practical implementations depend crucially on P. The most used is the factorized projection Pρ = Tr_B(ρ) ⊗ ρ_B, where ρ_B is an equilibrium bath state; this links to the Born approximation when truncated. Other constructions include time-dependent projectors P_t that follow slow variables, and Mori-type projections projecting onto a set of relevant observables via canonical correlations, as in the Mori–Zwanzig formalism. Specific choices yield different memory kernels and walk the trade-off between accuracy and analytical tractability in contexts such as electron–phonon coupling and spin-boson models.
The Nakajima–Zwanzig framework underpins derivations of reduced dynamics in quantum optics, chemical dynamics, and condensed-matter physics. It is used to obtain generalized master equations for charge transport, energy transfer in photosynthetic complexes, and decoherence in qubits. The formalism informs numerical methods like hierarchical equations of motion (HEOM) and time-nonlocal quantum kinetic theories developed at institutions such as Harvard University and University of Cambridge. It also clarifies the role of initial correlations for experiments in ultracold gases and nanoscale conductors.
Exact evaluation of the memory kernel is typically infeasible, so approximations are applied: perturbative expansions in system–bath coupling produce the second-order (Born) memory kernel leading to the Redfield equation when combined with the Markov approximation. Nonperturbative and resummation techniques include projection onto collective coordinates, time-convolutionless (TCL) expansions that yield time-local generators, and stochastic unravelings. Numerical strategies estimate kernels from bath correlation functions computed via path integrals, Monte Carlo, or influence-functional methods developed from the Feynman–Vernon influence functional.
Under weak coupling and rapid bath relaxation, the Nakajima–Zwanzig memory kernel becomes short-lived, and combined with secular approximations yields Markovian generators in Gorini–Kossakowski–Sudarshan–Lindblad (GKSL) or simply Lindblad equation form, widely used in quantum optics and quantum information. The Redfield equation emerges from second-order truncation without invoking full Markov/ secular limits. The Nakajima–Zwanzig and Mori formalisms are formally related: both project onto relevant variables and produce memory kernels, but Mori emphasizes correlation functions and fluctuating forces. Connections extend to quantum kinetic equations in Kadanoff–Baym theory and linear-response approaches by Kubo.
Category:Quantum mechanics Category:Open quantum systems