Quantum correlations are central to the foundations of quantum physics and form the basis of quantum technologies. Here, our goal is to connect quantum correlations and computation: using quantum correlations as a resource for computation—and vice versa, using computation to test quantum correlations. We derive Bell-type inequalities that test the capacity of quantum states for computing Boolean functions within a specific model of computation and experimentally investigate them using 4-photon Greenberger–Horne–Zeilinger (GHZ) states. Furthermore, we show how the resource states can be used to specifically compute Boolean functions—which can be used to test and verify the non-classicality of the underlying quantum states. The connection between quantum correlation and computability shown here has applications in quantum technologies, and is important for networked computing being performed by measurements on distributed multipartite quantum states.

量子相关性是量子物理学基础的核心，是量子技术的基础。在这里，我们的目标是连接量子相关性和计算：使用量子相关性作为计算资源，反之亦然，使用计算来测试量子相关性。我们推导出贝尔型不等式，该不等式用于测试量子态在特定计算模型内计算布尔函数的能力，并使用4光子Greenberger–Horne–Zeilinger（GHZ）状态进行实验研究。此外，我们展示了如何使用资源状态来专门计算布尔函数-可以用来测试和验证基础量子状态的非经典性。此处显示的量子相关性和可计算性之间的联系已在量子技术中得到应用，