arXiv++ Combinatorics

The planar Turán number ${\rm ex}_{\mathcal{P}}(n,C_k)$ is the largest number of edges in an $n$-vertex planar graph with no cycle of length $k$. Let $k\ge 11$ and $C,D$ be constants. Cranston, Lidický, Liu and Shantanam \cite{2021Planar}, and independently Lan and Song \cite{LanSong} showed that ${\rm ex}_{\mathcal{P}}(n,C_k)\ge 3n-6-\frac{Cn}{k}$ for large $n$. Moreover, Cranston et al. conjectured that ${\rm ex}_{\mathcal{P}}(n,C_k)\le 3n-6-\frac{Dn}{k^{lg_23}}$ when $n$ is large. In this note, we prove that ${\rm ex}_{\mathcal{P}}(n,C_k)\ge 3n-6-\frac{6\cdot 3^{lg_23}n}{k^{lg_23}}$ for every $k$. It implies Cranston et al.'s conjecture is essentially best possible.

Given a graph $G=(V,E)$, for a vertex set $S\subseteq V$, let $N(S)$ denote the set of vertices in $V$ that have a neighbor in $S$. Extending the concept of binding number of graphs by Woodall~(1973), for a vertex set $X \subseteq V$, we define the binding number of $X$, denoted by $\bind(X)$, as the maximum number $b$ such that for every $S \subseteq X$ where $N(S)\neq V(G)$ it holds that $|N(S)|\ge b {|S|}$. Given this definition, we prove that if a graph $V(G)$ contains a subset $X$ with $\bind(X)= 1/k$ where $k$ is an integer, then $G$ possesses a matching of size at least $|X|/(k+1)$. Using this statement, we derive tight bounds for the estimators of the matching size in planar graphs. These estimators are previously used in designing sublinear space algorithms for approximating the maching size in the data stream model of computation. In particular, we show that the number of locally superior vertices is a $3$ factor approximation of the matching size in planar graphs. The previous analysis by Jowhari (2023) proved a $3.5$ approximation factor. As another application, we show a simple variant of an estimator by Esfandiari \etal (2015) achieves $3$ factor approximation of the matching size in planar graphs. Namely, let $s$ be the number of edges with both endpoints having degree at most $2$ and let $h$ be the number of vertices with degree at least $3$. We prove that when the graph is planar, the size of matching is at least $(s+h)/3$. This result generalizes a known fact that every planar graph on $n$ vertices with minimum degree $3$ has a matching of size at least $n/3$.

The branchwidth of a graph has been introduced by Roberson and Seymour as a measure of the tree-decomposability of a graph, alternative to treewidth. Branchwidth is polynomially computable on planar graphs by the celebrated ``Ratcatcher'' algorithm of Seymour and Thomas. We explore how this algorithm can be extended to minor-closed graph classes beyond planar graphs, as follows: Let $H_{1}$ be a graph embeddable in the torus and $H_{2}$ be a graph embeddable in the projective plane. We prove that every $\{H_{1},H_{2}\}$-minor free graph $G$ contains a subgraph $G'$ whose branchwidth differs from that of $G$ by a constant depending only on $H_1$ and $H_2$. Moreover, the graph $G'$ admits a tree decomposition where all torsos are planar. This decomposition allows for a constant-additive approximation of branchwidth: For $\{H_{1},H_{2}\}$-minor free graphs, there is a constant $c$ (depending on $H_{1}$ and $H_{2}$) and an $\mathcal{O}(|V(G)|^{3})$-time algorithm that, given a graph $G$, outputs a value $b$ such that the branchwidth of $G$ is between $b$ and $b+c$.

A recent line of work on VC set systems in minor-free (undirected) graphs, starting from Li and Parter, who constructed a new VC set system for planar graphs, has given surprising algorithmic results. In this work, we initialize a more systematic study of VC set systems for minor-free graphs and their applications in both undirected graphs and directed graphs (a.k.a digraphs). More precisely: - We propose a new variant of Li-Parter set system for undirected graphs. - We extend our set system to $K_h$-minor-free digraphs and show that its VC dimension is $O(h^2)$. - We show that the system of directed balls in minor-free digraphs has VC dimension at most $h-1$. - On the negative side, we show that VC set system constructed from shortest path trees of planar digraphs does not have a bounded VC dimension. The highlight of our work is the results for digraphs, as we are not aware of known algorithmic work on constructing and exploiting VC set systems for digraphs.

