[論文レビュー] Shellability, Ehrhart Theory, and $r$-stable Hypersimplices

Benjamin Braun, Liam Solus|arXiv (Cornell University)|Aug 20, 2014

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

ひとこと要約

本稿では、古典的ハイパーシンプレックス $\Delta_{n,k}$ 内の部分多面体である $r$-安定ハイパーシンプレックスという、入れ子になった族を導入し、$\Delta_{n,k}$ の既知のサイクルトランギュレーションが、各 $r$-安定ハイパーシンプレックスに制限されてもユニモジュラーなトランギュレーションを保つことを証明する。第二ハイパーシンプレックス（$k=2$）に対しては、このトランギュレーションのシェーリングを構成し、独立多項式を用いてEhrhart $h^*$-多項式を計算可能とし、Ehrhart-MacDonald双対性を通じてレンズ空間へのCR写像との関連を明らかにする。

ABSTRACT

Hypersimplices are well-studied objects in combinatorics, optimization, and representation theory. For each hypersimplex, we define a new family of subpolytopes, called r-stable hypersimplices, and show that a well-known regular unimodular triangulation of the hypersimplex restricts to a triangulation of each r-stable hypersimplex. For the case of the second hypersimplex defined by the two-element subsets of an n-set, we provide a shelling of this triangulation that sequentially shells each r-stable sub-hypersimplex. In this case, we utilize the shelling to compute the Ehrhart h*-polynomials of these polytopes, and the hypersimplex, via independence polynomials of graphs. For one such r-stable hypersimplex, this computation yields a connection to CR mappings of Lens spaces via Ehrhart-MacDonald reciprocity.

研究の動機と目的

• 古典的ハイパーシンプレックス $\Delta_{n,k}$ 内に、安定性が増加する入れ子の鎖をなす新しい部分多面体族、$r$-安定ハイパーシンプレックスを定義し、研究すること。
• ハイパーシンプレックス $\Delta_{n,k}$ のサイクルトランギュレーションが、各 $r$-安定ハイパーシンプレックスに制限されてもユニモジュラーなトランギュレーションを保つこと。
• 第二ハイパーシンプレックス（$k=2$）のトランギュレーションに対して、各 $r$-安定部分ハイパーシンプレックスを段階的にシェーリングするシェーリングを構成し、Ehrhart $h^*$-多項式の効率的計算を可能とすること。
• $r$-安定ハイパーシンプレックスのEhrhart理論をグラフの独立多項式と関連付け、Ehrhart-MacDonald双対性を経由してレンズ空間へのCR写像と結びつけること。

提案手法

• $r$-安定ハイパーシンプレックスを、特性ベクトルにおける $r$-隣接頂点の制約を用いて $\Delta_{n,k}$ の部分多面体として定義する。
• $\Delta_{n,k}$ のサイクルトランギュレーション（既知の正則ユニモジュラーなトランギュレーション）を活用し、$r$-安定ハイパーシンプレックスへの制限が依然としてユニモジュラーであることを証明する。
• 第二ハイパーシンプレックス（$k=2$）のトランギュレーションの最大セルに対して、サイクル語から導かれる置換の階層的辞書式順序を用いたシェーリング順序を構成する。
• サイクル語における $r$-隣接拡張降下に対応する部分語の辞書式比較を精緻化し、シェーリング順序を改善する。
• シェーリングを用いて、関連するグラフの独立多項式として $r$-安定ハイパーシンプレックスのEhrhart $h^*$-多項式を計算する。
• Ehrhart-MacDonald双対性を $h^*$-多項式に適用し、レンズ空間へのCR写像との関連を明らかにする。

実験結果

リサーチクエスチョン

• RQ1 古典的ハイパーシンプレックス $\Delta_{n,k}$ 内に、入れ子の鎖をなすように定義される新しい部分多面体族、$r$-安定ハイパーシンプレックスをどのように定義できるか。
• RQ2 $\Delta_{n,k}$ のサイクルトランギュレーションが、各 $r$-安定ハイパーシンプレックスに制限されてもユニモジュラーなトランギュレーションを保つか。
• RQ3 第二ハイパーシンプレックスのトランギュレーションに対して、各 $r$-安定部分ハイパーシンプレックスを段階的にシェーリングするシェーリングを構成できるか。
• RQ4 $r$-安定ハイパーシンプレックスのEhrhart $h^*$-多項式をグラフの独立多項式を用いて計算できるか。
• RQ5 Ehrhart-MacDonald双対性により、$r$-安定ハイパーシンプレックスの $h^*$-多項式とレンズ空間へのCR写像との間に関連が明らかになるか。

主な発見

• $\Delta_{n,k}$ のサイクルトランギュレーションは、各 $r$-安定 $(n,k)$-ハイパーシンプレックスに制限されても、正則かつユニモジュラーな構造を保つ。
• 第二ハイパーシンプレックス（$k=2$）に対しては、各 $r$-安定部分ハイパーシンプレックスを段階的にシェーリングするシェーリング順序が構成され、Ehrhart多項式の効率的計算が可能となる。
• $k=2$ の $r$-安定ハイパーシンプレックスのEhrhart $h^*$-多項式は、サイクル語から導かれる特定のグラフの独立多項式として計算される。
• 特定の $r$-安定ハイパーシンプレックスの $h^*$-多項式は、Ehrhart-MacDonald双対性を経由してレンズ空間へのCR写像と関連づけられる。
• 独立多項式の解釈を通じて、第二ハイパーシンプレックスの $h^*$-ベクトルが単峰的であることが示され、より広範な単峰性予想を支持する。
• 第二ハイパーシンプレックスのトランギュレーションの最大セルに対して、全順序が定義され、それがシェーリング順序であると予想される。この順序は、サイクル語の部分語に対する精緻化された辞書式比較を用いて、$k>2$ へ一般化可能である。