La suite de Pell et les matrices cyclotomiques impliquant des carrés sur les corps finis

Informations fondamentales

• ID de l'article: 2501.01667
• Titre: La suite de Pell et les matrices cyclotomiques impliquant des carrés sur les corps finis
• Auteurs: Hai-Liang Wu, Li-Yuan Wang, He-Xia Ni
• Classification: math.NT (Théorie des nombres)
• Date de publication: 15 janvier 2025 (prépublication arXiv)
• Lien de l'article: https://arxiv.org/abs/2501.01667

Résumé

Cet article étudie certaines matrices cyclotomiques impliquant des éléments carrés sur les corps finis, en utilisant les propriétés arithmétiques de la suite de Pell et les outils p-adiques. Soit $1=s_1,s_2,\cdots,s_{(q-1)/2}$ tous les éléments carrés non nuls du corps fini $\mathbb{F}_q$, où $q=p^f$ est une puissance de nombre premier impair avec $q\geq 7$. Les auteurs démontrent que lorsque $f\geq 2$, la matrice $B_q((q-3)/2)=[(s_i+s_j)^{(q-3)/2}]_{2\leq i,j\leq (q-1)/2}$ est singulière. Pour le cas $q=p$, les auteurs établissent que $\det B_p((p-3)/2)=0$ si et seulement si $Q_p\equiv 2\pmod{p^2\mathbb{Z}}$, où $Q_p$ est le terme d'indice $p$ de la suite de Pell compagnon définie par $Q_0=Q_1=2$ et $Q_{i+1}=2Q_i+Q_{i-1}$.

Contexte et motivation de la recherche

Contexte historique

L'étude des matrices cyclotomiques remonte aux travaux fondateurs de Lehmer et Carlitz. Carlitz a d'abord étudié les matrices cyclotomiques de la forme $C^-_p(\psi) = [\psi(j-i)]_{1\leq i,j\leq p-1}$ et $C^+_p(\psi) = [\psi(j+i)]_{1\leq i,j\leq p-1}$, et a fourni des formules explicites pour leurs déterminants.

Importance du problème

1. Signification théorique: Les matrices cyclotomiques relient la théorie algébrique des nombres, la théorie des corps finis et la théorie des matrices, constituant des objets importants dans la recherche interdisciplinaire de ces domaines
2. Complexité computationnelle: Même de petits changements dans la taille de la matrice entraînent une complexité extrême dans le calcul du déterminant
3. Connexions profondes: Les déterminants de ces matrices sont souvent liés à des objets théoriques des nombres importants (tels que les nombres de classes, les unités fondamentales, etc.)

Limitations des méthodes existantes

• Bien que le travail de Chapman ne modifie que la taille de la matrice, le calcul de $\det C^{(0)}_p$ et $\det C^{(1)}_p$ devient extrêmement complexe
• La matrice $S_p(m) = [(i^2+j^2)^m]_{1\leq i,j\leq (p-1)/2}$ de Sun offre une nouvelle perspective pour la recherche connexe, mais de nombreuses questions restent sans réponse

Motivation de cette recherche

Inspirés par le travail de Sun, les auteurs considèrent des variantes de la matrice $B_q(m) = [(s_i+s_j)^m]_{2\leq i,j\leq n}$, où $\{s_1,s_2,\cdots,s_n\}$ sont tous les éléments carrés non nuls sur $\mathbb{F}_q$. En introduisant la suite de Pell, les auteurs établissent des connexions entre les déterminants de ces matrices et des suites théoriques des nombres importantes.

Contributions principales

1. Caractérisation de la singularité: Démonstration de la singularité des matrices $B_q(n-1)$ et $B_q(n-2)$ lorsque $f\geq 2$, avec formule de déterminant exact pour le cas $f=1$
2. Connexion avec la suite de Pell: Établissement de l'équivalence entre la singularité de la matrice $B_p(n-1)$ et le terme de la suite de Pell $Q_p \equiv 2 \pmod{p^2\mathbb{Z}}$
3. Vérification computationnelle: Découverte par calcul que dans la plage $7 \leq p \leq 10^6$, seuls $p \in \{13,31\}$ satisfont $Q_p \equiv 2 \pmod{p^2\mathbb{Z}}$
4. Résultats généralisés: Formules de déterminant complètes pour les variantes $D^{\pm}_q(\psi)$ des matrices de Carlitz

