Math 2.0

Quantum theory Definition

Lindblad equation

Builds on Hilbert spaceDensity matrixSelf-adjoint operatorTrace of a matrix

Definition

Let HH be a complex Hilbert space of finite dimension dd, and let B(H)B(H) be the space of linear operators on HH. A Lindbladian is a linear map ℒ ⁣:B(H)→B(H)\mathcal{L} \colon B(H) \to B(H) of the form ℒ(ρ)=−i[K,ρ]+∑k=1mγk(LkρLk∗−12(Lk∗Lkρ+ρLk∗Lk)),\mathcal{L}(\rho) = -i [K, \rho] + \sum_{k=1}^{m} \gamma_k \left( L_k \rho L_k^* - \tfrac{1}{2} \left( L_k^* L_k \rho + \rho L_k^* L_k \right) \right), where:

  1. KK is a self-adjoint operator on HH, the Hamiltonian, and [K,ρ]=Kρ−ρK[K, \rho] = K\rho - \rho K.
  2. L1,…,LmL_1, \dots, L_m are operators on HH, the jump operators, and Lk∗L_k^* is the adjoint of LkL_k.
  3. γ1,…,γm\gamma_1, \dots, \gamma_m are real numbers with γk≥0\gamma_k \ge 0, the rates.

The Lindblad equation is the linear differential equation dρdt=ℒ(ρ)\frac{d\rho}{dt} = \mathcal{L}(\rho) for a curve t↦ρ(t)t \mapsto \rho(t) of density matrices on HH. Units are chosen so that the reduced Planck constant is 11.

Remarks

Example: let H=ℂ2H = \C^2 with basis ∣0⟩,∣1⟩|0\rangle, |1\rangle, let K=0K = 0, m=1m = 1, L1=∣0⟩⟨1∣L_1 = |0\rangle\langle 1| and γ1=γ>0\gamma_1 = \gamma > 0. Then L1ρL1∗=ρ11∣0⟩⟨0∣L_1 \rho L_1^* = \rho_{11} |0\rangle\langle 0| and L1∗L1=∣1⟩⟨1∣L_1^* L_1 = |1\rangle\langle 1|, so the (1,1)(1,1) entry of ℒ(ρ)\mathcal{L}(\rho) is −γρ11-\gamma \rho_{11}. Hence ρ11(t)=e−γtρ11(0)\rho_{11}(t) = e^{-\gamma t} \rho_{11}(0): the excited level decays at rate γ\gamma.

Non-example: the equation dρdt=−γρ\frac{d\rho}{dt} = -\gamma \rho with γ>0\gamma > 0 is not a Lindblad equation. Every Lindbladian satisfies tr⁡ℒ(ρ)=0\tr \mathcal{L}(\rho) = 0, by cyclicity of the trace, so the Lindblad equation preserves the trace. The solution e−γtρe^{-\gamma t} \rho loses trace, so no choice of KK, LkL_k and γk\gamma_k gives this map.

The rates can be absorbed into the jump operators by replacing LkL_k by γkLk\sqrt{\gamma_k} L_k. The equation is also called the GKSL equation, after Gorini, Kossakowski, Sudarshan and Lindblad, who found it independently in 1976. Their theorem says that a linear map ℒ\mathcal{L} generates a semigroup etℒe^{t\mathcal{L}}, t≥0t \ge 0, of completely positive trace-preserving maps if and only if ℒ\mathcal{L} has the form above.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Density matrix concept
  2. Hilbert space concept
  3. Self-adjoint operator concept
  4. Trace of a matrix concept
  5. Lindblad equation definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Lindbladian
About this page
Tag9KT4NGVX2F
URIm2://9KT4NGVX2F
Kinddefinition
WritingW0 stub
MSC81S22, 81P16, 47D07
DefinesLindblad equation
UsesHilbert space, Density matrix, Self-adjoint operator, Trace of a matrix
Changed3 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.