[論文レビュー] Transitivity conditions in infinite graphs

Matthias Hamann, Julian Pott|ArXiv.org|Oct 29, 2009

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

ひとこと要約

この論文は、1つより多くの端を持つ距離推移的およびk-CS推移的無限グラフを分類し、距離推移的性が2距離推移的性と同値であることを証明するとともに、このようなグラフが一般化されたXκ,λグラフに同型であることを示している。さらに、k ≥ 3に対するk-CS推移的グラフは、完全グラフと均一ブロックの特定の結合として分類され、局所的に有限なk-CS推移的グラフに対して端推移的性が確立され、Grayの未解決問題が解決された。

ABSTRACT

We study transitivity properties of graphs with more than one end. We completely classify the distance-transitive such graphs and, for all $k \geq 3$, the $k$-CS-transitive such graphs.

研究の動機と目的

• 局所的に有限でないグラフにまで拡張して、1つより多くの端を持つすべての距離推移的無限グラフを分類すること。MacphersonおよびMöllerの結果を拡張する。
• 1つより多くの端を持つk-CS推移的グラフ（k ≥ 3）を特徴づけること。既知の局所的に有限なグラフに関する結果を一般化する。
• Grayが提起した、局所的に有限なk-CS推移的グラフ（k ≥ 3）が端推移的であるかどうかという未解決問題を解決すること。
• k-CS推移的グラフにおける端の構造を分析し、局所的端とグローバル端を区別し、その自己同型群の作用を検討すること。

提案手法

• 複数の端を持つ無限グラフの分解を分析するため、構造木と最小カット系の使用。
• 二部木の頂点を有限グラフH1およびH2のコピーに置き換え、隣接するブロック間に辺を追加することで、一般化されたグラフZκ,λ(H1,H2)を構成する。
• 局所的グラフ構造および自己同型の拡張性質を分析するため、開S-ブロックおよびS-分離子の概念の適用。
• 既知の有限均一および超均一グラフの分類（Gardiner, Ronse）を活用し、k-CS推移的グラフにおける可能なブロックタイプを制限する。
• 非局所的に有限なグラフにおける端推移的性を分析するため、メトリック端と有限直径の分離子による同値関係の概念の使用。
• ブロックタイプ（完全、空、または均一）およびk-CS推移的性から導かれる基数制約に基づく、ケース別証明。

実験結果

リサーチクエスチョン

• RQ1 1つより多くの端を持つ無限グラフで距離推移的であるのはどのようなものか。Xκ,λグラフにどのように一般化されるか。
• RQ2 k ≥ 3のとき、1つより多くの端を持つk-CS推移的グラフの完全な構造的クラスは何か。
• RQ3 すべての局所的に有限なk-CS推移的グラフ（k ≥ 3）は端推移的か。この性質は非局所的に有限なグラフにまで拡張可能か。
• RQ4 k-CS推移的グラフの自己同型群は、その端上でどのように作用するか。局所的端とグローバル端の違いは何か。
• RQ5 k-CS推移的性の条件が、グラフ結合に用いられる有限ブロックの構造にどのような制約を課えるか。

主な発見

• 1つより多くの端を持つ連結無限グラフが距離推移的であるための必要十分条件は、ある基数κ, λ ≥ 2に対してXκ,λに同型であることである。
• k ≥ 3のとき、1つより多くの端を持つ連結グラフがk-CS推移的であるための必要十分条件は、次のいずれかの指定された結合に同型であることである：Xκ,λ(K¹)、X₂,λ(Kⁿ)（n ≤ k/2）、Xκ,2(K̄ᵐ)（m ≤ k/2）、またはZκ,λ(H₁,H₂)（H₁およびH₂に特定の制約を課す）。
• 任意のk-CS推移的グラフ（k ≥ 3）で1つより多くの端を持つものについて、その自己同型群はメトリック端上で推移的に作用し、端は局所的またはグローバルのいずれかである。
• すべての局所的に有限なk-CS推移的グラフ（k ≥ 3）は端推移的である。これはGrayの予想を確認するものである。
• k-CS推移的グラフでは、自己同型群が端の集合に対して高々2つの軌道を持つ。1つは局所的端、もう1つはグローバル端に対応する。
• |H₁| = 1で、H₂が完全グラフでもその補グラフでもないZ₂,₂(H₁,H₂)のグラフについて、H₂はm ≤ k−2およびn ≤ k/2 + 1を満たすクラス𝒪ₖ,ₘ,ₙに属する必要がある。