arXiv++ Combinatorics

The dimension of a poset $P$ is the minimum positive integer $d$ such that $P$ is an induced subposet of $\mathbb{R}^d$ equipped with the product order. We give a constant-factor polynomial-time approximation algorithm for computing dimension in the class of posets with a planar (Hasse) diagram. While computing the dimension of a poset is NP-hard in general, the computational complexity of the problem for planar posets remains open. The algorithmic result is driven by a structural understanding of the canonical obstruction to small dimension: standard examples. A longstanding problem, originating in the early 1980s, asked whether every poset with a planar diagram has dimension bounded by a function of the maximum order of a standard example that it contains. In the first paper of the series, we have resolved the problem in a more general setting of posets with planar cover graphs by establishing a polynomial bound. We prove a stronger bound in the original setting, namely, for every poset $P$ with a planar diagram $\mathrm{dim}(P) \leq 96\mathrm{se}(P)+672$, where $\mathrm{dim}(P)$ denotes the dimension of $P$ and $\mathrm{se}(P)$ denotes the maximum order of a standard example contained in $P$.

We provide explicit and polynomial bounds for the Homogeneous Wall Lemma which occurred for the first time implicitly in the $13$th entry of Robertson and Seymour's Graph Minors Series [JCTB 1990] and has since become a cornerstone in the algorithmic theory of graph minors. A wall where each brick is assigned a set of colours is said to be homogeneous if each brick is assigned the same set of colours. The Homogeneous Wall Lemma says that there exists a function $h$ that, given non-negative integers $q$ and $k$ and an $h(q,k)$-wall $W$ where each brick is assigned a, possibly empty, subset of $\{ 1, \ldots , q \}$ contains a $k$-wall $W'$ as a subgraph such that, if one assigns to each brick $B$ of $W'$ the union of the sets assigned to the bricks of $W$ in its interior, then $W'$ is homogeneous. It is well-known that $h(q,k) \in k^{\mathcal{O}(q)}$. The Homogeneous Wall Lemma plays a key role in most applications of the Irrelevant Vertex Technique where an exponential dependency of $h$ on $q$ usually causes non-uniform dependencies on meta-parameters at best and additional exponential blow-ups at worst. By proving that $h(q,k) \in \mathcal{O}(q^4 \cdot k^6)$, we provide a positive answer to a problem raised by Sau, Stamoulis, and Thilikos [ICALP 2020].

The dimension of a partially ordered set $P$ (poset for short) is the least positive integer $d$ such that $P$ is isomorphic to a subposet of $\mathbb{R}^d$ with the natural product order. Dimension is arguably the most widely studied measure of complexity for posets, and standard examples in posets are the canonical structure forcing dimension to be large. In many ways, dimension for posets is analogous to chromatic number for graphs with standard examples in posets playing the role of cliques in graphs. However, planar graphs have chromatic number at most four, while posets with planar diagrams may have arbitrarily large dimension. The key feature of all known constructions of such posets is that large dimension is forced by a large standard example. The question of whether every poset of large dimension and with a planar cover graph contains a large standard example has been a critical challenge in posets theory since the early 1980s, with very little progress over the years. We answer the question in the affirmative. Namely, we show that every poset $P$ with a planar cover graph has dimension $\mathcal{O}(s^8)$, where $s$ is the maximum order of a standard example in $P$.

