量子信息论中GHZ非局域游戏基础问题技术问询

嘿，作为一个在量子信息非局域游戏里摸爬滚打了好久的人，我太懂你刚接触John Watrous讲义里三人GHZ游戏时的懵圈感了——规则绕，逻辑更绕。咱们把你梳理的四个基础困惑逐个拆解，说得明白点：

问题1：为什么GHZ游戏需要三个参与者？两个不行吗？ #

当然不是说双人做不了非局域游戏（比如经典的Bell-CHSH游戏就是双人的），但GHZ游戏的核心是展示比双人非局域性更极端的量子优势：

• 双人Bell游戏里，经典策略能拿75%胜率，量子能冲到~85%；但GHZ游戏里，经典顶破天只能拿75%，量子却能直接做到100%全对——这种碾压级的差距，是双人游戏没法呈现的。
• 更关键的是，GHZ游戏能直观展示量子力学和局域实在论的矛盾不需要统计验证（Bell不等式得靠多次实验统计），单次实验就能出逻辑矛盾，这在双人游戏里根本实现不了。

问题2：GHZ游戏里的“输入”“输出”规则具体是什么，为啥这么设计？ #

先把Watrous讲义里的标准规则掰碎了说：

• 输入：裁判随机给Alice、Bob、Charlie每人一个二进制输入 x, y, z ∈ {0,1}，而且必须满足 x + y + z ≡ 0 mod 2（也就是只能是000、011、101、110这四种组合）。
• 输出：三人各自输出一个二进制结果 a, b, c ∈ {0,1}，得满足两个硬要求：
  1. 要是输入是000，必须 a ⊕ b ⊕ c = 0（三个输出异或为0，也就是偶数个1）；
  2. 要是输入是011、101、110里的任意一种，必须 a ⊕ b ⊕ c = 1（三个输出异或为1，也就是奇数个1）。

这种规则就是故意给经典局域策略挖逻辑坑：经典情况下，参与者只能靠提前约定的局域规则（比如每个人按自己的输入查表输出），但无论怎么约定，都不可能同时满足所有四种输入的要求——而量子纠缠能直接跳开这个坑。

问题3：经典策略下GHZ游戏的最大胜率是多少，为啥达不到100%？ #

经典策略的最大胜率是75%，原因很直白：
假设三人提前约定固定输出0，那面对000时符合要求，但另外三种输入全错，胜率只有25%；再比如约定“输入0就输出0，输入1就输出1”：

• 输入000：输出000，异或0，符合要求；
• 输入011：输出011，异或0，不符合要求；
• 输入101：输出101，异或0，不符合要求；
• 输入110：输出110，异或0，不符合要求；
  胜率还是25%。

你随便试任何经典策略，最多只能满足四种输入里的三种——毕竟经典局域策略受限于局域实在论：每个人的输出只能由自己的输入和提前约定的局域变量决定，没法共享实时全局信息，所以必然会在某一种输入组合上掉链子。

问题4：量子策略是怎么做到GHZ游戏100%胜率的，核心原理是什么？ #

核心就是用GHZ三粒子最大纠缠态，也就是这个状态：
|GHZ\rangle = \frac{1}{\sqrt{2}}(|000\rangle + |111\rangle)

具体操作步骤非常清晰：

1. 游戏开始前，Alice、Bob、Charlie共享这个GHZ态，每人拿一个粒子；
2. 收到裁判的输入后，每个人对自己的粒子做对应测量：
   • 输入是0，就测Z基（|0\rangle, |1\rangle），把测量结果当输出；
   • 输入是1，就测X基（|+\rangle = \frac{1}{\sqrt{2}}(|0\rangle+|1\rangle), |-\rangle = \frac{1}{\sqrt{2}}(|0\rangle-|1\rangle)），比如规定|+\rangle对应输出0，|-\rangle对应输出1。

你可以自己验证，这套策略能完美满足所有输入要求：

• 输入000：三人都测Z基，结果要么全0要么全1，异或都是0，符合要求；
• 输入011：Alice测Z基，Bob和Charlie测X基，算下来输出异或必然是1，符合要求；另外两种双1输入的情况也一样。

本质上，量子纠缠让三个粒子的测量结果存在非局域关联：每个人的结果不是独立的，而是由整个纠缠态的全局性质决定的，直接突破了经典局域策略的限制，实现了100%胜率。

内容的提问来源于stack exchange，提问作者CuriousGeorge