[論文レビュー] Lorentzian polynomials on cones and the Heron-Rota-Welsh conjecture

Petter Brändén, Jonathan Leake|arXiv (Cornell University)|Oct 1, 2021

Advanced Combinatorial Mathematics参考文献 11被引用数 5

ひとこと要約

本稿では、凸錐上のLorentzian多項式の拡張理論を用いて、マトロイドの特性多項式の対数的凹型に関するHeron-Rota-Welsh予想に対する、完全に多項式に基づく新しい証明を提示する。主な貢献は、ホッジ理論に依存せずに、マトロイドのチャウ環の1次ホッジ＝リーマン関係を自己完結的に導出することであり、多変数多項式の凸性および微分的性質を通じて、この予想を確立する。

ABSTRACT

We give a short proof of the log-concavity of the coefficients of the reduced characteristic polynomial of a matroid. The proof uses an extension of the theory of Lorentzian polynomials to convex cones, and reproves the Hodge-Riemann relations of degree one for the Chow ring of a matroid.

研究の動機と目的

• マトロイドの特性多項式の対数的凹型に関するHeron-Rota-Welsh予想を、ホッジ理論に依存しない自己完結的な証明で与えること。
• 正の直交座標領域の古典的枠組みを一般化し、一般の凸錐へのLorentzian多項式理論を拡張すること。
• ホッジ理論を用いずに、マトロイドのチャウ環の1次ホッジ＝リーマン関係を多項式および凸性技法のみで再証明すること。
• チャウ環の体積多項式が特定の錐上でのLorentzian多項式として特徴付けられることを確立し、これにより削減された特性多項式と関連付けること。

提案手法

• R^n内での任意の開凸錐へのLorentzian多項式の定義を拡張し、混合微分の正値性および符号に関する条件(P)と(H)を導入する。
• 斉次多項式およびそのヘッセ行列を解析するための微分作用素D_vを用い、方向微分のヘッセ行列に正確に1つの正の固有値が存在することを保証する。
• 非対角成分が非負である正則行列に対してPerron-Frobenius定理を適用し、ヘッセ行列内の固有値符号を制御する。
• フラット構造に対応する二次単項式および一次形式によって生成されるイデアルによる商として、マトロイドのチャウ環を定義する。
• フラグのチャウ環間の次数を保存する同型写像を用い、体積多項式が削減された特性多項式に類似する再帰的恒等式を満たすことを証明する。
• 体積多項式が特定の錐上でLorentzianであることと、体積多項式と削減された特性多項式の等価性を、帰納法およびオイラーの恒等式を用いて確立する。

実験結果

リサーチクエスチョン

• RQ1 ホッジ理論を用いずに、多項式の凸性的性質のみに依存して、マトロイドの特性多項式の対数的凹型を証明できるか？
• RQ2 Lorentzian多項式理論を正の直交座標領域を超える一般の凸錐へどのように一般化できるか？
• RQ3 マトロイドのチャウ環の体積多項式は、削減された特性多項式と同一の再帰的構造を満たすか？
• RQ4 チャウ環の1次ホッジ＝リーマン関係を、錐上でのLorentzian多項式の性質のみから導出できるか？
• RQ5 マトロイドのチャウ環の体積多項式は、有効クラスの錐上でLorentzianであるか？そしてこれは対数的凹型にどのような意味を持つのか？

主な発見

• 本稿では、マトロイドの削減された特性多項式が対数的凹型であることが確立され、Heron-Rota-Welsh予想が完全に多項式的証明により確認された。
• マトロイドのチャウ環の体積多項式は、線形形式のべきへの正規化された次数写像として定義され、削減された特性多項式と等しいことが示された。
• 体積多項式は再帰的恒等式を満たす：フラットFに関する0における偏微分は、区間K<FおよびF<Lにおける体積多項式の積に等しい。
• 体積多項式のヘッセ行列が有効錐の内部の任意の点で正確に1つの正の固有値を持つことから、1次ホッジ＝リーマン関係が確認された。
• Lorentzian多項式理論が、Poincaré双対性やホッジ理論的公理を必要としないように、錐上への拡張が可能となった。
• 証明は自己完結的であり、ホッジ理論を一切用いずに、マトロイドのチャウ環の1次ホッジ＝リーマン関係への新たな、初等的な道筋を提供した。