[논문 리뷰] Classical simulation of quantum computation, the Gottesman-Knill theorem, and slightly beyond

M. Van den Nest|arXiv (Cornell University)|2008. 11. 06.

Quantum Computing Algorithms and Architecture인용 수 30

한 줄 요약

이 논문은 클리포드 회로의 고전적 시뮬레이션 방법을 제시하며, 어떤 클리포드 회로도 등가이자 명백하게 시뮬레이션 가능한 구조로 단순화하는 정규형을 사용한다. 약한 시뮬레이션은 고전적으로 효율적으로 가능하다는 것을 증명하는 반면, 강한 시뮬레이션은 #P-완전하다는 것을 보이며, 이는 양자 계산에서 약한 시뮬레이션과 강한 시뮬레이션 간의 근본적인 분리가 있음을 보여준다.

ABSTRACT

We study classical simulation of quantum computation, taking the Gottesman-Knill theorem as a starting point. We show how each Clifford circuit can be reduced to an equivalent, manifestly simulatable circuit (normal form). This provides a simple proof of the Gottesman-Knill theorem without resorting to stabilizer techniques. The normal form highlights why Clifford circuits have such limited computational power in spite of their high entangling power. At the same time, the normal form shows how the classical simulation of Clifford circuits fits into the standard way of embedding classical computation into the quantum circuit model. This leads to simple extensions of Clifford circuits which are classically simulatable. These circuits can be efficiently simulated by classical sampling ('weak simulation') even though the problem of exactly computing the outcomes of measurements for these circuits ('strong simulation') is proved to be #P-complete--thus showing that there is a separation between weak and strong classical simulation of quantum computation.

연구 동기 및 목표

• 스태이블라이저 형식에 의존하지 않고 고전적 증명을 통해 고테스만-크닐 정리를 단순하고 직접적으로 증명하는 것.
• 클리포드 회로가 높은 얽힘을 생성함에도 불구하고 양자 가속을 제공하지 않는 이유를 설명하는 것.
• 클리포드 회로의 고전적 시뮬레이션 방식이 고전 계산의 표준 임bedding 내에 어떻게 포함되는지 보여주는 것.
• 최소한의 비클리포드 게이트를 클리포드 회로에 추가하여 더 이상 효율적으로 시뮬레이션 가능한 양자 회로의 새로운 클래스를 만드는 것.
• 약한 시뮬레이션과 강한 시뮬레이션 간의 차이를 명확히 하여, 약한 시뮬레이션이 여전히 효율적인 반면 강한 시뮬레이션은 #P-완전하다는 것을 보여주는 것.

제안 방법

• 모든 클리포드 회로에 대해 정규형을 도입하여, 이를 고전적 시뮬레이션에 적합한 구조적으로 단순한 등가 형태로 축소한다.
• 이중수 Z₂ 위에서 이차 및 선형 위상 함수를 갖는 이진 벡터의 합으로 양자 상태를 표현한다.
• 해당 위상 함수와 선형 항을 적절히 변형함으로써 헤르마드, CNOT, 프레이즈 게이트에 대한 닫힘 성질을 증명하기 위해 대수 기법을 적용한다.
• 이중 변수의 합을 취하는 핵심 보조정리를 활용하여 의존성을 제거하고, 게이트 적용 후에도 상태 형태를 유지한다.
• 정규형이 모든 클리포드 게이트에 대해 상태 구조를 유지함을 보여주어 고전적 효율적 시뮬레이션을 가능하게 한다.
• 정규형을 활용하여 약한 시뮬레이션(샘플링)은 효율적임을, 반면 강한 시뮬레이션(확률 계산)은 #P-완전함을 증명한다.

실험 결과

연구 질문

• RQ1 고테스만-크닐 정리는 스테이블라이저 형식을 사용하지 않고도 증명될 수 있는가?
• RQ2 클리포드 회로가 높은 얽힘을 생성함에도 불구하고 양자 가속을 제공하지 않는 이유는 무엇인가?
• RQ3 클리포드 회로의 고전적 시뮬레이션 방식은 고전 계산의 표준 모델 내에 어떻게 통합될 수 있는가?
• RQ4 약한 시뮬레이션과 강한 시뮬레이션을 구분할 경우, 시뮬레이션의 복잡도는 어떻게 변화하는가?
• RQ5 최소한의 비클리포드 게이트를 클리포드 회로에 추가하여 새로운 효율적 시뮬레이션 가능한 양자 회로 클래스를 만들 수 있는가?

주요 결과

• 모든 클리포드 회로는 명백하게 고전적으로 시뮬레이션 가능한 정규형으로 변환 가능하며, 이는 고테스만-크닐 정리에 대한 새로운이고 기본적인 증명을 제공한다.
• 정규형은 클리포드 회로의 계산 능력이 ⊕L 복잡도 계열에 국한되어 있음을 드러내며, 이는 높은 얽힘에도 불구하고 양자 우월성이 없음을 설명한다.
• 확장된 클리포드 회로의 약한 고전적 시뮬레이션은 간단한 샘플링 기법을 사용하여 효율적으로 가능하다.
• 동일한 회로의 강한 고전적 시뮬레이션은 #P-완전함이 증명되었으며, 이는 약한 시뮬레이션과 강한 시뮬레이션 간의 стрict한 분리를 보여준다.
• 정규형은 클리포드 회로의 고전적 시뮬레이션 방식이 오직 NOT 및 CNOT 게이트만을 사용하는 고전 계산과 정확히 일치함을 보여주며, 그 능력을 ⊕L에 위치시킨다.
• 클리포드 회로에 어떤 비클리포드 게이트라도 추가하면 유니버설 양자 계산이 가능해지며, 이는 고전적 계산 능력에서 양자 계산 능력으로의 날카로운 전이를 나타낸다.