 Research
 Open Access
 Published:
Lowcomplexity softdecision aided detectors for coded spatial modulation MIMO systems
EURASIP Journal on Wireless Communications and Networking volume 2016, Article number: 34 (2016)
Abstract
In this paper, we present an efficient transmission scheme for multipleinput multipleoutput (MIMO) systems, i.e., coded spatial modulation (SM) systems with softdecision aided detector. To exploit the powerful error correction of channel coding, the key challenge of coded SM systems is on designing a reliable but lowcomplexity softoutput detector. Fighting against this problem, we first propose two softoutput detection algorithms by exploiting the features of Mphaseshift keying (PSK) and Mquadrature amplitude modulation (QAM) constellations, namely, PSKbased softoutput detector (PBSD) and QAMbased softoutput detector (QBSD). Furthermore, to further enhance the performance of the two algorithms, we propose another two softoutput detection algorithms taking into account of counterpart maximumlikelihood (ML) estimate, namely, improved PSKbased softoutput detector (IPBSD) and improved QAMbased softoutput detector (IQBSD). The findings of this paper demonstrate that: (1) The computational complexity of PBSD and QBSD algorithms are much lower than that of MaxLogLLR algorithm at the expense of error performance. (2) Both the IPBSD and IQBSD algorithms achieve the same performance as MaxLogLLR algorithm with reduced computational complexity. In addition, a comprehensive performance and computational complexity comparison between the proposed algorithms and the MaxLogLLR algorithm is provided to verify our proposed lowcomplexity softoutput detectors.
Introduction
Spatial modulation (SM) has been identified as a new efficient multipleinput multipleoutput (MIMO) technique, which was first proposed in [1]. The main principle of SM is that it jointly uses antenna indices and a conventional signal set to convey information and activates only one antenna to transmit the traditional modulated symbol in each time slot. The advantages of SM, such as the relaxation of antenna synchronization, the avoidance of interchannel interference, and the reduction in transreceiver complexity, make it become a topic of recent research [2–4]. In order to achieve these potential benefits, an adequate harddecision detector for retrieving the information bits transmitted in the spatial and signal constellation diagrams is needed. A matched filter (MF) detection was first proposed in [1], which detects the antenna index and modulated symbol separately. In [5], the authors first investigated the optimum hardoutput maximumlikelihood (ML) detector, which jointly detects the transmit antenna index and the modulated symbol. To achieve a better tradeoff between the performance and computational complexity, various suboptimal hardoutput detectors based on ML and MF have been broadly investigated in [6–9], respectively.
Recently, to reduce the impact of channel fading and noise on bit error ratio (BER) performance, SMMIMO systems with powerful channel coding, such as turbo codes and lowdensity paritycheck (LDPC) codes, have gained rekindled interests [10–13]. A novel trellis coded spatial modulation (TCSM) scheme was proposed in [10], where the concept of trellis coded modulation was applied to the spatial constellation of SM systems. While it achieves better performance than that of uncoded SM system over correlated channels, it performs even worse in uncorrelated channels. To circumvent the problem, a novel MIMO transmission scheme was developed in [11], where a trellis encoder and a SM mapper are jointly designed to take advantage of the benefits of both. In [12], the authors designed a spectral efficiency transmission scheme, labeled as bitinterleaved coded spatial modulation (BICSM) with iterative demodulating/decoding, which provides substantial performance gains in all channel conditions. In [13], LDPC codes were optimized to match SMMIMO systems based on the extrinsic information transfer chart technique. Although these prior works have significantly improved the understanding of error performance of coded SMMIMO systems, the key limitation is that all of them employ the optimum maximum a posteriori probability (MAP) softoutput detector, the complexity of which is intractable when the number of transmit antennas is large or the modulation order is high. Hence, it is urgent to design lowcomplexity softoutput detectors for coded SMMIMO systems.
Motivated by this observation, in a recent work [9], a lowcomplexity softoutput distancebased ordered detector (SODBD) was proposed; however, it significantly suffers from performance degradation compared to the optimal MAP softoutput detector. In addition, [14] investigated the softdecision detectors conceived for SM and STSK systems, where the active antenna index and the modulated symbol are separately detected, respectively. Different from the prior works, in this paper, we shed a light on a universal lowcomplexity softdecision aided detection algorithms for coded SMMIMO systems. The main contributions of this paper are summarized as follows:

For coded SMMIMO systems with Graylabeled phaseshift keying (PSK), we first design a new calculation of loglikelihood ratio (LLR) method based on the harddecision detector in [6], denoted as PSKbased softoutput detector (PBSD) algorithm. The analytical results demonstrate that the PBSD algorithm significantly reduces the searched signal candidates from N _{ t } M to N _{ t }, and the computational complexity of calculating the LLR of each bit is independent of the constellation size.

