Aomoto interpolation and Coxeter systems

技术摘要：Aomoto 插值与 Coxeter 系统

问题陈述
本文探讨了几何分析与概率论中两个相互关联的问题：**强极化不等式（strong polarization inequality）极值配置的特征化，以及广义高斯乘积不等式（Gaussian Product Inequality, GPI）**的证明。

1. 强极化不等式： 作者研究了对于单位向量 $v_1, \dots, v_n \in S^{d-1}$，不等式 $\sum_{j=1}^n \langle v_j, u \rangle^{-2} \leq n^2$ 是否成立。虽然已知该界限是紧的，但对于在所有方向 $u$ 下都能达到该界限的特定几何结构（极值配置），其特征化工作尚未完全完成。前人的工作确立了该不等式，但留下了关于等式情况刚性（rigidity）的开放问题。
2. 高斯乘积不等式： 本文旨在将由 Ouimet 和 Greaves 最近证明的 GPI 推广到更广泛的函数类（完全单调函数）和任意超平面排列，避免依赖于特定的相关矩阵计算或特殊函数恒等式。

方法论
核心方法论依赖于为与中心超平面排列 $\mathcal{A} = \{v_1^\perp, \dots, v_n^\perp\}$ 相关联的有理函数向量空间——Aomoto 空间 $AO(\mathcal{A})$ 构建一个拉格朗日型基（Lagrange-type basis）。

• Aomoto 空间与维度： 作者利用 Orlik-Terao 维度定理，该定理指出 $\dim AO(\mathcal{A})$ 等于排列的腔室（chambers，即连通分量）的数量。
• 腔室基的构建： 对于多项式 $P(x) = \prod_{j=1}^n \langle v_j, x \rangle$ 在单位球上的每个局部极值点 $u$（这与腔室一一对应），作者定义了一个有理函数 $L_u(x)$。该函数是利用由向量 $v_j$ 与极值点 $u$ 构成的行列式导出的正权重 $\mu(u)$ 来构造的。
• 插值公式： 文中证明了 $\{L_u\}_{u \in E(P)}$ 构成了 $AO(\mathcal{A})$ 的一组基。因此，任何函数 $f \in AO(\mathcal{A})$ 都满足插值公式：
  $$f(x) = \sum_{u \in E(P)} f(u) L_u(x)$$
  该公式允许将有理函数空间中的全局恒等式转化为关于临界点（极值点）的有限和。
• 广义设定： 为了处理高斯不等式，作者引入了一个带有参数 $t_j$ 和平移映射 $T(x)$ 的广义设定，建立了一种“逐腔室变量代换”（chamberwise change of variables），将对修改后测度的积分与关于极值点的加权和联系起来。

主要贡献与结果

1. 插值定理（定理 A）： 本文确立了函数 $L_u$ 构成 Aomoto 空间的基，并满足拉格朗日性质 $L_u(w) = \delta_{u,w}$。由此得到了 $AO(\mathcal{A})$ 中元素的显式插值公式。
2. 腔室恒等式（定理 2.4 & 2.5）： 通过将插值公式应用于特定函数（常数、倒数和二次型），作者推导出了关于权重 $\mu(u)$ 的一系列“腔室恒等式”。这些恒等式包括：
   • $\sum \mu(u) = 1$
   • $\sum \mu(u) \langle v_i, u \rangle^{-1} = 0$
   • $\sum \mu(u) \langle v_i, u \rangle^{-1} \langle v_j, u \rangle^{-1} = n \delta_{ij}$
   • 一个涉及平方倒数和的关键恒等式：$\sum \mu(u) (\sum \langle v_j, u \rangle^{-2} - n^2) = 0$。
3. 极值器特征化（定理 B & C）：
   • 利用腔室恒等式，作者证明了如果配置 $v_1, \dots, v_n$ 是极值的（即对所有 $u$ 均达到界限 $n^2$），则乘积多项式 $P(x)$ 必须是调和的（$\Delta P = 0$）。
   • 结合 Agranovsky 定理和前人结果，这导向了定理 C：等式成立当且仅当集合 $\Phi = \{\pm v_1, \dots, \pm v_n\}$ 构成一个有限反射系统（一个有限 Coxeter 群轨道）。这表明正交基和正则平面配置是受 Coxeter 对称性支配的更大族群中的最简单成员。
4. 广义高斯乘积不等式（定理 D）：
   • 作者证明了对于单位向量 $v_j$ 和完全单调函数 $f_j$，不等式 $E[\prod f_j(\langle v_j, Z \rangle^{-2})] \geq \prod E[f_j(Z^{-2})]$ 成立。
   • 证明过程通过利用 Aomoto 空间分析和广义腔室恒等式（引理 4.3），改编了 Ouimet 和 Greaves 最近的突破。这种方法避免了直接对相关矩阵进行计算，而是依赖于变量代换 $T(x)$ 以及对从腔室权重构造的特定概率测度应用 Jensen 不等式。

意义与主张

本文声称揭示并推广了用于近期高斯乘积不等式及极化问题证明中所使用的代数结构的底层机制。

• 统一性： 插值定理统一了此前通过 Euler-Jacobi 消去定理（针对一般排列）以及用于高斯证明的特定行列式恒等式（要求极大腔室数）获得的代数恒等式的推导过程。作者指出，他们的方法适用于任意中心超平面排列，包括定义向量之间存在线性相关性的情形。
• 刚性： 本文提供了对强极化不等式等式情况的完整特征化，确认了其等价于有限反射系统。
• 推广性： 该方法将高斯乘积不等式推广到了完全单调函数和任意排列，提供了一种在结构上不同于以往方法的证明，其通过隔离通用原理（插值与变量代换）而非依赖特殊函数的性质来实现。

作者明确指出，其对代数恒等式的推导并非独立于 Ouimet 和 Greaves 的近期工作，而是为更广泛的几何环境提供了一个新的视角，并将其背后的机制进行了推广。