[論文レビュー] A Proof Technique for Skewness of Graphs

Gek L. Chia, Chan L. Lee+1 more|arXiv (Cornell University)|Sep 19, 2017

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

ひとこと要約

本稿は、一般化されたペテルセングラフ P(4k,k) の偏りを証明するための新しい重み付きエッジ技術を導入し、k ≥ 9 が奇数のとき μ(P(4k,k)) = k+2 であることを確立した。エッジに戦略的な重みを割り当て、平面部分グラフにおける面の重みを分析することで、[3] に提出された長年の予想を、オイラーの公式とエッジ重み不等式に基づく新しい証明枠組みを用いて解決した。

ABSTRACT

The skewness of a graph G is the minimum number of edges in G whose removal results in a planar graph. By appropriately introducing a weight to each edge of a graph, we determine, among other thing, the skewness of the generalized Petersen graph P(4k, k) for odd k at least 9. This provides an answer to the conjecture raised in [3].

研究の動機と目的

• 奇数 k ≥ 5 のとき μ(P(4k,k)) = k+2 であるという予想を解決すること。これは偶数 k の場合の先行結果を拡張する。
• 非平面グラフにおける偏り解析のための新しい重み付きエッジ手法を開発・適用すること。
• Qs(k) グループのグラフの偏りに関する一般式 μ(Qs(k)) = ⌈(s−2)k/2⌉ + 1 (k ≥ 4) を確立すること。
• 面の重みと頂点の独立性の制約を用いて、背理法により P(4k,k) の偏りが k+1 であることは不可能であることを示すこと。
• エッジ重み付けとオイラーの公式に基づく統一的な証明技法を確立し、一般化されたペテルセングラフおよび関連するグラフに適用可能であること。

提案手法

• P(4k,k) における外周のエッジ u_iu_{i+1} に重み 4、スパイク u_iv_i に重み k−3、内周のエッジ v_iv_{i+k} に重み 2k−2 を割り当てる。
• P(4k,k) の総重み W(G) = 4k(3k−1) を定義し、t 個のエッジを削除して得られる平面部分グラフ H における重み保存則を用いる。
• オイラーの公式を適用し、不等式 2(W(H)) ≥ (8k−8)(4k−t+2) を用いて t の下界を導出し、t ≥ k+1 を得る。
• タイプ u_iu_{i+1}、u_iv_i、v_iv_{i+k} のエッジに対してそれぞれ値 4、1、2 をとる修正された重み関数 w'(e) を導入し、H における面タイプを分析する。
• 面タイプ分類 (i)–(iv) を用いて、等号が成り立つ場合にのみ特定のサイクルが平面部分グラフに現れることを示す。
• 等号が成り立つ場合に Q₃(k) に同型な部分グラフに帰着できることを示し、既知の偏り μ(Q₃(k)) = (k+3)/2 を用いて、μ(P(4k,k)) = k+1 であると仮定した場合に矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 奇数 k ≥ 9 の一般化ペテルセングラフ P(4k,k) の偏りは何か？
• RQ2 非平面グラフにおける偏りの境界を証明するための新しい重み付きエッジ技術を開発できるか？
• RQ3 予想 μ(P(4k,k)) = k+2 は奇数 k ≥ 5 に対して真であるか。また、従来の手法に依存せずに証明可能か？
• RQ4 偏りが k+1 であると仮定したとき、P(4k,k) の平面部分グラフ H にどのような構造的制約が生じるか？
• RQ5 Qs(k) の偏りと P(4k,k) の偏りの関係は何か。また、Qs(k) は一般化ペテルセングラフの偏りを証明するための構築ブロックとして機能できるか？

主な発見

• すべての奇数 k ≥ 9 に対して、P(4k,k) の偏りは正確に k+2 である。これは [3] に提起された予想を確認した。
• Qs(k) グループの偏りは、k ≥ 4 のとき μ(Qs(k)) = ⌈(s−2)k/2⌉ + 1 で与えられ、s = 3 および s = 4 の場合の先行結果を一般化する。
• μ(P(4k,k)) = k+1 であると仮定した平面部分グラフ H では、特定の面タイプ (i)–(iv) のみが現れ、かつ R(P(4k,k)) のエッジ集合は外周の独立エッジのみからなる必要がある。
• H にタイプ (i) の面が2つ以上存在する場合、少なくとも 2k−2 個の良い頂点が存在し、外周に少なくとも k+1 個の連続する悪い頂点が存在することになる。
• P(4k,k) から k−1 個の頂点とエッジを削除して得られる部分グラフは Q₃(k) の分割である。μ(Q₃(k)) = (k+3)/2 であるため、全体の偏りは k+1 を超える。
• 矛盾が生じるため、μ(P(4k,k)) ≥ k+2 であることが示され、上界が既に知られていたことと合わせて、等号が成り立つ：μ(P(4k,k)) = k+2。