arXiv++ Combinatorics

Assume $G$ is a graph, $(v_1,\ldots,v_k)$ is a sequence of distinct vertices of $G$, and $(a_1,\ldots,a_k)$ is an integer sequence with $a_i \in \{1,2\}$. We say $G$ is \emph{$(a_1,\ldots,a_k)$-list extendable} (respectively, \emph{$(a_1,\ldots,a_k)$-AT extendable}) with respect to $(v_1,\ldots,v_k)$ if $G$ is $f$-choosable (respectively, $f$-AT), where $f(v_i)=a_i $ for $i \in \{1,\ldots, k\}$, and $f(v)=3$ for $v \in V(G) \setminus \{v_1,\ldots, v_k\}$. Hutchinson proved that if $G$ is an outerplanar graph, then $G$ is $(2,2)$-list extendable with respect to $(x,y)$ for any vertices $x,y$. We strengthen this result and prove that if $G$ is a $K_4$-minor-free graph, then $G$ is $(2,2)$-AT extendable with respect to $(x,y)$ for any vertices $x,y$. Then we characterize all triples $(x,y,z)$ of a $K_4$-minor-free graph $G$ for which $G$ is $(2,2,2)$-AT extendable (as well as $(2,2,2)$-list extendable) with respect to $(x,y,z)$. We also characterize the pairs $(x,y)$ of a $K_4$-minor-free graph $G$ for which $G$ is $(2,1)$-AT extendable (as well as $(2,1)$-list extendable) with respect to $(x,y)$. Moreover, we characterize all triples $(x,y,z)$ of a 3-colorable graph $G$ with its maximum average degree less than $\frac{14}{5}$ for which $G$ is $(2,2,2)$-AT extendable with respect to $(x,y,z)$.

Let $A$ be a finite commutative ring with unity $1 \neq 0.$ An ideal of $A$ is said to be essential if it has a non-zero intersection with every non-zero ideal of $A.$ The essential graph of $A$ is a simple undirected graph whose vertex set consists of all non-zero zero-divisors of $A.$ Two different vertices $u$ and $v$ are connected by an edge precisely when the ideal formed by the annihilator of their product $uv$ is essential in $A.$ This paper examines the minimal embeddings of the line graph of the essential graph of $A$ into orientable surfaces as well as non-orientable surfaces. Our results include a complete classification of finite commutative rings for which the line graphs of their essential graphs is planar, outerplanar or have genus or crosscap number at most two. We also characterize all such non-local rings for which the line graph of their zero-divisor graph is outerplanar.

We study embeddings of graphs with bounded treewidth or bounded simple treewidth into the undirected graph underlying the directed product of two directed graphs. If the factors have bounded maximum indegrees, then the product graph has bounded maximum indegree and therefore is sparse. We prove that every graph of simple treewidth $k$ is contained in (ignoring edge directions) the directed product of directed graphs $\vec H_1$ and $\vec H_2$, with $Δ^-(\vec H_1), Δ^-(\vec H_2) \leq k-1 $ and $\text{tw}(H_1), \text{tw}(H_2) \leq k-1$. Further, we show that this treewidth bound is best possible. Several corollaries follow from our results: every outerplanar graph is contained in the directed product of trees with maximum indegree $1$, and every planar graph with treewidth $3$ is contained in a directed product of graphs with treewidth $2$ and maximum indegree $2$. However, for graphs of treewidth $k$, we prove a negative result: for any integers $s, t, k \geq 1$, there is a graph $G$ with treewidth $k$ not contained in the directed product of $\vec H_1$ and $\vec H_2$ for any directed graphs $\vec H_1$ and $\vec H_2$ with $Δ^-(\vec H_1) \leq s$, $Δ^-(\vec H_2) \leq t$, and $\text{tw}(H_1), \text{tw}(H_2) \leq k-1$. This result stands in stark contrast to the strong product case, where Liu, Norin and Wood [arXiv:2410.20333] proved that the optimal lower bound on the factors is about half the treewidth.

