Diversity vs Degrees of Freedom in Gaussian Fading Channels

Résumé Technique : Diversité vs Degrés de Liberté pour les Canaux à Évanouissements Gaussiens

Énoncé du Problème
L'article traite d'une limitation fondamentale dans les définitions classiques des Degrés de Liberté (DOF) et de la Diversité (DIV) pour les canaux à évanouissements gaussiens. Traditionnellement, ces métriques sont extraites à l'aide d'une jauge fixe de $\log \rho$ (où $\rho$ est le rapport signal sur bruit) : le DOF est défini par $\lim_{\rho \to \infty} C(\rho)/\log \rho$, et la DIV par $\lim_{\rho \to \infty} -\log P_e(\rho)/\log \rho$.

L'auteur soutient que cette approche confond deux opérations distinctes : la sélection de la jauge (identifier l'échelle asymptotique correcte sur laquelle la capacité ou la fiabilité croît) et la normalisation atomique (diviser le coefficient de croissance brut par le coefficient d'un « atome » ou d'une unité d'information/fiabilité). Dans le cas classique du MIMO complexe cohérent, la jauge se trouve être $\log \rho$ et les coefficients d'atomes pertinents sont de 1, ce qui rend ces étapes numériquement invisibles. Cependant, pour les canaux où l'échelle de croissance diffère de $\log \rho$ (par exemple, l'évanouissement rapide non cohérent où la capacité croît en $\log \log \rho$) ou lorsque le coefficient brut inclut des constantes non unitaires (par exemple, l'AWGN réel ou les canaux à matrice $H$ fixe), les définitions classiques produisent des résultats non informatifs ou incorrects (par exemple, un prélog nul ou une pente de diversité infinie).

Méthodologie
L'article propose un cadre en deux étapes pour découpler la sélection de la jauge de la normalisation atomique, en utilisant la frontière de Bhattacharyya comme outil géométrique unificateur.

1. Construction de la Frontière de Bhattacharyya : L'outil central est la frontière de Bhattacharyya, $\Delta^*_B(K; \rho)$, définie comme le maximum, sur tous les codes de $K$ points admissibles, de la distance de Bhattacharyya minimale entre les lois de sortie induites.

   • Côté Capacité (Débit) : Le compactage (packing) de mots de code à séparation fixe identifie la jauge de capacité. Le Théorème 1 (Sandwich Capacité-Compactage) démontée que si le compactage et le recouvrement (covering) des lois de sortie à résolution fixe ont des coefficients d'entropie correspondants, la jauge de capacité et le coefficient de capacité brut sont récupérés.
   • Côté Diversité (Fiabilité) : Le point terminal binaire ($K=2$) de la frontière identifie la jauge de diversité à taux nul. Le Théorème 2 établit que le point terminal binaire est équivalent en jauge à l'exposant d'erreur de test optimal à deux messages.

2. Normalisation Atomique : Une fois la jauge correcte et le coefficient brut identifiés, l'article définit des « atomes » pour normaliser ces valeurs :

   • Atome de Communication : Un degré de liberté d'entrée contrôlable indépendamment (par exemple, une direction d'entrée SISO ou un sous-espace de Grassmann).
   • Atome de Fiabilité : Une unité de mesure de fiabilité de sortie normalisée (par exemple, une observation bruitée à gain unitaire).
   • DOF/DIV de Point Terminal : Les métriques finales sont obtenues en divisant le coefficient brut par le coefficient de l'atome correspondant ($\alpha_{comm}$ ou $\alpha_{rel}$).

Contributions Clés et Résultats
L'article applique ce cadre à sept familles de canaux, distinguant les cas de « même jauge » (où les définitions classiques sont valides) et les cas de « jauge croisée » (où elles échouent).

