arXiv++ Combinatorics

For positive integers $n$ and $k$ with $n\geq 2k+1$, the Kneser graph $K(n,k)$ is the graph with vertex set consisting of all $k$-sets of $\{1,\dots,n\}$, where two $k$-sets are adjacent exactly when they are disjoint. The independent sets of $K(n,k)$ are $k$-uniform intersecting families, and hence the maximum size independent sets are given by the Erdős-Ko-Rado Theorem. Let $K_p(n,k)$ be a random spanning subgraph of $K(n,k)$ where each edge is included independently with probability $p$. Bollobás, Narayanan, and Raigorodskii asked for what $p$ does $K_p(n,k)$ have the same independence number as $K(n,k)$ with high probability. For $n=2k+1$, we prove a hitting time result, which gives a sharp threshold for this problem at $p=3/4$. Additionally, completing work of Das and Tran and work of Devlin and Kahn, we determine a sharp threshold function for all $n>2k+1$.

One of Erdos's conjectures states that every triangle-free graph on $n$ vertices has an induced subgraph on $n/2$ vertices with at most $n^2/50$ edges. We report several partial results towards this conjecture. In particular, we establish the new bound $\frac{27}{1024}n^2$ on the number of edges in general case. We completely prove the conjecture for graphs of girth $\geq 5$, for graphs with independence number $\geq 2n/5$ and for strongly regular graphs. Each of these three classes includes both known (conjectured) extremal configurations, the 5-cycle and the Petersen graph.

A broadcast on a nontrivial connected graph G with vertex set V is a function f from V to {0,1,...,diam(G)} such that f(v) is at most the eccentricity of v for all v in V. The weight of f is the sum of the function values taken over V. A vertex u hears f from v if f(v) is positive and d(u,v) is at most f(v). A broadcast f is dominating if every vertex of G hears f. The upper broadcast number of G is Γ_{b}(G), which is the maximum weight of a minimal dominating broadcast on G. A broadcast f is boundary independent if, for any vertex w that hears f from vertices v_{1},...,v_{k}, where k is at least 2, the distance d(w,v_{i}) equals f(v_{i}) for each i. The maximum weight of a boundary independent broadcast is the boundary independence broadcast number α_{bn}(G). We compare α_{bn} to Γ_{b}, showing that neither is an upper bound for the other. We show that the differences Γ_{b}-α_{bn} and α_{bn}-Γ_{b} are unbounded, the ratio α_{bn}/Γ_{b} is bounded for all graphs, and Γ_{b}/α_{bn} is bounded for bipartite graphs but unbounded in general.

We describe an infinite family of graphs $G_n$, where $G_n$ has $n$ vertices, independence number at least $n/4$, and no set of less than $\sqrt{n}/2$ vertices intersects all its maximum independent sets. This is motivated by a question of Bollobás, Erdős and Tuza, and disproves a recent conjecture of Friedgut, Kalai and Kindler. Motivated by a related question of the last authors, we show that for every graph $G$ on $n$ vertices with independence number $(1/4+\eps)n$, the average independence number of an induced subgraph of $G$ on a uniform random subset of the vertices is at most $(1/4+\eps-Ω(\eps^2)) n$.

Let $G$ be a graph on $n$ vertices of independence number $α(G)$ such that every induced subgraph of $G$ on $n-k$ vertices has an independent set of size at least $α(G) - \ell$. What is the largest possible $α(G)$ in terms of $n$ for fixed $k$ and $\ell$? We show that $α(G) \le n/2 + C_{k, \ell}$, which is sharp for $k-\ell \le 2$. We also use this result to determine new values of the Erdős--Rogers function.

For every graph $X$, we consider the class of all connected $\{K_{1,3}, X\}$-free graphs which are distinct from an odd cycle and have independence number at least $4$, and we show that all graphs in the class are perfect if and only if $X$ is an induced subgraph of some of $P_6$, $K_1 \cup P_5$, $2P_3$, $Z_2$ or $K_1 \cup Z_1$. Furthermore, for $X$ chosen as $2K_1 \cup K_3$, we list all eight imperfect graphs belonging to the class; and for every other choice of $X$, we show that there are infinitely many such graphs. In addition, for $X$ chosen as $B_{1,2}$, we describe the structure of all imperfect graphs in the class.