We give a series of new lower bounds on the minimum number of vertices required by a graph to contain every graph of a given family as induced subgraph. In particular, we show that this induced-universal graph for $n$-vertex planar graphs must have at least $10.52n$ vertices. We also show that the number of conflicting graphs to consider in order to beat this lower bound is at least $137$. In other words, any family of less than $137$ planar graphs of $n$ vertices has an induced-universal graph with less than $10.52n$ vertices, stressing the difficulty in beating such lower bounds. Similar results are developed for other graph families, including but not limited to, trees, outerplanar graphs, series-parallel graphs, $K_{3,3}$-minor free graphs. As a byproduct, we show that any family of $t$ graphs of $n$ vertices having small chromatic number and sublinear pathwidth, like any proper minor-closed family, has an induced-universal graph with less than $\frac{15}{7} \sqrt{t} \cdot n$ vertices. This is achieved by making a bridge between equitable colorings, combinatorial designs, and path-decompositions.

The localization game is a variant of the game of Cops and Robber in which the robber is invisible and moves between adjacent vertices, but the cops can probe any $k$ vertices of the graph to obtain the distance between probed vertices and the robber. The localization number of a graph is the minimum $k$ needed for cops to be able to locate the robber in finite time. The localization capture time is the number of rounds needed for cops to win. The localization capture time conjecture claims that there exists a constant $C$ such that the localization number of every connected graph on $n$ vertices is at most $Cn$. While it is known that the conjecture holds for trees, in this paper we significantly improve the known upper bound for the localization capture time of trees. We also prove the conjecture for a subclass of outerplanar graphs and present a generalization of the localization game that appears useful for making further progress towards the conjecture.

Let $G$ be a finite, connected graph and $v$ a vertex of $G$. The average distance and the eccentricity of $v$ in $G$ are defined as the arithmetic mean and the maximum, respectively, of the distances from $v$ to all other vertices of $G$. The proximity of $G$ and the radius of $G$ are defined as the minimum of the average distances and the eccentricities over all vertices of $G$. In this paper, we establish an upper bound on the proximity of a $2$-connected outerplanar graphs in terms of order and maximum face length. This bound is sharp apart from a small additive constant. It is known that the radius of a maximal outerplanar graph is at most $\lfloor \frac{n}{4} \rfloor +1$. In the second part of this paper we show that this bound on the radius holds for a much larger subclass of outerplanar graphs, for all $2$-connected outerplanar graphs of order $n$ whose maximum face length does not exceed $\frac{n+2}{4}$.

Let $G$ be a connected graph. The average distance of a vertex $v$ of $G$ is the arithmetic mean of the distances from $v$ to all other vertices of $G$. The proximity and remoteness of $G$ are defined as the minimum and maximum, respectively, of the average distances of the vertices of $G$. It was shown by Aouchiche and Hansen [Proximity and remoteness in graphs: bounds and conjectures, Networks 58 no.\ 2 (2011)] that for a connected graph of order $n$, the difference between remoteness and proximity and the difference between radius and proximity are bounded from above by about $\frac{n}{4}$, and the difference between diameter and proximity is bounded from above by about $\frac{3}{4}n$. In this paper, we show that all three bounds can be improved significantly for maximal planar graphs, and for graphs of given connectivity. We show that in maximal planar graphs the above bound on the difference between radius and proximity can be improved to about $\frac{1}{12}n$, and further to about $\frac{1}{16}n$ and $\frac{1}{20}n$ if the graphs is, in addition, $4$-connected or $5$-connected, respectively. Similar improvements are shown for quadrangulations, and for maximal outerplanar graphs. We further show that the above bound on the difference between remoteness and proximity can be improved to about $\frac{1}{4κ}n$ if $G$ is $κ$-connected. Finally, we improve the bound on the difference between diameter and proximity to about $\frac{3}{4κ}n$ if $G$ is $κ$-connected. We present graphs that demonstrate that our bounds are either sharp, or sharp apart from an additive constant, even if restricted to planar graphs.

