[논문 리뷰] Efficient Inner-product Algorithm for Stabilizer States

Héctor J. García, Igor L. Markov외 1명|arXiv (Cornell University)|2012. 10. 24.

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

한 줄 요약

이 논문은 안정자 상태 간의 내적을 계산하기 위한 효율적인 $O(n^3)$ 알고리즘을 제시한다. 이 알고리즘은 임의의 안정자 상태를 계산 기저 상태로 매핑하기 위해 표준 회로 합성 기법을 활용한다. 주요 기여는 각 $n$-큐비트 안정자 상태가 정확히 $4(2^n - 1)$개의 근접 안정자 상태를 가짐을 증명한 것으로, 실험을 통해 검증되었으며, 임의의 양자 상태에 대한 안정자 프레임으로의 확장도 이루어졌다.

ABSTRACT

Large-scale quantum computation is likely to require massive quantum error correction (QEC). QEC codes and circuits are described via the stabilizer formalism, which represents stabilizer states by keeping track of the operators that preserve them. Such states are obtained by stabilizer circuits (consisting of CNOT, Hadamard and Phase only) and can be represented compactly on conventional computers using Omega(n^2) bits, where n is the number of qubits. Although techniques for the efficient simulation of stabilizer circuits have been studied extensively, techniques for efficient manipulation of stabilizer states are not currently available. To this end, we design new algorithms for: (i) obtaining canonical generators for stabilizer states, (ii) obtaining canonical stabilizer circuits, and (iii) computing the inner product between stabilizer states. Our inner-product algorithm takes O(n^3) time in general, but observes quadratic behavior for many practical instances relevant to QECC (e.g., GHZ states). We prove that each n-qubit stabilizer state has exactly 4(2^n - 1) nearest-neighbor stabilizer states, and verify this claim experimentally using our algorithms. We design techniques for representing arbitrary quantum states using stabilizer frames and generalize our algorithms to compute the inner product between two such frames.

연구 동기 및 목표

• 안정자 상태를 효율적으로 다루는 알고리즘을 개발하는 것. 안정자 상태는 양자 오류 수정 및 고장내성 양자 계산의 핵심이다.
• 안정자 회로의 효율적 시뮬레이션은 알려져 있으나, 안정자 상태 간의 내적 계산에 대한 효율적 기법이 부족한 문제를 해결하는 것.
• 모든 안정자 상태를 계산 기저 상태로 매핑하는 표준 회로 합성 알고리즘을 설계하는 것. 이는 $H$-$C$-$CZ$-$P$-$H$ 블록 구조를 갖는 회로를 사용한다.
• 임의의 $n$-큐비트 안정자 상태에 대해 근접 안정자 상태의 정확한 수를 증명하고 실험적으로 검증하는 것. 이는 양자 상태 공간에서 관심 있는 기하적 성질이다.

제안 방법

• 이전 연구의 이론적 통찰을 활용하여, $H$-$C$-$CZ$-$P$-$H$ 블록 구조를 갖는 회로를 사용해 임의의 안정자 상태를 계산 기저 상태로 변환하는 표준 회로 합성 알고리즘을 설계한다.
• 안정자 형식을 사용하여 안정자 상태를 안정자 군의 생성자로 표현함으로써, $O(n^2)$의 고전적 표현으로 압축한다.
• 내적 알고리즘을 구현하여 $|\braket{\psi|\varphi}|$를 계산한다. 이는 $|\psi\rangle$를 $|0\cdots0\rangle$로 매핑하는 회로를 합성한 후, $|\varphi\rangle$와의 오버랩을 측정함으로써 이루어진다.
• 임의의 양자 상태를 안정자 상태와 위상 인자로 표현하는 안정자 프레임으로 프레임워크를 일반화하여, 순수 안정자 상태를 초월한 내적 계산을 가능하게 한다.
• 이 알고리즘을 사용해, 각 $n$-큐비트 안정자 상태가 정확히 $4(2^n - 1)$개의 근접 안정자 상태를 가짐을 증명하고 실험적으로 검증한다. 이는 $|\braket{\psi|\varphi}| \neq 1$이면서 최대 내적 크기를 갖는 상태들로 정의된다.
• 양자 코드와 얽힌 상태(예: GHZ 상태)에 대한 실험적 평가를 통해, $O(n^3)$의 최악의 복잡도에도 불구하고 실질적으로는 이차 스텝으로 성능을 보임을 보여준다.

실험 결과

연구 질문

• RQ1 임의의 $n$-큐비트 안정자 상태에 대해 근접 안정자 상태의 정확한 수는 얼마이며, 이는 증명되고 계산적으로 검증될 수 있는가?
• RQ2 표준 회로 합성을 활용해 두 안정자 상태 간의 내적을 효율적으로 계산할 수 있는 알고리즘을 설계할 수 있는가?
• RQ3 안정자 형식은 어떻게 일반화되어 임의의 양자 상태를 표현할 수 있으며, 이러한 일반화된 프레임 간의 내적은 무엇인가?
• RQ4 GHZ 상태 및 오류 수정 코드 상태와 같은 관련 있는 양자 정보 상태에서 내적 알고리즘의 실질적 성능은 어떠한가?
• RQ5 표준 회로 합성 알고리즘은 효율적으로 구성될 수 있는가? 이를 통해 빠른 상태 변환과 내적 계산이 가능해지는가?

주요 결과

• 논문은 각 $n$-큐비트 안정자 상태가 정확히 $4(2^n - 1)$개의 근접 안정자 상태를 가짐을 증명한다. 이는 비자명한 내적 크기의 최대값을 갖는 상태들로 정의된다.
• 내적 알고리즘은 일반적으로 $O(n^3)$의 시간 복잡도를 가지나, 실질적인 사례인 GHZ 상태와 양자 오류 수정 코드 상태에서는 이차 스텝으로 스케일링된다.
• 알고리즘은 다양한 안정자 상태에 대한 실험적 평가를 통해 이론적 이웃 수를 성공적으로 검증한다.
• 프레임워크는 안정자 프레임으로 일반화되어, 안정자 상태의 초위상으로 표현된 임의의 양자 상태 간의 내적 계산을 가능하게 한다.
• 표준 회로 합성 알고리즘은 임의의 입력 안정자 상태에 대해 $H$-$C$-$CZ$-$P$-$H$ 블록 구조를 갖는 회로를 생성하여, 효율적인 상태 변환과 오버랩 계산을 가능하게 한다.
• 성능 평가 결과, 알고리즘이 실질적으로 효율적이며, GHZ 상태 및 코드 상태를 포함한 많은 관련 양자 상태에서 런타임이 $O(n^2)$로 스케일링됨을 보였다.