stringtranslate.com

brecha principal

Distribución de frecuencias de brechas preferenciales para primos de hasta 1.600 millones. Los picos ocurren en múltiplos de 6. [1]

Una brecha prima es la diferencia entre dos números primos sucesivos . La n -ésima brecha de primos, denotada g n o g ( p n ) es la diferencia entre los ( n  + 1) -st y los n -ésimos números primos, es decir

Tenemos g 1 = 1, g 2 = g 3 = 2 y g 4 = 4. La secuencia ( g n ) de espacios primos se ha estudiado ampliamente; sin embargo, muchas preguntas y conjeturas siguen sin respuesta.

Las primeras 60 brechas principales 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 la definición de g n, todo primo se puede escribir como

Observaciones simples

La primera brecha, la más pequeña y la única prima impar , es la brecha de tamaño 1 entre 2, el único número primo par, y 3, el primer número primo impar. Todas las demás diferencias entre primos son iguales. Sólo hay un par de espacios consecutivos que tienen longitud 2: los espacios g 2 y g 3 entre los números primos 3, 5 y 7.

Para cualquier número entero n , el factorial n ! es el producto de todos los números enteros positivos hasta n inclusive . 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 espacio entre primos que tengan una longitud al menos n . De ello se deduce que hay espacios entre números primos que son arbitrariamente grandes, es decir, para cualquier número entero N , hay un número entero m con g mN.

Sin embargo, las brechas entre primos de n números pueden ocurrir en números mucho más pequeños que n !. Por ejemplo, el primer espacio primo de tamaño mayor que 14 ocurre entre los primos 523 y 541, mientras que 15! es el número mucho mayor 1307674368000.

La brecha promedio entre los primos aumenta a medida que el logaritmo natural de estos primos y, por lo tanto, la relación entre la brecha de los primos y los primos involucrados disminuye (y es asintóticamente cero). Esta es una consecuencia del teorema de los números primos . Desde una visión heurística, esperamos que la probabilidad de que la relación entre la longitud de la brecha y el logaritmo natural sea mayor o igual a un número positivo fijo k sea e k ; en consecuencia, la relación puede ser arbitrariamente grande. De hecho, la relación entre la brecha y el número de dígitos de los números enteros involucrados aumenta sin límite. Esto es consecuencia de un resultado de Westzynthius. [2]

En la dirección opuesta, la conjetura de los primos gemelos postula que g n = 2 para una infinidad de números enteros n .

Los resultados numéricos

Por lo general, la relación de se llama mérito de la brecha g n . En abril de 2022 , la brecha principal más grande conocida con extremos de brecha principal probable identificados tiene una longitud de 7186572, con primos probables de 208095 dígitos y mérito M  = 14,9985, encontrado por Michiel Jansen utilizando un programa de tamiz desarrollado por JK Andersen. [3] [4] La brecha principal más grande conocida con primos probados identificados como extremos de la brecha tiene una longitud de 1113106 y un mérito de 25,90, con primos de 18662 dígitos encontrados por P. Cami, M. Jansen y JK Andersen. [5] [6]

En septiembre de 2022 , el valor de mérito más grande conocido y el primero con mérito superior a 40, según lo descubierto por la red Gapcoin, es 41,93878373 con el número primo de 87 dígitos 2​9​3​7​0​3​2​3​4 0​6​8​0​2​2​5​9​0​1​5​8​7​2​3​7​6​6​1​0​4​4​1​9​4​ 6​3​4​2​5​7​0​9​0​7​5​5​7​4​8​1​1​7​6​2​0​9​8​5​8​ 8​7​9​8​2​1​7​8​9​5​7​2​8​8​5​8​6​7​6​7​2​8​1​4​3​ 2​2​7. La brecha entre este y el siguiente primo es 8350. [7] [8]

La relación Cramér-Shanks-Granville es la relación de g n / (ln( p n )) 2 . [7] Si descartamos valores anormalmente altos de la relación para los primos 2, 3, 7, entonces el mayor valor conocido de esta relación es 0,9206386 para el primo 1693182318746371. Se pueden encontrar otros términos de registro en OEIS : A111943 .

Decimos que g n es una brecha máxima , si g m < g n para todo m < n . En diciembre de 2023 , la brecha principal máxima más grande conocida tiene una longitud de 1552, encontrada por Craig Loizides. Es la 81.ª brecha entre primos máxima y ocurre después del primo 18470057946260698231. [12] Otros tamaños de brechas (máximos) récord se pueden encontrar en OEIS : A005250 , con los primos correspondientes p n en OEIS : A002386 , y los valores de n en OEIS : A005669 . Se conjetura que la secuencia de espacios máximos hasta el nésimo primo tiene aproximadamente términos [13] (consulte la tabla a continuación).

Otros resultados

Límites superiores

