arXiv++ Combinatorics

A polyhedral graph is a $3$-connected planar graph. We find the least possible order $p(k,a)$ of a polyhedral graph containing a $k$-independent set of size $a$ for all positive integers $k$ and $a$. In the case $k = 1$ and $a$ even, we prove that the extremal graphs are exactly the vertex-face (radial) graphs of maximal planar graphs.

A $k$-independent set in a connected graph is a set of vertices such that any two vertices in the set are at distance greater than $k$ in the graph. The $k$-independence number of a graph, denoted $α_k$, is the size of a largest $k$-independent set in the graph. Recent results have made use of polynomials that depend on the spectrum of the graph to bound the $k$-independence number. They are optimized for the cases $k=1,2$. There are polynomials that give good (and sometimes) optimal results for general $k$, including case $k=3$. In this paper, we provide the best possible bound that can be obtained by choosing a polynomial for case $k=3$ and apply this bound to well-known families of graphs including the Hamming graph.

Let $G$ be a simple graph of order $n$. A majority dominator coloring of a graph $G$ is proper coloring in which each vertex of the graph dominates at least half of one color class. The majority dominator chromatic number $χ_{md}(G)$ is the minimum number of color classes in a majority dominator coloring of $G$. In this paper we study properties of the majority dominator coloring of a graph. We obtain tight upper and lower bounds in terms of chromatic number, dominator chromatic number, maximum degree, domination and independence number. We also study majority dominator coloring number of selected families of graphs.

Given integers $p, q\ge2$, we say that a graph $G$ is $(K_p,K_q)$-free if there exists a red/blue edge coloring of $G$ such that it contains neither a red $K_p$ nor a blue $K_q$. Fix a function $f( n )$, the Ramsey-Turán number $RT( {n,p,q,f( n ))} $ is the maximum number of edges in an $n$-vertex $(K_p,K_q)$-free graph with independence number at most $f( n )$. For any $δ>0$, let $ρ(p, q,δ) = \mathop {\lim }\limits_{n \to \infty } \frac{RT(n,p, q,δn)}{n^2}$. We always call $ρ(p, q):= \mathop {\lim }\limits_{δ\to 0}ρ(p, q,δ)$ the Ramsey-Turán density of $K_p$ and $K_q$. In 1993, Erdős, Hajnal, Simonovits, Sós and Szemerédi proposed to determine the value of $ρ(3,q)$ for $q\ge3$, and they conjectured that for $q \ge 2$, $ρ\left( {3,2q - 1} \right) = \frac{1}{2}(1 - \frac{1}{r(3,q) - 1})$. Recently, Kim, Kim and Liu (2019) conjectured that for $q \ge 2$, $ρ( {3,2q } ) = \frac{1}{2}( 1 - \frac{1}{r( {3,q} )})$. Erdős et al. (1993) determined $ρ(3,q)$ for $q=3,4,5$ and $ρ(4,4)$. There is no progress on the Ramsey-Turán density $ρ(p, q)$ in the past thirty years. In this paper, we obtain $ρ(3,6)=\frac{5}{12}$ and $ρ(3,7)=\frac{7}{16}$. Moreover, we show that the corresponding asymptotically extremal structures are weakly stable, which answers a problem of Erdős et al. (1993) for the two cases.

The Grundy domination number, ${γ_{\rm gr}}(G)$, of a graph $G$ is the maximum length of a sequence $(v_1,v_2,\ldots, v_k)$ of vertices in $G$ such that for every $i\in \{2,\ldots, k\}$, the closed neighborhood $N[v_i]$ contains a vertex that does not belong to any closed neighborhood $N[v_j]$, where $j<i$. It is well known that the Grundy domination number of any graph $G$ is greater than or equal to the upper domination number $Γ(G)$, which is in turn greater than or equal to the independence number $α(G)$. In this paper, we initiate the study of the class of graphs $G$ with $Γ(G)={γ_{\rm gr}}(G)$ and its subclass consisting of graphs $G$ with $α(G)={γ_{\rm gr}}(G)$. We characterize the latter class of graphs among all twin-free connected graphs, provide a number of properties of these graphs, and prove that the hypercubes are members of this class. In addition, we give several necessary conditions for graphs $G$ with $Γ(G)={γ_{\rm gr}}(G)$ and present large families of such graphs.