For coded SMMIMO systems with Graylabeled quadrature amplitude modulation (QAM) modulation, we propose a lowcomplexity softoutput detector based on hardlimiterbased ML method proposed in [7], labeled as QAMbased softoutput detector (QBSD) algorithm. Compared to the MaxLogLLR algorithm, it has much lower computational complexity at the expense of performance loss.

Another contribution of this paper is that we further improve the above two softoutput detectors by adding a counterpart ML estimate to calculate the corresponding LLRs, namely, improved PSKbased softoutput detector (IPBSD) and improved QAMbased softoutput detector (IQBSD) algorithms, respectively. The analytical results, along with numerical analysis, reveal that both of them achieve the same performance as MaxLogLLR algorithm with reduced computational complexity.
The rest of the paper is organized as follows. Section 2 introduces the coded SMMIMO system model. Section 3 presents a brief overview of the existing detectors conceived for coded SMMIMO systems. In Section 4, the proposed lowcomplexity softoutput detectors are presented. In Section 5, a comprehensive analysis of computational complexity for all the detectors is provided. Simulation results are presented in Section 6, and we make a conclusion in Section 7.
Notations.
Upper/lower case bold symbols denote matrices/vectors. (·)^{H}, (·)^{T}, (·)^{∗}, and (·)^{†} represent the hermitian transpose, transpose, complex conjugate and pseudo inverse of a vector, respectively. p(ab) denotes the probability density function (pdf) of random variable a conditioned on b, Pr(·) represents the probability of a variable. ⊕ denotes the bitwise XOR operation. ℜ(·) and I(·) denote the real and imaginary parts of a complexvalued quantity, respectively. round(a) is the operator that rounds the element a to its nearest integer. mod(a,n) denotes that a is computed modulus n.
Coded SM system model
Let us consider a coded SMMIMO system with N _{ t } transmit antennas and N _{ r } receive antennas, which is depicted in Fig. 1. The transmitter side consists of three parts, that is a channel encoder, a serialparallel converter, and a SM mapper. The input source bits u is first encoded by a channel encoder with code rate R. Then, the output sequences of encoder c are converted from serial to parallel and then are utilized to modulate the SM symbol. We consider the conventional SM system, where the number of transmit antennas is an integer power of 2, i.e., \(\phantom {\dot {i}\!}{N_{t}} = {2^{{Q_{1}}}}\), and Mary digital modulation is employed with \({M} = {2^{{Q_{2}}}}\phantom {\dot {i}\!}\). Hence, at each time slot, each block consisting of Q _{1}+Q _{2} bits are separated into two parts by SM mapper. The first part Q _{1} bits, i.e., c _{ A }, are used to select the active antenna index from the spatial diagram, i.e., \({\mathcal {S}} = \left \{ {1,2, \cdots,{N_{t}}} \right \}\), while the second part Q _{2} bits, i.e., c _{ S }, are used to map the modulated signal from the symbol constellation, i.e., \({\mathcal {M}} = \left \{ {{s_{0}},{s_{1}}, \cdots,{s_{M1}}} \right \}\). Hence, the transmit signal vector is given by
which implies that the qth modulated symbol from the constellation \({\mathcal {M}}\) is transmitted from the jth transmit antenna. Taking into account of the code rate R, the total spectral efficiency is η=R(Q _{1}+Q _{2}) bits per channel use.
Assuming a quasistatic frequency flat fading channel, the received signal vector for coded SMMIMO systems can be expressed as
where \(\mathbf {H} = \left [\mathbf {h}_{1},\mathbf {h}_{2}, \ldots,\mathbf {h}_{N_{t}} \right ] \in \mathcal {C}^{N_{r}} \times N_{t}\) denotes the channel matrix, and h _{ j } is the jth column of H. Each entry in H, i.e., h _{ ij },i∈{1,…,N _{ r }},j∈{1,…,N _{ t }}, is zero mean and unit variance complex Gaussian random variable. n is a zeromean additive white Gaussian noise vector with \(\mathbb {E}\left [\mathbf {n}{\mathbf {n}}^{H} \right ] = {\sigma ^{2}}{\textbf {I}_{{N_{r}} \times {N_{r}}}}\).
At the receiver, to achieve the advantage of channel coding, a softoutput detector is employed, where the soft information for each coded bits is calculated based on the received signal. In coded SMMIMO systems, the soft information consists of two parts, i.e., the soft information of antenna index bits and the soft information of modulated symbol bits. For the LogMAP demapper, the soft information bits can be expressed in the form of the loglikelihood ratio (LLR). Without loss of generality, we define \({\Lambda _{p}^{A}}\) and \({\Lambda _{p}^{S}}\) as the a posterior LLRs of antenna index bits and modulated symbol bits, respectively.
Conventional softdecision aided SM detectors
Before introducing our proposed lowcomplexity softdecision detectors, we first briefly summarize the conventional softoutput detectors for coded SMMIMO systems, which are studied in Section 5 and Section 6 as a benchmark for assessing the performance versus computational complexity tradeoff of the proposed softoutput detectors.
Different from the harddecision detectors which only estimate the active antenna index and the modulated symbol, the softoutput detectors also compute the reliability of the estimation. Unless otherwise specified, we define \({{\mathcal {S}}_{i}^{0}}\) and \({{\mathcal {S}}_{i}^{1}}\) as the antenna index subsets, in which the ith bit of each element is 0 and 1, respectively. Similarly, \({{\mathcal {M}}_{i}^{0}}\) and \({{\mathcal {M}}_{i}^{1}}\) denote the modulated symbol subsets where the ith bit of each element is 0 and 1, respectively. Hence, for the softdecision aided detection, the classic LogMAP algorithm is given by [12]
and
where \({\Lambda _{p}^{A}}\left ({{c_{A,i}}} \right)\) and \({\Lambda _{p}^{S}}\left ({{c_{S,i}}} \right)\) represent the a posteriori LLRs for the ith antenna index bit c _{ A,i } and ith modulated symbol bit c _{ S,i }, respectively, \(\text {Pr} \left ({{{\mathbf {h}}_{j}}} \right) = \prod _{n = 1}^{{Q_{1}}}\text {Pr}\left ({{c_{A,n}}} \right)\) and \(\text {Pr} \left ({{s_{q}}} \right) = \prod _{n = 1}^{{Q_{2}}}\text {Pr}\left ({{c_{S,n}}} \right)\) are the a prior probability of the antenna index and the modulated signal, respectively, Pr(c _{ A,n }) and Pr(c _{ S,n }) denote the a prior probability of the nth bits of the antenna index and modulated symbol, respectively, and
By substituting Eq. (5) into Eq. (3) and Eq. (4), we have
and
To avoid the complex exponential and logarithmic operations in the LogMAP algorithm, we can resort to the simplified MaxLogLLR algorithm as [15]
and
Note that the computational complexity of MaxLogLLR algorithm has been significantly reduced; however, the number of multiplications and comparisons remains high, which is the order of O(M N _{ t }).
The proposed lowcomplexity softdecision aided SM detectors
In this section, we present our new lowcomplexity softoutput detectors in detail. Four different lowcomplexity softdecision aided detectors are proposed, which are based on the following zeroforcing (ZF) output, that is,
where \({\mathbf {h}}_{j}^{\dag } = \frac {{{\mathbf {h}}_{j}^{H}}} {{{\mathbf {h}}_{j}^{H}{{\mathbf {h}}_{j}}}}\) and j∈{1,2,⋯,N _{ t }}.
Lowcomplexity softoutput SM detectors with Graylabeled MPSK
In this subsection, we propose two lowcomplexity softoutput detectors for coded SMMIMO systems with Graylabeled MPSK. For easy illustration, we take the 8PSK as an example; however, the proposed two algorithms are also adapted for arbitrary MPSK modulation. The 8PSK constellation is illustrated in Fig. 2, where the initial phase of the constellation is φ, then the kth constellation point of MPSK can be expressed as
where \(J = \sqrt { 1}\) and k∈{0,1,⋯,M−1}.
PBSD algorithm
As indicated in [6], the optimal ML detection for SMMIMO systems is given by
By substituting Eq. (10) into Eq. (12) and performing some simple manipulations, the inner minimization in Eq. (12) can be further expressed as
Now, by substituting the polar coordinate form of r _{ j }=r _{ j } exp(J θ _{ j }) and Eq. (11) into Eq. (13), we have
where \(\widehat k^{j}\) represents the index of the constellation signal nearest to the received signal r _{ j } for the jth antenna (shown in Fig. 2). Hence, by exploiting the symmetric features of MPSK constellation, the estimated index of the modulated signal on the jth antenna can be expressed as [8]
Thus, the relationship between the phase of the received signal and the index of the modulated symbol can be concluded as
As a result, the estimated signal is given by
Before introducing our proposed PBSD algorithm, we first define \(\mathcal {X}\) as the collect of \(s_{{{\widehat {k}}^{j}}}\), i.e., \(\mathcal {X} = \left \{{{s_{{{\widehat k}^{1}}}},{s_{{{\widehat {k}}^{2}}}}, \cdots,{s_{{{\widehat {k}}^{{N_{t}}}}}}} \right \}\). Different from the MaxLog LLR algorithm, the element of the signal candidate list is diminished in the PBSD algorithm. In doing so, we first utilize (16) and (17) to estimate the modulated signal for each transmit antenna. Hence, the length of the signal candidate list is reduced from N _{ t } M to N _{ t }. In addition, the following equation
holds. Thus, by substituting Eq. (18) into Eq. (8) and Eq. (9), and limiting the searched signal space to \(\mathcal {X}\), the corresponding LLRs for the i th antenna index bit and the modulated symbol bit under the proposed PBSD algorithm are given by.
and
IPBSD algorithm
As discussed in the above, when computing the LLRs of the modulated symbol bits, the proposed PBSD algorithm only finds the ML estimate of the symbol and ignores the counterpart ML candidate whose ith bit is contrary to the ML estimate. Therefore, this results in the performance gap between the proposed PBSD algorithm and the MaxLogLLR algorithm. In this subsection, we propose a new improved algorithm based on the PBSD algorithm, namely, IPBSD algorithm, by taking the counterpart ML estimate into account when computing the LLRs of the modulated symbol bits.
By careful inspection of Eq. (9), we find that the item \(\mathop {\min }\limits _{{s_{q}} \in {\mathcal {M}},j \in {\mathcal {S}}} {\left \ {{\mathbf {y}}  {{\mathbf {h}}_{j}}{s_{q}}} \right \^{2}}\), i.e., the squared Euclidean distance from the received signal vector y to the nearest constellation point \(s_{{\widehat {k}}^{j}}\) for the jth antenna, always appears in Eq. (9). It is equal to either \(\mathop {\min }\limits _{{s_{q}} \in {\mathcal {M}}_{i}^{0},j \in {\mathcal {S}}} {\left \ {{\mathbf {y}}  {{\mathbf {h}}_{j}}{s_{q}}} \right \^{2}}\) or \(\mathop {\min }\limits _{{s_{q}} \in {\mathcal {M}}_{i}^{1},j \in {\mathcal {S}}} {\left \ {{\mathbf {y}}  {{\mathbf {h}}_{j}}{s_{q}}} \right \^{2}}\), which depends on the ith bit of \(s_{{\widehat {k}}^{j}}\) being 0 or 1. Hence, our aim is to find another signal point \({s_{\overline {k}_{i}^{j}}}\) resulting in the other minimum term in Eq. (9), which means that the ith bit of \({s_{\overline {k}_{i}^{j}}}\) is opposite to the ith bit of \(s_{{\widehat {k}}^{j}}\). Moreover, as shown in Fig. 2, if the antenna index is j, the nearest signal point to the ZF output r _{ j } is s _{0}, the index of which is \({\widehat {k}^{j}}=0\). Hence, the first bit of s _{0} is 0, and the nearest signal point to r _{ j } with the first bit being 1 is s _{7}, that is, \(\overline {k}_{0}^{j}=7\). Similarly, for the second and third bits, we have \(\overline {k}_{1}^{j}=2\) and \(\overline {k}_{2}^{j}=1\), respectively.
Before introducing the detailed procedure of the proposed IPBSD algorithm, we first present the following lemmas for binaryreflected Graylabeled constellations [16].
Lemma 1.
For binaryreflect Gray Labeling g ^{k}→s _{ k }, by denoting \({{\mathbf {b}}^{k}} = \left ({{b_{0}^{k}},{b_{1}^{k}}, \cdots,b_{{Q_{2}}  1}^{k}} \right)\) as the binary representation of the symbol index k with the most significant bit (MSB) as the leftmost bit, then, g ^{k} is given by
Lemma 2.
For the binaryreflected Gray PSK \({{\mathbf {g}}^{{{\widehat {k}}^{j}}}} \to {s_{{{\widehat {k}}^{j}}}}\), where \(s_{{{\widehat {k}}^{j}}}\) is the nearest signal point to the filtered signal r _{ j }, \({{\mathbf {b}}^{{{\widehat {k}}^{j}}}} = \left ({b_{0}^{{{\widehat {k}}^{j}}},b_{1}^{{{\widehat {k}}^{j}}}, \cdots,b_{{Q_{2}}  1}^{{{\widehat k}^{j}}}} \right)\) is the binary representation of \({\widehat {k}}^{j}\) with the MSB as the leftmost bit. Let \(\mathcal {M}_{i}^{\overline g_{i}^{{{\widehat {k}}^{j}}}}\) denote the constellation point subset where the ith bit of each point is contrary to the bit \(g_{i}^{{{\widehat {k}}^{j}}}\), i.e., \(\overline g_{i}^{{{\widehat {k}}^{j}}} = 1  g_{i}^{{{\widehat {k}}^{j}}}\), then the index of the nearest constellation point to r _{ j } in subset \(\mathcal {M}_{i}^{\overline g_{i}^{{{\widehat {k}}^{j}}}}\) can be determined as
where \(\overline b_{i}^{{{\widehat {k}}^{j}}} = 1  b_{i}^{{{\widehat {k}}^{j}}}\).
Proof: The proof can be found in [16].
It is noted from Lemma 1 that for the ith bit of the modulated symbol, the candidate list \({\mathcal {W}_{i}} = \left \{ {{s_{{{\widehat {k}}^{1}}}}, \cdots,{s_{{{\widehat {k}}^{{N_{t}}}}}},{s_{\overline {k}_{i}^{1}}}, \cdots,{s_{\overline k_{i}^{{N_{t}}}}}} \right \}\) can be obtained without any comparison. To this end, the detailed procedure of the proposed IPBSD algorithm can be described as follows.

