Una brecha prima es la diferencia entre dos números primos sucesivos .-ésimo intervalo primo, denotadooes la diferencia entre lay elnúmeros primos -ésimos, es decir,
Por ejemplo, dado que los primeros números primos son 2, 3, 5, 7, 11..., tenemos,,La secuenciaEl estudio de las brechas de números primos ha sido ampliamente investigado; sin embargo, muchas preguntas y conjeturas siguen sin respuesta.
Los primeros 60 intervalos primos son:
- 1, 2, 2, 4, 2, 4, 2, 4, 6, 2, 6, 4, 2, 4, 6, 6, 2, 6, 4, 2, 6, 4, 6, 8, 4, 2, 4, 2, 4, 14, 4, 6, 2, 10, 2, 6, 6, 4, 6, 6, 2, 10, 2, 4, 2, 12, 12, 4, 2, 4, 6, 2, 10, 6, 6, 6, 2, 6, 4, 2, ... (secuencia A001223 en el OEIS ) .
Por definición deCada número primo se puede escribir como
Observaciones simples
El primer, más pequeño y único intervalo primo impar es el intervalo de tamaño 1 entre 2, el único número primo par , y 3, el primer primo impar. Todos los demás intervalos primos son pares. Solo hay un par de intervalos consecutivos de longitud 2: los intervalosyentre los números primos 3, 5 y 7.
Para cualquier número entero, el factoriales el producto de todos los enteros positivos hasta e incluyendo. Luego en la secuencia
El primer término es divisible por 2, el segundo término es divisible por 3, y así sucesivamente. Por lo tanto, esta es una secuencia de n − 1 enteros compuestos consecutivos , y debe pertenecer a un intervalo entre primos de longitud al menosDe ello se deduce que existen brechas entre números primos que son arbitrariamente grandes, es decir, para cualquier entero, hay un número enterocon.
Sin embargo, las principales brechas deLos números pueden aparecer en números mucho más pequeños quePor ejemplo, la primera brecha de números primos de tamaño mayor que 14 se produce entre los primos 523 y 541, mientras que 15! es el número muchísimo mayor 1307674368000.
La diferencia promedio entre números primos aumenta a medida que aumenta el logaritmo natural de estos primos, y por lo tanto, la razón entre la diferencia de primos y los primos involucrados disminuye (y es asintóticamente cero). Esto es una consecuencia del teorema de los números primos . Desde una perspectiva heurística, esperamos que la probabilidad de que la razón entre la longitud de la diferencia y el logaritmo natural sea mayor o igual a un número positivo fijo sea .serEn consecuencia, la razón puede ser arbitrariamente grande. De hecho, la razón entre la brecha y el número de dígitos de los enteros involucrados aumenta sin límite. Esto es consecuencia de un resultado de Westzynthius. [ 1 ]
En la dirección opuesta, la conjetura de los primos gemelos postula quepara infinitos números enteros.
Resultados numéricos
Por lo general, la proporción se denomina mérito de la brecha. De manera informal, el mérito de una brechapuede pensarse como la relación del tamaño de la brecha en comparación con los tamaños promedio de brechas primarias en las proximidades de.
La brecha prima más grande conocida con extremos de brecha prima probables identificados tiene longitud16 045 848 , con385 713 primos probables de dígitos y mérito M = 18,067 , encontrados por Andreas Höglund en marzo de 2024. [ 2 ] La mayor brecha de primos conocida con primos probados identificados como extremos de la brecha tiene longitud1 113 106 y mérito 25.90, con18 662 números primos de dígitos encontrados por P. Cami, M. Jansen y JK Andersen. [ 3 ] [ 4 ]
A partir de mayo de 2026 , el mayor valor de mérito conocido y el primero con mérito superior a 40, según lo descubierto por la red Gapcoin , es 41.93878373 con el primo de 87 dígitos 293703234068022590158723766104419463425709075574811762098588798217895728858676728143227 . La diferencia entre este y el siguiente número primo es 8350. [ 5 ] [ 6 ]
La relación de Cramér-Shanks-Granville es la relación. [ 5 ] Si descartamos los valores anómalamente altos de la razón para los primos 2, 3 y 7, entonces el mayor valor conocido de esta razón es 0,9206386 para el primo 1693182318746371. En comparación, la brecha descubierta por la red Gapcoin (con mérito 41,9) tiene una razón de Cramér-Shanks-Granville de solo 0,2058791. Otros términos de registro se pueden encontrar en OEIS : A111943 .
Decimos quees una brecha máxima , sia pesar deA partir de mayo de 2026 , la mayor brecha prima máxima conocida tiene una longitud de 1854, hallada por Robert Smith, utilizando el código de Brian Kehrig. Es la 85.ª brecha prima máxima y aparece después del primo 101412319996363309069. [ 8 ] Otros tamaños de brecha récord (máximos) se pueden encontrar en OEIS : A005250 , con los primos correspondientes.en OEIS : A002386 y los valores deen OEIS : A005669 . La secuencia de brechas máximas hasta elSe conjetura que el -ésimo primo tiene aproximadamentetérminos. [ 9 ]
Resultados adicionales
límites superiores
El postulado de Bertrand , demostrado en 1852, afirma que siempre hay un número primo entrey(para todo k ≥ 2), por lo que en particular, lo que significa.
El teorema de los números primos , demostrado en 1896, dice que la longitud promedio de la brecha entre un número primoy el siguiente primo se aproximará asintóticamente, el logaritmo natural depara primos suficientemente grandes. La longitud real de la brecha podría ser mucho mayor o menor que esto. Sin embargo, se puede deducir del teorema de los números primos que las brechas se vuelven arbitrariamente más pequeñas en proporción a los primos: el cociente
En otras palabras (por definición de límite ), para cada, hay un númerode tal manera que para todos,
Hoheisel (1930) fue el primero en mostrar [ 10 ] una dependencia sublineal; que existe una constantede tal manera que
por lo tanto, demostrando que para suficientemente grande,
Hoheisel obtuvo el valor posible 32999/33000 para. Esto fue mejorado a 249/250 por Heilbronn , [ 11 ] y a, para cualquier, por Chudakov . [ 12 ]
Una mejora importante se debe a Ingham , [ 13 ] quien demostró que para alguna constante positiva c ,
- sientoncespara cualquier
Aquí, O se refiere a la notación O mayúscula , ζ denota la función zeta de Riemann y π la función de conteo de números primos . Sabiendo que cualquier c > 1/6 es admisible, se obtiene que θ puede ser cualquier número mayor que 5/8.
Dado que 5/8+ ε < 2/3, y la distancia entre cubos consecutivos es del orden de, se deduce que siempre hay un número primo entre n 3 y ( n + 1) 3 , si n es suficientemente grande. [ 14 ] En 2016, Dudek dio una versión explícita del resultado de Ingham: hay primos entre cubos consecutivos para todos. [ 15 ]
La hipótesis de Lindelöf implicaría que la fórmula de Ingham se cumple para cualquier número positivo c ; pero incluso esto no bastaría para implicar que existe un número primo entre n² y ( n + 1) ² para n suficientemente grande (véase la conjetura de Legendre ). Para verificar esto, se necesitaría un resultado más contundente , como la conjetura de Cramér .
Huxley en 1972 demostró que se puede elegir θ = 7/12 = 0,58 3 . [ 16 ]
Un resultado, debido a Baker, Harman y Pintz en 2001, muestra que θ puede tomarse como 0,525. [ 17 ]
Lo anterior describe los límites de todas las brechas; otra área de interés es el tamaño mínimo de la brecha. La conjetura de los primos gemelos afirma que siempre hay más brechas de tamaño 2, pero sigue sin probarse. En 2005, Daniel Goldston , János Pintz y Cem Yıldırım demostraron que
y 2 años después mejoró esto [ 18 ] a
En 2013, Yitang Zhang demostró que
lo que significa que hay infinitas brechas que no superan los 70 millones. [ 19 ] Un esfuerzo colaborativo del Proyecto Polymath para optimizar la cota de Zhang logró reducir la cota a 4680 el 20 de julio de 2013. [ 20 ] En noviembre de 2013, James Maynard introdujo un nuevo refinamiento de la criba GPY , lo que le permitió reducir la cota a 600 y también demostrar que las brechas entre primos separados por m están acotadas para todo m . Es decir, para cualquier m existe una cota Δ m tal que p n + m − p n ≤ Δ m para infinitos n . [ 21 ] Usando las ideas de Maynard, el proyecto Polymath mejoró la cota a 246; [ 20 ] [ 22 ] asumiendo la conjetura de Elliott-Halberstam y su forma generalizada , la cota se ha reducido a 12 y 6, respectivamente. [ 20 ]
límites inferiores
En 1931, Erik Westzynthius demostró que las brechas primas máximas crecen más que logarítmicamente. Es decir, [ 1 ]
En 1938, Robert Rankin demostró la existencia de una constante c > 0 tal que la desigualdad
Se cumple para infinitos valores de n , mejorando los resultados de Westzynthius y Paul Erdős . Posteriormente, demostró que se puede tomar cualquier constante c < e γ , donde γ es la constante de Euler-Mascheroni . El valor de la constante c se mejoró en 1997 a cualquier valor menor que 2 e γ . [ 23 ]
Paul Erdős ofreció un premio de 10 000 dólares por una prueba o refutación de que la constante c en la desigualdad anterior puede tomarse arbitrariamente grande. [ 24 ] Esto fue demostrado como correcto en 2014 por Ford, Green, Konyagin y Tao, e independientemente por James Maynard. [ 25 ] [ 26 ]
El resultado mejoró aún más
para infinitos valores de n por Ford–Green–Konyagin–Maynard–Tao. [ 27 ]
En el espíritu del premio original de Erdős, Terence Tao ofreció 10.000 dólares estadounidenses por una demostración de que c puede tomarse arbitrariamente grande en esta desigualdad. [ 28 ]
También se han determinado límites inferiores para cadenas de números primos. [ 29 ]
Conjeturas sobre las brechas entre números primos
Como se describió anteriormente , el mejor límite probado para los tamaños de brecha es g n < p n 0,525 (para n suficientemente grande; no nos preocupamos por 5 − 3 > 3 0,525 o 29 − 23 > 23 0,525 ), pero se observa que incluso las brechas máximas son significativamente más pequeñas que eso, lo que lleva a una plétora de conjeturas no probadas.
El primer grupo plantea la hipótesis de que el exponente se puede reducir a θ = 0,5 .
Tanto la conjetura de Legendre de que siempre existe un primo entre cuadrados perfectos consecutivos como la conjetura de Andrica de que la diferencia de raíces cuadradas de primos consecutivos está acotada por 1 [ 30 ] implican que
La conjetura de Oppermann hace la afirmación más fuerte de que, para n suficientemente grande (probablemente n ≥ 31 ),
Todas estas afirmaciones siguen sin probarse. Harald Cramér estuvo cerca, demostrando [ 31 ] que la hipótesis de Riemann implica que la brecha g n satisface
utilizando la notación de la gran O. (De hecho, este resultado solo necesita la hipótesis de Lindelöf más débil , si se puede tolerar un exponente infinitesimalmente mayor que 1/2. [ 32 ] )
Dudek también demostró una versión explícita del resultado de Cramer (asumiendo también la hipótesis de Riemann), es decir, para todo n ≥ 2,

