[论文解读] Fault-tolerant verifiable blind quantum computing with logical state remote preparation

Yuki Takeuchi, Keisuke Fujii+2 more|arXiv (Cornell University)|Jul 6, 2016

Quantum Computing Algorithms and Architecture被引用 5

一句话总结

该论文提出了一种容错可验证的盲量子计算协议，使仅具备单量子比特测量能力的客户端能够通过逻辑态远程准备，在服务器的寄存器中远程制备逻辑贝尔态。通过将单量子比特态编码在CSS码中，并利用基于测量的量子计算，该协议即使在信道噪声和操作不完美条件下，也能确保隐私性、可验证性和容错性，对偏差的检测安全阈值达到$(2/3)^d$。

ABSTRACT

Verifiable blind quantum computing allows a client with poor quantum devices to delegate universal quantum computing to a remote quantum server in such a way that the client's privacy is protected and the honesty of the server is verified. In existing protocols, the client has to send single-qubit states to the server. These states might be decohered by the channel noise. Furthermore, the client hides some "trap" qubits in the server's register so that the client can detect the server's deviation. In reality, however, these trap qubits are disturbed by imperfect operations by the server, which reduces the probability that the client accepts the honest server. To solve these problems, we propose a new gadget that allows the client to remotely prepare encoded logical single-qubit states in the server's place. Importantly, in our fault-tolerant verifiable blind quantum computing protocol, the client needs only the ability of physical single-qubit measurements in $X$ and $Z$ bases.

研究动机与目标

• 为解决现有可验证盲量子计算（VBQC）协议缺乏容错性且单量子比特态在传输过程中易发生退相干的问题。
• 克服标准VBQC中夹心量子比特对噪声和操作不完美的脆弱性，从而降低客户端验证服务器诚实性的能力。
• 使仅具备基本量子能力（仅限于X和Z基单量子比特测量）的客户端能够远程准备服务器寄存器中的逻辑单量子比特态，且不泄露所制备态的身份。
• 通过在CSS码中编码态，构建一种容错VBQC协议，实现在真实噪声和操作不完美条件下的信息论安全性与可验证性。
• 通过利用逻辑态远程准备和结构化的夹心量子比特分发策略，确保即使服务器执行偏差行为，协议依然安全。

提出的方法

• 该协议采用一种基于逻辑态远程准备的新颖装置，其中服务器制备逻辑贝尔对并将其一半发送给客户端，使客户端能够远程在服务器寄存器中准备编码的逻辑态。
• 客户端仅通过在X和Z基上进行物理单量子比特测量，即可制备逻辑$X$-和$Z$-基态，利用CSS码的可递推性来保持逻辑操作的保真度。
• 编码了十个逻辑态：$\{|0_L\rangle, |1_L\rangle\} \cup \{(|0_L\rangle + e^{ik\pi/4}|1_L\rangle)/\sqrt{2} \mid 0 \leq k \leq 7\}$，作为基于测量的量子计算的资源。
• 通过在逻辑块中分发夹心量子比特，将这些逻辑态整合进FK验证框架，确保服务器的偏差行为可被检测。
• 通过概率分析建模错误接受概率$p_{\text{incorrect}}$，其上界为$p_n (1 - N_T/N)^d$，其中$N_T = N/3$，从而得出$p'_{\text{incorrect}} \leq (2/3)^d$。
• 安全阈值通过将量子比特划分为三元组（一个夹心，两个非夹心）获得，夹心位置随机化以防止泄露夹心位置信息。

实验结果

研究问题

• RQ1 仅具备单量子比特测量能力的客户端能否在对抗信道噪声的情况下安全地委托通用量子计算，并实现容错性？
• RQ2 如何利用逻辑态远程准备技术，在不泄露其身份的前提下，将单量子比特逻辑态编码并远程制备在服务器寄存器中？
• RQ3 在标准VBQC中，夹心量子比特的不完美操作会产生何种影响？如何通过逻辑编码恢复容错性？
• RQ4 将夹心量子比特分布在逻辑块中，如何影响恶意服务器的偏差检测概率？
• RQ5 通过结合逻辑编码与远程态制备，能否在真实噪声条件下提升VBQC的安全阈值？

主要发现

• 所提出的协议通过在CSS码中编码单量子比特态，实现了容错性，保护了态在传输过程中的退相干，降低了对噪声的敏感性。
• 客户端的量子需求被最小化为仅需在X和Z基上进行单量子比特测量，使其实现接近经典客户端的盲量子计算模型。
• 通过在逻辑态中嵌入夹心量子比特，协议确保了可验证性，客户端可检测偏差，其概率被限制在$(2/3)^d$以内，其中$d$为码的距离。
• 通过随机化夹心放置和逻辑编码，错误接受概率降低至$p'_{\text{incorrect}} \leq (2/3)^d$，显著增强了对服务器偏差的鲁棒性。
• 协议保持了信息论安全性与盲性，确保服务器无法获知客户端的输入、算法或输出。
• 安全阈值$(2/3)^d$源于对夹心分布和测量结果的概率分析，证明了即使在操作不完美条件下，协议依然安全。