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