[論文レビュー] Parallel repetition via fortification: analytic view and the quantum case

Mohammad Bavarian, Thomas Vidick+1 more|arXiv (Cornell University)|Mar 17, 2016

Quantum Mechanics and Applications参考文献 17被引用数 6

ひとこと要約

本稿は、Moshkovitzの並列反復用強化フレームワークの解析的再定式化を導入し、一般の古典的ゲーム、量子もつれゲーム、マルチプレイヤー設定へと拡張する。『順序付き強化』——もつれ値を保存する変種——を導入することで、これらのすべての設定において強化ゲームの値が指数的減少することを確立し、量子およびマルチプレイヤー複雑性理論における新たなギャップ拡大法を提供する。

ABSTRACT

In a recent work, Moshkovitz [FOCS '14] presented a transformation on two-player games called "fortification", and gave an elementary proof of an (exponential decay) parallel repetition theorem for fortified two-player projection games. In this paper, we give an analytic reformulation of Moshkovitz's fortification framework, which was originally cast in combinatorial terms. This reformulation allows us to expand the scope of the fortification method to new settings. First, we show any game (not just projection games) can be fortified, and give a simple proof of parallel repetition for general fortified games. Then, we prove parallel repetition and fortification theorems for games with players sharing quantum entanglement, as well as games with more than two players. This gives a new gap amplification method for general games in the quantum and multiplayer settings, which has recently received much interest. An important component of our work is a variant of the fortification transformation, called "ordered fortification", that preserves the entangled value of a game. The original fortification of Moshkovitz does not in general preserve the entangled value of a game, and this was a barrier to extending the fortification framework to the quantum setting.

研究の動機と目的

• Moshkovitzの元来の強化フレームワークには限界があり、古典的2人対称射ゲームにしか適用できず、もつれ値を保存しなかったこと。
• 射影ゲームに限らないすべての古典的ゲームに適用可能な一般の強化法を開発すること。
• もつれプレイヤーを含むゲームおよびマルチプレイヤーゲームへの強化フレームワークの拡張を図ることで、それまで存在しなかった結果を得ること。
• 標準的強化がアルファベットサイズを増加させ、量子設定における並列反復の境界を破壊する問題を解決すること。
• 『順序付き強化』——もつれ値を保存する修正された強化——を導入し、量子応用を可能にする。

提案手法

• トレースノルムと密度作用素を用いた解析的表現により、Moshkovitzの組合せ的強化フレームワークを再定式化する。
• 標準的強化とは異なりもつれ値を保存する『順序付き強化』を導入する。
• ヒルベルト＝シュミットノルムにおけるトレース不等式とコーシー＝シュワルツ不等式を用いて、強化下でのゲーム作用素の乖離を評価する。
• 加法的誤差が強化後のゲームに依存せず、元のゲームのアルファベットサイズにのみ依存するように、強化ゲームの並列反復定理を確立する。
• ゲーム作用素のテンソル反復における振る舞いを分析することで、一般ゲーム、もつれゲーム、マルチプレイヤーゲームにフレームワークを適用する。
• チョイ・ヤミオルコフスキー同型性と量子作用素理論を活用し、結果をもつれおよびマルチプレイヤー設定へ拡張する。

実験結果

リサーチクエスチョン

• RQ1 強化フレームワークは射影ゲームを超えて、すべての古典的ゲームへ一般化可能か？
• RQ2 もつれ値を保存する強化法が存在するか？ これにより量子設定での応用が可能になるか？
• RQ3 強化を用いて、もつれプレイヤーを含むゲームの並列反復定理を確立できるか？
• RQ4 強化フレームワークは、共有もつれを有するマルチプレイヤーゲームへ拡張可能か？
• RQ5 強化下で繰り返しゲームの値が指数的減少するようになり、誤差が元のゲームのパrameterにのみ依存するようにできるか？

主な発見

• 任意の古典的ゲームは、解析的再定式化により強化可能であり、その結果得られる強化ゲームは並列反復において値が指数的減少する。
• 導入された『順序付き強化』はゲームのもつれ値を保存するため、量子設定への応用における主要な障壁を解消する。
• 一般の強化ゲームについて並列反復定理が証明され、加法的誤差は強化後のゲームに依存せず、元のゲームのアルファベットサイズにのみ依存する。
• フレームワークは2人もつれプレイヤーゲームへも成功裏に拡張され、並列反復におけるもつれ値の指数的減少が確立された。
• 本手法はもつれを有するマルチプレイヤーゲームへも適用可能であり、量子およびマルチプレイヤー複雑性理論における新たなギャップ拡大技術を提供する。
• 解析により、強化下でのゲーム作用素のトレースノルムの乖離が、O(λ/δ)で有界であることが示された。ここでλは乖離を制御するパラメータであり、δは基準トレースの下限である。