arXiv++ Combinatorics

The Gamma-Theta Conjecture states that if the domination number of a graph is equal to its eternal domination number, then it is also equal to its clique covering number. This conjecture is known to be true for several graph classes, such as outerplanar graphs, subcubic graphs and $C_k$-free graphs, where $k \in \{3,4\}$. In this paper, we prove the Conjecture for the class of planar graphs.

In this paper, we study the following question. Let $\mathcal G$ be a family of planar graphs and let $k\geq 3$ be an integer. What is the largest value $f_k(n)$ such that every $n$-vertex graph in $\mathcal G$ has an induced subgraph with degree at most $k$ and with $f_k(n)$ vertices? Similar questions, in which one seeks a large induced forest, or a large induced linear forest, or a large induced $d$-degenerate graph, rather than a large induced graph of bounded degree, have been studied for decades and have given rise to some of the most fascinating and elusive conjectures in Graph Theory. We tackle our problem when $\mathcal G$ is the class of the outerplanar graphs or the class of the planar graphs. In both cases, we provide upper and lower bounds on the value of $f_k(n)$. For example, we prove that every $n$-vertex planar graph has an induced subgraph with degree at most $3$ and with $\frac{5n}{13}>0.384n$ vertices, and that there exist $n$-vertex planar graphs whose largest induced subgraph with degree at most $3$ has $\frac{4n}{7}+O(1)<0.572n+O(1)$ vertices.

The extremal eigenvalues including maximum eigenvalues and the minimum eigenvalues about outerplanar graphs are investigated in this paper. Some structural characterizations about the (edge) maximal bipartite outerplanar graphs are represented. With these characterizations, among all bipartite outerplanar graphs of order $n\geq 55$, the maximum spectral radius is completely determined, and moreover, among all general outerplanar graphs of order $n\geq 55$, the minimum least eigenvalue is completely determined.

A set of edges $F$ in a graph $G$ is an edge dominating set if every edge in $G$ is either in $F$ or shares a vertex with an edge in $F$. $G$ is said to be well-edge-dominated if all of its minimal edge dominating sets have the same cardinality. Recently it was shown that any triangle-free well-edge-dominated graph is either bipartite or in the set $\{C_5, C_7, C_7^*\}$ where $C_7^*$ is obtained from $C_7$ by adding a chord between any pair of vertices distance three apart. In this paper, we completely characterize all well-edge-dominated graphs containing exactly one triangle, of which there are two infinite families. We also prove that there are only eight well-edge-dominated outerplanar graphs, most of which contain at most one triangle.

Defective coloring (also known as relaxed or improper coloring) is a generalization of proper coloring defined as follows: for $d \in \mathbb{N}$, a coloring of a graph is $d$-defective if every vertex is colored the same as at most $d$ of its neighbors. We investigate defective coloring of planar graphs in the context of correspondence coloring, a generalization of list coloring introduced by Dvořák and Postle. First we show there exists a planar graph that is not $3$-defective $3$-correspondable, strengthening a recent result of Cho, Choi, Kim, Park, Shan, and Zhu. Then we construct a planar graph that is $1$-defective $3$-correspondable but not $4$-correspondable, thereby extending a recent result of Ma, Xu, and Zhu from list coloring to correspondence coloring. Finally we show all outerplanar graphs are $3$-defective $2$-correspondence colorable, with 3 defects being best possible.

