[論文レビュー] Ubiquity in graphs II: Ubiquity of graphs with non-linear end structure

Nathan Bowler, Christian Elbracht+5 more|arXiv (Cornell University)|Sep 3, 2018

Advanced Graph Theory Research参考文献 10被引用数 3

ひとこと要約

本稿では、局所的に有限なグラフの端構造に対して、マイナー関係における$/preceq$-普遍性を保証する十分条件を確立している。非線形の端構造（例えば、完全なグリッド）をもつグラフが$/preceq$-普遍的であることを証明しており、この結果はアンドレーエの予想を支持する。

ABSTRACT

A graph $G$ is said to be $\preceq$-ubiquitous, where $\preceq$ is the minor relation between graphs, if whenever $\Gamma$ is a graph with $nG \preceq \Gamma$ for all $n \in \mathbb{N}$, then one also has $\aleph_0 G \preceq \Gamma$, where $\alpha G$ is the disjoint union of $\alpha$ many copies of $G$. A well-known conjecture of Andreae is that every locally finite connected graph is $\preceq$-ubiquitous. In this paper we give a sufficient condition on the structure of the ends of a graph~$G$ which implies that $G$ is $\preceq$-ubiquitous. In particular this implies that the full grid is $\preceq$-ubiquitous.

研究の動機と目的

• 局所的に有限な連結グラフのマイナー関係における普遍性を調査すること。
• グラフの端にかかる構造的条件を同定し、$/preceq$-普遍性を保証すること。
• 非線形の端構造をもつグラフに適用可能な、$/preceq$-普遍性の十分条件を提供すること。
• アンドレーエの局所的に有限なグラフにおける普遍性に関する予想の解決に貢献すること。

提案手法

• 著者たちは、局所的に有限なグラフにおける端の位相的構造を分析し、特に非線形の端構造に注目している。
• 任意のグラフ $Γ$ がすべての $n \in \mathbb{N}$ に対して $nG$ を含むとき、その中に任意に大きな有限マイナーが存在することを保証する端構造に関する条件を定義している。
• この手法は、端の連結性および分離性に関する組合せ論的および位相的議論に依拠している。
• 証明ではマイナー閉じた族の概念を用い、無限グラフおよびそのマイナーに関する既知の結果を適用している。
• 端構造が非線形であれば、グラフは普遍性条件を満たすことが示されている。
• 結論として、非線形の端構造をもつ完全なグリッドが$/preceq$-普遍的であることを示している。

実験結果

リサーチクエスチョン

• RQ1 局所的に有限なグラフの端にかかるどのような構造的条件下で、そのグラフは$/preceq$-普遍的となるか？
• RQ2 グラフに非線形の端構造が存在する場合、マイナー関係における$/preceq$-普遍性が保証されるか？
• RQ3 非線形の端構造に関する条件を用いて、完全なグリッドが$/preceq$-普遍的であることを証明できるか？
• RQ4 提示された端構造に関する条件が、広範なグラフのクラスに対してアンドレーエの予想を検証するために十分か？
• RQ5 非線形の端構造は、グラフが任意に大きな有限な互いに素な $G$ の和を含む場合、無限マイナーの存在にどのように影響するか？

主な発見

• 局所的に有限なグラフの端構造にかかる十分条件が、マイナー関係における$/preceq$-普遍性を保証する。
• 非線形の端構造をもつグラフは普遍性条件を満たしており、$nG \preceq \Gamma$ がすべての $n$ に対して成り立つならば、$\aleph_0 G \preceq \Gamma$ が成り立つ。
• 完全なグリッドは、その非線形の端構造の直接の結果として$/preceq$-普遍的であることが証明された。
• この結果は、アンドレーエの予想の解決に向けて、普遍性が成り立つ広範なグラフのクラスを同定することで、重要な一歩を踏み出した。
• この手法により、他のグラフの性質とは独立して、普遍性を保証する構造的基準（端の非線形性）が確立された。
• 研究結果は、マイナー関係におけるグラフの普遍性が、端構造そのものによって決定され得ることを示している。