A complete ultrametric on von Neumann's incomplete tensor products

Sintesi Tecnica: Un Ultrametrico Completo sui Prodotti Tensoriali Incompleti di von Neumann

Enunciato del Problema
Il saggio affronta le proprietà strutturali dell'insieme $\Gamma$ delle classi di equivalenza di sequenze $C_0$ all'interno della teoria dei prodotti tensoriali infiniti di spazi di Hilbert di von Neumann. Nel quadro di von Neumann del 1939, il prodotto tensoriale completo $\bigotimes_{\iota \in I} \mathcal{H}_\iota$ si decompone in una somma diretta ortogonale di prodotti tensoriali "incompleti", etichettati da classi di equivalenza di sequenze $C_0$. Due sequenze sono equivalenti se la serie $\sum_\iota |\langle \phi_\iota, \psi_\iota \rangle - 1|$ converge. Sebbene questo insieme $\Gamma$ sia tipicamente trattato come un insieme di indici non strutturato di grande cardinalità, il saggio identifica una mancanza di struttura quantitativa per misurare il "grado di inequivalenza" tra classi distinte. Il problema centrale è definire una metrica su $\Gamma$ che quantifichi questa separazione e analizzarne le proprietà topologiche e dinamiche, in particolare nel contesto delle evoluzioni unitarie prodotto.

Metodologia
L'autore assume che l'insieme di indici $I$ sia l'insieme dei numeri naturali $\mathbb{N}$ con una enumerazione standard. La metodologia procede in tre fasi principali:

1. Definizione della Pseudo-Ultrametrica $d$:
   Per due sequenze $C_0$ $\phi$ e $\psi$, la distanza $d(\phi, \psi)$ è definita come l'esponente di convergenza della serie $\sum_j |\langle \phi_j, \psi_j \rangle - 1|$. Specificamente:
   $$d(\phi, \psi) = \inf \left\{ p \ge 0 : \sum_{j=1}^\infty \frac{1}{j^p} |\langle \phi_j, \psi_j \rangle - 1| < \infty \right\}.$$
   Questa definizione si basa sul lemma del trasferimento pesato (Lemma 2.5) che mette in relazione la convergenza della serie del prodotto interno con la convergenza delle differenze dei quadrati delle norme e delle parti immaginarie.

2. Variante Invariante per Gauge $\tilde{d}$:
   Riconoscendo che gli stati fisici sono spesso insensibili ai cambiamenti di fase componente per componente, l'autore introduce una relazione di equivalenza debole $\sim_w$ basata sulla convergenza di $\sum_j ||\langle \phi_j, \psi_j \rangle| - 1|$. Una corrispondente metrica $\tilde{d}$ è definita analogamente a $d$ ma utilizzando i valori assoluti dei prodotti interni. Questa variante è invariante sotto le unitarie prodotto di "puro gauge".

3. Analisi Topologica e Dinamica:
   Il saggio stabilisce la completezza di questi spazi e analizza l'azione delle unitarie prodotto $U = \bigotimes U_j$ sulle classi. L'analisi comporta la caratterizzazione delle permutazioni dell'insieme di indici che preservano la metrica e l'applicazione dei risultati a un modello semplificato di ramificazione everettiana.

Contributi Chiave e Risultati

• Struttura Metrica su $\Gamma$:
  La funzione $d$ è dimostrata essere una pseudo-ultrametrica completa su $\Gamma$. Essa soddisfa la forte disuguaglianza triangolare $d(c, e) \le \max(d(c, d), d(d, e))$. Tuttavia, $d$ è solo una pseudo-metrica perché classi distinte possono trovarsi a distanza zero (ad esempio, se la serie diverge più lentamente di qualsiasi $j^{-p}$ per $p>0$). Quotientando $\Gamma$ per la relazione $d=0$, l'autore costruisce uno spazio ultrametrico completo $(\bar{\Gamma}, d)$.

• Invarianza per Gauge:
  La variante $\tilde{d}$ è dimostrata essere una pseudo-ultrametrica completa sull'insieme delle classi di equivalenza debole $\Gamma_w$. Essa induce una vera ultrametrica su $\bar{\Gamma}_w$ tramite il quoziente. Le prove per $\tilde{d}$ sono notate come più semplici poiché non richiedono il controllo delle parti immaginarie dei prodotti interni.

