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.
Also at the heuristic level, @cite_10 proposed to determine feasibility of alignment by counting the number of equations and comparing to the number of variables. This approach was carried out rigorously to show a necessary and sufficient condition in @cite_0 for the symmetric square case of @math antennas at all @math transmitters and receivers and by @cite_20 for the case that the number of transmit dimensions @math divides both the number of transmit and receive antennas. Several other works have subsequently pursued a similar approach for related problems, including @cite_11 , @cite_3 (both heuristic), and @cite_19 .
@cite_3 @cite_0 @cite_19 @cite_10 @cite_20 @cite_11
2111785671 1525037223 2011127971 2168095411 1971328044 2154415981
We consider interference alignment in the partially connected K-user MIMO interference channel (IC). Conversely to the fully-connected case, we show that interference alignment can be achievable for an arbitrary number of users K in the network, while the per-user signaling dimension remains fixed, provided that the number of interference links per user is bounded. For this class of channels, which we denote by L-interfering K-user MIMO IC, we provide a criterion applicable to symmetric systems for the system of IA equations to be proper, according to the framework introduced earlier by Properness is a necessary condition for IA to be feasible. Interestingly, this criterion is independent from the number of users K. Furthermore, we propose an iterative algorithm to solve the alignment problem for this class of channels. Determining the feasibility conditions for vector space interference alignment in the K-user MIMO interference channel with constant channel coefficients has attracted much recent attention yet remains unsolved. The main result of this paper is restricted to the symmetric square case where all transmitters and receivers have N antennas, and each user desires d transmit dimensions. We prove that alignment is possible if and only if the number of antennas satisfies N>= d(K+1) 2. We also show a necessary condition for feasibility of alignment with arbitrary system parameters. An algebraic geometry approach is central to the results. We study the degrees of freedom (DoF) of the @math -user interference channel with coordinated multipoint (CoMP) transmission and reception. Each message is jointly transmitted by @math successive transmitters, and is jointly received by @math successive receivers. We refer to this channel as the CoMP channel with a transmit cooperation order of @math and receive cooperation order of @math . Since the channel has a total of @math transmit antennas and @math receive antennas, the maximum possible DoF is equal to @math . We show that the CoMP channel has @math DoF if and only if @math . The key idea is that the zero forcing of the interference corresponding to the @math message at the decoder of the @math message, where @math , can be viewed as a shared responsibility between the @math transmitters carrying the @math message, and the @math receivers decoding the @math message. For the general case, we derive an outer bound that states that the DoF is bounded above by @math . For the special case with only CoMP transmission, i.e, @math , we propose a scheme that can achieve @math DoF for all @math K @math M_ t @math M_ t -1$ receivers, thereby allowing each of these receivers to enjoy 1 DoF, and asymptotic interference alignment is used to align the interfering signals at each other receiver to occupy half the signal space. The achievability proofs are based on the notion of algebraic independence from algebraic geometry. We explore the feasibility of interference alignment in signal vector space-based only on beamforming-for K-user MIMO interference channels. Our main contribution is to relate the feasibility issue to the problem of determining the solvability of a multivariate polynomial system which is considered extensively in algebraic geometry. It is well known, e.g., from Bezout's theorem, that generic polynomial systems are solvable if and only if the number of equations does not exceed the number of variables. Following this intuition, we classify signal space interference alignment problems as either proper or improper based on the number of equations and variables. Rigorous connections between feasible and proper systems are made through Bernshtein's theorem for the case where each transmitter uses only one beamforming vector. The multibeam case introduces dependencies among the coefficients of a polynomial system so that the system is no longer generic in the sense required by both theorems. In this case, we show that the connection between feasible and proper systems can be further strengthened (since the equivalency between feasible and proper systems does not always hold) by including standard information theoretic outer bounds in the feasibility analysis. Consider a K-user flat fading MIMO interference channel where the kth transmitter (or receiver) is equipped with Mk (respectively Nk) antennas. If an exponential (in K) number of generic channel extensions are used either across time or frequency, Cadambe and Jafar [1] showed that the total achievable degrees of freedom (DoF) can be maximized via interference alignment, resulting in a total DoF that grows linearly with A even if Mk and Nk are bounded. In this work we consider the case where no channel extension is allowed, and establish a general condition that must be satisfied by any degrees of freedom tuple (d1. d2....dK) achievable through linear interference alignment. For a symmetric system with Mk = M, Nk = N, dk = d for all k, this condition implies that the total achievable DoF cannot grow linearly with K, and is in fact no more than K(M + N) (K + 1). We also show that this bound is tight when the number of antennas at each transceiver is divisible by d, the number of data streams per user. We explore the feasibility of linear interference alignment (IA) in MIMO cellular networks. Each base station (BTS) has N t transmit antennas, each mobile has N r receive antennas, and a BTS transmits a single beam to each active user. We present a necessary Zero-Forcing (ZF) condition for zero interference in terms of the number of users, the number of cells, N t and N r . We then examine the performance of iterative (forward-backward) algorithms for jointly optimizing the transmit precoders with linear receivers. Modifications of the max-SINR and minimum leakage algorithms are presented, which are observed to converge to a ZF solution whenever the necessary conditions are satisfied. In contrast, convergence of the (original) max-SINR algorithm is problematic when the necessary conditions are satisfied with (near) equality. A more restrictive ZF condition is presented, which predicts when these convergence problems are unlikely to occur.