El postulado de Bertrand , probado en 1852, establece que siempre hay un número primo entre k y 2 k , por lo que en particular p n  +1  < 2 p n , lo que significa g n  <  p n  .

El teorema de los números primos , demostrado en 1896, dice que la longitud promedio de la brecha entre un primo p y el siguiente primo se aproximará asintóticamente a ln( p ), el logaritmo natural de p , para 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 un límite superior para la longitud de los espacios entre primos:

Para cada hay un número tal que para todos

.

También se puede deducir que las brechas se vuelven arbitrariamente más pequeñas en proporción a los números primos: el cociente

Hoheisel (1930) fue el primero en demostrar [14] que existe una constante θ < 1 tal que

por lo tanto mostrando que

para n suficientemente grande  .

Hoheisel obtuvo el valor posible 32999/33000 para θ . Esto fue mejorado a 249/250 por Heilbronn , [15] y a θ = 3/4 + ε, para cualquier ε > 0, por Chudakov . [dieciséis]

Una mejora importante se debe a Ingham , [17] quien demostró que para alguna constante positiva c ,

si entonces para cualquier

Aquí, O se refiere a la notación O grande , ζ denota la función zeta de Riemann y π la función de conteo de primos . Sabiendo que cualquier c > 1/6 es admisible, se obtiene que θ puede ser cualquier número mayor que 5/8.

Una consecuencia inmediata del resultado de Ingham es que siempre hay un número primo entre n 3 y ( n  + 1) 3 , si n es suficientemente grande. [18] La hipótesis de Lindelöf implicaría que la fórmula de Ingham es válida para c cualquier número positivo: pero incluso esto no sería suficiente para implicar que hay un número primo entre n 2 y ( n  + 1) 2 para n suficientemente grande (ver la hipótesis de Legendre). conjetura ). Para verificar esto, se necesitaría un resultado más sólido como la conjetura de Cramér .

Huxley en 1972 demostró que se puede elegir θ = 7/12 = 0,58(3). [19]

Un resultado, debido a Baker, Harman y Pintz en 2001, muestra que θ puede considerarse igual a 0,525. [20]

En 2005, Daniel Goldston , János Pintz y Cem Yıldırım demostraron que

y 2 años después mejoró esto [21] a

En 2013, Yitang Zhang demostró que

es decir, hay infinitas lagunas que no superan los 70 millones. [22] Un esfuerzo colaborativo del Proyecto Polymath para optimizar el límite de Zhang logró reducir el límite a 4680 el 20 de julio de 2013. [23] En noviembre de 2013, James Maynard introdujo un nuevo refinamiento del tamiz GPY , permitiéndole reducir el límite a 600 y demuestre que para cualquier m existe un intervalo acotado con un número infinito de traslaciones, cada una de las cuales contiene m números primos. [24] Utilizando las ideas de Maynard, el proyecto Polymath mejoró el límite a 246; [23] [25] asumiendo la conjetura de Elliott-Halberstam y su forma generalizada, el límite se ha reducido a 12 y 6, respectivamente. [23]

límites inferiores

En 1931, Erik Westzynthius demostró que las brechas máximas de primos crecen más que logarítmicamente. Es decir, [2]

En 1938, Robert Rankin demostró la existencia de una constante c  > 0 tal que la desigualdad

es válido para infinitos valores de n , mejorando los resultados de Westzynthius y Paul Erdős . Más tarde 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 inferior a 2 e γ . [26]

Paul Erdős ofreció un premio de 10.000 dólares por demostrar o refutar que la constante c en la desigualdad anterior puede tomarse arbitrariamente grande. [27] Ford–Green–Konyagin–Tao y, de forma independiente, James Maynard demostraron que esto era correcto en 2014. [28] [29]

El resultado se mejoró aún más para

para infinitos valores de n por Ford-Green-Konyagin-Maynard-Tao. [30]

Siguiendo el espíritu del premio original de Erdős, Terence Tao ofreció 10.000 dólares por una prueba de que c puede tomarse arbitrariamente grande en esta desigualdad. [31]

También se han determinado los límites inferiores de las cadenas de números primos. [32]

Conjeturas sobre brechas entre números primos

Función de brecha principal

Es posible obtener resultados aún mejores con la hipótesis de Riemann . Harald Cramér demostró [33] que la hipótesis de Riemann implica que la brecha g n satisface

usando la notación O grande . (De hecho, este resultado sólo necesita la hipótesis más débil de Lindelöf , si se puede tolerar un exponente infinitamente mayor. [34] ) Más tarde, conjeturó que las brechas son aún más pequeñas. En términos generales, la conjetura de Cramér establece que

La conjetura de Firoozbakht establece que (donde está el n- ésimo primo) es una función estrictamente decreciente de n , es decir,

