纠缠态的数学描述（贝尔态）
在量子信息科学中，纠缠态是实现量子通信、量子计算以及量子密码学等任务的核心资源。最典型、最常用的纠缠态之一是 贝尔态（Bell state），它是两比特（两量子比特）系统的四个正交最大纠缠基底。本文从线性代数的角度系统阐述贝尔态的数学描述，并给出构造与判别的具体示例，帮助读者在实际量子线路设计中熟练使用。
1. 两比特系统的张量积空间
设单比特 Hilbert 空间为 (\mathcal{H}_2 = \text{span}{|0\rangle,|1\rangle})，则两比特系统的整体空间为
[
\mathcal{H}_{AB}= \mathcal{H}_A\otimes\mathcal{H}_B
= \text{span}{|00\rangle,|01\rangle,|10\rangle,|11\rangle},
]
其中 (|ij\rangle = |i\rangle_A\otimes|j\rangle_B)，(i,j\in{0,1})。该空间是 4 维复向量空间，任意两比特纯态 (|\psi\rangle) 可写成
[
|\psi\rangle = \sum_{i,j=0}^{1} c_{ij},|ij\rangle,\qquad
\sum_{i,j}|c_{ij}|^{2}=1.
]
若系数矩阵 (C=(c_{ij})) 的秩为 1，则 (|\psi\rangle) 为可分（即非纠缠）态；若秩大于 1，则为纠缠态。
2. 贝尔态的定义
贝尔态是一组特殊的两比特纠缠基底，通常记为 ({|\Phi^{\pm}\rangle, |\Psi^{\pm}\rangle})，其显式形式为
[
\begin{aligned}
|\Phi^{+}\rangle &= \frac{1}{\sqrt{2}}\bigl(|00\rangle + |11\rangle\bigr),\[4pt]
|\Phi^{-}\rangle &= \frac{1}{\sqrt{2}}\bigl(|00\rangle - |11\rangle\bigr),\[4pt]
|\Psi^{+}\rangle &= \frac{1}{\sqrt{2}}\bigl(|01\rangle + |10\rangle\bigr),\[4pt]
|\Psi^{-}\rangle &= \frac{1}{\sqrt{2}}\bigl(|01\rangle - |10\rangle\bigr).
\end{aligned}
]
它们满足以下性质：
- 正交性：(\langle\beta_i|\beta_j\rangle = \delta_{ij})（(i,j) 取四个态的编号）。
- 完备性：任意两比特态都可以唯一展开为这四个基底的线性组合。
- 最大纠缠：对任一贝尔态，局部子系统的约化密度矩阵为完全混合态 (\rho_A = \rho_B = \frac{I}{2})。
3. 纠缠判据的矩阵形式
给定系数矩阵 (C)，常用的纠缠判据包括：
秩判据
- 若 (\text{rank}(C)=1)，则态可分。
- 若 (\text{rank}(C)>1)，则为纠缠态。
部分转置（PPT）判据
对密度矩阵 (\rho = |\psi\rangle\langle\psi|) 在子系统 (A) 上做转置得到 (\rho^{T_A})。若 (\rho^{T_A}) 有负特征值，则 (|\psi\rangle) 为纠缠态。对贝尔态，(\rho^{T_A}) 的特征值为 ({ \frac12, \frac12, \frac12, -\frac12 })，显然满足 PPT 判据的“负特征值”条件。
4. 生成贝尔态的量子线路示例
下面给出最常见的电路实现，以产生 (|\Phi^{+}\rangle) 为例：
q0: ──H─────■────
│
q1: ────────X────
- 第一步：对第一个比特（(q0)）施加 Hadamard 门 (H)，得到 (\frac{1}{\sqrt{2}}(|0\rangle+|1\rangle))。
- 第二步：在两比特之间施加 受控非门（CNOT），控制比特为 (q0)，目标比特为 (q1)。
结果为 (\frac{1}{\sqrt{2}}(|00\rangle+|11\rangle)=|\Phi^{+}\rangle)。
若在 CNOT 之后在第一个比特上再加一个 相位门 (Z)（或在第二个比特上加 (X)），即可得到其余三种贝尔态。
5. 贝尔不等式与纠缠检测
贝尔态是 贝尔不等式（如 CHSH 不等式）最大违背的状态。设测量算符为
[
\begin{aligned}
A_0 &= \sigma_z,\quad A_1 = \sigma_x,\
B_0 &= \frac{\sigma_z+\sigma_x}{\sqrt{2}},\quad
B_1 = \frac{\sigma_z-\sigma_x}{\sqrt{2}},
\end{aligned}
]
则对 (|\Phi^{+}\rangle) 计算 CHSH 参数
[
S = \langle A_0 B_0\rangle + \langle A_0 B_1\rangle
+ \langle A_1 B_0\rangle - \langle A_1 B_1\rangle = 2\sqrt{2},
]
超过经典上限 2，表明该态具备不可归约的量子纠缠。
6. 小结
- 贝尔态是两比特系统的四个正交、完备且最大纠缠的基底，形式简洁、对称性好，便于理论分析与实验实现。
- 通过张量积、系数矩阵的秩以及 PPT 判据，可快速判断任意两比特态是否为贝尔态或等价的纠缠态。
- 简单的 H + CNOT 电路即可在实验平台（如超导量子比特、离子阱或光子偏振）中制备 (|\Phi^{+}\rangle)，并通过相位或位翻转门得到其余三种。
- 贝尔态在量子隐形传态、量子密钥分发（BB84、E91）以及量子纠错码的构造中扮演关键角色，掌握其数学描述是深入量子信息科学的基础。
练习：尝试使用上述电路在 Qiskit（或其他量子编程框架）中实现 (|\Psi^{-}\rangle) 的制备，并验证其局部约化密度矩阵为 (\frac{I}{2})。
通过对贝尔态的系统学习，读者能够在后续的量子算法设计与实验验证中自如地运用这一核心资源。