Skip to content

Driven-Dissipative Matter

Driven-dissipative matter is many-body matter whose persistent state is selected by sustained input together with loss, dephasing, or particle exchange. It is not a closed material weakly perturbed by a probe. Turning off the pump generally removes the state itself, while turning off the loss generally changes or destabilizes it. The generator, reservoirs, boundaries, and measurement ports are therefore part of the physical specification.

The central questions are what is supplied, where it goes, and which measurements distinguish coherent order from a bright stationary output. We develop a simple pumped mode and a polariton reservoir model, then connect them to coherence and collective transitions. Driven Open Systems explains the master-equation framework; Open Quantum Materials treats non-Hermitian spectra and exceptional points.

Required background. Driven Many-Body Systems supplies external forcing, energy balance and heating regimes. Driven Open Systems supplies the combined treatment of time-dependent control and environmental exchange. Steady States and Relaxation supplies generator fixed points, relaxation modes and uniqueness conditions. Bose–Einstein Condensation supplies the macroscopic one-body-density-matrix eigenvalue criterion, which can be distinguished from equilibrium and transport claims.

The Hamiltonian alone does not select a driven state. Injection spectra, loss channels, bath temperatures and boundaries also matter: two devices with the same rotating-frame Hamiltonian can settle into different states. Specify whether the measured quantity is stationary in the laboratory frame, stationary in a rotating frame or periodic with the drive.

A stationary density operator does not imply equilibrium. A nonequilibrium steady state can carry a constant particle, photon, spin, or energy current. Its entropy can remain constant while entropy is continually exported. A time-independent measured intensity can likewise conceal switching between metastable states, phase diffusion, or unresolved periodic motion.

Pumping can be coherent or incoherent. A coherent drive fixes a phase reference and directly contributes a term such as Fa†+F∗aF a^\dagger+F^*a to a rotating-frame Hamiltonian. An incoherent pump populates a reservoir or mode without fixing the condensate phase and is often represented by transition rates or jump operators. The distinction matters for symmetry: a coherent source can explicitly break a U(1)U(1) phase symmetry that an incoherent pump leaves available for spontaneous ordering.

Radiative escape, nonradiative recombination, particle loss and pure dephasing are different channels. Pure dephasing can destroy coherence without removing particles; boundary leakage transports particles out of the chosen region. Keep these mechanisms separate when comparing detector counts with an internal occupation.

The number balance is

ddt⟨N⟩=Rin−Rout−Rnr+J∂.\frac{d}{dt} \langle N\rangle = R_{\mathrm{in}} - R_{\mathrm{out}} - R_{\mathrm{nr}} + J_{\partial}.

J∂J_{\partial} is positive when particles enter through a retained boundary. At a stationary operating point, the right-hand side vanishes. This expresses conservation at the chosen operating point; it does not fix coherence or an equilibrium distribution.

The energy balance counts distinct fluxes across the same boundary. For example, after steady-state averaging,

0=Pabs−Prad−Pheat,out−Pmatter,out.0=P_{\mathrm{abs}}-P_{\mathrm{rad}}-P_{\mathrm{heat,out}}-P_{\mathrm{matter,out}}.

Internal nonradiative recombination may first transfer energy to phonons and then to outgoing heat. Counting both steps as independent energy losses from the full device would double count the same energy. A finite internal energy or occupation can coexist with continuous absorption and outward flux.

Consider a bosonic mode with incoherent single-particle pump coefficient PP, population-loss rate κ\kappa, and a number-conserving Hamiltonian, such as H=ℏωa†aH=\hbar\omega a^\dagger a. Thus [H,n]=0[H,n]=0 for n=a†an=a^\dagger a; no coherent source is included in this minimal model:

ρ˙=−iℏ[H,ρ]+PD[a†]ρ+κD[a]ρ,\dot\rho = -\frac{i}{\hbar}[H,\rho] + P\mathcal D[a^\dagger]\rho + \kappa\mathcal D[a]\rho,

