[论文解读] Strong quantum nonlocality from hypercubes

Fei Shi, Mao-Sheng Li+5 more|arXiv (Cornell University)|Oct 16, 2021

Quantum Information and Cryptography参考文献 39被引用 7

一句话总结

该论文通过利用三维、四维和五维超立方体的最外层，构建了三、四、五价量子系统中的强非局域正交产品态（OPS）。通过分解这些外层并证明其在所有二分划下的局部不可约性，作者展示了无需纠缠的强量子非局域性，解决了关于所有可能三至五价系统中此类OPS存在的开放性问题。

ABSTRACT

A set of multipartite orthogonal product states is strongly nonlocal if it is locally irreducible in every bipartition. Most known constructions of strongly nonlocal orthogonal product set (OPS) are limited to tripartite systems, and they are lack of intuitive structures. In this work, based on the decomposition for the outermost layer of an $n$-dimensional hypercube for $n= 3,4,5$, we successfully construct strongly nonlocal OPSs in any possible three, four and five-partite systems, which answers an open question given by Halder et al. [Phys. Rev. Lett.122, 040403 (2019)] and Yuan et al. [Phys. Rev. A102, 042228 (2020)] for any possible three, four and five-partite systems. Our results build the connection between hypercubes and strongly nonlocal OPSs, and exhibit the phenomenon of strong quantum nonlocality without entanglement in multipartite systems.

研究动机与目标

• 为解决在所有可能的三、四、五价量子系统中是否存在强非局域正交产品集（OPS）的开放性问题。
• 提供一种结构化且几何直观的强非局域OPS构造方法，克服以往研究中缺乏清晰模式的缺陷。
• 建立超立方体几何与量子非局域性之间的联系，特别是在多体系统中的应用。
• 证明所构造的OPS不仅在局部不可区分，而且在每个二分划下均不可约，从而确认强非局域性。
• 通过添加超立方体的内层产品态，将OPS扩展为完整的正交产品基（COPBs）。

提出的方法

• 利用n维超立方体（n=3,4,5）的最外层作为几何框架，定义OPS的结构。
• 将最外层分解为子区域（如面、边、顶点），以系统化地分配正交产品态。
• 在每个二分划中使用网格表示（如A|BCD，B|ACDE）来分析局部测量约束。
• 应用保持正交性的局部测量（POVM）分析，证明唯一可能的测量是平凡测量，从而暗示局部不可约性。
• 利用引理2证明，任何子集上的有效POVM必须与单位矩阵成比例，从而证明平凡性，进而证明局部不可约性。
• 利用各二分划之间的对称性，将单一分划中平凡性的证明推广至所有分划，从而确认强非局域性。

实验结果

研究问题

• RQ1 是否可以在所有可能的三、四、五价量子系统中构造出强非局域正交产品集（OPS）？
• RQ2 是否存在一种几何结构（如超立方体外层），能够系统地生成具有直观模式的强非局域OPS？
• RQ3 此类构造能否被证明在每个二分划下均不可约，从而展示强量子非局域性？
• RQ4 所构造的OPS能否被扩展为完整的正交产品基（COPBs）？
• RQ5 该方法能否推广至n > 5的n价系统？

主要发现

• 作者在$ d_A \times d_B \times d_C $系统中构造了强非局域OPS，其大小为$ d_A d_B d_C - (d_A-2)(d_B-2)(d_C-2) $，其中$ d_A, d_B, d_C \neq 3 $。
• 对于四价系统，该构造在$ d_A \times d_B \times d_C \times d_D $系统中得到了大小为$ d_A d_B d_C d_D - (d_A-2)(d_B-2)(d_C-2)(d_D-2) $的OPS。
• 对于五价系统，OPS的大小为$ d_A d_B d_C d_D d_E - (d_A-2)(d_B-2)(d_C-2)(d_D-2)(d_E-2) $，在$ d_A \times d_B \times d_C \times d_D \times d_E $系统中。
• 所构造的OPS被证明在每个二分划下均不可约，从而确认了无需纠缠的强量子非局域性。
• 通过添加超立方体的内层产品态，可将OPS扩展为完整的正交产品基（COPBs）。
• 该方法提供了一种几何直观且可推广的框架，用于在低粒子数系统中构造强非局域OPS，解决了Halder等人（2019）和Yuan等人（2020）提出的开放性问题。