arXiv++ Combinatorics

Baker devised a technique to obtain approximation schemes for many optimization problems restricted to planar graphs; her technique was later extended to more general graph classes. In particular, using the Baker's technique and the minor structure theorem, Dawar et al. gave Polynomial-Time Approximation Schemes (PTAS) for all monotone optimization problems expressible in the first-order logic when restricted to a proper minor-closed class of graphs. We define a Baker game formalizing the notion of repeated application of Baker's technique interspersed with vertex removal, prove that monotone optimization problems expressible in the first-order logic admit PTAS when restricted to graph classes in which the Baker game can be won in a constant number of rounds, and prove without use of the minor structure theorem that all proper minor-closed classes of graphs have this property.

For integers $a\ge 2b>0$, a \emph{circular $a/b$-flow} is a flow that takes values from $\{\pm b, \pm(b+1), \dots, \pm(a-b)\}$. The Planar Circular Flow Conjecture states that every $2k$-edge-connected planar graph admits a circular $(2+\frac{2}{k})$-flow. The cases $k=1$ and $k=2$ are equivalent to the Four Color Theorem and Grötzsch's 3-Color Theorem. For $k\ge 3$, the conjecture remains open. Here we make progress when $k=4$ and $k=6$. We prove that (i) {\em every 10-edge-connected planar graph admits a circular 5/2-flow} and (ii) {\em every 16-edge-connected planar graph admits a circular 7/3-flow.} The dual version of statement (i) on circular coloring was previously proved by Dvořák and Postle (Combinatorica 2017), but our proof has the advantages of being much shorter and avoiding the use of computers for case-checking. Further, it has new implications for antisymmetric flows. Statement (ii) is especially interesting because the counterexamples to Jaeger's original Circular Flow Conjecture are 12-edge-connected nonplanar graphs that admit no circular 7/3-flow. Thus, the planarity hypothesis of (ii) is essential.

Xu and Wu proved that if every 5-cycle of a planar graph G is not simultaneously adjacent to 3-cycles and 4-cycles, then G is 4-choosable. In this paper, we improve this result as follows. If G is a planar graph without pairwise adjacent 3-,4-,5-, and 6-cycle, then G is 4-choosable.

We consider infinite connected quasi-transitive locally finite graphs and show that every such graph with more than one end is a tree amalgamation of two other such graphs. This can be seen as a graph-theoretical version of Stallings' splitting theorem for multi-ended finitely generated groups and indeed it implies this theorem. It will also lead to a characterisation of accessible graphs in terms of tree amalgamations. We obtain applications of our results for hyperbolic graphs, planar graphs and graphs without any thick end. The application for planar graphs answers a question of Mohar in the affirmative.

The smallest integer $k$ needed for the assignment of colors to the elements so that the coloring is proper (vertices and edges) is called the total chromatic number of a graph. Vizing and Behzed conjectured that the total coloring can be done using at most $Δ(G)+2$ colors, where $Δ(G)$ is the maximum degree of $G$. It is not settled even for planar graphs. In this paper we give a survey on total coloring of graphs.

It is well-known that every planar graph has a Tutte path, i.e., a path $P$ such that any component of $G-P$ has at most three attachment points on $P$. However, it was only recently shown that such Tutte paths can be found in polynomial time. In this paper, we give a new proof that 3-connected planar graphs have Tutte paths, which leads to a linear-time algorithm to find Tutte paths. Furthermore, our Tutte path has special properties: it visits all exterior vertices, all components of $G-P$ have exactly three attachment points, and we can assign distinct representatives to them that are interior vertices. Finally, our running time bound is slightly stronger; we can bound it in terms of the degrees of the faces that are incident to $P$. This allows us to find some applications of Tutte paths (such as binary spanning trees and 2-walks) in linear time as well.

A half-square of a bipartite graph $B=(X,Y,E_B)$ has one color class of $B$ as vertex set, say $X$; two vertices are adjacent whenever they have a common neighbor in $Y$. If $G=(V,E_G)$ is the half-square of a planar bipartite graph $B=(V,W,E_B)$, then $G$ is called a map graph, and $B$ is a witness of $G$. Map graphs generalize planar graphs, and have been introduced and investigated by Chen, Grigni and Papadimitriou [STOC 1998, J. ACM 2002]. They proved that recognizing map graphs is in $\mathsf{NP}$ by proving the existence of a witness. Soon later, Thorup [FOCS 1998] claimed that recognizing map graphs is in $\mathsf{P}$, by providing an $Ω(n^{120})$-time algorithm for $n$-vertex input graphs. In this note, we give good characterizations and efficient recognition for half-squares of bipartite graphs with girth at least a given integer $g\ge 8$. It turns out that map graphs having witnesses of girth at least $g$ are precisely the graphs whose vertex-clique incidence bipartite graph is planar and of girth at least $g$. Our structural characterization implies an $O(n^2m)$-time algorithm for recognizing if a given $n$-vertex $m$-edge graph $G$ is such a map graph.

