arXiv++ Combinatorics

A set $\mathcal{G}$ of planar graphs on the same number $n$ of vertices is called simultaneously embeddable if there exists a set $P$ of $n$ points in the plane such that every graph $G \in \mathcal{G}$ admits a (crossing-free) straight-line embedding with vertices placed at points of $P$. A conflict collection is a set of planar graphs of the same order with no simultaneous embedding. A well-known open problem from 2007 posed by Brass, Cenek, Duncan, Efrat, Erten, Ismailescu, Kobourov, Lubiw and Mitchell, asks whether there exists a conflict collection of size $2$. While this remains widely open, we give a short proof that for sufficiently large $n$ there exists a conflict collection consisting of at most $(3+o(1))\log_2(n)$ planar graphs on $n$ vertices. This constitutes a double-exponential improvement over the previously best known bound of $O(n\cdot 4^{n/11})$ for the same problem by Goenka, Semnani and Yip. Using our method we also provide a computer-free proof that there exists a conflict collection of size $30$, improving upon the previously smallest known conflict collection of size $49$ which was found using heavy computer assistance. While the construction by Goenka et al. was explicit, our construction of a conflict collection of size $O(\log n)$ is based on the probabilistic method and is thus only implicit. Motivated by this, for every large enough $n$ we give a different, fully explicit construction of a collection of less than $n^6$ planar $n$-vertex graphs with no simultaneous embedding.

The independent domination number $i(G)$ of a graph $G$ is the minimum cardinality of a maximal independent set of $G$, also called an $i(G)$-set. The $i$-graph of $G$ is the graph whose vertices correspond to the $i(G)$-sets, and where two $i(G)$-sets are adjacent if and only if they differ by two adjacent vertices. Not all graphs are $i$-graph realizable, that is, given a target graph $H$, there does not necessarily exist a source graph $G$ such that $H$ is the $i$-graph of $G$. We consider a class of graphs called "theta graphs": a theta graph is the union of three internally disjoint nontrivial paths with the same two distinct end vertices. We characterize theta graphs that are $i$-graph realizable, showing that there are only finitely many that are not. We also characterize those line graphs and claw-free graphs that are $i$-graphs, and show that all $3$-connected cubic bipartite planar graphs are $i$-graphs.

Let $m$ be a positive integer, $X$ a graph with vertex set $Ω$, and ${\rm WL}_m(X)$ the coloring of the Cartesian $m$-power $Ω^m$, obtained by the $m$-dimensional Weisfeiler-Leman algorithm. The ${\rm WL}$-dimension of the graph $X$ is defined to be the smallest $m$ for which the coloring ${\rm WL}_m(X)$ determines $X$ up to isomorphism. It is known that the ${\rm WL}$-dimension of any planar graph is $2$ or $3$, but no planar graph of ${\rm WL}$-dimension $3$ is known. We prove that the ${\rm WL}$-dimension of a polyhedral (i.e., $3$-connected planar) graph $X$ is at most $2$ if the color classes of the coloring ${\rm WL}_2(X)$ are the orbits of the componentwise action of the group ${\rm Aut}(X)$ on $Ω^2$.

We show that there are $O(n \cdot 4^{n/11})$ planar graphs on $n$ vertices which do not admit a simultaneous straight-line embedding on any $n$-point set in the plane. In particular, this improves the best known bound $O(n!)$ significantly.

A linear layout of a graph $ G $ consists of a linear order $\prec$ of the vertices and a partition of the edges. A part is called a queue (stack) if no two edges nest (cross), that is, two edges $ (v,w) $ and $ (x,y) $ with $ v \prec x \prec y \prec w $ ($ v \prec x \prec w \prec y $) may not be in the same queue (stack). The best known lower and upper bounds for the number of queues needed for planar graphs are 4 [Alam et al., Algorithmica 2020] and 42 [Bekos et al., Algorithmica 2022], respectively. While queue layouts of special classes of planar graphs have received increased attention following the breakthrough result of [Dujmović et al., J. ACM 2020], the meaningful class of bipartite planar graphs has remained elusive so far, explicitly asked for by Bekos et al. In this paper we investigate bipartite planar graphs and give an improved upper bound of 28 by refining existing techniques. In contrast, we show that two queues or one queue together with one stack do not suffice; the latter answers an open question by Pupyrev [GD 2018]. We further investigate subclasses of bipartite planar graphs and give improved upper bounds; in particular we construct 5-queue layouts for 2-degenerate quadrangulations.