Step 1: The first step is to compute the ZF filtered signal r _{ j } for each transmit antenna based on Eq. (10).

Step 2: According to Eq. (16) and Eq. (17), the second step is to find the index of the modulated signal \({\widehat k^{j}}\) and the estimated modulated symbol \({s_{{{\widehat {k}}^{j}}}}\). Afterwards, the binary representation \({{\mathbf {b}}^{{{\widehat {k}}^{j}}}}\) of \({\widehat k^{j}}\) can be achieved, and thus, we can get the Gray labeling representation \({{\mathbf {g}}^{{{\widehat {k}}^{j}}}}\) from Eq. (21).

Step 3: After performing Step 2, we have obtained the estimated signal symbol, which results in both minimum terms in Eq. (8), while only one of the minimum term in Eq. (9). Hence, in this step, we need to find the signal points that result in another minimum term of Eq. (9) based on Lemma 2.

Step 4: Finally, the a posteriori LLR of the modulated symbol bits can be derived as
$$ \begin{aligned} {\Lambda_{p}^{S}}\left({{c_{S,i}}} \right) = \frac{1} {{2{\sigma^{2}}}}\left[\mathop {\min }\limits_{s \in \mathcal{W}_{i}^{1}} \left({{{\left\ {{{\mathbf{h}}_{j}}} \right\}^{2}}\left({1  2\Re \left({{r_{j}}{s^ * }} \right)} \right)} \right)\right. \\ \left. \mathop {\min }\limits_{s \in \mathcal{W}_{i}^{0}} \left({{{\left\ {{{\mathbf{h}}_{j}}} \right\}^{2}}\left({1  2\Re \left({{r_{j}}{s^ * }} \right)} \right)} \right) \right] \end{aligned} $$((23))
while the a posteriori LLR of the antenna index bits is the same as the proposed PBSD algorithm in Eq. (19).
Lowcomplexity softoutput SM detector with Graylabeled MQAM
In this subsection, we design two lowcomplexity softoutput detectors for coded SMMIMO systems with square or a rectangular QAM modulation, called QBSD and IQBSD algorithms. As pointed out in [17], a lattice constellation, e.g., square or rectangular QAM, can be regraded as a Cartesian product of two independent PAM signal sets, say N _{1}PAM and N _{2}PAM, where N _{1} and N _{2} represent the number of inphase and quadraturephase points, respectively. Hence, the proposed QBSD and IQBSD algorithms are based on the two PAM constellations instead of the QAM. Without loss of generality, we take the 16QAM for example, the first two bits “10” of the signal point “1001” determine the real part of the signal symbol, while the last two bits “01” decide the imaginary part. The inphase PAM constellation of 16QAM and the illustration of the proposed algorithm are shown in Fig. 3, where ℜ(r _{ j }) denotes the real part of the filtered signal r _{ j }.
QBSD algorithm
In the QBSD algorithm, we first estimated the modulated symbol based on the harddecision detector in [7], from which the optimal ML detection can be equivalently expressed as
Since s _{ I } and s _{ Q } are from orthogonal dimensions, the inner minimizations in Eq. (24) can be decomposed into two optimization problems, that is,
and
As the symbols of N _{1}PAM are given by \(\left \{ {2t + 1} \right \}_{t = \frac {{  {N_{1}}}}{2}}^{\frac {{{N_{1}}}}{2}  1}\), \(\Re (\,{\widehat {s}}^{j})\) can be derived as follows:
However, according to [7], \(\Re \left (\,{{{\widehat s}^{\,\,j}}} \right)\) can be obtained directly as (27) without employing the above set of comparisons.
Similarly, \(\Im \left ({{{\,\widehat {s}}^{\,\,j}}} \right)\) can also be obtained directly as
Thus, the estimated signal is expressed as
Let us define \(\mathcal {U} = \left \{\,{{{\widehat {s}}^{\,1}},{{\widehat {s}}^{\,2}}, \cdots,{{\widehat {s}}^{{\,N_{t}}}}} \right \}\), then, the corresponding LLRs of the i th antenna index bit and modulated signal bit under the proposed QBSD detector are given by
and
Noting from Eqs. (30) and (31), we find that the length of the candidate list of the proposed QBSD detector is reduced from N _{ t } M to N _{ t }.
IQBSD algorithm
As the above discussion, the QBSD algorithm only calculates the ML estimated symbol, which results in one of the minimum of MaxLogLLR algorithm in Eq. (9). Hence, the error performance of the QBSD algorithm is inferior to that of MaxLogLLR algorithm. Against this observation, the aim of IQBSD algorithm is to eliminate the performance gap by searching the counterpart ML estimate.
As illustrated in Fig. 3, the ML estimate of the modulated signal is the point z _{2} in the 4PAM constellation, in which the first and second bits are both “1.” Therefore, the constellation point with the first bit being 0 and nearest to the real part of r _{ j } is the signal point z _{1} in the 4PAM constellation. Moreover, the constellation point with the second bit being 0 and nearest to the real part of r _{ j } is the signal point z _{3}. Before describing the procedure of the IQBSD algorithm in detail, we first present the following lemma.
Lemma 3.
Let \(\mathcal {N}\)denote the set of N _{1}PAM constellation points, \({\widehat k}^{j}\) is the index of the estimated symbol \(\Re \left ({{{\,\widehat s}^{\,\,j}}} \right)\) in the N _{1}PAM constellation. \(\mathcal {N}_{i}^{\overline g_{i}^{{{\widehat k}^{j}}}}\) denotes the subset of the constellation points whose ith bit is contrary to the bit \(g_{i}^{{{\widehat k}^{j}}}\), i.e., \(\overline g_{i}^{{{\widehat k}^{j}}} = 1  g_{i}^{{{\widehat k}^{j}}}\). Then, the index of the point in subset \(\mathcal {N}_{i}^{\overline g_{i}^{{{\widehat k}^{j}}}}\) nearest to ℜ(r _{ j }) can be derived as
where m _{1}=log2(N _{1}) and i∈{0,1,⋯,m _{1}−1}.
Note that, if the bit belong to the imaginary part of the modulated symbol, we can only substitute m _{1} with m _{2} in Eq. (32), where m _{2}=log2(N _{2}).
According to Lemma 3 and the ML estimated signal as QBSD algorithm, if the bit belong to the real part of the modulated symbol, then the candidate list for the ith bit of modulated symbol can be represented as (33). On the other hand, if the bit belong to the imaginary part of the modulated symbol, the candidate list for the ith bit of modulated symbol can be represented as (34).
Now, the detail process of the IQBSD algorithm will be discussed in the following. Please note that the following description is restricted to the real part of the signal; however, the process of estimating the imaginary part of the signal is similar.

