Simulation of Adjoints and Petz Recovery Maps for Unknown Quantum Channels

技術要約：未知の量子チャネルに対する随伴およびPetzリカバリマップのシミュレーション

問題提起
本論文は、量子情報理論における根本的な問題、すなわち未知の量子チャネルに対する変換（複素共役 $N^*$、転置 $N^T$、および随伴 $N^\dagger$）の物理的な実現可能性について取り組んでいる。これらの変換はユニタリ演算（$U \to U^\dagger$ が時間反転に対応するケース）においてはよく理解されているが、一般的な開いた系のダイナミクス（量子チャネル）に対して実装する場合、明確に異なる課題が生じる。主な困難は、チャネルの複素共役は完全正（CP）かつトレース保存（TP）な写像として残る一方で、転置および随伴は一般にTPではなく、したがって有効な量子チャネルにはならないという点にある。中心となる問いは、これらの非TP写像が確率的なスーパーマップによって物理的に実装可能なのか、あるいは仮想的（準確率的）なスキームを必要とするのかという点である。

手法
著者らは、以下の階層的な高次量子変換を用いて検討を行っている：

1. 確率的コム（Probabilistic Combs）: 特定の確率で成功する（事後選択を行う）物理的プロトコル。
2. 仮想的コム（Virtual Combs）: 非物理的な写像をシミュレートするために、物理的プロセスを負の重みを用いて組み合わせた、準確率分解に基づくプロトコル。

手法には以下が含まれる：

• 事後選択によるテレポーテーション: 最大もつれ状態とベル測定を利用して、未知のチャネルの転置を確率的に実装する。
• No-Go証明: 背理法を用いて、有限個の入力チャネルを用いたとしても、いかなる完全正（CP）スーパーマップであっても、複素共役または随伴を普遍的に実現することはできないことを証明する。
• ウェルナー・ヘレボ・チャネル（Werner-Holevo Channels）: 前処理および後処理のステップとしてウェルナー・ヘレボ・チャネル（$W^\pm_d$）を用いる仮想的コムを構築する。これらのチャネルは、目的の転置項と等方的ノイズを混合させる。これらのチャネルの線形結合（準確率混合）を取ることで、ノイズ項を相殺し、非物理的な複素共役写像を孤立させる。
• ダイヤモンドノルム最適化: 仮想的コムと物理的コムの偏差を、ベースノルム（コムに対するダイヤモンドノルムに相当）を用いて定量化し、提案された構成の最適性を証明する。
• Petzリカバリ推定: ブロックエンコーディング技術と仮想的随伴プロトコルを統合し、チャネルのスティルンガー同型（Stinespring isometry）へのアクセスを必要とせずに、Petzリカバリマップの期待値を推定する。

主要な貢献と結果

1. 実現可能性の厳密な階層：

   • 転置 ($N^T$): 確率的な事後選択テレポーテーション・プロトコルを通じて、物理的に実現可能であることを証明した。成功確率は、ユニタルの場合 $1/d^2$ である。
   • 複素共役 ($N^*$) および随伴 ($N^\dagger$): 本論文は、未知のチャネルに対しては、$N^*$ も $N^\dagger$ も、たとえ確率的であっても、いかなる完全正スーパーマップによっても実装できないという「No-go定理」（定理1）を証明している。これは、ユニタリ変換と一般的なチャネル変換の間の根本的な隔たりを確立するものである。

2. 複素共役のための仮想プロトコル：

   • 著者らは、ウェルナー・ヘレボ・チャネルの準確率分解を用いて、複素共役 $N^*$ を普遍的に実装する1スロット仮想的コム（定理3）を設計した。
   • このプロトコルは、特定の確率（$p_1, p_2, p_3$）を持つ3つの物理的プロセスの組み合わせからサンプリングし、古典的な後処理を行って期待値 $\text{Tr}[O N^*(\rho)]$ を再構成する。
   • 最適性: 定理4は、構築された仮想的コムが最小のベースノルム（サンプリングオーバーヘッド）である $d_A d_B - d_A + 1$ を達成することを確立しており、この構成がダイヤモンドノルムに関して最適であることを証明している。

3. Petzリカバリマップの推定：

   • 本論文は、未知のチャネル $N$ に対する事前状態 $\sigma$ を与えられたとき、Petzリカバリマップの期待値 $\text{Tr}[O_A P_{\sigma, N}(\omega_B)]$ を推定するプロトコルを提案している。
   • スティルンガー同型をブロックエンコーディングするか、あるいは高いクエリ複雑性を伴う決定論的近似を用いる既存の手法（文献[30, 31]）とは異なり、本手法はチャネルへのブラックボックスアクセスのみを使用する。
   • クエリ複雑性: ユニタルのチャネルの場合、クエリ複雑性は $O\left(\frac{d_A^3 d_B^3}{\varepsilon^2} \log \frac{1}{\delta}\right)$ でスケールする。これは、文献[31]における決定論的近似（$O\left(\frac{d_A^{5.5} d_B^{2.5}}{\varepsilon^4 \lambda_{\min}^{3/2}} \dots\right)$ でスケールする）と比較して、大幅な改善となっている。

意義
本論文は、量子チャネルに対する普遍的な双対写像（共役、転置、随伴）の物理的実装に関する完全な全体像を提供すると主張している。その意義は以下の点にある：

• 根本的な限界の解明: 物理的なスーパーマップの能力（転置は扱えるが、共役や随伴は扱えない）と、仮想的プロトコルの能力（これらすべてを扱える）を明確に区別した。
• 新たな応用への道を開く: 随伴のための仮想的プロトコルを提供することで、本研究はチャネルへのブラックボックスアクセスのみを用いてPetzリカバリマップを推定することを可能にする。これは、量子ダイナミクスの可逆性や、準最適な誤り訂正の特性評価において極めて重要である。
• 効率性: Petzマップの期待値を推定するための提案手法は、既存の決定論的アプローチと比較して、クエリ複雑性において多項式レベルの改善を実現しており、開いた系を含む実用的な量子情報処理タスクへの適用可能性を高めている。

著者らは、このフレームワークが一般的な開いた量子系におけるアウト・オブ・タイム・オーダー相関関数（OTOC）のプロービングを可能にすることに触れ、マルチスロット設定や、量子熱力学および誤り緩和におけるより広範な高次変換への将来的な拡張を示唆している。