arXiv++ Combinatorics

Let $G$ be a graph and $r\in\mathbb{N}$. The matching Kneser graph $\textsf{KG}(G, rK_2)$ is a graph whose vertex set is the set of $r$-matchings in $G$ and two vertices are adjacent if their corresponding matchings are edge-disjoint. In [Alishahi, M. and Hajiabolhassan, H., On the Chromatic Number of Matching Kneser Graphs, Combin. Probab. and Comput. 29 (2020), no. 1, 1--21.] it was conjectured that for any connected graph $G$ and positive integer $r\geq 2$, the chromatic number of $\textsf{KG}(G, rK_2)$ is equal to $|E(G)|-\textsf{ex}(G,rK_2)$, where $\textsf{ex}(G,rK_2)$ denotes the largest number of edges in $G$ avoiding a matching of size $r$. In this note, we show that the conjecture is not true for snarks.

A conflict-free coloring of a graph $G$ is a (partial) coloring of its vertices such that every vertex $u$ has a neighbor whose assigned color is unique in the neighborhood of $u$. There are two variants of this coloring, one defined using the open neighborhood and one using the closed neighborhood. For both variants, we study the problem of deciding whether the conflict-free coloring of a given graph $G$ is at most a given number $k$. In this work, we investigate the relation of clique-width and minimum number of colors needed (for both variants) and show that these parameters do not bound one another. Moreover, we consider specific graph classes, particularly graphs of bounded clique-width and types of intersection graphs, such as distance hereditary graphs, interval graphs and unit square and disk graphs. We also consider Kneser graphs and split graphs. We give (often tight) upper and lower bounds and determine the complexity of the decision problem on these graph classes, which improve some of the results from the literature. Particularly, we settle the number of colors needed for an interval graph to be conflict-free colored under the open neighborhood model, which was posed as an open problem.

In this paper, we obtain a combinatorial formula for computing the Betti numbers in the linear strand of edge ideals of bipartite Kneser graphs. We deduce lower and upper bounds for regularity of powers of edge ideals of these graphs in terms of associated combinatorial data and show that the lower bound is attained in some cases. Also, we obtain bounds on the projective dimension of edge ideals of these graphs in terms of combinatorial data.

An axis-parallel $d$-dimensional box is a cartesian product $I_1\times I_2\times \dots \times I_b$ where $I_i$ is a closed sub-interval of the real line. For a graph $G = (V,E)$, the $boxicity \ of \ G$, denoted by $\text{box}(G)$, is the minimum dimension $d$ such that $G$ is the intersection graph of a family $(B_v)_{v\in V}$ of $d$-dimensional boxes in $\mathbb R^d$. Let $k$ and $n$ be two positive integers such that $n\geq 2k+1$. The $Kneser \ graph$ $Kn(k,n)$ is the graph with vertex set given by all subsets of $\{1,2,\dots,n\}$ of size $k$ where two vertices are adjacent if their corresponding $k$-sets are disjoint. In this note, we derive a general upper bound for $\text{box}(Kn(k,n))$, and a lower bound in the case $n\ge 2k^3-2k^2+1$, which matches the upper bound up to an additive factor of $Θ(k^2)$. Our second contribution is to provide upper and lower bounds for the boxicity of the complement of the line graph of any graph $G$, and as a corollary, we derive that $\text{box}(Kn(2,n))\in \{n-3, n-2\}$ for every $n\ge 5$.

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$.

In this article we investigate a problem in graph theory, which has an equivalent reformulation in extremal set theory similar to the problems researched in "A general 2-part Erdős-Ko-Rado theorem" by Gyula O.H. Katona, who proposed our problem as well. In the graph theoretic form we examine the clique number of the Xor product of two isomorphic $KG(N,k)$ Kneser graphs. Denote this number with $f(k,N)$. We give lower and upper bounds on $f(k,N)$, and we solve the problem up to a constant deviation depending only on $k$, and find the exact value for $f(2,N)$ if $N$ is large enough. We also compute that $f(k,k^2)$ is asymptotically equivalent to $k^2$.

This paper is an in-depth analysis of the generalized $\vartheta$-number of a graph. The generalized $\vartheta$-number, $\vartheta_k(G)$, serves as a bound for both the $k$-multichromatic number of a graph and the maximum $k$-colorable subgraph problem. We present various properties of $\vartheta_k(G)$, such as that the sequence $(\vartheta_k(G))_k$ is increasing and bounded from above by the order of the graph $G$. We study $\vartheta_k(G)$ when $G$ is the strong, disjunction or Cartesian product of two graphs. We provide closed form expressions for the generalized $\vartheta$-number on several classes of graphs including the Kneser graphs, cycle graphs, strongly regular graphs and orthogonality graphs. Our paper provides bounds on the product and sum of the $k$-multichromatic number of a graph and its complement graph, as well as lower bounds for the $k$-multichromatic number on several graph classes including the Hamming and Johnson graphs.

