[论文解读] Twisted graph states for ancilla-driven quantum computation

Elham Kashefi, Daniel K. L. Oi+3 more|arXiv (Cornell University)|May 20, 2009

Quantum Computing Algorithms and Architecture参考文献 42被引用 4

一句话总结

本文提出了一种新型量子计算模型——辅助量子计算（ADQC），该模型通过记忆寄存器与辅助量子比特之间固定的两比特相互作用，利用测量引起的反作用实现通用量子操作。其核心贡献在于识别出两类非局域相互作用，可实现确定性的幺正演化，从而引入一种新型纠缠资源——扭曲图态（twisted graph states），并基于因果流框架对确定性进行形式化，同时实现与测量模型（MBQC）和电路模型的组合式嵌入。

ABSTRACT

We introduce a new paradigm for quantum computing called Ancilla-Driven Quantum Computation (ADQC) combines aspects of the quantum circuit and the one-way model to overcome challenging issues in building large-scale quantum computers. Instead of directly manipulating each qubit to perform universal quantum logic gates or measurements, ADQC uses a fixed two-qubit interaction to couple the memory register of a quantum computer to an ancilla qubit. By measuring the ancilla, the measurement-induced back-action on the system performs the desired logical operations. By demanding that the ancilla-system qubit interaction should lead to unitary and stepwise deterministic evolution, and that it should be possible to standardise the computation, that is, applying all global operations at the beginning, we are able to place conditions on the interactions that can be used for ADQC. We prove there are only two such classes of interactions characterised in terms of the non-local part of the interaction operator. This leads to the definition of a new entanglement resource called twisted graph states generated from non-commuting operators. The ADQC model is formalised in an algebraic framework similar to the Measurement Calculus. Furthermore, we present the notion of causal flow for twisted graph states, based on the stabiliser formalism, to characterise the determinism. Finally we demonstrate compositional embedding between ADQC and both the one-way and circuit models which will allow us to transfer recently developed theory and toolkits of measurement-based quantum computing directly into ADQC.

研究动机与目标

• 为应对大规模量子计算机中退相干与控制复杂性挑战，提出一种新型计算范式。
• 克服基于量子门（GBQC）模型对动态、任意操作的需求，以及测量模型（MBQC）对预先制备高度纠缠态的依赖。
• 形式化一种仅需记忆量子比特与辅助量子比特之间单一固定两比特幺正相互作用的模型，简化物理实现。
• 识别ADQC中实现确定性、幺正演化所必需的两量子比特相互作用条件，进而对可行相互作用类别进行分类。
• 引入扭曲图态作为ADQC的新纠缠资源，将标准图态推广至非对易算符情形。

提出的方法

• 将ADQC提出为结合GBQC与MBQC特性的混合模型，其中计算通过耦合于固定两比特幺正门的辅助量子比特的测量来驱动。
• 采用类似于测量演算的代数框架对ADQC进行形式化，支持对量子操作的系统性推理。
• 将扭曲图态定义为由非对易两量子比特相互作用生成的纠缠资源，推广标准图态。
• 基于稳定子形式化，为扭曲图态引入因果流条件，以保证ADQC中的确定性计算。
• 建立ADQC与单向（MBQC）模型及量子电路模型之间的保深度、组合式嵌入，实现现有工具包的迁移。
• 证明仅两类非局域相互作用算符——其特征为非对易结构——可在ADQC中实现确定性、幺正演化。

实验结果

研究问题

• RQ1 记忆量子比特与辅助量子比特之间的哪些两量子比特相互作用可实现ADQC中的确定性、幺正演化？
• RQ2 如何仅通过固定两量子比特相互作用与辅助量子比特测量，构建一个通用量子计算模型？
• RQ3 何种新型多体纠缠态可推广图态以支持具有非对易相互作用的通用ADQC？
• RQ4 能否为扭曲图态定义因果流条件，以确保ADQC中的确定性，类似于MBQC中的情形？
• RQ5 现有MBQC与电路模型的工具包在多大程度上可通过保深度嵌入方式组合至ADQC？

主要发现

• 仅两类非局域相互作用算符——其特征为非对易结构——可在ADQC中实现确定性、幺正演化，从而限制了可用相互作用的集合。
• 引入扭曲图态作为ADQC的新纠缠资源，将标准图态推广至非对易两量子比特相互作用情形。
• 基于稳定子形式化，为扭曲图态定义了因果流条件，确保ADQC中的确定性计算。
• 展示了ADQC与MBQC及量子电路模型之间的组合式嵌入，支持已有工具包与理论的迁移。
• 该模型实现了记忆、相互作用与测量区域的物理分离，降低了退相干与控制复杂性，适用于离子阱、中性原子及硅中施主自旋等系统。
• ADQC模型支持优化的量子比特选择：使用长相干时间的记忆量子比特，以及高度可移动、易于制备与测量的辅助量子比特，从而提升容错性与可扩展性。