[논문 리뷰] Twisted graph states for ancilla-driven quantum computation

Elham Kashefi, Daniel K. L. Oi외 3명|arXiv (Cornell University)|2009. 05. 20.

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.

연구 동기 및 목표

• 대규모 양자 컴퓨터에서의 디코herence와 제어 복잡성 문제를 해결하기 위해 새로운 계산 철학을 제안하기 위해.
• 동적이고 임의의 연산이 필요한 게이트 기반 양자 계산(GBQC)의 한계와 사전에 생성된 고도로 얽힌 상태가 필요한 측정 기반 양자 계산(MBQC)의 한계를 극복하기 위해.
• 메모리 큐비트와 앤실라 큐비트 사이에 유일한 고정된 두 큐비트 유니터리 상호작용만 필요로 하는 모델을 형식화하여 물리적 실행을 단순화하기 위해.
• ADQC에서 결정론적이고 유니터리 진동을 가능하게 하는 두 큐비트 상호작용에 필요한 조건을 규명하고, 이를 바탕으로 유망한 상호작용 유형의 분류를 도출하기 위해.
• 비교적 얽히지 않은 연산자로 일반화된 표준 그래프 상태를 넘어서는 새로운 얽힘 자원으로서의 틀어진 그래프 상태를 제안하기 위해.

제안 방법

• ADQC를 GBQC와 MBQC의 특성을 융합한 하이브리드 모델로 제안하여, 메모리 큐비트와 연결된 앤실라 큐비트를 측정함으로써 계산이 진행되는 방식을 구현한다.
• 측정 미적분과 유사한 대수적 프레임워크를 사용하여 ADQC를 형식화함으로써 양자 연산에 대한 체계적인 추론을 가능하게 한다.
• 비교적 얽히지 않은 두 큐비트 상호작용에서 유도된 얽힘 자원으로서의 틀어진 그래프 상태를 정의하고, 표준 그래프 상태를 일반화한다.
• 결정론적 계산을 보장하기 위해 안정자 형식 기반의 틀어진 그래프 상태에 대한 인과적 플로우 조건을 도입한다.
• ADQC와 한 방향(MBQC) 및 회로 모델 간의 깊이 보존형 복합 통합을 확립하여 기존 툴킷의 이식 가능성을 보장한다.
• ADQC에서 결정론적이고 유니터리 진동을 가능하게 하는 두 가지 상호작용 유형만 존재하며, 이는 비가환성의 구조적 특성에 의해 특징지어진다.

실험 결과

연구 질문

• RQ1 메모리 큐비트와 앤실라 큐비트 사이의 어떤 두 큐비트 상호작용이 ADQC에서 결정론적이고 유니터리 진동을 가능하게 하는가?
• RQ2 고정된 두 큐비트 상호작용과 앤실라 큐비트 측정만을 사용하여 보편적인 양자 계산 모델을 어떻게 구성할 수 있는가?
• RQ3 비가환성 상호작용을 지원하는 보편적인 ADQC를 위해 표준 그래프 상태를 일반화하는 새로운 다중 입자 얽힘 상태 유형은 무엇인가?
• RQ4 MBQC에서의 것과 유사하게, 틀어진 그래프 상태에 대해 결정론성을 보장하기 위한 인과적 플로우 조건을 정의할 수 있는가?
• RQ5 기존의 MBQC 및 회로 모델 툴킷이 깊이 보존형 통합을 통해 ADQC로 얼마나 깊이 이식 가능한가?

주요 결과

• ADQC에서 결정론적이고 유니터리 진동을 가능하게 하는 두 가지 상호작용 유형만 존재하며, 이는 비가환성의 구조적 특성에 의해 특징지어진다. 이는 사용 가능한 상호작용의 집합을 제한한다.
• 틀어진 그래프 상태는 ADQC를 위한 새로운 얽힘 자원으로 도입되었으며, 비가환성 두 큐비트 상호작용로 일반화된 표준 그래프 상태를 넘어서는 것이다.
• 안정자 형식 기반의 인과적 플로우 조건을 틀어진 그래프 상태에 정의하여 ADQC에서 결정론적 계산을 보장한다.
• ADQC와 MBQC, 그리고 양자 회로 모델 간의 복합 통합이 입증되었으며, 이를 통해 기존의 툴킷과 이론의 이식이 가능하다.
• 이 모델은 메모리, 상호작용, 측정 영역를 물리적으로 분리함으로써 디코herence와 제어 복잡성을 줄이며, 이온 트랩, 중성 원자, 실리콘 내 도너 스핀 등의 시스템에서 잠재적인 구현 가능성을 지닌다.
• ADQC 모델은 최적화된 큐비트 선택을 지원한다: 장수명의 메모리 큐비트와 높은 이동성, 쉽게 준비/측정 가능한 앤실라 큐비트를 사용함으로써, 고뢰터런스와 확장성을 향상시킨다.