[论文解读] Ancilla Driven Quantum Computation with arbitrary entangling strength

Kerem Halil Shah, Daniel K. L. Oi|arXiv (Cornell University)|Mar 8, 2013

Quantum Information and Cryptography参考文献 4被引用 6

一句话总结

该论文通过采用概率性重复-成功协议，将任意纠缠门（而不仅是特定的CZ或SWAP·CZ门）纳入Ancilla Driven Quantum Computation（ADQC）框架，实现了通用量子计算。通过放宽逐级确定性要求并引入迭代测量机制，该方法在保持保真度误差容限的对数级开销的同时，显著拓宽了可行的物理实现范围。

ABSTRACT

We extend the model of Ancilla Driven Quantum Computation (ADQC) by considering gates with arbitrary entangling power. By giving up stepwise determinism, universal QC can still be achieved through a variable length sequence of single qubit gates and probabilistic "repeat-until-success" entangling operations. This opens up a new range of possible physical implementations as well as shedding light on the sets of resources sufficient for universal QC.

研究动机与目标

• 将Ancilla Driven Quantum Computation（ADQC）推广至超越CZ或SWAP·CZ等特定纠缠门的限制。
• 利用任意纠缠相互作用实现通用量子计算，特别是针对耦合强度固定或不可调谐的系统。
• 通过引入概率性协议，降低对相互作用时间或强度精确控制的需求。
• 探索在ancilla驱动模型中控制复杂度、门保真度与资源开销之间的权衡。
• 证明单量子比特门保持确定性，而两量子比特门与态制备则为概率性，但仍可实现通用性。

提出的方法

• 该方法采用重复-成功策略：反复准备ancilla量子比特，通过固定纠缠相互作用$E_{AR}$与寄存器量子比特纠缠，并在特定基测量，从而在寄存器上诱导出Kraus算符。
• 协议采用带反馈的迭代测量：若ancilla测得$|0\rangle$，则过程继续；若测得$|1\rangle$，则过程停止，寄存器态被投影至目标态。
• 迭代次数$n$的计算公式为$n \geq \ln(\epsilon)/\ln(\cos(\theta/2))$，以确保最终态保真度在$\epsilon$以内。
• 该方法使用基本相互作用$E_{AR} = (H_A \otimes H_R)C\text{-}T$，并通过ancilla基酉校正施加局部修正，实现有效门操作。
• 该协议被设计为模拟投影测量，其步骤数相对于所需误差容限$\epsilon$具有对数级开销。
• 该方法可推广至$\Delta(\alpha, 0, 0)$类中的任意两量子比特门，且本文讨论了向$\Delta(\alpha_x, \alpha_y, 0)$类扩展的潜在可能性，以增强纠缠能力。

实验结果

研究问题

• RQ1 是否可在ADQC中使用任意纠缠门（而不仅是标准的CZ或SWAP·CZ门）实现通用量子计算？
• RQ2 当相互作用强度固定且不可调谐时，实现两量子比特门的最小资源开销是多少？
• RQ3 如何设计概率性协议，以在有界误差下实现高保真度门近似，并保持对数级开销？
• RQ4 反馈机制或自适应测量基选择能否提升重复-成功过程的效率？
• RQ5 纠缠门参数的何种几何条件可使随机ADQC框架中实现有效门合成？

主要发现

• 论文证明，通过放宽逐级确定性，可使用$\Delta(\alpha, 0, 0)$类中的任意纠缠门（而不仅是特定门）实现通用量子计算。
• 为实现目标保真度$\epsilon$所需迭代次数与$\epsilon$呈对数关系，具体为$n \geq \ln(\epsilon)/\ln(\cos(\theta/2))$，其中$\theta$为纠缠门的角度参数。
• 单量子比特门保持确定性，可通过标准ADQC协议实现；而两量子比特门与态制备为概率性，依赖重复-成功机制。
• 该方法降低了对相互作用时间或强度精确控制的需求，使固定耦合系统（如某些离子阱或自旋系统）得以实现。
• 该协议通过迭代测量实现了投影测量的确定性近似，且过程在有限步数内终止。
• 该框架为物理实现开辟了新途径，尤其适用于纠缠相互作用固定或难以调谐的系统，如NV中心、量子点或光子系统。