arXiv++ Combinatorics

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.

Let $s\ge2$ and $t\ge2$ be integers. A graph $G$ is $(s,t)$-\emph{splittable} if $V(G)$ can be partitioned into two sets $S$ and $T$ such that $χ(G[S])\geq s$ and $χ(G[T])\geq t$. The well-known Erdős-Lovász Tihany Conjecture from 1968 states that every graph $G$ whose chromatic number $χ(G)=s+t-1$ is more than its clique number $ω(G)$ is $(s,t)$-splittable. In this paper, we prove an enhanced version of the Erdős-Lovász Tihany Conjecture for graphs with independence number two. That is, for every graph $G$ with $χ(G)=s+t-1>ω(G)+1$ is $(s,t+1)$-splittable. There are examples showing that this result is best possible.

The \textit{toughness} $t(G)$ of a graph $G$ is a measure of its connectivity that is closely related to Hamiltonicity. Brouwer proved the lower bound $t(G) > \ell / λ- 2$ on the toughness of any connected $\ell$-regular graph, where $ λ$ is the largest nontrivial eigenvalue of the adjacency matrix. He conjectured that this lower bound can be improved to $\ell / λ-1$ and this conjecture is still open. Brouwer also observed that many families of graphs (in particular, those achieving equality in the Hoffman ratio bound for the independence number) have toughness exactly $\ell / λ$. Cioabă and Wong confirmed Brouwer's observation for several families of graphs, including Kneser graphs $K(n,2)$ and their complements, with the exception of the Petersen graph $K(5,2)$. In this paper, we extend these results and determine the toughness of Kneser graphs $K(n,k)$ when $k\in \{3,4\}$ and $n\geq 2k+1$ as well as for $k\geq 5$ and sufficiently large $n$ (in terms of $k$). In all these cases, the toughness is attained by the complement of a maximum independent set and we conjecture that this is the case for any $k\geq 5$ and $n\geq 2k+1$.

The commuting graph $Δ(G)$ of a finite non-abelian group $G$ is a simple graph with vertex set $G$ and two distinct vertices $x, y$ are adjacent if $xy = yx$. In this paper, among some properties of $Δ(G)$, we investigate $Δ(SD_{8n})$ the commuting graph of the semidihedral group $SD_{8n}$. In this connection, we discuss various graph invariants of $Δ(SD_{8n})$ including minimum degree, vertex connectivity, independence number, matching number and detour properties. We also obtain the Laplacian spectrum, metric dimension and resolving polynomial of $Δ(SD_{8n})$.

A bi-hole of size $t$ in a bipartite graph $G$ is a copy of $K_{t,t}$ in the bipartite complement of $G$. Given an $n \times n$ bipartite graph $G$, let $β(G)$ be the largest $k$ for which $G$ has a bi-hole of size $k$. We prove that \[ β(G) \geq \left \lfloor \frac{1}{2} \cdot \sum_{v \in V(G)} \frac{1}{d(v)+1} \right \rfloor. \] Furthermore, we prove the following generalization of the result above. Given an $n \times n$ bipartite graph $G$, Let $β_d(G)$ be the largest $k$ for which $G$ has a $k \times k$ $d$-degenerate subgraph. We prove that \[ β_d(G) \geq \left \lfloor \frac{1}{2} \cdot \sum_{v \in V(G)} \min\left(1,\frac{d+1}{d(v)+1}\right) \right \rfloor. \] Notice that $β_0(G) = β(G)$.

The independence number, coloring number and related parameters are investigated in the setting of oriented hypergraphs using the spectrum of the normalized Laplace operator. For the independence number, both an inertia--like bound and a ratio--like bound are shown. A Sandwich Theorem involving the clique number, the vector chromatic number and the coloring number is proved, as well as a lower bound for the vector chromatic number in terms of the smallest and the largest eigenvalue of the normalized Laplacian. In addition, spectral partition numbers are studied in relation to the coloring number.

Let $G$ be a connected simple graph on $n$ vertices. Let $\mathcal{L}(G)$ be the normalized Laplacian matrix of $G$ and $ρ_{n-1}(G)$ be the second least eigenvalue of $\mathcal{L}(G)$. Denote by $ν(G)$ the independence number of $G$. Recently, the paper [Characterization of graphs with some normalized Laplacian eigenvalue of multiplicity $n-3$, arXiv:1912.13227] discussed the graphs with some normalized Laplacian eigenvalue of multiplicity $n-3$. However, there is one remaining case (graphs with $ρ_{n-1}(G)\neq 1$ and $ν(G)= 2$) not considered. In this paper, we focus on cographs and graphs with diameter 3 to investigate the graphs with some normalized Laplacian eigenvalue of multiplicity $n-3$.

The chromatic number $χ(G)$ of a graph $G$, that is, the smallest number of colors required to color the vertices of $G$ so that no two adjacent vertices are assigned the same color, is a classic and extensively studied parameter. Here we consider the case where $G$ is a random block graph, also known as the stochastic block model. The vertex set is partitioned into $k\in\mathbb{N}$ parts $V_1, \dotsc, V_k$, and for each $1 \le i\le j\le k$, two vertices $u \in V_i, v\in V_j$ are connected by an edge with some probability $p_{ij} \in (0,1)$ independently. Our main result pins down the typical asymptotic value of $χ(G)$ and establishes the distribution of the sizes of the color classes in optimal colorings. We discover that in contrast to the case of a binomial random graph $G(n,p)$, that corresponds to $k=1$ in our model, where the average size of a color class in an (almost) optimal coloring essentially coincides with the independence number, the block model reveals a more diverse picture: the "average" class in an optimal coloring is a convex combination of several types of independent sets that vary in total size as well as in the size of their intersection with each $V_i$, $1\le i \le k$.

