 Research
 Open Access
 Published:
Lowcomplexity iterative receiver design for mobile OFDM systems
EURASIP Journal on Advances in Signal Processing volume 2012, Article number: 166 (2012)
Abstract
Iterative receivers with minimum mean square error turbo equalization are computationally involved, as they require some form of matrix inversion. In this article, we propose a low complexity iterative receiver that implements successive interference cancelationbased MAP decoding (SICMAP) in doubly dispersive channels for orthogonal frequency division multiplexing systems. SICMAP leverages the soft feedback symbol estimates to remove the intercarrier interference from the received data. Numerical simulation results show that the proposed scheme achieves BER performance comparable to that of the equalization schemes proposed in Schniter et al. and Fang et al. but with significant computational savings. A lowcomplexity least squaresbased iterative channel estimation scheme using soft feedback information is also proposed. This scheme is especially suitable when the number of significant channel taps is higher than the number of pilots, a phenomenon that is encountered by receivers in Single Frequency Networks (for example, DVB deployments in Europe).
Introduction
Orthogonal frequency division multiplexing (OFDM)based systems have been adopted in many of the recent wireless communication standards, such as European terrestrial broadcast systems based on DVBH, DVBT, and DVBT2, and cellular wireless communication systems based on 4G. For OFDM systems, a cyclic prefix (CP) of sufficient length makes the receiver design simple (1tap equalizer) in frequencyselective multipath environments. Modern wireless communications applications, however, require high data rates at high carrier frequencies and at high levels of mobility. Addressing these requirements results in less intercarrier spacing and severe timevarying frequencyselective multipath fading. These outcomes break the orthogonality of subcarriers and lead to intercarrier interference (ICI), thus severely impacting the receiver BER performance. In DVBH, for example, the intercarrier spacing (ICS) could be as low as approximately 1 kHz, and the expected maximum receiver Doppler frequency is of the order of 10–20% of the ICS. In such scenarios, efficient receiver design is a challenging practical problem.
The vast majority of schemes proposed in the literature to cope with the issue described above fall into three categories: (a) independent equalization and decoding[1–4]. In[4], the received signal is split into small segments such that the channels remain approximately static during each small segment. Suitable signal processing is performed on each of these segments, such that the resulting channel matrix is made diagonal. Consequently, the equalizer becomes single tap. To mitigate the ICI in largesized symbol systems such as DVBT2,[2] proposes using a preequalizer. At first, the symbol is divided into smaller sizes. A preequalizer based on minimizing the ICI power is implemented, followed by a singletap equalizer to compensate for channel selectivity. The authors of[1] propose a minimum mean square error (MMSE) filter that takes not only the subcarrier amplitudes but also their derivatives, to compute the transmitted symbol estimate. In[3], an iterative decision feedback equalizer (DFE) is proposed to perform ICI cancelation such that the modified system matrix becomes diagonal in the frequency domain. (b) Successive cancelation of the interference[5–8]. In[5], ICI is removed in the time domain. The signal is then converted to the frequency domain, thus resulting in a diagonal frequency domain system matrix. Hard decisions are made on the equalized signal, after which it is converted back to the time domain, and the timefrequency iterations are repeated. In[6], derived for MIMO systems, a new MMSE filter taking the decision errors into account is derived. A MMSE estimate of each QAM symbol from each antenna (rather than a joint estimation of symbols from all antennas) is used successively to cancel the interference coming from other antennas. In[7], the mean value of the transmit symbol is computed using the LLR values from the decoder. The mean value is then used to remove the ICI from the received symbol, resulting in a diagonal system matrix. A modified lowcomplexity MMSE equalizer that takes the decision error into account is then derived. In the context of interference cancelation in CDMA systems, authors of[8] propose a MMSE estimator where the estimate of the desired signal is computed repeatedly, each time rearranging the order of interference cancelation using a novel algorithm. They then select the most likely estimate (that has the least error) from the above list. (c) Turbolike iterative equalization[9–16]. The original turbo equalization (TE) proposed by[9] has exponential complexity. Subsequently, MMSEbased reduced complexity TE is proposed in[10, 11], where the computation complexity is O(N^{3}) or O(N^{2}). The authors of[16] propose a modified LMMSE equalizer that provides a more accurate modeling of the statistics of the two quadrature components of the transmitted symbol. It is claimed to have better performance compared to[11]. The authors of[12] propose an iterative equalization scheme for communication systems that operate under water. It includes a channel estimation scheme for rapidly varying channels. The channel that is assumed to follow a threeparameter model is estimated using convex optimization techniques in an iterative fashion. In[13], the authors propose a lowcomplexity MAP decoding for doubly selective OFDM systems. The proposed algorithm successively computes the symbols and removes from the observation the interference due to these symbols, thus bringing down the search space progressively and significantly reducing the decoding complexity. The successive symbol search is made in a computationally efficient manner by making use of the Markov Chain Monte Carlo (MCMC) method with Gibbs sampling. In[14], the authors propose an OFDM MIMO detection based on successive cancelation of interference. Using a novel LLR criteria, the layers with the least MSE error are successively identified, and MMSEbased TE is then applied iteratively to estimate the symbols from the selected layer. The contributions of these estimated symbols are then subtracted from the observation before making a new MMSE estimate. In[15], an iterative technique for the inversion of a linear system of equations called “operatorperturbation technique” is used to cancel ICI iteratively. Turbolike iterative schemes, in general, are found to have superior performance among the schemes described. The turbo schemes described above, however, are saddled, in general, with high computational complexity (quadratic or sometimes cubic in the number of subcarriers). Such practical application challenges motivate us to come up with a new scheme with a better tradeoff between performance and implementation complexity.
Encouraged by the development of MMSEbased turbo equalization schemes[10, 11], a large number of lowcomplexity iterative OFDM equalization schemes have been proposed[17–19]. They exploit the banded nature of the frequency domain channel matrix to bring down the equalization complexity to linear with the number of subcarriers. The references above propose, in general, either a new technique for iterative MMSE linear equalization using priors on the banded submatrix around the main diagonal, or a new technique to compute the soft information from the symbol estimates.
Although the joint processing of equalization and decoding is the most optimal solution, it is computationally expensive and, thus, not viable in practical receivers. In this article, we propose a suboptimal, successive interference cancelationbased MAP decoder, wherein we avoid the explicit equalization stage. In SICMAP, we keep the contributions from the same transmit symbol on consecutive received symbols while eliminating the interference from the other transmit symbols, which are estimated using the feedback information from the decoder. This method results in multiple receiver observations for the same transmit symbol, as in the case of a diversity system. The resulting system matrix becomes a singlecolumn matrix. It is easy to implement MAP decoding in such systems. As in references[18–20], we also exploit the banded nature of the system matrix in SICMAP. The performance and computational complexity of the proposed scheme is compared with that of MMSETEOND2, suggested in[18], and TEBLK2, the best performing equalizer in a group of three[19]. In[18, 19], a windowing technique is used to make the energy more concentrated along the diagonal. The windowing mentioned in those articles will also work in our proposed scheme. We incorporate channel coding in[18, 19] to render a fair comparison. It has been found that SICMAP provides a comparable performance to MMSETEOND2 and TEBLK2 but with significantly less computational complexity. Such a receiver, compared to their counterparts, will take only a fraction of the silicon area (or the cost) and battery power, a scarce resource in mobile applications, thus making it especially suitable for mobile applications with large symbol lengths, such as[21, 22].
Accurate estimating of channel state information (CSI) is essential for the effectiveness of any equalization/decoding scheme. Examples of such schemes include techniques using singular value decomposition (SVD)[23]. Inspired by the channel estimation algorithm proposed in[5], we propose a soft decision feedbackbased lowcost least squares (LS) estimation scheme. The proposed algorithm makes use of soft information to refine the channel estimates so that they are capable of handling the long channel scenarios, such as those encountered in Single Frequency Networks (SFN) (for example, DVB deployment in Europe). In such networks, the number of significant channel taps can be higher than the number of pilot subcarriers.
This article is organized as follows: notations used in this article are explained first. In System model section, the system model is presented, following which we describe SICMAP in Successive interference cancelationbased MAP receiver (SICMAP) section. In Channel estimation section , we present a lowcomplexity channel estimation scheme suitable for this equalizer. In The proposed IR with SICMAP section, the overall algorithm is presented, and in Computational complexity analysis section, we compare the computational complexity of SICMAP with similar equalization schemes. In Numerical results and discussion section, the numerical results are presented. In Conclusion section, we draw the final conclusions
Notation:^{(·)t} denotes transpose, ^{(·)H} conjugate transpose (Hermitian), {a} denotes a set with elements {a(0),a(1),.}, F for normalized N point Discrete Fourier Transform (DFT), where${\mathbf{\text{F}}}_{k,l}:=(1/\sqrt{N}){e}^{j2\pi \text{kl}/N}$, I is the identity matrix, i_{ k } is the k^{th} column of I, · for l_{2}norm, ⌈·⌉ is the ceiling of a function, Re(·) and Im(·) for the real and imaginary parts of a complex quantity. diag(ν_{ x }) is the diagonal matrix from the vector ν_{ x }. Expectation is denoted by E{·}. Bold lowercase letters, e.g., x, denote vectors, and bold uppercase letters, e.g., X, denote matrices.
System model
The OFDM transceiver model is described in Figure1. At the transmitter, information bits ({a(n)}) are convolutionally encoded ({b(n)}) and passed through a bit interleaver (BI) ({c(n)}). The symbol mapper modulates them into QAM symbols ({s(k)}). A set of N of these QAM “frequency domain” symbols is collected to form an OFDM symbol. A symbol interleaver (SI) interleaves them (x). The OFDM symbol is converted into “discrete timedomain” samples, {z(i)}, by performing an N point IDFT. A cyclic prefix (CP) of length _{ N p }≤ N is added to each of these symbols. These samples are then transmitted from the transmit antenna. The multipath channel is modeled as a linear timevarying (LTV) system with discrete impulse response h(i l) (time i response to an impulse at time i−l for the wireless channel). At the receiver, the CP removed data is converted back to the “frequency domain” by performing an N point DFT and is passed to the symbol DetectionDecoding block. It comprises Successive Interference Canceler (SIC), Channel Estimator, Symbol and Bit Interleaver/deinterleaver, Log Likelihood Ratio (LLR) Computer and BCJR or SOVAbased decoder[24].
We assume perfect carrier, symbol and sample synchronization at the receiver. Given that maximum channel taps N_{ h }≤_{ N p }, the received samples in the base band can be represented as,
where {n(i)} are samples of additive white Gaussian noise (AWGN) with zero mean and variance σ^{2}. Defining r:=[r(0),r(1),…,r(N−1)]^{t}, the received vector corresponding to a single OFDM symbol, r, can be written as follows:
where Ξ is the time varying system matrix determined by the channel estimator and is given in (3), and ψ:=[n(0),n(1),⋯ ,n(N−1)]^{t}. CP is removed from these “time domain” samples. N such samples are grouped together and presented to a DFT processor, which, in turn, outputs N “frequency domain” samples, {y(k)}. Taking a DFT on both sides of (2),
where H:=F Ξ F^{H}, y :=[y(0),y(1),⋯ ,y(N−1)]^{t}, x :=[x(0),x(1),⋯ ,x(N−1)]^{t} and w=F ψ. Note that w is wide sense stationary (WSS), with the same mean and covariance as that of ψ, as F is unitary. Here, x is the transmitted OFDM symbol, H is the channel matrix in the frequency domain and y is the received OFDM symbol. If the channel is static, H will be a diagonal matrix. In the case of timevarying Rayleigh fading channels[25], it has been shown that H will be a banded matrix with significant coefficients concentrated in a banded structure, with width D along the diagonal. D is typically chosen as D=2L + 1, where L=⌈f_{ d }T_{ s }N⌉, f_{ d } is the normalized maximum Doppler frequency and T_{ s } is the sample duration. Different structures for H are shown in Figure2[18].
Successive interference cancelationbased MAP receiver (SICMAP)
In this section, we present a lowcomplexity IR that implements successive interference cancelation, followed by maximum a posteriori probability (MAP) decoding. The proposed scheme, at first, simplifies the system matrix to a single column vector by selectively removing the ICI interference from the received symbols, using the feedback symbol mean values. Soft information can be computed directly with low cost from this modified model. This information is fed to a MAP bit decoder.
The following observations are key in formulating the proposed scheme:

1.
The relative magnitude of each subdiagonal and superdiagonal element of the doubly selective Rayleigh fading channel matrix H decreases significantly as we move away from the main diagonal. We can, thus, ignore all elements that are far away from the main diagonal [18–20] without significantly impacting performance. Note that these elements are absent for a static multipath channel.

2.
As the extrinsic information becomes more accurate over multiple iterations, the conditional mean, ${\mu}_{x}\left(k\right)\phantom{\rule{1em}{0ex}}\to \phantom{\rule{1em}{0ex}}x\left(k\right)$, which is the true symbol value and the conditional variance, ${\nu}_{x}\left(k\right)\phantom{\rule{1em}{0ex}}\to \phantom{\rule{1em}{0ex}}0$. Therefore, in each new iteration, we can use μ _{ x }(k) from the previous iteration to selectively remove ICI from the received symbol, such that the resulting system matrix is turned into a singlecolumn vector. We compute the log likelihood ratios (LLR) $\left(\mathrm{ln}\left(\frac{P\left(b\right(n)=0)}{P\left(b\right(n)=1)}\right)\right)$ from the modified system directly, thus avoiding MMSE symbol estimation and the associated matrix inversion.
Based on observation 1, ((4)) can be approximated as
where${\mathbf{x}}_{\mathbf{k}}:={\left[x\right({\u3008k2L\u3009}_{N}),\cdots \phantom{\rule{0.3em}{0ex}},x({\u3008k+2L\u3009}_{N}\left)\right]}^{t}$,${\mathbf{w}}_{\mathbf{k}}\phantom{\rule{1em}{0ex}}:={\left[w\right({\u3008kL\u3009}_{N}),\cdots \phantom{\rule{0.3em}{0ex}},w({\u3008k+L\u3009}_{N}\left)\right]}^{t}$ and H_{ k } is the shaded (green) section of H in Figure2 (right) given by (6). For simplicity of notation, the modulo operation (${\u3008\u3009}_{N}$ ) is omitted in the sequel.
Now,${\mathbf{x}}_{\mathbf{k}}={\mathit{\mu}}_{{\mathbf{x}}_{\mathbf{k}}}+{\mathit{\delta}}_{{\mathbf{x}}_{\mathbf{k}}}$ where${\mathit{\delta}}_{{\mathbf{x}}_{\mathbf{k}}}$ is the residual error, which approaches 0_{4L + 1}as the extrinsic LLR becomes more reliable over multiple iterations. Substituting for x_{ k } in (5) and rearranging yields (7). The new noise,${\stackrel{~}{\mathbf{w}}}_{\mathbf{k}}$, contains the ICI from the residual error${\delta}_{{\mathbf{x}}_{\mathbf{k}}}$.${\stackrel{~}{\mathbf{\mu}}}_{{\mathbf{x}}_{\mathbf{k}}}$ is a vector as defined in (7).
Let
_{ hk } is shown in red in Figure2 (right). It is a column vector of size D×1. We also approximate that${\stackrel{~}{\mathbf{w}}}_{\mathbf{k}}$ and w_{ k }have identical covariance, as the noise due to residual ICI is small and decreasing over multiple iterations.
The LLR computer calculates the extrinsic LLR, LLR_{ext}(c(n)), which represents information about c(n) contained in${\stackrel{~}{\mathbf{y}}}_{k}$ and P(c(l)) for all l≠n. These are passed to a MAP decoder where they are used as a priory LLRs. Using (9), LL_{R ext}(c(n)) is calculated from the modified system, where 0≤u≤Q−1,$\mathbf{m}={[{m}_{0},{m}_{1},\xb7,{m}_{Q1}]}^{t}$, {η}=map(m) is the signal constellation and F_{2} is binary Galois Field. Q denotes the number of bits per symbol. For example, for BPSK Q=1, for QPSK Q=2, and so on.
As shown in Appendix, for QPSK, the above expression can be simplified as
A closer look at the derivation in Appendix reveals that this expression is applicable, within a scale factor, to any constantmodulus constellation. Observe that the extrinsic LLR of c(n) is conditioned only on${\stackrel{~}{\mathbf{y}}}_{k}$ and, in the simplified system model,${\stackrel{~}{\mathbf{y}}}_{k}$ depends only on the present symbol x(k). This makes the evaluation of LL_{R ext}(c(n)) easy. The MAP decoder computes soft outputs, LL_{ R app }(b(n))—the a posteriori reliability information of each coded bit—in LLR form by minimizing the bit error probability (BEP)[24]. The input a priori LLR to the decoder is subtracted from LL_{R app}(b(n)) to obtain the extrinsic reliability information$\text{LL}{R}_{\mathrm{\text{ext}}}^{\prime}\left(b\right(n\left)\right)$. It is passed through a bit interleaver and is used in the softmapper to compute the mean μ ′_{ s } and the variance${\mathit{\nu}}_{s}^{\mathit{\prime}}$. These are symbolinterleaved to produce μ_{ x } and ν_{ x }. As described in (8), μ_{ x } is used to remove the ICI interference, whereas ν_{ x } is used in the channel estimator to determine the reliability of μ_{ x }. The ICIremoved data is fed to the LLR computer to generate more reliable LLRs to further improve the output bit estimate. This process is repeated until further gains are insignificant. LL_{R app}(b(n)) are then hardsliced at the bitmap block, and information bit estimates$\xe2\left(n\right)$ are retrieved from the received data bit estimates$\widehat{b}\left(n\right)$. The mapping of LL R_{ext}^{′}(c(n))s to${\mu}_{s}^{\prime}\left(k\right)$ is described in[10].
For QPSK modulation
Notice that the approximation in (8) may not be valid for a generic system matrix H_{ k }. It fits the scenario, however, of doubly selective OFDM channels, where the magnitude of the offdiagonal elements in the frequency domain is significantly smaller than that of the maindiagonal elements. This gives rise only to a relatively small residual ICI power (ICI after cancelation), even with a moderate value of${\delta}_{{\mathbf{x}}_{\mathbf{k}}}$ in the early iterations, and as the iterations proceed, the approximation becomes progressively more accurate.
Channel estimation
In this section, we propose a lowcomplexity channel estimation scheme in OFDM systems under severe Doppler conditions. The proposed algorithm makes use of the feedback symbol mean value, μ_{x(k)}. This value is used to: (a) compute and remove the ICI from the received data; and (b) to keep the LS estimator coefficients constant, as explained in the sequel.
It has been established in[26] that for normalized Doppler conditions of up to about 20%, channel time variations can be approximated by a piecewise linear model with a constant slope over one OFDM symbol duration. Let${h}_{\text{avg}}^{j}\left(l\right)$ and α^{j}(l) denote the time average and slope of the l^{th} channel tap at the j^{th} OFDM symbol, respectively. The linear model for the l^{th}channel tap at the i^{th} time instant within the j^{th} OFDM symbol, h^{j}(i l), therefore, can be written as
where${h}_{\text{avg}}^{j}\left(l\right)=\frac{1}{N}\sum _{i=0}^{i=N1}{h}^{j}(i,l)$. The value of${h}_{\text{avg}}^{j}\left(l\right)$ is obtained from the IFFT of the channel estimates at the pilot subcarriers, as explained in the sequel. Knowing${h}_{\text{avg}}^{j}\left(l\right)$, the slope α^{j}(l) can be computed easily from geometrical considerations[27].
Define${\alpha}_{\text{pre}}^{j}\left(l\right)=\frac{{h}_{\text{avg}}^{j}\left(l\right){h}_{\text{avg}}^{(j1)}\left(l\right)}{N},(j>0)$ and${\alpha}_{\text{post}}^{j}\left(l\right)=\frac{{h}_{\text{avg}}^{(j+1)}\left(l\right){{h}_{\text{avg}}}^{j}\left(l\right)}{N}$, j<j_{ last }, (Ref. Figure3), where j_{ last } is the last received OFDM symbol. Now,
We drop the superscript j in the development below.
As in the case of symbol estimation, approximating x(d) by μ_{x(d)}, we get, y(k) from (5) as
A piecewise linear channel model in the time domain, given by (14), leads to the following frequency domain channel coefficients:
and
Define${\mathbf{h}}_{\mathbf{\text{avg}}}:\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}=\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}{\left[{h}_{\text{avg}}\right(0),{h}_{\text{avg}}(1),\cdots \phantom{\rule{0.3em}{0ex}},{h}_{\text{avg}}({N}_{h}1\left)\right]}^{t}$,$\mathit{\alpha}:={\left[\alpha \right(0),\alpha (1),\cdots \phantom{\rule{0.3em}{0ex}},\alpha ({N}_{h}1\left)\right]}^{t},{\mathbf{b}}_{\mathbf{k}}=[1,{e}^{j2\mathrm{\Pi k}/N},\cdots \phantom{\rule{0.3em}{0ex}},$${e}^{j2\mathrm{\Pi k}({N}_{h}1)/N}{]}^{t}$ and${C}_{kd}=\frac{1}{1{e}^{j2\Pi (kd)/N}}$. (17) and (18) can now be written as
In[5], h_{ avg }and α are jointly estimated from the same OFDM symbol. For a satisfactory performance of this scheme, pilot tones should be partitioned into equispaced groups on the FFT grid. This limits the use of this scheme in systems such as DVB[22] or IEEE 802.16[21], where an equispaced pilot pattern (with no grouping) is deployed.
In the proposed scheme, as in the case of equalization, we first remove the ICI from the received data, using the channel estimates and feedback symbol mean values obtained from the previous iteration. The modified system matrix is diagonal, with the elements given in (19). An equispaced pilot pattern is best suited for h_{ avg } estimation in the modified system. This enables the proposed scheme not to have the limitation cited above, thus making it especially suitable for practical systems. A progressively improving estimate of h_{ avg } is computed as explained below. An improved estimate of α can be obtained from the new h_{ avg } (15). Note from (19) and (20) that the diagonal elements of H can be computed from h_{ avg }, whereas the offdiagonal elements of H (which cause ICI) can be computed from α.
The ICIremoved received data,${y}^{\prime}\left(k\right)\approx y\left(k\right)\sum _{d=k2L,d\ne k}^{k+2L}{C}_{kd}{{\mathbf{b}}_{\mathbf{d}}}^{t}\mathit{\alpha}{\mu}_{x\left(d\right)}$, can be written in vector form as
where the N×N_{ h } matrix A is given by$\mathbf{A}={[{\mathbf{b}}_{\mathbf{0}},{\mathbf{b}}_{\mathbf{1}},\cdots \phantom{\rule{0.3em}{0ex}},{\mathbf{b}}_{\mathbf{N}\mathbf{1}}]}^{t}$. Premultiplying (21) with${\left(\text{diag}\right({\mathit{\mu}}_{x}\left)\right)}^{1}$, we get
where$\stackrel{\u0306}{\mathbf{y}}={[\frac{{y}^{\prime}\left(0\right)}{\mu \left(0\right)},\cdots \phantom{\rule{0.3em}{0ex}},\frac{{y}^{\prime}(N1)}{\mu (N1)}]}^{t}$ and$\stackrel{\u0306}{\mathbf{w}}={[\frac{w\left(0\right)}{\mu \left(0\right)},\cdots \phantom{\rule{0.3em}{0ex}},\frac{w(N1)}{\mu (N1)}]}^{t}$. The LS estimate of h_{ avg } can be obtained from (22) as
Observe that the LS coefficients are constants and can be precomputed and stored thus avoiding costly matrix multiplication and inverse operations and making this estimation scheme low in complexity. We thus estimate each h_{ avg }(l) with only a vector multiplication. Our aim is to generate an initial estimate of h_{ avg } and α using pilots and subsequently refine them in every iteration using the feedback mean values. Assume that there are P pilot tones and they are placed at subcarriers$\mathbb{P}=\left\{p\right(1),\cdots \phantom{\rule{0.3em}{0ex}},p(P\left)\right\}$. Transmit symbols at pilot tones x_{ p }(1),x_{ p }(2),⋯ ,x_{ p }(P) are known at the receiver. The initial estimate of h_{ avg } is computed using the LS solution
where${A}_{p}={[{b}_{p\left(1\right)},{b}_{p\left(2\right)},\cdots \phantom{\rule{0.3em}{0ex}},{b}_{p\left(P\right)}]}^{t}$ and${\stackrel{\u0306}{\mathbf{y}}}_{p}={[{\stackrel{\u0306}{y}}_{p\left(1\right)},{\stackrel{\u0306}{y}}_{p\left(2\right)},\cdots \phantom{\rule{0.3em}{0ex}},{\stackrel{\u0306}{y}}_{p\left(P\right)}]}^{t}$. The LS estimate using (24) does not, however, give accurate results when P<N_{ h }. For subsequent iterations, compute h_{ avg } by setting$\stackrel{\u0306}{y}\left(k\right)=0$ or$\stackrel{\u0306}{y}\left(k\right)={y}^{\prime}\left(k\right)/{\mu}_{x}\left(k\right)$ in (23), based on a threshold value of the conditional feedback variance ν_{ x }(k) (13) obtained from the decoder at the end of the previous iteration. The threshold should be small enough so that μ_{ x }(k) is close to the actual symbol value. Since ν_{ x }(k) is small, hard slicing μ_{x(k)} to the nearest x(k) is also found to be effective as the error propagation is largely absent. α is computed from (15). As${\nu}_{x}\left(k\right)\phantom{\rule{1em}{0ex}}\to \phantom{\rule{1em}{0ex}}0$,${\mu}_{x}\left(k\right)\phantom{\rule{1em}{0ex}}\to \phantom{\rule{1em}{0ex}}x\left(k\right)$. Thus, the channel estimate progressively improves as the iterations proceed. Since N_{ h }≤_{ N p }, LS estimate can also be computed from a submatrix A_{ CP } of A, such that A_{ CP } is at least N_{ p }×N in size and the chosen N_{ p } rows should contain the rows corresponding to that of pilots in the system. A distinct advantage of this iterative estimation method is that it does not set the lower limit,(N_{ h }≤P), on the number of pilot subcarriers, as most of the data carriers act as pilots from the second iteration onwards.
Operation of the proposed IR algorithm is enumerated in the next subsection.
The proposed IR with SICMAP