Si esta conjetura es cierta, entonces la función satisface [35] Implica una forma fuerte de la conjetura de Cramér pero es inconsistente con las heurísticas de Granville y Pintz [36] [37] [38] que sugieren que infinitamente a menudo para cualquier donde denota el Constante de Euler-Mascheroni .

Mientras tanto, la conjetura de Oppermann es más débil que la conjetura de Cramér. El tamaño de la brecha esperado con la conjetura de Oppermann es del orden de

Como resultado, bajo la conjetura de Oppermann existe (probablemente ) para el cual todo número natural satisface

La conjetura de Andrica , que es una conjetura más débil que la de Oppermann, establece que [39]

Esto refuerza ligeramente la conjetura de Legendre de que entre números cuadrados sucesivos siempre hay un primo.

La conjetura de Polignac establece que todo número par positivo k ocurre como una brecha prima infinitamente a menudo. El caso k  = 2 es la conjetura de los primos gemelos . La conjetura aún no ha sido probada ni refutada para ningún valor específico de  k , pero las mejoras en el resultado de Zhang analizadas anteriormente demuestran que es cierta para al menos un valor (actualmente desconocido) de k  ≤ 246.

Como función aritmética

La brecha g n entre los  números primos n -ésimo y ( n + 1) es un ejemplo de función aritmética . En este contexto, generalmente se denota como d n y se llama función de diferencias primas. [39] La función no es multiplicativa ni aditiva .

Ver también