where

D[L]ρ=LρL†−12{L†L,ρ}.\mathcal D[L]\rho = L\rho L^\dagger - \frac{1}{2} \left\{ L^\dagger L,\rho \right\}.

For n=a†an=a^\dagger a,

ddt⟨n⟩=P(⟨n⟩+1)−κ⟨n⟩.\frac{d}{dt}\langle n\rangle = P\left( \langle n\rangle+1 \right) - \kappa\langle n\rangle.

If P<κP<\kappa, the stationary occupation is

⟨n⟩ss=Pκ−P.\langle n\rangle_{\mathrm{ss}} = \frac{P}{\kappa-P}.

The stationary number distribution is geometric,

pn=(1−r)rn,0<r=P/κ<1,g(2)(0)=2.p_n=(1-r)r^n,\qquad 0<r=P/\kappa<1, \qquad g^{(2)}(0)=2.

The pump includes bosonic stimulation through the factor n+1n+1. Even a large mean occupation remains bunched in this model; it does not become a coherent laser field merely because pump nearly balances loss. At P=κP=\kappa no normalizable stationary distribution remains. Saturation, nonlinear loss, pump depletion or another mechanism is needed to stabilize a real device above this linear threshold. Number-conserving interactions alone do not fix this population runaway with the stated constant Markovian rates.

With a coherent source Fa†+F∗aFa^\dagger+F^*a, the number equation additionally contains i⟨F∗a−Fa†⟩/ℏi\langle F^*a-Fa^\dagger\rangle/\hbar and does not close on the mean occupation. Pump coherence therefore changes both the symmetry and the equations.

Exciton–polaritons are hybrid light–matter quasiparticles formed when a confined photon mode and an exciton remain in the strong-coupling regime. For one in-plane momentum, a simple coupled-mode Hamiltonian is

Hxc=(ECggEX),H_{\mathrm{xc}} = \begin{pmatrix} E_C & g \\ g & E_X \end{pmatrix},

with eigenenergies

E±=EC+EX2±12(EC−EX)2+4g2.E_{\pm} = \frac{E_C+E_X}{2} \pm \frac{1}{2} \sqrt{ \left( E_C-E_X \right)^2 +4g^2 }.

The anticrossing and linewidths must demonstrate that the hybrid branches remain resolved in the regime being discussed. At high density, screening, phase-space filling, heating, or other nonlinearities can weaken strong coupling and permit an ordinary photon-lasing regime. Calling all coherent microcavity emission “polariton condensation” erases this distinction.

Polaritons combine a small photon-derived effective mass with exciton-derived interactions, but they also inherit radiative loss. A sustained population therefore requires pumping. Nonresonant pumping commonly creates an excitonic reservoir that relaxes into lower-polariton states; resonant pumping instead injects a selected polariton mode with a controlled phase and momentum. These protocols realize different symmetries and different fluctuation problems.

The mean-field reservoir model of Wouters and Carusotto (2007), in a form linear in reservoir gain, couples a complex polariton field ψ(r,t)\psi(\mathbf r,t) to a reservoir density nR(r,t)n_R(\mathbf r,t):

iℏ∂tψ=[−ℏ2∇22m+V(r)+gC∣ψ∣2+gRnR]ψ+iℏ2(RnR−γC)ψ,∂tnR=P(r,t)−(γR+R∣ψ∣2)nR.\begin{aligned} i\hbar\partial_t\psi ={}& \left[ -\frac{\hbar^2\nabla^2}{2m} +V(\mathbf r) +g_C\lvert\psi\rvert^2 +g_R n_R \right]\psi + \frac{i\hbar}{2} \left( R n_R-\gamma_C \right)\psi, \\ \partial_t n_R ={}& P(\mathbf r,t) - \left( \gamma_R+R\lvert\psi\rvert^2 \right)n_R. \end{aligned}