We consider the graph degree sequences such that every realisation is a polyhedron. It turns out that there are exactly eight of them. All of these are unigraphic, in the sense that each is realised by exactly one polyhedron. This is a revisitation of a Theorem of Rao about sequences that are realised by only planar graphs. Our proof yields additional geometrical insight on this problem. Moreover, our proof is constructive: for each graph degree sequence that is not forcibly polyhedral, we construct a non-polyhedral realisation.

We restate Thomassen's theorem of 3-extendability, an extension of the famous planar 5-choosability theorem, in terms of graph polynomials. This yields an Alon--Tarsi equivalent of 3-extendability.

It is currently an unsolved problem to determine whether a $\triangle$-free planar graph $G$ contains an independent set $A$ such that $G[V_G\setminus A]$ is $2$-choosable. However, in this paper, we take a slightly different approach by relaxing the planarity condition. We prove the $\mathbb{NP}$-completeness of the above decision problem when the graph is $\triangle$-free, $4$-colorable, and of diameter $3$. Building upon this notion, we examine the computational complexity of two optimization problems: minimum near $3$-choosability and minimum $2$-choosable deletion. In the former problem, the goal is to find an independent set $A$ of minimum size in a given graph $G$, such that the induced subgraph $G[V_G \setminus A]$ is $2$-choosable. We establish that this problem is $\mathbb{NP}$-hard to approximate within a factor of $|V_G|^{1-ε}$ for any $ε> 0$, even for planar bipartite graphs. On the other hand, the problem of minimum $2$-choosable deletion involves determining a vertex set $A \subseteq V_G$ of minimum cardinality such that the induced subgraph $G[V_G \setminus A]$ is $2$-choosable. We prove that this problem is $\mathbb{NP}$-complete, but can be approximated within a factor of $O(\log |V_G|)$.

We introduce a new parameter, called stretch-width, that we show sits strictly between clique-width and twin-width. Unlike the reduced parameters [BKW '22], planar graphs and polynomial subdivisions do not have bounded stretch-width. This leaves open the possibility of efficient algorithms for a broad fragment of problems within Monadic Second-Order (MSO) logic on graphs of bounded stretch-width. In this direction, we prove that graphs of bounded maximum degree and bounded stretch-width have at most logarithmic treewidth. As a consequence, in classes of bounded stretch-width, Maximum Independent Set can be solved in subexponential time $2^{O(n^{4/5} \log n)}$ on $n$-vertex graphs, and, if further the maximum degree is bounded, Existential Counting Modal Logic [Pilipczuk '11] can be model-checked in polynomial time. We also give a polynomial-time $O(\text{OPT}^2)$-approximation for the stretch-width of symmetric $0,1$-matrices or ordered graphs. Somewhat unexpectedly, we prove that exponential subdivisions of bounded-degree graphs have bounded stretch-width. This allows to complement the logarithmic upper bound of treewidth with a matching lower bound. We leave as open the existence of an efficient approximation algorithm for the stretch-width of unordered graphs, if the exponential subdivisions of all graphs have bounded stretch-width, and if graphs of bounded stretch-width have logarithmic clique-width (or rank-width).

The Chen-Lih-Wu Conjecture states that each connected graph with maximum degree $Δ\geq 3$ that is not the complete graph $K_{Δ+1}$ or the complete bipartite graph $K_{Δ,Δ}$ admits an equitable coloring with $Δ$ colors. For planar graphs, the conjecture has been confirmed for $Δ\geq 13$ by Yap and Zhang and for $9\leq Δ\leq 12$ by Nakprasit. In this paper, we present a proof that confirms the conjecture for graphs embeddable into a surface with non-negative Euler characteristic with maximum degree $Δ\geq 9$ and for planar graphs with maximum degree $Δ\geq 8$.

In this note we elaborate on some notions of surface area for discrete graphs which are closely related to the inverse degree. These notions then naturally lead to associated connectivity measures of graphs and to the definition of a special class of large graphs, called social graphs, that might prove interesting for applications. In addition, we derive spectral estimates involving the surface area and, as a main result, present an upper bound on the second eigenvalue for planar graphs which in some cases improves upon existing bounds from D. A. Spielman and S.-H. Teng, Spectral partitioning works: Planar graphs and finite element meshes, and M. Plümer, Upper eigenvalue bounds for the Kirchhoff Laplacian on embedded metric graphs.

