[论文解读] Realizations of the associahedron and cyclohedron

Christophe Hohlweg, Carsten Lange|Archipelago (Université du Québec à Montréal)|Oct 27, 2005

Advanced Combinatorial Mathematics参考文献 11被引用 4

一句话总结

本文提出了一种统一算法，通过类型 A 和 B 的定向 Coxeter 图，构造了 associahedron 和 cyclohedron 的整数坐标实现，推广了 Loday 对 associahedron 的构造方法。该方法生成的多面体具有 cambrian 风扇作为法向量扇，从而证实了 N. Reading 关于类型 A 和 B 中 cambrian 格的猜想。

ABSTRACT

We describe many different realizations with integer coordinates for the associahedron (i.e. the Stasheff polytope) and for the cyclohedron (i.e. the Bott-Taubes polytope) and compare them to the permutahedron of type A_n and B_n respectively. The coordinates are obtained by an algorithm which uses an oriented Coxeter graph of type A_n or B_n respectively as only input and which specialises to a procedure presented by J.-L. Loday for a certain orientation of A_n. The described realizations have cambrian fans of type A and B as normal fans. This settles a conjecture of N. Reading for cambrian fans of these types.

研究动机与目标

• 提供一种单一的算法框架，显式构造 associahedron 和 cyclohedron 的整数坐标实现。
• 将 J.-L. Loday 针对 associahedron 的基于树的坐标构造方法推广至类型 B，从而获得 cyclohedron 的实现。
• 证明这些实现的法向量扇与对应类型的 cambrian 风扇一致，从而证实 N. Reading 的猜想。
• 证明这些实现是通过修改类型 A 和 B 的 permutahedron 的面不等式而得到的广义 permutahedra。
• 探索实现的等距类与重心，提示整数格点计数可能用于检测等距实现。

提出的方法

• 该算法以类型 A_{n-1} 或 B_n 的定向 Coxeter 图为输入，通过基于树的变换过程在 R^n 中计算顶点坐标。
• 顶点坐标通过将平面二叉树（类型 A）或中心对称三角剖分（类型 B）映射为整数向量得到，利用图中的路径长度和方向数据。
• 通过从类型 A 或 B 的 permutahedron 中移除特定面，基于 Coxeter 图的方向构造实现的 H-表示。
• 当应用于 A_{n-1} 图的特定方向时，该方法退化为 Loday 的构造，确保与先前工作的兼容性。
• 通过组合与几何分析验证，每个实现的法向量扇与对应类型的 cambrian 风扇一致。
• 使用 polymake 和 LattE 等工具进行计算实现，支持顶点枚举与多面体中整数格点的计数。

实验结果

研究问题

• RQ1 能否通过单一算法，利用类型 A 和 B 的定向 Coxeter 图，生成 associahedron 和 cyclohedron 的整数坐标实现？
• RQ2 所构造实现的法向量扇是否与对应类型的 cambrian 风扇一致，如 N. Reading 所猜想？
• RQ3 若 associahedron 和 cyclohedron 的实现具有相同数量的整数格点，它们是否等距，如数据所示？
• RQ4 这些实现的顶点集重心是否在每个坐标上均为 (n+1)/2，如低维情况所观察？
• RQ5 这些实现能否如 Postnikov 的广义 permutahedra 框架所建议，描述为标准 permutahedron 面的带符号系数的 Minkowski 和？

主要发现

• 该算法推广了 Loday 的构造：当应用于 A_{n-1} 图的特定方向时，可重现其 associahedron 的整数坐标实现。
• 对于类型 B，该方法首次通过修改 B_n permutahedron 的面不等式，显式构造出 cyclohedron 作为广义类型 B permutahedron 的实现。
• 证明了每个实现的法向量扇均为类型 A 和 B 的 cambrian 风扇，从而证实了 N. Reading 的猜想 1.1 在这些类型中的正确性。
• 对于 n=5，该算法生成每个实现 19 个顶点，多面体中包含 672 个整数格点；具有相同顶点数但不同格点数的上集表明可能存在等距类。
• 对于 n=6，通过不同格点数（如 {2,4} 对应 I_A = 13795，{3,4} 对应 12310）识别出等距类，提示格点计数可检测等距实现。
• 所有测试的 associahedron 和 cyclohedron 实现（最高至维度 5）的顶点集重心在每个坐标上均为 (n+1)/2，提示存在普遍的重心性质。