Let $Γ$ be the graph whose vertices are the chambers of the finite projective space $PG(3,q)$ with two vertices being adjacent when the corresponding chambers are in general position. It is known that the independence number of this graph is $(q^2+q+1)(q+1)^2$. For $q\ge 43$ we determine the largest independent set of $Γ$ and show that every maximal independent set that is not a largest one has at most constant times $q^3$ elements. For $q\ge 47$, this information is then used to show that $Γ$ has chromatic number $q^2+q$. Furthermore, for many families of generalized quadrangles we prove similar results for the graph that is built in the same way on the chambers of the generalized quadrangle.

Given a finite transitive permutation group $G\leq \operatorname{Sym}(Ω)$, with $|Ω|\geq 2$, the derangement graph $Γ_G$ of $G$ is the Cayley graph $\operatorname{Cay}(G,\operatorname{Der}(G))$, where $\operatorname{Der}(G)$ is the set of all derangements of $G$. Meagher et al. [On triangles in derangement graphs, {\it J. Combin. Theory Ser. A}, 180:105390, 2021] recently proved that $\operatorname{Sym}(2)$ acting on $\{1,2\}$ is the only transitive group whose derangement graph is bipartite and any transitive group of degree at least three has a triangle in its derangement graph. They also showed that there exist transitive groups whose derangement graphs are complete multipartite. This paper gives two new families of transitive groups with complete multipartite derangement graphs. In addition, we prove that if $p$ is an odd prime and $G$ is a transitive group of degree $2p$, then the independence number of $Γ_{G}$ is at most twice the size of a point-stabilizer of $G$.

Hoffman's ratio bound is an upper bound for the independence number of a regular graph in terms of the eigenvalues of the adjacency matrix. The bound has proved to be very useful and has been applied many times. Hoffman did not publish his result, and for a great number of users the emergence of Hoffman's bound is a black hole. With this note I hope to clarify the history of this bound and some of its generalizations.

An independent broadcast on a graph $G$ is a function $f: V \longrightarrow \{0,\ldots,{\rm diam}(G)\}$ such that $(i)$ $f(v)\leq e(v)$ for every vertex $v\in V(G)$, where $\operatorname{diam}(G)$ denotes the diameter of $G$ and $e(v)$ the eccentricity of vertex $v$, and $(ii)$ $d(u,v) > \max \{f(u), f(v)\}$ for every two distinct vertices $u$ and $v$ with $f(u)f(v)>0$. The broadcast independence number $β_b(G)$ of $G$ is then the maximum value of $\sum_{v \in V} f(v)$, taken over all independent broadcasts on $G$. We prove that every circulant graph of the form $C(n;1,a)$, $3\le a\le \lfloor\frac{n}{2} \rfloor$, admits an optimal $2$-bounded independent broadcast, that is, an independent broadcast~$f$ satisfying $f(v)\le 2$ for every vertex $v$, except when $n=2a+1$, or $n=2a$ and $a$ is even. We then determine the broadcast independence number of various classes of such circulant graphs, and prove that, for most of these classes, the equality $β_b(C(n;1,a)) = α(C(n;1,a))$ holds, where $α(C(n;1,a))$ denotes the independence number of $C(n;1,a)$.

The simplicial rook graph ${\rm \mathcal{SR}}(m,n)$ is the graph whose vertices are vectors in $ \mathbb{N}^m$ such that for each vector the summation of its coordinates is $n$ and two vertices are adjacent if their corresponding vectors differ in exactly two coordinates. Martin and Wagner (Graphs Combin. (2015) 31:1589--1611) asked about the independence number of ${\rm \mathcal{SR}}(m,n)$ that is the maximum number of non attacking rooks which can be placed on a $(m-1)$-dimensional simplicial chessboard of side length $n+1$. In this work, we solve this problem and show that $α({\rm \mathcal{SR}}(m,n))=\big(1-o(1)\big)\frac{\binom{n+m-1}{n}}{m}$. We also prove that for the domination number of rook graphs we have $γ({\rm \mathcal{SR}}(m, n))= Θ(n^{m-2})$. Moreover we show that these graphs are Hamiltonian. The cyclic simplicial rook graph ${\rm \mathcal{CSR}}(m,n)$ is the graph whose vertices are vectors in $\mathbb{Z}^{m}_{n}$ such that for each vector the summation of its coordinates modulo $n$ is $0$ and two vertices are adjacent if their corresponding vectors differ in exactly two coordinates. In this work we determine several properties of these graphs such as independence number, chromatic number and automorphism group. Among other results, we also prove that computing the distance between two vertices of a given ${\rm \mathcal{CSR}}(m,n)$ is $ \mathbf{NP}$-hard in terms of $n$ and $m$.

