arXiv++ Combinatorics

The Cayley graph $\text{Cay}(G,S)$ is the graph whose vertex set is the group $G$, where two vertices $x$ and $y$ are adjacent if and only if $xy^{-1}$ or $yx^{-1}$ lies in some fixed subset $S$ of $G$. We call the elements of $S$ generators. A circulant graph is a Cayley graph where $G$ is finite and cyclic. Chromatic numbers of circulant graphs have been studied by many authors. A general formula due to Heuberger for the chromatic number of a circulant graph is known when $S$ has two elements, but no such formula is known when $S$ has three or more elements. We say that an element $x$ of $S$ is indispensable if $S\setminus\{x\}$ does not generate $G$. We say that $S$ is minimal if every element of $S$ is indispensable. By a result of Garcia-Marco and Knauer from 2024, if $G$ is nilpotent and $S$ is minimal, then $\text{Cay}(G,S)$ is $3$-colorable. In this article, we prove three main results. First, we give an upper bound for the chromatic number of a circulant graph with three generators, one of which is indispensable. Second, we present an alternate proof of the theorem of Garcia-Marco and Knauer for the case of abelian groups. Third, we apply these methods to provide a considerably more systematic (and potentially generalizable) proof of Heuberger's theorem for the chromatic number of circulant graphs with two generators. Throughout this paper, our primary tool is the theory of Heuberger matrices, for which we provide a brief primer.

The Mycielskian is a standard construction studied in many an introductory graph theory course. It is natural to consider Mycielskians of cycles, some of the simplest of all graphs. This paper deals with the so-called ``dimension'' of such graphs. The dimension of a graph $G$ is the smallest positive integer $n$ such that there exists a one-to-one correspondence between the vertices of $G$ and some collection of points in $n$-dimensional Euclidean space such that if two vertices in $G$ are adjacent, then the distance between the corresponding points is $1$. In previous works, it had been proven that the dimension of the Mycielskian of a $k$-cycle is 3 when $k$ is $3$, $4$, or $5$, and 2 when $k=10$. In this paper, we answer the question completely. Namely, we show that the dimension is $3$ when $k\neq 10$, and $2$ when $k=10$.

The Matsushita fundamental groups of a graph $X$, denoted $π_1^r(X)$, are certain discrete versions of the fundamental group for topological spaces. For $r=2$, these groups have a nice combinatorial description, due to Sankar. In this paper we prove two results about $π_1^2$. First, we prove a Seifert-van Kampen-type theorem. Similar results have previously been obtained by Barcelo, et al. (and strengthened by Kapulkin and Mavinkurve) for a different notion of discrete fundamental group. Second, we prove that an arbitrary group $G$ can be realized as $π_1^2(X)$ for some graph $X$. Our construction works equally well for the aforementioned alternate discrete fundamental group $A_1(X)$, and our second result thus also provides an entirely different method of proof for a theorem of Kapulkin and Mavinkurve.

We show that given an arbitrary set of four plane unit vectors $v_1, v_2, v_3, v_4$, the Cayley graph generated by $\{\pm v_1, \pm v_2, \pm v_3, \pm v_4\}$ is always $3$-colorable. Indeed, we show that this is a specific case of a much more general result wherein we determine the chromatic number of an arbitrary abelian Cayley graph generated by a set of four elements and their negatives, subject to the constraint that the group of relations between those elements has rank no more than $2$.

A connected Cayley graph for an Abelian group generated by a finite symmetric subset $S$ can be represented by an integer matrix, its Heuberger matrix. We call the number of columns of that matrix its rank and the number of rows its dimension. Several previous papers have dealt with the question of finding a formula for the chromatic number of an Abelian Cayley graph in terms of an associated Heuberger matrix. In this paper, we fully resolve this matter for all integer matrices of rank $\leq 2$. Prior results provide such formulas when the rank is 1, as well as when the rank is 2 and the dimension is no more than 4. Here, we complete the picture for the rank-two case by showing that when the rank is 2 and the dimension is at least 5, then the chromatic number equals 3 unless the graph has loops (in which case it is uncolorable); the graph is bipartite (in which case the chromatic number is 2); or the matrix has a zero row (in which case, the chromatic number does not change when that row is deleted).

