A complete ultrametric on von Neumann's incomplete tensor products

Resumen Técnico: Un ultramétrico completo sobre los productos tensoriales incompletos de von Neumann

Planteamiento del problema
El artículo aborda las propiedades estructurales del conjunto $\Gamma$ de clases de equivalencia de secuencias $C_0$ dentro de la teoría de productos tensoriales infinitos de von Neumann. En el marco de 1939 de von Neumann, el producto tensorial completo $\bigotimes_{\iota \in I} \mathcal{H}_\iota$ se descompone en una suma directa ortogonal de "productos tensoriales incompletos", etiquetados por clases de equivalencia de secuencias $C_0$. Dos secuencias son equivalentes si la serie $\sum_\iota |\langle \phi_\iota, \psi_\iota \rangle - 1|$ converge. Si bien este conjunto $\Gamma$ es típicamente tratado como un conjunto de índices sin estructura de gran cardinalidad, el artículo identifica una falta de estructura cuantitativa para medir el "grado de inequivalencia" entre clases distintas. El problema central es definir una métrica en $\Gamma$ que cuantifique esta separación y analizar sus propiedades topológicas y dinámicas, particularmente en el contexto de evoluciones unitarias de producto.

Metodología
El autor asume que el conjunto de índices $I$ son los números naturales $\mathbb{N}$ con una enumeración estándar. La metodología procede en tres etapas principales:

1. Definición del pseudoultramétrico $d$:
   Para dos secuencias $C_0$ $\phi$ y $\psi$, la distancia $d(\phi, \psi)$ se define como el exponente de convergencia de la serie $\sum_j |\langle \phi_j, \psi_j \rangle - 1|$. Específicamente:
   $$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 definición se basa en el lema de transferencia ponderada (Lema 2.5) que relaciona la convergencia de la serie del producto interno con la convergencia de las diferencias de la norma al cuadrado y las partes imaginarias.

2. Variante invariante por calibre $\tilde{d}$:
   Reconociendo que los estados físicos suelen ser insensibles a los cambios de fase componente a componente, el autor introduce una relación de equivalencia débil $\sim_w$ basada en la convergencia de $\sum_j ||\langle \phi_j, \psi_j \rangle| - 1|$. Una métrica correspondiente $\tilde{d}$ se define de manera análoga a $d$ pero utilizando los valores absolutos de los productos internos. Esta variante es invariante bajo unitarias de producto de "calibre puro" (pure gauge).

3. Análisis topológico y dinámico:
   El artículo establece la completitud de estos espacios y analiza la acción de las unitarias de producto $U = \bigotimes U_j$ sobre las clases. El análisis implica caracterizar las permutaciones del conjunto de índices que preservan la métrica y aplicar los resultados a un modelo de juguete de ramificación everettiana.

Contribuciones clave y resultados

• Estructura métrica en $\Gamma$:
  Se demuestra que la función $d$ es un pseudoultramétrico completo en $\Gamma$. Satisface la desigualdad triangular fuerte $d(c, e) \le \max(d(c, d), d(d, e))$. Sin embargo, $d$ es solo una pseudométrica porque clases distintas pueden situarse a distancia cero (por ejemplo, si la serie diverge más lento que cualquier $j^{-p}$ para $p>0$). Al realizar el cociente de $\Gamma$ por la relación $d=0$, el autor construye un espacio ultramétrico completo $(\bar{\Gamma}, d)$.

• Invariancia por calibre:
  Se muestra que la variante $\tilde{d}$ es un pseudoultramétrico completo en el conjunto de clases de equivalencia débil $\Gamma_w$. Esta desciende a un ultramétrico genuino en el cociente $\bar{\Gamma}_w$. Las pruebas para $\tilde{d}$ se señalan como más simples, ya que no requieren controlar las partes imaginarias de los productos internos.

• Invariancia bajo reindexación:
  El artículo caracteriza el grupo de permutaciones $\pi$ de $\mathbb{N}$ que preservan la métrica. Una permutación preserva $d$ (y $\tilde{d}$) si y solo si satisface la "Condición (T)": solo un número subpolinomial de índices puede ser desplazado por una cantidad polinomial. Esto identifica un gran grupo de calibre de reetiquetados "polinomialmente dóciles" bajo los cuales la estructura métrica es invariante.

