On the characterization of partially entanglement breaking and annihilating channels

技術要約：部分的なもつれ破断およびもつれ消滅チャネルの特性評価について

問題提起
量子もつれ（エンタングルメント）は、テレポーテーション、暗号化、チャネル識別といった量子情報処理タスクにおける基本的なリソースである。もつれの存在は、しばしば分離可能か否かという二値的なものとして扱われるが、シュミット数（SN）によって定量化されるもつれの「次元性」は、高次元プロトコルにおいて極めて重要である。高いシュミット数を持つ状態は、チャネル識別や量子鍵配送などのタスクにおいて明確な利点を提供する。しかし、量子チャネル（ノイズ）は、伝送される状態のシュミット数を減少させることで、これらのリソースを劣化させる可能性がある。

「もつれ破断（Entanglement Breaking: EB）」チャネルは、部分系の量子もつれを完全に破壊するものとしてよく特徴付けられているが、もつれを完全に破壊することなく、シュミット数を減少させるより広いクラスのチャネルが存在する。これらは「部分的なもつれ破断（Partially Entanglement Breaking: PEBT）」チャネルと呼ばれる。さらに、分割（A|B）にわたるもつれを減少させるチャネルと、より大きな複合系の中の、ある部分系（B）内部のもつれを破壊するチャらネルとの間には区別が存在する。後者は「もつれ消滅（Entanglement Annihilating: EA）」チャネルとして知られている。本論文は、これらの中間的なクラス、具体的には $r$-部分的なもつれ破断（$r$-PEBT）チャネルおよび $r$-部分的なもつれ消滅（$r$-PEAT）チャネルを特徴付け、高次元のもつれを保持する（非リソース破断）チャネルを特定する方法を開発する必要性に取り組んでいる。

手法
著者らは、$d$ 次元のヒルベルト空間（$\mathbb{C}^d$）に作用する量子チャネルを分析するために、リソース理論の枠組みと演算子論的なツールを用いている。

1. 定義と特性評価:

   • $r$-PEBT: チャネル $S$ が $r$-PEBT であるとは、任意の入力状態 $\rho$ に対して、$SN[(id_A \otimes S)\rho] \leq r$ となることを指す。
   • $r$-PEAT: 部分系 $B$ に作用するチャネル $E$ が $r$-部分的なもつれ消滅であるとは、すべての $\rho_B$ に対して $SN[E(\rho_B)] \leq r$ となることを指す。著者らは、ローカルな（個々のチャネルのテンソル積としての）$r$-PEAT チャネルと、非ローカルな $r$-PEAT チャネルを区別している。
   • Choi-Jamiołkowski 同型: 著者らは、これらのチャネルを特徴付けるためにチョイ行列（$C_S$）を利用している。先行研究（Chruścińskiら）による重要な結果を用い、$S \in r\text{-PEBT}$ であることの必要十分条件は $SN(C_S) \leq r$ であるとしている。

2. 位相的解析:

   • 本論文は、$r$-PEBT チャネルの集合が**凸（convex）かつコンパクト（compact）**であることを確立している。これは、$r$-PEBT チャネルの凸結合が依然としてその集合内に留まること、およびその集合がすべての極限点を含むことを示すことで証明されている。
   • 同様の位相的性質（凸性とコンパクト性）が、非ローカルな $r$-PEAT チャネルの集合に対しても確立されている。

3. 検出基準:

   • ウィットネス演算子: $r$-PEBT でないチャネル（すなわち、SN $> r$ を保持するチャネル）を検出するために、著者らはウィットネスに基づくアプローチを提案している。彼らは、$r$-PEBT チャネルの集合へのダイヤモンドノルム距離に基づくスカラー汎関数を定義している。
   • スペクトル条件: $r$-正であり、かつ $(r+1)$-正ではない写像（$\Lambda$）を用いた十分条件が導出されている。もしチャネル $S$ が $\text{Tr}[(id_A \otimes \Lambda)(C_S)]^2 \leq \frac{1}{d^2-1}$ を満たすならば、$S \in r\text{-PEBT}$ である。
   • 絶対シュミット数: $r$-PEAT に関して、本論文は「絶対シュミット数チャネル」（非ローカルなユニタリ操作の下でも出力の SN が $\leq r$ に留まるチャネル）という概念を導入している。共変チャネルに対する、出力状態の固有値スペクトルに基づく十分条件が提供されている。

