🔢 mathematics

Primes of the form $p^2 + nq^2$

Este artículo demuestra que existen infinitos primos de la forma $p^2 + nq^2$ con tanto $p$ como $q$ primos para $n \equiv 0, 4 \pmod 6$ , estableciendo un conteo asintótico y verificando la "conjetura de los primos gaussianos" de Friedlander–Iwaniec para $n=4$ mediante la aplicación de métodos de sumas de Tipo I/II en $\mathbf{Q}(\sqrt{-n})$ mejorados con avances recientes en normas de Gowers y teoremas de concatenación.

Autores originales: Ben Green, Mehtaab Sawhney

Publicado 2026-06-09

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Ben Green, Mehtaab Sawhney

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

Imagina que eres un maestro chef intentando hornear un tipo de pastel muy específico. La receta es sencilla: toma dos ingredientes, llamémoslos Primo A y Primo B. Mézclalos en un tazón matemático especial usando la fórmula $A^2 + n \times B^2$ . Tu objetivo es descubrir si la mezcla resultante es también un Número Primo.

Para la mayoría de los números $n$ , esto es un juego de azar. Pero este artículo, escrito por Ben Green y Mehtaab Sawhney, demuestra que si eliges un $n$ que deje un resto de 0 o 4 al dividirlo por 6 (como 0, 4, 6, 10, etc.), nunca te quedarás sin estos pasteles especiales. De hecho, puedes hornear una cantidad infinita de ellos.

Aquí es cómo resolvieron el rompecabezas, explicado mediante analogías de la vida cotidiana:

1. El Problema: Encontrar los "Tríos Dorados"

En el mundo de los números, los Números Primos son los bloques de construcción (como 2, 3, 5, 7, 11). Son especiales porque solo pueden dividirse por 1 y por sí mismos.

Los autores buscan un "Trío Dorado":

Un número primo ( $p$ ).
Otro número primo ( $q$ ).
Un tercer número formado por $p^2 + nq^2$ , que también debe ser primo.

Piensa en esto como una cerradura con tres cilindros. Necesitas encontrar una combinación donde los tres cilindros encajen al mismo tiempo. Durante mucho tiempo, los matemáticos supieron que se podían encontrar pares, pero demostrar que se podían encontrar tres en esta disposición específica fue un desafío masivo.

2. La Estrategia: El "Tamiz" y el "Mapa"

Para encontrar estos números, los autores no se limitaron a revisar los números uno por uno (eso tomaría una eternidad). En su lugar, utilizaron una estrategia de dos pasos:

Paso A: El Tamiz (El Colador)
Imagina que tienes un colador gigante lleno de números. Quieres filtrar todo lo que no es un primo.

Sumas de Tipo I: Esto es como revisar el colador en busca de grandes terrones de tierra. Los autores demostraron que podían filtrar los no primos obvios de manera eficiente.
Sumas de Tipo II: Esta es la parte difícil. Es como buscar granos diminutos y ocultos de arena que parecen tierra pero no lo son. Aquí es donde las matemáticas se vuelven muy complicadas. Los autores tuvieron que demostrar que incluso estos patrones diminutos y ocultos no arruinan su conteo.

Paso B: El Mapa (El Campo Numérico)
Para facilitar las matemáticas, los autores no se limitaron a mirar números regulares en una línea recta. Imaginaron un mapa de un mundo diferente llamado Campo Numérico (específicamente, un mundo que involucra $\sqrt{-n}$ ).

Piensa en esto como cambiar de un mapa plano en 2D a un globo terráqueo en 3D. A veces, un problema que parece imposible en un mapa plano se vuelve fácil cuando lo ves desde un ángulo diferente. Al trasladar su problema a este mundo "imaginario", pudieron usar herramientas poderosas para contar los primos con mayor precisión.

3. El Arma Secreta: "Normas de Gowers"

El verdadero magic en este artículo reside en cómo manejaron las sumas de "Tipo II" (los granos de arena diminutos y ocultos). Utilizaron una herramienta de otra rama de las matemáticas llamada Combinatoria Aditiva.

Imagina que estás tratando de detectar si se está reproduciendo una canción en una habitación con ruido.

Si la canción es solo ruido aleatorio, es difícil de escuchar.
Si la canción tiene un ritmo fuerte y repetitivo (un patrón), puedes escucharla incluso a través del ruido.