The Graph Minor Structure Theorem, originally proven by Robertson and Seymour [JCTB, 2003], asserts that there exist functions $f_1, f_2 \colon \mathbb{N} \to \mathbb{N}$ such that for every non-planar graph $H$ with $t := |V(H)|$, every $H$-minor-free graph can be obtained via the clique-sum operation from graphs which embed into surfaces where $H$ does not embed after deleting at most $f_1(t)$ many vertices with up to at most $t^2-1$ many ``vortices'' which are of ``depth'' at most $f_2(t)$. In the proof presented by Robertson and Seymour the functions $f_1$ and $f_2$ are non-constructive. Kawarabayashi, Thomas, and Wollan [arXiv, 2020] found a new proof showing that $f_1(t), f_2(t) \in 2^{\mathbf{poly}(t)}$. While believing that this bound was the best their methods could achieve, Kawarabayashi, Thomas, and Wollan conjectured that $f_1$ and $f_2$ can be improved to be polynomials. In this paper we confirm their conjecture and prove that $f_1(t), f_2(t) \in \mathbf{O}(t^{2300})$. Our proofs are fully constructive and yield a polynomial-time algorithm that either finds $H$ as a minor in a graph $G$ or produces a clique-sum decomposition for $G$ as above.

A {\em rooted graph} is a graph together with a designated vertex subset, called the {\em roots}. In this paper, we consider rooted graphs embedded in a fixed surface. A collection of faces of the embedding is a {\em face cover} if every root is incident to some face in the collection. We prove that every $3$-connected, rooted graph that has no rooted $K_{2,t}$ minor and is embedded in a surface of Euler genus $g$, has a face cover whose size is upper-bounded by some function of $g$ and $t$, provided that the face-width of the embedding is large enough in terms of $g$. In the planar case, we prove an unconditional $O(t^4)$ upper bound, improving a result of Böhme and Mohar~\cite{BM02}. The higher genus case was claimed without a proof by Böhme, Kawarabayashi, Maharry and Mohar~\cite{BKMM08}.

For a group $Γ$, a $Γ$-labelled graph is an undirected graph $G$ where every orientation of an edge is assigned an element of $Γ$ so that opposite orientations of the same edge are assigned inverse elements. A path in $G$ is non-null if the product of the labels along the path is not the neutral element of $Γ$. We prove that for every finite group $Γ$, non-null $S$-$T$ paths in $Γ$-labelled graphs exhibit the half-integral Erdős-Pósa property. More precisely, there is a function $f$, depending on $Γ$, such that for every $Γ$-labelled graph $G$, subsets of vertices $S$ and $T$, and integer $k$, one of the following objects exists: a family $\cal F$ consisting of $k$ non-null $S$-$T$ paths in $G$ such that every vertex of $G$ participates in at most two paths of $\cal F$; or a set $X$ consisting of at most $f(k)$ vertices that meets every non-null $S$-$T$ path in $G$. This in particular proves that in undirected graphs $S$-$T$ paths of odd length have the half-integral Erdős-Pósa property.

It is a notorious open question whether integer programs (IPs), with an integer coefficient matrix $M$ whose subdeterminants are all bounded by a constant $Δ$ in absolute value, can be solved in polynomial time. We answer this question in the affirmative if we further require that, by removing a constant number of rows and columns from $M$, one obtains a submatrix $A$ that is the transpose of a network matrix. Our approach focuses on the case where $A$ arises from $M$ after removing $k$ rows only, where $k$ is a constant. We achieve our result in two main steps, the first related to the theory of IPs and the second related to graph minor theory. First, we derive a strong proximity result for the case where $A$ is a general totally unimodular matrix: Given an optimal solution of the linear programming relaxation, an optimal solution to the IP can be obtained by finding a constant number of augmentations by circuits of $[A\; I]$. Second, for the case where $A$ is transpose of a network matrix, we reformulate the problem as a maximum constrained integer potential problem on a graph $G$. We observe that if $G$ is $2$-connected, then it has no rooted $K_{2,t}$-minor for $t = Ω(k Δ)$. We leverage this to obtain a tree-decomposition of $G$ into highly structured graphs for which we can solve the problem locally. This allows us to solve the global problem via dynamic programming.

