技術要約：Clifford+$\sqrt{T}$ ゲートセットにおける一般的な単一量子ビットユニタリの近似合成

問題提起

フォールトトレラント量子回路のコストは、非クリフォードゲート、特に $T$ ゲート（Z軸周りの $\pi/4$ 回転）によって支配されます。標準的な Clifford+$T$ ゲートセットに対する決定論的かつアンシラフリーなユニタリの合成については、すでに $T$ カウントの最適性が証明されていますが、$\sqrt{T}$ ゲート（$\pi/8$ 回転）の導入は、実装可能な操作のより細かい格子を提供します。

$\sqrt{T}$ マジック状態へのアクセスが合成コストを下げると想定されてきましたが、Clifford+$\sqrt{T}$ ゲートセットにおける一般的なユニタリに対する直接的な決定論的・アンシラフリーのアルゴリズムは存在しませんでした。従来の手法は、一般的なユニタリを3つの単一軸回転に分解（オイラー分解）してそれぞれを独立に合成するか、あるいは確率的な混合やアンシラを用いたフォールバックといった間接的なアプローチに依存していました。本論文は、これらの間接的な分解やアンシラのオーバーヘッドを回避する、Clifford+$\sqrt{T}$ のための直接的な合成アルゴリズムを提供することで、この空白を埋めるものです。

手法

数学的枠組み

著者らは、Morisaki らによって Clifford+$T$ に対して開発された整数格子点列挙法を拡張しています。

• 環の拡張: 合成問題は、円分整数環 $\mathbb{Z}[\omega]$（ここで $\omega = e^{2\pi i/8}$）から、より大きな環 $\mathbb{Z}[\zeta]$（ここで $\zeta = e^{2\pi i/16}$）へとマッピングされます。
• 格子の幾何学: ターゲットとなるユニタリ $V$ は、16次元の整数格子に埋め込まれます（Clifford+$T$ の8次元と比較）。探索では、以下の3つの幾何学的条件を満たす整数ベクトル $x$ を探します。
  1. ノルム・シェル: $\|x\|^2 = 2^k$。これにより、ベクトルが特定の深度スケール $k$ における有効なユニタリに対応することが保証されます。
  2. 双線形方程式: 3つの二次制約（$\Phi_j(x) = 0$）により、ベクトルがユニタリ行列であることを保証します（Clifford+$T$ の場合の1つの制約と比較）。
  3. キャップ条件: $(\hat{y} \cdot x)^2 \geq \tau(k, \epsilon)$。これにより、結果として得られるユニタリがターゲットとのダイヤモンド距離 $\epsilon$ 以内にあることが保証されます。
• 探索アルゴリズム: アルゴリズムは、LLL 格子簡約法に続いて Schnorr–Euchner 列挙法を採用し、ターゲット精度によって定義される「キャップ」領域内の最も近い格子点を探索します。

アルゴリズムの特徴

提案されているアルゴリズム（Algorithm 2）は、直接的（回転分解ではなくユニタリ全体を合成する）であり、決定論的で、かつアンシラフリーです（アンシラはマジック状態の準備には使用されますが、合成回路自体の中では使用されません）。

• コスト最小化: 最浅の実行可能解が最適となる Clifford+$T$ の場合とは異なり、Clifford+$\sqrt{T}$ のコスト関数は、$T$ ゲートと $\sqrt{T}$ ゲートの混合コストにより、深度に対して非単調です。アルゴリズムは、最初の実行可能深度を超えた「コストウィンドウ（$w$）」内を探索し、その中でグローバルに最も安価な回路を見つけ出します。
• フロアリング: 出力が決して最適な Clifford+$T$ 解よりも高価にならないことを保証するため、アルゴリズムは Clifford+$T$ シンセサイザーを並行して実行し、$\sqrt{T}$ の結果を Clifford+$T$ に対してフロア（下限設定）します。

リソースコストモデル

コスト指標は、期待される $T$ 状態注入数です。

• $T$ ゲートは 1 つの $T$ 状態を消費します。
• $\sqrt{T}$ ゲートは、マジック状態触媒（Gidney および Fowler に従う）を介して実装され、期待値として 3 つの $T$ 状態を消費します（一度限りの触媒準備コストを償却した後）。
• 合計コスト: $n_T + 3n_{\sqrt{T}}$。

