[论文解读] Verified Delegated Quantum Computing with One Pure Qubit

Theodoros Kapourniotis, Elham Kashefi+1 more|arXiv (Cornell University)|Mar 6, 2014

Quantum Computing Algorithms and Architecture参考文献 34被引用 5

一句话总结

本文提出首个针对单一纯量子比特模型（DQC1）的可验证委托量子计算协议，通过适配盲量子计算框架，使经典客户端能够将量子计算委托给量子服务器，同时确保计算的正确性与隐私性。核心贡献在于提出一种新型 DQC1-MBQC 模型及具有逆多项式安全误差的验证方案，该误差可通过量子纠错技术放大至指数级置信度。

ABSTRACT

While building a universal quantum computer remains challenging, devices of restricted power such as the so-called one pure qubit model have attracted considerable attention. An important step in the construction of these limited quantum computational devices is the understanding of whether the verification of the computation within these models could be also performed in the restricted scheme. Encoding via blindness (a cryptographic protocol for delegated computing) has proven successful for the verification of universal quantum computation with a restricted verifier. In this paper, we present the adaptation of this approach to the one pure qubit model, and present the first feasible scheme for the verification of delegated one pure qubit model of quantum computing.

研究动机与目标

• 在客户端量子能力受限的单一纯量子比特模型（DQC1）中实现对量子计算的验证。
• 将原本为通用量子计算设计的盲量子计算框架适配至 DQC1 环境。
• 定义一种与 DQC1 兼容的新型基于测量的量子计算（MBQC）模型，称为 DQC1-MBQC，以保持该模型的计算能力。
• 建立图态在 DQC1-MBQC 中可用的充分条件，以实现安全委托。
• 提供一种失败概率有界的验证协议，该协议可通过放大技术达到指数级置信度。

提出的方法

• 将 DQC1-MBQC 模型引入为与单一纯量子比特模型兼容的基于测量的量子计算框架，支持动态量子比特创建与测量。
• 基于逐步确定性与资源态结构，定义图态在 DQC1-MBQC 中可用的充分条件。
• 将通用盲量子计算协议适配至 DQC1-MBQC 模型，确保服务器无法获取任何关于计算内容的信息。
• 利用陷阱量子比特与测量基的随机性检测恶意行为，通过计数论证方法控制失败概率。
• 通过测量轮次的乘积形式推导错误输出概率的上界，并应用概率放大技术。
• 利用量子纠错码将安全参数从逆多项式级别放大至指数级置信度。

实验结果

研究问题

• RQ1 可验证盲量子计算框架能否被适配至单一纯量子比特模型（DQC1）？
• RQ2 图态需满足何种条件才能与 DQC1-MBQC 模型兼容？
• RQ3 所提出的验证方案是否能抵御服务器的所有类型恶意行为？
• RQ4 在 DQC1 环境下，能否高效地将逆多项式失败概率放大至指数级别？
• RQ5 能否使用较弱的确定性概念（如信息保持映射）来扩展 DQC1-MBQC 中可用资源态的类别？

主要发现

• 正式定义了 DQC1-MBQC 模型，并证明其包含原始的 BQ1P 复杂度类，从而保持了单一纯量子比特模型的计算能力。
• 基于测量依赖结构与可观测量的特性，建立了图态在 DQC1-MBQC 中可用的充分条件。
• 协议的失败概率被限制在 $ \epsilon < \frac{2m}{s} $ 以内，其中 $ m $ 为测量基的数量，$ s $ 为轮次数。
• 通过参考文献 [8] 中的协议，可利用量子纠错码将安全参数放大至指数级置信度。
• 该框架使经典客户端能够在确保正确性与隐私性的前提下，将量子计算委托给 DQC1 服务器。
• 研究结果为在近场量子设备（量子资源有限）中验证量子优势开辟了新途径。