Metric completion of the Bender--Brody--Müller Hamiltonian: dilation spectrum and missing eigenstates

Resumen Técnico: Completitud Métrica del Hamiltoniano de Bender–Brody–Müller

Planteamiento del Problema
El artículo aborda la validez estructural de la propuesta de Bender–Brody–Müller (BBM) para la conjetura de Hilbert–Pólya. El Hamiltoniano de BBM, $H_{\text{BBM}} = \Delta^{-1} D \Delta$, es un operador no hermítico destinado a tener un espectro real proporcional a las partes imaginarias de los ceros no triviales de la función zeta de Riemann. Aquí, $D = \hat{x}\hat{p} + \hat{p}\hat{x}$ es el generador de dilatación, y $\Delta = 1 - \hat{S}$ es un operador de diferencia de desplazamiento. La propuesta se basa en un marco pseudo-hermítico donde un candidato a operador métrico $\hat{\eta} = \sin^2(\hat{p}/2) = \Delta^\dagger \Delta / 4$ hace que el Hamiltoniano sea autoadjunto.

El problema central es que, si bien $\hat{\eta}$ es positivo y acotado, su inversa es no acotada. Trabajos previos (por ejemplo, Bellissard, Moxley) señalaron que las autofunciones de BBM no son estados $L^2$ en la línea crítica y que la topología métrica podría estar mal definida. Este artículo construye rigurosamente la completitud del espacio de Hilbert inducida por la métrica de BBM sobre el núcleo denso estándar $C_c^\infty(0, \infty) \subset L^2(\mathbb{R}^+)$ para determinar:

1. La topología del espacio de estados físicos.
2. Las propiedades espectrales de las realizaciones autoadjuntas resultantes.
3. Si las autofunciones originales propuestas por BBM (relacionadas con las funciones zeta de Hurwitz) existen dentro de este espacio completado.

Metodología
El análisis procede a través de los siguientes pasos:

1. Formulación de la Métrica: El estudio se centra en la forma cuadrática $\eta_0 = \Delta^\dagger \Delta$ definida sobre el dominio de prueba $D_0 = C_c^\infty(0, \infty)$. La norma se define como $\|\psi\|_{\eta_0} = \|\Delta \psi\|_{L^2}$.
2. Análisis de Coercitividad: Utilizando la transformada de Fourier y el teorema de Paley–Wiener, el artículo analiza el símbolo de la métrica, $\eta_0(k) = |1 - e^{-ik}|^2 = 2(1 - \cos k)$. Demuestra que, aunque $\eta_0$ tiene un núcleo trivial, no es coerciva (no está acotada inferiormente) porque el símbolo se anula en $k \in 2\pi\mathbb{Z}$.
3. Completitud del Espacio de Hilbert: Se completa el espacio $D_0$ bajo la norma $\|\cdot\|_{\eta_0}$. Se demuestra que el mapa $\Delta: D_0 \to L^2(\mathbb{R}^+)$ es una isometría con una imagen densa, estableciendo una equivalencia unitaria canónica entre el espacio completado $\tilde{\mathcal{H}}_{\eta_0}$ y $L^2(\mathbb{R}^+)$.
4. Realización del Operador: El Hamiltoniano formal se realiza en este espacio completado. La realización "transportada libremente" se define como $\tilde{H}_{\text{BBM}} = \Delta^{-1} D \Delta$, donde el dominio es transportado vía la transformación unitaria $\Delta$.
5. Análisis Espectral: El espectro de la realización libre se determina mediante la transformada de Mellin. El artículo también investiga los índices de deficiencia del núcleo simétrico $T = D|_{\Delta D_0}$ y las propiedades espectrales de su adjunto.
6. Verificación de Autofunciones: El artículo comprueba si las candidatas a autofunciones de BBM $\psi_z(x) = -\zeta(z, x+1)$ (donde $z = 1/2 + i\gamma$) pertenecen al espacio completado examinando sus diferencias de desplazamiento $\Delta \psi_z$.

