[论文解读] Positivity theorems for solid-angle polynomials

Matthias Beck, Sinai Robins+1 more|arXiv (Cornell University)|Jun 22, 2009

Advanced Numerical Analysis Techniques参考文献 17被引用 11

一句话总结

本文建立了格多面体的立体角级数分子多项式的正性定理，证明其在次数1至d之间系数为正，常数项为零。该研究解决了关于系数符号、单峰性以及顶点立体角和的开放问题，表明立体角多项式可以具有负的线性系数，且在高维空间中顶点角和可趋近于0或1/2，同时对一般取值函数的非负性断言进行了修正。

ABSTRACT

For a lattice polytope P, define A_P(t) as the sum of the solid angles of all the integer points in the dilate tP. Ehrhart and Macdonald proved that A_P(t) is a polynomial in the positive integer variable t. We study the numerator polynomial of the solid-angle series sum_{t >= 0} A_P(t) z^t. In particular, we examine nonnegativity of its coefficients, monotonicity and unimodality questions, and study extremal behavior of the sum of solid angles at vertices of simplices. Some of our results extend to more general valuations.

研究动机与目标

• 研究格多面体的立体角生成函数分子多项式的非负性、单调性与单峰性。
• 解决关于立体角多项式系数符号的开放问题，特别是负系数是否可能出现。
• 研究单形顶点处立体角和的极值行为，尤其在高维空间中的表现。
• 将结果推广至一般取值函数，并纠正早期关于取值函数生成函数系数非负性的错误断言。
• 研究立体角拟多项式的周期坍缩现象，识别其退化为多项式的条件。

提出的方法

• 将立体角多项式 $ A_{\mathcal{P}}(t) $ 定义为缩放多面体 $ t\mathcal{P} $ 中整数点处立体角的和，利用Ehrhart理论证明其为多项式。
• 引入立体角生成函数 $ \operatorname{Solid}_{\mathcal{P}}(z) = \sum_{t \geq 0} A_{\mathcal{P}}(t) z^t $，证明其为有理函数，分母为 $ (1-z)^{d+1} $，并分析其分子多项式。
• 利用Ehrhart理论与Macdonald对偶性性质，证明分子多项式在次数1至d之间具有正系数，且常数项为零。
• 构造维度 $ \geq 3 $ 的单形显式族，证明其顶点处立体角和可渐近趋近于0或 $ \frac{1}{2} $，从而反驳了正单形使该和最小的猜想。
• 利用恒等式 $ A_{\mathcal{P}}(-t) = (-1)^d A_{\mathcal{P}}(t) $ 分析对称性并推导系数符号结果。
• 纠正早期关于在平移不变性与非负性条件下取值函数生成函数系数恒为非负的错误断言，参考Jochemko与Sanyal关于此类非负性成立条件的近期工作。

实验结果

研究问题

• RQ1 立体角多项式是否可能具有负系数，若可能，其条件是什么？
• RQ2 单形顶点处立体角和是否在正单形时最小，还是可任意小或大？
• RQ3 在何种条件下，立体角拟多项式会坍缩为多项式，即周期为1的条件是什么？
• RQ4 立体角生成函数分子多项式的系数是否总是非负？其正确条件是什么？
• RQ5 哪些取值函数会产生其生成函数系数的非负性？其必要与充分条件是什么？

主要发现

• 立体角生成函数分子多项式在次数1至d之间具有严格正系数，常数项为零。
• 当 $ h > 12 $ 时，Reeve四面体 $ \mathcal{P}_h $ 的立体角多项式线性系数为负，表明立体角多项式可以具有负系数。
• 存在维度 $ \geq 3 $ 的单形无限族，其顶点处立体角和可渐近趋近于0和 $ \frac{1}{2} $，从而推翻了正单形使该和最小的猜想。
• 多面体 $ [0,\frac{1}{2}] \times [0,1]^{d-1} $ 的立体角多项式为 $ \frac{1}{2}t^d $，展示了周期坍缩为多项式的现象。
• 在三维空间中，分子多项式为单峰的充要条件是线性系数 $ c \leq \operatorname{vol}(\mathcal{P}) $，为此类单峰性提供了判别准则。
• 早期关于在平移不变性与非负性条件下所有取值函数生成函数系数均为非负的断言是错误的；Jochemko与Sanyal已提供修正后的条件。