Bits in Asymptotically Optimal Lossy Source Codes Are Asymptotically Bernoulli

Abstract

A formal result is stated and proved showing that the bit stream produced by the encoder of a nearly optimal sliding-block source coding of a stationary and ergodic source is close to an equiprobable i.i.d. binary process.