[論文レビュー] The Clifford group fails gracefully to be a unitary 4-design

Huangjun Zhu, Richard Kueng+2 more|arXiv (Cornell University)|Sep 26, 2016

Algebraic and Geometric Analysis参考文献 62被引用数 53

ひとこと要約

この論文は、多量子ビットのクリフォード群がユニタリ4-デザインでないことを示しているが、その失敗は滑らかである：完全なユニタリ群と比較して、その4重テンソル積には、唯一の追加不変部分空間（符号化された安定化子コードに相当）しか含まれない。これにより、クリフォード軌道が主要な量子情報処理タスクにおいて真の4-デザインとほぼ同等の性能を達成でき、さらに、クリフォード軌道から正確または近似された4-デザインを明示的に構成可能となる。強力な証拠により、これらが実際に5-デザインを形成する可能性があることが示唆されている。

ABSTRACT

A unitary t-design is a set of unitaries that is "evenly distributed" in the sense that the average of any t-th order polynomial over the design equals the average over the entire unitary group. In various fields -- e.g. quantum information theory -- one frequently encounters constructions that rely on matrices drawn uniformly at random from the unitary group. Often, it suffices to sample these matrices from a unitary t-design, for sufficiently high t. This results in more explicit, derandomized constructions. The most prominent unitary t-design considered in quantum information is the multi-qubit Clifford group. It is known to be a unitary 3-design, but, unfortunately, not a 4-design. Here, we give a simple, explicit characterization of the way in which the Clifford group fails to constitute a 4-design. Our results show that for various applications in quantum information theory and in the theory of convex signal recovery, Clifford orbits perform almost as well as those of true 4-designs. Technically, it turns out that in a precise sense, the 4th tensor power of the Clifford group affords only one more invariant subspace than the 4th tensor power of the unitary group. That additional subspace is a stabilizer code -- a structure extensively studied in the field of quantum error correction codes. The action of the Clifford group on this stabilizer code can be decomposed explicitly into previously known irreps of the discrete symplectic group. We give various constructions of exact complex projective 4-designs or approximate 4-designs of arbitrarily high precision from Clifford orbits. Building on results from coding theory, we give strong evidence suggesting that these orbits actually constitute complex projective 5-designs.

研究の動機と目的

• クリフォード群がユニタリ4-デザインでない正確な構造的要因を特定すること。
• クリフォード軌道が量子情報応用において真の4-デザインとほぼ同等に機能することを示すこと。
• クリフォード群の軌道から正確または近似された複素射影4-デザインを構成すること。
• クリフォード軌道が5-デザインの性質を示す可能性があるかを、符号理論との関連に基づいて調査すること。

提案手法

• ユニタリ群に対するクリフォード群の4重テンソル積の不変部分空間を同定する。
• 追加の不変部分空間を安定化子コードとして特定し、離散シミレクティック群の既約表現に明示的に分解する。
• 調和多項式理論とトレース写像を用いて、クリフォード軌道のモーメントとハール測度のモーメントを関連付ける。
• 量子エラー補正符号の結果を活用し、5キュービットまでに制限して、正確な4-デザインのフィデューシャルベクトルを構成する。
• MUBサイクラーと調和不変量を用いて、クリフォード軌道から近似4-デザインを生成するアルゴリズムを開発する。
• 多変数多項式技法を適用し、不変量を分析し、複素射影空間におけるt-デザインの条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 クリフォード群の4重テンソル積と完全ユニタリ群の4重テンソル積との間の正確な構造的差異は何か？
• RQ2 実用的な量子情報処理タスクにおいて、クリフォード群の軌道は真のユニタリ4-デザインをどの程度正確に近似するか？
• RQ3 クリフォード群の軌道から正確な複素射影4-デザインを構成可能か？もし可能であれば、その方法は何か？
• RQ4 クリフォード群の軌道は、5-デザインのような高次のデザイン構造の性質を示すか？その根拠は何か？
• RQ5 安定化子コード構造は、クリフォード群が4-デザインでない理由に果たす役割は何か？

主な発見

• クリフォード群の4重テンソル積は、ユニタリ群と比較して、正確に1つの追加不変部分空間を有する。この部分空間は安定化子コードである。
• この追加の安定化子コードは、離散シミレクティック群の既約表現に明示的に分解されている。
• フィデューシャルベクトルを用いることで、5キュービットまでに制限して、クリフォード軌道から正確な複素射影4-デザインを構成可能である。
• ランダムなクリフォード軌道は、位相再構成と量子状態の区別タスクにおいて、真の4-デザインとほぼ同等の性能を示す優れた近似である。
• 符号理論的構成に基づく強力な証拠により、クリフォード軌道が実際に複素射影5-デザインを形成する可能性がある。
• クリフォード群が4-デザインでない失敗は、「滑らか」である。すなわち、逸脱は構造的に単純で、明確に理解されており、確率的でない量子プロトコルへの実用的応用を可能にする。