[論文レビュー] An application of a matrix inequality in quantum information theory

Christopher King|ArXiv.org|Dec 6, 2004

Algebraic structures and combinatorial models参考文献 12被引用数 11

ひとこと要約

この論文は、Lieb-Thirring 不等式を適用して、一方の量子チャネルが対角であるとき、量子チャネルの最大出力 $p$-ノルムの乗法性を証明し、量子情報理論における加法性予想の重要なケースを確認している。アプローチは、積チャネルの出力を因数分解し、トレース不等式を用いて $p$-ノルムを評価するもので、$\Phi$ が対角で $\Psi$ が任意のとき、すべての $p \geq 1$ に対して $\nu_p(\Phi \otimes \Psi) = \nu_p(\Phi)\nu_p(\Psi)$ が成り立つことを確立する。

ABSTRACT

Quantum information theory has generated several interesting conjectures involving products of completely positive maps on matrix algebras, also known as quantum channels. In particular it is conjectured that the output state with maximal p-norm from a product channel is always a product state. It is shown here that the Lieb-Thirring inequality can be used to prove this conjecture for one special case, namely when one of the components of the product channel is of the type known as a diagonal channel, which acts on a state by taking the Hadamard product with a positive matrix.

研究の動機と目的

• 積チャネルのうち一方の成分が対角チャネルである場合の最大出力 $p$-ノルムの乗法性を確立すること。
• Lieb-Thirring 不等式が、非自明なクラスの量子チャネルにおける最小出力エントロピーの加法性を証明するために有効に適用可能であることを示すこと。
• エンタングルメントブレイキングチャネルの既存の証明で用いられた技術を拡張することで、他のチャネルクラスにも適用可能な手法を提供すること。
• 特に $p$-ノルムの乗法性が成り立つ場合に、すべての量子チャネルに対して加法性予想を証明するという広範な未解決問題に貢献すること。

提案手法

• 積チャネル $\Phi \otimes \Psi$ の出力状態を、$V$ が等長写像のブロック対角行列で、$K = \Phi(A) \otimes I'$ である形 $V K V^*$ に因数分解する。
• 状態 $\rho$ のスペクトル分解を用いて、$\rho = (A \otimes J_k) * \tau$ となる行列 $A$ を定義する。ここで $J_k$ はすべての成分が 1 の行列である。
• Lieb-Thirring 不等式を適用して、$V^*V$ と $K^p$ の構造を活用し、$\mathrm{Tr}((\Phi \otimes \Psi)(\rho))^p$ を $\mathrm{Tr}((V^*V)^p K^p)$ で上から抑える。
• トレース項を、$\Psi$ の $p$-ノルム $\nu_p(\Psi)$ と、$\Phi(A)^p$ のトレースによって制御し、最大出力 $p$-ノルムの定義により $\mathrm{Tr}(\Phi(A)^p) \leq \nu_p(\Phi)^p$ であることを用いる。
• 上界 $\mathrm{Tr}((\Phi \otimes \Psi)(\rho))^p \leq \nu_p(\Phi)^p \nu_p(\Psi)^p$ を得て、$\nu_p(\Phi \otimes \Psi) \leq \nu_p(\Phi)\nu_p(\Psi)$ を導出する。
• 積状態に制限することで逆不等式を証明し、すべての $p \geq 1$ に対して等式が成立することを完成させる。

実験結果

リサーチクエスチョン

• RQ1 一方のチャネル $\Phi$ が対角で、もう一方 $\Psi$ が任意のとき、積チャネル $\Phi \otimes \Psi$ の最大出力 $p$-ノルムが乗法的に分解可能か？
• RQ2 Lieb-Thirring 不等式は、量子情報理論における $p$-ノルムの乗法性を証明するために効果的に適用可能か？
• RQ3 対角チャネルに対して $\nu_p(\Phi \otimes \Psi)$ の乗法性がすべての $p \geq 1$ で成り立ち、これはより広範な加法性予想を支持するか？
• RQ4 対角チャネルに対して用いられた技術は、他のクラスの量子チャネルに一般化可能か？

主な発見

• 一方のチャネル $\Phi$ が対角で、もう一方 $\Psi$ が任意の完全正値写像であるとき、積チャネル $\Phi \otimes \Psi$ の最大出力 $p$-ノルムは乗法的であり、すべての $p \geq 1$ に対して $\nu_p(\Phi \otimes \Psi) = \nu_p(\Phi)\nu_p(\Psi)$ が成り立つ。
• 証明は、出力状態を $V K V^*$ 形式に因数分解することで可能となり、これにより Lieb-Thirring 不等式を $p$-ノルムのトレースに適用できる。
• トレース項は $\Phi$ と $\Psi$ の $p$-ノルムによって制御され、$\mathrm{Tr}((\Phi \otimes \Psi)(\rho))^p \leq \nu_p(\Phi)^p \nu_p(\Psi)^p$ という上界が得られる。
• 逆不等式は積状態でのテストにより確立され、対角チャネルの場合の $p$-ノルム乗法性の等式が確認される。
• この結果は、最小出力エントロピーの加法性予想を支持しており、$p=1$ での $\nu_p$ の乗法性が $S_{\min}$ の加法性を意味するからである。
• この手法は他のチャネルクラスにおける乗法性の証明のテンプレートを提供するが、$p \geq 5$ で既知の反例があるため、すべてのチャネルに直接拡張することはできない。