arXiv++ Combinatorics

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.

The $k$-token graph $T_k(G)$ is the graph whose vertices are the $k$-subsets of vertices of a graph $G$, with two vertices of $T_k(G)$ adjacent if their symmetric difference is an edge of $G$. We explore when $T_k(G)$ is a well-covered graph, that is, when all of its maximal independent sets have the same cardinality. For bipartite graphs $G$, we classify when $T_k(G)$ is well-covered. For an arbitrary graph $G$, we show that if $T_2(G)$ is well-covered, then the girth of $G$ is at most four. We include upper and lower bounds on the independence number of $T_k(G)$, and provide some families of well-covered token graphs.

A set $S$ of vertices of a graph $G$ is exponentially independent if, for every vertex $u$ in $S$, $$\sum\limits_{v\in S\setminus \{ u\}}\left(\frac{1}{2}\right)^{{\rm dist}_{(G,S)}(u,v)-1}<1,$$ where ${\rm dist}_{(G,S)}(u,v)$ is the distance between $u$ and $v$ in the graph $G-(S\setminus \{ u,v\})$. The exponential independence number $α_e(G)$ of $G$ is the maximum order of an exponentially independent set in $G$. In the present paper we present several bounds on this parameter and highlight some of the many related open problems. In particular, we prove that subcubic graphs of order $n$ have exponentially independent sets of order $Ω(n/\log^2(n))$, that the infinite cubic tree has no exponentially independent set of positive density, and that subcubic trees of order $n$ have exponentially independent sets of order $(n+3)/4$.

The Turán number $T(n,α+1,r)$ is the minimum number of edges in an $n$-vertex $r$-graph whose independence number does not exceed $α$. For each $r\geq 2$, there exists $t_*(r)$ such that $T(n,α+1,r) = t_*(r) \: n^r \: α^{1-r} \: (1+o(1))$ as $α/ r \to\infty$ and $n / α\to\infty$. It is known that $t_*(2) = 1/2$, and the conjectured value of $t_*(3)$ is $2/3$. We prove that $t_*(4) < 0.706335\:$.

Ryser's conjecture says that for every $r$-partite hypergraph $H$ with matching number $ν(H)$, the vertex cover number is at most $(r-1)ν(H)$. This far reaching generalization of König's theorem is only known to be true for $r\leq 3$, or $ν(G)=1$ and $r\leq 5$. An equivalent formulation of Ryser's conjecture is that in every $r$-edge coloring of a graph $G$ with independence number $α(G)$, there exists at most $(r-1)α(G)$ monochromatic connected subgraphs which cover the vertex set of $G$. We make the case that this latter formulation of Ryser's conjecture naturally leads to a variety of stronger conjectures and generalizations to hypergraphs and multipartite graphs. Regarding these generalizations and strengthenings, we survey the known results, improving upon some, and we introduce a collection of new problems and results.

Given a permutation group $G$, the derangement graph $Γ_G$ of $G$ is the Cayley graph with connection set the set of all derangements of $G$. We prove that, when $G$ is transitive of degree at least $3$, $Γ_G$ contains a triangle. The motivation for this work is the question of how large can be the ratio of the independence number of $Γ_G$ to the size of the stabilizer of a point in $G$. We give examples of transitive groups where this ratio is maximum.

We propose new bounds on the domination number and on the independence number of a graph and show that our bounds compare favorably to recent ones. Our bounds are obtained by using the Bhatia-Davis inequality linking the variance, the expected value, the minimum, and the maximum of a random variable with bounded distribution.

Fractional graph isomorphism is the linear relaxation of an integer programming formulation of graph isomorphism. It preserves some invariants of graphs, like degree sequences and equitable partitions, but it does not preserve others like connectivity, clique and independence numbers, chromatic number, vertex and edge cover numbers, matching number, domination and total domination numbers. In this work, we extend the concept of fractional graph isomorphism to hypergraphs, and give an alternative characterization, analogous to one of those that are known for graphs. With this new concept we prove that the fractional packing, covering, matching and transversal numbers on hypergraphs are invariant under fractional hypergraph isomorphism. As a consequence, fractional matching, vertex and edge cover, independence, domination and total domination numbers are invariant under fractional graph isomorphism. This is not the case of fractional chromatic, clique, and clique cover numbers. In this way, most of the classical fractional parameters are classified with respect to their invariance under fractional graph isomorphism.