🔢 mathematics

Consecutive non-square nom-primitive pairs in as finite field

El artículo demuestra que, bajo ciertas condiciones sobre la relación entre la función indicatriz de Euler y el orden del grupo multiplicativo, todo cuerpo finito de orden impar contiene pares de elementos consecutivos que son simultáneamente no cuadrados y no primitivos, extendiendo así resultados previos para cuerpos primos.

Autores originales: Stephen D. Cohen

Publicado 2026-04-24

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Stephen D. Cohen

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

¡Hola! Vamos a desglosar este artículo matemático complejo y transformarlo en una historia fácil de entender, usando analogías de la vida cotidiana. Imagina que el mundo de las matemáticas es como un gran festival de baile organizado en un campo cerrado.

1. El Escenario: El Campo de Baile (El Campo Finito)

Imagina un campo de baile llamado $F_q$ . En este campo hay un número específico de bailarines (llamados "elementos"). El número total de bailarines es $q$ .

La regla del juego: Todos los bailarines deben formar parejas consecutivas (uno al lado del otro en la fila).
El objetivo: Queremos encontrar dos bailarines que estén uno al lado del otro y que cumplan dos condiciones especiales al mismo tiempo:
1. No ser "Estrellas" (No primitivos): No son los bailarines más populares o especiales que pueden generar a todos los demás. Son "bailarines normales".
2. No ser "Izquierdos" (No cuadrados): En este baile, hay una regla extraña: la mitad de los bailarines son "cuadrados" (tienen un paso especial) y la otra mitad son "no cuadrados". Nosotros buscamos a los que no tienen ese paso especial.

A estos dos bailarines especiales los llamamos NSNP (No-Cuadrado y No-Primitivo). El problema es: ¿Siempre podemos encontrar dos bailarines NSNP que estén pegados uno al otro en la fila?

2. El Problema: ¿Cuántos "Bailarines Normales" hay?

El autor, Stephen Cohen, se pregunta: ¿Bajo qué condiciones del tamaño del campo ( $q$ ) podemos garantizar que existirá al menos un par de estos "bailarines normales" pegados?

Para medir esto, usa una regla llamada $\theta_q$ (theta). Piensa en $\theta_q$ como un termómetro de popularidad:

Mide qué porcentaje de los bailarines son "Estrellas" (primitivos).
Si el termómetro marca muy alto (muchas estrellas), hay pocos bailarines normales, y es difícil encontrar dos pegados.
Si el termómetro marca bajo (pocas estrellas), hay muchos bailarines normales, y es fácil encontrarlos juntos.

La conclusión principal del artículo:
El autor descubre que si el termómetro $\theta_q$ marca menos de 1/3 (es decir, si menos del 33% de los bailarines son estrellas), ¡seguro que encontrarás un par de "bailarines normales" pegados!

Incluso si marca exactamente 1/3, casi siempre funciona, excepto en unos pocos campos de baile muy pequeños y específicos (como los de 7, 13, 19, 25 o 37 bailarines), donde la suerte no acompaña y no hay pares.

3. La Estrategia: El "Tamiz" (El Colador)

¿Cómo demostró esto el autor? Usó una herramienta matemática llamada tamiz (o colador).

Imagina que tienes un colador gigante.

Primero, intentas colar a todos los bailarines para ver cuáles son "Estrellas".
Pero para los "bailarines normales", el colador es más difícil de usar porque no hay una fórmula simple para descartarlos.

El autor tuvo una idea brillante: en lugar de buscar a cualquier bailarín normal, se enfocó en un subgrupo más específico. Imagina que en lugar de buscar a cualquier "bailarín no estrella", buscas a alguien que además tenga un tatuaje específico (ser una potencia de un número primo, como el cubo o la quinta potencia).

El truco: Si encuentras dos bailarines pegados que tienen ese tatuaje específico y no son estrellas, ¡automáticamente también son "bailarines normales" (NSNP)!
Al hacer esto, el problema se vuelve más fácil de resolver matemáticamente.

4. Los Resultados: ¿Para qué tamaños de campo funciona?

El autor dividió el problema en dos partes:

A. Campos grandes (Donde el tatuaje es difícil de conseguir):
Si el campo es grande y el tatuaje es de un número primo grande (como 7, 11, 13...), el autor demostró que, si hay pocos "Estrellas" (menos de 1/3), siempre habrá un par pegado. No importa cuán raro sea el tatuaje, la cantidad de bailarines es tan grande que la probabilidad de que dos estén juntos es del 100%.

