[논문 리뷰] On the Geometry of Stabilizer States

Héctor J. García, Igor L. Markov외 1명|arXiv (Cornell University)|2017. 11. 20.

Quantum Computing Algorithms and Architecture인용 수 5

한 줄 요약

이 논문은 양자정보에서 안정자 상태의 기하적 구조를 특성화하며, 임의의 n-qubit 안정자 상태에 대해 대부분의 다른 안정자 상태가 거의 직교함을 보여준다. 내적 계산, 안정자 상태 집합의 직교화, 표준 안정자 회로 합성에 대한 효율적인 알고리즘을 제안하여 이전 방법 대비 최대 두 배 빠른 속도와 반의 게이트 수를 달성한다. 주요 기여는 안정자 상태 간의 각도 분포와 최근접 이웃 관계에 대한 깊이 있는 이해로, 상태 근사 및 양자 회로 시뮬레이션에 응용 가능하다.

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 gates) and can be represented compactly on conventional computers using $O(n^2)$ bits, where $n$ is the number of qubits. As an additional application, the work by Aaronson and Gottesman suggests the use of superpositions of stabilizer states to represent arbitrary quantum states. To aid in such applications and improve our understanding of stabilizer states, we characterize and count nearest-neighbor stabilizer states, quantify the distribution of angles between pairs of stabilizer states, study succinct stabilizer superpositions and stabilizer bivectors, explore the approximation of non-stabilizer states by single stabilizer states and short linear combinations of stabilizer states, develop an improved inner-product computation for stabilizer states via synthesis of compact canonical stabilizer circuits, propose an orthogonalization procedure for stabilizer states, and evaluate several of these algorithms empirically.

연구 동기 및 목표

• 안정자 상태가 힐베르트 공간 내에서 기하학적으로 어떻게 분포되어 있는지 이해하는 것, 특히 그들 사이의 각도와 최근접 이웃 관계를 중심으로 한다.
• 안정자 상태의 내적, 외적(2형식), 그리고 안정자 상태 집합의 직교화를 위한 효율적인 고전적 알고리즘을 개발하는 것.
• 비안정자 상태의 압축된 표현을 안정자 상태의 초위상으로 가능하게 하여 양자 상태 복잡도의 계층을 발전시키는 것.
• 표준화된 최소 회로를 합성함으로써 안정자 회로 시뮬레이션의 확장성과 효율성을 향상시키는 것.
• 안정자 상태와 그 선형 조합을 사용하여 임의의 양자 상태를 얼마나 잘 근사할 수 있는지의 한계를 조사하는 것.

제안 방법

• n-큐비트 안정자 상태를 파울리 연산자를 통해 표현함으로써 Θ(n²) 비트 표현이 가능하도록 안정자 형식을 사용한다.
• 5블록 표준 템플릿을 적용하여 임의의 안정자 상태를 계산 기저 상태로 매핑하는 안정자 회로를 합성함으로써 내적 계산을 효율적으로 수행한다.
• 임의의 세 개의 평행하지 않은 안정자 상태로 이루어진 선형 종속 삼중조합은 두 개의 최근접 이웃 쌍과 하나의 직교 쌍을 포함한다는 관찰에 기반한 체계적인 직교화 절차를 적용한다.
• 기존 방법보다 빠른 성능을 보이는 개선된 내적 알고리즘을 개발하였으며, 이는 O(n³) 시간에 실행되지만 실질적으로는 이차 성능을 보이며, 속도와 게이트 수 모두에서 기존 방법을 능가한다.
• 안정자 상태 간의 각도 분포를 정량화하여 n→∞일 때 대부분의 쌍이 직교하거나 거의 직교함을 보여준다.
• 안정자 벡터가 형성하는 평행육면체의 부피를 분석하고, 안정자 상태의 최소 종속 집합을 특성화한다.

실험 결과

연구 질문

• RQ1 n-큐비트 안정자 상태 쌍 간의 각도 분포는 어떻게 되며, 최근접 이웃 관계는 이 분포에 어떤 영향을 미치는가?
• RQ2 특히 직교 및 최근접 이웃 쌍의 존재를 고려할 때, 안정자 상태 집합을 기하학적 구조를 활용해 효율적으로 직교화할 수 있는가?
• RQ3 특히 회로 깊이와 게이트 수 측면에서 기존 방법보다 더 효율적으로 두 안정자 상태 간의 내적을 계산할 수 있는가?
• RQ4 단위 구면에 중심을 두고 안정자 상태를 포함하지 않는 구의 최대 반경은 얼마이며, 이는 n에 따라 어떻게 변화하는가?
• RQ5 임의의 양자 상태는 다항식 크기의 안정자 상태 초위상으로 얼마나 잘 근사할 수 있는가?

주요 결과

• 임의의 n-큐비트 안정자 상태에 대해, 그들의 외적(웨이드 곱)이 안정자 2형식을 형성하는 다른 안정자 상태가 최소 5(2ⁿ−1)개 이상 존재함을 보여주며, 이는 풍부한 대수적 구조를 시사한다.
• 임의의 두 최근접 이웃 안정자 상태 간의 각도는 정확히 45°이며, 거리는 √(2−√2)이다. 이는 논문의 기하학적 그림에서 설명되어 있다.
• n→∞일 때, 주어진 안정자 상태와 직교하거나 거의 직교하는 안정자 상태의 비율은 1에 수렴하며, 이는 거의 균일한 각도 분포를 의미한다.
• 제안된 내적 알고리즘은 Audenaert-Plenio 방법보다 약 두 배 빠르게 실행되며, 게이트 수는 절반 이하로 줄이고 표준 형식을 보장한다.
• 단위 구면에 중심을 두고 안정자 상태를 포함하지 않는 구의 최대 반경은 √2 이하로 유계이며, n이 증가함에 따라 이 값에 수렴한다.
• 서로 평행하지 않은 안정자 상태의 선형 종속 삼중조합은 정확히 두 쌍의 최근접 이웃과 하나의 직교 쌍을 포함하며, 이는 균일한 기하학적 제약을 드러낸다.