技術要約：ワイル表現によるラマヌジャン量子エクスパンダー

問題設定

量子エクスパンダーは、古典的なランダムウォークにおけるエクスパンダーグラフの量子版である。これらは、第2特異値（トレースレス演算子に対する収縮因子）が小さいユニタリ量子チャネルとして定義される。具体的には、次数 $D$ の混合ユニタリ・チャネル $\Phi$ が、ラマヌジャン量子エクスパンダーであるとは、その第2特異値 $\sigma_2(\Phi)$ が $\lambda_D = \frac{2\sqrt{D-1}}{D}$ という境界を満たすことを指す。

Hastings (2007) は、ランダムなユニタリ行列が漸近的にこの境界を達成することを示したが、課題は、そのようなチャネルを明示的に構成し、かつ効率的な量子回路を実現することにある。Harrow (2008) は、もし群 $G$ 上の古典的ケイリーグラフがラマヌジャン・エクスパンダーであれば、$\mu$ を $G$ の既約表現としたとき、チャネル $\Phi_\mu(X) = \frac{1}{|S|} \sum_{s \in S} \mu(s) X \mu(s)^*$ はそのスペクトル境界を継承するという転移原理を提案した。しかし、$\mu(s)$ を効率的に実装することはボトルネックとなっていた。$PSL_2(\mathbb{F}_p)$ については、ラマヌジャン・ケイリーグラフが存在するものの（Morgenstern, 1994）、正則表現を分解するための効率的な非可換量子フーリエ変換（QFT）は知られていない。既存のアプローチは、最適な固定次数の境界に達しないか、あるいは加法的な誤差を導入する近似を必要とする。

手法

本論文では、以下の3つの要素を組み合わせることで、無限のラマヌジャン量子エクスパンダーの族を構成する：

1. 古典的ラマヌジャングラフ： $p = q^n$（$q$ は奇素数冪、$n$ は偶数）における $PSL_2(\mathbb{F}_p)$ 上のMorgensternによるラマヌジャン・ケイリーグラフを利用する。
2. 奇数部ワイル表現： 完全な群QFTを試みる代わりに、著者らは $SL_2(\mathbb{F}_p)$ のワイル表現の奇数既約部分表現を利用する。
   • ワイル表現は、基底状態 $|x\rangle$ （$x \in \mathbb{F}_p$）によって張られるヒルベルト空間 $\mathbb{C}^{\mathbb{F}_p}$ 上で作用する。
   • この表現は、3つの基本操作（二次位相（チャープ）、体スケーリング、および $\mathbb{F}_p$ 上の加法的フーリエ変換）によって生成される。
   • 著者は、この表現を奇パリティ部分空間 $H^-_p = \text{ker}(R+1)$（ここで $R|x\rangle = |-x\rangle$）に制限する。この部分空間の次元は $N = (p-1)/2$ であり、$PSL_2(\mathbb{F}_p)$ の射影作用の下で既約であることが証明されている。
3. 効率的な回路実装：
   • 任意の $g \in SL_2(\mathbb{F}_p)$ は、高々4つの基本行列に分解可能である（ブルート分解）。
   • ワイル表現の下で、これらの行列は上述の3つの基本量子操作に対応する。
   • 著者は、これらの操作が、$q$ にのみ依存する固定された有限ゲートセットを用いて、$O(\log^2 N)$ の基本ゲートと $O(\log N)$ のアンシラ量子ビット（qudit）で実装可能であることを示している。

主な貢献

1. ラマヌジャン境界の厳密な充足

主要な理論的貢献は、回路が正確に実装される限り、加法的な誤差なしにラマヌジャン境界 $\lambda_D = \frac{2\sqrt{D-1}}{D}$ を厳密に満たす量子チャネルの構成である。

• 先行研究（例：Iyer et al., 2026）は、$1/\epsilon$ に対して多項式時間で $\epsilon$ の加法的誤差を持つ「ニア・ラマヌジャン」境界を達成していた。
• 本構成は、$PSL_2(\mathbb{F}_p)$ から $SL_2(\mathbb{F}_p)$ への要素のリフトの2つの候補が、奇部分空間上ではスカラー位相の違いのみを持つという事実に依拠している。量子チャネルは共役（$U X U^\dagger$）を伴うため、これらのスカラー位相は相殺され、チャネルはリフトの選択に依存せず、ウェルデファインド（well-defined）となる。

2. 効率的な回路複雑性

本論文は、次元 $N$ の次数 $D$ の量子エクスパンダーに対する明示的な回路構成を提供する：

• ゲート数： $O(\log^2 N)$ 基本ゲート。
• アンシラ： $O(\log N)$ アンシラ量子ビット。
• ゲートセット： $q$ に依存する固定された有限ゲートセット（体算術、制御置換、および基本体 $\mathbb{F}_\ell$ 上のフーリエ変換を含む）。
• 前処理： 体モデル、生成行列、および回路係数を決定するために必要な古典的前処理は、$\tilde{O}(\log^5 N)$ ビット演算である。

3. 完全な群QFTの回避

本構成は、$PSL_2(\mathbb{F}_p)$ 上の完全な非可換QFTの必要性を回避している。単一の大きな既約表現（奇数部ワイル表現）がHarrowの転移補題には十分であることを特定することで、著者は正則表現全体を分解するという障害を回避している。

結果

本論文は以下の定理を確立する：
すべての奇素数冪 $q$ と次数 $D = q+1$ に対して、ヒルベルト空間の次元 $N_k = (q^{2k}-1)/2$ を持つラマヌジャン量子エクスパンダーの無限族 $\{\Phi_{p_k}\}$ が存在する。

• このチャネルは、次数 $D$ の混合ユニタリ・チャネルである。
• 第2特異値は $\sigma_2(\Phi_{p_k}) \le \frac{2\sqrt{D-1}}{D}$ を満たす。
• 実装には $O(\log^2 N)$ ゲートと $O(\log N)$ アンシラを使用する。

また、近似についても言及している。もし正確なゲートセットが、Solovay-Kitaev合成を用いたユニバーサルゲートセットに置き換えられた場合、スペクトル境界は近似誤差に比例する加法的誤差を被るが、これは標準的な量子回路合成の限界と一致する。

意義と主張

本論文は、主にスペクトル境界の厳密性と構成の効率性において意義があると主張している。

• 厳密性： 漸近的または誤差を伴ってラマヌジャン境界に接近する以前の研究とは異なり、本手法は理想的な回路において、この境界を厳密に満たす。これは、奇数部ワイル表現の表現論的性質と、Morgensternのグラフの特定の選択の直接的な帰結である。
• 効率性： 本構成は、次元 $N$ に対する回路の深さとサイズにおいて、古典的なエクスパンダー構成の効率性と一致する、最適な対数スケーリングを達成している。
• 理論的架け橋： 古典的ラマヌジャングラフ（Morgenstern）と量子エクスパンダー（Harrow）の間のギャップを、これまでこの目的には十分に活用されてこなかった、効率的に実装可能な特定の表現（ワイル表現）を用いることで、見事に埋めている。

著者は、理論的な実装は厳密であるが、実際の実装はSolovay-Kitaevの定理に依存し、ユニタリ行列を近似するための標準的なオーバーヘッドが生じることを注記している。しかし、理論的な枠組みは、クリーンでエラーのないベースラインを提供している。本研究は、特定の数列 $N_k = (q^{2k}-1)/2$ だけでなく、すべての 次数およびすべての 十分に大きなヒルベルト空間の次元に対してこのようなエクスパンダーを構成するという問題については、今後の課題として残している。