When Does the Non-Hermitian Effective Description Fail? A Finite-Size Reliability Map

技術要約：非エルミート有効記述はいつ破綻するか？ 有限サイズ信頼性マップ

問題提起
リンドブラッド・マスター方程式の「ノークリック（事後選択）」アンラベリングから導出される非エルミート有効ハミルトニアン $H_{\text{eff}} = H - \frac{i}{2} \sum_j w_j L_j^\dagger L_j$ は、エキセプショナル・ポイント（EP）センシングからPT対称光学に至る幅広い分野の開放量子系モデルとして広く用いられている。この記述は、完全な無条件リウヴィリアン進化（ヒルベルト空間の次元 $d$ に対して二乗でスケールする）に代わる計算効率の高い代替手段を提供するが、そこには「条件付きのノークリック軌跡が、観測ウィンドウ全体にわたって無条件の状態を忠実にプロキシ（代理）できる」という暗黙の仮定がある。

本研究が取り組む根本的なギャップは、この仮定がいつ破綻するかについての、定量的かつ予測可能な基準が欠如していることである。先行研究では、定性的な境界（例：弱結合領域や純粋損失モデルにおけるEPの不在）を確立したり、ジャンプをスペクトルへの摂動的補正として扱ったりしてきた。しかし、条件付き状態と無条件状態の間の動的な距離に対して、解析的に予測可能な閉形式の係数を導出し、さらにシステムサイズ（$N$）の関数としてその信頼性がどのように低下するかを定量化した研究はこれまで存在しない。

手法
著者は、トレース距離 $D_{\text{dyn}}(T) = \frac{1}{2} \| \rho_{\text{uncond}}(T) - P_c(T) \|_{\text{tr}}$ に基づく信頼性マップを定義する。ここで $P_c$ は正規化された条件付き射影演算子である。研究は、以下の解析的および数値的なステップに従って進行する：

1. 摂動展開： 無次元の散逸パラメータ $K_n = \gamma/\omega$（$\gamma$ は散逸スケール、$\omega$ は特性周波数）のべき乗を用いて、無条件状態 $\rho_u$ と正規化されたノークリック状態 $|\tilde{\psi}_c\rangle$ を展開する。
2. 閉形式の導出： 一次差分 $\Delta = \rho_u - P_c$ を解析することにより、リンドブラッド・スーパーオペレータにおける決定論的な損失項（反交換子）が、条件付き状態の正規化補正と正確に相殺されることを著者らは示す。生き残る不一致は、ジャンプ演算子の揺らぎのみによって駆動される。これにより、以下の閉形式の式が得られる：
   $$c_1 = \frac{\omega}{2} \left\| \sum_j w_j \int_0^T \left[ \tilde{L}_j(\tau) \rho_0(T) \tilde{L}_j^\dagger(\tau) - \langle n_j \rangle_{T-\tau} \rho_0(T) \right] d\tau \right\|_{\text{tr}}$$
   ここで $\tilde{L}_j$ は相互作用描像のジャンプ演算子であり、$\rho_0$ はユニタリ軌道である。
3. 保存積分定理： 励起数を保存する系（$[H, N]=0$）において、梯子型のジャンプ演算子（$N$ を非ゼロの整数分だけシフトさせるもの）を用いる場合、著者は $c_1$ を保存量の単純な積分へと簡約化する定理を証明する：$c_1 = 2\pi w N_{\text{exc}}$。この結果は、微視的な結合には依存せず、保存された励起数とチャネルの重みにのみ依存する。
4. 有限サイズ・スケーリング： 1次元散逸スピン鎖（$N=2$ から $12$）を用い、厳密対角化法およびコーナー空間・截断法を用いて信頼性をテストする。様々なシステムサイズに対して、交差スケール$K_D^*$（$D_{\text{dyn}}$ が閾値を超える点）を抽出する。
5. クロスプラットフォーム検証： 理論は、駆動型二準位系（TLS）、カイラル導波路ペア、および利得・損失キャビティ系の3つの異なるプラットフォームにわたって検証される。

主な結果

• 予測可能な係数： 非エルミート記述の主要な破綻は $K_n$ に対して線形である（$D_{\text{dyn}} \approx c_1 K_n$）。極めて重要なことに、$c_1$ はフィッティングパラメータではなく、ユニタリ軌道に沿ったジャンプ演算子の揺らぎによって完全に決定される。励起保存系においては、$c_1$ は正確に $2\pi w N_{\text{exc}}$ となる。
• 有限サイズ・スケーリング： 非エルミート記述の信頼性は、システムサイズとともに低下する。交差スケールはべき乗則 $K_D^*(N) \propto N^{-1}$ に従う。これは、少数の粒子系で較正された弱い結合のルールが、多体系に対しては系統的に楽観的であることを意味する。正しい制御パラメータは積 $K_n N$ である。
• エキセプショナル・ポイント（EP）解析：
  • 単一損失駆動のTLSにおいて、著者は「純粋損失モデルにおけるno-EP定理」と一致する、EPの不在を確認する。その結果、係数 $c_1$ は発散しない。
  • 利得・損失キャビティモデルでは、EPが存在する。システムがEPに近づくにつれ、線形則は崩壊し、事後選択コスト（ノークリック事象を観測するために必要な軌跡の数）が発散するため、EP付近でのノークリック記述は実験的にアクセス不可能となる。
• プロトコルの感度： 測定される距離は、慣習（観測ウィンドウ、正規化、初期状態のアンサンブル）に対して非常に敏感である。著者は再現性を確保するために、厳格なプロトコル（全周期ウィンドウ、正規化された条件付き状態、状態ごとの平均化）を確立している。
• 設計規則： 本研究は明示的な切り替え基準を提供する。非エルミート記述が信頼できるのは、$K_n < K_D^* = 0.1/c_1$（または多体系の場合は $K_n N < K_D^*$）であり、かつジャンプ確率 $P_{\text{jump}} < 10\%$ である場合に限られる。

意義と主張
本論文は、非エルミート記述の妥当性を「二値的な仮定」から「定量的かつサイズ依存の基準」へと変貌させる「有限サイズ信頼性マップ」を提供することを主張している。その主な貢献は以下の通りである：

1. 解析的予測可能性： 経験的な「弱結合」への訴えを、ユニタリ力学のみから導出される計算可能な係数へと置き換える。これには、散逸のシミュレーションを必要としない。
2. 構造的法則 vs 普遍的定数： 全てのプラットフォームに共通する単一の普遍的な数値係数の探索に反対する。代わりに、保存量に基づいてプラットフォーム固有の係数を予測する「普遍的な構造的法則（保存積分定理）」を提案する。
3. 有限サイズ補正： 非エルミート記述は、事後選択コストの蓄積により、より大きなシステムにおいてより急速に破綻すること（$1/N$ でスケールする）を確立する。これは、少数の粒子によるベンチマークがなぜ多体系のレジームにおいて信頼性を保証できないのかについて、厳密な正当付けを与えるものである。
4. 実験への指針： EP実験のための実用的なガイドを提供し、純粋損失モデルからEPによる増強を推論することはできないこと、および、主張される増強効果には事後選択コストを併記すべきであることを強調する。

著者は、非エルミート記述は強力な組織化原理であるが、その妥当性はジャンプ演算子の蓄積された揺らぎとシステムサイズによって厳密に制限されており、導出された閾値を超えた場合には、完全な無条件リウヴィリアン記述への切り替えが必要であることを結論付けている。