Los autores utilizaron las Normas de Gowers para medir el "ritmo" de los números.

Demostraron que si los números no tienen un ritmo fuerte y predecible (que es lo que generalmente no tienen los primos), entonces el "ruido" se cancela a sí mismo.
Esto les permitió ignorar las partes desordenadas de la ecuación y concentrarse solo en las partes limpias de los primos. Utilizaron descubrimientos muy recientes y de vanguardia sobre estos "ritmos" (llamados teoremas de concatenación) para que su prueba funcionara.

4. El Resultado: Una Máquina de Conteo

Una vez que filtraron el ruido y mapearon correctamente el problema, finalmente pudieron contar los pasteles.

No se limitaron a decir que "son infinitos". Proporcionaron una fórmula asintótica precisa.

Analogía: Si preguntas "¿Cuántas estrellas hay en el cielo?", una respuesta simple es "muchas". Una respuesta precisa es "Si miras un parche de cielo de este tamaño, verás aproximadamente $X$ estrellas, con un pequeño margen de error".
Los autores proporcionaron la fórmula exacta para $X$ . Calcularon exactamente cuántos de estos "Tríos Dorados" existen hasta un tamaño determinado, con un margen de error muy pequeño.

5. El Caso Especial: Los "Primos Gaussianos"

El artículo destaca un caso específico donde $n = 4$ .

En este caso, la fórmula se convierte en $p^2 + 4q^2$ .
Esto resuelve una famosa conjetura (la "Conjetura de los Primos Gaussianos") que había estado guardada en un estante durante décadas. Confirma que puedes encontrar infinitos primos de esta forma donde tanto $p$ como $q$ son números primos.

Resumen

En resumen, Green y Sawhney construyeron una máquina matemática que:

Tradujo un difícil problema numérico a un "mundo" diferente (Campos Numéricos).
Utilizó un tamiz de alta tecnología para filtrar los no primos.
Utilizó detectores de ritmo avanzados (Normas de Gowers) para asegurar que ningún patrón oculto arruinara el conteo.
Demostró que para tipos específicos de números, puedes encontrar un número infinito de estas combinaciones especiales de primos, e incluso te dieron la receta para contar exactamente cuántos hay.

No solo encontraron uno; demostraron que el suministro es interminable y nos dieron las herramientas para contarlos todos.

Resumen Técnico: Primos de la forma $p^2 + nq^2$

Planteamiento del Problema
El artículo aborda el problema de establecer un conteo asintótico para pares de primos $(p, q)$ tales que $p^2 + nq^2$ sea también primo. Específicamente, los autores demuestran que para cualquier entero positivo $n$ que satisfaga $n \equiv 0$ o $n \equiv 4 \pmod 6$ , existen infinitos tales primos. Esto resuelve un caso específico de la "conjetura de los primos gaussianos" propuesta por Friedlander e Iwaniec (para $n=4$ ) y extiende el estudio de los primos representados por formas cuadráticas binarias donde las variables mismas están restringidas a ser primas.

El resultado principal, el Teorema 1.1, proporciona una fórmula asintótica para la suma ponderada:
$\sum_{x,y \in \mathbb{Z}} \Lambda(x)\Lambda(y)\Lambda(x^2 + ny^2) W\left(\frac{x}{N}, \frac{y}{N}\right) = \kappa_n N^2 \left( \int_{\mathbb{R}^2} W \right) + O\left( \frac{N^2 (\log \log N)^2}{\log N} \right)$
donde $\Lambda$ es la función de von Mangoldt, $W$ es una función de peso suave y $\kappa_n$ es una constante de la serie singular derivada de densidades locales.

Metodología
La demostración emplea un marco de teoría de cribas adaptado al cuerpo de números $K = \mathbb{Q}(\sqrt{-n})$ . El argumento procede a través de varias etapas distintas:

Reducción de Criba: El problema se reduce a estimar sumas sobre ideales primos en $K$ utilizando la criba de Duke–Friedlander–Iwaniec. Esto requiere establecer estimaciones de "Tipo I" y "Tipo II" para funciones de peso $w$ definidas sobre ideales.
- Sumas de Tipo I involucran sumas sobre divisores de un nivel fijo $L$ .
- Sumas de Tipo II son formas bilineales que involucran coeficientes que no son necesariamente estructurados.
  Los autores utilizan una criba de cota superior de dimensión 3 para manejar las restricciones específicas del problema, particularmente al tratar con la función de von Mangoldt, la cual no es acotada por 1.
