Für zwei (oder mehr) korrelierte diskrete, gedächtnislose Quellen, die separat beobachtet und unabhängig codiert werden ohne Encoder‑Kommunikation, charakterisiert der Satz von Slepian–Wolf den erreichbaren Bereich verlustfreier Kompressionsraten, wenn gemeinsames Decoding erlaubt ist. Für zwei Quellen X und Y gilt asymptotisch R_X ≥ H(X|Y), R_Y ≥ H(Y|X) und R_X+R_Y ≥ H(X,Y), was zeigt, dass die Summe der Raten die gemeinsame Entropie erreichen kann, obwohl die Encoder unabhängig arbeiten.

Prinzip

Statistische Abhängigkeit separat codierter Quellen kann beim gemeinsamen Decoding ausgenutzt werden, sodass die Summe der unabhängigen Encoder‑Raten asymptotisch nicht der Summe der Einzelentropien entsprechen muss; getrennte Kodierung mit gemeinsamem Dekodieren kann die gemeinsame Entropie erreichen.

Demonstration

Illustratives Szenario: Zwei Sensoren messen korrelierte binäre Sequenzen X^n und Y^n. Jeder Sensor kodiert seine Sequenz mit einer Rate knapp über H(X|Y) bzw. H(Y|X) und sendet Indizes an einen zentralen Dekoder. Der gemeinsame Dekoder nutzt die Korrelation aus, um beide Sequenzen mit verschwindendem Fehler für n→∞ zu rekonstruieren, obwohl die Encoder keine Daten geteilt oder Codewörter koordiniert haben.

Fehlanwendung

Slepian–Wolf ohne Vorbehalt auf One‑Shot‑Settings, Quellen mit Gedächtnis, stetige Alphabete oder verlustbehaftete Kompression anzuwenden: der Satz ist asymptotisch und bezieht sich auf verlustfreie Kodierung diskreter gedächtnisloser Quellen mit gemeinsamem Dekodieren. Ebenfalls irreführend ist die Annahme, dass praktisch keinerlei Koordination nötig sei—praktische Schemen benötigen oft gemeinsame Codebücher oder gemeinsame Zufallsquellen, um die Schranken zu erreichen.

Konsequenz

Slepian–Wolf zeigt, dass verteilte Quellen nahezu so effizient wie zentralisierte kodiert werden können, wenn gemeinsames Decoding möglich ist, und motiviert verteilte Quellenkodierung, Netzwerkkompression und praktische Codes, die die Schranken annähern.

Umkehrung

Können Encoder kooperieren, lässt sich die Summe der Raten weiter senken; ist nur getrenntes Decoding erlaubt, müssen die Raten die Einzelentropien erfüllen. Für verlustbehaftete verteilte Kompression gelten andere Schranken (z. B. Wyner–Ziv), und für nicht‑i.i.d. Quellen oder endliche Blöcke verändert sich die asymptotische Region.

Abgrenzung

Gültig: diskrete gedächtnislose (i.i.d.) Quellen, Anforderung verlustfreier Rekonstruktion, asymptotisch große Blocklängen, gemeinsamer Dekoder mit Zugriff auf beide Indizes. Randfall: ergodische, aber abhängige Quellen, bei denen Ein‑Buchstaben‑Ausdrücke sorgfältig zu behandeln sind. Außerhalb: One‑Shot‑Verlustfrei‑Kodierung ohne gemeinsames Dekodieren, verlustbehaftete verteilte Kompression, stetige Alphabete ohne Quantisierung.

Semantische Spannung

Unabhängigkeit der Encoder versus Kooperation des Dekoders: Slepian–Wolf zeigt, dass unabhängige Encoder asymptotisch effizient sein können, nur wenn der Dekoder die Abhängigkeiten gemeinsam ausnutzt—praktische Systeme müssen den Koordinationsaufwand gegen die Einsparung an Übertragungsrate abwägen.

Synthese

Slepian–Wolf demonstriert, dass Korrelation eine Ressource auf Dekoderseite ist: getrennte Encoder müssen nicht asymptotisch an Effizienz verlieren, sofern der Dekoder die Abhängigkeiten gemeinsam ausnutzt; in der Praxis erfordert die Annäherung an die Schranken Mechanismen wie gemeinsame Codebücher oder Koordination.