B. Campos pequeños (Donde el tatuaje es común):
Aquí es donde hubo que hacer un trabajo manual. Para los tatuajes más comunes (el cubo, que es la potencia 3, y la quinta potencia), el autor tuvo que revisar campo por campo, como si estuviera contando bailarines uno por uno en una fiesta pequeña.

Usó computadoras y tablas antiguas de matemáticos famosos (como Gauss) para verificar caso por caso.
El hallazgo: Confirmó que en casi todos los campos pequeños también hay pares, excepto en esos 5 o 6 casos especiales mencionados antes (7, 13, 19, etc.).

5. El Caso Especial de 43

Hubo un caso curioso con el campo de 43 bailarines.

Si buscas "bailarines con tatuaje de cubo" (potencia 3), no hay dos pegados. ¡Parece que falló!
PERO, el autor miró más de cerca y descubrió que, aunque no hay pares de "cubos", sí hay un par de "bailarines normales" que tienen otros tatuajes (uno es una séptima potencia y el otro un cubo).
Lección: A veces, para encontrar el tesoro, no necesitas que ambos tengan el mismo tipo de joya, solo que ambos sean "bailarines normales".

Resumen Final (La Moraleja)

Este paper es como una guía para organizar fiestas de baile en campos finitos.

La Regla de Oro: Si tienes menos de un tercio de "Estrellas" en tu fiesta, siempre podrás encontrar dos invitados "normales" que estén parados uno al lado del otro.
Las Excepciones: Solo hay unos pocos tamaños de fiesta muy pequeños donde esto no ocurre.
El Método: El autor combinó matemáticas avanzadas (como contar con coladores mágicos) con una revisión manual de las fiestas pequeñas para asegurarse de que no se le escapara ningún detalle.

En esencia, el paper nos dice que en el mundo de los números finitos, la "normalidad" (ser no-primitivo y no-cuadrado) es tan común que, si no hay demasiadas "estrellas" dominando el escenario, es inevitable que dos de ellas se encuentren juntas.

Resumen Técnico

1. Planteamiento del Problema

El artículo aborda un problema fundamental en la teoría de cuerpos finitos: la existencia de pares consecutivos de elementos en un cuerpo finito $\mathbb{F}_q$ (donde $q$ es una potencia de primo impar) que sean simultáneamente no cuadrados y no primitivos.

Definiciones clave:
- Un elemento es primitivo si es un generador del grupo multiplicativo $\mathbb{F}_q^*$ .
- Un elemento es no cuadrado si no es un cuadrado en $\mathbb{F}_q$ .
- Un elemento se denomina NSNP (Non-Square Non-Primitive) si cumple ambas condiciones.
- Un par NSNP es un par de elementos consecutivos $(\alpha, \alpha+1)$ donde ambos son NSNP.
Contexto: Se sabe que para $q > 3$ , existen pares consecutivos de no cuadrados. Sin embargo, la existencia de pares que sean además no primitivos es un problema más profundo.
Parámetro crítico: Se define $\theta_q = \frac{\phi(q-1)}{q-1}$ $θ_{q} = \frac{ϕ ( q - 1 )}{q - 1}$ , que representa la proporción de elementos primitivos en $\mathbb{F}_q^*$ $F_{q}^{*}$ .
- Si $\theta_q = 1/2$ (caso de primos de Fermat o $q=9$ ), todos los no cuadrados son primitivos, por lo que no existen elementos NSNP.
- El objetivo es encontrar una cota superior para $\theta_q$ que garantice la existencia de pares NSNP.

2. Metodología

El autor emplea una combinación de métodos analíticos y computacionales:

Estimación de Sumas de Caracteres y Sumas de Jacobi:
- Se define una función característica $f_\ell(\alpha)$ para identificar elementos que son no cuadrados y $\ell$ -ésimas potencias (donde $\ell$ es un primo impar que divide a $q-1$ ).
- El número de pares $N_\ell(q)$ se expresa como una suma sobre $\mathbb{F}_q$ que involucra productos de caracteres multiplicativos.
- Mediante el desarrollo de sumas de Jacobi $J(\chi_1, \chi_2)$ , se deriva una cota inferior para $N_\ell(q)$ . La estrategia consiste en separar el término principal (que crece con $q$ ) de los términos de error (que crecen con $\sqrt{q}$ ).
Análisis de Casos según el Divisor Primo $\ell$ :
- Se estudia primero el caso general donde $\ell$ es el menor divisor primo impar de $q-1$ .
- Caso $\ell \geq 7$ : Se demuestra que si $\theta_q \leq 1/3$ , entonces $q$ es suficientemente grande para que la cota inferior de $N_\ell(q)$ sea positiva, garantizando la existencia del par.
- Caso $\ell = 3$ y $\ell = 5$ : Las cotas analíticas generales no son suficientes para $q$ $q$ pequeños. El autor recurre a:
  - Números Ciclotómicos: Utiliza tablas clásicas de números ciclotómicos de orden 6 y 10 (basadas en trabajos de Gauss, Jacobi, Dickson y Whiteman) para calcular valores exactos de $N_3(q)$ y $N_5(q)$ .
  - Cálculo Computacional: Se utilizan herramientas como Pari/GP para verificar la existencia de pares en los casos excepcionales donde las fórmulas analíticas o las cotas no son concluyentes.
