A complete ultrametric on von Neumann's incomplete tensor products

Resumo Técnico: Um Ultramétrico Completo sobre os Produtos Tensoriais Incompletos de von Neumann

Enunciado do Problema
O artigo aborda as propriedades estruturais do conjunto $\Gamma$ de classes de equivalência de sequências $C_0$ dentro da teoria de produtos tensoriais infinitos de von Neumann. Na estrutura de 1939 de von Neumann, o produto tensorial completo $\big[]_{\iota \in I} \mathcal{H}_\iota$ decompõe-se em uma soma direta ortogonal de "produtos tensoriais incompletos", rotulados por classes de equivalência de sequências $C_0$. Duas sequências são equivalentes se a série $\sum_\iota |\langle \phi_\iota, \psi_\iota \rangle - 1|$ converge. Embora este conjunto $\Gamma$ seja tipicamente tratado como um conjunto de índices sem estrutura de grande cardinalidade, o artigo identifica uma falta de estrutura quantitativa para medir o "grau de inequivalência" entre classes distintas. O problema central é definir uma métrica em $\Gamma$ que quantifique essa separação e analisar suas propriedades topológicas e dinâmicas, particularmente no contexto de evoluções unitárias de produto.

Metodologia
O autor assume que o conjunto de índices $I$ são os números naturais $\mathbb{N}$ com uma enumeração padrão. A metodologia procede em três estágios principais:

1. Definição da Pseudo-Ultramétrica $d$:
   Para duas sequências $C_0$ $\phi$ e $\psi$, a distância $d(\phi, \psi)$ é definida como o expoente de convergência da série $\sum_j |\langle \phi_j, \psi_j \rangle - 1|$. Especificamente:
   $$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\}.$$
   Esta definição baseia-se no lema de transferência ponderada (Lema 2.5) que relaciona a convergência da série do produto interno com as diferenças do quadrado da norma e as partes imaginárias.

2. Variante Invariante de Gauge $\tilde{d}$:
   Reconhecendo que estados físicos são frequentemente insensíveis a mudanças de fase componente a componente, o autor introduz uma relação de equivalência fraca $\sim_w$ baseada na convergência de $\sum_j ||\langle \phi_j, \psi_j \rangle| - 1|$. Uma métrica $\tilde{d}$ correspondente é definida analogamente a $d$, mas utilizando os valores absolutos dos produtos internos. Esta variante é invariante sob unitárias de produto de "gauge puro".

3. Análise Topológica e Dinâmica:
   O artigo estabelece a completude desses espaços e analisa a ação de unitárias de produto $U = \bigotimes U_j$ sobre as classes. A análise envolve a caracterização das permutações do conjunto de índices que preservam a métrica e a aplicação dos resultados a um modelo de brinquedo de ramificação everettiana.

Principais Contribuições e Resultados

• Estrutura Métrica em $\Gamma$:
  A função $d$ é provada a ser uma pseudo-ultramétrica completa em $\Gamma$. Ela satisfaz a desigualdade triangular forte $d(c, e) \le \max(d(c, d), d(d, e))$. No entanto, $d$ é apenas uma pseudo-métrica porque classes distintas podem estar à distância zero (por exemplo, se a série diverge mais lentamente do que qualquer $j^{-p}$ para $p>0$). Ao realizar o quociente de $\Gamma$ pela relação $d=0$, o autor constrói um espaço ultramétrico completo $(\bar{\Gamma}, d)$.

• Invariância de Gauge:
  A variante $\tilde{d}$ é mostrada a ser uma pseudo-ultramétrica completa no conjunto de classes de equivalência fraca $\Gamma_w$. Ela desce para uma ultramétrica genuína no quociente $\bar{\Gamma}_w$. As provas para $\tilde{d}$ são notadas como mais simples, pois não requerem o controle das partes imaginárias dos produtos internos.

• Invariância sob Reindexação:
  O artigo caracteriza o grupo de permutações $\pi$ de $\mathbb{N}$ que preservam a métrica. Uma permutação preserva $d$ (e $\tilde{d}$) se, e somente se, satisfaz a "Condição (T)": apenas um número subpolinomial de índices pode ser deslocado por uma quantidade polinomial. Isso identifica um grande grupo de gauge de reetiquetagens "polinomialmente comportadas" sob as quais a estrutura métrica é invariante.

