[论文解读] Some Algebraic Properties of Lecture Hall Polytopes

Petter Brändén, Liam Solus|arXiv (Cornell University)|Nov 27, 2019

Advanced Combinatorial Mathematics参考文献 13被引用 5

一句话总结

本文證明所有 $s$-講座廳序多面體均滿足整數分解性質，且對於差分序列為 $0,1$-序列之序列 $s$，其對應的交錯理想具備二次 Gröbner 基底，且首項理想為平方自由。此結果意味著此類 $s$-講座廳單純形存在正則、單模三角剖分，從而解決代數組合學中的兩個猜想。

ABSTRACT

In this note, we investigate some of the fundamental algebraic and geometric properties of $s$-lecture hall simplices and their generalizations. We show that all $s$-lecture hall order polytopes, which simultaneously generalize $s$-lecture hall simplices and order polytopes, satisfy a property which implies the integer decomposition property. This answers one conjecture of Hibi, Olsen and Tsuchiya. By relating $s$-lecture hall polytopes to alcoved polytopes, we then use this property to show that families of $s$-lecture hall simplices admit a quadratic Gröbner basis with a square-free initial ideal. Consequently, we find that all $s$-lecture hall simplices for which the first order difference sequence of $s$ is a $0,1$-sequence have a regular and unimodular triangulation. This answers a second conjecture of Hibi, Olsen and Tsuchiya, and it gives a partial answer to a conjecture of Beck, Braun, Köppe, Savage and Zafeirakopoulos.

研究动机与目标

• 解決 Hibi、Olsen 與 Tsuchiya 對 $s$-講座廳序多面體整數分解性質之猜想。
• 建立 $s$-講座廳單純形交錯理想具備平方自由首項理想的二次 Gröbner 基底之存在性。
• 對 Beck、Braun、Köppe、Savage 與 Zafeirakopoulos 對 $s$-講座廳單純形單模三角剖分之猜想提供部分解答。
• 連結 $s$-講座廳多面體與阿爾科夫多面體，以運用代數工具探討幾何性質。
• 展示 $s$-講座廳單純形之 $h^*$-多項式單調性由其底層代數結構所支撐。

提出的方法

• 將 $s$-講座廳序多面體定義為 $s$-講座廳單純形與序多面體的共同推廣。
• 透過對格點多重集之極小性論證，證明 $s$-講座廳序多面體具備整數分解性質。
• 將 $s$-講座廳多面體與阿爾科夫多面體連結，以應用已知之 Gröbner 基底與三角剖分結果。
• 在以 $s$-講座廳多重集為指標之多項式環 $K[{f x}]$ 上構造字典序項序。
• 定義一組標記的二項式 $G = \{x_I x_J - x_{I^-} x_{J^-} \}$，其中 $I^-$ 與 $J^-$ 為具有相同總和之多重集之極小代表。
• 利用諾特性約化性質與標準型特徵，證明 $G$ 為具備平方自由首項理想的約化 Gröbner 基底。

实验结果

研究问题

• RQ1 所有 $s$-講座廳序多面體是否均滿足整數分解性質？
• RQ2 對於何種序列 $s$，$s$-講座廳單純形之交錯理想會具備二次 Gröbner 基底且首項理想為平方自由？
• RQ3 當 $s$ 之一階差分序列為 $0,1$-序列時，是否可確立 $s$-講座廳單純形存在正則、單模三角剖分？
• RQ4 $s$-講座廳多面體之代數性質如何與其 $h^*$-多項式之單調性相關？
• RQ5 是否存在一種統一的代數機制——透過 Gröbner 基底——以解釋此類多面體中三角剖分之單模性與正則性？

主要发现

• 所有 $s$-講座廳序多面體均滿足整數分解性質，確認 Hibi、Olsen 與 Tsuchiya 之猜想。
• 對於任一差分序列為 $0,1$-序列之 $s$，$s$-講座廳單純形 $P_n^s$ 之交錯理想均具備二次 Gröbner 基底且首項理想為平方自由。
• 此 Gröbner 基底完全為字典序，且透過相同總和之多重集之極小代表構造，確保無冗餘單項式。
• 此 Gröbner 基底結構意味著當 $s$ 之一階差分序列為 $0,1$-序列時，$P_n^s$ 具備正則、旗形且單模之三角剖分。
• 此結果對 Beck、Braun、Köppe、Savage 與 Zafeirakopoulos 對 $s$-講座廳單純形單模三角剖分之猜想提供部分解答。
• 此構造確認，交錯理想之代數結構直接支援幾何與組合性質，如單模性與正則性。