Step 1: The first step of IQBSD algorithm is the same as the IPBSD algorithm, i.e., calculating the filter output r _{ j } for each antenna based on Eq. (10).

Step 2 After obtaining r _{ j }, the symbol \(\Re \left ({{{\,\widehat s}^{\,\,j}}} \right)\) in the N _{1}PAM constellation nearest to ℜ(r _{ j }) can be calculated by Eq. (27). \({\widehat k}^{j}\) is the index of the symbol \(\Re \left ({{{\widehat {\,s}}^{\,\,j}}} \right)\) in N _{1}PAM constellation, and the binary representation of the index \({\widehat {k}}^{j}\) is \({{\mathbf {b}}^{{{\widehat {k}}^{j}}}} = \left ({b_{0}^{{{\widehat {k}}^{j}}},b_{1}^{{{\widehat {k}}^{j}}}, \cdots,b_{{m_{1}}  1}^{{{\widehat {k}}^{j}}}} \right)\). Then, the binaryreflected Gray labeling \({{\mathbf {g}}^{{{\widehat {k}}^{j}}}}\) can be achieved by Lemma 1.

Step 3: The objective of this step is to find the counterpart ML estimate \({z_{\overline {k}_{i}^{j}}}\) for the ith bit, where the corresponding index is denoted as \(\overline {k}_{i}^{j}\). Considering the symmetric structure of Graylabeled PAM, we can resort to Lemma 3 to find the signal \({z_{\overline {k}_{i}^{j}}}\), which only requires the binary representation of index \({\widehat k}^{j}\) and addition operation, instead of computing the Euclidean distance between all the signals with the ith bit being opposite to that of \({z_{{{\widehat k}^{j}}}}\) and ℜ(r _{ j }).

