Borrowed Identities: Malleable Distillation Factories and a Unified Numerical Search

技術要約：ボロー・アイデンティティ（借りられた恒等写像）とマジック状態蒸留のための統一数値探索

問題提起
マジック状態蒸礼（MSD）は、ゲート・テレポーテーションを通じて非クリフォード・ゲートを実装するために必要となる、フォールトトレラント量子計算（FTQC）における主要なオーバーヘッドである。蒸留ファクトリーの設計に関する既存の手法は、「ハイゼンベルク描像」に依存しており、そこでは横断的（transversal）なゲートがコード空間全体に対して正しく作用することを要求する。この制約は、しばしば三直交性（tri-orthogonality）や準横断性（quasi-transversality）として定式化され、探索の汎用性と効率を制限し、設計問題を非線形行列方程式へと変貌させてしまう。さらに、現在のフレームワークは、異なるマジック状態（例：$|T\rangle, |CS\rangle, |CCZ\rangle$）のためのファクトリーを別個の問題として扱う傾向があり、クリフォード階層全体にわたる統一的な探索を妨げている。

手法：ボロー・アイデンティティ（Borrowed-Identity）フレームワーク
著者らは、シュレディンガー描像において定式化された、「ボロー・アイデンティティ（借りられた恒等写像）」と呼ばれる、より厳密に弱い条件を導入する。全コード空間に対して回路が恒等写像として作用することを要求する代わりに、このフレームワークでは、回路 $C$ が特定の入力状態に対して（グローバル位相を除いて）恒等写像として作用することのみを要求する：
$$C |+\rangle^{\otimes n} = e^{i\phi} |+\rangle^{\otimes n}$$
ここで「恒等写像」は、入力状態から事実上「借りられている」。蒸留ファクトリーは、$n$ 量子ビット上のこのようなボロー・アイデンティティ回路を作成し、出力量子ビットのサブセット $k$ 個のみに作用するすべてのゲートを取り除くことによって構築される。残りの $n-k$ 量子ビットはエラー検出のために $X$ 基底で測定され、$k$ 個の出力量子ビットは蒸留されたマジック状態 $|\theta\rangle$ として残される。

このフレームワークは、$\theta = \pi/2^l$（ここで $l$ はクリフォード階層の第 $l$ レベルに対応）であるパリティ位相ゲート $Z^{\otimes w}(\theta)$ を利用する。著者らは、これらの回路がファクトリーとして機能するための代数的な条件を、修正なしにすべてのレベル $l$ に対して一様に成立するように、$\theta$ によってパラメータ化して導出している。

探索は以下の3つの設定で行われる：

1. 対称回路（Symmetric Circuits）： 全対称群 $S_n$ に対して不変。これは、既知の量子リード＝マラー・コード・ファミリーを回収する閉形式のマスター方程式（定理3）をもたらす。
2. 二群対称回路（Two-Group Symmetric Symmetric Circuits）： 量子ビットを $k$ 個の出力と $n-k$ 個のチェック量子ビットに分割し、各グループ内で対称性を持つ（$S_k \times S_{n-k}$）。これにより、符号の割り当ての妥当性を $\mathbb{Z}_{2^{l+1}}$ 上の線形条件（定理5）を通じて多項式時間 $O(k(n-k))$ で検証可能なブルートフォース探索が可能になる。
3. 可塑的回路（Malleable Circuits）： 単一の親ボロー・アイデンティティが複数のファクトリーをエンコードする逐次構成。ゲートを逐次的に取り除くことで、出力マジック状態のタイプ（例：$|T\rangle, |CS\rangle, |CCZ\rangle$）を、ハードウェア設計によって固定するのではなく、コンパイル時に選択できる。

主な貢献と結果

• 統一された探索空間： 本フレームワークは、異なるマジック状態（非もつれ状態の $T$、$|CS\rangle$、$|CCZ\rangle$）を蒸留するファクトリーの探索を、単一の数値探索の中に統一する。これは、Bravyi–Haah、H-code、一般化された三直交、およびsynthillation（シンティレーション）といった、一見異なるアプローチから得られる既知のファクトリーを回収する。
• 既知および新しいファクトリーの回収： 標準的なノートパソコンを用いた二群非対称回路に対するブルートフォース探索により、スイープ範囲内（$l \in \{2,3,4\}, k \le 7, n \le 11$）の既知の距離2ファクトリーを約9秒間ですべて回収した。これには以下が含まれる：
  • $[[2^{l+1}-1, 1, 3]]$ 量子リード＝マラー・ファミリー（距離3）。
  • $[[2^l, l, 2]]$ ハイパーキューブ量子コード・ファミリー。
  • 代数幾何（AG）符号から導出された構成と一致する $[[12, 2, 2]]$ T-to-CS ファクトリーおよび $[[24, 6, 2]]$ T-to-CCZ ファクトリー。
  • 二群対称性を破る Campbell–Howard のシンティレーション回路のような、これまで関連付けられていなかったファミリー。
• 可塑性（Malleability）： 著者らは、単一の親回路が複数の異なるファクトリーをエンコードできることを示している。例えば、4量子ビットの親回路は、ゲートの集合を入れ替えるだけで、$[[8, 3, 2]]$ ($|CCZ\rangle$)、$[[12, 2, 2]]$ ($|CS\rangle$)、および $[[14, 1, 2]]$ ($|T\rangle$) を生成できる。これにより、出力タイプをコンパイル時に遅延させることが可能になる。
• CSSを超えた拡張： 本フレームワークは、ボロー・アイデンティティ成分に加えてクリフォード・ゲートを利用する触媒ファクトリー（例：$[[11, 1, 2]]$ および $[[10, 2, 2]]$）を含む、非CSS構成にも自然に拡張される。

意義
本論文は、ボロー・アイデンティティ条件が、横断的ゲートの制約に対する「より厳密に弱い」かつより一般的な代替手段を提供し、蒸留ファクトリーの統一的かつ効率的、かつ網羅的な探索を可能にすると主張している。ハイゼンベルク描像（演算子の横断性を追跡する）からシュレディンガー描像（状態の進化を追跡する）へと移行することで、著者らは、レベル一様で線形な代数的構造を実現した。この統一化は、以前は別個であった多くのファクトリー構成が、単一の親回路の終着点であることを明らかにしており、フォールトトレラント・コンパイルに対する新たな自由度、すなわち、ハードウェア設計にハードコードするのではなく、コンパイル時に特定のマジック状態リソースを選択できる能力を提供する。本研究は、すべてのクリフォード・レベルおよび出力タイプにわたる蒸留のための単一の代数的基盤を確立し、コードに基づく構成と回路に基づく探索の間の溝を埋めるものである。