Let $G$ be an abelian group. The main theorem of this paper asserts that there exists a Cayley graph on $G$ with chromatic number 3 if and only if $G$ is not of exponent 1, 2, or 4. Although motivated by ideas from algebraic topology, our proof may be expressed purely combinatorially. As a by-product, we derive a topological result which is of independent interest. Suppose $X$ is a connected non-bipartite graph, and let $\mathcal N(X)$ denote its neighborhood complex. We show that if the fundamental group $π_1(\mathcal N(X))$ or first homology group $H_1(\mathcal N(X))$ is torsion, then the chromatic number of $X$ is at least 4. This strengthens a classical result of Lovász, which derives the same conclusion if $π_1(\mathcal N(X))$ is trivial.

In this paper, we take a modest first step towards a systematic study of chromatic numbers of Cayley graphs on abelian groups. We lose little when we consider these graphs only when they are connected and of finite degree. As in the work of Heuberger and others, in such cases the graph can be represented by an $m\times r$ integer matrix, where we call $m$ the dimension and $r$ the rank. Adding or subtracting rows produces a graph homomorphism to a graph with a matrix of smaller dimension, thereby giving an upper bound on the chromatic number of the original graph. In this article we develop the foundations of this method. In a series of follow-up articles using this method, we completely determine the chromatic number in cases with small dimension and rank; prove a generalization of Zhu's theorem on the chromatic number of $6$-valent integer distance graphs; and provide an alternate proof of Payan's theorem that a cube-like graph cannot have chromatic number 3.

A cubelike graph is a Cayley graph on the product $\mathbb{Z}_2\times\cdots\times\mathbb{Z}_2$ of the integers modulo $2$ with itself finitely many times. In 1992, Payan proved that no cubelike graph can have chromatic number $3$. The authors of the present paper previously developed a general matrix method for studying chromatic numbers of Cayley graphs on abelian groups. In this note, we apply this method of Heuberger matrices to give an alternate proof of Payan's theorem.

A connected Cayley graph on an abelian group with a finite generating set $S$ can be represented by its Heuberger matrix, i.e., an integer matrix whose columns generate the group of relations between members of $S$. In a previous article, the authors laid the foundation for the use of Heuberger matrices to study chromatic numbers of abelian Cayley graphs. We call the number of rows in the Heuberger matrix the {\it dimension}, and the number of columns the {\it rank}. In this paper, we give precise numerical conditions that completely determine the chromatic number in all cases with dimension $1$; with rank $1$; and with dimension $\leq 3$ and rank $\leq 2$. For such a graph without loops, we show that it is $4$-colorable if and only if it does not contain a $5$-clique, and it is $3$-colorable if and only if it contains neither a diamond lanyard nor a $C_{13}(1,5)$, both of which we define herein. It is shown in another paper that as a special case of our theorem for dimension $3$ and rank $2$, we obtain improved upper bounds for minimal periods of optimal colorings of $6$-valent integer distance graphs.

Given a set $S$ of positive integers, the integer distance graph for $S$ has the set of integers as its vertex set, where two vertices are adjacent if and only if the absolute value of their difference lies in $S$. In 2002, Zhu completely determined the chromatic number of integer distance graphs when $S$ has cardinality $3$. Integer distance graphs can be defined equivalently as Cayley graphs on the group of integers under addition. In a previous paper, the authors develop general methods to approach the problem of finding chromatic numbers of Cayley graphs on abelian groups. To each such graph one associates an integer matrix. In some cases the chromatic number can be determined directly from the matrix entries. In particular, the authors completely determine the chromatic number whenever the matrix is of size $3\times 2$ -- precisely the size of the matrices associated to the graphs studied by Zhu. In this paper, then, we demonstrate that Zhu's theorem can be recovered as a special case of the authors' previous results.