[論文レビュー] Optimal Second-Order Rates for Quantum Soft Covering and Privacy Amplification

Yuchen Shen, Li Gao+1 more|arXiv (Cornell University)|Feb 23, 2022

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

本稿は、安全指標としてトレース距離を用いた量子ソフトカバーイングおよびプライバシー強化の1回限りの特徴付けを確立する。最適な2次レートは、それぞれ量子相互情報量の分散および条件付き情報量の分散によって支配され、滑らかさ技術を避けて、仮説検定エントロピーおよび情報によって明確な操作的量が与えられる。

ABSTRACT

We study quantum soft covering and privacy amplification against quantum side information. The former task aims to approximate a quantum state by sampling from a prior distribution and querying a quantum channel. The latter task aims to extract uniform and independent randomness against quantum adversaries. For both tasks, we use trace distance to measure the closeness between the processed state and the ideal target state. We show that the minimal amount of samples for achieving an $\varepsilon$-covering is given by the $(1-\varepsilon)$-hypothesis testing information (with additional logarithmic additive terms), while the maximal extractable randomness for an $\varepsilon$-secret extractor is characterized by the conditional $(1-\varepsilon)$-hypothesis testing entropy. When performing independent and identical repetitions of the tasks, our one-shot characterizations lead to tight asymptotic expansions of the above-mentioned operational quantities. We establish their second-order rates given by the quantum mutual information variance and the quantum conditional information variance, respectively. Moreover, our results extend to the moderate deviation regime, which are the optimal asymptotic rates when the trace distances vanish at sub-exponential speed. Our proof technique is direct analysis of trace distance without smoothing.

研究の動機と目的

• 量子側情報に対する量子ソフトカバーイングおよびプライバシー強化の1回限りの特徴付けを提供することで、量子情報理論におけるギャップを埋める。
• トレース距離を指標として用い、これらのタスクのタイトな2次漸近的展開を導出する。
• トレース距離が指数的より速く消失する中で、中程度の分散領域における最適レートを確立する。
• トレース距離解析において滑らかさ技術を避けることで、直接的かつタイトな境界を得る。
• トレース距離を用いる際、滑らかさエントロピーを用いない場合、仮説検定エントロピーおよび情報が自然な1回限りの操作的量であることを示す。

提案手法

• 著者らは滑らかさを用いず、仮説検定情報およびエントロピーに依存して操作的量を特徴付ける、直接的なトレース距離解析を用いる。
• ソフトカバーイングのための主要な量として、$(1-\varepsilon)$-仮説検定情報 $I_{\text{h}}^{1-\varepsilon}(X:B)_\rho$ を定義し、プライバシー強化のためには、$(1-\varepsilon)$-条件付き仮説検定エントロピー $H_{\text{h}}^{1-\varepsilon}(X|E)_\rho$ を定義する。
• 証明技法は、サンドイッチ型Rényi拡散を用いてトレース距離をバウンディングし、補題3を適用してコードブックサイズおよび抽出可能なランダムネスの下界を得ることに依存する。
• 1回限りの量を量子相互情報量の分散および条件付き情報量の分散に結びつけることで、タイトな2次展開を導出する。
• トレース距離が $O(1/\sqrt{n})$ より速く減少しない場合に、中程度の分散領域への解析を拡張する。
• サンドイッチ型Rényi拡散 $D_{\text{s}}^{1-\varepsilon}(\rho_{XB} \| \rho_X \otimes \rho_B)$ および仮説検定拡散 $D_{\text{h}}^{1-\varepsilon}(\rho_{XB} \| \rho_X \otimes \rho_B)$ を用いた不等式によってフレームワークを検証する。

実験結果

リサーチクエスチョン

• RQ1 トレース距離制約下での量子ソフトカバーイングの最小コードブックサイズの最適1回限りの特徴付けは何か？
• RQ2 滑らかさを用いない場合、プライバシー強化における最大抽出ランダムネスはどのようにトレース距離を用いて特徴付けられるか？
• RQ3 誤差が定数 $\varepsilon \in (0,1)$ で制限される場合、量子ソフトカバーイングおよびプライバシー強化の2次漸近的レートは何か？
• RQ4 トレース距離が指数的より速く消失する中程度の分散領域では、レートはどのように振る舞うか？
• RQ5 トレース距離を滑らかさエントロピーではなく用いる場合、仮説検定情報およびエントロピーは自然な1回限りの操作的量として機能するか？

主な発見

• トレース距離制約下での $\varepsilon$-カバーイングのための最小コードブックサイズは、$(1-\varepsilon)$-仮説検定情報 $I_{\text{h}}^{1-\varepsilon}(X:B)_\rho$ に、対数的加法項を除いて特徴付けられる。
• トレース距離が $\varepsilon$-秘密のプライバシー強化における最大抽出ランダムネスは、$(1-\varepsilon)$-条件付き仮説検定エントロピー $H_{\text{h}}^{1-\varepsilon}(X|E)_\rho$ で与えられる。
• 量子ソフトカバーイングの2次レートは、独立同分布の繰り返し下で $V(X:B|\rho)$、すなわち量子相互情報量の分散である。
• プライバシー強化の2次レートは、独立同分布の繰り返し下で $V(X:E|\rho)$、すなわち量子条件付き情報量の分散である。
• 中程度の分散領域では、同じ分散が最適レートを特徴付け、トレース距離が $O(1/\sqrt{n})$ の速度で消失する。
• 証明は滑らかさ技術を避け、トレース距離を直接解析することで、先行手法よりもタイトで直接的な境界をもたらす。