An independent set in a graph is a set of pairwise non-adjacent vertices. The independence number $α{(G)}$ is the size of a maximum independent set in the graph $G$. The independence polynomial of a graph is the generating function for the sequence of numbers of independent sets of each size. In other words, the $k$-th coefficient of the independence polynomial equals the number of independent sets comprised of $k$ vertices. For instance, the degree of the independence polynomial of the graph $G$ is equal to $α{(G)}$. In 1987, Alavi, Malde, Schwenk, and Erd{ö}s conjectured that the independence polynomial of a tree is unimodal. In what follows, we provide support to this assertion considering trees with up to $20$ vertices. Moreover, we show that the corresponding independence polynomials are log-concave and, consequently, unimodal. The algorithm computing the independence polynomial of a given tree makes use of a database of non-isomorphic unlabeled trees to prevent repeated computations.

A $k$-uniform hypergraph with $n$ vertices is an $(n,k,\ell)$-omitting system if it does not contain two edges whose intersection has size exactly $\ell$. If in addition it does not contain two edges whose intersection has size greater than $\ell$, then it is an $(n,k,\ell)$-system. Rödl and Šiňajová proved a lower bound for the independence number of $(n,k,\ell)$-systems that is sharp in order of magnitude for fixed $2 \le \ell \le k-1$. We consider the same question for the larger class of $(n,k,\ell)$-omitting systems. For $k\le 2\ell+1$, we believe that the behavior is similar to the case of $(n,k,\ell)$-systems and prove a nontrivial lower bound for the first open case $\ell=k-2$. For $k>2\ell+1$ we give new lower and upper bounds which show that the minimum independence number of $(n,k,\ell)$-omitting systems has a very different behavior than for $(n,k,\ell)$-systems. Our lower bound for $\ell=k-2$ uses some adaptations of the random greedy independent set algorithm, and our upper bounds (constructions) for $k> 2\ell+1$ are obtained from some pseudorandom graphs. We also prove some related results where we forbid more than two edges with a prescribed common intersection size and this leads to some applications in Ramsey theory. For example, we obtain good bounds for the Ramsey number $r_{k}(F^{k},t)$, where $F^{k}$ is the $k$-uniform Fan. Here the behavior is quite different than the case $k=2$ which reduces to the classical graph Ramsey number $r(3,t)$.

Let $\mathcal{R}$ be a family of axis-parallel rectangles in the plane. The transversal number $τ(\mathcal{R})$ is the minimum number of points needed to pierce all the rectangles. The independence number $ν(\mathcal{R})$ is the maximum number of pairwise disjoint rectangles. Given a positive real number $r$, we say that $\mathcal{R}$ is an r-bounded family if, for any rectangle in $\mathcal{R}$, the aspect ratio of the longer side over the shorter side is at most $r$. Gyárfás and Lehel asked if it is possible to bound the transversal number $τ(\mathcal{R})$ with a linear function of the independence number $ν(\mathcal{R})$. Ahlswede and Karapetyan claimed a positive answer for the particular case of $r$-bounded families, but without providing proof. Chudnovsky et al. confirmed the result proving the bound $τ\leq (14 + 2r^2) ν$. This note aims at giving a simple proof of $τ\leq 2(r+1)(ν-1) + 1$, slightly improving the previous results. As a consequence of this new approach, we also deduce a constant factor bound for the ratio $\fracχω$ in the case of $r$-bounded family.

