20、量子纠缠定量理论与操作研究

量子纠缠定量理论与操作研究

1. 量子纠缠定量理论的关键要求

在量子纠缠的研究中，由于利用纠缠的任务范围广泛，难以用单一方式定义纠缠。若将纠缠定义为“在特定协议中被利用的性质”，不同任务有不同的成功衡量标准，可能出现一种状态在某任务中优于另一种状态，而在其他任务中则相反的情况，这使得难以形成统一的纠缠量化视角。不过，当“允许”的操作集合为 LOCC（局域操作和经典通信）类时，可得出适用于所有此类任务的通用结论，这对纠缠的量化至关重要：
- 可分态无纠缠 ：多体系统的状态 $\Lambda_{ABC…}$ 若能写成 $\Lambda_{ABC…} = \sum_{i} p_i \Lambda_{iA} \otimes \Lambda_{iB} \otimes \Lambda_{iC} \otimes \cdots$（其中 $p_i$ 是概率分布），则称该状态是可分的。可分态可通过 LOCC 轻易创建，满足局域隐变量模型，其所有关联都可经典描述，因此可断言可分态不包含纠缠。
- 非可分态为纠缠态 ：对于在两方之间共享量子态 $\Lambda$ 的任务，当且仅当 $\Lambda$ 可分时，才能用 LOCC 完美生成。若 $\Lambda$ 作为非局域资源提供，该任务用 LOCC 就变得容易。所以从这个任务角度看，非可分和纠缠可视为同义词。此外，对于任何非可分态 $\Lambda$，都能找到另一个态 $\Delta$，若 $\Lambda$ 存在，$\Delta$ 的量子隐形传态保真度可提高。
- LOCC 下纠缠不增加 ：若能用 LOCC 操作将状态 $\Lambda$ 转换为状态