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$ 的克利福德代数（Clifford algebra）中，一个向心子（versor，即 $n$ 个非零向量的乘积，$X = a_1 \cdots a_n$）的代数描述与几何描述之间的基本关系。

1. 代数描述： 向心子是一个具有各种阶数（grades）分量 $\langle X \rangle_s$ 的多向量（multivector）。
2. 几何描述： 向心子通过扭曲伴随作用（twisted adjoint action）诱导一个正交映射 $\rho_X \in O(d)$。

核心问题在于，确定“阶数谱”（grade spectrum，即各阶分量的平方范数 $\|\langle X \rangle_s\|^2$）如何精确地与诱导正交映射 $\rho_X$ 的谱性质相关联。此外，本文研究了当向量 $a_i$ 是随机选择时（各向同性或在球面均匀分布），这些随机向心子的统计行为，特别是分析这些随机向心子的趋于平衡（混合时间）的过程。

研究方法
作者结合了克利福德代数中的代数运算、表示论以及紧致群上的随机游走概率分析。

• 代数框架： 本文利用向量积的部分匹配（Wick）展开、反转恒等式（reversion identities）和格拉姆行列式（Gram determinants）。它建立了阶数能量（grade energies）与诱导正交映射之间的无基底联系。
• 行列式恒等式： 核心技术涉及推导精确的行列式公式。作者证明了阶数能量的生成函数是一个涉及单位矩阵 $I_d$ 和映射 $\rho_X$ 的单行列式。
• 概率分析： 对于独立均匀单位向量的随机乘积，本文对阶数剖面（grade profile）的演化进行了建模。它将期望剖面与恩费斯特瓮模型（Ehrenfest urn model，一种在 $\{0, \dots, d\}$ 上的经典随机游走）联系起来，并将个体剖面与 $O(d)$ 上的反射游走（reflection walk）联系起来。
• 谱分析： 利用正交群的特征标比（character ratios）和 Krawtchouk 多项式的性质来分析混合时间。本文区分了“平均”剖面（对随机性的期望）和“个体”剖面（单次实现的分布）。

主要贡献与结果

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)： 向心子在任何叶片（blade）$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$ 中，它还原了 Shepperd 的四元数提取公式。

2. 阶数剖面的结构性质

• Krawtchouk 变换： 阶数能量被证明是 $\rho_X$ 的外幂迹（exterior-power traces）的 Krawtchouk 变换（推论 4.5）。
• 统计矩： 平均阶数为 $(d - \text{tr}\rho_X)/2$，阶数方差为 $(d - \text{tr}\rho_X^2)/4$（推论 4.6）。
• 完全不变量： 对于单位向心子，阶数剖面是一个完全共轭不变量；两个向心子具有相同剖面，当且仅当它们的诱导正交映射在 $O(d)$ 中共轭（推论 4.7）。
• 超对数凹性： 该剖面在其奇偶类上是超对数凹的（ultra-log-concave），且主导阶数位于平均阶数的 $\pm 2$ 单位范围内（推论 4.13）。

3. 随机向心子与两尺度截断现象
本文分析了随机向心子的混合行为，揭示了一种“两尺度”截断（two-scale cut-off）现象：

• 平均剖面（期望）： 期望阶数剖面遵循恩费斯特瓮定律。它在大约 $\frac{d}{4} \log d$ 次反射后达到平衡（混合）（定理 7.1）。
• 个体剖面（分布）： 单个随机向心子的阶数剖面分布携带了 $O(d)$ 上反射游走的完整距离平衡信息。它在大约 $\frac{d}{2} \log d$ 次反射后才达到平衡（推论 7.8）。
• 间隙的意义： 在 $\frac{d}{4} \log d$ 与 $\frac{d}{2} \log d$ 之间，平均剖面表现得似乎已达到平衡，但个体剖面仍远离均匀分布。正交映射的迹（$\text{tr}\rho_X$）作为一个“慢统计量”，可以检测到这种非均匀性。

4. 精确二阶矩与界限

• 本文提供了随机向心子迹（trace）和阶数方差的精确二阶矩（定理 6.2）。
• 文中建立了一个关于反射游走全变差距离的显式二阶矩下界（定理 7.5），将 Porod 下界中的前导常数从 16.4 改进为 $8d^{4/d}$（趋于 8），并优化了误差项。

意义与声明
本文声称以下内容为现有文献中未有的原创贡献：

1. 无基底行列式公式： 推导了阶数谱和叶片谱定理，这些定理通过单行列式将坐标平方和阶数能量仅通过 $\rho_X$ 的谱进行表达，且对整个 Pin 群有效。
2. 两尺度截断： 观察到定义在克利福德代数内部的阶数剖面作为一个完全不变量，保留了反射游走的完整混合距离，而平均剖面则收缩至恩费斯特速率。这解释了为什么基于向量积的随机旋转生成器在平均度量下可能表现出收敛，但在个体实现中仍保持可检测的非均匀性。
3. 改进的混合界限： 为 $O(d)$ 上的反射游走提供了比 Porod 之前的研究更紧致的显式下界。

这项工作架起了几何代数、表示论与概率论之间的桥梁，为从几何作用重建向心子提供了精确的代数工具，并为随机正交变换的收敛提供了精确的概率诊断。