arXiv++ Combinatorics

Let $n\ge 1$, $r\ge 2$, and $s\ge 0$ be integers and ${\cal P}=\{P_1,\dots, P_l\}$ be a partition of $[n]=\{1,\dots, n\}$ with $|P_i|\le r$ for $i=1,\dots, l$. Also, let $\cal F$ be a family of non-empty subsets of $[n]$. The $r$-uniform Kneser-type hypergraph $\mbox{KG}^r({\cal F}, {\cal P},s)$ is the hypergraph with the vertex set of all $\cal P$-admissible elements $F\in {\cal F}$, that is $|F\cap P_i|\le 1$ for $i=1,\dots, l$ and the edge set of all $r$-subsets $\{F_1,\dots, F_r\}$ of the vertex set that $|F_i\cap F_j|\le s$ for all $1\le i<j\le r$. In this article, we extend the equitable $r$-colorability defect $\mbox{ecd}^r({\cal F})$ of Abyazi Sani and Alishahi to the case when one allows intersection among the vertices of an edge. It will be denoted by $\mbox{ecd}^r({\cal F},s)$. We then, give (under certain assumptions) lower bounds for the chromatic number of $\mbox{KG}^r({\cal F}, {\cal P},s)$ and some of its variants in terms of $\mbox{ecd}^r({\cal F},\lfloor s/2\rfloor)$. This work generalizes many existing results in the literature of the Kneser hypergraphs. It generalizes the previous results of the current authors from the special family of all $k$-subsets of $[n]$ to a general family $\cal F$ of subsets.

We show that there are $k$ simple graphs whose Kronecker covers are isomorphic to the bipartite Kneser graph $H(n,k)$, and that their chromatic numbers coincide with $χ(K(n,k)) = n - 2k + 2$. We also determine the automorphism groups of these graphs.

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

We consider the localization number and metric dimension of certain graphs of diameter $2$, focusing on families of Kneser graphs and graphs without 4-cycles. For the Kneser graphs with diameter $2$, we find upper and lower bounds for the localization number and metric dimension, and in many cases these parameters differ only by an additive constant. Our results on the metric dimension of Kneser graphs improve on earlier ones, yielding exact values in infinitely many cases. We determine bounds on the localization number and metric dimension of Moore graphs of diameter $2$ and polarity graphs.

We give a simple combinatorial description of an $(n-2k+2)$-chromatic edge-critical subgraph of the Schrijver graph $\mathrm{SG}(n,k)$, itself an induced vertex-critical subgraph of the Kneser graph $\mathrm{KG}(n,k)$. This extends the main result of [J. Combin. Theory Ser. B 144 (2020) 191--196] to all values of $k$, and sharpens the classical results of Lovász and Schrijver from the 1970s.

We determine the chromatic number of some graphs of flags in buildings of type $A_4$, namely of the Kneser graphs of flags of type $\{2,4\}$ in the vector spaces $GF(q)^5$ for $q\geq3$, and of the Kneser graph of flags of type $\{2,3\}$ in the vector spaces $GF(q)^5$ for large $q$.

In this paper, we study the maximum degree in non-empty induced subgraphs of the Kneser graph $KG(n,k)$. One of the main results asserts that, for $k>k_0$ and $n>64k^2$, whenever a non-empty subgraph has $m\ge k{n-2\choose k-2}$ vertices, its maximum degree is at least $\frac 12(1-\frac {k^2}n) m - {n-2\choose k-2}\ge 0.49 m$. This bound is essentially best possible. One of the intermediate steps is to obtain structural results on non-empty subgraphs with small maximum degree.

Complete colorings have the property that any two color classes has at least an edge between them. Parameters such as the Grundy, achromatic and pseudoachromatic numbers comes from complete colorings, with some additional requirement. In this paper, we estimate these numbers in the Kneser graph $K(n,k)$ for some values of $n$ and $k$. We give the exact value of the achromatic number of $K(n,2)$.

Our purpose is to show that complements of line graphs enjoy nice coloring properties. We show that for all graphs in this class the local and usual chromatic numbers are equal. We also prove a sufficient condition for the chromatic number to be equal to a natural upper bound. A consequence of this latter condition is a complete characterization of all induced subgraphs of the Kneser graph $\operatorname{KG}(n,2)$ that have a chromatic number equal to its chromatic number, namely $n-2$. In addition to the upper bound, a lower bound is provided by Dol'nikov's theorem, a classical result of the topological method in graph theory. We prove the $\operatorname{NP}$-hardness of deciding the equality between the chromatic number and any of these bounds. The topological method is especially suitable for the study of coloring properties of complements of line graphs of hypergraphs. Nevertheless, all proofs in this paper are elementary and we also provide a short discussion on the ability for the topological methods to cover some of our results.

