Transmitting algebras through quantum channels

技術要約：量子チャネルを通じた代数の伝送

問題提起
本論文は、ノイズのある量子チャネルを通じて、有限次元$C^*$代数を正確かつ誤りなし（zero-error）に伝送する問題に取り組んでいる。古典的および量子的なゼロエラー容量は十分に研究されているが、これらは伝送のスカラ的な側面（純粋な古典メッセージまたは純粋な量子系）のみを記述している。著者らは、情報オブジェクトが$C^*$代数$A \cong \bigoplus_{k=1}^K M_{d_k}(\mathbb{C})$である「ハイブリッド」な古典・量子情報を扱うことで、この枠組みを一般化している。この構造において、代数の中心（center）は古典的なラベル$k$を格納し、単純な成分である$M_{d_k}(\mathbb{C})$は、そのラベルに条件付けられた量子系を格納している。

中心的な問いは、与えられたノイズのあるチャネル$\Phi$に対して、どのような代数の型が伝送可能か、ということである。さらに、他のすべての伝送可能な代数へと埋め込み可能な、一意の「最適」または「支配的な」伝送可能代数$A_{dom}$が存在するかどうかである。もしそのような代数が存在するならば、それはチャネルを使用するための単一の普遍的な最適戦略を表すことになる。

手法および定義
著者らは、作用素代数的な量子誤り訂正の枠組みを用いて、チャネル$\Phi: \mathcal{L}(\mathcal{H}) \to \mathcal{L}(\mathcal{K})$を介した代数$A$の伝送を定式化している。

• 伝送可能性（Transmittability）: 代数$A$は、忠実な符号化表現$\pi_E: A \to \mathcal{L}(\mathcal{H})$が存在し、その像$\pi_E(A)$が$\Phi$に対して訂正可能であるとき、伝送可能である。これは、符号化チャネル$E$と復号チャネル$D$が存在し、$D \circ \Phi \circ E = P_A$（ここで$P_A$は$A$へのトレース保存条件付き期待値）を満たすことと同値である。
• 順序（Ordering）: 伝送可能な代数の集合$\mathcal{T}(\Phi)$は、埋め込み前順序（$A \leq B$）によって順序付けられている。$A$が$B$に埋め込まれるとは、特定の次元制約を満たす非負整数行列を介して、$A$のブロックを$B$のブロックの中にパッキングできることを意味する。
• 極大（Maximal）対 支配的（Dominating）: ある代数が、自身を含むより大きな伝送可能代数が存在しないとき、「極大」である。ある代数が、他のすべての伝送可能代数を含んでいるとき、「支配的」である。本論文は、すべてのチャネルに対して$|\max(\mathcal{T}(\Phi))| = 1$が成立するかどうかを調査している。

主な貢献および結果

1. 支配的な代数の非存在:
   本論文は、支配的な伝送可能代数が常に存在するわけではないことを示している。著者らは、小さな次元（例：$\Phi: M_4(\mathbb{C}) \to M_3(\mathbb{C})$）における具体的なチャネルを構成しており、そこでは極大な伝送可能代数の集合が$\{M_2(\mathbb{C}), \mathbb{C}_3\}$となる。この場合、量子ビットを保持することと、3つの古典メッセージを送信することは比較不能な最適戦略であり、一方が他方に埋め込まれることはなく、単一の代数が両方を支配することもない。

2. ハイブリッド容量と容量代数:
   著者らは、ハイブリッドな古典・量子容量$c_d(\Phi)$を導入している。これは、$d$次元の量子系とともに送信できる最大級の古典メッセージ数として定義される。これを用いて、ハイブリッド容量の列によって決定される一意の代数の型である「容量代数（capacity algebra）」$A_{cap}(\Phi)$を構築している。

• 結果: もし支配的な代数が存在するならば、それは$A_{cap}(\Phi)$と同型でなければならない。しかし、$A_{cap}(\Phi)$の存在と伝送可能性は、支配的であるための必要条件ではあるが十分条件ではない。
• 有限の特性付け: 候補となる代数$A$が支配的であるための条件は、$A$が伝送可能であり、かつその「最小禁止代数型」（$A$には埋め込まれないが、その真部分代数は$A$に埋め込まれるような代数）が伝送可能ではないことである。

3. 支配性の十分条件:
   著者らは、支配的な代数を持つチャネルの特定のクラスを特定している：

• 代数的作用素系（Algebraic Operator Systems）: 非可換混同グラフ（作用素系）$S_\Phi$が単単位 $*$-部分代数とグラフ同型である場合、その交換子（commutant）$S'_\Phi$が支配的な代数となる。
• 高度に可分なチャネル: 任意のチャネル$\Psi$に対し、十分に高いテンソル冪$\Psi^{\ell}$（ここで$\ell \geq (\dim \mathcal{H})^2$）は、そのチャネルの周辺代数（peripheral algebra）と同型な支配的な代数を持つ。
• ゼロ量子容量: 1ショットのゼロエラー量子容量がゼロ（$Q_0(\Phi)=0$）であるチャネルは、純粋に古典的な支配的代数を持つ。

4. テンソル積と超加法性:
   本論文は、テンソル積の下での伝送集合の挙動を調査している。

• 支配性の喪失: 2つのチャネル$\Phi$と$\Psi$がそれぞれ個別に支配的な代数を持っていたとしても、それらの結合使用$\Phi \otimes \Psi$において支配的な代性が失われることがある。結合符号化は、個々の支配的な代数の積と比較不能な、新しい代数の型を生み出す可能性がある。これは、シャノンの理論における容量の超加法性に類似している。
• 二重指数関数的成長: 著者らは、ブロック長$n$における極大な伝送可能代数の型 $w_n(\Psi)$ が、二重指数関数的に成長（$w_n(\Psi) \gtrsim 2^{2^n}$）するようなチャネル$\Psi$を構成している。これは、そのようなチャネルの完全な伝送構造が、有界なブロック長を持つ有限の符号の集合から生成されることはできないことを意味しており、新たな、積として分解不可能な代数の型が、任意の大きなブロック長において出現することを示唆している。

意義
本論文は、ゼロエラー・ハイブリッド通信の景観が、これまで考えられていたよりも構造的に豊かであることを確立している。比較不能な複数の極大代数の存在は、「最適」な量子チャネルの使用が唯一ではなく、特定の操作的タスク（例：量子コヒーレンスの優先か、古典的な識別性の優先か）に依存することを意味している。テンソル積の下での支配性の失敗は、ゼロエラー領域における結合符号化の複雑さを浮き彫りにしている。さらに、極大な代数の型の二重指数関数的な成長は、量子チャネルの伝送能力が有限の構成要素から完全に特徴付けられることは困難であることを示唆しており、漸近的なゼロエラー通信構造の単純な有限記述という概念に疑問を投げかけている。