A complete ultrametric on von Neumann's incomplete tensor products

Technische Samenvatting: Een Volledige Ultrametrische Metriek op von Neumanns Onvolledige Tensorproducten

Probleemstelling
Het artikel behandelt de structurele eigenschappen van de verzameling $\Gamma$ van equivalentieklassen van $C_0$-sequenties binnen de theorie van von Neumann over oneindige tensorproducten van Hilbertruimten. In het kader van von Neumann (1939) vervalt het volledige oneindige tensorproduct $\bigotimes_{\iota \in I} \mathcal{H}_\iota$ in een orthogonale directe som van "onvolledige" tensorproducten, gelabeld door equivalentieklassen van $C_0$-sequenties. Twee sequenties zijn equivalent als de reeks $\sum_\iota |\langle \phi_\iota, \psi_\iota \rangle - 1|$ convergeert. Hoewel deze verzameling $\Gamma$ gewoonlijk wordt behandeld als een ongestructureerde indexverzameling met een grote kardinaliteit, identificeert het artikel een gebrek aan kwantitatieve structuur om de "graad van inequivalentie" tussen verschillende klassen te meten. Het centrale probleem is het definiëren van een metriek op $\Gamma$ die deze scheiding kwantificeert en het analyseren van de topologische en dynamische eigenschappen daarvan, met name in de context van product-unitaire evoluties.

Methodologie
De auteur gaat ervan uit dat de indexverzameling $I$ de natuurlijke getallen $\mathbb{N}$ is met een standaard enumeratie. De methodologie verloopt in drie hoofdfasen:

1. Definitie van de Pseudo-ultrametrische $d$:
   Voor twee $C_0$-sequenties $\phi$ en $\psi$ wordt de afstand $d(\phi, \psi)$ gedefinieerd als de convergentie-exponent van de reeks $\sum_j |\langle \phi_j, \psi_j \rangle - 1|$. Specifiek:
   $$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\}.$$
   Deze definitie steunt op het gewogen transfer-lemma (Lemma 2.5) dat de convergentie van de inproductreeks relateert aan de convergentie van de gekwadrateerde normverschillen en de imaginaire delen.

2. Gauge-invariante Variant $\tilde{d}$:
   In het besef dat fysieke toestanden vaak ongevoelig zijn voor componentwijze faseveranderingen, introduceert de auteur een zwakke equivalentierelatie $\sim_w$ gebaseerd op de convergentie van $\sum_j ||\langle \phi_j, \psi_j \rangle| - 1|$. Een bijbehorende metriek $\tilde{d}$ wordt analoog aan $d$ gedefinieerd, maar gebruikmakend van de absolute waarden van de inproducten. Deze variant is invariant onder "pure gauge" product-unitaries.

3. Topologische en Dynamische Analyse:
   Het artikel stelt de volledigheid van deze ruimten vast en analyseert de werking van product-unitaries $U = \bigotimes U_j$ op de klassen. De analyse omvat het karakteriseren van de permutaties van de indexverzameling die de metriek behouden en past de resultaten toe op een model van de Everettiaanse vertakking (branching).

Belangrijkste Bijdragen en Resultaten

• Metrische Structuur op $\Gamma$:
  De functie $d$ wordt bewezen een volledige pseudo-ultrametriek op $\Gamma$ te zijn. Het voldoet aan de sterke driehoeksongelijkheid $d(c, e) \le \max(d(c, d), d(d, e))$. Echter, $d$ is slechts een pseudo-metriek omdat verschillende klassen een afstand nul kunnen hebben (bijv. als de reeks langzamer divergeert dan elke $j^{-p}$ voor $p>0$). Door $\Gamma$ te quotienteren door de relatie $d=0$, construeert de auteur een volledige ultrametrische ruimte $(\bar{\Gamma}, d)$.

• Gauge-invariantie:
  De variant $\tilde{d}$ wordt aangetoond een volledige pseudo-ultrametriek te zijn op de verzameling van zwakke equivalentieklassen $\Gamma_w$. Het daalt af naar een echte ultrametriek op de quotient $\bar{\Gamma}_w$. De bewijzen voor $\tilde{d}$ worden als eenvoudiger beschouwd omdat ze geen controle vereisen over de imaginaire delen van de inproducten.

• Invariantie onder Herindexering:
  Het artikel karakteriseert de groep permutaties $\pi$ van $\mathbb{N}$ die de metriek behouden. Een permutatie behoudt $d$ (en $\tilde{d}$) indien en slechts indien deze voldoet aan "Conditie (T)": slechts een sub-polynomiaal aantal indices mag meer verplaatst worden dan een polynomiale hoeveelheid. Dit identificeert een grote gauge-groep van "polynomiaal tamme" heretiketteringen waaronder de metrische structuur invariant blijft.

