arXiv++ Combinatorics

Let $f(n,H)$ be the maximum number of copies of a graph $H$ in a planar graph of order $n$. When $H$ is a connected graph on four vertices, $f(n,H)$ has been completely determined except for two cases: $K_{1,3}^+$ (the claw graph $K_{1,3}$ with one additional edge) and $K_4^-$ (the complete graph $K_4$ with one edge removed). Here, we address these two cases and establish that for all $n\ge4$, $$f(n,K_{1,3}^+) = 4n^2-12n-4 \textrm{ and } f(n,K_4^-) =\frac{1}{2}(n^2+9n-40).$$

We show that every probability-measure-preserving equivalence relation generated by a locally-finite Borel graph with planar connected components is sofic in the sense of Elek--Lippner. In particular, every unimodular random planar graph is sofic. This removes the additional assumptions in the works of Angel--Hutchcroft--Nachmias--Ray and Timár on the soficity of unimodular random planar maps and graphs. To prove this, we investigate Borel simplicial complexes with planar components and approximate them by treeable covering spaces. To construct these coverings, we use a canonical family of tracks on planar simplicial complexes introduced by Dunwoody.

Assume $G$ is a graph and $k$ is a positive integer. Let $f:V(G)\to \mathbb{N}$ be defined as $f(v)=\min\{k,d_G(v)\}$. If $G$ is $f$-choosable, then we say $G$ is degree-truncated $k$-choosable. The degree-truncated choice number of $G$ is $\operatorname{ch}^{\text{\st{d}}}(G) = \min\{k: G \text{ is degree-truncated $k$-choosable}\}$. For a family $\mathcal{G}$ of graphs, $\operatorname{ch}^{\text{\st{d}}}(\mathcal{G}) = \max\{\operatorname{ch}^{\text{\st{d}}}(G):G \in \mathcal{G}\}$. Let $\mathcal{P}$ denote the family of 3-connected non-complete planar graphs. Richter asked in 2008 whether $ch^{\text{\st{d}}}(\mathcal{P}) \le 6$. In 2025, Zhou, Zhu and Zhu answered this question in negative and proved that $8 \le ch^{\text{\st{d}}}(\mathcal{P}) \le 16$. This result was improved by Jiang, Xu, Xu, and Zhu, who proved that $9 \le ch^{\text{\st{d}}}(\mathcal{P}) \le 12$. In this paper, we further improve the result and prove that $10 \le \operatorname{ch}^{\text{\st{d}}}(\mathcal{P}) \le 11$. We conjecture that $\operatorname{ch}^{\text{\st{d}}}(\mathcal{P}) =10$, and we confirm this conjecture for those planar graphs $G \in \mathcal{P}$ for which the subgraph induced by vertices of degree at least 11 is 4-choosable.

A \textit{cut-edge} of a connected graph is an edge whose deletion increases the number of components. In this paper, we first state some conditions for a planar graph to have a few cut-edges. After that, we use the main results to study the conditions for a colored planar graph to have a bounded conflict-free connection number.

Using the concepts of Eulerian-spanning set and coboundary operator, we generalize Hadlock's conversion of the maxcut problem on planar graphs to one on general graphs with non-negative weights. Using our conversion, we can explore algorithms for maxcut beyond the class of planar graphs. We obtain a Fixed-Parameter Tractable algorithm for $k$-contraction apex graphs. Specifically, our algorithm can be applied to graphs with crossing number $k$, giving an $O(2^k(n+k)^{3/2}\log (n+k))$-time algorithm that matches the best known results when restricted to non-negative weights.

A graph $G=(V,E)$ is said to be word-representable if there exists a word $w$ over the alphabet $V$ such that two distinct letters $x,y\in V$ alternate in $w$ if and only if $xy \in E$. Word-representable graphs form a well-studied graph class with connections to graph orientations, combinatorics on words, and graph coloring. A near-triangulation is a planar graph in which every face except the outer face is a triangle. Several subclasses of near-triangulations have previously been investigated in the context of word-representability, including polyomino triangulations, triangulations of rectangular polyominoes with a single domino tile, $K_4$-free near-triangulations, face subdivisions of triangular grid graphs, triangulations of grid-covered cylinder graphs, and chordal near-triangulations. In this paper, we obtain a complete characterization of word-representable near-triangulations in terms of forbidden induced subgraphs. Our result unifies and extends the previously known characterizations for the above subclasses, while also correcting inaccuracies appearing in earlier works.

