 Research
 Open access
 Published:
Low complexity interference alignment algorithms for desired signal power maximization problem of MIMO channels
EURASIP Journal on Advances in Signal Processing volume 2012, Article number: 137 (2012)
Abstract
In this article, we investigate the interference alignment (IA) solution for a Kuser MIMO interference channel. Proper users’ precoders and decoders are designed through a desired signal power maximization model with IA conditions as constraints, which forms a complex matrix optimization problem. We propose two low complexity algorithms, both of which apply the Courant penalty function technique to combine the leakage interference and the desired signal power together as the new objective function. The first proposed algorithm is the modified alternating minimization algorithm (MAMA), where each subproblem has closedform solution with an eigenvalue decomposition. To further reduce algorithm complexity, we propose a hybrid algorithm which consists of two parts. As the first part, the algorithm iterates with Householder transformation to preserve the orthogonality of precoders and decoders. In each iteration, the matrix optimization problem is considered in a sequence of 2D subspaces, which leads to one dimensional optimization subproblems. From any initial point, this algorithm obtains precoders and decoders with low leakage interference in short time. In the second part, to exploit the advantage of MAMA, it continues to iterate to perfectly align the interference from the output point of the first part. Analysis shows that in one iteration generally both proposed two algorithms have lower computational complexity than the existed maximum signal power (MSP) algorithm, and the hybrid algorithm enjoys lower complexity than MAMA. Simulations reveal that both proposed algorithms achieve similar performances as the MSP algorithm with less executing time, and show better performances than the existed alternating minimization algorithm in terms of sum rate. Besides, from the view of convergence rate, simulation results show that the MAMA enjoys fastest speed with respect to a certain sum rate value, while hybrid algorithm converges fastest to eliminate interference.
Introduction
Interference alignment (IA) technique is recently brought to show that each user can achieve half degree of freedom (DoF) in the Kuser interference channel. It jointly optimizes precoding matrices for all transmitters, so that all interferences at one receiver fall into a reduced dimensional subspace. Then by multiplying decoding matrix orthogonal to this subspace, the certain receiver can extract the desired signals without interference. By utilizing the IA techniques, Cadambe and Jafar[1] showed that the achieved sum capacity of the Kuser interference channel scales linearly with the number of users, in the high signaltonoiseratio (SNR) regime. Generally, the IA solutions are required to satisfy the following conditions simultaneously:

(1)
all the interferences are eliminated;

(2)
all the subspaces for desired signals are full rank;

