Integer-forcing source coding: Successive cancellation and source-channel duality

Integer-forcing is a technique that exploits the algebraic structure of a linear or lattice code to realize “single-user” encoding and decoding algorithms with significant rate gains over conventional strategies. It was originally proposed for the Gaussian MIMO multiple-access channel. Subsequent efforts have generalized this strategy to the Gaussian MIMO broadcast channel and the Gaussian distributed source coding problem. Our prior work has established uplink-downlink duality for integer-forcing. Here, we propose a successive cancellation generalization of integer-forcing source coding. We then develop source-channel duality results that connect the achievable rates of this scheme to those of successive integer-forcing channel coding.