arXiv++ Combinatorics

The graph crossing number problem, cr(G)<=k, asks for a drawing of a graph G in the plane with at most k edge crossings. Although this problem is in general notoriously difficult, it is fixed- parameter tractable for the parameter k [Grohe]. This suggests a closely related question of whether this problem has a polynomial kernel, meaning whether every instance of cr(G)<=k can be in polynomial time reduced to an equivalent instance of size polynomial in k (and independent of |G|). We answer this question in the negative. Along the proof we show that the tile crossing number problem of twisted planar tiles is NP-hard, which has been an open problem for some time, too, and then employ the complexity technique of cross-composition. Our result holds already for the special case of graphs obtained from planar graphs by adding one edge.

A $d$-box is the cartesian product of $d$ intervals of $\mathbb{R}$ and a $d$-box representation of a graph $G$ is a representation of $G$ as the intersection graph of a set of $d$-boxes in $\mathbb{R}^d$. It was proved by Thomassen in 1986 that every planar graph has a 3-box representation. In this paper we prove that every graph embedded in a fixed orientable surface, without short non-contractible cycles, has a 5-box representation. This directly implies that there is a function $f$, such that in every graph of genus $g$, a set of at most $f(g)$ vertices can be removed so that the resulting graph has a 5-box representation. We show that such a function $f$ can be made linear in $g$. Finally, we prove that for any proper minor-closed class $\mathcal{F}$, there is a constant $c(\mathcal{F})$ such that every graph of $\mathcal{F}$ without cycles of length less than $c(\mathcal{F})$ has a 3-box representation, which is best possible.

Defective coloring is a variant of traditional vertex-coloring, according to which adjacent vertices are allowed to have the same color, as long as the monochromatic components induced by the corresponding edges have a certain structure. Due to its important applications, as for example in the bipartisation of graphs, this type of coloring has been extensively studied, mainly with respect to the size, degree, and acyclicity of the monochromatic components. In this paper we focus on defective colorings in which the monochromatic components are acyclic and have small diameter, namely, they form stars. For outerplanar graphs, we give a linear-time algorithm to decide if such a defective coloring exists with two colors and, in the positive case, to construct one. Also, we prove that an outerpath (i.e., an outerplanar graph whose weak-dual is a path) always admits such a two-coloring. Finally, we present NP-completeness results for non-planar and planar graphs of bounded degree for the cases of two and three colors.

We first prove a one-to-one correspondence between finding Hamiltonian cycles in a cubic planar graphs and finding trees with specific properties in dual graphs. Using this information, we construct an exact algorithm for finding Hamiltonian cycles in cubic planar graphs. The worst case time complexity of our algorithm is O$(2^n)$.

Let $G$ be a graph and $p \in [1, \infty]$. The parameter $f_p(G)$ is the least integer $k$ such that for all $m$ and all vectors $(r_v)_{v \in V(G)} \subseteq \mathbb{R}^m$, there exist vectors $(q_v)_{v \in V(G)} \subseteq \mathbb{R}^k$ satisfying $$\|r_v-r_w\|_p=\|q_v-q_w\|_p, \ \text{ for all }\ vw\in E(G).$$ It is easy to check that $f_p(G)$ is always finite and that it is minor monotone. By the graph minor theorem of Robertson and Seymour, there are a finite number of excluded minors for the property $f_p(G) \leq k$. In this paper, we determine the complete set of excluded minors for $f_\infty(G) \leq 2$. The two excluded minors are the wheel on $5$ vertices and the graph obtained by gluing two copies of $K_4$ along an edge and then deleting that edge. We also show that the same two graphs are the complete set of excluded minors for $f_1(G) \leq 2$. In addition, we give a family of examples that show that $f_\infty$ is unbounded on the class of planar graphs and $f_\infty$ is not bounded as a function of tree-width.

A proper $k$-coloring of a graph $G=(V,E)$ is a function $c: V(G)\to \{1,\ldots,k\}$ such that $c(u)\neq c(v)$, for every $uv\in E(G)$. The chromatic number $χ(G)$ is the minimum $k$ such that there exists a proper $k$-coloring of $G$. Given a spanning subgraph $H$ of $G$, a $q$-backbone $k$-coloring of $(G,H)$ is a proper $k$-coloring $c$ of $V(G)$ such that $\lvert c(u)-c(v)\rvert \ge q$, for every edge $uv\in E(H)$. The $q$-backbone chromatic number $BBC_q(G,H)$ is the smallest $k$ for which there exists a $q$-backbone $k$-coloring of $(G,H)$. In this work, we show that every connected graph $G$ has a generating tree $T$ such that $BBC_q(G,T) = \max\{χ(G),\left\lceil\frac{χ(G)}{2}\right\rceil+q\}$, and that this value is the best possible. As a direct consequence, we get that every connected graph $G$ has a spanning tree $T$ for which $BBC_2(G,T)=χ(G)$, if $χ(G)\ge 4$, or $BBC_2(G,T)=χ(G)+1$, otherwise. Thus, by applying the Four Color Theorem, we have that every connected nonbipartite planar graph $G$ has a spanning tree $T$ such that $BBC_2(G,T)=4$. This settles a question by Wang, Bu, Montassier and Raspaud (2012), and generalizes a number of previous partial results to their question.

