[論文レビュー] 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$-arrangementsとして実現可能なマトロイドにおけるホイットニー数の対数凸性に関するロータ–ヘロン–ウェルシュ予想を、配置拡張から得られる凸体の内在的体積における測度濃縮を用いて証明する。レヴィ–ミルマン現象とアレクサンドロフ–フェンヒェルの不等式を用い、特性多項式の係数が対数凸であることを確立し、複素ヒルベルト配置を超える既知の範囲を拡張する。

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$-arrangementsとして実現可能なマトロイドに対してロータ–ヘロン–ウェルシュ予想を検証すること、すなわち第一種ホイットニー数が対数凸であることの確認。
• 複素ヒルベルト配置を超える範囲、非体に表現可能なマトロイドを含む、予想を満たすマトロイドの範囲を拡張すること。
• 確率論的手法を用いて、$c$-arrangementsの特性多項式と凸体の内在的体積との間に幾何的関係を確立すること。
• レヴィ–ミルマンの測度濃縮現象が、拡張配置のウィルズ多項式の漸近的制御を可能にすることを示すこと。

提案手法

• 対称積とグラスマン数を用いたパラメータ空間を介して、$c$-arrangementsのランダム拡張の族を構成し、高次元の凸体（ゾノトープまたはディスクォトープ）を生成する。
• これらの拡張のパラメータ空間におけるレヴィ–ミルマンの測度濃縮を用い、内在的体積が漸近的ほとんど確実に平均値のまわりに集中することを示す。
• 適切な正規化のもとで、拡張配置のウィルズ多項式が元の配置の特性多項式と漸近的に一致することに依拠する。
• 特性多項式の削除–縮約再帰関係を、拡張配置のウィルズ多項式に適用し、測度濃縮のもとで漸近的に同値であることを示す。
• 正規化された内在的体積がホイットニー数$\gamma_i(M)$に対応することを確立し、これによりアレクサンドロフ–フェンヒェルの不等式による対数凸性の適用が可能になる。
• グラスマン多様体と射影空間上の一様測度の押し出しを用いてランダム拡張をモデル化し、配置超平面の法ベクトルの濃縮を保証する。

実験結果

リサーチクエスチョン

• RQ1 $c$-arrangementsのホイットニー数はロータ–ヘロン–ウェルシュ予想を満たすか、すなわち対数凸であるか？
• RQ2 代数幾何学ではなく、幾何学的および確率論的手法によりホイットニー数の対数凸性を確立できるか？
• RQ3 配置実現空間における測度濃縮現象が、拡張配置のウィルズ多項式をどの程度安定化させるか？
• RQ4 $c$-arrangementの特性多項式は、関連する凸体の内在的体積から漸近的に回復可能か？

主な発見

• 任意の$c$-arrangementマトロイド$M$について、ホイットニー数の列$\gamma_0(M), \gamma_1(M), \dots, \gamma_r(M)$は対数凸である。これは、このクラスにおけるロータ–ヘロン–ウェルシュ予想の確認である。
• ランダム拡張に付随する凸体の正規化された内在的体積は、漸近的ほとんど確実にホイットニー数$\gamma_i(M)$に収束する。
• 拡張配置$\mathscr{A}'$のウィルズ多項式は、$h_k$および$\ell_k$の急速増加列のもとで、特性多項式と同じ削除–縮約再帰関係を満たす、漸近的ほとんど確実に満たす。
• グラスマン多様体および射影空間のパラメータにおける測度濃縮により、最後の要素の法ベクトルがほとんど確実に他のすべてのものに直交するようになるため、再帰関係が成立する。
• 漸近的同値$ h_k^{-kn} \cdot \nu_i(\mathscr{A}') \asymp \gamma_i(\mathscr{A}) $ が、$i = jc$、$0 \leq j \leq d$ に対して成り立つ。これはホイットニー数の幾何的表現を確認する。
• 証明により、凸幾何、内在的体積、マトロイド不変量の間の新しい関係が確立され、アディプラシト–フ–カツの代数的・幾何的証明に対する幾何的代替手法が提供される。