[論文レビュー] An Improved Interpolation Theorem and Disproofs of Two Conjectures on 2-Connected Subgraphs

Haiyang Liu, Bo Ning|arXiv (Cornell University)|Mar 12, 2026

graph theory and CDMA systems被引用数 0

ひとこと要約

この論文は、最小次数が n/4 + 2 以上の n 頂点の2連結グラフは、すべての次数 4 から n までの2連結部分グラフを含むことを示し、Yin と Wu の2つの予想を反例で覆し、埋め込みフレームワークを拡張する新しい予想を提案します。

ABSTRACT

We prove that any \(2\)-connected graph \(G\) on \(n\) vertices with minimum degree \(δ(G) \ge \frac{n}{4}+2\) contains a \(2\)-connected subgraph of order \(k\) for every integer \(k\) with \(4 \le k \le n\). This improves a previous result of Yin and Wu. In \cite{YinWu-DAM-2026}, Yin and Wu proposed two conjectures. The first states that for any \(2\)-connected graph \(G\) of order \(n\) and size \(m\), there exists a \(2\)-connected subgraph of order \(k\) for each \(k \in \{4, \dots, n\}\) whenever \(m \ge \frac{1}{2} n^{3/2}\). The second conjecture asserts that the same conclusion holds under the alternative condition \(δ(G) \ge \sqrt{n}\). In this paper, we construct counterexamples that completely disprove the first conjecture. Furthermore, using the existence of \((v, k, 2)\)-Symmetric Balanced Incomplete Block designs (i.e., SBIBDs), we disprove the second conjecture for all \(n \in \{8, 14, 22, 32, 74, 112, 158\}\). Finally, we propose a conjecture of our own: for any \(2\)-connected graph \(G\) on \(n\) vertices with \(δ(G) \ge \frac{n}{k}\), where \(k \ge 3\) and \(n\) is sufficiently large, \(G\) contains a \(2\)-connected subgraph of every order from \(4\) to \(n\).

研究の動機と目的

• サイクルとと spanning tree から2連結部分グラフへ、補間特性を動機づけ・拡張する。
• すべての次数 4..n の2連結部分グラフの存在を保証する既知の次数条件を改善する。
• 特定の密度条件または最小次数条件の下でのYin と Wu の2つの予想を反証する。
• 大きな n に対してすべての次数 4..n の2連結部分グラフが存在する新しい予想を提供する。

提案手法

• 単純グラフにおける2連結部分グラフの補間フレームワークを確立・利用する。
• δ(G) ≥ ⌈n/4⌉ + 2 がすべての次数 4..n の2連結部分グラフを含むことを示す。
• ブリッジングエッジを持つ clique と path を組み合わせて予想1の反例を構築する。
• 特定の小さな n に対して (v,k,2)-SBIBD の存在を用いて予想2の反例を作成する。
• 主定理の証明において構造的帰納法とケース分析を組み立てるために、既知の結果（Reiman、Hamidoune、Yin & Wu など）を適用する。

実験結果

リサーチクエスチョン

• RQ1 δ(G) ≥ n/3 + 1 を超える強化された最小次数条件が、2連結グラフに対してすべての次数 4..n の2連結部分グラフを含むことを保証するか？
• RQ2 Yin と Wu の予想1および予想2は、無限の n のファミリで反例を作れるか，そしてどのような構造的構成の下で？
• RQ3 十分大きな n に対して、すべての大域的な n に対して2連結部分グラフの補間特性を満たす鋭い最小次数閾値は何か？
• RQ4 δ(G) ≥ n/k (k ≥ 3) かつ大きな n に対して、より広い予想を定式化できるか？

主な発見

• 定理：G が n ≥ 4 の2連結で δ(G) ≥ ⌈n/4⌉ + 2 を満たすとき、G は k = 4,...,n のすべての次数を持つ2連結部分グラフを含む。
• 本論文は、十分大きな n に対して密度条件 m ≥ 1/2 n^{3/2} に対する予想1 を反例で覆すことを示す。
• 本論文は、(v,k,2)-SBIBD および関連するインシデンスグラフを用いて、予想2 を {8,14,22,32,74,112,158} の集合に対して反証する。
• 新しい予想：δ(G) ≥ n/k (k ≥ 3) かつ十分大きな n のとき、G はすべての次数 4..n の2連結部分グラフを含む。