Détail des méthodes

Définition de la tâche

Étudier les propriétés du déterminant de la matrice $B_q(m) = [(s_i+s_j)^m]_{2\leq i,j\leq n}$, où $s_1=1, s_2,\cdots,s_n$ sont tous les éléments carrés non nuls sur $\mathbb{F}_q$, avec $n=(q-1)/2$.

Outils techniques fondamentaux

1. Théorie de la suite de Pell

• Suite de Pell standard: $P_0=0, P_1=1, P_{i+1}=2P_i+P_{i-1}$
• Suite de Pell compagnon: $Q_0=Q_1=2, Q_{i+1}=2Q_i+Q_{i-1}$
• Formule explicite: $Q_i = (1+\sqrt{2})^i + (1-\sqrt{2})^i$

2. Outils d'analyse p-adique

• Caractère de Teichmüller: $\omega_q: \mathbb{F}_q \to \mathbb{C}_p$
• Formule de Gross-Koblitz: Reliant les sommes de Gauss à la fonction Gamma p-adique
• Valuation p-adique: Utilisée pour analyser les propriétés p-adiques des sommes de Jacobi

3. Techniques de théorie des matrices

• Matrices quasi-circulantes: $W_n(v) = [a_{j-i}]_{1\leq i,j\leq n-1}$
• Méthode des valeurs propres: Détermination du déterminant par calcul des valeurs propres
• Formule de Grinberg-Sun-Zhao: Calcul du déterminant pour les matrices de formes spécifiques

Stratégies de preuve des théorèmes clés

Stratégie de preuve du Théorème 1.1

1. Application de la formule de Grinberg-Sun-Zhao: $\det B_q(n-1) = \left(\frac{-1}{2}\right)^{n-2} \cdot \sum_{k=0}^{n-1} W_k$
2. Application des congruences de Lucas: Lorsque $f\geq 2$, utilisation des congruences de Lucas pour démontrer que certains coefficients binomiaux sont congruents à 0 modulo $p$
3. Identité de Sury: Lorsque $f=1$, utilisation de $\sum_{r=0}^{n-1} \binom{n-1}{r}^{-1} = \frac{n}{2^n}\sum_{k=1}^n \binom{2k}{k}$

Stratégie de preuve du Théorème 1.2

1. Théorie des matrices quasi-circulantes: Transformation de $B_q(n)$ en calcul du déterminant de matrices quasi-circulantes
2. Analyse p-adique des sommes de Jacobi: Utilisation de la formule de Gross-Koblitz pour analyser la valuation p-adique des sommes de Jacobi
3. Calcul des valeurs propres: Détermination du déterminant par calcul des valeurs propres des matrices circulantes

Configuration expérimentale

Méthode de vérification computationnelle

Les auteurs ont utilisé la vérification informatique des résultats théoriques, en particulier:

1. Plage: Vérification de tous les nombres premiers dans la plage $7 \leq p \leq 10^6$
2. Condition: Vérification des nombres premiers satisfaisant $Q_p \equiv 2 \pmod{p^2\mathbb{Z}}$
3. Résultat: Découverte que seuls $p \in \{13, 31\}$ satisfont la condition

Exemples numériques

• Pour $p=13$: $Q_{13} \equiv 2 \pmod{13^2}$
• Pour $p=31$: $Q_{31} \equiv 2 \pmod{31^2}$
• Les autres nombres premiers ne satisfont pas cette congruence

Résultats expérimentaux

Résultats principaux

Résultats du Théorème 1.1

1. Cas $f\geq 2$: $B_q(n-1)$ et $B_q(n-2)$ sont tous deux singuliers
2. Cas $f=1$: Formule de déterminant exact fournie, impliquant les termes de la suite de Pell

Résultats du Théorème 1.2

Démonstration que $B_q(n)$ est singulier lorsque $f\geq 2$, avec formule exacte lorsque $f=1$

Découvertes computationnelles

Dans les calculs sur une large plage:

