[論文レビュー] Strong converse bounds in quantum network information theory: distributed hypothesis testing and source coding

Hao–Chung Cheng, Nilanjana Datta+1 more|arXiv (Cornell University)|May 2, 2019

Wireless Communication Security Techniques参考文献 43被引用数 10

ひとこと要約

本稿は、特に分散型量子仮説検定および古典的側情報付きのソース符号化において、量子ネットワーク情報理論の強力な逆補題を確立する。量子デポラーイング半群の逆超収縮性のテンソル化性と、量子情報ボトルネックの性質を用いて、通信制約下でのスティーン指数が正則化された量子相対エントロピーで与えられることを証明する。特に、代替仮説が積状態で、ボブに通信制約がない場合には、単一記号式の公式に簡略化される。

ABSTRACT

We consider a distributed quantum hypothesis testing problem with communication constraints, in which the two hypotheses correspond to two different states of a bipartite quantum system, multiple identical copies of which are shared between Alice and Bob. They are allowed to perform local operations on their respective systems and send quantum information to Charlie at limited rates. By doing measurements on the systems that he receives, Charlie needs to infer which of the two different states the original bipartite state was in, that is, which of the two hypotheses is true. We prove that the Stein exponent for this problem is given by a regularized quantum relative entropy. The latter reduces to a single letter formula when the alternative hypothesis consists of the products of the marginals of the null hypothesis, and there is no rate constraint imposed on Bob. Our proof relies on certain properties of the so-called quantum information bottleneck function. The second part of this paper concerns the general problem of finding finite blocklength strong converse bounds in quantum network information theory. In the classical case, the analogue of this problem has been reformulated in terms of the so-called image size characterization problem. Here, we extend this problem to the classical-quantum setting and prove a second order strong converse bound for it. As a by-product, we obtain a similar bound for the Stein exponent for distributed hypothesis testing in the special case in which the bipartite system is a classical-quantum system, as well as for the task of quantum source coding with compressed classical side information. Our proofs use a recently developed tool from quantum functional inequalities, namely, the tensorization property of reverse hypercontractivity for the quantum depolarizing semigroup.

研究の動機と目的

• 通信制約下における分散型量子仮説検定の強力な逆補題を導出すること。
• 第二階層の強力な逆補題を得るため、古典的画像サイズ特徴付けを古典的量子設定に拡張すること。
• 受信側に古典的側情報がある量子ソース符号化の第二階層の強力な逆補題を確立すること。
• 量子関数不等式を用いて、点対点量子チャネルの結果をネットワーク設定に一般化すること。
• 多パーティ量子系における量子情報ボトルネック関数とスティーン指数を結びつけること。

提案手法

• 量子デポラーイング半群の逆超収縮性のテンソル化性を用いて、有限ブロック長の境界を導出する。
• 量子相対エントロピーの変分公式を適用し、確率測度の最適化を演算子表現に結びつける。
• 量子情報ボトルネック関数を用いて、分散設定における情報圧縮と忠実度のトレードオフを特徴付ける。
• 古典的量子系における画像サイズ特徴付けの観点から、強力な逆問題を再定式化する。
• 相対エントロピーとトレース不等式の双対性を用いて、誤り確率の境界を導出する。
• 入力分布および演算子に関する最適化を通じて、スティーン指数を正則化された量子相対エントロピーの式に還元する。

実験結果

リサーチクエスチョン

• RQ1 通信制約下における分散型量子仮説検定のスティーン指数の正確な形は何か？
• RQ2 ボブにレート制約がない場合、代替仮説が帰無仮説の周辺分布の積であるとき、強力な逆補題の挙動はどのように変化するか？
• RQ3 受信側に古典的側情報がある量子ソース符号化について、第二階層の強力な逆補題を確立できるか？
• RQ4 量子情報ボトルネック関数は、分散型量子推論の根本的限界をどの程度特徴付けるか？
• RQ5 古典的画像サイズ特徴付けを古典的量子ネットワーク設定に一般化できるか？

主な発見

• 通信制約下における分散型量子仮説検定のスティーン指数は、正則化された量子相対エントロピーで与えられ、誤り確率の低下に対するタイトな漸近的境界を提供する。
• 代替仮説が帰無仮説の周辺分布の積であり、ボブに通信レート制約がない場合には、スティーン指数が単一記号式の公式に簡略化される。
• 古典的量子画像サイズ問題について第二階層の強力な逆補題が確立され、実現可能領域外では誤り確率が指数関数的に1に収束することを示唆する。
• 本手法により、受信側に古典的側情報がある量子ソース符号化について第二階層の強力な逆補題が得られる。
• 証明は、量子デポラーイング半群の逆超収縮性のテンソル化に依拠しており、有限ブロック長解析を可能にする。
• 量子相対エントロピーの変分公式を用いて最適化問題を双対化し、古典的確率測度と量子演算子を結びつける。