Let $G$ be a graph with adjacency matrix $A(G)$ and degree diagonal matrix $D (G)$. In 2017, Nikiforov [Appl. Anal. Discrete Math., 11 (2017) 81--107] defined the matrix $A_α(G) = αD(G) + (1-α)A(G)$ for any real $α\in[0,1]$. The largest eigenvalue of $A(G)$ is called the spectral radius of $G$, while the largest eigenvalue of $A_α(G)$ is called the $A_α$ spectral radius of $G$. Let $\mathcal{G}_{n,i}$ be the set of graphs of order $n$ with independence number $i$. Recently, for all graphs in $\mathcal{G}_{n,i}$ having the minimum or the maximum $A$, $Q$ and $A_α$ spectral radius where $i\in\{1,2,\lfloor\frac{n}{2}\rfloor\,\lceil\frac{n}{2}\rceil+1,n-3,n-2,n-1\}$, there are some results have been given by Xu, Li and Sun et al., respectively. In 2021, Luo and Guo [Discrete Math., 345 (2022) 112778] determined all graphs in $\mathcal{G}_{n,n-4}$ having the minimum spectral radius. In this paper, we characterize the graphs in $\mathcal{G}_{n,n-4}$ having the minimum and the maximum $A_α$ spectral radius for $α\in[\frac{1}{2},1)$, respectively.

The cycles are the only $2$-connected graphs in which any two nonadjacent vertices form a vertex cut. We generalize this fact by proving that for every integer $k\ge 3$ there exists a unique graph $G$ satisfying the following conditions: (1) $G$ is $k$-connected; (2) the independence number of $G$ is greater than $k;$ (3) any independent set of cardinality $k$ is a vertex cut of $G.$ The edge version of this result does not hold. We also consider the problem when replacing independent sets by the periphery.

We show that the problem of counting perfect matchings remains #P-complete even if we restrict the input to very dense graphs, proving the conjecture in [5]. Here "dense graphs" refer to bipartite graphs of bipartite independence number $\leq 2$, or general graphs of independence number $\leq 2$. Our proof is by reduction from counting perfect matchings in bipartite graphs, via elementary linear algebra tricks and graph constructions.

We consider the following problem: for a given graph $G$ and two integers $k$ and $d$, can we apply a fixed graph operation at most $k$ times in order to reduce a given graph parameter $π$ by at least $d$? We show that this problem is NP-hard when the parameter is the independence number and the graph operation is vertex deletion or edge contraction, even for fixed $d=1$ and when restricted to chordal graphs. We give a polynomial time algorithm for bipartite graphs when the operation is edge contraction, the parameter is the independence number and $d$ is fixed. Further, we complete the complexity dichotomy on $H$-free graphs when the parameter is the clique number and the operation is edge contraction by showing that this problem is NP-hard in $(C_3+P_1)$-free graphs even for fixed $d=1$. When the operation is edge deletion and the parameter is the chromatic number, we determine the computational complexity of the associated problem on cographs and complete multipartite graphs. Our results answer several open questions stated in [Diner et al., Theoretical Computer Science, 746, p. 49-72 (2012)].

Let $G$ be a simple connected simple graph of order $n$. The distance Laplacian matrix $D^{L}(G)$ is defined as $D^L(G)=Diag(Tr)-D(G)$, where $Diag(Tr)$ is the diagonal matrix of vertex transmissions and $D(G)$ is the distance matrix of $G$. The eigenvalues of $D^{L}(G)$ are the distance Laplacian eigenvalues of $G$ and are denoted by $\partial_{1}^{L}(G), \partial_{2}^{L}(G),\dots,\partial_{n}^{L}(G)$. The \textit{ distance Laplacian spread} $DLS(G)$ of a connected graph $G$ is the difference between largest and second smallest distance Laplacian eigenvalues, that is, $\partial_{1}^{L}(G)-\partial_{n-1}^{L}(G)$. We obtain bounds for $DLS(G)$ in terms of the Wiener index $W(G)$, order $n$ and the maximum transmission degree $Tr_{max}(G)$ of $G$ and characterize the extremal graphs. We obtain two lower bounds for $DLS(G)$, the first one in terms of the order, diameter and the Wiener index of the graph, and the second one in terms of the order, maximum degree and the independence number of the graph. For a connected $ k-partite$ graph $G$, $k\leq n-1$, with $n$ vertices having disconnected complement, we show that $ DLS(G)\geq \Big \lfloor \frac{n}{k}\Big \rfloor$ with equality if and only if $G$ is a $complete ~ k-partite$ graph having cardinality of each independent class same and $n \equiv 0 \pmod k$.

