[논문 리뷰] Qubit stabilizer states are complex projective 3-designs

Richard Kueng, David Groß|arXiv (Cornell University)|2015. 10. 09.

Quantum Computing Algorithms and Architecture참고 문헌 5인용 수 28

한 줄 요약

이 논문은 모든 n-qubit 안정자 상태의 집합이 차원 $2^n$에서 복소 프로젝티브 3-디자인을 이룬다는 것을 증명한다. 이는 기존에 알려진 2-디자인 상태의 일반화이다. 저자들은 안정자 상태의 프레임 포텐셜에 대한 재귀 공식을 유도함으로써 이를 입증하였으며, 내적 수를 이산 심플렉틱 기하학으로 환원하고, $d=2$일 때 3-디자인의 웰치 한계와의 일치를 보였다. 이 결과는 안정자 상태가 하르-무작위 상태의 통계적 성질을 3차 모멘트까지 정확히 반영함을 확인한다.

ABSTRACT

A complex projective $t$-design is a configuration of vectors which is ``evenly distributed'' on a sphere in the sense that sampling uniformly from it reproduces the moments of Haar measure up to order $2t$. We show that the set of all $n$-qubit stabilizer states forms a complex projective $3$-design in dimension $2^n$. Stabilizer states had previously only been known to constitute $2$-designs. The main technical ingredient is a general recursion formula for the so-called frame potential of stabilizer states. To establish it, we need to compute the number of stabilizer states with pre-described inner product with respect to a reference state. This, in turn, reduces to a counting problem in discrete symplectic vector spaces for which we find a simple formula. We sketch applications in quantum information and signal analysis.

연구 동기 및 목표

• 안정자 상태가 2-디자인을 넘어서 고차수의 복소 프로젝티브 디자인을 이룬다거나 그렇지 않은지를 규명하는 것.
• 명시적인 무한한 복소 프로젝티브 3-디자인의 가족이 존재하는지 여부에 대한 열린 문제를 해결하는 것.
• 심플렉틱 벡터 공간의 수를 기반으로 안정자 상태의 프레임 포텐셜에 대한 재귀 공식을 수립하는 것.
• 큐비트 시스템에서 안정자 상태가 3-디자인에 대해 웰치 한계에 도달함을 보여주어, 이들이 3-디자인으로서 최적임을 확인하는 것.

제안 방법

• 클리포드 군의 구조와 대칭 공간의 성질을 이용하여 안정자 상태의 프레임 포텐셜에 대한 일반적인 재귀 공식을 유도하는 것.
• 안정자 상태 간 내적 수를 계산하는 문제를 $\mathbb{F}_2$ 위의 이산 심플렉틱 벡터 공간 내의 부분공간 수로 환원하는 것.
• 프레임 포텐셜을 t-디자인의 특성화에 활용하며, 웰치 한계와의 일치가 t-디자인임을 의미함을 이용하는 것.
• 재귀 공식을 $t=3$에 적용하여, $d=2$일 때 최소 가능한 값인 웰치 한계와 일치함을 보이는 것.
• 2^n 차원 힐베르트 공간 내 안정자 상태 집합이 복소 프로젝티브 3-디자인의 정의적 모멘트 조건을 만족함을 증명하는 것.
• 군 표현 이론을 적용하여 클리포드 군 궤도의 구조가 큐비트 시스템에서 3-디자인 성질을 유도함을 보이는 것.

실험 결과

연구 질문

• RQ1 n-큐비트 안정자 상태는 차원 $2^n$에서 복소 프로젝티브 3-디자인을 이룬다거나 그렇지 않은가?
• RQ2 심플렉틱 기하학을 기반으로 안정자 상태의 프레임 포텐셜에 대한 재귀 공식을 유도할 수 있는가?
• RQ3 큐비트 시스템에서 $t=3$일 때 안정자 상태의 프레임 포텐셜이 웰치 한계와 일치하는가?
• RQ4 안정자 상태 집합은 $2^n$ 차원에서 3-디자인에 대해 가능한 최소 프레임 포텐셜을 달성하는가?
• RQ5 왜 안정자 상태는 3-디자인임에도 불구하고 4-디자인이 되지 못하는가?

주요 결과

• 모든 n-큐비트 안정자 상태의 집합은 차원 $2^n$에서 복소 프로젝티브 3-디자인을 이룬다.
• 안정자 상태의 프레임 포텐셜은 $\mathbb{F}_2^{2n}$ 내 심플렉틱 부분공간 수에 기반한 재귀 관계를 만족한다.
• d=2일 때, 안정자 상태의 프레임 포텐셜은 $t=3$에 대한 웰치 한계와 일치하며, 이는 최적의 3-디자인임을 확인한다.
• 안정자 상태는 큐비트 시스템에서 $t=3$에 대해 가능한 최소 프레임 포텐셜을 달성하며, 이는 3-디자인임을 보장하는 필수 및 필요 충분 조건이다.
• 클리포드 군은 4-디자인을 이루지 못한다. 그 궤도의 프레임 포텐셜이 $t=4$에 대한 웰치 한계를 초과하기 때문이다.
• d>2일 경우, 안정자 상태의 프레임 포텐셜은 $t=3$에 대한 웰치 한계를 초과하므로, 고차원 큸디트 시스템에서는 3-디자인이 아니다.