Consider a Gaussian multiple-input multiple-output (MIMO) multiple-access channel (MAC) with channel matrix @math and a Gaussian MIMO broadcast channel (BC) with channel matrix @math . For the MIMO MAC, the integer-forcing architecture consists of first decoding integer-linear combinations of the transmitted codewords, which are then solved for the original messages. For the MIMO BC, the integer-forcing architecture consists of pre-inverting the integer-linear combinations at the transmitter so that each receiver can obtain its desired codeword by decoding an integer-linear combination. In both cases, integer-forcing offers higher achievable rates than zero-forcing while maintaining a similar implementation complexity. This paper establishes an uplink-downlink duality relationship for integer-forcing, i.e., any sum rate that is achievable via integer-forcing on the MIMO MAC can be achieved via integer-forcing on the MIMO BC with the same sum power and vice versa. Using this duality relationship, it is shown that integer-forcing can operate within a constant gap of the MIMO BC sum capacity. Finally, the paper proposes a duality-based iterative algorithm for the non-convex problem of selecting optimal beamforming and equalization vectors, and establishes that it converges to a local optimum.
Prior work on integer-forcing @cite_9 @cite_34 @cite_50 @cite_3 has focused on the important special case where all codewords have the same effective power. This constraint is implicitly imposed by the original compute-and-forward framework @cite_24 . In order to establish uplink-downlink duality, we need the flexibility to allocate power unequally across codewords. We will thus employ the expanded compute-and-forward framework @cite_44 , which can handle unequal powers. Our achievability results draw upon capacity-achieving nested lattice codes, whose existence has been shown in a series of recent works @cite_27 @cite_46 @cite_4 @cite_18 @cite_19 @cite_5 . We refer interested readers to the textbook of Zamir for a detailed history as well as a comprehensive treatment of lattice codes @cite_7 .
@cite_18 @cite_4 @cite_7 @cite_9 @cite_3 @cite_24 @cite_44 @cite_27 @cite_19 @cite_50 @cite_5 @cite_46 @cite_34
2400872280 1512015702 2562805420 2405027415
Lattice codes used under the Compute-and-Forward paradigm suggest an alternative strategy for the standard Gaussian multiple-access channel (MAC): The receiver successively decodes integer linear combinations of the messages until it can invert and recover all messages. In this paper, this strategy is developed and analyzed. For the two-user MAC, it is shown that without time-sharing, the entire capacity region can be attained with a single-user decoder as soon as the signal-to-noise ratios are above @math . A partial analysis is given for more than two users. Lastly the strategy is extended to the so-called dirty MAC where two interfering signals are known non-causally to the two transmitters in a distributed fashion. Our scheme extends the previously known results and gives new achievable rate regions. We address an open question, regarding whether a lattice code with lattice decoding (as opposed to maximum-likelihood (ML) decoding) can achieve the additive white Gaussian noise (AWGN) channel capacity. We first demonstrate how minimum mean-square error (MMSE) scaling along with dithering (lattice randomization) techniques can transform the power-constrained AWGN channel into a modulo-lattice additive noise channel, whose effective noise is reduced by a factor of spl radic (1+SNR SNR). For the resulting channel, a uniform input maximizes mutual information, which in the limit of large lattice dimension becomes 1 2 log (1+SNR), i.e., the full capacity of the original power constrained AWGN channel. We then show that capacity may also be achieved using nested lattice codes, the coarse lattice serving for shaping via the modulo-lattice transformation, the fine lattice for channel coding. We show that such pairs exist for any desired nesting ratio, i.e., for any signal-to-noise ratio (SNR). Furthermore, for the modulo-lattice additive noise channel lattice decoding is optimal. Finally, we show that the error exponent of the proposed scheme is lower bounded by the Poltyrev exponent. In this paper, we consider the use of lattice codes over Eisenstein integers for implementing a compute-and-forward protocol in wireless networks when channel state information is not available at the transmitter. We extend the compute-and-forward paradigm of Nazer and Gastpar to decoding Eisenstein integer combinations of transmitted messages at relays by proving the existence of a sequence of pairs of nested lattices over Eisenstein integers in which the coarse lattice is good for covering and the fine lattice can achieve the Poltyrev limit. Using this result, we show that both the outage performance and error-correcting performance of the nested lattice codebooks over Eisenstein integers surpass those of lattice codebooks over integers considered by Nazer and Gastpar with no additional computational complexity. In a recent work, Nazer and Gastpar proposed the compute-and-forward strategy as a physical-layer network coding scheme. They described a code structure based on nested lattices whose algebraic structure makes the scheme reliable and efficient. In a more recent paper, Niesen and Whiting revealed a fundamental limitation of the decoder used by Nazer and Gastpar. In this work, we consider maximum-likelihood decoding of compute-and-forward, aiming to overcome its limitation. By examining the decoding metric from the viewpoint of Gaussian measures over lattices, we present a design criterion of the lattice code based on the flatness factor, and propose a new decoding algorithm based on inhomogeneous Diophantine approximation.