 Research
 Open access
 Published:
Interference alignment for a multiuser SISO interference channel
EURASIP Journal on Wireless Communications and Networking volume 2014, Article number: 79 (2014)
Abstract
Our work addresses the singleinput singleoutput interference channel. The goal is to show that although interference alignment is suboptimal in the finite power region, it is able to achieve a significant overall throughput. We investigate the interference alignment scheme proposed by Choi et al. (IEEE Commun. Lett. 13(11): 847849, 2009), which achieves a higher multiplexing gain at any given signal dimension than the scheme proposed by Cadambe and Jafar (IEEE Trans. Inform. Theory 54(8), 2008). Then, we try to modify the IA design in order to achieve enhanced sumrate performance in the practical signaltonoise ratio (SNR) region. Firstly, we introduce a way to optimize the precoding subspaces at all transmitters, exploiting the fact that channel matrices in the interference model of a singleinput singleoutput channel are diagonal. Secondly, we propose to optimize jointly the set of precoder bases within their associated precoding subspaces. To this end, we combine each precoder with a new combination precoder, and this latter seeks the optimal basis that maximizes the network sum rate. We also introduce an improved closedform interference alignment scheme that performs close to the other proposed schemes.
1 Introduction
In most existing wireless multiuser communication systems, interference is avoided either by coordinating the users to orthogonalize the channel access or by treating interference from other transmitters as noise. However, until recently, the capacity region of the interference channel (IC) remained unknown, except for some special cases such as strong and very strong interference [1, 2]. In [3], Maddahali et al. have proposed a new approach in order to show that the Nantennas MIMO X channels can offer as much as \frac{4N}{3} degrees of freedom (DoF). This new approach of interference management has been named IA.
The key idea of IA is to jointly design all transmitted signals such that interfering signals at each receiver overlap and remain distinct from the desired signal. This approach has been exploited by Cadambe and Jafar in [4]. The authors have shown that the maximum achievable DoF in the Kuser timevarying singleinput singleoutput (SISO) IC, in the n dimensional Euclidean space, is \frac{K}{2} and is achieved, thanks to an IA scheme. Later on, Motahari et al. have addressed the achievable DoF of a quasistatic IC. They have extended the idea of IA from space/time/frequency dimensions to the signal level dimensions and have shown that based on the field of Diophantine approximation in number theory [5], the interference can be aligned in the rational spaces, achieving a maximum DoF of \frac{K}{2}.
The first IA scheme for SISO transmissions has been proposed in [4] for the time/frequencyvarying channel. This scheme has been designed to achieve the asymptotic capacity in the IC, i.e., when both the signaltonoise (SNR) and the signal dimensions tend to infinity. In contrast, Choi et al. have introduced another IA design that aims to achieve a higher multiplexing gain at any given signal dimension [6]. In this paper, we adopt an IA scheme for SISO transmission, and we try to modify the design in order to achieve higher sumrate performance in the practical SNR region. Most references, among which [7–9], deal with IA schemes for MIMO interference channels. However, all mobile communication standards still include a SISO transmission mode as for instance the LTE downlink transmission mode 1. This is the reason why in this paper, we try to define efficient IA schemes for SISO interference channels.
In our contributions, we firstly introduce a way to optimize the precoding subspaces at all transmitters, exploiting the fact that channel matrices in the IA model are diagonal. Two solutions are derived; the first is achieved iteratively using projected gradient descent method, the second is a closedform solution that avoids the numerical computation, thus, resulting in a very low computational complexity. Secondly, we propose to optimize the precoding vectors at each transmitter within its precoding subspace. To this end, we combine each IA precoder with a new combination precoder. The combination precoder seeks the optimal basis that maximizes the network sumrate assuming an individual transmit power constraint. However, a closedform solution does not seem trivial. Therefore, we apply an iterative process based on the simple gradient descent method, which converges to a local maximum due to the nonconcavity of the objective function.
This paper is organized as follows. Section 2 describes the system model. Then, Section 3 presents the IA design in SISO IC. In Section 4, we propose to optimize the network sum rate through a diagonal matrix W. The precoding vector optimization within the IA subspaces is presented in Section 5. In Section 6, we present the convergence rate of the proposed iterative algorithms. Section 7 evaluates the sumrate performance of the proposed optimization. Finally, Section 8 concludes the paper.
Notations: boldface upper case letters and boldface lower case letters denote matrices and vectors, respectively. For the transpose, transpose conjugate, and conjugate matrices, we use (.)^{T}, (.)^{H}, and (.)^{∗}, respectively. I_{ p } is the p×p identity matrix, and 1_{ p } is the allone vector of length p.
2 System model
Let us assume a Kuser SISO IC with K transmitterreceiver pairs. A wireless channel links each receiver to each transmitter, but a given transmitter intends to have its signal decoded by a single dedicated receiver only. Let us denote by s_{ j } the length d_{ j } symbol vector to be transmitted by the j th user. As shown in Figure 1, s_{ j } is precoded by applying an N×d_{ j } precoding matrix yielding the length N vector x_{ j }. We assume a frequencyselective channel, and the intersymbol interference is perfectly managed using an orthogonal frequency division multiplexing (OFDM) transmission scheme. The number of subcarriers is equal to N, and all components of x_{ j } are simultaneously transmitted on a onecomponentpersubcarrier basis. The received signal at the k th receiver can be modeled as
where \mathcal{K}=\{1,\cdots \phantom{\rule{0.3em}{0ex}},K\} is the set of all users, {\mathit{H}}_{\mathit{\text{kj}}}\in {\mathrm{\xe2\u201e\u201a}}^{N\times N} is the diagonal channel matrix between the j th transmitter and the k th receiver, {\mathit{V}}_{j}\in {\mathrm{\xe2\u201e\u201a}}^{N\times {d}_{j}} is the precoding matrix of the j th transmitter. The j th transmitted information x_{ j } is defined as a d_{ j }×1 vector belonging to a Gaussian continuous constellation. z_{ k } is the N×1 circularly symmetric complex Gaussian noise vector at the receiver k, with independent and identically distributed (i.i.d.) components, i.e. {\mathit{z}}_{k}\sim {\mathcal{N}}_{c}(0,{\sigma}^{2}{\mathit{I}}_{N}). We also consider the following hypotheses in this paper:

