[論文レビュー] Conjectures for Ehrhart $h^*$-vectors of Hypersimplices and Dilated Simplices

Nick Early|arXiv (Cornell University)|Oct 26, 2017

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

ひとこと要約

本稿では、風変わりな順序付き集合分割とねじれ数統計を用いて、超単体、拡大された単体、および立方体の一般化された断面におけるEhrhart h*-ベクトルの組合せ的解釈を提案する。h*-ベクトルの各成分が、ねじれ数ごとに分類されるこのような分割の数を数えているという予想を提示し、既知のEhrhart多項式の数え上げと幾何的体積公式と整合する包括的な組合せ的枠組みを提供する。

ABSTRACT

We formulate conjectures giving combinatorial interpretations of the Ehrhart $h^*$-vector, for hypersimplices, for dilated simplices and for generic cross-sections of cubes, in terms of certain decorated ordered set partitions. All were formulated and checked computationally during our graduate study at Penn State.

研究の動機と目的

• 超単体、拡大された単体、および立方体の一般化された超平面断面におけるEhrhart h*-ベクトルの組合せ的解釈を提供すること。
• h*-ベクトルの成分と特定のねじれ数を持つ装飾付き順序付き集合分割の数の間の対応を確立すること。
• ねじれ数統計を用いて、幾何学的・代数的Ehrhart理論と組合せ的構造を統合すること。
• 対称群の作用が、h*-ベクトルによって数えられるこのような組合せ的対象を保存するかどうかを検討すること。
• 大学院研究の過程でコンピュータ的検証を通じて予想を検証し、代数的幾何学と離散的組合せ論を結びつけること。

提案手法

• 幾何的対象に紐づく制約（例：超単体では装飾の和が a に等しい）を満たすブロック装飾付き順序付き集合分割を定義する。
• ねじれ数写像を導入：各分割に対して、累積的ブロック位置のモジュロ差分からなる列 (w₁,…,wₙ) を計算し、ねじれ数 wₚ = (1/a)∑wᵢ を定義する。
• ねじれ数をグレーディング統計として用い、装飾付き分割の集合を分割する。
• 与えられた多面体のh*-ベクトルが、ねじれ数 wₚ = i を持つ分割の数 mᵢ からなるベクトル (m₀, m₁, …) に等しいという予想を立てる。
• 既知のEhrhart多項式の公式と母関数を活用し、係数照合によって予想されたh*-ベクトルを検証する。
• 計算による列挙を用いて、低次元の場合（例：B₂,₃, ∆₃,₃, [0,2]³）における予想の検証を行う。

実験結果

リサーチクエスチョン

• RQ1 超単体 Ba,b のEhrhart h*-ベクトルは、ねじれ数ごとの装飾付き順序付き集合分割の分布として解釈可能か？
• RQ2 拡大された単体 ∆ₙᵣ のh*-ベクトルは、単体的装飾付き分割のねじれ数ごとの分布に等しいか？
• RQ3 立方体 [0,r]ⁿ の一般化された断面 In,r,s のh*-ベクトルは、装飾の和が s で、与えられたねじれ数を持つ装飾付き分割の数を数えているか？
• RQ4 対称群 Sn の不変な組合せ的対象が、超単体および拡大された単体のh*-ベクトルに対応するか？
• RQ5 ねじれ数統計を拡張することで、これらの3つの多面体クラスを統一する枠組みを提供できるか？

主な発見

• 超単体 B₂,₃ について、h*-ベクトル (1,5,5) はねじれ数ごとの超単体的装飾付き分割の数と一致する：wₚ=0 が1つ、wₚ=1 が5つ、wₚ=2 が5つ。
• 拡大された単体 ∆₄,₄ について、h*-ベクトル (1,31,31,1) は母関数 (1+31x+31x²+x³)/(1−x)⁴ を用いて確認され、ねじれ数ごとの単体的分割の数と一致する。
• 1 ∈ L₁ を満たす ∆ₙ,ᵣ の単体的装飾付き分割の総数は rⁿ⁻¹ であり、これはh*-ベクトルの和が rⁿ⁻¹ と一致する。
• ∑xᵢ ≡ 0 mod r を満たす (Z/r)ⁿ のモジュラー断面は、一般化された超単体の格子点であり、ちょうどねじれ数0のクラスに一致する。
• ねじれ数写像は、単体的装飾付き分割と (Z/r)ⁿ 内のn重組みの間で全単射である。
• 3次元立方体 [0,2]³ について、断面 In,2,s のh*-ベクトルは (1), (1,3), (1,4,1), (1,3), (1) であり、図5におけるねじれ数ごとの装飾付き分割の列数と一致する。