[論文レビュー] Bitwise Quantum Min-Entropy Sampling and New Lower Bounds for Random Access Codes

Jürg Wullschleger|arXiv (Cornell University)|Dec 10, 2010

Complexity and Algorithms in Graphs参考文献 11被引用数 6

ひとこと要約

本稿では、ブロック単位のサンプリングに制限されていた先行研究の限界を克服する2つの新しい量子最小エントロピー・サンプリング定理を提示する。これらはビット単位のサンプリングを可能にし、滑らかでない最小エントロピーに対し強い境界を与える。主な貢献は、$k$-out-of-$n$ ランダムアクセスコードに対する新たな下界を示したことである。これは、任意のストレージレートが1未満である限り、復号成功確率が$k$に関して指数関数的に減少することを示しており、これは最適であり、先行研究がストレージが0.7$n$未満である必要があったのを改善している。

ABSTRACT

Min-entropy sampling gives a bound on the min-entropy of a randomly chosen subset of a string, given a bound on the min-entropy of the whole string. König and Renner showed a min-entropy sampling theorem that holds relative to quantum knowledge. Their result achieves the optimal rate, but it can only be applied if the bits are sampled in blocks, and only gives weak bounds for the non-smooth min-entropy. We give two new quantum min-entropy sampling theorems that do not have the above weaknesses. The first theorem shows that the result by König and Renner also applies to bitwise sampling, and the second theorem gives a strong bound for the non-smooth min-entropy. Our results imply a new lower bound for k-out-of-n random access codes: while previous results by Ben-Aroya, Regev, and de Wolf showed that the decoding probability is exponentially small in k if the storage rate is smaller than 0.7, our results imply that this holds for any storage rate strictly smaller than 1, which is optimal.

研究の動機と目的

• コーエンとレナーの量子最小エントロピー・サンプリング定理のブロック・サンプリング制限を克服すること。この制限により、ブロック単位のサンプリングに限定され、滑らかでない最小エントロピーに対しては弱い境界が得られる。
• ビット単位のサンプリングに適用可能な強力で汎用的な量子最小エントロピー・サンプリング定理を確立すること。これにより、プロトコルの簡素化が可能になり、人工的なブロックグループ化ステップが不要になる。
• 新しいサンプリング定理を活用して、特に高ストレージレートの領域において、$k$-out-of-$n$ ランダムアクセスコードの下界を著しく改善すること。
• ストレージがほぼ満杯（$m < n$）であっても、成功確率が指数関数的に減少することを示し、ランダムアクセスコードの既知の下界のギャップを埋めることで最適性を達成すること。
• 量子最小エントロピー・サンプリングの証明フレームワークを単純化すること。これにより、先行研究の複雑さを回避しつつ、滑らかでない最小エントロピーに対してより強い境界を得ること。

提案手法

• サイズ$k$の部分集合$T$を$n$ビットの文字列$X$から一様にランダムに選ぶビット単位のサンプリングに適用可能な新しい量子最小エントロピー・サンプリング定理（定理5）を導入する。これは、cq状態$\rho_{XQ}$を前提とする。
• XOR推測確率に基づくハイブリッド論法を用いる：すべての部分集合サイズ$j$についての最大XOR推測確率を分析することで、$T$と$Q$が与えられたときの$X_T$の最小エントロピーを評価する。
• 集中不等式（補題2）を適用して、$j \leq k/4$ のような小さな部分集合が選ばれる確率が指数的に小さい、つまり無視できるほど小さいことを示す。
• 補題5を用いて、$j' > k/4$ のような大きな部分集合についての最大XOR推測確率$p_{j'}$を、滑らかさパrameter $\varepsilon$ を用いて境界づける。このパrameterは初期の最小エントロピー条件によって制御される。
• 初期最小エントロピー$H_{\min}(X|Q)$に関する条件を導出し、これにより最終的な最小エントロピー$H_{\min}(X_T|TQ)$が目標値$\log(1/p)$を超えることを保証する。これにより、サンプリング定理が得られる。
• サンプリング定理をランダムアクセスコードに適用する。これは、古典的ストリング$X$の最小エントロピーと量子系$Q$のサイズとの関係を用いる。$Q$が$(1-\varepsilon)n$量子ビット未満であれば、$H_{\min}(X|Q) \geq \varepsilon n$ が成り立つことを利用している。

実験結果

リサーチクエスチョン

• RQ1 コーエンとレナーの量子最小エントロピー・サンプリング定理は、ブロック単位のサンプリングを排除するビット単位のサンプリングに拡張可能か？
• RQ2 特にランダムアクセスコードのような応用において、量子設定下での滑らかでない最小エントロピーに対して、より強い境界を得られるか？
• RQ3 ストレージレートが1に限りなく近い場合、$k$-out-of-$n$ ランダムアクセスコードの成功確率の最もタイトな下界は何か？
• RQ4 量子最小エントロピー・サンプリングの証明技法は、先行研究の複雑さを回避しながら、同等以上に強い境界を保ちつつ単純化可能か？
• RQ5 新しいサンプリング定理により、$k$個の独立した一意交差問題の1方向通信複雑度に対するより強い下界が得られるか？

主な発見

• 本稿では、ブロック単位のサンプリングを不要にするビット単位のサンプリングに適用可能な新しい量子最小エントロピー・サンプリング定理（定理5）を確立した。これにより、プロトコル解析が簡素化された。
• 新しいサンプリング定理は滑らかでない最小エントロピーに対し強い境界を与える。初期最小エントロピー$H_{\min}(X|Q) \geq cn$ であれば、条件付き最小エントロピー$H_{\min}(X_T|TQ)$ は $\frac{H^{-1}(c/2)}{6}k - 5$ ビット以上であることが保証される。
• この結果は、補題2を示唆する：任意の$\varepsilon > 0$ に対して、$k$-out-of-$n$ ランダムアクセスコードのストレージレートが$(1-\varepsilon)n$未満であれば、成功確率は$2^{-\Omega(k)}$未満であり、これは最適である。
• ベン＝アロヤ、レーゲブ、デ・ウルフの先行研究は、$k$に関する指数関数的減少を得るため、ストレージレートを0.7$n$未満に制限していたが、本稿の結果はこれを改善している。
• 新しい境界は、[BARdW08] で示された関係を介して、$k$個の独立した一意交差問題の1方向通信複雑度に対する強い下界を示唆する。
• 主なサンプリング定理の証明は、コーエンとレナーの証明よりも著しく単純である。これは、複雑な滑らかさの議論を避けて、XOR推測確率の分析と集中不等式に依拠している。