arXiv++ Combinatorics

Let $G$ be a graph with adjacency matrix $A(G)$. We conjecture that \[2n^+(G) \le n^-(G)(n^-(G) + 1),\] where $n^+(G)$ and $n^-(G)$ denote the number of positive and negative eigenvalues of $A(G)$, respectively. This conjecture generalizes to all graphs the well-known absolute bound for strongly regular graphs. The conjecture also relates to a question posed by Torgašev. We prove the conjecture for special graph families, including line graphs and planar graphs, and provide examples where the conjecture is exact. We also conjecture that for any connected graph $G$, its line graph $L(G)$ satisfies $n^+(L(G)) \le n^-(L(G)) + 1$, and obtain partial results.

For $k \geqslant 0$, we define a simple topological graph $G$ (that is, a graph drawn in the plane such that every pair of edges intersect at most once, including endpoints) to be $k$-matching-planar if for every edge $e \in E(G)$, every matching amongst the edges of $G$ that cross $e$ has size at most $k$. The class of $k$-matching-planar graphs is a significant generalisation of many other existing beyond planar graph classes, including $k$-planar graphs. We prove that every simple topological $k$-matching-planar graph is isomorphic to a subgraph of the strong product of a graph with bounded treewidth and a path. This result qualitatively extends the planar graph product structure theorem of Dujmović, Joret, Micek, Morin, Ueckerdt, and Wood [J. ACM 2020] and recent product structure theorems for other beyond planar graph classes. Using this result, we deduce that the class of simple topological $k$-matching-planar graphs has several attractive properties, making it the broadest class of simple beyond planar graphs in the literature that has these properties. All of our results about simple topological $k$-matching-planar graphs generalise to the non-simple setting, where the maximum number of pairwise crossing edges incident to a common vertex becomes relevant. The paper introduces several tools and results of independent interest. We show that every simple topological $k$-matching-planar graph admits an edge-colouring with $\mathcal{O}(k^{3}\log k)$ colours such that monochromatic edges do not cross. As a key ingredient of the proof of our main product structure theorem, we introduce the concept of weak shallow minors, which subsume and generalise shallow minors, a key concept in graph sparsity theory. We also establish upper bounds on the treewidth of graphs with well-behaved circular drawings that qualitatively generalise several existing results.

We investigate a very recent concept for visualizing various aspects of a graph in the plane using a collection of drawings introduced by Hliněný and Masařík [GD 2023]. Formally, given a graph $G$, we aim to find an uncrossed collection containing drawings of $G$ in the plane such that each edge of $G$ is not crossed in at least one drawing in the collection. The uncrossed number of $G$ ($unc(G)$) is the smallest integer $k$ such that an uncrossed collection for $G$ of size $k$ exists. The uncrossed number is lower-bounded by the well-known thickness, which is an edge-decomposition of $G$ into planar graphs. This connection gives a trivial lower-bound $\lceil\frac{|E(G)|}{3|V(G)|-6}\rceil \le unc(G)$. In a recent paper, Balko, Hliněný, Masařík, Orthaber, Vogtenhuber, and Wagner [GD 2024] presented the first non-trivial and general lower-bound on the uncrossed number. We summarize it in terms of dense graphs (where $|E(G)|=ε(|V(G)|)^2$ for some $ε>0$): $\lceil\frac{|E(G)|}{c_ε|V(G)|}\rceil \le unc(G)$, where $c_ε\ge 2.82$ is a constant depending on $ε$. We improve the lower-bound to state that $\lceil\frac{|E(G)|}{3|V(G)|-6-\sqrt{2|E(G)|}+\sqrt{6(|V(G)|-2)}}\rceil \le unc(G)$. Translated to dense graphs regime, the bound yields a multiplicative constant $c'_ε=3-\sqrt{(2-ε)}$ in the expression $\lceil\frac{|E(G)|}{c'_ε|V(G)|+o(|V(G)|)}\rceil \le unc(G)$. Hence, it is tight (up to low-order terms) for $ε\approx \frac{1}{2}$ as warranted by complete graphs. In fact, we formulate our result in the language of the maximum uncrossed subgraph number, that is, the maximum number of edges of $G$ that are not crossed in a drawing of $G$ in the plane. In that case, we also provide a construction certifying that our bound is asymptotically tight (up to low-order terms) on dense graphs for all $ε>0$.

