Denominadores Mínimos en Subconjuntos del Anillo de Polinomios sobre un Cuerpo Finito

Información Básica

• ID del Artículo: 2510.07787
• Título: Minimal Denominators Lying in Subsets of the Ring of Polynomials over a Finite Field
• Autor: Noy Soffer Aranov (Universidad Tecnológica de Graz)
• Clasificación: math.NT (Teoría de Números), cs.NA (Análisis Numérico), math.NA, math.PR (Probabilidad)
• Fecha de Publicación: 12 de noviembre de 2025 (arXiv v2)
• Enlace del Artículo: https://arxiv.org/abs/2510.07787

Resumen

Este artículo estudia el problema de denominadores mínimos en subconjuntos del anillo de polinomios sobre cuerpos finitos. Dado un subconjunto $\mathcal{S}\subseteq \mathbb{F}_q[x]$ y valores fijos $n,m\in \mathbb{N}$, el autor investiga dos problemas relacionados: (1) caso continuo: la distribución del denominador mínimo $Q\in \mathcal{S}$ tal que $\frac{P}{Q}$ cae en la bola $B(\alpha, q^{-n})$ para $\mathbf{P}\in \mathbb{F}_q[x]^m$; (2) caso discreto: la distribución de probabilidad discreta correspondiente cuando $N\in \mathbb{F}_q[x]$ satisface $\deg(N)=n$. El artículo demuestra que para cualquier subconjunto infinito $\mathcal{S}$, cualquier $n$ y cualquier dimensión $m$, las funciones de distribución de probabilidad de estas dos variables aleatorias son exactamente iguales. Este resultado es mucho más fuerte que los resultados en el caso de números reales (Balazard y Martin solo probaron que los valores esperados son asintóticamente cercanos).

Antecedentes de Investigación y Motivación

Contexto del Problema

1. Origen del Problema Clásico: Kruyswijk y Meijer KM77 estudiaron la función definida en los enteros: $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\}$ es decir, devuelve el denominador mínimo de un número racional que cae en cierto intervalo. Probaron que $S(N) = \sum_{j=0}^{N-1} q_j(N) \asymp N^{3/2}$ y conjeturaron que $S(N) \sim \frac{16}{\pi^2}N^{3/2}$.
2. Analogía Continua: Meiss y Sanders SM20 propusieron una versión continua: $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. Avances Importantes: Balazard y Martin BM23 probaron la conjetura de Kruyswijk-Meijer y establecieron una conexión entre los casos discreto y continuo: $S(N) - N\int_0^1 q_{\min}\left(x, \frac{1}{N}\right)dx \ll N^{4/3}\ln^2 N$

Motivación de la Investigación

1. Propiedades Especiales de Cuerpos de Funciones: Los cuerpos de funciones poseen la propiedad ultramétrica (ultrametric inequality), lo que hace que el comportamiento de intersecciones de bolas sea más regular (o disjuntas o iguales), lo que podría conducir a resultados más precisos.
2. Restricción del Conjunto de Denominadores: La investigación existente se enfoca principalmente en todos los denominadores; este artículo considera el caso donde los denominadores están restringidos a un subconjunto específico $\mathcal{S}$, que tiene aplicaciones importantes en teoría de números.
3. Generalización a Dimensiones Superiores: Extender resultados unidimensionales a dimensiones arbitrarias $m$, que es de importancia significativa en la teoría de aproximación diofántica.
4. Igualdades Exactas vs. Relaciones Asintóticas: El caso de números reales solo puede producir relaciones asintóticas, mientras que la estructura de cuerpos de funciones podría permitir igualdades de distribución exactas.

Contribuciones Principales

1. Teorema Principal (Teorema 1.3): Se prueba que para cualquier conjunto infinito $\mathcal{S} \subseteq \mathbb{F}_q[x]_{\text{monic}}$, cualquier dimensión $m$, cualquier $n\in\mathbb{N}$ y cualquier $N\in R_{=n}$, las distribuciones de probabilidad de los casos discreto y continuo son exactamente iguales: $\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. Teorema de Distribución de Denominadores (Teorema 1.7): No solo son iguales las distribuciones de grados, sino que la distribución de los polinomios denominadores mínimos reales también es exactamente igual: $\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. Fórmula de Distribución Exacta (Corolario 1.5): Se proporciona una fórmula de probabilidad exacta para el caso sin restricción de denominadores; por ejemplo, cuando $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{en otro caso} \end{cases}$
4. Secuencias de Brechas de Hadamard (Teorema 1.10): Para el semigrupo multiplicativo $\mathcal{S} = \{P^d : d\geq 0\}$, se proporciona una fórmula de distribución completa, que está relacionada con la expansión en base $P$ de series de Laurent.
5. Resultado de Error Cero: A diferencia del error $O(N^{4/3}\ln^2 N)$ en el caso de números reales, el error en el caso de cuerpos de funciones es cero, lo que representa una mejora esencial.

Explicación Detallada de Métodos

Definición de Tareas