The square of a graph $G$, denoted $G^2$, has the same vertex set as $G$ and has an edge between two vertices if the distance between them in $G$ is at most $2$. Thomassen (2018) and Hartke, Jahanbekam and Thomas (2016) proved that $χ(G^2) \leq 7$ if $G$ is a subcubic planar graph. A natural question is whether $χ_{\ell}(G^2) \leq 7$ or not if $G$ is a subcubic planar graph. Cranston and Kim (2008) showed that $χ_{\ell}(G^2) \leq 7$ if $G$ is a subcubic planar graph of girth at least 7. We prove that $χ_{\ell}(G^2) \leq 7$ if $G$ is a subcubic planar graph of girth at least 6.

We prove that every $n$-vertex planar graph $G$ with no triangle sharing an edge with a 4-cycle has independence ratio $n/α(G) \leq 4 - \varepsilon$ for $\varepsilon = 1/30$. This result implies that the same bound holds for 4-cycle-free planar graphs and planar graphs with no adjacent triangles and no triangle sharing an edge with a 5-cycle. For the latter case we strengthen the bound to $\varepsilon = 2/9$.

To investigate the topological structure of Morse flows on the 2-disk we use the planar graphs as destinguished graph of the flow. We assume, that the flow is transversal to the boundary of the 2-disk. We give a list of all planar graph with at least 3 edges and describe all planar graphs with 4 edges. We use a list of spherical graph with at least 4 edges.

Extending the notion of maxcut, the study of the frustration index of signed graphs is one of the basic questions in the theory of signed graphs. Recently two of the authors initiated the study of critically frustrated signed graphs. That is a signed graph whose frustration index decreases with the removal of any edge. The main focus of this study is on critical signed graphs which are not edge-disjoint unions of critically frustrated signed graphs (namely non-decomposable signed graphs) and which are not built from other critically frustrated signed graphs by subdivision. We conjecture that for any given $k$ there are only finitely many critically $k$-frustrated signed graphs of this kind. Providing support for this conjecture we show that there are only two of such critically $3$-frustrated signed graphs where there is no pair of edge-disjoint negative cycles. Similarly, we show that there are exactly ten critically $3$-frustrated signed planar graphs that are neither decomposable nor subdivisions of other critically frustrated signed graphs. We present a method for building non-decomposable critically frustrated signed graphs based on two given such signed graphs. We also show that the condition of being non-decomposable is necessary for our conjecture.

Given a planar graph family $\mathcal{F}$, let ${\rm ex}_{\mathcal{P}}(n,\mathcal{F})$ and ${\rm spex}_{\mathcal{P}}(n,\mathcal{F})$ be the maximum size and maximum spectral radius over all $n$-vertex $\mathcal{F}$-free planar graphs, respectively. Let $tC_{\ell}$ be the disjoint union of $t$ copies of $\ell$-cycles, and $t\mathcal{C}$ be the family of $t$ vertex-disjoint cycles without length restriction. Tait and Tobin [Three conjectures in extremal spectral graph theory, J. Combin. Theory Ser. B 126 (2017) 137--161] determined that $K_2+P_{n-2}$ is the extremal spectral graph among all planar graphs with sufficiently large order $n$, which implies the extremal graphs of both ${\rm spex}_{\mathcal{P}}(n,tC_{\ell})$ and ${\rm spex}_{\mathcal{P}}(n,t\mathcal{C})$ for $t\geq 3$ are $K_2+P_{n-2}$. In this paper, we first determine ${\rm spex}_{\mathcal{P}}(n,tC_{\ell})$ and ${\rm spex}_{\mathcal{P}}(n,t\mathcal{C})$ and characterize the unique extremal graph for $1\leq t\leq 2$, $\ell\geq 3$ and sufficiently large $n$. Secondly, we obtain the exact values of ${\rm ex}_{\mathcal{P}}(n,2C_4)$ and ${\rm ex}_{\mathcal{P}}(n,2\mathcal{C})$, which solve a conjecture of Li [Planar Turán number of the disjoint union of cycles, Discrete Appl. Math. 342 (2024) 260--274] for $n\geq 2661$.

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.