Dénominateurs Minimaux Situés dans des Sous-ensembles de l'Anneau des Polynômes sur un Corps Fini

Informations Fondamentales

• ID de l'article: 2510.07787
• Titre: Minimal Denominators Lying in Subsets of the Ring of Polynomials over a Finite Field
• Auteur: Noy Soffer Aranov (Université de Technologie de Graz)
• Classification: math.NT (Théorie des Nombres), cs.NA (Analyse Numérique), math.NA, math.PR (Probabilités)
• Date de publication: 12 novembre 2025 (arXiv v2)
• Lien de l'article: https://arxiv.org/abs/2510.07787

Résumé

Cet article étudie le problème des dénominateurs minimaux dans les sous-ensembles de l'anneau des polynômes sur un corps fini. Étant donné un sous-ensemble $\mathcal{S}\subseteq \mathbb{F}_q[x]$ et des entiers fixes $n,m\in \mathbb{N}$, l'auteur étudie deux problèmes connexes : (1) le cas continu : la distribution des dénominateurs minimaux $Q\in \mathcal{S}$ tels que $\frac{P}{Q}$ se situe dans une boule $B(\alpha, q^{-n})$ pour $\mathbf{P}\in \mathbb{F}_q[x]^m$ ; (2) le cas discret : la distribution de probabilité correspondante lorsque $N\in \mathbb{F}_q[x]$ satisfait $\deg(N)=n$. L'article démontre que pour tout sous-ensemble infini $\mathcal{S}$, tout $n$ et toute dimension $m$, les fonctions de distribution de probabilité de ces deux variables aléatoires sont exactement égales. Ce résultat est beaucoup plus fort que les résultats dans le cas des nombres réels (Balazard et Martin ont seulement prouvé que les moyennes convergent asymptotiquement).

Contexte de Recherche et Motivation

Contexte du Problème

1. Origine du problème classique: Kruyswijk et Meijer KM77 ont étudié la fonction définie sur les entiers : $q_j(N) = \min\left\{q \in \mathbb{N} : \exists p \in \mathbb{Z} : \frac{p}{q} \in \left[\frac{j}{N}, \frac{j+1}{N}\right)\right\}$ c'est-à-dire le retour du dénominateur minimal d'une fraction rationnelle se situant dans un intervalle donné. Ils ont prouvé que $S(N) = \sum_{j=0}^{N-1} q_j(N) \asymp N^{3/2}$ et ont conjecturé que $S(N) \sim \frac{16}{\pi^2}N^{3/2}$.
2. Analogue continu: Meiss et Sanders SM20 ont proposé une version continue : $q_{\min}(x, \delta) = \min\left\{q \in \mathbb{N} : \exists \frac{p}{q} \in \left(x-\frac{\delta}{2}, x+\frac{\delta}{2}\right), \gcd(p,q)=1\right\}$
3. Progrès importants: Balazard et Martin BM23 ont prouvé la conjecture de Kruyswijk-Meijer et établi un lien entre les cas discret et continu : $S(N) - N\int_0^1 q_{\min}\left(x, \frac{1}{N}\right)dx \ll N^{4/3}\ln^2 N$

Motivation de la Recherche

1. Propriétés spéciales des corps de fonctions: Les corps de fonctions possèdent la propriété ultramétrique (ultrametric inequality), ce qui rend le comportement des intersections de boules plus régulier (soit disjointes, soit égales), conduisant potentiellement à des résultats plus précis.
2. Restriction de l'ensemble des dénominateurs: Les recherches existantes se concentrent principalement sur tous les dénominateurs, tandis que cet article considère le cas où les dénominateurs sont restreints à un sous-ensemble spécifique $\mathcal{S}$, ce qui a des applications importantes en théorie des nombres.
3. Généralisation en dimension supérieure: Extension des résultats unidimensionnels à une dimension arbitraire $m$, ce qui est important en théorie de l'approximation diophantienne.
4. Égalité exacte vs relation asymptotique: Le cas des nombres réels ne peut donner que des relations asymptotiques, tandis que la structure des corps de fonctions peut permettre des égalités de distribution exactes.

Contributions Principales