We show that every $n$-vertex $5$-connected planar triangulation has at most $9n-50$ many cycles of length $5$ for all $n\ge 20$ and this upper bound is tight. We also show that for every $k\geq 6$, there exists some constant $C(k)$ such that for sufficiently large $n$, every $n$-vertex $5$-connected planar graph has at most $C(k) \cdot n^{\lfloor{k/3}\rfloor}$ many cycles of length $k$. This upper bound is asymptotically tight for all $k\geq 6$.

A set of vertices $X\subseteq V(G)$ is a $d$-distance dominating set if for every $u\in V(G)\setminus X$ there exists $x\in X$ such that $d(u,x) \le d$, and $X$ is a $p$-packing if $d(u,v) \ge p+1$ for every different $u,v\in X$. The $d$-distance $p$-packing domination number $γ_d^p(G)$ of $G$ is the minimum size of a set of vertices of $G$ which is both a $d$-distance dominating set and a $p$-packing. It is proved that for every two fixed integers $d$ and $p$ with $2 \le d$ and $0 \le p \leq 2d-1$, the decision problem whether $γ_d^p(G) \leq k$ holds is NP-complete for bipartite planar graphs. A necessary and sufficient condition for the existence of a $d$-distance $p$-packing dominating set in $C_n$ is obtained and $γ_d^p(C_n)$ determined for every $d$, $p$, and $n$. For a tree $T$ on $n$ vertices with $\ell$ leaves and $s$ support vertices it is proved that (i) $γ_2^0(T) \geq \frac{n-\ell-s+4}{5}$, (ii) $\left \lceil \frac{n-\ell-s+4}{5} \right \rceil \leq γ_2^2(T) \leq \left \lfloor \frac{n+3s-1}{5} \right \rfloor$, and if $d \geq 2$, then (iii) $γ_d^2(T) \leq \frac{n-2\sqrt{n}+d+1}{d}$. Inequality (i) improves an earlier bound due to Meierling and Volkmann, and independently Raczek, Lemańska, and Cyman, while (iii) extends an earlier result for $γ_2^2(T)$ due to Henning. Sharpness of the bounds are discussed and established in most cases. It is also proved that every connected graph $G$ contains a spanning tree $T$ such that $γ_2^2(T) \leq γ_2^2(G)$.

The degree diameter problem asks for the maximum possible number of vertices in a graph of maximum degree $Δ$ and diameter $D$. In this paper, we focus on planar graphs of diameter $3$. Fellows, Hell and Seyffarth (1995) proved that for all $Δ\geq 8$, the maximum number $\mathrm{np}_{Δ, D}$ of vertices of a planar graph with maximum degree at most $Δ$ and diameter at most 3 satisfies $\frac{9}{2}Δ- 3 \leq \mathrm{np}_{Δ,3} \leq 8 Δ+ 12$. We show that the lower bound they gave is optimal, up to an additive constant, by proving that there exists $c>0$ such that $\mathrm{np}_{Δ,3} \leq \frac{9}{2}Δ+ c$ for every $Δ\geq 0$. Our proof consists in a reduction to the fractional maximum matching problem on a specific class of planar graphs, for which we show that the optimal solution is $\tfrac{9}{2}$, and characterize all graphs attaining this bound.

