 Review
 Open access
 Published:
General minimum Euclidean distancebased precoder for MIMO wireless systems
EURASIP Journal on Advances in Signal Processing volume 2013, Article number: 39 (2013)
Abstract
In this article, we investigate the linear precoder based on the maximization of the minimum Euclidean distance between two received data vectors. This new precoding matrix is expressed as the product of a power allocation matrix and an inputshaping matrix. The inputshaping matrix is selected as a normalized discrete Fourier transformmatrix, and the optimal power allocation depends on the channel characteristics. For each number of available datastreams, we propose a general form of the optimized precoding matrix. These forms are suitable for different transmit channels and especially for all rectangular quadrature amplitude modulation modulations. We show, in the simulation results, that the proposed precoder provides a significant improvement in terms of bit error rate performance compared to other traditional precoding strategies.
Introduction
In wireless communication, the systems that employ multiple antennas at both the transmitter and the receiver known as multipleinput multipleoutput (MIMO) systems, not only offer the diversity and capacity gains, but also achieve higher link reliability in comparison with single antenna systems [1]. The idea of using multiple transceivers and receivers was first proposed by Bell Lab [2], and, then, has been utilized worldwide to adapt to various highspeed wireless transmissions.
In order to overcome the multipath effect and improve the robustness of MIMO systems, a linear precoding transceiver can be used. Precoding is a processing technique that exploits the channel state information at transmitter (CSIT) by operating on the signal before transmission [3]. In fact, the transmitted vectors are premultiplied by a precoding matrix, which adapts to various forms of the channel knowledge. Various optimization criteria can be used to design a precoding matrix such as maximizing the output capacity [4], minimizing the bit error rate (BER) [5], maximizing the received signaltonoise ratio (SNR) [6], minimizing the mean square error (MSE) [7], and maximizing the minimum singular value [8]. These precoders belong to an important set of linear precoding techniques called as diagonal precoders. A specific precoding matrix, which follows the nondiagonal structure, was proposed in [9]. This design employ Schurconvex functions in order to optimize MSEbased or BERbased criteria.
In this article, we consider another nondiagonal linear precoder that optimizes the minimum Euclidean distance (max−d _{min}) between two received data vectors. This precoder improves the BER performance of the MIMO systems, especially when an ML detection is used at the receiver. It is because that the minimum distance is mutual information optimal for discrete input at hight SNR [10]. The optimal solution of max−d _{min} precoder is proposed in [11, 12] for two transmit datastreams with 4QAM and 16QAM modulations. By decomposing the channel into 2×2 eigenchannel matrices and optimizing the distance d _{min} for each subsystem, Vrigneau et al. [13] proposed a suboptimal precoder for large MIMO channels. However, this solution is also available for loworder Quadrature Amplitude Modulation (QAM) modulations. It is because the optimized solution for twodatastreams transmission depends on the symbol alphabet, the detection rule, and the characteristic of the transmit channel. Another suboptimal design of the max−d _{min} precoder, which allows transmitting more than two independent datastreams and increasing the order of the modulations, is presented in [14]. But, the precoding scheme considers just a blockToeplitz form of the channel matrix and, therefore, is only suitable for quasistationary MIMO channels. In addition, we can apply lattice invariant operations with the linear precoding in order to transform the transmit channel into a lattice generator matrix with large minimum distance separation [15].
The problem of highorder QAM modulations and the number of datastreams for minimum distancebased precoder was settled in this article. The precoding matrix is then factorized as the product of a diagonal power allocation matrix and an inputshaping matrix. The inputshaping matrix is selected as a discrete Fourier transform (DFT) matrix, and the power allocation matrix varies depending on the channel characteristics. At that time, the expression of the precoding matrix is less complex with only b variables corresponding to the b diagonal entries of the power allocation matrix. The idea of using the DFTbased matrix in precoding scheme was also proposed in [16], but this precoding design is only due to the power leakage suppression.
We propose, herein, a suboptimal DFTbased precoding scheme which not only reduces the complexity, but also improves the minimum distance. A numerical approach is considered to indicate which difference vectors provide the minimum distances, and by equalizing these distances, it is possible to obtain the optimized precoding matrix. For each number of available datastreams, we propose a general precoding matrix for all rectangular QAM modulations. The simulation results confirm a significant BER improvement of our new precoder in comparison with other traditional precoding strategies.
The remainder of this article is organized as follows. Section “System overview” presents a brief introduction of virtual MIMO channel representations and linear precoding systems. The new parameterized form of the precoding matrix is described in “Parameterization of the precoding matrix”. Section “Design of the precoding matrix” is devoted to the description of the new precoder which is based on the observation of the SNRlike matrix. In Section “Optimized precoder for rectangular QAM modulations”, we propose general extensions of the precoder for large MIMO channels and all rectangular QAM modulations. Simulation results in comparison with other traditional precoders are presented in section “Simulation results”. Finally, the article ends with “Conclusion” section.
System overview
We consider a MIMO system with n _{ T } transmit and n _{ R } receive antennas. For each Rayleigh fading channel used, b independent datastreams are transmitted, with b≤rank(H)≤ min(n _{ T },n _{ R }). The received signal is expressed as
where y is the b×1 received symbols vector, s is the b×1 transmitted symbols vector, η is the n _{ R }×1 additive Gaussian noise vector, H is the n _{ R }×n _{ T } channel matrix, F is the n _{ T }×b precoding matrix, and G is the b×n _{ R } decoding matrix.
When full channel state information (CSI) is available at both transmitter and receiver, the channel can be fullrank diagonalized by using a successive linear transformations presented in [11]. The precoding and decoding matrices are then decomposed as F=F _{ v } F _{ d } and G=G _{ d } G _{ v }. In which, the couple (F _{ d },G _{ d }) is used to optimize the minimum distance, while (F _{ v },G _{ v }) is needed to diagonalize the transmit channel. The MIMO channel representation is therefore defined by
where H _{ v } is the b×b virtual channel matrix, η _{ v }=G _{ v } η is the b×1 transformed additive Gaussian noise vector. One should note that the virtual channel matrix H _{ v } is now diagonal and defined by
where ρ _{ i } stands for every subchannel gain and is sorted in decreasing order.
In this article, an ML detection is considered at the receiver, and then, the decoding matrix G _{ d } has no effect on the performance. Hence, G _{ d } is consequently assumed to be an identity matrix of size b. The virtual system model can be then simplified as
The precoding matrix F _{ d } is designed under the power constraint
where E _{ s } is the average transmit power.
Parameterization of the precoding matrix
We now design a precoding matrix to improve the probability of error subject to the constraint of transmission powers. This design is difficult because it is rarely solvable in closed form: the solution depends on the symbol alphabet, the number of parallel datastreams, and channel characteristics. In general, the average error probability can be approximated by [17]
where N _{0} is the variance of the white Gaussian noise η _{ v }, and {\stackrel{\u0304}{d}}_{\mathit{\text{ij}}} is the normalized Euclidean distance between two vector s _{ i } and s _{ j } at the receiver. Let us note N _{ i } the number of distances {\stackrel{\u0304}{d}}_{\mathit{\text{ij}}} such that {\stackrel{\u0304}{d}}_{\mathit{\text{ij}}}={d}_{min}, where d _{min} denotes the minimum Euclidean distance and is defined by
The probability of error in (6) can be now simplified as
where M is the number of all possible transmitted vectors s, and {N}_{{d}_{min}}=\frac{1}{M}\sum _{i=1}^{M}{N}_{i}. It is observed that when an ML detection is considered at the receiver, a key to reduce the probability of error is maximizing the minimum Euclidean distance between received symbols. We can now formulate the design problem as follows
By using a singular value decomposition, a linear precoder can be considered as a combination of an input shaper and a multimode beamformer with perbeam power allocation [3]
where A and B ^{∗} are b×b unitary matrices, and Σ is a diagonal matrix. The orthogonal beam directions are the left singular matrix A, of which each column represents a beam direction (pattern). It is noted that the matrix A contains all eigenvectors of the matrix {\mathbf{F}}_{d}{\mathbf{F}}_{d}^{\ast}, thus it is often referred to as eigenbeamforming. The matrix Σ controls the power allocation on each beam. These powers correspond to the squared singular values of Σ ^{2}. The right singular matrix B ^{∗} concerns with the rotation and scaling of the input symbols on each beam and hence is referred to as the inputshaping matrix.
Let us define \stackrel{\u0306}{\mathbf{x}} a difference vector as \stackrel{\u0306}{\mathbf{x}}={\mathbf{s}}_{k}{\mathbf{s}}_{l}, with s _{ k }≠s _{ l }, and the set which contains all possible difference vectors as \stackrel{\u0306}{X}. The optimized criterion is then
where R _{ H } denotes the channel covariance matrix and is given by {\mathbf{R}}_{H}={\mathbf{H}}_{v}^{\ast}{\mathbf{H}}_{v}=\text{diag}({\rho}_{1},\dots ,{\rho}_{b}). One should note that R _{ H } is a diagonal matrix since the virtual channel H _{ v } is already diagonalized.
Lemma 1
Without loss of optimality, the left singular matrix A of the optimal precoder F _{ d } can always be chosen to coincide with an identity matrix.
Proof
See in [15]. □
From the result in Lemma 1, it follows that the max−d _{min} precoder can be parameterized as
where B ^{∗} is a b×b unitary matrix, and \mathit{\Sigma}=\text{diag}(\sqrt{{\sigma}_{1}},\dots ,\sqrt{{\sigma}_{b}}) is a b×b diagonal matrix with nonnegative real numbers on the diagonal. The power constraint in (5) can be then rewritten as
Design of the precoding matrix
Principle of the approach
Design optimizing the minimum Euclidean distance is difficult to deal with because of two reasons. First, the space of solution is large and exponentially proportional to the number of datastreams b. Second, the exact expression of max−d _{min} precoder depends on many parameters such as the symbol alphabet or the characteristic of the virtual channel. Here, we propose a design that can come close to the desired goal. Based on (8), the formulation of the problem can be rewritten as
Let us define an SNRlike matrix of F _{ d } as \text{SNR}\left({\mathbf{F}}_{d}\right)={\mathbf{F}}_{d}^{\ast}{\mathbf{H}}_{v}^{\ast}{\mathbf{H}}_{v}{\mathbf{F}}_{d}. Instead of optimizing (13), we can obtain a suboptimal but more general solution by realizing some properties of SNR(F _{ d }). Scaglione et al. [8] proposed a suboptimal precoder which is based on the observation of the minimum eigenvalue of SNR(F _{ d }). We present, herein, another suboptimal solution that considers the minimum diagonal element of the SNRlike matrix. Let us denote the diagonal elements of SNR(F _{ d }) as δ _{ k }, we have
with \stackrel{\u0306}{\mathbf{x}}={[{x}_{1},\dots ,{x}_{b}]}^{T}. In order to simplify the complexity of the solution, we assume that the function \mathcal{O}\left({x}_{i}{x}_{j}\right) has little influence on the performance. Then, the design problem can be simplified as
The criterion on the righthand side of (15) has a lower bound
where δ _{min} denotes the minimum diagonal element of SNR(F _{ d }). It is observed that increasing the minimum diagonal element δ _{min}(SNR(F _{ d })) to higher value will possibly obtain a suboptimal solution of the minimum distance criterion. Therefore, we first deal with δ _{min}(SNR(F _{ d })) and then maximize its value. By substituting (11) into the form of SNR(F _{ d }), we obtain
where Υ=diag(ρ _{1} σ _{1},…,ρ _{ b } σ _{ b })=diag(λ _{1},…,λ _{ b }) is a diagonal matrix with nonnegative real numbers on the diagonal. For any given Υ, we first consider an optimal choice of the unitary matrix B which maximizes the minimum diagonal element of SNR(F _{ d }). Such a matrix B is provided by the following lemma.
Lemma 2
Given a b×b diagonal matrix Υ whose diagonal elements are nonnegative and a unitary matrix B of size b, then we have the following properties

