The Geometric Product of í µí² Vectors: a Grade-Spectrum Theorem, Exact Second Moments, and a Two-Scale Cut-off for Random Versors

技術要約：$n$ 個のベクトルの幾何学的積

問題設定
本論文は、$\mathbb{R}^d$ のクリフォード代数におけるベルサー（$n$ 個の非ゼロベクトルの積、$X = a_1 \cdots a_n$）の代数的記述と幾何学的記述の間の根本的な関係を取り扱っている。

1. 代数的記述： ベルサーは、様々なグレード $s$ の成分 $\langle X \rangle_s$ を持つマルチベクトルである。
2. 幾何学的記述： ベルサーは、ねじれた随伴作用（twisted adjoint action）を介して直交写像 $\rho_X \in O(d)$ を誘導する。

中心となる問題は、「グレード・スペクトル」（グレード成分の二乗ノルム $\|\langle X \rangle_s\|^2$）が、誘導された直交写像 $\rho_X$ のスペクトル特性とどのように正確に関係しているかを明らかにすることである。さらに、本論文では、ベクトル $a_i$ がランダムに（等方的に、または球面上に一様に）選ばれる場合の、これらのランダムなベルサーの統計的振る舞い、特にランダムなベルサーの平衡への収束（混合時間）について調査している。

手法
著者は、クリフォード代数における代数的操作、表現論、およびコンパクト群上のランダムウォークの確率論的解析を組み合わせて用いている。

• 代数的枠組み： 本論文は、ベクトル積の部分的マッチング（ウィック）展開、反転恒等式、およびグラム行列を利用している。ベルサーのグレード・エネルギーと、その誘導された直交写像との間の基底に依存しない接続を確立している。
• 行列式恒等式： 核となる手法は、厳密な行列式公式の導出である。著者は、グレード・エネルギーの生成関数が、単位行列 $I_d$ と写像 $\rho_X$ を含む単一の行列式であることを証明している。
• 確率論的解析： 独立な一様単位ベクトルのランダムな積に対して、本論文はグレード・プロファイルの進化をモデル化している。期待されるプロファイルをエーレンフェストの壺モデル（$\{0, \dots, d\}$ 上の古典的なランダムウォーク）に結びつけ、個別のプロファイルを $O(d)$ 上の反射ウォーク（reflection walk）に結びつけている。
• スペクトル解析： 混合時間は、直交群の指標比と、クラッチコフ多項式の性質を用いて解析されている。本論文は、「平均化された」プロファイル（ランダム性に対する期待値）と「個別」のプロファイル（単一の実現の法則）を区別している。

主要な貢献と結果

1. グレード・スペクトルおよびブレード・スペクトルの定理

• グレード・スペクトル定理 (Theorem 4.3): 本論文は、グレード・エネルギーの生成関数に関する厳密な公式を導出している：
  $$\sum_{s=0}^d \|\langle X \rangle_s\|^2 t^s = |X|^2 \det\left( \frac{(1+t)I_d + (1-t)\rho_X}{2} \right)$$
  これは、古典的なスピン・キャラクター恒等式（偶置換ベルサーの場合 $\langle X \rangle^2 = \det((I+\rho_X)/2)$）を、グレードごとに解決することで精緻化したものである。
• ブレード・スペクトル定理 (Theorem 4.10): 任意のブレード $e_I$ 上のベルサーの二乗座標は、単一の行列式によって与えられる：
  $$X_I^2 = |X|^2 \det\left( \frac{I_d + \rho_X D_I}{2} \right)$$
  ここで $D_I$ は対角符号行列である。この公式は、奇置換（Pin群）を含むすべてのベルサーに対して有効であり、マイナーからスピン群の要素を再構成するShirokovの手法を拡張したものである。$\mathbb{R}^3$ においては、シェパードのクォータニオン抽出公式を回収する。

2. グレード・プロファイルの構造的性質

• クラッチコフ変換： グレード・エネルギーは、$\rho_X$ の外積冪のトレースのクラッチコフ変換であることが示されている（Corollary 4.5）。
• 統計的モーメント： 平均グレードは $(d - \text{tr}\rho_X)/2$ であり、グレード分散は $(d - \text{tr}\rho_X^2)/4$ である（Corollary 4.6）。
• 完全不変量： グレード・プロファイルは、単位ベルサーに対する完全な共役不変量である。2つのベルサーが同じプロファイルを持つのは、それらの誘導された直交写像が $O(d)$ において共役である場合と同値である（Corollary 4.7）。
• 超対数凹性（Ultra-log-concavity）： プロファイルはそのパリティ・クラス上で超対数凹であり、支配的なグレードは平均グレードの2ユニット以内に存在する（Corollary 4.13）。

3. ランダムなベルサーと二段階カットオフ現象
本論文は、ランダムなベルサーの混合挙動を分析し、「二段階（two-scale）」のカットオフ現象を明らかにしている：

• 平均化されたプロファイル（平均）： 期待されるグレード・プロファイルは、エーレンフェストの壺の法則に従う。これは、約 $\frac{d}{4} \log d$ 回の反射後に平衡状態に達する（Theorem 7.1）。
• 個別のプロファイル（法則）： 単一のランダムなベルサーに関するグレード・プロファイルの分布は、$O(d)$ 上の反射ウォークの平衡への距離のすべてを保持している。これは、約 $\frac{d}{2} \log d$ 回の反射後にのみ平衡に達する（Corollary 7.8）。
• ギャップの意義： $\frac{d}{4} \log d$ と $\frac{d}{2} \log d$ の間では、平均プロファイルは平衡しているように見えるが、個別のプロファイルは依然として一様から遠い。直交写像のトレース（$\text{tr}\rho_X$）は、この非一様性を検出する「遅い統計量」として機能する。

4. 厳密な二次のモーメントと境界

• 本論文は、ランダムなベルサーのトレースとグレード分散の厳密な二次のモーメントを提供している（Theorem 6.2）。
• 反射ウォークの全変動距離に対する明示的な二次のモーメントの下限を確立しており（Theorem 7.5）、Porodによる下限の主要な定数を 16.4 から $8d^{4/d}$（これは 8 に収束する）へと改善し、誤差項を精緻化している。

意義と主張
本論文は、以下の事項を既存の文献にはない新規の貢献として主張している：

1. 基底に依存しない行列式公式： グレード・スペクトルおよびブレード・スペクトルの定理の導出。これらは、全Pin群に対して有効な、$\rho_X$ のスペクトルのみを用いた単一の行列式を通じて、座標の二乗およびグレード・エネルギーを表現する。
2. 二段階カットオフ： クリフォード代数内部で定義されるグレード・プロファイルが、完全な不変量として機能し、反射ウォークの完全な混合距離を保持する一方で、平均化されたプロファイルはエーレンフェストの速度へと収縮するという観察。これは、ベクトル積に基づくランダムな回転生成器が、平均的な指標では収束しているように見えても、個別の実現においては依然として検出可能な非一様性を保持している理由を説明するものである。
3. 改善された混合境界： Porodによる先行研究と比較して、$O(d)$ 上の反射ウォークに対するよりタイトで明示的な下限の提供。

本研究は、幾何学的代数、表現論、および確率論を橋渡しし、ベルサーをその幾何学的作用から再構成するための厳密な代数的ツールと、ランダムな直交変換の収束に関する精密な確率論的診断を提供している。