La hipótesis de Riemann es una hipótesis matemática formulada por el matemático alemán Bernhard Riemann en 1859 de que la función zeta de Riemann ( introducida por Euler en 1737 ) toma valores cero solo en números pares negativos : (donde estos ceros simples se llaman funciones zeta de ceros " triviales ", y números complejos con una parte real (ceros " no triviales " de la función zeta de Riemann) . La conjetura de Riemann se refiere a la ubicación de estos ceros no triviales y establece que :
Todos los ceros no triviales de la función zeta tienen una parte real igual a .
Así, si la conjetura es cierta, todos los ceros no triviales de la función zeta de Riemann (cuyo número es infinito ) se encuentran en la recta crítica formada por números complejos , donde es un número real y es una unidad imaginaria .
El significado especial de la hipótesis de Riemann radica en la (supuesta) relación entre el patrón de la distribución en la línea crítica de ceros no triviales de la función zeta de Riemann y las asintóticas de la distribución de los números primos . Esta pregunta tiene implicaciones tanto para las matemáticas puras (en la teoría de números ) como para las matemáticas aplicadas (por ejemplo, la criptografía ). Aunque no se encontró regularidad en la distribución de números primos entre los naturales , Riemann encontró que el número de números primos que no exceden la función de distribución de números primos se expresa en términos de la distribución de ceros no triviales de la función zeta. La conjetura se convirtió en la base para más pruebas de Hadamard y de la Vallée-Poussin ( 1896 ) del teorema sobre la distribución de números primos .
También se propusieron hipótesis sobre una posible conexión entre las propiedades estadísticas de los ceros no triviales de la función zeta de Riemann (y por tanto de los números primos) y los fenómenos de la física cuántica , en particular, con el caos cuántico .
La hipótesis de Riemann se considera a menudo como el problema matemático sin resolver más importante [1] [2] [3] . La conjetura en sí, junto con la conjetura de Goldbach , constituye el octavo problema de Hilbert , uno de los pocos problemas de Hilbert no probados a partir de 2021 . Asimismo, la Hipótesis de Riemann es el único de los problemas de Hilbert incluido en el año 2000 en la lista de los siete Problemas del Milenio , por la solución de cada uno de los cuales el Clay Mathematical Institute prometió una recompensa de un millón de dólares estadounidenses. A pesar de muchos intentos (publicados periódicamente) para probar la hipótesis, ninguno de ellos ha sido reconocido por la comunidad científica [4] .
Hay muchos problemas matemáticos probados bajo el supuesto de que la hipótesis de Riemann es verdadera, por lo que probarla o refutarla tendrá implicaciones de gran alcance para la teoría de números, especialmente en la distribución de números primos [5] [6] .
En 2004, se confirmó por métodos numéricos que más de 10 13 (diez billones) primeros ceros no triviales de la función zeta de Riemann satisfacen esta hipótesis, lo cual es un buen argumento a favor de la verdad de esta hipótesis, pero no garantiza eso .
La función zeta de Riemann está definida para todos los complejos y tiene ceros en números pares negativos, es decir , tales ceros se llaman triviales.
De la ecuación funcional y la expresión explícita para , donde es la función de Möbius , se deduce que todos los demás ceros (llamados "no triviales") están ubicados en la franja simétricamente con respecto a la llamada "línea crítica" .
La Hipótesis de Riemann establece que [7] [8] :
" Todos los ceros no triviales de la función zeta tienen una parte real igual a ",es decir, son números complejos ubicados en la recta .
La hipótesis de Riemann generalizada es un análogo de la hipótesis de Riemann para generalizaciones de funciones zeta, llamadas funciones L de Dirichlet .
En 1859, Bernhard Riemann publicó su obra "Sobre el número de primos que no exceden un valor dado" [9] . Como parte de la suposición de que la hipótesis es correcta, Riemann escribió (por conveniencia, trabajando principalmente con la función xi dependiente ) [10] :
... Es muy probable que todos [los ceros de la función xi] sean reales. Sería deseable, por supuesto, tener una prueba rigurosa de este hecho, pero después de varios intentos infructuosos, pospuse la búsqueda de tal prueba, ya que no se requiere para los propósitos inmediatos de mi investigación.
Texto original (alemán)[ mostrarocultar] ... es ist sehr wahrscheinlich, dass alle Wurzeln reell sind. Hiervon wäre allerdings ein strenger Beweis zu wünschen; ich habe indess die Aufsuchung desselben nach einigen flüchtigen vergeblichen Versuchen vorläufig bei Seite gelassen, da er für den nächsten Zweck meiner Untersuchung entbehrlich schien.Esta declaración de Riemann sobre la función xi es equivalente a una declaración similar (formulada en la hipótesis de Riemann) sobre la función zeta dependiente de ella [8] .
La demostración por Hadamard y Vallée-Poussin en 1896 del teorema de la distribución de los números primos (donde demostraron de forma independiente que los ceros de la función zeta no pueden estar sobre rectas y ) dio un poderoso impulso al desarrollo de la teoría analítica de los números [11 ] .
En 1900, David Hilbert incluyó la hipótesis de Riemann en la lista de 23 problemas sin resolver como parte del octavo problema, junto con la hipótesis de Goldbach .
En 1914, Hardy demostró que hay infinitos ceros en la línea crítica y más tarde, junto con Littlewood , dio una estimación más baja de la fracción de ceros que se encuentra en la línea crítica, que luego fue mejorada por varios matemáticos.
Algunos ceros no triviales están extremadamente cerca uno del otro. Esta propiedad se conoce como el " fenómeno de Lehmer " [12] .
Titchmarsh y Voros demostraron en 1987 que la función zeta se puede factorizar en un producto a través de sus ceros no triviales en la factorización de Hadamard .
Riemann presentó una formulación equivalente, que establece que todas las raíces de la función xi de Riemann ξ(s) son reales.
En 1901, Helge von Koch demostró que la Hipótesis de Riemann es equivalente al siguiente enunciado sobre la distribución de números primos:
aAlgunas formulaciones más equivalentes:
no tiene soluciones no triviales para .
En 1914 , Godfrey Harold Hardy demostró [16] que una función tiene infinitos ceros reales.
Sea el número de ceros reales y el número de ceros impares de la función , que se encuentran en el intervalo .
Dos hipótesis de Hardy y Littlewood [17] (sobre la distancia entre ceros reales y sobre la densidad de ceros en intervalos lo suficientemente grandes y tan pequeños como sea posible , donde un número arbitrariamente pequeño), determinaron dos direcciones en el estudio de la zeta de Riemann función :
En 1942, Atle Selberg investigó el problema de Hardy-Littlewood 2 y demostró que para cualquiera existe y , tal que para y .
Selberg planteó la hipótesis [18] de que es posible reducir el exponente de la cantidad .
En 1984, A. A. Karatsuba demostró [19] [20] [21] que para una condición fija , suficientemente grande y , el intervalo contiene al menos ceros reales de la función zeta de Riemann . Así, confirmó la hipótesis de Selberg.
Las estimaciones de Selberg y Karatsuba son inmejorables en orden de crecimiento para .
En 1992, Karatsuba demostró [22] que un análogo de la conjetura de Selberg es válido para “casi todos” los intervalos , , donde es un número positivo fijo arbitrariamente pequeño. El método desarrollado por Karatsuba permite investigar los ceros de la función zeta de Riemann en intervalos "ultracortos" de la línea crítica, es decir, en intervalos cuya longitud crece más lentamente que cualquier grado, incluso arbitrariamente pequeño . En particular, demostró que para cualquier número dado , con la condición, casi todos los intervalos contienen al menos ceros de la función . Esta estimación es muy cercana a la que se deriva de la hipótesis de Riemann.
Alrededor de principios del siglo XX, el matemático húngaro György Pólya (en 1912-1914), y presumiblemente (pero no con certeza) David Hilbert [23] , formularon la conjetura de Hilbert-Polyi , indicando una posible conexión entre los ceros no triviales de la función zeta de Riemann y fenómenos de la mecánica cuántica [24] [25] [26] [27] :
Los ceros no triviales de la función zeta de Riemann (sus partes imaginarias) corresponden a los valores propios de algún operador hermitiano ( un operador autoadjunto ilimitado en un espacio de Hilbert ).
Poya sugirió que una forma de derivar la hipótesis de Riemann es encontrar un operador autoadjunto, de cuya existencia se derivará una declaración sobre las partes reales de los ceros no triviales de la función zeta de Riemann. La conjetura de Hilbert-Polyi encuentra cierto apoyo en varios análogos de la función zeta de Riemann cuyos ceros corresponden a los valores propios de algún operador: los ceros de la función zeta de una variedad sobre un campo finito corresponden a los valores propios de el elemento de Frobenius en el grupo de cohomología étale , los ceros de la función zeta de Selberg son los valores propios del operador de Laplace de la superficie de Riemann , y los ceros de la función zeta p-ádica corresponden a los vectores propios de la acción de Galois sobre los grupos de clases ideales .
En 1973, el matemático estadounidense Hugh Montgomery (después de una conversación en 1972 con Freeman Dyson ) formuló la hipótesis de correlación de pares (no probada, pero confirmada ( Odlyzhko , 1987 ) por cálculos numéricos a gran escala), según la cual la correlación funciones ( el factor de forma para las correlaciones de pares) respectivamente, los ceros normalizados de la función zeta de Riemann deben ser los mismos que los de los valores propios de la matriz hermítica aleatoria gaussiana [28] [29] .
John Derbyshire llama la atención sobre las siguientes similitudes al comparar el comportamiento de los ceros de la función zeta de Riemann y los valores propios de una matriz hermitiana aleatoria gaussiana [30] :
Después de aclarar la situación con algunas inconsistencias entre los resultados de Odlyzhko y las predicciones del modelo de conjunto unitario gaussiano (GUA) (Odlyzhko resultó tener intervalos ligeramente más pequeños que en el modelo GUA), la hipótesis de correlación de pares de Montgomery se convirtió (por primera vez en vez en un artículo de Nicholas Katz y Peter Sarnak, 1999 ) "la ley de Montgomery-Odlyzhko" [31] :
La distribución de intervalos entre ceros no triviales sucesivos de la función zeta de Riemann (en la normalización correcta) es estadísticamente idéntica a la distribución de valores propios del operador GUA.
El significado de "normalización" en la "ley de Montgomery-Odlyzhko" es hacer una corrección en forma de estirar la parte superior del intervalo seleccionado multiplicando cada número por su logaritmo (que es necesario para igualar la distancia promedio entre los ceros de la función zeta de Riemann - debido al hecho de que los ceros a medida que ascienden en la línea crítica, se acercan entre sí) [32] .
La pregunta clave que surge en este tipo de investigación, Derbyshire la formula de la siguiente manera [33] :
Los ceros no triviales de la función zeta de Riemann aparecieron en el estudio de la distribución de los números primos. Los valores propios de las matrices hermitianas aleatorias aparecieron en el estudio del comportamiento de los sistemas de partículas subatómicas que obedecen las leyes de la mecánica cuántica. Dígame, por favor, ¿qué pueden tener en común los números primos y el comportamiento de las partículas subatómicas?
En 1986 (incluso antes de la publicación del trabajo de Odlyzhko en 1987), el especialista inglés en el campo del físico matemático Michael Berry en el artículo "The Riemann Zeta Function: A Model of Quantum Chaos ?" estudió la cuestión de la existencia de un operador de Riemann , un operador cuyos valores propios coinciden exactamente con los ceros no triviales de la función zeta de Riemann. Berry asumió que tal operador riemanniano (operador riemanniano) existe, y dentro del marco de esta suposición hizo la siguiente pregunta: ¿qué sistema dinámico puede representar tal operador riemanniano? Su versión era que tal operador riemanniano podría modelar un sistema caótico [34] .
Berry demostró que, en el caso de su existencia, el operador de Riemann debe modelar uno de los llamados. sistemas caóticos semiclásicos (donde un sistema semiclásico se entiende como un sistema en el que un sistema caótico clásico se asocia con otros similares en el mundo cuántico mediante la toma del límite en las ecuaciones de la mecánica cuántica, donde el factor cuántico - la constante de Planck - tiende a cero), donde los valores propios de dicho operador riemanniano son partes imaginarias de los ceros no triviales de la función zeta de Riemann que son los niveles de energía de este sistema caótico semiclásico. Donde llama la atención que las órbitas periódicas en un sistema caótico clásico similar corresponderían a números primos (sus logaritmos ) [35] .
Según Berry, en tal sistema caótico cuasi-clásico no existiría la propiedad de simetría con respecto a la inversión del tiempo (que es una propiedad de los sistemas caóticos modelados por operadores como los operadores GUA, en contraste con los sistemas caóticos que permiten la inversión del tiempo y modelados por operadores como operadores GOA - un conjunto ortogonal gaussiano ) [35] .
En 1988 Berry [36] , y en 1999 Berry y Jonathan Keating [37] predijeron y describieron en detalle las desviaciones de las estadísticas GUA en las correlaciones entre ceros ampliamente espaciados (anteriormente señalado por Odlyzhko en la varianza numérica de las posiciones de los ceros ), donde resultó que las desviaciones corresponden exactamente a la teoría cuántica , con la excepción de las oscilaciones a pequeña escala , que luego fueron explicadas (1999) por Keating y E. B. Bogomolny [38] Según Berry, esta explicación es “la evidencia más fuerte en favor de la hipótesis de Riemann”, y, además, “coloca al escurridizo operador en la clase de los sistemas cuánticos con caos clásico, y no en la clase de las matrices aleatorias” [39] .
El matemático francés Alain Conne , en lugar de buscar un operador (riemanniano) cuyos valores propios coincidieran con los ceros no triviales de la función zeta de Riemann, tomó el camino de construir tal operador, para el cual “formó” un adele el espacio como plataforma para el operador riemanniano. Una característica del espacio adélico es que los operadores que actúan sobre él se basan fundamentalmente en números primos. Este enfoque hizo posible construir un operador de Riemann cuyos valores propios son exactamente los ceros no triviales de la función zeta de Riemann, y donde los números primos están incrustados en el espacio adélico en el que dicho operador actúa de una manera matemática especial, pero que, a su vez, se relaciona con sistemas físicos reales - conjuntos reales de partículas subatómicas [40] .
Para probar la hipótesis de Riemann en el marco del enfoque de Connes, es necesario probar cierta fórmula de seguimiento , una fórmula del tipo de la fórmula de Gutzwiller (que conecta los valores propios del operador de Riemann que actúa en el espacio adele con órbitas periódicas en el sistema clásico analógico) [41] .
Uno de los temas más importantes en la teoría del caos cuántico es establecer una correspondencia entre la distribución de valores propios del operador hamiltoniano , que define la dinámica clásica, y las órbitas periódicas inestables clásicas, donde esta correspondencia viene dada por las fórmulas de las trazas de Selberg. y Gutzwiller [26] .
En 1999, Berry y Keating sugirieron que existe una cuantización desconocida del hamiltoniano clásico H = xp tal que
y aún más fuertemente, los ceros riemannianos coinciden con el espectro del operador . Esto contradice la cuantización canónica , que conduce al principio de incertidumbre de Heisenberg y a los números naturales como el espectro de un oscilador armónico cuántico . El punto importante es que el hamiltoniano debe ser un operador autoadjunto para que la cuantización sea una realización de la hipótesis de Hilbert-Polyi. En relación con este problema de la mecánica cuántica, Berry y Alain Connes sugirieron que el potencial recíproco del hamiltoniano está relacionado con la semiderivada de la función
donde entonces, en el enfoque de Berry-Conn [42] ,
Esto da un hamiltoniano cuyos valores propios son el cuadrado de la parte imaginaria de los ceros riemannianos, y además que el determinante funcional de este operador hamiltoniano es la función xi de Riemann . De hecho, la función xi de Riemann sería proporcional al determinante funcional (producto de Hadamard)
donde, como lo demostraron Conn y otros, en este enfoque
En 2017, Carl Bender, Dorge Brody y Markus Müller determinaron las condiciones de cuantización para el hamiltoniano de Berry-Keating [43] , pero el hamiltoniano resultante obviamente no corresponde a ningún sistema físico [44] .
Los artículos de revisión ( Bombieri 2000 , Conrey 2003 , Sarnak 2008 ) señalan que la evidencia a favor de la hipótesis de Riemann es fuerte, pero deja espacio para una duda razonable. Algunos autores, sin embargo, están convencidos de la falsedad de la hipótesis (en particular, John Littlewood así lo creía ).
Entre los datos que nos permiten asumir la verdad de la conjetura, se puede destacar la demostración exitosa de conjeturas similares (en particular, la conjetura de Riemann sobre variedades sobre campos finitos [45] ). Este es el argumento teórico más sólido que sugiere que la condición de Riemann se cumple para todas las funciones zeta asociadas con aplicaciones automórficas., que incluye la hipótesis clásica de Riemann. La verdad de una conjetura similar ya ha sido probada [46] para la función zeta de Selberg, en algunos aspectos similar a la función de Riemann, y para la función zeta de Goss(un análogo de la función zeta de Riemann para campos de funciones).
Por otro lado, algunas de las funciones zeta de Epsteinno satisfacen la condición de Riemann, aunque tienen un número infinito de ceros en la línea crítica. Sin embargo, estas funciones no se expresan en términos de series de Euler y no están directamente relacionadas con aplicaciones automórficas.
Los argumentos "prácticos" a favor de la verdad de la hipótesis de Riemann incluyen la verificación computacional de un gran número de ceros no triviales de la función zeta en el marco del proyecto ZetaGrid . En 2004, Yannick Sauter y Patrick Demichel verificaron numéricamente que más de 10 13 (más de diez billones) primeros ceros no triviales de la función zeta de Riemann satisfacen esta hipótesis, lo cual es un buen argumento a favor de que la hipótesis es cierta, pero no no lo garantiza [47] [ 48] . Sin embargo, la verificación computacional de un número arbitrariamente grande de ceros no triviales no se acerca en absoluto a la prueba real. Por ejemplo, durante mucho tiempo la conjetura de Mertens también se mostró muy prometedora por ser cierta, superando todo tipo de pruebas computacionales, pero luego resultó ser refutada. Este es un excelente ejemplo de una prueba matemática que contradice una gran cantidad de evidencia computacional a favor de una hipótesis.
![]() | ||||
---|---|---|---|---|
|