arXiv++ Combinatorics

When characterizing graphs defined by forbidden induced subgraphs, it is often desirable to understand how a graph $G$ can be generated incrementally from a given induced subgraph $H$. In this paper, we study a number of problems within this framework. First, for several notions of connectivity, we determine all minimal induced subgraphs of $G$ that contain $H$ and attain the connectivity of $G$. Second, we establish how to grow $H$ inside $G$ while preserving twin-freeness and certain forms of connectivity. Third, we establish {\it finite test theorems} for various graph classes, proving that agreement with the recursively generated graphs for a few initial iterations forces agreement at all subsequent iterations. Consequently, such an infinite graph family can be completely determined by finitely many of its initial generations. As an application, we characterize $\{\mathbb L_1,\mathbb L_3\}$-free graphs, where $\mathbb L_1$ is the claw and $\mathbb L_3$ is another forbidden graph for line graphs. Our structural results reduce this problem to a finite verification, which is completed through computer-assisted computation.

A multipartite tournament is an orientation of a complete multipartite graph. We prove that every $r$-regular $c$-partite tournament with common partite-set cardinality $α$ is $4$-arc-pancyclic whenever $c\ge93$; that is, every arc belongs to a cycle of each length from $4$ to $cα$. This confirms the conjecture of Zhou and Zhang for all sufficiently large $c$ and provides a multipartite analog of Alspach's arc-pancyclicity theorem. Moreover, we also give a construction to show that 4-arc-pancyclic is the best possible. Next, we prove that every arc belongs to at least $cα-α-1$ cycles of pairwise distinct lengths when $c\ge7$ and $α\ge2$. For regular $3$-partite tournaments with common partite-set cardinality $α\ge2$, we obtain the sharp lower bound $α$, settling the remaining case of a conjecture of Xia, Cai, Guo, and Wang.

A graph is perfectly divisible if every induced subgraph with at least one edge admits a partition into a perfect induced subgraph and an induced subgraph with smaller clique number. Every perfectly divisible graph $G$ satisfies $χ(H)\leq\binom{ω(H)+1}{2}$ for every induced subgraph $H$ of $G$. We show that the converse fails: for every non-negative integer $t$, the graph $P(17)\vee K_t$ satisfies this bound for every induced subgraph but is not perfectly divisible, yielding an infinite family of counterexamples. Motivated by this distinction, we introduce $(k,\ell)$-linear divisibility and prove that every $(k,\ell)$-linearly divisible graph $G$ satisfies $χ(G)\leq k\binom{ω(G)+1}{2}$. As an application of this framework, we give a direct structural decomposition showing that every chair-free graph is $(2,2)$-linearly divisible, where a chair is obtained from $K_{1,3}$ by subdividing one edge once. This chair-free result was obtained independently before we became aware of a recent preprint of Liu, Sun, Wang, Wu, and Zeng [arXiv:2608.13519], who prove the stronger statement that every chair-free graph is perfectly weight divisible and hence satisfies $χ(G)\leq\binom{ω(G)+1}{2}$.