arXiv++ Combinatorics

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

A graph $A$ is "apex" if $A-z$ is planar for some vertex $z\in V(A)$. Eppstein [Algorithmica, 2000] showed that for a minor-closed class $\mathcal{G}$, the graphs in $\mathcal{G}$ with bounded radius have bounded treewidth if and only if some apex graph is not in $\mathcal{G}$. In particular, for every apex graph $A$ and integer $r$, there is a minimum integer $g(A,r)$ such that every $A$-minor-free graph with radius $r$ has treewidth at most $g(A,r)$. We show that if $t=|V(A)|$ then $g(A,r)\in O^\ast(r^9t^{18})$ which is the first upper bound on $g(A,r)$ with polynomial dependence on both $r$ and $t$. More precisely, we show that every $A$-minor-free graph with radius $r$ has no $16rt^2 \times 16rt^2$ grid minor, which implies the first result via the Polynomial Grid Minor Theorem. A key example of an apex graph is the complete bipartite graph $K_{3,t}$, since $K_{3,t}$-minor-free graphs include and generalise graphs embeddable in any fixed surface. In this case, we prove that every $K_{3,t}$-minor-free graph with radius $r$ has no $4r(1+\sqrt{t})\times 4r(1+\sqrt{t})$ grid minor, which is tight up to a constant factor.

If $M$ is a matroid, then a simple matroid $M'$ with the same rank as $M$ is an adjoint of $M$ if there is an inclusion-reversing embedding $φ$ of the lattice of flats of $M$ into the lattice of flats of $M'$ such that $φ$ maps the hyperplanes of $M$ bijectively onto the points of $M'$. In this note, we provide a proof that the class of matroids with an adjoint is minor-closed.

For every positive integer $k$, we define the $k$-treedepth as the largest graph parameter $\mathrm{td}_k$ satisfying (i) $\mathrm{td}_k(\emptyset)=0$; (ii) $\mathrm{td}_k(G) \leq 1+ \mathrm{td}_k(G-u)$ for every graph $G$ and every vertex $u \in V(G)$; and (iii) if $G$ is a $(<k)$-clique-sum of $G_1$ and $G_2$, then $\mathrm{td}_k(G) \leq \max \{\mathrm{td}_k(G_1),\mathrm{td}_k(G_2)\}$, for all graphs $G_1,G_2$. This parameter coincides with treedepth if $k=1$, and with treewidth plus $1$ if $k \geq |V(G)|$. We prove that for every positive integer $k$, a class of graphs $\mathcal{C}$ has bounded $k$-treedepth if and only if there is a positive integer $\ell$ such that for every tree $T$ on $k$ vertices, no graph in $\mathcal{C}$ contains $T \square P_\ell$ as a minor. This implies for $k=1$ that a minor-closed class of graphs has bounded treedepth if and only if it excludes a path, for $k=2$ that a minor-closed class of graphs has bounded $2$-treedepth if and only if it excludes as a minor a ladder (Huynh, Joret, Micek, Seweryn, and Wollan; Combinatorica, 2021), and for large values of $k$ that a minor-closed class of graphs has bounded treewidth if and only if it excludes a grid (Grid-Minor Theorem, Robertson and Seymour; JCTB, 1986). As a corollary, we obtain the following qualitative strengthening of the Grid-Minor Theorem in the case of bounded-height grids. For all positive integers $k, \ell$, every graph that does not contain the $k \times \ell$ grid as a minor has $(2k-1)$-treedepth at most a function of $(k, \ell)$.

A consistent path system in a graph $G$ is an collection of paths, with exactly one path between any two vertices in $G$. A path system is said to be consistent if it is intersection-closed. We say that $G$ is strictly metrizable if every consistent path system in $G$ can be realized as the system of unique geodesics with respect to some assignment of positive edge weight. In this paper, we show that the family of strictly metrizable graphs is minor-closed.

A vertex coloring $\varphi$ of a graph $G$ is $p$-centered if for every connected subgraph $H$ of $G$, either $\varphi$ uses more than $p$ colors on $H$, or there is a color that appears exactly once on $H$. We prove that for every fixed positive integer $t$, every $K_t$-minor-free graph admits a $p$-centered coloring using $\mathcal{O}(p^{t-1})$ colors.