A dominating set of a graph $G$ is a set $D \subseteq V(G)$ such that every vertex in $V(G) \setminus D$ is adjacent to at least one vertex in $D$. A set $L\subseteq V(G)$ is a locating set of $G$ if every vertex in $V(G) \setminus L$ has pairwise distinct open neighborhoods in $L$. A set $D\subseteq V(G)$ is a locating-dominating set of $G$ if $D$ is a dominating set and a locating set of $G$. The location-domination number of $G$, denoted by $γ_{LD}(G)$, is the minimum cardinality among all locating-dominating sets of $G$. A well-known conjecture in the study of locating-dominating sets is that if $G$ is an isolate-free and twin-free graph of order $n$, then $γ_{LD}(G)\le \frac{n}{2}$. Recently, Bousquet et al. [Discrete Math. 348 (2025), 114297] proved that if $G$ is an isolate-free and twin-free graph of order $n$, then $γ_{LD}(G)\le \lceil\frac{5n}{8}\rceil$ and posed the question whether the vertex set of such a graph can be partitioned into two locating sets. We answer this question affirmatively for twin-free distance-hereditary graphs, maximal outerplanar graphs, split graphs, and co-bipartite graphs. In fact, we prove a stronger result that for any graph $G$ without isolated vertices and twin vertices, if $G$ is a distance-hereditary graph or a maximal outerplanar graph or a split graph or a co-bipartite graph, then the vertex set of $G$ can be partitioned into two locating-dominating sets. Consequently, this also confirms the original conjecture for these graph classes.

Two of the most prominent unresolved conjectures in graph theory, the Albertson-Berman conjecture and the Matheson-Tarjan conjecture, have been extensively studied by many researchers. (AB) Every planar graph of order $n$ has an induced forest of order at least $\frac{n}{2}$. (MT) Every plane triangulation of sufficiently large order $n$ has a dominating set of cardinality at most $\frac{n}{4}$. Although partial progress and weaker bounds are known, both conjectures remain unsolved. To shed further light on them, researchers have explored a variety of related notions and generalizations. In this paper, we clarify relations among several of these notions, most notably connected domination and induced outerplanar subgraphs, and investigate the corresponding open problems. Furthermore, we construct an infinite family of plane triangulations of order $n$ whose connected domination number exceeds $n/3$. This construction gives a negative answer to a question of Bradshaw et al. [SIAM J. Discrete Math. 36 (2022) 1416-1435], who asked whether the maxleaf number of every plane triangulation of order $n$ is at least $2n/3$. We also obtain new results on induced subgraphs with bounded treewidth and induced outerplanar subgraphs.

A long-standing conjecture by Albertson and Berman states that every planar graph of order $n$ has an induced forest with at least $\lceil \frac{n}{2} \rceil$ vertices. As a variant of this conjecture, Chappell conjectured that every planar graph of order $n$ has an induced linear forest with at least $\lceil \frac{4n}{9} \rceil$ vertices. Pelsmajer proved that every outerplanar graph of order $n$ has an induced linear forest with at least $\lceil \frac{4n+2}{7}\rceil$ vertices and this bound is sharp. In this paper, we investigate the order of induced subgraphs of outerplanar graphs with a given pathwidth. The above result by Pelsmajer implies that every outerplanar graph of order $n$ has an induced subgraph with pathwidth one and at least $\lceil \frac{4n+2}{7}\rceil$ vertices. We extend this to obtain a result on the maximum order of any outerplanar graph with at most a given pathwidth. We also give its upper bound which generalizes Pelsmajer's construction.

We show that the strong odd chromatic number on any proper minor-closed graph class is bounded by a constant. We almost determine the smallest such constant for outerplanar graphs.

