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

1. Enunciato del Problema

L'articolo indaga i numeri ciclotomici $(a, b)_e$ su campi finiti, specificamente nel contesto in cui l'ordine della ciclotomia è $e = q-1$ e il campo sottostante è un'estensione $\mathbb{F}_{q^r}$ (dove $q=p^n$ e $r \ge 2$).

• Definizioni: Sia $k = \frac{q^r-1}{q-1}$. I numeri ciclotomici $(a, b)_{q-1}$ contano il numero di elementi $x \in C_a$ tali che $x+1 \in C_b$, dove $C_a$ sono le classi ciclotomiche di ordine $q-1$ in $\mathbb{F}_{q^r}$.
• Contesto: Mentre il comportamento asintotico per $e$ fissato al tendere di $|F| \to \infty$ è noto ($(a,b)_e \sim |F|/e^2$), e esistono limiti superiori per caratteristica grande, questo articolo si concentra sulla famiglia specifica in cui $e = q-1$ è fissato rispetto alla dimensione del campo $q^r$.
• Domanda Centrale: Gli autori mirano a determinare se la disuguaglianza $(a, b)_{q-1} \le \lceil k/2 \rceil$ valga per tutti gli $0 \le a, b \le q-2$. Questo limite è significativo perché si relaziona al rango di matrici specifiche associate alla ciclotomia e alla distribuzione delle soluzioni di equazioni di norma.

2. Metodologia

Gli autori adottano un approccio multifacciale che combina teoria algebrica dei numeri, somme di caratteri e teoria dei grafi:

1. Formulazione tramite Somme di Caratteri:

   • Esprimono $(a, b)_{q-1}$ utilizzando caratteri moltiplicativi e somme di Jacobi su $\mathbb{F}_{q^r}$.
   • Sfruttando la mappa di norma relativa $N = N_{\mathbb{F}_{q^r}/\mathbb{F}_q}$, relazionano le somme di Jacobi sul campo di estensione alle potenze delle somme di Jacobi sul campo base $\mathbb{F}_q$.
   • Decompongono la somma in casi basati sul fatto che i caratteri coinvolti siano banali o non banali, isolando un termine principale e un termine di errore.

2. Stima e Limiti:

   • Analisi del Termine Principale: Il termine principale deriva dai casi di caratteri banali, producendo formule esplicite che coinvolgono $q^r$ e $(q-2)^r$.
   • Stima del Termine di Errore: Il termine di errore coinvolge caratteri non banali. Utilizzando la relazione di Hasse-Davenport e le proprietà delle somme di Gauss, limitano la magnitudine di questo termine a $O(q^{r/2})$.
   • Analisi dei Casi: Analizzano rigorosamente la disuguaglianza $(a, b)_{q-1} \le \lceil k/2 \rceil$ confrontando il termine principale più il limite di errore con $\lceil k/2 \rceil$ per varie parità di $q$ e $r$.

3. Interpretazione tramite Grafo di Cayley Diretto:

   • Gli autori forniscono un'interpretazione strutturale di $(a, b)_{q-1}$ utilizzando un grafo di Cayley diretto $\Gamma_q$.
   • Definiscono un grafo con vertici $G_q = \mathbb{F}_q^\times \times \mathbb{F}_q^\times$ e archi determinati dall'insieme $\Omega_q = \{(x, 1-x) \mid x \in \mathbb{F}_q \setminus \{0, 1\}\}$.
   • Si dimostra che il numero ciclotomico è correlato al numero di cammini di lunghezza $r$ in questo grafo, che collegano specificamente l'elemento identità a un vertice target determinato da $a$ e $b$. Ciò produce una formula esatta che coinvolge la matrice di adiacenza $A_q$.

4. Casi Speciali ($r$ è primo):

   • Per $r = \ell$ primo dispari, decompongono l'insieme delle soluzioni in base al grado del polinomio minimo delle soluzioni su $\mathbb{F}_q$.
   • Distinguono tra soluzioni in $\mathbb{F}_q$ (grado 1) e soluzioni in $\mathbb{F}_{q^\ell} \setminus \mathbb{F}_q$ (grado $\ell$), utilizzando le proprietà dei polinomi irriducibili e dei risultanti.

3. Contributi e Risultati Chiave

A. Il Teorema Principale (Validità della Disuguaglianza)

L'articolo dimostra che per $q = p^n, r \ge 2, k = \frac{q^r-1}{q-1}$, ed $e = q-1$:

• Caso Generale: Se $q \neq 2$, allora $(a, b)_{q-1} \le \lceil k/2 \rceil$ vale per tutti gli $0 \le a, b \le q-2$.
• Eccezione: Se $q = 2$ e $r \ge 3$, la disuguaglianza non vale. Nello specifico, $(0, 0)_1 = 2^r - 2$, mentre $\lceil k/2 \rceil = 2^{r-1}$. Poiché $2^r - 2 > 2^{r-1}$ per $r \ge 3$, il limite viene violato.
• Caso di Uguaglianza: Se $q=2$ e $r=2$, vale l'uguaglianza ($2^2-2 = 2 = \lceil 3/2 \rceil$).

B. Formule Esatte

Gli autori derivano una formula esatta per $(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)$$
dove $W_{u,v}(q, r)$ è il numero di cammini di lunghezza $r$ nel grafo di Cayley $\Gamma_q$ da $(1,1)$ a $(u,v)$.

C. Limiti più Rigidi per $r$ Primo

Quando $r = \ell$ è un primo dispari, gli autori forniscono limiti significativamente più stretti rispetto al generale $\lceil k/2 \rceil$:

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

D. Interpretazione Matriciale

L'articolo collega i numeri ciclotomici al rango della matrice $C(a,b)$ definita nell'introduzione. Il fallimento della disuguaglianza nel caso $q=2, r \ge 3$ corrisponde alla matrice $C(0,0)$ che è la matrice di tutti uni, la quale ha rango 1, portando a un numero ciclotomico elevato.

4. Significato

• Risoluzione di una Congettura Specifica: L'articolo risolve la questione se il limite $(a, b)_e \le \lceil k/2 \rceil$ valga per la famiglia specifica $e=q-1$. Identifica le uniche eccezioni ($q=2, r \ge 3$), fornendo una classificazione completa.
• Intuizione Strutturale: Collegando i numeri ciclotomici ai cammini sui grafi di Cayley, l'articolo offre una nuova prospettiva combinatoria che completa i metodi tradizionali della teoria analitica dei numeri.
• Stime Raffinate: I limiti derivati per $r$ primo sono molto più stretti del limite generale $\lceil k/2 \rceil$, mostrando che per $q$ grande, i numeri ciclotomici sono in realtà piuttosto piccoli (polinomiali in $q$ anziché esponenziali in $r$).
• Direzioni Future: Gli autori pongono domande aperte riguardanti il fallimento di disuguaglianze simili in contesti più generali e le proprietà strutturali delle matrici $C(a,b)$ in quei casi di fallimento.

In sintesi, questo lavoro fornisce un'analisi completa dei numeri ciclotomici di ordine $q-1$ su $\mathbb{F}_{q^r}$, combinando stime di somme di caratteri con interpretazioni teoriche dei grafi per stabilire limiti precisi e identificare le condizioni uniche in cui i limiti superiori standard falliscono.