[논문 리뷰] Parallel Quantum Computation and Quantum Codes

Cristopher Moore, Martin Nilsson|arXiv (Cornell University)|1998. 08. 17.

Quantum Computing Algorithms and Architecture참고 문헌 1인용 수 12

한 줄 요약

이 논문은 고전적 병렬 계산 클래스 NC의 양자 버전인 QNC를 도입하고, 양자 오류 수정 코드에서 흔히 사용되는 제어-노트 게이트, 제어-위상 이동, 하다마드 게이트로 구성된 회로가 로그 깊이로 병렬화될 수 있음을 보여준다. 또한 양자 푸리에 변환은 선형 깊이로 병렬화될 수 있지만, 단순한 '계단형' 회로는 선형 깊이 이하로 줄일 수 없을 것으로 추측되며, 이는 QNC와 QP 사이의 분리 가능성에 대한 시사를 제공한다.

ABSTRACT

We propose a definition of QNC, the quantum analog of the efficient parallel class NC. We exhibit several useful gadgets and prove that various classes of circuits can be parallelized to logarithmic depth, including circuits for encoding and decoding standard quantum error-correcting codes, or more generally any circuit consisting of controlled-not gates, controlled pi-shifts, and Hadamard gates. Finally, while we note the Quantum Fourier Transform can be parallelized to linear depth, we conjecture that an even simpler `staircase' circuit cannot be parallelized to less than linear depth, and might be used to prove that QNC < QP.

연구 동기 및 목표

• 고전적 병렬 복잡도 클래스 NC의 양자 버전인 QNC를 정의하기 위해.
• 어떤 양자 회로가 다항로그 깊이로 효율적으로 병렬화될 수 있는지 조사하기 위해.
• 표준 양자 오류 수정 코드와 기본 양자 알고리즘의 병렬화 가능성 분석하기 위해.
• 병렬화되지 않는 회로를 식별하여 QNC와 QP 사이의 분리 가능성 탐색하기 위해.
• 효율적 병렬 양자 계산의 한계를 이해하는 데 기여하는 프레임워크 제공하기 위해.

제안 방법

• 다항로그 깊이와 다항 크기를 갖는 회로에 중점을 두고, 고전적 NC 클래스의 양자 대응체인 QNC를 제안한다.
• 특히 제어-노트, 제어-π-이동, 하다마드 게이트와 같은 특정 양자 회로 기반 요소를 도입하고 분석하여 효율적 병렬화를 가능하게 한다.
• 표준 양자 오류 수정 코드의 인코딩 및 디코딩을 위한 회로가 O(log n) 깊이로 병렬화될 수 있음을 보여준다.
• 양자 푸리에 변환을 분석하고 선형 깊이로 병렬화될 수 있음을 보이며, 이를 '계단형' 회로와 대조한다.
• 회로 깊이 분석과 구조적 성질을 활용하여 '계단형' 회로가 선형 깊이 이하로 병렬화되지 않을 수 있음을 주장한다.
• 회로 변환 기법을 활용하여 QNC 조건 하에서 특정 보편 게이트 세트가 효율적으로 병렬화될 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 표준 양자 오류 수정 코드를 구현하는 양자 회로는 로그 깊이로 병렬화될 수 있는가?
• RQ2 병렬 양자 회로 모델에서 양자 푸리에 변환을 구현하기 위해 필요한 최소 깊이는 얼마인가?
• RQ3 선형 깊이 이하로 병렬화될 수 없는 양자 회로가 존재하는가? 이는 QNC와 QP 사이의 분리 가능성에 대한 시사가 된다.
• RQ4 제어-노트, 제어-π-이동, 하다마드 게이트는 양자 회로의 병렬화 가능성에 어떻게 기여하는가?
• RQ5 양자 회로의 어떤 구조적 성질이 QNC 조건 하에서 효율적 병렬화에 적합한지를 결정하는가?

주요 결과

• 제어-노트, 제어-π-이동, 하다마드 게이트로 구성된 양자 회로는 로그 깊이로 병렬화될 수 있으며, 이는 QNC 프레임워크 내에서의 효율성을 입증한다.
• 양자 푸리에 변환은 선형 깊이로도 실행 가능하므로, QNC 모델 하에서 효율적으로 병렬화될 수 있음을 나타낸다.
• '계단형' 회로는 선형 깊이 이상이어야 할 것으로 추측되며, 이는 QNC에 속하지 않을 수 있음을 시사한다.
• 이러한 회로의 존재는 QNC가 QP에 엄격히 포함된다는 것을 증명하기 위한 잠재적 후보를 제공한다.
• 결과는 많은 표준 양자 알고리즘과 오류 수정 절차에 대해 효율적 병렬 양자 계산의 가능성을 뒷받침한다.