We highlight new results on the localization number of a graph, a parameter derived from the localization graph searching game. After introducing the game and providing an overview of existing results, we describe recent results on the localization number. We describe bounds or exact values of the localization number of incidence graphs of designs, polarity graphs, and Kneser graphs.

A vertex cut $S$ of a connected graph $G$ is a subset of vertices of $G$ whose deletion makes $G$ disconnected. A super vertex cut $S$ of a connected graph $G$ is a subset of vertices of $G$ whose deletion makes $G$ disconnected and there is no isolated vertex in each component of $G-S$. The super-connectivity of graph $G$ is the size of the minimum super vertex cut of $G$. Let $KG(n,k)$ be the Kneser graph whose vertices set are the $k$-subsets of $\{1,\cdots,n\}$, where $k$ is the number of labels of each vertex in $G$. We aim to show that the conjecture from Boruzanli and Gauci \cite{EG19} on the super-connectivity of Kneser graph $KG(n,k)$ is true when $k=3$.

Lionel Levine's hat challenge has $t$ players, each with a (very large, or infinite) stack of hats on their head, each hat independently colored at random black or white. The players are allowed to coordinate before the random colors are chosen, but not after. Each player sees all hats except for those on her own head. They then proceed to simultaneously try and each pick a black hat from their respective stacks. They are proclaimed successful only if they are all correct. Levine's conjecture was the success probability tends to zero when the number of players grows. We prove that this success probability is strictly decreasing in the number of players, and present some connections to questions in graph theory.

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.

We investigate two conjectured spectral graph theoretic strengthenings of Turán's theorem. Let $μ_1 \ge \ldots \ge μ_n$ denote the eigenvalues of a graph $G$ with $n$ vertices, $m$ edges and clique number $ω(G)$. The concise version of Turán's theorem is that $n/(n - d)$ is a lower bound for the clique number $ω(G)$, where $d$ is the average degree. Our first conjecture is that $d$ can be replaced in this bound with $\sqrt{s^+}$, where $s^+$ is the sum of the squares of the positive eigenvalues. We prove this conjecture for triangle-free, weakly perfect and Kneser graphs and for almost all graphs. We have also used various software tools to search for a counter-example. Nikiforov proved a spectral version of Turán's theorem that \[ μ_1^2 \le \frac{2m(ω(G) - 1)}{ω(G)}, \] and Bollobás and Nikiforov conjectured that for $G \not = K_n$ \[ μ_1^2 + μ_2^2 \le \frac{2m(ω(G) - 1)}{ω(G)}. \] For our second conjecture, we propose that for all graphs $(μ_1^2 + μ_2^2)$ in this inequality can be replaced by the sum of the squares of the $ω(G)$ largest eigenvalues, provided they are positive. We prove the conjecture for weakly perfect, Kneser, and classes of strongly regular graphs. We also provide experimental evidence and describe how the bound can be applied. Liu and Ning published a wide-ranging paper entitled ``Unsolved Problems in spectral graph theory'', and these two conjectures were placed second and fourth in their list of such problems.

Suppose that a hypergraph ${\mathcal H}$ and an arbitrary nonempty (finite or infinite) set of available colors are given. Each color $x$ is associated with a frequency $τ(x)$, where the set of all such frequencies is bounded. We define a new parameter called the {\it $τ$-matching chromatic number}, denoted by $χ_M(τ, {\mathcal H})$, as the least possible number of colors required to color the edges of ${\mathcal H}$ in such a way that the size of each nonempty monochromatic matching does not exceed the frequency of the corresponding color associated to its edges. The well-known and extensively well-studied chromatic number of general Kneser hypergraph $χ\left( {\rm KG}^r({\mathcal H}) \right)$ is a special case of $χ_M(τ, {\mathcal H})$ when all color frequencies are the fixed constant $r-1$. In this paper, we establish sharp lower bounds for the parameter $χ_M(τ, {\mathcal H})$, utilizing the concepts of the alternation number and the equitable colorability defect.

A proper edge coloring of a graph is strong if it creates no bichromatic path of length three. It is well known that for a strong edge coloring of a $k$-regular graph at least $2k-1$ colors are needed. We show that a $k$-regular graph admits a strong edge coloring with $2k-1$ colors if and only if it covers the Kneser graph $K(2k-1,k-1)$. In particular, a cubic graph is strongly $5$-edge-colorable whenever it covers the Petersen graph. One of the implications of this result is that a conjecture about strong edge colorings of subcubic graphs proposed by Faudree et al. [Ars Combin. 29 B (1990), 205--211] is false.

