[論文レビュー] Fold-Transversal Clifford Gates for Quantum Codes

Nikolas P. Breuckmann, Simon Burton|arXiv (Cornell University)|Feb 14, 2022

Quantum Computing Algorithms and Architecture参考文献 29被引用数 11

ひとこと要約

この論文は、ZX双対性を用いて表面コードからCSSコードへの折りたたみの概念を一般化することで、量子コードにおける折りたたみ横断的クリフォードゲートを導入する。[[30,8,3]]ブリンのコードにおいて、時間的・キュービット的オーバーヘッドなしに、論理クリフォードゲート（4つの論理キュービットにおける完全なクリフォード群）を、単に横断的ゲートとキュービットの入れ替えのみで耐障害的に実装できることを示している。

ABSTRACT

We generalize the concept of folding from surface codes to CSS codes by considering certain dualities within them. In particular, this gives a general method to implement logical operations in suitable LDPC quantum codes using transversal gates and qubit permutations only. To demonstrate our approach, we specifically consider a [[30, 8, 3]] hyperbolic quantum code called Bring's code. Further, we show that by restricting the logical subspace of Bring's code to four qubits, we can obtain the full Clifford group on that subspace.

研究の動機と目的

• 対称性と横断的操作を用いて、CSS量子コードにおける論理クリフォードゲートを実装する一般化された手法を開発すること。
• アーキテクチャに依存しない耐障害的量子計算におけるキュービットおよび時間的オーバーヘッドを回避することで、アシスタントキュービットや逐次ゲート実行を排除すること。
• 論理部分空間を4キュービットに制限した場合、折りたたみ横断的ゲートによって完全なクリフォード群が実現可能であることを示すこと。
• 表面コードにおける折りたたみ構成を、任意の対称的CSSコード、特にLDPCコードに一般化すること。
• 非局所的キュービット接続をサポートするさまざまな量子ハードウェアアーキテクチャと互換性を持つこと。

提案手法

• Z-チェックとX-チェックの間の対称性としてZX双対性を定義し、これにより折りたたみ横断的ゲートの構築が可能となる。
• ZX双対性τから、HτおよびSτと呼ばれるアダマール型および位相型ゲートを構築し、コードの論理キュービットに対して横断的に作用させる。
• キュービットの入れ替えと折りたたみ横断的ゲートを用いて、Sp₈(𝔽₂) × C₂に同型な群を生成し、全論理空間上に作用させる。
• ラグランジュ部分空間Wに論理部分空間を制限し、次元8のシンプレクティック部分空間Vを構成することで、完全なクリフォード群C₄を実現する。
• 計算代数（GAP）を用いて群構造とゲート生成を検証し、クリフォード操作の下で閉じていることを確認する。
• 折りたたみ横断的ゲート集合に1つのCNOTまたはCZゲートを追加すると、8つの論理キュービット上で完全なクリフォード群C₈が生成されることを示す。

実験結果

リサーチクエスチョン

• RQ1 表面コードにおける折りたたみの概念は、ZX双対性を用いて任意のCSSコードに一般化可能か？
• RQ2 横断的ゲートとキュービットの入れ替えのみで、低距離のLDPCコードにおいて完全なクリフォード群を実装可能か？
• RQ3 折りたたみ横断的構成は、耐障害的量子計算においてキュービット的および時間的オーバーヘッドを回避するか？
• RQ4 折りたたみ横断的操作のみを用いて、より少ない論理キュービット数の部分空間に制限することで、完全なクリフォード群を実現可能か？
• RQ5 対称的CSSコード（例えばブリンのコード）において、折りたたみ横断的ゲートと入れ替えゲートが生成する群の構造は何か？

主な発見

• 折りたたみ横断的ゲートと入れ替えゲートによって生成される群は、Sp₈(𝔽₂) × C₂に同型であり、論理操作の豊富な構造を確認できる。
• 論理部分空間をラグランジュ部分空間に制限することで、折りたたみ横断的ゲートと入れ替えのみで完全なクリフォード群C₄を実現可能である。
• 折りたたみ横断的ゲート集合に1つのCNOTまたはCZゲートを追加すると、8つの論理キュービット上で完全なクリフォード群C₈が生成可能である。
• この構成は耐障害的であり、時間的・キュービット的オーバーヘッドがなく、任意のデコーディング方式と互換性を持つ。
• この手法は、十分に対称的な任意のCSSコードに適用可能であり、特にハイパボリックコード（ブリンのコードなど）を含むLDPCコードに適している。
• 光子、モジュラー、またはRydbergベースのシステムを含む非局所量子アーキテクチャとも互換性があり、高速かつ任意のキュービット間接続を実現可能である。