This paper explores the structure of graphs defined by an excluded minor or an excluded odd minor through the lens of graph products and tree-decompositions. We prove that every graph excluding a fixed odd minor is contained in the strong product of two graphs each with bounded treewidth. For graphs excluding a fixed minor, we strengthen the result by showing that every such graph is contained in the strong product of two digraphs with bounded indegree and with bounded treewidth. This result has the advantage that the product now has bounded degeneracy. In the setting of 3-term products, we show that every $K_t$-minor-free graph is contained in $H_1\boxtimes H_2 \boxtimes K_{c(t)}$ where $\text{tw}(H_i)\leq t-2$. This treewidth bound is close to tight: in any such result with $\text{tw}(H_i)$ bounded, both $H_1$ and $H_2$ can be forced to contain any graph of treewidth $t-5$, implying $\text{tw}(H_1)\geq t-5$ and $\text{tw}(H_2)\geq t-5$. Analogous lower and upper bounds are shown for any excluded minor, where the minimum possible bound on $\text{tw}(H_i)$ is tied to the treedepth of the excluded minor. Subgraphs of the product of two graphs with bounded treewidth have two tree-decompositions where any bag from the first decomposition intersects any bag from the second decomposition in a bounded number, $k$, of vertices, so called $k$-orthogonal tree-decompositions. We show that graphs excluding a fixed odd-minor have a tree-decomposition and a path-decomposition that are $O(1)$-orthogonal. This implies that such graphs have a tree-decomposition in which each bag has bounded pathwidth. This result is best possible in that `pathwidth' cannot be replaced by `bandwidth' or `treedepth'. Moreover, we characterize the minor-closed classes that have a tree-decomposition in which each bag has bounded bandwidth, or each bag has bounded treedepth.

Dujmović et al. [arXiv:2407.05936] showed that any $n$-vertex planar graph is contained in a $O(\sqrt{n}\log^2(n))$-blowup of a fan, and asked if the same holds for any $n$-vertex $K_t$-minor-free graph. We answer this in the positive, showing that such a graph is contained in a $O_t(\sqrt{n}\log^2(n))$-blowup of a fan.

Let $\mathcal{H}$ be a graph class and $k\in\mathbb{N}$. We say a graph $G$ admits a \emph{$k$-identification to $\mathcal{H}$} if there is a partition $\mathcal{P}$ of some set $X\subseteq V(G)$ of size at most $k$ such that after identifying each part in $\mathcal{P}$ to a single vertex, the resulting graph belongs to $\mathcal{H}$. The graph parameter ${\sf id}_{\mathcal{H}}$ is defined so that ${\sf id}_{\mathcal{H}}(G)$ is the minimum $k$ such that $G$ admits a $k$-identification to $\mathcal{H}$, and the problem of \textsc{Identification to $\mathcal{H}$} asks, given a graph $G$ and $k\in\mathbb{N}$, whether ${\sf id}_{\mathcal{H}}(G)\le k$. If we set $\mathcal{H}$ to be the class $\mathcal{F}$ of acyclic graphs, we generate the problem \textsc{Identification to Forest}, which we show to be {\sf NP}-complete. We prove that, when parameterized by the size $k$ of the identification set, it admits a kernel of size $2k+1$. For our kernel we reveal a close relation of \textsc{Identification to Forest} with the \textsc{Vertex Cover} problem. We also study the combinatorics of the \textsf{yes}-instances of \textsc{Identification to $\mathcal{H}$}, i.e., the class $\mathcal{H}^{(k)}:=\{G\mid {\sf id}_{\mathcal{H}}(G)\le k\}$, {which we show to be minor-closed for every $k$} when $\mathcal{H}$ is minor-closed. We prove that the minor-obstructions of $\mathcal{F}^{(k)}$ are of size at most $2k+4$. We also prove that every graph $G$ such that ${\sf id}_{\mathcal{F}}(G)$ is sufficiently big contains as a minor either a cycle on $k$ vertices, or $k$ disjoint triangles, or the \emph{$k$-marguerite} graph, that is the graph obtained by $k$ disjoint triangles by identifying one vertex of each of them into the same vertex.

