arXiv++ Combinatorics

A squaregraph is a plane graph in which each internal face is a $4$-cycle and each internal vertex has degree at least 4. This paper proves that every squaregraph is isomorphic to a subgraph of the semi-strong product of an outerplanar graph and a path. We generalise this result for infinite squaregraphs, and show that this is best possible in the sense that "outerplanar graph" cannot be replaced by "forest".

We define the $d$-defective incidence chromatic number of a graph, generalizing the notion of incidence chromatic number, and determine it for some classes of graphs including trees, complete bipartite graphs, complete graphs, and outerplanar graphs. Fast algorithms for constructing the optimal $d$-defective incidence colorings of those graphs are presented.

A {\em conflict-free coloring} of a graph {\em with respect to open} (resp., {\em closed}) {\em neighborhood} is a coloring of vertices such that for every vertex there is a color appearing exactly once in its open (resp., closed) neighborhood. Similarly, a {\em unique-maximum coloring} of a graph {\em with respect to open} (resp., {\em closed}) {\em neighborhood} is a coloring of vertices such that for every vertex the maximum color appearing in its open (resp., closed) neighborhood appears exactly once. There is a vast amount of literature on both notions where the colorings need not be proper, i.e., adjacent vertices are allowed to have the same color. In this paper, we initiate a study of both colorings in the proper settings with the focus given mainly to planar graphs. We establish upper bounds for the number of colors in the class of planar graphs for all considered colorings and provide constructions of planar graphs attaining relatively high values of the corresponding chromatic numbers. As a main result, we prove that every planar graph admits a proper unique-maximum coloring with respect to open neighborhood with at most 10 colors, and give examples of planar graphs needing at least $6$ colors for such a coloring. We also establish tight upper bounds for outerplanar graphs. Finally, we provide several new bounds also for the improper setting of considered colorings.

A proper coloring of a graph is odd if every non-isolated vertex has some color that appears an odd number of times on its neighborhood. This notion was recently introduced by Petruševski and Škrekovski, who proved that every planar graph admits an odd $9$-coloring; they also conjectured that every planar graph admits an odd $5$-coloring. Shortly after, this conjecture was confirmed for planar graphs of girth at least seven by Cranston; outerplanar graphs by Caro, Petruševski, and Škrekovski. Building on the work of Caro, Petruševski, and Škrekovski, Petr and Portier then further proved that every planar graph admits an odd $8$-coloring. In this note we prove that every 1-planar graph admits an odd $23$-coloring, where a graph is 1-planar if it can be drawn in the plane so that each edge is crossed by at most one other edge.

A well-known question of Gallai (1966) asked whether there is a vertex which passes through all longest paths of a connected graph. Although this has been verified for some special classes of graphs such as outerplanar graphs, circular arc graphs, and series-parallel graphs, the answer is negative for general graphs. In this paper, we prove among other results that if we replace the vertex by a bond, then the answer is affirmative. A bond of a graph is a minimal nonempty edge-cut. In particular, in any 2-connected graph, the set of all edges incident to a vertex is a bond, called a vertex-bond. Clearly, for a 2-connected graph, a path passes through a vertex $v$ if and only if it meets the vertex-bond with respect to $v$. Therefore, a very natural approach to Gallai's question is to study whether there is a bond meeting all longest paths. Let $p$ denote the length of a longest path of connected graphs. We show that for any 2-connected graph, there is a bond meeting all paths of length at least $p-1$. We then prove that for any 3-connected graph, there is a bond meeting all paths of length at least $p-2$. For a $k$-connected graph $(k\ge3)$, we show that there is a bond meeting all paths of length at least $p-t+1$, where $t=\Big\lfloor\sqrt{\frac{k-2}{2}}\Big\rfloor$ if $p$ is even and $t=\Big\lceil\sqrt{\frac{k-2}{2}}\Big\rceil$ if $p$ is odd. Our results provide analogs of the corresponding results of P. Wu and S. McGuinness [Bonds intersecting cycles in a graph, Combinatorica 25 (4) (2005), 439-450] also.