1.
\underset{\mathbf{B}{\mathbf{B}}^{\ast}={\mathbf{I}}_{b}}{max}\phantom{\rule{0.3em}{0ex}}\underset{i}{min}\phantom{\rule{2.77695pt}{0ex}}{\left[\mathbf{B}\mathit{{\rm Y}}{\mathbf{B}}^{\ast}\right]}_{i,i}=\frac{\text{trace}\left(\mathit{{\rm Y}}\right)}{b}.(18)

2.
The optimized value in (18) is provided by a normalized DFTmatrix
{\mathbf{B}}^{\ast}={\mathbf{D}}_{b}=\frac{1}{\sqrt{b}}\left(\begin{array}{ccccc}1& 1& 1& \dots & 1\\ 1& \omega & {\omega}^{2}& \dots & {\omega}^{b1}\\ 1& {\omega}^{2}& {\omega}^{4}& \dots & {\omega}^{2(b1)}\\ \vdots & \vdots & \vdots & \phantom{\rule{5em}{0ex}}\vdots \\ 1& {\omega}^{b1}& {\omega}^{2(b1)}& \dots & {\omega}^{(b1)(b1)}\end{array}\right),(19)where ω is a primitive b th root of unity, i.e., \omega ={e}^{\frac{2\mathrm{\Pi i}}{b}}.
Proof
First, we prove that the righthand side of (18) is the upperbound for the lefthand side. Then, we show that the DFTmatrix D _{ b } can provide this upper bound. □

