Diversity vs Degrees of Freedom in Gaussian Fading Channels

Resumo Técnico: Diversidade vs. Graus de Liberdade para Canais de Desvanecimento Gaussiano

Enunciado do Problema
O artigo aborda uma limitação fundamental nas definições clássicas de Graus de Liberdade (DOF) e Diversidade (DIV) para canais de desvanecimento gaussiano. Tradicionalmente, essas métricas são extraídas utilizando um medidor fixo de $\log \rho$ (onde $\rho$ é a relação sinal-ruído): o DOF é definido como $\lim_{\rho \to \infty} C(\rho)/\log \rho$, e o DIV como $\lim_{\rho \to \infty} -\log P_e(\rho)/\log \rho$.

O autor argumenta que essa abordagem confunde duas operações distintas: seleção de medidor (identificar a escala assintótica correta na qual a capacidade ou a confiabilidade cresce) e normalização atômica (dividir o coeficiente de crescimento bruto pelo coeficiente de um único "átomo" de informação/confiabilidade). No caso clássico de MIMO complexo coerente, o medidor coincide com $\log \rho$ e os coeficientes dos átomos relevantes são 1, tornando esses passos numericamente invisíveis. No entanto, para canais onde a escala de crescimento difere de $\log \rho$ (ex: desvanecimento rápido não coerente, onde a capacidade cresce como $\log \log \rho$) ou onde o coeficiente bruto inclui constantes não unitárias (ex: AWGN real ou canais de H fixo), as definições clássicas produzem resultados não informativos ou incorretos (ex: prelog zero ou inclinação de diversidade infinita).

Metodologia
O artigo propõe um framework de dois passos para desacoplar a seleção de medidor da normalização atômica, utilizando a fronteira de Bhattacharyya como uma ferramenta geométrica unificadora.

1. Construção da Fronteira de Bhattacharyya: A ferramenta central é a fronteira de Bhattacharyya, $\Delta^*_B(K; \rho)$, definida como o máximo, sobre todos os livros de código de $K$ pontos admissíveis, da distância de Bhattacharyya mínima entre as leis de saída induzidas.

   • Lado da Capacidade (Taxa): O empacotamento de palavras de código com separação fixa identifica o medidor de capacidade. O Teorema 1 (Sanduíche Capacidade–Empacotamento) demonstra que, se o empacotamento e a cobertura de leis de saída de resolução fixa possuem coeficientes de entropia correspondentes, o medidor de capacidade e o coeficiente bruto de capacidade são recuperados.
   • Lado da Diversidade (Confiabilidade): O ponto final binário ($K=2$) da fronteira identifica o medidor de diversidade de taxa zero. O Teorema 2 estabelece que o ponto final binário é equivalente em medidor ao expoente de erro de teste de duas mensagens ideal.

2. Normalização Atômica: Uma vez identificados o medidor correto e o coeficiente bruto, o artigo define "átomos" para normalizar esses valores:

   • Átomo de Comunicação: Um grau de liberdade de entrada independentemente controlável (ex: uma direção de entrada SISO ou um subespaço de Grassmann).
   • Átomo de Confiabilidade: Uma unidade de observação de confiabilidade de saída normalizada por ganho unitário (ex: uma observação ruidosa de ganho unitário).
   • DOF/DIV de Ponto Final: Os valores finais das métricas são obtidos dividindo o coeficiente bruto pelo coeficiente do átomo correspondente ($\alpha_{comm}$ ou $\alpha_{rel}$).

Principais Contribuições e Resultados
O artigo aplica este framework a sete famílias de canais, distinguindo entre casos de "mesmo medidor" (onde as definições clássicas são válidas) e casos de "medidor cruzado" (onde elas falham).

