Geometric Complexity of Quantum Channels via Unitary Dilations

技術要約：ユニタリ拡張による量子チャネルの幾何学的複雑性

問題提起
本論文は、閉じた系における量子回路複雑性の確立された幾何学的アプローチ（Nielsenらによって先駆的に研究されたもの）と、開いた量子系における厳密な複雑性理論の欠如との間にある概念的な溝に対処している。閉じた系では、複雑性はターゲットとなるユニタリタリを合成するために必要な $SU(N)$ 上の最小測地線長として定義される。しかし、開いた系のダイナミクスは量子チャネルの族 $\{\Lambda_t\}_{t \ge 0}$ によって記述され、これらはシュレディンガー・ストーン型拡張（環境の次元、準備、および結合の違いによる）を通じて、無限に存在する非等価な微視的実現を許容する。その結果、幾何学的複雑性を単純に拡張することは定義が困難である。なぜなら、「コスト」はどの微視的な自由度がリソースとしてカウントされ、どれがゲージとして扱われるかに依存するためである。著者らは、実装依存のコストと本質的なチャネル複雑性を区別し、かつ拡張の非一意性を考慮した幾何学的複雑性の枠組みを構築することを目指している。

手法
著者らは、ユニタリ拡張と、全システム・環境のヒルベルト空間の次元 $N$ におけるリー群 $SU(N)$ 上の右不変リーマン計量に基づく枠組みを開発している。

1. 二層構造のフレームワーク:

   • 実装依存の複雑性: 特定のストーン型拡張 $D = (H_E, \rho_E, H_{tot})$ に対して定義される。この複雑性は、結合ユニタリ進化の幾何学的コストに基づいて計算される。
   • 本質的なチャネル複雑性: 物理的に許容される拡張のクラス（限定された環境次元や相互作用強度などのリソースモデルによって制約されたもの）に対する、実装依存の複雑性の下限（infimum）として定義される。

2. 減算的定義:
   実装依存の複雑性を定義するために、著者らは「減算的（subtractive）」な汎関数を導入している。彼らは全生成子 $H_{tot}(t)$ を、システム局所、相互作用、および純粋な環境成分へと分解する。複雑性汎関数は、純粋な環境寄与（$P_E(H_{tot})$）を幾何学的コストから取り除くことによって構成される。この減算は恣意的なものではなく、以下の3つの構造的公理から導出されている：

   • 閉じた系の整合性: ダイナミクスがユニタリである場合、複雑性はニールセンのユニタリ複雑性に帰着しなければならない。
   • 環境のみの無中立性: 生成子が環境に対してのみ作用する場合、複雑性はゼロでなければならない。
   • ゲージ不変性: 複雑性は、簡約されたチャネルを変更しない環境内の基底のユニタリ変換に対して不変でなければならない。

   結果として得られる有効生成子は $\hat{H}_{eff}(t) = \hat{H}_{tot}(t) - \hat{P}_E(\hat{H}_{tot}(t))$ であり、複雑性はこの有効生成子の積分ノルムである。

3. ノイズ複雑性:
   ノイズを含む実装と、規定された理想的な閉じた系の進化との間の幾何学的偏差を測定するための随伴量も定義されている。これは、ノイズを緩和するためのコスト、あるいは理想的な軌跡からの幾何学的距離を定量化するものである。

4. 技術的ツール:

   • コヒーレンスに基づく境界: 著者らは、固定された基底に対するユニタリの「コヒーレンス生成能力」に関連付けて、幾何学的複雑性を定義し、ユニタリ複雑性とノイズ複雑性の両方に対する下限を確立している。
   • 弱結合領域: 本フレームワークは、デイビス（Davies）の動機付けられた弱結合極限に適用され、幾何学的汎関数とGKSL（リンドブラッド）マスター方程式を結びつけている。

主な貢献

• チャネル複雑性の形式的定義: 本論文は、チャネルの複雑性が、許容される拡張を最小化することによって実装コストと本質的なチャネルコストを分離する汎関数 $G^{\text{imp}}_{b\Omega}(\Lambda_t; D)$ を導入している。
• 減算項の導出: 著者らは、閉じた系の整合性、環境の無中立性、およびゲージ不変性の公理を満たす唯一の解が、環境項の減算であることを証明している。
• 操作的な下限: 著者らは、コヒーレンスに基づくユニタリ幾何学的複雑性とノイズ複雑性の下限を確立し、幾何学的コストとコヒーレンスを生成または抑制するダイナミクスの能力を結びつけている。
• 構造的性質: 本論文は、時間一様（time-homogeneous）な拡張モデルにおける複雑性の線形時間スケーリングを証明し、マルコフ的（GKSL）領域における明示的な散逸制御境界を導出している。
• ベンチマーク分析: 本フレームワークは、標準的な単一量子ビットチャネル（デフェージング、振幅減衰、およびデポラリゼーション・ノイズ）に適用され、実装依存の複雑性とノイズ複雑性が標準的な物理モデルにおいてどのように振る舞うかを明らかにしている。

結果

• コヒーレンス境界: ヒルベルト・シュミット設定において、ユニタリの幾何学的複雑性は、参照基底に対するコヒーレンスを生み出す能力によって下限が抑えられる。この境界は、相対ノイズユニタリを通じてノイズ複雑性にも拡張される。
• 弱結合スケーリング: デイビス型の拡張において、実装依存のチャネル複雑性は時間 $t$ に対して線形にスケーリングする。これらの境界は、システム・ハミルトニアンのノルムと散逸子スケール $\Gamma$（リンドブラッド演算子のノルムの二乗和）によって制御され、弱結合パラメータ $\lambda$ による $O(\lambda t)$ 次の補正項を伴う。
• ベンチマークの知見:
  • デフェージング: 標準的なデフェージング拡張では、コヒーレント歪み複雑性は消失する（生成子が純粋に相互作用であるため）が、フル実装依存の複雑性は相互作用項のために非ゼロのままとなる。
  • 振幅減衰およびデポラリゼーション: これらのモデルは非ゼロのコヒーレント歪みを示し、ノイズ複雑性が有効散逸率の平方根とともに成長することを示す。
  • 本質的 vs 実装依存: 本論文は、正確な本質的複雑性（すべての拡張に対する大域的最小値）を計算することは非凸な変分問題であり、一般に困難であることを指摘している。したがって、ベンチマークは本質的複雑性の実用的な上限を提供する。

意義と主張
著者らは、自らのフレームワークが、単純なゲート数カウントを超えて、ノイズを含む実装のコストを定量化するための「概念的にクリーンで、技術的に強力な」手法を提供すると主張している。実装依存のコストと本質的なコストを区別することで、このフレームワークは、物理的に異なる実現を混同することを回避している。

本論文は、チャネル複雑性が本質的にリソース相対的であることを強調している。それは、許容される拡張のクラス（物理的制約）と、ペナルティ・テンソル $b\Omega$（幾何学的重み付け）の両方に依存する。減算構造により、複雑性尺度は、簡約されたシステム・ダイナミクスに真に影響を与える自由度にのみ敏感になり、「目に見えない」環境への寄与を除去している。

著者らは、弱結合領域における結果について、代理モデル内での「粗いが物理的に意味のある推定」であると控えめに述べている。彼らは、正確な本質的複雑性の計算が困難であることを認めており、より鋭い安定性結果には、より精密な近似理論（例えばダイヤモンドノルムにおけるもの）が必要であるとしている。本研究は、弱結合マルコフ的モデルと幾何学的コスト推定との間の架け橋として機能し、リソースに敏感な観点から開いた量子系の複雑性を提供している。