1.
Choose the maximum number of iterations.

2.
For each iteration and for each frequency bin k, compute channel estimate H _{ k }.

(a)
Compute h _{ avg }(23) or (24) as the case may be. For the first iteration, use μ _{ x }(k)=0; otherwise, use μ _{ x }(k) from steps 11, 12. For each frequency bin k, compute H(k,k) (19).

(b)
Compute α(15). Compute H(k,d) for all d≠k(k−2L≤d≤k + 2L) (20).

(a)

3.
Compute ${\stackrel{~}{\mathbf{y}}}_{\mathbf{k}}$ from y (5), (8). For the first iteration, use μ _{ x }(k)=0; otherwise, use μ _{ x }(k) from steps 11,12.

4.
Perform symbol deinterleaving.

5.
Compute LL _{R ext}(c(·)) (10), (11).

6.
Perform bit deinterleaving.

7.
Compute LL _{R app}(b(n)) using BCJR/SOVA.

8.
If LL _{R app}(b(n))s are sufficiently converged or the maximum number of iterations is reached, hardslice LL _{R app}(b(n)). Output the information bits $\xe2\left(n\right)$ and stop the iterations; otherwise,

9.
Compute LL R _{ext} ^{′}(b(n)).

10.
Perform bit interleaving.

11.
Compute ${\mu}_{s}^{\prime}\left(k\right)$ (12).