Como señaló Dudek, para un n suficientemente grande se puede reducir la constante.ser cualquier constante mayor que 1.
En el mismo artículo, Cramér conjeturó que las brechas son mucho más pequeñas. En términos generales, la conjetura de Cramér afirma que
una tasa de crecimiento polilogarítmica más lenta que cualquier exponente θ > 0 .
El modelo de Cramér, bajo el cual formuló la conjetura, era demasiado simplificado (asumiendo que algunos eventos son estadísticamente independientes cuando en realidad son dependientes) y, por lo tanto, no muy preciso (véase la conjetura de Cramér ), pero después de investigaciones adicionales, se encontraron nuevas heurísticas que se convirtieron en una sólida evidencia de que la conjetura es cierta.
Como esto coincide con la tasa de crecimiento observada de las brechas primas, existen varias conjeturas similares. La conjetura de Firoozbakht es ligeramente más fuerte, afirmando que p n 1/ n es una función estrictamente decreciente de n , es decir, para todo n ≥ 1,
Si esta conjetura es verdadera, entonces g n < (log p n ) 2 − log p n − 1 para todo n ≥ 10 . [ 33 ] [ 34 ] Implica una forma fuerte de la conjetura de Cramér, pero es inconsistente con las heurísticas de Granville y Pintz , [ 35 ] [ 36 ] [ 37 ] que sugieren que g n > (2 − ϵ ) e − γ (log p n ) 2 > (1.1229 − ϵ )(log p n ) 2 infinitas veces para cualquier ϵ > 0 , donde γ denota la constante de Euler-Mascheroni .
La conjetura de Polignac afirma que todo número par positivo k aparece como un intervalo primo infinitamente a menudo. El caso k = 2 corresponde a la conjetura de los primos gemelos . Esta conjetura aún no ha sido probada ni refutada para ningún valor específico de k , pero las mejoras al resultado de Zhang, analizadas anteriormente, demuestran que es cierta para al menos un valor (actualmente desconocido) de k ≤ 246.
Como una función aritmética
La diferencia g n entre el n- ésimo y el ( n + 1)-ésimo número primo es un ejemplo de una función aritmética . En este contexto, se suele denotar d n y se denomina función de diferencia prima. [ 30 ] La función no es ni multiplicativa ni aditiva .
Véase también
Referencias
- ^ Westzynthius , E. (1931), "Über die Verteilung der Zahlen die zu den n ersten Primzahlen teilerfremd sind", Commentationes Physico-Mathematicae Helsingsfors (en alemán), 5 : 1– 37, JFM 57.0186.02 , Zbl 0003.24601 .
- ↑ ATH (11 de marzo de 2024). "Anuncio en Mersenneforum.org" . Mersenneforum.org . Archivado del original el 12 de marzo de 2024.
- ↑ Andersen, Jens Kruse. "Las 20 brechas principales" . Archivado del original el 27 de diciembre de 2019. Recuperado el 13 de junio de 2014 .
- ↑ Andersen, Jens Kruse (8 de marzo de 2013). "Una megabrecha con mérito 25,9" . primerecords.dk . Archivado del original el 25 de diciembre de 2019. Recuperado el 29 de septiembre de 2022 .
- 1 2 Nicely, Thomas R. (2019). "NUEVA BRECHA PRINCIPAL DE MÁXIMO MÉRITO CONOCIDO" . faculty.lynchburg.edu . Archivado del original el 30 de abril de 2021. Recuperado el 29 de septiembre de 2022 .
- ↑ "Prime Gap Records" . GitHub . 11 de junio de 2022.
- ↑ "Los 20 mejores méritos generales" . Lista de brechas principales . Archivado del original el 23 de mayo de 2026. Recuperado el 23 de mayo de 2026 .
- ↑ Andersen, Jens Kruse. "Record prime gaps" . Consultado el 10 de octubre de 2024 .
- ↑ Kourbatov, A.; Wolf, M. (2020). "Sobre las primeras ocurrencias de huecos entre primos en una clase de residuos" . Journal of Integer Sequences . 23 (Artículo 20.9.3). arXiv : 2002.02115 . MR 4167933. S2CID 211043720. Zbl 1444.11191 . Archivado del original el 12 de abril de 2021. Recuperado el 3 de diciembre de 2020 .
- ^ Hoheisel, G. (1930). "Primzahlprobleme in der Analysis". Sitzunsberichte der Königlich Preussischen Akademie der Wissenschaften zu Berlin . 33 : 3– 11. JFM 56.0172.02 .
- ↑ Heilbronn, HA (1933). "Über den Primzahlsatz von Herrn Hoheisel". Mathematische Zeitschrift . 36 (1): 394– 423. doi : 10.1007/BF01188631 . JFM 59.0947.01 . S2CID 123216472 .
- ↑ Tchudakoff, NG (1936). "Sobre la diferencia entre dos números primos vecinos". Mat. Sb . 1 : 799– 814. Zbl 0016.15502 .
- ↑ Ingham, AE (1937). "Sobre la diferencia entre primos consecutivos". Quarterly Journal of Mathematics . Oxford Series. 8 (1): 255– 266. Bibcode : 1937QJMat...8..255I . doi : 10.1093/qmath/os-8.1.255 .
- ↑ Cheng, Yuan-You Fu-Rui (2010). "Estimación explícita de primos entre cubos consecutivos". Rocky Mt. J. Math . 40 : 117–153 . arXiv : 0810.2113 . doi : 10.1216/rmj-2010-40-1-117 . S2CID 15502941. Zbl 1201.11111 .
- ↑ Dudek, Adrian (17 de enero de 2014), Un resultado explícito para primos entre cubos , arXiv : 1401.4233
- ↑ Huxley, MN (1972). "Sobre la diferencia entre primos consecutivos" . Inventiones Mathematicae . 15 (2): 164– 170. Bibcode : 1971InMat..15..164H . doi : 10.1007/BF01418933 . S2CID 121217000 .
- ↑ Baker, RC; Harman, G.; Pintz, J. (2001). "La diferencia entre primos consecutivos, II" (PDF) . Actas de la Sociedad Matemática de Londres . 83 (3): 532– 562. CiteSeerX 10.1.1.360.3671 . doi : 10.1112/plms/83.3.532 . S2CID 8964027 .
- ^ Goldston, Daniel A.; Pintz, János; Yıldırım, Cem Yalçin (2010). "Primes en tuplas II". Acta Matemática . 204 (1): 1– 47. arXiv : 0710.2728 . doi : 10.1007/s11511-010-0044-9 . S2CID 7993099 .
- ↑ Zhang, Yitang (2014). "Bounded gaps between primes" . Annals of Mathematics . 179 (3): 1121– 1174. doi : 10.4007/annals.2014.179.3.7 . MR 3171761 .
- 1 2 3 "Brechas acotadas entre primos" . Polímata. Archivado del original el 28 de febrero de 2020. Recuperado el 21 de julio de 2013 .
- ↑ Maynard, James (enero de 2015). "Pequeñas brechas entre primos" . Annals of Mathematics . 181 (1): 383– 413. arXiv : 1311.4600 . doi : 10.4007/annals.2015.181.1.7 . MR 3272929. S2CID 55175056 .
- ↑ DHJ Polymath (2014). " Variantes de la criba de Selberg e intervalos acotados que contienen muchos primos" . Investigación en Ciencias Matemáticas . 1 (12) 12. arXiv : 1407.4897 . doi : 10.1186/s40687-014-0012-7 . MR 3373710. S2CID 119699189 .
- ↑ Pintz, J. (1997). "Grandes brechas entre primos consecutivos" . J. Number Theory . 63 (2): 286– 301. doi : 10.1006/jnth.1997.2081 .
- ^ Erdős, Paul; Bollobás, Béla; Thomason, Andrés, eds. (1997). Combinatoria, geometría y probabilidad: un tributo a Paul Erdős . Prensa de la Universidad de Cambridge. pag. 1.ISBN 9780521584722Archivado del original el 29 de septiembre de 2022. Consultado el 29 de septiembre de 2022 .
- ↑ Ford, Kevin; Green, Ben; Konyagin, Sergei; Tao, Terence (2016). "Grandes brechas entre números primos consecutivos". Ann. of Math. 183 (3): 935– 974. arXiv : 1408.4505 . doi : 10.4007/annals.2016.183.3.4 . MR 3488740 . S2CID 16336889 .
- ↑ Maynard, James (2016). "Grandes brechas entre primos". Ann. of Math. 183 (3): 915– 933. arXiv : 1408.5110 . doi : 10.4007/annals.2016.183.3.3 . MR 3488739 . S2CID 119247836 .
- ↑ Ford, Kevin; Green, Ben; Konyagin, Sergei; Maynard, James; Tao, Terence (2018). "Largas brechas entre primos". J. Amer. Math. Soc. 31 (1): 65– 105. arXiv : 1412.5029 . doi : 10.1090/jams/876 . MR 3718451 . S2CID 14487001 .
- ↑ Tao, Terence (16 de diciembre de 2014). "Largos intervalos entre números primos / Novedades" . Archivado del original el 9 de junio de 2019. Consultado el 29 de agosto de 2019 .
- ↑ Ford, Kevin; Maynard, James; Tao, Terence (13 de octubre de 2015). "Cadenas de grandes brechas entre primos". arXiv : 1511.04468 [ math.NT ].
- 1 2 Guy (2004) §A8
- ↑ Cramér, Harald (1936). "Sobre el orden de magnitud de la diferencia entre números primos consecutivos" . Acta Arithmetica . 2 : 23–46 . doi : 10.4064/aa-2-1-23-46 .
- ↑ Ingham, Albert E. (1937). "Sobre la diferencia entre primos consecutivos" (PDF) . Quarterly Journal of Mathematics . 8 (1). Oxford: 255– 266. Bibcode : 1937QJMat...8..255I . doi : 10.1093/qmath/os-8.1.255 . Archivado (PDF) del original el 5 de diciembre de 2022.
- ↑ Sinha, Nilotpal Kanti (2010). "Sobre una nueva propiedad de los números primos que conduce a una generalización de la conjetura de Cramer". arXiv : 1010.1399 [ math.NT ].
- ↑ Kourbatov, Alexei (2015). "Límites superiores para brechas de números primos relacionadas con la conjetura de Firoozbakht". Journal of Integer Sequences . 18 (11) 15.11.2. arXiv : 1506.03042 .
- ↑ Granville, Andrew (1995). "Harald Cramér y la distribución de los números primos" (PDF) . Scandinavian Actuarial Journal . 1 : 12–28 . CiteSeerX 10.1.1.129.6847 . doi : 10.1080/03461238.1995.10413946 . Archivado (PDF) del original el 23 de septiembre de 2015. Recuperado el 2 de marzo de 2016 . .
- ↑ Granville, Andrew (1995). «Irregularidades inesperadas en la distribución de los números primos» (PDF) . Actas del Congreso Internacional de Matemáticos . Vol. 1. págs. 388–399 . doi : 10.1007/978-3-0348-9078-6_32 . ISBN 978-3-0348-9897-3. Archivado (PDF) del original el 7 de mayo de 2016. Recuperado el 2 de marzo de 2016 ..
- ^ Pintz, János (septiembre de 2007). "Cramér vs. Cramér: sobre el modelo probabilístico de números primos de Cramér" . Functiones et Approximatio Commentarii Mathematici . 37 (2): 232– 471. doi : 10.7169/facm/1229619660 .
- Guy, Richard K. (2004). Problemas sin resolver en teoría de números (3.ª ed.). Springer-Verlag . ISBN 978-0-387-20860-2. Zbl 1058.11001 .
Lecturas adicionales
- Soundararajan, Kannan (2007). "Pequeñas brechas entre números primos: el trabajo de Goldston-Pintz-Yıldırım". Bull. Am. Math. Soc . Nueva Serie. 44 (1): 1– 18. arXiv : math/0605696 . doi : 10.1090/ s0273-0979-06-01142-6 . S2CID 119611838. Zbl 1193.11086 .
- Mihăilescu, Preda (junio de 2014). "Sobre algunas conjeturas en teoría aditiva de números" (PDF) . Boletín de la EMS (92): 13–16 . doi : 10.4171/NEWS . hdl : 2117/17085 . ISSN 1027-488X .
Enlaces externos
- Thomas R. Nicely, Algunos resultados de la investigación computacional en números primos – Teoría computacional de números . Este sitio web de referencia incluye una lista de todas las brechas de números primos de primera aparición conocidas.
- Weisstein, Eric W. "Función de diferencia prima" . MathWorld .
- "Función de diferencia prima" . PlanetMath .
- El trabajo de Armin Shams, que extiende nuevamente el teorema de Chebyshev sobre la conjetura de Bertrand , no involucra una constante "arbitrariamente grande" como algunos otros resultados publicados.
- Chris Caldwell , Brechas entre números primos : una introducción elemental
- Andrew Granville , Números primos en intervalos de longitud limitada ; resumen de los resultados obtenidos hasta la fecha, incluyendo el trabajo de James Maynard de noviembre de 2013.
- Birke Heeren,Aquí encontrará un documento sobre cómo calcular grandes brechas.
- Funciones aritméticas
- Números primos