[논문 리뷰] Embedding classical into quantum computation

Richard Jozsa|ArXiv.org|2008. 12. 24.

Quantum Computing Algorithms and Architecture참고 문헌 3인용 수 6

한 줄 요약

이 논문은 고전적으로 효율적으로 시뮬레이션 가능한 양자 회로를 식별하기 위한 형식적 프레임워크를 제안하며, 고테스만-크닐 정리에 따른 클리포드 회로와 발리언트 정리에 따른 매치게이트 회로가 특수한 경우임을 보여준다. 주요 기여는 최소한의 확장(예: 비근접 이웃 게이트 허용, 행렬식 제약 조건 제거)이 보편 양자 계산 능력을 복원함으로써, 양자 우월성의 근본 원인은 양자 얽힘만이 아니라는 통찰을 제공하는 통합적 시각을 제공한다.

ABSTRACT

We describe a simple formalism for generating classes of quantum circuits that are classically efficiently simulatable and show that the efficient simulation of Clifford circuits (Gottesman-Knill theorem) and of matchgate circuits (Valiant's theorem) appear as two special cases. Viewing these simulatable classes as subsets of the space of all quantum computations, we may consider minimal extensions that suffice to regain full quantum computational power, which provides an approach to exploring the efficacy of quantum over classical computation.

연구 동기 및 목표

• 고전적으로 효율적으로 시뮬레이션 가능한 양자 회로 가족을 식별하기 위한 일반적 형식론을 개발하는 것.
• 고테스만-크닐 정리와 발리언트 정리를 동일한 구조적 프레임워크 아래 통합하는 것.
• 시뮬레이션 가능한 클래스를 초월해 보편 양자 계산 능력을 복원하는 최소한의 양자 자원 확장을 조사하는 것.
• 파울리 군과 클리포드 대수학 등의 대수적 구조가 고전적 시뮬레이션을 가능하게 하는 이유를 탐구하는 것.
• 특정 고전적으로 시뮬레이션 가능한 기초 구조에 비해 양자 계산 능력의 '핵심'을 규명하는 것.

제안 방법

• S_n이라고 하는 양자 회로의 집합과 그에 관련된 정규화군 K_n을 정의하여, K_n이 S_n의 구조를 켤레 작용에 대해 보존하도록 하는 것.
• 클리포드 회로의 안정자 형식을 사용하여, 클리포드 게이트에 의한 켤레 작용이 파울리 연산자의 곱 구조를 보존함을 보이는 것.
• 매치게이트 회로에 조르당-위너 표현을 적용하여, 근접 이웃 매치게이트가 클리포드 대수의 선형 부분의 정규화자로 작용함을 보이는 것.
• 회로의 진화가 켤레 작용 하에서 다항적으로 유계인 부분공간 내에 머무를 경우 고전적 시뮬레이션이 효율적임을 보이는 것.
• 게이트 범위의 확장을(예: 근접 이웃에서 임의의 거리로) 시뮬레이션 가능성과 계산 능력에 미치는 영향을 분석하는 것.
• 복잡도 이론적 추론을 사용하여, 매치게이트의 게이트 범위를 근접 이웃을 초월해 확장할 경우 고전적 복잡도 계열(P = NP = PP)이 붕괴함을 보이며, 이는 초고전적 능력을 의미함을 보이는 것.

실험 결과

연구 질문

• RQ1 어떤 구조적 조건이 양자 회로의 고전적 효율적 시뮬레이션 가능성을 보장하는가?
• RQ2 고테스만-크닐 정리와 발리언트 정리를 어떻게 동일한 형식적 프레임워크 아래 통합할 수 있는가?
• RQ3 고전적으로 시뮬레이션 가능한 회로 가족에 어떤 최소한의 양자 자원을 추가하면 보편 양자 계산 능력이 복원되는가?
• RQ4 왜 일부 대수적 구조(예: 파울리 군 또는 클리포드 대수학)는 양자 진화가 있음에도 불구하고 고전적 시뮬레이션을 가능하게 하는가?
• RQ5 고전적 시뮬레이션 가능성은 유니타리 켤레 작용 하에서 다항적으로 유계인 부분공간의 보존과 관련이 있는가?

주요 결과

• 고테스만-크닐 정리와 발리언트 정리는, 고전적 시뮬레이션 가능성의 근본 원인이 구조 S_n에 대한 게이트 집합의 정규화 성질임을 보여주는 형식적 프레임워크 아래 통합된다.
• 유니타리 켤레 작용 하에서 양자 상태의 진화가 다항적으로 유계인 부분공간 내에 머무를 경우 고전적 시뮬레이션이 가능하며, 이는 파울리 군이나 클리포드 대수의 선형 부분과 같은 구조에서 발생한다.
• 비근접 이웃 스위프 게이트 허용 또는 매치게이트에서 행렬식 조건을 완화하는 등의 최소한의 확장이 보편 양자 계산 능력을 복원한다.
• 고립된 단일 스위프 게이트(거의 매치게이트에 가까운)의 포함만으로도 보편성이 복원되므로, 이러한 게이트가 최소한의 양자 자원임을 시사한다.
• 근접 이웃 매치게이트의 범위를 제2근접 이웃으로 확장할 경우 P = NP = PP가 성립하게 되며, 이는 이러한 확장이 진정으로 양자 계산 능력을 도입한다는 것을 의미한다.
• 기하급수적으로 큰 대수적 구조(예: 파울리 군, 클리포드 대수학)를 갖는 고전적으로 시뮬레이션 가능한 양자 회로가 존재하나, 이러한 구조가 켤레 작용 하에서도 다루기 쉬운 것은 깊이 있는 구조적 단순화를 드러낸다.