1.
Since B is a unitary matrix and Υ is a diagonal matrix, we have
\sum _{i=1}^{b}{\delta}_{i}=\text{trace}\left(\mathbf{B}\mathit{{\rm Y}}{\mathbf{B}}^{\ast}\right)=\text{trace}\left(\mathit{{\rm Y}}\right).(20)Furthermore, since the diagonal elements of Υ are nonnegative, those of B Υ B ^{∗} are nonnegative, too. Given the set of b nonnegative numbers {\left\{{\alpha}_{i}\right\}}_{i=1}^{b} that sum to \mathcal{M}, the minimum number is obviously less than \mathcal{M}/b. The lefthand side of (18) is, therefore, upperbounded by
\underset{i}{min}\phantom{\rule{2.77695pt}{0ex}}{\left[\mathbf{B}\mathit{{\rm Y}}{\mathbf{B}}^{\ast}\right]}_{i,i}\le \frac{\sum _{i=1}^{b}{\delta}_{i}}{b}=\frac{\text{trace}\left(\mathit{{\rm Y}}\right)}{b}.(21) 
2.
Let us define β _{ i,j } is the (i,j) element of the matrix B ^{∗}, we have
{\left[\mathbf{B}\mathit{{\rm Y}}{\mathbf{B}}^{\ast}\right]}_{i,i}=\sum _{j=1}^{b}{\lambda}_{j}\parallel {\beta}_{i,j}{\parallel}^{2}.(22)If B ^{∗} is selected as a DFTmatrix, i.e., the magnitude of each element of the DFTmatrix D _{ b } is equal to β _{ i,j }^{2}=1/b, we obtain that
{\left[\mathbf{B}\mathit{{\rm Y}}{\mathbf{B}}^{\ast}\right]}_{i,i}=\sum _{j=1}^{b}{\lambda}_{j}\frac{1}{b}=\frac{\text{trace}\left(\mathit{{\rm Y}}\right)}{b},(23)for all 1≤i≤b.
Lemma provides the key to obtain a suboptimal solution for the problem of maximizing the minimum distance. One should note that the minimum Euclidean distances on the received constellation are always provided by some difference vectors. By equalizing these difference distances, we can obtain an analytical solution of the precoding matrix.
Proposition 1
In order to equalize any difference distances, we can retain the inputshaping matrix B ^{∗}, and change only the power allocation matrix Σ.
Proof
We assume that, at the channel {\widehat{\mathbf{H}}}_{v}\text{diag}(\sqrt{{\widehat{\rho}}_{1}},\dots ,\sqrt{{\widehat{\rho}}_{b}}) and \widehat{\mathit{\Sigma}}=\text{diag}(\sqrt{{\widehat{\sigma}}_{1}},\dots ,\sqrt{{\widehat{\sigma}}_{b}}), two difference vectors {\stackrel{\u0306}{\mathbf{x}}}_{1},{\stackrel{\u0306}{\mathbf{x}}}_{2} have the same Euclidean distances
When the channel varies from {\widehat{\mathbf{H}}}_{v} to {\mathbf{H}}_{v}=\text{diag}(\sqrt{{\rho}_{1}},\dots ,\sqrt{{\rho}_{b}}), let us define a diagonal matrix Σ with real nonnegative elements such that
where κ is a constant. By substituting {\widehat{\sigma}}_{i} into the power constraint in (12), we obtain
or
The Euclidean distance provided by {\stackrel{\u0306}{\mathbf{x}}}_{1} is then
Similarly, we get
Since {d}_{{\stackrel{\u0306}{\mathbf{x}}}_{1}{\widehat{\mathbf{H}}}_{v}}^{2}={d}_{{\stackrel{\u0306}{\mathbf{x}}}_{2}{\widehat{\mathbf{H}}}_{v}}^{2}, we obtain {d}_{{\stackrel{\u0306}{\mathbf{x}}}_{1}{\mathbf{H}}_{v}}^{2}={d}_{{\stackrel{\u0306}{\mathbf{x}}}_{2}{\mathbf{H}}_{v}}^{2}. It is obvious that κ does not depend on the difference vectors {\stackrel{\u0306}{\mathbf{x}}}_{1} and {\stackrel{\u0306}{\mathbf{x}}}_{2}. It means that for any number of difference vectors, we can equalize their difference distances by changing only the power allocation matrix Σ. □
Proposed model
Now, we present the key to design a new linear precoder. First, the precoding matrix F _{ d } is factorized as the product of the power allocation matrix Σ and the scaling matrix B ^{∗}.
Beside the role of controlling the power allocation on each stream, the matrix Σ also determines how many virtual channels used to transmit signal. One should note the maximum number of activate virtual channels is upperbounded by the rank of matrix H. In other words, the nonnull diagonal elements of Σ are less than the number of datastreams b. We assume that the signal is transmitted on k subchannels, i.e., k≤b=rank(H). The matrix B ^{∗} is then selected as a normalized DFTmatrix of size k. According to Proposition 1, the diagonal matrix Σ depends on the channel characteristics, and has k positive real elements on the diagonal. We have total b different expressions of the precoding matrix F _{ d } corresponding to b precoders which pour powers on 1,2,…, and b virtual subchannels.
The precoding system structure, which contains an inputshaping matrix and a power allocation matrix, is shown in Figure 1. Due to different forms of CSIT, the precoder first decides number of virtual subchannels used for transmission, and then maps the databits into k symbols. The method used for selecting the modulation will be discussed in Section “Range of definition”. After that these symbols are preprocessed by a DFT block of size k. At the end of the precoder, the transmit signal is directly operated by a power distribution block, i.e., multiplied to a diagonal matrix Σ.
The expression of the power allocation matrix Σ depends on the symbol alphabet and the modulation used at the transmitter. In the following section, we propose a simple solution for one of the most common schemes: rectangular QAM.
Optimized precoder for rectangular QAM modulations
Expressions of the precoding matrix
For a rectangular 4^{m}QAM modulation, the transmit symbols belong to the set
where {M}_{s}=\frac{2}{3}({4}^{m}1) and a,b\in \{1,3,\dots ,{2}^{m}1\}.
In the new precoding scheme, the inputshaping matrix B ^{∗} is given by a DFTmatrix of size b. Our objective becomes to determine the matrix Σ subject to the power constraint (12) in order to improve the minimum distance performance. To derive the analytical solution of the power allocation matrix Σ in (11), we have to follow three main steps:

(i)
Eliminate the collinear difference vectors \stackrel{\u0306}{\mathbf{x}}\in \stackrel{\u0306}{X} in order to reduce the space of solution.

(ii)
For each transmit channel, implement a numerical research to determine which difference vectors providing d _{min}.

(iii)
Equalize all difference distances of the vectors in step (ii) to obtain analytic solutions of the power allocation matrix Σ.
In the case of the 4^{m}QAM modulation, we have (2^{m+1}−1)^{2b} difference vectors. Some of them cannot provide the minimum distance. It is due to the collinear properties, for example, {d}_{\alpha \stackrel{\u0306}{\mathbf{x}}}^{2}=\alpha {}^{2}{d}_{\stackrel{\u0306}{\mathbf{x}}}^{2}>{d}_{\stackrel{\u0306}{\mathbf{x}}}^{2}, with ∀α>1. For that reason, by eliminating all collinear difference vectors, we can reduce significantly the space of solutions.
In step (ii), we first parameterize the power allocation matrix Σ as the form of some trigonometric elements, such as,
For each channel H _{ v }, a numerical search over all angles ψ _{ i }∈(0,Π) in order to maximize the minimum distance shows us which difference vectors providing the distance d _{min}. And finally, the analytic solution of the matrix Σ can be derived by equalizing the difference distances given by these vectors.
One should note that the set of difference vectors, which provide d _{min}, is not fixed. It changes according to the channel values, and therefore lead to varies expressions of the matrix Σ. For higher order QAM modulations, the form of our precoding matrix is more complicated. We propose, in this section, some characterized expressions of the new precoding scheme. These expressions are only suitable for the small dispersive channels (i.e., there is no much difference of SNRs between each subchannel). However, we can use them for all transmit channels because of their large gain in the performance of d _{min}.
The number of nonnull diagonal elements in Σ represents the number of virtualsubchannels used for transmission. Let us denote the characterized expression of the precoder which enables powers on k subchannels as F _{ k } with k=1,…,b. According to (25) and (27), the diagonal entries of the power allocation matrix Σ can be defined by
where ϕ _{ j } denotes the power coefficient of the j th virtual subchannel. It is obvious that the diagonal elements of Σ are linearly proportional with ϕ _{ j }. We note that the value of ϕ _{ j } depends on the set of the optimization vectors. By equalizing the difference distances obtained by these vectors, we can derive the analytic values of ϕ _{ j }. Some normalized coefficients ϕ _{ j } are described in Table 1. At the end of this section, we show how to obtain this coefficient and propose a method for the general case F _{ k } (Table 1).
Precoder F_{1}
It is actually the maxSNR design which pours power on only the strongest virtual subchannel, i.e., \mathit{\Sigma}=\text{diag}\{\sqrt{{E}_{s}},0,\dots ,0\}. In order to retain the datarate, the precoder F _{1} can use a higherorder QAM modulation. In other words, it can transforms 4^{m}QAM signals on b virtual subchannels into a rectangular 4^{b.m}QAM signal on the first subchannel (detailed in Section “Range of definition”). The minimum distance provided by F _{1} is defined by
Precoder F_{2}
This is the second expression of the N−d _{min} precoder which is presented in our previous work [18]. We observe that the minimum distance is provided by two difference vectors {\stackrel{\u0306}{\mathbf{x}}}_{1}=\frac{1}{\sqrt{{M}_{s}}}{\left[0\phantom{\rule{2.77695pt}{0ex}}2\right]}^{T}, and {\stackrel{\u0306}{\mathbf{x}}}_{2}=\frac{1}{\sqrt{{M}_{s}}}{[2\phantom{\rule{2.77695pt}{0ex}}2]}^{T}. By substituting the DFTmatrix of size b into (11), we have
The normalized distances provided by {\stackrel{\u0306}{\mathbf{x}}}_{1} and {\stackrel{\u0306}{\mathbf{x}}}_{2} are given by
By equalizing {\stackrel{\u0304}{d}}_{{\stackrel{\u0306}{x}}_{1}}^{2}={\stackrel{\u0304}{d}}_{{\stackrel{\u0306}{x}}_{2}}^{2}, we obtain \psi =\text{atan}\left(\sqrt{{\rho}_{1}/3{\rho}_{2}}\right). The distance d _{min} provided by F _{2} is
Figure 2 shows the received constellation provided by the precoder F _{2}. It is observed that whenever two received vectors are close on one virtual subchannel, they are distant on the other (e.g., points A and B).
An exciting property of the precoding matrix F _{2} is that the average number of neighbors providing d _{min} is less than that of the optimized solution presented in [11]. For that reason, it provides a slight improvement in term of BER performance compared to the optimized max−d _{min} precoder.
Precoder F_{3}
This precoder pours power on three virtual subchannels, and has a characterized expression which is defined by
A numerical approach shows that the minimum distance is provided by three difference vectors {\stackrel{\u0306}{\mathbf{x}}}_{1}=\frac{1}{\sqrt{{M}_{s}}}{[0,0,2]}^{T}, {\stackrel{\u0306}{\mathbf{x}}}_{2}=\frac{1}{\sqrt{{M}_{s}}}{[0,2,2]}^{T}, and {\stackrel{\u0306}{\mathbf{x}}}_{3}=\frac{1}{\sqrt{{M}_{s}}}{[2,22i,2i]}^{T}. One should note that three difference vectors do not always give the distance d _{min}. They are only available for small dispersive channel, i.e., ρ _{1} is not too higher than ρ _{2}, and ρ _{2} is not much higher than ρ _{3}. It is reasonable to choose these vectors, because when the channel is large dispersive (ρ _{3}≫ρ _{2} or ρ _{2}≫ρ _{1}, for example), we can use the precoding matrix F _{2} or F _{1}.
By equalizing three difference distances provided by these vectors, we obtain
The distance d _{min} obtained by F _{3} is then
Figure 3 plots the received constellation provided by the precoder F _{3} in the case of 4QAM. Like the case of the precoder F _{2}, we observe that two received vectors processed by F _{3} are close on one virtual subchannel but can be distant on the others (e.g., points B and C).
Precoder F_{4}
The characterized expression of the precoding matrix F _{4} is given by
A numerical search shows that the minimum distance is provided by {\stackrel{\u0306}{\mathbf{x}}}_{1}=\frac{1}{\sqrt{{M}_{s}}}{[0,0,0,2]}^{T}, {\stackrel{\u0306}{\mathbf{x}}}_{2}=\frac{1}{\sqrt{{M}_{s}}}{[0,0,2,2]}^{T}, {\stackrel{\u0306}{\mathbf{x}}}_{3}=\frac{1}{\sqrt{{M}_{s}}}{[0,2,22i,2i]}^{T}, and {\stackrel{\u0306}{\mathbf{x}}}_{4}=\frac{1}{\sqrt{{M}_{s}}}{[2,2,2,2]}^{T}. Like the case of the precoder F _{3}, by equalizing their difference distances, we obtain
The distance d _{min} obtained by F _{4} is given by
The general case F_{ k }
In the case of k parallel datastreams, a first numerical approach is first consider to determine all optimization vectors. This numerical search is implemented for all angles ψ _{ i }∈(0,Π) of the matrix Σ in (29) to optimize the distance d _{min}. Let us denote {\stackrel{\u0306}{\mathbf{x}}}_{1},{\stackrel{\u0306}{\mathbf{x}}}_{2},\dots ,{\stackrel{\u0306}{\mathbf{x}}}_{k} as k difference vectors providing the minimum distance. The distance {d}_{{\stackrel{\u0306}{\mathbf{x}}}_{i}} is given by
where \mathit{{\rm Y}}={\mathit{\Sigma}}^{\ast}{\mathbf{H}}_{v}^{\ast}{\mathbf{H}}_{v}\mathit{\Sigma}=\text{diag}({\lambda}_{1},\dots ,{\lambda}_{k}), and vector u _{ i } is given by
By equalizing k difference distances, we have (k−1) equations below
where v _{ i,j }=u _{1(j)}^{2}−u _{ i(j)}^{2} with i=2,…,k. For a 4^{m}QAM modulation, it is noted that the difference vector {\stackrel{\u0306}{\mathbf{x}}}_{1} is often defined by {\stackrel{\u0306}{\mathbf{x}}}_{1}={[0,\dots ,0,2]}^{T}, i.e., u _{1(j)}^{2}=4 with j=1…k. The power constrain in (12) can be now rewritten as
Let us define λ=[λ _{1},…,λ _{ k }]^{T}, and v _{1,j }=1/ρ _{ j } with j=1,…,k, we have
or
In conclusion, the power coefficients ϕ _{ i } are proportional to the entries of the vector λ which can be defined by λ=V ^{−1} ε. The condition of the existence of the vector λ is that the matrix V is invertible. When {\stackrel{\u0306}{\mathbf{x}}}_{1}={[0,\dots ,0,2]}^{T} is one of the difference vectors providing the minimum distance, the distance d _{min} is then defined by
Range of definition
To improve the BER performance of a MIMO system, we choose from these precoding matrices above the precoder that provides the highest minimum Euclidean distance. One should note that the datarate of a precoder F _{ i } is different to each other’s. For example, if we both use 4QAM modulation for the precoders F _{1} and F _{2}, the bitrate of F _{2} is twice as that of F _{1}. Therefore, we have to consider the datarate of the b precoders when comparing their distances d _{min}. The error probability in (7) can be reexpressed as
where M is the number of alternative modulation symbols, B is the bandwidth, and f _{ s } is the symbol rate. For a given modulation order, by comparing the righthand side of (48) corresponding to b precoders, we can obtain the range of definition for each precoding scheme.
Another simple method to retain the datarate is using different modulation for each precoder. Lets us come back to the example of the precoders F _{1} and F _{2}. If the 4QAM modulation is used for the precoder F _{2}, it means that two 2bits symbols are transferred on two subchannels. Instead of transmitting like this, we can transfer one 4bits symbols (16QAM) on the first virtual subchannels. Then, two minimum distances that correspond to F _{1} using 16QAM and F _{2} using 4QAM are compared in order to determine the range of definition for two precoders F _{1} and F _{2}.
In other words, if {d}_{{\mathbf{F}}_{1}}^{2}>{d}_{{\mathbf{F}}_{2}}^{2} or ρ _{1}/ρ _{2}>7: the precoder F _{1} is chosen, and for ρ _{1}/ρ _{2}<7: the precoder F _{2} is selected. Other precoders can be implemented in a similar way.
Simulation results
Comparison of minimum Euclidean distance
In this section, we indicate the improvement of the proposed precoder in terms of the minimum Euclidean distance compared to diagonal precoders. Indeed, the minimum Euclidean distance provided by a diagonal precoder is
where s=[s _{1},s _{2},…,s _{ b }]^{T}, r=[r _{1},r _{2},…,r _{ b }]^{T}, and F _{ d }=diag(f _{1},…,f _{ b }). One should note that the minimum Euclidean distance is obtained when the two vectors s and r are different from only a symbol. The minimum Euclidean distance of F _{ d } is then given by
It is noted that the diagonal entries of {\mathbf{H}}_{v}=\text{diag}(\sqrt{{\rho}_{1}},\dots ,\sqrt{{\rho}_{b}}) are sorted in decreasing order, i.e., ρ _{1}≥ρ _{2}≥⋯≥ρ _{ b }. By comparing all of elements on righthand side of (51), the minimum distances corresponding to some traditional precoders such as beamforming, max−λ _{min}[8], Waterfilling [4], and MMSE [7], can be determined. Table 2 illutrates the distance d _{min} obtained by these diagonal precoders in comparison with our proposed precoder, in which {\left(x\right)}^{+}\stackrel{\underset{\text{def}}{}}{=}max(x,0).
The normalized minimum distances provided by these precoder above, in the case of b=2 virtual subchannels and 4QAM modulation, are illustrated in Figure 4. It is observed that our precoder provides a large improvement in terms of d _{min} compared to the diagonal precoders. In comparison with the max−d _{min} precoder presented in [11], the proposed precoder has a small difference in the minimum distance. However, its average number of neighbors providing the minimum distance is less than that of the max−d _{min} precoder [18]. According to that improvement, an enhancement in terms of BER is expected for our new precoder (Table 2).
BER performance
In this section, the BER performance of the proposed precoder is considered in comparison with other traditional precoding strategies. The proposed precoder obtains a significant improvement of BER in comparison with the diagonal precoders: Waterfilling, MMSE, and max−λ _{min}. A gain about 6 dB can be observed at high SNR. Furthermore, as discussed above, our precoder has the number of neighbors providing d _{min} less than that of the optimal solution max−d _{min} in [11], although it has a small difference in terms of d _{min}. Therefore, the new precoder provides a slight BER improvement compared to the max−d _{min} solution. The BER performance with respect to SNR for two transmit datastreams and 4QAM modulation is plotted in Figure 5.
The optimal solution for max−d _{min} precoder is presented in [11, 12], but it is only available for two transmit datastreams with 4QAM and 16QAM modulations. By decomposing the channel into 2×2 eigenchannel matrices and optimize the distance d _{min} for each pair of datastreams, Vrigneau et al. [13] proposed a suboptimal precoder for large MIMO channels. This extension is split into four steps: virtual diagonalization of the channel, combination in pairs of subchannels, application of the optimal 2D max−d _{min} solution, and power allocation on each subsystem. However, this solution is also suitable for loworder QAM modulations. A main advantage of our new precoder is that the solution is available for all rectangular QAMmodulations and for any number of datastreams.
For large MIMO simulations, we consider a system with n _{ T }=5 transmit and n _{ R }=4 receive antennas. The bitstreams are separated into b=4 independent virtual subchannels, and the channel matrix H is i.i.d. zeromean complex Gaussian. For each SNR, the precoders are optimized for about 30,000 random matrices H. It is observed in Figure 5 that the BER performance of the max−λ _{min} solution is better than those of MMSE and Waterfilling. Therefore, the max−λ _{min} precoder is chosen to compare with our proposed precoder. Beside that some sophisticated transceivers such as: the Schurconvex ARITHBER design [9], the linear precoder using Decision Feedback Equalization (DFE) [19], and the linear transceiver with bit allocation [20] are also mentioned in the comparison with our precoder. Figure 6 illustrates the BER performance for MIMO (5,4) systems using 4QAM modulation. The comparison of the proposed precoder and other schemes for b=4 transmit datastreams shows that the performance is significantly enhanced in terms of BER. It is obvious that our precoder performs much better than diagonal precoders such as max−λ _{min} and Waterfilling. Furthermore, we observe that the new precoder also presents a significant improvement of BER compared to the DFE, the Schurconvex ARITHBER, and the maximum bitrate solutions, especially when the SNR is high. The new precoder was found to be better than E−d _{min} schemes and this is due to the fact that not only the minimum distance, but also the number of neighbors providing d _{min} is taken into consideration.
We also consider, in this section, the impact of imperfect CSI estimation on the BER performance of the proposed precoder. Figure 7 illustrates the BER performance with respect to SNR in the case of perfect CSI and imperfect CSI estimation. The estimated channel matrix of imperfect CSI system can be modeled as H _{est}=H+H _{err}, where H _{err} represents the channel estimation error. The optimal training signals for the MIMOOFDM channel estimation can be found in [21]. One should note that if the transmit channel is quasistationary, i.e., remains constant for several symbol periods, the precoding across time could be replaced by precoding across subcarriers [14]. In this simulation, we assume that the entries of H _{err} are complex Gaussian i.i.d random with mean zero and variance σ _{err}=0.3 σ, where Σ is the variance of the complex Gaussian entries of H. It is observed that the BER performance of our precoder decreases at high SNR, but it still remains better than the other precoding strategies. Furthermore, the BER enhancement obtained by the proposed precoder is much better than the case of full CSI in comparison with the E d _{min} solution: a gain of 2 dB in SNR can be observed at BER=10^{−5}.
Conclusion
We proposed, in this article, a new linear precoder that is based on the maximization of the minimum Euclidean distance between two received data vectors. The suboptimal design was obtained by observing the SNRlike matrix of the precoding matrix. An approximation of the minimum distance is derived, and its maximum value was obtained by maximizing the minimum diagonal element of the SNRlike matrix. We then showed that the minimum diagonal element can be attained by a specific set of the precoder. Firstly, the precoding matrix is parameterized as the product of a diagonal power allocation matrix and an inputshaping matrix. The inputshaping matrix concerns with the rotation and scaling of the input symbols on each virtual subchannel. We demonstrated that the minimum diagonal entry of the SNRlike matrix is obtained from a special choice of the inputshaping matrix, i.e., a DFTmatrix, and our objective becomes determining the power allocation matrix Σ. As its name implies, the matrix Σ decides how many subchannels are used by the precoder for data transmission. For each number of available datastreams, we proposed a simple characterized expression of the precoding matrix for all rectangular QAM modulations.
We also presented some performance comparisons to demonstrate that the proposed precoder obtains a significant improvement in terms of BER. The improvement may be more than several dB at reasonable BER levels. In comparison with the optimal max−d _{min} solution, our proposed precoder also provides a slight BER improvement. One main advantage of our design is that the solution can be available for all rectangular QAMmodulations and for any number of datastreams. It is because that the precoder has a simple analytic form, and the space of the solution is smaller than the full design of minimum distance based precoders.
References
Paulraj A, Gore D, Nabar R, Bolcskei H: An overview of MIMO communicationsa key to gigabit wireless. Proc IEEE 2004, 92(2):198218. 10.1109/JPROC.2003.821915
Foschini G: Layered spacetime architecture for wireless communication in a fading environment when using multielement antennas. Bell Labs. Tech J 1996, 1(2):4159.
Vu M, Paulraj A: MIMO wireless linear precoding. IEEE Signal Process Mag 2007, 24(5):86105.
Telatar E: Capacity of multiantenna Gaussian channels. Eur. Trans Telecommun 1999, 10(6):585595. 10.1002/ett.4460100604
Rostaing P, Berder O, Burel G, Collin L: Minimum BER diagonal precoder for MIMO digital transmissions. IEEE Signal Process 2002, 82(10):14771480. 10.1016/S01651684(02)002888
Stoica P, Ganesan G: MaximumSNR spatialtemporal formatting designs for MIMO channels. IEEE Trans. Signal Process 2002, 50(12):30363042. 10.1109/TSP.2002.805266
Sampath H, Stoica P, Paulraj A: Generalized linear precoder and decoder design for MIMO channels using the weighted MMSE criterion. IEEE Trans Commun 2001, 49(12):21982206. 10.1109/26.974266
Scaglione A, Stoica P, Barbarossa S, Giannakis G, Sampath H: Optimal designs for spacetime linear precoders and decoders. IEEE Trans. Signal Process 2002, 50(5):10511064. 10.1109/78.995062
Palomar D, Cioffi J, Lagunas M: Joint txrx beamforming design for multicarrier mimo channels: a unified framework for convex optimization. IEEE Trans. Signal Process 2003, 51(9):23812401. 10.1109/TSP.2003.815393
PerezCruz F, Rodrigues MRD, Verdu S: MIMO Gaussian channels with arbitrary inputs: optimal precoding and power allocation. IEEE Trans. Inf. Theory 2010, 56(3):10701084.
Collin L, Berder O, Rostaing P, Burel G: Optimal minimum distancebased precoder for MIMO spatial multiplexing systems. IEEE Trans. Signal Process 2004, 52(3):617627. 10.1109/TSP.2003.822365
Ngo QT, Berder O, Vrigneau B, Sentieys O: Minimum distance based precoder for mimoofdm systems using 16qam modulation. In IEEE International Conference on Communications (ICC). Dresden, Germany; June 2009.
Vrigneau B, Letessier J, Rostaing P, Collin L, Burel G: Extension of the MIMO precoder based on the minimum Euclidean distance: a crossform matrix. IEEE J. Sel. Topics Signal Process 2008, 2(2):135146.
Kapetanović D, Rusek F: On precoder design under maximumlikelihood detection for quasistationary mimo channels. In IEEE International Conference on Communications (ICC). Cape Town, South Africa; May 2010.
Bergman S, Palomar D, Ottersten B: Joint bit allocation and precoding for mimo systems with decision feedback detection. IEEE Trans. Signal Process 2009, 57(11):45094521.
Ma M, Huang X, Jiao B, Guo Y: Optimal orthogonal precoding for power leakage suppression in dftbased systems. IEEE Trans. Commun 2011, 59(3):844853.
Goldsmith A: Wireless Communications. Cambridge: Cambridge University Press; 2005.
Ngo QT, Berder O, Scalart P: Reducing the number of neighbors in the received constellation of dmin precoded mimo systems. In IEEE Wireless Communications and Networking Conference (WCNC). Cancun, Mehico; March 2011.
Shenouda M, Davidson T: A framework for designing mimo systems with decision feedback equalization or tomlinsonharashima precoding. IEEE J. Sel. Areas Commun 2008, 26(2):401411.
Li C, Lin Y, Tsai S, Vaidyanathan P: Optimization of transceivers with bit allocation to maximize bit rate for mimo transmission. IEEE Trans Commun 2009, 57(12):35563560.
Minn H, AlDhahir N: Optimal training signals for MIMO OFDM channel estimation. IEEE Trans. Wirel. Commun 2006, 5(5):11581168.
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
Ngo, QT., Berder, O. & Scalart, P. General minimum Euclidean distancebased precoder for MIMO wireless systems. EURASIP J. Adv. Signal Process. 2013, 39 (2013). https://doi.org/10.1186/16876180201339
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/16876180201339