Connected components and non-bipartiteness of generalized Paley graphs
Abstract
In this work we consider the class of Cayley graphs known as generalized Paley graphs (GP-graphs for short) given by $\Gamma(k,q) = Cay(\mathbb{F}_q, \{x^k : x\in \mathbb{F}_q^* \})$, where $\mathbb{F}_q$ is a finite field with $q$ elements, both in the directed and undirected case. Hence $q=p^m$ with $p$ prime, $m\in \mathbb{N}$ and one can assume that $k\mid q-1$. We first give the connected components of an arbitrary GP-graph. We show that these components are smaller GP-graphs all isomorphic to each other (generalizing a Lim and Praeger's result from 2009 to the directed case). We then characterize those GP-graphs which are disjoint unions of odd cycles. Finally, we show that $\Gamma(k,q)$ is non-bipartite except for the graphs $\Gamma(2^m-1,2^m)$, $m \in \mathbb{N}$, which are isomorphic to $K_2 \sqcup \cdots \sqcup K_2$, the disjoint union of $2^{m-1}$ copies of $K_2$.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2024
- DOI:
- 10.48550/arXiv.2410.00281
- arXiv:
- arXiv:2410.00281
- Bibcode:
- 2024arXiv241000281P
- Keywords:
-
- Mathematics - Combinatorics;
- Primary 05C25;
- Secondary 05C50;
- 05C75;
- 05C20;
- 05C40
- E-Print:
- 22 pages, 2 figures. New Remark 4.6 on Hamming graphs and some new commnents. Typos corrected