[论文解读] Peano partial cubes

Norbert Polat|arXiv (Cornell University)|Jan 1, 2019

Finite Group Theory Research参考文献 34被引用 1

一句话总结

本文引入了佩亚诺部分立方体——具有帕施性质与佩亚诺性质的二分图——其测地区间空间为闭合并集空间。研究证明这些图推广了中位图与网状部分立方体，通过等距圈的凸包表征为门控拟超环面（K₂与偶圈的笛卡尔积）。主要贡献在于对超中位部分立方体的结构表征：即每个三元组均有中位点或超中位点的图，且有限凸子图由门控黏合的有限拟超环面构成。

ABSTRACT

Peano partial cubes are the bipartite graphs whose geodesic interval spaces are (closed) join spaces. They are the partial cubes all of whose finite convex subgraphs have a pre-hull number which is at most 1. Special Peano partial cubes are median graphs, cellular bipartite graphs and netlike partial cubes. Analogous properties of these graphs are satisfied by Peano partial cubes. In particular the convex hull of any isometric cycle of such a graph is a gated quasi-hypertori (i.e., the Cartesian product of copies of K_2 and even cycles). Moreover, for any Peano partial cubes G that contains no isometric rays, there exists a finite qasi-hypertorus which is fixed by all automorphisms of G, and any self-contraction of G fixes some finite quasi-hypertorus. A Peano partial cube G is called a hyper-median partial cube if any triple of vertices of has either a median or a hyper-median, that is, a quasi-median whose convex-hull induces a hypertorus (i.e., the Cartesian product of even cycles such that at least one of them has length greater than 4). These graphs have several properties similar to that of median graphs. In particular a graph is a hyper-median partial cube if and only if all its finite convex subgraphs are obtained by successive gated amalgamations from finite quasi-hypertori. Also a finite graph is a hyper-median partial cube if and only if it can be obtained from K_1 by a sequence of special expansions. The class of Peano partial cubes and that of hyper-median partial cubes are closed under convex subgraphs, retracts, Cartesian products and gated amalgamations. We study two convex invariants: the Helly number of a Peano partial cube, and the depth of a hyper-median partial cube that contains no isometric rays. Finally, for a finite Peano partial cube G, we prove an Euler-type formula, and a similar formula giving the isometric dimension of G.

研究动机与目标

• 定义并表征佩亚诺部分立方体为具有帕施与佩亚诺性质的部分立方体，推广中位图。
• 研究这些图的凸几何，特别是等距圈凸包的结构。
• 引入并分析超中位部分立方体——即每个顶点三元组均有中位点或超中位点的佩亚诺部分立方体。
• 建立在凸子图、收缩映射、笛卡尔积及门控黏合下的闭包性质。
• 推导欧拉型公式与不变量（如赫利数与深度），适用于有限佩亚诺与超中位部分立方体。

提出的方法

• 将佩亚诺部分立方体定义为测地区间空间为闭合并集空间的二分图，等价于满足帕施与佩亚诺性质。
• 表征佩亚诺部分立方体的有限凸子图为预凸包数 ≤1 的图，与 ph-同态图相关联。
• 将超中位部分立方体引入为每个三元组均有中位点或超中位点（凸包为超环面）的佩亚诺部分立方体。
• 证明超中位部分立方体的有限凸子图可通过有限拟超环面的门控黏合序列构建。
• 使用展开过程与 Θ-类分解分析等距维数与圈结构。
• 利用贝蒂数与凸圈上的交错和，推导欧拉型公式与等距维数公式。

实验结果

研究问题

• RQ1 佩亚诺部分立方体除中位图与网状部分立方体外，其结构特性为何？
• RQ2 佩亚诺部分立方体中，等距圈的凸包行为如何？
• RQ3 何种条件可确保部分立方体为超中位部分立方体？其如何推广中位图的性质？
• RQ4 佩亚诺与超中位部分立方体在凸子图、收缩映射与笛卡尔积下具有何种闭包性质？
• RQ5 可为这些类定义哪些不变量（如赫利数与深度）？其与圈结构及维数有何关联？

主要发现

• 佩亚诺部分立方体中任意等距圈的凸包为门控拟超环面，即 K₂ 与偶圈的笛卡尔积。
• 有限拟超环面恰好是有限正则佩亚诺部分立方体，也是对径佩亚诺部分立方体。
• 在无等距射线的佩亚诺部分立方体中，每个自同构与自收缩映射均固定一个有限拟超环面。
• 部分立方体为超中位部分立方体当且仅当其所有有限凸子图均可通过有限拟超环面的门控黏合序列获得。
• 有限图为超中位部分立方体当且仅当其可从 K₁ 出发，通过一系列特殊展开构造而成。
• 对有限佩亚诺部分立方体 G，其等距维数满足 idim(G) = −∑ᵢ(−1)ⁱ∑ⱼ(i+j)βⱼⁱ(G)，且满足欧拉型公式：∑ᵢ(−1)ⁱβᵢ(G) = 1。