[論文レビュー] On the additivity conjecture for channels with arbitrary constraints

M. E. Shirokov|ArXiv.org|Aug 29, 2003

Computability, Logic, AI Algorithms参考文献 7被引用数 3

ひとこと要約

本稿は、線形制約を超えて任意の閉じた入力制約に対して、量子チャネルの加法性予想を検討する。線形制約に関する先行研究を一般化し、制約付き最大距離性質を用いてホールボ容量の加法性の必要十分条件を確立する。さらに、非制約チャネルにおけるグローバル加法性が、χ関数の部分加法性を介して、エンタングルメントの形成の強超加法性を示すことを証明する。

ABSTRACT

Recently Shor proved equivalence of several open (sub)additivity problems related to the Holevo capacity and the entanglement of formation [15]. In our previous note [6] equivalence of these to the additivity of the Holevo capacity for channels with arbitrary linear constraints was shown. This note is the development of the previous one in the direction of channels with general constraints. Introducing input constraints provides greater flexibility in the treatment of the additivity conjecture. The Holevo capacity of arbitrarily constrained channel is considered and the characteristic property of an optimal ensemble for such channel is derived, generalizing the maximal distance property of Schumacher and Westmoreland (proposition 1). It is shown that the additivity conjecture for two channels with single linear constraints is equivalent to the similar conjecture for two arbitrarily constrained channels and, hence, to an interesting subadditivity property of the $χ$-function for the tensor product of these channels (theorem 1). We also propose an alternative way of proving that the additivity conjecture for any two unconstrained channels implies strong superadditivity of the entanglement of formation. The arguments from the convex analysis provide another characterization of channels for which subadditivity of the $χ$-function holds (theorem 3). This characterization and some modification of Shor's channel extension provide a simple way of proving that global additivity of the minimum output entropy for unconstrained channels implies global subadditivity of the $χ$-function and strong superadditivity of the entanglement of formation.

研究の動機と目的

• 任意の閉じた入力制約に対して、量子チャネルの加法性予想を線形制約を超えて拡張すること。
• 制約付きチャネルにおける最適集合の一般化された最大距離性質を導出し、シューマッハァーとウェストモアランドの結果を一般化すること。
• χ関数の部分加法性を用いて、二つの制約付きチャネルのホールボ容量の加法性の必要十分条件を確立すること。
• グローバル最小出力エントロピーの加法性が、新しい特徴付けを通じてエンタングルメントの形成の強超加法性を示すことを示すこと。
• ショア、ホールボ、および他の研究者らの結果を統合・一般化するため、漸近的加法性およびチャネル拡張技術を導入すること。

提案手法

• 任意の閉じた入力制約を持つチャネルの一般枠組みを導入し、許容される平均入力状態の集合 𝒜 ⊆ 𝒮(ℋ) で定義する。
• 相対エントロピーを含む一般化された最大距離不等式を用いて、制約付きチャネルの最適集合の特徴的性質を導出する：すべての平均状態が 𝒜 に属する集合に対して ∑ⱼ μⱼ S(Φ(ωⱼ) ‖ Φ(ρₐᵥ)) ≤ χ_Φ({πᵢ, ρᵢ}) が成り立つ。
• シャーのチャネル拡張構成をチャネルの系列に適用し、制約付き加法性の必要十分条件を特徴付けるために、漸近的加法性の概念を導入する。
• MSW対応関係とエンタングルメントの形成の連続性を用いて、χ関数 χ_Φ(ρ) の連続性と凹性を確立する。
• 凸解析とルジャンドル変換を用いて、関数 f(x) = H(Φ(xσ + (1−x)ρ)) − H(Φ(ρ)) 及びその微分 f’(x) の振る舞いを分析し、特に x=0 および x=1 での性質に注目する。
• 摂動論的議論と Δ = χ_Φ⊗Ψ(σ) − χ_Φ(ρ) − χ_Ψ(ϱ) の符号を用いて、チャネルのテンソル積におけるχ関数の部分加法性が、任意の制約下でのホールボ容量の加法性と同等であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、任意の入力制約を満たす二つの量子チャネルのホールボ容量が加法的となるか？
• RQ2 制約付きチャネルにおける最適集合の一般化された最大距離性質は、χ関数の加法性とどのように関係するか？
• RQ3 テンソル積チャネルにおけるχ関数の部分加法性は、非制約チャネルにおけるグローバル加法性予想と同等か？
• RQ4 非制約チャネルにおける最小出力エントロピーの加法性は、χ関数の部分加法性を通じて、エンタングルメントの形成の強超加法性を示すか？
• RQ5 シャーのチャネル拡張を用いた際、漸近的加法性は、制約付きチャネルの加法性を特徴付ける上で果たす役割は何か？

主な発見

• 𝒜-制約付きチャネルの最適集合は、一般化された最大距離性質を満たす：すべての平均状態が 𝒜 に属する集合に対して ∑ⱼ μⱼ S(Φ(ωⱼ) ‖ Φ(ρₐᵥ)) ≤ χ_Φ({πᵢ, ρᵢ}) が成り立つ。
• 単一の線形制約を持つ二つのチャネルのホールボ容量の加法性は、任意の制約を持つ二つのチャネルの加法性と同等であり、さらにそれらのテンソル積におけるχ関数の部分加法性とも同等である。
• χ関数の部分加法性は、いくつかのチャネルクラスで成り立つことが示されている（命題4）。特に、最適集合が特定のサポート条件を満たす場合に該当する。
• 加法性の必要十分条件は、f’(1) ≤ Δ という不等式で与えられる。ここで f(x) は出力エントロピーに関連する凹関数であり、Δ はホールボ量の差である。
• [6]の主要定理の逆は、漸近的加法性の概念を導く。これにより、主結果を加法性の必要十分条件として再定式化できる。
• χ関数のグローバル部分加法性は、エンタングルメントの形成の強超加法性と同等であり、[15]の証明とは別アプローチを提供する。