Control de las Normas de Gowers: La innovación central radica en demostrar que las estimaciones de Tipo I y Tipo II requeridas derivan de las condiciones de pequeñez de las normas de Gowers de las funciones subyacentes. Los autores descomponen la función de von Mangoldt $\Lambda$ en un "término principal" (el modelo de Cramér $\Lambda_{\text{Cramér}}$ ) y un término de error. Se apoyan en resultados cuantitativos recientes que muestran que el término de error tiene normas de Gowers pequeñas.
Teoremas de Concatenación: Para manejar las sumas de Tipo II, los autores emplean herramientas avanzas de combinatoria aditiva, específicamente teoremas de concatenación para las normas de Gowers.
- Utilizan versiones cuantitativas recientes de estos teoremas debido a Kuca y a Kuca–Kravitz–Leng.
- Estos teoremas permiten la conversión del control sobre las "normas de Gowers–Peluse" (normas generalizadas que involucran medidas de probabilidad) en el control sobre las normas estándar de Gowers $U^k$ .
- Esta maquinaria es esencial para desacoplar las sumas bilineares y demostrar que si las normas de Gowers de las funciones de entrada son pequeñas, las sumas de Tipo II también lo son.
Teoría Analítica de Números: El término principal se evalúa utilizando el Teorema de los Números Primos para caracteres de Hecke (Proposición 8.3). Los autores manejan cuidadosamente la serie singular $\kappa_n$ expandiendo el modelo de Cramér mediante inclusión-exclusión y analizando la contribución de los caracteres principales y no principales, asegurando la convergencia del producto infinito que define $\kappa_n$ .

Contribuciones Clave

Resolución de la Conjetura de los Primos Gaussianos ( $n=4$ ): El artículo verifica la conjetura de que existen infinitos primos de la forma $p^2 + 4q^2$ con $p, q$ primos, proporcionando la primera fórmula asintótica para este caso específico.
Generalización a $n \equiv 0, 4 \pmod 6$ : El resultado se extiende a una clase más amplia de enteros $n$ , cubriendo las restricciones de paridad necesarias para que $p^2 + nq^2$ sea primo cuando $p, q$ son primos.
Aplicación de la Concatenación Cuantitativa: El artículo representa una aplicación significativa de desarrollos muy recientes en combinatoria aditiva (específicamente el teorema inverso cuasi-polinomial y los teoremas de concatenación cuantitativa) a un problema clásico de la teoría analítica de números. Une la comprensión cualitativa de las normas de Gowers con los límites cuantitativos requeridos por los métodos de criba.
Manejo de Ideales No Principales: El argumento se formula en el lenguaje de los ideales en $\mathbb{Q}(\sqrt{-n})$ , navegando con éxito la falta de factorización única en cuerpos cuadráticos imaginarios generales al trabajar con clases de ideales y representantes de ideales fraccionarios.

Resultos
El resultado principal es el conteo asintótico dado en el Teorema 1.1. El término de error es del orden de $O(N^2 (\log \log N)^2 / \log N)$ , lo que representa un ahorro de una potencia de $\log N$ sobre la cota trivial. La constante $\kappa_n$ se define explícamente como un producto sobre primos que involucra símbolos de Legendre, reflejando las obstrucciones locales para que la forma $p^2 + nq^2$ sea prima.

Significancia y Reivindicaciones
Los autores posicionan este trabajo como una verificación de una conjetura de larga data de Friedlander e Iwaniec y una extensión natural de su trabajo anterior sobre primos de la forma $x^2 + y^2$ . El artículo afirma que la principal novedad técnica es el tratamiento de las sumas de Tipo II mediante los teoremas de concatenación antes mencionados, lo que permite el ahorro necesario en la criba.

Los autores señalan que, aunque el argumento podría teóricamente modificarse para formas cuadráticas binarias definidas positivas arbitrarias, restringen el alcance a $x^2 + ny^2$ para evitar una notación excesiva. También destacan que obtener información de Tipo I al nivel completo $X^{1/2}$ sin valores absolutos sigue siendo una cuestión abierta, aunque su rango actual es suficiente para la criba de Duke–Friedlander–Iwaniec. El trabajo no pretende resolver el problema general de los primos en secuencias polinómicas, sino que apunta específicamente al "conjunto delgado" de primos donde ambas coordenadas son primas.