arXiv++ Combinatorics

The {\em square} $G^2$ of a graph $G$ is the graph with the same vertex set as $G$ and with two vertices adjacent if their distance in $G$ is at most 2. Thomassen showed that every planar graph $G$ with maximum degree $Δ(G)=3$ satisfies $χ(G^2)\leq 7$. Kostochka and Woodall conjectured that for every graph, the list-chromatic number of $G^2$ equals the chromatic number of $G^2$, that is $χ_l(G^2)=χ(G^2)$ for all $G$. If true, this conjecture (together with Thomassen's result) implies that every planar graph $G$ with $Δ(G)=3$ satisfies $χ_l(G^2)\leq 7$. We prove that every connected graph (not necessarily planar) with $Δ(G)=3$ other than the Petersen graph satisfies $χ_l(G^2)\leq 8$ (and this is best possible). In addition, we show that if $G$ is a planar graph with $Δ(G)=3$ and girth $g(G)\geq 7$, then $χ_l(G^2)\leq 7$. Dvořák, Škrekovski, and Tancer showed that if $G$ is a planar graph with $Δ(G) = 3$ and girth $g(G) \geq 10$, then $χ_l(G^2)\leq 6$. We improve the girth bound to show that if $G$ is a planar graph with $Δ(G)=3$ and $g(G) \geq 9$, then $χ_l(G^2) \leq 6$. All of our proofs can be easily translated into linear-time coloring algorithms.

A universal representation theorem is derived that shows any graph is the intersection graph of one chordal graph, a number of co-bipartite graphs, and one unit interval graph. Central to the the result is the notion of the clique cover width which is a generalization of the bandwidth parameter. Specifically, we show that any planar graph is the intersection graph of one chordal graph, four co-bipartite graphs, and one unit interval graph. Equivalently, any planar graph is the intersection graph of a chordal graph and a graph that has {clique cover width} of at most seven. We further describe the extensions of the results to graphs drawn on surfaces and graphs excluding a minor of crossing number of at most one.

This paper studies the choosability of signed planar graphs. We prove that every signed planar graph is 5-choosable and that there is a signed planar graph which is not 4-choosable while the unsigned graph is 4-choosable. For each $k \in \{3,4,5,6\}$, every signed planar graph without circuits of length $k$ is 4-choosable. Furthermore, every signed planar graph without circuits of length 3 and of length 4 is 3-choosable. We construct a signed planar graph with girth 4 which is not 3-choosable but the unsigned graph is 3-choosable.

We present a short proof of the Kac-Ward formula for the partition function of the Ising model on planar graphs.

We introduce a strengthening of the notion of transience for planar maps in order to relax the standard condition of bounded degree appearing in various results, in particular, the existence of Dirichlet harmonic functions proved by Benjamini and Schramm. As a corollary we obtain that every planar non-amenable graph admits Dirichlet harmonic functions.

We extend our discrete uniformization theorems for planar, $m$-connected, Jordan domains [Journal für die reine und angewandte Mathematik 670 (2012), 65--92] to closed surfaces of non-positive genus.

As an extension of the Four-Color Theorem it is conjectured that every planar graph of odd-girth at least $2k+1$ admits a homomorphism to $PC_{2k}=(\mathbb{Z}_2^{2k}, \{e_1, e_2, ...,e_{2k}, J\})$ where $e_i$'s are standard basis and $J$ is all 1 vector. Noting that $PC_{2k}$ itself is of odd-girth $2k+1$, in this work we show that if the conjecture is true, then $PC_{2k}$ is an optimal such a graph both with respect to number of vertices and number of edges. The result is obtained using the notion of walk-power of graphs and their clique numbers. An analogous result is proved for bipartite signed planar graphs of unbalanced-girth $2k$. The work is presented on a uniform frame work of planar consistent signed graphs.

A graph is (m,k)-colourable if its vertices can be coloured with m colours such that the maximum degree of the subgraph induced on the set of all vertices receiving the same colour is at most k. The k-defective chromatic number $χ_k(G)$ is the least positive integer $m$ for which graph G is (m,k)-colourable. Let f(m,k;tfp) be the smallest order of a triangle-free planar graph such that $χ_k(G)$=m. In this paper we show that f(3,1;tfp)=11.

The rotor-router model on a graph describes a discrete-time walk accompanied by the deterministic evolution of configurations of rotors randomly placed on vertices of the graph. We prove the following property: if at some moment of time, the rotors form a closed clockwise contour on the planar graph, then the clockwise rotations of rotors generate a walk which enters into the contour at some vertex $v$, performs a number of steps inside the contour so that the contour formed by rotors becomes anti-clockwise, and then leaves the contour at the same vertex $v$. This property generalizes the previously proved theorem for the case when the rotor configuration inside the contour is a cycle-rooted spanning tree, and all rotors inside the contour perform a full rotation. We use the proven property for an analysis of the sub-diffusive behavior of the rotor-router walk.

The only remaining case of a well known conjecture of Vizing states that there is no planar graph with maximum degree 6 and edge chromatic number 7. We introduce parameters for planar graphs, based on the degrees of the faces, and study the question whether there are upper bounds for these parameters for planar edge-chromatic critical graphs. Our results provide upper bounds on these parameters for smallest counterexamples to Vizing's conjecture, thus providing a partial characterization of such graphs, if they exist. For $k \leq 5$ the results give insights into the structure of planar edge-chromatic critical graphs.

A graph $G=(V,E)$ is called 1-planar if it admits a drawing in the plane such that each edge is crossed at most once. In this paper, we study bipartite $1$-planar graphs with prescribed numbers of vertices in partite sets. Bipartite 1-planar graphs are known to have at most $3n-8$ edges, where $n$ denotes the order of a graph. We show that maximal-size bipartite $1$-planar graphs which are almost balanced have not significantly fewer edges than indicated by this upper bound, while the same is not true for unbalanced ones. We prove that maximal possible sizes of bipartite $1$-planar graphs whose one partite set is much smaller than the other one tends towards $2n$ rather than $3n$. In particular, we prove that if the size of the smaller partite set is sublinear in $n$, then $|E|=(2+o(1))n$, while the same is not true otherwise.

A strong edge coloring of a graph is a proper edge coloring in which every color class is an induced matching. The strong chromatic index $χ_s'(G)$ of a graph $G$ is the minimum number of colors in a strong edge coloring of $G$. Let $Δ\geq 4$ be an integer. In this note, we study the odd graphs and show the existence of some special walks. By using these results and Chang's ideas in [Discuss. Math. Graph Theory 34 (4) (2014) 723--733], we show that every planar graph with maximum degree at most $Δ$ and girth at least $10 Δ- 4$ has a strong edge coloring with $2Δ- 1$ colors. In addition, we prove that if $G$ is a graph with girth at least $2Δ- 1$ and mad$(G) < 2 + \frac{1}{3Δ- 2}$, where $Δ$ is the maximum degree and $Δ\geq 4$, then $χ_s'(G) \leq 2Δ- 1$, if $G$ is a subcubic graph with girth at least $8$ and mad$(G) < 2 + \frac{2}{23}$, then $χ_s'(G) \leq 5$.

The total Betti number of the independence complex of a graph is an intriguing graph invariant. Kalai and Meshulam have raised the question on its relation to cycles and the chromatic number of a graph, and a recent conjecture on that theme was proved by Bonamy, Charbit and Thomasse. We show an upper bound on the total Betti number in terms of the number of vertex disjoint cycles in a graph. The main technique is discrete Morse theory and building poset maps. Ramanujan graphs with arbitrary chromatic number and girth log(n) is a classical construction. We show that any subgraph of them with less than n^0.003 vertices have smaller total Betti number than some planar graph of the same order, although it is part of a graph with high chromatic number.

An incidence of an undirected graph G is a pair $(v,e)$ where $v$ is a vertex of $G$ and $e$ an edge of $G$ incident with $v$. Two incidences $(v,e)$ and $(w,f)$ are adjacent if one of the following holds: (i) $v = w$, (ii) $e = f$ or (iii) $vw = e$ or $f$. An incidence coloring of $G$ assigns a color to each incidence of $G$ in such a way that adjacent incidences get distinct colors. In 2005, Hosseini Dolama \emph{et al.}~\citep{ds05} proved that every graph with maximum average degree strictly less than $3$ can be incidence colored with $Δ+3$ colors. Recently, Bonamy \emph{et al.}~\citep{Bonamy} proved that every graph with maximum degree at least $4$ and with maximum average degree strictly less than $\frac{7}{3}$ admits an incidence $(Δ+1)$-coloring. In this paper we give bounds for the number of colors needed to color graphs having maximum average degrees bounded by different values between $4$ and $6$. In particular we prove that every graph with maximum degree at least $7$ and with maximum average degree less than $4$ admits an incidence $(Δ+3)$-coloring. This result implies that every triangle-free planar graph with maximum degree at least $7$ is incidence $(Δ+3)$-colorable. We also prove that every graph with maximum average degree less than 6 admits an incidence $(Δ+ 7)$-coloring. More generally, we prove that $Δ+k-1$ colors are enough when the maximum average degree is less than $k$ and the maximum degree is sufficiently large.

In 1982, Zaslavsky introduced the concept of a proper vertex colouring of a signed graph $G$ as a mapping $φ\colon V(G)\to \mathbb{Z}$ such that for any two adjacent vertices $u$ and $v$ the colour $φ(u)$ is different from the colour $σ(uv)φ(v)$, where is $σ(uv)$ is the sign of the edge $uv$. The substantial part of Zaslavsky's research concentrated on polynomial invariants related to signed graph colourings rather than on the behaviour of colourings of individual signed graphs. We continue the study of signed graph colourings by proposing the definition of a chromatic number for signed graphs which provides a natural extension of the chromatic number of an unsigned graph. We establish the basic properties of this invariant, provide bounds in terms of the chromatic number of the underlying unsigned graph, investigate the chromatic number of signed planar graphs, and prove an extension of the celebrated Brooks theorem to signed graphs.

The cyclability of a graph is the maximum integer $k$ for which every $k$ vertices lie on a cycle. The algorithmic version of the problem, given a graph $G$ and a non-negative integer $k,$ decide whether the cyclability of $G$ is at least $k,$ is {\sf NP}-hard. We study the parametrized complexity of this problem. We prove that this problem, parameterized by $k,$ is ${\sf co\mbox{-}W[1]}$-hard and that its does not admit a polynomial kernel on planar graphs, unless ${\sf NP}\subseteq{\sf co}\mbox{-}{\sf NP}/{\sf poly}$. On the positive side, we give an {\sf FPT} algorithm for planar graphs that runs in time $2^{2^{O(k^2\log k)}}\cdot n^2$. Our algorithm is based on a series of graph-theoretical results on cyclic linkages in planar graphs.

Let $G=(V,E)$ be a graph. A $k$-neighborhood in $G$ is a set of vertices consisting of all the vertices at distance at most $k$ from some vertex of $G$. The hypergraph on vertex set $V$ which edge set consists of all the $k$-neighborhoods of $G$ for all $k$ is the neighborhood hypergraph of $G$. Our goal in this paper is to investigate the complexity of a graph in terms of its neighborhoods. Precisely, we define the distance VC-dimension of a graph $G$ as the maximum taken over all induced subgraphs $G'$ of $G$ of the VC-dimension of the neighborhood hypergraph of $G'$. For a class of graphs, having bounded distance VC-dimension both generalizes minor closed classes and graphs with bounded clique-width. Our motivation is a result of Chepoi, Estellon and Vaxès asserting that every planar graph of diameter $2\ell$ can be covered by a bounded number of balls of radius $\ell$. In fact, they obtained the existence of a function $f$ such that every set $\cal F$ of balls of radius $\ell$ in a planar graph admits a hitting set of size $f(ν)$ where $ν$ is the maximum number of pairwise disjoint elements of $\cal F$. Our goal is to generalize the proof of Chepoi, Estellon and Vaxès with the unique assumption of bounded distance VC-dimension of neighborhoods. In other words, the set of balls of fixed radius in a graph with bounded distance VC-dimension has the Erdős-Pósa property.

A graph is $(d_1, ..., d_r)$-colorable if its vertex set can be partitioned into $r$ sets $V_1, ..., V_r$ so that the maximum degree of the graph induced by $V_i$ is at most $d_i$ for each $i\in \{1, ..., r\}$. For a given pair $(g, d_1)$, the question of determining the minimum $d_2=d_2(g; d_1)$ such that planar graphs with girth at least $g$ are $(d_1, d_2)$-colorable has attracted much interest. The finiteness of $d_2(g; d_1)$ was known for all cases except when $(g, d_1)=(5, 1)$. Montassier and Ochem explicitly asked if $d_2(5; 1)$ is finite. We answer this question in the affirmative with $d_2(5; 1)\leq 10$; namely, we prove that all planar graphs with girth at least $5$ are $(1, 10)$-colorable. Moreover, our proof extends to the statement that for any surface $S$ of Euler genus $γ$, there exists a $K=K(γ)$ where graphs with girth at least $5$ that are embeddable on $S$ are $(1, K)$-colorable. On the other hand, there is no finite $k$ where planar graphs (and thus embeddable on any surface) with girth at least $5$ are $(0, k)$-colorable.

In the graph sharing game, two players share a connected graph $G$ with non-negative weights assigned to the vertices, claiming and collecting the vertices of $G$ one by one, while keeping the set of all claimed vertices connected through the whole game. Each player wants to maximize the total weight of the vertices they have gathered by the end of the game, when the whole $G$ has been claimed. It is proved that for any class $\mathcal{G}$ of graphs with an odd number of vertices and with forbidden subdivision of a fixed graph (e.g., for the class $\mathcal{G}$ of planar graphs with an odd number of vertices), there is a constant $c_{\mathcal{G}}>0$ such that the first player can secure at least the $c_{\mathcal{G}}$ proportion of the total weight of $G$ whenever $G\in\mathcal{G}$. Known examples show that such a constant does no longer exist if any of the two conditions on the class $\mathcal{G}$ (an odd number of vertices or a forbidden subdivision) is removed. The main ingredient in the proof is a new structural result on weighted graphs with a forbidden subdivision.

In this paper, we show that for every graph of maximum average degree bounded away from $d$, any $(d+1)$-coloring can be transformed into any other one within a polynomial number of vertex recolorings so that, at each step, the current coloring is proper. In particular, it implies that we can transform any $8$-coloring of a planar graph into any other $8$-coloring with a polynomial number of recolorings. These results give some evidence on a conjecture of Cereceda, van den Heuvel and Johnson which asserts that any $(d+2)$ coloring of a $d$-degenerate graph can be transformed into any other one using a polynomial number of recolorings. We also show that any $(2d+2)$-coloring of a $d$-degenerate graph can be transformed into any other one using a linear number of recolorings.