The response matrix of a resistor network is the linear map from the potential at the boundary vertices to the net current at the boundary vertices. For circular planar resistor networks, Curtis, Ingerman, and Morrow have given a necessary and sufficient condition for recovering the conductance of each edge in the network uniquely from the response matrix using local moves and medial graphs. We generalize their results for resistor networks on a punctured disk. First we discuss additional local moves that occur in our setting, prove several results about medial graphs of resistor networks on a punctured disk, and define the notion of $z$-sequences for such graphs. We then define certain circular planar graphs that are electrically equivalent to standard graphs and turn them into networks on a punctured disk by adding a boundary vertex in the middle. We prove such networks are recoverable and are able to generalize this result to a much broader family of networks. A necessary condition for recoverability is also introduced.

We say that a graph $H$ is planar unavoidable if there is a planar graph $G$ such that any red/blue coloring of the edges of $G$ contains a monochromatic copy of $H$, otherwise we say that $H$ is planar avoidable. I.e., $H$ is planar unavoidable if there is a Ramsey graph for $H$ that is planar. It follows from the Four-Color Theorem and a result of Gonçalves that if a graph is planar unavoidable then it is bipartite and outerplanar. We prove that the cycle on $4$ vertices and any path are planar unavoidable. In addition, we prove that all trees of radius at most $2$ are planar unavoidable and there are trees of radius $3$ that are planar avoidable. We also address the planar unavoidable notion in more than two colors.

A total $k$-coloring of a graph is an assignment of $k$ colors to its vertices and edges such that no two adjacent or incident elements receive the same color. The Total Coloring Conjecture (TCC) states that every simple graph $G$ has a total ($Δ(G)+2$)-coloring, where $Δ(G)$ is the maximum degree of $G$. This conjecture has been confirmed for planar graphs with maximum degree at least 7 or at most 5, i.e., the only open case of TCC is that of maximum degree 6. It is known that every planar graph $G$ of $Δ(G) \geq 9$ or $Δ(G) \in \{7, 8\}$ with some restrictions has a total $(Δ(G) + 1)$-coloring. In particular, in [Shen and Wang, "On the 7 total colorability of planar graphs with maximum degree 6 and without 4-cycles", Graphs and Combinatorics, 25: 401-407, 2009], the authors proved that every planar graph with maximum degree 6 and without 4-cycles has a total 7-coloring. In this paper, we improve this result by showing that every diamond-free and house-free planar graph of maximum degree 6 is totally 7-colorable if every 6-vertex is not incident with two adjacent 4-cycles or not incident with three cycles of size $p,q,\ell$ for some $\{p,q,\ell\}\in \{\{3,4,4\},\{3,3,4\}\}$.

This paper proves that every planar graph $G$ contains a matching $M$ such that the Alon-Tarsi number of $G-M$ is at most $4$. As a consequence, $G-M$ is $4$-paintable, and hence $G$ itself is $1$-defective $4$-paintable. This improves a result of Cushing and Kierstead [Planar Graphs are 1-relaxed, 4-choosable, {\em European Journal of Combinatorics} 31(2010),1385-1397], who proved that every planar graph is $1$-defective $4$-choosable.

