Cyclotomic Numbers of Order $q-1$ over $\mathbb{F}_{q^r}$

1. Probleemstelling

Het artikel onderzoekt cyclotomische getallen $(a, b)_e$ over eindige velden, specifiek in de context waarbij de orde van de cyclotomie $e = q-1$ is en het onderliggende veld een extensie $\mathbb{F}_{q^r}$ is (waarbij $q=p^n$ en $r \ge 2$).

• Definities: Laat $k = \frac{q^r-1}{q-1}$. De cyclotomische getallen $(a, b)_{q-1}$ tellen het aantal elementen $x \in C_a$ zodat $x+1 \in C_b$, waarbij $C_a$ cyclotomische cosets van orde $q-1$ zijn in $\mathbb{F}_{q^r}$.
• Context: Hoewel asymptotisch gedrag voor vaste $e$ als $|F| \to \infty$ bekend is ($(a,b)_e \sim |F|/e^2$), en bovengrenzen bestaan voor grote karakteristieken, richt dit artikel zich op de specifieke familie waarbij $e = q-1$ vast is ten opzichte van de veldgrootte $q^r$.
• Kernvraag: De auteurs beogen te bepalen of de ongelijkheid $(a, b)_{q-1} \le \lceil k/2 \rceil$ geldt voor alle $0 \le a, b \le q-2$. Deze grens is significant omdat deze gerelateerd is aan de rang van specifieke matrices geassocieerd met cyclotomie en de verdeling van oplossingen voor normvergelijkingen.

2. Methodologie

De auteurs hanteren een veelzijdige aanpak die algebraïsch getaltheorie, karakter-sommen en grafentheorie combineert:

1. Formulering met Karakter-sommen:

   • Zij drukken $(a, b)_{q-1}$ uit met behulp van multiplicatieve karakters en Jacobi-sommen over $\mathbb{F}_{q^r}$.
   • Door gebruik te maken van de relatieve normafbeelding $N = N_{\mathbb{F}_{q^r}/\mathbb{F}_q}$, relateren zij Jacobi-sommen over het extensieveld aan machten van Jacobi-sommen over het basisveld $\mathbb{F}_q$.
   • Zij ontleden de som in gevallen op basis van of de betrokken karakters triviaal of niet-triviaal zijn, waarbij zij een hoofdbestanddeel en een foutterm isoleren.

2. Schatting en Grenzen:

   • Analyse van het Hoofdbestanddeel: Het hoofdbestanddeel is afgeleid van gevallen met triviale karakters, wat leidt tot expliciete formules die $q^r$ en $(q-2)^r$ bevatten.
   • Schatting van de Foutterm: De foutterm houdt verband met niet-triviale karakters. Met behulp van de Hasse-Davenport-relatie en eigenschappen van Gauss-sommen, begrenzen zij de grootte van deze term tot $O(q^{r/2})$.
   • Gevalanalyse: Zij analyseren strikt de ongelijkheid $(a, b)_{q-1} \le \lceil k/2 \rceil$ door het hoofdbestanddeel plus de foutgrens te vergelijken met $\lceil k/2 \rceil$ voor verschillende pariteiten van $q$ en $r$.

3. Interpretatie via Cayley-digraaf:

   • De auteurs geven een structurele interpretatie van $(a, b)_{q-1}$ met behulp van een gerichte Cayley-graf $\Gamma_q$.
   • Zij definiëren een graf met hoekpunten $G_q = \mathbb{F}_q^\times \times \mathbb{F}_q^\times$ en randen bepaald door de verzameling $\Omega_q = \{(x, 1-x) \mid x \in \mathbb{F}_q \setminus \{0, 1\}\}$.
   • Het cyclotomische getal blijkt gerelateerd te zijn aan het aantal wandelingen van lengte $r$ in deze graf, specifiek die het eenheidselement verbinden met een doelhoekpunt bepaald door $a$ en $b$. Dit levert een exacte formule op die de burenmatrix $A_q$ bevat.

4. Speciale Gevallen ($r$ is een priemgetal):

   • Voor oneven priemgetal $r = \ell$, ontleden zij de oplossingsverzameling op basis van de graad van het minimale polynoom van de oplossingen over $\mathbb{F}_q$.
   • Zij onderscheiden tussen oplossingen in $\mathbb{F}_q$ (graad 1) en oplossingen in $\mathbb{F}_{q^\ell} \setminus \mathbb{F}_q$ (graad $\ell$), waarbij zij eigenschappen van irreducibele polynomen en resultanten gebruiken.

