Hay un hermoso artículo en Physical Review Letters [PRL 118, 130201 (2017), DOI:10.1103/PhysRevLett.118.130201] de Carl Bender, Dorje Brody y Markus Müller (BBM) sobre un enfoque hamiltoniano de la hipótesis de Riemann. El documento es sorprendentemente fácil de seguir para un físico.
BBM define un hamiltoniano
Los autores muestran que las funciones propias de desaparecer en el infinito debe estar en la forma de la función theta de Hurwitz, , de modo que
Imposición de una condición de contorno , en virtud de , muestran que todos los ceros no triviales del Riemann función debe ser valores propios de con las condiciones de contorno impuestas.
BBM llama a este resultado "una versión extendida compleja de la conjetura de Berry-Keating" y continúa proporcionando argumentos heurísticos de que todos los valores propios de Son reales.
¿Qué tan prometedor es este nuevo desarrollo en el contexto de resolver la Hipótesis de Riemann ?
Steven Strogatz parece optimista .
Actualización [19.10.2020]: Los autores de [ 1 ] han publicado comentarios adicionales [ 3 , 4 ], incluida una respuesta [ 4 ] al comentario de @Jean Bellissard [ 5 ] que surgió de su respuesta a continuación.
Traté de poner mi propio argumento en este blog recientemente, pero fracasé. Déjame intentar de nuevo. 1)- La definición original de es
Entonces . Entonces, utilizando la representación integral, esta relación se extiende por analiticidad al dominio máximo en el que ambos lados están definidos y son holomorfos. Para nuestro propósito, es suficiente considerar y . Dejar denota el mapa . Entonces, usando el generador del operador de dilatación, es fácil comprobar que los valores propios tienen la forma . Para . Esto da . Ir desde a se hace usando el operador , lo que lleva a la ecuación formal . La bc de Dirichlet en el origen obliga a E a satisfacer .
2)- El primer problema que le veo es que no parece pertenecer al espacio de Hilbert . Usando un método clásico de Hadamard
que converge para . Usando la representación integral, se puede obtener una firmula similar, pero no pude demostrar que la integrabilidad cuadrada se mantiene para . Por lo tanto, veo un problema aquí.
3)- El otro problema es la definición de . Dejar denotan el operador de traducción, definido no rigurosamente por . Si se restringe a , no es unitario, porque se define sólo para . Podemos definirlo imponiendo para . Entonces es sólo una isometría parcial. Para llevando a , pero es la proyección sobre . Usando estas notaciones . Pero tenemos un problema aquí: la función se define para , y la extensión del intervalo se usa explícitamente en 1)-. Entonces no podemos usar . Pero entonces, ¿cuál es el operador? utilizado por los autores?
4)- Si es el operador habitual
entonces hay un problema con su dominio de definición. En , es autoadjunto como se puede ver usando la transformada de Fourier. pero en , No lo es. Este es un ejercicio clásico que se encuentra en el libro muy antiguo de Courant-Hilbert. Es decir, uno siempre puede definirlo en el conjunto de funciones con derivada, desapareciendo en . Entonces es simétrico. Si es así, su adjunto se define en el mismo espacio pero sin desaparecer en . No solo el adjunto no es simétrico, sino que su conjunto de valores propios es el semiplano inferior abierto. Esto es porque si , entonces , mientras para . El mismo argumento muestra que no puede ser un valor propio. Esto significa que los "índices de defectos", es decir, la dimensión de los espacios propios con valores propios , no son iguales. Entonces, el teorema de von Neumann muestra que el operador no tiene extensión selfajoint. Si no es autoadjunto, la definición de su exponencial se convierte en un problema, porque el cálculo funcional no está definido en general.
5)- El argumento anterior se puede reformular en términos del operador . Su adjunto admite muchos valores propios, a saber, los puntos dentro del disco unitario.
En conclusión, el descuido de las definiciones utilizadas pero los autores conducen a un completo desbarajuste. Nada es correcto en este documento.
Mientras los físicos usen álgebra o argumentos algorítmicos, pueden encontrar resultados sobresalientes. Pero cuando se trata de análisis, pueden perder el juicio y graves errores aparecen en la esquina. El análisis no se presta fácilmente a las descripciones algorítmicas. Y aquí es precisamente donde radica el poder de las Matemáticas: al manipular infinitos, las Matemáticas van mucho más allá de la definición de computabilidad de Church-Turing. ¿Y qué es el Análisis sino manipular infinitos, a través de límites, convergencias y cosas por el estilo?
No tengo todo escrito en este documento.
Pero tenga en cuenta que esta línea de ataque tiene buenas posibilidades de ser demasiado simple: todo esto funciona igual para dónde es el módulo del personaje no real y .
tiene el mismo tipo de representación integral y ecuación funcional que , por lo que podemos escribir para él el mismo tipo de operador diferencial. Pero el RH obviamente falla por (no tiene un producto de Euler)
Es un artículo interesante. El principal problema que puedo ver es que su condición límite invoca la función zeta en sí misma, por lo que este enfoque puede estar incorporando la propia RH desde el principio. El enfoque no parece aportar nada profundo sobre los primos ni la teoría de los números.
Habiendo trabajado en este problema durante varios años, sigo siendo escéptico sobre la idea de Hilbert-Polya. Berry-Keating hizo un trabajo muy interesante e importante. Sin embargo, la conexión de la teoría de la matriz aleatoria parece arrojar dudas sobre Hilbert-Polya en lugar de respaldarla: si las estadísticas de los ceros pueden explicarse mediante la teoría de la matriz aleatoria, es difícil imaginar un hamiltoniano simple, no aleatorio, que reproduzca esta teoría . espectro. Pero esto no es un contraargumento riguroso, por supuesto.
El artículo en cuestión está escrito en el nivel físico de rigor, está publicado en una revista de física y no parece afirmar que establece resultados matemáticamente rigurosos. Sin embargo, no estoy convencido por las críticas hasta el momento de que sea imposible convertir la idea principal del artículo en un enunciado matemáticamente bien definido. problema espectral cuya solución implicaría HR.
Tal vez algo como lo siguiente puede funcionar.
1) Las funciones propias de de hecho no están en pero parece que uno puede mapear los que corresponden a los ceros no triviales de como sigue. Dejar Sea una función suave positiva en que coincide con cerca y con cerca del infinito y dejar Sea el operador dado por la multiplicación con . Entonces si y solo si es un cero no trivial de la función zeta de Riemann. En efecto, es integrable en si y solo si , es decir, si es un cero de . Además, las propiedades asintóticas conocidas de la función zeta de Hurwitz (ya mencionada en el artículo de BBM, a saber, el crecimiento sublineal para en la franja crítica y un crecimiento mucho más rápido cuando es un cero trivial) implica que es integrable al cuadrado en el infinito solo cuando el cero no es trivial. (El comportamiento de en el infinito también se analiza en el documento de comentarios de Jean Bellissard arxiv.org/abs/1704.02644, utilizando la representación integral de la función zeta de Hurwitz).
2) Ahora considere el operador , de modo que, al menos formalmente, son funciones propias de por cada cero no trivial . Para hacer esto riguroso, uno tiene que demostrar que es un operador cerrable densamente definido en y eso están en el dominio de su clausura. (Eso, por supuesto, incluiría resolver algunos tecnicismos con respecto a la definición adecuada y el dominio de , el inverso del operador diferencia considerado en el documento de BBM, pero no veo por qué esto sería a priori imposible).
3) Suponiendo que se puede hacer lo descrito en 2), se obtiene una incrustación de los ceros no triviales en el espectro discreto de . Ahora se sabe que el hamiltoniano de Berry-Keating es autoadjunto y, por lo tanto, tiene un espectro real, por lo que uno puede intentar usar el hecho de que es parecido a obtener estimaciones sobre el operador resolutivo que impliquen que el espectro de está contenida en el espectro de .
Finalmente, por supuesto que puede ser que tiene muchos otros espectros, incluido el complejo, mientras que su espectro discreto es real, por lo que la RH aún puede ser verdadera pero no accesible a través de esta línea de ataque.
En mi respuesta anterior, dejé de lado la cuestión de cómo uno puede dar sentido rigurosamente a los operadores. y utilizado en el documento de BBM. Me gustaría profundizar un poco en esto.
1) Como es bien conocido (y explicado en la respuesta de Jean Bellissard) el operador de impulso no admite extensiones autoadjuntas en , por lo tanto, uno no puede usar (al menos no directamente) el cálculo funcional para dar sentido a . En el periódico BBM se interpreta como un operador de diferencia y como su inversa definida a través de series infinitas (aparentemente, siguiendo a Euler bastante de cerca), pero este enfoque no es satisfactorio por muchas razones.
2) Sería mucho más apropiado para la idea general de cuantización pensar en y como operadores pseudodiferenciales. Dado que esto no se puede hacer directamente, sugiero proceder de la siguiente manera, utilizando las funciones de corte apropiadas para obtener símbolos con un soporte suave y compacto. Dejar ser una familia de funciones en que es 1 en y fuera de este intervalo, de modo que como . Dejar sea la familia de operadores pseudodiferenciales (de hecho suavizantes) con símbolos . Además, deja ser otra familia en cual es en así como fuera y 1 en el medio, por lo que todavía uno tiene como . Dejar sea la familia de operadores pseudodiferenciales con símbolos . (Hay mucha investigación sobre operadores pseudodiferenciales en la línea media y sospecho que parte de ella puede ser muy relevante para este contexto particular).
3) Ahora un límite apropiado (digamos, límite de gráfico débil) como de estas familias de operadores pueden existir o no, pero incluso si no existe, me parece plausible que se pueda demostrar que las relaciones formales entre , y la función zeta de Hurwitz dada en el artículo de BBM se mantiene "asintóticamente" como . Por lo tanto, lo mismo debería ser cierto para la ecuación formal de valor propio/función propia, de modo que si uno define , uno tendría
4) Finalmente, uno puede mirar los operadores , dónde se definió en mi respuesta anterior. La realidad deseada de los valores propios se seguiría entonces de un uniforme (en ) obligado por las normas de los operadores resolutivos de por cada fijo no real . Existen condiciones suficientes bien conocidas para la -acotación de un operador pseudodiferencial en términos de su símbolo.
Soy un teórico de números que ha reflexionado sobre la hipótesis de Riemann durante muchos años. Este documento tiene errores elementales y hay contraejemplos simples al enfoque adoptado. No se habría publicado en una revista de matemáticas, y estoy decepcionado (pero no sorprendido) de que se haya publicado en PRL. Bellissard ha enumerado algunos de los errores en el análisis (ver arXiv:1704.02644) y las locuras de la teoría de números serían claras para cualquier estudiante de posgrado en el campo.
Es interesante desde el punto de vista sociológico que tantos físicos de renombre estén blogueando o tuiteando sobre esto cuando simplemente podrían consultar a expertos en sus universidades. Para esos expertos, esto es una broma.
Un día oscuro para la ciencia.
Algunas de las principales discrepancias con respecto a la conjetura de Bender-Brody-Müller (BBM) se relacionan con el dominio del operador y la convergencia del espectro propio. Al considerar el problema como un operador de Schrödinger, se puede obtener un espectro propio convergente. Estas soluciones se analizan aquí y aquí .
Solo un pensamiento que me gustaría desarrollar aquí, inspirado en la respuesta de @AndréLeClair (es demasiado largo para un comentario).
La pregunta básica es: ¿Cuál es la conexión entre la teoría de matrices aleatorias (donde se recuperan algunas estadísticas básicas de los ceros de la función zeta) y la (apenas) operador simétrico (en lugar de auto-adjunto) de Bender-Brody-Müller (BBM)?
Parece que, idealmente , la teoría de la matriz aleatoria sería exactamente la formulación de la matriz de Heisenberg de la formulación del "tipo Schrödinger" de BBM.
¿Es posible que eso sea cierto teniendo en cuenta que el operador de BBM se ve tan - ?
Tal vez: el principio de incertidumbre de Heisenberg nos dice que ningún objeto cuántico puede tener un momento y una posición definidos en el mismo estado. Medir el impulso y la posición uno después del otro conduce inevitablemente a un resultado para el cual solo se pueden dar distribuciones de probabilidad en lugar de valores definidos.
¿Tendría sentido interpretar los operadores Berry-Keating (o derivados) que contienen productos tal que uno forzaría al sistema a estados propios con un producto localizado (definido) de cantidad de movimiento y posición? Uno entonces tendría que leer estos términos como Lo que lleva a una especie de estado paradójico, que ya se refleja en que estos operadores no son autoadjuntos.
(No estoy seguro si este argumento ya ha sido considerado por BBM).
Podemos probar la hipótesis de Riemann usando el operador , definido como
Si y son ceros de la zeta de Riemann con partes reales mayores que , podemos demostrar que es auto adjunto y eso
Esta ecuación es válida si es un cero de Riemann zeta con parte real mayor que . Entonces, si asumimos que existe un cero con parte real mayor que , entonces el valor propio tiene que ser real, por lo que la parte real de tiene que ser . Esta contradicción significa que no puede haber ceros con parte real mayor que . ¡La hipótesis de Riemann es cierta!
Editar: la última ecuación seguiría siendo válida para no siendo un cero de Riemann zeta. Pero entonces no sería el hermitiano de y luego probablemente no sería real. Puede leer en mi artículo por qué la ermitancia está ahí para la condición de contorno con .
La situación actual es la siguiente. El proyecto zetagrid ya no existe. La función Z tiene un polo en Re (z) = 1, pero es analítica para Re (z) > 1 y divergente para Re (z) < 1. Riemann extendió analíticamente la función para que pudiera ser analítica en la región 0 < Re (z) < 1, que es lo que se conoce como franja crítica o intervalo de investigación. Donde tenemos que para Re (z) = 1/2 hay infinitos ceros (Hardy, 1914) y se supone (RH) que todos los ceros de la Z están ahí. Sin embargo, en noviembre de 2017, este servidor mostró que existen infinitos ceros de la Z en el intervalo crítico distribuidos en diferentes familias de líneas, ¡con lo cual la Hipótesis de Riemann es falsa! Además, se confirmó la existencia de los ceros por reflexión predichos por la ecuación funcional de Riemann y según los cuales si en el intervalo 0 <Ingrese la descripción de la imagen aquí 0.44 + 1977.19-> 0.56 + 1977.19 0.45 + 1329.09-> 0.55 + 1329.09 0.45 + 1415.59-> 0.55 + 1415.59 0.46 + 25.0-> 0.54 + 25.0 0.46 + 37.6-> 0.54 + 37.6 0.47 + 14.09-> 0.53 + 14,09 0,47 + 21,0-> 0,53 + 21,0 0,48 + 14,09-> 0,52 + 14,09 0,48 + 21,0-> 0,52 + 21,0 0,49 + 14,09-> 0,51 + 14,09 0,49 + 21,0-> 0,51 +
todos ellos son ceros de la Z (por reflexión), que tampoco están en la línea Re (z) = 1/2, como es fácil de ver y verificar usando mis expresiones para la función Z. Te dejo esa tarea a ti.
steven strogatz
Slava Kashcheevs
Agno
reencuentros
Slava Kashcheevs
reencuentros
Semiclásico
Han de Bruijn
gerry myerson