[論文レビュー] Transversal AND in Quantum Codes

Christine Li, Lia Yeh|arXiv (Cornell University)|Mar 4, 2026

Quantum Computing Algorithms and Architecture被引用数 0

ひとこと要約

著者らは transversal AND gate を備える qutrit CSS コード J6,2,2K を構築し、コード長を concatenation により J48,2,4K へ増大させる方法を示し、混合量子ビット-クォートコードとマジック状態プロトコルを導入する。

ABSTRACT

The AND gate is not reversible$\unicode{x2014}$on qubits. However, it is reversible on qutrits, making it a building block for efficient simulation of qubit computation using qutrits. We first observe that there are multiple two-qutrit Clifford+T unitaries that realize the AND gate with T-count 3, and its generalizations to $n$ qubits with T-count $3n-3$. Our main result is the construction of a novel qutrit $\mathopen{[\![} 6,2,2 \mathclose{]\!]}$ quantum error-correcting code with a transversal implementation of the AND gate. The key insight in our approach is that a symmetric T-depth one circuit decomposition$\unicode{x2014}$composed of a CX circuit, T and T dagger gates, followed by the CX circuit in reverse$\unicode{x2014}$of a given unitary can be interpreted as a CSS code. We can increase the code distance by augmenting the code circuit with additional stabilizers while preserving the logical gate. This results in a code with a "built-in" transversal implementation of the original unitary, which can be further concatenated to attain a $\mathopen{[\![} 48,2,4 \mathclose{]\!]}$ code with the same transversal logical gate. Furthermore, we present several protocols for mixed qubit-qutrit codes which we call Qubit Subspace Codes, and for magic state distillation and injection.

研究の動機と目的

• フォールトトレラント量子計算内で可逆的な AND ゲートを実現するために qutrit の活用を動機づける。
• transversal な二値 AND 演算を中心とした qutrit 安定化符号を構築する。
• コード距離を連結により高めつつ transversal ゲートを保持する方法を実証する。
• 混合次元（qubit-qutrit）コードの概念と、マジック状態蒸留・注入プロトコルを導入する。

提案手法

• 対称的 T 深さ 1 の回路を CSS エンコーダと関係づけ、 transversal 非Clifford 操作を可能にする正確な回路合成を活用する。
• ZX-calculus を用いて位相ガジェットベースのエンコーダから安定化子と論理演算子を再解釈・抽出する。
• |0⟩-controlled Z ゲートを実装する対称的で T-depth 1 の回路を導出し、その CSS 構造を特定する。
• エンコーダ形状から X 型・Z 型の安定化子と論理演算子を読み取り、 transversal AND を実装する J6,2,2K コードを得る。
• 内側の J6,2,2K を外側のコード（J8,1,2K）と連結して距離を 4 にし、 transversal AND を実現する J48,2,4K を得る。
• フレームワークを量子ビット部分空間コードに拡張し、マジック状態蒸留と決定的注入のプロトコルを提供する。

実験結果

リサーチクエスチョン

• RQ1 transversal 実現可能な非自明な qutrit QEC コードをどう構築するか（特に qubit 論理ゲートの不可分な transversal 実装としての AND）？
• RQ2 距離を保ちつつ transversal 論理ゲートを維持するにはどうすべきか、連結はどう機能するか？
• RQ3 混合次元コード（Qubit Subspace Codes）の利点と構成法は何か、それらは fault-tolerant 演算とマジック状態プロトコルをどう支えるか？

主な発見

• 2-qutrit AND の構成において T カウント 3 の qutrit Clifford+T セットで二値古典論理ゲートセット（AND/OR/NOT）を正確にエミュレートできる。
• qubit AND の T-depth 1 対称回路は transversal AND を備える J6,2,2K qutrit コードを可能にする。
• 導出コードは距離 2 であり、X-type 安定化子を追加し ZX-calculus 書き換えを用いると、 transversal AND の対称エンコーダを得られる。
• outer code がある J8,1,2K との連結により距離 4 の J48,2,4K コードを得て transversal AND を実装（24 個の T および 24 個の T† ）する。
• 本研究は Qubit Subspace Codes を導入し、論理 qutrit を量子ビット部分空間へ写像する射影を示し、混合次元符号戦略を可能にする。
• 論文はマジック状態プロトコルの一部として |0⟩-controlled Z/K ゲート（AND）の決定的注入と蒸留を議論する。