Let $V$ be an $n$-dimensional vector space over a finite field $\mathbb{F}_q$, where $q$ is a prime power. Define the \emph{generalized $q$-Kneser graph} $K_q(n,k,t)$ to be the graph whose vertices are the $k$-dimensional subspaces of $V$ and two vertices $F_1$ and $F_2$ are adjacent if $\dim(F_1\cap F_2)<t$. Then $K_q(n,k,1)$ is the well-known $q$-Kneser graph. In this paper, we determine the treewidth of $K_q(n,k,t)$ for $n\geq 2t(k-t+1)+k+1$ and $t\ge 1$ exactly. Note that $K_q(n,k,k-1)$ is the complement of the Grassmann graph $G_q(n,k)$. We give a more precise result for the treewidth of $\overline{G_q(n,k)}$ for any possible $n$, $k$ and $q$.

We show that any proper coloring of a Kneser graph $KG_{n,k}$ with $n-2k+2$ colors contains a trivial color (i.e., a color consisting of sets that all contain a fixed element), provided $n>(2+\varepsilon)k^2$, where $\varepsilon\to 0$ as $k\to \infty$. This bound is essentially tight. This is a consequence of a more general result on the minimum number of non-trivial colors needed to properly color $KG_{n,k}$.

Let $n$, $k$ and $t$ be integers with $1\leq t< k \leq n$. The \emph{generalized Kneser graph} $K(n,k,t)$ is a graph whose vertices are the $k$-subsets of a fixed $n$-set, where two $k$-subsets $A$ and $B$ are adjacent if $|A\cap B|<t$. The graph $K(n,k,1)$ is the well-known \emph{Kneser graph}. In 2014, Harvey and Wood determined the exact treewidth of the Kneser graphs for large $n$ with respect to $k$. In this paper, we give the exact treewidth of the generalized Kneser graphs for $t\geq2$ and large $n$ with respect to $k$ and $t$. In the special case when $t=k-1$, the graph $K(n,k,k-1)$ usually denoted by $\overline{J(n,k)}$ which is the complement of the Johnson graph $J(n,k)$. We give a more precise result for the exact value of the treewidth of $\overline{J(n,k)}$ for any $n$ and $k$.

Graph pebbling is a network optimization model for satisfying vertex demands with vertex supplies (called pebbles), with partial loss of pebbles in transit. The pebbling number of a demand in a graph is the smallest number for which every placement of that many supply pebbles satisfies the demand. The Target Conjecture (Herscovici-Hester-Hurlbert, 2009) posits that the largest pebbling number of a demand of fixed size $t$ occurs when the demand is entirely stacked on one vertex. This truth of this conjecture could be useful for attacking many open problems in graph pebbling, including the famous conjecture of Graham (1989) involving graph products. It has been verified for complete graphs, cycles, cubes, and trees. In this paper we prove the conjecture for 2-paths and Kneser graphs over pairs.

Let $n\ge 1$ and $s\ge 1$ be integers. An almost $s$-stable subset $A$ of $[n]=\{1,\dots,n\}$ is a subset such that for any two distinct elements $i, j\in A$, one has $|i-j|\ge s$. For a family $\cal F$ of non-empty subsets of $[n]$ and an integer $r\ge 2$, the chromatic number of the $r$-uniform Kneser hypergraph $\mbox{KG}^r({\cal F})$, whose vertex set is $\cal F$ and whose edge set is the set of $\{A_1,\dots, A_r\}$ of pairwise disjoint elements in $\cal F$, has been studied extensively in the literature and Abyazi Sani and Alishahi were able to give a lower bound for it in terms of the equatable $r$-colorability defect, $\mbox{ecd}^r({\cal F})$. In this article, the methods of Chen for the special family of all $k$-subsets of $[n]$, are modified to give lower bounds for the chromatic number of almost stable general Kneser hypergraph $\mbox{KG}^r({\cal F}_s)$ in terms of $\mbox{ecd}^s({\cal F})$. Here ${\cal F}_s$ is the collection of almost $s$-stable elements of $\cal F$. We also propose a generalization of a conjecture of Meunier.

The determining number of a graph $G = (V,E)$ is the minimum cardinality of a set $S\subseteq V$ such that pointwise stabilizer of $S$ under the action of $Aut(G)$ is trivial. In this paper, we provide some improved upper and lower bounds on the determining number of Kneser graphs. Moreover, we provide the exact value of the determining number for some subfamilies of Kneser graphs.