(3)
precoders and decoders are required to be orthogonal.
The Yetis et al.[2] related the feasibility of the IA conditions in fully connected interference channel to the problem of determining the solvability of a multivariate polynomial system, with arbitrary antenna configurations. The achievable DoFs are also discussed based on this polynomial system, relating to users’ number of antennas and the number of users[3]. The analysis is further extended to that in partially connected channels[4–6].
From the signal processing point of view, the procedure of IA is to solve precoders and decoders according to the three conditions with a feasible IA system. However, the solution to this feasible problem is still not known in general. There are available closed form solutions only for certain cases, such as 3user MIMO channel with N antennas each user equips with and N / 2 DoFs each user requires, and Kuser channel where each user equips with K − 1 antennas and wishes to achieve 1 DoF. For general cases, the system is turned into an optimization problem minimizing the total leakage interference and preserving the orthogonality of precoders and decoders as constraints, which is denoted as leakage interference minimization (LIM) problem. With the solution, the IA condition 2 can be almost surely satisfied if channels have no special structures[7]. LIM problem is proved to be NPhard when the number of antennas each user equips with are greater than 3[8]. Thus, iterative algorithms rather than the analytical solutions should be considered. Gomadam et al.[7] exploited the channel reciprocity and proposed an alternating minimization algorithm (AMA) to design precoders and decoders in a distributed way. Then each subproblem is equivalent to an eigenvalue problem with eigenvalue decomposition required. In the AMA, although the leakage interference can be perfectly canceled after convergence, its performance in terms of sum rate is not optimal. In fact, it is pointed out that for general interference channels the constructed LIM problem has a large number of different IA solutions obtained from different initial points, which lead to different achieved sum rate values[9]. The main reason is that the AMA only eliminates the interference in the desired signal space without considering the system sum rate, which results in a suboptimal sum rate achieved with finite signal power.
Gomadam et al.[7] also noticed the disadvantage of AMA, and then proposed the Max signaltointerferenceandnoiseratio (SINR) algorithm as well. In each iteration, the basic idea of the MaxSINR algorithm is to choose the precoders and decoders stream by stream, with aim to maximize the SINR of each stream instead of minimizing the leakage interference. Due to the relaxation of the IA condition 3, the IA condition 2 does not hold anymore in this algorithm, which means the required DoFs might not be satisfied. This analysis accords with the performances shown in[7], that it achieves higher sum rate than the AMA sin intermediate SNR regime, however suffers from the loss of required DoFs in the high SNR regime. Many other algorithms can also be designed to perform like MaxSINR, however none of them can achieve the optimal DoFs without IA conditions[10]. Further, IA scheme provides the receivers interferencefree subspaces, with which receivers completely get rid of complicated cancelation of interference. Thus, it is important to improve IA algorithms in general SNR scenarios.
Prior study in[11] proposes an iterative algorithm using the gradient descent method to solve the new IA model, where the utility function of either sum rate or the desired signal power is maximized with the IA conditions 1 and 3 as constraints. The corresponding MSP algorithm is shown to obtain higher sum rate than the AMA generally regardless of the initial point and higher than MaxSINR in high SNR regime. However, it requires a series of eigenvalue decompositions and compact singular value decompositions (SVDs), which lead to high computational complexity. Besides, the MSP algorithm has much slower convergence rate than the AMA.
Nevertheless, in practical systems, receivers have limited computational complexity, which might be a bottleneck for the complexity of the algorithms. Besides, channel reciprocity requires TDD operations which restrict the executing time of the algorithms. Therefore, the principal question here is how to design proper algorithms to balance the achieved sum rate with computational complexity and computing time. In this article, we aim to propose algorithms to maintain the advantage of the MSP algorithm with faster convergence, lower complexity and less executing time. Two efficient algorithms are proposed to solve the desired signal power maximization IA problem. First we propose a modified alternating minimization algorithm (MAMA) with Courant penalty function technique. Then, to further reduce the algorithm complexity, a new algorithm with Householder transformation (AHT) is proposed, where a twodimensional subspace method is applied to solve subproblems. It acts to obtain precoders and decoders with low leakage interference in short time, and then the MAMA continues iterating to get perfect IA, which forms the hybrid algorithm.
The remaining article is organized as follows: In Section “Desired signal power maximization interference alignment model”, the desired signal power maximization model is presented. The two algorithms, MAMA and hybrid algorithm, are proposed in Sections “Modified alternating minimization algorithm” and “A hybrid algorithm”, respectively. The computational complexity of the proposed algorithms and MSP algorithm are analyzed in Section “Analysis of computational complexity”. Numerical results and further remarks are shown in Section “Simulations”.
Notation: Lowercase and uppercase boldface represent vectors and matrices, respectively. ℂ represents the complex domain. Re(a) means the real part of scalar a. tr(A) and ∥A∥_{ F } are the trace and the Frobenius norm of matrix A, respectively. I_{ d } represents the d × d identity matrix.\mathcal{K}\phantom{\rule{0.2em}{0ex}} represents the set of the user indices {1, 2, …, K}.\mathcal{CN}(μ,σ^{2}) means the complex Gaussian distribution with mean μ and variance σ^{2}. And we use E_{ X }(·) to denote the statistical expectation with the variable X. O(n) means the same order amount of n.
Desired signal power maximization IA model
Consider a Kuser interference MIMO channel (M × N, d)^{K} as in Figure1, where each transmitter equips with M antennas, each receiver with N antennas and each user pair wishes to achieve d DoFs. Suppose s_{ k } ∈ ℂ^{d×1} denotes the transmit signal vector of the k th user with power covariance asE\left({\mathbf{s}}_{k}{\mathbf{s}}_{k}^{H}\right)=(P/d){\mathbf{I}}_{d}, where P is the total transmit power of each user. For convenience we unify the transmit power of each stream, i.e. P / d = 1. After receiving the signal y_{ k }, the k th receiver multiplies decoding matrix to it on the left, which is expressed as:
where H_{ kl } ∈ ℂ^{N×M} denotes the channel matrix between the k th transmitter and the l th receiver, and{\mathbf{V}}_{k}\in {\u2102}^{M\times d}, U_{ k } ∈ ℂ^{N×d} represent the precoder and decoder of the k th user, respectively. The three terms of (1) on the right side represent the desired signal, the interference from other users and the noise with distribution of\mathcal{C}\mathcal{N}(0,{\sigma}_{k}^{2}{\mathbf{I}}_{N}) at the k th receiver, respectively. In this article we assume all the noises have the same covariance, that is{\sigma}_{k}^{2}={\sigma}^{2},k\in \mathcal{K}\phantom{\rule{0.2em}{0ex}}.
Following the feasible condition for IA system, IA scheme is defined as[7]:
The original idea of IA only consists of (2) and (3). Noticing that for any precoding and decoding matrices {V_{ k }, U_{ k }, k ∈ \mathcal{K}\phantom{\rule{0.2em}{0ex}}} that satisfy these two conditions, {V_{ k }P_{ k }, U_{ k }Q_{ k }, k ∈ \mathcal{K}\phantom{\rule{0.2em}{0ex}}} also satisfy (2) and (3) as long as {P_{ k },Q_{ k } ∈ℂ ^{d×d},k ∈ \mathcal{K}\phantom{\rule{0.2em}{0ex}}} are all nonsingular matrices. This indicates that the solutions of the IA system are not unique and the solution matrices form ddimensional subspaces. Therefore, we require the columns of V_{ k },U_{ k },k ∈ \mathcal{K}\phantom{\rule{0.2em}{0ex}} to be the orthogonal basis of the corresponding subspaces, which is the condition (4).
Besides the requirement of (2) and (4), we wish to maximize the desired signal power, in order to achieve sufficiently high sum rate. Suppose all the transmit signals are statistically independent of each other. We can obtain the expected total desired signal power
Based on the above analysis, we present the desired signal power maximization (PM) model as follows:
This model was first brought in[11], in which its performance is compared with the sum rate maximization (SRM) model. The PM model can achieve similar performance as the SRM model, while its related optimization problem is much simpler. Therefore it is a good way to approximate the SRM model by the PM model[11]. Thus in this article we only focus on solving (5) to design proper precoders and decoders.
The sum of squares of the residuals of constraints (5b) is the total leakage interference, which is given by:
The essential idea of the AMA given by[7] is to minimize P^{I} alternately for U_{ k } and V_{ k }. From the formulation of (5), we know that the MSP algorithm in[11] solves it by increasing P^{S} while reducing P^{I} towards zero at the same time. Here we briefly introduce the framework of MSP. In each iteration for each precoder and decoder, an AMA step is first taken to reduce P^{I}. And then the iterative point go along the gradient direction of P^{S} to increase it, whose stepsize gradually shrinks to 0 in order to perfectly align the interference by simply taking AMA steps in the last few iterations. MSP algorithm requires a series of eigenvalue decompositions and SVDs, which bring in high computational complexity and complicated matrix computations. Therefore we wish to propose algorithms for (5) with lower complexity and less complicated computations.
Modified alternating minimization algorithm (MAMA)
In this section, we present our first low complexity algorithm, the MAMA. The main difficulty for solving the highly nonlinear nonconvex optimization problem (5) is to deal with the nonlinear constraint (5b). Noticing that (5a) and the penalty term (6) for (5b) have quite similar expressions, we can combine these two together by the Courant penalty function technique[12] as in the next section.
Courant penalty function technique
Courant penalty function technique is a classic penalty function technique, which avoids dealing with constraints by moving them to the objective function. The basic idea is to replace the constraints with a penalty term scaled by a parameter C. The penalty term is the sum of squares of all the constraint violations. In (5), we apply Courant penalty technique to (5b) and keep the constraints (5c) in order to obtain the following simple constrained problem:
where P^{I} is defined by (6).
It is well known that if (5) is feasible, the solution of (7) converges to that of (5) as C approaches infinity[13]. Thus the solution of (5) can be approximated by that of (7). As pointed out in[13], the approximated error between the solutions of (7) and (5) is of the levelO\left(\frac{1}{C}\right), which concerns about the choice of the penalty parameter C. Therefore, theoretically, (7) with larger C would get better approximation of (5). However, in real computations, large C may lead to illconditioned objective function and consequently bring in numerical calculation difficulties. To avoid such difficulties caused by unnecessarily large C in the first few iterations, we initially set C as a small positive number such as C = 1. If sufficient reduction in P^{I} is not achieved, we increase C to σ_{0}C, where σ_{0} > 1 is a constant. The solution of (7), (U_{ k }(C), V_{ k }(C), k ∈ \mathcal{K}\phantom{\rule{0.2em}{0ex}}) provides a good initial point for solving (7) again when C is replaced by σ_{0}C. In this way we force P^{I} to reduce towards 0 eventually and the optimal solution of (5) can be obtained.
The overall algorithm
Via Courant penalty function technique our main task is now how to solve (7), which is quite similar to the LIM problem in which P^{I} is to be minimized. We can rewrite (7) as:
The only difference between the LIM problem and (8) is the objective function, as LIM minimizes the total leakage interference P^{I} subject to (8b). Thus, we can borrow the idea of the AMA in[7], to iterate V_{ k }, k ∈ \mathcal{K}\phantom{\rule{0.2em}{0ex}} and U_{ k }, k ∈ \mathcal{K}\phantom{\rule{0.2em}{0ex}} alternatively in each iteration. Fixing all V_{ k }, k ∈ \mathcal{K}\phantom{\rule{0.2em}{0ex}}in (8), U_{ k }, k ∈ \mathcal{K}\phantom{\rule{0.2em}{0ex}} become independent of each other. In this case, (8) turns into K independent subproblems with formulas as:
We can obtain the closedform solution of (9) as{\mathbf{U}}_{k}={\nu}_{\text{min}}^{d}\left({\mathbf{J}}_{k}\right),k\in \mathcal{K}\phantom{\rule{0.2em}{0ex}}, which means the columns of U_{ k } are eigenvectors corresponding to the d smallest eigenvalues of
Similar solutions of V_{ k } can be achieved when fixing all U_{ k }, k ∈ \mathcal{K}\phantom{\rule{0.2em}{0ex}}. Of course, we need a technique to update the penalty parameter C according to P^{I} during iterations.
Based on the above deboldscriptions, our MAMA for the PM model (5) is stated as follows (Algorithm 1).
Algorithm 1: modified alternating minimization algorithm

