振幅減衰量子チャネルの古典容量ともつれ費用を決定
Classical Capacity and Entanglement Cost of the Amplitude Damping Channel
この論文をやさしく読む
ひとことで言うと
特定の量子ビット間チャネルで、情報を送る容量ともつれを用意する費用を、一回の使用から求められると証明した。
何に役立つ？
振幅減衰などの雑音を持つ量子通信路の資源量を、正則化の極限計算なしで評価できる。
この研究の面白いところ
任意の有限次元の相手チャネルと組み合わせても加法性が成り立つという強い結果を得た。
どこまで分かった？
純粋な出力を許す量子ビット間チャネルを中心とする理論結果であり、一般の量子チャネルすべてに拡張したとは述べていない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
雑音を持つ量子チャネルの古典容量ともつれ費用を決めるには、通常、多数回のチャネル使用にわたる正則化が必要になる。本研究は、純粋状態の出力を許す任意の量子ビットから量子ビットへのチャネルについて、その両方の正則化を取り除く。そのようなチャネルでは、ホレヴォ情報、チャネルの生成もつれ量、並列もつれ費用が、任意の有限次元の相手チャネルと組み合わせても加法的である。このクラスには、クラウスランクが2以下の量子ビット間チャネルがすべて含まれる。 減衰確率pの振幅減衰チャネルでは、補助資源なしの古典容量は既知の一回使用時のホレヴォ情報に等しく、二つの純粋状態からなるアンサンブルと集団復号で達成される。また、もつれ費用は一回使用当たりh₂((1＋√p)／2)エビットである。共通する仕組みは、生成もつれ量の強い超加法性に対する台の条件であり、一方の周辺状態は、両方の局所系が固定された特別なベクトルに直交する領域に台を持たない。任意の有限次元で、三角形のブロック行列に関するエントロピー不等式と二つの期待値を保つ分解を使い、この条件を証明した。振幅減衰については、有限ブロック長のホレヴォ不足分を厳密に導き、p＜1で唯一の最適な平均入力を特定し、均一な生成もつれ量の境界を達成する二つのクラウス演算子による表現を構成した。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-23（UTC）
- 最新改訂
- 2026-09-23 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-23 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Determining a noisy quantum channel's classical capacity and entanglement cost generally requires regularization over many channel uses. We remove both regularizations for every qubit-to-qubit channel admitting a pure output. For each such channel, Holevo information, channel entanglement of formation, and parallel entanglement cost are additive with those of any finite-dimensional partner channel. This class includes all qubit-to-qubit channels of Kraus rank at most two. For the amplitude damping channel with damping probability $p$, the unassisted classical capacity equals the known single-use Holevo information, attained by a binary pure-state ensemble with collective decoding, and the entanglement cost is $h_2((1+\sqrt p)/2)$ ebits per use. The common mechanism is a support criterion for strong superadditivity of entanglement of formation: one marginal has no support on the sector in which both local systems are orthogonal to fixed distinguished vectors. We prove this criterion in arbitrary finite dimensions using a triangular block-matrix entropy inequality and decompositions preserving two expectations. For amplitude damping, we also derive an exact finite-block Holevo deficit, identify the unique optimal average input for $p<1$, and construct a binary Kraus representation attaining the uniform formation bound.
著者のコメント
21+8 pages, 1 figure
arXiv ID: 2609.28592 ／ 要約の誤りについて