arXiv++ Combinatorics

For a matroid $M$, a join is a set $J\subseteq E(M)$ that meets every circuit $C$ in at most $|C|/2$ elements. Let $μ(M)$ denote the maximum size of a join. Motivated by Frank's min--max theorem for graphic matroids, we compare $μ(M)$ with an ear-decomposition parameter $η(M)=(r(M)+\varphi(M))/2$, where $\varphi(M)$ is the minimum number of even lobes in an ear decomposition of $M$. Frank's theorem implies $μ(M)=η(M)$ for connected graphic matroids. Here we study how far this equality extends beyond graphic matroids. We show that the exact equality does not hold in general: it already fails for cographic matroids, hence within the binary class. Furthermore, the class of matroids satisfying $μ(M)=η(M)$ is not minor-closed, thus there is little hope for a forbidden minor characterization. We also prove that computing a maximum join is NP-hard for cographic matroids, hard to approximate within a factor of $519/520$, and NP-hard for sparse paving matroids given by their list of bases. Despite these negative results, we show that the two parameters remain quantitatively comparable in several natural classes. We prove comparison bounds for binary, paving, cographic, and arbitrary connected matroids. In particular, using Seymour's decomposition theorem, we combine the equality for graphic matroids, the bound for cographic matroids, and a direct analysis of $R_{10}$ to obtain $η(M)\leq 6μ(M)-2$ for every regular matroid $M$.

Engel, de Gaay Fortman, and Schreieder attach to each prime $\ell$ a minor-closed class $\mathcal{M}_\ell$ of regular matroids, whose excluded minors govern the failure of the integral Hodge conjecture for curve classes on very general principally polarized abelian varieties. For $\ell=2$ the class is the cographic matroids, with excluded minors $M(K_5)$ and $M(K_{3,3})$ by Tutte's theorem; for $\ell=3$ the only excluded minor explicitly identified so far is $M(K_{3,5})$, and the general characterization is [EGFS, Problem 8.8]. We exhibit five new excluded minors for $\mathcal{M}_3$, of ranks 8, 9, 9, 9, and 10; none contains $M(K_{3,5})$ or any of the other four as a minor, so the excluded-minor list of Problem 8.8 has at least six members, with excluded minors at every rank from 7 through 10. Combined with $M(K_7) \notin \mathcal{M}_3$, established by the same authors, and the minor-closedness of $\mathcal{M}_3$, some minor of $M(K_7)$ of rank between 4 and 6 is a further excluded minor, so the list has at least seven members, six of them explicitly identified. The list is structurally diverse: two bipartite apex constructions with automorphism group $S_4$, and three non-bipartite, non-planar rank-9 graphs with no such apex structure. Every verdict is certified by a finite $\mathbb{F}_3$-linear-algebra computation with explicit machine-checkable witnesses, cross-checked by independent implementations; the certificates further show that the five matroids lie outside the larger class $\widetilde{\mathcal{M}}_3$. We also record what are, to our knowledge, the first $\ell=5$ data on this corank-8 slice: $M(K_{3,5})$ and the rank-8 and rank-10 minors lie in $\mathcal{M}_5$ by explicit certificates, and the radical distance $d(M(K_{3,5}))=6$ is determined exactly.

We show that, for every fixed graph $H$, every $n$-vertex graph $G$ that excludes $H$ as a minor is $3$-colourable with clustering $O_H(n^{4/9})$. That is, there exists a function $f$ such that for every graph $H$, every $n\ge 1$, every $n$-vertex graph $G$ that excludes $H$ as a minor has a vertex colouring with $3$ colours in which each monochromatic component has size at most $f(H)\cdot n^{4/9}$. This generalizes a recent result of Dujmović, Morin, Norin, and Wood (\textit{arXiv}:2507.03163) from planar graphs to all proper minor-closed graph classes and is the first improvement on clustered $3$-colouring of proper minor-closed graph classes since the upper bound of $O_H(\sqrt{n})$ due to Linial, Matoušek, Sheffet, and Tardos (\textit{Comb. Prob. Comput.}, \textbf{17}(4):577--589, 2008).