• Les nombres premiers satisfaisant $Q_p \equiv 2 \pmod{p^2\mathbb{Z}}$ sont extrêmement rares
• Ceci fournit un soutien numérique puissant pour les conjectures théoriques connexes

Corollaires et applications

1. Propriétés du symbole de Legendre: Obtention de nouvelles propriétés concernant le symbole de Legendre par le calcul du déterminant
2. Connexion avec le nombre de classes: Établissement de la connexion entre le déterminant de la matrice et le nombre de classes des corps quadratiques imaginaires

Travaux connexes

Évolution historique

1. Période Lehmer-Carlitz: Fondation de la théorie des matrices cyclotomiques
2. Période Chapman: Étude approfondie des variantes de matrices, introduction des "déterminants maléfiques"
3. Période Sun: Variantes de matrices impliquant des carrés, connexion à la théorie algébrique des nombres

Position de cet article

Cet article, basé sur le travail de Sun, établit de nouvelles connexions en introduisant la suite de Pell, ouvrant une nouvelle direction de recherche pour la théorie des matrices cyclotomiques.

Conclusion et discussion

Conclusions principales

1. Caractérisation complète: Caractérisation complète de la singularité pour les matrices $B_q(m)$ ($m=n-2,n-1,n$)
2. Connexions profondes: Révélation des connexions profondes entre les matrices cyclotomiques et la suite de Pell
3. Intuitions computationnelles: Découverte de phénomènes théoriques des nombres importants par calcul à grande échelle

Limitations

1. Plage computationnelle: Bien que vérifiée jusqu'à $10^6$, une preuve plus générale est théoriquement nécessaire
2. Limitations des méthodes: Certaines techniques ne s'appliquent qu'à des formes de matrices spécifiques
3. Problèmes de généralisation: La généralisation aux extensions de corps finis plus générales présente des difficultés

Directions futures

1. Conjecture 1.1: Preuve ou réfutation que seuls $p \in \{13,31\}$ satisfont les conditions connexes
2. Matrices plus générales: Étude d'autres formes de matrices cyclotomiques
3. Extension des applications: Exploration des applications en cryptographie et théorie du codage

Évaluation approfondie

Avantages

1. Innovation technique: Combinaison ingénieuse des outils et méthodes de plusieurs branches mathématiques
2. Profondeur théorique: Établissement de nouvelles connexions entre les matrices cyclotomiques et la suite de Pell
3. Soutien computationnel: La vérification numérique à grande échelle renforce la crédibilité des résultats théoriques
4. Complétude: Caractérisation théorique complète des matrices étudiées

Insuffisances

1. Complexité de la preuve: Certains processus de preuve sont très techniques, avec une lisibilité à améliorer
2. Perspectives d'application: La valeur d'application pratique nécessite une exploration supplémentaire
3. Difficultés de généralisation: La généralisation à des cas plus généraux fait face à des défis techniques

Impact

1. Contribution théorique: Nouvelle perspective de recherche pour la théorie des matrices cyclotomiques
2. Valeur méthodologique: Les méthodes p-adiques et techniques matricielles utilisées ont une valeur générale
3. Signification inspirante: Fournit de nouvelles idées et outils pour la recherche dans les domaines connexes

Scénarios applicables

1. Recherche en mathématiques pures: Théorie des nombres, géométrie algébrique, théorie des corps finis
2. Mathématiques computationnelles: Calcul matriciel, calcul symbolique
3. Cryptographie: Conception de systèmes cryptographiques basés sur les corps finis

Références

L'article cite 25 références importantes, notamment:

• Les travaux fondateurs de Carlitz
• La recherche de Chapman sur les "déterminants maléfiques"
• Le travail de Sun sur les matrices du symbole de Legendre
• Les résultats classiques de Gross-Koblitz sur l'analyse p-adique

Évaluation générale: Cet article est une recherche de haute qualité en théorie des nombres qui établit de nouvelles connexions entre les matrices cyclotomiques et la suite de Pell par des techniques mathématiques ingénieuses. L'article apporte des contributions théoriques importantes et des découvertes computationnelles intéressantes, jetant les bases pour des recherches ultérieures dans les domaines connexes.