In this paper we present various lower bound results on collective tree spanners and on spanners of bounded treewidth. A graph $G$ is said to admit a system of $μ$ collective additive tree $c$-spanners if there is a system $\cal{T}$$(G)$ of at most $μ$ spanning trees of $G$ such that for any two vertices $u,v$ of $G$ a tree $T\in \cal{T}$$(G)$ exists such that the distance in $T$ between $u$ and $v$ is at most $c$ plus their distance in $G$. A graph $G$ is said to admit an additive $k$-treewidth $c$-spanner if there is a spanning subgraph $H$ of $G$ with treewidth $k$ such that for any pair of vertices $u$ and $v$ their distance in $H$ is at most $c$ plus their distance in $G$. Among other results, we show that: $\bullet$ Any system of collective additive tree $1$ -- spanners must have $Ω(\sqrt[3]{\log n})$ spanning trees for some unit interval graphs; $\bullet$ No system of a constant number of collective additive tree $2$-spanners can exist for strongly chordal graphs; $\bullet$ No system of a constant number of collective additive tree $3$-spanners can exist for chordal graphs; $\bullet$ No system of a constant number of collective additive tree $c$-spanners can exist for weakly chordal graphs as well as for outerplanar graphs for any constant $c\geq 0$; $\bullet$ For any constants $k \ge 2$ and $c \ge 1$ there are graphs of treewidth $k$ such that no spanning subgraph of treewidth $k-1$ can be an additive $c$-spanner of such a graph. All these lower bound results apply also to general graphs. Furthermore, they %results complement known upper bound results with tight lower bound results.

We introduce the free inhomogeneous wreath product of compact matrix quantum groups, which generalizes the free wreath product (Bichon 2004). We use this to present a general technique to determine quantum automorphism groups of connected graphs in terms of their maximal biconnected subgraphs, provided that we have sufficient information about their quantum automorphism groups. We show that this requirement is met for forests, outerplanar graphs, and block graphs leading to algorithms to compute the quantum automorphism groups of these graphs.

A disjunctive dominating set of a graph $G$ is a set $D \subseteq V(G)$ such that every vertex in $V(G)\setminus D$ has a neighbor in $D$ or has at least two vertices in $D$ at distance $2$ from it. The disjunctive domination number of $G$, denoted by $γ_2^d(G)$, is the minimum cardinality of a disjunctive dominating set of $G$. In this paper, we show that if $G$ is a maximal outerplanar graph of order $n \ge 7$ with $k$ vertices of degree $2$, then $γ_2^d(G)\le \lfloor\frac{2}{9}(n+k)\rfloor$, and this bound is sharp.

We study the existence and construction of sparse supports for hypergraphs derived from subgraphs of a graph $G$. For a hypergraph $(X,\mathcal{H})$, a support $Q$ is a graph on $X$ s.t. $Q[H]$, the graph induced on vertices in $H$ is connected for every $H\in\mathcal{H}$. We consider \emph{primal}, \emph{dual}, and \emph{intersection} hypergraphs defined by subgraphs of a graph $G$ that are \emph{non-piercing}, (i.e., each subgraph is connected, their pairwise differences remain connected). If $G$ is outerplanar, we show that the primal, dual and intersection hypergraphs admit supports that are outerplanar. For a bounded treewidth graph $G$, we show that if the subgraphs are non-piercing, then there exist supports for the primal and dual hypergraphs of treewidth $O(2^{tw(G)})$ and $O(2^{4tw(G)})$ respectively, and a support of treewidth $2^{O(2^{tw(G)})}$ for the intersection hypergraph. We also show that for the primal and dual hypergraphs, the exponential blow-up of treewidth is sometimes essential. All our results are algorithmic and yield polynomial-time algorithms (when the treewidth is bounded). The existence and construction of sparse supports is a crucial step in the design and analysis of PTASs and/or sub-exponential time algorithms for several packing and covering problems.