Let ${\cal G}$ and ${\cal H}$ be minor-closed graph classes. The pair $({\cal H},{\cal G})$ is an Erdős-Pósa pair (EP-pair) if there is a function $f$ where, for every $k$ and every $G\in{\cal G},$ either $G$ has $k$ pairwise vertex-disjoint subgraphs not belonging to ${\cal H},$ or there is a set $S\subseteq V(G)$ where $|S|\leq f(k)$ and $G-S\in{\cal H}.$ The classic result of Erdős and Pósa says that if $\mathcal{F}$ is the class of forests, then $({\cal F},{\cal G})$ is an EP-pair for every ${\cal G}$. The class ${\cal G}$ is an EP-counterexample for ${\cal H}$ if ${\cal G}$ is minimal with the property that $({\cal H},{\cal G})$ is not an EP-pair. We prove that for every ${\cal H}$ the set $\mathfrak{C}_{\cal H}$ of all EP-counterexamples for ${\cal H}$ is finite. In particular, we provide a complete characterization of $\mathfrak{C}_{\cal H}$ for every ${\cal H}$ and give a constructive upper bound on its size. Each class ${\cal G}\in \mathfrak{C}_{\cal H}$ can be described as all minors of a sequence of grid-like graphs $\langle \mathscr{W}_{k} \rangle_{k\in \mathbb{N}}.$ Moreover, each $\mathscr{W}_{k}$ admits a half-integral packing: $k$ copies of some $H\not\in{\cal H}$ where no vertex is used more than twice. This gives a complete delineation of the half-integrality threshold of the Erdős-Pósa property for minors and yields a constructive proof of Thomas' conjecture on the half-integral Erdős-Pósa property for minors (recently confirmed, non-constructively, by Liu). Let $h$ be the maximum size of a graph in ${\cal H}.$ For every class ${\cal H},$ we construct an algorithm that, given a graph $G$ and a $k,$ either outputs a half-integral packing of $k$ copies of some $H \not\in {\cal H}$ or outputs a set of at most ${2^{k^{\cal O}_h(1)}}$ vertices whose deletion creates a graph in ${\cal H}$ in time $2^{2^{k^{{\cal O}_h(1)}}}\cdot |G|^4\log |G|.$

We show that every $n$-vertex planar graph is contained in the graph obtained from a fan by blowing up each vertex by a complete graph of order $O(\sqrt{n}\log^2 n)$. Equivalently, every $n$-vertex planar graph $G$ has a set $X$ of $O(\sqrt{n}\log^2 n)$ vertices such that $G-X$ has bandwidth $O(\sqrt{n}\log^2 n)$. We in fact prove the same result for any proper minor-closed class, and we prove more general results that explore the trade-off between $X$ and the bandwidth of $G-X$. The proofs use three key ingredients. The first is a new local sparsification lemma, which shows that every $n$-vertex planar graph $G$ has a set of $O((n\log n)/δ)$ vertices whose removal results in a graph with local density at most $δ$. The second is a generalization of a method of Feige and Rao that relates bandwidth and local density using volume-preserving Euclidean embeddings. The third ingredient is graph products, which are a key tool in the extension to any proper minor-closed class.

We study the growth rate of weak coloring numbers of graphs excluding a fixed graph as a minor. Van den Heuvel et al. (European J. of Combinatorics, 2017) showed that for a fixed graph $X$, the maximum $r$-th weak coloring number of $X$-minor-free graphs is polynomial in $r$. We determine this polynomial up to a factor of $\mathcal{O}(r \log r)$. Moreover, we tie the exponent of the polynomial to a structural property of $X$, namely, $2$-treedepth. As a result, for a fixed graph $X$ and an $X$-minor-free graph $G$, we show that $\mathrm{wcol}_r(G)= \mathcal{O}(r^{\mathrm{td}(X)-1}\mathrm{log}\ r)$, which improves on the bound $\mathrm{wcol}_r(G) = \mathcal{O}(r^{g(\mathrm{td}(X))})$ given by Dujmović et al. (SODA, 2024), where $g$ is an exponential function. In the case of planar graphs of bounded treewidth, we show that the maximum $r$-th weak coloring number is in $\mathcal{O}(r^2\mathrm{log}\ r$), which is best possible.

