[논문 리뷰] On the simulation of quantum circuits

Richard Jozsa|ArXiv.org|2006. 03. 19.

Quantum Computing Algorithms and Architecture참고 문헌 9인용 수 49

한 줄 요약

이 논문은 '게이트 크로싱 딥스(D)'가 일정한 양자 회로가 n·poly(2^D) 시간 내에 고전적으로 시뮬레이션될 수 있음을 단순하고 직접적인 증명으로 제시한다. 여기서 D는 각 큐비트 라인을 가로지르는 두 큐비트 게이트의 최대 수로 정의된다. 방법은 행렬 곱 상태(MPS)와 텐서 네트워크 수축을 사용하며, D = O(log n)이면 시뮬레이션이 효율적임을 보인다. 이 결과는 이전에 제한된 회로에 국한된 연구를 일반적인 다항 크기, 다항 깊이의 양자 회로로 확장하며, 임의의 두 큐비트 게이트 범위를 허용한다.

ABSTRACT

We consider recent works on the simulation of quantum circuits using the formalism of matrix product states and the formalism of contracting tensor networks. We provide simplified direct proofs of many of these results, extending an explicit class of efficiently simulable circuits (log depth circuits with 2-qubit gates of limited range) to the following: let C be any poly sized quantum circuit (generally of poly depth too) on n qubits comprising 1- and 2- qubit gates and 1-qubit measurements (with 2-qubit gates acting on arbitrary pairs of qubit lines). For each qubit line j let D_j be the number of 2-qubit gates that touch or cross the line j i.e. the number of 2-qubit gates that are applied to qubits i,k with i \leq j \leq k. Let D=max_j D_j. Then the quantum process can be classically simulated in time n poly(2^D). Thus if D=O(log n) then C may be efficiently classically simulated.

연구 동기 및 목표

• 행렬 곱 상태와 텐서 네트워크 수축을 사용하여 양자 회로의 고전적 시뮬레이터 가능성 결과에 대해 더 단순하고 직접적인 증명을 제공한다.
• 이전의 제한된 게이트 범위나 로그 깊이 제약을 초월하여 효율적으로 시뮬레이션 가능한 양자 회로의 범위를 확장한다.
• 임의의 다항 크기의 양자 회로가 게이트 크로싱 딥스 D를 가진다면, 시간 n·poly(2^D) 내에 고전적으로 시뮬레이션 가능하며, D = O(log n)일 경우 효율적임을 보인다.
• 적응형 측정을 포함한 회로에 대해서도 이 방법이 적용되며, 동일한 D 조건 하에 다항 시간 내에 시뮬레이션 가능함을 보여준다.

제안 방법

• 연속된 단일 큐비트 게이트를 통합하고, 동일한 큐비트 라인에 연속된 두 큐비트 게이트를 병합함으로써 양자 회로의 축소형을 정의한다.
• 각 큐비트 라인 i에 대해 게이트 크로싱 딥스 D_i를 정의한다. 여기서 D_i는 j ≤ i ≤ k를 만족하는 두 큐비트 게이트 j,k의 수이며, D = max_i D_i로 설정한다.
• 행렬 곱 상태(MPS) 형식을 사용하여 양자 상태를 표현하며, 각 텐서는 게이트 또는 큐비트 라인에 대응하고, 색인의 수축이 진화를 시뮬레이션한다.
• 각 큐비트 라인에 대해 인덱스를 순차적으로 합산함으로써 텐서 네트워크를 수축한다. 이때 각 라인의 계산 비용은 최대 영향을 받는 게이트 수에 의해 2^{O(D)}로 제한된다.
• 측정 확률을 위해 회로에 반사된 수반 복사본을 추가하고 프로젝터를 삽입한 후, 각 라인당 O(D)개의 게이트를 유지하는 방식으로 모든 색인을 수축한다.
• 적응형 측정을 처리하기 위해 한 번에 한 측정씩 시뮬레이션하고, 프로젝터와 조건부 게이트 선택을 업데이트하며, 동일한 시간 복잡도 내에서 수행한다.

실험 결과

연구 질문

• RQ1 기존의 텐서 네트워크나 트리 폭 접근 방식보다 더 단순하고 직접적인 방법으로 양자 회로의 고전적 시뮬레이터 가능성 결과를 증명할 수 있는가?
• RQ2 제한된 게이트 범위나 로그 깊이 이외의 회로 구조 조건에서 효율적 고전적 시뮬레이션을 가능하게 하는 정확한 조건은 무엇인가?
• RQ3 임의의 두 큐비트 게이트 상호작용을 포함한 회로의 범위를 확장하여도 여전히 효율적 시뮬레이션 가능할 수 있는가?
• RQ4 각 큐비트 라인에 정의된 게이트 크로싱 딥스 D가 일반 양자 회로의 고전적 시뮬레이터 가능성 여부를 완전히 특징짓는가?
• RQ5 적응형 측정도 동일한 D 기반 복잡도 기준 하에 효율적으로 고전적으로 시뮬레이션할 수 있는가?

주요 결과

• n 큐비트와 임의의 두 큐비트 게이트를 가진 다항 크기의 양자 회로는 D가 어떤 단일 큐비트 라인을 가로지르는 두 큐비트 게이트의 최대 수일 때, 시간 n·poly(2^D) 내에 고전적으로 시뮬레이션 가능하다.
• D = O(log n)이면 시뮬레이션 시간이 n에 대해 다항식이 되며, 이는 고전 컴퓨터에서 회로가 효율적으로 시뮬레이션 가능함을 의미한다.
• 게이트 크로싱 딥스 D가 유한하면, 적응형 측정을 포함한 회로에 대해서도 결과가 성립한다.
• 표준 기저 측정과 일부 큐비트에 대한 공동 측정 모두에 대해 이 방법이 적용되며, D = O(log n)일 경우 시뮬레이션 시간은 여전히 다항식이다.
• 이전의 트리 분해나 그래프 이론적 형식화에 의존하는 방법보다 훨씬 단순하고 직접적인 증명이다.
• 이 프레임워크는 고정된 차원 d를 가진 큸드릿(qudits)으로 일반화 가능하지만, 논문은 명확성을 위해 큿츠(qubits, d=2)에 집중한다.