We prove that the $k$-power of any planar graph $G$ is contained in $H\boxtimes P\boxtimes K_{f(Δ(G),k)}$ for some graph $H$ with bounded treewidth, some path $P$, and some function $f$. This resolves an open problem of Ossona de Mendez. In fact, we prove a more general result in terms of shallow minors that implies similar results for many `beyond planar' graph classes, without dependence on $Δ(G)$. For example, we prove that every $k$-planar graph is contained in $H\boxtimes P\boxtimes K_{f(k)}$ for some graph $H$ with bounded treewidth and some path $P$, and some function $f$. This resolves an open problem of Dujmović, Morin and Wood. We generalise all these results for graphs of bounded Euler genus, still with an absolute bound on the treewidth. At the heart of our proof is the following new concept of independent interest. An $\ell$-blocking partition of a graph $G$ is a partition of $V(G)$ into connected sets such that every path of length greater than $\ell$ in $G$ contains at least two vertices in one part. We prove that for some constant $\ell \ge 1$ every graph of Euler genus $g$ has an $\ell$-blocking partition with parts of size bounded by a function of $Δ(G)$ and $g$. Motivated by this result, we study blocking partitions in their own right. We show that every graph $G$ has a $2$-blocking partition with parts of size bounded by a function of $Δ(G)$ and $\textrm{tw}(G)$. On the other hand, we show that 4-regular graphs do not have $\ell$-blocking partitions with bounded size parts.

The {\em circumference} of a graph $G$ with at least one cycle is the length of a longest cycle in $G$. A classic result of Birmelé (2003) states that the treewidth of $G$ is at most its circumference minus $1$. In case $G$ is $2$-connected, this upper bound also holds for the pathwidth of $G$; in fact, even the treedepth of $G$ is upper bounded by its circumference (Briański, Joret, Majewski, Micek, Seweryn, Sharma; 2023). In this paper, we study whether similar bounds hold when replacing the circumference of $G$ by its {\em cocircumference}, defined as the largest size of a {\em bond} in $G$, an inclusion-wise minimal set of edges $F$ such that $G-F$ has more components than $G$. In matroidal terms, the cocircumference of $G$ is the circumference of the bond matroid of $G$. Our first result is the following `dual' version of Birmelé's theorem: The treewidth of a graph $G$ is at most its cocircumference. Our second and main result is an upper bound of $3k-2$ on the pathwidth of a $2$-connected graph $G$ with cocircumference $k$. Contrary to circumference, no such bound holds for the treedepth of $G$. Our two upper bounds are best possible up to a constant factor.

We prove that every $n$-vertex $K_t$-minor-free graph $G$ of maximum degree $Δ$ has a set $F$ of $O(t^2(\log t)^{1/4}\sqrt{Δn})$ edges such that every component of $G - F$ has at most $n/2$ vertices. This is best possible up to the dependency on $t$ and extends earlier results of Diks, Djidjev, Sykora, and Vrťo (1993) for planar graphs, and of Sykora and Vrťo (1993) for bounded-genus graphs. Our result is a consequence of the following more general result: The line graph of $G$ is isomorphic to a subgraph of the strong product $H \boxtimes K_{\lfloor p \rfloor}$ for some graph $H$ with treewidth at most $t-2$ and $p = \sqrt{(t-3)Δ|E(G)|} + Δ$.

Alon, Seymour and Thomas [1990] proved that every $n$-vertex graph excluding $K_t$ as a minor has treewidth less than $t^{3/2}\sqrt{n}$. Illingworth, Scott and Wood [2022] recently refined this result by showing that every such graph is a subgraph of some graph with treewidth $t-2$, where each vertex is blown up by a complete graph of order $O(\sqrt{tn})$. Solving an open problem of Illingworth, Scott and Wood [2022], we prove that the treewidth bound can be reduced to $4$ while keeping blowups of order $O_t(\sqrt{n})$. As an extension of the Lipton--Tarjan theorem, in the case of planar graphs, we show that the treewidth can be further reduced to $2$, which is best possible. We generalise this result for $K_{3,t}$-minor-free graphs, with blowups of order $O(t\sqrt{n})$. This setting includes graphs embeddable on any fixed surface.

