[论文解读] Counterfactual Concealed Telecomputation

Fakhar Zaman, Hyundong Shin+1 more|arXiv (Cornell University)|Dec 9, 2020

Quantum Computing Algorithms and Architecture被引用 5

一句话总结

本文提出了一种反事实隐蔽远程量子计算（CCT）协议，可在无需预先共享纠缠或物理粒子交换的情况下，实现远程、盲态且反事实的通用两比特受控单位操作。通过利用链式量子芝诺效应与反事实量子逻辑门，该协议在初始化为贝尔态时实现确定性操作，并且随着系统参数增大，中止率渐近趋近于零。

ABSTRACT

Distributed computing is a fastest growing field -- enabling virtual computing, parallel computing, and distributed storage. By exploiting the counterfactual techniques, we devise a distributed blind quantum computation protocol to perform a universal two-qubit controlled unitary operation for any input state without using preshared entanglement and without exchanging physical particles between remote parties. This distributed protocol allows Bob to counterfactully apply an arbitrary unitary operator to Alice's qubit in probabilistic fashion, without revealing the operator to her, using a control qubit -- called the counterfactual concealed telecomputation (CCT). It is shown that the protocol is valid for general input states and that single-qubit unitary teleportation is a special case of CCT. The quantum circuit for CCT can be implemented using the (chained) quantum Zeno gates and the protocol becomes deterministic with simplified circuit implementation if the initial composite state of Alice and Bob is a Bell-type state.

研究动机与目标

• 实现远程盲态量子计算，使得鲍勃在不获知操作算符或交换物理粒子的情况下对爱丽丝的量子比特施加一个单位操作。
• 消除非局域受控单位操作中对预先共享纠缠的需求，这是分布式量子计算中的关键原 primitive。
• 实现反事实操作，即无物理粒子通过信道，同时保持量子信息的完整性。
• 证明单量子比特单位操作的量子隐形传态是所提出的CCT协议的特例。
• 分析并最小化中止率（反事实性失败率），并证明其随系统参数增加而渐近消失。

提出的方法

• 该协议在鲍勃端使用一系列非局域受控翻转操作 {T, Q₁, Q₂} 和局部单位操作 {V₁(U), V₂}，其中 T 为反事实Toffoli门。
• 通过嵌套的马赫-曾德尔干涉仪实现链式量子芝诺（CQZ）效应，其中包含 M 个外层循环和 N 个内层循环，以实现无相互作用的态演化。
• 使用 H(V)-DCFO K,N 和 V-CQZ M,N 门对路径纠缠光子进行相干操控，避免吸收，从而确保反事实操作。
• 鲍勃使用 CNOT 门将其量子比特与辅助量子比特纠缠，随后在计算基下测量辅助量子比特，使系统坍缩至期望的输出态。
• 该协议依赖于量子芝诺动力学，以抑制向信道路径的跃迁，从而通过重复弱测量实现反事实控制。
• 对于贝尔态类型的输入态，通过利用贝尔态的对称性与结构，协议变为确定性，从而减少对概率后选择的依赖。

实验结果

研究问题

• RQ1 是否可以在不预先共享纠缠或交换物理粒子的情况下实现非局域受控单位操作？
• RQ2 是否可以以反事实方式实现盲态量子计算，使得操作者对客户端保持未知？
• RQ3 该协议的中止率是多少，能否使其随系统参数增加而渐近消失？
• RQ4 单量子比特单位操作的隐形传态是否为所提出的反事实隐蔽远程量子计算的特例？
• RQ5 是否可以通过选择特定初始态（如贝尔态）使协议变为确定性？

主要发现

• CCT 协议成功在远程量子比特上实现了通用两量子比特受控单位操作，无需交换物理粒子，也无需预先共享纠缠。
• 协议实现了反事实操作，其中止率 ζ 随干涉仪循环数 M、N、K 趋近于无穷大时趋于零。
• 对于贝尔态类型的输入态，协议变为确定性，输出态变换为 |ψ₆ₘ⟩ₐ₆ = γ(I|ψ⟩ₐ)⊗|0⟩₆ + δ(Uₘ|ψ⟩ₐ)⊗|1⟩₆。
• 成功实现反事实操作的概率分别为 λ₅（一般态）和 λ₇（贝尔态），且当 M,N,K→∞ 时，其渐近收敛至 1。
• 该协议推广了单量子比特单位操作的隐形传态，证明当控制量子比特处于特定叠加态时，其即为CCT协议的特例。
• H(V)-DCFO 与 V-CQZ 门的使用实现了通过量子芝诺动力学对量子态的相干、非破坏性控制，确保了高保真度的反事实演化。