In this paper we obtain bounds on a very general class of distance-based topological indices of graphs, which includes the Wiener index, defined as the sum of the distances between all pairs of vertices of the graph, and most generalisations of the Wiener index, including the Harary index and the hyper-Wiener index. Our results imply several new bounds on well-studied topological indices, among those sharp lower bounds on the Harary index and sharp upper bounds on the hyper-Wiener index for (i) graphs of given order and size (which resolves a problem in the monograph [The Harary index of a graph, Xu, Das, Trinajstić, Springer (2015)], (ii) for $κ$-connected graphs, where $κ$ is even, (iii) for maximal outerplanar graphs and for Apollonian networks (a subclass of maximal planar graphs), and (iv) for trees in which all vertices have odd degree.

Given a simple, finite, nonempty graph $G=(V(G),E(G))$, a vertex subset $D\subseteq V(G)$ is said to be a dominating set if every vertex $v\in V(G)-D$ is adjacent to a vertex in $D$. The independent domination number $γ_i(G)$ is the minimum cardinality among all independent dominating sets of $G$. Since determining the domination number for general graphs is NP-complete, we focus on the class of $k$-trees. Favaron established a tight upper bound for $1$-trees, while Campos and Wakabayashi determined a tight upper bound for maximal outerplanar graphs, a subclass of $2$-trees. We generalize these results and establish a tight upper bound for the independent domination number of $k$-trees for all $k\in \mathbb{N}$.

For a sequence $S = (s_1, s_2, \ldots, s_k)$ of non-decreasing positive integers, an $S$-packing edge-coloring (S-coloring) of a graph $G$ is a partition of $E(G)$ into $E_1, E_2, \ldots, E_k$ such that the distance between each pair of distinct edges $e_1,e_2 \in E_i$, $1 \le i \le k$, is at least $s_i + 1$. In particular, a $(1^{\ell},2^k)$-coloring is a partition of $E(G)$ into $\ell$ matchings and $k$ induced matchings, and it can be viewed as intermediate colorings between proper and strong edge-colorings. Hocquard, Lajou, and Lužar conjectured that every subcubic planar graph has a $(1,2^6)$-coloring and a $(1^2,2^3)$-coloring. In this paper, we confirm the conjecture of Hocquard, Lajou, and Lužar for subcubic outerplanar graphs by showing every subcubic outerplanar graph has a $(1,2^5)$-coloring and a $(1^2,2^3)$-coloring. Our results are best possible since we found subcubic outerplanar graphs with no $(1,2^4)$-coloring and no $(1^2,2^2)$-coloring respectively. Furthermore, we explore the question "What is the largest positive integer $k_1$ and $k_2$ such that every subcubic outerplanar graph is $(1,2^4,k_1)$-colorable and $(1^2,2^2,k_2)$-colorable?". We prove $3 \le k_1 \le 6$ and $3 \le k_2 \le 4$. We also consider the question "What is the largest positive integer $k_1'$ and $k_2'$ such that every $2$-connected subcubic outerplanar graph is $(1,2^3,k_1')$-colorable and $(1^2,2^2,k_2')$-colorable?". We prove $k_1' = 2$ and $3 \le k_2' \le 11$.

A generalization of hyperopic cops and robber, analogous to the $k$-visibility cops and robber, is introduced in this paper. For a positive integer $k$ the $k$-hyperopic game of cops and robber is defined similarly as the usual cops and robber game, but with the robber being omniscient and invisible to the cops that are at distance at most $k$ away from the robber. The cops win the game if, after a finite number of rounds, a cop occupies the same vertex as robber. Otherwise, robber wins. The minimum number of cops needed to win the game on a graph $G$ is the $k$-hyperopic cop number $c_{H,k}(G)$ of $G$. In addition to basic properties of the new invariant, cop-win graphs are characterized and a general upper bound in terms of the matching number of the graph is given. The invariant is also studied on trees where the upper bounds mostly depend on the relation between $k$ and the diameter of the tree. It is also proven that the 2-hyperopic cop number of outerplanar graphs is at most 2 and an upper bound in terms of the number of vertices of the graph is presented for $k \geq 3$.

Tait and Tobin [J. Combin. Theory Ser. B 126 (2017) 137--161] determined the unique spectral extremal graph over all outerplanar graphs and the unique spectral extremal graph over all planar graphs when the number of vertices is sufficiently large. In this paper we consider the spectral extremal problems of outerplanar graphs and planar graphs with fixed number of edges. We prove that the outerplanar graph on $m \geq 64$ edges with the maximum spectral radius is $S_m$, where $S_m$ is a star with $m$ edges. For planar graphs with $m$ edges, our main result shows that the spectral extremal graph is $K_2 \vee \frac{m-1}{2} K_1$ when $m$ is odd and sufficiently large, and $K_1 \vee (S_{\frac{m-2}{2}} \cup K_1)$ when $m$ is even and sufficiently large. Additionally, we obtain spectral extremal graphs for path, cycle and matching in outerplanar graphs and spectral extremal graphs for path, cycle and complete graph on $4$ vertices in planar graphs.

Let $\emph{spex}_{\mathcal{OP}}(n,F)$ and $\emph{spex}_{\mathcal{P}}(n,F)$ be the maximum spectral radius over all $n$-vertex $F$-free outerplanar graphs and planar graphs, respectively. Define $tC_l$ as $t$ vertex-disjoint $l$-cycles, $B_{tl}$ as the graph obtained by sharing a common vertex among $t$ edge-disjoint $l$-cycles %$B_{tl}$ as the graph obtained by connecting all cycles in $tC_l$ at a single vertex, and $(t+1)K_{2}$ as the disjoint union of $t+1$ copies of $K_2$. In the 1990s, Cvetković and Rowlinson conjectured $K_1 \vee P_{n-1}$ maximizes spectral radius in outerplanar graphs on $n$ vertices, while Boots and Royle (independently, Cao and Vince) conjectured $K_2 \vee P_{n-2} $ does so in planar graphs. Tait and Tobin [J. Combin. Theory Ser. B, 2017] determined the fundamental structure as the key to confirming these two conjectures for sufficiently large $n.$ Recently, Fang et al. [J. Graph Theory, 2024] characterized the extremal graph with $\emph{spex}_{\mathcal{P}}(n,tC_l)$ in planar graphs by using this key. In this paper, we first focus on outerplanar graphs and adopt a similar approach to describe the key structure of the connected extremal graph with $\emph{spex}_{\mathcal{OP}}(n,F)$, where $F$ is contained in $K_1 \vee P_{n-1}$ but not in $K_{1} \vee ((t-1)K_2\cup(n-2t+1)K_1)$. Based on this structure, we determine $\emph{spex}_{\mathcal{OP}}(n,B_{tl})$ and $\emph{spex}_{\mathcal{OP}}(n,(t+1)K_{2})$ along with their unique extremal graphs for all $t\geq1$, $l\geq3$ and large $n$. Moreover, we further extend the results to planar graphs, characterizing the unique extremal graph with $\emph{spex}_{\mathcal{P}}(n,B_{tl})$ for all $t\geq3$, $l\geq3$ and large $n$.

We prove that the spanning trees of any outerplanar triangulation $G$ can be listed so that any two consecutive spanning trees differ in an exchange of two edges that share an end vertex. For outerplanar graphs $G$ with faces of arbitrary lengths (not necessarily 3) we establish a similar result, with the condition that the two exchanged edges share an end vertex or lie on a common face. These listings of spanning trees are obtained from a simple greedy algorithm that can be implemented efficiently, i.e., in time $\mathcal{O}(n \log n)$ per generated spanning tree, where $n$ is the number of vertices of $G$. Furthermore, the listings correspond to Hamilton paths on the 0/1-polytope that is obtained as the convex hull of the characteristic vectors of all spanning trees of $G$.

In this paper, extending a result of Brooks et.al. [arXiv:2403.04110], we show that if an outerplanar graph $G$ with minimum degree at least $2$ has positive Lin-Lu-Yau curvature on every vertex pair, then $G$ has at most $10$ vertices, and this upper bound is sharp.

We show that there exists an outerplanar graph on $O(n^{c})$ vertices for $c = \log_2(3+\sqrt{10}) \approx 2.623$ that contains every tree on $n$ vertices as a subgraph. This extends a result of Chung and Graham from 1983 who showed that there exist (non-planar) $n$-vertex graphs with $O(n \log n)$ edges that contain all trees on $n$ vertices as subgraphs and a result from Gol'dberg and Livshits from 1968 who showed that there exists a universal tree for $n$-vertex trees on $n^{O(\log(n))}$ vertices. Furthermore, we determine the number of vertices needed in the worst case for a planar graph to contain three given trees as subgraph to be on the order of $\frac{3}{2}n$, even if the three trees are caterpillars. This answers a question recently posed by Alecu et al. in 2024. Lastly, we investigate (outer)planar graphs containing all (outer)planar graphs as subgraph, determining exponential lower bounds in both cases. We also construct a planar graph on $n^{O(\log(n))}$ vertices containing all $n$-vertex outerplanar graphs as subgraphs.

We call a proper edge coloring of a graph $G$ a B-coloring if every 4-cycle of $G$ is colored with four different colors. Let $q_B(G)$ denote the smallest number of colors needed for a B-coloring of $G$. Motivated by earlier papers on B-colorings, here we consider $q_B(G)$ for planar and outerplanar graphs in terms of the maximum degree $Δ= Δ(G)$. We prove that $q_B(G)\le 2Δ+8$ for planar graphs, $q_B(G)\le 2Δ$ for bipartite planar graphs and $q_B(G)\le Δ+1$ for outerplanar graphs with $Δ\ge 4$. We conjecture that, for $Δ$ sufficiently large, $q_B(G)\le 2Δ(G)$ for planar $G$ and $q_B(G)\le Δ(G)$ for outerplanar $G$.

A coloring of the edges of a graph $G$ in which every $K_{1,2}$ is totally multicolored is known as a proper coloring and a coloring of the edges of $G$ in which every $K_{1,2}$ and every $K_{2,2}$ is totally multicolored is called a B-coloring. In this paper, we establish that a planar graph with maximum degree $Δ$ can be B-colored with $\max\{2Δ,32\}$ colors. This is best-possible for large $Δ$ because $K_{2,Δ}$ requires $2Δ$ colors. In addition, there is an example with $Δ=4$ that requires $12$ colors. We also establish that an outerplanar graph with maximum degree $Δ$ can be B-colored with $\max\{Δ,6\}$ colors. This is almost best-possible because $Δ$ colors are necessary and there is an example with $Δ=4$ that requires $5$ colors.

We provide a new perspective on the divisor theory of graphs, using additive combinatorics. As a test case for this perspective, we compute the gonality of certain families of outerplanar graphs, specifically the strip graphs. The Jacobians of such graphs are always cyclic of Fibonacci order. As a consequence, we obtain several results on the additive properties of Fibonacci numbers.

For a graph $G$, we call an edge coloring of $G$ an \textit{improper} \textit{interval edge coloring} if for every $v\in V(G)$ the colors, which are integers, of the edges incident with $v$ form an integral interval. The \textit{interval coloring impropriety} of $G$, denoted by $μ_{int}(G)$, is the smallest value $k$ such that $G$ has an improper interval edge coloring where at most $k$ edges of $G$ with a common endpoint have the same color. The purpose of this note is to communicate solutions to two previous questions on interval coloring impropriety, mainly regarding planar graphs. First, we prove $μ_{int}(G) \leq 2$ for every outerplanar graph $G$. This confirms the conjecture by Casselgren and Petrosyan in the affirmative. Secondly, we prove that for each $k\geq 2$, the interval coloring impropriety of $k$-trees is unbounded. This refutes the conjecture by Carr, Cho, Crawford, Iršič, Pai and Robinson.

A proper $k$-coloring of $G$ is called an odd coloring of $G$ if for every vertex $v$, there is a color that appears at an odd number of neighbors of $v$. This concept was introduced recently by Petruševski and Škrekovski, and they conjectured that every planar graph is odd 5-colorable. Towards this conjecture, Caro, Petruševski, and Škrekovski showed that every outerplanar graph is odd 5-colorable, and this bound is tight since the cycle of length 5 is not odd 4-colorable. Recently, the first author and others showed that every maximal outerplanar graph is odd 4-colorable. In this paper, we show that a connected outerplanar graph $G$ is odd 4-colorable if and only if $G$ contains a block which is not a copy of the cycle of length 5. This strengthens the result by Caro, Petruševski, and Škrekovski, and gives a complete characterization of odd 4-colorable outerplanar graphs.

We consider zero-sum games in which players move between adjacent states, where in each pair of adjacent states one state dominates the other. The states in our game can represent positional advantages in physical conflict such as high ground or camouflage, or product characteristics that lend an advantage over competing sellers in a duopoly. We study the equilibria of the game as a function of the topological and geometric properties of the underlying graph. Our main result characterizes the expected payoff of both players starting from any initial position, under the assumption that the graph does not contain certain types of small cycles. This characterization leverages the block-cut tree of the graph, a construction that describes the topology of the biconnected components of the graph. We identify three natural types of (on-path) pure equilibria, and characterize when these equilibria exist under the above assumptions. On the geometric side, we show that strongly connected outerplanar graphs with undirected girth at least 4 always support some of these types of on-path pure equilibria. Finally, we show that a data structure describing all pure equilibria can be efficiently computed for these games.