Reducción del Problema:
- Se demuestra que un par de elementos no cuadrados y $\ell$ -ésimas potencias (par $NS_\ell$ ) es automáticamente un par NSNP.
- El problema se reduce a encontrar un par $NS_\ell$ para el menor primo $\ell$ que divide a $q-1$ .

3. Contribuciones y Resultados Principales

Teorema Principal (Teorema 1.1):
Sea $q$ una potencia de primo impar y $\theta_q = \frac{\phi(q-1)}{q-1}$ .

Si $\theta_q < 1/3$ , entonces $\mathbb{F}_q$ contiene un par consecutivo de elementos no cuadrados y no primitivos.
Si $\theta_q = 1/3$ , la conclusión se mantiene, con las únicas excepciones:
$q \in \{7, 13, 19, 25, 37\}$
(Nota: El valor $q=43$ es una excepción para el caso general de $\ell$ , pero no para el caso NSNP, ya que en $\mathbb{F}_{43}$ existe el par $(7,8)$ ).

Teorema Generalizado (Teorema 1.2):
Sea $\ell$ el menor divisor primo impar de $q-1$ . Si $\theta_q \leq 1/3$ , entonces $\mathbb{F}_q$ contiene un par consecutivo de elementos no cuadrados y $\ell$ -ésimas potencias, con excepciones solo cuando $\ell=3$ y $q \in \{7, 13, 19, 25, 37, 43\}$ .

Mejoras sobre Resultados Previos:

Extiende el trabajo de Jarso y Trudgian (2022) para cuerpos primos $\mathbb{F}_p$ , que requería la condición más fuerte $\theta_p \leq 1/4$ .
Cohen relaja la condición a $\theta_q \leq 1/3$ , lo que implica que los elementos NSNP pueden ser tan pocos como la mitad de los elementos primitivos y aún así garantizar la existencia de pares consecutivos.

Análisis de Casos Específicos:

Para $\ell \geq 7$ : Se demuestra que la condición $\theta_q \leq 1/3$ implica que $q$ es lo suficientemente grande ( $q > 16\ell^4$ ) para que la cota inferior de la suma de Jacobi sea positiva.
Para $\ell = 3$ : Se calculan explícitamente los valores de $N_3(q)$ para $q < 269$ . Se identifica que los únicos valores donde no existen pares son $\{7, 13, 19, 25, 37, 43\}$ .
Para $\ell = 5$ : Se verifica computacionalmente que para los casos restantes ( $q \in \{911, 1331, 2381, 3221, 3851\}$ ), existen pares $NS_5$ .

4. Significado e Impacto

Optimización de Límites: El resultado establece que el umbral crítico para la existencia de pares NSNP es $\theta_q = 1/3$ . Esto es significativo porque, a diferencia de los elementos primitivos (donde los métodos de tamizaje son más directos), los elementos NSNP requieren métodos de cota superior más complejos que no siempre están disponibles.
Estructura Multiplicativa: El trabajo destaca la dificultad de estudiar elementos que son simultáneamente no cuadrados y no primitivos, ya que carecen de la estructura multiplicativa simple de los primitivos. La solución mediante números ciclotómicos y verificación computacional para casos pequeños es una metodología robusta.
Excepciones Precisas: El artículo no solo prueba la existencia asintótica, sino que clasifica exhaustivamente todas las excepciones finitas, proporcionando una lista completa de los cuerpos finitos donde tal par no existe.
Preguntas Abiertas: El autor sugiere futuras investigaciones sobre cuerpos de característica 2 ( $q$ par) y la existencia de tríos consecutivos de elementos NSNP, abriendo nuevas direcciones en la teoría de números algebraica.

En conclusión, este artículo resuelve un problema de existencia en teoría de cuerpos finitos refinando las cotas conocidas y proporcionando una clasificación completa de los casos excepcionales mediante una combinación elegante de teoría analítica de números y cálculo computacional.