Spectral-Dimension Obstructions for Operators with Superlinear Counting Laws

1. Problema e Contesto

Il lavoro si inserisce nel contesto della congettura di Hilbert-Pólya, che ipotizza l'esistenza di un operatore autoaggiunto il cui spettro corrisponda alle parti immaginarie degli zeri non banali della funzione zeta di Riemann ($\zeta(s)$).
Il problema centrale affrontato dagli autori è determinare se esistano classi di operatori matematicamente "naturali" (come quelli derivanti da kernel esponenziali su strutture aritmetiche o operatori geometrici ellittici su varietà compatte) che possano realizzare tale spettro.
Gli autori dimostrano che esistono ostruzioni strutturali fondamentali che impediscono a due grandi famiglie di operatori candidati di coincidere con lo spettro degli zeri di Riemann, basandosi sull'incompatibilità delle loro dimensioni spettrali e del comportamento asintotico del calore (heat-trace).

2. Metodologia

La metodologia si basa su un'analisi comparativa rigorosa di due meccanismi indipendenti che governano l'asintotica a breve tempo del calore ($\Theta(t) = \text{Tr}(e^{-tH})$) per due classi distinte di operatori:

1. Costruzione Aritmetica (Kernel Esponenziali):

   • Gli autori partono da un principio variazionale di massimizzazione dell'entropia su un insieme di etichette numerabili (i numeri primi), vincolato da una coerenza lineare.
   • Dimostrano che questo vincolo forza la distribuzione di probabilità a prendere la forma di un kernel esponenziale (distribuzione di Gibbs).
   • Applicano la convergenza di Mosco per analizzare il limite continuo di questi operatori discreti definiti sui logaritmi dei numeri primi ($u_j = \log p_j$).
   • Derivano un operatore Hamiltoniano continuo di quarto ordine (biharmonico) sulla retta reale.

2. Analisi Spettrale degli Zeri di Riemann (Legge di Conteggio Superlineare):

   • Utilizzano la formula di Riemann-von Mangoldt per il conteggio degli zeri non banali $N_\zeta(T)$.
   • Applicano il teorema tauberiano di Hardy-Littlewood-Karamata per invertire la relazione tra la funzione di conteggio degli autovalori e l'asintotica del calore.
   • Analizzano la stabilità di queste proprietà sotto equivalenza unitaria e perturbazioni compatte.

3. Confronto delle Classi di Universalità:

   • Confrontano le dimensioni spettrali ($d_s$) e le forme asintotiche risultanti, mostrando che le due classi appartengono a universi spettrali incompatibili.

3. Contributi Chiave e Risultati

A. Il Principio del Kernel Esponenziale e il Limite Biharmonico

• Teorema 1.1: Dimostrano che, sotto ipotesi di non-degenerazione e integrabilità, la massimizzazione dell'entropia per kernel di transizione su un insieme discreto porta necessariamente a una forma esponenziale $T_{ij} \propto e^{-\beta \Delta_{ij}}$.
• Teorema 1.2: Specializzando questo principio all'aritmetica (dove $\Delta_{ij} = |\log p_i - \log p_j|$), l'operatore discreto converge, tramite convergenza di Mosco, a un operatore differenziale di secondo ordine $L_c = -c_2 \partial_u^2$. L'Hamiltoniano fisico è il quadrato di questo operatore: $H_A = c_4 \partial_u^4$.
• Risultato Spettrale: Per questo operatore $H_A$, il calore traccia asintotico è $\Theta_{H_A}(t) \sim C t^{-1/4}$.
  • Questo implica una dimensione spettrale frazionaria: $d_s(H_A) = 2 \times (1/4) = 1/2$.
  • L'asintotica è una pura legge di potenza senza correzioni logaritmiche.

B. Ostruzione Geometrica ed Ellittica

