arXiv++ Combinatorics

Browse math.CO papers from arXiv

An $O(k\log(n/k))$ Bound on Spanning Bipartite Connectivity

Published: 2026-09-20 | Updated: 2026-09-22
Comments: 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

Abstract

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))$.

BibTeX

Loading...