[论文解读] Extended GHZ n-player games with classical probability of winning tending to 0

Michel Boyer|ArXiv.org|Aug 13, 2004

Quantum Mechanics and Applications参考文献 2被引用 10

一句话总结

本文提出了一类基于GHZ态的n人量子博弈的扩展形式，将梅尔明原始博弈推广至模$2^m$输出，且除数$D=2$。该文提出一种量子策略，可确保获胜；同时证明经典策略的获胜概率为$ abla 2\sqrt{2/\pi} \cdot n^{-1/2}$，当$n \to \infty$时趋于0，从而建立了一个更强的贝尔型不等式，其量子-经典差距呈指数增长。

ABSTRACT

In 1990, Mermin presented a n player game that is won with certainty using n spin-1/2 particles in a GHZ state whilst no classical strategy (or local theory) can win with probability higher than ${1/2} + \frac{1}{2^{\lceil n/2 ceil}}$ (which is larger than 1/2). This article first introduces a class of arithmetic games containing Mermin's and gives a quantum algorithm based on a generalized n party GHZ state that wins those games with certainty. It is then proved for a subclass of those games where each player is given a single bit of input that no classical strategy can win with a probability that is asymptotically larger than 1.6 times the inverse of the square root of n, thus giving a new and stronger Bell inequality.

研究动机与目标

• 将梅尔明的n人GHZ博弈推广至具有模算术约束的更广泛类别的算术博弈。
• 基于广义GHZ态设计一种量子策略，确保在这些扩展博弈中获胜。
• 严格界定这些博弈的经典最大获胜概率，并证明其渐近衰减为$n^{-1/2}$。
• 通过展示随着$n$增大，量子优势持续增长而经典优势趋于消失，从而建立更强的贝尔型不等式。

提出的方法

• 引入一族n人博弈$G_{n,D,M}$，其中玩家接收输入$x_j \in [0, D-1]$，满足$\sum x_j \equiv 0 \pmod{D}$，并需输出$y_j \in [0, M-1]$，使得$\sum y_j \equiv \frac{1}{D}\sum x_j \pmod{M}$。
• 提出一种基于广义GHZ态$|\Phi\rangle = \frac{1}{\sqrt{M}}\sum_{k=0}^{M-1} |k\rangle^{\otimes n}$的量子策略，通过受控单位操作和傅里叶变换实现完美获胜。
• 采用基于比特串选择$s \in \{0,1\}^n$的策略，每位玩家根据其输入和$s$应用相应单位操作，当且仅当$|x \oplus s| = \lfloor n/2\rfloor$时，结果$\mathcal{S}^s(x) \in W(x)$。
• 通过组合分析计算获胜概率为$\frac{\binom{n}{\lfloor n/2\rfloor}}{2^{n-1}}$，该结果源于满足奇偶性条件的$s$-串数量。
• 应用斯特林近似法，证明经典获胜概率的渐近衰减为$\sim 2\sqrt{2/\pi} \cdot n^{-1/2}$。
• 证明当$m \geq \ell(n) = \lfloor \lg((n+1)/4) \rfloor + 1$时，量子获胜概率恰好为$\frac{\binom{n}{\lfloor n/2\rfloor}}{2^{n-1}}$，确保具备足够的量子比特精度以实现完整量子优势。

实验结果

研究问题

• RQ1 梅尔明的n人GHZ博弈能否推广至具有模算术约束的更广泛类别的博弈？
• RQ2 这些扩展博弈的经典最大获胜概率是多少？其随$n$如何变化？
• RQ3 能否构造一种可确保获胜的量子策略？其结构如何？
• RQ4 随着$n$增加，量子与经典获胜概率之间的差距如何演变？
• RQ5 经典获胜概率的渐近行为如何？是否趋于零？

主要发现

• 对于扩展的$G_{n,2,2^m}$博弈，经典获胜概率的上界为$\frac{\binom{n}{\lfloor n/2\rfloor}}{2^{n-1}}$，此即最优可实现概率。
• 该上界渐近行为为$2\sqrt{2/\pi} \cdot n^{-1/2}$，当$n \to \infty$时趋于0。
• 基于广义GHZ态$|\Phi\rangle = \frac{1}{\sqrt{M}}\sum_{k=0}^{M-1} |k\rangle^{\otimes n}$的量子策略，当$m \geq \ell(n)$时可确保获胜。
• 边界$\ell(n) = \lfloor \lg((n+1)/4) \rfloor + 1$确保了实现完整量子优势所需的足够量子比特精度。
• 当$n=14$时，$m=2$已足以超越梅尔明的经典界限；当$n=41$时，$m=4$可使经典获胜概率降至25%以下。
• 该结果建立了一个更强的贝尔型不等式，表明量子优势随$n$增大呈指数增长，而经典优势在$n$充分大时趋于消失。