出典検証済みレベル 4
リンドブラッド・マスター方程式
リンドブラッド・マスター方程式は開放量子系の運動方程式です。シュレーディンガー動力学に散逸項を加えて拡張し、崩壊演算子L_kが各ノイズチャネル（T1緩和、位相緩和、リーク減衰）を担います。
どういう意味か
波動関数とシュレーディンガー方程式で記述される閉じた量子系は、ノイズについて何も知りません。実際の量子ビットは開いています。環境と結合し、その状態は密度行列ρ（純粋状態だけでなく混合状態も表現できる）で記述しなければならず、マルコフ近似のもとで時間発展はリンドブラッド・マスター方程式に従います。第1項 −(i/ħ)[H(t),ρ] はおなじみのコヒーレントなシュレーディンガー動力学であり、散逸項の和がノイズの文法です。崩壊演算子L_kの1つ1つがノイズチャネルを1つずつ担います — T1緩和の|1⟩→|0⟩下降演算子、純位相緩和Tφの位相演算子、リーク準位の減衰 — その強さがγ_k ≈ 1/T_kです。この方程式の最も一般的な形は1976年にヨラン・リンドブラッドが証明しました（同年、ゴリーニ・コサコフスキ・スダルシャンも独立に証明したため「GKSL方程式」とも呼ばれます）。この誠実さには代償があります。状態がd次元ベクトルではなくd×d行列なので、27次元の量子ビット-カプラ-量子ビットモデルだけで密度行列の要素は729個 — 精密な開放系シミュレーションと最適化が少数の量子ビットで止まる数学的理由です。日常のたとえ
ボールが転がるルールを書いた本が2冊あります。静かな部屋のルールブック（シュレーディンガー方程式）には「誰も邪魔しなければ、ボールはこう転がる」としか書いてありません。騒がしい部屋のルールブック（リンドブラッド方程式）には、それに加えて「風が吹けばこれだけ押され、床がべたついていればこれだけ遅くなり、ときどき3階まで跳び上がることもある」まで全部書いてあります。本物の量子ビットは騒がしい部屋に住んでいます — だから誠実なルールブックはリンドブラッドのほうなのです。
リンドブラッドは専門用語ではなく人名です。スウェーデンの数理物理学者ヨラン・リンドブラッド（Göran Lindblad）が1976年にノイズのある量子発展の最も一般的な形を証明しました（同年GKSチームも独立に証明し、GKSL方程式とも呼ばれます）。そして行列（ぎょうれつ）は「行（横の列）と列（縦の列）」ですが、ラテン語のmatrixは「子宮、生み出す母体」（mater、母）を意味します。密度行列は純粋状態も混合状態も生み出せる母体 — 名前のとおりの働きをします。
よくある誤解
- 実験ショットごとに見ればリンドブラッドのノイズはランダムに見えます — しかしこの方程式が記述するのはアンサンブル平均であり、それは完全に滑らかで微分可能な関数です。ランダムさは平均されて決定論的な動力学になります。現代のパルス最適化器で勾配がノイズを「貫通」できるのは、まさにこのためです。
- リンドブラッド方程式は波動関数を発展させるものではありません — 開放系の状態は必ず密度行列ρでなければなりません。環境との相互作用が生む混合状態は、どんな単一の状態ベクトル|ψ⟩でも表現できないからです。
要点
- 1976年生まれ: ヨラン・リンドブラッドが完全正値かつトレース保存のノイズ量子発展の最も一般的な形を証明しました。同年のゴリーニ・コサコフスキ・スダルシャンによる独立証明にちなんでGKSL方程式とも呼ばれます。
- 第1項 −(i/ħ)[H(t),ρ] は静かな部屋（シュレーディンガー）の物理で、散逸項の和がノイズの文法です — ノイズチャネルごとに崩壊演算子L_kが1つ（T1下降、純位相緩和、リーク減衰）、それぞれの強さはγ_k ≈ 1/T_kです。
- 誠実さは高くつきます: 状態がdベクトルではなくd×d行列なので、27次元の量子ビット-カプラ-量子ビットモデルだけで密度行列要素は729個 — 精密な開放系最適化が少数の量子ビットで止まる数学的理由です。
理解度チェック
リンドブラッド・マスター方程式において、各崩壊演算子L_kは何を表しますか？
- A.量子ビットの測定
- B.T1緩和、純位相緩和、リーク減衰などのノイズチャネル1つ
- C.量子論理ゲート
- D.系の全エネルギー
答えを見る
答え: B. T1緩和、純位相緩和、リーク減衰などのノイズチャネル1つ
理由: 各L_kは環境が系を乱す方法をちょうど1つずつ担います — T1緩和の|1⟩→|0⟩下降演算子、Tφ位相緩和の位相演算子、リーク準位の減衰 — そしてγ_kがそのチャネルの強さを決めます。
実験ショットごとにT1崩壊イベントはランダムな時刻に起こります。それでもリンドブラッド発展が滑らかで微分可能なのはなぜですか？
- A.方程式がノイズを無視しているから
- B.量子力学がランダム性を禁じているから
- C.方程式はアンサンブル平均を記述しており、個々のランダム性は平均の中で決定論的な動力学になるから
- D.ノイズが正確に周期的だから
答えを見る
答え: C. 方程式はアンサンブル平均を記述しており、個々のランダム性は平均の中で決定論的な動力学になるから
理由: 密度行列は多数の反復ショットの統計を記述します。ランダムなジャンプの平均効果は、時間と制御パラメータに対して完全に滑らかな関数です — ノイズを貫く勾配ベースの最適化が可能な理由です。
前提となる概念
一次資料: G. Lindblad, On the generators of quantum dynamical semigroups, Commun. Math. Phys. 48, 119 (1976), doi:10.1007/BF01608499
GKSL form per Lindblad 1976 (independently Gorini-Kossakowski-Sudarshan 1976).