[論文レビュー] Additivity for transpose depolarizing channels

Nilanjana Datta, A. S. Holevo+1 more|ArXiv.org|Dec 5, 2004

Acoustic Wave Resonator Technologies被引用数 5

ひとこと要約

本稿は、すべてのパrameter値 $ -rac{1}{d-1} ≤ t ≤ rac{1}{d+1} $ に対して、転置デポラライジングチャネルの族全体における最小出力エントロピーの加法性を証明している。これは、Fannes らの先行研究がカバーしていた範囲 $ -rac{2}{d^2-2} ≤ t ≤ rac{1}{d+1} $ を超えるものである。Datta, Holevo, および Suhov (dhs) の手法を洗練させることで、著者らはテンソル積チャネル $ \Phi \otimes \Phi $ の出力エントロピーが積状態で最小値をとることを確立し、$ t \in \left[-rac{1}{d-1}, 0\right] $ の全範囲で加法性が成立することを確認した。これにより、パrameter範囲全体における証明が完成した。

ABSTRACT

Additivity of the minimal output entropy for the family of transpose depolarizing channels introduced by Fannes et al. [quant-ph/0410195] is considered. It is shown that using the method of our previous paper [quant-ph/0403072] allows us to prove the additivity for the range of the parameter values for which the problem was left open in [quant-ph/0410195]. Together with the result of [quant-ph/0410195], this covers the whole family of transpose depolarizing channels.

研究の動機と目的

• Fannes らの先行研究以降、未解決のまま残っていたパrameter範囲 $ -\frac{1}{d-1} \leq t \leq \frac{1}{d+1} $ における転置デポラライジングチャネルの最小出力エントロピーの加法性を拡張すること。
• 特に $ t \in \left[-\frac{1}{d-1}, 0\right] $ の範囲で加法性が未証明であったギャップを埋めること。
• 負の $ t $ の場合、特定の対称関数の非負性が非自明であるが、Datta, Holevo, および Suhov (dhs) の手法を応用・洗練させ、その困難なケースを扱えるようにすること。
• 積状態で常に最小出力エントロピーが達成されることを示し、$ t $ が全範囲 $ \left[-\frac{1}{d-1}, \frac{1}{d+1}\right] $ で加法性が成立することを確認すること。

提案手法

• ベルに類似したエンタングル状態（スレート係数 $ \underline{\lambda} $ を持つ）に対する出力状態 $ \sigma_{12}(\underline{\lambda}) = (\Phi \otimes \Phi)(|\psi_{12}\rangle\langle\psi_{12}|) $ を分析し、単体 $ \Sigma_d $ 上でのフォン・ノイマンエントロピーの最小化問題に帰着する。
• チャネル $ \Phi $ を $ \Phi_+ $ と $ \Phi_- $ の線形結合として表現し、実行列転置に基づくKraus演算子を導出し、計算基底における出力状態の明示的計算を可能にする。
• 出力状態は、$ \mu_i $ と $ \eta_j $ が $ t $, $ d $, およびスレート係数 $ \lambda_\alpha $ に依存する行列 $ A $ として表され、その成分は $ A_{ij} = (\mu_i + \eta_i)\delta_{ij} + \sqrt{\eta_i \eta_j}(1 - \delta_{ij}) $ である。
• 対称多項式と特性多項式を用いて $ A $ の固有値を分析し、基本対称関数 $ s_k $ とパrameter $ t $ を含む重要な不等式を導出する。
• 変数 $ \nu_l $ に対する凸性と制約解析を用いて、特性多項式の式における第1項と第2項の和がすべての $ k = 0,1,\dots,n $ に対して非負であることを証明する。
• $ k=0 $ の場合、$ f(\nu) = \frac{1-\nu}{\nu} $ の凸性と単体上での極端点解析を用いて、和 $ \sum \frac{1-\nu_l}{\nu_l} $ を評価し、制約 $ \nu_1 < 0 $, $ \nu_l > 0 $（$ l \geq 2 $）の下で不等式が成立することを検証する。

実験結果

リサーチクエスチョン

• RQ1 転置デポラライジングチャネル族の残りの未解決範囲である $ t \in \left[-\frac{1}{d-1}, 0\right] $ において、最小出力エントロピーの加法性が成り立つかどうか。
• RQ2 Datta, Holevo, および Suhov (dhs) の手法を負の $ t $ の場合に拡張可能か。特に、特定の対称関数項の非負性が非自明である場合に。
• RQ3 すべての $ t \in \left[-\frac{1}{d-1}, \frac{1}{d+1}\right] $ に対して、積チャネル $ \Phi \otimes \Phi $ の最小出力エントロピーが常に積状態で達成されるか。
• RQ4 $ t < 0 $ の場合、出力状態行列 $ A $ の特性多項式の振る舞いは何か。また、エントロピーがスレート単体の頂点（すなわち、積状態）で最小化されることを保証するか。

主な発見

• すべての $ t \in \left[-\frac{1}{d-1}, 0\right] $ に対して、最小出力エントロピーの加法性 $ h(\Phi \otimes \Phi) = 2h(\Phi) $ が証明され、転置デポラライジングチャネル族全体の加法性証明が完全に完了した。
• dhs の手法が負の $ t $ に対しても成功裏に拡張され、特性多項式の第2項の非負性が、単体上での凸性と極端点解析により確立された。
• $ k=1,\dots,n $ の場合、制約 $ \sum \nu_l \geq n-2 $ および $ \nu_l \leq 1 $ の下で、不等式の第2項が非負であることが示され、不等式が成立することが保証された。
• $ k=0 $ の場合、和 $ \sum_{l=1}^n \frac{1-\nu_l}{\nu_l} $ は $ \frac{2(1+t(d-1))}{td} $ で上界をもつことが示され、制約 $ \nu_1 < 0 $, $ \nu_l > 0 $, $ \sum \nu_l \geq n-2 $ の下でその境界が成立することが検証された。等号は極端点で近づかれる。
• 証明により、すべての $ t \in \left[-\frac{1}{d-1}, \frac{1}{d+1}\right] $ に対して、最小出力エントロピーがスレート単体の頂点（つまり、積状態）で達成されることを確認した。これにより、完全な加法性が確立された。
• 結果として、転置デポラライジングチャネル族の加法性証明が完全に完了し、最後の未解決事項が解消され、このクラスのチャネルに対する予想が裏付けられた。