• Dinámica de las unitarias de producto:

  • Desplazamiento máximo: Si una unitaria de producto consiste en una única unitaria $U$ repetida en cada factor, y $U$ satisface $\inf_{\|x\|=1} |\langle x, Ux \rangle - 1| > 0$ (equivalente a $1 \notin \sigma(U)$ en dimensiones finitas), entonces $d(c, Uc) = 1$ para cada clase $c$. Tal unitaria desplaza cada sector a la distancia máxima posible.
  • Separación de órbitas: Si ninguna raíz propia de $U$ es una raíz de la unidad, la órbita $\{U^k c\}$ forma un conjunto 1-separado en $(\Gamma, d)$.
  • Desplazamiento dependiente de la clase: En contraste, el desplazamiento invariante por calibre $\tilde{d}(c, Uc)$ depende de la clase específica. En un entorno de qubit, $\tilde{d}$ puede realizar cualquier valor en $[0, 1]$. Las clases construidas a partir de autovectores ("estados de puntero") tienen $\tilde{d}=0$, mientras que aquellas construidas a partir de superposiciones iguales pueden tener $\tilde{d}=1$.

• Interpretación física (Ramificación Everettiana):
  El artículo aplica estos resultados a un modelo de juguete de la interpretación de muchos mundos. Los "mundos" se identifican con los sectores (productos tensoriales incompletos).

  • Superselección: La descomposición de sectores actúa como una estructura de superselección respecto a observables cuasi-locales; los sectores distintos son ortogonales e indistinguibles para mediciones locales.
  • Exponente de decoherencia: La métrica $\tilde{d}$ se interpreta como un exponente de decoherencia. Mide la tasa polinomial a la que el solapamiento de dos ramas decae a medida que un observador monitorea un número creciente de grados de libertad ambientales. Específicamente, el solapamiento decae como $\exp(-N^{\tilde{d}})$.
  • Mecanismo de ramificación: Las unitarias de producto condicionadas dividen el estado universal en ramas. El valor de $\tilde{d}$ determina si estas ramas son mundos distintos ($\tilde{d} > 0$) o simplemente descripciones equivalentes por calibre del mismo mundo ($\tilde{d} = 0$). La estructura ultramétrica codifica naturalmente la estructura jerárquica, de tipo árbol, de los eventos de ramificación.

Significado y afirmaciones
El artículo afirma proporcionar un marco geomético cuantitativo para los productos tensoriales infinitos de von Neumann, transformando el conjunto de sectores de un conjunto de índices sin estructura en un espacio ultramétrico completo. Su principal significación radica en:

1. Rigor matemático: Establece que el espacio de sectores inequivalentes posee una topología ultramétrica completa y natural, una propiedad no resaltada previamente en la literatura.
2. Interpretación física: Ofrece una realización matemática precisa de la "ramificación" en la interpretación de Everett. La métrica $\tilde{d}$ sirve como una medida rigurosa de la decoherencia, cuantificando qué tan rápido dos ramas se vuelven operacionalmente disjuntas para observadores locales.
3. Resolución de la sensibilidad de fase: Al distinguir entre la métrica sensible a la fase $d$ y la métrica invariante por calibre $\tilde{d}$, el artículo clarifica la distinción entre la ortogonalidad global (visible para observables no restringidos) y la disyunción local (visible para observables cuasi-locales), abordando críticas similares a las de Bell respecto al modelo de Hepp.
4. Evolución de tiempo discreto: El análisis apoya la visión de que la evolución temporal en el producto tensorial completo es intrínsecamente un proceso de salto entre sectores, lo que requiere pasos de tiempo discretos a menos que los componentes del estado sean autovectores del Hamiltoniano.

El autor establece explícitamente que el modelo es una "caricatura matemática" destinada a proporcionar un entorno controlado donde la afirmación "el universo se ramifica en mundos inequivalentes" sea un teorema en lugar de una metáfora, sin pretender resolver problemas conceptuales más amplios de la interpretación de Everett, como el origen de las probabilidades.