Here ∣ψ∣2|\psi|^2 and nRn_R are densities. Accordingly PP is now a density injection rate, unlike the single-mode rate coefficient above; RR has units of inverse density per time. mm is the lower-polariton mass, gCg_C is the condensate interaction, gRg_R is the reservoir-induced shift, RR is the stimulated scattering coefficient, and γC,γR\gamma_C,\gamma_R are condensate and reservoir loss rates. The imaginary term is gain minus loss; it is not an imaginary conservative potential.

For a homogeneous time-independent pump, the zero-condensate solution has nR=P/γRn_R=P/\gamma_R. Linear gain begins when

RnR=γC,R n_R=\gamma_C,

so the mean-field threshold is

Pth=γCγRR.P_{\mathrm{th}} = \frac{\gamma_C\gamma_R}{R}.

Above threshold, a uniform solution with stationary densities clamps the reservoir and grows the condensate:

nRss=γCR,∣ψss∣2=P−PthγC.\begin{aligned} n_R^{\mathrm{ss}} &= \frac{\gamma_C}{R}, \\ \lvert\psi_{\mathrm{ss}}\rvert^2 &= \frac{ P-P_{\mathrm{th}} }{ \gamma_C }. \end{aligned}

The field itself generally rotates in phase. With uniform VV,

ψ(t)=nC e−iμt/ℏ,μ=V+gCnC+gRnRss.\psi(t)=\sqrt{n_C}\,e^{-i\mu t/\hbar}, \qquad \mu=V+g_C n_C+g_R n_R^{\mathrm{ss}}.

Calling this stationary refers to its density or to the corresponding rotating frame. Gain balance does not establish stability against spatial perturbations; the coupled condensate and reservoir equations must be linearized around the solution. Eliminating the reservoir instantaneously also requires its relaxation rate γR+RnC\gamma_R+Rn_C to exceed the frequencies being modeled. Near a slow mode that assumption should be checked again.

Finite spots introduce flow and boundary losses; spin, disorder, frequency-dependent gain and additional reservoirs change the dynamics. Fluctuations become particularly important near threshold and in low dimensions.

Reservoir and condensate particle fluxes, followed by a schematic Liouvillian spectrum with conjugate pairs and a decay gap.

The reservoir transfers particles to the condensate at density rate RnRnCRn_Rn_C, with nC=∣ψ∣2n_C=|\psi|^2; the same term enters their number equations with opposite signs. Below, a schematic Liouvillian spectrum illustrates the slowest decay rate. It is not a spectrum calculated from the reservoir model. A small finite gap and gap closure in a size limit are different statements.

What the mean-field model does not certify

Section titled “What the mean-field model does not certify”

A deterministic mean-field model can describe density profiles, blueshifts and instabilities without determining quantum noise or long-distance coherence. Fit parameters to one set of measurements and predict others, such as the reservoir shift, flow or relaxation spectrum. A fit to intensity alone cannot establish equilibrium, quantum fluctuations, superfluidity or a universality class (Carusotto and Ciuti, 2013).

A threshold and a narrow line are shared by several coherent emitters. Stronger identification uses a bundle of observables.

Question Useful measurement and main limitation
Are the modes polaritonic? Resolve strong-coupling dispersion at the actual operating density.
Is occupation macroscopic? Calibrate mode populations and the collection window.
Is phase coherence spontaneous? Measure first-order coherence and exclude an imprinted pump phase.
What are the number fluctuations? Measure intensity correlations with adequate timing and background correction.
Is there superfluid response? Test drag, flow or circulation while controlling density, lifetime and defects.

For a stationary field with time-independent densities, first-order coherence can be written