1.
Set initial precoders V _{ k } and decoders U _{ k }, k ∈ \mathcal{K}\phantom{\rule{0.2em}{0ex}}, the initial penalty parameter C and σ _{0} > 1. {\stackrel{\u0304}{P}}^{I}={P}^{I}({\mathbf{U}}_{k},{\mathbf{V}}_{k}).

2.
For decoders: {\mathbf{U}}_{k}={\nu}_{\mathit{\text{min}}}^{d}\left({\mathbf{J}}_{k}\right),k\in \mathcal{K}\phantom{\rule{0.2em}{0ex}} from above.

3.
For precoders: {\mathbf{V}}_{k}={\nu}_{\mathit{\text{min}}}^{d}\left({\stackrel{~}{\mathbf{J}}}_{k}\right),k\in \mathcal{K}\phantom{\rule{0.2em}{0ex}}, where {\stackrel{~}{\mathbf{J}}}_{k}=C\sum _{l\ne k}{\mathbf{H}}_{\mathit{\text{lk}}}^{H}{\mathbf{U}}_{l}{\mathbf{U}}_{l}^{H}{\mathbf{H}}_{\mathit{\text{lk}}}{\mathbf{H}}_{\mathit{\text{kk}}}^{H}{\mathbf{U}}_{k}{\mathbf{U}}_{k}^{H}{\mathbf{H}}_{\mathit{\text{kk}}}.