In this paper, we introduce the notion of $t$-tone edge coloring. A $t$-tone edge $k$-coloring of a graph $G$ assigns to each edge of $G$ a set of $t$ distinct colors from $\{1,\dots,k\}$ such that any two edges at distance $d$ share fewer than $d$ common colors. The $t$-tone chromatic index of $G$, denoted by $τ'_t(G)$, is the minimum integer $k$ for which $G$ admits a $t$-tone edge $k$-coloring. We focus on the case $t=2$ and establish several upper bounds on $τ'_2$. In particular, for every graph $G$ with maximum degree $Δ(G)\ge2$, we prove that $τ'_2(G)\le 6Δ(G)-4$, improving the corresponding bound derived from the vertex analogue. We also show that every tree $T$ with $Δ(T)\ge3$ satisfies $τ'_2(T)=2Δ(T)$. Furthermore, every planar graph $G$ satisfies $τ'_2(G)\le \max\{41,3Δ(G)+5\}$, while every outerplanar graph $G$ satisfies $τ'_2(G)\le \max\{14,3Δ(G)\}$. For subcubic graphs $G$, the vertex analogue yields $τ'_2(G)\le12$. We improve this bound to $11$ for claw-free subcubic graphs and to $10$ for $2$-degenerate subcubic graphs. Finally, we propose two conjectures concerning optimal bounds for cubic and $K_4$-free cubic graphs, and establish them for series-parallel subcubic multigraphs and subcubic outerplanar graphs, respectively.

In this paper, we introduce the notion of Pfaffian orientations on (punctured) polygonally cellulated orientable surfaces, and provide an expression for the number of such orientations. This generalizes the notion of Pfaffian orientations on planar graph, where a planar graph is seen as a punctured $2$-sphere, embedded in $\mathbb{R}^3$. So, as a direct corollary of our main theorem, we derive the number of Pfaffian orientations on a planar graph.

Graph coloring with preferences offers a powerful framework for constraint satisfaction problems in which fulfilling every request is impossible but satisfying a guaranteed positive fraction is highly desirable. A \emph{request} on a graph $G$ equipped with a list assignment $L$ assigns to each vertex of some subset $dom(r)\subseteq V(G)$ a preferred color from its list. Following Dvořák, Norin, and Postle (2019), $G$ is \emph{$\varepsilon$-flexibly $k$-choosable} if, for every $k$-list assignment $L$ and every request $r$, there is an $L$-coloring of $G$ that agrees with $r$ on at least $\varepsilon|dom(r)|$ vertices. The corresponding notion for DP-coloring (correspondence coloring) was formalized by Bradshaw, Choi, and Kostochka (2025). Choi, Clemen, Ferrara, Horn, Ma, and Masařík (2022) proved that every planar graph without $4$-cycles and with $3$-cycle distance at least $2$ is $\varepsilon$-flexibly $4$-choosable. We improve the result in two respects: weakening the hypothesis from $3$-cycle distance $\geq 2$ to vertex-disjoint triangles, and strengthening the conclusion from list flexibility to weighted DP-flexibility: \emph{Every simple planar graph without $4$-cycles and without intersecting triangles is weighted $\varepsilon$-flexibly DP-$4$-colorable.} The list size $4$ is sharp: Montassier, Raspaud, and Wang constructed a planar graph without $4$-cycles, $5$-cycles, and intersecting triangles that is not $3$-choosable.

Given a decorated planar graph $(G,ω)$, where $G$ is a planar graph and $ω\in H^1(|\mathcal{Q}G|,\mathbb{Z})$ with $\mathcal{Q}G$ the directed medial graph of $G$, we call some angular functions $ω$-compatible and study two distinct but related directed graphs: $\mathcal{L}(G,ω)$, which is the directed graph of such functions, and $BMS(G,ω)$, the directed graph of BMS states which are some pairs of $ω$-compatible functions plus additional data. We give sufficient conditions for $\mathcal{L}(G,ω)$ to be a graded distributive lattice, recovering Kauffman's Clock Theorem when $G$ is a knot diagram. We also define a potential on $\mathcal{Q} G$ and associate a representation of the corresponding quiver with potential to every BMS state. Under suitable assumptions, this construction yields an isomorphism between $\mathcal{L}(G,ω)$ and the lattice of subrepresentations of a maximal representation, generalizing a result of Bazier-Matte--Schiffler.

