Diversity vs Degrees of Freedom in Gaussian Fading Channels

Resumen Técnico: Diversidad frente a Grados de Libertad para Canales de Desvanecimiento Gaussiano

Planteamiento del Problema
El artículo aborda una limitación fundamental en las definiciones clásicas de Grados de Libertad (DOF) y Diversidad (DIV) para canales de desvanecimiento gaussiano. Tradicionalmente, estas métricas se extraen utilizando un calibre fijo de $\log \rho$ (donde $\rho$ es la relación señal-ruido): el DOF se define como $\lim_{\rho \to \infty} C(\rho)/\log \rho$, y el DIV como $\lim_{\rho \to \infty} -\log P_e(\rho)/\log \rho$.

El autor argumenta que este enfoque confunde dos operaciones distintas: la selección del calibre (identificar la escala asintótica correcta sobre la cual crece la capacidad o la fiabilidad) y la normalización atómica (dividir el coeficiente de crecimiento bruto por el coeficiente de un "átomo" o unidad de información/fiabilidad). En el caso clásico de MIMO complejo coherente, el calibre resulta ser $\log \rho$ y los coeficientes de los átomos relevantes resultan ser 1, lo que hace que estos pasos sean numéricamente invisibles. Sin embargo, para canales donde la escala de crecimiento difiere de $\log \rho$ (por ejemplo, desvanecimiento rápido no coherente donde la capacidad crece como $\log \log \rho$) o donde el coeficiente bruto incluye constantes no unitarias (por ejemplo, AWGN real o canales de $H$ fija), las definiciones clásicas producen resultados no informativos o incorrectos (por ejemplo, prelog cero o pendiente de diversidad infinita).

Metodología
El artículo propone un marco de dos pasos para desacoplar la selección del calibre de la normalización atómica, utilizando la frontera de Bhattacharyya como una herramienta geométrica unificadora.

1. Construcción de la Frontera de Bhattacharyya: La herramienta central es la frontera de Bhattacharyya, $\Delta^*_B(K; \rho)$, definida como el máximo, sobre todos los libros de códigos de $K$ puntos admisibles, de la distancia de Bhattacharyya mínima entre las leyes de salida inducidas.

   • Lado de la Capacidad (Tasa): El empaquetamiento de palabras de código de separación fija identifica el calibre de la capacidad. El Teorema 1 (Sándwich de Capacidad-Empaquetamiento) demuestra que si el empaquetamiento y la cobertura de la ley de salida de resolución fija tienen coeficientes de entropía coincidentes, se recuperan tanto el calibre de la capacidad como el coeficiente bruto de la capacidad.
   • Lado de la Diversidad (Fiabilidad): El punto final binario ($K=2$) de la frontera identifica el calibre de diversidad de tasa cero. El Teorema 2 establece que el punto final binario es equivalente en calibre al exponente de error de prueba de dos mensajes óptimo.

2. Normalización Atómica: Una vez identificados el calibre y el coeficiente bruto correctos, el artículo define "átomos" para normalizar estos valores:

   • Átomo de Comunicación: Un grado de libertad de entrada controlable de forma independiente (por ejemplo, una dirección de entrada SISO o un subespacio grassmanniano).
   • Átomo de Fiabilidad: Una unidad de observación de fiabilidad de salida normalizada por la unidad (por ejemplo, una observación con ruido de ganancia unitaria).
   • DOF/DIV de Punto Final: Las métricas finales se obtienen dividiendo el coeficiente bruto por el coeficiente del átomo correspondiente ($\alpha_{comm}$ o $\alpha_{rel}$).

Contribuciones Clave y Resultados
El artículo aplica este marco a siete familias de canales, distinguiendo entre casos de "mismo calibre" (donde las definiciones clásicas se mantienen) y casos de "calibre cruzado" (donde fallan).

