Hardy’s paradox can demonstrate the conflict between quantum mechanics and local realism. Experimental testing of Hardy’s paradox has been carried out, but it involved only a few qubits. We propose a simple but novel approach to verify the generalized Hardy’s paradox and Hardy’s inequality using quantum programming. By designing scalable quantum circuits, we write quantum programs in Q# and corresponding classical controls in C# using Visual Studio. Our quantum simulation results are consistent with the original theoretical values; moreover, they can be easily extended to multiqubit systems. This provides an effective means for investigating multipartite entanglement question using quantum programming.

哈迪悖论可以证明量子力学与局部现实主义之间的冲突。已经进行了哈迪悖论的实验测试，但仅涉及几个量子位。我们提出了一种简单而新颖的方法来使用量子编程来验证广义哈迪悖论和哈迪不等式。通过设计可伸缩的量子电路，我们使用Visual Studio在Q＃中编写量子程序，并在C＃中编写相应的经典控件。我们的量子模拟结果与原始理论值一致；而且，它们可以很容易地扩展到多量子位系统。这为使用量子编程研究多方纠缠问题提供了一种有效的手段。