[论文解读] Cubic realizations of Tamari interval lattices

Camille Combe|arXiv (Cornell University)|Apr 11, 2019

semigroups and automata theory参考文献 10被引用 8

一句话总结

本文引入了立方坐标——一种紧凑的整数元组，用于编码Tamari区间格，通过区间偏序集建立了这些坐标与Tamari区间之间的双射。主要贡献是将Tamari区间格几何化为R^{n-1}中的立方复形，其中立方坐标作为空间坐标，且证明了该复形中各胞腔与同步立方坐标的双射关系。

ABSTRACT

We introduce cubic coordinates, which are integer words encoding intervals in the Tamari lattices. Cubic coordinates are in bijection with interval-posets, themselves known to be in bijection with Tamari intervals. We show that in each degree the set of cubic coordinates forms a lattice, isomorphic to the lattice of Tamari intervals. Geometric realizations are naturally obtained by placing cubic coordinates in space, highlighting some of their properties. Finally, we consider the cellular structure of these realizations.

研究动机与目标

• 使用称为立方坐标的整数元组，提供一种新的、紧凑的Tamari区间编码方式。
• 利用这些坐标，将Tamari区间格几何化为R^{n-1}中的立方复形。
• 证明该几何实现中胞腔与同步立方坐标的双射关系。
• 证明立方坐标集合构成一个格，且与Tamari区间格同构。
• 将该几何实现的胞腔结构与同步区间的组合性质联系起来。

提出的方法

• 将Tamari区间图定义为Tamari图与对偶Tamari图的相容对。
• 通过两步编码过程，从Tamari区间图构造(n-1)-元组形式的立方坐标。
• 利用图之间的相容性条件，建立Tamari区间图与区间偏序集之间的双射。
• 通过几何实现中的覆盖关系，赋予立方坐标集合一个偏序，使其与Tamari区间格同构。
• 通过将立方坐标嵌入R^{n-1}，定义一个几何实现，形成覆盖关系的定向图。
• 引入一个从最小胞腔立方坐标（即胞腔）到同步立方坐标的映射Γ，并通过结构与序理论论证证明其双射性。

实验结果

研究问题

• RQ1 如何以紧凑且计算高效的方式编码Tamari区间，同时保持其格结构？
• RQ2 能否基于欧氏空间中的坐标系，构建Tamari区间格的几何实现？
• RQ3 该几何实现的胞腔结构与同步Tamari区间的组合性质之间存在何种关系？
• RQ4 是否存在该几何实现的胞腔与同步立方坐标集合之间的自然双射？
• RQ5 Tamari区间的代数与序理论性质在立方坐标框架中如何体现？

主要发现

• 立方坐标构成一个格，且与Tamari区间格同构，其偏序由几何实现中的覆盖关系诱导。
• 在R^{n-1}中对立方坐标进行几何实现，得到一个立方复形，其中每个点对应一个Tamari区间。
• 建立了该几何实现中胞腔集合与大小为n的同步立方坐标集合之间的双射Γ。
• 同步Tamari区间恰好对应于所有条目非零的立方坐标，此结论由编码的性质所支持。
• 大小为n的几何实现中胞腔的数量等于大小为n的同步立方坐标的数量，从而证实了Γ的双射性。
• 双射性的证明依赖于立方坐标偏序集的结构特性以及上箭头操作的行为，确保在某一坐标与其后继之间不存在中间立方坐标。