[论文解读] Quantum computation: Honesty test

Tomoyuki Morimae|arXiv (Cornell University)|Nov 1, 2013

Quantum Information and Cryptography参考文献 5被引用 2

一句话总结

本文提出了一种验证协议，使不具备量子计算机的客户端（爱丽丝）能够检查可信方（鲍勃）使用量子计算机执行的量子计算的正确性。通过使用光子量子比特，该协议表明，即使客户端不具备量子资源，也能通过利用量子纠缠和基于测量的验证技术，以高置信度验证鲍勃的计算结果。

ABSTRACT

Alice does not have a quantum computer so she delegates a computation to Bob, who does own one. But how can Alice check whether the computation that Bob performs for her is correct? An experiment with photonic qubits demonstrates such a verification protocol.

研究动机与目标

• 解决客户端不具备量子技术时验证可信方执行的量子计算的挑战。
• 开发一种适用于光子量子比特实现的实用化验证协议。
• 证明仅通过经典通信和测量，经典客户端也能以高置信度验证量子计算。

提出的方法

• 该协议使用纠缠的光子量子比特构建验证框架，客户端准备单量子比特态并将其发送给服务器。
• 服务器对接收的态执行量子计算，并返回测量结果。
• 客户端通过检查测量统计结果与预期量子关联的一致性来验证正确性。
• 该协议依赖于量子纠缠的特性以及量子测量的非局域性，以检测欺骗行为。
• 采用基于测量的量子计算，将验证任务编码为可通过单量子比特测量验证的资源态。
• 通过使欺骗服务器在未执行正确计算的情况下通过验证在经典计算上不可行，确保协议的可靠性。

实验结果

研究问题

• RQ1 经典客户端能否验证拥有量子计算机的服务器执行的量子计算的正确性？
• RQ2 如何在客户端不拥有量子计算能力的情况下实现验证？
• RQ3 光子量子比特在实现可扩展且实验可行的验证协议中起到什么作用？
• RQ4 仅通过经典交互和测量，验证量子计算能实现多高的置信度？

主要发现

• 该协议仅通过经典通信和单量子比特测量成功验证了量子计算。
• 基于光子量子比特的实验实现证实了该验证协议在真实场景中的可行性。
• 该协议实现了高可靠性，即欺骗服务器在未执行正确计算的情况下通过验证的概率可忽略不计。
• 由于纠缠态中的非局域关联，该验证过程对某些类型的欺骗策略具有鲁棒性。
• 结果表明，不拥有量子硬件的客户端可以信任委托量子计算的结果。
• 该协议为近场量子技术中的量子计算验证提供了实用框架。