The planar Turán number of $H$, denoted by $ex_{\mathcal{P}}(n,H)$, is the maximum number of edges in an $n$-vertex $H$-free planar graph. The planar Turán number of $k\geq 3$ vertex-disjoint union of cycles is the trivial value $3n-6$. Let $C_{\ell}$ denote the cycle of length $\ell$ and $C_{\ell}\cup C_t$ denote the union of disjoint cycles $C_{\ell}$ and $C_t$. The planar Turán number $ex_{\mathcal{P}}(n,H)$ is known if $H=C_{\ell}\cup C_k$, where $\ell,k\in \{3,4\}$. In this paper, we determine the value $ex_{\mathcal{P}}(n,C_3\cup C_5)=\lfloor\frac{8n-13}{3}\rfloor$ and characterize the extremal graphs when $n$ is sufficiently large.

In 1978, Anderson and White asked whether there is a decomposition of $K_{12}$ into two graphs, one planar and one toroidal. Using theoretical arguments and a computer search of all maximal planar graphs of order 12, we show that no such decomposition exists. We further show that if $G$ is planar of order 12 and $H\subseteq\overline{G}$ is toroidal, then $H$ has at least two fewer edges than $\overline{G}$. A computer search found all 123 unique pairs $\left(G,H\right)$ that make this an equality.

Let \( G \) be a graph with order \( n(G) \geq 5 \), local metric dimension \( \dim_l(G) \), and clique number \( ω(G) \). In this paper, we investigate the local metric dimension of \( K_5 \)-free graphs and prove that \( \dim_l(G) \leq \lfloor\frac{2}{3}n(G)\rfloor \) when \( ω(G) = 4 \). As a consequence of this finding, along with previous publications, we establish that if \( G \) is a \( K_5 \)-free graph, then \( \dim_l(G) \leq \lfloor\frac{2}{5}n(G)\rfloor \) when \( ω(G) = 2 \), \( \dim_l(G) \leq \lfloor\frac{1}{2}n(G)\rfloor \) when \( ω(G) = 3 \), and \( \dim_l(G) \leq \lfloor\frac{2}{3}n(G)\rfloor \) when \( ω(G) = 4 \). Notably, these bounds are sharp for planar graphs. These results for graphs with a clique number less than or equal to 4 provide a positive answer to the conjecture stating that if \( n(G) \geq ω(G) + 1 \geq 4 \), then \( \dim_l(G) \leq \left( \frac{ω(G) - 2}{ω(G) - 1} \right)n(G) \).

The Total Coloring Conjecture (TCC) for planar graphs with a maximum degree of six remains open. Previous studies suggest that TCC is valid for such graphs if they do not contain any subgraph isomorphic to a 4-fan. In this paper, we present an improved conclusion by establishing that TCC holds for planar graphs that are free of three particular substructures, namely the mushroom, the tent, and the cone. This advancement enhances previous findings by demonstrating that TCC is applicable to planar graphs with a maximum degree of six, which can accommodate sparse 4-fans, 5-fans, 5-wheels, and 6-wheels.

A graph $G$ is called degree-truncated $k$-choosable if for every list assignment $L$ with $|L(v)| \ge \min\{d_G(v), k\}$ for each vertex $v$, $G$ is $L$-colourable. Richter asked whether every 3-connected non-complete planar graph is degree-truncated 6-choosable. We answer this question in negative by constructing a 3-connected non-complete planar graph which is not degree-truncated 7-choosable. Then we prove that every 3-connected non-complete planar graph is degree-truncated 16-DP-colourable (and hence degree-truncated $16$-choosable). We further prove that for an arbitrary proper minor closed family ${\mathcal G}$ of graphs, let $s$ be the minimum integer such that $K_{s,t} \notin \mathcal{G}$ for some $t$, then there is a constant $k$ such that every $s$-connected graph $G \in {\mathcal G}$ other than a GDP tree is degree-truncated DP-$k$-colourable (and hence degree-truncated $k$-choosable), where a GDP-tree is a graph whose blocks are complete graphs or cycles. In particular, for any surface $Σ$, there is a constant $k$ such that every 3-connected non-complete graph embeddable on $Σ$ is degree-truncated DP-$k$-colourable (and hence degree-truncated $k$-choosable). The $s$-connectedness for graphs in $\mathcal{G}$ (and 3-connectedness for graphs embeddable on $Σ$) is necessary, as for any positive integer $k$, $K_{s-1,k^{s-1}} \in \mathcal{G}$ ($K_{2,k^2}$ is planar) is not degree-truncated $k$-choosable. Also, non-completeness is a necessary condition, as complete graphs are not degree-choosable.