In 1986 Robertson and Seymour proved a generalization of the seminal result of Erdős and Pósa on the duality of packing and covering cycles: A graph has the Erdős-Pósa property for minors if and only if it is planar. In particular, for every non-planar graph $H$ they gave examples showing that the Erdős-Pósa property does not hold for $H.$ Recently, Liu confirmed a conjecture of Thomas and showed that every graph has the half-integral Erdős-Pósa property for minors. Liu's proof is non-constructive and to this date, with the exception of a small number of examples, no constructive proof is known. In this paper, we initiate the delineation of the half-integrality of the Erdős-Pósa property for minors. We conjecture that for every graph $H,$ there exists a unique (up to a suitable equivalence relation) graph parameter ${\textsf{EP}}_H$ such that $H$ has the Erdős-Pósa property in a minor-closed graph class $\mathcal{G}$ if and only if $\sup\{\textsf{EP}_H(G) \mid G\in\mathcal{G}\}$ is finite. We prove this conjecture for the class $\mathcal{H}$ of Kuratowski-connected shallow-vortex minors by showing that, for every non-planar $H\in\mathcal{H},$ the parameter ${\sf EP}_H(G)$ is precisely the maximum order of a Robertson-Seymour counterexample to the Erdős-Pósa property of $H$ which can be found as a minor in $G.$ Our results are constructive and imply, for the first time, parameterized algorithms that find either a packing, or a cover, or one of the Robertson-Seymour counterexamples, certifying the existence of a half-integral packing for the graphs in $\mathcal{H}.$

Given a finite graph $G$, we define the Ceresa period $α(G)$ as a tool for studying algebraic triviality of the tropical Ceresa cycle introduced by Zharkov. We show that $α(G) = 0$ if and only if $G$ is of hyperelliptic type; then a theorem of Corey implies that having $α(G) = 0$ is a minor-closed condition with forbidden minors $K_4$ and $L_3$.

The concept of graph flattenability, initially formalized by Belk and Connelly and later expanded by Sitharam and Willoughby, extends the question of embedding finite metric spaces into a given normed space. A finite simple graph $G=(V,E)$ is said to be $(X,Y)$-flattenable if any set of induced edge lengths from an embedding of $G$ into a normed space $Y$ can also be realised by an embedding of $G$ into a normed space $X$. This property, being minor-closed, can be characterized by a finite list of forbidden minors. Following the establishment of fundamental results about $(X,Y)$-flattenability, we identify sufficient conditions under which it implies independence with respect to the associated rigidity matroids for $X$ and $Y$. We show that the spaces $\ell_2$ and $\ell_\infty$ serve as two natural extreme spaces of flattenability and discuss $(X, \ell_p )$-flattenability for varying $p$. We provide a complete characterization of $(X,Y)$-flattenable graphs for the specific case when $X$ is 2-dimensional and $Y$ is infinite-dimensional.

The defective chromatic number of a graph class $\mathcal{G}$ is the minimum integer $k$ such that for some integer $d$, every graph in $\mathcal{G}$ is $k$-colourable such that each monochromatic component has maximum degree at most $d$. Similarly, the clustered chromatic number of a graph class $\mathcal{G}$ is the minimum integer $k$ such that for some integer $c$, every graph in $\mathcal{G}$ is $k$-colourable such that each monochromatic component has at most $c$ vertices. This paper determines or establishes bounds on the defective and clustered chromatic numbers of graphs with given girth in minor-closed classes defined by the following parameters: Hadwiger number, treewidth, pathwidth, treedepth, circumference, and feedback vertex number. One striking result is that for any integer $k$, for the class of triangle-free graphs with treewidth $k$, the defective chromatic number, clustered chromatic number and chromatic number are all equal. The same result holds for graphs with treedepth $k$, and generalises for graphs with no $K_p$ subgraph.