• Dynamica van Product-Unitaries:

  • Maximale Verplaatsing: Als een product-unitary bestaat uit één enkele unitary $U$ die op elke factor wordt herhaald, en $U$ voldoet aan $\inf_{\|x\|=1} |\langle x, Ux \rangle - 1| > 0$ (equivalent aan $1 \notin \sigma(U)$ in eindige dimensies), dan is $d(c, Uc) = 1$ voor elke klasse $c$. Dergelijke een unitary verplaatst elke sector naar de maximale mogelijke afstand.
  • Baan-scheiding (Orbit Separation): Indien geen eigenwaarde van $U$ een eenheidswortel is, vormt de baan $\{U^k c\}$ een 1-gescheiden verzameling in $(\Gamma, d)$.
  • Klasse-afhankelijke Verplaatsing: In tegen tegenstelling hiertoe hangt de gauge-invariante verplaatsing $\tilde{d}(c, Uc)$ af van de specifieke klasse. In een qubit-setting kan $\tilde{d}$ elke waarde in $[0, 1]$ realiseren. Klassen opgebouwd uit eigenvectoren ("pointer states") hebben $\tilde{d}=0$, terwijl klassen opgebouwd uit gelijke superposities $\tilde{d}=1$ kunnen hebben.

• Fysieke Interpretatie (Everettiaanse Vertakking):
  Het artikel past deze resultaten toe op een model van de Many-Worlds interpretatie. De "werelden" worden geïdentificeerd met de sectoren (onvolledige tensorproducten).

  • Superselectie: De sector-decompositie fungeert als een superselectiestructuur ten opzichte van quasi-lokale observabelen; verschillende sectoren zijn orthogonaal en ononderscheidbaar door lokale metingen.
  • Decoherentie-exponent: De metriek $\tilde{d}$ wordt geïnterpreteerd als een decoherentie-exponent. Het meet de polynomiale snelheid waarmee de overlap van twee takken (branches) vervalt naarmate een waarnemer een toenemend aantal omgevingsgraden van vrijheid monitort. Specifiek vervalt de overlap als $\exp(-N^{\tilde{d}})$.
  • Vertakkingsmechanisme: Geconditioneerde product-unitaries splitsen de universele toestand in takken. De waarde van $\tilde{d}$ bepaalt of deze takken onderscheiden werelden zijn ($\tilde{d} > 0$) of slechts gauge-equivalente beschrijvingen van dezelfde wereld ($\tilde{d} = 0$). De ultrametrische structuur codeert op natuurlijke wijze de hiërarchische, boom-achtige structuur van vertakkingsgebeurtenissen.

Betekenis en Claims
Het artikel claimt een kwantitatief geometrisch kader te bieden voor de oneindige tensorproducten van von Neumann, waarbij de verzameling sectoren transformeert van een ongestructureerde indexverzameling naar een volledige ultrametrische ruimte. De primaire betekenis ligt in:

1. Wiskundige Rigor: Het stelt vast dat de ruimte van inequivalente sectoren een natuurlijke, volledige ultrametrische topologie bezit, een eigenschap die voorheen niet in de literatuur is benadrukt.
2. Fysieke Interpretatie: Het biedt een precieze wiskundige realisatie van "vertakking" in de Everett-interpretatie. De metriek $\tilde{d}$ dient als een rigoureuze maat voor decoherentie, die kwantificeert hoe snel verschillende takken operationeel disjunct worden voor lokale waarnemers.
3. Resolutie van Fase-gevoeligheid: Door onderscheid te maken tussen de fase-gevoelige metriek $d$ en de gauge-invariante metriek $\tilde{d}$, verheldert het artikel het onderscheid tussen globale orthogonaliteit (zichtbaar voor onbeperkte observabelen) en lokale disjunctheid (zichtbaar voor quasi-lokale observabelen), wat antwoord geeft op kritieken vergelijkbaar met die van Bell betreffende het Hepp-model.
4. Discrete Tijdevolutie: De analyse ondersteunt het standpunt dat de tijdevolutie op het volledige oneindige tensorproduct intrinsiek een sprongproces (jump process) is tussen sectoren, wat discrete tijdstappen noodzakelijk maakt, tenzij de componenten van de toestand eigenvectoren zijn van de Hamiltoniaan.

De auteur stelt expliciet dat het model een "wiskundige karikatuur" is, bedoeld om een gecontroleerde setting te bieden waar de uitspraak "het universum vertakt in inequivalente werelden" een stelling is in plaats van een metafoor, zonder te claimen dat het bredere conceptuele kwesties van de Everett-interpretatie oplost, zoals de oorsprong van waarschijnlijkheden.