[論文レビュー] Clifford synthesis via generalized S and CZ gates

Vadym Kliuchnikov, Marcus P. da Silva|arXiv (Cornell University)|Mar 25, 2026

Quantum Computing Algorithms and Architecture被引用数 0

ひとこと要約

論文は、任意の n-量子ビット Clifford ユニタリを、最大で 2n 個の多量子ビット共同測定で実装する Clifford 合成アルゴリズムを提示する。これらは互いに可換な測定の最大2セットに配置され、耐障害性ハードウェアのための多ターゲット CNOT を用いた代替形も提供する。

ABSTRACT

We show that any $n$-qubit Clifford unitary can be implemented using at most $2n$ multi-qubit joint measurements. All the multi-qubit joint measurements used for implementing the Clifford unitary can be chosen to form at most two sets of independent mutually-commuting measurements. Each of these sets is of size at most $n$. This enables very flexible space-time trade-offs when implementing Clifford unitaries. We also discuss a version of the result that relies on multi-target CNOTs and is more relevant for targeting fault-tolerant hardware based on Quantum LDPC codes.

研究の動機と目的

• Generalized S および CZ ゲートの観点から Clifford 合成を動機付け・形式化する。
• 任意の n-量子ビット Clifford ユニタリは、最大で 2n の相互に可換な多量子ビット測定で実装可能であることを示す。
• Generalized S および CZ ゲートの系列へ Clifford ユニタリを構成的に分解するアルゴリズムを示す。
• Clifford 合成をシンプレクティック表現と反復性（ involutions ）へ関連付け、効率的な回路構築を可能にする。

提案手法

• Clifford ユニタリを2進シンプレクティック行列として表現し、既知の定理を用いてそれを2つのシンプレクティック反復の積に分解する。
• 反復を対称性の結果を用いて特殊形に変換し、Generalized S および CZ ゲートへリンクする。
• 共役操作を通じて Generalized S および CZ ゲートの列を構築し、対角 Pauli 測定へマッピングすることで、2つのセット内の測定の相互可換性を保証する。
• 各列が結果として得られる行列の形式を制御することで、各系列が最大で n 個の多量子ビット測定になるようにする。
• Generalized S および CZ ゲートのリモート実行解釈を提供し、これらを多量子ビット Pauli 測定を用いて実装できることを示す。
• コストを必要測定の和として扱うことで Generalized S および CZ ゲートの数を最適化するための A* 探索アプローチを概説する。

実験結果

リサーチクエスチョン

• RQ1 任意の n-量子ビット Clifford ユニタリは、相互に可換な測定セットを持つ Generalized S および CZ ゲートの積に分解可能か？
• RQ2 このゲート集合の下で、任意の Clifford ユニタリを実装するために必要な最小の多量子ビット測定数はどれか？
• RQ3 シンプレクティック反復を活用して、測定の局在性と可換性を持つ Clifford 回路を体系的に構築できるか？
• RQ4 Generalized S および CZ ゲートのリモート実行回路を、 lattice surgery などの現行の耐障害アーキテクチャで実現可能か？
• RQ5 時空資源に関する2つの可換測定セット間のトレードオフとは何か？

主な発見

• 任意の n-量子ビット Clifford ユニタリは、最大で 2n 個の多量子ビット共同測定で実装可能。
• 測定は最大で 2 セットの独立した相互可換セットに整理でき、それぞれのサイズは最大で n。
• Clifford ユニタリは、シンプレクティック反復分解を介して Generalized S または Generalized CZ ゲートの積へ縮約可能。
• Constructive Algorithm 3.1 により s1, s2 の Generalized S および CZ ゲート列と Pauli P を提供し、全体の演算がターゲット Clifford に等しくなるようにし、測定グループの相互可換性を維持する。
• A* 探索フレームワークを用いて Pauli 測定数を最小化するように合成を最適化でき、下限として res-ベースのヒューリスティックを使用する。
• 本研究は Clifford 合成をシンプレクティック反復に関する二つの重要定理へ結びつけ、耐障害実装の実用的な時空トレードオフを可能にする。