Let $G$ be a connected simple graph of order $n$. Let $ρ_1(G)\geq ρ_2(G)\geq \cdots \geq ρ_{n-1}(G)> ρ_n(G)=0$ be the eigenvalues of the normalized Laplacian matrix $\mathcal{L}(G)$ of $G$. Denote by $m(ρ_i)$ the multiplicity of the normalized Laplacian eigenvalue $ρ_i$. Let $ν(G)$ be the independence number of $G$. In this paper, we give a full characterization of graphs with some normalized Laplacian eigenvalue of multiplicity $n-3$, which answers a remaining problem in [S. Sun, K.C. Das, On the multiplicities of normalized Laplacian eigenvalues of graphs, Linear Algebra Appl. 609 (2021) 365-385], $i.e.,$ there is no graph with $m(ρ_1)=n-3$ ($n\geq 6$) and $ν(G)=2$. Moreover, we confirm that all the graphs with $m(ρ_1)=n-3$ are determined by their normalized Laplacian spectra.

The general position problem in graph theory asks for the largest set $S$ of vertices of a graph $G$ such that no shortest path of $G$ contains more than two vertices of $S$. In this paper we consider a variant of the general position problem called the \emph{monophonic position problem}, obtained by replacing `shortest path' by `induced path'. We prove some basic properties and bounds for the monophonic position number of a graph and determine the monophonic position number of some graph families, including unicyclic graphs, complements of bipartite graphs and split graphs. We show that the monophonic position number of triangle-free graphs is bounded above by the independence number. We present realisation results for the general position number, monophonic position number and monophonic hull number. Finally we discuss the complexity of the monophonic position problem.

An edge-colored graph $G$ is conflict-free connected if any two of its vertices are connected by a path, which contains a color used on exactly one of its edges. The conflict-free connection number of a connected graph $G$, denoted by $cfc(G)$, is defined as the minimum number of colors that are required in order to make $G$ conflict-free connected. In this paper, we investigate the relation between the conflict-free connection number and the independence number of a graph. We firstly show that $cfc(G)\le α(G)$ for any connected graph $G$, and an example is given showing that the bound is sharp. With this result, we prove that if $T$ is a tree with $Δ(T)\ge \frac{α(T)+2}{2}$, then $cfc(T)=Δ(T)$.

Bang-Jensen, Bessy, Havet and Yeo showed that every digraph of independence number at most 2 and arc-connectivity at least 2 has an out-branching $B^+$ and an in-branching $B^-$ which are arc-disjoint (such two branchings are called a {\it good pair}), which settled a conjecture of Thomassen for digraphs of independence number 2. They also proved that every digraph on at most 6 vertices and arc-connectivity at least 2 has a good pair and gave an example of a 2-arc-strong digraph $D$ on 10 vertices with independence number 4 that has no good pair. They asked for the smallest number $n$ of vertices in a 2-arc-strong digraph which has no good pair. In this paper, we prove that every digraph on at most 9 vertices and arc-connectivity at least 2 has a good pair, which solves this problem.

The Directed Power Graph of a group is a graph whose vertex set is the elements of the group, with an edge from $x$ to $y$ if $y$ is a power of $x$. The \textit{Power Graph} of a group can be obtained from the directed power graph by disorienting its edges. This article discusses properties of cliques, cycles, paths, and coloring in power graphs of finite groups. A construction of the longest directed path in power graphs of cyclic groups is given, along with some results on distance in power graphs. We discuss the cyclic subgroup graph of a group and show that it shares a remarkable number of properties with the power graph, including independence number, completeness, number of holes etc., with a few exceptions like planarity and Hamiltonian.

The $k^{\text{th}}$ power of a graph $G=(V,E)$, $G^k$, is the graph whose vertex set is $V$ and in which two distinct vertices are adjacent if and only if their distance in $G$ is at most $k$. This article proves various eigenvalue bounds for the independence number and chromatic number of $G^k$ which purely depend on the spectrum of $G$, together with a method to optimize them. Our bounds for the $k$-independence number also work for its quantum counterpart, which is not known to be a computable parameter in general, thus justifying the use of integer programming to optimize them. Some of the bounds previously known in the literature follow as a corollary of our main results. Infinite families of graphs where the bounds are sharp are presented as well.