arXiv++ Combinatorics

A graph $G$ is perfect if $ω(H) = χ(H)$ for each induced subgraph $H$ of $G$. In 2002, Chudnovsky, Robertson, Seymour, and Thomas famously proved the Strong Perfect Graph Theorem. Motivated by this forbidden induced subgraph characterization of the class of perfect graphs as well as the possible extension of efficient algorithms on perfect graphs, we consider the structure of graphs that are almost perfect. We say a graph is $c$-apex perfect if there is a constant $c$ number of vertices such that, upon the deletion of these vertices, what remains is a perfect graph. In this paper, we characterize the class of the sets of graphs $\mathcal{H}$ with $|\mathcal{H}|\leq 2$ for which there exists $c \in \mathbb{N}$ with the property that each $\mathcal{H}$-free graph is $c$-apex perfect. We also extend these results to several notable subclasses of perfect graphs, including chordal, interval, split, bipartite, and complete multipartite graphs.

In 2014, Keevash proved the existence of $(n,q,r)$-Steiner systems (equivalently $K_q^r$-decompositions of $K_n^r$) for all large enough $n$ satisfying the necessary divisibility conditions. In 2021, Glock, Kühn, and Osthus proposed a generalization of this result. Namely they conjectured a hypergraph version of Nash-Williams' Conjecture positing that if a $K_q^r$-divisible $r$-graph $G$ on $n$ vertices has minimum $(r-1)$-degree (denoted $δ(G)$ hereafter) at least $\left(1-Θ_r\left(\frac{1}{q^{r-1}}\right)\right) \cdot n$, then $G$ admits a $K_q^r$-decomposition. The best known progress on this conjecture dates to the second proof of the Existence Conjecture by Glock, Kühn, Lo, and Osthus wherein they showed that $δ(G)\ge \left(1-\frac{c}{q^{2r}}\right)\cdot n$ suffices for large enough $n$, where $c$ is a constant depending on $r$ but not $q$. As for the fractional relaxation, the best known bound is due to Delcourt, Lesgourgues, and the second author, who proved that $δ(G)\ge \left(1-\frac{c}{q^{r-1 + o(1)}}\right)\cdot n$ guarantees a $K_q^r$-fractional decomposition. We prove that for every integer $r\ge 2$, there exists a real $c>0$ such that if a $K_q^r$-divisible $r$-graph $G$ satisfies $δ(G)\ge \max\left\{ δ_{K_q^r}^* + \varepsilon,~~1 -\frac{c}{\binom{q}{r-1}} \right\} \cdot n$, then $G$ admits a $K_q^r$-decomposition for all large enough $n$, where $δ_{K_q^r}^*$ denotes the fractional $K_q^r$-decomposition threshold. Combined with the fractional result above, this proves that $\left(1-\frac{c}{q^{r-1 + o(1)}}\right)\cdot n$ suffices for the Hypergraph Nash-Williams' Conjecture, approximately confirming the correct order of $q$. Our proof uses the newly developed method of refined absorption; we also develop a non-uniform Turán theory to prove the existence of many embeddings of absorbers which may be of independent interest.

A central open question in extremal design theory is Nash-Williams' Conjecture from 1970 that every $K_3$-divisible graph on $n$ vertices (for $n$ large enough) with minimum degree at least $3n/4$ has a $K_3$-decomposition. A folklore generalization of Nash-Williams' Conjecture extends this to all $q\ge 4$ by positing that every $K_q$-divisible graph on $n$ vertices (for $n$ large enough) with minimum degree at least $\left(1-\frac{1}{q+1}\right)n$ has a $K_q$-decomposition. We disprove this conjecture for all $q\ge 4$; namely, we show that for each $q\ge 4$, there exists $c > 1$ such that there exist infinitely many $K_q$-divisible graphs $G$ with minimum degree at least $\left(1-\frac{1}{c\cdot(q+1)}\right)v(G)$ and no $K_q$-decomposition; indeed we construct them admitting no fractional $K_q$-decomposition thus disproving the fractional relaxation of this conjecture. Our result also disproves the more general partite version. Indeed, we even show the folklore conjecture is off by a multiplicative factor by showing that for every $\varepsilon > 0$ and every large enough integer $q$, there exist infinitely many $K_q$-divisible graphs $G$ with minimum degree at least $\bigg(1-\frac{1}{\left(\frac{1+\sqrt{2}}{2}-\varepsilon\right)\cdot (q+1)}\bigg)v(G)$ with no (fractional) $K_q$-decomposition.

We show that for any nonnegative integer $r$, the Weighted Maximum List-$k$-Colourable Induced Subgraph problem can be solved in polynomial time for input graphs that do not contain $(P_5+ rK_1)$ as an induced subgraph, and give an explicit algorithm demonstrating this. This answers a question of Agrawal et al.\ (2024).