Given a family $\mathcal{B}$ of axis-parallel boxes in $\mathbb{R}^d$, let $τ$ denote its piercing number, and $ν$ its independence number. It is an old question whether $τ/ν$ can be arbitrarily large for given $d\geq 2$. Here, for every $ν$, we construct a family of axis-parallel boxes achieving $$τ\geq Ω_d(ν)\cdot\left(\frac{\log ν}{\log\log ν}\right)^{d-2}.$$ This not only answers the previous question for every $d\geq 3$ positively, but also matches the best known upper bound up to double-logarithmic factors. Our main construction has further implications about the Ramsey and coloring properties of configurations of boxes as well. We show the existence of a family of $n$ boxes in $\mathbb{R}^{d}$, whose intersection graph has clique and independence number $O_d(n^{1/2})\cdot \left(\frac{\log n}{\log\log n}\right)^{-(d-2)/2}.$ This is the first improvement over the trivial upper bound $O_d(n^{1/2})$, and matches the best known lower bound up to double-logarithmic factors. Finally, for every $ω$ satisfying $\frac{\log n}{\log\log n}\ll ω\ll n^{1-\varepsilon}$, we construct an intersection graph of $n$ boxes with clique number at most $ω$, and chromatic number $Ω_{d,\varepsilon}(ω)\cdot \left(\frac{\log n}{\log\log n}\right)^{d-2}.$ This matches the best known upper bound up to a factor of $O_d((\log w)(\log \log n)^{d-2})$.

An $n$-vertex graph is Hamiltonian if it contains a cycle that covers all of its vertices, and it is pancyclic if it contains cycles of all lengths from $3$ up to $n$. In 1972, Erdős conjectured that every Hamiltonian graph with independence number at most $k$ and at least $n = Ω(k^2)$ vertices is pancyclic. In this paper we prove this old conjecture in a strong form by showing that if such a graph has $n = (2+o(1))k^2$ vertices, it is already pancyclic, and this bound is asymptotically best possible.

The independence number $α(G)$ is the cardinality of a maximum independent set, while $μ(G)$ is the size of a maximum matching in $G$. If $α(G)+μ(G)$ equals the order of $G$, then $G$ is called a Konig-Egervary graph. The number $d\left( G\right) =\max\{\left\vert A\right\vert -\left\vert N\left( A\right) \right\vert :A\subseteq V\}$ is called the critical difference of $G$ (where $N\left( A\right) =\left\{ v:v\in V,N\left( v\right) \cap A\neq\emptyset\right\} $). It is known that $α(G)-μ(G)\leq d\left( G\right) $ holds for every graph. A graph $G$ is unicyclic if it has a unique cycle and almost bipartite if it has only one odd cycle. Let $\mathrm{\ker}(G)=\bigcap\left\{ S:S\text{ is a critical independent set}\right\} $, $\mathrm{core}\left( G\right) $ be the intersection of all maximum independent sets, and $\mathrm{corona}\left( G\right) $ be the union of all maximum independent sets of $G$. It is known that $\mathrm{\ker}(G)\subseteq\mathrm{core}(G)$ is true for every graph, while the equality holds for bipartite graphs, and for unicyclic non-Konig-Egervary graphs. In this paper, we prove that if $G$ is an almost bipartite non-Konig-Egervary graph, then $\mathrm{\ker}(G)=$ $\mathrm{core}(G)$, $\mathrm{corona}(G)$ $\cup$ $N(\mathrm{core} \left( G\right) )=V(G)$, and $\left\vert \mathrm{corona}(G)\right\vert +\left\vert \mathrm{core}(G)\right\vert =2α(G)+1$.

A dominating set in a graph $G$ is a set $S$ of vertices such that every vertex that does not belong to $S$ is adjacent to a vertex in $S$. The domination number $γ(G)$ of $G$ is the minimum cardinality of a dominating set of $G$. The common independence number $α_c(G)$ of $G$ is the greatest integer $r$ such that every vertex of $G$ belongs to some independent set of cardinality at least~$r$. The common independence number is squeezed between the independent domination number $i(G)$ and the independence number $α(G)$ of $G$, that is, $γ(G) \le i(G) \le α_c(G) \le α(G)$. A graph $G$ is domination perfect if $γ(H) = i(H)$ for every induced subgraph $H$ of $G$. We define a graph $G$ as common domination perfect if $γ(H) = α_c(H)$ for every induced subgraph $H$ of $G$. We provide a characterization of common domination perfect graphs in terms of ten forbidden induced subgraphs.

We show that the independence number of $ G_{n,p}$ is concentrated on two values if $ n^{-2/3+ ε} < p \le 1$. This result is roughly best possible as an argument of Sah and Sawhney shows that the independence number is not, in general, concentrated on 2 values for $ p = o \left( (\log(n)/n)^{2/3} \right)$. The extent of concentration of the independence number of $ G_{n,p}$ for $ ω(1/n) <p \le n^{-2/3}$ remains an interesting open question.

