[論文レビュー] Qubit stabilizer states are complex projective 3-designs

Richard Kueng, David Groß|arXiv (Cornell University)|Oct 9, 2015

Quantum Computing Algorithms and Architecture参考文献 5被引用数 28

ひとこと要約

この論文は、すべてのn-キュービット安定化状態の集合が次元$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-デザインでない。