• $H$ Determinística Fija (Calibre Cruzado):

  • Capacidad: Crece sobre el calibre $\log \rho$. El DOF del punto final de bloque es $T \cdot \text{rank}(H)$.
  • Diversidad: Crece sobre el calibre lineal $\rho$ (no $\log \rho$). El punto final binario produce un coeficiente bruto de $T\sigma_1^2(H)/\ln 2$. Tras la normalización por el átomo de fiabilidad de AWGN fijo ($1/\ln 2$), el DIV del punto final es $T\sigma_1^2(H)$.
  • Perspectiva: Este canal es de "calibre cruzado". La capacidad está determinada por la cobertura de la imagen de entrada (dimensiones de entrada), mientras que la diversidad está determinada por la expansión de la separación de salida (vistas de salida). El DIV del punto final depende de la ganancia para $H$ no normalizada.

• Desvanecimiento Rápido No Coherente (Calibre Cruzado):

  • Capacidad: Crece sobre el calibre $\log \log \rho$ (recuperando los resultados de Lapidoth–Moser). El DOF del punto final es 1.
  • Diversidad: Crece sobre el calibre $\log \rho$. El punto final binario tiene un coeficiente bruto de $N/2$. Tras la normalización por el átomo de fiabilidad de desvanecimiento rápido ($1/2$), el DIV del punto final es $N$.
  • Frontera de Carga-$r$: El artículo deriva una frontera exacta de calibre de carga-$r$ de $(\log \rho)^{1-r}$ con un coeficiente de $N/2$.

• Casos de Calibración de Mismo Calibre:

  • Se demuestra que el MIMO Rayleigh Coherente y el Desvanecimiento de Bloque No Coherente son casos de mismo calibre donde tanto la capacidad como la diversidad crecen en la escala $\log \rho$. Los coeficientes brutos coinciden con los recuentos clásicos de DOF y DIV (por ejemplo, DIV de tasa cero $MN$) porque los coeficientes de los átomos relevantes son 1.

• Casos Abiertos y Condicionales:

  • Desvanecimiento Multitrayecto: Una construcción guardada proporciona un límite inferior para el calibre de diversidad ($\log \rho$) y un límite inferior para el DIV del punto final, pero la frontera exacta no guardada sigue abierta.
  • Desvanecimiento Fraccionario-Logarítmico Paralelo: Proporciona un punto de referencia inferior condicional basado en la función $E_0$ de Gallager, asumiendo un conjunto de entrada producto.
  • Desvanecimiento Toeplitz Estacionario: El calibre de la capacidad es $(\log \rho)^\beta$ (logaritmo fraccionario), pero el calibre de diversidad de tasa cero y la frontera de carga-$r$ siguen abiertos debido a la no conmutatividad de las matrices de covarianza a través de las palabras de código, lo que impide la factorización por coordenadas.

Significado y Reivindicaciones
El artículo afirma clarificar las definiciones de DOF y DIV al separar explícitamente la identificación de la escala de crecimiento asintótico (calibre) de la normalización del coeficiente de crecimiento (conteo atómico).

• Corrección de Conceptos Erróneos: Demuestra que un "prelog cero" o una "pendiente de diversidad infinita" en ciertos canales no es una falta de estructura de señal, sino un desajuste del calibre (usar $\log \rho$ cuando el canal crece como $\log \log \rho$ o $\rho$).
• Marco Unificado: Introduce la frontera de Bhattacharyya como un objeto geométrico libre de calibre que extrae consistentemente tanto las métricas de capacidad como de diversidad a través de diversos modelos de canal.
• Precisión: Proporciona valores exactos de DOF y DIV de punto final para canales de calibre cruzado (H Fija y Desvanecimiento Rápido No Coherente) donde las definiciones clásicas fallan, y establece fronteras de carga-$r$ exactas para el caso de desvanecimiento rápido.
• Modestia: El artículo reconoce explícitamente que para varios modelos (Multitrayecto, Toeplitz Estacionario), los calibres de diversidad exactos y las fronteras de carga-$r$ aún no se han determinado. Enmarca los resultados para estos casos como límites inferiores, puntos de referencia condicionales o problemas abiertos, evitando afirmaciones de funciones de fiabilidad operacionales exactas donde no han sido probadas.

En resumen, el artículo sostiene que la convención clásica de MIMO coherente ha oscurecido la necesidad de la selección del calibre y la normalización atómica. Al hacer estos pasos explícitos, el marco recupera los resultados clásicos cuando es apropiado y proporciona métricas corregidas y rigurosas para los canales donde el calibre clásico de $\log \rho$ es insuficiente.