We study vertex sparsification for preserving distances in planar graphs. Given an edge-weighted planar graph with $k$ terminals, the goal is to construct an emulator, which is a smaller edge-weighted planar graph that contains the terminals and exactly preserves the pairwise distances between them. We construct exact planar emulators of size $O(f^2k^2)$ in the setting where terminals lie on $f$ faces in the planar embedding of the input graph. Our result generalizes and interpolates between the previous results of Chang and Ophelders and Goranci, Henzinger, and Peng which is an $O(k^2)$ bound in the setting where all terminals lie on a single face (i.e., $f=1$), and the result of Krauthgamer, Nguyen, and Zondiner, which is an $O(k^4)$ bound for the general case (i.e., $f=k$). Our construction follows a recent new way of analyzing graph structures, by viewing graphs as paths and their intersections, which we believe is of independent interest.

We show that every $n$-vertex planar graph is 3-colourable with monochromatic components of size $O(n^{4/9})$. The best previous bound was $O(n^{1/2})$ due to Linial, Matoušek, Sheffet and Tardos [Combin. Probab. Comput., 2008].

The toughness of a graph $G$ is defined as the minimum value of $|S|/c(G-S)$ over all cutsets $S$ of $G$ if $G$ is noncomplete, and is defined to be $\infty$ if $G$ is complete. For a real number $t$, we say that $G$ is $t$-tough if its toughness is at least $t$. Followed from the classic 1956 result of Tutte, every more than $\frac{3}{2}$-tough planar graph on at least three vertices has a 2-factor. In 1999, Owens constructed a sequence of maximal planar graphs with toughness $\frac{3}{2}-\varepsilon$ for any $\varepsilon >0$, but the graphs do not contain any 2-factor. He then posed the question of whether there exists a maximal planar graph with toughness exactly $\frac{3}{2}$ and with no 2-factor. This question was recently answered affirmatively by the third author. This naturally leads to the question: under what conditions does a $\frac{3}{2}$-tough maximal planar graph contain a 2-factor? In this paper, we provide a sufficient condition for the existence of 2-factors in $\frac{3}{2}$-tough maximal planar graphs, stated as a bound on the distance between vertices of degree 3.

The square of a graph $G$, denoted by $G^2$, has the same vertex set as $G$ and has an edge between two vertices if the distance between them in $G$ is at most $2$. Thomassen (2018) and independently, Hartke, Jahanbekam and Thomas (2016) proved that $χ(G^2) \leq 7$ if $G$ is a subcubic planar graph. A natural question is whether $χ_{\ell}(G^2) \leq 7$ or not if $G$ is a subcubic planar graph. Recently, Kim and Lian (2024) proved that $χ_{\ell}(G^2) \leq 7$ if $G$ is a subcubic planar graph of girth at least 6. In this paper, we prove that $χ_{\ell}(G^2) \leq 7$ if $G$ is a subcubic planar graph without 4-cycles and 5-cycles, which improves the result of Kim and Lian.

Given an origami crease pattern $C=(V,E)$, a straight-line planar graph embedded in a region of $\mathbb{R}^2$, we assign each crease to be either a mountain crease (which bends convexly) or a valley crease (which bends concavely), creating a mountain-valley (MV) assignment $μ:E\to\{-1,1\}$. An MV assignment $μ$ is locally valid if the faces around each vertex in $C$ can be folded flat under $μ$. In this paper, we investigate locally valid MV assignments of the Miura-ori, $M_{m,n}$, an $m\times n$ parallelogram tessellation used in numerous engineering applications. The origami flip graph $OFG(C)$ of $C$ is a graph whose vertices are locally valid MV assignments of $C$, and two vertices are adjacent if they differ by a face flip, an operation that swaps the MV-parity of every crease bordering a given face of $C$. We enumerate the number of vertices and edges in $OFG(M_{2,n})$ and prove several facts about the degrees of vertices in $OFG(M_{2,n})$. By finding recurrence relations, we show that the number of vertices of degree $d$ and $2n-a$ (for $0\leq a$) are both described by polynomials of particular degrees. We then prove that the diameter of $OFG(M_{2,n})$ is $\lceil \frac{n^2}{2}\rceil$ using techniques from 3-coloring reconfiguration graphs.

