关于GHZ态中偏迹的物理直觉与信息提取的技术问询

咱们先把偏迹的核心逻辑掰碎了说：你提到的“将量子比特的偏迹解释为该量子比特被从系统中平均掉”，这个理解特别精准——偏迹本质上就是忽略某个子系统后的统计等效描述：当我们不再关心被求偏迹的量子比特（比如例子里Charlie的比特c），就对它所有可能的状态/测量结果做统计平均，得到的就是剩下子系统（Alice和Bob的a、b比特）的密度矩阵，这个矩阵包含了所有仅涉及a、b的可观测物理量的完整统计信息。

拿你说的三粒子GHZ态来具体拆解：
首先写出GHZ态的表达式：
$$ |GHZ\rangle = \frac{1}{\sqrt{2}}(|000\rangle_{abc} + |111\rangle_{abc}) $$
当我们对量子比特c求偏迹，得到两体密度矩阵：
$$ \rho_{ab} = \text{Tr}c\left(|GHZ\rangle\langle GHZ|\right) $$
展开计算后结果是：
$$ \rho{ab} = \frac{1}{2}\left(|00\rangle\langle 00| + |11\rangle\langle 11|\right) $$
这是一个可分混合态，从这个矩阵里我们能提取这些关键物理信息：

• 单个比特的边缘统计特性：对$\rho_{ab}$再求Bob比特的偏迹，得到Alice比特的密度矩阵 $\rho_a = \frac{1}{2}(|0\rangle\langle 0| + |1\rangle\langle 1|)$，Bob的$\rho_b$也是完全一样的。这意味着：

  • Alice单独测量自己的比特，得到0或1的概率都是50%，没有任何确定的偏向性；Bob的情况完全相同。
  • 单个比特的任何可观测量（比如X、Y、Z算符）的期望值都是0，因为这是最大混合态，没有任何“偏好”。

• 两比特的强经典关联：虽然$\rho_{ab}$是可分的（不存在量子纠缠），但它的结构明确告诉我们Alice和Bob的测量结果是完美关联的：

  • 如果Alice在Z基（0/1）上测量得到0，那么Bob在Z基上测量也一定得到0；Alice得到1，Bob也必然得到1。这个结论可以通过计算ZZ关联函数验证：$\langle Z_a Z_b\rangle = \text{Tr}(\rho_{ab} Z_a\otimes Z_b) = 1$，说明结果完全一致。
  • 但这种关联是经典关联，而非量子纠缠：我们可以把$\rho_{ab}$看作“以50%概率处于|00⟩，50%概率处于|11⟩”的经典混合，和Bell态这类量子纠缠纯态有本质区别。比如测量XX关联函数时，$\langle X_a X_b\rangle = \text{Tr}(\rho_{ab} X_a\otimes X_b) = 0$，这和Bell态的XX关联为1完全不同——这就是可分混合态与纠缠纯态的核心差异。

• 剩余系统的完整可观测描述：任何仅涉及Alice和Bob的测量（不管是单个比特测量还是联合测量），其概率分布都可以从$\rho_{ab}$直接计算出来。比如他们如果用${|++\rangle, |--\rangle}$基矢做测量，我们也能通过$\rho_{ab}$算出各自结果的概率和关联，完全不需要再考虑Charlie的比特c——因为偏迹已经把c的所有可能性都平均掉了。

简单总结：偏迹给我们的是忽略某个子系统后，剩余系统所有可观测物理信息的统计等效描述——它不会透露被忽略子系统的任何信息，但能完整刻画剩下的系统在不考虑被忽略部分时的全部行为。

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