An infinite graph is quasi-transitive if its vertex set has finitely many orbits under the action of its automorphism group. In this paper we obtain a structure theorem for locally finite quasi-transitive graphs avoiding a minor, which is reminiscent of the Robertson-Seymour Graph Minor Structure Theorem. We prove that every locally finite quasi-transitive graph $G$ avoiding a minor has a tree-decomposition whose torsos are finite or planar; moreover the tree-decomposition is canonical, i.e. invariant under the action of the automorphism group of $G$. As applications of this result, we prove the following. * Every locally finite quasi-transitive graph attains its Hadwiger number, that is, if such a graph contains arbitrarily large clique minors, then it contains an infinite clique minor. This extends a result of Thomassen (1992) who proved it in the 4-connected case and suggested that this assumption could be omitted. * Locally finite quasi-transitive graphs avoiding a minor are accessible (in the sense of Thomassen and Woess), which extends known results on planar graphs to any proper minor-closed family. * Minor-excluded finitely generated groups are accessible (in the group-theoretic sense) and finitely presented, which extends classical results on planar groups. * The domino problem is decidable in a minor-excluded finitely generated group if and only if the group is virtually free, which proves the minor-excluded case of a conjecture of Ballier and Stein (2018).

We prove that if $G$ is an infinite, connected, planar graph properly embedded in $\mathbb{R}^2$ with minimum degree at least $7$, then i.i.d.\ Bernoulli$(p)$ site percolation on $G$ almost surely has infinitely many infinite open (1-)clusters for every \[ p \in \bigl(p_c^{\mathrm{site}},\, 1-p_c^{\mathrm{site}}\bigr). \] Moreover, we show that $p_c^{\mathrm{site}}<\tfrac12$, so this non-uniqueness interval is nonempty. This verifies Conjecture~7 of Benjamini and Schramm~\cite{bs96} for this class of properly embedded planar graphs. Our proof introduces a new construction of embedded trees in $G$. These trees yield infinitely many infinite clusters for percolation parameters near $\tfrac12$, and they also enable exponential decay of two-point connection probabilities by partitioning $G$ using infinitely many disjoint trees. Variants of this approach were later used in~\cite{ZL26} to construct a counterexample to Conjecture~7 of~\cite{bs96} for planar graphs with uncountably many ends. Finally, the methods developed here have further applications: in~\cite{perc24} they are used to prove a vertex-cut characterization of $p_c^{\mathrm{site}}$ (conjectured by Kahn in~\cite{JK03}) and to refute an edge-cut characterization proposed by Lyons and Peres~\cite{LP16} and Tang (\cite{Tang2023}).

We generalize a framework of list colouring results to correspondence colouring. Correspondence colouring is a generalization of list colouring wherein we localize the meaning of the colours available to each vertex. As pointed out by Dvořák and Postle, both of Thomassen's theorems on the 5-choosability of planar graphs and 3-choosability of planar graphs of girth at least five carry over to the correspondence colouring setting. In this paper, we show that the family of graphs that are critical for 5-correspondence colouring as well as the family of graphs of girth at least five that are critical for 3-correspondence colouring form hyperbolic families. Analogous results for list colouring were shown by Postle and Thomas and by Dvořák and Kawarabayashi, respectively. Using results on hyperbolic families due to Postle and Thomas, we show further that this implies that locally planar graphs are 5-correspondence colourable; and, using results of Dvořák and Kawarabayashi, that there exist linear-time algorithms for the decidability of 5-correspondence colouring for embedded graphs. We show analogous results for 3-correspondence colouring graphs of girth at least five.

We define a far-reaching generalization of Schnyder woods which encompasses many classical combinatorial structures on planar graphs. Schnyder woods are defined for planar triangulations as certain triples of spanning trees covering the triangulation and crossing each other in an orderly fashion. They are of theoretical and practical importance, as they are central to the proof that the order dimension of any planar graph is at most 3, and they are also underlying an elegant drawing algorithm. In this article we extend the concept of Schnyder wood well beyond its original setting: for any integer d>2 we define a ``grand-Schnyder'' structure for (embedded) planar graphs which have faces of degree at most d and non-facial cycles of length at least d. We prove the existence of grand-Schnyder structures, provide a linear construction algorithm, describe 4 different incarnations (in terms of tuples of trees, corner labelings, weighted orientations, and marked orientations), and define a lattice for the set of grand Schnyder structures of a given planar graph. We show that the grand-Schnyder framework unifies and extends several classical constructions: Schnyder woods and Schnyder decompositions, regular edge-labelings (a.k.a. transversal structures), and Felsner woods.

