[論文レビュー] Peano partial cubes

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

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

ひとこと要約

本稿では、PashおよびPeano性を備えた二部グラフとしてのペアノ部分立方体—geodesic区間空間が閉じた結合空間であるものを導入する。これらは中間グラフおよびネットワーク的ペアノ部分立方体を一般化し、等長サイクルの凸包がゲーテッド準超トーラス（K₂および偶数サイクルの直積）であると特徴づけられる。主な貢献は、任意の3頂点が中間点または超中間点を持つようなグラフとしてのハイパーミッドアン部分立方体の構造的特徴づけであり、有限な凸部分グラフが有限な準超トーラスのゲーテッド結合から得られることを示している。

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.

研究の動機と目的

• 中間グラフを一般化するため、PashおよびPeano性を備えた部分立方体としてペアノ部分立方体を定義し、その特徴づけを行う。
• これらのグラフの凸幾何学、特に等長サイクルの凸包の構造を調査する。
• ペアノ部分立方体の各3頂点が中間点または超中間点を持つようなものとしてハイパーミッドアン部分立方体を導入し、分析する。
• 凸部分グラフ、リトラクト、直積、ゲーテッド結合に関しての閉包性質を確立する。
• Euler型の公式およびHelly数や深さなどの不変量を、有限なペアノおよびハイパーミッドアン部分立方体に対して導出する。

提案手法

• geodesic区間空間が閉じた結合空間である二部グラフとしてペアノ部分立方体を定義し、PashおよびPeano性を満たすことに同等であることを示す。
• ペアノ部分立方体の有限凸部分グラフを、前凸包数≤1を満たすものとして特徴づけ、ph-同調グラフと関連付ける。
• 各3頂点が中間点または超中間点（凸包が超トーラス）を持つペアノ部分立方体としてハイパーミッドアン部分立方体を導入する。
• ハイパーミッドアン部分立方体の有限凸部分グラフが、有限な準超トーラスからのゲーテッド結合の系列によって構成されることを示す。
• 展開手続きおよびΘ類分解を用いて、等長次元およびサイクル構造を分析する。
• Betti数および凸サイクル上の交項和を用いた公式を用いて、Euler型の公式および等長次元の公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 中間グラフおよびネットワーク的ペアノ部分立方体を越えて、ペアノ部分立方体を特徴づける構造的性質は何か？
• RQ2 ペアノ部分立方体における等長サイクルの凸包はどのように振る舞うか？
• RQ3 部分立方体がハイパーミッドアン部分立方体であるための条件は何か？ これは中間グラフの性質をどのように一般化するか？
• RQ4 凸部分グラフ、リトラクト、直積に関して、ペアノおよびハイパーミッドアン部分立方体が満たす閉包性質は何か？
• RQ5 Helly数や深さなどの不変量は、これらのクラスに対して定義可能であり、サイクル構造および次元とどのように関係するか？

主な発見

• ペアノ部分立方体における任意の等長サイクルの凸包は、ゲーテッド準超トーラス、すなわちK₂および偶数サイクルのコピーの直積である。
• 有限な準超トーラスは、有限な正則ペアノ部分立方体であり、また、反対点を持つペアノ部分立方体でもある。
• 等長レイトが存在しないペアノ部分立方体では、任意の自己同型および自己収縮が有限な準超トーラスを固定する。
• 部分立方体がハイパーミッドアン部分立方体であるための必要十分条件は、すべての有限凸部分グラフが有限な準超トーラスからのゲーテッド結合の系列によって得られることである。
• 有限なグラフがハイパーミッドアン部分立方体であるための必要十分条件は、K₁から特別な展開の系列によって構成可能であることである。
• 有限なペアノ部分立方体Gに対して、等長次元はidim(G) = −∑ᵢ(−1)ⁱ∑ⱼ(i+j)βⱼⁱ(G)を満たし、Euler型の公式∑ᵢ(−1)ⁱβᵢ(G) = 1が成り立つ。