Step 4: Finally, the a posteriori LLR of the antenna index bits can be derived as Eq. (30), and the a posteriori LLR of the symbol bits is obtained as
$$ \begin{aligned} {}{\Lambda_{p}^{S}}\left({{c_{S,i}}} \right) = \frac{1} {{2{\sigma^{2}}}}\left[\mathop {\min }\limits_{s' \in \mathcal{V}_{i}^{1}} \left(s{{{\left\ {{{\mathbf{h}}_{j}}} \right\}^{2}}\left({{{\left {{r_{j}}  s'} \right}^{2}}  {{\left {{r_{j}}} \right}^{2}}} \right)} \right)\right.\\ \left.  \frac{1} {{2{\sigma^{2}}}}\mathop {\min }\limits_{s' \in \mathcal{V}_{i}^{0}} \left({{{\left\ {{{\mathbf{h}}_{j}}} \right\}^{2}}\left({{{\left {{r_{j}}  s'} \right}^{2}}  {{\left {{r_{j}}} \right}^{2}}} \right)} \right) \right], \end{aligned} $$((35))where j is the antenna index corresponding to the modulated symbol s ^{′} selected from the set \({\mathcal {V}}_{i}\) in Eq. (33).
Complexity analysis
In this section, the computational complexity of the proposed softdecision aided detectors and the MaxLogLLR detector will be discussed in detail. Without loss of generality, the computational complexity is evaluated in terms of the number of real multiplications, real additions, and comparisons, respectively.
MaxLogLLR algorithm
The number of real multiplications and real additions for computing the term ∥y−h _{ j } s _{ q }∥^{2} is 6N _{ r } and 6N _{ r }−1, respectively. While for the MaxLogLLR algorithm, the term ∥y−h _{ j } s _{ q }∥^{2} needs to be calculated N _{ t } M times. In addition, the calculation of LLR for each bit needs one real multiplication and one real addition, respectively. Considering that the number of bits in each spatial modulation symbol is log2(N _{ t } M), hence, the total number of real multiplications and real additions are given by
On the other hand, since the length of the candidate list is N _{ t } M, we need to find the minimum among all N _{ t } M candidates for each bit. Hence, the total number of comparison operation is
PBSD algorithm
The computation of Eq. (10) needs 6N _{ r }+2 real multiplications and 6N _{ r }−2 real additions, respectively. While the acquisition of the modulated symbol for each transmit antenna needs 2 real multiplications and 2 real additions, respectively. Calculating the minimum term, which appears in the equations of calculating the LLRs in Eq. (18), needs only 4 real multiplications and 2 real additions. All the above terms need to be computed by N _{ t } times; thus, the total computational complexity of real multiplications and real additions of PBSD algorithm is given by
On the other hand, as the length of the candidate list is N _{ t } and the comparison number of each bit is N _{ t }, therefore, the total comparison number of PBSD algorithm is
IPBSD algorithm
Compared to the PBSD algorithm, IPBSD algorithm also provides the counterpart ML estimate for each modulated bit. Hence, the length of the candidate list for computing the antenna bits is N _{ t } as PBSD algorithm, while the length of the candidate list for computing the modulated bits is 2N _{ t } under the worst case. In addition, the computational complexity of calculating the index of the counterpart ML estimate from Eq. (22) can be neglected due to it needs only a few additions. Hence, the computational complexity of real multiplications, real additions, and comparisons for the IPBSD algorithm is given by
QBSD algorithm
By following similar analysis of the PBSD algorithm, the total number of real multiplications, real additions, and comparisons for the QBSD algorithm is given by
IQBSD
By following similar analysis of the IPBSD algorithm, the total computational complexity of the IQBSD algorithm can be expressed as
In order to make the complexity more intuitional, in Table 1, we have provided the computational complexity of all the proposed algorithms with N _{ t }=16, M=16, and N _{ r }=8. Furthermore, by summarizing the above complexity analysis and Table 1, we have the following two important remarks.
Remark 1.
Different from other existing detectors, the length of the candidate list for PBSD and QBSD algorithms does not grow linearly with the modulation order M. Thus, it is suitable for coded SM systems with high spectral efficiency, i.e., high modulation order.
Remark 2.
Compared with MaxLogLLR algorithm, the proposed IPBSD and IQBSD algorithms further reduce the number of multiplications, additions, and comparisons without loss of any performance. In addition, both achieve better performance than the PBSD and QBSD algorithms, respectively, with a neglected complexity overhead.
Simulation results
In this section, representative numerical simulations are provided to verify the proposed detectors under Rayleigh fading channels to verify the proposed detectors described in the previous sections. Unless otherwise stated, the following set of parameters are used: N _{ t }=4 and N _{ r }=2. The code length of LDPC is 360, and the code rate is \(R = \frac {1}{2}\). In addition, the signal to noise ratio is defined as \({\text {SNR}} = 10\lg \left ({\frac {{{E_{b}}}}{{{N_{0}}}}} \right) = 10\lg \left ({\frac {{{E_{s}}}}{{\eta {N_{0}}}}} \right) = 10\lg \left ({\frac {{{E_{s}}}}{{{N_{0}}R{{\log }_{2}}\left ({{N_{t}}M} \right)}}} \right)\), where E _{ s } is the average energy of the transmit signal.
Figure 4 illustrates the performance difference between the proposed detectors and the MaxLogLLR detector with quadrature phaseshift keying (QPSK) and 8PSK modulations, respectively. As shown in the figure, compared to MaxLogLLR algorithm, we find that the proposed PBSD algorithm suffers from about 1.5 dB performance loss at 10^{−3} BER when 8PSK is employed. While when QPSK is employed, the performance gap is reduced to about 0.4 dB. In addition, we can see that the proposed IPBSD algorithm achieves the same performance as the MaxLogLLR algorithm with lower computational complexity regardless of the modulation order.
Figure 5 investigates the BER performance of coded SMMIMO systems with 16QAM and 64QAM for different detection algorithms. Similar to Fig. 4, it is noted from Fig. 5 that the proposed QBSD algorithm attains much lower computational complexity than MaxLogLLR algorithm at the expense of performance. For example, at 10^{−3} BER, the proposed QBSD algorithm suffers from 1 dB SNR loss when 16QAM is employed, and the performance gap becomes large as the modulation order increases. On the other hand, no performance gap is observed between the proposed IQBSD and MaxLogLLR detectors with any modulation order, which validates the effectiveness of our proposed softoutput detection algorithms.
Conclusions
In this paper, by exploiting the features of MPSK and MQAM constellations, we first have designed two novel lowcomplexity softoutput algorithms based on the existing harddecision detection algorithms. The computational complexity of the proposed two detections is much lower than that of MaxLogLLR algorithm with a acceptable performance degradation. Motivated by this, to further enhance the performance of the two softdecision aided detectors, another two improved algorithms were proposed, i.e., IPBSD and IQBSD detectors. The key idea of the two detectors is finding the counterpart ML estimate for each bit of the modulated symbol. The theoretical analysis and simulation results have shown that the proposed IPBSD and IQBSD detectors achieve exactly the same performance as that of MaxLogLLR detector with reduced computational complexity.
References
 1
