[论文解读] A realization of poset associahedra

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

Advanced Combinatorial Mathematics被引用 4

一句话总结

本文通过定义一个近似偏序集中管状结构直径的线性形式 α_τ，将 Galashin 的偏序集单纯形（poset associahedra）和仿射偏序集循环多面体（affine poset cyclohedra）作为 ℝ^P 中的凸多面体，以半空间交集的形式给出了新的显式实现。关键贡献在于基于保序映射的紧化原理与不等式推导，构建了一种几何实现方法，直接且可计算地描述了其面结构。

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（和为零的函数）上定义线性泛函 α_τ，其在管状结构 τ 的覆盖关系上求和，以近似 τ 的直径。
• 构造半空间 h_τ = {p ∈ ℝ^P_Σ=0 | α_τ(p) ≥ n^{2|τ|}} 和超平面 H_τ = {p | α_τ(p) = n^{2|τ|}}。
• 将偏序集单纯形 𝒜(P) 实现为 H_P 与所有适当管状结构 τ ⊆ P 对应的 h_τ 的交集。
• 利用无环管状结构条件与周期性，将构造扩展至仿射偏序集循环多面体。
• 证明顶点与最大管状结构一一对应，即仅当所有定义不等式取等号时，点才为顶点。
• 以保序映射 P → ℝ 的紧化为动机，解释在不等式中选择阈值 n^{2|τ|} 的合理性。

实验结果

研究问题

• RQ1 能否在不依赖 stellar 分割的前提下，构造出偏序集单纯形在 ℝ^P 中的简单、显式几何实现？
• RQ2 如何通过环境空间上的不等式，几何化地实现偏序集单纯形的面格？
• RQ3 该方法能否扩展至 Galashin 的仿射偏序集循环多面体，其为有限情形的推广？
• RQ4 线性形式 α_τ 在近似管状结构直径及确保正确面关联性方面起什么作用？
• RQ5 是否存在一个自然选择的 α_τ，既能保持组合结构，又能实现对多面体的计算访问？

主要发现

• 偏序集单纯形 𝒜(P) 被实现为超平面 H_P 与所有适当管状结构 τ ⊆ P 对应的半空间 h_τ 的交集。
• 𝒜(P) 的顶点与 P 的最大管状结构一一对应，因为只有这些点在所有定义不等式中取等号。
• α_τ(p) 的阈值设定为 n^{2|τ|}，确保仅最大管状结构位于所有 h_τ 的边界上。
• 对于仿射偏序集循环多面体，通过 n-周期性管状结构与相同的不等式系统实现，同时保持无环管状结构条件。
• 该实现与保序映射 P → ℝ 的紧化兼容，为多面体提供了作为紧化配置空间的几何解释。
• 对 α_τ 的其他选择（例如对所有覆盖对求和或对生成树求和）可产生同构实现，表明该构造具有鲁棒性。