Given a polyhedron (planar, $3$-connected graph) $G$, we investigate its common neighbourhood graph con($G$). For cubic ($3$-regular) polyhedra, we show that the planarity of con($G$) depends on the number of odd faces of $G$, and on their adjacency. We then prove that for all other polyhedra, con($G$) is non-planar. We introduce a novel concept for polyhedra (and more generally, for plane graphs) $G$, namely the `facial common neighbourhood graph' facecon($G$). Its definition takes into account pairs of vertices with a common neighbour on the same face of $G$. It is a spanning subgraph of con($G$), that coincides with con($G$) for cubic polyhedra. It also generalises the reverse construction of the radial graph. As part of our investigation, we also prove a technical result of independent interest: if a maximal planar graph (triangulation of the sphere) has exactly two vertices of odd degree, then they are not adjacent. We also answer several questions in extremal graph theory. Fixing the number of vertices, we characterise the polyhedra $G$ such that con($G$) is planar and the number of edges in con($G$) is minimal/maximal. We address the same problem for facecon($G$), and prove that if it is maximal planar, then $G$ has no face of length greater than $6$. We notably characterise and explicitly construct all polyhedra $G$ of maximal face length $4$ such that facecon($G$) is maximal planar.

A conflict-free cut $F$ on a simple connected graph $G = (V, E)$ is defined as a set of edges $F \subseteq E$ such that $G-F$ is disconnected, and no two edges in $F$ are conflicting. The notion of conflicting edges is represented using an associated conflict graph $\widehat{G} = (\widehat{V}, \widehat{E})$ where $\widehat{V} = E$. Deciding if a given planar graph $G$, with an associated conflict graph $\widehat{G}$, has a conflict-free cut is known to be NP-complete, when $G$ has maximum degree four and $\widehat{G}$ is a line graph of $G$ [Bonsma, JGT 2009]. In this paper, we prove the following for the case when $\widehat{G}$ is 1-regular. * We completely resolve the complexity of the decision problem when $G$ is planar. Towards this end, we show that (a) there always exists a conflict-free cut when the graph is planar and 4-regular unless it is the octahedron graph and (b) the decision problem is NP-complete, even in the case when $G$ is planar with maximum degree 5. * We also show that the decision problem is NP-complete when $G$ is a 3-degenerate graph with maximum degree 5. This completely resolves the complexity status of the problem when $G$ is 3-degenerate. * We construct families of graphs with 1-regular conflict graphs that do not have a conflict-free cut. Our results answer the questions posed in [Rauch, Rautenbach and Souza, IPL 2025].

A "dominating $K_t$-model" in a graph $G$ is a sequence $(T_1,\dots,T_t)$ of pairwise vertex-disjoint connected subgraphs of $G$, such that whenever $1\leq i<j\leq t$ every vertex in $T_j$ has a neighbour in $T_i$. Replacing "every vertex in $T_j$" by "some vertex in $T_j$" retrieves the standard definition of $K_t$-model, which is equivalent to a $K_t$-minor in $G$. We prove that every graph with no dominating $K_5$-model is $4$-colourable. This generalises and is significantly stronger than the 4-colour theorem for planar graphs or for graphs with no $K_5$-minor. It also makes progress towards Hajós' conjecture on $K_5$-subdivisions in $5$-chromatic graphs.

Given a graph $G=(V,E)$, a vertex $u \in V$ {\em ve-dominates} all edges incident to any vertex of $N_G[u]$. A set $S \subseteq V$ is a {\em ve-dominating set} if for all edges $e\in E$, there exists a vertex $u\in S$ such that $u$ ve-dominates $e$. The minimum cardinality among all ve-dominating sets is known as the \textit{vertex-edge domination number} (or simply ve-domination number) and denoted by $γ_{ve}(G)$. Finding a minimum ve-dominating set was proved to be NP-complete. Restricted to trees, the problem admits a linear-time algorithm. Treewidth is a commonly used parameter for solving NP-hard problems. In this paper, we present a polynomial-time algorithm for finding a minimum ve-dominating set on graphs with bounded treewidth. Moreover, we show that the treewidth of a planar graph $G$ with ve-domination number $γ_{ve}(G)$ is $O(\sqrt{γ_{ve}(G)})$ and present an $O(c^{\sqrt{k}}|V(G)|)$-time algorithm for the $k$-ve-domination problem on planar graphs.

In 2023, Gollin, Hendrey, Methuku, Tompkins and Zhang determined the maximum number of cliques in general 1-planar graphs with order $n$. Their extremal examples have connectivity at most three, except for a few small orders. At the high-connectivity end, we prove that every $n$-vertex 7-connected 1-planar graph has at most $4n-12$ edges, $4n-16$ triangles, and $n-6$ copies of $K_4$. Hence the total number of cliques is at most $10n-33$. All bounds are sharp for infinitely many values of $n$.

Motivated by Wegner's conjecture on squares of planar graphs, Thomassen conjectured that every 3-connected cubic graph on at least eight vertices admits a red-blue vertex coloring in which the blue subgraph has maximum degree at most 1, while the red subgraph has minimum degree at least 1 and contains no $P_4$. Such colorings are now called crumby colorings. Although this conjecture was disproved in general by Bellitto, Klimošová, Merker, Witkowski and Yuditsky, positive results of Barát, Blázsik and Damásdi led them, in the same subcubic setting, to conjecture that every $K_4$-minor-free graph admits a crumby coloring. We disprove this conjecture with a connected subcubic partial 2-tree on 18 vertices. We also disprove its natural 2-connected version with a 2-connected subcubic partial 2-tree on 40 vertices with no crumby coloring. Consequently, the obstruction to crumby colorability already occurs within treewidth two, even under 2-connectivity.

We prove that for every $t \in \mathbb{N}$, prime-length cycles do not have the $\frac{1}{t}$-integral Erdős-Pósa property, even when restricted to planar graphs. We in fact prove a more general density result. For every $t \in \mathbb{N}$ and every subset $L \subseteq \mathbb{N}$ with lower density zero, the set of cycles whose length is in $L$ do not have the $\frac{1}{t}$-integral Erdős-Pósa property, even when restricted to planar graphs. We also consider a less restrictive density condition on $L$, called porous, where the complement of $L$ contains arbitrarily long sequences of consecutive integers. We prove that for every porous set $L \subseteq \mathbb{N}$, the set of cycles whose length is in $L$ do not have the Erdős-Pósa property, even when restricted to projective planar graphs. Our results partially answer a question of Gollin, Hendrey, Kwon, Oum, and Yoo [Math. Ann., 393(2):2507-2559, 2025].

Let $H$ be obtained from a cyclically $4$-edge-connected cubic planar graph $Y$ other than $K_4$ by deleting two adjacent vertices. We provide a short proof that if $H$ has circumference at least $k$ for some even integer $k \ge 4$, then $H$ contains a cycle of length between $k$ and $3k/2$. As a consequence, we show that the line graph $G$ of $Y$ contains a cycle of length $l$ avoiding any prescribed vertex of $G$, for every $l \in \{3\} \cup \{5, \dots, |V(G)| - 1\}$. The proofs integrate Euler's formula and the Three Edge Lemma, established by Thomas and Yu, and independently by Sanders, in a novel way. This work was partially motivated by conjectures of Bondy and Malkevitch.

We show that finitely presented groups which admit $k$-planar Cayley graphs contain finite-index subgroups with planar Cayley graphs. More generally, we answer a question of Georgakopoulos and Papasoglu in the special case of coarsely simply connected graphs: a $k$-planar, coarsely simply connected, connected, locally finite, quasi-transitive graph is quasi-isometric to a planar graph.

Scaffolds are the one-dimensional skeleta of high-dimensional flag simplicial complexes of nonpositive curvature. They generalize the phylogenetic trees of Trop G(2,n) to arbitrary $k$, drawing together SL(k)-web bases, affine buildings, the combinatorics of the positive tropical Grassmannian and low-dimensional topology. We prove that scaffolds model points in all tropical Grassmannians via a $k$-point distance function. In this paper, we study in detail CAT(0) planar graphs, which are positive scaffolds for the tropical Grassmannian of three-planes. CAT(0) planar graphs are directed versions of the diskoids of Fontaine-Kamnitzer-Kuperberg, planar dual to SL(3)-webs. Our main result is the construction of a unique representation of any given integer positive tropical Plucker vector by a normal CAT(0) planar graph. We show that any normal CAT(0) planar graph embeds into the tropical linear space as a Lam-Postnikov membrane, and embeds into the Keel-Tevelev membrane within the affine building. We show that Early's planar basis expansion can be computed directly from the strand combinatorics of the dual web, and connect this expansion to Petersen-Pylyavskyy-Speyer's noncrossing tableaux, explored further in our companion paper.