The Sierpiński product of graphs generalises the vast and relevant class of Sierpiński-type graphs, and is also related to the classic lexicographic product of graphs. Our first main results are necessary and sufficient conditions for the higher connectivity of Sierpiński products. Among other applications, we characterise the polyhedral ($3$-connected and planar) Sierpiński products of polyhedra. Our other main result is the complete classification of the regular polyhedral Sierpiński products, and more generally of the regular, connected, planar Sierpiński products. To prove this classification, we introduce and study the intriguing class of planar graphs where each vertex may be assigned a colour in such a way that each vertex has neighbours of the same set of colours and in the same cyclic order around the vertex. We also completely classify the planar lexicographic products.

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.

We study a conjecture due to Dallard, Krnc, Kwon, Milanič, Munaro, Štorgel, and Wiederrecht stating that for any positive integer $d$ and any planar graph $H$, the class of all $K_{1,d}$-free graphs without $H$ as an induced minor has bounded tree-independence number. A $k$-wheel is the graph obtained from a cycle of length $k$ by adding a vertex adjacent to all vertices of the cycle. We show that the conjecture of Dallard et al. is true when $H$ is a $k$-wheel for any $k\geq 3$. Our proof uses a generalization of the concept of brambles to tree-independence number. As a consequence of our main result, several important $\mathsf{NP}$-hard problems such as Maximum Independent Set are tractable on $K_{1,d}$-free graphs without large induced wheel minors. Moreover, for fixed $d$ and $k$, we provide a polynomial-time algorithm that, given a $K_{1,d}$-free graph $G$ as input, finds an induced minor model of a $k$-wheel in $G$ if one exists.

In a reconfiguration setting, each clique of a graph $G$ is viewed as a set of tokens placed on vertices of $G$ such that no vertex has more than one token and any two tokens are adjacent. Three well-known reconfiguration rules have been studied in the literature: Token Jumping ($\mathsf{TJ}$), Token Sliding ($\mathsf{TS}$), and Token Addition/Removal ($\mathsf{TAR}$). Given a graph $G$ and a reconfiguration rule $\mathsf{R} \in \{\mathsf{TS}, \mathsf{TJ}, \mathsf{TAR}\}$, a reconfiguration graph of $k$-cliques of $G$, denoted by $\mathsf{R}_k(G)$, is the graph whose vertices are cliques of $G$ of size $k$ and two vertices are adjacent if one can be obtained from the other by applying $\mathsf{R}$ exactly once. In this paper, we initiate the study of structural properties of reconfiguration graphs of cliques, proving several interesting results primarily under $\mathsf{TS}$ and $\mathsf{TJ}$ rules. In particular, we establish a formula relating the clique number of $G$ and that of $\mathsf{TS}_k(G)$, and bound the chromatic number of $\mathsf{TS}_k(G)$ via that of an appropriate Johnson graph. Additionally, we present an algorithm to construct $\mathsf{TS}_{ω(G)-1}(G)$ from $\mathsf{TJ}_{ω(G)}(G)$ and derive structural properties of $\mathsf{TJ}_{ω(G)}(G)$ graphs, where $ω(G)$ denotes the clique number of $G$. Finally, we show that $\mathsf{TS}_k(G)$ is planar whenever $G$ is planar and establish bounds on the number of $3$- and $4$-cliques based on results concerning $\mathsf{TS}_k(G)$ graphs. In particular, we prove that any planar graph $G$ with $n$ vertices can contain at most $3n - 8$ triangles, which aligns with the classical bound on maximal planar graphs.