[论文解读] Discrete realization of group symmetric LOCC-detection of maximally entangled state

Masahito Hayashi|ArXiv.org|Oct 19, 2008

Quantum Information and Cryptography参考文献 10被引用 3

一句话总结

本文提出了一种用于检测双量子系统中最大纠缠态的离散、有限结果的LOCC（单向局部操作与经典通信）测量方法，针对单-qudit 情况采用对称信息完备POVM（SIC-POVM）和互为正交基（MUBs），针对复合qudit情况则基于Clifford群构造。关键贡献在于，对群对称、连续结果的测试实现了可证明最优的离散实现，在两种情形下均精确等价于理想的无限结果测量。

ABSTRACT

Group symmetric LOCC measurement for detecting maximally entangled state is considered. Usually, this type measurement has continuous-valued outcomes. However, any realizable measurement has finite-valued outcomes. This paper proposes discrete realizations of such a group symmetric LOCC measurement.

研究动机与目标

• 弥合理论上最优、连续结果的群对称LOCC测量与实际中有限结果实现之间的差距，用于检测最大纠缠态。
• 构建保持群对称性并实现最优检测保真度的离散、单向LOCC测量方案。
• 将离散实现从单-qudit系统扩展至复合qudit系统，其中每个子系统为两个d维系统的张量积。
• 证明所提出的离散测量方案在最小结果数和与理想测量的保真度方面的最优性。

提出的方法

• 在爱丽丝的系统上使用对称信息完备POVM（SIC-POVM）作为局部测量，其中每个投影算符的秩为一，且不同态之间的重叠均匀为1/(d+1)。
• 采用两步LOCC协议：爱丽丝执行SIC-POVM并将结果经典通信给鲍勃；鲍勃对爱丽丝结果的共轭态执行两结果的投影测量。
• 对于复合系统情形，通过Clifford群在最大纠缠态上的酉表示构造离散LOCC测量，确保在局部酉变换下不变。
• 将所得正算子值测量（POVM）表示为共轭态投影算符张量积的和，权重均匀。
• 证明所得测量算符精确匹配理想的群不变测量算符 $ T_{\text{inv}}^{1,A\to B} $ 和 $ T_{\text{inv}}^{2,A\to B} $。
• 通过证明任何此类离散实现至少需要 $ d^2 $ 个结果，从而确立最优性，而所提出的方案恰好达到该下界。

实验结果

研究问题

• RQ1 能否将用于检测最大纠缠态的理想、连续结果群对称LOCC测量离散化为有限结果测量，同时保持群对称性和最优性？
• RQ2 对于单-qudit系统，实现理想群不变测量的离散LOCC测量所需的最小结果数是多少？
• RQ3 如何将群对称LOCC检测最大纠缠态的方法推广至由两个qudit子系统组成的复合系统？
• RQ4 是否存在基于有限群（如Clifford群）的有限离散LOCC测量方案，其在复合情形下与理想连续测量结果相同？
• RQ5 此类离散实现的最优性能否在结果数和与理想测量的保真度两方面得到严格证明？

主要发现

• SIC-POVM为理想群对称测量 $ T_{\text{inv}}^{1,A\to B} $ 提供了离散、单向LOCC实现，结果数恰好为 $ d^2 $，达到理论下界。
• 所提出的基于SIC-POVM的方案实现了精确等式 $ T(M_{\text{sic}}) = T_{\text{inv}}^{1,A\to B} $，证明了其在结果数上的正确性与最优性。
• 对于 $ \text{dim}({\bf H}_{A_1}) = \text{dim}({\bf H}_{A_2}) = \text{dim}({\bf H}_{B_1}) = \text{dim}({\bf H}_{B_2}) = d $ 的复合系统情形，基于Clifford群的离散LOCC方案实现了理想测量 $ T_{\text{inv}}^{2,A\to B} $。
• Clifford方案被证明是最优的，因为它实现了任何离散实现 $ T_{\text{inv}}^{2,A\to B} $ 所需的最小结果数 $ d^2 $。
• 所得测量算符在局部酉变换下保持不变，并在两种情形下精确再现了理想群不变算符的形式。
• 本文证明，任何实现 $ T(M) = T_{\text{inv}}^{1,A\to B} $ 的离散LOCC测量至少需要 $ d^2 $ 个结果，而SIC-POVM构造恰好达到该边界。