• Invarianza sotto Riorganizzazione (Reindexing):
  Il saggio caratterizza il gruppo di permutazioni $\pi$ di $\mathbb{N}$ che preservano la metrica. Una permutazione preserva $d$ (e $\tilde{d}$) se e solo se soddisfa la "Condizione (T)": solo un numero sub-polinomiale di indici può essere spostato di un ammontare polinomiale. Ciò identifica un ampio gruppo di gauge di ridenominazioni "polinomialmente tenere" sotto le quali la struttura metrica è invariante.

• Dinamica delle Unitarie Prodotto:

  • Spostamento Massimale: Se un'unitaria prodotto consiste in una singola unitaria $U$ ripetuta su ogni fattore, e se $U$ soddisfa $\inf_{\|x\|=1} |\langle x, Ux \rangle - 1| > 0$ (equivalente a $1 \notin \sigma(U)$ in dimensioni finite), allora $d(c, Uc) = 1$ per ogni classe $c$. Tale unitaria sposta ogni settore alla distanza massima possibile.
  • Separazione delle Orbite: Se nessun autovalore di $U$ è una radice dell'unità, l'orbita $\{U^k c\}$ forma un insieme 1-separato in $(\Gamma, d)$.
  • Spostamento Dipendente dalla Classe: Al contrario, lo spostamento invariante per gauge $\tilde{d}(c, Uc)$ dipende dalla specifica classe. In un contesto di qubit, $\tilde{d}$ può realizzare qualsiasi valore in $[0, 1]$. Le classi costruite da autovettori ("stati pointer") hanno $\tilde{d}=0$, mentre quelle costruite da superposizioni uguali possono avere $\tilde{d}=1$.

• Interpretazione Fisica (Ramificazione Everettiana):
  Il saggio applica questi risultati a un modello semplificato dell'interpretazione dei molti mondi. I "mondi" sono identificati con i settori (prodotti tensoriali incompleti).

  • Superselezione: La decomposizione in settori agisce come una struttura di superselezione rispetto alle osservabili quasi-locali; settori distinti sono ortogonali e indistinguibili da misurazioni locali.
  • Esponente di Decoerenza: La metrica $\tilde{d}$ è interpretata come un esponente di decoerenza. Essa misura il tasso polinomiale con cui l'overlap di due rami decade all'aumentare del numero di gradi di libertà ambientali monitorati da un osservatore. Nello specifico, l'overlap decade come $\exp(-N^{\tilde{d}})$.
  • Meccanismo di Ramificazione: Le unitarie prodotto condizionate dividono lo stato universale in rami. Il valore di $\tilde{d}$ determina se questi rami sono mondi distinti ($\tilde{d} > 0$) o semplicemente descrizioni gauge-equivalenti dello stesso mondo ($\tilde{d} = 0$). La struttura ultrametrica codifica naturalmente la struttura gerarchica e ad albero degli eventi di ramificazione.

Significato e Rivendicazioni
Il saggio sostiene di fornire un quadro geometrico quantitativo per i prodotti tensoriali infiniti di von Neumann, trasformando l'insieme dei settori da un insieme di indici non strutturato in uno spazio ultrametrico completo. La sua importanza primaria risiede in:

1. Rigore Matematico: Stabilisce che lo spazio dei settori inequivalenti possiede una naturale topologia ultrametrica completa, una proprietà precedentemente non evidenziata nella letteratura.
2. Interpretazione Fisica: Offre una realizzazione matematica precisa della "ramificazione" nell'interpretazione di Everett. La metrica $\tilde{d}$ funge da misura rigorosa di decoerenza, quantificando la velocità con cui rami distinti diventano operativamente disgiunti per osservatori locali.
3. Risoluzione della Sensibilità di Fase: Distinguendo tra la metrica sensibile alla fase $d$ e la metrica invariante per gauge $\tilde{d}$, il saggio chiarisce la distinzione tra ortogonalità globale (visibile a osservabili non ristrette) e disgiunzione locale (visibile a osservabili quasi-locali), affrontando critiche simili a quelle di Bell riguardo al modello di Hepp.
4. Evoluzione Temporale Discreta: L'analisi supporta la visione secondo cui l'evoluzione temporale sul pieno prodotto tensoriale è intrinsecamente un processo a salti tra settori, che richiede passi temporali discreti a meno che i componenti dello stato non siano autovettori dell'Hamiltoniana.

L'autore dichiara esplicitamente che il modello è una "caricatura matematica" intesa a fornire un contesto controllato dove l'affermazione "l'universo si ramifica in mondi inequivalenti" sia un teorema piuttosto che una metafora, senza pretendere di risolvere questioni concettuali più ampie dell'interpretazione di Everett, come l'origine delle probabilità.