Let SPEX$_\mathcal{P}(n,F)$ and SPEX$_\mathcal{OP}(n,F)$ denote the sets of graphs with the maximum spectral radius over all $n$-vertex $F$-free planar and outerplanar graphs, respectively. Define $tP_l$ as a linear forest of $t$ vertex-disjoint $l$-paths and $P_{t\cdot l}$ as a starlike tree with $t$ branches of length $l-1$. Building on the structural framework by Tait and Tobin [J. Combin. Theory Ser. B, 2017] and the works of Fang, Lin and Shi [J. Graph Theory, 2024] on the planar spectral extremal graphs without vertex-disjoint cycles, this paper determines the extremal graphs in $\text{SPEX}_\mathcal{P}(n,tP_l)$ and $\text{SPEX}_\mathcal{OP}(n,tP_l)$ for sufficiently large $n$. When $t=1$, since $tP_l$ is a path of a specific length, our results adapt Nikiforov's findings [Linear Algebra Appl. 2010] under the (outer)planarity condition. When $l=2$, note that $tP_l$ consists of $t$ independent $K_2$, then as a corollary, we generalize the results of Wang, Huang and Lin [arXiv: 2402.16419] and Yin and Li [arXiv:2409.18598v2]. Moreover, motivated by results of Zhai and Liu [Adv. in Appl. Math, 2024], we consider the extremal problems for edge-disjoint paths and determine the extremal graphs in $\text{SPEX}_\mathcal{P}(n,P_{t\cdot l})$ and $\text{SPEX}_\mathcal{OP}(n,P_{t\cdot l})$ for sufficiently large $n$.

A dichotomous ordinal graph consists of an undirected graph with a partition of the edges into short and long edges. A geometric realization of a dichotomous ordinal graph $G$ in a metric space $X$ is a drawing of $G$ in $X$ in which every long edge is strictly longer than every short edge. We call a graph $G$ pandichotomous in $X$ if $G$ admits a geometric realization in $X$ for every partition of its edge set into short and long edges. We exhibit a very close relationship between the degeneracy of a graph $G$ and its pandichotomic Euclidean or spherical dimension, that is, the smallest dimension $k$ such that $G$ is pandichotomous in $\mathbb{R}^k$ or the sphere $\mathbb{S}^k$, respectively. First, every $d$-degenerate graph is pandichotomous in $\mathbb{R}^{d}$ and $\mathbb{S}^{d-1}$ and these bounds are tight for the sphere and for $\mathbb{R}^2$ and almost tight for $\mathbb{R}^d$, for $d\ge 3$. Second, every $n$-vertex graph that is pandichotomous in $\mathbb{R}^k$ has at most $μkn$ edges, for some absolute constant $μ<7.23$. This shows that the pandichotomic Euclidean dimension of any graph is linearly tied to its degeneracy and in the special cases $k\in \{1,2\}$ resolves open problems posed by Alam, Kobourov, Pupyrev, and Toeniskoetter. Further, we characterize which complete bipartite graphs are pandichotomous in $\mathbb{R}^2$: These are exactly the $K_{m,n}$ with $m\le 3$ or $m=4$ and $n\le 6$. For general bipartite graphs, we can guarantee realizations in $\mathbb{R}^2$ if the short or the long subgraph is constrained: namely if the short subgraph is outerplanar or a subgraph of a rectangular grid, or if the long subgraph forms a caterpillar.

