[论文解读] 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

一句话总结

本文提出了莫什科维奇原始强化框架的分析重述，将其扩展至一般经典博弈、量子纠缠博弈及多人博弈场景。通过引入‘有序强化’——一种保持量子纠缠值的变体——该研究在所有这些设定下建立了强化博弈在并行重复下的指数衰减，为量子与多人复杂性理论提供了新的间隙放大方法。

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.

研究动机与目标

• 为克服莫什科维奇原始强化框架的局限性，该框架仅适用于经典双人投影博弈，且无法保持纠缠值。
• 开发一种适用于所有经典博弈（而不仅限于投影博弈）的一般性强化方法。
• 将强化框架扩展至具有量子纠缠玩家的博弈及多人博弈，此前此类结果尚不存在。
• 解决标准强化方法增大字母表大小并破坏量子设定下并行重复界限的问题。
• 提出‘有序强化’——一种修改后的强化方式，可保持博弈的纠缠值，从而支持量子应用。

提出的方法

• 使用迹范数与密度算子，将莫什科维奇的组合强化框架以分析形式重新表述。
• 引入‘有序强化’作为保持博弈纠缠值的变体，与标准强化不同。
• 利用迹不等式与希尔伯特-施密特范数下的柯西-施瓦茨不等式，界定强化下博弈算子的偏差。
• 建立一个并行重复定理，适用于强化博弈，其加法误差仅依赖于原始博弈的字母表大小，而非强化后的字母表大小。
• 通过分析博弈算子在张量重复下的行为，将该框架应用于一般博弈、量子纠缠博弈及多人博弈。
• 借助乔伊-雅莫尔科夫斯基同构与量子算子理论，将结果扩展至纠缠与多人设定。

实验结果

研究问题

• RQ1 强化框架能否被推广至投影博弈之外的所有经典博弈？
• RQ2 是否存在一种强化方法，可保持博弈的纠缠值，从而使其适用于量子设定？
• RQ3 能否通过强化方法建立具有量子纠缠玩家的博弈的并行重复定理？
• RQ4 强化框架能否被扩展至具有共享纠缠的多人博弈？
• RQ5 在强化下，是否可能实现重复博弈值的指数衰减，同时使误差仅依赖于原始博弈的参数？

主要发现

• 任何经典博弈均可通过分析重述实现强化，且所得强化博弈在并行重复下表现出值的指数衰减。
• 所引入的‘有序强化’保持了博弈的纠缠值，解决了在量子设定中应用强化的关键障碍。
• 已证明一般强化博弈的并行重复定理，其加法误差仅依赖于原始博弈的字母表大小，而非强化后的字母表大小。
• 该框架成功扩展至双人量子纠缠博弈，建立了在并行重复下纠缠值的指数衰减。
• 该方法适用于具有纠缠的多人博弈，为量子与多人复杂性理论提供了新的间隙放大技术。
• 分析表明，强化下博弈算子的迹范数偏差被有界于 O(λ/δ)，其中 λ 控制偏差，δ 为参考迹的下界。