• H Déterministe Fixe (Jauge Croisée) :

  • Capacité : Croît sur la jauge $\log \rho$. Le DOF de point terminal est $T \cdot \text{rang}(H)$.
  • Diversité : Croît sur la jologie linéaire $\rho$ (et non $\log \rho$). Le point terminal binaire produit un coefficient brut de $T\sigma_1^2(H)/\ln 2$. Après normalisation par l'atome de fiabilité AWGN fixe ($1/\ln 2$), la DIV de point terminal est $T\sigma_1^2(H)$.
  • Insight : Ce canal est à « jauge croisée ». La capacité est déterminée par le recouvrement de l'image d'entrée (dimensions d'entrée), tandis que la diversité est déterminée par l'expansion de la séparation des sorties (regards de sortie). La DIV de point terminal dépend du gain pour les $H$ non normalisés.

• Évanouissement Rapide Non Cohérent (Jauge Croisée) :

  • Capacité : Croît sur la jauge $\log \log \rho$ (récupérant les résultats de Lapidoth–Moser). Le DOF de point terminal est 1.
  • Diversité : Croît sur la jauge $\log \rho$. Le point terminal binaire possède un coefficient brut de $N/2$. Après normalisation par l'atome de fiabilité de l'évanouissement rapide ($1/2$), la DIV de point terminal est $N$.
  • Frontière Load-r : L'article dérive une jauge exacte de frontière de charge-$r$ de $(\log \rho)^{1-r}$ avec un coefficient de $N/2$.

• Cas de Calibrage à Même Jauge :

  • Le MIMO Rayleigh cohérent et l'évanouissement par blocs non cohérent sont montrés comme des cas de même jauge où la capacité et la diversité croissent toutes deux sur l'échelle $\log \rho$. Les coefficients bruts correspondent aux comptes classiques de DOF et de DIV (par exemple, la DIV à taux nul est $MN$) car les coefficients d'atomes pertinents sont de 1.

• Cas Ouverts et Conditionnels :

  • Évanouissement Multi-trajets : Une construction protégée fournit une borne inférieure sur la jauge de diversité ($\log \rho$) et une borne inférieure sur la DIV de point terminal, mais la frontière exacte non protégée reste ouverte.
  • Évanouissement Fractionnaire-Log Parallèle : Fournit un benchmark de borne inférieure conditionnelle basé sur la fonction $E_0$ de Gallager, en supposant un ensemble d'entrée produit.
  • Évanouissement de Toeplitz Stationnaire : La jauge de capacité est $(\log \rho)^\beta$ (log fractionnaire), mais la jauge de diversité de taux zéro et la frontière de charge-$r$ restent ouvertes en raison de la non-commutativité des matrices de covariance à travers les mots de code, ce qui empêche la factorisation par coordonnées.

Signification et Revendications
L'article affirme clarifier les définitions de DOF et de DIV en séparant explicitement l'identification de l'échelle de croissance asymptotique (jauge) de la normalisation du coefficient de croissance (compte atomique).

• Correction des Mécompréhensions : Il démontre que les notions de « prélog nul » ou de « pente de diversité infinie » dans certains canaux ne sont pas dues à un manque de structure du signal, mais à un mauvais choix de jauge (utiliser $\log \rho$ quand le canal croît en $\log \log \rho$ ou $\rho$).
• Cadre Unifié : Il introduit la frontière de Bhattacharyya comme un objet géométrique indépendant de la jauge qui extrait de manière cohérente les métriques de capacité et de diversité à travers divers modèles de canaux.
• Précision : Il fournit des valeurs exactes de DOF et de DIV de point terminal pour les canaux à jauge croisée (H Fixe et Évanouissement Rapide Non Cohérent) où les définitions classiques échouent, et établit des frontières de charge-$r$ exactes pour le cas de l'évanouissement rapide.
• Modestie : L'article reconnaît explicitement que pour plusieurs modèles (Multi-trajets, Toeplitz Stationnaire), les jauges de diversité exactes et les frontières de charge-$r$ ne sont pas encore déterminées. Il présente les résultats pour ces cas comme des bornes inférieures, des benchmarks conditionnels ou des problèmes ouverts, évitant de revendiquer des fonctions de fiabilité opérationnelles exactes là où elles n'ont pas été prouvées.

En résumé, l'article soutient que la convention classique du MIMO cohérent a obscurci la nécessité de la sélection de la jauge et de la normalisation atomique. En rendant ces étapes explicites, le cadre récupère les résultats classiques là où approprié et fournit des métriques corrigées et rigoureuses pour les canaux où la jauge classique $\log \rho$ est insuffisante.