Assume $G$ is a graph. We view $G$ as a symmetric digraph, in which each edge $uv$ of $G$ is replaced by a pair of opposite arcs $e=(u,v)$ and $e^{-1}=(v,u)$. Assume $S$ is an inverse closed subset of permutations of positive integers. We say $G$ is $S$-$k$-colourable if for any mapping $σ: E(G) \to S$ with $σ(x,y) = (σ(y,x))^{-1}$, there is a mapping $f: V(G) \to [k]=\{1,2, \ldots, k\}$ such that for each arc $e=(x,y)$, $σ_e(f(x)) \ne f(y)$. The concept of $S$-$k$-colouring is a common generalization of many colouring concepts, including $k$-colouring, signed $k$-colouring defined by Máčajová, Raspaud and Škoviera, signed $k$-colouring defined by Kang and Steffen, correspondence $k$-colouring defined by Dvořák and Postle, and group colouring defined by Jaeger, Linial, Payan and Tarsi. We are interested in the problem as for which subset $S$ of $S_4$, every planar graph is $S$-colourable. Such a subset $S$ is called good. The famous four colour theorem is equivalent to say that $S=\{id\}$ is good. There are two conjectures on signed graph colouring, one is equivalent to $S=\{id, (12)(34)\}$ be good and the other is equivalent to $S=\{id, (12)\}$ be good. We say two subsets $S$ and $S'$ of $S_k$ are conjugate if there is a permutation $π\in S_k$ such that $S'= \{πσπ^{-1}: σ\in S\}$. This paper proves that if $S$ is a good subset of $S_4$ containing $id$, then $S$ is conjugate to a subset of $\{id, (12), (34), (12)(34)\}$. However, it remains an open problem if there is any good subset $S$ which contains $id$ and has cardinality $|S| \ge 2$. We also prove that $S=\{(12),(13),(23),(123),(132)\}$ is not good.

Assume $k$ is a positive integer, $λ=\{k_1, k_2, \ldots, k_q\}$ is a partition of $k$ and $G$ is a graph. A $λ$-list assignment of $G$ is a $k$-list assignment $L$ of $G$ such that the colour set $\cup_{v\in V(G)}L(v)$ can be partitioned into $q$ subsets $C_1 \cup C_2 \ldots \cup C_q$ and for each vertex $v$ of $G$, $|L(v) \cap C_i| \ge k_i$. We say $G$ is $λ$-choosable if for each $λ$-list assignment $L$ of $G$, $G$ is $L$-colourable. It follows from the definition that if $λ=\{k\}$, then $λ$-choosable is the same as $k$-choosable, if $λ=\{1,1,\ldots, 1\}$, then $λ$-choosable is equivalent to $k$-colourable. For the other partitions of $k$ sandwiched between $\{k\}$ and $\{1,1,\ldots, 1\}$ in terms of refinements, $λ$-choosability reveals a complex hierarchy of colourability of graphs. We prove that for two partitions $λ, λ'$ of $k$, every $λ$-choosable graph is $λ'$-choosable if and only if $λ'$ is a refinement of $λ$. Then we concentrate on $λ$-choosability of planar graphs for partitions $λ$ of $4$. Several conjectures concerning colouring of generalized signed planar graphs are proposed and relations between these conjectures and list colouring conjectures for planar graphs are explored. In particular, it is proved that a conjecture of Kündgen and Ramamurthi on list colouring of planar graphs is implied by the conjecture that every planar graph is $\{2,2\}$-choosable, and also implied by the conjecture of Máčajová, Raspaud and Škoviera which asserts that every planar graph is signed MRS-$4$-colourable, and that a conjecture of Kang and Steffen asserting that every planar graph is signed KS-$4$-colourable implies that every planar graph is $\{1,1,2\}$-choosable.

We study the Cage Problem for regular and biregular planar graphs. A $(k,g)$-graph is a $k$-regular graph with girth $g$. A $(k,g)$-cage is a $(k,g)$-graph of minimum order. It is not difficult to conclude that the regular planar cages are the Platonic Solids. A $(\{r,m\};g)$-graph is a graph of girth $g$ whose vertices have degrees $r$ and $m.$ A $(\{r,m\};g)$-cage is a $(\{r,m\};g)$-graph of minimum order. In this case we determine the triplets of values $(\{r,m\};g)$ for which there exist planar $(\{r,m\};g)$--graphs, for all those values we construct examples. Furthermore, for many triplets $(\{r,m\};g)$ we build the $(\{r,m\};g)$-cages.

