arXiv++ Combinatorics

Consider a connected pseudograph $H$ such that each edge is associated with weight $x_e$, $x_e \in \mathbb{F}_3$; $\mathcal{T}(H)$ is the set of spanning trees of graph $H$. Assume that $s(H;{\mathbf x})=\sum_{T\in\mathcal{T}(H)} \prod_{e\in E(T)} x_e$. Let $G$ be a maximal planar graph (arbitrary planar triangulation) such that each face $F$ is assigned the value $α(F)=\pm 1 \in \mathbb{F}_3$. Then we can associate each edge with $x_e=α(F'_e)+α(F''_e)$, where $F'_e$ and $F''_e$ are the faces containing edge $e$. Let us define the value $w_G({\mathbf x})$ as $\left(\frac{s(G/W^*({\mathbf x});{\mathbf x})}3\right)/(-3)^{\left(|V(G/W^*({\mathbf x}))| - 1\right)/2}$; here $\left(\frac{x}3\right)$ is the Legendre symbol, $G/W$ is the graph with the contracted set of vertices $W$, while $W^*({\mathbf x})$ is a set of vertices $W$, $W \subseteq V(G)$, with minimal cardinality such that $s(G/W;{\mathbf x})$ differs from zero. In the following, we prove that the number of Tait colorings for graph $G$ equals the tripled sum $w_G({\mathbf x}(α))$ with respect to all possible vectors $α\in \{-1, 1\}^{\mathcal F(G)}$ such that $G/W^*({\mathbf x}(α))$ has an odd number of vertices, where $\mathcal F(G)$ is the set of faces of graph $G$. Keywords: maximal planar graph, Tait coloring, Laplace-Kirchhoff matrix, spanning tree.

A weighted graph $G$ with countable vertex set is bounded if there is an upper bound on the maximum of the sum of absolute values of all edge weights incident to a vertex in $G$. In this paper, we prove a fundamental result on equitable partitions of bounded weighted graphs with twin subgraphs and use this fact to construct finite and bounded infinite graphs with pair and plus state transfer with the adjacency matrix as a Hamiltonian. We show that for each $k \ge 3$, (i) there are infinitely many connected unweighted graphs with maximum degree $k$ admitting pair state transfer at $τ\in\{\fracπ{\sqrt{2}},\fracπ{2}\}$, and (ii) there are infinitely many signed graphs with exactly one negative edge weight and whose underlying unweighted graphs have maximum degree $k$ admitting plus state transfer at $τ\in\{\fracπ{\sqrt{2}},\fracπ{2}\}$. Parallel results are proven for perfect state transfer between a plus state and a pair state, and for the existence of sedentary pair and plus states. We further prove that almost all connected unweighted finite planar graphs admit pair state transfer at $τ\in\{\fracπ{\sqrt{2}},\fracπ{2}\}$, and almost all connected unweighted finite planar graphs can be assigned a single negative edge weight resulting in plus state transfer, or perfect state transfer between a plus state and a pair state, at $τ\in\{\fracπ{\sqrt{2}},\fracπ{2}\}$. Analogous results are shown to hold for unweighted finite trees. Using blow-up graphs, Cayley graphs and graphs with tails, we construct new infinite families of (finite and infinite) unweighted graphs and signed graphs admitting pair or plus state transfer.

This paper introduces a geometric representation of hypergraphs by representing hyperedges as simplices. Building on this framework, we employ homotopy groups to analyze the topological structure of hypergraphs embedded in high-dimensional Euclidean spaces. Under the assumptions of the triangulation and that all $i$-th homotopy groups are trivial for $i \leq d-2$, we provide a necessary and sufficient condition for a $d$-uniform hypergraph to be embeddable in $\mathbb{R}^d$, which can be regarded as a kind of high-dimensional extension of Wagner's Theorem for planar graphs. Specifically, we establish that a triangulated $d$-uniform topological hypergraph embeds into $\mathbb{R}^d$ if and only if it contains neither $K_{d+3}^d$ nor $K_{3,d+1}^d$ as a minor. Here, a triangulated $d$-uniform topological hypergraph constitutes a geometrized form of a $d$-uniform hypergraph, while $K_{d+3}^d$ and $K_{3,d+1}^d$ are the high-dimensional generalizations of the complete graph $K_5$ and the complete bipartite graph $K_{3,3}$ in $\mathbb{R}^d$, respectively.

Raspaud and Wang conjectured that every triangle-free planar graph can be vertex-partitioned into an independent set and a forest. Independently, Kawarabayashi and Thomassen also remarked that this might be true, after providing another proof of a result of Borodin and Glebov, showing this result for planar graphs of girth~5. Subsequently, Dross, Montassier, and Pinlou raised the same question and proved that every triangle-free planar graph can be partitioned into a forest and another forest of maximum degree~5. More recently, Feghali and Šámal improved this bound on the maximum degree to~3. In this note, we further improve the result by showing that every triangle-free planar graph can be partitioned into a forest and a linear forest, that is, a forest of maximum degree~2.

We introduce and study two Maker-Breaker-like games for constructing planar graphs: the edge drawing game, where two players take turns drawing non-intersecting edges between points in the plane, and the circle packing game, where the players take turns placing disjoint circles in the plane. Both games produce planar graphs: the edge drawing game results in a plane graph drawing, and the circle packing game yields a planar graph via the contact graph of the packing. For both games, we give necessary conditions under which a given planar graph can be constructed. We also show that the two games are indeed different by giving a class of graphs which can be constructed in one but not the other.

A graph on $n \ge 3$ vertices drawn in the plane such that each edge is crossed at most four times has at most $6(n-2)$ edges -- this result proven by Ackerman is outstanding in the literature of beyond-planar graphs with regard to its tightness and the structural complexity of the graph class. We provide a much shorter proof while at the same time relaxing the conditions on the graph and its embedding, i.e., allowing multi-edges and non-simple drawings.

We initiate the study of total-coloring extensions, and focus our attention on planar graphs, asking: ``When can a total-$k$-coloring of some subgraph $H$ of a planar graph $G$ be extended to a total-$k$-coloring of $G$?'' We prove that if $H$ is a matching, then any total-$(Δ+3)$-coloring of $H$ in $G$ extends to $G$ provided $Δ\geq 28$; this number of colors is best-possible without introducing a distance condition on $H$. We also prove that if $H$ is a set of distance-3 cliques then any total-$(Δ+1)$-coloring of $H$ extends to $G$ provided $Δ\geq 27$; this distance condition cannot be lowered.

In any graph, the maximum size of an induced path is bounded by the maximum size of a path. However, in the general case, one cannot find a converse bound, even up to an arbitrary function, as evidenced by the case of cliques. Galvin, Rival and Sands proved in 1982 that, when restricted to weakly sparse graphs, such a converse property actually holds. In this paper, we consider the maximal function $f$ such that any planar graph (and in general, any graph of bounded genus) containing a path on $n$ vertices contains an induced path of size $f(n)$, and prove that $f(n) \in Θ\left(\frac{\log n}{\log \log n}\right)$ by providing a lower bound matching the upper bound obtained by Esperet, Lemoine and Maffray, up to a constant factor. We obtain these tight bounds by analyzing graphs ordered along a Hamiltonian path that admit an edge partition into a bounded number of sets without crossing edges. In particular, we prove that when such an ordered graph can be partitioned into $2k$ sets of non-crossing edges, then it contains an induced path of size $Ω_k\left(\left(\frac{\log n}{\log \log n}\right)^{1/k} \right)$ and provide almost matching upper bounds.

A proper $s$-coloring of an $n$-vertex graph is \emph{equitable} if every color class has size $\lfloor{n/s}\rfloor$ or $\lceil{n/s}\rceil$. A necessary condition to have an equitable $s$-coloring is that every vertex $v$ appears in an independent set of size at least $\lfloor{n/s}\rfloor$. That is $\min_{v\in V(G)}α_v\ge \lfloor{n/s}\rfloor$. Various authors showed that when $G$ is a tree and $s\ge 3$ this obvious necessary condition is also sufficient. Kierstead, Kostochka, and Xiang asked whether this result holds more generally for all outerplanar graphs. We show that the answer is No when $s=3$, but that the answer is Yes when $s\ge 6$. The case $s\in\{4,5\}$ remains open. We also prove an analogous result for planar graphs, with a necessary and sufficient hypothesis. Fix $s\ge 40$. Let $G$ be a planar graph, and let $w_0,w_1$ be its $2$ vertices with largest degrees. If there exist disjoint independent sets $I_0, I_1$ such that $|I_0|=\lfloor{n/s}\rfloor$ and $|I_1| = \lfloor{(n+1)/s}\rfloor$ and $w_0,w_1\in I_0\cup I_1$, then $G$ has an equitable $s$-coloring.

Although the strong embedding of a 3-connected planar graph $G$ on the sphere is unique, $G$ can have different inequivalent strong embeddings on a surface of positive genus. If $G$ is cubic, then the strong embeddings of $G$ on the projective plane, the torus and the Klein bottle each are in one-to-one correspondence with certain subgraphs of the dual graph $G^\ast$. Here, we exploit this characterisation and show that two strong embeddings of $G$ on the projective plane, the torus or the Klein bottle are isomorphic if and only if the corresponding subgraphs of $G^{\ast}$ are contained in the same orbit under $\mathrm{Aut}(G^{\ast})$. This allows us to construct a data base containing all isomorphism classes of strong embeddings on the projective plane, the torus and the Klein bottle of all 3-connected cubic planar graphs with up to 22 vertices. Moreover, we establish that cyclically 4-edge connected cubic planar graphs can be strongly embedded on orientable surfaces of positive genera. We use this to show that a 3-connected cubic planar graph has no strong embedding on orientable surfaces of positive genera if and only if it is the dual of an Apollonian network.

We study relations between three interrelated notions of graph (list) coloring: single conflict coloring, adapted list coloring and choosability with separation (with $1$ overlapping color between lists of adjacent vertices), and their respective invariants single conflict chromatic number $χ_{\nleftrightarrow}$, adaptable choosability $ch_{ad}$ and separation choosability $ch_{sep}$. We investigate graphs with small values of these invariants, and construct explicit families of graphs $G$ with $χ_{\nleftrightarrow}(G) = ch_{ad}(G) > ch_{sep}(G)$, as well as where all three invariants are equal. Furthermore, we consider planar graphs and investigate for which triples $(a,b,c)$, there is a planar graph $G$ with $(ch_{sep}(G), ch_{ad}(G), χ_{\nleftrightarrow}(G)) = (a,b,c)$. Throughout the paper we pose many questions on these graph coloring parameters, and discuss connections to related coloring invariants such as adapted coloring.

A k-distance r-coloring of a graph is a coloring of the vertices of the graph such that if the distance between 2 vertices x and y is less or equal to k, then x and y must have distinct colors. A planar graph is a graph that can be drawn with no edge crossing. We will study the 2-distance coloring of planar graphs with maximum degree at least 6.

The Grid Minor Theorem states that for every planar graph $H$, there exists a smallest integer $f(H)$ such that every graph with tree-width at least $f(H)$ contains $H$ as a minor. The only known lower bounds on $f(H)$ beyond the trivial bound $f(H)\geq |V(H)|-1$ come from the maximum number of disjoint cycles in $H$. In this paper, we study $f(H)$ for planar graphs $H$ with no two disjoint cycles. We prove that $f(H)=|V(H)|-1$ for every apex-forest $H$. This result improves a bound of Leaf and Seymour and contains all known large graphs $H$ meeting the trivial lower bound to our knowledge. We also prove that $f(H)\leq \max\{\tfrac32|V(H)|-\tfrac92,|V(H)|-1\}$ for every wheel $H$.

A strong edge-coloring of a graph $G$ is a coloring of edges of $G$ such that every color class forms an induced matching. The strong chromatic index is the minimum number of colors needed to color the graph. The Ore-degree $θ(G)$ of a graph $G$ is the maximum sum of degrees of adjacent vertices. We show that every planar graph $G$ with $θ(G)\le 7$ has strong chromatic index at most $13$. This settles a conjecture of Chen et al in the planar case. We use a discharging method, and apply Combinatorial Nullstellensatz to show reducible configurations. We provide an algorithm to allow Combinatorial Nullstellansatz extracting coefficients from large polynomials.

The planar Tuán number of $H$, denoted by $ex_{\mathcal{P}}(n,H)$, is defined as the maximum number of edges in an $n$-vertex $H$-free planar graph. The exact value of $ex_{\mathcal{P}}(n,H)$ remains a mystery when $H$ is large (for example, $H$ is a long path or a long cycle), while tight bounds have been established for many small planar graphs such as cycles, paths, $Θ$-graphs and other small graphs formed by a union of them. One representative graph among such union graphs is $K_1+L$ where $L$ is a linear forest without isolated vertices. Previous works solved the cases when $L$ is a path or a matching. In this work, we first investigate the planar Turán number of the graph $K_1+L$ when $L$ is the disjoint union of a $P_2$ and $P_3$. Equivalently, $K_1+L$ represents a specific configuration formed by combining a $C_3$ and a $Θ_4$. We further consider the planar Turán numbers of the all graphs obtained by combining $C_3$ and $Θ_4$. Among the six possible such configurations, three have been resolved in earlier works. For the remaining three configurations (including $K_1+(P_2\dot{\cup}P_3)$), we derive tight bounds. Furthermore, we completely characterize all extremal graphs for the remaining two of these three cases.

A total coloring of a graph $G$ is a coloring of the vertices and edges such that two adjacent or incident elements receive different colors. The minimum number of colors required for a total coloring of a graph $G$ is called the total chromatic number, denoted by $χ''(G)$. Let $G$ be a planar graph of maximum degree eight. It is known that $9\leq χ''(G) \leq 10$. We here prove that $χ''(G)=9$ when the graph does not contain any subgraph isomorphic to a $4$-fan.

An $i$-independent set is a set of vertices whose pairwise distance is at least $i+1$. A proper coloring (resp. a square coloring) of a graph is a partition of its vertices into independent (resp. $2$-independent) sets. A packing $(1^{\ell},2^k)$-coloring of a graph is a partition of its vertices into $\ell$ independent sets and $k$ $2$-independent sets; this is an intermediate coloring between proper coloring and square coloring. We investigate classes of sparse graphs that have a proper $(\ell+1)$-coloring but no packing $(1^{\ell},2^k)$-coloring for any finite $k$. The Four Color Theorem states that every planar graph is packing $(1^4)$-colorable, and Grötzsch's Theorem says every planar graph with girth at least $4$ is packing $(1^3)$-colorable. However, for every fixed $k$, we construct a planar graph with no packing $(1^{3},2^k)$-coloring and a planar graph with girth $6$ that has no packing $(1^{2},2^k)$-coloring. Moreover, for every positive integer $\ell$, we completely determine the minimum girth condition $g(\ell)$ for which every planar graph with girth at least $g(\ell)$ has a packing $(1^{\ell},2^{f(\ell)})$-coloring for some finite $f(\ell)$. Our results are actually in terms of maximum average degree. We also study the list version of packing colorings. We extend two results of Gastineau and Togni by showing every subcubic graph is both packing $(1^{1},2^6)$-choosable and packing $(1^{2},2^3)$-choosable, and our results are sharp. In addition, we strengthen Voigt's example of a planar graph that is not $4$-choosable by constructing a planar graph that is not packing $(1^{4},2^k)$-choosable for every positive integer $k$.

A string graph is the intersection graph of curves in the plane. Kratochvíl previously showed the existence of infinitely many obstacles: graphs that are not string graphs but for which any edge contraction or vertex deletion produces a string graph. Kratochvíl's obstacles contain arbitrarily large cliques, so they have girth three and unbounded degree. We extend this line of working by studying obstacles among graphs of restricted girth and/or degree. We construct an infinite family of obstacles of girth four; in addition, our construction is $K_{2,3}$-subgraph-free and near-planar (planar plus one edge). Furthermore, we prove that there is a subcubic obstacle of girth three, and that there are no subcubic obstacles of high girth. We characterize the subcubic string graphs as having a matching whose contraction yields a planar graph, and based on this characterization we find a linear-time algorithm for recognizing subcubic string graphs of bounded treewidth.

We show that a large class of site percolation processes on any planar graph contains either zero or infinitely many infinite connected components. The assumptions that we require are: tail triviality, positive association (FKG) and that the set of open vertices is stochastically dominated by the set of closed ones. This covers the case of Bernoulli site percolation at parameter $p\leq 1/2$ and resolves Conjecture 8 from the work of Benjamini and Schramm from 1996. Our result also implies that $p_c\geq 1/2$ for any invariantly amenable unimodular random rooted planar graph. Furthermore, we apply our statement to the loop O(n) model on the hexagonal lattice and confirm a part of the phase diagram conjectured by Nienhuis in 1982: the existence of infinitely many loops around every face whenever $n\in [1,2]$ and $x\in [1/\sqrt{2},1]$. The point $n=2,x=1/\sqrt{2}$ is conjectured to be critical. This is the first instance that this behavior has been proven in such a large region of parameters. In a big portion of this region, the loop O(n) model has no known FKG representation. We apply our percolation result to quenched distributions that can be described as divide and color models.

Extremal graph theory studies the maximum or minimum number of subgraphs isomorphic to a prescribed graph under given constraints. \textit{Localization} has recently emerged as a framework that refines such problems by assigning extremal quantities locally (to vertices or edges) and then aggregating them. This perspective not only recovers classical results but also leads to sharper bounds. A classical result states that a connected planar graph with a finite girth $g$ satisfies \begin{equation*} m \leq \frac{g}{g-2}(n-2) \end{equation*} Wood~\cite{wood} derived upper bounds on the number of $K_t$-cliques in graphs of bounded maximum degree, expressed in terms of both the number of vertices and the number of edges: \begin{align*} ex(n,K_t,K_{1,d+1}) \leq \frac{n}{d+1}\binom{d+1}{t} \\ mex(m,K_t,K_{1,d+1}) \leq \frac{m}{\binom{d+1}{2}}\binom{d+1}{t} \end{align*} More recently, Chakraborty and Chen~\cite{CHAKRABORTI2024103955} established a similar upper bound for graphs with bounded path length: \begin{equation*} mex(m,K_t,P_{r+1}) \leq \frac{m}{\binom{r}{2}}\binom{r}{t} \end{equation*} In this paper, we employ the localization framework to improve these bounds and provide structural characterizations of the extremal graphs attaining them.