Referencias

  1. ^ Ares, Saúl; Castro, Mario (1 de febrero de 2006). "¿Estructura oculta en la aleatoriedad de la secuencia de números primos?". Physica A: Mecánica estadística y sus aplicaciones . 360 (2): 285–296. arXiv : cond-mat/0310148 . doi :10.1016/j.physa.2005.06.066. S2CID  16678116.
  2. ^ ab 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.
  3. ^ MJansen (16 de abril de 2022). "Anuncio en Mersenneforum.org". Mersenneforum.org . Archivado desde el original el 29 de septiembre de 2022.
  4. ^ mart_r (14 de julio de 2022). "Anuncio de verificación en Mersenneforum.org". Mersenneforum.org . Archivado desde el original el 27 de julio de 2022.
  5. ^ Andersen, Jens Kruse. "Las 20 principales brechas". Archivado desde el original el 27 de diciembre de 2019 . Consultado el 13 de junio de 2014 .
  6. ^ Andersen, Jens Kruse (8 de marzo de 2013). "Una mega brecha con mérito 25,9". primerecords.dk . Archivado desde el original el 25 de diciembre de 2019 . Consultado el 29 de septiembre de 2022 .
  7. ^ abc Muy bien, Thomas R. (2019). "NUEVA PRIMERA BRECHA DE MÁXIMO MÉRITO CONOCIDO". facultad.lynchburg.edu . Archivado desde el original el 30 de abril de 2021 . Consultado el 29 de septiembre de 2022 .
  8. ^ "Registros de Prime Gap". GitHub . 11 de junio de 2022.
  9. ^ "Registrar información sobre la brecha principal". ntheory.org . Archivado desde el original el 13 de octubre de 2016 . Consultado el 29 de septiembre de 2022 .
  10. ^ Muy bien, Thomas R. (2019). "TABLAS DE PRIMERAS BRECHAS". facultad.lynchburg.edu . Archivado desde el original el 27 de noviembre de 2020 . Consultado el 29 de septiembre de 2022 .
  11. ^ "Top 20 de méritos generales". Lista de brechas principales . Archivado desde el original el 27 de julio de 2022 . Consultado el 29 de septiembre de 2022 .
  12. ^ Andersen, Jens Kruse. "Récord de brechas principales" . Consultado el 28 de enero de 2024 .
  13. ^ Kourbatov, A.; Lobo, M. (2020). "Sobre las primeras apariciones de espacios entre números primos en una clase de residuo". Diario de secuencias enteras . 23 (Artículo 20.9.3). arXiv : 2002.02115 . SEÑOR  4167933. S2CID  211043720. Zbl  1444.11191. Archivado desde el original el 12 de abril de 2021 . Consultado el 3 de diciembre de 2020 .
  14. ^ Hoheisel, G. (1930). "Primzahlprobleme in der Analysis". Sitzunsberichte der Königlich Preussischen Akademie der Wissenschaften zu Berlin . 33 : 3–11. JFM  56.0172.02.
  15. ^ 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.
  16. ^ Tchudakoff, NG (1936). "Sobre la diferencia entre dos números primos vecinos". Estera. SB . 1 : 799–814. Zbl  0016.15502.
  17. ^ Ingham, AE (1937). "Sobre la diferencia entre números primos consecutivos". Revista Trimestral de Matemáticas . Serie Oxford. 8 (1): 255–266. Código Bib : 1937QJMat...8..255I. doi :10.1093/qmath/os-8.1.255.
  18. ^ Cheng, Yuan-You Fu-Rui (2010). "Estimación explícita de números primos entre cubos consecutivos". Rocky Mt. J. Matemáticas . 40 : 117-153. arXiv : 0810.2113 . doi :10.1216/rmj-2010-40-1-117. S2CID  15502941. Zbl  1201.11111.
  19. ^ Huxley, Minnesota (1972). "Sobre la diferencia entre primos consecutivos". Invenciones Mathematicae . 15 (2): 164-170. Código Bib : 1971 InMat..15..164H. doi :10.1007/BF01418933. S2CID  121217000.
  20. ^ Panadero, RC; Harman, G.; Pintz, J. (2001). "La diferencia entre números primos consecutivos, II". 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. 
  21. ^ 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.
  22. ^ Zhang, Yitang (2014). "Brechas acotadas entre números primos". Anales de Matemáticas . 179 (3): 1121-1174. doi : 10.4007/anales.2014.179.3.7 . SEÑOR  3171761.
  23. ^ abc "Espacios acotados entre números primos". Erudito. Archivado desde el original el 28 de febrero de 2020 . Consultado el 21 de julio de 2013 .
  24. ^ Maynard, James (2015). "Pequeños espacios entre números primos". Anales de Matemáticas . 181 (1): 383–413. arXiv : 1311.4600 . doi : 10.4007/annals.2015.181.1.7. SEÑOR  3272929. S2CID  55175056.
  25. ^ DHJ Polymath (2014). "Variantes de la criba de Selberg e intervalos acotados que contienen muchos números primos". Investigación en Ciencias Matemáticas . 1 (12). arXiv : 1407.4897 . doi : 10.1186/s40687-014-0012-7 . SEÑOR  3373710. S2CID  119699189.
  26. ^ Pintz, J. (1997). "Brechas muy grandes entre números primos consecutivos". J. Teoría de números . 63 (2): 286–301. doi : 10.1006/junio.1997.2081 .
  27. ^ 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 _ 9780521584722. Archivado desde el original el 29 de septiembre de 2022 . Consultado el 29 de septiembre de 2022 .
  28. ^ Vado, Kevin; Verde, Ben; Konyagin, Sergei; Tao, Terence (2016). "Grandes brechas entre números primos consecutivos". Ana. de Matemáticas. 183 (3): 935–974. arXiv : 1408.4505 . doi : 10.4007/annals.2016.183.3.4. SEÑOR  3488740. S2CID  16336889.
  29. ^ Maynard, James (2016). "Grandes brechas entre números primos". Ana. de Matemáticas. 183 (3): 915–933. arXiv : 1408.5110 . doi :10.4007/annals.2016.183.3.3. SEÑOR  3488739. S2CID  119247836.
  30. ^ Vado, Kevin; Verde, Ben; Konyagin, Sergei; Maynard, James; Tao, Terence (2018). "Largos espacios entre números primos". J.Amer. Matemáticas. Soc. 31 (1): 65-105. arXiv : 1412.5029 . doi : 10.1090/jams/876. SEÑOR  3718451. S2CID  14487001.
  31. ^ Tao, Terence (16 de diciembre de 2014). "Largos espacios entre números primos / Novedades". Archivado desde el original el 9 de junio de 2019 . Consultado el 29 de agosto de 2019 .
  32. ^ Vado, Kevin; Maynard, James; Tao, Terence (13 de octubre de 2015). "Cadenas de grandes espacios entre números primos". arXiv : 1511.04468 [matemáticas.NT].
  33. ^ Cramér, Harald (1936). "Sobre el orden de magnitud de la diferencia entre números primos consecutivos". Acta Aritmética . 2 : 23–46. doi : 10.4064/aa-2-1-23-46 .
  34. ^ Ingham, Albert E. (1937). «Sobre la diferencia entre números primos consecutivos» (PDF) . Cuarto de galón. J. Matemáticas . Oxford. 8 (1): 255–266. Código Bib : 1937QJMat...8..255I. doi :10.1093/qmath/os-8.1.255. Archivado (PDF) desde el original el 5 de diciembre de 2022.
  35. ^ 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 [matemáticas.NT]..
  36. ^ Granville, Andrés (1995). "Harald Cramér y la distribución de números primos" (PDF) . Revista actuarial escandinava . 1 : 12–28. CiteSeerX 10.1.1.129.6847 . doi :10.1080/03461238.1995.10413946. Archivado (PDF) desde el original el 23 de septiembre de 2015 . Consultado el 2 de marzo de 2016 . .
  37. ^ Granville, Andrés (1995). "Irregularidades inesperadas en la distribución de 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) desde el original el 7 de mayo de 2016 . Consultado el 2 de marzo de 2016 ..
  38. ^ 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 .
  39. ^ ab Guy (2004) §A8

Otras lecturas

enlaces externos