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

Resumo Técnico: Completamento Métrico do Hamiltoniano de Bender–Brody–Müller

Enunciado do Problema
O artigo aborda a validade estrutural da proposta de Bender–Brody–Müller (BBM) para a conjectura de Hilbert–Pólya. O Hamiltoniano BBM, $H_{\text{BBM}} = \Delta^{-1} D \Delta$, é um operador não hermitiano pretendido para ter um espectro real proporcional às partes imaginárias dos zeros não triviais da função zeta de Riemann. Aqui, $D = \hat{x}\hat{p} + \hat{p}\hat{x}$ é o gerador de dilatação, e $\Delta = 1 - \hat{S}$ é um operador de diferença de deslocamento. A proposta baseia-se em um arcabouço pseudo-hermitiano onde um candidato a operador métrico $\hat{\eta} = \sin^2(\hat{p}/2) = \Delta^\dagger \Delta / 4$ torna o Hamiltoniano autoadjunto.

O problema central é que, embora $\hat{\eta}$ seja positivo e limitado, seu inverso é ilimitado. Trabalhos anteriores (ex: Bellissard, Moxley) observaram que os autofunções BBM não são estados $L^2$ na linha crítica e que a topologia métrica pode ser mal definida. Este artigo constrói rigorosamente o completamento do espaço de Hilbert induzido pela métrica BBM sobre o núcleo denso padrão $C_c^\infty(0, \infty) \subset L^2(\mathbb{R}^+)$ para determinar:

1. A topologia do espaço de estados físicos.
2. As propriedades espectrais das realizações autoadjuntas resultantes.
3. Se as autofunções candidatas originais da BBM (relacionadas às funções zeta de Hurwitz) existem dentro deste espaço completado.

Metodologia
A análise procede através dos seguintes passos:

1. Formulação da Métrica: O estudo foca na forma quadrática $\eta_0 = \Delta^\dagger \Delta$ definida no domínio de teste $D_0 = C_c^\infty(0, \infty)$. A norma é definida como $\|\psi\|_{\eta_0} = \|\Delta \psi\|_{L^2}$.
2. Análise de Coercividade: Usando a transformada de Fourier e o teorema de Paley–Wiener, o artigo analisa o símbolo da métrica, $\eta_0(k) = |1 - e^{-ik}|^2 = 2(1 - \cos k)$. Demonstra-se que, embora $\eta_0$ possua um kernel trivial, ele não é coercivo (limitado inferiormente) porque o símbolo se anula em $k \in 2\pi\mathbb{Z}$.
3. Completamento do Espaço de Hilbert: O espaço $D_0$ é completado sob a norma $\|\cdot\|_{\eta_0}$. Mostra-se que o mapa $\Delta: D_0 \to L^2(\mathbb{R}^+)$ é uma isometria com imagem densa, estabelecendo uma equivalência unitária canônica entre o espaço completado $\tilde{\mathcal{H}}_{\eta_0}$ e $L^2(\mathbb{R}^+)$.
4. Realização do Operador: O Hamiltoniano formal é realizado neste espaço completado. A realização "livre transportada" é definida como $\tilde{H}_{\text{BBM}} = \Delta^{-1} D \Delta$, onde o domínio é transportado via o mapa unitário $\Delta$.
5. Análise Espectral: O espectro da realização livre é determinado via a transformada de Mellin. O artigo também investiga os índices de deficiência do núcleo simétrico $T = D|_{\Delta D_0}$ e as propriedades espectrais de seu adjunto.
6. Verificação de Autofunções: O artigo verifica se as autofunções propostas da BBM $\psi_z(x) = -\zeta(z, x+1)$ (onde $z = 1/2 + i\gamma$) pertencem ao espaço completado ao examinar suas diferenças de deslocamento $\Delta \psi_z$.

Principais Contribuições e Resultados

• Degenerescência da Métrica e Não-Coercividade: O artigo prova que a métrica BBM não é coerciva. Especificamente, existem estados $L^2$ normalizados (construídos via núcleos de Cauchy concentrados nos zeros do símbolo da métrica) cuja comprimento métrico aproxima-se de zero. Isso confirma que a topologia métrica é estritamente mais fraca que a topologia $L^2$ ambiente.
• Obstrução Universal: Um resultado geral é estabelecido para a classe de "sanduíches limitados" $\Delta^\dagger h(D) \Delta$. Para qualquer função mensurável limitada $h$, o operador não é inversível de forma limitada. Isso se deve a um desajuste espectral: a degenerescência de $\Delta$ está localizada no espaço de momento ($k \in 2\pi\mathbb{Z}$), enquanto $h(D)$ atua na variável de escala (dilatação). Nenhuma função limitada do gerador de dilatação pode cancelar os zeros de momento do operador de deslocamento ponto a ponto.
• Propriedades Espectrais da Realização Livre: A realização livre transportada $\tilde{H}_{\text{BBM}}$ é unitariamente equivalente ao gerador de dilatação $D$. Consequentemente, seu espectro é puramente absolutamente contínuo, igual a $\mathbb{R}$, com multiplicidade um. Não existem autovalores isolados.
• Índices de Deficiência e Espectro do Adjunto: O operador simétrico $T = D|_{\Delta D_0}$ possui índices de deficiência $(\infty, \infty)$. Embora sua extensão livre seja puramente contínua, seu adjunto $T^*$ possui um espectro pontual consistindo em toda a reta real, onde cada número real é um autovalor de multiplicidade infinita.
• Ausência de Autoestados BBM: O resultado mais crítico refere-se aos candidatos a autofunções. Para $z$ na linha crítica ($\text{Re } z = 1/2$), a diferença de deslocamento é $\Delta \psi_z = x^{-z}$. Como $|x^{-z}| = x^{-1/2}$, esta função não é integrável ao quadrado em $\mathbb{R}^+$. Portanto, $\psi_z \notin \tilde{\mathcal{H}}_{\eta_0}$. O mecanismo original da BBM, que depende dessas funções específicas e de uma condição de contorno $\psi_z(0)=0$, falha em produzir autoestados dos zeros de Riemann neste completamento métrico baseado em $L^2$.

Significância e Alegações
O artigo afirma resolver as questões estruturais em torno da proposta BBM dentro do arcabouço padrão de métricas limitadas e completamentos baseados em $L^2$. Sua conclusão principal é negativa em relação ao mecanismo original da BBM:

• O completamento métrico fixa a topologia do espaço de estados para ser unitariamente equivalente a $L^2(\mathbb{R}^+)$ via a coordenada $\Phi = \Delta \psi$.
• Neste espaço, as autofunções candidatas originais da BBM não existem como vetores de espaço de Hilbert.
• Consequentemente, nenhuma realização autoadjunta dentro deste espaço completado pode utilizar as funções BBM para gerar os zeros de Riemann como um espectro pontual.

Os autores enfatizam que este resultado não descarta todas as construções de Hilbert–Pólya inspiradas pela BBM, mas especificamente descarta o "resgate" da proposta original simplesmente escolhendo uma extensão autoadjunta diferente do operador. Para ter sucesso, um caminho sobrevivente exigiria abandonar pelo menos uma hipótese da construção baseada em $L^2$ limitada estudada aqui (por exemplo, usando um espaço de Hilbert armado, uma métrica ilimitada ou um espaço de estados distributivo). O artigo também destaca um fenômeno espectral mais amplo: um operador simétrico pode possuir uma extensão livre puramente contínua enquanto seu adjunto exibe um espectro pontual denso, uma característica independente do contexto da hipótese de Riemann.