This paper considers codebook-based precoding for Space Shift Keying (SSK) modulation MIMO system. Codebook-based precoding avoids the necessity for full knowledge of Channel State Information (CSI) at the transmitter and alleviates the complexity of generating a CSI-optimized precoder. The receiver selects the codeword that maximizes the Minimum Euclidean Distance (MED) of the received constellation and feeds back its index to the transmitter. In this paper, we first develop a new accurate closed-form Bit Error Rate (BER) for SSK without precoding. Then, we investigate several phase-rotation codebooks with quantized set of phases and systematic structure. Namely, we investigate the Full-Combination, Walsh-Hadamard, Quasi-Orthogonal Sequences, and Orthogonal Array Testing codebooks. In addition, since the size of the Full-Combination codebook may be large, we develop an iterative search method for fast selection of its best codeword. The proposed codebooks significantly improve the BER performance in Rayleigh and Nakagami fading channels, even at high spatial correlation among transmit antennas and CSI estimation error. Moreover, we show that only four phases {+1,+j,-1,-j} are sufficient and further phase granularity does yield significant gain. This avoids hardware multiplication during searching the codebook and applying the codeword.
Prince Sattam bin Abdulaziz University2016/01/66371. Introduction
Spatial Modulation (SM) is a novel technique to achieve low complexity and energy efficient Multiple Input Multiple Output (MIMO) systems [1]. In SM, part of the user data bits is conveyed through the index of a single transmit antenna (TA), while the second part is conveyed through classic selection of an Amplitude and Phase Modulation symbol [1, 2]. One special form of SM-MIMO is the Space Shift Keying (SSK) proposed in [3] to tradeoff receiver complexity for data rate. In SSK, the data bits are encoded only in the index of TA, which transmits an unmodulated data such as +1 symbol. When the number of TAs is not sufficient, Generalized SSK and Generalized SM are introduced, respectively, in [4] and [5] to increase the spectral efficiency by activating multiple TAs and availing larger TA combinations and indexes.
In comparison to the conventional MIMO schemes, SM has potential advantages. Notably among them are the avoidance of interchannel interference and relaxation of the need for interantenna synchronization, due to the transmission from a single antenna at each time instant. The complexity of the transceiver is also reduced and the energy efficiency is enhanced since only one Radio Frequency (RF) chain is required. Furthermore, the configurations related to the number of transmit and receive antennas are flexible in contrast to the restrictions applied in MIMO spatial multiplexing [1–3, 6]. Initial research was dedicated to improve the SM and SSK systems performance through designing low complexity receiver algorithms that minimize the Bit Error Rate (BER) [7–9]. However, Transmit Precoding (TPC) as a preprocessing technique on the transmitter side, with possible feedback from the receiver side, has lately shown remarkable performance gains [10, 11].
TPC assumes downlink Channel State Information (CSI) is known at least at the receiver, and a common precoding codeword is employed by the transmitter and the receiver. In the transmitter side, the codeword is used to scale the TAs. In the receiver side, it is used in Maximum Likelihood (ML) detection of the TA index and the transmitted symbol [8]. In most research, the design objective of TPC codeword is maximizing the Minimum Euclidean Distance (MED) between pairs of received symbols, which is the dominant factor affecting the BER performance [3]. Finding the codeword that fulfills MED maximization has been the subject of considerable research, which can be categorized into three main approaches as described below.
The first approach, which is a noncodebook approach, captured the most attention in the TPC research. This approach develops algorithms to find the TPC codeword that realizes a design objective for the given CSI [12–20]. This algorithm should be used in the transmitter and receiver to yield the same codeword, and it requires full knowledge of the CSI at both sides. The most widely used design objective is the maximization of the MED subject to fixed transmit power. This is sometimes termed as the Maximum Minimum Distance (MMD), and it is used as the first method in [12, 13]. Another utilized design objective is the transmit power minimization subject to Guaranteed Euclidean distance (GED), which is utilized as the second method in [12, 13]. Other design objectives include Signal-to-Noise Ratio (SNR) maximization [14], direct BER minimization [15], and phase alignment [16]. In [12–14, 17, 18], the designed codeword involves amplitude scaling, while, in [15, 16], it is based on phase rotation only. Therefore, this approach yields a codeword matching the instantaneous channel, leading to a significant reduction in BER. It is more practical in Time Division Duplex (TDD) systems where the uplink and downlink channels are the same. However, there are some limitations to this approach. The solution for the codeword is typically iterative. Depending on the number of transmit and receive antennas the complexity of the algorithm may be an issue. Also, the required number of iterations is variable and depends on the instantaneous CSI and SNR, leading to a nonfixed processing time. Moreover, when the RF chain specifications and processing power of the receiver and transmitter are different, the reciprocity may be an issue. Besides, huge overhead is required to obtain full CSI through feedback with infinite rate, particularly in the Frequency Division Duplex (FDD) systems [21]. To solve this latter problem, the research in [19] suggests quantizing the channel phase angles at the receiver, and feeding them back to the transmitter with limited number of bits, to be used for phase compensation at the transmitter. Also, [20] proposes a simplified power allocation method. The receiver uses the CSI to update the power allocation for only two antennas that are associated with MED and feeds back only their indices and updated power allocation using a limited number of bits.
The second approach is the CSI-independent codebook-based approach [22, 23]. This approach is proposed to overcome the aforementioned limitations of the first approach through utilizing a codebook with a limited predefined number of codewords known by the transmitter and receiver. Given the CSI, the receiver selects the codeword that maximizes the MED and feeds back the index of the selected codeword to the transmitter. This feedback can be considered as a limited knowledge of CSI at the transmitter. The second method of codebook construction proposed in [22] follows this approach. The codebook is the DFT matrix, where the codebook size should be less than or equal to the number of TAs. Interestingly, a modified DFT matrix is also utilized in [24] as a precoding matrix for a special form of Generalized SSK system, under spatially correlated channels. The precoding matrix is constructed by multiplying a complex random unitary matrix by the DFT matrix. It is worthwhile to mention that [24] does not assume any feedback from the receiver to the transmitter. The precoding codeword is selected by the bit sequence to be transmitted, rather than the instantaneous CSI. However, the utilization of the CSI-independent precoder falls into the second approach. In [23], a codebook was constructed of randomly generated matrix of complex Gaussian random variables with zero mean and unit variance. Significant performance gain has been shown in [22–24] with CSI-independent codebooks. In [25], the authors of this paper presented two small-size codebooks that are subsets of all possible combinations of codewords (denoted as Full-Combination codebook). The first codebook is the Factorized Full-Combinations codebook, which is based on restructuring the Full-Combination codebook for faster codeword search. The second codebook is the Statistically Filtered Full-Combinations codebook, which is based on selecting the codewords which are most frequently used. While these two codebooks provide good performance, they do not have a predefined structure. The CSI-independent codebook-based approach is suitable for FDD systems that are widely used in 3G and 4G systems, where the uplink and downlink channels are not reciprocal. Also, these codebooks require only a limited knowledge of CSI at the transmitter. However, the drawback of this approach is that the selected codeword does not match the channel exactly. Hence, the MED is not globally maximized, which may lead to performance loss compared to the first approach.
The third approach is a hybrid approach [26], where a codebook is designed to match the channel on the average. The first method of codebook construction proposed in [22], as well as the method in [27] by the same authors, follows this approach. In [22], the codebook is constructed by generating a large set of random codewords. Then, this set is filtered to select the best codebook with the desired number of codewords. The selection criterion is the maximization of the statistical expectation of the MED. In [27], the codebook is generated iteratively using the concept of the Lloyd algorithm [28] and the nearest neighborhood and centroid criteria. A training set of 6000 random channel realizations are used as the training set for codebook construction. In [22, 27], once the codebook is constructed, codeword is selected based on maximizing the MED and the index is fed back from the receiver to the transmitter. In [24], in addition to the DFT-based precoder mentioned in the second approach, the authors also propose two codebook construction methods based on zero-forcing and matched filter of the transmit correlation matrix. Hence, these codebooks fall in the third approach. While this approach achieves the advantages of the codebook-based approach, it suffers from two shortcomings. The codebook may need to be updated if the channel long-term characteristics change and the update must be reciprocal in the transmitter and receiver. The second is the lack of a systematic algebraic structure of the codebook. The codeword elements are random-like, which may be an issue when they are quantized for practical implementation and fed back from the receiver to the transmitter, although at a low rate.
In consideration of the foregoing, this research focuses mainly on the second approach (i.e., channel-independent and codebook-based), primarily motivated by its advantages. This approach is extensively utilized in MIMO spatial multiplexing [26] and it is also employed in LTE-A system [29]. Nevertheless, this approach did not get enough attention in the SM and SSK literature. Thus, this work introduces several codebook-based precoding methods for SSK assuming phase-only precoding. There are several reasons to prefer the phase-only precoding, in contrast to the joint amplitude and phase precoding. First, it is shown in [16] that amplitude precoding may require a large dynamic range in the precoding gain, which requires high cost linear power amplifier at the transmitter. This was also noted as the reason for phase-only precoding in [15]. Second, we find in the numerical results that four phases are sufficient for performance improvement. Increasing number of phases does not provide worthwhile gain. This considerably reduces the complexity of codebook search in the receiver and codeword scaling in the transmitter.
The contribution of this paper is dedicated for SSK-MIMO system, and it can be summarized as follows:
New and more accurate closed-form BER formula is derived for SSK without precoding and compared to the existing formulas in the literature.
New codebooks for SSK are introduced and their performance is investigated, including the Full-Combination (FC), Walsh-Hadamard (WH), Quasi-Orthogonal Sequences (QOS), and Orthogonal Array Testing (OAT) codebooks. They are based on phase rotation only and require limited feedback.
Iterative Search (IS) method is developed in order to solve the challenging task of selecting the best codeword iteratively from the FC codebook when its size is large.
It is shown that codebooks with elements ∈±1,±j are sufficient to achieve all the performance gain from this type of codebooks. This greatly simplifies the practical implementation since channel scaling becomes a sign inversion and/or swapping real and imaginary parts.
The performance of the proposed codebooks is investigated under imperfect CSI estimation and correlated channel for both Rayleigh and Nakagami fading channels.
The performance of the proposed codebooks is compared to selected published performance in the literature.
The remainder of this paper is organized as follows: in Section 2, the system model of SSK-MIMO is introduced. Development of the new closed-form BER for conventional SSK-MIMO system is presented in Section 3. Section 4 explains the codebook-based TPC and investigates the FC, WH, QOS, and OAT codebooks. Also, this section presents the IS method to select the codeword from the FC codebook. Simulation results and performance comparisons are presented in Section 5. Finally, Section 6 concludes the paper.
Notation. (·)∗,(·)T, and (·)H indicate conjugate, transpose, and Hermitian transpose, respectively. Boldface uppercase and lowercase letters denote matrices and vectors, respectively. Italic upper or lower case letters represent the scalar variables. The notation diag(x) denotes a diagonal matrix with vector x in its diagonal elements. The notation · refers to the Euclidean norm. The gamma function of an integer is defined as Γ(n+1)=n!, where n! is the factorial of the integer n.
2. SSK-MIMO System Model
Consider SSK-MIMO system with Nt transmit antennas and Nr receive antennas. Information bits are divided into sections of length log2Nt bits, where we assume that Nt is a power of 2. Each section is converted from binary to decimal to yield the index k of the antenna to be activated, k=0,1,…,Nt-1. The signal of SSK-MIMO systems can be expressed as follows:(1)r=HPxk+w,where r is the complex received signal vector and H=h0,h1,…,hNt-1 is the (Nr×Nt) complex channel matrix, which is known to the receiver only. H consists of Nt channel vectors hm. The elements of hm are denoted as hn,m which indicate the channel path gain between the mth transmit antenna and the nth receive antenna. The elements hn,m are assumed to be identical and independently distributed (i.i.d.) complex Gaussian random variables with zero mean and unit variance. The (Nt×Nt) Phase-Rotation Precoding (PRP) matrix P has a diagonal structure to satisfy the SSK requirements of a single active antenna at a transmission time. The (Nt×1) transmission vector xk is given by(2)xk=0,…,1kth,…,0T,which indicates that only the kth antenna is activated. The (Nr×1) noise vector w is the white noise whose elements are i.i.d. complex Gaussian random variables with zero mean and variance 1/γ, where γ is the SNR per receive antenna.
Let us define the (Nc×Nt) codebook matrix C that includes Nc codewords as follows:(3)C=p0,p1,…,pq,…,pNc-1T.Each row in C represents a codeword of length Nt that is used to scale the Nt TAs. If the selected codeword is pq, then the precoding matrix P=diagpq. Without precoding all elements in pq are ones. Figure 1 shows the SSK system with codebook-based TPC.
SSK-MIMO system model for codebook-based precoding.
Given the estimated CSI and the utilized codeword, the receiver invokes ML detection [8] on the received vector r to decide the TA index. This index is demapped using decimal to binary conversion into the corresponding transmitted bits. In addition, at a reasonable rate that corresponds to the coherence time of the channel, a new codeword is selected from the codebook and its index is fed back to the transmitter. In our simulations, independent channels H are generated each transmission, and the best codeword is selected and used in the transmitter and receiver.
3. Bit Error Rate for Conventional SSK-MIMO System
The availability of a closed-form BER for the conventional SSK is very important since it provides easy and fast way for evaluating its performance with different set of parameters, comparing it with other alternative technologies and evaluating the gain realized by any enhancements that may be added to it. An upper bound for the BER of SM is widely utilized. See, for example, [30, 31]. This upper bound can be used for SSK as well. The upper bound BER of SM in equation (18) of [30] can be specialized for SSK as follows:(4)Pberror≤Nt2121-γ2+γNr∑k=0Nr-1Nr-1+kk121+γ2+γk.
This same formula is also available as the SSK special case of equation (17) and Table I in [31]. The upper bound of (4), which is widely used in the literature, is based on the union bound and the pairwise error probability (PEP). This bound is known to be loose at low SNR and/or small number of receive antennas [31]. To the best of the authors’ knowledge, no other BER formula for SSK is available in the literature. In this section, we derive an approximation of the BER for the conventional SSK system in Rayleigh fading channel that is much more accurate than (4), specially for low SNR and small Nr.
Assume that the TA number m is active. The received SSK signal is given by(5)r=hm+w,where r=r0,r1,…,rNr-1T and hm=h0,m,h1,m,…,hNr-1,mT is the mth channel vector in H. Using the ML criteria, the receiver calculates the squared distances Vn, n=0,1,…,Nt-1, between the received vector r and all the Nt columns of H.
The squared distance Vn is given by Vn=hm-hn+w2. The receiver selects the smallest Vn to correspond to the active antenna in the transmitter. If the decision is correct (n=m), we get Y=Vm=w2. Symbol error occurs if Y is larger than any other distance. Define Z=minVn,n=0,1,…,Nt-1,n≠m. Symbol error occurs if Z<Y. The two random variables Y and Vn, n≠m, follow χ2 distribution with 2Nr degrees of freedom and statistical means Nr/γ and Nr2+1/γ, respectively [32]. DefinefSs and FSs, respectively, as the probability density function (pdf) and the cumulative distribution function (cdf) of a random variable S. To proceed further, we need the cdf of Z. This is very challenging since the χ2 random variables Vn defined above are correlated. In [33], the pdf and cdf are derived for the maximum of two correlated Rayleigh and χ2 random variables. Similar derivation could be done for the minimum. However, in SSK, we are interested in large number of random variables, corresponding to large number of TAs. Finding the pdf or cdf of the minimum of more than two correlated χ2 random variables is a formidable task. To simplify analysis, we invoke the approximation that the random variables Vn are independent, n=0,1,…,Nt-1. Fortunately, we will find that this approximation still yields accurate BER results.
Using this approximation, the symbol error rate is given by(6)Psymerror=PrZ<Y=∫y=0∞∫z=0yfYyfzZdzdy=∫0∞fYyFZydy.The cdf of Z is related to the cdf of Vn as FZy=1-1-FVyNt-1. The pdf of Y and the cdf of Vn can be written, respectively, as follows [32]:(7)fYy=yNr-1γNrexp-yγΓNr,y>0,FVy=1-exp-yγ1+2γ∑k=0Nr-11k!yγ1+2γk,y>0.Using (7) in (6) and processing the integration, we find the symbol error rate as(8)Psymerror=1-1+2γNrΓNr∫0∞yNr-1exp-2γ+Nty∑k=0Nr-1ykk!Nt-1dy.To express (8) in a closed form, we use the following expansion:(9)∑k=0Nr-1ykk!Nt-1=∑k=0Lβkyk,where L=Nt-1Nr-1 and βk is the set of coefficients in the expansion. They can be found as in [34], section 1.9.60. Using this expansion, we get the closed-form BER for the symbols error rate as follows:(10)Psymerror=1-1ΓNr1+2γNt+2γNr∑k=0LβkΓk+NrNt+2γk.Now, since there is no Gray coding, symbol error leads to bit errors in any of the other Nt-1 symbols with equal probability. An SSK symbol includes B=log2Nt bits. When a symbol error occurs the number of symbols with m bit error is Bm. Hence, given a symbol error, the average number of bit errors is 1/Nt-1∑m=1BmBk=BNt/2Nt-1. Consequently, the BER is related to the SER of (10) by(11)Pbiterror=PsymerrorNt2Nt-1.A special case of interest is when Nr=1. In this case (4) simplifies to(12)Pberror≤Nt41-γ2+γ,while the closed-form (11) reduces to(13)Pberror=Nt2Nt+4γ.Clearly, the upper bound (12) is very loose, as it linearly increases with Nt and could go higher than 1. In contrast, the BER of (13) increases slowly with Nt and is upper bounded by 0.5 when Nt is large. It is shown in the numerical results that the BER of (11) and (13) provides a very close agreement with simulation.
4. Precoding Aided SSK-MIMO Systems
In the previous section, the BER is derived for the conventional SSK system, that is, without precoding. The CSI is assumed unknown to the transmitter. However, if the transmitter has knowledge about the downlink CSI, it can preprocess the transmitted signal to reduce the BER. Conditioned on the channel gains hij, the BER of SSK is upper bounded by the following [3]: (14)Pberror≤2Ntlog2Nt∑i=0Nt-1∑j=i+1Nt-1Dhi,hjQγhi-hj22,where Dhi,hj is the number of bit errors when the channel vector hi (the ith column of H) is wrongly detected as hj, and Q· is the Q-function. The upper bound (14) consists of a weighted sum of Q-functions whose arguments are scaled squared Euclidean Distances (EDs) between pairs of channel vectors. Since Q(x) rapidly decays with increasing x, the upper bound (14) is dominated by the smallest MED hi-hj2 (for simplicity, for the remainder of the paper, we refer to the squared value of the MED as the MED). By precoding (i.e., scaling) the ith transmit antenna by the ith element of a codeword pk=pk,0,pk,1,…,pk,Nt-1T, the precoded MED pk,ihi-pk,jhj2, i≠j, can be increased, leading to a reduced BER in (14). Therefore, it is a common practice to find the best codeword pb that maximizes the MED. In this section, we focus on constructing an (Nc×Nt) codebook matrix C consisting of Nc codewords, where C is known to the transmitter and receiver. From C, the best codeword pb is selected by testing all Nc codewords and selecting the one that maximizes the MED as follows: (15)pb=argmaxpk∈Cmini≠jpk,ihi-pk,jhj2.The receiver feeds back the index b of this codeword to the transmitter using Nfb bits. The following subsections present several codebooks for SSK. All codebooks assume phase-only precoding where the codeword elements are selected from the set {expj2πm/M,m=0,1,…,M-1}, where M≥1 is the number of possible phases.
4.1. Full-Combinations (FC) Codebook
In this case, the gains pk,i take all possible combinations of the M phases with pk,i=expj2πmk,i/M. The first antenna is a reference with mk,0=0 and pk,0=1 for all k. The remaining vector mk,1,mk,2,…,mk,Nt-1T is the conversion of the decimal codeword index k into a Base-M number with Nt-1 digits. Hence, the codebook size is Nc=MNt-1 codewords, each with length Nt gains. With pk,0=1, each codeword is unique; that is, no codeword is a phase rotation of another codeword. The required number of feedback bits is Nfb=Nt-1log2M, where each transmit antenna, except the first antenna, needs log2M bits to select the gain pk,i. This codebook is used as a reference for the other proposed methods in this paper since it provides the best BER performance. However, sequential search for the best codeword using (15) is practical only for small Nt and M. For example, for Nt=16 and M=4, the number of codewords is Nc=415, which is formidable to search. It is important to note that although codewords are unique, several codewords yield the same MED. Hence, full search of the codebook is not necessary. We show below an iterative method to find the best codeword in the FC codebook and achieve the same BER performance of sequential search.
4.2. Walsh-Hadamard (WH) Codebook
When Nt is large we can still search a large FC codebook efficiently using the iterative method described below. However, the number of feedback bits using the FC codebook may be unacceptable in some applications. In this case, a short codebook is desirable. The codebook must provide sufficient codeword diversity with large dissimilarity. This motivates us to investigate orthogonal codebooks. An interesting short codebook to investigate is the well-known binary Walsh-Hadamard (WH) square matrix [35] with size Nt. The number of codewords is Nc=Nt, requiring only Nfb=log2Nt feedback bits. The WH codebook is relatively short and the sequential search is simple (pi and pj are only sign changes in (15)). The disadvantage is the limitation of two-phase codewords with ±1 values only. However, it is shown in the numerical results that the WH codebook provides considerable BER reduction compared to the case without precoding, which makes it an attractive solution.
4.3. Quasi-Orthogonal Sequences (QOS) Codebook
To circumvent the two-phase limitation of the WH codebook, we can use Quasi-Orthogonal Sequences (QOS) codebook. QOSs are used in Code Division Multiple Access (CDMA) systems to augment the WH sequences and accommodate more users [36, 37]. There are families of real and complex QOSs. Here, we are interested in a codebook whose elements are 4-phase ∈{±1,±j}. QOS codebook is generated using the WH codebook and a set of N masking sequences with size Nt. Each masking sequence is element-by-element multiplied by each WH codeword to generate a QOS codebook with size N×Nt. References [36, 37] describe methods for generating such masking sequences. Masking sequences with size 2m, m=3 to 8, are listed in [36], Table VI, which we employ in this paper. Using these masking sequences, we can generate QOS codebooks of the desired size. In this paper we use QOS codebook with size Nc=4×Nt (i.e., using 4 masking sequences), which we found to provide close performance to the FC codebook. Obviously, the codebook size can be reduced. The choice of Nc is a tradeoff between BER performance and number of feedback bits.
4.4. Orthogonal Array Testing (OAT) Codebook
Orthogonal Array Testing (OAT) matrix is a statistical method mainly used for experimental testing in industrial engineering to avoid the difficulty of testing all possible combinations of experimental factors when each factor has various possible levels [38]. The methodology of OAT is based on the selection of a concise and effective set from the full-combinations such that this set is enough to consider all the effects of each factor [38]. Also, this selection guarantees testing all the pairwise combinations of all cases in the set. Typically, OAT is described with the notation LRunsLevelsFactors, where Runs, Levels, and Factors are integers. The integer Runs is the total number of chosen combinations to test (number of rows in the matrix). The integer Factors is the number of factors to test in each combination (number of columns in the matrix) [39]. Hence, the matrix size is Runs×Factors with entries from 0 to Levels-1, where the Levels is the number of levels to test for each factor. For efficient testing, the integer Runs typically satisfies Runs≪LevelsFactors. A detailed description of the properties and implementation of OAT is available in [38, 40–42].
While OAT is invented for experimental testing of an industrial design with sufficient test coverage, it found applications in communication systems [39]. In this paper, the concept of OAT is utilized to design the precoding codebook where the integers Factors, Levels, and Runs represent the number of TAs (Nt), the number of phase rotations (M), and the codebook size (Nc), respectively. Therefore, the OAT codebook size is (Nc×Nt). The codebook entries are integers mk,i which take values from 0 to M-1. Similar to the FC codebook, these entries are converted into the M phasors pk,i. The size of OAT codebooks implemented in this paper is the typical size Nc=MNt. Hence, the number of feedback bits is Nfb=log2Nt+log2M, which is much smaller than the FC codebook for large Nt. The construction of the OAT codebooks for M=2 with Nt=8 and Nt=16 is based on the tables available in [43]. The codebooks for M=4 with Nt=8 and Nt=16 are based on the tables available in [44] and [45], respectively. Other codebook sizes are also available in corresponding literature. The design and structure of the OAT codewords allow us to sufficiently test each channel realization H using (15) to find a codeword that maximizes the MED. Indeed, it is shown in the numerical results that the OAT codebook provides BER performance that is close to the FC codebook.
Table 1 compares the number of codewords to search and the number of feedback bits for the methods described above.
Codebook size and feedback bits for proposed codebooks.
Codebook
Size, Nc
Feedback bits
FC
MNt-1
⌈Nt-1log2M⌉
WH
Nt
log2Nt
QOS
4×Nt
2+log2Nt
OAT
MNt
log2Nt+⌈log2M⌉
4.5. Iterative Search (IS) Algorithm
Iterative algorithms have been used previously in the literature to find precoders for SM or SSK. For example, in [13], the max-min algorithm is approximated by a convex function that is iteratively solved using an optimization tool. In [15], a precoder formulation for the simple case of Nt=2 is first found. This formulation is iteratively used for the case of Nt>2. In [17], a similar approach is used where a solution for Nt=2 is extended to Nt>2 in an iterative manner. These algorithms are not codebook-based since they belong to the first approach described in the introduction of this paper. For this reason, in this paper, we present a codebook-based iterative algorithm to select the best codeword from the FC codebook. To the best of the authors’ knowledge no such algorithm is available in the literature.
As mentioned above, the FC codebook provides the best performance since it covers all possible phase-rotation combinations. However, for large Nt, its size is too large and searching all codewords may be formidable. Here, we present an efficient method to find the best codeword from the FC codebook using an iterative procedure, instead of sequentially searching all codewords. In short, given the channel matrix H=h0,h1,…,hNt-1, the process is as follows: in each iteration, we find the MED and the corresponding pair of channel vectors. Then, one of the two channel vectors from the pair, say hk, is phase rotated. In the following iteration, the new MED and the corresponding pair of channel vectors are found. The new pair may or may not be the same pair of the previous iteration. If the new MED is larger, the accumulated phase rotation performed on hk is stored as αk. The iterations are repeated till the MED stops increasing or the maximum number of iterations is reached.
Specifically, the algorithm is described in detail as follows.
Initialization Phase. θl=0,l=0,1,…,Nt-1, ϕ=2π/M, and D=0.
Iterations Phase. Given H, in the nth iteration, the following is performed:
Find the EDs between all NtNt-1/2 pairs of channel vectors.
Find the MED, say d, and the corresponding pair of channel vectors, say hi and hj, i≠j.
If d is larger than D, update the MED D=d, and the accumulated phase rotation αl=θl,l=0,1,…,Nt-1. Otherwise, no update is done.
Select one of the two channel vectors hi or hj corresponding to the MED in Step (2) to be phase rotated by the angle ϕ (i.e., select k=i or k=j). Selection is as follows:
Select k≠0, since antenna 0 is reference and not precoded.
If i≠0 and j≠0, select k that was not selected in the previous iteration.
Else, select k=i or j randomly with equal probability.
Phase rotate the kth channel vector by angle ϕ; that is, set hk=ejϕhk. Also update the corresponding accumulated phase rotation θk=θk+ϕmod2π.
Go to Step (1).
The iterative search continues till the MED does not change for K successive iterations or the maximum number of iterations is reached. The output of the algorithm is the set of phase rotations per antenna αl,l=0,1,…,Nt-1, where α0=0 and the remaining phases are from the set mϕ,m=0,1,…,M-1. The selected codeword is ejαl,l=0,1,…,Nt-1. Figure 2 shows a flowchart of the algorithm.
Iterative Search (IS) algorithm.
We found that a maximum number of iterations of 10Ntlog2M is sufficient to reach the best codeword with very high probability. We also take K=20. Note that the IS algorithm considerably reduces the number of MED calculations. For example, if Nt=8 and M=4, searching the FC codebook requires 16384 MED calculations, while the IS requires at most 160 calculations.
5. Numerical Results and Discussions
In this section, we present the BER of the new closed form (11) as well as the performance of the proposed codebook-based PRP methods in uncorrelated Rayleigh fading channel. Moreover, to verify the robustness of the proposed methods, we show results for correlated fading, CSI estimation error, and Nakagami-m fading channels with m>1 (i.e., less severe fading than Rayleigh). In all figures, the conventional SSK without precoding is denoted as just SSK. Unless otherwise mentioned, the system is simulated for uncorrelated Rayleigh fading channel. Finding a closed form expression for the BER with codebook-based precoding is very difficult since the statistics of the effective channel, HP in (1), is prohibitive. Hence, in this case, we rely on computer simulation. When including results from the literature, we plot the BER versus the SNR per receive antenna, γ. Otherwise, we plot versus the Eb/No per receive antenna, which simplifies comparison with traditional digital modulation techniques in any textbook and provides fair comparison between systems with different Nt. They are related as γ=Eb/No+10log10log2Nt dB. This is important to consider when comparing different figures.
Figure 3 shows the BER performance versus SNR for SSK without precoding (i.e., no phase changes and M=1) where Nt=16. The figure compares the BER of the proposed closed form (11), the closed form (4) of [30, 31], and computer simulation. It is clear from the figure that when Nr=1 and Nr=2, the proposed form provides much closer results to the simulation, especially at low SNR, where the closed form of [30, 31] provides a loose bound. At high SNR and large Nr we note a diminishing difference among the proposed approximation (11), the upper bound (4), and the simulation results. This shows the higher accuracy of the new BER closed form presented in this paper. It is interesting to note in Figure 3 that the approximation of (11) provides an upper bound of the BER. However, rigorous proof of this note was not possible due to the difficulty of evaluating the behavior of the pdf of the random variables Y and Z (in Section 3) when the involved random variables are correlated.
BER comparison between the proposed closed form (11), the closed form (4), and simulation results for SSK with Nt=16 and Nr=1,2, and 4.
Figure 4 shows the system performance with FC codebook for Nt=4. The number of phases is M=2, 4, and 8, corresponding to codebook size Nc=8, 64, and 512, respectively. From Figure 4, we can see that, for M=2, a gain of almost 5 dB at BER of 10−3 is achieved, compared to conventional SSK. The gain increases at lower BER. An additional gain of 1 dB is achieved by increasing the number of phases to M=4. However, increasing the number of phases to M=8 yields insignificant gain. Therefore, it is clear that a codebook with M=4 phases is sufficient. Also, the results of the Maximum Minimum Distance (MMD) and Guaranteed Euclidean Distance (GED) algorithms from [12, 13] are shown for comparison. Both methods require full knowledge of CSI at the transmitter and receiver to optimize gain and phase precoding. While they indeed outperform the FC codebook, which requires limited CSI at the transmitter, the difference is only about 0.5 dB at BER of 10−3 and slightly increases at lower BER. This indicates that the proposed phase rotation only precoding is very promising.
BER performance versus SNR for FC codebook with M=2, 4, and 8 phases and for Nt=4 and Nr=2.
Figure 5 shows the BER versus the number of phases M for systems with Nt=4, 8, and 16. The BER is plotted for Eb/No=7 and 9 dB. Increasing the number of phases from 1 (no precoding) to 2 considerably reduces the BER. Further BER reduction is achieved by increasing M up to 4. However, increasing the number of phases beyond M=4 does not yield much BER reduction. This indicates that when phase-only precoding is used, it is sufficient to employ 4 phases. Therefore, for the remainder of the numerical results, we consider M=2 and M=4 phases only. We also note from the figure that the BER of Nt=4 and Nt=8 with precoding are close for the same Eb/No, while the latter system provides higher bit rate.
BER performance versus number of phases M with FC codebook for Nt=4, 8, and 16 and Nr=2.
Figure 6 presents a performance comparison between all the proposed codebooks in this paper for Nt=8 and Nr=2. The FC codebook serves as the lower limit of BER that can be achieved by a phase-rotation-only codebook. For all methods a significant gain can be achieved with M=2 phases, with further gain at M=4 phases. Moreover, it is clear from Figure 6 that for M=2 the WH and OAT codebooks provide close BER performance to the FC codebook. For M=2 phases, the OAT, whose codebook size Nc=16, provides very slight performance gain compared to the WH, with Nc=8. Hence, the WH codebook is preferable. For M=4 phases, QOS and OAT provide almost the same performance, which is again very close to the FC codebook. Both codebooks have the same size Nc=32. For both M=2 and M=4, the IS method achieves the same performance of FC codebook, which indicates that the IS algorithm can reach the best codeword from the FC codebook.
BER of all proposed codebooks with Nt=8, Nr=2. Solid lines indicate employing M=2 phases, while dashed lines indicate M=4 phases.
Figure 7 provides performance comparison between the proposed methods in this paper and related methods in the literature [13, 22] with Nt=16; and both Nr=2 and Nr=4. For the proposed methods we consider M=4 phases. Since the FC codebook size Nc=M15 is too large, the IS method is used. We compare the different methods at BER = 10−3.
BER performance comparison with related methods in [13, 22] with Nt=16 and Nr=2 and Nr=4.
For Nr=2 the MMD and GED methods of [13] provide the best performance, outperforming the FC codebook by 1 dB. The FC codebook outperforms the OAT and the QOS by another 1 dB. The OAT and QOS provide almost the same performance. Then the DFT codebook proposed in [22] shows the least performing precoder. Obviously the conventional SSK shows the least performance.
The order of performance between different methods did not change with Nr=4. However, due to the higher diversity gain, the gap among the different methods becomes smaller. The small gap between the proposed methods and the optimized MMD and GED confirms that the proposed methods are attractive and practical when only limited knowledge of CSI at the transmitter is required (i.e., codebook index) and simpler processing is desired.
It is known that TA correlation has a detrimental effect on the performance of SM in general and SSK in particular. Therefore, it is important to investigate the performance of the proposed codebook precoding methods in this case. The channel matrix of (1) is rewritten as H=HwR1/2, where Hw is the uncorrelated channel H in (1), while R is the channel correlation matrix at the transmitter. It is common in the literature [3, 13, 19] to employ the simple correlation matrix with elements ρi,j=ρi-j where i and j are indexes of TAs in a linear array and ρ∈[0,1]. Figure 8 illustrates the effect of the correlation coefficient on the BER at Eb/No=12 dB. It is clear that the proposed methods are still effective under correlated channel, where the BER reduction in comparison to the conventional SSK is still considerable even in the high correlation scenarios. The FC, WH, and OAT codebooks are able to break the channel correlation and allow the receiver to distinguish the transmitting antenna with higher probability than without precoding. Also, using M=4 phases still provides considerably better performance than M=2 phases.
BER versus TA Correlation Coefficient (ρ) with Nt=8 and Nr=2, in Raleigh fading channels at Eb/No=12 dB. Solid lines indicate M=2 and dashed lines indicate M=4.
Furthermore, Figure 9 shows the BER at ρ=0.9. Comparing to Figure 6, it can be seen that all methods suffer from considerable performance degradation. However, codebook precoding still provides considerable gain compared to the conventional SSK. With M=2 all the proposed codebooks provide very similar performance, while for M=4 the FC codebook provides about 1 dB gain compared to the OAT, which provides about 0.5 dB gain compared to the QOS. These results confirm the applicability of the codebooks at high correlation scenarios. It is also clear that M=4 phases are important to reduce the channel correlation.
BER versus Eb/No with Nt=8 and Nr=2 in correlated Raleigh channels (ρ=0.9). Solid lines indicate M=2 phases and dashed lines indicate M=4 phases.
Figure 10 shows the BER performance of the proposed methods in Nakagami-m fading channels with m=2, which typically causes less performance degradation than Rayleigh fading (m=1). This is clear in our results when we compare Figures 6 and 10. It can also be seen that the proposed precoding methods improve the performance considerably in Nakagami fading. An interesting observation is that the gain achieved by the precoding methods, compared to conventional SSK, is higher in Nakagami fading than Rayleigh fading. In Figure 6, for example, the FC codebook, with M=4 phases, provides a gain of about 5.4 dB at BER = 10−3. The corresponding gain in Nakagami fading channel in Figure 10 is about 6.6 dB. Similar difference can be noticed for the other proposed codebooks. This indicates the higher benefit of the proposed methods in Nakagami fading. Although not shown in the paper, the gain due to precoding increases as m increases. As m increases the randomness of the Nakagami channel decreases, which weakens the ability of the SSK receiver to distinguish different transmitting antennas. Hence, the precoding helps differentiate the channel gains.
BER performance versus Eb/No with Nt=8 and Nr=2 in uncorrelated Nakagami-m fading channels (m=2). Solid lines indicate M=2 phases and dashed lines indicate M=4 phases.
Figure 11 demonstrates the effect of imperfect CSI at the receiver due to CSI estimation error. The purpose is to make sure that the proposed methods still work with CSI errors. We use the imperfect CSI model employed in [3, 17]. The estimated channel is modeled as Hest=H+Herror, where elements of Herror are i.i.d. complex Gaussian random variables with zero mean and variance 1/γ. This model considers that CSI accuracy improves as SNR increases. The erroneous channel Herror is used by the receiver to select the codeword that the transmitter will use. It is also used by the receiver for ML detection of the TA index. To avoid crowding the figure we show results for the FC and OAT codebooks with M=2 and M=4 phases. It can be seen from Figure 11 that the conventional SSK as well as the shown precoding methods incur a loss of about 3 dB. This loss is consistent with results in the literature as in [3, 17]. Hence, the proposed codebook precoding methods are not oversensitive to CSI error compared to other methods in the literature.
BER comparison between perfect and imperfect CSI at the receiver for Nt=8 and Nr=2. Solid lines denote imperfect CSI and dashed lines denote perfect CSI.
6. Conclusions
In this research, firstly, we introduced new analytical derivation for BER of SSK-MIMO system without precoding. Our results demonstrate that the new BER form is more accurate than the available form in the literature, especially at low SNR and/or a low number of receive antennas. Secondly, we proposed a number of codebook-based phase-rotation precodings (PRP) to maximize the Minimum Euclidean Distance (MED) between the received constellation points. The introduced precoding codebooks have many advantages compared to existing schemes; they have systematic structures that allow codeword index feedback from the receiver to the transmitter and they require less mathematical manipulation during codeword search. Performance of Full-Combination (FC) codebook with four phases provided the best SNR gain in comparison to conventional SSK without precoding. However, due to its large size, we introduced alternative codebooks with smaller size to reduce the search complexity, namely, Walsh-Hadamard (WH), Quasi-Orthogonal Sequences (QOS), and Orthogonal Array Testing (OAT). They all provided close performance to the FC codebook. On the other hand, we introduced an iterative search technique to find the best codeword from the FC codebook. Thirdly, we demonstrated by numerical simulation that the proposed methods provide significant performance gain compared to the conventional SSK, and the gain is comparable to optimization-based noncodebook methods. Fourthly, we demonstrated that the proposed codebook-based methods are still effective under nonfavorable situations like transmit antenna correlation and channel estimation error. Finally, we show that the proposed methods provide larger gain in Nakagami-m fading channel with m=2.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
Acknowledgments
This project was supported by the Deanship of Scientific Research at Prince Sattam Bin Abdulaziz University under Research Project no. 2016/01/6637.
YangP.RenzoM. D.XiaoY.LiS.HanzoL.Design guidelines for spatial modulationMay 201517626RenzoM. D.HaasH.GhrayebA.SugiuraS.HanzoL.Spatial modulation for generalized MIMO: challenges, opportunities, and implementation201410215610310.1109/jproc.2013.22878512-s2.0-84891625184JeganathanJ.GhrayebA.SzczecinskiL.CeronA.Space shift keying modulation for MIMO channels200987369237032-s2.0-7064909415910.1109/TWC.2009.080910JeganathanJ.GhrayebA.SzczecinskiL.Generalized space shift keying modulation for MIMO channelsProceedings of the 2008 IEEE 19th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2008September 2008pol2-s2.0-6994916128510.1109/PIMRC.2008.4699782YounisA.SerafimovskiN.MeslehR.HaasH.Generalised spatial modulationProceedings of the 44th Asilomar Conference on Signals, Systems and Computers, Asilomar 2010November 2010usa149815022-s2.0-7995799306210.1109/ACSSC.2010.5757786MeslehR. Y.HaasH.SinanovićS.AhnC. W.YunS.Spatial modulation2008574222822412-s2.0-4874911622810.1109/TVT.2007.912136YounisA.MeslehR.HaasH.GrantP. M.Reduced complexity sphere decoder for spatial modulation detection receiversProceedings of the 53rd IEEE Global Communications Conference, GLOBECOM 2010December 2010usa2-s2.0-7955162968810.1109/GLOCOM.2010.5683993JeganathanJ.GhrayebA.SzczecinskiL.Spatial modulation: Optimal detection and performance analysis20081285455472-s2.0-5064908721710.1109/LCOMM.2008.080739YangP.XiaoY.GuanY. L.Single-carrier SM-MIMO: a promising design for broadband large-scale antenna systems201618316871716YangP.XiaoY.YuY.LiS.Adaptive spatial modulation for wireless mimo transmission systems20111566026042-s2.0-7995954025110.1109/LCOMM.2011.040711.110014MalekiM.BahramiH. R.BeygiS.KafashanM.TranN. H.Space modulation with CSI: Constellation design and performance evaluation2013624162316342-s2.0-8487785183710.1109/TVT.2012.2232686Garcia-RodriguezA.MasourosC.HanzoL.Pre-scaling optimization for space shift keying based on semidefinite relaxation201563114231424310.1109/TCOMM.2015.24706562-s2.0-84959454595LeeM.-C.ChungW.-H.LeeT.-S.Generalized precoder design formulation and iterative algorithm for spatial modulation in MIMO systems with CSIT2015634123012442-s2.0-8492832649310.1109/TCOMM.2015.2396521Di RenzoM.HaasH.Improving the performance of space shift keying (SSK) modulation via opportunistic power allocation20101465005022-s2.0-7795319507310.1109/LCOMM.2010.06.100163YangP.XiaoY.ZhangB.El-HajjarM.LiS.HanzoL.Phase rotation-based precoding for spatial modulation systems2015910131513232-s2.0-8493304468310.1049/iet-com.2014.1065MasourosC.Improving the diversity of spatial modulation in MISO channels by phase alignment20141857297322-s2.0-8490148772810.1109/LCOMM.2014.031414.140233YangP.GuanY. L.XiaoY.Di RenzoM.LiS.HanzoL.Transmit precoded spatial modulation: maximizing the minimum euclidean distance versus minimizing the bit error ratio20161532054206810.1109/TWC.2015.24976922-s2.0-84963615029YangP.XiaoY.LiS.HanzoL.A low-complexity power allocation algorithm for multiple-input-multiple-output spatial modulation systems20166531819182510.1109/TVT.2015.24102522-s2.0-84963813260VeeduM. S.MurthyC. R.HanzoL.Single-RF spatial modulation relying on finite-rate phase-only feedback: Design and analysis2016654201620252-s2.0-8496458907810.1109/TVT.2015.2424960YangP.XiaoY.ZhangB.LiS.El-HajjarM.HanzoL.Power allocation-aided spatial modulation for limited-feedback MIMO systems2015645219822042-s2.0-8492937665810.1109/TVT.2014.2339297LoveD. J.HeathR. W.Jr.LauV. K. N.GesbertD.RaoB. D.AndrewsM.An overview of limited feedback in wireless communication systems20082681341136510.1109/JSAC.2008.0810022-s2.0-54249161889LeeM.-C.ChungW.-H.LeeT.-S.Precoder design for space shift keying in MIMO systems with limited feedbackProceedings of the 2014 25th IEEE Annual International Symposium on Personal, Indoor, and Mobile Radio Communication, IEEE PIMRC 2014September 2014usa6102-s2.0-8494432078110.1109/PIMRC.2014.7136122MasourosC.HanzoL.Constellation randomization achieves transmit diversity for single-rf spatial modulation201665108101811110.1109/TVT.2015.25133802-s2.0-84992386932NohH.KimY.LeeJ.LeeC.Codebook design of generalized space shift keying for FDD massive MIMO systems in spatially correlated channels201564251352310.1109/tvt.2014.23248222-s2.0-84923169585Al-AnsiM.AljunidS. A.SourourE.Phase rotation codebook precoding for space shift keying MIMO systems2018425SingaporeSpringer Singapore94101Lecture Notes in Electrical Engineering10.1007/978-981-10-5281-1_11CollinL.BerderO.RostaingP.BurelG.Optimal minimum distance-based precoder for MIMO spatial multiplexing systems200452361762710.1109/TSP.2003.822365MR2055423LeeM.-C.ChungW.-H.LeeT.-S.Limited feedback precoder design for spatial modulation in MIMO systems20151911190919122-s2.0-8494841670210.1109/LCOMM.2015.2475265GershoA.GrayR. M.1992Boston, MA, USASpringer10.1007/978-1-4615-3626-0Zbl0782.94001LinY.-H.ChenY.-H.ChuC.-Y.ZhanC.-Z.WuA.-Y.Dual-mode low-complexity codebook searching algorithm and VLSI architecture for LTE/LTE-advanced systems201361143545356210.1109/TSP.2013.2257764MR3073801HandteT.MüllerA.SpeidelJ.BER analysis and optimization of generalized spatial modulation in correlated fading channelsProceedings of the 2009 IEEE 70th Vehicular Technology Conference Fall, VTC 2009 FallSeptember 20091510.1109/VETECF.2009.53786772-s2.0-77951459677Di RenzoM.HaasH.Bit error probability of SM-MIMO over generalized fading channels2012613112411442-s2.0-8485896955710.1109/TVT.2012.2186158ProakisJ.SalehiM.November 2007New York, NY, USAMcHraw-HillSimonM.AlouiniM.July 2000New York, NY, USAJohn Wiley SonsOlverD. L. F.BoisvertR.ClarkC.2010New York, NY, USACambridge University PressWuL.YangH.WangD.Hadamard transform based codebook design for uniform circular arrays in mobile radio communicationsProceedings of the 76th IEEE Vehicular Technology Conference, VTC Fall 2012September 2012can2-s2.0-8487891156310.1109/VTCFall.2012.6398915YangK.KimY.-K.KumarP. V.Quasi-orthogonal sequences for code-division multiple-access systems2000463982993MR176347110.1109/18.841175Zbl1003.940252-s2.0-0034188354HeathR. W.StrohmerT.PaulrajA. J.On quasi-orthogonal signatures for {CDMA} systems20065231217122610.1109/TIT.2005.864469MR2238086HedayatA. S.SloaneN. J. A.StufkenJ.1999New York, NY, USASpringer10.1007/978-1-4612-1478-6MR1693498CaiY.LiuD.Multiuser detection using the taguchi method for DS-CDMA systems200544159416072-s2.0-2774447995510.1109/TWC.2005.850359SloaneN. J. A.2005http://neilsloane.com/oadir/KuhfeldW. F.SAS Technical Support Notes2009http://support.sas.com/techsup/technote/ts723.htmlWengW.-C.YangF.ElsherbeniA. Z.Linear antenna array synthesis using Taguchi's method: a novel optimization technique in electromagnetics2007553 I72373010.1109/tap.2007.8915482-s2.0-34047228207KuhfeldW. F.2009http://support.sas.com/techsup/technote/ts723_Designs.txtSloaneN. J. A.2005http://neilsloane.com/oadir/oa.64.21.4.2.txtSloaneN. J. A.2005http://neilsloane.com/oadir/oa.32.9.4.2.txt