An orientation of a graph is semi-transitive if it is acyclic, and for any directed path $v_0\rightarrow v_1\rightarrow \cdots\rightarrow v_k$ either there is no arc between $v_0$ and $v_k$, or $v_i\rightarrow v_j$ is an arc for all $0\leq i<j\leq k$. An undirected graph is semi-transitive if it admits a semi-transitive orientation. Semi-transitive graphs generalize several important classes of graphs and they are precisely the class of word-representable graphs studied extensively in the literature. Determining if a triangle-free graph is semi-transitive is an NP-hard problem. The existence of non-semi-transitive triangle-free graphs was established via Erdős' theorem by Halldórsson and the authors in 2011. However, no explicit examples of such graphs were known until recent work of the first author and Saito who have shown computationally that a certain subgraph on 16 vertices of the triangle-free Kneser graph $K(8,3)$ is not semi-transitive, and have raised the question on the existence of smaller triangle-free non-semi-transitive graphs. In this paper we prove that the smallest triangle-free 4-chromatic graph on 11 vertices (the Grötzsch graph) and the smallest triangle-free 4-chromatic 4-regular graph on 12 vertices (the Chvátal graph) are not semi-transitive. Hence, the Grötzsch graph is the smallest triangle-free non-semi-transitive graph. We also prove the existence of semi-transitive graphs of girth 4 with chromatic number 4 including a small one (the circulant graph $C(13;1,5)$ on 13 vertices) and dense ones (Toft's graphs). Finally, we show that each $4$-regular circulant graph (possibly containing triangles) is semi-transitive.

