Up
# Paley graphs

Paley graphs are named after Raymond E.A.C. Paley (1907-1933).
Paley was an MIT mathematician. He worked together with Norbert Wiener.
He died in an avalanche in 1933 while skiing in the Canadian Rockies.
The graphs that bear his name are constructed as follows:
Given a finite field *F* with *q* elements,
make a graph with vertex set *F* where two vertices
are joined when their difference is a square in the field.
This is an undirected graph when *q* is congruent 1 (mod 4).

For *q* = 4*t* + 1, the parameters are
*v* = 4*t* + 1,
*k* = 2*t*,
λ = *t* − 1,
μ = *t*.

Examples (*q* = 5 and *q* = 9):

For *q* = 13 the Paley graph is locally a hexagon, so that
the graph is a quotient of the hexagonal grid:

(More generally, the graph on the elements of GF(q), where q=6t+1,
where x and y are adjacent when (y−x)^{6} = 1,
is locally a hexagon, unless q is a power of 7.)

Paley graphs are isomorphic to their complements: if *a* is
a nonsquare, then the map that sends *x* to *ax* is
an isomorphism from the graph to its complement.

## Independence and chromatic number

The
independence numbers
of the Paley graphs of prime order less than 7000 were computed by Shearer.
In I. Broere, D. Döman, J. N. Ridley,
*The clique numbers and chromatic numbers of certain Paley graphs*,
Quaestiones Math. **11** (1988) 91-93,
it is shown that when *q* is an even power of a prime, the clique and
chromatic number are both sqrt(*q*).
(Indeed, this is trivial: the subfield gives a clique, and its
translates give a partitions into cliques. No larger cliques exist by the
Hoffman bound. But the graph is self-complementary.)

A much stronger result is found in
A. Blokhuis,
*On subsets of GF(q*^{2}) with square differences,
Indag. Math. **46** (1984) 369-372.
This paper shows that if a subset of GF(*q*) has size sqrt(*q*)
and all differences are squares, or all differences are nonsquares,
then the subset is the affine image of a subfield.
In particular, this determines all cliques and all cocliques
of size sqrt(*q*) in the Paley graph of order *q*.

Smaller maximal cliques are constructed in
R. D. Baker, G. L. Ebert, J. Hemmeter, A. J. Woldar,
*Maximal cliques in the Paley graph of square order*
J. Statist. Plann. Inference **56** (1996) 33-38.

A small table with independence numbers and chromatic numbers:

*q* | |
5 | 9 | 13 | 17 | 25 |
29 | 37 | 41 | 49 | 53 | 61 |
73 | 81 | 89 | 97 | 101 | 109 |
113 | 121 | 137 | 149 | 157 |

α | |
2 | 3 | 3 | 3 | 5 |
4 | 4 | 5 | 7 | 5 | 5 |
5 | 9 | 5 | 6 | 5 | 6 |
7 | 11 | 7 | 7 | 7 |

χ | |
3 | 3 | 5 | 6 | 5 |
8 | 10 | 9 | 7 | 11 | 13 |
15 | 9 | 18 | 17 | 21 | 19 |
17 | 11 | 20 | 22 | 23 |

## Dominating sets

The size of the smallest dominating set in the Paley graph P(*q*)
is less than 1 + log *q* (found by picking greedily), and at least
(0.5 − ε) log *q* (use the randomness of the Paley graph),
where the logarithms have base 2.
For *q* < 2048 one has:

size | *q* |

2 | 5 |

3 | 9-25 |

4 | 29-81 |

5 | 89-373, 401-409, 433, 457, 569, 953 |

6 | 389-397, 421, 449, 461-557, 577-941, 961-1213,
1229, 1249-1289, 1321, 1369, 1409, 1553, 1669 |

7 | 1217, 1237, 1297-1301, 1361, 1373-1381,
1429-1549, 1597-1657, 1681-2029 |

Similarly, for Paley tournaments P(*q*) one has:

size | *q* |

2 | 3 |

3 | 7-11 |

4 | 19-59, 103 |

5 | 67-83, 107-311, 343, 379 |

6 | 331, 347-367, 383-1151, 1171, 1223, 1331, 1723 |

7 | 1163, 1187, 1231-1327, 1367-1699, 1747-2039 |

## Reference

Changwoo Lee, *The domination number of a tournament*,
Kangweon-Kyungki Math. J. **9** (2001) 21-28.