[論文レビュー] A realization of poset associahedra

Andrew Sack|arXiv (Cornell University)|Jan 26, 2023

Advanced Combinatorial Mathematics被引用数 4

ひとこと要約

本稿は、Galashinの順序集合アソシアヘドロンとアフィン順序集合サイクロヘドロンの新しい明示的実現を、ℝ^Pにおける半空間の共通部分として与える。これは、順序集合内のチューブの直径を近似する線形形式α_τを用いて、半空間を定義することで達成される。主な貢献は、順序を保全する写像とコンactification原理から導かれる不等式に基づく幾何的構成であり、これにより顕著で計算可能な顔の構造の記述が可能になる。

ABSTRACT

Given any connected poset $P$, we give a simple realization of Galashin's poset associahedron $\mathscr{A}(P)$ as a convex polytope in $\mathbb{R}^P.$ The realization is inspired by the description of $\mathscr{A}(P)$ as a compactification of the configuration space of order-preserving maps $P o \mathbb{R}.$ In addition, we give an analogous realization for Galashin's affine poset cyclohedra.

研究の動機と目的

• Galashinが抽象的に構成した順序集合アソシアヘドロンを、ℝ^Pにおける凸多面体として明示的に幾何学的実現すること。
• 類似の構成を用いて、同様にGalashinのアフィン順序集合サイクロヘドロンへと拡張すること。
• 配置空間のコンパクト化との関係や組合せ的意義にもかかわらず、順序集合アソシアヘドロンの明示的実現が不足している問題を解決すること。
• チューブの直径近似から導かれる不等式を用いて、顔ラティスの計算可能な記述を提供すること。

提案手法

• 順序集合内の被覆関係の和として定義される線形関数α_τを、ℝ^P_Σ=0（和が0の関数）に導入し、チューブτの直径を近似する。
• 半空間h_τ = {p ∈ ℝ^P_Σ=0 | α_τ(p) ≥ n^{2|τ|}} および超平面H_τ = {p | α_τ(p) = n^{2|τ|}} を構成する。
• 順序集合アソシアヘドロン𝒜(P)を、すべての真のチューブτ ⊆ PについてのH_Pとh_τの共通部分として実現する。
• 非循環的チューブ条件と周期性を用いて、この構成をアフィン順序集合サイクロヘドロンへと拡張する。
• 頂点が最大チューブ集合に対応することを示すため、すべての定義不等式で等号を満たすのは最大チューブ集合に限ることを証明する。
• 不等式における閾値n^{2|τ|}の選択の動機として、順序を保全する写像P → ℝのコンパクト化を用いる。

実験結果

リサーチクエスチョン

• RQ1 スターラル分割に依存しない、ℝ^Pにおける順序集合アソシアヘドロンの単純で明示的な凸多面体実現が可能か？
• RQ2 顔ラティスが、周囲空間上の不等式によってどのように幾何学的に実現できるか？
• RQ3 同様のアプローチを、有限の場合を一般化するGalashinのアフィン順序集合サイクロヘドロンへと拡張可能か？
• RQ4 線形形式α_τがチューブの直径をどのように近似し、正しい顔の接続関係を保証するか？
• RQ5 組合せ的構造を保ちつつ、多面体への計算的アクセスを可能にする自然なα_τの選択は存在するか？

主な発見

• 順序集合アソシアヘドロン𝒜(P)は、すべての真のチューブτ ⊆ PについてのH_Pとh_τの共通部分として実現される。
• 𝒜(P)の頂点は、すべての定義不等式で等号を満たす唯一の点として、Pの最大チューブ集合に正確に対応する。
• α_τ(p)の閾値としてn^{2|τ|}を用いることで、すべてのh_τの境界上に位置するのは最大チューブ集合に限ることが保証される。
• アフィン順序集合サイクロヘドロンでは、n-周期的チューブと同一の不等式系を用いて実現が拡張され、非循環的チューブ条件が保たれる。
• この実現は、順序を保全する写像P → ℝのコンパクト化と整合的であり、多面体をコンパクト化された配置空間としての幾何的解釈を提供する。
• α_τの代替的選択（例えば、すべての被覆対やスパニングツリーの和）によって得られる実現は同型であり、この構成の堅牢性を示唆する。