The orthogonality dimension of a graph $G=(V,E)$ over a field $\mathbb{F}$ is the smallest integer $t$ for which there exists an assignment of a vector $u_v \in \mathbb{F}^t$ with $\langle u_v,u_v \rangle \neq 0$ to every vertex $v \in V$, such that $\langle u_v, u_{v'} \rangle = 0$ whenever $v$ and $v'$ are adjacent vertices in $G$. The study of the orthogonality dimension of graphs is motivated by various applications in information theory and in theoretical computer science. The contribution of the present work is two-fold. First, we prove that there exists a constant $c$ such that for every sufficiently large integer $t$, it is $\mathsf{NP}$-hard to decide whether the orthogonality dimension of an input graph over $\mathbb{R}$ is at most $t$ or at least $3t/2-c$. At the heart of the proof lies a geometric result, which might be of independent interest, on a generalization of the orthogonality dimension parameter for the family of Kneser graphs, analogously to a long-standing conjecture of Stahl (J. Comb. Theo. Ser. B, 1976). Second, we study the smallest possible orthogonality dimension over finite fields of the complement of graphs that do not contain certain fixed subgraphs. In particular, we provide an explicit construction of triangle-free $n$-vertex graphs whose complement has orthogonality dimension over the binary field at most $n^{1-δ}$ for some constant $δ>0$. Our results involve constructions from the family of generalized Kneser graphs and they are motivated by the rigidity approach to circuit lower bounds. We use them to answer a couple of questions raised by Codenotti, Pudlák, and Resta (Theor. Comput. Sci., 2000), and in particular, to disprove their Odd Alternating Cycle Conjecture over every finite field.

In this paper, we prove a generalization of a conjecture of Erdös, about the chromatic number of certain Kneser-type hypergraphs. For integers $n,k,r,s$ with $n\ge rk$ and $2\le s\le r$, the $r$-uniform general Kneser hypergraph $\mbox{KG}^r_s(n,k)$, has all $k$-subsets of $\{1,\dots,n\}$ as the vertex set and all multi-sets $\{A_1,\dots, A_r\}$ of $k$-subsets with $s$-wise empty intersections as the edge set. The case $r=s=2$, was considers by Kneser \cite{K} in 1955, where he conjectured that its chromatic number is $n-2(k-1)$. This was finally proved by Lovász \cite{L} in 1978. The case $r>2$ and $s=2$, was considered by Erdös in 1973, and he conjectured that its chromatic number is $\left\lceil\frac{n-r(k-1)}{r-1}\right\rceil$. This conjecture was proved by Alon, Frankl and Lovász \cite{AFL} in 1986. The case where $s>2$, was considered by Sarkaria \cite{S} in 1990, where he claimed to prove a lower bound for its chromatic number which generalized all previous results. Unfortunately, an error was found by Lange and Ziegler \cite{Z'} in 2006 in the induction method of Sarkaria on the number of prime factors of $r$, and Sarkaria's proof only worked when $s$ is less than the smallest prime factor of $r$ or $s=2$. In this paper, by applying the $\mathbb Z_p$-Tucker lemma of Ziegler \cite{Z} and Meunier \cite{M}, we finally prove the general Erdös conjecture and prove the claimed result of Sarkaria for any $2\le s\le r$. We also provide another proof of a special case of this result, using methods similar to those of Alon, Frankl, and Lovász \cite{AFL} and compute the connectivity of certain simplicial complexes that might be of interest in their own right.

In this paper among some other results and by using the existance of Steiner triple systems, we determine the total dominator chromatic number of the Kneser graph KG(n,2).

For integers $n\geq k\geq 1$, the Kneser graph $K(n,k)$ is the graph with vertex set $V=[n]^{(k)}$ and edge set $E=\{\{x,y\} \in V^{(2)}: x\cap y=\emptyset\}$. Chen proved that for $n\geq 3k$, Kneser graphs are Hamiltonian and later improved this to $n\geq 2.62k+1$. Furthermore, Chen and Füredi gave a short proof that if $k | n$, Kneser graphs are Hamiltonian for $n\geq 3k$. In this note, we present a short proof that does not need the divisibility condition, i.e., we give a short proof that $K(n,k)$ is Hamiltonian for $n\geq 4k$.

We give an elementary proof for the non-$3$-colorability of $4$-chromatic Schrijver graphs thus providing such a proof also for $4$-chromatic Kneser graphs. To this end we use a complete description of the structure of $4$-chromatic Schrijver graphs that was already given by Braun and even earlier in an unpublished manuscript by Li. We also address connections to surface quadrangulations. In particular, we show that a spanning subgraph of $4$-chromatic Schrijver graphs quadrangulates the Klein bottle, while another spanning subgraph quadrangulates the projective plane. The latter is a special case of a result by Kaiser and Stehlík. We characterize the color-critical edges of $4$-chromatic Schrijver graphs and also present preliminary results toward the characterization of color-critical edges in Schrijver graphs of higher chromatic number. Finally, we show that (apart from two cases of small parameters) the subgraphs we present that quadrangulate the Klein bottle are edge-color-critical. The analogous result for the subgraphs quadrangulating the projective plane is an immediate consequence of earlier results by Gimbel and Thomassen and was already noted by Kaiser and Stehlík.

Let $G$ be a graph, a dominating induced matching (DIM) of $G$ is an induced matching that dominates every edge of $G$. In this paper we show that if a graph $G$ has a DIM, then $χ(G) \leqslant 3$. Also, it is shown that if $G$ is a connected graph whose all edges can be partitioned into DIM, then $G$ is either a regular graph or a biregular graph and indeed we characterize all graphs whose edge set can be partitioned into DIM. Also, we prove that if $G$ is an $r$-regular graph of order $n$ whose edges can be partitioned into DIM, then $n$ is divisible by $\binom{2r - 1}{r - 1}$ and $n = \binom{2r - 1}{r - 1}$ if and only if $G$ is the Kneser graph with parameters $r-1$, $2r-1$.

For $k,n\in \mathbb{N}$, the Kneser graph $K(n,k)$ is the graph with vertex set $V=[n]^{(k)}$ and edge set $E=\{\{x,y\} \in V^{(2)}: x\cap y=\emptyset\}$. Chen proved that for $n\geq 3k$, Kneser graphs are Hamiltonian. Similarly as for graphs with Hajnal's and Szemerédi's result about a minimum degree condition for clique factors and the Pósa-Seymour Conjecture together with its solution for large graphs due to Komlós, Sárközy, and Szemerédi, the next step is to ask for clique factors and powers of Hamiltonian cycles in Kneser graphs. For $k,\ell\in \mathbb{N}$, let $n(k,\ell)$ be the smallest integer such that for $n\geq n(k,\ell)$, $K(n,k)$ contains the $\ell$-th power of a Hamiltonian cycle. Katona conjectured that for all but finitely many exceptions, $n(k,\ell)=(\ell+1)k+1$ holds. In particular, it would be interesting to know whether $n(k,\ell)$ is linear in $k$ (for fixed $\ell$). So far this is not known for $k\geq 2$. In this note, we take a first step towards such a linear bound by proving that for $\ell\in \mathbb{N}$, $k\geq \ell$ and $n\geq \ell ^3k$, all but at most $\ell-1$ vertices of $K(n,k)$ can be partitioned into cliques of size $\ell$. Further, we use our methods to extend a short proof due to Chen and Füredi that $K(n,k)$ is Hamiltonian for $n\geq 3k$ and $k \mid n$ to all $n\geq 4k$ if $k\geq 4$.

A vertex coloring of a graph $G$ is called distinguishing (or symmetry breaking) if no non-identity automorphism of $G$ preserves it, and the distinguishing number, shown by $D(G)$, is the smallest number of colors required for such a coloring. This paper is about counting non-equivalent distinguishing colorings of graphs with $k$ colors. A parameter, namely $Φ_k (G)$, which is the number of non-equivalent distinguishing colorings of a graph $G$ with at most $k$ colors, is shown here to have an application in calculating the distinguishing number of the lexicographic product and the $X$-join of graphs. We study this index (and some other similar indices) which is generally difficult to calculate. Then, we show that if one knows the distinguishing threshold of a graph $G$, which is the smallest number of colors $θ(G)$ so that, for $k\geq θ(G)$, every $k$-coloring of $G$ is distinguishing, then, in some special cases, counting the number of distinguishing colorings with $k$ colors is very easy. We calculate $θ(G)$ for some classes of graphs including the Kneser graph $K(n,2)$. We then turn to vertex partitioning by studying the distinguishing coloring partition of a graph $G$; a partition of vertices of $G$ which induces a distinguishing coloring for $G$. There, we introduce $Ψ_k (G)$ as the number of non-equivalent distinguishing coloring partitions with at most $k$ cells, which is a generalization to its distinguishing coloring counterpart.

For a sequence $S$ of terms from an abelian group $G$ of length $|S|$, let $Σ_n(S)$ denote the set of all elements that can be represented as the sum of terms in some $n$-term subsequence of $S$. When the subsum set is very small, $|Σ_n(S)|\leq |S|-n+1$, it is known that the terms of $S$ can be partitioned into $n$ nonempty sets $A_1,\ldots,A_n\subseteq G$ such that $Σ_n(S)=A_1+\ldots+A_n$. Moreover, if the upper bound is strict, then $|A_i\setminus Z|\leq 1$ for all $i$, where $Z=\bigcap_{i=1}^{n}(A_i+H)$ and $H=\{g\in G:\; g+Σ_n(S)=Σ_n(S)\}$ is the stabilizer of $Σ_n(S)$. This allows structural results for sumsets to be used to study the subsum set $Σ_n(S)$ and is one of the two main ways to derive the natural subsum analog of Kneser's Theorem for sumsets. In this paper, we show that such a partitioning can be achieved with sets $A_i$ of as near equal a size as possible, so $\lfloor \frac{|S|}{n}\rfloor \leq |A_i|\leq \lceil\frac{|S|}{n}\rceil$ for all $i$, apart from one highly structured counterexample when $|Σ_n(S)|= |S|-n+1$ with $n=2$. The added information of knowing the sets $A_i$ are of near equal size can be of use when applying the aforementioned partitioning result, or when applying sumset results to study $Σ_n(S)$. We also give an extension increasing the flexibility of the aforementioned partitioning result and prove some stronger results when $n\geq \frac12|S|$ is very large.

For $k\geq 1$ and $n\geq 2k$, the Kneser graph $KG(n,k)$ has all $k$-element subsets of an $n$-element set as vertices; two such subsets are adjacent if they are disjoint. It was first proved by Lovász that the chromatic number of $KG(n,k)$ is $n-2k+2$. Schrijver constructed a vertex-critical subgraph $SG(n,k)$ of $KG(n,k)$ with the same chromatic number. For the stronger notion of criticality defined in terms of removing edges, however, no analogous construction is known except in trivial cases. We provide such a construction for $k=2$ and arbitrary $n\geq 4$ by means of a nice explicit combinatorial definition.