A graph is $k$-degenerate if every subgraph $H$ has a vertex $v$ with $d_{H}(v) \leq k$. The class of degenerate graphs plays an important role in the graph coloring theory. Observed that every $k$-degenerate graph is $(k + 1)$-choosable and $(k + 1)$-DP-colorable. Bernshteyn and Lee defined a generalization of $k$-degenerate graphs, which is called \emph{weakly $k$-degenerate}. The weak degeneracy plus one is an upper bound for many graph coloring parameters, such as choice number, DP-chromatic number and DP-paint number. In this paper, we give two sufficient conditions for a plane graph without $4$- and $6$-cycles to be weakly $2$-degenerate, which implies that every such graph is $3$-DP-colorable and near-bipartite, where a graph is near-bipartite if its vertex set can be partitioned into an independent set and an acyclic set.

In this paper, we use a topological quantum field theory (TQFT) to define families of new homology theories of a $2$-dimensional CW complex of a smooth closed surface. The dimensions of these homology groups can be used to count the number of ways that each face of the CW complex can be colored with one of $n$ colors so that no two adjacent faces have the same color. We use these homologies to define new invariants of graphs, give new characterizations of well-known polynomial invariants of graphs, and rephrase and offer new approaches to famous conjectures about graph coloring. In particular, we show that the TQFT has the potential to generate $4$-face colorings of a bridgeless planar graph, leading to a constructive approach to the four color theorem. The TQFT has ramifications for the study of smooth surfaces and provides examples of new types of Frobenius algebras.

An edge-coloring of a graph $G$ with colors $1,\ldots,t$ is called an \emph{interval $t$-coloring} if all colors are used and the colors of edges incident to each vertex of $G$ are distinct and form an interval of integers. In 1990, Kamalian proved that if a graph $G$ with at least one edge has an interval $t$-coloring, then $t\leq 2|V(G)|-3$. In 2002, Axenovich improved this upper bound for planar graphs: if a planar graph $G$ admits an interval $t$-coloring, then $t\leq \frac{11}{6}|V(G)|$. In the same paper Axenovich suggested a conjecture that if a planar graph $G$ has an interval $t$-coloring, then $t\leq \frac{3}{2}|V(G)|$. In this paper we confirm the conjecture by showing that if a planar graph $G$ admits an interval $t$-coloring, then $t\leq \frac{3|V(G)|-4}{2}$. We also prove that if an outerplanar graph $G$ has an interval $t$-coloring, then $t\leq |V(G)|-1$. Moreover, all these upper bounds are sharp.

We study a counting version of Cycle Double Cover Conjecture. We discuss why it is more interesting to count circuits (i.e., graphs isomorphic to $C_k$ for some $k$) instead of cycles (graphs with all degrees even). We give an almost-exponential lower-bound for graphs with a surface embedding of representativity at least 4. We also prove an exponential lower-bound for planar graphs. We conjecture that any bridgeless cubic graph has at least $2^{n/2-1}$ circuit double covers and we show an infinite class of graphs for which this bound is tight.

A graph is $2$-planar if it has local crossing number two, that is, it can be drawn in the plane such that every edge has at most two crossings. A graph is maximal $2$-planar if no edge can be added such that the resulting graph remains $2$-planar. A $2$-planar graph on $n$ vertices has at most $5n-10$ edges, and some (maximal) $2$-planar graphs -- referred to as optimal $2$-planar -- achieve this bound. However, in strong contrast to maximal planar graphs, a maximal $2$-planar graph may have fewer than the maximum possible number of edges. In this paper, we determine the minimum edge density of maximal $2$-planar graphs by proving that every maximal $2$-planar graph on $n\ge 5$ vertices has at least $2n$ edges. We also show that this bound is tight, up to an additive constant. The lower bound is based on an analysis of the degree distribution in specific classes of drawings of the graph. The upper bound construction is verified by carefully exploring the space of admissible drawings using computer support.