主な貢献

1. 直接合成アルゴリズム: Clifford+$\sqrt{T}$ ゲートセットにおける、一般的な単一量子ビットユニタリのための、初の決定論的かつアンシラフリーな近似合成アルゴリズム。
2. 格子法の拡張: Morisaki らによる $\mathbb{Z}[\omega]$ から $\mathbb{Z}[\zeta]$ への整数格子列挙技術の、16次元への次元増加および追加の双線形制約を伴う成功的な一般化。
3. オープンソース実装: $\epsilon = 10^{-8}$ の精度まで数秒で回路を合成できるライブラリ cyclosynth のリリース。
4. 経験的なコスト削減: 直接的な Clifford+$\sqrt{T}$ 合成が、間接的な手法（オイラー分解）および直接的な Clifford+$T$ 合成の両方と比較して、大幅に低い非クリフォードコストを実現することを実証。

結果

コストのスケーリング

Haar ランダムなターゲットにおいて、合成された回路の非クリフォードコストは以下のようにスケーリングします：

• Clifford+$\sqrt{T}$: $2.4 \log_2(1/\epsilon)$
• Clifford+$T$ (最適): $3.0 \log_2(1/\epsilon)$
• 間接 Clifford+$T$ (オイラー): $\sim 9 \log_2(1/\epsilon)$

これは、証明された最適 Clifford+$T$ 回路と比較して 20% のコスト削減であり、間接的な分解手法と比較すると劇的な削減となります。

実験的パフォーマンス

• コスト削減: テストされたターゲットの 99.4% から 100% において、Clifford+$\sqrt{T}$ 回路は最適な Clifford+$T$ 回路よりも厳密に安価です。中央の相対コスト削減率は約 25%（中央値 $\rho \approx 0.73$）です。
• 実行時間: 16 次元の探索を行うため、Clifford+$T$ よりも計算負荷が高くなります。実行時間の中央値は、$\epsilon=10^{-3}$ で 0.9 秒、$\epsilon=10^{-8}$ で 7.0 秒であり、Clifford+$T$ のミリ秒単位と比較して長くなっています。しかし、著者らは合成はオフラインのプロセスであり、ゲートコストこそが主要な指標であると述べています。
• 堅牢性: この優位性は、$\sqrt{T}$ ゲートのコストが約 4.0 から 5.3 $T$ 状態のクロスオーバーポイントを下回る限り維持されます。触媒によるコストは 3 $T$ 状態であるため、このアプローチは依然として有利です。

意義と主張

本論文は、ユニタリを単一軸回転に分解するオーバーヘッドを回避する、Clifford+$\sqrt{T}$ に対する近似合成問題への初の直接的な解決策を提供すると主張しています。著者らは、彼らの手法が決定論的かつアンシラフリーであることを強調しており、量子リソース（アンシラや測定）が利用できないシナリオや、単一の静的な回路が必要なシナリオにおいて、最も要求の少ない選択肢となります。

著者らは最適性に関して謙虚な姿勢をとっています：

• 彼らは、Clifford+$T$ の既知の $T$ カウントの下限（$\mathbb{Z}[\omega]$ に基づく）が $\mathbb{Z}[\zeta]$ にも転移することを証明していないため、Clifford+$\sqrt{T}$ ゲートセットにおける情報理論的な下限を達成しているとは断言していません。
• しかし、彼らのコストスケーリング（$2.4 \log_2(1/\epsilon)$）は、Kliuchnikov らが見出した $z$ 回転のパワーコスト最適スケーリングと一致しており、探索が最適に近いことを示唆していると述べています。
• また、確率的な手法（チャネル混合）やアンシラベースのフォールバックは、より低い「期待」コストを実現できる可能性があるものの、それらは実行の保証やリソース要件とのトレードオフを伴うことも認めています。

要約すると、本研究は、Clifford+$\sqrt{T}$ というより細かい格子の利用と直接的な合成アルゴリズムを組み合わせることで、現実的なマジック状態コストモデルの下で、一貫して Clifford+$T$ よりも安価なゲートシーケンスが得られることを確立しています。