3. Belangrijkste Bijdragen en Resultaten

A. Het Hoofdstelling (Geldigheid van de Ongelijkheid)

Het artikel bewijst dat voor $q = p^n, r \ge 2, k = \frac{q^r-1}{q-1}$, en $e = q-1$:

• Algemeen Geval: Als $q \neq 2$, dan geldt $(a, b)_{q-1} \le \lceil k/2 \rceil$ voor alle $0 \le a, b \le q-2$.
• Uitzondering: Als $q = 2$ en $r \ge 3$, faalt de ongelijkheid. Specifiek is $(0, 0)_1 = 2^r - 2$, terwijl $\lceil k/2 \rceil = 2^{r-1}$. Aangezien $2^r - 2 > 2^{r-1}$ voor $r \ge 3$, wordt de grens geschonden.
• Gelijkheidgeval: Als $q=2$ en $r=2$, geldt gelijkheid ($2^2-2 = 2 = \lceil 3/2 \rceil$).

B. Exacte Formules

De auteurs leiden een exacte formule af voor $(a, b)_{q-1}$:
$$(a, b)_{q-1} = \frac{q^r - (-1)^{r-1}(q-2)^r - 2}{(q-1)^2} + (-1)^{r-1} W_{(-1)^r \omega^{ak}, \omega^{bk}}(q, r)$$
waarbij $W_{u,v}(q, r)$ het aantal wandelingen van lengte $r$ is in de Cayley-graf $\Gamma_q$ van $(1,1)$ naar $(u,v)$.

C. Scherpere Grenzen voor Priemgetal $r$

Wanneer $r = \ell$ een oneven priemgetal is, bieden de auteurs aanzienlijk strakkere grenzen dan de algemene $\lceil k/2 \rceil$:

• Als $p = \ell$: $0 \le (a, b)_{q-1} \le \ell q^{\ell-2} + 1$.
• Als $p \neq \ell$: $0 \le (a, b)_{q-1} \le \ell q^{\ell-2} + \ell - 1$.
• Specifiek voor $r=2$: $(a, b)_{q-1} \in \{0, 1, 2\}$.
• Specifiek voor $r=3$: $6 \le (a, b)_{q-1} \le 2q + 4$.

D. Matrixinterpretatie

Het artikel verbindt de cyclotomische getallen met de rang van de matrix $C(a,b)$ gedefinieerd in de inleiding. Het falen van de ongelijkheid in het geval $q=2, r \ge 3$ komt overeen met de matrix $C(0,0)$ die de matrix van enen is, welke rang 1 heeft, wat leidt tot een groot cyclotomisch getal.

4. Betekenis

• Oplossing van een Specifiek Vermoeden: Het artikel beslecht de vraag of de grens $(a, b)_e \le \lceil k/2 \rceil$ geldt voor de specifieke familie $e=q-1$. Het identificeert de enige uitzonderingen ($q=2, r \ge 3$), waardoor een volledige classificatie wordt geboden.
• Structureel Inzicht: Door cyclotomische getallen te koppelen aan wandelingen op Cayley-grafen, biedt het artikel een nieuw combinatorisch perspectief dat traditionele methoden uit de analytische getaltheorie aanvult.
• Verfijnde Schattingen: De afgeleide grenzen voor priemgetal $r$ zijn veel scherper dan de algemene $\lceil k/2 \rceil$-grens, wat aantoont dat voor grote $q$ de cyclotomische getallen feitelijk vrij klein zijn (polynomiaal in $q$ in plaats van exponentieel in $r$).
• Toekomstige Richtingen: De auteurs stellen open vragen over het falen van vergelijkbare ongelijkheden in meer algemene settings en de structurele eigenschappen van de matrices $C(a,b)$ in die faalgevallen.

Samenvattend biedt dit werk een uitgebreide analyse van cyclotomische getallen van orde $q-1$ over $\mathbb{F}_{q^r}$, waarbij schattingen van karakter-sommen worden gecombineerd met graf-theoretische interpretaties om precieze grenzen vast te stellen en de unieke voorwaarden te identificeren waaronder standaard bovengrenzen falen.