g(1)(r,r′;τ)=⟨ψ†(r,t)ψ(r′,t+τ)⟩n(r)n(r′),g^{(1)}(\mathbf r,\mathbf r';\tau) = \frac{ \left\langle \psi^\dagger(\mathbf r,t) \psi(\mathbf r',t+\tau) \right\rangle }{ \sqrt{ n(\mathbf r)n(\mathbf r') } },

while intensity correlations use

g(2)(0)=⟨a†a†aa⟩⟨a†a⟩2.g^{(2)}(0) = \frac{ \left\langle a^\dagger a^\dagger aa \right\rangle }{ \langle a^\dagger a\rangle^2 }.

Interferometry measures spatial or temporal coherence only after accounting for finite resolution, phase drift, and multimode emission. A value g(2)(0)≈1g^{(2)}(0)\approx1 is consistent with Poissonian number statistics but does not determine the full number distribution or prove a pure coherent state, a definite phase or a particular gain mechanism. Exercise 4 gives a counterexample.

Kasprzak and collaborators combined low-momentum occupation, temporal coherence, long-range spatial coherence, and polarization in their evidence for polariton condensation. Amo and collaborators tested fluid response by comparing defect scattering below and above the sound-speed scale. Those are different claims: condensation does not automatically imply superfluidity, and suppressed scattering should be checked against trivial changes in density, linewidth, or defect coupling.

Driven condensates can also have universal fluctuations with no equilibrium counterpart. In a suitable one-dimensional polariton lattice, Fontaine and collaborators measured spatiotemporal coherence scaling consistent with Kardar–Parisi–Zhang universality. Such a claim requires scaling functions or exponents over controlled windows, not merely a rough phase profile.

Polaritons, nonlinear optical resonators, circuit-QED arrays and atoms in optical cavities all connect collective dynamics to outgoing radiation. Their dominant complications differ: strong-coupling crossover in polaritons, technical noise in optical resonators, disorder and bandwidth in circuits, or reservoir elimination and atom-number drift in atom–cavity experiments. Artificial Lattices and Designer Matter compares these platforms.

The output is not a passive photograph of an isolated state. In a one-sided Markovian port (Gardiner and Collett, 1985),

aout(t)=ain(t)−κext a(t),a_{\mathrm{out}}(t) = a_{\mathrm{in}}(t) - \sqrt{\kappa_{\mathrm{ext}}}\,a(t),

with the stated minus-sign phase convention; κext\kappa_{\mathrm{ext}} is the population decay rate into that port. The measured field contains interference between prompt input and cavity emission. Intracavity occupation cannot therefore be inferred from transmitted intensity without an input–output calibration.

For a time-independent Markovian model,

ρ˙=Lρ.\dot\rho=\mathcal L\rho.

Let right eigenoperators obey

LRj=λjRj,λ0=0.\mathcal L R_j = \lambda_j R_j, \qquad \lambda_0=0.

When the steady state is unique and the remaining modes decay, a common spectral gap is

ΔL=−max⁡j≠0Re⁡λj.\Delta_{\mathcal L} = -\max_{j\ne0} \operatorname{Re}\lambda_j.

The generic definitions and nonnormality cautions belong to Steady States and Relaxation. For material claims, the key point is operational: a small gap allows a long asymptotic relaxation time, but the initial state and measured observable must overlap the slow mode to reveal it. Nonnormal transients and multiple modes can complicate a fitted decay. One long time at one size does not establish gap closure.

For a finite-dimensional generator that depends analytically on a parameter, an isolated simple stationary eigenvalue gives an analytic stationary state locally. A coalescence of nonzero decaying eigenvalues need not make that state singular. Sharp nonanalytic stationary behavior ordinarily requires loss of these conditions or a specified singular limit. That limit may be:

  • the number of lattice sites L→∞L\to\infty;
  • a large occupation or weak-noise limit;
  • increasing atom number or cooperativity;
  • a mode-volume scaling that keeps nonlinear energy extensive;
  • a continuum or long-wavelength limit.

The scaling prescription is part of the phase definition. Increasing drive power alone is not automatically a thermodynamic limit, because it can also change heating, saturation, microscopic parameters, and the number of active modes.

Near a first-order dissipative transition, a finite system can show a bimodal field distribution and rare switching between dim and bright metastable states. The stationary mean then lies between two values that no single trajectory occupies for long. Histograms and dwell-time distributions are more informative than the mean (Casteels, Fazio and Ciuti, 2017; Minganti and collaborators, 2018).

Hysteresis can arise from metastable switching, a slow reservoir, detector filtering, thermal drift or a sweep faster than relaxation. Hold the control fixed within the loop and compare long time traces, distributions and relaxation rates. Then vary sweep and waiting times, detector bandwidth and a physically defined size parameter. The response must distinguish intrinsic switching from lag.

Rodriguez and collaborators measured sweep-time dependence of optical hysteresis in a semiconductor microcavity. Fitzpatrick and collaborators observed bistability and long switching times in a 72-site circuit-QED lattice. Fink and collaborators resolved bimodal phase-space distributions across photon-blockade breakdown. These experiments measure complementary aspects of switching and metastability; a hysteresis loop alone is insufficient to identify a phase transition.

A laser threshold, a dissipative phase transition, a dynamical instability, and an exceptional point are not synonyms. A laser threshold concerns gain, loss, and coherence onset. A dissipative transition concerns a singular change of the stationary state in a declared limit. An instability concerns linearized dynamics around a solution. An exceptional point concerns eigenvalue and eigenvector coalescence of a non-Hermitian operator; Open Quantum Materials explains the distinction.

A Lindblad equation gives a density-operator evolution for a specified Markovian model; a Schwinger–Keldysh theory can organize response, noise and collective fluctuations, including a field-theory description derived from that same model. They are compatible approaches at different levels. Colored noise and memory require their own treatment rather than an arbitrary time-local dissipator (Sieberer, Buchhold and Diehl, 2016).

For a stationary Hermitian fluctuation operator ϕ\phi with zero mean, use the convention

GR(t)=−iθ(t)⟨[ϕ(t),ϕ(0)]⟩,GK(t)=−i⟨{ϕ(t),ϕ(0)}⟩.\begin{aligned} G^R(t) &= -i\theta(t) \left\langle [\phi(t),\phi(0)] \right\rangle, \\ G^K(t) &= -i \left\langle \{\phi(t),\phi(0)\} \right\rangle. \end{aligned}

With the Fourier transform G(ω)=∫dt eiωtG(t)G(\omega)=\int dt\,e^{i\omega t}G(t), thermal equilibrium relates the nonzero-frequency parts by the bosonic fluctuation–dissipation relation

GK(ω)=coth⁡ ⁣(ℏω2kBT)[GR(ω)−GA(ω)].G^K(\omega) = \coth\!\left( \frac{\hbar\omega}{2k_B T} \right) \left[ G^R(\omega)-G^A(\omega) \right].

A conserved fluctuation can retain a zero-frequency delta peak even after its mean is subtracted. This static weight must be supplied separately: the singular coth⁡\coth factor cannot recover it from a vanishing commutator. The equilibrium closure explains this qualification and the requirement that the thermal state and time evolution use the same generator.

A driven steady state generally has independent response and noise sectors. Fitting one low-frequency ratio by an effective temperature does not prove a global Gibbs state; the inferred temperature may depend on frequency, momentum, and observable. Schwinger–Keldysh Bridge develops the contour construction and consistency conditions.

For the birth–death mode with [H,n]=0[H,n]=0, solve the mean occupation from initial value n0n_0. Derive the stationary distribution from adjacent probability fluxes and explain what changes at P=κP=\kappa.

Solution

For P≠κP\ne\kappa,

⟨n(t)⟩=Pκ−P+(n0−Pκ−P)e−(κ−P)t.\langle n(t)\rangle = \frac{P}{\kappa-P} + \left( n_0-\frac{P}{\kappa-P} \right) e^{-(\kappa-P)t}.

For P<κP<\kappa, the mode relaxes to P/(κ−P)P/(\kappa-P). At P=κP=\kappa, the rate equation becomes n˙=P\dot n=P, so occupation grows linearly. For P>κP>\kappa, it grows exponentially. The latter regimes reveal the absence of saturation or nonlinear loss in the model; they do not predict an indefinitely growing real device.

At stationarity the adjacent fluxes balance:

P(n+1)pn=κ(n+1)pn+1.P(n+1)p_n=\kappa(n+1)p_{n+1}.

Thus pn+1=rpnp_{n+1}=rp_n with r=P/κr=P/\kappa. Normalization gives pn=(1−r)rnp_n=(1-r)r^n only for r<1r<1. Summing its first two factorial moments yields ⟨n⟩=r/(1−r)\langle n\rangle=r/(1-r) and ⟨n(n−1)⟩=2⟨n⟩2\langle n(n-1)\rangle=2\langle n\rangle^2, hence g(2)(0)=2g^{(2)}(0)=2 for nonzero pumping.

For the homogeneous open-dissipative Gross–Pitaevskii equations, derive PthP_{\mathrm{th}}, nRssn_R^{\mathrm{ss}}, and ∣ψss∣2\lvert\psi_{\mathrm{ss}}\rvert^2 above threshold.

Solution

Below threshold, ψ=0\psi=0 and stationarity gives nR=P/γRn_R=P/\gamma_R. The field becomes marginal when RnR=γCRn_R=\gamma_C, hence

Pth=γCγRR.P_{\mathrm{th}} = \frac{\gamma_C\gamma_R}{R}.

For a nonzero stationary condensate, gain balance fixes nRss=γC/Rn_R^{\mathrm{ss}}=\gamma_C/R. The reservoir equation then gives

P=(γR+R∣ψss∣2)γCR,P = \left( \gamma_R+R\lvert\psi_{\mathrm{ss}}\rvert^2 \right) \frac{\gamma_C}{R},

and therefore

∣ψss∣2=P−PthγC.\lvert\psi_{\mathrm{ss}}\rvert^2 = \frac{P-P_{\mathrm{th}}}{\gamma_C}.

The clamping is a property of this homogeneous mean-field reduction, not a universal microscopic law.

An optical cavity shows a wide hysteresis loop for a fast frequency sweep and a much narrower loop when the sweep is slowed. Give two interpretations and one measurement that helps distinguish them.

Solution

The loop can reflect metastable switching near a first-order dissipative transition, or it can be a purely dynamic lag caused by a reservoir, thermal drift, or detector response. Holding the control parameter fixed inside the loop and recording long time traces tests for stationary bimodality and stochastic switching. Varying the hold time, sweep time, and detector bandwidth helps separate intrinsic switching from instrumental lag.

4. Poisson statistics without a definite phase

Section titled “4. Poisson statistics without a definite phase”

Average a coherent state of amplitude α=nˉeiθ\alpha=\sqrt{\bar n}e^{i\theta} uniformly over its phase. Find the density matrix, ⟨a⟩\langle a\rangle and g(2)(0)g^{(2)}(0) for nˉ>0\bar n>0. Does g(2)(0)=1g^{(2)}(0)=1 prove a pure coherent state?

Solution

Phase averaging removes the off-diagonal number-state matrix elements:

ρ=∑n=0∞e−nˉnˉnn!∣n⟩⟨n∣.\rho=\sum_{n=0}^\infty e^{-\bar n}\frac{\bar n^n}{n!}|n\rangle\langle n|.

The mean field vanishes, ⟨a⟩=0\langle a\rangle=0, while the Poisson distribution has ⟨n(n−1)⟩=nˉ2\langle n(n-1)\rangle=\bar n^2 and therefore g(2)(0)=1g^{(2)}(0)=1. The state is mixed and has no preferred phase. Equal-time number statistics cannot distinguish it from a coherent state of fixed phase; a phase reference and appropriate interference measurements probe different information. A vanishing ensemble mean field also does not, by itself, rule out coherence in individual realizations.

Current questions about preparation, scaling and reservoir robustness are discussed in Dissipation Engineering research. The models here specify finite systems and controlled approximations; their stationary solutions do not alone establish a thermodynamic phase.