[論文レビュー] Face numbers of cubical barycentric subdivisions

Christina Savvidou|arXiv (Cornell University)|May 22, 2010

Advanced Combinatorial Mathematics参考文献 2被引用数 4

ひとこと要約

この論文は、立方体複体 K の立方体的重心分割（sd_c）を導入し、その操作における短いおよび長い立方体的 h ベクトルの変換について明示的な公式を導出する。この操作において、短い立方体的 h 多項式の対称性、非負性、実根性が保たれることを証明し、繰り返しの重心分割における漸近的挙動を特徴づけ、f_{d-1}(K)x(x+1)^{d-2} に比例する極限多項式への収束を示す。

ABSTRACT

The cubical barycentric subdivision sd_c(K) of a cubical complex K is introduced as an analogue of the barycentric subdivision of a simplicial complex. Explicit formulas for the short and long cubical h-vector of sd_c(K) are given, in terms of those of K. It is deduced that symmetry and nonnegativity of these h-vectors, as well as real rootedness of the short cubical h-polynomial, are preserved under cubical barycentric subdivision. The asymptotic behavior of the short and long cubical h-vectors of successive cubical barycentric subdivisions of K is also determined.

研究の動機と目的

• 立方体複体の単体的重心分割の立方体的類似を構築すること。
• 立方体的重心分割の下での短いおよび長い立方体的 h ベクトルの変換に関する明示的公式を導出すること。
• h ベクトルの主要な性質—対称性、非負性、実根性—がこの分割によって保たれるかどうかを調査すること。
• 繰り返しの立方体的重心分割における h 多項式の漸近的挙動を特定すること。

提案手法

• K の面の順序付き集合における閉区間（空の面を除く）に対応する多面体的複体として、立方体的重心分割 sd_c(K) を定義する。
• 元の f 多項式と有理係数を含む生成関数変換を用いて、短い立方体的 h 多項式 h^{(sc)}_{sd_c(K)}(x) を表現する。
• 生成関数を用いて、係数 C(d,i,j) を含む有理係数の非負線形結合として、長方形立方体的 h ベクトル h^{(c)}(sd_c(K)) の各成分を h^{(c)}(K) の成分で表す明示的公式を導出する。
• 代数的恒等変換を用いて、有理数かつ非負の変換係数 C(d,i,j) の生成関数を確立する。
• 短いおよび長い h ベクトル間の再帰的関係と、h 多項式と相対オイラー標数との関係を用いて、変換公式を導出する。
• h^{(c)}_{sd_c^n(K)}(x)/2^{n(d-1)} の極限を n → ∞ として調べることで、繰り返しの重心分割の漸近的挙動を分析し、f_{d-1}(K)x(x+1)^{d-2} への収束を示す。

実験結果

リサーチクエスチョン

• RQ1 立方体的重心分割は立方体的 h ベクトルの対称性を保つのか？
• RQ2 立方体的重心分割の下で、短い立方体的 h 多項式の非負性および実根性は保たれるのか？
• RQ3 繰り返しの立方体的重心分割における長い立方体的 h 多項式の漸近的挙動は何か？
• RQ4 sd_c(K) の長い立方体的 h ベクトルの成分は、K のそれらの非負有理係数線形結合として表現可能か？
• RQ5 反復分割の正規化された h 多項式の極限は、特定の多項式表現に収束するか？

主な発見

• 長方形立方体的 h ベクトルの成分は、係数 C(d,i,j) を用いて K のそれらの非負有理係数線形結合として表現され、C(d,i,j) は生成関数によって明示的に決定される。
• C(d,d−i,d−j) = C(d,i,j) という恒等式により、長方形立方体的 h ベクトルの対称性が立方体的重心分割によって保たれることが示された。
• 変換係数 C(d,i,j) が非負有理数であることから、長方形立方体的 h ベクトルの非負性が sd_c によって保たれる。
• 元の K が非負の h ベクトルを持つならば、sd_c(K) の短い立方体的 h 多項式は実根を持つ。これは単体的複体における結果の拡張である。
• 繰り返しの立方体的重心分割において、正規化された h 多項式 h^{(c)}_{sd_c^n(K)}(x)/2^{n(d−1)} は、n → ∞ のとき、f_{d−1}(K)x(x+1)^{d−2} に係数ごとに収束する。
• (−1)^{d−1}χ̃(K) ≥ 0 ならば、十分大きな n に対して、sd_c^n(K) の h 多項式は非負かつ単峰的な係数を持つ。