[論文レビュー] 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であることを証明する。立体角多項式の係数の符号、単峰性、および頂点の立体角和に関する未解決問題を解決し、立体角多項式が負の一次係数を取り得ること、および高次元における頂点角和が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.

研究の動機と目的

• 格子多面体の立体角母関数の分子多項式の非負性、単調性、および単峰性を調査すること。
• 特に、立体角多項式の係数の符号に関する未解決問題を解消すること、特に負の係数が出現しうる条件を特定すること。
• 単体の頂点における立体角和の極値的挙動を調査すること、特に高次元における挙動に注目すること。
• 結果を一般化された値関数へと拡張し、以前の値関数母関数の非負性に関する誤った主張を是正すること。
• 立体角の準多項式における周期の崩壊を研究し、それが多項式にまで簡略化される条件を同定すること。

提案手法

• Ehrhart理論を用いて、拡大多面体 $ t\mathcal{P} $ 内の整数点における立体角の和として立体角多項式 $ A_{\mathcal{P}}(t) $ を定義し、それが多項式であることを証明する。
• 立体角母関数 $ \operatorname{Solid}_{\mathcal{P}}(z) = \sum_{t \geq 0} A_{\mathcal{P}}(t) z^t $ を導入し、分母が $ (1-z)^{d+1} $ である有理関数であることを示し、分子多項式を分析する。
• EhrhartおよびMacdonaldの対称性の性質を用いて、次数1からdまでの係数が正で、定数項が0であることを証明する。
• 次数 $ \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までにおいて厳密に正の係数を持ち、定数項は0である。
• Reeveの四面体 $ \mathcal{P}_h $ の立体角多項式の一次係数は $ h > 12 $ のとき負であり、立体角多項式が負の係数を取り得ることを示している。
• 次数 $ \geq 3 $ の単体の無限族が存在し、その頂点における立体角和は0および $ \frac{1}{2} $ に漸近的に近づく。これは、正則単体がこの和を最小化するとする予想を反証する。
• 多面体 $ [0,\frac{1}{2}] \times [0,1]^{d-1} $ の立体角多項式は $ \frac{1}{2}t^d $ であり、周期の崩壊が多項式にまで簡略化されることを示している。
• 次元3において、分子多項式が単峰的であるための必要十分条件は、一次係数 $ c \leq \operatorname{vol}(\mathcal{P}) $ であることである。
• 以前の主張、すなわち移動不変性と非負性の下で、すべての値関数母関数の係数が非負であるという主張は誤りであり、JochemkoとSanyalによる修正された条件が提示されている。