Distribution of power residues over shifted subfields and maximal cliques in generalized Paley graphs

Greg Martin,Chi Hoi Yip

2024-08-11

Abstract:We derive an asymptotic formula for the number of solutions in a given subfield to certain system of equations over finite fields. As an application, we construct new families of maximal cliques in generalized Paley graphs. Given integers $d\ge2$ and $q \equiv 1 \pmod d$, we show that for each positive integer $m$ such that $\operatorname{rad}(m) \mid \operatorname{rad}(d)$, there are maximal cliques of size approximately $q/m$ in the $d$-Paley graph defined on $\mathbb{F}_{q^d}$. We also confirm a conjecture of Goryainov, Shalaginov, and the second author on the maximality of certain cliques in generalized Paley graphs, as well as an analogous conjecture of Goryainov for Peisert graphs.

Number Theory,Combinatorics

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to understand the distribution of solutions to specific equations in finite fields, especially the local distribution in a given sub - field. Specifically, the paper focuses on the distribution of certain power residues in finite field extensions and uses these results to construct maximal cliques in generalized Paley graphs. The following are the key problems and goals of the paper:

1. **Local Distribution of Power Residues**:
- The paper studies the number and distribution of solutions to specific equations in a given sub - field. In particular, for a finite field extension \(K/L\) where \(|L|\equiv1\pmod{d}\), the author wishes to calculate the number of solutions \(x\) in the base field \(L\) that satisfy \((x - v_i)^{(q^n - 1)/d}=1\), where \(v_1,\ldots,v_k\in K\).

2. **Maximal Cliques in Generalized Paley Graphs**:
- Using the above results on the distribution of power residues, the paper constructs new families of maximal cliques in the generalized Paley graph \(GP(q^d,d)\). In particular, for an odd prime power \(q\) such that \(q\equiv1\pmod{d}\), the author proves that there exist maximal cliques of size approximately \(\frac{q}{m}\), where \(m\) is a positive integer and \(\text{rad}(m)\mid\text{rad}(d)\).

3. **Verify Conjectures**:
- The paper also verifies some conjectures about maximal cliques in specific constructions in generalized Paley graphs and Peisert graphs. For example, it confirms the conjecture about maximal cliques in generalized Paley graphs proposed by Goryainov, Shalaginov and Yip, as well as Sergey Goryainov's conjecture about maximal cliques in Peisert graphs.

### Formula Summary

- **Main Theorem Formula**:
- Theorem 1.2: Let \(d\geq2\) and \(q\equiv1\pmod{d}\). For \(1\leq i\leq k\), let the degree of \(v_i\in\mathbb{F}_{q^n}\) be \(d_i\). Let \(M\) be the number of solutions in the base field \(\mathbb{F}_q\) that satisfy the system of equations \((x - v_i)^{(q^n - 1)/d}=1\). Assume that \(v_i\) and \(v_j\) are not Galois conjugates with respect to the field extension \(\mathbb{F}_{q^n}/\mathbb{F}_q\). Then:
\[
\left|M - q\prod_{i = 1}^k\frac{\gcd(d d_i,n)}{d d_i}\right|\leq\left(\sum_{i = 1}^k d_i - 1\right)\sqrt{q}
\]

- **Maximal Clique Size Formula**:
- Theorem 1.4: Let \(d\geq2\), \(r\) be the smallest prime factor of \(d\), and \(m\) be a positive integer such that \(\text{rad}(m)\mid\text{rad}(d)\). If \(q\equiv1\pmod{d}\) is an odd prime power and satisfies \(q>(8\log_r m + 4)d^2m^2\), then there exists a maximal clique \(C\) in the generalized Paley graph \(GP(q^d,d)\) whose size is:
\[
\left|C\right|=\frac{q}{m}+O(d\log