通过算子不等式实现量子导引系综的鲁棒自测试
Robust self-testing of quantum steering assemblages via operator inequalities
AI总结：
本文首次提出基于算子不等式的解析方法，对实现CHSH不等式最大违背的量子导引系综进行设备无关鲁棒自测试，获得显著优于数值方法的认证保真度下界。
AI中文摘要：
鲁棒自测试为在实验不完美条件下认证量子资源提供了一个框架。提高量子态、导引系综和测量等量子资源的鲁棒性界是一项持续的努力，以确保其在实验领域的相关性。尽管量子态和测量的解析自测试方法已取得进展，但将这些技术扩展到导引系综的设备无关认证仍然是一个悬而未决的挑战，此前的工作主要依赖数值方法。我们通过发展用于量子导引系综鲁棒自测试的算子不等式来填补这一空白。具体而言，我们考虑实现Clauser-Horne-Shimony-Holt（CHSH）不等式最大违背的系综，并获得其认证保真度的显式下界。我们的解析方法所得到的结果显著优于先前的数值界，代表了设备无关系综自测试的首次解析处理。这项工作展示了算子不等式在量子态认证之外的新应用，并有助于在导引场景中建立对设备无关认证的基础性理解，可能指导未来的理论和实验发展。
英文摘要：
Robust self-testing provides a framework for certifying quantum resources under experimental imperfections. Improving robustness bounds for quantum resources such as quantum states, steering assemblages, and measurements is a constant effort that ensures relevance in the experimental realm. Despite progress in analytic self-testing methods for quantum states and measurements, extending these techniques to device-independent certification of steering assemblages has remained an open challenge, with previous work relying primarily on numerical approaches. We address this gap by developing operator inequalities for robust self-testing of quantum steering assemblages. Specifically, we consider the assemblage that achieves maximal violation of the Clauser-Horne-Shimony-Holt (CHSH) inequality and obtain explicit lower bounds on its certification fidelity. Our analytic approach yields results that significantly improve upon previous numerical bounds, representing the first analytic treatment of device-independent assemblage self-testing. This work demonstrates a new application of operator inequalities beyond quantum state certification and contributes to the foundational understanding of device-independent certification in steering scenarios, potentially guiding future theoretical and experimental developments.