• H Determinístico Fixo (Medidor Cruzado):

  • Capacidade: Cresce no medidor $\log \rho$. O DOF de ponto final de bloco é $T \cdot \text{rank}(H)$.
  • Diversidade: Cresce no medidor linear $\rho$ (não $\log \rho$). O ponto final binário produz um coeficiente bruto de $T\sigma_1^2(H)/\ln 2$. Após a normalização pelo átomo de confiabilidade AWGN fixo ($1/\ln 2$), o DIV de ponto final é $T\sigma_1^2(H)$.
  • Insight: Este canal é de "medidor cruzado". A capacidade é determinada pela cobertura da imagem de entrada (dimensões de entrada), enquanto a diversidade é determinada pela expansão da separação de saída (olhares de saída). O DIV de ponto final é dependente de ganho para H não normalizado.

• Desvanecimento Rápido Não Coerente (Medidor Cruzado):

  • Capacidade: Cresce no medidor $\log \log \rho$ (recuperando os resultados de Lapidoth–Moser). O DOF de ponto final é 1.
  • Diversidade: Cresce no medidor $\log \rho$. O ponto final binário tem um coeficiente bruto de $N/2$. Após a normalização pelo átomo de confiabilidade de desvanecimento rápido ($1/2$), o DIV de ponto final é $N$.
  • Fronteira de Carga-r: O artigo deriva um medidor exato de fronteira de carga-r de $(\log \rho)^{1-r}$ com um coeficiente de $N/2$.

• Casos de Calibração de Mesmo Medidor:

  • MIMO Rayleigh Coerente e Desvanecimento de Bloco Não Coerente são mostrados como casos de mesmo medidor, onde tanto a capacidade quanto a diversidade crescem na escala $\log \rho$. Os coeficientes brutos correspondem às contagens clássicas de DOF e DIV (ex: DIV de taxa zero $MN$) porque os coeficientes dos átomos relevantes são 1.

• Casos Abertos e Condicionais:

  • Desvanecimento de Multicaminho: Uma construção guardada fornece um limite inferior para o medidor de diversidade ($\log \rho$) e um limite inferior para o DIV de ponto final, mas a fronteira exata não guardada permanece aberta.
  • Desvanecimento de Log-Fracionário Paralelo: Fornece um benchmark de limite inferior condicional baseado na função $E_0$ de Gallager, assumindo um ensemble de entrada de produto.
  • Desvanecimento de Toeplitz Estacionário: O medidor de capacidade é $(\log \rho)^\beta$ (log fracionário), mas o medidor de diversidade de taxa zero e a fronteira de carga-r permanecem abertos devido à não comutatividade das matrizes de covariância entre as palavras de código, o que impede a fatoração coordenada.

Significância e Alegações
O artigo alega esclarecer as definições de DOF e DIV ao separar explicitamente a identificação da escala de crescimento assintótico (medidor) da normalização do coeficiente de crescimento (contagem atômica).

• Correção de Equívocos: Demonstra que "prelog zero" ou "inclinação de diversidade infinita" em certos canais não é uma falta de estrutura de sinal, mas um descompasso de medidor (usar $\log \rho$ quando o canal cresce como $\log \log \rho$ ou $\rho$).
• Framework Unificado: Introduz a fronteira de Bhattacharyya como um objeto geométrico independente de medidor que extrai consistentemente tanto as métricas de capacidade quanto de diversidade através de diversos modelos de canal.
• Precisão: Fornece valores exatos de DOF e DIV de ponto final para canais de medidor cruzado (H Fixo e Desvanecimento Rápido Não Coerente) onde as definições clássicas falham, e estabelece fronteiras de carga-r exatas para o caso de desvanecimento rápido.
• Modéstia: O artigo reconhece explicitamente que, para vários modelos (Multicaminho, Toeplitz Estacionário), os medidores de diversidade e as fronteiras de carga-r exatos ainda não foram determinados. Ele enquadra os resultados para esses casos como limites inferiores, benchmarks condicionais ou problemas abertos, evitando alegações de funções de confiabilidade operacional exatas onde elas não foram provadas.

Em resumo, o artigo argumenta que a convenção clássica de MIMO coerente obscureceu a necessidade de seleção de medidor e normalização atômica. Ao tornar esses passos explícitos, o framework recupera resultados clássicos onde apropriado e fornece métricas corrigidas e rigorosas para canais onde o medidor clássico $\log \rho$ é insuficiente.