12.
Perform symbol interleaving.

13.
Go to step 2.
Computational complexity analysis
In this section, the computational complexity of SICMAP is compared to the iterative equalization schemes MMSETEOND2[18] and TEBLK2[19]. The complexity of the noniterative MMSE scheme[27] that is popularly used in practical receivers, referred to as MMSEOND2 in this article, is also computed. MMSEOND2 is based on a section of H(H_{ k } in Figure2(right)), given in (6). MMSEOND2 schemes, turbo or not, involve the inversion of a matrix of size D. Matrix inversion generally has cubic complexity. However, it has been shown that MMSEOND2 or MMSETEOND2 can be performed with approximately O(N·D^{2}) operations[28]. Table1 tabulates the total number of arithmetic operations (×,÷) required at the receiver for different schemes. Computations involved in BCJR are identical across all these schemes and, therefore, are not considered. (The cost of adders is significantly lower than that of multipliers. tanh operation can be performed using a small lookup table. These two operations are, thus, not tabulated in Table1. Although not differentiated here, the cost of a divider, in practice, is higher than that of a multiplier.)
For a typical set of parameters (L=1), it is clear from Table1 that TEBLK2 and MMSETEOND2 require approximately 3.3 and 4.5 times more computations than SICMAP per iteration, while the channel estimation efforts are the same. The noniterative scheme, MMSEOND2, requires 3.6 times more computations than SICMAP per iteration.
Numerical results and discussion
In this section, we present the results of numerical simulations of the proposed IR over doubly selective channels. This section has two parts. In the first part, we evaluate SICMAP by comparing its performance with two other iterative schemes described in Computational complexity analysis section. For this purpose, we assume that CSI is known at the receiver. We consider an OFDM system with N=256, N_{ h }=30 and _{ N p }=N/4. A 1/2 rate convolutional code with generator polynomial (7,5) is used. Symbols are QPSK modulated with unit variance. AWGN has a circular variance of${({E}_{b}/{N}_{0})}^{1}.$ Both bit and symbol interleaving are performed with Srandom interleavers[29], with S=22 and S=5, respectively. Each channel path is Rayleigh fading, characterized by Jakes’ Doppler Spectrum (exponentially decaying power delay profile), with a frequency spread of f_{ d }=900Hz. With the DVBT sampling rate of${T}_{s}^{1}=9\text{.}14\mathrm{MHz}$, this corresponds to a normalized Doppler spread of 20% of the subcarrier spacing.
Figure4 shows the BER performance of the three schemes used in our study. Although windowing employed in[18, 19] can improve the performance in all three schemes, no windowing is employed in our study, as it increases the computation burden significantly. SICMAP performs poorly in the first iteration, as no interference is canceled before computing the LLRs. The incremental BER gain, however, between the first and second iterations of SICMAP is very significant. Therefore, MMSETEOND2 and SICMAP perform more or less identically within three iterations. Note that the computational complexity of SICMAP is roughly only 22% that of MMSETEOND2. It was shown in[19] that the performance of TEBLK2 is superior to MMSETEOND2[18]. This can be seen from Figure4. However, the performance difference is not significant in a system where error correction coding (convolutional coding, in this case) is incorporated, as is the case with most practical receivers. A SICMAP scheme can be implemented with only a third of the computations that are required for TEBLK2. (Entries corresponding to TEBLK2 in Table1 are obtained from[19].) BER performance of the noniterative MMSEOND2[27] is that corresponding to the first iteration of MMSETEOND2. From Table1, note that the complexity of MMSEOND2 is approximately 3.6 times higher than that of SICMAP. From Figure4 observe that SICMAP converges sufficiently in three iterations and outperforms MMSEOND2 significantly. Thus, we conclude that SICMAP has all the performance benefits of any iterative scheme, yet its total computational complexity is far less even than that of a commonly used noniterative scheme, namely MMSEOND2.
If we set L=3 for SICMAP but L=1 for the other two schemes, all three schemes will approximately have the same computational cost. The performance of such a system is given in Figure5. As can be seen, for the same computational cost, SICMAP clearly outperforms MMSETEOND2 and MMSETEBLK2.
In the second part, we examine the performance of these receivers when employing the lowcomplexity channel estimation scheme described in Channel estimation section.
In Figure6, performance of SICMAP, MMSETEOND2 and MMSEOND2based receivers that employ the aforementioned channel estimation scheme is compared. These receivers have 32 equispaced pilots per OFDM symbol. The system has N_{ h }=30 and a normalized Doppler of 20%. Performance of the IRs, as can be seen from the figure, is significantly better than the noniterative receiver at moderate to high SNR region. Both the iterative schemes perform nearly identically, as expected.
Figure7 depicts the behavior of the estimation scheme when the number of channel taps (N_{ h }=40) is more than the number of pilots (_{ N p }=32). Comparing Figures6 and7, it is clear that the iterative schemes perform identically in both scenarios (N_{ h }≤P and N_{ h }>P) at SNRs of practical interest, whereas the noniterative scheme performance is considerably poorer in the latter case.
Conclusion
We have proposed a lowcomplexity IR employing successive interference cancelation to mitigate the effects of ICI in mobile OFDM systems. The proposed scheme, SICMAP, while having nearly identical performance to MMSETEOND2 and TEBLK2, can be implemented with only 22% and 30%, respectively, of their computational burden. It was also found that performance and implementation complexity of SICMAP can effectively be traded for one another. A lowcost iterative LS channel estimation scheme, suitable for practical receivers, is also proposed. Besides low complexity, another advantage of the iterative channel estimation scheme is that, unlike pilotonly based LS schemes, it works satisfactorily for systems that have a higher number of channel taps than pilot subcarriers, a phenomenon that is commonly encountered in DVB systems deployed in single frequency networks.
Appendix
Derivation of (10)
Ref. to Table2 for the QPSK symbol alphabet definition.
Here
where$a1={{y}_{k}}^{H}{y}_{k}$ and$a2={\left({h}_{k}{\eta}_{1}\right)}^{H}\left({h}_{k}{\eta}_{1}\right)$. Note that, for QPSK${\left({h}_{k}{\eta}_{1}\right)}^{H}\left({h}_{k}{\eta}_{1}\right)={\left({h}_{k}{\eta}_{2}\right)}^{H}\left({h}_{k}{\eta}_{2}\right)={\left({h}_{k}{\eta}_{3}\right)}^{H}$$\left({h}_{k}{\eta}_{3}\right)={\left({h}_{k}{\eta}_{4}\right)}^{H}\left({h}_{k}{\eta}_{4}\right)$. Substituting for all the terms from (26) in (25), defining$z:={{\stackrel{~}{\mathbf{y}}}_{k}}^{H}{h}_{k}$ and removing the common terms, we get,
Similarly we get$\text{LL}{R}_{\text{ext}}\left(c\right(2k+1\left)\right)=\frac{\sqrt{8}\mathrm{Im}\left({{\stackrel{~}{\mathbf{y}}}_{k}}^{H}{h}_{k}\right)}{{\sigma}^{2}}$
References
 1.