Given a graph class $\mathcal{G}$, the limiting density of $\mathcal{G}$ is defined as $δ(\mathcal{G})=\lim_{n\to\infty} \mathsf{ex}(\mathcal{G},n)/n$ where $\mathsf{ex}(\mathcal{G},n)$ is the maximum number of edges of a graph in $\mathcal{G}$ on $n$ vertices. The limiting density $δ(\mathcal{G})$ is known to be a rational number when $\mathcal{G}$ is a minor-closed graph class. For every $δ\in[0,\frac{3}{2})$, we prove that the set of $\subseteq$-minimal minor-closed graph classes with densities $>δ$ is finite and we identify it completely. A consequence of our results is an algorithm that, given a finite set of graphs $\mathcal{Z}$, of total size $n$, either outputs the value of $δ(\mathsf{excl}(\mathcal{Z}))$ or reports that $δ(\mathsf{excl}(\mathcal{Z}))\geq \frac{3}{2}$, where $\mathsf{excl}(\mathcal{Z})$ is the class of graphs excluding the graphs in $\mathcal{Z}$ as minors. The algorithm runs in $2^{\mathsf{poly}(n)}$ time.

A \emph{$k$-cactus} generalizes forests and cacti by allowing each edge to lie on at most $k$ cycles. The maximum number of edges is classical for forests and cacti, but for $k$-cacti was known only for $k\le 4$. In this note we treat general $k$. The key idea is that bounding the cycles through each edge forces a $k$-cactus to exclude a large complete minor; in particular, the class of $k$-cacti is minor-closed. From this we prove that every $n$-vertex $k$-cactus has $O\!\left(\frac{\log k}{\sqrt{\log\log k}}\,n\right)$ edges for all sufficiently large $k$, and a construction shows this is optimal up to a factor of $\sqrt{\log\log k}$.

Menger's theorem is an important building block of numerous results in the study of graph structure. We consider a variant in terms of coarse geometry. We say that a set of graphs has the weak coarse Menger property if there exist functions $f$ and $g$ such that for any graph $G$ in this set, subsets $X$ and $Y$ of vertices of $G$, and positive integers $k$ and $r$, either there exist $k$ paths between $X$ and $Y$ pairwise at distance at least $r$, or there exists a union of at most $f(k,r)$ balls of radius at most $g(k,r)$ intersecting all paths between $X$ and $Y$. Nguyen, Scott and Seymour proved that the set of all graphs does not have the weak coarse Menger property and asked whether every proper minor-closed family of finite graphs has it. In this paper, we provide a positive answer to this question in a stronger form: it is true for the set of locally finite graphs with an excluded finite minor, and the functions $f$ and $g$ can be chosen so that $f$ only depends on the number $k$ of the paths in the packing and the function $g$ is a linear function of the distance threshold $r$ and is independent of $k$, which is optimal up to a constant factor. Our result extends to every length space quasi-isometric to a locally finite graph or metric graph with an excluded finite minor, such as complete Riemannian surfaces of finite Euler genus, string graphs, and Cayley graphs of finitely generated minor-excluded groups.

We show that every proper minor-closed class of graphs admits a $(1+o(1))\log_2 n$-bit adjacency labelling scheme. Equivalently, for every proper minor-closed class $\mathcal{G}$ and every positive integer $n$ there exists an $n^{1+o(1)}$-vertex graph $U$ such that every $n$-vertex graph in $\mathcal{G}$ is isomorphic to an induced subgraph of $U$. Both results are optimal up to the lower order term.

We prove that sparse string graphs in a fixed surface have linear expansion. We extend this result to the more general setting of sparse region intersection graphs over any proper minor-closed class. The proofs are combinatorial and self-contained, and provide bounds that are within a constant factor of optimal. Applications of our results to graph colouring are presented.

Let $\mathcal{C}$ be a proper minor-closed class of graphs. Given the minors excluded in $\mathcal{C}$, we determine the maximum $q$-centered chromatic number and the maximum $q$th weak coloring number of graphs in $\mathcal{C}$ within an $\mathcal{O}(q)$-factor. Moreover, when $\mathcal{C}$ excludes a planar graph, we determine it within a constant factor. Our results imply that the $q$-centered chromatic number of $K_t$-minor-free graphs is in $\mathcal{O}(q^{t-1})$, improving on the previously known $\mathcal{O}(q^{h(t)})$ bound with a large and non-explicit function $h$. We include similar bounds for another family of parameters, the fractional treedepth fragility rates. All our bounds are proved via the same general framework.

