This paper studies vector space interference alignment for the three-user MIMO interference channel with no time or frequency diversity. The main result is a characterization of the feasibility of interference alignment in the symmetric case where all transmitters have M antennas and all receivers have N antennas. If N >= M and all users desire d transmit dimensions, then alignment is feasible if and only if (2r+1)d = N. It turns out that, just as for the 3-user parallel interference channel BT09 , the length of alignment paths captures the essence of the problem. In fact, for each feasible value of M and N the maximum alignment path length dictates both the converse and achievability arguments. One of the implications of our feasibility criterion is that simply counting equations and comparing to the number of variables does not predict feasibility. Instead, a more careful investigation of the geometry of the alignment problem is required. The necessary condition obtained by counting equations is implied by our new feasibility criterion.
We emphasize that in this paper we restrict attention to vector space interference alignment, where the effect of finite channel diversity can be observed. Interfering signals can also be aligned on the signal scale using lattice codes (first proposed in @cite_23 , see also @cite_14 , @cite_4 , @cite_13 ), however the understanding of this type of alignment is currently at the stage corresponding to infinite time or frequency diversity in the vector space setting. In other words, essentially perfect" alignment is possible due to the infinite channel precision available at infinite signal-to-noise ratios.
@cite_13 @cite_14 @cite_4 @cite_23
2083002698 2028676993 2151381597 1509180833
We explore the feasibility of linear interference alignment using finite signaling dimensions and symbol extensions. In the non-zero total intersection regime, we show that the number of sources is upperbounded by a function of channel diversity. The available diversity places a fundamental constraint on the number of signal spaces that can overlap at one destination (where they are undesired) while maintaining the resolvability of a subset of those signals (desired signals) at another destination. Specifically, the number of such signal spaces cannot be larger than the channel diversity. This is the diversity constraint that we identify in this paper. Not only is the proposed method applicable for X channels, interference channels, and their rank-deficient counterparts, it can also be used for both circular symmetric signaling (CSS) and asymmetric complex signaling (ACS) over a combination of frequency and MIMO channels with arbitrary symbol extensions. Consider a MIMO interference channel whereby each transmitter and receiver are equipped with multiple antennas. The basic problem is to design optimal linear transceivers (or beamformers) that can maximize system throughput. The recent work [13] suggests that optimal beamformers should maximize the total degrees of freedom and achieve interference alignment in high SNR. In this paper we first consider the interference alignment problem in spatial domain and prove that the problem of maximizing the total degrees of freedom for a given MIMO interference channel is NP-hard. Furthermore, we show that even checking the achievability of a given tuple of degrees of freedom for all receivers is NP-hard when each receiver is equipped with at least three antennas. Moreover, in case where each transmitter and receiver use at most two antennas, the same problem is polynomial time solvable. Finally, we propose a distributed algorithm for transmit covariance matrix design, while assuming each receiver uses a linear MMSE beamformer. The simulation results show that the proposed algorithm outperforms the existing interference alignment algorithms in terms of system throughput. We show that the maximization of the sum degrees-of-freedom for the static flat-fading multiple-input multiple-output (MIMO) interference channel is equivalent to a rank constrained rank minimization problem (RCRM), when the signal spaces span all available dimensions. The rank minimization corresponds to maximizing interference alignment (IA) so that interference spans the lowest dimensional subspace possible. The rank constraints account for the useful signal spaces spanning all available spatial dimensions. That way, we reformulate all IA requirements to requirements involving ranks. Then, we present a convex relaxation of the RCRM problem inspired by recent results in compressed sensing and low-rank matrix completion theory that rely on approximating rank with the nuclear norm. We show that the convex envelope of the sum of ranks of the interference matrices is the normalized sum of their corresponding nuclear norms and introduce tractable constraints that are asymptotically equivalent to the rank constraints for the initial problem. We also show that our heuristic relaxation can be tuned for the multi-cell interference channel. Furthermore, we experimentally show that in many cases the proposed algorithm attains perfect interference alignment and in some cases outperforms previous approaches for finding precoding and zero-forcing matrices for interference alignment. We consider the 2 2 2 multiple-input multipleoutput interference channel where two source-destination pairs wish to communicate with the aid of two intermediate relays. In this paper, we propose a novel lattice strategy called Aligned Precoded Compute-and-Forward (PCoF). This scheme consists of two phases: 1) Using the CoF framework based on signal alignment we transform the Gaussian network into a deterministic finite field network. 2) Using linear precoding (over finite field) we eliminate the end-to-end interference in the finite field domain. Further, we exploit the algebraic structure of lattices to enhance the performance at finite SNR, such that beyond a degree of freedom result (also achievable by other means). We can also show that Aligned PCoF outperforms time sharing in a range of reasonably moderate SNR, with increasing gain as SNR increases.