[論文レビュー] Good binary quantum codes with transversal CCZ gate

Kate Nguyen|arXiv (Cornell University)|Aug 19, 2024

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

本稿では、固定サイズのクド・アルファベット上での代数幾何コードを活用し、乗算フレンドリーな埋め込みを用いて、量子ビットに還元することで、漸近的に良い二値量子CSS符号の族を提示する。この構成により、定数レートと線形距離を達成し、定数オーバーヘッドのマジック状態蒸留が可能となる。

ABSTRACT

We give an asymptotically good family of quantum CSS codes on qubits with a transversal CCZ gate, meaning that the parallel logical CCZ on all logical qubits is performed by parallel physical CCZs on (a subset of) physical qubits. The construction is based on the observation that any classical code satisfying a multiplication property can be used to construct a quantum CSS code with transversal (qudit) CCZ. To obtain a constant-rate and linear-distance family, we then instantiate this construction with a classical good family of algebraic-geometry codes on a non-binary, but constant-sized, alphabet. Finally, we use a technique from the arithmetic secret sharing literature to reduce the alphabet to binary. As a corollary, the constructed code family provides a magic state distillation scheme with constant space overhead.

研究の動機と目的

• トランスバーサル非アーリアノードゲート、特にCCZゲートをサポートする定数レート・線形距離の二値量子符号族を構築すること。
• 従来の構成ではレートが消え去るか、クド次元が増大する必要があるという制限を克服すること。
• 古典的代数幾何コードの乗算性質を応用し、CCZのような多キュービット位相ゲートのトランスバーサル実装を可能にすること。
• 算術秘密分散技術を用いて、高アルファベットのクド符号を二値符号に還元し、トランスバーサル性と漸近的符号品質を維持すること。
• 構成された符号族の直接的応用として、定数空間オーバーヘッドのマジック状態蒸留を可能にすること。

提案手法

• 乗算性質（符号語の成分ごとの積が関連する符号に属する）を満たす、固定された定数サイズのアルファベット（2のべき）上の古典的代数幾何（AG）符号を用いる。
• 三直交性フレームワークを用いて、AG符号からクドCSS符号を構築し、乗算性質によりクドCCZゲートのトランスバーサル実装を保証する。
• 算術秘密分散からの乗算フレンドリーな埋め込みを適用し、クド符号をトランスバーサル性と符号パラメータを保持したまま二値量子符号にマッピングする。
• トレースに基づく同型写像と、体乗算写像の行列表現を活用し、クド操作をトランスバーサルCCZゲートを持つ二値 Clifford回路に埋め込む。
• 得られた二値符号を小さな二値符号（例：$[[r,m,1]]$）と連結することで、符号化されたキュービット上の物理的CCZゲートのトランスバーサル実装により論理的CCZゲートを実現する。
• 論理的CCZゲートが、符号化された論理状態の制御位相操作として作用することを確認し、位相は$ Rubio $上での多線形関数によって決定される。

実験結果

リサーチクエスチョン

• RQ1 定数レート・線形距離の二値量子符号族を、トランスバーサルCCZゲートを備えて構築可能か？
• RQ2 古典的AG符号の乗算性質を用いて、CCZのような多クド位相ゲートのトランスバーサル実装を可能にできるか？
• RQ3 高アルファベットのクド符号を、トランスバーサル性と漸近的符号品質を維持したまま二値符号に還元可能か？
• RQ4 このような符号族は定数オーバーヘッドのマジック状態蒸留を可能にするか？
• RQ5 算術秘密分散技術をどのように用いてクド操作を二値量子回路に埋め込むか？

主な発見

• 本稿では、定数レートと線形距離を達成し、初めてトランスバーサルCCZゲートを備えた漸近的に良い二値量子CSS符号族を構築した。
• 構成は、固定サイズのアルファベット（2のべき）上の古典的AG符号に依存しており、乗算性質と双対性閉包を満たす。
• トランスバーサルCCZゲートは、クド操作を二値物理的CCZゲートにトランスバーサルにマッピングする乗算フレンドリーな埋め込みとの連結により実現される。
• 論理的CCZ操作は、3つの論理状態の積によって制御される位相反転として実装され、位相は$ Rubio $上での多線形関数によって決定される。
• 得られた符号族は、トランスバーサルCCZゲートのおかげで、効率的な蒸留プロトコルを可能にし、定数空間オーバーヘッドのマジック状態蒸留を実現する。
• 従来のクド符号におけるトランスバーサル非アーリアノードゲートの研究を一般化し、完全なトランスバーサル性と漸近的最適性を備えた量子ビットケースに拡張した。