全頂点を含む二部連結部分グラフの必要連結度を改善
An $O(k\log(n/k))$ Bound on Spanning Bipartite Connectivity
この論文をやさしく読む
ひとことで言うと
十分につながったグラフから、全頂点を含む二部グラフを取り出すために必要な連結度の上界を改良した。
何に役立つ？
グラフ理論で全頂点を含む部分グラフの存在条件を調べる基礎となる。
この研究の面白いところ
従来のk²やk³を含む上界を、k log(n/k)のオーダーまで改善した。
どこまで分かった？
これは上界であり、Thomassenの「kだけの関数で抑えられる」という予想そのものを証明したわけではない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
1≤k≤n/2の整数について、n頂点でs連結な全てのグラフが、全頂点を含み、二部グラフで、k連結な部分グラフを持つような最小の整数sをf(k,n)とする。Thomassenは、f(k,n)がkだけの関数で上から抑えられると予想した。DelcourtとFerberは f(k,n)=O(k³ log n) を証明し、その後Yusterは f(k,n)≤22k² log₂n を得た。 本論文は、2≤k≤n/2で、f(k,n)≤min{n−1, ⌊6(k−1) log₂(n/(k−1))⌋} を証明する。特に f(k,n)=O(k log(n/k)) となり、従来の上界を改善する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-20（UTC）
- 最新改訂
- 2026-09-20 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-20 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
For integers $1\le k\le n/2$, let $f(k,n)$ be the least integer $s$ such that every $s$-connected graph on $n$ vertices contains a spanning bipartite $k$-connected subgraph. Thomassen conjectured that $f(k,n)$ is bounded by a function of $k$ alone. Delcourt and Ferber proved $f(k,n)=O(k^3\log n)$, and Yuster subsequently obtained $f(k,n)\le22k^2\log_2 n$. We prove that, for $2\le k\le n/2$, \[ f(k,n)\le\min\left\{n-1,\, \left\lfloor6(k-1)\log_2\frac{n}{k-1}\right\rfloor\right\}. \] In particular, $f(k,n)=O(k\log(n/k))$.
著者のコメント
All proofs were written by the authors without the assistance of AI. However, GPT-6 Astra was used to check the correctness of our proofs, and no mistakes were found
arXiv ID: 2609.23262 ／ 要約の誤りについて