[論文レビュー] The Hilbertian Tensor Norm and its Connection to Quantum Information Theory

Dejan D. Dukaric|arXiv (Cornell University)|Aug 11, 2010

Computability, Logic, AI Algorithms参考文献 22被引用数 4

ひとこと要約

本稿では、任意の出力アルファベットを持つ2プローバーゲームを分析するために、一般化されたヒルベルト空間テンソルノルム $γ_2$ 及びその双対 $γ_2^*$ を導入し、直接積定理と一般化されたグロテンディック不等式を確立する。これらのツールを用いて、2プローバーゲームにおける量子-古典的価値比の新たな上界を証明し、エンタングルドXORゲームにおける完全な並列反復定理の別証明も提示する。

ABSTRACT

We study tensor norms over Banach spaces and their relations to quantum information theory, in particular their connection with two-prover games. We consider a version of the Hilbertian tensor norm $\gamma_2$ and its dual $\gamma_2^*$ that allow us to consider games with arbitrary output alphabet sizes. We establish direct-product theorems and prove a generalized Grothendieck inequality for these tensor norms. Furthermore, we investigate the connection between the Hilbertian tensor norm and the set of quantum probability distributions, and show two applications to quantum information theory: firstly, we give an alternative proof of the perfect parallel repetition theorem for entangled XOR games; and secondly, we prove a new upper bound on the ratio between the entangled and the classical value of two-prover games.

研究の動機と目的

• 2プローバーゲームの解析を2値出力に限らないように拡張するため、任意の出力アルファベットサイズを扱えるテンソルノルムを導入すること。
• ヒルベルト空間テンソルノルム $γ_2$ 及びその双対 $γ_2^*$ に対して、直接積定理と一般化されたグロテンディック不等式を確立すること。
• ヒルベルト空間テンソルノルムと量子確率分布の関係を確立し、これを量子情報理論における新たな結果の導出に活用すること。
• 新フレームワークを用いて、エンタングルドXORゲームにおける完全な並列反復定理の別証明を提供すること。
• 2プローバーゲームにおけるエンタングルド価値と古典的価値の比に対する新たな上界を導出すること。

提案手法

• 本稿では、任意の出力アルファベットを持つ2プローバーゲームの相関をモデル化するため、バナッハ空間上にヒルベルト空間テンソルノルム $γ_2$ 及びその双対 $γ_2^*$ を定義する。
• γ_2-ノルム付きゲームに対する直接積定理を確立し、積ゲームのノルムが個々のノルムの積によって上界づけられることを示す。
• γ_2 および γ_2^* に対して一般化されたグロテンディック不等式を証明し、古典的不等式を任意の出力サイズへ拡張する。
• γ_2 と量子確率分布の関係を明確化し、量子相関の分析を可能にする。
• フレームワークをエンタングルドXORゲームに適用し、完全な並列反復定理の別証明を導出する。
• γ_2-ノルムフレームワークを用いて、2プローバーゲームにおけるエンタングルド価値と古典的価値の比に対する新たな上界を導出する。

実験結果

リサーチクエスチョン

• RQ1 ヒルベルト空間テンソルノルム $γ_2$ は、どのようにして任意の出力アルファベットサイズを持つ2プローバーゲームを扱えるように拡張できるか？
• RQ2 γ_2-ノルム付きゲームにおける直接積定理の構造は何か？ 並列反復とはどのように関係するか？
• RQ3 γ_2 及びその双対 γ_2^* に対して一般化されたグロテンディック不等式を確立できるか？
• RQ4 γ_2 ノルムは非局所ゲームにおける量子確率分布の集合とどのように関係するか？
• RQ5 このフレームワークを用いて、2プローバーゲームにおけるエンタングルド価値と古典的価値の比に対する新たな上界を導出できるか？

主な発見

• ヒルベルト空間テンソルノルム $γ_2$ 及びその双対 $γ_2^*$ に対して、一般化されたグロテンディック不等式が確立され、古典的結果が任意の出力アルファベットに拡張された。
• γ_2-ノルムフレームワークを用いて、エンタングルドXORゲームにおける完全な並列反復定理の別証明が提供された。
• 2プローバーゲームにおけるエンタングルド価値と古典的価値の比に対する新たな上界が導出され、従来の上界を改善した。
• γ_2-ノルム付きゲームに対する直接積定理が証明され、積ゲームのノルムが個々のノルムの積によって上界づけられることを示した。
• γ_2 と量子確率分布の関係が明確化され、非局所ゲームにおける量子相関のより深い分析が可能になった。
• フレームワークにより、2値出力ゲームからの結果が任意の出力アルファベットに一般化され、テンソルノルム手法の量子情報分野への応用範囲が拡大された。