4. ケーススタディ:

   • 著者らは、これらの基準を**キュトリット・デポラリジング（qutrit depolarizing）チャネルおよびデフェージング（dephasing）**チャネルに適用し、これらのチャネルが 2-PEBT または 2-ローカル $r$-PEAT でなくなる正確なパラメータ領域を決定している。

主要な貢献と結果

1. $r$-PEBT の特性評価:

   • $r$-PEBT チャネルの集合が凸かつコンパクトであることを証明し、検出のためのウィットネス演算子の使用を可能にした。
   • 2 つの $r$-PEBT チャネルの直列結合が、依然として $r$-PEBT であることを示した。
   • $r > 1$ の場合、集合がテンソル積の下で閉じていないことを示した（標準的な EB チャネルでは $r=1$ であり、テンソル積の下で閉じているのと対照的である）。具体的には、$S_1, S_2 \in r\text{-PEBT}$ であっても、$S_1 \otimes S_2$ は $r\text{-PEBT}$ には含まれない可能性がある（ただし、$r^2\text{-PEBT}$ には含まれる）。

2. $r$-PEAT の導入:

   • 非ローカルな $r$-PEAT チャネルを定義し、特性化した。
   • 非ローカルな $r$-PEAT チャネルの直列結合が、依然として非ローカル $r$-PEAT であることを証明した。
   • 結合の順序が重要であることを示した。すなわち、$E$ が非ローカル $r$-PEAT であり、$F_B$ が任意のチャネルである場合、$E \circ F_B$ は非ローカル $r$-PEAT であるが、$F_B \circ E$ は（$F_B$ がシュミット数を増加させる可能性があるため）必ずしもそうではない。

3. 非リソース破断チャネルの検出:

   • キュトリット・デポラリジングおよびデフェージングチャネルが、非部分的なもつれ破断（$SN=3$ を保持する）として機能する明示的なパラメータ範囲を提示した。
   • キュトリット・デポラリジング・チャネル $S_3(\rho) = p\rho + \frac{1-p}{3}I$ については、$0 \leq p \leq 5/8$ のとき 2-PEBT であり、$5/8 < p \leq 1$ のとき 非-2-PEBT（$SN=3$ を保持）である。
   • キュトリット・デフェージング・チャネルについては、$0 \leq v \leq 1/2$ のとき 2-PEBT であり、$1/2 < v \leq 1$ のとき 非-2-PEBT である。

4. 集合の関係:

   • 以下の階層関係を確立した：$EB \subset 1\text{-PEBT} \subseteq 2\text{-PEBT} \subseteq \dots \subseteq r\text{-PEBT}$。
   • $r\text{-PEBT}$ は $2\text{-local } r\text{-PEAT}$ の部分集合であることを示した（すべての $r$-PEBT チャネルは $2\text{-local } r\text{-PEAT}$ チャネルである）。
   • その逆は成立しないこと（$2\text{-local } r\text{-PEAT} \not\subset r\text{-PEBT}$）を示した。
   • $r\text{-PEBT}$ と非ローカル $r$-PEAT は空でない共通部分を持つが、一方が他方の部分集合であることはない。

意義と主張
本論文は、もつれ破断の二値的な見方を超えて、量子チャネルがいかにして量子もつれの「次元性」を劣化させるかを理解するための包括的な理論的枠組みを提供すると主張している。これらのチャネル集合の位相的性質（凸性とコンパクト性）を特徴付けることで、著者らは、高次元のもつれリソースを保持するチャネルを特定するための効率的な検出方法（ウィットネス）の開発を可能にしている。

「部分的なもつれ消滅チャネル」の導入は、システム全体にわたるのではなく、部分系内部でもつれが破壊されるシナリオへとリソース理論を拡張するものである。著者らは、高次元の量子情報処理において、信頼できるプロセスを実現するためには「非リソース破断」チャネルを特定することが不可欠であると強調している。本研究は、導出された十分条件や標準的なノイズモデルに対するパラメータ領域を通じて、そのようなチャネルを特定するための処方箋を提供している。

著者らは、位相的な特性化は行ったものの、$r$-PEAT チャネルに対するチョイ・クラウス（Choi-Kraus）型の表現を得ることは依然として未解決の問題であると述べ、控えめに結論づけている。また、$r > 1$ における $r$-PEBT のテンソル積の下での非閉鎖性が、$r$-PEAT においても同様の性質が成り立つかどうかというさらなる調査を動機づけていることも指摘している。本論文は新しい実験装置を提案するものではなく、高次元システムにおけるチャネル容量とリソース保存を分析するための理論的ツールを提供するものである。