Assume $n$ players are placed on the $n$ vertices of a graph $G$. The following game was introduced by Winkler: An adversary puts a hat on each player, where each hat has a colour out of $q$ available colours. The players can see the hat of each of their neighbours in $G$, but not their own hat. Using a prediscussed guessing strategy, the players then simultaneously guess the colour of their hat. The players win if at least one of them guesses correctly, else the adversary wins. The largest integer $q$ such that there is a winning strategy for the players is denoted by $\text{HG}(G)$, and this is called the hat guessing number of $G$. Although this game has received a lot of attention in the recent years, not much is known about how the hat guessing number relates to other graph parameters. For instance, a natural open question is whether the hat guessing number can be bounded from above in terms of degeneracy. In this paper, we prove that the hat guessing number of a graph can be bounded from above in terms of a related notion, which we call strong degeneracy. We further give an exact characterisation of graphs with bounded strong degeneracy. As a consequence, we significantly improve the best known upper bound on the hat guessing number of outerplanar graphs from $2^{125000}$ to $40$, and further derive upper bounds on the hat guessing number for any class of $K_{2,s}$-free graphs with bounded expansion, such as the class of $C_4$-free planar graphs, more generally $K_{2,s}$-free graphs with bounded Hadwiger number or without a $K_t$-subdivision, and for Erdős-Rényi random graphs with constant average degree.

The spread of a graph is the difference between the largest and most negative eigenvalue of its adjacency matrix. We show that for sufficiently large $n$, the $n$-vertex outerplanar graph with maximum spread is a vertex joined to a linear forest with $Ω(n)$ edges. We conjecture that the extremal graph is a vertex joined to a path on $n-1$ vertices.

Tverberg's theorem says that a set with sufficiently many points in $\mathbb{R}^d$ can always be partitioned into $m$ parts so that the $(m-1)$-simplex is the (nerve) intersection pattern of the convex hulls of the parts. In arXiv:1808.00551v1 [math.MG] the authors investigate how other simplicial complexes arise as nerve complexes once we have a set with sufficiently many points. In this paper we relate the theory of word-representable graphs as a way of codifying $1$-skeletons of simplicial complexes to generate nerves. In particular, we show that every $2$-word-representable triangle-free graph, every circle graph, every outerplanar graph, and every bipartite graph could be induced as a nerve complex once we have a set with sufficiently many points in $\mathbb{R}^d$ for some $d$.

Various combinatorial classes such as outerplanar graphs and maps, series-parallel graphs, substitution-closed classes of permutations and many more allow bijective encodings by so-called enriched trees, which are rooted trees with additional structure on the offspring of each node. Using this universal description we develop sampling procedures that uniformly generate objects from this classes with a given size $n$ in expected time $O(n)$.The key ingredient is a representation of enriched trees in terms of decorated Bienaymé--Galton--Watson trees, which allows us to develop a novel combination of Devroye's efficient sampler for trees (Devroye, 2012) with Boltzmann sampling techniques. Additionally, we construct expected linear time samplers for critical Bienaymé--Galton--Watson trees having exactly $n$ (out of $\ge n$ total) nodes with outdegree in some fixed set, enabling uniform generation for many combinatorial classes such as dissections of polygons.

A graph is outerplanar if it can be embedded in a plane such that all vertices lie on its outer face. The outerplanar Turán number of a given graph $H$, denoted by ${\rm ex}_{\mathcal{OP}}(n,H)$, is the maximum number of edges over all outerplanar graphs on $n$ vertices which do not contain a copy of $H$. In this paper, the outerplanar Turán numbers of cycles and paths are completely determined.

Let $H$ be a graph. The generalized outerplanar Turán number of $H$, denoted by $f_{\mathcal{OP}}(n,H)$, is the maximum number of copies of $H$ in an $n$-vertex outerplanar graph. Let $P_k$ be the path on $k$ vertices. In this paper we give an exact value of $f_{\mathcal{OP}}(n,P_4)$ and a best asymptotic value of $f_{\mathcal{OP}}(n,P_5)$. Moreover, we characterize all outerplanar graphs containing $f_{\mathcal{OP}}(n,P_4)$ copies of $P_4$.

We study the random planar graph process introduced by Gerke, Schlatter, Steger, and Taraz [The random planar graph process, Random Structures Algorithms 32 (2008), no. 2, 236--261; MR2387559]: Begin with an empty graph on $n$ vertices, consider the edges of the complete graph $K_n$ one by one in a random ordering, and at each step add an edge to a current graph only if the graph remains planar. They studied the number of edges added up to step $t$ for 'large' $t=ω(n)$. In this paper we extend their results by determining the asymptotic number of edges added up to step $t$ in the early evolution of the process when $t=O(n)$. We also show that this result holds for a much more general class of graphs, including outerplanar graphs, planar graphs, and graphs on surfaces.