1. Théorème Principal (Théorème 1.3): Démontre que pour tout ensemble infini $\mathcal{S} \subseteq \mathbb{F}_q[x]_{\text{monic}}$, toute dimension $m$, tout $n\in\mathbb{N}$ et tout $N\in R_{=n}$, les distributions de probabilité des cas discret et continu sont exactement égales : $\mathbb{P}(a \in R^m_{<n} : d_{N,\mathcal{S}}(a) = k) = \nu_m(\alpha \in \mathfrak{m}^m : \deg_{\min,\mathcal{S}}(\alpha, q^{-n}) = k)$
2. Théorème de Distribution des Dénominateurs (Théorème 1.7): Non seulement les distributions de degrés sont égales, mais les distributions des polynômes dénominateurs minimaux réels sont également exactement égales : $\mathbb{P}(a \in R^m_{<n} : Q_{N,\mathcal{S}}(a) = Q) = \nu(\alpha \in \mathfrak{m}^m : Q_{\min,\mathcal{S}}(\alpha, q^{-n}) = Q)$
3. Formule de Distribution Exacte (Corollaire 1.5): Fournit une formule de probabilité exacte pour le cas sans restriction de dénominateur, par exemple lorsque $n\geq 2$ : $\mathbb{P}(a \in R_{<n} : d_{N,R_{\text{monic}}}(a) = k) = \begin{cases} q^{-n} & k=0 \\ \frac{q-1}{q^{n-2k+1}} & k \leq \lceil\frac{n}{2}\rceil \\ 0 & \text{sinon} \end{cases}$
4. Séquences de Lacunes de Hadamard (Théorème 1.10): Pour le semi-groupe multiplicatif $\mathcal{S} = \{P^d : d\geq 0\}$, fournit une formule de distribution complète, qui est liée aux développements en base $P$ de séries de Laurent.
5. Résultat d'Erreur Zéro: Contrairement au cas des nombres réels avec erreur $O(N^{4/3}\ln^2 N)$, le cas du corps de fonctions a une erreur zéro, ce qui est une amélioration essentielle.

Détails de la Méthode

Définition des Tâches

Cas continu: Étant donné $\alpha \in K_\infty^m$ (espace des séries de Laurent $m$-dimensionnel) et $n\in\mathbb{N}$, définir $\deg_{\min,\mathcal{S}}(\alpha, q^{-n}) = \min\left\{d : \exists \frac{P}{Q} \in K^m, (P,Q)\in\hat{R}^{m+1}, Q\in\mathcal{S}\cap R_{=d}, \left\|\alpha - \frac{P}{Q}\right\| < \frac{1}{q^n}\right\}$

Cas discret: Étant donné $N\in R_{=n}$ et $a\in R^m_{<n}$, définir $d_{N,\mathcal{S}}(a) = \deg_{\min,\mathcal{S}}\left(\frac{a}{N}, \frac{1}{|N|}\right)$

où :

