A Complete Equational Presentation of Qudit Circuits via Polycontrolled PROPs

技術要約：多制御（Polycontrolled）PROPによるQudit回路の完全な等式表示

問題提起
高次元量子計算（次元 $d \geq 2$ の量子系であるquditを利用するもの）には、回路レベルにおけるネイティブで有限かつ図式的な等式理論が欠けている。ZX/ZWのようなグラフィカル・カルキュラスは、より広範な線形写像に対して完全性を提供するが、標準的なユニタリ回路を復元するために別途再構成ステップを必要とすることが多い。既存のquditに関する回路レベルの結果は、特殊化されている（例：Clifford断片や対角ゲートに限定されている）、あるいは制御ワイヤが膨大になる無制限の公理集合に依存している。核心となる課題は、標準的なユニタリ・デノテーションが一致する場合にのみ等価性が導出可能であり、かつ、すべての次元 $d$ において図式的形状が均一な、有限の局所公理図式（axiom schemata）のリストを用いる回路表示を定義することである。

手法
本論文では、qudit回路をモデル化するために、多制御（polycontrolled）PROP（積および置換カテゴリ）として $\mathbf{CQC}_d$ を構築する。手法は以下の3つの段階を経て進行する：

1. 構文と意味論（Syntax and Semantics）:

   • 構文は、局所ゲート（スカラー位相および隣接する2レベル・アダマール）、逐次および並列合成、および**原始的な値制御（primitive value-controls）**から構築される。制御を派生した操作とする従来のアプローチとは異なり、ここでは各基底値 $k \in [d]$ に対する制御ファンクタ $C_k$ が原始的な構成要素である。
   • 意味論は、これらの回路を $(\mathbb{C}^d)^{\otimes n}$ 上のユニタリ演算子 $\mathbf{Qudit}_d$ へと写像する。
   • 著者らは、有限の局所公理図式の集合（図2および図3）によって生成される等式理論 $\mathbf{QC}_d$ を定義する。これらの図式は最大3本のワイヤを含み、次元 $d$ に関して一様であり、次元への依存性はレベルラベルとプロダクト・フレームの範囲に限定されている。

2. 制御代数の導出:

   • $\mathbf{CQC}_d$ の構造的合同性は、当初、単一の制御値に関する法則のみを強制する。本論文では、有限の公理系 $\mathbf{QC}_d$ が、グローバルな制御代数法則である適合性（異なる値の入れ子状の制御の入れ替え）、可換性（離れたブランチ上の演算の可換性）、および網羅性（すべての値制御ブランチの合成が恒等写像に等しいこと）を導出するのに十分であることを証明する。
   • この導出は、任意の制御回路を、コンテキスト的な「G因子」（生成子とその制御版）の逐次積へと簡約する「因子正規化（factor normalisation）」補題に基づいている。

3. 線形光学への転送による完全性の証明:

   • 完全性を証明するために、著者らはqudit回路を単一光子線形光学（LOPP）回路へと埋め込む転送議論を用いる。
   • $n$-quditレジスタの $d^n$ 個の計算基底状態を $d^n$ 個の光学モードへと写像するために、**反射型 $d$ 進グレー符号（reflected $d$-ary Gray code）**を利用する。この順序付けにより、隣接する光学モードが、制御下にある場合も含め、隣接する2レベルqudit遷移に対応することが保証される。
   • 証明では、qudit回路からLOPP回路へのエンコーディング $E$ と、逆方向のデコーディング $D$ を構築する。
   • 単一光子ユニタリに対するLOPPの完全性を活用し、2つのqudit回路が等しいユニタリ意味論を持つならば、それらのエンコーディングはLOPPにおいて等しいことを示す。この光学的な等価性のデコーディングと、リトラクション特性（$D(E(C)) = C$）を組み合わせることで、$\mathbf{QC}_d$ における等価性を得る。

主要な貢献

• 初の有限図式的理論: 本論文は、すべての有限次元 $d \geq 2$ において、厳密なユニタリqudit回路に対して健全かつ完全な、初の有限で図式的かつ有界な引数の等式理論を提供する。
• 原始的な値制御: 制御を派生した構文糖衣ではなく原始的な構成要素として扱うことで、制御ワイヤの「膨張」を回避している。これにより、公理系を有限かつ次元に依存しないものに保つことができる。
• 次元一様性: 公理の図形的形状は $d$ に依存しない。次元性はインデックスの範囲とプロダクト・フレームにのみエンコードされており、これにより理論のスケールアップと一様性が実現されている。
• 制御法則の内部導出: 制御主導のフレームワークにおいて公理として仮定されがちな性質である適合性、可換性、および網羅性が、回路PROP内の局所的かつ有限な規則から導出可能であることを示している。
• グレー順序による転送: qudit回路と線形光学を橋渡しするために反射型グレー順序を用いることは、局所性を保持し、光学ドメインからの完全性の結果をquditドメインへ転送することを可能にする新しい技術的貢献である。

結果
主要な定理（定理4.17）は、任意の $d \geq 2$ および任意の $n$-qudit回路 $C_1, C_2$ に対して以下を確立する：
$$\llbracket C_1 \rrbracket = \llbracket C_2 \rrbracket \iff \mathbf{QC}_d \vdash C_1 = C_2$$
ここで $\llbracket \cdot \rrbracket$ は標準的なユニタリ・デノテーションである。理論 $\mathbf{QC}_d$ は、健全（公理が意味論を保存すること）および完全（意味論的な等価性が導出可能性を意味すること）であることが証明されている。

意義
本論文は、**回路レベルの書き換え（rewriting）**のための基礎的なツールを提供すると主張している。ネイティブな等式理論を確立することで、回路全体を再構成したり外部のグラフィカル・カルキュラスに依存したりすることなく、局所的な変換（値制御の導入や隣接する2レベルゲートなど）について推論することを可能にする。この研究は、バイナリのショートカットが失敗し、構造化された制御管理が必要となるquditへの拡張という、qubitの完全性証明における特有の困難に対処している。著者らは、これを、ネイティブな高次元ハードウェア（例：捕獲イオンプロセッサ）を活用し、回路の深さやアンシラ要件を削減するためにquditワークスペースを利用するアルゴリズムを最適化するための、不可欠なステップとして位置づけている。