4.
If the algorithm converges, then stop and output V _{ k }, U _{ k }, k ∈ \mathcal{K}\phantom{\rule{0.2em}{0ex}}. If {P}^{I}({\mathbf{U}}_{k},{\mathbf{V}}_{k})>{\stackrel{\u0304}{P}}^{I}1/C, then increase the penalty parameter C := σ _{0} C. If {P}^{I}({\mathbf{U}}_{k},{\mathbf{V}}_{k})<{\stackrel{\u0304}{P}}^{I}, let {\stackrel{\u0304}{P}}^{I}={P}^{I}({\mathbf{U}}_{k},{\mathbf{V}}_{k}). Go to step 2.
In the original AMA of[7], eigenvectors corresponding to the d smallest eigenvalues of positive semidefinite matrices\{{\sum}_{l\ne k}{\mathbf{H}}_{\mathit{\text{kl}}}{\mathbf{V}}_{l}{\mathbf{V}}_{l}^{H}{\mathbf{H}}_{\mathit{\text{kl}}}^{H},k\in \mathcal{K}\} and those of\{{\sum}_{l\ne k}{\mathbf{H}}_{\mathit{\text{kl}}}^{H}{\mathbf{U}}_{l}{\mathbf{U}}_{l}^{H}{\mathbf{H}}_{\mathit{\text{kl}}},k\in \mathcal{K}\} are required. In our MAMA, the matrices J_{ k } and{\stackrel{~}{\mathbf{J}}}_{k} are not necessarily positive semidefinite, since the objective function value of (8) might be negative with feasible solution of quite low P^{I} and high P^{S}.
Although our MAMA avoids calculating SVD which is required by the MSP algorithm given by[11], eigenvalue decompositions are still required for solving subproblems. This lends an impetus to further improvement.
A hybrid algorithm
In order to further reduce the complexity of our MAMA, we propose a hybrid technique in this section. First, we give an AHT, which is a very low complexity algorithm for (5). This algorithm is free from complicated matrix computation, such as eigenvalue decomposition, SVD and QR factorization, and enjoys lower computational complexity than MAMA.
Algorithm with Householder transformation
In this algorithm, we still use the Courant penalty function technique. Thus we focus on problem (7). The only constraints of (7) are orthogonal constraints. We require all the iterative points U_{ k } and V_{ k } generated by our algorithms are feasible, namely (7b) are always satisfied. By requiring feasibility, basically we are solving an unconstrained optimization problem on the Grassmann manifold. Otherwise, if we allow iterations go outside the feasible region, we will have to adopt some technique, such as projection, to draw the iterations back to the feasible region, which can be complicated. For example, the projection to the set of orthogonal matrices can be a nondifferentiable operator and timeconsuming to compute.
Preserving orthogonality
Let{\mathbf{V}}_{k}^{i} denotes the precoder of the k th user in the i th iteration. Suppose both{\mathbf{V}}_{k}^{i} and{\mathbf{V}}_{k}^{i+1} are orthogonal, there should exist a unitary matrix{\mathbf{P}}_{k}^{i}\in {\u2102}^{M\times M} such that
The straightforward approach is to search for all unitary matrices{\mathbf{P}}_{k}^{i}\in {\u2102}^{M\times M}, but this can be computationally very expensive. We consider a special class of unitary matrices, the Householder matrices, which can be represented as P = I − 2pp^{H} with p^{H}p = 1. The use of Householder transformation can not only preserve orthogonality, but also turn the problem from a matrix optimization into a vector optimization problem. In the i th iteration with fixed{\mathbf{V}}_{k}^{i},{\mathbf{U}}_{k}^{i},k\in \mathcal{K}\phantom{\rule{0.2em}{0ex}} as certain feasible solution of (7), we try to obtain orthogonal vectors V_{ k }, U_{ k }, k ∈ \mathcal{K}\phantom{\rule{0.2em}{0ex}} and set
as the precoders and decoders in the (i + 1)th iteration. Here, V_{ k }, U_{ k }, k ∈ \mathcal{K}\phantom{\rule{0.2em}{0ex}} are regarded as optimal (or suboptimal) solutions to minimize the objective function value of (7),P({\mathbf{U}}_{k}^{i+1},{\mathbf{V}}_{k}^{i+1},C)=P\left(\right({\mathbf{I}}_{N}2{\mathbf{u}}_{k}{\mathbf{u}}_{k}^{H}){\mathbf{U}}_{k}^{i},({\mathbf{I}}_{M}2{\mathbf{v}}_{k}{\mathbf{v}}_{k}^{H}){\mathbf{V}}_{k}^{i},C).
As precoding and decoding matrices are updated according to Householder transformation in each iteration, the new algorithm is denoted as AHT.
Alternating directions
Substituting (10) into (7), we get (11) with variables V_{ k }, U_{ k }, k ∈ \mathcal{K}\phantom{\rule{0.2em}{0ex}}:
With the fact that
we can rewrite the objective function of (11) as:
where{\mathbf{A}}_{k}=C{\sum}_{l\ne k,l\in \mathcal{K}}{\mathbf{H}}_{\mathit{\text{lk}}}^{H}{\mathbf{U}}_{l}^{i+1}{\left({\mathbf{U}}_{l}^{i+1}\right)}^{H}{\mathbf{H}}_{\mathit{\text{lk}}}{\mathbf{H}}_{\mathit{kk}}^{H}{\mathbf{U}}_{k}^{i+1}{\left({\mathbf{U}}_{k}^{i+1}\right)}^{H}{\mathbf{H}}_{\mathit{kk}},k\in \mathcal{K}\phantom{\rule{0.2em}{0ex}}.
Fixing all u_{ l }, l ∈ \mathcal{K}\phantom{\rule{0.2em}{0ex}} in (11),{\mathbf{U}}_{l}^{i+1},l\in \mathcal{K}\phantom{\rule{0.2em}{0ex}} are determined according to (10), and thus V_{ k }, k ∈ \mathcal{K}\phantom{\rule{0.2em}{0ex}} become independent of each other. Therefore, (11) is decomposed into K subproblems with the same form as follows:
Here x represents V_{ k }.\mathbf{A}=2\left(C{\sum}_{l\ne k,l\in \mathcal{K}}\right.{\mathbf{H}}_{\mathit{\text{lk}}}^{H}{\mathbf{U}}_{l}^{i+1}\left(\right)separators="">\n \n \n \n (\n \n \n U\n \n \n l\n \n \n i\n +\n 1\n \n \n )\n \n \n H\n \n \n \n \n H\n \n \n lk\n \n \n \u2212\n \n \n H\n \n \n kk\n \n \n H\n \n \n \n \n U\n \n \n k\n \n \n i\n +\n 1\n \n \n \n \n (\n \n \n U\n \n \n k\n \n \n i\n +\n 1\n \n \n )\n \n \n H\n \n \n \n \n H\n \n \n kk\n \n \n \n,\mathbf{B}=2{\mathbf{V}}_{k}^{i}{\left({\mathbf{V}}_{k}^{i}\right)}^{H} and C = (AB + BA)/2. Similarly, fixing all{\mathbf{v}}_{k},k\in \mathcal{K}\phantom{\rule{0.2em}{0ex}}, it yields K subproblems like (14) from (11). Based on the analysis above, the alternating direction method can be applied to optimize V_{ k }, k ∈ \mathcal{K}\phantom{\rule{0.2em}{0ex}} and U_{ k }, k ∈ \mathcal{K}\phantom{\rule{0.2em}{0ex}} alternatively.
Subproblem: 2D subspace method
Subproblem (14) is a nonlinear optimization on the Stiefel manifold in complex field, which is not easy to handle. With the aim of low complexity, we abandon the second order method where Hessian matrix information is required. Instead, we apply a 2D subspace method to solve it iteratively[14]. We define the subspace spanned by x_{0} and\stackrel{~}{\mathbf{g}} as
where x_{0} is the current iterative feasible point and\stackrel{~}{\mathbf{g}} represents its normalized gradient of the Lagrangian function of (14). In each step, the feasible domain of x shrinks from the Stiefel manifold x^{H}x = 1 toS({\mathbf{x}}_{0},\stackrel{~}{\mathbf{g}}).
Here\stackrel{~}{\mathbf{g}} is calculated as follows. First, the Lagrangian function of (14) is expressed as:
where λ is the Lagrange multiplier. Then the gradient of (15) is
where g_{0} is the gradient of the objective function f at the point x_{0}:
As a necessary condition of the first order optimality condition of (14), we require{\mathbf{g}}^{H}{\mathbf{x}}_{0}=0. Thus\lambda =2\left({\mathbf{x}}_{0}^{H}{\mathbf{Ax}}_{0}\right)\left({\mathbf{x}}_{0}^{H}{\mathbf{Bx}}_{0}\right){\mathbf{x}}_{0}^{H}{\mathbf{Cx}}_{0} is deduced due to{\mathbf{x}}_{0}^{H}{\mathbf{x}}_{0}=1. Once λ is computed, g can be chosen by (16) and we can let\stackrel{~}{\mathbf{g}}=\mathbf{g}/\parallel \mathbf{g}{\parallel}_{2}.
To maintainS({\mathbf{x}}_{0},\stackrel{~}{\mathbf{g}}) on the Stiefel manifold, any point\mathbf{x}\in S({\mathbf{x}}_{0},\stackrel{~}{\mathbf{g}}) should satisfy{\mathbf{x}}^{H}\mathbf{x}={b}^{2}\parallel {\mathbf{x}}_{0}{\parallel}^{2}+{a}^{2}\parallel \stackrel{~}{\mathbf{g}}{\parallel}^{2}=1. Thus a^{2} + b^{2} = 1, a ∈ [−1, 1], namelyb=\pm \sqrt{1{a}^{2}}. For any a ∈ [−1, 1], the objective function of (14) share the same function value at\sqrt{1{a}^{2}}{\mathbf{x}}_{0}+a\stackrel{~}{\mathbf{g}} and\sqrt{1{a}^{2}}{\mathbf{x}}_{0}a\stackrel{~}{\mathbf{g}}. Therefore, we only consider the caseb=\sqrt{1{a}^{2}} to avoid redundant solutions.
Taking the expression of\mathbf{x}\in S({\mathbf{x}}_{0},\stackrel{~}{\mathbf{g}}) into (14), it turns into a one dimensional constraint optimization problem with variable a:
where the current iterative point x_{0} corresponds to a = 0, and
Newton’s method with line search is applied to solve (17) and a local minimizer is guaranteed to be found[13].
The method to solve subproblem (14) is summarized as follows:
Subalgorithm: two dimensional subspace method

1.
Given any initial feasible point x _{0} and the maximum iteration number T ^{inner}, t _{1} = 1.

2.
Calculate \stackrel{~}{\mathbf{g}} and construct subproblem (17).

3.
Solve (17) by Newton’s method with line search and {\mathbf{x}}_{0}:=\sqrt{1{a}^{2}}{\mathbf{x}}_{0}+a\stackrel{~}{\mathbf{g}}. If the objective function of (14) does not reduce or t _{1} = T ^{inner}, stop and output x _{0}; else t _{1} := t _{1} + 1, go to Step 2.
The maximum iteration number T^{inner} relates to the efficiency of the algorithm. It should not be too large or too small, in order to avoid spending too much time for subproblem or insufficient reduction of the objective function value. We will discuss its specific choice in Section “Simulations”.
As the projection to the Stiefel manifold x^{H}x = 1 is very easy to compute, projected gradient method is also a common approach to solve (14). In the following theorem and remark, we compare our 2D subspace method with the projected gradient method and show the advantage of our method.
Theorem 1
Denote the projected gradient step started from x _{ 0 } with stepsize α as:
On one hand, for any vector\mathbf{x}\in S({\mathbf{x}}_{0},\stackrel{~}{\mathbf{g}}), there exists a stepsize α ∈ ℝ, such that x is expressed as (18); on the other hand, for any α ∈ ℝ, the projected gradient step x ( α ) can be expressed as the linear combination of x _{ 0 } and\stackrel{~}{\mathbf{g}}, which means\mathbf{x}\left(\alpha \right)\in S({\mathbf{x}}_{0},\stackrel{~}{\mathbf{g}}).
Proof. See the Appendix.
Remark 1
Theorem 1 shows that step in certain 2D subspace and the projected gradient step can be mutually expressed. Thus the minimization of the objective function f on the 2D subspace S({\mathbf{x}}_{0},\stackrel{~}{\mathbf{g}}) and that along the projected gradient step are essentially the same. The 2D subspace problem is easy to handle, as shown above; but the search for (18) may be quite difficult, because the projection operator would make the objective function nondifferentiable and lose the common Taylor expansion, consequently it is nontrivial to search for proper stepsize α . Due to these considerations, we use the 2D subspace method rather than the projected gradient method to solve (14).
Framework of AHT algorithm
According to the above discussions, the framework of the AHT algorithm can be concluded as follows (Algorithm 2).
Algorithm 2: algorithm with Householder transformation

1.
Set initial precoders and decoders as {\mathbf{V}}_{k}^{0},{\mathbf{U}}_{k}^{0},k\in \mathcal{K}\phantom{\rule{0.2em}{0ex}}, parameter T ^{inner} in 2D subspace, the maximum inner iteration number T ^{outer}, the initial penalty parameter C, parameter σ _{0} > 1 for C and the stopping parameter ε. i = 0.

2.
Solve (11) iteratively: fix {\mathbf{U}}_{k}^{i},{\mathbf{V}}_{k}^{i},k\in \mathcal{K}\phantom{\rule{0.2em}{0ex}}, and set the initial normalized vectors U _{ k }, V _{ k }, k ∈ \mathcal{K}\phantom{\rule{0.2em}{0ex}}. t = 1.

(2.1)
For precoders: fix U_{ k }, k ∈ \mathcal{K}\phantom{\rule{0.2em}{0ex}}. For k ∈ \mathcal{K}\phantom{\rule{0.2em}{0ex}}, construct A, B, C in (14) and solve it with 2D subspace method to obtain V_{ k }.

(2.2)
For decoders: fix V_{ k }, k ∈ \mathcal{K}\phantom{\rule{0.2em}{0ex}}. Similarly to Step 2.1, obtain new{\mathbf{u}}_{k},k\in \mathcal{K}\phantom{\rule{0.2em}{0ex}} by solving (14).

(2.3)
Calculate{\mathbf{U}}_{k}^{i+1},{\mathbf{V}}_{k}^{i+1},k\in \mathcal{K}\phantom{\rule{0.2em}{0ex}} from (10). If t = T^{outer} or{P}^{I}({\mathbf{U}}_{k}^{i+1},{\mathbf{V}}_{k}^{i+1})\le {P}^{I}({\mathbf{U}}_{k}^{i},{\mathbf{V}}_{k}^{i})1/C, go to Step 3; else t := t + 1, go to step 2.1.

(2.1)

3.
If {P}^{I}({\mathbf{U}}_{k}^{i+1},{\mathbf{V}}_{k}^{i+1})>{P}^{I}({\mathbf{U}}_{k}^{i},{\mathbf{V}}_{k}^{i})1/C, increase the penalty parameter C := σ _{0} C. If {P}^{I}({\mathbf{U}}_{k}^{i+1},{\mathbf{V}}_{k}^{i+1})<\epsilon, stop and output {\mathbf{U}}_{k}:={\mathbf{U}}_{k}^{i+1},{\mathbf{V}}_{k}:={\mathbf{V}}_{k}^{i+1},k\in \mathcal{K}\phantom{\rule{0.2em}{0ex}}; else i := i + 1, go to Step 2.
In our simulations, t is usually no more than 5 when{P}^{I}({\mathbf{U}}_{k}^{i+1},{\mathbf{V}}_{k}^{i+1})\le {P}^{I}({\mathbf{U}}_{k}^{i},{\mathbf{V}}_{k}^{i})1/C is achieved in Step 2. T^{outer}, the maximum number of inner iterations inside Step 2, acts to avoid extreme situation with too much time to solve subproblems. Thus we suggest T^{outer} = 5.
Hybrid algorithm
Although the AHT algorithm enjoys lower complexity than MAMA as analyzed in the next section, it solves subproblem (14) inexactly by successive 2D subspace minimizations. This reduces the objective function value rapidly at first, however the speed becomes much more slowly when the iterative point approaches a local optimal solution. Simulation also verifies that it is quite difficult to align the interference perfectly with the AHT algorithm. In contrast, MAMA solves subproblem (9) exactly with closed form solution. The sequence generated by MAMA converges fast near the solution, which is complementary to that of AHT.
In order to make full use of the low complexity of AHT and the fast local convergence property of MAMA, it seems reasonable for us to combine these two methods together into a hybrid algorithm. We believe that such a hybrid algorithm will enjoy the properties of low complexity and fast local convergence, which are verified by our simulation tests reported in Section “Simulations”.
This hybrid algorithm consists of two stages. In the first stage, it uses the AHT algorithm to iterate from any starting point to a point near the solution. Then, the algorithm switches to MAMA, namely it applies MAMA to converge to the solution, by starting from the point obtained by AHT (Algorithm 3).
Algorithm 3: hybrid algorithm

1.
Set initial precoders and decoders as {\mathbf{V}}_{k}^{0},{\mathbf{U}}_{k}^{0},k\in \mathcal{K}\phantom{\rule{0.2em}{0ex}}, the penalty parameter C = 1.

2.
Input the initial iterative point and penalty parameter into the AHT algorithm. Set its stopping criterion as {P}^{I}({\mathbf{U}}_{k},{\mathbf{V}}_{k})<0.01{P}^{I}({\mathbf{U}}_{k}^{0},{\mathbf{V}}_{k}^{0}). Output the corresponding V _{ k }, U _{ k }, k ∈ \mathcal{K}\phantom{\rule{0.2em}{0ex}} and the current penalty parameter C _{AHT} = C.

3.
Input V _{ k }, U _{ k }, k ∈ \mathcal{K}\phantom{\rule{0.2em}{0ex}} and C = C _{AHT} as the initial iterative point and penalty parameter of MAMA, respectively. Iterate until convergence by the MAMA. Output the corresponding precoders and decoders V _{ k }, U _{ k }, k ∈ \mathcal{K}\phantom{\rule{0.2em}{0ex}}.
In some sense, it can be viewed that the AHT algorithm acts as a method to rapidly find a good initial point with low interference for MAMA. Starting from the good initial point, MAMA can converge very fast to a local optimal solution with perfect IA.
Analysis of computational complexity
In this section, we analyze the computational complexity of IA algorithms for PM model, including our two proposed algorithms MAMA and AHT, as well as the MSP algorithm from[11].
Advantages of low complexity algorithms
Before presenting the detailed analysis on the computational complexities of different algorithms, we provide the reasons for constructing low computational complexity IA algorithms for the PM model.

1.
No matter our algorithms or the existed IA algorithms, they all exploit the channel reciprocity to design the transmit precoders and receiver decoders in a distributed way. Such reciprocity is based on the time division duplex (TDD) operation with synchronized timeslot in the practical system. However, due to the time varying property of wireless channel, perfect reciprocity may be hard to achieve and result in residual interference at the receivers. This requires algorithms with short computing time to reduce the possibility of performance loss due to the imperfect reciprocity in practical systems [15].

2.
Furthermore, that the receivers generally have limited computational complexity, might be a bottleneck for the complexity of the algorithms. Thus we need to design algorithms with low complexity and simple computation, to satisfy the computation restriction of communication equipments.

3.
Also, algorithms with lower complexity are easier to be extended to large scale problems. For small scale problems, algorithms with low or high complexity do not differ much from each other. However as the problem dimension grows, high complexity algorithms can be very very slow for large scale problems because of too much computing time, while algorithms with lower complexity are more preferable.
Detailed analysis
Here we consider the number of complex multiplications as the complexity criterion. The AHT, MAMA and MSP algorithm are analyzed and compared. Their main computations in one iteration are listed as follows:

1.
The computation of {\mathbf{H}}_{\mathit{\text{kl}}}{\mathbf{V}}_{l}{\mathbf{V}}_{l}^{H}{\mathbf{H}}_{\mathit{\text{kl}}}^{H} and {\mathbf{H}}_{\mathit{\text{lk}}}^{H}{\mathbf{U}}_{l}{\mathbf{U}}_{l}^{H}{\mathbf{H}}_{\mathit{\text{lk}}},k,l\in \mathcal{K}\phantom{\rule{0.2em}{0ex}} are required for all the three algorithms. Let {\stackrel{~}{\mathbf{H}}}_{\mathit{\text{kl}}}={\mathbf{H}}_{\mathit{\text{kl}}}{\mathbf{V}}_{l}. Then we can calculate {\mathbf{H}}_{\mathit{\text{kl}}}{\mathbf{V}}_{l}{\mathbf{V}}_{l}^{H}{\mathbf{H}}_{\mathit{\text{kl}}}^{H} as {\stackrel{~}{\mathbf{H}}}_{\mathit{\text{kl}}}{\stackrel{~}{\mathbf{H}}}_{\mathit{\text{kl}}}^{H}. Similarly we can compute {\mathbf{H}}_{\mathit{\text{lk}}}^{H}{\mathbf{U}}_{l}{\mathbf{U}}_{l}^{H}{\mathbf{H}}_{\mathit{\text{lk}}} by introducing {\stackrel{\u0304}{\mathbf{H}}}_{\mathit{\text{lk}}}={\mathbf{H}}_{\mathit{\text{lk}}}^{H}{\mathbf{U}}_{l}. As k and l traverse all the elements in \mathcal{K}\phantom{\rule{0.2em}{0ex}}, the entire complexity is K ^{2}[(dMN + d N ^{2}) + (dMN + d M ^{2})] = K ^{2} d(2MN + N ^{2} + M ^{2}).

2.
Besides term 1, the AHT algorithm requires to compute {\mathbf{U}}_{k}{\mathbf{U}}_{k}^{H} and {\mathbf{V}}_{k}{\mathbf{V}}_{k}^{H}, with complexity of Kd(M ^{2} + N ^{2}).

3.
P ^{I} is computed in both the AHT and MAMA. Noticing that
{P}^{I}=\sum _{k\in \mathcal{K}}\sum _{l\ne k,l\in \mathcal{K}}\parallel {\mathbf{U}}_{k}^{H}{\mathbf{H}}_{\mathit{\text{kl}}}{\mathbf{V}}_{l}{\parallel}_{F}^{2}=\sum _{k\in \mathcal{K}}\sum _{l\ne k,l\in \mathcal{K}}\parallel {\mathbf{V}}_{k}^{H}{\mathbf{H}}_{\mathit{\text{lk}}}^{H}{\mathbf{U}}_{l}{\parallel}_{F}^{2},
we can compute\parallel {\mathbf{U}}_{k}^{H}{\stackrel{~}{\mathbf{H}}}_{\mathit{\text{kl}}}{\parallel}_{F}^{2} if N < M, or\parallel {\mathbf{V}}_{k}^{H}{\stackrel{\u0304}{\mathbf{H}}}_{\mathit{\text{lk}}}{\parallel}_{F}^{2} otherwise, where{\stackrel{~}{\mathbf{H}}}_{\mathit{\text{kl}}} and{\stackrel{\u0304}{\mathbf{H}}}_{\mathit{\text{lk}}} are the precomputed parameters in term 1. With the above analysis, the corresponding complexity isK(K1){d}^{2}\left(\text{min}\right(M,N)+1).

4.
AHT algorithm requires to update precoders and decoders by computing {\mathbf{U}}_{k}^{i+1},{\mathbf{V}}_{k}^{i+1},k\in \mathcal{K}\phantom{\rule{0.2em}{0ex}} in (10). With {\mathbf{U}}_{k}^{i+1}={\mathbf{U}}_{k}^{i}2{\mathbf{u}}_{k}\left({\mathbf{u}}_{k}^{H}{\mathbf{U}}_{k}^{i}\right), the complexity is K[(d ^{2} + dM) + (d ^{2} + dN)] = Kd(2d + M + N).

5.
In each inner iteration of our 2D subspace method for (14) in the AHT algorithm, it mainly requires computation of Ax, Bx, Cx = [A(Bx) + B(Ax)] /2, Ag and Bg, the complexity of which is 6N ^{2}, where n is the dimension of x. Suppose for each 2D subspace method, there are mostly T ^{inner} inner iterations, we can see that each iteration of AHT requires the total complexity of 6K T ^{inner} (M ^{2} + N ^{2}).

6.
One eigenvalue decomposition of matrix with dimension M × M requires 9M ^{3} complexity [16]. Both the MAMA and MSP algorithm need K eigenvalue decompositions of M × M matrices and K with dimension N × N. The entire complexity is 9K(M ^{3} + N ^{3}).

7.
The complexity of one compact SVD of matrix with dimension M × d(d < M) is 14M d ^{2} + 8d ^{3} [16]. The MSP algorithm requires K compact SVDs for matrices with dimension M × d and K with dimension N × d, whose complexity is K d ^{2}(14M + 14N + 16d).
Table1 shows the specific computational complexity of the three algorithms. Comparing the AHT and MAMA, besides the common terms, AHT owns term 2,4,5, while MAMA has term 6. With the fact that 1 ≤ d ≤ min(M, N), we can deduce that:
For term 5, as long as T^{inner} ≤ min(M, N), we have
Adding both sides of (19) and (20), we conclude that AHT has lower complexity than MAMA.
Similarly, we compare term 3 and term 7 to see the difference between the complexity of MAMA and MSP. As long as K ≤ 23 (which is usually the case in practical considered IA problems), the following inequality holds:
So the complexity of MAMA is lower than that of the MSP algorithm. Thus the algorithms ranked from low to high complexity in one iteration are AHT, MAMA and MSP. This also implies that the hybrid algorithm has lower complexity than MAMA and MSP.
Our above analysis compares the complexity of each iteration of different algorithms. However, in order to compare the computational complexity of different algorithms, we need to estimate the total number of iterations of all the algorithms under considerations, which is not easy. Therefore, we try to explain it by convergence curves with consuming time in simulations.
Simulations
In this section, we analyze our proposed algorithms the MAMA, AHT and hybrid algorithm by simulations, and compare them with the existed AMA[7] and MSP algorithm proposed in[11]. (5 × 5, 2)^{4} interference channels are considered, that is, K = 4, M = N = 5, d = 2, which satisfy the general feasibility condition[2, 3]. Each component of H_{ kl }, k, l ∈ \mathcal{K}\phantom{\rule{0.2em}{0ex}} is i.i.d complex Gaussian distribution\mathcal{CN}(0, 1).
We use sum rate as the measure of quality of service. The sum rate of the Kuser MIMO interference channel is expressed as follows:
where{\mathbf{L}}_{\mathit{\text{kl}}}={\mathbf{H}}_{\mathit{\text{kl}}}{\mathbf{V}}_{l}{\mathbf{V}}_{l}^{H}{\mathbf{H}}_{\mathit{\text{kl}}}^{H},k,l\in \mathcal{K}\phantom{\rule{0.2em}{0ex}},{\mathbf{F}}_{k}={\sigma}^{2}{\mathbf{I}}_{N}+\sum _{l\ne k,l\in \mathcal{K}}{\mathbf{L}}_{\mathit{\text{kl}}} and σ^{2} is the covariance of the additive white Gaussian noise at the receivers. Here we define the SNR as SNR = P / σ^{2} = d / σ^{2}.
In the AHT algorithm, we set T^{outer} = 5 and initially C = 1. For each figure, 250 random realization of different channel coefficients are generated to evaluate the average performance. For each realization the initial values of precoders and decoders{\mathbf{V}}_{k}^{0},{\mathbf{U}}_{k}^{0},k\in \mathcal{K}\phantom{\rule{0.2em}{0ex}} are randomly generated and remain the same in the compared algorithms.
Parameter analysis
As mentioned before, the choice of T^{inner} relates to the efficiency of the AHT algorithm and also the hybrid algorithm. In Figure2 we plot the convergence curves of the hybrid algorithms with parameter T^{inner} = 3, 5, 10, respectively. SNR equals 30 dB and σ_{0} = 20 here.
Figure2 reveals that, both the converged average sum rate and the convergence rate of the hybrid algorithms with different T^{inner} are quite similar. The curve with T^{inner} = 10 seems to be the worst, which accords with our complexity analysis as T^{inner} > min(M, N) = 5. In the upcoming simulations we set T^{inner} = 5 with which the hybrid algorithm obtains the highest sum rate, to improve the efficiency of our proposed algorithms.
Besides T^{inner}, we also compare the performances of the hybrid algorithms with different σ_{0}. σ_{0} determines the growth speed of the penalty parameter C, which represents the weight of P^{I} in the objective function of (7). If σ_{0} is too small, it would take many iterations for C to grow large, and thus affects the efficiency of the hybrid algorithm. On the other side, too large σ_{0} forces C to grow too fast, which makes (7) degenerate into the LIM problem in short time and that P^{S} cannot be increased efficiently.
Based on the aforementioned analysis, we plot the convergence curves of the hybrid algorithms with σ_{0} = 10, 20, 50 in Figure3. SNR is also set as 30 dB here. The three curves are very close to each other, which indicates that the algorithm is not sensitive to σ_{0}. In the following simulations we set σ_{0} = 20.
AHT algorithm
In this section, the relative iteration number to achieve certain leakage interference of the AHT and MSP algorithm are displayed in Figure4, to show the property of AHT algorithm. The stopping criterion is P^{I} ≤ 0.01. The average number of iterations of the MSP and AHT algorithm to solve one problem are 1233 and 583, respectively. To analyze the relative convergence performance, we use the normalized iterations, the ratio of the iterations at the certain point and the total iterations, as the xaxis. And the yaxis represents the total leakage interference P^{I}. Figure4 implies that to achieve the interference of 0.5 from the initial point, the AHT algorithm requires 7.5% of its total iterations while MSP requires 45%. Compared to the MSP algorithm, the AHT algorithm iterates rapidly to a point with low leakage interference P^{I}. Actually the main consuming time of AHT algorithm is used to reduce P^{I} from less than 1 towards 0.01, and the convergence rate becomes much slower when P^{I} is smaller. The performances here accords with the previous analysis.
Comparison of different IA algorithms
In this section, the performances of different IA algorithms are compared and analyzed, including our proposed MAMA, AHT and hybrid algorithm, as well as the existed MSP and AMA. The number of iterations of each algorithm to solve each problem is set as 3000, in order to perfectly align the interference. To take full advantage of AHT, we set its stopping parameter\epsilon =0.01{P}^{I}({\mathbf{U}}_{k}^{0},{\mathbf{V}}_{k}^{0}), where{\mathbf{V}}_{k}^{0},{\mathbf{U}}_{k}^{0},k\in \mathcal{K}\phantom{\rule{0.2em}{0ex}} are the initial precoders and decoders.
The average sum rate and relative computing time of the four algorithms (MAMA, Hybrid, MSP and AMA) with respect to different SNRs are depicted in Figures5 and6, respectively. Both our proposed algorithms show good performances, especially the hybrid algorithm. As reflected in Figure5, the curves representing the average sum rate of MSP, MAMA and the hybrid algorithms are quite close to each other. The solutions of the three algorithms are quite different, whereas they get similar sum rate under the same SNR. And all the three algorithms gain about 5 bps/Hz higher sum rate than the AMA under medium and high SNR. In Figure6, both of our proposed two algorithms require much less computing time than the MSP algorithm. Particularly, the hybrid algorithm gain almost as high sum rate as MSP with as little time as the AMA.
To further compare the convergence performances of these four algorithms as well as AHT algorithm, we plot their convergence curves of sum rate with respect to the running time in Figure7. As AHT algorithm is difficult to converge and eliminate interference, it is shown as the first stage of the hybrid algorithm. Its output point is used to continue iteration in the hybrid algorithm. SNR are set as 5, 15 and 30 dB to represent the scenarios of low, medium and high SNR, respectively. In all three scenarios, both MAMA and the hybrid algorithm achieve similar converged average sum rate as the MSP algorithm, which gain more sum rate than the AMA. To achieve a certain sum rate, MAMA consumes the least time. We also observe an interesting phenomenon, that in the low and medium SNR scenario each of the MAMA, hybrid and MSP algorithm achieves high sum rate during iteration before convergence, after that it reduces and converges to a lower rate. This may be relevant to the value of σ^{2}. As shown at the beginning of this section, SNR value is inversely proportional to σ^{2}. For the low SNR scenario, σ^{2} is considerably high and σ^{2}I_{ N } takes the main part of F_{ k } in (21). Then, the sum rate mainly increases with large P^{S}. All the three concerned algorithms are designed to increase P^{S} in the first few iterations and gradually reduce the weight of this requirement. This may lead to the phenomenon that P^{S} increases to a peak value and then decreases gradually, which explains the similar phenomenon of sum rate in Figure7.
Similar as Figure7, for the five compared algorithms (MSP, AHT, Hybrid, MAMA and AMA), we also plot the convergence curves of the leakage interference with respect to the running time in Figure8. As the convergence curves of the same algorithm are quite close for different SNR scenarios, here we only display the scenario that SNR is 30 dB for representation. Among the algorithms, the hybrid algorithm converges fastest to a point with interference less than 10^{−4}. The MAMA also converges faster than the MSP and AMA.
Comparing the proposed MAMA and hybrid algorithm from both aspects of computing time and convergence rate in Figures6,7 and8, we should admit that the improvement of the hybrid algorithm over MAMA is limited in the examples that we tested. The main reason of this phenomenon is due to the quite small scale of the test problems, for which lower complexity algorithm does not have much gain. Nevertheless, as the dimension of the problem increases, the hybrid algorithm will save more consuming time and benefit more. Moreover, in similar applications in other fields, there might be large scale similar matrix optimization problems, we believe that the hybrid algorithm will improve MAMA greatly.
Remark 2
We have pointed out in Section “A hybrid algorithm” that the sequence generated by the hybrid algorithm converges to a local optimal solution. Although it is not guaranteed to be global optimal, the obtained local optimal solution performs with high sum rate (almost the same as MSP algorithm and higher than the AMA, as depicted in Figure 5 ) and perfect IA. Such solution satisfies our requirement for an IA solution.
The performances of MAMA and the hybrid algorithm in this section indicates that the Courant penalty function technique is an effective way to combine the leakage interference and the desired signal power together. Through this technique, both algorithms achieve high average sum rate in short time. In the last few iterations when C becomes very large, the algorithm essentially tries to minimize P ^{I} with the part of − P ^{S} being nearly ignored. Therefore, MAMA (also the hybrid algorithm) eventually behaves very similar to the original AMA, which can perfectly align the interference.
Conclusion
This article proposed two low complexity algorithms for the desired signal power maximization IA problems of MIMO channels. The IA constraints are added to the objective function and combined with the desired signal power via the Courant penalty function technique. First, a MAMA is proposed following the similar approach of the AMA. Then, a hybrid algorithm is proposed to further reduce complexity. In the hybrid algorithm, the AHT is proposed to iterate rapidly from any initial point to precoders and decoders with low leakage interference. This step provides a good point around the local optimal solution. From this point, MAMA is applied to converge fast to the local optimal solution satisfying our requirement. Analysis shows that, among the compared algorithms the hybrid algorithm has the lowest computational complexity, followed by MAMA, with MSP being the highest. Simulations indicate that both the hybrid algorithm and MAMA achieve similar sum rate as the MSP algorithm with less computing time, and higher sum rate than the AMA.
Appendix
Proof of Theorem 1
As stated in (16), g_{0} is the linear combination of x_{0} and\stackrel{~}{\mathbf{g}}. Suppose
where c_{1} and c_{2} are scalars.
First prove that the projected gradient step can be expressed by 2D subspace step. For the projected gradient step x(α) with any α ∈ ℝ, we would like to find corresponding scalars a and b, such that
Let the coefficients of x_{0} and\stackrel{~}{\mathbf{g}} remain unchanged, then
Next show that 2D subspace step can also be expressed by the projected gradient step. For any\mathbf{x}\in S({\mathbf{x}}_{0},\stackrel{~}{\mathbf{g}}), we have\mathbf{x}=b{\mathbf{x}}_{0}+a\stackrel{~}{\mathbf{g}}. As we wish to find α ∈ ℝ such that x = x(α), then (22) holds. Similar to the proof above, we can induce that
Thus we have proved Theorem 1.
References
Cadambe VR, Jafar SA: Interference alignment and degrees of freedom of the Kuser interference channel. IEEE Trans. Inf. Theory 2008, 54(8):34253441.
Yetis CM, Gou T, Jafar SA, Kayran AH: On feasibility of interference alignment in MIMO interference networks. IEEE Trans. Signal Process 2010, 58(9):47714782.
Razaviyayn M, Lyubeznik G, Luo ZQ: On the degrees of freedom achievable through interference alignment in a MIMO interference channel. IEEE Trans. Signal Process 2012, 60(2):812821.
Choi SW, Chung SY: On the multiplexing gain of Kuser partially connected interference channel,. preprint,. Jun 2008 http://arxiv.org/pdf/0806.4737
Guillaud M, Gesbert D: Interference alignment in the partially connected Kuser MIMO interference channel. European Signal Processing Conference (EUSIPCO) (Barcelona, Spain, 2011), pp. 1095–1099
Lee N, Park D, Kim YD: Degrees of freedom on the Kuser MIMO interference channel with constant channel coefficients for downlink communications. Proc. IEEE Global Telecommun. Conf., (GLOBECOM) (Hawaii, USA, 2009), pp. 1–6
Gomadam K, Cadambe VR, Jafar SA: A distributed numerical approach to interference alignment and applications to wireless interference networks. IEEE Trans. Inf. Theory 2011, 57(6):33093322.
Liu YF, Dai YH, Luo ZQ: On the complexity of leakage interference minimization for interference alignment. IEEE Int. Workshop Signal Process. Advances Wireless Comm (San francisco, USA, 2011), pp. 471–475
Schmidt DA, Utschick W, Honig ML: Large system performance of interference alignment in singlebeam MIMO networks. Proc. IEEE Global Telecommun. Conf., (GLOBECOM) (Miami, USA, 2010), pp. 1–6
Shen H, Li B, Tao MX, Wang XD: MSEbased transceiver designs for the MIMO interference channel. IEEE Trans. Wirel. Commun 2010, 9(11):34803489.
Santamaria I, Gonzalez O, Heath Jr RW, Peters SW: Maximum sumrate interference alignment algorithms for MIMO channels. Proc. IEEE Global Telecommun. Conf., (GLOBECOM) (Miami, USA, 2010), pp. 1–6
Nocedal J, Wright SJ: Numerical Optimization. (Springer, Berlin, 1999), pp. 488–522
Yuan YX: Computational Mehthod for Nonlinear Optimization (in Chinese). (Science Press, Beijing, 2008), pp. 16–20; 158–162
Yuan YX(Higher Education Press, Beijing, 2007), pp. 206–218
Ghauch HG, Papadias CB: Interference alignment: a onesided approach. Proc. IEEE Global Telecommun. Conf., (GLOBECOM) (Houston, USA, 2011), pp. 1–6
Golub GH, Van Loan CF: Matrix Computations,. (The Johns Hopkins University Press, London, 1996), pp. 248–255; 414–425
Acknowledgements
The authors would like to thank the editor and two anonymous referees for their comments and suggestions which improved the article greatly. This work was partly supported by the National Natural Science Foundation of China (NSFC) grants 10831006, 11021101, by CAS grant kjcxyws7 and by the Fundamental Research Funds for the Central Universities.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Sun, C., Yang, Y. & Yuan, Y. Low complexity interference alignment algorithms for desired signal power maximization problem of MIMO channels. EURASIP J. Adv. Signal Process. 2012, 137 (2012). https://doi.org/10.1186/168761802012137
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168761802012137