[논문 리뷰] A Simple Proof that Toffoli and Hadamard are Quantum Universal

Dorit Aharonov|ArXiv.org|2003. 01. 09.

Quantum Computing Algorithms and Architecture참고 문헌 18인용 수 127

한 줄 요약

이 논문은 Toffoli 및 Hadamard 게이트가 양자 계산에 대해 계산적으로 보편적인 집합을 이룬다는 간결한 증명을 제공한다. Kitaev의 보편 게이트 집합을 활용하고, 복소수 행렬 표현을 사용하여 제어된-위상 게이트 $\Lambda(P(i))$가 실수 행렬 표현을 통해 Toffoli 및 Hadamard 게이트만으로 시뮬레이션 가능하다는 것을 보여줌으로써, 저자들은 임의의 양자 회로가 다항로그적 오버헤드만으로 근사 가능하다는 것을 입증하며, $\{T,H\}$의 보편성을 확인한다.

ABSTRACT

Recently Shi proved that Toffoli and Hadamard are universal for quantum computation. This is perhaps the simplest universal set of gates that one can hope for, conceptually; It shows that one only needs to add the Hadamard gate to make a 'classical' set of gates quantum universal. In this note we give a few lines proof of this fact relying on Kitaev's universal set of gates, and discuss the meaning of the result.

연구 동기 및 목표

• 양자 계산에서 Toffoli 및 Hadamard 게이트 집합 $\{T,H\}$의 계산 보편성을 입증하는 것.
• 특히 Kitaev의 $\{\Lambda(P(i)), H\}$를 기반으로 한 알려진 보편 집합으로의 환원을 통해 간단하고 초보자 수준의 증명을 제공하는 것.
• Hadamard 게이트가 고전적 역행성 계산을 양자 보편성으로 끌어올리기 위해 필요한 최소한의 추가 자원임을 개념적으로 명확히 하는 것.
• 이 집합이 실수 행렬로만 구성되어 있음에도 불구하고, 소량의 제어 가능한 오버헤드로 보편 양자 계산을 수행할 수 있음을 보여주는 것.

제안 방법

• 보편성의 기준점으로 Kitaev의 엄밀히 보편적인 게이트 집합 $\{\Lambda(P(i)), H\}$를 사용하는 것.
• 보조 큐비트를 사용하여 복소수 게이트를 실수 게이트로 변환하기 위해 실수 행렬 표현 기법을 적용하는 것.
• 항등식 $XZ = XHXH$를 사용하여 $\widetilde{\Lambda(P(i))} = T(1,2,3)H(3)T(1,2,3)H(3)$로 명시적으로 구성하는 것.
• 원래 회로의 게이트 수 $t$에 대해 최대 $4t$개의 게이트와 한 개의 추가 큐비트를 사용하여 $\{T,H\}$를 통해 임의의 양자 회로를 시뮬레이션하는 것.
• 소로바이-키타에프 정리를 사용하여 오버헤드가 원하는 정밀도 $\epsilon$에 대해 다항로그적임을 정당화하는 것.
• 보편성의 실용적 기준으로서 보조 큐비트 상태와 다항로그적 오버헤드를 허용하는 개념적 접근을 채택하는 것.

실험 결과

연구 질문

• RQ1 Toffoli 및 Hadamard 게이트 집합 $\{T,H\}$는 큐비트 수, 게이트 수, 역정밀도에 대해 다항로그적 오버헤드만으로 임의의 양자 계산을 소모적인 방법으로 시뮬레이션할 수 있는가?
• RQ2 Hadamard 게이트의 추가가 고전적 역행성 계산(Toffoli를 통해)을 완전한 양자 보편성으로 끌어올리기에 충분한가?
• RQ3 Kitaev의 집합과 같이 알려진 보편 집합으로의 환원을 통해 $\{T,H\}$의 보편성이 어떻게 증명될 수 있는가?
• RQ4 게이트 집합이 실수 행렬로만 구성되어 있을 때 실수 행렬 표현의 역할은 무엇인가?
• RQ5 실수 행렬 시뮬레이션을 위해 보조 큐비트를 사용하는 것이 $\{T,H\}$의 고장내성 양자 계산에서의 사용을 방해하는가?

주요 결과

• 집합 $\{T,H\}$는 계산적으로 보편적이며, 큐비트 수, 게이트 수, 역정밀도에 대해 다항로그적 오버헤드만으로 엄밀히 보편적인 집합에서 임의의 양자 회로를 시뮬레이션할 수 있다.
• 제어된-위상 게이트 $\Lambda(P(i))$는 항등식 $XZ = XHXH$를 통해 정확히 네 개의 Toffoli 및 Hadamard 게이트로 시뮬레이션 가능하며, 이는 Kitaev의 보편 집합으로의 환원을 가능하게 한다.
• 시뮬레이션은 오직 한 개의 추가 보조 큐비트와 최대 $4t$개의 게이트만을 요구하며, Kitaev 집합의 $t$개 게이트로 구성된 회로를 시뮬레이션하는 데 있어 효율적인 컴파일링을 보장한다.
• 실수 행렬로만 구성되어 있음에도 불구하고 $\{T,H\}$는 보조 큐비트가 복소수 유니터리 진동을 표현할 수 있도록 하여 보편 양자 계산을 수행하는 데에 충분하다.
• 결과적으로 Hadamard 게이트는 고전적 역행성 계산 위에 보편 양자 계산을 달성하기 위해 필요한 최소한의 양자 자원임을 확인한다.
• $\{T,H\}$는 고장내성 양자 계산에 여전히 적용 가능하며, 오류 수정 게이트(Hadamard 및 고전적 게이트)가 실수이기 때문에 보조 큐비트가 필요 없고, 병렬성을 유지한다.