The Birkhoff graph $\mathcal{B}_n$ is the Cayley graph of the symmetric group $S_n$, where two permutations are adjacent if they differ by a single cycle. Our main result is a tighter upper bound on the independence number $α(\mathcal{B}_n)$ of $\mathcal{B}_n$, namely, we show that $α(\mathcal{B}_n) \le O(n!/1.97^n)$ improving on the previous known bound of $α(\mathcal{B}_n) \le O(n!/\sqrt{2}^{n})$ by [Kane-Lovett-Rao, FOCS 2017]. Our approach combines a higher-order version of their representation theoretic techniques with linear programming. With an explicit construction, we also improve their lower bound on $α(\mathcal{B}_n)$ by a factor of $n/2$. This construction is based on a proper coloring of $\mathcal{B}_n$, which also gives an upper bound on the chromatic number $χ(\mathcal{B}_n)$ of $\mathcal{B}_n$. Via known connections, the upper bound on $α(\mathcal{B}_n)$ implies alphabet size lower bounds for a family of maximally recoverable codes on grid-like topologies.

The following natural problem was raised independently by Erdős-Hajnal and Linial-Rabinovich in the late 80's. How large must the independence number $α(G)$ of a graph $G$ be whose every $m$ vertices contain an independent set of size $r$? In this paper we discuss new methods to attack this problem. The first new approach, based on bounding Ramsey numbers of certain graphs, allows us to improve previously best lower bounds due to Linial-Rabinovich, Erdős-Hajnal and Alon-Sudakov. As an example, we prove that any $n$-vertex graph $G$ having an independent set of size $3$ among every $7$ vertices has $α(G) \ge Ω(n^{5/12})$. This confirms a conjecture of Erdős and Hajnal that $α(G)$ should be at least $n^{1/3+\varepsilon}$ and brings the exponent half-way to the best possible value of $1/2$. Our second approach deals with upper bounds. It relies on a reduction of the original question to the following natural extremal problem. What is the minimum possible value of the $2$-density of a graph on $m$ vertices having no independent set of size $r$? This allows us to improve previous upper bounds due to Linial-Rabinovich, Krivelevich and Kostochka-Jancey. As part of our arguments we link the problem of Erdős-Hajnal and Linial-Rabinovich and our new extremal $2$-density problem to a number of other well-studied questions. This leads to many interesting directions for future research.

A subgraph H= (V, F) of a graph G= (V,E) is non-separating if G-F, that is, the graph obtained from G by deleting the edges in F, is connected. Analogously we say that a subdigraph X= (V,B) of a digraph D= (V,A) is non-separating if D-B is strongly connected. We study non-separating spanning trees and out-branchings in digraphs of independence number 2. Our main results are that every 2-arc-strong digraph D of independence number alpha(D) = 2 and minimum in-degree at least 5 and every 2-arc-strong oriented graph with alpha(D) = 2 and minimum in-degree at least 3 has a non-separating out-branching and minimum in-degree 2 is not enough. We also prove a number of other results, including that every 2-arc-strong digraph D with alpha(D)<=2 and at least 14 vertices has a non-separating spanning tree and that every graph G with delta(G)>=4 and alpha(G) = 2 has a non-separating hamiltonian path.

Bishop independence concerns determining the maximum number of bishops that can be placed on a board such that no bishop can attack any other bishop. This paper presents the solution to the bishop independence problem, determining the bishop independence number, for all sizes of boards on the surface of a square prism.

In the random geometric graph $G(n,r_n)$, $n$ vertices are placed randomly in Euclidean $d$-space and edges are added between any pair of vertices distant at most $r_n$ from each other. We establish strong laws of large numbers (LLNs) for a large class of graph parameters, evaluated for $G(n,r_n)$ in the thermodynamic limit with $nr_n^d =$ const., and also in the dense limit with $n r_n^d \to \infty$, $r_n \to 0$. Examples include domination number, independence number, clique-covering number, eternal domination number and triangle packing number. The general theory is based on certain subadditivity and superadditivity properties, and also yields LLNs for other functionals such as the minimum weight for the travelling salesman, spanning tree, matching, bipartite matching and bipartite travelling salesman problems, for a general class of weight functions with at most polynomial growth of order $d-\varepsilon$, under thermodynamic scaling of the distance parameter.

The proper divisor graph $Υ_n$ of a positive integer $n$ is the simple graph whose vertices are the proper divisors of $n$, and in which two distinct vertices $u, v$ are adjacent if and only if $n$ divides $uv$. The graph $Υ_n$ plays an important role in the study of the zero divisor graph of the ring $\mathbb{Z}_n$. In this paper, we study some graph theoretic properties of $Υ_n$ and determine the graph parameters such as clique number, chromatic number, chromatic index, independence number, matching number, domination number, vertex and edge covering numbers of $Υ_n$. We also determine the automorphism group of $Υ_n$.