Linnartz JPMG, Gorokhov A: New equalization approach for OFDM over dispersive and rapidly time varying channel. Proc. IEEE Int. Symp. Pers. Indoor Mob. Radio Commun 2000, 2: 13751379.
 2.
Baracca P, Tomasin S, Vangelista L, Benvenuto N, Morello A: Per subblock equalization of very long OFDM blocks in mobile communications. IEEE Trans. Commun 2011, 59: 363368.
 3.
Tomasin S, Gorokhov A, Yang H, Linnartz JP: Iterative interference cancellation and channel estimation for mobile OFDM. IEEE Trans. Wirel. Commun 2005, 4(1):238245.
 4.
Ping QGL, Huang D: A low complexity iterative channel estimation and detection technique for doubly selective channels. IEEE Trans. Wirel. Commun 2009, 8(1):43404349.
 5.
Chen S, Yao T: Intercarrier interference suppression and channel estimation for OFDM systems in timevarying frequencyselective fading channels. IEEE Trans. Consumer Electron 2004, 50: 429435. 10.1109/TCE.2004.1309404
 6.
Lee H, Lee B, Lee I: Iterative detection and decoding with an improved VBLAST for MIMOOFDM systems. IEEE J. Select. Areas Commun 2006, 24: 504513.
 7.