Contribuciones Clave y Resultados

• Degeneración de la Métrica y No-Coercitividad: El artículo demuestra que la métrica de BBM no es coercitiva. Específicamente, existen estados $L^2$ normalizados (construidos mediante núcleos de Cauchy concentrados en los ceros del símbolo de la métrica) cuya longitud métrica tiende a cero. Esto confirma que la topología métrica es estrictamente más débil que la topología $L^2$ ambiental.
• Obstrucción Universal: Se establece un resultado general para la clase de "sándwiches acotados" $\Delta^\dagger h(D) \Delta$. Para cualquier función medible acotada $h$, el operador no es inversamente acotado. Esto se debe a un desajuste espectral: la degeneración de $\Delta$ está localizada en el espacio de momentos ($k \in 2\pi\mathbb{Z}$), mientras que $h(D)$ actúa en la variable de escala (dilatación). Ninguna función acotada del generador de dilatación puede cancelar los ceros del momento de forma puntual mediante el operador de desplazamiento.
• Propiedades Espectrales de la Realización Libre: La realización transportada libre $\tilde{H}_{\text{BBM}}$ es unitariamente equivalente al generador de dilatación $D$. En consecuencia, su espectro es puramente absolutamente continuo, igual a $\mathbb{R}$, con multiplicidad uno. No existen autovalores aislados.
• Índices de Deficiencia y Espectro del Adjunto: El operador simétrico $T = D|_{\Delta D_0}$ tiene índices de deficiencia $(\infty, \infty)$. Mientras que su extensión libre es puramente continua, su adjunto $T^*$ posee un espectro de puntos que consiste en toda la recta real, donde cada número real es un autovalor de multiplicidad infinita.
• Ausencia de Autoestados de BBM: El resultado más crítico concierne a las candidatas a autofunciones. Para $z$ en la línea crítica ($\text{Re } z = 1/2$), la diferencia de desplazamiento es $\Delta \psi_z = x^{-z}$. Dado que $|x^{-z}| = x^{-1/2}$, esta función no es integrable al cuadrado en $\mathbb{R}^+$. Por lo tanto, $\psi_z \notin \tilde{\mathcal{H}}_{\eta_0}$. El mecanismo original de BBM, que depende de estas funciones específicas y de una condición de contorno $\psi_z(0)=0$, falla en producir autoestados de los ceros de Riemann en esta completitud métrica basada en $L^2$.

Significado y Reivindicaciones
El artículo afirma resolver las cuestiones estructurales que rodean la propuesta de BBM dentro del marco estándar de métricas acotadas y completaciones basadas en $L^2$. Su conclusión principal es negativa respecto al mecanismo original de BBM:

• La completitud métrica fija la topología del espacio de estados para ser unitariamente equivalente a $L^2(\mathbb{R}^+)$ mediante la coordenada $\Phi = \Delta \psi$.
• En este espacio, las candidatas a autofunciones originales de BBM no existen como vectores de un espacio de Hilbert.
• Por consiguiente, ninguna realización autoadjunta dentro de este espacio completado puede utilizar las funciones de BBM para generar los ceros de Riemann como un espectro de puntos.

Los autores enfatizan que este resultado no descarta todas las construcciones de Hilbert–Pólya inspiradas en BBM, pero específicamente descarta el "rescate" de la propuesta original simplemente eligiendo una extensión autoadjunta diferente del operador. Para tener éxito, una ruta superviviente requeriría abandonar al menos una de las hipótesis de la construcción basada en $L^2$ acotada estudiada aquí (por ejemplo, mediante el uso de un espacio de Hilbert rigidizado, una métrica no acotada o un espacio de estados distributivo). El artículo también destaca un fenómeno espectral más amplio: un operador simétrico puede poseer una extensión libre puramente continua mientras que su adjunto exhibe un espectro de puntos denso, una característica independiente del contexto de la hipótesis de Riemann.