Thomassen formulated the following conjecture: Every $3$-connected cubic graph has a red-blue vertex coloring such that the blue subgraph has maximum degree at most $1$ (that is, it consists of a matching and some isolated vertices) and the red subgraph has minimum degree at least $1$ and contains no $3$-edge path. Since all monochromatic components are small in this coloring and there is a certain irregularity, we call such a coloring \emph{crumby}. Recently, Bellitto, Klimošová, Merker, Witkowski and Yuditsky \cite{counter} constructed an infinite family refuting the above conjecture. Their prototype counterexample is $2$-connected, planar, but contains a $K_4$-minor and also a $5$-cycle. This leaves the above conjecture open for some important graph classes: outerplanar graphs, $K_4$-minor-free graphs, bipartite graphs. In this regard, we prove that $2$-connected outerplanar graphs, subdivisions of $K_4$ and $1$-subdivisions of cubic graphs admit crumby colorings. A subdivision of $G$ is {\it genuine} if every edge is subdivided at least once. We show that every genuine subdivision of any subcubic graph admits a crumby coloring. We slightly generalise some of these results and formulate a few conjectures.

A $k$-stack layout (or $k$-page book embedding) of a graph consists of a total order of the vertices, and a partition of the edges into $k$ sets of non-crossing edges with respect to the vertex order. The stack number of a graph is the minimum $k$ such that it admits a $k$-stack layout. In this paper we study a long-standing problem regarding the stack number of planar directed acyclic graphs (DAGs), for which the vertex order has to respect the orientation of the edges. We investigate upper and lower bounds on the stack number of several families of planar graphs: We improve the constant upper bounds on the stack number of single-source and monotone outerplanar DAGs and of outerpath DAGs, and improve the constant upper bound for upward planar 3-trees. Further, we provide computer-aided lower bounds for upward (outer-) planar DAGs.

In a graph $G$, a vertex dominates itself and its neighbors. A subset $S\subseteq V(G)$ is said to be a double dominating set of $G$ if $S$ dominates every vertex of $G$ at least twice. The double domination number $γ_{\times 2}(G)$ is the minimum cardinality of a double dominating set of $G$. We show that if $G$ is a maximal outerplanar graph on $n\geq 3$ vertices, then $γ_{\times 2}(G)\leq \lfloor \frac{2n}{3}\rfloor$. Further, if $n\geq 4$, then $γ_{\times 2}(G)\leq \min \{\lfloor \frac{n+t}{2}\rfloor, n-t\}$, where $t$ is the number of vertices of degree $2$ in $G$. These bounds are shown to be tight. In addition, we also study the case that $G$ is a striped maximal outerplanar graph.

The hat guessing number is a graph invariant based on a hat guessing game introduced by Winkler. Using a new vertex decomposition argument involving an edge density theorem of Erdős for hypergraphs, we show that the hat guessing number of all outerplanar graphs is less than $2^{125000}$. We also define the class of layered planar graphs, which contains outerplanar graphs, and we show that every layered planar graph has bounded hat guessing number.

In this paper, we investigate the ratio of the numbers of odd and even cycles in outerplanar graphs. We verify that the ratio generally diverges to infinity as the order of a graph diverges to infinity. We also give sharp estimations of the ratio for several classes of outerplanar graphs, and obtain a constant upper bound of the ratio for some of them. Furthermore, we consider similar problems in graphs with some pairs of forbidden subgraphs/minors, and propose a challenging problem concerning claw-free graphs.

The main goal of this paper is to determine the asymptotic behavior of the number $X_n$ of cut-vertices in random planar maps with $n$ edges. It is shown that $X_n/n \to c$ in probability (for some explicit $c>0$). For so-called subcritical classes of planar maps (like outerplanar maps) we obtain a central limit theorem, too. Interestingly the combinatorics behind this seemingly simple problem is quite involved.

We introduce the class of outerspatial 2-complexes as the natural generalisation of the class of outerplanar graphs to three dimensions. Answering a question of O-joung Kwon, we prove that a locally 2-connected 2-complex is outerspatial if and only if it does not contain a surface of positive genus as a subcomplex and does not have a space minor that is a generalised cone over $K_4$ or $K_{2,3}$. This is applied to nested plane embeddings of graphs; that is, plane embeddings constrained by conditions placed on a set of cycles of the graph.

In 2015, Felsner, Trotter, and Wiechert showed that posets with outerplanar cover graphs have bounded dimension. We generalise this result to posets with $k$-outerplanar cover graphs. Namely, we show that posets with $k$-outerplanar cover graph have dimension $\mathcal{O}(k^3)$. As a consequence, we show that every poset with a planar cover graph and height $h$ has dimension $\mathcal{O}(h^3)$. This improves the previously best known bound of $\mathcal{O}(h^6)$ by Kozik, Micek and Trotter.