In the classic cop and robber game, two players--the cop and the robber--take turns moving to a neighboring vertex or staying at their current position. The cop aims to capture the robber, while the robber tries to evade capture. A graph $G$ is called a cop-win graph if the cop can always capture the robber in a finite number of moves. In the cop and robber game with radius of capture $k$, the cop wins if he can come within distance $k$ of the robber. The radius capture number $\rc(G)$ of a graph $G$ is the smallest $k$ for which the cop has a winning strategy in this variant of the game. In this paper, we establish that $\rc(H) \leq \rc(G)$ for any retract $H$ of $G$. We derive sharp upper and lower bounds for the radius capture number in terms of the graph's radius and girth, respectively. Additionally, we investigate the radius capture number in vertex-transitive graphs and identify several families $\cal{F}$ of vertex-transitive graphs with $\rc(G)=\rad(G)-1$ for any $G \in \cal{F}$. We further study the radius capture number in outerplanar graphs, Sierpiński graphs, harmonic even graphs, and graph products. Specifically, we show that for any outerplanar graph $G$, $\rc(G)$ depends on the size of its largest inner face. For harmonic even graphs and Sierpiński graphs $S(n,3)$, we prove that $\rc(G)=\rad(G)-1$. Regarding graph products, we determine exact values of the radius capture number for strong and lexicographic products, showing that they depend on the radius capture numbers of their factors. Lastly, we establish both lower and upper bounds for the radius capture number of the Cartesian product of two graphs.

The \emph{$r$-neighbourhood complexity} of a graph $G$ is the function counting, for a given integer $k$, the largest possible number, over all vertex-subsets $A$ of size $k$, of subsets of $A$ realized as the intersection between the $r$-neighbourhood of some vertex and $A$. A~refinement of this notion is the \emph{$r$-profile complexity}, that counts the maximum number of distinct distance-vectors from any vertex to the vertices of $A$, ignoring distances larger than~$r$. Typically, in structured graph classes such as graphs of bounded VC-dimension or chordal graphs, these functions are bounded, leading to insights into their structural properties and efficient algorithms. We improve existing bounds on the $r$-profile complexity (and thus on the $r$-neighbourhood complexity) for graphs in several structured graph classes. We show that the $r$-profile complexity of graphs excluding $K_h$ as a minor is in $O_h(r^{3h-3}k)$. For graphs of treewidth at most~$t$, we give a bound in $O_t(r^{t+1}k)$, which is tight up to a function of~$t$ as a factor. These bounds improve results of Joret and Rambaud and answer a question of their paper [Combinatorica, 2024]. We also apply our methods to other classes of bounded expansion such as graphs excluding a fixed complete graph as a subdivision. For outerplanar graphs, we can improve our treewidth bound by a factor of $r$ and conjecture that a similar improvement holds for graphs with bounded simple treewidth. For graphs of treelength at most~$\ell$, we give the upper bound of $O(k(r^2(\ell+1)^k))$, which we improve to $O\left (k\cdot (r 2^k + r^2k^2) \right)$ in the case of chordal graphs and $O(k^2r)$ for interval graphs. Our bounds also imply relations between the order, diameter and metric dimension of graphs in these classes, improving results from [Beaudou et al., SIDMA 2017].

An AT-orientation of a graph $G$ is an orientation $D$ of $G$ such that the number of even Eulerian sub-digraphs and the number of odd Eulerian sub-digraphs of $D$ are distinct. Given a mapping $f: V(G) \to \mathbb{N}$, we say $G$ is $f$-AT if $G$ has an AT-orientation $D$ with $ < f(v)$ for each vertex $v$. For a positive integer $k$, we say $G$ is $k$-truncated degree-AT if $G$ is $f$-AT for the mapping $f$ defined as $f(v) = \min #{k, d_G(v)#} $. This paper proves that 2-connected outerplanar graphs other than odd cycles are $5$-truncated degree-AT, and 2-connected bipartite outerplanar graphs are $4$-truncated degree-AT. As a consequence, 2-connected outerplanar graphs other than odd cycles are $5$-truncated degree paintable, and 2-connected bipartite outerplanar graphs are $4$-truncated degree paintable. This improves the result of Hutchinson in [On list-coloring outerplanar graphs], where it was proved that maximal 2-connected outerplanar graphs other than are 5-truncated degree-choosable, and 2-connected bipartite outerplanar graphs are 4-truncated degree-choosable.