Hwang SU, Lee JH, Seo J: Low complexity iterative ICI cancellation and equalization for OFDM systems over doubly selective channels. IEEE Trans. Broadcast 2009, 55(1):132139.
 8.
de Lamare RC, SampaioNeto R: Minimum meansquared error iterative minimum meansquared error iterative successive parallel arbitrated decision feedback detectors for DSCDMA systems. IEEE Trans. Commun 2008, 56(5):778789.
 9.
Douillard C, Jezequell M, Berrou C, Picart A, Didier P, Glavieux A: Iterative correction of intersymbol interference: Turbo equalization. Eur. Trans. Telecommun 1995, 6: 507511. 10.1002/ett.4460060506
 10.
Wang X, Poor HV: Iterative (turbo) soft interference cancellation and decoding for coded CDMA. IEEE Trans. Commun 1999, 47: 10461061. 10.1109/26.774855
 11.
Tüchler M, Singer A, Kotter R: Minimum mean squared error (MMSE) equalization using a priori information. IEEE Trans. Sig. Process 2002, 50: 673683. 10.1109/78.984761
 12.
Huang J, Zhou S, Huang J, Berger CR, Willett P: Progressive intercarrier interference equalization for OFDM transmission over timevarying underwater acoustic channels. IEEE J. Select. Topics Sig. Process 2011, 5: 15241536.
 13.
