Let q be a prime power such that q = 1 (mod 4). That is, q should either be an arbitrary power of a Pythagorean prime (a prime congruent to 1 mod 4) or an even power of an odd non-Pythagorean prime. This choice of q implies that in the unique finite field Fq of order q, the element −1 has a square root.
Now let V = Fq and let
- :\ a-b\in (\mathbf {F} _{q}^{\times })^{2}\right\}}
.
If a pair {a,b} is included in E, it is included under either ordering of its two elements. For, a − b = −(b − a), and −1 is a square, from which it follows that a − b is a square if and only if b − a is a square.
By definition G = (V, E) is the Paley graph of order q.
For q = 13, the field Fq is just integer arithmetic modulo 13. The numbers with square roots mod 13 are:
- ±1 (square roots ±1 for +1, ±5 for −1)
- ±3 (square roots ±4 for +3, ±6 for −3)
- ±4 (square roots ±2 for +4, ±3 for −4).
Thus, in the Paley graph, we form a vertex for each of the integers in the range [0,12], and connect each such integer x to six neighbors: x ± 1 (mod 13), x ± 3 (mod 13), and x ± 4 (mod 13).
The Paley graphs are self-complementary: the complement of any Paley graph is isomorphic to it. One isomorphism is via the mapping that takes a vertex x to xk (mod q), where k is any nonresidue mod q (Sachs 1962).
Paley graphs are strongly regular graphs, with parameters
This in fact follows from the fact that the graph is arc-transitive and self-complementary. In addition, Paley graphs form an infinite family of conference graphs.[citation needed]
The eigenvalues of Paley graphs are (with multiplicity 1) and (both with multiplicity ). They can be calculated using the quadratic Gauss sum or by using the theory of strongly regular graphs.[citation needed]
If q is prime, the isoperimetric number i(G) of the Paley graph is known to satisfy the following bounds:
- [citation needed]
When q is prime, the associated Paley graph is a Hamiltonian circulant graph.
Paley graphs are quasi-random (Chung et al. 1989): the number of times each possible constant-order graph occurs as a subgraph of a Paley graph is (in the limit for large q) the same as for random graphs, and large sets of vertices have approximately the same number of edges as they would in random graphs.
- The Paley graph of order 9 is a locally linear graph, a rook's graph, and the graph of the 3-3 duoprism.
- The Paley graph of order 13 has book thickness 4 and queue number 3 (Wolz 2018).
- The Paley graph of order 17 is the unique largest graph G such that neither G nor its complement contains a complete 4-vertex subgraph (Evans et al. 1981). It follows that the Ramsey number R(4, 4) = 18.
- The Paley graph of order 101 is currently the largest known graph G such that neither G nor its complement contains a complete 6-vertex subgraph.
- Sasukara et al. (1993) use Paley graphs to generalize the construction of the Horrocks–Mumford bundle.
Let q be a prime power such that q = 3 (mod 4). Thus, the finite field of order q, Fq, has no square root of −1. Consequently, for each pair (a,b) of distinct elements of Fq, either a − b or b − a, but not both, is a square. The Paley digraph is the directed graph with vertex set V = Fq and arc set
- :\ b-a\in (\mathbf {F} _{q}^{\times })^{2}\right\}.}
The Paley digraph is a tournament because each pair of distinct vertices is linked by an arc in one and only one direction.
The Paley digraph leads to the construction of some antisymmetric conference matrices and biplane geometries.
The six neighbors of each vertex in the Paley graph of order 13 are connected in a cycle; that is, the graph is locally cyclic. Therefore, this graph can be embedded as a Whitney triangulation of a torus, in which every face is a triangle and every triangle is a face. More generally, if any Paley graph of order q could be embedded so that all its faces are triangles, we could calculate the genus of the resulting surface via the Euler characteristic as . Mohar (2005) conjectures that the minimum genus of a surface into which a Paley graph can be embedded is near this bound in the case that q is a square, and questions whether such a bound might hold more generally. Specifically, Mohar conjectures that the Paley graphs of square order can be embedded into surfaces with genus
where the o(1) term can be any function of q that goes to zero in the limit as q goes to infinity.
White (2001) finds embeddings of the Paley graphs of order q ≡ 1 (mod 8) that are highly symmetric and self-dual, generalizing a natural embedding of the Paley graph of order 9 as a 3×3 square grid on a torus. However the genus of White's embeddings is higher by approximately a factor of three than Mohar's conjectured bound.
- Baker, R. D.; Ebert, G. L.; Hemmeter, J.; Woldar, A. J. (1996). "Maximal cliques in the Paley graph of square order". J. Statist. Plann. Inference. 56: 33–38. doi:10.1016/S0378-3758(96)00006-7.
- Broere, I.; Döman, D.; Ridley, J. N. (1988). "The clique numbers and chromatic numbers of certain Paley graphs". Quaestiones Mathematicae. 11: 91–93. doi:10.1080/16073606.1988.9631945.
- Chung, Fan R. K.; Graham, Ronald L.; Wilson, R. M. (1989). "Quasi-random graphs". Combinatorica. 9 (4): 345–362. doi:10.1007/BF02125347.
- Erdős, P.; Rényi, A. (1963). "Asymmetric graphs". Acta Mathematica Academiae Scientiarum Hungaricae. 14 (3–4): 295–315. doi:10.1007/BF01895716. MR 0156334.
- Evans, R. J.; Pulham, J. R.; Sheehan, J. (1981). "On the number of complete subgraphs contained in certain graphs". Journal of Combinatorial Theory. Series B. 30 (3): 364–371. doi:10.1016/0095-8956(81)90054-X.
- Graham, R. L.; Spencer, J. H. (1971). "A constructive solution to a tournament problem". Canadian Mathematical Bulletin. 14: 45–48. doi:10.4153/CMB-1971-007-1. MR 0292715.
- Mohar, Bojan (2005). "Triangulations and the Hajós conjecture". Electronic Journal of Combinatorics. 12: N15. doi:10.37236/1982. MR 2176532.
- Paley, R.E.A.C. (1933). "On orthogonal matrices". J. Math. Phys. 12 (1–4): 311–320. doi:10.1002/sapm1933121311.
- Sachs, Horst (1962). "Über selbstkomplementäre Graphen". Publicationes Mathematicae Debrecen. 9: 270–288. doi:10.5486/PMD.1962.9.3-4.11. MR 0151953.
- Sasakura, Nobuo; Enta, Yoichi; Kagesawa, Masataka (1993). "Construction of rank two reflexive sheaves with similar properties to the Horrocks–Mumford bundle". Proc. Japan Acad., Ser. A. 69 (5): 144–148. doi:10.3792/pjaa.69.144.
- White, A. T. (2001). "Graphs of groups on surfaces". Interactions and models. Amsterdam: North-Holland Mathematics Studies 188.
- Wolz, Jessica (2018). Engineering Linear Layouts with SAT. Master's Thesis. University of Tübingen.