The circumference of a graph $G$ is the length of a longest cycle in $G$, or $+\infty$ if $G$ has no cycle. Birmelé (2003) showed that the treewidth of a graph $G$ is at most its circumference minus $1$. We strengthen this result for $2$-connected graphs as follows: If $G$ is $2$-connected, then its treedepth is at most its circumference. The bound is best possible and improves on an earlier quadratic upper bound due to Marshall and Wood (2015).

We prove that the stack-number of the strong product of three $n$-vertex paths is $Θ(n^{1/3})$. The best previously known upper bound was $O(n)$. No non-trivial lower bound was known. This is the first explicit example of a graph family with bounded maximum degree and unbounded stack-number. The main tool used in our proof of the lower bound is the topological overlap theorem of Gromov. We actually prove a stronger result in terms of so-called triangulations of Cartesian products. We conclude that triangulations of three-dimensional Cartesian products of any sufficiently large connected graphs have large stack-number. The upper bound is a special case of a more general construction based on families of permutations derived from Hadamard matrices. The strong product of three paths is also the first example of a bounded degree graph with bounded queue-number and unbounded stack-number. A natural question that follows from our result is to determine the smallest $Δ_0$ such that there exist a graph family with unbounded stack-number, bounded queue-number and maximum degree $Δ_0$. We show that $Δ_0\in \{6,7\}$.

In 2015, Felsner, Trotter, and Wiechert showed that posets with outerplanar cover graphs have bounded dimension. We generalise this result to posets with $k$-outerplanar cover graphs. Namely, we show that posets with $k$-outerplanar cover graph have dimension $\mathcal{O}(k^3)$. As a consequence, we show that every poset with a planar cover graph and height $h$ has dimension $\mathcal{O}(h^3)$. This improves the previously best known bound of $\mathcal{O}(h^6)$ by Kozik, Micek and Trotter.

We prove that for every nowhere dense class of graphs $\mathcal{C}$, positive integer $d$, and $\varepsilon>0$, the following holds: in every $n$-vertex graph $G$ from $\mathcal{C}$ one can find two disjoint vertex subsets $A,B\subseteq V(G)$ such that $|A|\geq (1/2-\varepsilon)\cdot n$ and $|B|=Ω(n^{1-\varepsilon})$ and either $\operatorname{dist}(a,b)\leq d$ for all $a\in A$ and $b\in B$, or $\operatorname{dist}(a,b)>d$ for all $a\in A$ and $b\in B$. We also show some stronger variants of this statement, including a generalization to the setting of First-Order interpretations of nowhere dense graph classes.

A ladder is a $2 \times k$ grid graph. When does a graph class $\mathcal{C}$ exclude some ladder as a minor? We show that this is the case if and only if all graphs $G$ in $\mathcal{C}$ admit a proper vertex coloring with a bounded number of colors such that for every $2$-connected subgraph $H$ of $G$, there is a color that appears exactly once in $H$. This type of vertex coloring is a relaxation of the notion of centered coloring, where for every connected subgraph $H$ of $G$, there must be a color that appears exactly once in $H$. The minimum number of colors in a centered coloring of $G$ is the treedepth of $G$, and it is known that classes of graphs with bounded treedepth are exactly those that exclude a fixed path as a subgraph, or equivalently, as a minor. In this sense, the structure of graphs excluding a fixed ladder as a minor resembles the structure of graphs without long paths. Another similarity is as follows: It is an easy observation that every connected graph with two vertex-disjoint paths of length $k$ has a path of length $k+1$. We show that every $3$-connected graph which contains as a minor a union of sufficiently many vertex-disjoint copies of a $2 \times k$ grid has a $2 \times (k+1)$ grid minor. Our structural results have applications to poset dimension. We show that posets whose cover graphs exclude a fixed ladder as a minor have bounded dimension. This is a new step towards the goal of understanding which graphs are unavoidable as minors in cover graphs of posets with large dimension.

Joret et al. proved that posets with cover graphs of treewidth at most 2 have dimension at most 1276. Their proof is long and very complex. We give a short and much simpler proof that the dimension of such posets is at most 12.