Conjetura de Cramér
Ir a la navegaciónIr a la búsqueda
En teoría de números, la conjetura de Cramér, formulada por el matemático sueco
Harald Cramér en 1936,1 dice que
{\displaystyle \limsup _{n\rightarrow \infty }{\frac {p_{n+1}-p_{n}}{(\log
p_{n})^{2}}}=1}\limsup_{n\rightarrow\infty} \frac{p_{n+1}-p_n}{(\log p_n)^2} = 1
donde pn denota el n-ésimo número primo y "log" denota el logaritmo natural. Esta
conjetura aún no ha sido demostrada ni refutada, y es improbable que lo sea en un
futuro cercano. Se fundamenta en un modelo probabilístico (en esencia, una
heurística) de los números primos, en el cual se presupone que la probabilidad de
que un número natural sea primo es {\displaystyle {\tfrac {1}{\log x}}}
{\displaystyle {\tfrac {1}{\log x}}}. Este modelo se conoce como el modelo de
Cramér de los números primos. De ahí, se puede demostrar que la conjetura es cierta
con probabilidad uno.2
Shanks conjeturó la igualdad asintótica de diferencias maximales entre primos
consecutivos, un enunciado más fuerte.3
También Cramér formuló otra conjetura sobre diferencias entre primos consecutivos:
{\displaystyle p_{n+1}-p_{n}={\mathcal {O}}({\sqrt {p_{n}}}\,\log p_{n})}
{\displaystyle p_{n+1}-p_{n}={\mathcal {O}}({\sqrt {p_{n}}}\,\log p_{n})}
que demostró presuponiendo la (aún por demostrar) hipótesis de Riemann.
Además, E. Westzynthius demostró en 1931 que4
{\displaystyle \limsup _{n\to \infty }{\frac {p_{n+1}-p_{n}}{\log p_{n}}}=\infty .}
{\displaystyle \limsup _{n\to \infty }{\frac {p_{n+1}-p_{n}}{\log p_{n}}}=\infty .}
Índice
1 Conjetura de Cramér-Granville
2 Resultados probados condicionalmente sobre la separación entre primos
3 Justificación heurística
4 Conjeturas y heurística relacionadas
5 Véase también
6 Referencias
Conjetura de Cramér-Granville
Puede que la conjetura de Cramér sea demasiado fuerte. Andrew Granville conjeturó
en 19955 que existe una cota {\displaystyle M}M para la cual {\displaystyle
p_{n+1}-p_{n}<M(\log {p_{n}})^{2}}{\displaystyle p_{n+1}-p_{n}<M(\log
{p_{n}})^{2}}. Maier propuso {\displaystyle M=2e^{-\gamma }\approx
1.1229\ldots .\ }{\displaystyle M=2e^{-\gamma }\approx 1.1229\ldots .\ }
Nicely6 ha calculado muchas diferencias grandes entre primos consecutivos. Ha
medido la compatibilidad con la conjetura de Cramér midiendo la razón R entre el
logaritmo de un número primo y la raíz cuadrada de la diferencia con el siguiente.
«Para las mayores diferencias maximales que se conocen», dice, «R se ha mantenido
cerca de 1,13», lo que muestra que, al menos entre los números que ha observado, el
refinamiento de Granville de la conjetura de Cramér parece ajustarse bien a los
datos.
Resultados probados condicionalmente sobre la separación entre primos
Cramér dio un prueba condicional de una declaración mucho más débil, que implica
que
{\displaystyle p_{n+1}-p_{n}=O({\sqrt {p_{n}}}\,\log p_{n})}{\displaystyle p_{n+1}-
p_{n}=O({\sqrt {p_{n}}}\,\log p_{n})}
en el supuesto de que se cumpliera la hipótesis de Riemann.1 El postulado
incondicional más conocido es el que indica que
{\displaystyle p_{n+1}-p_{n}=O(p_{n}^{0.525})}{\displaystyle p_{n+1}-
p_{n}=O(p_{n}^{0.525})}
debido a Baker, Harman y Pintz.7
En otra dirección, E. Westzynthius demostró en 1931 que la separación entre primos
crece más que logarítmicamente. Es decir,8
{\displaystyle \limsup _{n\to \infty }{\frac {p_{n+1}-p_{n}}{\log p_{n}}}=\infty .}
{\displaystyle \limsup _{n\to \infty }{\frac {p_{n+1}-p_{n}}{\log p_{n}}}=\infty .}
Su resultado fue mejorado por Robert Alexander Rankin,9 que demostró que
{\displaystyle \limsup _{n\to \infty }{\frac {p_{n+1}-p_{n}}{\log p_{n}}}\cdot
{\frac {\left(\log \log \log p_{n}\right)^{2}}{\log \log p_{n}\log \log \log \log
p_{n}}}>0.}{\displaystyle \limsup _{n\to \infty }{\frac {p_{n+1}-p_{n}}{\log
p_{n}}}\cdot {\frac {\left(\log \log \log p_{n}\right)^{2}}{\log \log p_{n}\log
\log \log \log p_{n}}}>0.}
Paul Erdős conjeturó que el lado izquierdo de la fórmula anterior es infinito, y
esto fue probado en 2014 por Kevin Ford, Ben Green, Sergei Konyagin y Terence
Tao.10
Justificación heurística
La conjetura de Cramér se basa en un modelo probabilístico, esencialmente
heurístico, en el que la probabilidad de que un número de tamaño x sea primo es
1/log x. Esto se conoce como el modelo aleatorio de Cramér o modelo de Cramér de
los números primos.11
En el modelo aleatorio de Cramér,
{\displaystyle \limsup _{n\rightarrow \infty }{\frac {p_{n+1}-p_{n}}{\log
^{2}p_{n}}}=1}{\displaystyle \limsup _{n\rightarrow \infty }{\frac {p_{n+1}-p_{n}}
{\log ^{2}p_{n}}}=1}
con probabilidad 1.1 Sin embargo, como señaló Andrew Granville,12 el teorema de
Maier demuestra que el modelo aleatorio de Cramér no describe adecuadamente la
distribución de primos en intervalos cortos. Por ello, un refinamiento del modelo
de Cramér teniendo en cuenta la divisibilidad por pequeños primos sugiere que
{\displaystyle c\geq 2e^{-\gamma }\approx 1.1229\ldots }{\displaystyle c\geq
2e^{-\gamma }\approx 1.1229\ldots } (A125313), donde {\displaystyle \gamma }\gamma
es la constante de Euler-Mascheroni. János Pintz ha sugerido que el límite superior
puede ser infinito,13 y de manera similar Leonard Adleman y Kevin McCurley
escribieron que:
Como resultado del trabajo de H. Maier sobre los espacios entre números primos
consecutivos, la formulación exacta de la conjetura de Cramér ha sido cuestionada
[...] Todavía es probablemente cierto que para cada constante {\displaystyle c>2}
{\displaystyle c>2}, hay una constante {\displaystyle d>0}{\displaystyle d>0} tal
que hay un primo entre {\displaystyle x}x y {\displaystyle x+d(\log x)^{c}}
{\displaystyle x+d(\log x)^{c}}.14
Conjeturas y heurística relacionadas
Función de la separación entre primos consecutivos
Daniel Shanks conjeturó la siguiente igualdad asintótica, más fuerte que la
conjetura de Cramér,15 para la separación entre primos:
{\displaystyle G(x)\sim \log ^{2}x.}{\displaystyle G(x)\sim \log ^{2}x.}
J.H. Cadwell16 propuso la siguiente fórmula para las separaciones máximas:
{\displaystyle G(x)\sim \log x(\log x-\log \log x),}{\displaystyle G(x)\sim \log
x(\log x-\log \log x),}
que es formalmente idéntica a la conjetura de Shanks, pero que sugiere un término
de orden inferior.
Marek Wolf17 propuso la siguiente fórmula para las separaciones máximas
{\displaystyle G(x)}{\displaystyle G(x)}
expresadas en términos de la función contador de números primos {\displaystyle \pi
(x)}{\displaystyle \pi (x)}:
{\displaystyle G(x)\sim {\frac {x}{\pi (x)}}(2\log \pi (x)-\log x+c_{0}),}
{\displaystyle G(x)\sim {\frac {x}{\pi (x)}}(2\log \pi (x)-\log x+c_{0}),}
donde {\displaystyle c_{0}=\log(C_{2})=0.2778769...}{\displaystyle
c_{0}=\log(C_{2})=0.2778769...} y {\displaystyle C_{2}=1.3203236...}{\displaystyle
C_{2}=1.3203236...} es el doble de la constante de los primos gemelos; consúltese
A005597, A114907. Usando la aproximación de Gauss {\displaystyle \pi (x)\sim
x/\log(x)}{\displaystyle \pi (x)\sim x/\log(x)}, se obtiene
{\displaystyle G(x)\sim \log(x)(\log x-2\log \log x),}{\displaystyle G(x)\sim
\log(x)(\log x-2\log \log x),}
que para {\displaystyle x}x grande también es asintóticamente equivalente a las
conjeturas de Cramér y Shanks: {\displaystyle G(x)\sim \log ^{2}(x)}{\displaystyle
G(x)\sim \log ^{2}(x)}.
Thomas Nicely ha localizado numerosos saltos entre primos consecutivos de gran
longitud.18 Esto le ha permitido estimar la calidad de ajuste de la conjetura de
Cramér midiendo la relación
{\displaystyle R={\frac {\log p_{n}}{\sqrt {p_{n+1}-p_{n}}}}.}{\displaystyle
R={\frac {\log p_{n}}{\sqrt {p_{n+1}-p_{n}}}}.}
Escribe: "Para las separaciones entre primos consecutivos más grandes conocidas,
{\displaystyle R}R se ha mantenido cerca de 1,13". Sin embargo, {\displaystyle
1/R^{2}}{\displaystyle 1/R^{2}} sigue siendo inferior a 1.
Véase también
Teorema de los números primos
Cifrado César
Referencias
Cramér, Harald (1936), «On the order of magnitude of the difference between
consecutive prime numbers», Acta Arithmetica 2: 23-46, archivado desde el original
el 23 de julio de 2018, consultado el 12 de marzo de 2012.
David Hawkins, "The Random Sieve", Mathematics Magazine 31 (1957), pp. 1–3.
Daniel Shanks, "On Maximal Gaps between Successive Primes", Mathematics of
Computation 18, No. 88 (1964), pp. 646–651.
E. Westzynthius, Über die Verteilung der Zahlen die zu den n ersten Primzahlen
teilerfremd sind, Commentationes Physico-Mathematicae Helsingfors, 5 (1931), pp. 1–
37.
A. Granville, "Harald Cramér and the distribution of prime numbers", Scandinavian
Actuarial J. 1 (1995), 12—28. [1]
Nicely, Thomas R. (1999), «New maximal prime gaps and first occurrences»,
Mathematics of Computation 68 (227): 1311-1315, doi:10.1090/S0025-5718-99-01065-0,
MR 1627813, archivado desde el original el 30 de diciembre de 2014, consultado el
12 de abril de 2009..
R. C. Baker, G. Harman, and J. Pintz, The difference between consecutive primes.
II. Proc. London Math. Soc. (3), 83 (2001), no. 3, 532-562
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..
R. A. Rankin, The difference between consecutive prime numbers, J. London Math.
Soc. 13 (1938), 242-247
K. Ford, B. Green, S. Konyagin, and T. Tao, Large gaps between consecutive prime
numbers. Ann. of Math. (2) 183 (2016), no. 3, 935–974
Terence Tao, 254A, Supplement 4: Probabilistic models and heuristics for the
primes (optional), section on The Cramér random model, January 2015.
Granville, A. (1995), «Harald Cramér and the distribution of prime numbers»,
Scandinavian Actuarial Journal 1: 12-28, doi:10.1080/03461238.1995.10413946..
János Pintz, Very large gaps between consecutive primes, Journal of Number Theory
63:2 (April 1997), pp. 286–301.
Leonard Adleman and Kevin McCurley, Open Problems in Number Theoretic Complexity,
II. Algorithmic number theory (Ithaca, NY, 1994), 291–322, Lecture Notes in Comput.
Sci., 877, Springer, Berlin, 1994.
Shanks, Daniel (1964), «On Maximal Gaps between Successive Primes», Mathematics of
Computation (American Mathematical Society) 18 (88): 646-651, JSTOR 2002951, Zbl
0128.04203, doi:10.2307/2002951..
Cadwell, J. H. (1971), «Large Intervals Between Consecutive Primes», Mathematics
of Computation 25 (116): 909-913, JSTOR 2004355, doi:10.2307/2004355.
Wolf, Marek (2014), «Nearest-neighbor-spacing distribution of prime numbers and
quantum chaos», Phys. Rev. E 89: 022922, Bibcode:2014PhRvE..89b2922W,
arXiv:1212.3841, doi:10.1103/physreve.89.022922.
Nicely, Thomas R. (1999), «New maximal prime gaps and first occurrences»,
Mathematics of Computation 68 (227): 1311-1315, Bibcode:1999MaCom..68.1311N, MR
1627813, doi:10.1090/S0025-5718-99-01065-0, archivado desde el original el 30 de
diciembre de 2014, consultado el 21 de marzo de 2009..
[ocultar]vte
Conjeturas sobre números primos
Hardy-Littlewood 1ª2ªAgoh-GiugaAndricaArtinBateman-HornBrocardBuniakovskiHipótesis
chinaCramérDicksonDubnerElliott-HalberstamFiroozbakhtGilbreathGrimmProblemas de
Landau Goldbach DébilLegendrePrimos gemelosConstante de
LegendreLemoineMersenneOppermannPolignacPólyaRedmond-SunHipótesis H de
SchinzelNúmeros primos de Waring
Control de autoridades
Proyectos WikimediaWd Datos: Q515591IdentificadoresMicrosoft Academic: 134603838
Categorías: Teoría analítica de númerosConjeturas sobre números primosEpónimos
relacionados con las matemáticasProblemas sin resolver en teoría de números
