[논문 리뷰] Computational model underlying the one-way quantum computer

Robert Raussendorf, Hans J. Briegel|ArXiv.org|2001. 08. 14.

Quantum Computing Algorithms and Architecture인용 수 5

한 줄 요약

이 논문은 한 방향 양자 컴퓨터를 위한 계산 모델을 제안하며, 이 모델이 임의의 양자 논리 네트워크를 잠재적으로 더 낮은 논리적 깊이로 시뮬레이션할 수 있음을 보여준다. 핵심적으로, 클리포드 군에 속하는 회로는 단일 시간 단계 내에서 실행될 수 있어, 표준 양자 회로 모델에서 가능한 것보다 지수적 수준의 병렬 처리가 가능해진다.

ABSTRACT

In this paper we present the computational model underlying the one-way quantum computer which we introduced recently [Phys. Rev. Lett. 86, 5188 (2001)]. The one-way quantum computer has the property that any quantum logic network can be simulated on it. Conversely, not all ways of quantum information processing that are possible with the one-way quantum computer can be understood properly in network model terms. We show that the logical depth is, for certain algorithms, lower than has so far been known for networks. For example, every quantum circuit in the Clifford group can be performed on the one-way quantum computer in a single step.

연구 동기 및 목표

• 표준 양자 회로 프레임워크를 초월하여 한 방향 양자 컴퓨터의 고유한 특징을 반영하는 공식적인 계산 모델을 수립하기 위해.
• 한 방향 양자 컴퓨터에서 알고리즘의 논리적 깊이를 정량적으로 분석하고 계산하는 방법을 규명하기 위해.
• 양자 회로를 한 방향 모델로 매핑하기 위한 고전적 사전 처리가 효율적이며, 다항 시간 내에 수행될 수 있음을 보여주기 위해.
• 특히 클리포드 군에 속하는 일부 양자 회로가 한 방향 모델에서는 최적의 병렬 처리(논리적 깊이 D=1)를 달성하는 반면, 회로 모델에서는 그렇지 못함을 보여주기 위해.

제안 방법

• 모델은 클러스터 상태를 보편적 자원으로 사용하며, 양자 계산은 전적으로 1 큐비트 측정에 의해 이뤄진다.
• 양자 회로에서의 게이트 순서는 클러스터 상태 상의 측정 기저와 각도의 공간적 패턴으로 표현된다.
• 측정에 의해 유도되는 얽힘 붕괴에도 불구하고 올바른 논리적 진화를 보장하기 위해, 비용함수 연산자는 게이트 순서에서 유도된 행렬을 사용해 계산된다.
• 전진 및 후진 원추체를 통해 큐비트 간의 인과적 의존성을 파악하고, 필요한 시간 순서를 유지하는 측정 집합 $ Q_t $ 를 구성한다.
• 전진 원추체에서 유도된 반자기 반순서 $ \prec $ 는 측정 순서를 정의하기 위해 사용되며, 명시적인 순서 계산을 피하기 위해 대체로 직접 계산 방법이 제공된다.
• 고전적 사전 처리 과정은 행렬 연산과 원추체 테스트를 통해 측정 기저, 각도, 비용함수 영상 등을 계산하며, 이 모든 과정은 다항 시간 복잡도 내에 제한된다.

실험 결과

연구 질문

• RQ1 한 방향 양자 컴퓨터에 적합한 계산 모델은 무엇이며, 이는 네트워크 외적 특징을 어떻게 반영하는가?
• RQ2 한 방향 모델에서 양자 알고리즘의 논리적 깊이를 정량적으로 분석하는 방법은 무엇인가?
• RQ3 양자 회로를 한 방향 모델로 매핑하기 위한 고전적 사전 처리는 효율적으로 수행될 수 있는가?
• RQ4 표준 양자 회로 모델과 비교해 한 방향 모델에서 양자 회로는 어느 정도 병렬 처리될 수 있는가?
• RQ5 왜 한 방향 모델은 특정 회로(예: 클리포드 군)를 단일 시간 단계 내에서 실행할 수 있는가? 반면 회로 모델에서는 로그 깊이가 필요할까?

주요 결과

• 클리포드 군에 속하는 회로는 큐비트 수나 게이트 수에 관계없이 한 방향 양자 컴퓨터에서 단일 시간 단계 내에 실행될 수 있다(논리적 깊이 D=1).
• CNOT 게이트와 x- 또는 z-회전을 포함하는 회로는 변수 각도를 가질 수 있으며, 입력 크기와 무관하게 논리적 깊이 D=2로 병렬화될 수 있다.
• 양자 회로를 한 방향 모델로 매핑하기 위해 필요한 고전적 사전 처리 시간은 $ O(n^2(\|\mathcal{C}\| + \|\mathcal{N}\|)) $ 이며, 여기서 $ n $ 은 논리 큐비트 수, $ \|\mathcal{C}\| $ 는 물리적 큐비트 수, $ \|\mathcal{N}\| $ 은 게이트 수이다.
• 전진 원추체 계산과 반자기 반순서 $ \prec $ 의 계산은 측정 순서를 결정하기 위해 필수적이지만, 원추체 테스트와 직접적인 집합 구성 방법을 통해 효율적으로 계산될 수 있다.
• 각 큐비트에 대한 비용함수 영상은 큐비트당 $ O(n^2) $ 번의 연산으로 계산되며, 전체 고전적 처리 과정은 다항 시간 내에 유지된다.
• 한 방향 모델은 새로운 물리적 능력을 추가하지 않지만 계산의 흐름을 재구성하며, 고전적 제어 논리를 사전 처리 단계로 이전함으로써, 기존의 회로 모델에서 가능한 것보다 더 높은 수준의 병렬 처리를 가능하게 한다.