Panayirci E, Dogan H, Poor HV: Lowcomplexity MAPbased successive data detection for coded ofdm systems over highly mobile wireless channels. IEEE Trans. Vehicul. Technol 2011, 60: 28492857.
 14.
Choi JW, Singer AC, Lee J, Cho NI: Improved linear softinput softoutput detection via soft feedback successive interference cancellation. IEEE Trans. Commun 2010, 58: 986996.
 15.
Molisch AF, Toeltsch M, Vermani S: Iterative methods for cancellation of intercarrier interference in OFDM systems. IEEE Trans. Vehicul. Technol 2007, 56(4):21582167.
 16.
Jiang S, Ping L, Sun H, Leung CS: Modified LMMSE turbo equalization. IEEE Commun. Lett 2004, 8: 173176.
 17.
Ahmed S, Sellathurai M, Chambers JA: Low complexity iterative method of equalization for OFDM in doubly selective channels. Proceedings of Asilomar Conference on Signals, Systems and Computers, (2005), pp. 687–691
 18.
Schniter P: Lowcomplexity equalization of OFDM in doubly selective channels. IEEE Trans. Sig. Process 2004, 52(4):10021011. 10.1109/TSP.2004.823503
 19.
Fang K, Rugini L, Leus G: Lowcomplexity block turbo equalization for OFDM systems in time—varying channels. IEEE Trans. Sig. Process 2008, 56: 55555566.
 20.