1.
Users do not cooperate.

2.
Nonprecoded user symbols are Gaussian continuously distributed and mutually independent.

3.
The set of channel matrices H _{ k j } is entirely and perfectly known at all transmitters and all receivers.

4.
All diagonal components of {\mathit{H}}_{\mathit{\text{kj}}}\phantom{\rule{0.3em}{0ex}}\forall k,j\in \mathcal{K} are i.i.d. and continuously distributed, with absolute values upperbounded with a finite value.
The maximum achievable DoF in the Kuser SISO IC is equal to [4, 5]
where C(snr) represents the channel capacity.
3 IA design in a SISO interference channel
3.1 Precoding design
The essence of the IA scheme is to design the transmit beamforming matrices in a way that the interferencefree stream number at each receiver is maximized. The IA design conditions have been defined as follows:
where U_{ k } is the decoding matrix at the k th receiver. In other words, the desired signal belongs to the subspace generated by the vectors of G_{ k }=U_{ k }H_{ k k }V_{ k }, while the interference is completely eliminated. The feasibility of the linear system in (3) is conditioned to the following proprieties: (i) the linear system has to be proper, i.e., the number of variables is more than or equal to the number of equations and (ii) the linear system has to be generic [10]. In some particular cases, the genericity is satisfied by providing a channel matrix with random and independent coefficients.
Figure 2 illustrates the IA principle in the case of three users sharing the same resources to communicate. Each transmitter has one symbol to transmit to its dedicated receiver. All channel coefficients are supposed to be known at all transmitters^{a}. In order to achieve the IA linear precoding design, each transmitter k transmits its symbol in the direction of a twodimensional vector v_{ k }, and the precoding vectors at all transmitters are designed in such a way that at all receivers the vectors carrying the two interfering symbols are aligned and linearly independent of the vector that carries the desired symbol. Then, the interference is eliminated by a simple projection on the interference null space.
One precoding design that provides IA at all receiver nodes and fulfills the conditions in (3) in the SISO interference channel is proposed by Choi et al. as [6]
where m^{∗} is any nonnegative integer which defines the number of transmitted symbols and the length of the precoding vectors, and T_{ k l } is an N×N diagonal matrix. In the IA design described previously, the achievable DoF per user can be obtained using the following combinations:
where M is a parameter depending on the user number, M=(K−1)(K−2)−1, d_{ i } is the DoF of the i th user, i.e., the number of transmitted symbols, and N the number of symbols in each IA vector is defined as N=d_{1}+d_{2}. In the particular scheme previously, the IA conditions can be satisfied by providing {d}_{i}={d}_{3}\phantom{\rule{1em}{0ex}},{d}_{1}>{d}_{3},\phantom{\rule{1em}{0ex}}i\in \mathcal{K}\setminus \left\{1,3\right\}. For example, in a threeuser SISO multiuser IC, we have d_{1}=n+1, d_{2}=d_{3}=n,N=2n+1, and n can be any nonnegative integer.
3.2 Linear decoding design
In the aforementioned transmission model, the received signal given in (1) can be rewritten as
where {\stackrel{\u0304}{H}}_{j}^{k}={\mathit{H}}_{\mathit{\text{kj}}}{\mathit{V}}_{j}. We assume that the IA conditions are satisfied. Let {\stackrel{\u0304}{H}}_{I}^{k}\in {\mathrm{\xe2\u201e\u201a}}^{N\times (N{d}_{k})} denotes the N−d_{ k } matrix spanning all interference subspaces, i.e., {\stackrel{\u0304}{H}}_{j}^{k} for j∈{1,⋯,K}, j≠k are all spanned by {\stackrel{\u0304}{H}}_{I}^{k}. Before going further into the description, we introduce the following lemma:
Lemma 1
Let {\mathit{A}}_{1}\in {\mathrm{\xe2\u201e\u201a}}^{N\times n} and {\mathit{A}}_{2}\in {\mathrm{\xe2\u201e\u201a}}^{N\times n}(N>n), where rank (A_{1})=n and rank (A_{2})=m,(m≤n) and span (A_{2})⊂span(A_{1}). Then, for every {\mathit{s}}_{2}\in {\mathrm{\xe2\u201e\u201a}}^{n\times 1},\phantom{\rule{1em}{0ex}}\exists \phantom{\rule{1em}{0ex}}{\mathit{s}}_{1}\in {\mathrm{\xe2\u201e\u201a}}^{n\times 1} such that A_{1}s_{1}=A_{2}s_{2}.
Using Lemma 1 at the receiver k, the interference subspace from the j th transmitter can be expressed in terms of {\stackrel{\u0304}{H}}_{I}^{k} as
Substituting (6) into (5) yields
where {\stackrel{\u0304}{s}}_{k}=\left({\mathit{s}}_{1I}+\cdots +{\mathit{s}}_{(k1)I}+{\mathit{s}}_{(k+1)I}+\cdots +{\mathit{s}}_{\mathit{\text{KI}}}\right), {\mathit{B}}_{k}\in {\mathrm{\xe2\u201e\u201a}}^{N\times N} is a full rank matrix that spans the union of the desired and the interference subspaces, and {\stackrel{~}{\mathit{s}}}_{k} is the N×1 vector consisting of the d_{ k } desired streams and the N−d_{ k } interference streams. Equation 7 gives the mathematical formulation of a linear determined decoding problem, where an N length source data vector {\stackrel{~}{\mathit{s}}}_{k} is mixed by a constant mixing matrix B_{ k } to produce a vector y_{ k } of N observations. Such a decoding problem can be resolved using classical criteria such as zeroforcing (ZF), minimum mean square error (MMSE), and maximum likelihood (ML).
4 IA precoding subspaces optimization
In this section, we aim to optimize the IA precoding subspaces in the scheme described above. From (3), it can be noted that the modified precoding matrices defined as
where {\mathit{V}}_{k}^{\mathit{\text{IA}}} is the original matrix derived with respect to the IA conditions and W is any diagonal matrix, which satisfy the IA conditions. That is, the projection of all precoding matrices of the IA scheme on a common diagonal matrix W keeps the IA conditions respected.
The precoding subspaces can be optimized by judiciously selecting the components of W in (8). This diagonal matrix W determines the interference and the desired subspaces design, while maintaining the IA conditions at the receivers. We assume both MMSE and ZFbased detection schemes, widely used due to the simplicity of their implementation, and we derive two different optimized designs that maximize the network sum rate in both cases.
4.1 MMSEbased decoder  iterative solution
Assuming an MMSE decoder, the mutual information between the k th transmitter and its intended receiver k can be expressed as [11]
where p is the user average transmit power over the average noise power assumed equal at all receivers. Using the Sylvester’s determinant theorem [12], the fact that all channel matrices are diagonal, and the definition of B_{ k } and A_{ k } as
(9) can be reformulated in the following compact form as
where \stackrel{~}{W}={\mathit{W}}^{H}\mathit{W} is a diagonal matrix and its diagonal is defined as the vector \stackrel{~}{w} with positive components ({\stackrel{~}{w}}_{i}\phantom{\rule{1em}{0ex}}\forall i). One can notice from (10) that matrices A_{ k } and B_{ k } are written as the sum of semidefinite positive matrices and hence are positive semidefinite. Consequently, the Cholesky decomposition^{b} can be applied [13], and the matrices A_{ k } and B_{ k } can be rewritten as
Substituting (12) into (11) yields the k th user rate
Our goal is to seek \stackrel{~}{w} that maximizes the total mutual information (i.e., network sum rate) in the IC under the constant total transmit power linear constraint. The maximization problem is then defined as
subject to the total transmit power constraint
It is not obvious whether a closedform solution can be obtained or not; therefore, one can search for the solution iteratively. However, the convergence towards the global maximum is not guaranteed unless the objective function is concave. The proof of the concavity with respect to the variable vector \stackrel{~}{w}, requires the objective function to be twice differentiable and its Hessian matrix to be negative semidefinite [14]. Indeed, a similar problem has been treated in [15] for the threeuser IA scheme. The authors have demonstrated that a function having the form of (14) is concave if A_{ k } and B_{ k } are defined as in (12) (see Appendix 1 in [15]). In order to find the solution that achieves the optimum, we propose to use the projected gradient method with an optimized variable step size (details are given in Appendix 2). Other algorithms can also be used such as simple gradient descent method using Lagrange multipliers.
Remark 1
In [15], the diagonal matrix W has been optimized under an MMSE receiver assumption. However, the study has been restricted to the threeuser SISO interference channel case. Also, there is no description of the iterative algorithm used for achieving the solution. In this section, we have provided a general design for the Kuser SISO interference channel case. We have also described an iterative method (see Appendix 2) to converge towards the solution.
4.2 ZFbased decoder  closedform solution
In the previous subsection, we have proposed to optimize the precoding subspaces using iterative processing when an MMSE is applied at the receiver. In this section, we apply a ZF criterion at the receiver. Then, we propose a closedform solution for w that is asymptotically optimal. This solution is obtained from the network sumrate maximization problem approximation for very high SNR and under the hypothesis of a ZF applied at all receivers. It also avoids the need for a numerical solver that requires a matrix inversion at each iteration and increases the processing time and computational cost.
Assuming a ZF criterion at all receiver nodes and an IA design at all transmitters, the mutual information between the k th transmitter and its intended receiver k is expressed as
where U_{ k } is the interference canceler at the k th receiver. Assuming wellconditioned channel matrices and using Sylvester’s determinant theorem [12], the k th user rate can be approximated for high SNR values by
Now, we intend to maximize the sumrate approximation {\sum}_{k}{R}_{k} with respect to w under the total transmit power constraint. Using the following equivalence:
and the fact that {\prod}_{k=1}^{K}\left{\mathit{H}}_{\mathit{\text{kk}}}{\mathit{V}}_{k}{\mathit{V}}_{k}^{H}{\mathit{H}}_{\mathit{\text{kk}}}^{H}\right\left{\mathit{U}}_{k}^{H}{\mathit{U}}_{k}\right is positive, the optimization problem in (17) can also be reduced to
We notice that the problem in (18) is independent from the channel matrices, and the objective function is a simple determinant of a diagonal matrix, hence, a concave function. Introducing the Lagrange multiplier λ, the convex dual of this problem is formulated as follows [14]:
where the Lagrangian function is defined as
and v_{ k i } stands for the i th row of the matrix V_{ k }. Since the objective function is concave, the Karush KuhnTucker (KKT) conditions are sufficient to determine the global optimum. The KKT conditions of the problem in (19) are given by
The solution of the linear problem in (21) is obtained as
Hence, the components of w are obtained as {w}_{i}^{\ast}=\sqrt{{\stackrel{~}{w}}_{i}^{\ast}} for all i. It is worth noting that beside maximizing the sumrate, the problem of maximizing the individual rate using the approximation in (16) has the same solution obtained in (22).
A major advantage of the proposed solution is the fact that it has an analytic simple expression making its implementation complexity very low. Indeed, the other algorithms proposed for sumrate maximization and interference power minimization in SISO and MIMO^{c} transmissions achieve the optimum using singular value decomposition (SVD) [11] and/or an iterative algorithm that requires hundreds to thousands iterations to converge [7–9, 16].
4.3 Complexity and sumrate performance
The computational complexity is a major bottleneck of practical implementation that is considered in system designs. In the following, we discuss the complexity of the precoding schemes proposed above.
The first optimized design that maximizes the sumrate assuming an MMSE detector is obtained using the projected gradient descent method. This iterative method requires at each iteration the computational cost of the firstorder derivative of the objective function. Looking at the expression given in (34), one can notice that the derivative is calculated using matrix multiplications and matrix inversions with dimensions N×N. Therefore, the computational complexity at each iteration can be considered of order \mathcal{O}\left({N}^{3}\right). On the other hand, the design based on a closedform solution requires the computation of a Frobenius norm and N real division. Thus, the complexity order is \mathcal{O}\left(N\right).
Figure 3 illustrates the average sumrate per dimension performance of the nonoptimized design proposed by Choi et al. in [6] and the optimized designs WMMSE and WZF, which represent the designs based on the solutions to the problems given in (14) and (18), where we optimize the precoding subspaces of the IA scheme assuming an MMSE and a ZF, respectively. The optimizations are applied to the IA design proposed by Choi et al. It can be observed that for N=3 and N=7, the WMMSE design outperforms the WZF design with the closedform solution in the low SNR region. However, when the SNR becomes very high, the sumrate performance for both designs get very close. This is due to the validity of the approximation in (16) for high SNR. On the other hand, the resulting gain of the optimized designs over the nonoptimized one is significant, e.g., at 20dB the gain is between 4 and 5 bits/s/Hz/dim.
It is important to note that the proposed designs result from the optimization of the original designs proposed in [6] and not the optimal IA design that maximizes the sumrate. It explains why, when we compare the designs for different dimensions N, a higher sumrate is obtained for N=3 compared to the design for N=7. Furthermore, in order to have a fair comparison between the cases N=3 and N=7, the average sum rate performance is normalized by the dimension N, which means that the sum rate is divided by the number of symbols in one symbol vector as shown in (14).
5 Precoding vectors design within IA subspaces
The previous section has addressed the optimization of the IA precoding subspaces at once using a diagonal matrix W. However, there was no claim for the optimality of the precoding vectors within IA subspaces. In this section, we propose to maintain the IA subspaces design at the transmitters, and we aim to optimize the precoding vectors within each subspace. We consider both cases: MMSE and ZF criterion at the receiver, and we attempt to maximize the network sumrate in each case.
The precoding matrices defined in (4) are of size N×d_{ k } with N>d_{ k }, ∀k. Thus, introducing a new combination matrix {\mathit{C}}_{k}\in {\mathrm{\xe2\u201e\u201a}}^{{d}_{k}\times {d}_{k}} at each transmitter node as follows
will modify the basis of V_{ k } within its own subspace without modifying the subspace itself. These variables can later be defined taking into account different criteria such as MSE, BER, sumrate, and average transmit power. Next, we show how to optimize the additional combination matrices so as to maximize the network sumrate.
5.1 MMSEbased decoder
Assuming an MMSE at all receivers, the mutual information between the k th transmitter and its dedicated receiver k can be written as a function of the combination matrices C_{ k } ∀k as follows
Now, in order to maximize the sumrate under the individual transmit power constraint, we propose the following maximization problem
where {\stackrel{\u0304}{H}}_{\mathit{\text{kj}}}={\mathit{H}}_{\mathit{\text{kj}}}{\mathit{V}}_{j}. It is wellknown that the optimal solution is the one that nullifies the gradient of the sumrate expression. However, a closedform solution is not obvious due to a complicated expression of the firstorder derivative as shown in (32) in Appendix 1. Therefore, we attempt to get close to the solution iteratively. We use an iterative algorithm that optimizes the cost function with respect to one variable while the others remain fixed. In our reasoning, each variable is considered as one of the precoding matrices. This technique results in a nonconvex optimization due to the dependence between the precoding matrices. At each iteration, the optimization is based on the gradient descent widely used in MIMO multiuser channels. The iterative algorithm for the sumrate maximization is detailed in Algorithm 1.
In this algorithm the gradient is defined in (32) in Appendix 1, f describes the objective function given in (25), and the precoding matrices are supposed to be of unit Frobenius norm. The step size λ is updated using the backtracking search, which is an effective and quite simple method [14]. Despite the nonconvexity of the multivariable objective function, as long as the variable is steered in the gradient direction, the algorithm converges to a local maximum. In our simulations, the convergence of this iterative algorithm is supposed to be achieved either when
or when a maximum number of iterations is reached, and ε is defined as a tolerance value. In our simulations, we assume ε=10^{−2}.
5.2 ZFbased decoder
Given the k th user rate, the ZFbased detector uses a matrix U_{ k } to cancel the interference, yielding an equivalent d_{ k }×d_{ k } MIMO transmission model. Many options exist to find the best family of combination matrices {C_{ j }} in order to maximize the sumrate. The channel model after interference suppression at receiver k is obtained as
where U_{ k } is the decoding matrix at the k th receiver. It is defined as the d_{ k }×N interference null space. The model defined in (27) is a typical MIMO single user model with channel matrix {\stackrel{~}{H}}_{k} and precoding matrix C_{ k }. One optimized form of C_{ k } is the one composed of the right singular vector of the new channel matrix {\stackrel{~}{H}}_{k}. Such a precoding scheme achieves the channel capacity as described in [17]. Another form that requires less computational complexity is the one that orthonormalizes the columns of the original precoding matrix V_{ k }. In [18], the authors have shown that this last form gets close to the maximum information rate when the SNR becomes high.
5.3 Complexity and sumrate performance
The algorithm that optimizes the solution iteratively in Subsection 5.1 is based on the gradient descent method. At each iteration, the iterative algorithm requires the gradient of the objective function that needs itself inversion of N×N full rank matrices. Thus, the total computational complexity depends mainly on the number of iterations and on the precoding matrices dimensions. The complexity cost is of order \mathcal{O}\left({\mathit{\text{nb}}}_{i}{N}^{3}\right) where n b_{ i } is the number of iterations.
Figure 4 illustrates the sumrate per dimension of the proposed design that uses Algorithm 1 and the design OWZF that orthonormalizes the precoding vectors. For the subspace optimization of OWZF, we use the closed form solution derived in Subsection 4.2. One can observe a sumrate performance loss in the case of OWZF compared to the CWMMSE for low SNR values, whereas when the SNR increases, both sum rates become very close. However, the OWZF requires less operations, the complexity cost is of order \mathcal{O}\left(N{d}_{k}^{2}\right) at each transmitter, and no joint processing is required for the optimization design.
Remark 2.
The proposed optimization of IA precoding subspaces cannot directly be extended to MIMO interference channels, as the channel matrices are no longer diagonal in the MIMO system model. However, the proposed optimization of the precoding vectors within each IA subspace can be used for MIMO optimization design since the IA conditions at all receiver are always maintained.
6 Convergence rate of the iterative solutions
In Subsections 4.1 and 5.1, we have proposed two iterative solutions, one aims to optimize the IA subspaces and the other optimizes the precoding vectors within each IA subspace without modifying the subspace itself.
The first iterative solution to the problem in (14) for the IA subspaces optimization is reached using the projected gradient method. We have mentioned that the objective function is concave, thus, the convergence towards the global optimum is guaranteed. On the other hand, the iterative solution proposed for the IA precoding vector optimization is reached using an algorithm based on the gradient descent method for a multivariable objective function. Thereby, the objective function changes at every iteration yielding a nonconvex optimization problem. However, as long as the iterative method is based on the gradient descent and the variable follows the direction of the gradient using an optimized step size, a convergence towards a local optimum is guaranteed.
The convergence rates of the discussed iterative solutions above are shown in Figure 5. For the projected gradient descent method, the convergence towards either the optimal solution or a neighboring optimal solution requires hundreds of iterations. This slow convergence rate diverts the attention to the closedform solution obtained in Subsection 4.2. Now, looking at the design for precoding vector optimization within their subspace, the convergence rate seems fast. For example, almost 10 to 15 iterations are required to achieve a nearoptimal value at 15 and 25 dB when N=7. This fast convergence implies that for small dimensions and for precoding vector optimization as discussed in Subsection 5.2, the computational complexity is not that far from other proposed designs.
7 Comparison of the proposed optimized designs to the state of art schemes
In this section, we compare the proposed designs to the distributed designs proposed in [7, 8] in terms of sumrate per dimension. We consider a threeuser frequencyselective SISO IC, with the model proposed in Section 2. The total independent stream number from all users is equal to T=3n+1, and the precoding vectors length is N=2n+1 for all users, and n can be any nonnegative number. The transmit constellation is Gaussian continuously distributed, and the channel coefficients are circularly symmetric complex Gaussian distributed with zero mean and unit variance. The following abbreviations are used for the compared designs:

? OWZF : the proposed IA design with the closedform solution derived in Subsection 4.2 that uses orthogonal precoding vectors

? CWMMSE: the IA design with the two iterative proposed optimization in Subsections 4.1 and 5.1

? IAIter: the IA design obtained with the distributed algorithm proposed in [8]

? MaxSINR: the beamforming design proposed in [7] that maximizes the signaltointerferenceandnoise ratio (SINR) of all streams
Figures 6, 7 and 8 illustrate the average sumrate per dimension performance of the OWZF, the CWMMSE, the IAIter, and the MaxSINR for N=3, N=5, and N=7, respectively. Compared to the CWMMSE, the OWZF performs similarly for all configurations with a slight loss for low and medium SNR values. This is due to the fact that a ZF criterion becomes equivalent to an MMSE when the SNR becomes very high, and that the OWZF design is based on an approximation for high SNR. On the other hand, an important gain is obtained over the IAIter design over the whole SNR region when N=3 and N=5, e.g., at 20 dB a gain of about 2.2 to 2.5 bits/s/Hz and 1.7 to 2 bits/s/Hz is obtained for N=3 and N=5, respectively. It is worth noting that in addition to this gain, the OWZF design is a closedform, thus, it exhibits a much less computational complexity than the other designs. It also does not require any iterative processing to achieve the solution, which can sustain the complexity order when N increases. Now, considering the beamforming optimization design that maximizes the SINR referred to as MaxSINR, this latter outperforms the proposed designs in the low and medium SNR region. However, this resulting gain decreases as the SNR increases in the medium to high SNR region. For example, the OWZF design and the MaxSINR design reach the same sumrate value of about 10.4 bits/s/Hz at 30 dB when N=3. This result can show that in some particular cases, the proposed designs are very close to one of the most efficient designs when the SNR is high enough while keeping a low complexity level such as the OWZF design.
On the other side, compared to the orthogonal interference mitigation techniques such as time division multiple access (TDMA), the optimized IA scheme (i.e., CWMMSE) achieves similar performance in the low SNR region. However, when the SNR increases, i.e., beyond 15 dB, the gain between both optimized IA designs (i.e., OWZF and CWMMSE) and the TDMA starts to get wider, and achieves 2 bits/s/Hz/dim over the TDMA at 30 dB. This is due to the suboptimality of the IA design in the low SNR region and its tendency to optimality in the high SNR region [4].
Next, Figure 9 evaluates the performance of the following designs: OWZF, IAIter, and MaxSINR, as a function of the precoding vectors sizes. At 15 and 30 dB, the OWZF outperforms the IAIter for N≤9 and N≤11. On the other hand, it can be observed that the two iterative designs IAIter and MaxSINR result in an increasing sumrate with the vector sizes. However, the closedform design OWZF results in a decreasing sumrate with the vectors sizes. This means that OWZF is close to the optimal for small precoding dimensions and starts moving away when N increases.
8 Conclusions
In this paper, we have introduced three optimized designs for the IA scheme in a Kuser SISO IC. The first and the second try to optimize the precoding subspaces at the IA transmitters through a common diagonal matrix assuming an MMSE and ZF linear detector, respectively. The third assumes an MMSE linear detector and seeks the optimal precoding vectors within a predefined subspace at each transmitter. The first and the third designs referred to as WMMSE and CMMSE, respectively, require iterative algorithms to converge to their optimum, whereas the second design referred to as WZF is obtained from a closedform solution. Comparing to other IA distributed designs, the proposed designs show a significant sumrate performance improvement and much less computational complexity when the closedform solution is applied. To enhance the sumrate performance, we have introduced an orthogonalization of the precoding vectors in the WZF design, which enables to achieve a tradeoff between complexity and data rate.
Endnotes
^{a} This hypothesis is very optimistic, but it is taken by many research works in the literature.
^{b} It is important to note that the Cholesky decomposition, originally defined for a positive definite matrix, can be extended to the positive semidefinite case.
^{c} The IA schemes proposed for MIMO transmission can also be used in SISO systems.
Appendix 1
Using the k th information rate expression in (24), the sum rate can be written as
where
Since the sumrate is real valued function and C_{ k }∀k are complex variables, the gradient of the sumrate can be calculated using the differential with respect to C_{ k }. It is known to be dR=2\mathrm{\partial R}/{\mathit{C}}_{k}^{\ast}. Details are given in [19]. Using the differential of log2X_{ k } computed as
Using the following properties: trace (A dB^{H})=t r a c e(A^{T}dB^{∗}), d [trace(A)]=trace(dA), vec(d A)=dvec(X), and trace (A^{T}B)= vec(A)^{T})vec(B), and referring to [19] that describes the firstorder differential and the Jacobian matrix properties, we obtain
Thus, the gradient of R w.r.t. {\mathit{C}}_{k}^{\ast} is obtained as follows:
Appendix 2
The projected gradient algorithm requires firstly the computation of the gradient with respect to \stackrel{~}{w}
where X_{ k i } and Y_{ k i } are defined as
with l_{ A k i } and l_{ B k i } are the i th rows of the matrices L_{ A k } and L_{ B k }, respectively. The constraint, defined in (5), can be formulated as
with c_{ i } is the i th component of the vector c, {c}_{i}=\sum _{k}\left\right{\mathit{v}}_{\mathit{\text{ki}}}{}^{2}, and v_{ k i } is the i th row of the matrix V_{ k }.Equation 35 defines the set of \stackrel{~}{w} that satisfies the constraint, thus, given the gradient, we project it on the constraint hyperplane and update \stackrel{~}{w} by
where μ is a variable step size and \mathit{p}\left(\stackrel{~}{w}\right) is the projected gradient defined as
The convergence towards the steady state is achieved either when
with ε is the tolerance factor for stopping the iterations or a maximum number of iterations is attained. In this algorithm, the step size μ is a determining factor to ensure a faster convergence, thus, it must be judiciously selected. In [14], two line search methods are proposed: exact line search and inexact line search methods. In practice, most line searches are inexact, and many methods have been proposed. One is the backtracking method, which is employed for our design. It is very simple to implement and quite effective. Besides, the step size is updated at each iteration to satisfy {\stackrel{~}{w}}_{i}>0 for all i.
References
Sato H: On degraded Gaussian twouser channels. IEEE Trans. Inform. Theory 1978, IT24: 637640.
Carleial A: Interference channels. IEEE Trans. Inform. Theory 1978, 24: 6070. 10.1109/TIT.1978.1055812
MaddahAli M, Motahari AS, Khandani AK: Communication over MIMO X channels: interference alignment, decomposition, and performance analysis. IEEE Trans. Inform. Theory 2008, 54(8):34573470.
Cadambe VR, Jafar SA: Interference alignment and degrees of freedom of the Kuser interference channel. IEEE Trans. Inform. Theory 2008, 54(8):34253441.
Motahari AS, Gharan SO, MaddahAli MA, Khandani AK: Real interference alignment: exploiting the potential of single antenna systems. arXiv:0908.2282
Choi SW, Jafar SA, Chung SY: On the beamforming design for interference alignment. IEEE Commun. Lett 2009, 13(11):847849.
Gomadam K, Cadambe VR, Jafar SA: Approaching the capacity of wireless networks through distributed interference alignment. In Proc. of IEEE Global Communications Conference, GLOBECOM. IEEE, New Orleans, USA; 2008.
Peters SW, Heath RW: Interference alignment via alternating minimization. Proc. of IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2009, 24452448.
Santamaria I, Gonzalez O, Heath R, Peters S: Maximum sumrate interference alignment algorithms for MIMO channels. In Proc. of IEEE Global Communications Conference, GLOBECOM. IEEE, Miami, USA; 2010.
Yetis C, Gou T, Jafar SA, Kayran AH: On feasibility of interference alignment in MIMO interference networks. IEEE Trans. Signal Process 2010, 58(9):47714782.
Sung H, Park S, Lee K, Lee I: Linear precoder designs for Kuser interference channels. IEEE Trans. Wireless Commun 2010, 9(1):291300.
Serre D: Matrices: Theory and Applications, Second Edition. Springer, New York; 2010.
Higham NJ: Analysis of the Cholesky Decomposition of a SemiDefinite Matrix. Oxford University Press; 1990.
Boyd S, Vandenberghe L: Convex Optimization. Cambridge University Press, New York; 2004.
Kim D, Torlak M: Optimization of interference alignment beamforming vectors. IEEE J. Selected Areas Commun 2010, 28(9):14251434.
Shen H, Li B, Tao M, Luo Y: The new interference alignment scheme for the MIMO interference channel. In Wireless Communications and Networking Conference (WCNC), 2010 IEEE. Sydney, Australia; 2010:16.
Wolniansky PW, Foschini GJ, Golden G, Valenzuela RA: Vblast: an architecture for realizing very high data rates over the richscattering wireless channel. In Signals, Systems, and Electronics, 1998. ISSSE 98. 1998 URSI International Symposium On. IEEE, Pisa; 1998:295300.
Shen M, HostMadsen A, Vidal J: An improved interference alignment scheme for frequency selective channels. In Proc. of IEEE International Symposium on Information Theory, ISIT. Toronto, ON; 2008:611.
Magnus J, Neudecker H: Matrix Differential Calculus with Applications in Statistics and Econometrics. Wiley, Chichester; revised version 2007.
Acknowledgement
The authors would like to thank the ‘Institut Carnot Télécom et Société Numérique’ for funding the work of this paper.
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
Fadlallah, Y., Amis, K., AïssaElBey, A. et al. Interference alignment for a multiuser SISO interference channel. J Wireless Com Network 2014, 79 (2014). https://doi.org/10.1186/16871499201479
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/16871499201479