Relations Between Redundancy Patterns of the Shannon Code and Wave Diffraction Patterns of Partially Disordered Media

The average redundancy of the Shannon code, Rn, as a function of the block length n, is known to exhibit two very different types of behavior, depending on the rationality or irrationality of certain parameters of the source: It either converges to 1/2 as n grows without bound, or it may have a nonvanishing, oscillatory, (quasi-) periodic pattern around the value 1/2 for all large n. In this paper, we make an attempt to shed some insight into this erratic behavior of Rn, by drawing an analogy with the realm of physics of wave propagation, in particular, the elementary theory of scattering and diffraction. It turns out that there are two types of behavior of wave diffraction patterns formed by crystals, which are correspondingly analogous to the two types of patterns of Rn. When the crystal is perfect, the diffraction intensity spectrum exhibits very sharp peaks, a.k.a. Bragg peaks, at wavelengths of full constructive interference. These wavelengths correspond to the frequencies of the harmonic waves of the oscillatory mode of Rn . On the other hand, when the crystal is imperfect and there is a considerable degree of disorder in its structure, the Bragg peaks disappear, and the behavior of this mode is analogous to the one where Rn is convergent.

[1]  B. Sury Weierstrass’s theorem — Leaving no ‘Stone’ unturned , 2011 .

[2]  Serap A. Savari,et al.  Generalized Tunstall codes for sources with memory , 1997, IEEE Trans. Inf. Theory.

[3]  Garg,et al.  Speckle in the diffraction patterns of Hendricks-Teller and icosahedral glass models. , 1988, Physical review letters.

[4]  Wojciech Szpankowski,et al.  Asymptotic average redundancy of Huffman (and other) block codes , 2000, IEEE Trans. Inf. Theory.

[5]  Robert G. Gallager,et al.  Variations on a theme by Huffman , 1978, IEEE Trans. Inf. Theory.

[6]  Jorma Rissanen,et al.  Complexity of strings in the class of Markov sources , 1986, IEEE Trans. Inf. Theory.

[7]  Philippe Jacquet,et al.  Asymptotic Behavior of the Lempel-Ziv Parsing Scheme and Digital Search Trees , 1995, Theor. Comput. Sci..

[8]  T. Welberry,et al.  Diffuse X-ray Scattering and Models of Disorder , 2004 .

[9]  Alfredo De Santis,et al.  On the redundancy of optimal codes with limited word length , 1992, IEEE Trans. Inf. Theory.

[10]  Serap A. Savari Variable-to-fixed length codes for predictable sources , 1998, Proceedings DCC '98 Data Compression Conference (Cat. No.98TB100225).

[11]  Guy Louchard,et al.  On the average redundancy rate of the Lempel-Ziv code , 1997, IEEE Trans. Inf. Theory.

[12]  Edward Teller,et al.  X‐Ray Interference in Partially Ordered Layer Lattices , 1942 .

[13]  T. Lubensky,et al.  Principles of condensed matter physics , 1995 .

[14]  D. Huffman A Method for the Construction of Minimum-Redundancy Codes , 1952 .