(Almost) quadruply optimal unitary designs in 1D

技術要約：(ほぼ) 四重に最適な 1D ユニタリ・デザイン

問題提起
近似的なユニタリ $k$-デザインの構築は、量子情報における基本的な課題であり、量子学習からデバイスのベンチマーキングに至るまで、ハール乱数ユニタリの資源効率の高い代替手段として機能する。真のハール乱数ユニタリを生成するには指数関数的な回路深さが必要となるが、ユニタリ $k$-デザインは、$k$ 次のモーメントにおいてハール測度を模倣する。中心的な課題は、特に最も実験的にアクセスしやすい設定である 1 次元（1D）近接相互作用アーキテクチャにおいて、これらを生成するために必要な回路深さを最小化することであった。

既存の構成法はトレードオフに直面してきた。初期のスペクトルギャップ解析は多項式時間の深さの境界をもたらし、後に $O(nk \log^7 k)$、次いで $O(nk)$ へと洗練された。最近の「グルーイング・レマ（gluing lemmas）」と「マジック増強回路」を用いた突破口により、特定の領域において $\tilde{O}(k) \log(n/\epsilon)$ または $O(\log(n/\epsilon) + 2^{O(k \log k)})$ の深さの境界が達成された。しかし、依然としてギャップが存在していた。すなわち、補助量子ビット（ancilla）を使用せずに、システムサイズ $n$、デザイン次数 $k$、および誤差 $\epsilon$ において最適なスケーリングを同時に達成し、かつ深さのスケーリングにおいて $n$ と $k$ をデカップリング（分離）できた構成法は存在しなかった。さらに、非クリフォード「マジック」ゲート（具体的には $T$ ゲート）に関するリソースコストも、理論的な下界に一致するように最適化されていなかった。

手法
著者らは、2 つの既存の理論的枠組み、すなわちマジック増強回路アーキテクチャ（Zhang et al., Ref. [1]）と、ユニタリ群に対する定数スペクトルギャップを持つ生成集合（Chen et al., Ref. [2]）を組み合わせ、洗練させた構成を提案している。核となる戦略は、$n$ 個の量子ビットの 1D チェーンに対して、パッチサイズ $\xi$ に分割された 2 層のブロック・ブリックワーク・アーキテクチャを用いるものである。

1. マジック増強回路の最適化:
   この構成は、ランダムなクリフォード演算を 2 層の $\ell$-局所近似ユニタリ $k$-デザインで挟み込んだ「マジック増強」ブロックを利用する。重要なパラメータは、クリフォード群の余剰な対称性（具体的には置換対称性による非置換クリフォード交換子要素）を打破するために必要な局所性 $\ell$ である。

   • 洗練: 著者らは、置換対称性の下でのクリフォード交換子の精緻な解析を行った。単位元に最も近い要素に焦点を当てることで、必要な局所性 $\ell$ を、従来の既知の $O(k \log k)$ から $O(\log k)$ へと削減できることを証明した。この削減は、回路の深さと必要なマジックゲート数の両方を圧縮する上で極めて重要である。

2. 定数深さの 1D 生成器:
   $\ell$-量子ビットのユニタリ群（具体的には CPZPC アンサンブル）のための生成集合を、定数スペクトルギャップを持ち、1D ジオメトリ上で定数深さで実装可能な形で構築する。

   • 置換群: カッサボフ（Kassabov）の置換群生成器を、オープン境界を持つ一般的な 1D システム上で「折り畳み量子ビット（folded-qubit）」レイアウトを導入することで、定数深さで合成できることを示す。このレイアウトにより、生成器の定義における巡回的な隣接関係が、物理的な 1D チェーンにおける定数距離の隣接関係となる。
   • クリフォード群: 定数 $\Omega(1)$ のカズダン定数を持つ、定数サイズの 1D ローカルなクリフォード群生成集合を構築する。これは、バイナリ・シンプレクティック群から（特殊線形群を経由して）生成器をリフトアップし、パウリ拡張と位相生成器を通じて完全なクリフォード群へと拡張することによって達成される。著者らは、この生成集合のサイズを明示的に 451 要素と限定している。

3. グルーイング（Gluing）:
   最終的なデザインは、グルーイング・レマ（Ref. [23]）を用いて組み立てられる。これにより、局所ブロックサイズ $\xi$ が $\xi = \Omega(\log(n/\epsilon) + k)$ を満たす場合、より小さなブロックを連結することで $n$ 量子ビットのデザインを形成できる。

主な結果
本論文は、近似ユニタリ $k$-デザインの構築に関する以下の主要な定理を確立している。

• 回路深さ: $n$ 量子ビット系およびデザイン次数 $k = O(n)$ に対して、補助量子ビットなしで 1D ローカルゲートを用いた $\epsilon$-相対誤差近似ユニタリ $k$-デザインを構築できる。その回路深さは以下の通りである：
  $$O\left(\log\left(\frac{n}{\epsilon}\right) + k \log k\right)$$
  これは、デザイン次数の方向における既知の下界 $\Omega(\log(n/\epsilon) + k)$ と、単一の $\log k$ の因子を除いて一致している。

• マジックゲート数: この構成には $O(nk \log k)$ 個の $T$ ゲート（マジックゲート）が必要である。これは誤差パラメータ $\epsilon$ に依存せず、従来の $O(\log^2 k (nk + \log(1/\epsilon)))$ という上限を改善している。これは下界 $\Omega(nk / (\log n \log k + \log^2 k))$ に接近している。

• 領域: この構成はデザイン次数が $k = \Theta(n)$ までの範囲で有効であり、効率的な高次デザインの実現可能な領域を、従来の $k = O(\sqrt{n})$ という制限を超えて拡張している。

• 補助的貢献: 本論文は、定数スペクトルギャップを持つ、定数サイズ（451 要素）の 1D ローカルなクリフォード群生成集合を提供しており、これはランダム化ベンチマーキングなどのタスクにおいて独立した関心事である。

意義と主張
著者らは、自らの構成が 1D アーキテクチャにおける「すべてのパラメータ（回路深さ、量子ビット数、誤差、およびマジック・リソース）において同時におよそ最適である」と主張している。マジックブロックの局所性を $O(k \log k)$ から $O(\log k)$ へと減少させ、必要な群要素のための定数深さ 1D 生成器を提供することにより、既存の上限と基礎的な下界との間のギャップをほぼ埋めている。

論文内では、デザイン次数のスケーリングにおける残留的な対数オーバーヘッド（$\log k$）が残っていることを控えめに述べている。これを排除するには、局所性 $\ell$ を $O(1)$ へとさらに減少させる必要があり、それには特異な領域におけるワインガテン関数（Weingarten function）の解析が必要になると示唆している。また、マジックゲート数は最適に近いものの、彼らの上限と理論的な下界との間には $O(\log n \log^2 k + \log^3 k)$ のギャップが残っており、著者らはこれを彼らの構成における潜在的な非効率性、あるいは下界の導出における損失に起因するものと考えている。

本研究は、システムサイズ $n$ をデザイン次数 $k$ からデカップリングしつつ、誤り耐性量子計算に要するコストの高い非クリフォード・リソースを最小化することで、1D システムにおけるリソース効率の高いユニタリ・デザイン生成の新たな基準を確立している。