• $R = \mathbb{F}_q[x]$ est l'anneau des polynômes sur le corps fini
• $\hat{R}^{m+1}$ désigne les vecteurs primitifs (c'est-à-dire dont le pgcd est 1)
• $\|\cdot\|$ est la norme du maximum : $\|v\| = \max_i |v_i|$
• $|f| = q^{\deg(f)}$ est la valeur absolue

Cadre Technique Principal

1. Fractions de Farey et Couvertures de Boules

Définir les fractions de Farey de type $\mathcal{S}$ : $\mathcal{F}^m_{k,\mathcal{S}} = \left\{\frac{P}{Q} \in K : (P,Q)\in\hat{R}^{m+1}, \|P\| < |Q| \leq q^k, Q\in\mathcal{S}\right\}$

Quantité clé $f_{m,n,\mathcal{S}}(k)$ : représente le nombre de boules disjointes dans l'union $\bigcup_{P/Q\in\mathcal{F}^m_{k,\mathcal{S}}} B(P/Q, q^{-(n+1)})$.

2. Application de la Propriété Ultramétrique

Lemme 1.1 (Lemme Clé): Pour $\alpha_1, \alpha_2 \in K_\infty^m$ et $r>0$ :

• Si $\|\alpha_1 - \alpha_2\| > r$, alors $B(\alpha_1, r) \cap B(\alpha_2, r) = \emptyset$
• Si $\|\alpha_1 - \alpha_2\| \leq r$, alors $B(\alpha_1, r) = B(\alpha_2, r)$

Cette propriété est la différence essentielle entre les corps de fonctions et les nombres réels, rendant le comportement des intersections de boules complètement déterminé.

3. Condition de Séparation

Définition 3.2: Une fraction de Farey $\frac{P}{Q} \in \mathcal{F}^m_{k,\mathcal{S}}$ est appelée $(\mathcal{S}, n)$-séparée si pour tous $\frac{A}{B} \in \mathcal{F}^m_{\deg(Q),\mathcal{S}} \setminus \{\frac{P}{Q}\}$, on a $\left\|\frac{P}{Q} - \frac{A}{B}\right\| \geq q^{-n}$

Ce concept est analogue à la notion de « lacunes » dans les fractions de Farey étudiée par Marklof Mar13, Mar24.

Stratégie de Preuve

Preuve du Théorème 1.3 - Noyau

Étape 1: Établir la formule de volume pour le cas continu $\nu_m(\alpha \in \mathfrak{m}^m : \deg_{\min,\mathcal{S}}(\alpha, q^{-n}) > k) = 1 - \frac{f_{m,n,\mathcal{S}}(k)}{q^{mn}}$

Étape 2: Établir la formule de comptage pour le cas discret $\#\{a\in R^m_{<n} : d_{N,\mathcal{S}}(a) > k\} = q^{mn} - f_{m,n,\mathcal{S}}(k)$

Étape 3: Utiliser la propriété ultramétrique pour prouver la correspondance des boules

• $B(P/Q, q^{-(n+1)}) \cap B(A/B, q^{-(n+1)}) = \emptyset$ si et seulement si
• $B(NP/Q, q^{-1}) \cap B(NA/B, q^{-1}) = \emptyset$

Cela garantit que le nombre de boules disjointes est le même dans les cas discret et continu.

Étape 4: Obtenir l'égalité des probabilités par différence $\mathbb{P}(d_{N,\mathcal{S}}(a) = k) = \frac{f_{m,n,\mathcal{S}}(k) - f_{m,n,\mathcal{S}}(k-1)}{q^{mn}} = \nu_m(\deg_{\min,\mathcal{S}}(\alpha, q^{-n}) = k)$

Preuve du Théorème 1.7 - Noyau

Utiliser le Lemme 3.1 pour établir : $Q_{\min,\mathcal{S}}(\alpha, q^{-n}) = Q$ est équivalent à l'existence d'une fraction de Farey $(\mathcal{S}, n)$-séparée $P/Q$.

Définir $f_{m,n,\mathcal{S},Q}(k)$ comme le nombre de boules disjointes correspondant à toutes les fractions de Farey $(\mathcal{S}, n)$-séparées avec dénominateur $Q$, puis compléter la preuve de manière analogue au Théorème 1.3.

Configuration Expérimentale

Cet article est un article de mathématiques pures théoriques qui ne contient pas d'expériences numériques ou d'ensembles de données. Tous les résultats sont des preuves mathématiques rigoureuses.

Vérification Théorique

L'article vérifie la correction de la théorie de la manière suivante :

1. Vérification des cas particuliers: Le Corollaire 1.5 fournit des formules exactes pour $\mathcal{S} = R_{\text{monic}}$, qui peuvent être comparées avec les résultats de Ara26.
2. Vérifications de cohérence: Vérifier que la somme des probabilités est 1, par exemple : $\sum_{k=0}^{n} \mathbb{P}(d_{N,\mathcal{S}}(a) = k) = 1$
3. Cas limites:
   • Lorsque $k \leq n/2$, le Corollaire 2.1 donne $f_{m,n,\mathcal{S}}(k) = \#\mathcal{F}^m_{k,\mathcal{S}}$
   • Lorsque $1\in\mathcal{S}$, $\mathbb{P}(d_{N,\mathcal{S}}(a)=0) = q^{-mn}$

Résultats Expérimentaux

Résultats Théoriques Principaux

1. Équivalence Complète (Théorème 1.3)

Pour tous $k = 0, 1, \ldots, m_{\mathcal{S}}(n)$ : $\mathbb{P}(a \in R^m_{<n} : d_{N,\mathcal{S}}(a) = k) = \nu_m(\alpha \in \mathfrak{m}^m : \deg_{\min,\mathcal{S}}(\alpha, q^{-n}) = k)$

Signification: C'est une égalité exacte plutôt qu'une relation asymptotique, avec une erreur zéro.

2. Égalité des Valeurs Attendues (Corollaire 1.4)

$\mathbb{E}[d_{N,\mathcal{S}}(a)] = \frac{1}{|N|}\sum_{a\in R^m} d_{N,\mathcal{S}}(a) = \int_{\mathfrak{m}^n} \deg_{\min,\mathcal{S}}(\alpha, |N|^{-1})d\nu_m(\alpha)$

Cela généralise le résultat de Balazard-Martin et réduit le terme d'erreur de $O(N^{4/3}\ln^2 N)$ à zéro.

3. Distribution Exacte sans Restriction de Dénominateur (Corollaire 1.5)

Lorsque $\mathcal{S} = R_{\text{monic}}$, $n\geq 2$, $m=1$ :