[논문 리뷰] Commuting quantum circuits: efficient classical simulations versus hardness results

Xiaotong Ni, Maarten Van den Nest|arXiv (Cornell University)|2012. 04. 20.

Quantum Computing Algorithms and Architecture참고 문헌 20인용 수 11

한 줄 요약

이 논문은 전이하는 게이트로 구성된 양자 회로의 고전적 시뮬레이션 가능성을 조사하며, 2-로컬 전이 회로는 높은 정확도로 고전적으로 효율적으로 시뮬레이션 가능하지만, 3-로컬 회로는 고전적으로 어렵다는 것을 보여준다. 또한 지수형 파울리 연산자의 회로와 특정 비교항 과정도 전이 회로를 통해 효율적으로 시뮬레이션 가능하다는 것을 보이며, 고전적 계산을 넘어서는 풍부한 계산 구조를 드러낸다.

ABSTRACT

The study of quantum circuits composed of commuting gates is particularly useful to understand the delicate boundary between quantum and classical computation. Indeed, while being a restricted class, commuting circuits exhibit genuine quantum effects such as entanglement. In this paper we show that the computational power of commuting circuits exhibits a surprisingly rich structure. First we show that every 2-local commuting circuit acting on d-level systems and followed by single-qudit measurements can be efficiently simulated classically with high accuracy. In contrast, we prove that such strong simulations are hard for 3-local circuits. Using sampling methods we further show that all commuting circuits composed of exponentiated Pauli operators e^{iθP} can be simulated efficiently classically when followed by single-qubit measurements. Finally, we show that commuting circuits can efficiently simulate certain non-commutative processes, related in particular to constant-depth quantum circuits. This gives evidence that the power of commuting circuits goes beyond classical computation.

연구 동기 및 목표

• 전이 양자 회로의 계산 능력을 분석함으로써 고전적 계산과 양자 계산의 경계를 이해하기 위해.
• 전이 양자 회로가 고전적 컴퓨터에 의해 효율적으로 시뮬레이션 가능한 조건을 규명하기 위해.
• 전이 회로가 비교항 양자 과정을 시뮬레이션할 수 있는지 조사하여 잠재적 양자 우위를 밝혀내기 위해.
• 로컬리티(2-로컬 대비 3-로컬)가 전이 회로의 고전적 시뮬레이션 가능성과 계산 난이도를 결정하는 데 미치는 역할을 명확히 하기 위해.

제안 방법

• 고정밀도로 2-로컬 전이 회로를 시뮬레이션하기 위해 텐서 네트워크 방법을 사용하여 행렬 원소를 분석한다.
• 샘플링 기법과 하다마드 테스트를 적용하여 다항 시간 고전 알고리즘을 통해 일정 깊이의 회로의 행렬 원소를 추정한다.
• 파울리 안정자 형식을 활용하여 지수형 파울리 연산자로 구성된 회로의 효율적 약한 시뮬레이션을 보여준다.
• 전이 게이트는 조건부로 동시에 대각화될 수 있음을 활용하여 회로의 구조를 분석한다. 이때 대각화 단위기구가 매우 얽힌 상태일지라도 성립한다.
• 체르노프-후프딩 한계를 적용하여 높은 성공 확률로 기대값을 다항 시간 내에 추정함을 보장한다.
• 결과를 일반화하여 일정 깊이의 회로와 클리포드 회로를 포함하는 행렬 원소를 국소성의 범위가 제한된 전이 회로를 통해 시뮬레이션할 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 d-레벨 시스템에 작용하는 2-로컬 전이 양자 회로는 고전적으로 효율적으로 시뮬레이션 가능한가?
• RQ2 큐비트에 대한 3-로컬 전이 회로의 강한 고전적 시뮬레이션은 고전적으로 가능할 수 있는가, 아니면 #P-난이도인가?
• RQ3 지수형 파울리 연산자로 구성된 회로는 약한 고전적 시뮬레이션으로 효율적으로 시뮬레이션 가능한가, 그리고 어떤 조건에서 가능한가?
• RQ4 전이 양자 회로는 경계 깊이의 회로와 같은 비교항 양자 과정을 시뮬레이션할 수 있는가?
• RQ5 로컬리티(2-로컬 대비 3-로컬)는 전이 회로의 고전적 시뮬레이션 가능성을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 모든 일관된 2-로컬 전이 회로 가족(다중 큐비트 측정을 포함)은 d의 크기에 관계없이 고전적으로 높은 정확도로 강한 시뮬레이션 가능하다.
• 큐비트에 대한 3-로컬 전이 회로의 강한 고전적 시뮬레이션은 #P-난이도이며, 이는 #P가 다항 시간 고전 알고리즘을 갖는다면 다항시간 계층이 붕괴됨을 의미한다.
• 지수형 파울리 연산자 e^{iθP}로 구성된 모든 일관된 전이 회로 가족과 단일 큐비트 측정을 포함하는 경우, 약한 의미에서 고전적으로 효율적으로 시뮬레이션 가능하다.
• 비교항성의 정도가 작더라도, 특정 비교항 양자 과정(특히 경계 깊이의 회로와 관련된 것들)은 순수하게 전이 양자 회로를 통해 효율적으로 시뮬레이션 가능하다.
• 일정 깊이의 회로 U에 대해 |⟨0|U|0⟩|² 형태의 행렬 원소는 k = 2^m + 1 인 Γ^k-회로를 사용하여 다항 시간 내에 추정 가능하다. 여기서 m은 회로의 깊이다.
• 일반화된 결과로, C가 일관된 클리포드 회로 가족일 경우 |⟨0|UC|0⟩|² 형태의 행렬 원소도 k = 2^m + 1 인 Γ^k-회로를 사용하여 효율적으로 추정 가능하다.