Instruction: Write an abstract for the following acadamic paper.

Input:
Paper: we have recorded the flight of a fly during take off and landing using digital high speed photography . it is shown that the dynamics of flexible wings are different for these procedures . during this observation fly flew freely in a big box and it was not tethered .
Abstract: in this fluid dynamics video , we demonstrated take off and landing of a fly . the deformation of wings is in focus in this video .

Paper: it is by now well - known that increasing the number of antennas in a wireless system can significantly increase capacity . since the seminal papers of foschini and gans @xcite and telatar @xcite , multiple - input multiple - output ( mimo ) channels have been thoroughly investigated in theory ( see @xcite for a survey ) and implemented in practice @xcite . this capacity gain usually comes at the expense of more complex encoders and decoders and a great deal of work has gone into designing low - complexity mimo architectures . in this paper , we describe a new low - complexity architecture that can attain significantly higher rates than existing solutions of similar complexity . we focus on the case where each of the @xmath0 transmit antennas encodes an independent data stream ( see figure [ f : mimo ] ) . that is , there is no coding across the transmit antennas : each data stream @xmath1 is encoded separately to form a codeword @xmath2 of length @xmath3 . channel state information is only available to the receiver . from the receiver s perspective , the original data streams are coupled in time through encoding and in space ( i.e. , across antennas ) through the mimo channel . the joint maximum likelihood ( ml ) receiver simultaneously performs joint decoding across time and receive antennas . clearly , this is optimal in terms of both rate and probability of error . however , the computational complexity of jointly processing the data streams is high , and it is difficult to implement this type of receiver in wireless systems when the number of streams is large . instead , linear receivers such as the decorrelator and minimum - mean - squared error ( mmse ) receiver are often used as low - complexity alternatives @xcite . traditional linear receivers first separate the coupling in space by performing a linear projection at the front - end of the receiver . in order to illustrate this concept and motivate the proposed new approach , we consider the @xmath4 mimo channel characterized by the following matrix : @xmath5 the simplest choice of a linear receiver front - end _ inverts _ the channel matrix . this receiver is usually referred to as the _ decorrelator _ in the literature . that is , the receiver first applies the matrix @xmath6 to the received signal . overall , this converts the original channel into a new equivalent channel characterized by the identity matrix and colored gaussian noise , i.e. , to two scalar channels with correlated noise . the linear receiver then proceeds by separately decoding the output of each of these two channels . the well - known drawback of this approach is that the _ noise _ vector is also multiplied by the linear receiver front - end matrix given in , which alters the variances of its components . in our simple example , if we assume that the original channel had independent additive white gaussian noise of unit variance , the equivalent noises after the linear receiver front - end have variances of @xmath7 and @xmath8 respectively . that is , while the receiver front - end has nulled out cross - interference , it has also significantly increased the noise levels . the integer - forcing linear architecture advocated here is based on the recent insight that if on all transmit antennas , the same linear or lattice code is used , then it is possible to not only decode codewords themselves , but also _ integer _ linear combinations of codewords directly @xcite . let us denote the codeword transmitted on the first antenna by @xmath9 and the codeword transmitted on the second antenna by @xmath10 then , for the simple example matrix from , the receiver can decode the integer linear combination @xmath11 from the first receive antenna and the combination @xmath12 from the second receive antenna . from these ( following @xcite ) , it is possible to recover linear equations of the data streams over an appropriate finite field , @xmath13 and @xmath14 . these equations can in turn be digitally solved for the original data streams . the key point in this example is that the noise variances remain unchanged , which increases the effective @xmath15 per data stream . note that for more general channel matrices beyond the simple example here , it will also be advantageous to first apply an appropriate linear receiver front - end , albeit following principles very different form merely inverting the channel matrix , as we explain in more detail in the sequel .    in this paper , we first consider the standard mimo channel and develop a new _ integer - forcing _ linear receiver architecture that provides multiplexing and diversity gains over traditional linear architectures . our approach relies on the compute - and - forward framework , which allows linear equations of transmitted messages to be efficiently and reliably decoded over a fading channel @xcite . we develop a multiple antenna version of compute - and - forward which employs the antennas at the receiver to rotate the channel matrix towards an effective channel matrix with integer entries . separate decoders can then recover integer combinations of the transmitted messages , which are finally digitally solved for the original messages . we show that this is much more efficient than using the receive antennas to separate the transmitted codewords and directly decoding each individual codeword . our analysis uses nested lattice codes originally developed to approach the capacity of point - to - point awgn and dirty - paper channels @xcite and for which practical implementations were presented in @xcite and subsequent works . next , we generalize the mimo channel model to include interference @xcite and show that the integer - forcing receiver architecture is an attractive approach to the problem of oblivious interference mitigation . by selecting equation coefficients in a direction that depends on both the interference space and the channel matrix , the proposed architecture reduces the impact of interference and attains a non - trivial gain over traditional linear receivers . furthermore , we show that the integer - forcing receiver achieves the same generalized degrees of freedom as the joint decoder . our proof uses techniques from diophantine approximations , which have also recently been used for interference alignment over fixed channels and the characterization of the degrees of freedom for compute - and - forward @xcite .    in the remainder of the paper , we start with a formal problem statement in section  [ sec : problem ] , and then overview the basic existing mimo receiver architectures and their achievable rates in section  [ sec : existingarchitecture ] . in section  [ sec : architecture ] , we present the integer - forcing receiver architecture and a basic performance analysis . we show that the rate difference between the proposed receiver and traditional linear receivers can be arbitrarily large in section [ sec : fixedchannels ] . we study the outage performance of the integer - forcing linear receiver under a slow fading channel model in section [ sec : outage ] . we show that in the case where each antenna encodes an independent data stream , our architecture achieves the same diversity - multiplexing tradeoff as that of the optimal joint decoder . in section [ sec : interference ] , we consider the mimo channel with interference and show that the integer - forcing receiver can be used to effectively mitigate interference . we characterize the generalized degrees - of - freedom for the integer - forcing receiver and find that it is the same as for the joint decoder .    throughout the paper , we will use boldface lowercase to refer to vectors , @xmath16 , and boldface uppercase to refer to matrices , @xmath17 . let @xmath18 denote the transpose of a matrix @xmath19 and @xmath20 denote the determinant . also , let @xmath21 denote the inverse of @xmath19 and @xmath22 denote the pseudoinverse . the notation @xmath23 will refer to the @xmath24-norm of the vector @xmath25 while @xmath26 will refer to the @xmath27-norm . finally , we will use @xmath28 and @xmath29 to refer to the maximum and minimum singular values of the matrix @xmath19 . the baseband representation of a mimo channel usually takes values over the complex field . for notational convenience , we will work with the real - valued decomposition of these complex matrices . recall that any equation of the form @xmath30 over the complex field can be represented by its real - valued representation , @xmath31    we will henceforth refer to the @xmath32 real - valued decomposition of the channel matrix as @xmath33 . we will use @xmath34 independent encoders and @xmath34 independent decoders for the resulting real - valued transmit and receive antennas .. ]    [ def : messages ] each of the @xmath34 transmit antennas has a length @xmath35 _ data stream _ ( or message ) @xmath1 drawn independently and uniformly from @xmath36 . [ def : encoders ] each data stream @xmath1 is mapped onto a length @xmath3 channel input @xmath37 by an _ encoder _ , @xmath38 an equal _ power allocation _ is assumed across transmit antennas @xmath39    while we formally impose a separate power constraint on each antenna , we note that the performance at high snr ( in terms of the diversity - multiplexing tradeoff ) remains unchanged if this is replaced by a sum power constraint over all antennas instead . [ def : rate ] each of the @xmath34 encoders transmits at the same @xmath40 the _ total rate _ of the mimo system is just the number of transmit antennas times the rate , @xmath41 . since the transmitters do not have knowledge of the channel matrix , we focus on the case where the @xmath34 data streams are transmitted at equal rates . we will compare the integer - forcing receiver against successive cancellation v - blast schemes with asymmetric rates in section [ subsec : rateallocation ] . [ def : channel ] let @xmath42 be the matrix of transmitted vectors , @xmath43 \ .\end{aligned}\ ] ] the _ mimo channel _ takes @xmath44 as an input , multiplies it by the _ channel matrix _ @xmath45 and adds noise @xmath46 whose entries are i.i.d . gaussian with zero mean and unit variance . the signal @xmath47 observed across the @xmath48 receive antennas over @xmath3 channel uses can be written as@xmath49 we assume that the channel realization @xmath33 is known to the receiver but unknown to the transmitter and remains constant throughout the transmission block of length @xmath3 . [ def : decoder ] at the receiver , a _ decoder _ makes an estimate of the messages,@xmath50    [ def : achrate ] we say that sum rate @xmath51 is _ achievable _ if for any @xmath52 and @xmath3 large enough , there exist encoders and a decoder such that reliable decoding is possible @xmath53 so long as the total rate does not exceed @xmath51 , @xmath54 many approaches to mimo decoding have been studied in the literature . we provide a brief summary of some of the major receiver architectures and the associated achievable rates , including the joint ml receiver , the decorrelator , linear mmse estimator and the mmse - sic estimator . clearly , the best performance is attainable by joint ml decoding across all @xmath55 receive antennas . this situation is illustrated in figure  [ f : mimo ] . let @xmath56 denote the submatrix of @xmath33 formed by taking the columns with indices in @xmath57 . if we use a joint ml decoder that searches for the most likely set of transmitted messages vectors @xmath58 , then the following rate is achievable ( using gaussian codebooks at the transmitter ) : @xmath59 where @xmath60 is the identity matrix . is achievable . ] note that this is also the capacity of the channel subject to equal rate constraints per transmit antenna . the worst - case complexity of this approach is exponential in the product of the blocklength @xmath3 and the number of antennas @xmath55 . one approach to reduce the complexity of the joint ml decoder is to employ a sphere decoder . rather than naively checking all possible codewords , the sphere decoder only examines codewords that lie within a ball around the received vector . if the radius of the ball is suitably chosen , this search is guaranteed to return the ml candidate vector . we refer interested readers to @xcite for more details on sphere decoding algorithms as well as to @xcite for a recent hardware implementation . ( -5,-18)(90,42 )    ( -15,32 ) ( -5,0)@xmath61 ( 1,0)(7,0 ) ( 7,-5)(21,5 ) ( 14,0)@xmath62 ( 28,3.5)@xmath9 ( 21,0)(35,0 )    ( -1,10)@xmath63    ( -15,-15.5 ) ( -5,0)@xmath64 ( 1,0)(7,0 ) ( 7,-5)(21,5 ) ( 14,0)@xmath65 ( 28,3.5)@xmath66 ( 21,0)(35,0 )    ( 20 , -22.5 ) ( 0,0)(30,60 ) ( 15 , 30)@xmath33 ( 52,32 )    ( -2,0)(5,0 ) ( 8,0 ) ( 0,0)3 ( -2,0)(2,0 ) ( 0,-2)(0,2 ) ( 0,8)(0,3 ) ( 0,12)@xmath67 ( 3,0)(18,0 )    ( 19,4)@xmath68    ( 60,10)@xmath63 ( 52,-16 ) ( -2,0)(5,0 ) ( 8,0 ) ( 0,0)3 ( -2,0)(2,0 ) ( 0,-2)(0,2 ) ( 0,8)(0,3 ) ( 0,12)@xmath69 ( 3,0)(18,0 ) ( 19,4)@xmath70    ( 78,-22.5 ) ( 0,0)(20,60 ) ( 10,30)@xmath71    ( 86,8 ) ( 12,0)(20,0 ) ( 24,15)@xmath72 ( 24,-15)@xmath73 ( 24,2)@xmath63      rather than processing all the observed signals from the antennas jointly , one simple approach is to separate out the transmitted data streams using a linear projection and then decode each data stream individually , as shown in figure  [ f : trad ] . given the observed matrix @xmath74 from @xmath75 , the receiver forms the projection @xmath76 where @xmath77 . each row @xmath78 of @xmath79 is treated as a noisy version of @xmath80 . in traditional linear receivers , the goal of the projection matrix @xmath81 is to separate the incoming data streams . for the decorrelator architecture , we choose the projection to be the pseudoinverse of the channel matrix @xmath82 . in the case where @xmath83 , the resulting channel is interference free . if @xmath33 is orthogonal , then the decorrelator architecture can match the performance of a joint ml decoder . as the condition number of @xmath33 increases , the performance gap between the decorrelator and the joint decoder increases due to noise amplification ( see the example in section [ ex:2 ] ) . the performance of the decorrelator can be improved at low @xmath15 using the mmse architecture which sets @xmath84 . let @xmath85 be the @xmath86 row vector of @xmath81 and @xmath87 the @xmath86 column vector of @xmath33 . the following rate is achievable for the @xmath86 data stream using a decorrelator architecture with gaussian codebooks : @xmath88 since we focus on the case where each data stream is encoded at the same rate , the achievable sum rate is dictated by the worst stream , @xmath89    the complexity of a linear receiver architecture is dictated primarily by the choice of decoding algorithm for the individual data streams . in the worst case ( when ml decoding is used for each data stream ) , the complexity is exponential in the blocklength of the data stream . in practice , one can employ low - density parity - check ( ldpc ) codes to approach rates close to the capacity with linear complexity @xcite . the performance of this class of linear receivers can be improved using successive interference cancellation ( sic ) @xcite . after a codeword is decoded , it may be subtracted from the observed vector prior to decoding the next codeword , which increases the effective signal - to - noise ratio . let @xmath90 denote the set of all permutations of @xmath91 . for a fixed decoding order @xmath92 , let @xmath93 denote the indices of the data streams that have not yet been decoded . let @xmath94 denote the @xmath95 column vector of @xmath33 and let @xmath96 be the submatrix consisting of the columns with indices @xmath97 , i.e. , @xmath98 $ ] . the following rate is achievable in the @xmath95 , stream using successive interference cancellation : @xmath99 where @xmath100 is the projection vector to decode the @xmath95 stream after canceling the interference from the @xmath101 streams . for a fixed decoding order @xmath102 , the achievable sum - rate is given by @xmath103 the above scheme is referred to as v - blast i ( see @xcite for more details ) . an improvement can be attained by selecting the decoding order , and thus the permutation .    in the case of v - blast ii , the sum rate is improved by choosing the decoding order that maximizes rate of the worst stream , @xmath104 hence , v - blast i performs worse than v - blast ii for all channel parameters . we postpone the discussion of v - blast iii to section [ sec : outage ] where we introduce the outage formulation .    using ml decoding for each individual data stream , the complexity of the mmse - sic architecture is again exponential in blocklength . however , unlike the decorrelator and linear mmse receiver , not all @xmath0 streams can be decoded in parallel and delay is incurred as later streams have to wait for earlier streams to finish decoding . ( -17,-33)(145,52 )    ( -17,28 ) ( 0,0)@xmath61 ( 4,0)(10,0 ) ( 10,-5)(23,5 ) ( 16.5,0)@xmath62 ( 29,3.5)@xmath9 ( 23,0)(37,0 )    ( 0.5 , 12)@xmath63    ( -17,-12 ) ( 0,0)@xmath64 ( 6,0)(10,0 ) ( 10,-5)(23,5 ) ( 16.5,0)@xmath65 ( 30,3.5)@xmath66 ( 23,0)(37,0 )    ( 20 , -22.5 ) ( 0,0)(25,60 ) ( 12.5 , 30)@xmath33    ( 47,32 ) ( -2,0)(5,0 ) ( 8,0 ) ( 0,0)3 ( -2,0)(2,0 ) ( 0,-2)(0,2 ) ( 0,8)(0,3 ) ( 0,12)@xmath67 ( 3,0)(18,0 ) ( 19,4)@xmath68    ( 68,-22.5 ) ( 5,0)(30,60 ) ( 17.5 , 30)@xmath105    ( 87,28 ) ( 11,0)(25,0 ) ( 18,5)@xmath106 ( 25,5)(40,-5 ) ( 32.5,0)@xmath107 ( 40,0)(48,0 ) ( 54,.5)@xmath108    ( 55 , 12)@xmath63    ( 47,-16 ) ( -2,0)(5,0 ) ( 8,0 ) ( 0,0)3 ( -2,0)(2,0 ) ( 0,-2)(0,2 ) ( 0,8)(0,3 ) ( 0,12)@xmath69 ( 3,0)(18,0 ) ( 19,4)@xmath109    ( 119 , 12)@xmath63    ( 87,-12 ) ( 11,0)(25,0 ) ( 18.5,5)@xmath110 ( 25,5)(40,-5 ) ( 33,0)@xmath111 ( 40,0)(48,0 ) ( 54.5,.5)@xmath112      another class of linear architectures comes under the name of _ lattice - reduction _ detectors . it has been shown that lattice reduction can be used to improve the performance of the decorrelator when the channel matrix is near singular @xcite and can achieve the receive diversity @xcite . lattice - reduction detectors are symbol - level linear receivers that impose a linear constellation constraint , _ e.g. , _ a qam constellation , on the transmitters . the output of the mimo channel @xmath113 is passed through a linear filter @xmath81 to get the resulting output : @xmath114 where @xmath115 is the effective channel matrix . in lattice reduction , the effective channel matrix is restricted to be unimodular : both its entries and the entries of its inverse must be integers . let @xmath116 be the row vectors of matrix @xmath19 . the lattice - reduction detector produces estimates of the symbols of @xmath117 from @xmath118 . there are two key differences between the proposed integer - forcing receiver and the lattice - reduction receiver . first , the integer - forcing receiver operates on the codeword level rather than on the symbol level . second , the effective channel matrix @xmath19 of the integer - forcing receiver is not restricted to be unimodular : it can be any full - rank integer matrix . we compare lattice reduction to the integer receiver in example 3 by restricting the effective matrix to be unimodular under the integer - forcing architecture . we show that this restriction can result in an arbitrarily large performance gap . two other works have developed lattice architectures for joint decoding that can achieve the optimal diversity - multiplexing tradeoff @xcite . linear receivers such as the decorrelator and the mmse receiver directly decode the data streams after the projection step . in other words , they use the linear projection matrix @xmath81 to invert the channel matrix at the cost of amplifying the noise . although low in complexity , these approaches are far from optimal when the channel matrix is ill - conditioned . in the integer - forcing architecture , each encoder uses the same linear code and the receiver exploits the code - level linearity to recover equations of the transmitted messages . instead of inverting the channel , the scheme uses @xmath81 to force the effective channel to a full - rank integer matrix @xmath19 . as in the case of traditional linear receivers , each element of the effective output is then sent to a separate decoder . however , since each encoder uses the same linear code , each decoder can recover an integer linear combination of the codewords . the integer - forcing receiver is free to choose the set of equation coefficients @xmath19 to be any full - rank integer matrix . the resulting integer combinations of codewords can be mapped back to a set of full - rank messages over a finite field . is prime to ensure invertibility . however , this restriction may be removed as shown in @xcite . ] finally , the individual messages vectors are recovered from the set of full - rank equations of message vectors . the details of the architecture are provided in the sequel and an illustration is given in figure  [ f : latticedemod ] . ( -17,-33)(170,52 )    ( -17,28 ) ( 0,0)@xmath61 ( 4,0)(10,0 ) ( 10,-5)(23,5 ) ( 16.5,0)@xmath62 ( 29,3.5)@xmath9 ( 23,0)(37,0 )    ( 0.5 , 12)@xmath63    ( -17,-12 ) ( 0,0)@xmath64 ( 6,0)(10,0 ) ( 10,-5)(23,5 ) ( 16.5,0)@xmath65 ( 30,3.5)@xmath66 ( 23,0)(37,0 )    ( 20 , -22.5 ) ( 0,0)(25,60 ) ( 12.5 , 30)@xmath33    ( 47,32 ) ( -2,0)(5,0 ) ( 8,0 ) ( 0,0)3 ( -2,0)(2,0 ) ( 0,-2)(0,2 ) ( 0,8)(0,3 ) ( 0,12)@xmath67 ( 3,0)(18,0 ) ( 19,4)@xmath68    ( 68,-22.5 ) ( 5,0)(30,60 ) ( 17.5 , 30)@xmath119    ( 87,28 ) ( 11,0)(25,0 ) ( 18,5)@xmath106 ( 25,5)(40,-5 ) ( 32.5,0)@xmath107 ( 40,0)(54,0 ) ( 47,4.5)@xmath120    ( 55 , 12)@xmath63    ( 47,-16 ) ( -2,0)(5,0 ) ( 8,0 ) ( 0,0)3 ( -2,0)(2,0 ) ( 0,-2)(0,2 ) ( 0,8)(0,3 ) ( 0,12)@xmath69 ( 3,0)(18,0 ) ( 19,4)@xmath109    ( 119 , 12)@xmath63    ( 87,-12 ) ( 11,0)(25,0 ) ( 18.5,5)@xmath110 ( 25,5)(40,-5 ) ( 33,0)@xmath111 ( 40,0)(54,0 ) ( 47,4.5)@xmath121    ( 137,-22.5 ) ( 4,0)(24,60 ) ( 14,30)@xmath21 ( 161,10)(167,10 ) ( 170 , 24)@xmath122 ( 170 , 12)@xmath63 ( 170 , -6)@xmath123    prior to decoding , our receiver projects the channel output using the @xmath32 matrix @xmath81 to get the effective channel@xmath124 each preprocessed output @xmath125 is then passed into a separate decoder @xmath126 . decoder @xmath127 attempts to recover a linear equation of the message vectors @xmath128\hspace{-0.1 in } \mod{q}\end{aligned}\ ] ] for some @xmath129 . let @xmath130 denote the vector of desired coefficients for decoder @xmath127 , @xmath131^t$ ] . we choose @xmath132 to be linearly independent . and desired coefficient vectors @xmath133 that are real - valued decompositions of a complex matrix or vector . ] decoder @xmath127 outputs an estimate @xmath134 for the equation @xmath135 . we will design our scheme such that , for any @xmath52 and @xmath3 large enough , the desired linear equations are recovered with probability of error satisfying @xmath136    let @xmath137^t$ ] denote the matrix of message vectors , @xmath138^t$ ] denote the matrix of linear equations of message vectors and @xmath139^t$ ] denote the integer matrix of equation coefficients . since @xmath19 is full - rank , the original message vectors can be recovered from the set of linear equations by a simple inverse operation : @xmath140    in the following subsections , we will provide details on the achievable rate , the choice of the coefficients of the integer matrix @xmath19 , and the complexity of our architecture . we use the compute - and - forward framework developed in @xcite to derive the achievable rate of the integer - forcing linear receiver . let @xmath141 be the @xmath86 row vector of @xmath33 . in the case where @xmath142 , the channel output to the @xmath86 decoder is given by @xmath143 and the rate at which the set of equations @xmath144 can be reliably recovered is given in the following theorem . define @xmath145 . [ thm : rate1 ] for any @xmath52 and @xmath3 large enough , there exist fixed encoders and decoders , @xmath146 , such that all decoders can recover their equations with total probability of error at most @xmath147 so long as @xmath148 for the selected equation coefficients @xmath149 .    note that the decoders in theorem [ thm : rate1 ] are free to choose any equation coefficients that satisfy ( [ eqn : comprate ] ) . the encoders are completely oblivious to the choice of coefficients . it is instructive to examine the noise term @xmath150 the leading @xmath151 corresponds to the additive noise , which has unit variance in our model . the more interesting term @xmath152 corresponds to the  non - integer " penalty since the channel coefficients @xmath87 are not exactly matched to the coefficients @xmath133 of the linear equation . as illustrated in figure [ f : latticedemod ] , we first multiply the channel output matrix @xmath113 by a judiciously chosen matrix @xmath153 that is , the effective channel output observed by the @xmath86 decoder can be expressed as @xmath154 where @xmath155 is the effective channel to the @xmath86 decoder and @xmath156 is the effective noise with variance @xmath157 . the achievable rate of the integer - forcing linear receiver is given in the next theorem . [ thm : rate ] consider the mimo channel with channel matrix @xmath45 . under the integer - forcing architecture , the following rate is achievable : @xmath158for any full - rank integer matrix @xmath159 and any matrix @xmath77 . applying theorem [ thm : rate1 ] with effective channel channel @xmath155 and effective noise variance @xmath157 , it follows that the receiver can reliably recover the set of linear equations @xmath144 where @xmath128\hspace{-0.1 in } \mod{q } \ . \end{aligned}\ ] ] the message vectors @xmath160 can be solved in turn by inverting the linear equations , @xmath161 . theorem [ thm : rate ] provides an achievable rate for the integer - forcing architecture for any preprocessing matrix @xmath81 and any full - rank integer matrix @xmath162 the remaining task is to select these matrices in such a way as to _ maximize _ the rate expression given in theorem [ thm : rate ] . this turns out to be a non - trivial task . we consider it in two steps . in particular , we first observe that for a fixed integer matrix @xmath163 it is straightforward to characterize the optimal preprocessing matrix @xmath153 then , in the next subsection , we discuss the problem of selecting the integer matrix @xmath162    we consider the case when @xmath83 and note that given a fixed full - rank integer matrix @xmath19 , a simple choice for preprocessing matrix is @xmath164 where @xmath165 is the pseudoinverse of @xmath33 . we call this scheme `` exact '' integer - forcing since the effective channel matrix after preprocessing is simply the full - rank integer matrix @xmath19 . we also note that choosing @xmath166 and @xmath167 corresponds to the decorrelator . more generally , the performance of exact integer - forcing is summarized in the following corollary . [ cor : ratesub ] consider the case where @xmath83 . the achievable rate from theorem [ thm : rate ] can be written equivalently as @xmath168 for any full - rank integer matrix @xmath19 by setting @xmath169 . we call the expression in the denominator of the `` effective noise variance . '' the achievable rate in ( [ eq : exactrate ] ) is determined by the largest effective noise variance , @xmath170 hence , the goal is to choose linearly independent equations @xmath171 to minimize the expression @xmath172 in . the integer - forcing receiver provides the freedom to choose any full - rank integer matrix @xmath19 . in the remainder of this section , we characterize the optimal linear projection matrix @xmath81 for a fixed coefficient matrix @xmath19 and provide an equivalent rate expression for theorem [ thm : rate ] . we will then use this expression in the section [ sec : equations ] to provide insight into how to select the optimal coefficient matrix @xmath19 . [ cor : bopt ] the optimal linear projection matrix for a fixed coefficient matrix @xmath19 is given by @xmath173    the linear mmse estimator , given by @xmath174 , is a special case of the integer - forcing receiver with @xmath175 and @xmath167 . @xmath176 . hence , under a fixed channel matrix , exact integer - forcing is optimal as @xmath177 . let @xmath178^t$ ] . we solve for each @xmath179 separately to maximize the achievable rate in theorem [ thm : rate ] , @xmath180 define this quantity to be the function @xmath181 and rewrite as follows : @xmath182 taking the derivative of @xmath183 with respect to @xmath179 , we have that @xmath184 setting @xmath185 and solving for @xmath179 , we have that @xmath186 corollary [ cor : bopt ] follows since @xmath187^t$ ] . using the optimal linear projection matrix from corollary [ cor : bopt ] , we derive an alternative expression for the achievable rate in theorem [ thm : rate ] . [ thm : alterrate ] the achievable rate from theorem [ thm : rate ] under the optimal projection matrix @xmath188 from ( [ eq : bopt ] ) can be expressed as @xmath189 where @xmath190 is the matrix composed of the eigenvectors of @xmath191 and @xmath192 is a diagonal matrix with elements@xmath193 and @xmath194 is the @xmath195 singular value of @xmath33 . let @xmath183 be defined as in ( [ eq : effecnoise ] ) and define @xmath196 to be the singular value decomposition ( svd ) of @xmath33 with @xmath197 , and @xmath190 . note that in this svd representation , @xmath198 and @xmath199 for all @xmath200 . evaluating @xmath183 for the @xmath201 row @xmath179 of @xmath188 yields @xmath202 combining and , it follows that @xmath203 since @xmath204 is an orthonormal matrix , @xmath205 and can be rewritten as follows @xmath206 since @xmath207 is an orthonormal matrix , @xmath208 and can be rewritten as follows @xmath209 putting everything together , we have that @xmath210      in the previous section , we explored choices of the preprocessing matrix @xmath81 and characterized the optimal @xmath81 for a fixed full - rank integer matrix @xmath19 . now , we discuss how to select equation coefficients @xmath211 to maximize the achievable rate in theorem [ thm : rate ] or , equivalently , theorem [ thm : alterrate ] . in the integer - forcing linear receiver , we are free to recover any full - rank set of linear equations with integer coefficients . however , due to the integer constraint on @xmath163 it does not appear to be possible to give a closed - form solution for the best possible full - rank matrix @xmath162    an initially tempting choice for @xmath19 might be @xmath212 as we noted previously , for this choice of @xmath163 selecting @xmath213 reduces to the decorrelator while selecting @xmath214 yields the linear mmse estimator . however , as we show , for most channel matrices , fixing @xmath167 is suboptimal .    from theorem [ thm : alterrate ] , the achievable rate under the fixed channel matrix @xmath215^t$ ] is given by @xmath216 in general , for a fixed @xmath15 and channel matrix , finding the best coefficient matrix @xmath19 appears to be a combinatorial problem , requiring an explicit search over all possible full - rank integer matrices . the following lemma shows how the search space can be somewhat reduced . [ lm : asearch ] to optimize the achievable rate in theorem [ thm : alterrate ] ( or , equivalently , in theorem [ thm : rate ] ) , it is sufficient to check the space of all integer vectors @xmath133 with norm satisfying @xmath217 where @xmath218 is the maximum singular value of @xmath33 . this lemma thus shows that an exhaustive search only needs to check roughly @xmath219 possibilities .    from , the achievable rate of the integer - forcing receiver is zero for all @xmath133 satisfying @xmath220 the left - hand side is lower bounded by @xmath221 hence , if @xmath222 , then @xmath223 .    to conclude this subsection , we will now explicitly show how and why the choice @xmath167 is indeed suboptimal in general . in this context , it is instructive to use lemma [ lm : asearch ] to restate as @xmath224 equation suggests that we should choose coefficient vectors @xmath132 to be short and in the direction of the maximum right eigenvector of @xmath33 . to make this concrete , let us study a particular @xmath225 real mimo channel for which the matrix @xmath33 has singular values @xmath226 and @xmath227 with corresponding right singular vectors @xmath228 and @xmath229 respectively , as illustrated in figure [ fig : equations ] . here , decoder 1 recovers a linear combination of the transmitted message vectors with integer coefficients @xmath230^t$ ] and decoder 2 recovers a linear combination with integer coefficients @xmath231^t$ ] . using the exact integer - forcing rate from corollary [ cor : ratesub ] , the following rate is achievable @xmath232 where @xmath233 can be interpreted as the effective noise variance for the @xmath86 decoder , @xmath234 since @xmath235 , suggests that @xmath236 should be chosen in the direction of @xmath237 subject to linearly independent constraints to reduce the noise amplification by @xmath238 . in the case of the decorrelator ( or mmse receiver ) , the equation coefficients are fixed to be @xmath239^t$ ] and @xmath240^t$ ] . as a result , the noise variance in at least one of the streams will be heavily amplified by @xmath238 and the rate will be limited by the minimum singular value of the channel matrix . with integer - forcing , we are free to choose _ any linearly independent _ @xmath241 since we only require that our coefficients matrix @xmath19 be invertible . by choosing @xmath236 in the direction @xmath242 , we are protected against large noise amplification in the case of near - singular channel matrices . ( 0,35)(255,120 )    ( 0,0 )    ( 15,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 15,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 30,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 45,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 60,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 75,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 90,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 105,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 60,45)(72.5,55 ) ( 60,45)(20,90 ) ( 84,62)@xmath243 ( 28,98)@xmath244 ( 60,45)(75,45 ) ( 60,45)(60,60 ) ( 60,65)@xmath245 ( 82,45)@xmath246    ( 115,0 )    ( 15,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 15,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 30,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 45,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 60,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 75,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 90,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 105,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 120,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 60,45)(72.5,55 ) ( 60,45)(20,90 ) ( 80,45)@xmath247 ( 22.5,98)@xmath248 ( 60,45)(105,75 ) ( 60,45)(75,60 ) ( 112,75)@xmath246 ( 75,65)@xmath245      our architecture has the same implementation complexity as that of a traditional linear receiver with the addition of the matrix search for @xmath19 . the ideal joint ml receiver aggregates the time and space dimensions and finds the ml estimate across both . as a result , its complexity is exponential in the product of the blocklength and the number of data streams . our architecture decouples the time and space dimensions by allowing for single - stream decoding . first , we search for the best integer matrix @xmath19 , which has an exponential complexity in the number of data streams in the worst case . for slow fading channels , this search is only needed once per data frame . afterwards , our receiver recovers @xmath0 linearly independent equations of codewords according to @xmath19 and then solves these for the original codewords . this step is polynomial in the number of data streams and exponential in the blocklength for an ml decoder . in practice , the decoding step can be considerably accelerated through the use of ldpc codes and the integer matrix search can be sped up via a sphere decoder . in this section , we compare the performance of the integer - forcing linear receiver against existing architectures through a series of examples . in example 1 , we compare the performance of different architectures for an ill - conditioned channel matrix and demonstrate that the choice of equation coefficients for the integer - forcing receiver changes with @xmath15 . in example 2 , we compare the performance of the integer - forcing receiver with the decorrelator and show that the decorrelator can perform arbitrarily worse . in examples 3 , we illustrate that the gap between the integer - forcing receiver and lattice reduction can become unbounded . finally , we show that the gap between the integer - forcing receiver and the joint decoder can be arbitrarily large in example 4 . consider the @xmath225 real mimo channel with channel matrix @xmath249     real - valued mimo channel with fixed channel matrix from ( [ e : fixedmatrixex1]).,width=326 ]    figure [ f : fixedchannel ] shows the performance of the different architectures . ( recall that we assume equal - rate data streams on both transmit antennas , as in definition [ def : rate ] . ) the achievable rates for traditional linear receiver are given by and that of the joint receiver is given by . the decorrelator and the mmse receiver aim to separate the data streams and cancel the interference from other streams . however , this is difficult since the columns of the channel matrix are far from orthogonal . the integer - forcing architecture attempts to exploit the interference by decoding two linearly independent equations in the direction of the maximum eigenvector @xmath250^t$ ] . for example , at @xmath251 , we choose equation coefficients @xmath252^t$ ] and @xmath253^t,$ ] while for @xmath254 , we choose equation coefficients @xmath255^t$ ] and @xmath256^t.$ ] thus , for different values of @xmath15 , the optimal equation coefficients generally change . consider the @xmath225 real mimo channel with channel matrix : @xmath257 where we assume @xmath258 , @xmath259 is an integer and @xmath260 . we first note that @xmath261 using with @xmath262 , the achievable rate of the decorrelator is @xmath263 we compare the achievable rate of the decorrelator with the exact integer - forcing rate from corollary [ cor : ratesub ] . the equation coefficients selected by the decoders are @xmath264^t\\ \mathbf{a}_2 & = \left[\frac{1}{\sqrt{\epsilon}}~~\frac{1}{\sqrt{\epsilon } } + 1\right]^t \ . \end{aligned}\ ] ] using corollary [ cor : ratesub ] , the achievable rate of exact integer - forcing with equations coefficients @xmath265^t$ ] is @xmath266 where the inequality follows since @xmath258 . we compare the two linear architectures to the joint ml decoder whose achievable rate is given by . for @xmath267 and @xmath260 , the rate of the joint decoder is @xmath268    finally , let us compare the three rates in the setting where @xmath269 and where the parameter @xmath147 in our channel model tends to zero according implies that @xmath270 . ] to @xmath271 in that special case , we can observe that @xmath272 hence , the loss from using the decorrelator instead of the integer - forcing receiver becomes unbounded in this regime as @xmath177 . furthermore , the integer - forcing receiver achieves the same scaling as the joint decoder .      in this example , we illustrate the difference between the proposed integer - forcing architecture and the lattice - reduction receiver . first , we note that , unlike the integer - forcing receiver , the lattice - reduction receiver is not required to use a lattice code but it should use a constellation with regular spacing , such as pam or qam . however , the key difference is that the effective channel matrix for lattice - reduction receivers is restricted to be unimodular while the effective channel for integer - forcing receivers can be any full - rank integer matrix . in this example , we show that this restriction can result in an arbitrarily large performance penalty . we consider the @xmath273 mimo channel with channel matrix : @xmath274 a simple calculation shows that the inverse of this channel matrix is given by @xmath275 since @xmath276 has non - integer entries , @xmath33 is not unimodular . the coefficient matrix that maximizes the achievable rate for the exact integer - forcing receiver from corollary [ cor : ratesub ] is @xmath277 leading to an effective noise variance in each stream that satisfies @xmath278 by contrast , following the lattice - reduction receiver , we must ensure that the resulting effective channel matrix is unimodular . using the fact that @xmath279 is a basis for the body - centered cubic ( bcc ) lattice , it can be shown that the best choice of matrix is @xmath280 it follows that the effective noise variance in the worst stream is given by @xmath281 hence , as the number of antennas becomes large ( @xmath282 ) , restricting the effective matrix to be unimodular results in an arbitrarily large loss . finally , we illustrate the point that the integer - forcing receiver can sometimes be arbitrarily worse than optimal joint decoding . to see this , we consider a @xmath225 mimo channel with the channel matrix : @xmath283 where @xmath284 . the rate attainable via joint ml decoding is @xmath285 we note that the inverse of the channel matrix is given by @xmath286 we bound the achievable rate of exact integer - forcing from corollary [ cor : ratesub ] as follows @xmath287 let @xmath288 and consider the regime @xmath177 . the gap between the optimal joint receiver and the integer - forcing linear receiver can be arbitrarily large . however , as we will see in section [ sec : outage ] , the average behavior of the integer - forcing linear receiver is close to the joint decoder under a rayleigh fading distribution for medium to high @xmath15 . we now demonstrate that integer - forcing receiver nearly matches the performance of the joint ml decoder under a slow fading channel model . since the integer - forcing receiver can mimic the operation performed by a zero - forcing or mmse receiver ( as well as decode messages via equations ) , it is not surprising that it offers higher rates . however , these architectures are often coupled with some form of sic . we will show that the integer - forcing receiver outperforms the following standard sic architectures :    * v - blast i : the receiver decodes and cancels the data streams in a predetermined order , irrespective of the channel realization . each data stream has the same rate . see for the rate expression . * v - blast ii : the receiver selects the decoding order separately for each channel realization in such a way as to maximize the effective snr for the data stream that sees the worst channel . each data stream has the same rate . see for the rate expression . * v - blast iii : the receiver decodes and cancels the data streams in a predetermined order . the rate of each data stream is selected to maximize the sum rate . the rate expression is given in section [ subsec : rateallocation ] .    in sections [ subsec : outage ] and [ subsec : dmt ] , we compare these schemes through simulations as well as their diversity - multiplexing tradeoffs . for completeness , we also compare integer - forcing to an sic architecture that allows for both variable decoding order and unequal rate allocation in appendix [ ap : vblast4 ] . we adopt the standard quasi - static rayleigh fading model where each element of the complex channel matrix is independent and identically distributed according to a circularly symmetric complex normal distribution of unit variance . the transmitter is only aware of the channel statistics while the receiver knows the exact channel realization . as a result , we will have to cope with some outage probability @xmath289 . [ def : outage ] assume there exists an architecture that encodes each data stream at the same rate and achieves sum rate @xmath51 . for a target rate @xmath290 , then the outage probability is defined as @xmath291 for a fixed probability @xmath292 $ ] , we define the _ outage rate _ to be @xmath293      we have assumed that each data stream is encoded at the same rate . this is optimal for linear receivers under isotropic fading . however , when sic is used , rate allocation can be beneficial in an outage scenario . to compare the performance of integer - forcing to sic with rate allocation , we consider v - blast iii in this section . v - blast iii performs sic with a fixed decoding order and allows for rate allocation among the different data streams . without loss of generality for rayleigh fading , if we fix a decoding order , we may take it to be @xmath294 . from , the achievable rate for stream @xmath127 is @xmath295 since the streams are decoded in order , the later streams will achieve higher rates on average than the earlier streams . v - blast iii allocates lower rates to earlier streams and higher rates to later streams . we now generalize definition [ def : outage ] to include rate allocation . assume an architecture that achieves rate @xmath296 in stream @xmath127 . for a target rate @xmath290 , the the outage probability is given by : @xmath297 for a fixed probability @xmath292 $ ] , we define the _ outage rate _ to be : @xmath298      we now compare the outage rate and probabilities for the receiver architectures discussed above . it is easy to see that the zero - forcing receiver performs strictly worse than the mmse receiver and v - blast i performs strictly worse than v - blast ii . we have chosen to omit these two architectures from our plots to avoid overcrowding . figure  [ f : out2p ] shows the @xmath151 percent outage rate and figure [ f : out5p ] shows the @xmath299 percent outage rate . in both cases , the integer - forcing receiver nearly matches the rate of the joint ml receiver while the mmse receiver achieves significantly lower performance . the sic architectures with either an optimal decoding order , v - blast ii , or an optimized rate allocation , v - blast iii , improve the performance of the mmse receiver significantly but still achieve lower rates than the integer - forcing receiver from medium @xmath15 onwards . our simulations suggest that the outage rate of the integer - forcing receiver remains within a small gap from the outage rate of the joint ml receiver . however , we recall from the example given in subsection [ ex:4 ] that it is not true that the integer - forcing receiver is uniformly near - optimal for all fading realizations . figure [ f : poutro3 ] shows the outage probability for the target sum rate @xmath300 . we note that the integer - forcing receiver achieves the same slope as the joint decoder . in the next subsection , we characterize the diversity - multiplexing tradeoff of the integer - forcing receiver and compare it with the diversity - multiplexing tradeoff of traditional architectures that are considered in @xcite . we show that the integer - forcing receiver attains the optimal diversity multiplexing - tradeoff in the case where each transmit antenna sends an independent data stream . complex - valued mimo channel with rayleigh fading.,width=345 ]     complex - valued mimo channel with rayleigh fading.,width=345 ]     complex - valued mimo channel with rayleigh fading for a target sum rate of @xmath300.,width=345 ]      the diversity - multiplexing tradeoff ( dmt ) provides a rough characterization of the performance of a mimo transmission scheme at high @xmath15 @xcite . a family of codes is said to achieve spatial multiplexing gain @xmath301 and diversity gain @xmath302 if the total data rate and the average probability of error satisfy @xmath303    in the case where each transmit antenna encodes an independent data stream , the optimal dmt is @xmath304 where @xmath305 $ ] and can be achieved by joint ml decoding @xcite . the dmts achieved by the decorrelator and sic architectures are as follows @xcite : @xmath306 the decorrelator chooses the matrix @xmath81 to cancel the interference from the other data streams . as a result , the noise is heavily amplified when the channel matrix is near singular and the performance is limited by the minimum singular value of the channel matrix . in the integer - forcing linear receiver , the effective channel matrix @xmath19 is not limited to be the identity matrix but can be any full - rank integer matrix . this additional freedom is sufficient to recover the same dmt as the joint ml decoder . [ thm : dmt ] for a mimo channel with @xmath0 transmit , @xmath83 receive antennas , and rayleigh fading , the achievable diversity - multiplexing tradeoff for the integer - forcing receiver is given by@xmath307 where @xmath305 $ ] . the proof of theorem [ thm : dmt ] is given in appendix [ ap : dmt ] . figure [ fig : dmt ] illustrates the dmt for a @xmath308 mimo channel . the integer - forcing receiver achieves a maximum diversity of @xmath309 while the decorrelator and v - blast i achieve can only achieve a diversity of @xmath151 since their performance is limited by the worst data stream . v - blast ii achieves a higher dmt than v - blast i but a lower diversity than the integer - forcing receiver since its rate is still limited by the worst stream after the optimal decoding order is applied . v - blast iii achieves the optimal diversity at the point @xmath310 since only one data stream is used in transmission . for values of @xmath311 , the achievable diversity is suboptimal .      as noted earlier , receiver architectures based on zero - forcing face a rate penalty when the channel matrix is ill - conditioned . integer - forcing circumvents this issue by allowing the receiver to first decode equations whose coefficients are matched with those of the channel . from one perspective , the resulting gains are of a similar nature as those obtained by lattice - reduction receivers . one important difference is that integer - forcing applies a modulo operation at the receiver prior to decoding , which retains the linear structure of the codebook . this allows us to derive closed - form rate expressions analogous to those for traditional linear receiver . typically , lattice reduction is used at the symbol level followed by a decoding step @xcite . while this form of lattice reduction can be used to obtain the full receive diversity @xcite , it does not seem to suffice in terms of rate . another key advantage of integer - forcing is that it completely decouples the spatial aspect of decoding from the temporal aspect . that is , the search for the best integer matrix @xmath19 to approximate the channel matrix @xmath33 is completed before we attempt to decode the integer combinations of codewords . thus , apart from the search for the best @xmath19 , which in a slow - fading environment does not have to be executed frequently , the complexity of the integer - forcing receiver is similar to that of the zero - forcing receiver .    from our outage plots , it is clear that the integer - forcing receiver significantly outperforms the basic mmse receiver . moreover , integer - forcing beats more sophisticated sic - based v - blast architectures , even when these are permitted to optimize their rate allocation while integer - forcing is not . we note that it is possible to develop integer - forcing schemes that permit unequal rate allocations @xcite as well as a form of interference cancellation @xcite but this is beyond the scope of the present paper . integer - forcing also attains the full diversity - multiplexing tradeoff , unlike the v - blast architectures discussed above . earlier work developed lattice - based schemes that attain the full dmt @xcite but , to the best of our knowledge , ours is the first that decouples spatial decoding from temporal decoding . the caveat is that the dmt result presented in the current paper only applies if there is no spatial coding across transmit antennas , whereas the dmt results of @xcite apply in general . characterizing the dmt of integer - forcing when there is coding across transmit antennas is an interesting subject for future study . we have studied the performance of the integer - forcing linear receiver under the standard mimo channel and found that it achieves outage rates close those of the joint ml decoder as well as the same dmt . in this section , we show that integer - forcing architectures are also successful at dealing with a different kind of channel disturbance , namely interference . we assume that the interfering signal is low - dimensional ( compared to the number of receive antennas ) , and we are most interested in the case where the variance of this interfering signal increases ( at a certain rate ) with the transmit power . we show that the integer - forcing architecture can be used to perform `` oblivious '' interference mitigation . by oblivious , we mean that the transmitter and receiver are unaware of the codebook of the interferer ( if there is one ) . however , the receiver knows which subspace is occupied by the interference . by selecting equation coefficients in a direction that depends both on the interference space and on the channel matrix , the integer - forcing receiver reduces the impact of interference and attains a significant gain over traditional linear receivers . we will characterize the generalized degrees - of - freedom show that it matches that of the joint ml decoder . oblivious receivers have been thoroughly studied in the context of cellular systems @xcite and distributed mimo @xcite .    for ease of notation and tractability , the discussion presented in this section is limited to channels whose channel matrix is square , i.e. , with equal number of transmit and receive antennas . recall that the real - valued representation of the @xmath273 complex - valued mimo channel ( see definition [ def : channel ] ) is given by @xmath312 where @xmath313 is the channel output , @xmath314 is the real - valued representation of the fading matrix , @xmath315 is the channel input , and the noise @xmath316 has i.i.d . gaussian entries with unit variance . in this section , we extend the standard mimo channel to include the case of interference . the generalized model has channel output @xmath317 where @xmath33 is the channel matrix , @xmath44 is the channel input , and @xmath318 is the noise , all as in the previous model . an external interferer adds @xmath319 in the direction represented by the column space of @xmath320 . we assume that each element of @xmath207 is i.i.d . gaussian with variance @xmath321 . we assume that @xmath322 is fixed during the whole transmission block and known only to the receiver . the definition for messages , rates , encoders , and decoders follow along similar lines as those for the standard mimo channel ( see definitions [ def : messages ] , [ def : encoders ] , [ def : decoder ] , and [ def : rate ] in section [ sec : problem ] ) .      as in the case without interference , traditional linear receivers process the channel output @xmath113 by multiplying it by a @xmath323 matrix @xmath81 to arrive at the effective output @xmath324 and recover the message @xmath1 using only the @xmath86 row of the matrix @xmath325 by analogy to , the achievable sum rate can be expressed as @xmath326 where @xmath327 represents the achievable rate for the @xmath86 data stream ( using gaussian codebooks ) , @xmath328    again , let us discuss several choices of the matrix @xmath153 the decorrelator , given by @xmath262 , removes the interference due to other data streams but does not cancel the external interference @xmath322 ( except in the very special case where the subspace spanned by @xmath322 is orthogonal to the subspace spanned by @xmath276 ) . alternatively , if we choose @xmath329 where @xmath330 is the @xmath331 matrix whose rowspace is orthogonal to the columnspace of @xmath332 then the external interference term is indeed nulled . the resulting output @xmath333 can then be processed by a traditional linear receiver . this scheme achieves good performance in high @xmath321 regimes but does not perform well in high @xmath15 regimes since the interference due to the other data streams is mostly unresolved . the mmse receiver improves the performance of the both architectures by choosing @xmath334 . however , since there are @xmath34 data streams and the interference is of dimension @xmath335 it is impossible to cancel both the interference from other data streams and the external interference with any matrix @xmath81 . one way out of this conundrum is to reduce the number of transmitted streams to @xmath336 . for this scenario , the mmse receiver can be applied to mitigate both the external interference and the interference from other data streams . complexity permitting , we can again improve performance by resorting to successive interference cancellation architectures . the achievable rate for v - blast i in the standard mimo channel from becomes @xmath337 where @xmath338 and @xmath339 . the achievable rate for v - blast ii follows by maximizing the rate in over all decoding orders @xmath92 . we apply the integer - forcing linear receiver proposed in section [ sec : architecture ] to the problem of mitigating interference ( see figure [ fig : integerinf ] ) . the channel output matrix @xmath113 is first multiplied by a fixed matrix @xmath81 to form the matrix @xmath79 whose @xmath86 row is the signal fed into the @xmath86 decoder . each such row can be expressed as @xmath340 where @xmath155 is the effective channel to the @xmath86 decoder , @xmath341 is the effective interference with variance @xmath342 , and @xmath156 is the effective noise with variance @xmath157 . the next theorem and its following remarks generalize theorem [ thm : rate ] , corollary [ cor : ratesub ] , and corollary [ cor : bopt ] to include the case with interference . ( -24,-65)(190,40 )    ( -13,32 ) ( -1,0)@xmath61 ( 4,0)(10,0 ) ( 10,-5)(23,5 ) ( 16.5,0)@xmath62 ( 29,3.5)@xmath9 ( 23,0)(41,0 )    ( 3.5 , 12)@xmath63    ( -13,-16 ) ( -1,0)@xmath64 ( 6,0)(10,0 ) ( 10,-5)(23,5 ) ( 16.5,0)@xmath65 ( 30,3.5)@xmath66 ( 23,0)(41,0 )    ( 24 , -22.5 ) ( 4,0)(16,60 ) ( 10 , 30)@xmath33    ( 46 , -50.5 ) ( 4,-20)(16,30 ) ( -8,13)(4,13 ) ( -13,13)@xmath343 ( -13,6)@xmath63 ( -8,-5)(4,-5 ) ( -13,-5)@xmath344 ( 10 , 7)@xmath322 ( 16,-15)(28,32 ) ( 28,35 ) ( 0,0)3 ( -2,0)(2,0 ) ( 0,-2)(0,2 ) ( 16,25)(28,79 ) ( 28,82 ) ( 0,0)3 ( -2,0)(2,0 ) ( 0,-2)(0,2 )    ( 42,32 ) ( -2,0)(5,0 ) ( 8,0 ) ( 0,0)3 ( -2,0)(2,0 ) ( 0,-2)(0,2 ) ( 0,8)(0,3 ) ( 0,12)@xmath67 ( 3,0)(21,0 ) ( 27,0)(44,0 ) ( 42,4.5)@xmath68    ( 94,-22.5 ) ( 0,0)(15,60 ) ( 8 , 30)@xmath81    ( 97,32 ) ( 12,0)(31,0 ) ( 22,4.5)@xmath106 ( 31,5)(46,-5 ) ( 38.5,0)@xmath107 ( 46,0)(63,0 ) ( 54,4)@xmath345    ( 50 , 12)@xmath63    ( 42,-16 ) ( -2,0)(5,0 ) ( 8,0 ) ( 0,0)3 ( -2,0)(2,0 ) ( 0,-2)(0,2 ) ( 0,8)(0,3 ) ( 0,12)@xmath346 ( 3,0)(21,0 ) ( 27,0)(44,0 ) ( 42.5,4)@xmath347    ( 135 , 12)@xmath63    ( 97,-16 ) ( 12,0)(31,0 ) ( 22,4.5)@xmath110 ( 31,5)(46,-5 ) ( 39,0)@xmath111 ( 46,0)(63,0 ) ( 54,4.5)@xmath348    ( 159,-22.5 ) ( 0,0)(18,60 ) ( 9,30)@xmath21    ( 177,10)(184,10 ) ( 188 , 24)@xmath122 ( 188 , 12)@xmath63 ( 188 , -6)@xmath123    ( 130,-40)@xmath349 \hspace{-0.05in}\mod q$ ]    [ thm : rateinterference ] consider the mimo channel with channel matrix @xmath314 and interference matrix @xmath320 . for any full - rank integer matrix @xmath159 and any @xmath323 matrix @xmath350^t$ ] , the following sum rate is achievable using the integer - forcing linear receiver : @xmath351 where @xmath352 is given by @xmath353    exact integer - forcing selects @xmath354 . the achievable rate can be expressed more concisely as @xmath355    the optimal projection matrix that maximizes the achievable rate in theorem [ thm : rateinterference ] is given by @xmath356      in the case without interference , the equation coefficients @xmath357 should be chosen in the direction of the maximum eigenvector of @xmath191 to minimize the effective noise ( see figure [ fig : equations ] ) . when the interference is large , the equations coefficients should instead be chosen as close to orthogonal to the effective interference as possible . consider the ( suboptimal ) rate expression in . the  effective " noise variance in the @xmath86 stream is @xmath358 let @xmath218 be the maximum singular value of @xmath276 and @xmath359 . the effective noise variance can be bounded by @xmath360 in the high interference regime ( @xmath361 ) , the equation coefficients should be chosen orthogonal to the direction of the  effective " interference @xmath362 to minimize the effective noise variance . this is illustrated in figure [ fig : eqnsinf ] . in the case of traditional linear receivers , the equation coefficients are fixed to be the unit vectors : @xmath363^t , \mathbf{a}_2 = [ 0~1~\cdots0]^t , \ldots , \mathbf{a}_{2 m } = [ 0~0~\cdots1]^t$ ] . as a result , the interference space spanned by @xmath362 has significant projections onto at least some of the decoding dimensions @xmath133 . by contrast , in the case of the integer - forcing linear receiver , since @xmath364 need only be linearly independent , we can choose all of the decoding dimensions @xmath133 to be close to orthogonal to @xmath365    ( 2,40)(255,120 )    ( 0,0 )    ( 15,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 15,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 30,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 45,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 60,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 75,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 90,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 60,45)(72.5,55 ) ( 60,45)(20,90 ) ( 28,98)@xmath362 ( 60,45)(75,45 ) ( 60,45)(60,60 ) ( 60,65)@xmath245 ( 82,45)@xmath246    ( 105,0 )    ( 15,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 15,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 30,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 45,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 60,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 75,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 90,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 105,0 ) ( 0,30)(0,45)(0,60)(0,75)(0,90)(0,105 )    ( 60,45)(72.5,55 ) ( 60,45)(20,90 ) ( 28,98)@xmath362 ( 60,45)(105,75 ) ( 60,45)(75,60 ) ( 112,75)@xmath246 ( 75,65)@xmath245    [ fig : equationsinf ]      to illustrate the impact of choosing equation coefficients in a fashion suitable to mitigate external interference , we consider the @xmath225 mimo channel with channel matrix @xmath33 and one - dimensional interference space @xmath322 given by @xmath366 where @xmath367 . in the case of the decorrelator , we invert the channel to arrive at the effective output : @xmath368 where @xmath369 . for @xmath361 , the effective noise variances scale as @xmath370 using the integer - forcing linear receiver with the choice of equations @xmath371^t$ ] and @xmath372^t$ ] , the effective channel output to the second decoder is @xmath373 where @xmath374 is the codeword sent by the @xmath375 antenna . it follows that the effective noise variances are @xmath376 where @xmath377 is a constant that does not scale with @xmath321 . in this example , the integer - forcing linear receiver is able to completely cancel the effect of interference in the second stream by choosing equation coefficients appropriately . we evaluate the generalized degrees of freedom for the @xmath273 complex mimo channel with @xmath378-dimensional interference . we specify the interference - to - noise ratio through the parameter @xmath379 where @xmath380 and consider the case where @xmath381 . the generalized degrees of freedom are defined as follows ( see @xcite ) :    ( generalized degrees - of - freedom ) for a given channel matrix @xmath33 and interference matrix @xmath322 , the generalized degrees - of - freedom of a scheme is @xmath382 where @xmath383 is the achievable sum rate of the scheme . ( rational independence ) we call a matrix @xmath384 rationally independent if for all @xmath385 , we have that @xmath386    we consider the set of matrices @xmath387 such that @xmath388 is rationally independent . it can be seen that this set has lebesgue measure one . in the next theorem , we show that for this class of matrices , the integer - forcing linear receiver achieves the same number of generalized degrees of freedom as the joint decoder , and is thus optimal . [ thm : dof ] consider the @xmath273 complex mimo channel with @xmath378 dimensional interference . the integer - forcing linear receiver achieves the generalized degrees of freedom @xmath389 for a set of @xmath390 that have lebesgue measure one . a straightforward derivation shows that the optimal joint decoder with @xmath34 streams of data achieves the following generalized degrees of freedom @xmath391 for all full - rank channel matrices @xmath392 . the linear mmse receiver with @xmath34 data streams and the linear mmse receiver with @xmath393 data streams achieve the following degrees of freedom for all full - rank channel matrices @xmath392 : @xmath394 when @xmath34 data streams are transmitted ( on the real - valued representation of the complex mimo channel ) , the mmse receiver does not achieve the optimal number of degrees of freedom since it treats the interference as noise at high @xmath15 while the integer - forcing linear receiver mitigates the interference . when only @xmath395 data streams are transmitted , the linear mmse receiver can first cancel the interference and then separate the data streams to achieve a degree of freedom of @xmath395 . however , this is suboptimal for all regimes @xmath396 ( see figure 12 ) . a straightforward calculation shows that when the number of transmitted data streams is between @xmath395 and @xmath34 , the performance is strictly suboptimal in terms of degrees of freedom . mimo channel with @xmath397-dimensional interference @xmath398,width=345 ]    [ fig : dof ]    our proof of theorem [ thm : dof ] uses the following lemma . recall that a set of vectors is linearly independent if none of the vectors can be written as a linear combination of the others . [ lm : diophantine ] let @xmath399 be rationally independent and assume @xmath400 for all @xmath401 . there exists a @xmath402 such that for all @xmath403 , there exist @xmath34 linearly independent integer vectors @xmath404^t \in \mathbb{z}^{2 m - 2k } \times \mathbb{z}^{2k}$ ] for @xmath405 satisfying @xmath406 where @xmath377 is a constant that is independent of @xmath407 . lemma [ lm : diophantine ] bounds the approximation of @xmath408 with @xmath34 linearly independent integer vectors . its proof is given in appendix [ ap : diophantine ] . we now prove theorem [ thm : dof ] . ( theorem [ thm : dof ] ) to establish this result , we use the ( generally suboptimal ) choice of the matrix @xmath81 that we have referred to as exact integer - forcing , i.e. , from . the achievable rate of this version of the integer - forcing linear receiver is given by @xmath409 with @xmath410 , the effective noise in the worst data stream can be expressed as @xmath411 where @xmath412 is the maximum singular value of @xmath276 and we use the shorthand @xmath413 . let us partition @xmath414 into two parts , @xmath415 \ , \end{aligned}\ ] ] where @xmath416 and @xmath417 . observe that with probability one , @xmath414 has rank @xmath418 ( hence , is full - rank ) . this implies that we can permute the columns of @xmath414 in such a way as to ensure that its last @xmath418 columns are linearly independent . if we use the same permutation on the coefficients of the vector @xmath419 our upper bound on the effective noise variance given in will remain unchanged . therefore , without loss of generality , we may assume that @xmath420 has rank @xmath418 . we define @xmath421 . then , we can write @xmath422\\ & = [ -\mathbf{t } , \mathbf{i}_{2k}]\ . \label{eq : tildej}\end{aligned}\ ] ] let the coefficients for the @xmath86 equation be given by @xmath423^t$ ] where @xmath424 and @xmath425 . we use to bound @xmath426 : @xmath427 \mathbf{a}_m\|^2 \\ & \leq \lambda^2_{\text{\tiny{max}}}(\mathbf{s}_2 ) \|[-\mathbf{t } , \mathbf{i}_{2k}]\mathbf{a}_m\|^2\\ \label{eq : boundja } & = \lambda^2_\text{\tiny{max}}(\mathbf{s}_2 ) \|\mathbf{t}\mathbf{q}_m - \mathbf{p}_m\|^2\end{aligned}\ ] ] where @xmath428 the maximum singular value of @xmath420 . combining with , the effective noise variance is bounded as follows : @xmath429 we proceed to bound the quantity @xmath430 . we decompose @xmath408 into its integer and fractional parts : @xmath431 where @xmath432 represents the integer part of @xmath408 and @xmath433 represents the fractional part of @xmath408 . we define @xmath434^t\\ \tilde{\mathbf{a } } & = [ \tilde{\mathbf{a}}_1 \cdots \tilde{\mathbf{a}}_{2m}]^t\\   \mathbf{g } & = \left ( \begin{array}{ccc } \mathbf{i}_{2m-2k } & \mathbf{0 } \\ -\mathbf{t}_i & \mathbf{i}_{2k } \end{array } \right ) \ .\end{aligned}\ ] ] since @xmath435 is a @xmath323 lower triangular matrix with non - zero diagonal elements , it has rank @xmath34 . we note that @xmath436 since @xmath435 is invertible , it follows that if the matrix formed by the coefficient vectors @xmath437 is full - rank , then the matrix formed by @xmath438 is full - rank and vice versa . from , it have that @xmath439 and , from , we have that @xmath440 from , , and , the effective noise variance can be upper bounded by @xmath441      combining and , the effective noise variance from is bounded by @xmath449 let @xmath407 scale according to @xmath450 . it follows that @xmath451 setting @xmath452 , we find that the generalized degrees - of - freedom are @xmath453 which concludes the proof of theorem [ thm : dof ] . in this paper , we proposed a new receiver architecture for mimo channels that bridges the performance gap between traditional linear receivers and the optimal joint ml decoder . we studied the scenario without coding across the transmit antennas and found that the proposed integer - forcing linear receiver performs close to the optimal joint receiver while incurring only some additional complexity over traditional linear receivers . we characterized the diversity multiplexing tradeoff of the proposed architecture and showed that is it the same as that of the joint ml decoder . we considered a generalized mimo channel model with interference and found that the integer - forcing receiver can be used to effectively mitigate interference in an oblivious . furthermore , the proposed architecture achieves the same generalized degrees - of - freedom as the joint ml decoder . an interesting question for future work is how the integer - forcing architecture behaves when coding across transmit antennas is permitted . recall that v - blast ii performs decoding in the optimal order and v - blast iii allows for rate allocation . in this appendix , we introduce v - blast iv , which allows for both rate allocation and an optimized decoding order . under v - blast iv , the data streams are decoded with respect to the ordering @xmath454 where @xmath455 is given by . we compare the behavior of v - blast iv to that of the integer - forcing linear receiver in figures [ f : outv41 ] , [ f : outv45 ] , [ f : poutpv4 ] . the results show although v - blast iv achieves good performance for low to medium @xmath15 , the integer - forcing linear achieves higher outage rates and lower outage probabilities in the medium to high @xmath15 regime . complex - valued mimo channel with rayleigh fading.,width=355 ]     complex - valued mimo channel with rayleigh fading.,width=355 ]     complex - valued mimo channel with rayleigh fading for a target sum rate of @xmath300.,width=355 ] in order to establish theorem [ thm : dmt ] , we need a few key facts about lattices . a lattice @xmath456 is a set of points that satisfy the following properties : @xmath457 we call the rank-@xmath458 matrix @xmath435 a generator matrix for @xmath459 if @xmath460    we use the definition of dual lattices from @xcite .    given a lattice @xmath456 with a rank-@xmath458 generator matrix @xmath435 , the dual lattice @xmath461 has generator matrix @xmath462 , @xmath463    to prove theorem [ thm : dmt ] , we consider _ successive minima _ for the involved lattices , a standard concept from the diophantine approximation literature ( see e.g. @xcite ) , defined as follows . [ def : smmse ] let @xmath464 be the unit ball . given a lattice @xmath456 with a rank-@xmath458 generator matrix , the @xmath86 successive minimum @xmath465 where @xmath466 is given by @xmath467    definition [ def : smmse ] implies that @xmath468 for any lattice @xmath459 . the following basic property linking the successive minima of a lattice with those of its dual lattice is key to our proof . [ lm : smdual ] let @xmath456 be an arbitrary lattice with a rank-@xmath458 generator matrix and @xmath461 be its dual lattice . the successive minima for @xmath459 and @xmath461 satisfy the following inequality : @xmath469    finally , we also need the following result concerning a random gaussian lattice . [ lm : smfirst ] let @xmath45 be the real - valued decomposition of a @xmath470 complex gaussian matrix with i.i.d . rayleigh entries . let @xmath471 be the lattice generated by @xmath33 . then @xmath472 where @xmath473 and @xmath474 are constants independent of @xmath475 .    ( theorem [ thm : dmt ] ) . let @xmath476 be the target rate where @xmath305 $ ] . for a fixed set of equations @xmath215^t$ ] and a fixed preprocessing matrix @xmath477^t$ ] , the outage probability is given by @xmath478    for a fixed set of equations @xmath19 , we are free to choose any projection matrix @xmath81 , resulting in the following bound : @xmath479    we then choose the best set of full - rank equations by optimizing over all integer matrices @xmath159 with non - zero determinant : @xmath480    we use properties of dual lattices to bound . for a fixed @xmath33 , let @xmath481 be the lattice generated by @xmath33 and @xmath482 be the dual lattice generated by @xmath483 , @xmath484 using the definition of successive minima ( definition [ def : smmse ] ) , it follows that @xmath485 we now express in terms of the successive minima of @xmath482 , @xmath486 using lemma [ lm : smdual ] , we can bound the successive minima of @xmath482 in terms of the successive minima of @xmath481 , @xmath487 combining and , the outage probability is upper bounded by @xmath488 this probability can in turn be upper bounded using lemma [ lm : smfirst ] . for large @xmath15 , we find that @xmath489 where @xmath490 are constants independent of @xmath15 . the achievable diversity for multiplexing gain @xmath301 is thus @xmath491 in order to prove lemma [ lm : diophantine ] , we use a technique introduced in @xcite . we first construct semi - norms @xmath492 and @xmath493 as well as a norm @xmath494 . we then apply minkowski s theorem ( see theorem [ thm : sm ] below ) to find @xmath34 linearly independent integer vectors that achieve the successive minima ( with respect to the norm @xmath495 ) . afterwards , we will show that these integer vectors satisfy the conditions in lemma [ lm : diophantine ] . we will need the following definitions and theorems in the proof . let @xmath494 be a norm . the unit ball with respect to @xmath495 ( or @xmath495-unit ball ) is denoted by @xmath496 the volume of @xmath497 is denoted by @xmath498 . [ def : smgen ] let @xmath494 be a norm and @xmath497 be the @xmath495-unit ball . the @xmath86 successive @xmath495-minimum @xmath499 is given by @xmath500for @xmath501 . [ thm : sm ] for any norm @xmath494 , the successive @xmath495-minima satisfy @xmath502    [ dirichlet ] [ thm : dirichlets ] for any @xmath399 and @xmath503 , there exists a @xmath504^t \in \mathbb{z}^{2m-2k } \times \mathbb{z}^{2k } \backslash \mathbf{0}$ ] such that @xmath505    [ thm : kg ] fix a function @xmath506 . if @xmath507 then , for almost all @xmath399 satisfying @xmath400 for all @xmath401 , there are only finitely many solutions @xmath504^t \in \mathbb{z}^{2m-2k } \times \mathbb{z}^{2k}$ ] to the inequality @xmath508    theorem [ thm : sm ] can be found in ( * ? ? ? * equation 1.1 ) . theorems [ thm : dirichlets ] and [ thm : kg ] can be found in many standard diophantine approximation texts ( see , for instance , @xcite ) . ( lemma [ lm : diophantine ] ) . for any vector @xmath509 , we denote the first @xmath395 components by @xmath510 and the remaining @xmath418components by @xmath511 and will thus write @xmath512    from the lemma statement , @xmath513^t$ ] is a ( rationally independent ) @xmath514 real - valued matrix with @xmath400 for all @xmath401 . for a fixed @xmath408 , we define the semi - norms @xmath183 , @xmath515 as follows : @xmath516 for a fixed @xmath517 , we let @xmath518 denote the minimum value of @xmath519 under the constraint @xmath520 , @xmath521^t \neq \mathbf{0 } } } \|\mathbf{t}\mathbf{q } - \mathbf{p}\| , \label{eq : lambda1}\end{aligned}\ ] ] @xmath522 denote the integer vector that achieves @xmath518 @xmath523^t \neq \mathbf{0 } } } \|\mathbf{t}\mathbf{q } - \mathbf{p}\|,\end{aligned}\ ] ] and @xmath524 be the value of @xmath525 evaluated by @xmath515 , @xmath526    based on the seminorms @xmath183 and @xmath515 , we define the function @xmath494 as follows : @xmath527 in the sequel , we show that @xmath495 is a norm for @xmath528 . we define the @xmath323 matrix @xmath529 as follows : @xmath530\ ] ] note that we can rewrite the function @xmath495 using @xmath529 : @xmath531 since exchanging rows of a matrix only affects the sign of its determinant , we have that @xmath532 \right ) \right| \ .   \end{aligned}\ ] ] now we use the fact that the determinant of a lower triangular matrix is just the product of its diagonal entries , latexmath:[\ ] ] and , we have that @xmath596 by definition , we have that @xmath597    using , , , and , and assuming that @xmath407 is sufficiently large , we bound @xmath598 as follows : @xmath599 where @xmath591 is a constant that does not depend on @xmath407 . similarly , we can bound @xmath600 as follows : @xmath601 which concludes the proof of lemma [ lm : diophantine ] . the authors are grateful to or ordentlich for pointing out the suboptimality of unimodular integer forcing , giuseppe caire for corrections in the proof of theorem [ thm : dof ] , and seyong park for many helpful discussions .            , `` ieee standard for information technology  telecommunications and information exchange between systems  local and metropolitan area networks specific requirements part 11 : wireless lan medium access control ( mac ) and physical layer ( phy ) specifications amendment 5 : enhancements for higher throughput , '' _ ieee std 802.11n-2009 _ , pp . c1502 , 29 2009 . j.  winters , j.  salz , and r.  gitlin . , `` the impact of antenna diversity on the capacity of wireless communication systems , '' _ ieee transactions on communications _ , vol .  42 , no . 234 , pp . 1740 1751 , feb / mar / apr 1994 . u.  niesen and p.  whiting , `` the degrees of freedom of compute - and - forward , '' in _ proceedings of the ieee international symposium on information theory ( isit 2011 ) _ , st . petersburg , russia , august 2011 . m.  o. damen , h.  el gamal , and g.  caire , `` on maximum - likelihood detection and the search for the closest lattice point , '' _ ieee transactions on information theory _ , vol . 49 , no . 23892402 , october 2003 .        a.  burg , m.  borgmann , m.  wenk , m.  zellweger , w.  fichtner , and h.  bolcskei , `` vlsi implementation of mimo detection using the sphere decoding algorithm , '' _ ieee journal of solid - state circuits _ , vol . 40 , no .  7 , pp . 1566  1577 , july 2005 . t.  richardson , m.  shokrollahi , and r.  urbanke , `` design of capacity - approaching irregular low - density parity - check codes , '' _ ieee transactions on information theory _ , vol . 47 , no .  2 , pp . 619  637 , february 2001 . m.  varanasi and t.  guess , `` optimum decision feedback multiuser equalization and successive decoding achieves the total capacity of the gaussian multiple - access channel , '' in _ conference record of the 31st asilomar conference on signals , systems , and computers _ , pacific grove , ca , usa , november 1997 , pp . 1405  1409 .    p. w. wolniansky , g.  j. foschini , g.  d. golden , and r.  a. valenzuela , `` v - blast : an architecture for realizing very high data rates over the rich - scattering wireless channel , '' in _ ursi international symposium on signals , systems , and electronics ( issse 98 ) _ , pisa , italy , sept .- oct . 1998 . h.  yao and g.  w. wornell , `` lattice - reduction - aided detectors for mimo communication systems , '' in _ proceedings of the ieee global communications conference ( globecom 2002 ) _ , taipei , taiwan , november 2002 . m.  taherzadeh , a.  mobasher , and a.  khandani , `` lll reduction achieves the receive diversity in mimo decoding , '' _ ieee transactions on information theory _ 53 , no .  12 , pp . 48014805 , december 2007 . h.  el gamal , g.  caire , and m.  o. damen , `` lattice coding and decoding achieve the optimal diversity - multiplexing tradeoff of mimo channels , '' _ ieee transactions on information theory _ 50 , no .  6 , pp . 968985 , june 2004 . j.  jalden and p.  elia , `` dmt optimality of lr - aided linear decoders for a general class of channels , lattice designs and system models , '' _ ieee transactions on information theory _ , 56 , no . 10 , pp . 47654780 , october 2010 . o.  ordentlich , j.  zhan , u.  erez , m.  gastpar , and b.  nazer , `` practical code design for compute - and - forward , '' in _ proceedings of the ieee international symposium on information theory ( isit 2011 ) _ , st . petersburg , russia , august 2011 . j.  zhan , b.  nazer , , o.  ordentlich , u.  erez , and m.  gastpar , `` integer - forcing architectures for mimo : distributed implementation and sic integer - forcing architectures for mimo : distributed implementation and sic , '' in _ conference record of the 44th asilomar conference on signals , systems , and computers _ , monterey , ca , november 2010 . a.  sanderovich , s.  shamai , , h.  v. poor , and y.  steinberg , `` uplink macro diversity of limited backhaul cellular network , '' _ ieee transactions on information theory _ , 55 , no . 8 , pp . 34573478 , august 2009 . m.  taherzadeh , a.  mobasher , and a.  khandani , `` communication over mimo broadcast channels using lattice - basis reduction , '' _ ieee transactions on information theory _ , 53 , no .  12 , pp . 45674582 , december 2007 .
Abstract:

Answer: linear receivers are often used to reduce the implementation complexity of multiple antenna systems . in a traditional linear receiver architecture , the receive antennas are used to separate out the codewords sent by each transmit antenna , which can then be decoded individually . although easy to implement , this approach can be highly sub - optimal when the channel matrix is near singular . this paper develops a new linear receiver architecture that uses the receive antennas to create an effective channel matrix with integer - valued entries . rather than attempting to recover transmitted codewords directly , the decoder recovers integer combinations of the codewords according to the entries of the effective channel matrix . the codewords are all generated using the same linear code which guarantees that these integer combinations are themselves codewords . if the effective channel is full rank , these integer combinations can then be digitally solved for the original codewords . this paper focuses on the special case where there is no coding across transmit antennas . in this setting , the integer - forcing linear receiver significantly outperforms traditional linear architectures such as the decorrelator and mmse receiver . in the high snr regime , the proposed receiver attains the optimal diversity - multiplexing tradeoff for the standard mimo channel . it is further shown that in an extended mimo model with interference , the integer - forcing linear receiver achieves the optimal generalized degrees - of - freedom . mimo , linear receiver architectures , linear codes , lattice codes