Lindblad 方程式

定義 6.1（「密度行列とエンタングルメント」§6）

$H$ をエルミート、 $L_k$ を任意の作用素（跳躍演算子）として、

\frac{d\rho}{dt}=\mathcal{L}(\rho):=-\frac{i}{\hbar}[H,\rho]+\sum_k\left(L_k\rho L_k^\dagger-\frac12\{L_k^\dagger L_k,\rho\}\right)

を Lindblad 方程式（GKSL 方程式）という。 $\{X,Y\}=XY+YX$ 。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明で明示的に参照している定理は、まだありません。