• Dinâmica de Unitárias de Produto:

  • Deslocamento Máximo: Se uma unitária de produto consiste em uma única unitária $U$ repetida em cada fator, e $U$ satisfaz $\inf_{\|x\|=1} |\langle x, Ux \rangle - 1| > 0$ (equivalente a $1 \notin \sigma(U)$ em dimensões finitas), então $d(c, Uc) = 1$ para cada classe $c$. Tal unitária desloca cada setor para a distância máxima possível.
  • Separação de Órbita: Se nenhuma autovalor de $U$ é uma raiz da unidade, a órbita $\{U^k c\}$ forma um conjunto 1-separado em $(\Gamma, d)$.
  • Deslocamento Dependente da Classe: Em contraste, o deslocamento invariante de gauge $\tilde{d}(c, Uc)$ depende da classe específica. Em um cenário de qubit, $\tilde{d}$ pode realizar qualquer valor em $[0, 1]$. Classes construídas a partir de autovetores ("estados ponte") têm $\tilde{d}=0$, enquanto classes construídas a partir de superposições iguais podem ter $\tilde{d}=1$.

• Interpretação Física (Ramificação de Everett):
  O artigo aplica estes resultados a um modelo de brinquedo da interpretação de muitos mundos. Os "mundos" são identificados com os setores (produtos tensoriais incompletos).

  • Superseleção: A decomposição de setores atua como uma estrutura de superseleção em relação a observáveis quase-locais; setores distintos são ortogonais e indistinguíveis por medições locais.
  • Expoente de Decoerência: A métrica $\tilde{d}$ é interpretada como um expoente de decoerência. Ela mede a taxa polinomial na qual o overlap de dois ramos decai conforme um observador monitora um número crescente de graus de liberdade ambientais. Especificamente, o overlap decai como $\exp(-N^{\tilde{d}})$.
  • Mecanismo de Ramificação: Unitárias de produto condicionadas dividem o estado universal em ramos. O valor de $\tilde{d}$ determina se estes ramos são mundos distintos ($\tilde{d} > 0$) ou meramente descrições de gauge-equivalentes do mesmo mundo ($\tilde{d} = 0$). A estrutura ultramétrica codifica naturalmente a estrutura hierárquica, em forma de árvore, dos eventos de ramificação.

Significância e Alegações
O artigo alega fornecer um arcabouço geométrico quantitativo para os produtos tensoriais infinitos de von Neumann, transformando o conjunto de setores de um conjunto de índices sem estrutura em um espaço ultramétrico completo. Sua principal significância reside em:

1. Rigor Matemático: Estabelece que o espaço de setores inequivalentes possui uma topologia ultramétrica completa natural, uma propriedade não destacada anteriormente na literatura.
2. Interpretação Física: Oferece uma realização matemática precisa da "ramificação" na interpretação de Everett. A métrica $\tilde{d}$ serve como uma medida rigorosa de decoerência, quantificando quão rapidamente ramos distintos se tornam operacionalmente disjuntos para observadores locais.
3. Resolução da Sensibilidade de Fase: Ao distinguir entre a métrica sensível à fase $d$ e a métrica invariante de gauge $\tilde{d}$, o artigo esclarece a distinção entre ortogonalidade global (visível para observáveis irrestritos) e disjunção local (visível para observáveis quase-locais), abordando críticas semelhantes às de Bell em relação ao modelo de Hepp.
4. Evolução de Tempo Discreto: A análise apoia a visão de que a evolução temporal no produto tensorial completo é intrinsecamente um processo de salto entre setores, necessitando de passos de tempo discretos, a menos que os componentes do estado sejam autovetores do Hamiltoniano.

O autor afirma explicitamente que o modelo é uma "caricatura matemática" destinada a fornecer um cenário controlado onde a afirmação "o universo ramifica-se em mundos inequivalentes" é um teorema em vez de uma metáfora, sem pretender resolver questões conceituais mais amplas da interpretação de Everett, como a origem das probabilidades.