Recursive perturbation approach to time-convolutionless master equations: Explicit construction of generalized Lindblad generators for arbitrary open systems

技術要約：時間非局所的（Time-Convolutionless）マスター方程式への再帰的摂動アプローチ

問題提起
開放量子系の理論には、環境との相互作用がデコヒーレンスや不可逆的な挙動を誘起する現実的な環境において、ダイナミクスを記述するための堅牢な枠組みが必要である。リンドブラッド（Lindblad）マスター方程式は広く用いられているが、これはマルコフ的なダイナミクス、弱結合、および明確なタイムスケールの分離という仮定に依存しており、強結合や構造化されたスペクトル密度を特徴とする領域ではしばしば破綻する。これらの非マルコフ的な領域において、時間非局所的（Time-Convolutionless, TCL）マスター方程式は、環境からのバックアクションを考慮した時間局所的な生成子を利用することで、より優れた記述を提供する。しかし、TCL生成子の解析的な導出は、通常、解けるモデル（例：ガウス型環境や線形相互作用）に限定されている。非ガウス的なレゾバー（熱浴）や非線形な結合を含む複雑なシナリオでは、従来の摂動法は、入れ子状になった時間積分と環境相関関数の指数関数的な複雑さの増大により、高次において計算不能となる。さらに、TCL生成子はリンドブラッド形式にキャストすることが可能であるが、コヒーレント成分（ハミルトニアン）と散逸成分への分解は一般に一意的ではなく、有効なシステム・ハミルトニアンと散逸率の定義に曖昧さを生じさせる。

手法
著者らは、左作用および右作用のシステム演算子を用いて明示的に定式化された、開放量子系のTCL生成子に対する再帰的摂動展開を展開する。この手法は、初期状態が非相関（$\rho_{SE}(0) = \rho_S \otimes \rho_E$）であり、全ハミルトニアンが $H_t = H_{S,t} + H_{E,t} + \lambda A_t \otimes B_t$ である一般的な二部系を想定している。

1. 再帰的展開： この手法は、文献 [16] で以前に開発された再帰的摂動展開に基づいている。ダイナミカルマップは、結合強度 $\lambda$ のべき級数で展開される。生成子 $L_t$ は、ダイナミカルマップとその逆写像の合成（$L_t = \dot{\Phi}_t \circ \Phi_t^{-1}$）によって構成される。
2. 演算子表現： 展開は、スーパー演算子 $A^L[\rho] = A\rho$ および $A^R[\rho] = \rho A$ を用いて表現される。この表現により、システム演算子とバス（環境）演算子の系統的な分離が可能になる。展開の係数は「一般化された累積量（generalized cumulants）」($D$) として定義され、これらは多時刻の環境相関関数と時間順序を取り込む。
3. 再帰的累積量： 主要な技術的革新は、これら一般化された累積量の再帰的な定義（式27）にある。これにより、高次の項を低次の寄与から構築することが可能となり、計算上の冗長性を大幅に削減し、摂動項の図式的表現を可能にする。
4. 標準的分解： 著者らは、得られた生成子を一般化されたリンドブラッド形式へと写像する。コヒーレント部分と散逸部分の分離に内在する曖昧さを解決するために、彼らは最小散逸の原理を課す。これは、リンドブラッド演算子がトレースレスであること（具体的には $V_i \to V_i - \langle V_i \rangle_{1/d} \mathbb{1}$）を要求することによって達成される。この制約は、分解を一意に指定し、散逸体がヒルベルト・シュミット平均ノルムに関して最小となることを保証し、明確に定義された有効ハミルトニアンをもたらす。

主要な貢献と結果

• 一般化されたリンドブラッド形式： 本論文は、任意の次数の標準的なリンドブラッド様構造におけるTCL生成子の系統的な表現を提供する：
  $$L[X] = -i[K, X] + \sum_{ij} \gamma_{ij} \left( L_i X L_j^\dagger - \frac{1}{2} \{L_j^\dagger L_i, X\} \right)$$
  ここで、レート $\gamma_{ij}$ と演算子 $L_i$ は時間に依存する。負のレートの出現は、非CP-分割性（non-CP-divisibility）の兆候として特定されており、これは非マルコフ的なダイナミクスを示している。
• 有効ハミルトニアンの構成： 著者らは、有効なシステム・ハミルトニアン $K(t)$ のための再帰的な公式（式45）を導出している。この項は、環境相互作用によるシステムエネルギー準位の繰り込みを捉える。この定式化は、摂動の偶数次と奇数次を区別し、ハミルトニアンへの偶数次の寄与が累積量の虚数部から生じ、奇数次の寄与が実数部から生じることを示している。
• 明示的な計算： 手法の検証のため、著者らは生成子を4次まで明示的に計算している：
  • 1次： $\langle B_t \rangle$ に比例する有効な駆動項を与える。
  • 2次： 2点バス相関関数を含む標準的な2次のTCL結果を回収する。
  • 3次および4次： 著者らは係数と、それによって生じるハミルトニアンへの寄与の明示的な表現を提供している。彼らは、1次の項が消失するという仮定（例：$\langle B_t \rangle = 0$）の下で、再帰的公式（式27）が直接積分と比較して4次の係数の計算を大幅に簡略化することを実証している。

意義と主張
本論文は、この再帰的摂動アプローチが、ガウス型または線形相互作用モデルの制限を超え、任意の開放量子系に対してTCL生成子を導出するための系統的かつ扱いやすい手法を提供すると主張している。生成子をトレースレスな演算子を持つ標準的なリンドブラッド形式で定式化することにより、本手法は有効ハミルトニアンと散逸率の定義における曖昧さを解決し、強結合および非マルコフ的な領域においても、物理的に解釈可能な分解を提供する。

著者らは、この枠組みがメモリ効果が重要な意味を持つ複雑な環境の研究を可能にすると述べている。4次までの明示的な導出は、非ガウス効果や非線形結合を扱う上での本手法の有効性を実証している。本研究は、スピン系のコヒーレントなダイナミクスを調査し、数値的な証拠を裏付けるためのツールとして提示されており、生成子の物理的に解釈可能な構造を保持しながら、開放量子系を系統的に研究するための経路を提供するものである。本論文は新しい実験セットアップを提案するものではなく、既存のモデルを分析し、エネルギー分裂の繰り込みや非CP-分割性といった非マルコ夫現象を解釈するための理論的ツールを提供するものである。