R Mesleh, H Haas, S Sinanovic, CW Ahn, S Yun, Spatial modulation. IEEE Trans. Veh. Technol. 57(4), 2228–2241 (2008).
 2
M Di Renzo, H Haas, PM Grant, Spatial modulation for multiple antenna wireless system: a survey. IEEE Commun. Mag. 49(12), 182–191 (2011).
 3
M Di Renzo, H Haas, A Ghrayeb, S Sugiura, L Hanzo, Spatial modulation for generalized MIMO: challenges, opportunities and implementation. Proc. IEEE. 102(1), 56–103 (2014).
 4
P Yang, M Di Renzo, Y Xiao, S Li, L Hanzo, Design guidelines for spatial modulation. IEEE Commun. Surv. Tutor. 17(1), 6–26 (2014).
 5
J Jeganathan, A Ghrayeb, L Szczecinski, Spatial modulation: Optimal detection and performance analysis. IEEE Commun. Lett. 12(8), 545–547 (2008).
 6
H Men, M Jin, A low complexity ML detection algorithm for spatial modulation systems with MPSK constellation. IEEE Commun. Lett. 18(8), 1375–1378 (2014).
 7
R Rajashekar, KVS Hari, L Hanzo, Reducedcomplexity ML detection and capacityoptimized training for spatial modulation systems. IEEE Trans. Commun. 62(1), 112–125 (2014).
 8