• Gli autori richiamano l'asintotica di Seeley-DeWitt per operatori ellittici su varietà compatte di dimensione $d$ e ordine $m$: $\Theta(t) \sim t^{-d/m}$.
• Teorema 1.3: La dimensione spettrale è $d_s = 2d/m$. Sebbene teoricamente si possa ottenere $d_s = 1/2$ con operatori di ordine sufficientemente alto, questi operatori hanno spettro discreto e vivono su spazi compatti, a differenza dell'operatore aritmetico $H_A$ che ha spettro continuo su $L^2(\mathbb{R})$.
• Pertanto, $H_A$ non può essere unitariamente equivalente a nessun operatore ellittico geometrico compatto.

C. Ostruzione per gli Zeri di Riemann (Legge Superlineare)

• Teorema 1.4 e Proposizione 6.1: Analizzando lo spettro degli zeri di Riemann, la legge di conteggio $N(T) \sim \frac{T}{2\pi} \log T$ impone, tramite inversione tauberiana, un comportamento del calore traccia diverso:
  $$\Theta_{\zeta}(t) \sim \frac{\log(1/t)}{2\pi t}$$
• Questo comportamento corrisponde a una dimensione spettrale $d_s = 2$, ma con una correzione logaritmica inevitabile ($\log(1/t)$).
• Incompatibilità:
  1. Gli operatori ellittici compatti hanno espansioni in potenze pure di $t$ (nessun termine logaritmico).
  2. L'operatore aritmetico $H_A$ ha asintotica $t^{-1/4}$ (dimensione $1/2$) senza logaritmi.
  3. Lo spettro di Riemann richiede $t^{-1} \log(1/t)$ (dimensione $2$ con logaritmo).

D. Il Teorema dell'Ostruzione Doppia (Main No-Go Theorem)

• Teorema 1.5 / 7.3: Non esiste alcun operatore autoaggiunto $H$ che possa soddisfare simultaneamente:
  1. Essere derivabile da una costruzione di kernel esponenziale a singola valutazione (che forza $d_s = 1/2$ e asintotica di potenza pura).
  2. Avere uno spettro che coincide con le ordinate degli zeri non banali di $\zeta(s)$ (che forza $d_s = 2$ e correzione logaritmica).
• Le proprietà di stabilità sotto equivalenza unitaria e perturbazioni compatte (Proposizione 5.1) garantiscono che queste differenze sono strutturali e non artefatti di rappresentazione.

4. Significato e Implicazioni

1. Esclusione di Classi di Operatori: Il paper esclude due classi "naturali" di candidati per la congettura di Hilbert-Pólya:

   • Operatori aritmetici basati su kernel esponenziali a singola valutazione (che portano a dimensioni spettrali frazionarie come $1/2$).
   • Operatori geometrici ellittici su varietà compatte (che non possono riprodurre la correzione logaritmica richiesta dagli zeri di Riemann).

2. Natura della Struttura Spettrale: Per realizzare lo spettro di Riemann, un operatore candidato deve necessariamente possedere una struttura spettrale che:

   • Non sia semplicemente un limite continuo di operatori discreti a singola valutazione su una linea logaritmica.
   • Non sia un operatore ellittico locale su una varietà compatta.
   • Deve incorporare meccanismi che generino una crescita superlineare degli autovalori con correzioni logaritmiche (es. leggi di Weyl del tipo $N(\lambda) \sim \lambda \log \lambda$).

3. Nuove Direzioni di Ricerca: Gli autori suggeriscono che i modelli validi potrebbero risiedere in:

   • Operatori non locali con deformazioni logaritmiche (es. $H = f(-\Delta)$ con $f(x) \sim x/\log x$).
   • Grafi quantistici aritmetici con lunghezze degli spigoli legate ai logaritmi dei primi.
   • Strutture analitiche genuinamente non locali che escano dalle classi di universalità geometriche ed aritmetiche standard.

In sintesi, il lavoro fornisce un risultato di "no-go" rigoroso, dimostrando che la semplice estensione di modelli geometrici o aritmetici standard non è sufficiente a catturare la complessità spettrale della funzione zeta di Riemann, richiedendo una nuova fisica matematica o una struttura operatoriale più sofisticata.