Given a graph $H$ and a function $f(n)$, the Ramsey-Turán number $RT(n,H,f(n))$ is the maximum number of edges in an $n$-vertex $H$-free graph with independence number at most $f(n)$. For $H$ being a small clique, many results about $RT(n,H,f(n))$ are known and we focus our attention on $H=K_s$ for $s\leq 13$. By applying Szemerédi's Regularity Lemma, the dependent random choice method and some weighted Turán-type results, we prove that these cliques have the so-called phase transitions when $f(n)$ is around the inverse function of the off-diagonal Ramsey number of $K_r$ versus a large clique $K_n$ for some $r\leq s$.

The independence number of a tree decomposition is the maximum of the independence numbers of the subgraphs induced by its bags. The tree-independence number of a graph is the minimum independence number of a tree decomposition of it. Several NP-hard graph problems, like maximum weight independent set, can be solved in time n^{O(k)} if the input n-vertex graph is given together with a tree decomposition of independence number k. Yolov, in [SODA 2018], gave an algorithm that, given an n-vertex graph G and an integer k, in time n^{O(k^3)} either constructs a tree decomposition of G whose independence number is O(k^3) or correctly reports that the tree-independence number of G is larger than k. In this paper, we first give an algorithm for computing the tree-independence number with a better approximation ratio and running time and then prove that our algorithm is, in some sense, the best one can hope for. More precisely, our algorithm runs in time 2^{O(k^2)} n^{O(k)} and either outputs a tree decomposition of G with independence number at most $8k$, or determines that the tree-independence number of G is larger than k. This implies 2^{O(k^2)} n^{O(k)}-time algorithms for various problems, like maximum weight independent set, parameterized by the tree-independence number k without needing the decomposition as an input. Assuming Gap-ETH, an n^{Ω(k)} factor in the running time is unavoidable for any approximation algorithm for the tree-independence number. Our second result is that the exact computation of the tree-independence number is para-NP-hard: We show that for every constant k \ge 4 it is NP-hard to decide if a given graph has the tree-independence number at most k.

We introduce structured decompositions, category-theoretic structures which simultaneously generalize notions from graph theory (including treewidth, layered treewidth, co-treewidth, graph decomposition width, tree independence number, hypergraph treewidth and H-treewidth), geometric group theory (specifically Bass-Serre theory), and dynamical systems (e.g. hybrid dynamical systems). We define width functors, which provide a compositional way to analyze and relate different structural complexity measures, and establish a general duality between decompositions and completions of objects.

Let $H$ be an $h$-vertex graph. The vertex arboricity $ar(H)$ of $H$ is the least integer $r$ such that $V(H)$ can be partitioned into $r$ parts and each part induces a forest in $H$. We show that for sufficiently large $n\in h\mathbb{N}$, every $n$-vertex graph $G$ with $δ(G)\geq \max\left\{\left(1-\frac{2}{f(H)}+o(1)\right)n, \left(\frac{1}{2}+o(1)\right)n\right\}$ and $α(G)=o(n)$ contains an $H$-factor, where $f(H)=2ar(H)$ or $2ar(H)-1$. The result can be viewed an analogue of the Alon--Yuster theorem \cite{MR1376050} in Ramsey--Turán theory, which generalises the results of Balogh--Molla--Sharifzadeh~\cite{MR3570984} and Knierm--Su~\cite{MR4193066} on clique factors. In particular the degree conditions are asymptotically sharp for infinitely many graphs $H$ which are not cliques.

We continue the study of $(\mathrm{tw},ω)$-bounded graph classes, that is, hereditary graph classes in which the treewidth can only be large due to the presence of a large clique, with the goal of understanding the extent to which this property has useful algorithmic implications for the Independent Set and related problems. In the previous paper of the series [Dallard, Milanič, and Štorgel, Treewidth versus clique number. II. Tree-independence number], we introduced the tree-independence number, a min-max graph invariant related to tree decompositions. Bounded tree-independence number implies both $(\mathrm{tw},ω)$-boundedness and the existence of a polynomial-time algorithm for the Maximum Weight Independent Set problem, provided that the input graph is given together with a tree decomposition with bounded independence number. In this paper, we consider six graph containment relations and for each of them characterize the graphs $H$ for which any graph excluding $H$ with respect to the relation admits a tree decomposition with bounded independence number. The induced minor relation is of particular interest: we show that excluding either a $K_5$ minus an edge or the $4$-wheel implies the existence of a tree decomposition in which every bag is a clique plus at most $3$ vertices, while excluding a complete bipartite graph $K_{2,q}$ implies the existence of a tree decomposition with independence number at most $2(q-1)$. Our constructive proofs are obtained using a variety of tools, including $\ell$-refined tree decompositions, SPQR trees, and potential maximal cliques. They imply polynomial-time algorithms for the Independent Set and related problems in an infinite family of graph classes; in particular, the results apply to the class of $1$-perfectly orientable graphs, answering a question of Beisegel, Chudnovsky, Gurvich, Milanič, and Servatius from 2019.