Explicit channels with unbounded gains in classical communication using entangled inputs

技術的要約：古典通信におけるもつれた入力を用いた、非有界な利得を持つ明示的なチャネル

問題設定
本論文は、量子情報理論における、量子チャネル上の古典通信容量の加法性に関する根本的な問いに取り組んでいる。具体的には、独立した量子チャネルの使用に対して入力をもつれさせることで、積状態のコードワードで達成可能な古典通信レートを超えて、達成可能な通信レートを増加させることができるかどうかを調査している。

メモリレスチャネル $\Phi$ に対して、積状態を用いた最適漸近レートは、一ショットのホレボ情報 $\chi_{\max}(\Phi)$ によって与えられる。古典容量 $C(\Phi)$ は、$n$ 回の使用にわたるもつれたコードワードを許容し、$C(\Phi) = \sup_{n \ge 1} \frac{1}{n}\chi_{\max}(\Phi^{\otimes n})$ と定義される。「加法性の問題」とは、$C(\Phi) > \chi_{\max}(\Phi)$、あるいは、最小出力エントロピーが非加法的であるかどうかを問うものである。Hastings (2009) は、Haarランダムなユニタリ行列を用いた確率的手法を用いて、そのようなチャネルの存在を証明したが、明示的な有限次元チャネルの族を用いてこの超加法性を実証できるか、またその利得を非有界にできるかという点は、長年の未解決問題であった。

手法
著者らは、決定論的なクディット・クリフォード・ユニタリと、特定の測定および古典的フィードフォワード過程を組み合わせることにより、明示的な有限次元量子チャネルの族 $\Phi_N$ を構成している。このアプローチは、Hastingsによる確率的構成のデリダム化（決定論化）として機能する。

1. チャネル構造: 基本となるチャネル $\Psi^{(k)}_{n,H}$ は、測定演算子 $H$ によって制御された、補完的な混合ユニタリチャネル $\Psi_0$ と完全脱分極チャネルの凸結合として定義される：
   $$\Psi^{(k)}_{n,H}(\rho) = \Psi_0(H\rho H) + \text{Tr}[(I_n - H^2)\rho] \frac{I_k}{k}$$
   ここで、$\Psi_0$ は、量子アダー回路のテンソル積の積であるユニタリ $U_I$ を用いた一様混合ユニタリチャルである。

2. 決定論的ユニタリ: Haarランダムなユニタリの代わりに、著者らは $Q = 2^q$ を法とする算術量子アダー回路から構成される明示的なユニタリ演算子を用いている。具体的には、演算子 $|a, b\rangle \mapsto |a+2b, b\rangle$ および $|a, b\rangle \mapsto |a, b+2a\rangle$ を利用している。これらは、一般化されたパウリ演算子に対するクリフォード演算子である。ユニタリ集合 $\{U_I\}$ は、これらのアダーベースの置換のテンソル積によって形成される。

3. 測定とフィードフォワード (MFF): 演算子 $H$ は、$H^2 = \gamma(I_n + F)^{-1}$ となるように定義される。ここで、$F$ は出力エントロピーを制御するためにユニタリから構成される正の演算子である。チャネルは、バイナリ測定 $\{H^2, I_n - H^2\}$ を介して実装される。結果が $H^2$ に対応する場合、状態は $\Psi_0$ を通過する。そうでなければ、状態は最大混合状態に置き換えられる。

4. モーメント推定によるエントロピー境界: コアとなる技術的革新は、ランダム行列の強収束や集中測度に依存するのではなく、ユニタリ族のモーメント推定を用いて、1コピーおよび2コピーの出力エントロピーの境界を導出することである。

   • 1コピー (下限): 最小出力エントロピー $H_{\min}(\Psi)$ の下限は、$A(W)$（$W$ の和を含む）の演算子ノルムを境界付けることにより確立される。これは、クリフォード・ユニタリの特定の代数的構造に依拠している。
   • 2コピー (上限): $\Psi \otimes \Psi$ の最小出力エントロピーの上限は、$F$ のトレースを分析することによって導出される。著者らは、特定の $F$（$A(V)$ の高次のべき乗の和）を選択した場合、パラメータ $Q$ および $L$ を十分に大きくすることで $\text{Tr}(F)/n$ を任意に小さくできることを示している。この小さなトレースにより、2コピーの出力エントロピーが、2倍の1コピーのエントロピーよりも大幅に低くなることが保証される。

主な貢献と結果
本論文は、以下の特性を持つ明示的な量子チャネルの族 $\Phi_N$（$N$ によってパラメータ化される）の存在を確立する定理1を提示している：

• 次元: 出力次元 $k$ は $N$ に対して指数関数的であり、入力次元 $n$ は $N$ に対して二重指数関数的である。
• 非有界な利得: 一ショットのホレボ情報 $\chi_{\max}(\Phi_N)$ は $1/N$ 未満であるが、二コピーのホレボ情報 $\chi_{\max}(\Phi_N^{\otimes 2})$ は $N$ を超える。
• 超加法性: したがって、古典容量は $C(\Phi_N) \ge \frac{1}{2}\chi_{\max}(\Phi_N^{\otimes 2}) \gg \chi_{\max}(\Phi_N)$ を満たす。

チャネル使用あたりの利得 $\frac{1}{2}\chi_{\max}(\Phi^{\otimes 2}) - \chi_{\max}(\Phi)$ は、パラメータ $r$（$N$ は $r$ に関連する）とともに線形に増大する一方で、入力次元は $r$ に対して二重指数関数的に増大する。これは、チャネルの族のパラメータが増加するにつれて、チャネル使用あたりの加法性の破れが非有界であることを示している。

意義と主張
著者らは、加法性の問題に関する3つの具体的な問いを解決したと主張している：

1. 明示性: 彼らは、代数的な公式（クリフォード置換および特定の測定とフィードフォワード）によって定義され、そのホレボ情報が厳密に超加度的であることを解析的に証明されたチャネルを提供し、確率的な存在証明の必要性を排除した。
2. 大きさ: チャネル使用あたりの利得 $\frac{1}{2}\chi_{\max}(\Phi^{\otimes 2}) - \chi_{\max}(\Phi)$ が、制限なく増大し得ることを示した。
3. 次元境界: 規定の利得を達成するために必要な入力および出力の次元に関する明示的な境界を提供した。

本論文は、この研究を「原理証明（proof of principle）」として位置付けている。著者らは、現在の次元は実用的な実装には適していないこと、およびユニタリの選択は一意的ではないことを認めている。より単純でサイズの小さい量子回路を見つけることは、今後の課題として残されている。数学的証明は、Lean定理証明器を用いて検証されている。本研究は、ランダムなユニタリを決定論的なクリフォード置換に置き換え、モーメント推定を通じてエントロピー境界を制御するために注意深く設計された測定およびフィードフォワード過程を利用することで、Hastingsの構成をデリダム化（決定論化）したものである。