[论文解读] Whitney numbers of arrangements via measure concentration of intrinsic volumes

Karim Adiprasito, Raman Sanyal|arXiv (Cornell University)|Jun 30, 2016

Point processes and geometric inequalities参考文献 3被引用 5

一句话总结

本文通过利用从排列扩张导出的凸体的固有体积中的测度集中现象，证明了可实现为 $c$-排列的拟阵的惠特尼数对 Rota–Heron–Welsh 猜想的对数凹性。结合 Lévy–Milman 现象与 Alexandrov–Fenchel 不等式，本文确立了特征多项式系数的对数凹性，将先前结果扩展至复超平面排列之外。

ABSTRACT

We verify the Rota-Heron-Welsh conjecture for matroids realizable as c-arrangements: the coefficients of the characteristic polynomial of the associated matroid are log-concave. This family of matroids strictly contains that of complex hyperplane arrangements. Our proof combines the study of intrinsic volumes of certain extensions of arrangements and the Levy--Milman measure concentration phenomenon on realization spaces of arrangements.

研究动机与目标

• 验证可实现为 $c$-排列的拟阵的 Rota–Heron–Welsh 猜想，即第一类惠特尼数为对数凹性。
• 将已知满足该猜想的拟阵范围扩展至复超平面排列之外，包括非域可表示的拟阵。
• 通过概率方法，建立 $c$-排列的特征多项式与凸体固有体积之间的几何联系。
• 证明 Lévy–Milman 测度集中现象可实现对扩展排列的 Wills 多项式的渐近控制。

提出的方法

• 通过对称积与 Grassmannian 参数构造 $c$-排列的一族随机扩张，生成高维凸体（zono­to­pes 或 discotopes）。
• 利用这些扩张参数空间上的 Lévy–Milman 测度集中现象，证明固有体积渐近几乎必然集中在其均值附近。
• 依赖于在适当归一化下，扩展排列的 Wills 多项式渐近匹配原排列的特征多项式这一事实。
• 将特征多项式的删除-收缩递推关系应用于扩展排列的 Wills 多项式，证明在测度集中下渐近等价。
• 确立凸体的归一化固有体积对应于惠特尼数 $\gamma_i(M)$，从而可应用 Alexandrov–Fenchel 不等式以证明对数凹性。
• 利用 Grassmannian 和射影空间上均匀测度的拉前像，对随机扩张进行建模，并确保排列超平面法向量的集中性。

实验结果

研究问题

• RQ1 $c$-排列的惠特尼数是否满足 Rota–Heron–Welsh 猜想，即是否为对数凹性？
• RQ2 能否通过几何与概率方法而非代数几何方法建立惠特尼数的对数凹性？
• RQ3 在排列实现空间上的测度集中现象，对扩展排列的 Wills 多项式稳定性的程度如何？
• RQ4 能否从相关凸体的固有体积渐近恢复 $c$-排列的特征多项式？

主要发现

• 对于任意 $c$-排列拟阵 $M$，其惠特尼数序列 $\gamma_0(M), \gamma_1(M), \dots, \gamma_r(M)$ 为对数凹性，从而确认了该类的 Rota–Heron–Welsh 猜想。
• 与 $c$-排列随机扩张相关的凸体的归一化固有体积，渐近几乎必然收敛于惠特尼数 $\gamma_i(M)$。
• 在快速增长序列 $h_k$ 与 $\ell_k$ 下，扩展排列 $\mathscr{A}'$ 的 Wills 多项式几乎必然满足与特征多项式相同的删除-收缩递推关系。
• Grassmannian 与射影空间参数上的测度集中性确保了最后一个元素的法向量几乎必然与其余所有法向量正交，从而支持递推关系。
• 对于 $i = jc$，$0 \leq j \leq d$，渐近等价式 $h_k^{-kn} \cdot \nu_i(\mathscr{A}') \asymp \gamma_i(\mathscr{A})$ 成立，证实了惠特尼数的几何表示。
• 该证明建立了一种凸几何、固有体积与拟阵不变量之间全新的联系，为 Adiprasito–Huh–Katz 的代数-几何证明提供了一种几何替代方案。