TOPICS
Search

Peisert Graph


The q-Peisert graph, called a P^* graph by Peisert (2001), is a conference graph with vertex set the finite field GF(q=p^r), where p is a prime with p=3 (mod 4) and r is an even positive integer. Choose a generator omega of the multiplicative group of nonzero elements of GF(q). The edge set consists of the unordered pairs {x,y} for which x-y=omega^j for some integer j congruent to 0 or 1 modulo 4. Different choices of omega give isomorphic graphs (Peisert 2001, Alexander 2015).

As a result of the restriction on q, Peisert graphs are defined for q=9, 49, 81, 121, 361, 529, 729, 961, ... (OEIS A383487). The 9-Peisert graph is isomorphic to the 9-Paley graph (and the generalized quadrangle GQ(2,1)), but for every other allowed graph order, the Peisert graph is cospectral with the Paley graph of the same graph order and is not isomorphic to it (Alexander 2015). In the classification of self-complementary symmetric graphs, there is one additional sporadic graph, with 529 vertices. It is cospectral with both the 529-Paley graph and the 529-Peisert graph and is isomorphic to neither (Peisert 2001).

Peisert graphs are self-complementary, vertex-transitive, edge-transitive, arc-transitive, distance-regular, and distance-transitive.

The distance-2 graph distance graph of a Peisert graph (including the sporadic 529-vertex graph) is its graph complement, which is isomorphic to the original graph.

The strongly regular parameters are (q,(q-1)/2,(q-5)/4,(q-1)/4), and the least graph eigenvalue is -(1+sqrt(q))/2. The Hoffman ratio bound therefore gives a chromatic number of at least sqrt(q). For q=s^2, where s is an odd prime power satisfying s=3 (mod 4), this bound is attained and

 omega(G)=alpha(G)=chi(G)=s,

where omega, alpha, and chi denote the clique number, independence number, and chromatic number, respectively. In this case, the Peisert graph is obtained from the affine plane over GF(s) by selecting (s+1)/2 directions (Brouwer et al. 2026). The lines in a selected direction form cliques of size s, while the lines in an omitted direction partition the vertices into s independent vertex sets. These provide a matching lower bound and upper bound on the chromatic number.

The sporadic 529-vertex Peisert graph has the same graph spectrum as the 529-Peisert graph, so its chromatic number is at least 23 by the same Hoffman ratio bound.

For all sufficiently large admissible q, Timmons (2026) proved that the achromatic number of the q-Peisert graph is (q+1)/2. Unlike the chromatic number, this maximizes the number of colors in a proper vertex coloring in which every pair of colors occurs at the ends of some graph edge. Timmons (2026) reports ChatGPT assistance with mathematical proofs.

Peisert graphs are implemented in the Wolfram Language as GraphData[{"Peisert", q}] for small graph orders q.


See also

Chromatic Number, Conference Graph, Paley Graph, Strongly Regular Graph

Explore with Wolfram|Alpha

References

Alexander, J. "Designs From Paley Graphs and Peisert Graphs." 16 Oct 2015. https://arxiv.org/abs/1507.01289.Brouwer, A. E.; Goryainov, S.; Shalaginov, L.; and Yip, C. H. "Cliques in Paley Graphs of Square Order and in Peisert Graphs." Des. Codes Cryptogr. 94, 101, 2026. https://doi.org/10.1007/s10623-026-01850-w.DistanceRegular.org. "Peisert Graphs." https://www.math.mun.ca/distanceregular/indexes/peisertgraphs.html.House of Graphs. Peisert Graphs. K3 Box K3 (Paley graph).Peisert, W. "Direct Product and Uniqueness of Automorphism Groups of Graphs." Disc. Math. 207, 189-197, 1999.Peisert, W. "All Self-Complementary Symmetric Graphs." J. Algebra 240, 209-229, 2001.Sloane, N. J. A. Sequence A383487 in "The On-Line Encyclopedia of Integer Sequences."Timmons, C. "The Achromatic Number of Paley Graphs, Peisert Graphs, and Related Cayley Graphs." 20 Oct 2026. https://arxiv.org/abs/2610.27510.

Cite this as:

Weisstein, Eric W. "Peisert Graph." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/PeisertGraph.html

Subject classifications