Lovász proved that two graphs $G$ and $H$ are isomorphic if $\hom(K,G) = \hom(K,H)$ for all graphs $K$, where $\hom(G_1,G_2)$ denotes the number of homomorphisms from $G_1$ to $G_2$. Dvořák showed that it suffices to count homomorphisms from all $2$-degenerate graphs $K$. On the other hand, for several interesting graph classes $\mathcal{M}$, it has been shown that there exist non-isomorphic graphs $G$ and $H$ such that $\hom(K,G)=\hom(K,H)$ for all $K\in \mathcal{M}$. Most such classes are minor-closed classes and Roberson conjectured that every proper minor-closed and union-closed graph class $\mathcal{M}$ has the property of there existing non-isomorphic graphs that are indistinguishable by homomorphism counts from $\mathcal{M}$. There has been an effort to prove Roberson's conjecture as it is believed that minor-closed classes play a special role in the context of homomorphism indistinguishability. We show that this special role, if so, must be shared, by proving an analogue of Roberson's conjecture holds for a rich family of non-minor-closed classes. Namely, we prove that for any proper immersion-closed and union-closed class $\mathcal{M}$, there exist non-isomorphic graphs $G$ and $H$ such that $\hom(K,G) = \hom(K,H)$ for all $K \in \mathcal{M}$. This extends a result of Roberson on homomorphism indistinguishability over bounded degree graphs, and gives an almost full picture since our result cannot be extended in the natural way, that is, by replacing immersions with topological minors, due to a result of Neuen and Seppelt.

Lovász (1967) showed that two graphs $G$ and $H$ are isomorphic if, and only if, they are homomorphism indistinguishable over all graphs, i.e., $G$ and $H$ admit the same number of number of homomorphisms from every graph $F$. Subsequently, a substantial line of work studied homomorphism indistinguishability over restricted graph classes. For example, homomorphism indistinguishability over minor-closed graph classes $\mathcal{F}$ such as the class of planar graphs, the class of graphs of treewidth $\leq k$, pathwidth $\leq k$, or treedepth $\leq k$, was shown to be equivalent to quantum isomorphism and equivalences with respect to counting logic fragments, respectively. Via such characterisations, the distinguishing power of e.g. logical or quantum graph isomorphism relaxations can be studied with graph-theoretic means. In this vein, Roberson (2022) conjectured that homomorphism indistinguishability over every graph class excluding some minor is not the same as isomorphism. We prove this conjecture for all vortex-free graph classes. In particular, homomorphism indistinguishability over graphs of bounded Euler genus is not the same as isomorphism. As a negative result, we show that Roberson's conjecture fails when generalised to graph classes excluding a topological minor. Furthermore, we show homomorphism distinguishing closedness for several graph classes including all topological-minor-closed and union-closed classes of forests, and show that homomorphism indistinguishability over graphs of genus $\leq g$ (and other parameters) forms a strict hierarchy.

For a finite collection of connected graphs $\mathcal{F}$, the $\mathcal{F}$-MINOR-DELETION problem consists in, given a graph $G$ and an integer $\ell$, deciding whether $G$ contains a vertex set of size at most $\ell$ whose removal results in an $\mathcal{F}$-minor-free graph. We lift the existence of (approximate) polynomial kernels for $\mathcal{F}$-MINOR-DELETION by the solution size to (approximate) polynomial kernels parameterized by the vertex-deletion distance to graphs of bounded elimination distance to $\mathcal{F}$-minor-free graphs. This results in exact polynomial kernels for every family $\mathcal{F}$ that contains a planar graph, and an approximate polynomial kernel for PLANAR VERTEX DELETION. Moreover, combining our result with a previous lower bound, we obtain the following infinite set of dichotomies, assuming $NP \not\subseteq coNP/poly$: for any finite set $\mathcal{F}$ of biconnected graphs on at least three vertices containing a planar graph, and any minor-closed class of graphs $\mathcal{C}$, $\mathcal{F}$-MINOR-DELETION admits a polynomial kernel parameterized by the vertex-deletion distance to $\mathcal{C}$ if and only if $\mathcal{C}$ has bounded elimination distance to $\mathcal{F}$-minor-free graphs. For instance, this yields dichotomies for CACTUS VERTEX DELETION, OUTERPLANAR VERTEX DELETION, and TREEWIDTH-$t$ VERTEX DELETION for every integer $t \geq 0$. Prior to our work, such dichotomies were only known for the particular cases of VERTEX COVER and FEEDBACK VERTEX SET. Our approach builds on the techniques developed by Jansen and Pieterse [Theor. Comput. Sci. 2020] and also uses adaptations of some of the results by Jansen, de Kroon, and Wlodarczyk [STOC 2021].

The graph parameter treedepth is minor-monotone; hence, the class of graphs with treedepth at most $k$ is minor-closed. By the Graph Minor Theorem, such a class is characterized by a finite set of forbidden minors. A conjecture of Dvořák, Giannopoulou, and Thilikos states that every such forbidden minor has at most $2^k$ vertices. We present an algorithm that, given $n, k \in \mathbb{N}$, computes the set of forbidden minors, forbidden subgraphs, and forbidden induced subgraphs on at most $n$ vertices, for the class of graphs of treedepth at most $k$. Applying this algorithm to $k = 4$ and $n = 16$, we enumerate 1546 forbidden minors, 1718 forbidden subgraphs, and 12204 forbidden induced subgraphs. Assuming the above conjecture holds, these sets constitute the complete obstruction sets for graphs of treedepth at most 4.