We investigate which planar point sets allow simultaneous straight-line embeddings of all planar graphs on a fixed number of vertices. We first show that $(1.293-o(1))n$ points are required to find a straight-line drawing of each $n$-vertex planar graph (vertices are drawn as the given points); this improves the previous best constant $1.235$ by Kurowski (2004). Our second main result is based on exhaustive computer search: We show that no set of 11 points exists, on which all planar 11-vertex graphs can be simultaneously drawn plane straight-line. This strengthens the result by Cardinal, Hoffmann, and Kusters (2015), that all planar graphs on $n \le 10$ vertices can be simultaneously drawn on particular `universal' sets of $n$ points while there are no universal sets for $n \ge 15$. Moreover, we provide a set of 49 planar 11-vertex graphs which cannot be simultaneously drawn on any set of 11 points. This, in fact, is another step towards a (negative) answer of the question, whether every two planar graphs can be drawn simultaneously -- a question raised by Brass, Cenek, Duncan, Efrat, Erten, Ismailescu, Kobourov, Lubiw, and Mitchell (2007).

We give a characterization of equilibrium measures for $p$-capacities on the boundary of an infinite tree of arbitrary (finite) local degree. For $p=2$, this provides, in the special case of trees, a converse to a theorem of Benjamini and Schramm, which interpretes the equilibrium measure of a planar graph's boundary in terms of square tilings of cylinders.

The game of cops and robbers is a pursuit game on graphs where a set of agents, called the cops try to get to the same position of another agent, called the robber. Cops and robbers has been studies on several classes of graphs including geometrically represented graphs. For example, it has been shown that string graphs, including geometric graphs, have cop number at most 15. On the other hand, little is known about geometric graphs of any cop number less than 15 and there is only one example of a geometric graph of cop number three that has as many as 1440 vertices. In this paper we present a construction for subdividing planar graphs of maximum degree $\le 5$ into geometric planar graphs of at least the same cop number. Indeed, our construction shows that there are infinitely many planar geometric graphs of cop number three. We also present another construction that consists in clique substitutions alongside subdividing the edges in a planar graph of maximum degree $\le 9$, resulting in geometric, but not necessarily planar, graphs of at least the same cop number as the starting graphs.

A signed graph $(G, Σ)$ is a graph $G$ and a subset $Σ$ of its edges which corresponds to an assignment of signs to the edges: edges in $Σ$ are negative while edges not in $Σ$ are positive. A closed walk of a signed graph is balanced if the product of the signs of its edges (repetitions included) is positive, and unbalanced otherwise. The unbalanced-girth of a signed graph is the length of a shortest unbalanced closed walk (if such a walk exists). A homomorphism of $(G,Σ)$ to $(H,Π)$ is a homomorphism of $G$ to $H$ which preserves the balance of closed walks. In this work, given a signed bipartite graph $(B, Π)$ of unbalanced-girth $2k$, we give a necessary and sufficient condition for $(B, Π)$ to admit a homomorphism from any signed bipartite graph of unbalanced-girth at least $2k$ whose underlying graph is $K_4$-minor-free. The condition can be checked in polynomial time with respect to the order of $B$. Let $SPC(2k)$ be the signed bipartite graph on vertex set $\mathbb{Z}_2^{2k-1}$ where vertices $u$ and $v$ are adjacent with a positive edge if their difference is in $\{e_1,e_2, \ldots, e_{2k-1}\}$ (where the $e_i$'s form the standard basis), and adjacent with a negative edge if their difference is $J$ (that is, the all-1 vector). As an application of our work, we prove that every signed bipartite $K_4$-minor-free graph of unbalanced-girth $2k$ admits a homomorphism to $SPC(2k)$. This supports a conjecture of Guenin claiming that every signed bipartite planar graph of unbalanced-girth $2k$ admits a homomorphism to $SPC(2k)$ (this would be an extension of the four-color theorem). We also give an application of our work to edge-coloring $2k$-regular $K_4$-minor-free multigraphs.

We show that, if a $n$-vertex triangulation $T$ of maximum degree $Δ$ has a dual that contains a cycle of length $\ell$, then $T$ has a non-crossing straight-line drawing in which some \emph{collinear set} of $Ω(\ell/Δ^4)$ vertices lie on a line. Using the current lower bounds on the length of longest cycles in 3-regular 3-connected graphs, this implies that every $n$-vertex planar graph of maximum degree $Δ$ has a collinear set of size $Ω(n^{0.8}/Δ^4)$. Very recently, Dujmović et. al. (SODA 2019) showed that, if $S$ is a collinear set in a triangulation $T$ then, for any point set $X\subset\mathbb{R}^2$ with $|X|=|S|$, $T$ has a non-crossing straight-line drawing in which the vertices of $S$ are drawn on the points in $X$. Because of this, collinear sets have numerous applications in graph drawing and related areas.

We show that if a planar graph $G$ has a plane straight-line drawing in which a subset $S$ of its vertices are collinear, then for any set of points, $X$, in the plane with $|X|=|S|$, there is a plane straight-line drawing of $G$ in which the vertices in $S$ are mapped to the points in $X$. This solves an open problem posed by Ravsky and Verbitsky in 2008. In their terminology, we show that every collinear set is free. This result has applications in graph drawing, including untangling, column planarity, universal point subsets, and partial simultaneous drawings.