Une preuve du théorème de compression des données de Slepian et Wolf pour des sources ergodiques (Corresp.)

Si\ (Xᵢ, Yᵢ) \₈=₁^est une séquence de paires aléatoires discrètes indépendantes et identiquement distribuées avec (Xᵢ, Yᵢ) ~ p (x, y), Slepian et Wolf ont montré que le processus X et le processus Y peuvent être décrits séparément à un récepteur commun à des taux RX et RY symboles par symbole si RX + RY > H (X, Y), RX > H (X), RY > H (Y). Une preuve plus simple de ce résultat sera donnée. En conséquence, il est établi que le théorème de Slepian-Wolf est vrai sans changement pour des processus ergodiques arbitraires \ (Xᵢ, Yᵢ) \₈=₁^et des alphabets dénombrablement infinis. L'extension à un nombre arbitraire de processus est immédiate.