特定の二部グラフを含まないグラフの木独立数を評価する
Sim-Width, Induced Matching Treewidth, and Tree-Independence Number in Induced $K_{t,t}$-Free Graphs
この論文をやさしく読む
ひとことで言うと
グラフを木状に分解して測る複数の複雑さの指標について、特定の完全二部グラフを含まない条件下で関係式を証明しています。
何に役立つ?
あるグラフのsim幅や誘導マッチング木幅が分かっているとき、木独立数をどこまで抑えられるかを理論的に評価できます。
この研究の面白いところ
従来の有界性の問いに答えるだけでなく、既知上界の指数を改善し、別の指標を固定した場合にはtについても多項式上界を得ています。
どこまで分かった?
誘導部分グラフK_{t,t}を除外する条件付きの数学的結果です。O_tの定数やO_μの指数はそれぞれtやμに依存し、全パラメータについて同時に一様な低次数多項式を示す表記ではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
木独立数tree-α(G)、誘導マッチング木幅tree-μ(G)、sim幅simw(G)は、木分解または枝分解によって定義されるグラフのパラメータである。本研究では、誘導部分グラフとしてK_{t,t}を持たないグラフの木独立数について、sim幅によるものと誘導マッチング木幅によるものの2つの多項式上界を示す。 Abrishamiら(SIDMA、2025)とBrettellら(EJC、2025)は、sim幅が有界であり、かつ誘導K_{t,t}を除外すれば、木独立数も有界になるかを問うた。本研究は、整数t≥2、s≥1に対して、simw(G)≤sを満たし誘導K_{t,t}を持たないすべてのグラフGで、tree-α(G)=O_t((s+1)^(2t²−2t))が成立することを証明し、この問いに答える。これはまた、誘導K_{1,t}を持たないグラフに関するBešter Štorgelら(arXiv、2026)の予想を多項式の形で強める証明となり、指数を3t²+1から2t²−2tへ下げることでAlonら(arXiv、2025)の定理を改善する。 Alonら(arXiv、2025)はさらに、誘導マッチング木幅を固定したとき、木独立数がtの多項式で抑えられるかを問うた。VC次元の議論を用い、整数μ≥1、t≥2に対し、tree-μ(G)≤μを満たし誘導K_{t,t}を持たないすべてのグラフGでtree-α(G)=t^(O_μ(1))が成り立つことを示し、この問いに肯定的に答える。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-16(UTC)
- 最新改訂
- 2026-09-16 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-16 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
The tree-independence number $tree\text{-}\alpha(G)$, the induced matching treewidth $tree\text{-}\mu(G)$, and the sim-width $simw(G)$ are graph parameters defined in terms of tree or branch decompositions. We establish two polynomial bounds for the tree-independence number of induced $K_{t,t}$-free graphs, one in terms of sim-width and the other in terms of induced matching treewidth. Abrishami et al. (SIDMA, 2025) and Brettell et al. (EJC, 2025) asked whether bounded sim-width, together with the exclusion of an induced $K_{t,t}$, implies bounded tree-independence number. We answer this question by proving that, for integers $t\geq 2$ and $s\geq 1$, every induced $K_{t,t}$-free graph $G$ with $simw(G)\leq s$ satisfies $tree\text{-}\alpha(G)=O_t\left((s+1)^{2t^2-2t}\right)$. This also proves a polynomial strengthening of a conjecture of Bešter Štorgel et al. (arXiv, 2026) concerning induced $K_{1,t}$-free graphs and improves a theorem of Alon et al. (arXiv, 2025) by reducing the exponent from $3t^2+1$ to $2t^2-2t$. Alon et al. (arXiv, 2025) asked whether, for fixed induced matching treewidth, the tree-independence number is polynomially bounded in $t$. Using a VC-dimension argument, we answer this question affirmatively by showing that, for integers $\mu\geq 1$ and $t\geq 2$, every induced $K_{t,t}$-free graph $G$ with $tree\text{-}\mu(G)\leq\mu$ satisfies $tree\text{-}\alpha(G)=t^{O_\mu(1)}$.
arXiv ID: 2609.18648 / 要約の誤りについて