We study codes on graphs combined with an iterative message passing algorithm for quantization. Specifically, we consider the binary erasure quantization (BEQ) problem which is the dual of the binary erasure channel (BEC) coding problem. We show that duals of capacity achieving codes for the BEC yield codes which approach the minimum possible rate for the BEQ. In contrast, low density parity check codes cannot achieve the minimum rate unless their density grows at least logarithmically with block length. Furthermore, we show that duals of efficient iterative decoding algorithms for the BEC yield efficient encoding algorithms for the BEQ. Hence our results suggest that graphical models may yield near optimal codes in source coding as well as in channel coding and that duality plays a key role in such constructions.
[1]
Michael W. Marcellin,et al.
Trellis coded quantization of memoryless and Gauss-Markov sources
,
1990,
IEEE Trans. Commun..
[2]
G. Forney,et al.
Codes on graphs: normal realizations
,
2000,
2000 IEEE International Symposium on Information Theory (Cat. No.00CH37060).
[3]
David L. Neuhoff,et al.
Quantization
,
2022,
IEEE Trans. Inf. Theory.
[4]
Riccardo Zecchina,et al.
Constraint Satisfaction by Survey Propagation
,
2002,
Computational Complexity and Statistical Physics.
[5]
Axthonv G. Oettinger,et al.
IEEE Transactions on Information Theory
,
1998
.
[6]
Amin Shokrollahi,et al.
Capacity-achieving sequences for the erasure channel
,
2002,
IEEE Trans. Inf. Theory.