用贝尔不等式见证魔术性

非稳定化性(non-stabilizerness),又称魔术性(magic),是量子计算的一项基础资源,它使量子算法能够超越经典计算的能力。尽管魔术性至关重要,但由于稳定子多面体的复杂几何结构以及模拟非稳定子态的困难,其刻画仍充满挑战。在本工作中,我们揭示了魔术性与贝尔不等式之间一个出乎意料的联系。尽管最大纠缠的稳定子态能够违反贝尔不等式,且魔术性与可观测量的代数结构密切相关,我们证明,经过精心设计的贝尔不等式可以作为魔术性的见证。这一结果在两项关键的量子资源之间架起桥梁,揭示了设备无关框架与量子计算资源论性质之间一种全新的关系。