Optimal expansion in unitary groups I: Golden adelic groups and cutoff

技術要約：ユニタリ群における最適拡大 I：ゴールデン・アデリック群とカットオフ

問題提起
本論文は、算術幾何学、表現論、および量子計算の交差点における、相互に関連する2つの問題に取り組んでいる。第一に、射影ユニタリ群（$PU_n$）において、対応するブルア・ティト・ビューチン（Bruhat-Tits）建築物に対して推移的に作用する$p$進算術格子を構成することを目指している。これらの群は、「ゴールデン・ゲート集合（Golden Gate sets）」、すなわち、量子回路の効率的かつ近似的に最適なコンパイルを可能にする量子ゲートの生成集合を構築するために極めて重要である。第二に、ブルア・ティト・ビューチン建築物の商におけるランダムウォークに関する「カットオフ現象」（混合時間の急激な遷移）を調査している。ラマヌジャン特性（素朴ラマヌジャン予想、NRC）は、特定の群（$U_2$など）に対してカットオフを保証するが、$n \ge 3$の行列ユニタリ群$U_n$では失敗することが知られている。著者らは、非テンパー型表現の密度を制限するサルナック・シュ（Sarnak-Xue）密度仮説（SXDH）の下で、カットオフを確立することを目指している。

手法
著者らは、算術群論、ブルア・ティト・ビューチン建築物の理論、およびヘッケ作用素のスペクトル解析を組み合わせて用いている。

1. 算術的構成: クラス数1の$p$進算術群（建築物に対して推移的に作用するもの）の存在を証明するために、著者らは2つの異なる手法を用いている。

   • シーゲル・プラサド体積公式: 著者らはタマガワ測度を用いて算術群の質量を計算し、それを整数上の群のサイズと比較する。もし質量が群のサイズの逆数であれば、クラス数は1となる。
   • 強近似と「One-for-All」: 強近似定理を用いて、もし部分群が建築物の頂点に対して推移的に作用するならば、その群はクラス数1であることを示す。これには、特定の合同類における要素の計数と、建築物の次数の関連付けが含まれる。

2. ブルア・ティト理論: 本論文は、半単純$p$進群のためのブルア・ティト・ビューチン建築物の構造に大きく依存している。著者らは、カルタンおよびイワホリ分解、パラホリックおよびイワホリ部分群の構造、ならびにこれらの群による建築物のチャンバーおよび頂点への作用を利用している。また、顔（face）のスタビライザーおよび構造に対する群の推移性を具体的に分析している。

3. ヘッケ作用素のスペクトル境界: 著者らの主要な技術的貢献は、ユニタリ既約表現に作用するヘッケ作用素の作用素ノルムの上界の導出である。著者らは、作用素ノルム $\|1_{PSP} | \pi_P \|_{op}$ を、集合 $S$ のサイズと、表現 $\pi$ の行列係数の減衰率 $\sigma(\pi)$ を用いて抑える。これは、より広いクラスのコンパクト開部分群 $P$ および集合 $S$ に対して、従来の成果を一般化したものである。

4. カットオフ解析: 建築物の有限商における幾何学的作用素（隣接作用素の累乗など）の混合時間を分析する。著者らは、商の$L^2$空間を既約表現へと分解する。ヘッケ作用素のスペクトル境界と、非テンパー型表現の寄与を制限するSXDH、およびスペクトルギャップの仮定を組み合わせることで、全変動距離が特定の時刻で急激に減少することを証明する。

主な貢献と結果

• ゴールデン・アデリック群の構成:

  • 著者らは、$PU_4$および$PU_8$においてクラス数1を持つ$p$進算術部分群の具体的な例を構成した。これらの群は、特定の素数$p$に対する$PU_4(\mathbb{Q}_p)$のブルア・ティト・ビューチンの頂点に対して単純推移的に作用する。
  • これらの構成は、ルボトスキー、フィリップス、およびサーンラック（LPS）による先駆的な研究を高次元へと拡張するものである。具体的には、本論文は、2量子ビット（$PU_4$）および3量子ビット（$PU_8$）システムのための「ゴールデン・ゲート集合」を構築するために必要な算術的基礎（クラス数1の群としての$PU_4$および$PU_8$）を提供している。
  • 著者らは、二次虚数体（$\mathbb{Q}[\sqrt{-1}], \mathbb{Q}[\sqrt{-2}], \mathbb{Q}[\sqrt{-3}], \mathbb{Q}[\sqrt{-7}]$）上で実現された$E_8$格子に基づく新しい例や、建築物が木（tree）となる非準分裂（non-quasisplit）群を含む構成を提示している。2および3量子ビットのためのゴールデン・ゲート集合の完全な構成は、これらの算術群とSXDHの結果を併用することで、コンパニオン論文[DEP]において完了される。

• SXDHの下でのカットオフ:

  • 論文は、ある種の有限商のブルア・ティト・ビューチン建築物が、SXDHを満たし、かつスペクトルギャップ特性を持つ場合、カットオフ現象を示すことを証明している。
  • この結果は、NRC（より強い条件）を必要とするラマヌジャン複体のカットオフ定理を、NRCが成立しないより広範な群のクラスへと一般化するものである。
  • 混合時間は $t(n) = \log_d(n)$ （ここで $d$ は幾何学的作用素の指数的成長率）であり、カットオフ窓は $w(n) = o(t(n))$ であることが示されている。

• スペクトル境界:

  • 定理5.3は、ヘッケ作用素の作用素ノルムに関する一般的な境界 $\|1_{PSP} | \pi_P \|_{op} \ll (\log |S|)^{C+d} |S|^{\frac{\sigma-1}{\sigma}}$ を提供する。この境界は、ラマヌジャン特性が成立しない場合の混合時間解析における誤差項を制御するために極めて重要である。

意義

本論文は、主に以下の2つの領域において意義を持つと主張している。

1. 量子計算: 構成された$PU_4$および$PU_8$における$p$進算術群は、2および3量子ビットのための「ゴールデン・ゲート集合」を構築するために必要な不可欠な算術的要素を提供する。これらの集合は回路長に関して最適であり、効率的なコンパイルアルゴリズムを備えている。これは、算術群論の適用範囲を、これまで主に$PU(2)$の構成に限定されていた高次元のユニバーサル量子計算へと拡張するものである。これらのゲート集合の実際の構成は、本論文の結果を定符的代数ユニタリ群に対するSXDHの証明と組み合わせることにより、コンパニオン論文[DEP]において完成される。

2. 拡大の数学的理論: 本論文は、素朴ラマヌジャン予想（NRC）が成立しない場合でも、カットオフ現象が頑健に存続することを立証している。NRCをSXDHに置き換えることで、著者らは、一般的な半単純$p$進群のブルア・ティト・ビューチン建築物の商における拡大特性を理解するための枠組みを提供している。これにより、ラマヌジャングラフ／複体の理論と、非テンパー型表現が避けられないより一般的な算術群の景観との間の溝を埋めている。

著者らは、コンパニオン論文[DEP]が、これらの結果を利用して次元4および8の定符的代数ユニタリ群に対するSXDHを証明し、それによってゴールデン・ゲート集合の構成を完了させ、関連する実リー群のほぼ最適な被覆特性を証明していることを述べている。