An edge coloring of a graph $G$ is \emph{woody} if no cycle is monochromatic. The \emph{arboricity} of a graph $G$, denoted by $\arb (G)$, is the least number of colors needed for a woody coloring of $G$. A coloring of $G$ is \emph{strongly woody} if after contraction of any single edge it is still woody. In other words, not only any cycle in $G$ can be monochromatic but also any \emph{broken cycle}, i.e., a simple path arising by deleting a single edge from the cycle. The least number of colors in a strongly woody coloring of $G$ is denoted by $ζ(G)$ and called the \emph{strong arboricity} of $G$. We prove that $ζ(G)\leqslant χ_a(G)$, where $χ_a(G)$ is the \emph{acyclic chromatic number} of $G$ (the least number of colors in a proper vertex coloring without a $2$-colored cycle). In particular, we get that $ζ(G)\leqslant 5$ for planar graphs and $ζ(G)\leqslant 4$ for otuterplanar graphs. We conjecture that $ζ(G)\leqslant 4$ holds for all planar graphs. We also prove that $ζ(G)\leqslant 4(\arb(G))^2$ holds for arbitrary graph $G$. A natural generalziation of strong arboricity to \emph{matroids} is also discussed, with a special focus on cographic matroids.

Weak degeneracy is a variation of degeneracy which shares many nice properties of degeneracy. In particular, if a graph $G$ is weakly $d$-degenerate, then for any $(d + 1)$-list assignment $L$ of $G$, one can construct an $L$-coloring of $G$ by a modified greedy coloring algorithm. It is known that planar graphs of girth 5 are 3-choosable and locally planar graphs are 5-choosable. This paper strengthens these results and proves that planar graphs of girth 5 are weakly 2-degenerate and locally planar graphs are weakly 4-degenerate.

A planar graph can be embedded in a piecewise linear manifold, and the lattice on each linear piece can be colored with 3-coloring. If a planar graph can be colored with multiple 3-coloring, i.e. coloring the graph in pieces with different 3-color subsets of 4 colors, then the graph is 4-colorable. In this paper, multiple 3-coloring was introduced, and then the combination and partition of planar graphs for multiple 3-coloring was studied. The study reveals that planar graphs can generally be decomposed into independent subgraphs, and each subgraph can be triangulated into a symmetric structure for multiple 3-coloring.

An interval colouring of a graph $G=(V,E)$ is a proper colouring $c\colon E\to \mathbb{Z}$ such that the set of colours of edges incident to any given vertex forms an interval of $\mathbb{Z}$. The interval thickness $θ(G)$ of a graph $G$ is the smallest integer $k$ such that $G$ can be edge-partitioned into $k$ interval colourable graphs, and $θ(n)$ is the largest interval thickness over graphs on $n$ vertices. We show that $c \frac{\log n}{\log \log n} \leq θ(n) \leq n^{8/9+o(1)}$ for some $c>0$. In particular this answers a question by Asratian, Casselgren, and Petrosyan. In the second part of the paper, we confirm a conjecture of Axenovich that the maximum number of colours used in an interval colouring of a planar graph on $n$ vertices is at most $3n/2-2$.

A graph $G$ is $(I,F)$-partitionable if its vertex set can be partitioned into two parts such that one part is an independent set, and the other induces a forest. In this paper, we prove that every planar graph without cycles of length $4, 6, 9$ is $(I,F)$-partitionable.

This paper proves that every planar graph without cycles of length 4, 7, or 9 is DP-3-colorable.

A graph is said to be interval colourable if it admits a proper edge-colouring using palette $\mathbb{N}$ in which the set of colours incident to each vertex is an interval. The interval colouring thickness of a graph $G$ is the minimum $k$ such that $G$ can be edge-decomposed into $k$ interval colourable graphs. We show that $θ(n)$, the maximum interval colouring thickness of an $n$-vertex graph, satisfies $θ(n) =Ω(\log(n)/\log\log(n))$ and $θ(n)\leq n^{5/6+o(1)}$, which improves on the trivial lower bound and an upper bound of the first author and Zheng. As a corollary, we answer a question of Asratian, Casselgren, and Petrosyan and disprove a conjecture of Borowiecka-Olszewska, Drgas-Burchardt, Javier-Nol, and Zuazua. We also confirm a conjecture of the first author that any interval colouring of an $n$-vertex planar graph uses at most $3n/2-2$ colours.