Information Loss under Gauge Reduction of Discrete Electromagnetic Fields

Resumen Técnico: Pérdida de Información bajo la Reducción de Calibre de Campos Electromagnéticos Discretos

Planteamiento del Problema
En las teorías de campos clásicas y cuánticas, los potenciales de calibre contienen variables redundantes; en el entorno abeliano, los potenciales relacionados por una transformación de calibre $A \mapsto A + d\chi$ describen el mismo campo electromagnético físico. Desde una perspectiva estadística, esta redundancia plantea una pregunta fundamental: ¿cuánta distinguibilidad entre dos descripciones auxiliares se pierde cuando se eliminan las variables de calibre no observables? Si bien la regla de la cadena clásica para la entropía relativa es bien conocida, su realización explícita dentro del contexto de las teorías de calibre discretas —específicamente aquellas que utilizan formas de Whitney y cálculo exterior de elementos finitos— no ha sido caracterizada completamente para estados gaussianos. El presente trabajo aborda la cuantificación de la pérdida de información al proyectar desde el espacio de los potenciales discretos hacia el espacio de los observables físicos.

Metodología
El estudio opera dentro del marco del electromagnetismo discretizado mediante formas de Whitney sobre una triangulación finita $K$ de una variedad riemanniana cerrada orientada de dimensión tres.

1. Descomposición de Hodge Discreta: El espacio de las 1-coformas discretas (potenciales) $C^1(K)$ se descompone utilizando la descomposición de Hodge discreta:
   $$C^1(K) = V_p \oplus V_g$$
   donde $V_g = \text{im } \delta^0$ representa las direcciones de calibre exactas y $V_p = \text{ker } \delta^1 \cap \text{ker } \delta^*_0 \oplus \text{im } \delta^*_1$ contiene los grados de libertad físicos armónicos y coexactos.
2. Marco Estadístico: El análisis considera medidas de probabilidad gaussianas no degeneradas $\mu$ y $\nu$ sobre el espacio auxiliar de potenciales $V = V_p \oplus V_g$. Las marginales físicas $\mu_p$ y $\nu_p$ se definen mediante la medida de imagen directa bajo la proyección física $P_p$.
3. Herramientas de Teoría de la Información: El artículo utiliza la entropía relativa (divergencia de Kullback-Leibler) y la información de Fisher para analizar la relación entre las distribuciones auxiliares completas y sus proyecciones físicas. Se derivan fórmulas explícitas utilizando complementos de Schur y distribuciones gaussianas condicionales.

Contribuciones Clave y Resultados

• Descomposición Exacta de la Entropía: El resultado central es una descomposición exacta de la entropía relativa entre dos medidas gaussianas auxiliares $\mu$ y $\nu$:
  $$D(\mu \parallel \nu) = D(\mu_p \parallel \nu_p) + I_g(\mu, \nu)$$
  Aquí, $D(\mu_p \parallel \nu_p)$ es la entropía relativa de las marginales físicas, e $I_g(\mu, \nu)$ es una contribución de calibre condicional no negativa que representa la información perdida durante la reducción.
  $$I_g(\mu, \nu) = \int_{V_p} D(\mu_{g|x} \parallel \nu_{g|x}) \, d\mu_p(x)$$
  Este término cuantifica la distinguibilidad que reside enteramente en los componentes de calibre no físicos.

• Fórmula Gaussiana Explícita: Para medidas gaussianas definidas por medias $m$ y covarianzas $\Sigma$ (particionadas en bloques de componentes físicos $A$, de calibre $C$ y de correlación cruzada $B$), el artículo deriva una expresión de forma cerrada para $I_g(\mu, \nu)$. Esta expresión separa la distinguibilidad auxiliar en tres fuentes distintas:

  1. Diferencias en las covarianzas de calibre condicionales (complementos de Schur $S_\mu, S_\nu$).
  2. Diferencias en las medias de calibre condicionales.
  3. Diferencias en los operadores de regresión físico-calibre ($R = B^\top A^{-1}$).
     El artículo caracteriza la condición para la igualdad $D(\mu \parallel \nu) = D(\mu_p \parallel \nu_p)$: esto ocurre si y solo si las distribuciones de calibre condicionales son idénticas ($\mu_{g|x} = \nu_{g|x}$) casi en todas partes.

• La Entropía Relativa Física como un Mínimo: El artículo establece que la entropía relativa física es el mínimo posible de distinguibilidad entre todas las extensiones auxiliares gaussianas compatibles con los estados físicos:
  $$D(\bar{\mu} \parallel \bar{\nu}) = \min_{\mu \in \text{Ext}_G(\bar{\mu}), \nu \in \text{Ext}_G(\bar{\nu})} D(\mu \parallel \nu)$$
  Este mínimo se alcanza cuando las extensiones auxiliares comparten la misma distribución de calibre condicional (por ejemplo, mediante una estructura de producto $\mu = \bar{\mu} \otimes \tau$).

• Descomposición de la Información de Fisher: A nivel infinitesimal, la matriz de información de Fisher admite una descomposición análoga:
  $$g_{aux}(\theta) = g_{phys}(\theta) + g_{cond}(\theta)$$
  donde el término condicional $g_{cond}$ es semidefinido positivo, confirmando que el espacio de parámetros auxiliar contiene estrictamente más información que el espacio físico.

• Modelo Ilustrativo: Un modelo de dos variables ($V_p = \mathbb{R}, V_g = \mathbb{R}$) demuestra que dos distribuciones auxiliares pueden ser estadísticamente distinguibles ($D(\mu \parallel \nu) > 0$) mientras tienen marginales físicos idénticos ($D(\mu_p \parallel \nu_p) = 0$). En este caso, la distinguibilidad surge únicamente de las diferentes correlaciones entre la coordenada física y la coordenada de calibre.

Significado y Pretensiones
El artículo pretende proporcionar una interpretación de la geometría de la información de la reducción de calibre discreta. Su principal significación radica en:

1. Cuantificar la Redundancia: Cuantifica con precisión la información estadística descartada al pasar de los potenciales auxiliares a las clases de equivalencia de calibre, sin asignar un significado físico independiente a las variables de calibre eliminadas.
2. Clarificar la Distinguibilidad: Clarifica que dos descripciones auxiliares pueden ser estadísticamente distinguibles puramente debido a su representación de calibre, incluso si producen predicciones físicas idénticas.
3. Rigor Metodológico: La construcción se limita estrictamente a complejos de Whitney de dimensión finita y campos gaussianos clásicos. El autor señala explícitamente que los límites continuos, los operadores de densidad cuánticos, las teorías no abelianas y la evolución dinámica están fuera del alcance de este trabajo y requieren un análisis separado.

El trabajo sirve como un paso fundacional para comprender cómo la simetría de calibre se manifiesta en la geometría de la información de los campos discretos, ofreciendo fórmulas exactas para la entropía y la información de Fisher que separan el contenido físico de los artefactos de calibre.