Jeon WG, Chang KH, Cho YS: An equalization technique for orthogonal frequencydivision multiplexing systems in timevariant multipath channels. IEEE Trans. Commun 1999, 47: 2731. 10.1109/26.747810
 21.
Air Interface for Fixed Broadband Wireless Access Systems: Part A: Systems Between 2–11GHz IEEE Stand. 802.16, 01/01r1 (2001)
 22.
Digital Video Broadcasting (DVB): Framing Structure, Channel Coding and Modulation for Digital Terrestrial Television ETSI Standard. ETS 300 744 (1999)
 23.
Edfors O, Sandell M, van de Beek JJ, Wilson SK, Börjesson PO: OFDM channel estimation by singular value decomposition. IEEE Trans. Commun 1998, 46(7):931939. 10.1109/26.701321
 24.
Lin S, Costello DJ: Error Control Coding. (Prentice Hall, London, 2004)
 25.
Jakes WC: Microwave Mobile Communications. (Wiley, New York, 1974)
 26.
Mostofi Y, Cox DC: ICI mitigation for pilotaided OFDM Mobile systems. IEEE Trans. Wirel. Commun 2005, 4(2):765774.
 27.
Lu S, Narasimhan B, AlDhahir N: A novel SFBCOFDM scheme for doubly selective channels. 2009, 58(5):25732578.
 28.
Hong L: Frequency Domain Equalization of Single Carrier Transmissions Over Doubly Selective Channels. PhD thesis, The Ohio State University, (2007)
 29.
Heegard C, Wicker S: Turbo Coding. (Kluwer, Boston, 1999)
Author information
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
Namboodiri, V., Liu, H. & Spasojević, P. Lowcomplexity iterative receiver design for mobile OFDM systems. EURASIP J. Adv. Signal Process. 2012, 166 (2012). https://doi.org/10.1186/168761802012166
Received:
Accepted:
Published:
Keywords
 Orthogonal Frequency Division Multiplex
 Minimum Mean Square Error
 Orthogonal Frequency Division Multiplex System
 Cyclic Prefix
 Orthogonal Frequency Division Multiplex Symbol