[論文レビュー] Limitations on transversal gates for hypergraph product codes

Simon Burton, Dan E. Browne|arXiv (Cornell University)|Dec 10, 2020

Quantum Computing Algorithms and Architecture参考文献 22被引用数 6

ひとこと要約

この論文は、表面コードの一般化であり、コード性能が向上したハイパーグラフプロダクト符号が、下位の古典的符号に関する弱い条件下では、非クリフォードな論理ゲートをトレヴァーサルに実装できないことを示している。論理演算子の支持集合の交差を新たな分析手法で拡張し、『頑健性』の概念を導入することで、著者らは、これらの符号におけるトレヴァーサルゲートがクリフォード群に制限されることを証明した。これにより、マジック状態の蒸留などの追加技術がなければ、普遍性が達成できないことが明らかになった。

ABSTRACT

We analyze the structure of the logical operators from a class of quantum codes that generalizes the surface codes. These are the hypergraph product codes, restricted to the vertical sector. By generalizing an argument of Bravyi and König, we find that transversal gates for these codes must be restricted to the Clifford group.

研究の動機と目的

• ハイパーグラフプロダクト符号（表面コードの一般化で、コード性能が向上）が、非クリフォードなトレヴァーサル論理ゲートをサポートできるかどうかを調査すること。
• 表面コードに適用されたBravyi-Königの否定的結果を、より広いクラスのハイパーグラフプロダクト符号へと拡張すること。
• 論理演算子の支持集合の交差が、正しく訂正可能である条件を同定すること。
• 『頑健性』を定義し、それがトレヴァーサルゲート制限に必要な十分な条件であることを特徴づけること。
• トレヴァーサルゲートのみで普遍量子計算を達成できるというハイパーグラフプロダクト符号の限界を明確にすること。

提案手法

• ハイパーグラフプロダクト符号における2組の完全な論理演算子の支持集合の交差を分析することで、Bravyi-Königの議論を一般化する。
• 古典的符号における『頑健性』の概念を導入し、右ブロックがフルランクとなる列置換された標準形が存在することとして定義する。
• Pivot LemmaとCopivot Lemmaを用いて、生成行列およびパリティーチェック行列の部分行列の余核と核との関係を関連付ける。
• Union Lemmaを適用し、古典的符号が頑健である場合、論理演算子の支持集合の交差領域が訂正可能であることを示す。
• コードが頑健である場合、トレヴァーサル論理ゲートが安定化子群を保存する必要があることから、クリフォード階層内に制限されることを証明する。
• 頑健性と、生成行列の標準形におけるフルランクブロックの存在との間の構造的同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 ハイパーグラフプロダクト符号（表面コードの一般化）は、非クリフォードなトレヴァーサル論理ゲートをサポートできるか？
• RQ2 下位の古典的符号にどのような条件下で、Bravyi-Königの議論をハイパーグラフプロダクト符号へ拡張できるか？
• RQ3 ハイパーグラフプロダクト符号における2組の完全な論理演算子の支持集合の交差は、訂正可能か？
• RQ4 古典的符号のどの構造的性質が、論理演算子の交差領域が訂正可能であることを保証するか？
• RQ5 古典的符号における『頑健性』の概念は、得られる量子ハイパーグラフプロダクト符号におけるトレヴァーサルゲート構造とどのように関係するか？

主な発見

• 下位の古典的符号が頑健である場合、ハイパーグラフプロダクト符号のトレヴァーサル論理ゲートはクリフォード群に制限される。
• 2組の完全な論理演算子の支持集合の交差領域のサイズはO(k²)であり、kが古典的符号空間の次元であるとき、頑健性の条件下で訂正可能である。
• 古典的符号の頑健性は、Jがフルランクである形の標準生成行列(I_k | J)の存在と同値である。
• 著者らは、列の置換と行簡約を用いた構成的特徴づけを提供し、アルゴリズム的検証を可能にした。
• 数値的証拠から、d ≥ 3かつk ≤ n/2を満たす標準的なGallager符号の多くが頑健であることが示唆されており、これは広範なクラスのハイパーグラフプロダクト符号に本結果が適用可能であることを示している。
• 本結果により、このクラスの符号では非クリフォードゲートのトレヴァーサル実装が不可能であることが排除され、普遍性を達成するにはマジック状態の蒸留などの代替手法が必要となる。