C Li, Y Huang, M Di Renzo, J wang, Y Cheng, Lowcomplexity ML detection for spatial modulation MIMO with APSK constellation. IEEE Trans. Veh. Technol. 59(1), 93–104. doi:http://dx.doi.org/10.1109/TVT.2015.2430855.
 9
Q Tang, Y Xiao, P Yang, Q Yu, S Li, A new low complexity nearML detection algorithm for spatial modulation. IEEE Wirel. Commun. Lett. 2(1), 90–93 (2013).
 10
R Mesleh, M Di Renzo, H Haas, P Grant, Trellis coded spatial modulation. IEEE Trans. Wirel. Commun. 9(7), 2349–2361 (2010).
 11
E Basar, U Aygolu, E Panayirci, HV Poor, New trellis code design for spatial modulation. IEEE Trans. Wirel. Commun. 10(8), 2670–2680 (2011).
 12
M Koca, H Sari, in Proceedings of IEEE PIMRC. Bitinterleaved coded spatial modulation (Sydney, NSW, 2012), pp. 1949–1954.
 13
H Liu, J Zheng, J Dou, B Bai, in Proceedings of IEEE ICIST. EXITchartbased LDPC code design for spatial modulation (Shenzhen, China, 2014), pp. 557–560.
 14
C Xu, S Sugiura, SX Ng, L Hanzo, Spatial modulation and spacetime shift keying: optimal performance at a reduced detection complexity. IEEE Trans. Commun. 61(1), 206–216 (2013).
 15
W Koch, A Baier, in Proceedings of IEEE GLOBECOM. Optimum and suboptimum detection of coded data disturbed by timevarying intersymbol interference (San Diego, CA, 1990), pp. 1679–1684.
 16
Q Wang, Q Xie, Z Wang, S Chen, L Hanzo, A universal low complexity symboltobit soft mapper. IEEE Trans. Veh. Technol. 63(1), 119–130 (2014).
 17
NC Beaulieu, A useful integral for wireless communication theory and its application to rectangular signalling constellation error rates. IEEE Trans. Veh. Technol. 54(5), 802–805 (2006).
Acknowledgments
This work was supported by the National Science Foundation of China under Grant No. 61501507, and the Jiangsu Provincial Natural Science Foundation of China under Grant No. BK20150719.
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License(http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Li, C., Wang, J., Cheng, Y. et al. Lowcomplexity softdecision aided detectors for coded spatial modulation MIMO systems. J Wireless Com Network 2016, 34 (2016) doi:10.1186/s1363801505099
Received:
Accepted:
Published:
Keywords
 Spatial modulation
 Multipleinput multipleoutput
 Maximum a posteriori probability
 MaxLogLLR detector