Caso Continuo: Dado $\alpha \in K_\infty^m$ (espacio $m$-dimensional de series de Laurent) y $n\in\mathbb{N}$, se define $\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\}$

Caso Discreto: Dado $N\in R_{=n}$ y $a\in R^m_{<n}$, se define $d_{N,\mathcal{S}}(a) = \deg_{\min,\mathcal{S}}\left(\frac{a}{N}, \frac{1}{|N|}\right)$

donde:

• $R = \mathbb{F}_q[x]$ es el anillo de polinomios sobre un cuerpo finito
• $\hat{R}^{m+1}$ denota vectores primitivos (es decir, vectores cuyo $\gcd$ es 1)
• $\|\cdot\|$ es la norma del máximo: $\|v\| = \max_i |v_i|$
• $|f| = q^{\deg(f)}$ es el valor absoluto

Marco Técnico Principal

1. Fracciones de Farey y Cobertura de Bolas

Se define fracciones de Farey de tipo $\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\}$

Cantidad clave $f_{m,n,\mathcal{S}}(k)$: representa el número de bolas disjuntas en la unión $\bigcup_{P/Q\in\mathcal{F}^m_{k,\mathcal{S}}} B(P/Q, q^{-(n+1)})$.

2. Aplicación de la Propiedad Ultramétrica

Lema 1.1 (Lema Clave): Para $\alpha_1, \alpha_2 \in K_\infty^m$ y $r>0$:

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

Esta propiedad es la diferencia esencial entre cuerpos de funciones y números reales, haciendo que el comportamiento de intersecciones de bolas sea completamente determinado.

3. Condición de Separación

Definición 3.2: Una fracción de Farey $\frac{P}{Q} \in \mathcal{F}^m_{k,\mathcal{S}}$ se llama $(\mathcal{S}, n)$-separada si para todo $\frac{A}{B} \in \mathcal{F}^m_{\deg(Q),\mathcal{S}} \setminus \{\frac{P}{Q}\}$, se tiene $\left\|\frac{P}{Q} - \frac{A}{B}\right\| \geq q^{-n}$

Este concepto es análogo al concepto de "brechas" en fracciones de Farey estudiado por Marklof Mar13, Mar24.

Estrategia de Demostración

Núcleo de la Demostración del Teorema 1.3

Paso 1: Establecer la fórmula de volumen para el caso continuo $\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}}$

Paso 2: Establecer la fórmula de conteo para el caso discreto $\#\{a\in R^m_{<n} : d_{N,\mathcal{S}}(a) > k\} = q^{mn} - f_{m,n,\mathcal{S}}(k)$

Paso 3: Utilizar la propiedad ultramétrica para probar la correspondencia de bolas

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

Esto garantiza que el número de bolas disjuntas es el mismo en los casos discreto y continuo.

Paso 4: Obtener la igualdad de probabilidades por diferencia $\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)$

Núcleo de la Demostración del Teorema 1.7

Se utiliza el Lema 3.1 para establecer: $Q_{\min,\mathcal{S}}(\alpha, q^{-n}) = Q$ es equivalente a la existencia de $P/Q$ que es $(\mathcal{S}, n)$-separada.

Se define $f_{m,n,\mathcal{S},Q}(k)$ como el número de bolas disjuntas correspondientes a todas las fracciones de Farey $(\mathcal{S}, n)$-separadas con denominador $Q$, y luego se completa la demostración de manera análoga al Teorema 1.3.

Configuración Experimental

Este es un artículo de matemática pura teórica que no incluye experimentos numéricos ni conjuntos de datos. Todos los resultados son pruebas matemáticas rigurosas.

Verificación Teórica

El artículo verifica la corrección de la teoría de las siguientes maneras:

1. Verificación de Casos Especiales: El Corolario 1.5 proporciona fórmulas exactas para $\mathcal{S} = R_{\text{monic}}$, que pueden compararse con los resultados de Ara26 para verificación.
2. Verificación de Consistencia: Se verifica que la suma de probabilidades es 1, por ejemplo: $\sum_{k=0}^{n} \mathbb{P}(d_{N,\mathcal{S}}(a) = k) = 1$
3. Casos Límite:
   • Cuando $k \leq n/2$, el Corolario 2.1 da $f_{m,n,\mathcal{S}}(k) = \#\mathcal{F}^m_{k,\mathcal{S}}$
   • Cuando $1\in\mathcal{S}$, $\mathbb{P}(d_{N,\mathcal{S}}(a)=0) = q^{-mn}$

Resultados Experimentales

Resultados Teóricos Principales

1. Equivalencia Completa (Teorema 1.3)

Para todo $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)$

Significado: Esta es una igualdad exacta en lugar de una relación asintótica, con error cero.

2. Igualdad de Valores Esperados (Corolario 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)$

Esto generaliza el resultado de Balazard-Martin y reduce el término de error de $O(N^{4/3}\ln^2 N)$ a cero.

3. Distribución Exacta sin Restricción de Denominadores (Corolario 1.5)

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