We provide a characterisation of when a single-element contraction of a transversal matroid is itself transversal. Using this characterisation, we define a new class of transversal matroids closed under minors, which we call path-circular matroids. Path-circular matroids generalise both of the well-known classes of bicircular matroids and multi-path matroids.

Mayhew et al.\ (2021) posed the problem of showing that the minor-closed class of spikes and their minors has a finite set of excluded minors and describing all of them. In this paper, we resolve this problem.

In the aftermath of the Robertson--Seymour Graph Minor Theorem, Thomas conjectured that the countable graphs are well-quasi-ordered under the minor relation. We prove that this conjecture, when restricted to graphs with no infinite paths (rays), is equivalent to the statement that the finite graphs are better-quasi-ordered, another well-known open problem. Even more, we prove that the latter implies that the countable rayless graphs are better-quasi-ordered. We prove several other statements to be equivalent to the above, one of which being that the rayless countable graphs of rank $α$ can be decomposed into exactly $\aleph_0$ minor-twin classes for every ordinal $α<ω_1$. By restricting the latter statement to trees, and combining it with Nash-Williams' theorem that the infinite trees are well-quasi-ordered, we deduce as a side result that a minor-closed family of N-labelled rayless forests is Borel -- in the Tychonoff product topology -- if and only if it does not contain all rayless forests. As another side-result, we prove Seymour's self-minor conjecture for rayless graphs of any cardinality.

We give a series of new lower bounds on the minimum number of vertices required by a graph to contain every graph of a given family as induced subgraph. In particular, we show that this induced-universal graph for $n$-vertex planar graphs must have at least $10.52n$ vertices. We also show that the number of conflicting graphs to consider in order to beat this lower bound is at least $137$. In other words, any family of less than $137$ planar graphs of $n$ vertices has an induced-universal graph with less than $10.52n$ vertices, stressing the difficulty in beating such lower bounds. Similar results are developed for other graph families, including but not limited to, trees, outerplanar graphs, series-parallel graphs, $K_{3,3}$-minor free graphs. As a byproduct, we show that any family of $t$ graphs of $n$ vertices having small chromatic number and sublinear pathwidth, like any proper minor-closed family, has an induced-universal graph with less than $\frac{15}{7} \sqrt{t} \cdot n$ vertices. This is achieved by making a bridge between equitable colorings, combinatorial designs, and path-decompositions.

We show that the strong odd chromatic number on any proper minor-closed graph class is bounded by a constant. We almost determine the smallest such constant for outerplanar graphs.

It was proved by Huynh, Mohar, Šámal, Thomassen and Wood in 2021 that any countable graph containing every countable planar graph as a subgraph has an infinite clique minor. We prove a finite, quantitative version of this result: for fixed $t$, if a graph $G$ is $K_t$-minor-free and contains every $n$-vertex planar graph as a subgraph, then $G$ has $2^{Ω(n)}$ vertices. On the other hand, we construct a polynomial size $K_4$-minor-free graph containing every $n$-vertex tree as an induced subgraph, and a polynomial size $K_7$-minor-free graph containing every $n$-vertex $K_4$-minor-free graph as induced subgraph. This answers several problems raised recently by Bergold, Iršič, Lauff, Orthaber, Scheucher and Wesolek. We study more generally the order of universal graphs for various classes (of graphs of bounded degree, treedepth, pathwidth, or treewidth), if the universal graphs retain some of the structure of the original class.

In this work, we relate girth and path-degeneracy in classes with sub-exponential expansion, with explicit bounds for classes with polynomial expansion and proper minor-closed classes that are tight up to a constant factor (and tight up to second order terms if a classical conjecture on existence of $g$-cages is verified). As an application, we derive bounds on the generalized acyclic indices, on the generalized arboricities, and on the weak coloring numbers of high-girth graphs in such classes. Along the way, we prove a conjecture proposed in [T.~Bartnicki et al., Generalized arboricity of graphs with large girth, Discrete Mathematics 342 (2019), no.~5, 1343--1350.], which asserts that, for every integer $k$, there is an integer $g(p,k)$ such that every $K_k$ minor-free graph with girth at least $g(p,k)$ has $p$-arboricity at most $p+1$.