For every integer $g$, isomorphism of graphs of Euler genus at most $g$ can be decided in linear time. This improves previously known algorithms whose time complexity is $n^{O(g)}$ (shown in early 1980's), and in fact, this is the first fixed-parameter tractable algorithm for the graph isomorphism problem for bounded genus graphs in terms of the Euler genus $g$. Our result also generalizes the seminal result of Hopcroft and Wong in 1974, which says that the graph isomorphism problem can be decided in linear time for planar graphs. Our proof is quite lengthly and complicated, but if we are satisfied with an $O(n^3)$ time algorithm for the same problem, the proof is shorter and easier.

We consider the monomer-dimer partition function on arbitrary finite planar graphs and arbitrary monomer and dimer weights, with the restriction that the only non-zero monomer weights are those on the boundary. We prove a Pfaffian formula for the corresponding partition function. As a consequence of this result, multipoint boundary monomer correlation functions at close packing are shown to satisfy fermionic statistics. Our proof is based on the celebrated Kasteleyn theorem, combined with a theorem on Pfaffians proved by one of the authors, and a careful labeling and directing procedure of the vertices and edges of the graph.

In this paper we study an alternating sign matrix analogue of the Chan-Robbins-Yuen polytope, which we call the ASM-CRY polytope. We show that this polytope has Catalan many vertices and its volume is equal to the number of standard Young tableaux of staircase shape; we also determine its Ehrhart polynomial. We achieve the previous by proving that the members of a family of faces of the alternating sign matrix polytope which includes ASM-CRY are both order and flow polytopes. Inspired by the above results, we relate three established triangulations of order and flow polytopes, namely Stanley's triangulation of order polytopes, the Postnikov-Stanley triangulation of flow polytopes and the Danilov-Karzanov-Koshevoy triangulation of flow polytopes. We show that when a graph $G$ is a planar graph, in which case the flow polytope $F_G$ is also an order polytope, Stanley's triangulation of this order polytope is one of the Danilov-Karzanov-Koshevoy triangulations of $F_G$. Moreover, for a general graph $G$ we show that the set of Danilov-Karzanov-Koshevoy triangulations of $F_G$ is a subset of the set of Postnikov-Stanley triangulations of $F_G$. We also describe explicit bijections between the combinatorial objects labeling the simplices in the above triangulations.

A star $k$-coloring is a proper $k$-coloring where the union of two color classes induces a star forest. While every planar graph is 4-colorable, not every planar graph is star 4-colorable. One method to produce a star 4-coloring is to partition the vertex set into a 2-independent set and a forest; such a partition is called an I,F-partition. We use a combination of potential functions and discharging to prove that every graph with maximum average degree less than $\frac{5}{2}$ has an I,F-partition, which is sharp and answers a question of Cranston and West [A guide to the discharging method, arXiv:1306.4434]. This result implies that planar graphs of girth at least 10 are star 4-colorable, improving upon previous results of Bu, Cranston, Montassier, Raspaud, and Wang [Star coloring of sparse graphs, J. Graph Theory 62 (2009), 201-219].

A graph $G$ is $(k,k')$-choosable if the following holds: For any list assignment $L$ which assigns to each vertex $v$ a set $L(v)$ of $k$ real numbers, and assigns to each edge $e$ a set $L(e)$ of $k'$ real numbers, there is a total weighting $φ: V(G) \cup E(G) \to R$ such that $φ(z) \in L(z)$ for $z \in V \cup E$, and $\sum_{e \in E(u)}φ(e)+φ(u) \ne \sum_{e \in E(v)}φ(e)+φ(v)$ for every edge $uv$. This paper proves the following results: (1) If $G$ is a connected $d$-degenerate graph, and $k>d$ is a prime number, and $G$ is either non-bipartite or has two non-adjacent vertices $u,v$ with $d(u)+d(v) < k$, then $G$ is $(1,k)$-choosable. As a consequence, every planar graph with no isolated edges is $(1,7)$-choosable, and every connected $2$-degenerate non-bipartite graph other than $K_2$ is $(1,3)$-choosable. (2) If $d+1$ is a prime number, $v_1, v_2, \ldots, v_n$ is an ordering of the vertices of $G$ such that each vertex $v_i$ has back degree $d^-(v_i) \le d$, then there is a graph $G'$ obtained from $G$ by adding at most $d-d^-(v_i)$ leaf neighbours to $v_i$ (for each $i$) and $G'$ is $(1,2)$-choosable. (3) If $G$ is $d$-degenerate and $d+1$ a prime, then $G$ is $(d,2)$-choosable. In particular, $2$-degenerate graphs are $(2,2)$-choosable. (4) Every graph is $(\lceil\frac{{\rm mad}(G)}{2}\rceil+1, 2)$ -choosable. In particular, planar graphs are $(4,2)$-choosable, planar bipartite graphs are $(3,2)$-choosable.

The Feynman identity (FI) of a planar graph relates the Euler polynomial of the graph to an infinite product over the equivalence classes of closed nonperiodic signed cycles in the graph. The main objectives of this paper are to compute the number of equivalence classes of nonperiodic cycles of given length and sign in a planar graph and to interpret the data encoded by the FI in the context of free Lie superalgebras. This solves in the case of planar graphs a problem first raised by S. Sherman and sets the FI as the denominator identity of a free Lie superalgebra generated from a graph. Other results are obtained. For instance, in connection with zeta functions of graphs.

A graph is 1-planar if it can be drawn in the plane such that each edge is crossed at most once. A graph, together with a 1-planar drawing is called 1-plane. Brandenburg et al. showed that there are maximal 1-planar graphs with only $\frac{45}{17}n + O(1)\approx 2.647n$ edges and maximal 1-plane graphs with only $\frac{7}{3}n+O(1)\approx 2.33n$ edges. On the other hand, they showed that a maximal 1-planar graph has at least $\frac{28}{13}n-O(1)\approx 2.15n-O(1)$ edges, and a maximal 1-plane graph has at least $2.1n-O(1)$ edges. We improve both lower bounds to $\frac{20n}{9}\approx 2.22n$.

The aim of this paper is to clarify the relationship between Gromov-hyperbolicity and amenability for planar maps.

We give a full characterisation of the symmetries of unlabelled triangulations and derive a constructive decomposition of unlabelled triangulations depending on their symmetries. As an application of these results we can deduce a complete enumerative description of unlabelled cubic planar graphs.

A graph $G=(V,E)$ is a $k$-critical graph if $G$ is not $(k -1)$-colorable but $G-e$ is $(k-1)$-colorable for every $e\in E(G)$. In this paper, we construct a family of 4-critical planar graphs with $n$ vertices and $\frac{7n-13}{3}$ edges. As a consequence, this improved the bound for the maximum edge density obtained by Abbott and Zhou. We conjecture that this is the largest edge density for a 4-critical planar graph.

A simultaneous embedding with fixed edges (SEFE) of two planar graphs $R$ and $B$ is a pair of plane drawings of $R$ and $B$ that coincide when restricted to the common vertices and edges of $R$ and $B$. We show that whenever $R$ and $B$ admit a SEFE, they also admit a SEFE in which every edge is a polygonal curve with few bends and every pair of edges has few crossings. Specifically: (1) if $R$ and $B$ are trees then one bend per edge and four crossings per edge pair suffice (and one bend per edge is sometimes necessary), (2) if $R$ is a planar graph and $B$ is a tree then six bends per edge and eight crossings per edge pair suffice, and (3) if $R$ and $B$ are planar graphs then six bends per edge and sixteen crossings per edge pair suffice. Our results improve on a paper by Grilli et al. (GD'14), which proves that nine bends per edge suffice, and on a paper by Chan et al. (GD'14), which proves that twenty-four crossings per edge pair suffice.

A graph $G$ is said to be $k$-critical if $G$ is $k$-colorable and $G-e$ is not $k$-colorable for every edge $e$ of $G$. In this paper, we present some new methods from two or more small 4-critical graphs to construct a larger 4-critical planar graphs.

The hexagonal polygon model arises in a natural way via a transformation of the 1-2 model on the hexagonal lattice, and it is related to the high temperature expansion of the Ising model. There are three types of edge, and three corresponding parameters $α,β,γ>0$. By studying the long-range order of a certain two-edge correlation function, it is shown that the parameter space $(0,\infty)^3$ may be divided into subcritical and supercritical regions, separated by critical surfaces satisfying an explicitly known formula. This result complements earlier work on the Ising model and the 1-2 model. The proof uses the Pfaffian representation of Fisher, Kasteleyn, and Temperley for the counts of dimers on planar graphs.

The Hamiltonian number of a connected graph is the minimum of the lengths of the closed, spanning walks in the graph. In 1968, Grinberg published a necessary condition for the existence of a Hamiltonian cycle in a planar graph, formulated in terms of the lengths of its face cycles. We show how Grinberg's theorem can be adapted to provide a lower bound on the Hamiltonian number of a planar graph.