Generalized Paley Graphs: Theory and Applications

• Generalized Paley graphs are finite graphs constructed from finite fields where vertices are adjacent if their differences are k-th power residues, unifying classical Paley graphs.
• They exhibit strong regularity, well-defined spectral properties through Gaussian periods, and automorphism groups that often reduce to the affine semilinear group.
• These graphs are pivotal in applications ranging from spectral graph theory and coding theory to combinatorial designs and permutation group analysis.

A generalized Paley graph is a finite graph constructed from the additive group of a finite field, with adjacency defined by membership in a multiplicative subgroup (typically k-th power residues) of the field. These graphs unify and generalize classical Paley graphs (quadratic-residue graphs) and are central to the interplay between graph theory, combinatorics, finite fields, and algebraic number theory. They exhibit strong regularity, deep connections to spectral graph theory, automorphism group structure, and provide natural platforms for exploring extremal properties such as clique numbers, chromatic numbers, and Ramanujan properties.

1. Definition and Basic Construction

Given $q = p^d$ a prime power and $k \ge 2$ with $k \mid q-1$, let $$S = \{ x \in \mathbb{F}_q^* : x \text{ is a } k\text{-th power in } \mathbb{F}_q^* \}$$; then $S$ is a cyclic subgroup of $\mathbb{F}_q^*$ of index $k$. The generalized Paley graph $\mathrm{GPaley}(q, \frac{q-1}{k})$ is the Cayley graph

$\mathrm{Cay}\left(\mathbb{F}_q^+, S\right)$

with vertex set $\mathbb{F}_q$ and an (undirected) edge between $k \ge 2$0 if $k \ge 2$1. To ensure undirectedness for $k \ge 2$2 odd, $k \ge 2$3 is taken to be even so that $k \ge 2$4. For $k \ge 2$5, one recovers the classical Paley graph $k \ge 2$6.

Key structural facts:

• Vertex set: $k \ge 2$7
• Edge set: $k \ge 2$8
• Regularity: Each vertex has degree $k \ge 2$9
• Arc- and vertex-transitivity: Induced by field addition and the multiplicative subgroup's action

2. Automorphism Groups and Coherent Configurations

The automorphism group structure is a fundamental topic for generalized Paley graphs. For sufficiently large $k \mid q-1$0 compared to $k \mid q-1$1, the main result is: $k \mid q-1$2 where $k \mid q-1$3 is the affine semilinear group. The proof employs two key combinatorial lemmas:

• Distinguishing lemma: Non-neighboring vertices outside the neighborhood $k \mid q-1$4 of 0 are distinguishable via some vertex in $k \mid q-1$5.
• Half-distinguish lemma: For $k \mid q-1$6 disjoint edges inside $k \mid q-1$7, more than half of $k \mid q-1$8 distinguishes endpoints of at least one edge.

These enable reduction to normal circulant structure on the induced subgraph $k \mid q-1$9, and use classical S-ring arguments plus the action of a Singer cycle's normalizer to link automorphisms to $$S = \{ x \in \mathbb{F}_q^* : x \text{ is a } k\text{-th power in } \mathbb{F}_q^* \}$$0. The overall argument reduces the automorphism group to the standard affine group even for large classes of generalized Paley graphs (Ponomarenko, 23 Nov 2025).

3. Connectivity, Component Structure, and Bipartiteness

Connectivity depends on the additive generation properties of the subgroup $$S = \{ x \in \mathbb{F}_q^* : x \text{ is a } k\text{-th power in } \mathbb{F}_q^* \}$$1:

• $$S = \{ x \in \mathbb{F}_q^* : x \text{ is a } k\text{-th power in } \mathbb{F}_q^* \}$$2 is connected if and only if $$S = \{ x \in \mathbb{F}_q^* : x \text{ is a } k\text{-th power in } \mathbb{F}_q^* \}$$3 additively generates $$S = \{ x \in \mathbb{F}_q^* : x \text{ is a } k\text{-th power in } \mathbb{F}_q^* \}$$4.
• Disconnectivity is characterized by subfield containment conditions: the graph splits into isomorphic copies of a smaller generalized Paley graph over some proper subfield $$S = \{ x \in \mathbb{F}_q^* : x \text{ is a } k\text{-th power in } \mathbb{F}_q^* \}$$5, specifically when $$S = \{ x \in \mathbb{F}_q^* : x \text{ is a } k\text{-th power in } \mathbb{F}_q^* \}$$6 (Podestá et al., 2024, Bonini et al., 2024).

With rare exceptions, these graphs are non-bipartite; the unique bipartite case occurs when $$S = \{ x \in \mathbb{F}_q^* : x \text{ is a } k\text{-th power in } \mathbb{F}_q^* \}$$7, $$S = \{ x \in \mathbb{F}_q^* : x \text{ is a } k\text{-th power in } \mathbb{F}_q^* \}$$8, yielding the perfect matching $$S = \{ x \in \mathbb{F}_q^* : x \text{ is a } k\text{-th power in } \mathbb{F}_q^* \}$$9 (Podestá et al., 2024). A concise summary appears in the table:

Case	Connected?	Bipartite?
$S$0, $S$1	Yes	Yes
else	Varies	No

4. Spectral Theory and Strong Regularity

The eigenvalues of $S$2 are given by the Gaussian periods $S$3, arising from the $S$4-th cyclotomic decomposition of $S$5 and traced through the additive characters of the field: $S$6 where $S$7 are the cyclotomic classes, $S$8, and $S$9 a primitive $\mathbb{F}_q^*$0-th root of unity.

Key spectral properties:

• For small $\mathbb{F}_q^*$1 ($\mathbb{F}_q^*$2), explicit closed formulas for the Gaussian periods and spectra exist (Podestá et al., 2023, Podestá et al., 2019).
• Integrality: The graph is integral (all eigenvalues in $\mathbb{F}_q^*$3) if and only if $\mathbb{F}_q^*$4.
• Semiprimitive case: When $\mathbb{F}_q^*$5 and $\mathbb{F}_q^*$6 even, the spectrum collapses to three eigenvalues, and the graph is strongly regular (srg) (Podestá et al., 2023, Podestá et al., 2019, Podestá et al., 2018). The parameters can be expressed in terms of $\mathbb{F}_q^*$7, and the Gaussian periods.

A substantial number of generalized Paley graphs are strongly regular or distance-regular (particularly the Van Lint–Schrijver graphs obtained for special $\mathbb{F}_q^*$8) and are of (pseudo-)Latin-square type or negative Latin-square type depending on field-theoretic parameters (Podestá et al., 2023, Podestá et al., 2018).

5. Extremal and Ramsey-Theoretical Properties

The clique number problem in generalized Paley graphs is one of the major open questions in extremal combinatorics. Principal results include:

• Square-root bound: For $\mathbb{F}_q^*$9 odd, $k$0, with equality if and only if $k$1; in this case, the cliques come from subfields (Yip, 2021).
• Construction of maximal cliques: For $k$2, there are maximal cliques of size $k$3 for each integer $k$4 with $k$5, using intersections of shifted subfields and character sum methods (Martin et al., 2024).
• Upper bounds and improvements: For cubic Paley graphs and related cases, constant factor improvements on the clique number (from the folklore $k$6) have been achieved—e.g., $k$7 for generic cubic Paley graphs (Yip, 2020).
• Triangle/quadrilateral counts: Exact formulas for the number of $k$8 subgraphs have been developed in terms of Jacobi sums and finite-field hypergeometric functions, yielding nontrivial lower bounds on multicolor Ramsey numbers (Dawsey et al., 2020).

These extremal results interact with algebraic number theory (Gauss sum evaluations, Stickelberger's theorem) and combinatorial geometry (direction lemmas, subfield clique constructions).

6. Algorithmic Identification: Weisfeiler–Leman Dimension

For $k$9, the Weisfeiler–Leman (WL) dimension for identification via the color refinement algorithm is sharply bounded:

• $\mathrm{GPaley}(q, \frac{q-1}{k})$0 for sufficiently large $\mathrm{GPaley}(q, \frac{q-1}{k})$1 (Ponomarenko, 23 Nov 2025).
• For Van Lint–Schrijver graphs, $\mathrm{GPaley}(q, \frac{q-1}{k})$2, reflecting that 2-dimensional WL cannot distinguish these from certain non-isomorphic SRGs on the same parameters.

The bounds are achieved using combinatorial properties of normal circulant schemes and base-size arguments, leveraging the connection to the automorphism group.

7. Applications and Broader Contexts

Generalized Paley graphs are central to multiple research themes:

• Spectral graph theory: Their spectra are tightly related to coding theory (irreducible cyclic codes and two-weight codes) (Podestá et al., 2019), Ramanujan graph construction, and energy/integrality phenomena (Podestá et al., 2018).
• Permutation group theory: Exact coincidence of clique and chromatic number (synchronization) in these graphs directly links to non-synchronizing primitive affine groups (Schneider et al., 2013).
• Algebraic combinatorics: These graphs provide infinite towers of explicit Ramanujan graphs in all characteristics, serve as test beds for character sum bounds, and sit at the interface between extremal combinatorics, number theory, and the theory of pseudorandom graphs.
• Metric geometry: Condensed Ricci curvature can be calculated explicitly for classes of generalized Paley graphs satisfying the global matching condition (Bonini et al., 2024).

Their study continues to illuminate both the structure of finite fields and fundamental limits in graph theory, with ongoing open questions regarding clique numbers, chromatic numbers, automorphism groups for small $\mathrm{GPaley}(q, \frac{q-1}{k})$3, and spectral sharpness.