Abstract

This work deals with the issue of channel estimation in the context of non-binary LDPC-coded OFDM systems over doubly selective multipath channels. In particular, we show how to derive an iterative Wiener-filter-based estimation method using both time and frequency channel correlation and considering the particular characteristics of the channel code. The proposed algorithm can use either soft information or hard decisions fed back by the decoder to refine the channel estimation, so as to improve the system performance at the expense of an increased receiver complexity. Simulation results under typical working conditions are presented to compare the performance of the proposed method with respect to classical techniques.

1. Introduction

The increasing demand for high-speed wireless communications calls for efficient technologies in terms of energy expenditure and bandwidth occupation. In the area of forward error correction (FEC) coding, LDPC codes over high-order finite Galois fields GF(๐‘ž), termed nonbinary LDPC (NB-LDPC) codes, were shown to bear a potential compared to other techniques [1]. To mention a few, NB-LDPC codes show a lower error floor with respect to their binary counterpart (LDPC codes), while providing a steep waterfall region in terms of word error rate (WER) compared to convolutional turbo codes [2]. Although this feature comes at the expense of an increased complexity at the receiver, NB-LDPC coding can be considered as a viable technology for beyond-4G communication systems [2].

Wideband signals for high-speed digital communications over a wireless link suffer from distortions caused by multipath propagation. The potentiality on NB-LDPC can be fully exploited if we can adopt an iterative channel estimation technique based on the channel decoder information to mitigate the effects of channel selectivity. Recently, there has been a flurry of research in this field using the โ€œturboโ€ principle [3, 4], that can be applied to ancillary signal detection functions whenever the channel decoder is iterative and/or soft-output. This approach, analogous to what turbo codes do in the field of data detection, is referred to as โ€œturboโ€ equalization. In [5], an iterative channel estimation is applied to a turbo-coded pilot-aided BPSK system over flat-fading channels. This solution provides a significant improvement in the performance by iteratively estimating the channel, and using the estimate to decode the turbo code. One drawback of the proposed technique is the bit error rate (BER) floor level, which is about an order of magnitude higher than that achieved by a turbo-coded system with ideal BPSK detection. However, the authors suggest the use of the channel estimates from previously decoded frames to significantly reduce this floor. This approach is generalized in [6] to the case of double selectivity, using joint equalization and decoding. The channel estimator proposed in this work exhibits a reduced complexity and it is decoupled from the equalizer module. The proposed method is suitable for high-order modulations, channels with arbitrary power profile, and LDPC. Simulation results show a significant performance improvement in the case of iterative estimation as opposed to non iterative channel estimation.

Similar approaches are considered in [7, 8] assuming the channel fading rate to be high. The work in [7] considers systems where the channel is unknown and time varying, with a fading rate so high that tracking of the channel is required between the training sequences. The proposed algorithm adopts a separate channel estimator that runs in parallel and aids the equalizer to save complexity and to be suitable for a wide range of different equalization techniques. In [8], iterative channel estimation and equalization is derived for frequency-selective Rayleigh fading channels. The authors propose a soft input Kalman channel estimator, derived by restructuring the channel estimation problem as one of Kalman state estimation reflecting the soft information from the decoding process into the statistical description of the channel.

In the field of multicarrier systems, relevant results can be found in [9โ€“11], which propose joint iterative data detection and channel estimation schemes for orthogonal frequency division multiplexing (OFDM) under double channel selectivity. In [9], pilot symbols are exploited at the first estimation stage. Then, the receiver performance is improved by properly incorporating the soft-information fed back by the decoder into the minimum mean square error (MMSE) channel estimator once it is available after the first iteration. To reduce the computational power, the authors propose an indirect MMSE iterative channel estimation and decoding (ICED) method based on the number of channel taps in the time domain. In [10], the authors adopt a Wiener filtering approach to produce the optimum estimate of channel response in the sense of MMSE. To improve the accuracy of channel estimation, soft information exchange between Wiener-filter-based channel estimator and error-correction decoder is employed. However, according to the authorsโ€™ experiments, the iterative information exchange between Wiener-filter-based channel estimator and error-correction decoder does not always improve the receiver performance. In [11], the authors derive an iterative algorithm for joint data-detection and channel-estimation for OFDM systems, which includes iterative decoding at the receiver. This scheme considers a maximum a posteriori-based decoder that works in conjunction with an iterative channel estimator to provide more reliable information on the coded symbols.

The present paper elaborates on the turbo approach to derive an iterative channel estimation algorithm based on the soft output of the NB-LDPC decoder. Wiener filtering in the time and frequency domain is selected due to its simple implementation while producing the optimum estimate of the channel response in the sense of MMSE. To the best of the authorsโ€™ knowledge, the impact of iterative channel estimation in the case of an NB-LDPC-coded system has not been investigated in the literature. The main scientific contribution of this document is the rigorous derivation of the proper way to include soft information in the channel estimation procedure. Instead of using ad hoc formulae, we show how the a posteriori average of the received channel symbol is exactly the piece of soft information that is required by the Wiener smoother for channel coefficient estimation. We consider an OFDM system operating over a time-varying frequency selective scenario, as described in Section 2, emphasizing the details that can be exploited to perform the channel estimation task. The proposed iterative estimation technique is derived in Section 3. Section 4 contains some simulation results, whereas some conclusions are drawn in Section 5.

2. System Description

This section describes the system model considered throughout this work, which is sketched in Figure 1. At the transmitter side, the binary source is segmented into words of log2๐‘ž bits each, and each word is considered as the natural binary representation of a GF(๐‘ž) symbol. A sequence ๐‘ขโ„“, โ„“=0,โ€ฆ,๐พโˆ’1, of ๐พ such symbols represents our source message vector ๐ฎ and is encoded into a vector ๐œ, containing ๐‘ GF(๐‘ž) symbols ๐‘๐‘š, ๐‘š=0,โ€ฆ,๐‘โˆ’1, by a NB-LDPC encoder with a rate ๐พ/๐‘ [1]. An NB-LDPC code is defined in terms of a very sparse pseudorandom parity check matrix, whose elements belong to a finite Galois field GF(๐‘ž). The way the encoding process acts is very similar to that employed by binary LDPC codes. The fundamental difference is that all operations are to be intended in the GF(๐‘ž) domain [2].

The transmission takes place over a multicarrier OFDM signal using ๐‘๐‘  subcarriers. We consider an OFDM system, due to its robustness against fast frequency-selective fading, as experienced in advanced systems such as the IEEE 802.16 [12] and LTE [13] standards. To increase the frequency diversity of the signal, our set of encoded vectors c is mapped into quadrature amplitude modulation (QAM) symbols, and interleaved on a carrier basis. The coded symbols ๐‘๐‘š, assuming one of the ๐‘ž possible values ๐‘๐‘”, ๐‘”=0,โ€ฆ,๐‘žโˆ’1, are modulated onto the OFDM carriers and sent to the receiver. More in detail, the mapping function ๐œ‡(โ‹…) gathers a number ๐‘๐บ of coded GF symbols, with ๐‘๐บ=lcm(log2๐‘€,log2๐‘ž)/log2๐‘ž, and maps them onto a number ๐‘๐‘„ of consecutive channel QAM symbols ๐‘‘๐‘˜, with ๐‘๐‘„=lcm(log2๐‘€,log2๐‘ž)/log2๐‘€, where ๐‘€ is the QAM constellation order, and lcm(โ‹…) stands for the least common multiple. In practice, this can be performed by expanding the coded symbols ๐‘๐‘š in their binary images (each symbol providing log2๐‘ž bits) and grouping them on a QAM symbol basis (i.e., with blocks of log2๐‘€ bits). With this approach, the actual mapping that is used to associate QAM symbols to GF(๐‘ž) symbols has practically no relevance on the coded bit performanceโ€”any random mapping gives the same result.

The OFDM signal undergoes a tapped-delay-line fading channel with additive white Gaussian noise (AWGN) and impulse responseโ„Ž(๐‘ก)=๐‘๐‘โˆ’1๎“๐‘–=0๐œŒ๐‘–๎€ท(๐‘ก)๐›ฟ๐‘กโˆ’๐œ๐‘–๎€ธ,(1) where ๐›ฟ(โ‹…) is the Dirac's delta function, ๐‘๐‘ is the number of multiple paths, ๐œ๐‘– is the delay of the ๐‘–th path, and ๐œŒ๐‘–(๐‘ก) is the realization of the ๐‘–th path, with independent Gaussian-distributed real and imaginary parts with zero mean and variance ๐œŽ2๐‘–/2, with ๐œŽ2๐‘– determined by the channel power delay profile (PDP). Both components of ๐œŒ๐‘–(๐‘ก) have autocorrelation function ๐‘…๐œŒ๐‘–(๐œ)=๐œŽ2๐‘–/2โ‹…๐‘…๐œŒ(๐œ), which depends on the maximum Doppler frequency ๐‘“๐ท. Note that the powers {๐œŽ2๐‘–} are normalized so as to fulfill โˆ‘๐‘๐‘โˆ’1๐‘–=0๐œŽ2๐‘–=1. The intercarrier interference (ICI) due to the time variation of the channel coefficients within one OFDM symbol block is not considered in this work. This simplifying assumption is consistent with the set of Doppler frequencies that is used in our numerical results (Section 4). The method described below can include the effects of ICI resorting to a Taylor expansion approach [14].

The fast Fourier transform (FFT) operation gives the vector ๐ฒ[๐‘›]=[๐‘ฆ1[๐‘›],โ€ฆ,๐‘ฆ๐‘๐‘ [๐‘›]], where ๐‘ฆ๐‘˜[๐‘›]=๐‘‘๐‘˜[๐‘›]โ„Ž๐‘˜[๐‘›]+๐‘ค๐‘˜[๐‘›] is the ๐‘˜th received subcarrier of the ๐‘›th OFDM symbol in the frequency domain, with ๐‘‘๐‘˜[๐‘›] being the QAM symbol mapped on the ๐‘˜th subcarrier, ๐‘ค๐‘˜[๐‘›] being the complex AWGN sample in the frequency domain with power ๐œŽ2๐‘ค/2 over each component, and โ„Ž๐‘˜[๐‘›]โ‰œโ„‹(๐‘˜ฮ”๐‘“;๐‘›๐‘‡๐‘ ) being the channel response over the ๐‘˜th subcarrier of the ๐‘›th OFDM symbol, where โ„‹(๐‘“;๐‘ก)=โ„ฑ{โ„Ž(๐‘ก)} is the frequency response of the channel, ฮ”๐‘“ is the subcarrier spacing, and ๐‘‡๐‘ =1/ฮ”๐‘“ is the OFDM symbol duration.

Figure 2 depicts the general overall architecture of the decoder/demodulator considered throughout the paper, expanding the bottom branch of the block diagram of Figure 1. Channel equalization is mandatory to mitigate the effect of channel selectivity. By extracting the pilot carriers embedded in the OFDM format from the vector ๐ฒ[๐‘›], we can obtain a rough estimate of the channel ฬ‚๎โ„Ž๐ก[๐‘›]={๐‘˜[๐‘›]}๐‘๐‘ ๐‘˜=1 in conjunction with an estimate of the noise power ๎๐œŽ2๐‘ค (the latter is used by the soft demapper and possibly by the channel equalizer according to the equalization strategy). The equalizer processes ๐ฒ[๐‘›], and its output is sent to a deinterleaver after removing virtual and pilot carriers. The stream is then subdivided in chunks of ๐‘ samples, corresponding to one codeword, and each chunk is sent to a soft demapper and finally to an NB-LDPC decoder. Decoding techniques for NB-LDPC codes can be borrowed by their binary counterparts by extending all operations to the field GF(๐‘ž). The considered system adopts a simplified version [15] of the extended min-sum (EMS) algorithm [16] that produces a matrix ฮ› of a posteriori probabilities (APPs) for all coded GF(๐‘ž) symbols. Using ฮ›, we can obtain an estimate ฬ‚๐ฎ of the transmitted symbols and the soft/hard information to be fed back to the channel estimator, as described in the next section.

3. Iterative Channel Estimation

To improve the system performance, we can exploit the information from the NB-LDPC decoder to refine channel estimation. We can use either the soft information ฮ› or the hard decisions ฬ‚๐ฎ (in addition to pilots) to produce a further estimate ฬ‚๐ก[๐‘›]. In a recursive fashion, this new estimate is reused by the decoder, and a new decision on the transmitted symbols is taken. This work considers a Wiener-filter-based channel estimator, due to its simplicity of implementation while ensuring an optimum MMSE solution.

The linear causal MMSE estimator that provides an estimate of โ„Ž๐‘˜[๐‘›] in the time-frequency domain is given by๎โ„Ž๐‘˜[๐‘›]=๐ฟ๎“๐‘†๐‘™=โˆ’๐ฟ๎“๐‘ =0๐‘Ž๐‘˜,๐‘™๐‘ โ‹…๐‘ฆ๐‘˜โˆ’๐‘™[],๐‘›โˆ’๐‘ (2) where the number of coefficients (i.e., the order) of the Wiener filter is (2๐ฟ+1)ร—(๐‘†+1), {๐‘Ž๐‘˜,๐‘™๐‘ }๐‘ =0,โ€ฆ,๐‘†๐‘™=โˆ’๐ฟ,โ€ฆ,๐ฟ are the complex-valued Wiener filter coefficients, and ๐‘ฆ๐‘˜[๐‘›] is the ๐‘˜th received subcarrier of the ๐‘›th OFDM symbol. The filter coefficients can be rearranged in a (2๐ฟ+1)ร—(๐‘†+1) matrix ๐€๐‘˜ and computed following the MMSE criterion:๐€๐‘˜=๎€ฝ๐‘Ž๐‘˜,๐‘™๐‘ ๎€พ๐‘ =0,โ€ฆ,๐‘†๐‘™=โˆ’๐ฟ,โ€ฆ,๐ฟ๎‚๐€=argmin๐‘˜โˆˆโ„‚(2๐ฟ+1)ร—(๐‘†+1)๐”ผ๎‚ป|||๎โ„Ž๐‘˜[๐‘›]โˆ’โ„Ž๐‘˜[๐‘›]|||2๎‚ผ,(3) where ๐”ผ{โ‹…} denotes expectation. For convenience of notation, it is worth restating the filter (2) as๎โ„Ž๐‘˜[๐‘›]๎€ท๐€=tr๐ป๐ค๐˜๐‘˜๎€ธ๎€ท๐€=vec๐‘˜๎€ธ๐ป๎€ท๐˜vec๐‘˜๎€ธ=๐š๐ป๐‘˜๐ฒ๐‘˜,(4) where (โ‹…)๐ป denotes conjugate transposition; tr(โ‹…) is the trace operator, vec(๐—) denotes the vectorization of the matrix ๐— formed by stacking the columns of ๐— into a single column vector, ๐š๐‘˜โ‰œvec(๐€๐‘˜), ๐ฒ๐‘˜โ‰œvec(๐˜๐‘˜), and๐˜๐‘˜โ‰œโŽกโŽขโŽขโŽฃ๐‘ฆ๐‘˜โˆ’๐ฟ[๐‘›]โ‹ฏ๐‘ฆ๐‘˜+๐ฟ[๐‘›]๐‘ฆโ‹ฎโ‹ฑโ‹ฎ๐‘˜โˆ’๐ฟ[]๐‘›โˆ’๐‘†โ‹ฏ๐‘ฆ๐‘˜+๐ฟ[]โŽคโŽฅโŽฅโŽฆ=๎€ฝ๐‘ฆ๐‘›โˆ’๐‘†๐‘˜,๐‘™๐‘ ๎€พ๐‘ =0,โ€ฆ,๐‘†๐‘™=โˆ’๐ฟ,โ€ฆ,๐ฟ,(5) with๐‘ฆ๐‘˜,๐‘™๐‘ โ‰œ๐‘ฆ๐‘˜+๐‘™[]๐‘›โˆ’๐‘ =๐‘‘๐‘˜+๐‘™[]โ„Ž๐‘›โˆ’๐‘ ๐‘˜+๐‘™[]๐‘›โˆ’๐‘ +๐‘ค๐‘˜+๐‘™[]๐‘›โˆ’๐‘ (6) is a matrix containing the (2๐ฟ+1)ร—(๐‘†+1) received samples in the frequency domain centered around the ๐‘˜th subcarrier of the current OFDM symbol and of the ๐‘† past OFDM symbols. Using (6), ๐ฒ๐‘˜ can be rewritten in a more convenient form:๐ฒ๐‘˜=๐šซ๐‘˜๐ก๐‘˜+๐ฐ๐‘˜,(7) where ฮ”๐‘˜โ‰œdiag(๐๐‘˜), with diag(โ‹…) denoting a diagonal matrix with entries (โ‹…) in the main diagonal, and๐๐‘˜๎€ท๐ƒ=vec๐‘˜๎€ธ,๐ƒ๐‘˜=๎€ฝ๐‘‘๐‘˜,๐‘™๐‘ ๎€พ,๐‘‘๐‘˜,๐‘™๐‘ =๐‘‘๐‘˜+๐‘™[],๐ก๐‘›โˆ’๐‘ ๐‘˜๎€ท๐‡=vec๐‘˜๎€ธ,๐‡๐‘˜=๎€ฝโ„Ž๐‘˜,๐‘™๐‘ ๎€พ,โ„Ž๐‘˜,๐‘™๐‘ =โ„Ž๐‘˜+๐‘™[],๐ฐ๐‘›โˆ’๐‘ ๐‘˜๎€ท๐–=vec๐‘˜๎€ธ,๐–๐‘˜=๎€ฝ๐‘ค๐‘˜,๐‘™๐‘ ๎€พ,๐‘ค๐‘˜,๐‘™๐‘ =๐‘ค๐‘˜+๐‘™[],๐‘›โˆ’๐‘ (8) with ๐‘™=โˆ’๐ฟ,โ€ฆ,๐ฟ, and ๐‘ =0,โ€ฆ,๐‘†.

Using the formulation (4), the optimization problem (3) translates into finding the vector ๐š๐‘˜ that satisfies๐œ•๐œ•๐š๐‘˜๐”ผ๎‚ป|||๎โ„Ž๐‘˜[๐‘›]โˆ’โ„Ž๐‘˜[๐‘›]|||2๎‚ผ๎€ฝ๐ฒ=2๐”ผ๐‘˜๐ฒ๐ป๐‘˜๎€พ๐š๐‘˜๎€ฝโ„Žโˆ’2๐”ผโˆ—๐‘˜[๐‘›]๐ฒ๐‘˜๎€พ=๐ŸŽ(2๐ฟ+1)โ‹…(๐‘†+1),(9) where ๐ŸŽ๐‘š denotes the ๐‘šร—1 all-zero vector. Hence,๐š๐‘˜=๎€บ๐”ผ๎€ฝ๐ฒ๐‘˜๐ฒ๐ป๐‘˜๎€พ๎€ปโˆ’1๎€ฝโ„Žโ‹…๐”ผโˆ—๐‘˜[๐‘›]๐ฒ๐‘˜๎€พ.(10) To implement the channel estimation (4) in an iterative fashion, we should investigate how to relate the soft information coming from the decoder with the filter coefficients ๐š๐‘˜ computed as in (10). Applying the definitions (7) and (8), we get๐”ผ๎€ฝ๐ฒ๐‘˜๐ฒ๐ป๐‘˜๎€พ=๐šซ๐‘˜โ‹…๐‘๐กโ‹…๐šซ๐ป๐‘˜+๐‘๐ฐ,(11) where ๐‘๐ฐ=๐”ผ{๐ฐ๐‘˜๐ฐ๐ป๐‘˜}=๐œŽ2๐‘ค๐ˆ is the correlation matrix of the AWGN noise, with I denoting the identity matrix, ๐‘๐ก=๐”ผ{๐ก๐‘˜๐ก๐ป๐‘˜} is the channel correlation matrix, and the matrix ฮ”๐‘˜=๐”ผ{ฮ”๐‘˜}=diag(๐๐‘˜) contains the expected values for the transmitted QAM symbols.

Considering the Fourier transform of the impulse response โ„Ž(๐‘ก) defined as in (1) and recalling the statistical independence between different paths, ๐‘๐ก can be expressed as๐‘๐ก=๎‚๐…๐ปโ‹…๐‘๐†โ‹…๎‚๐…,(12) where๎‚๐…=๐…โŠ—๐ˆ๐‘†+1(13) with ๐…โ‰œ[๐‘“๐‘–,๐‘™]๐‘–=0,โ€ฆ,๐‘๐‘โˆ’1๐‘™=โˆ’๐ฟ,โ€ฆ,๐ฟ, with elements ๐‘“๐‘–,๐‘™=๐‘’+๐‘—2๐œ‹๐‘™ฮ”๐‘“๐œ๐‘–, ๐ˆ๐‘†+1 is the (๐‘†+1)ร—(๐‘†+1) identity matrix and โŠ— denotes the Kronecker product, and๐‘๐†=๐‘๐†(๐‘“)โŠ—๐‘๐†(๐‘ก)(14) is the correlation matrix of the fading channel, where ๐‘๐†(๐‘“)=diag([๐œŽ20,โ€ฆ,๐œŽ2๐‘๐‘โˆ’1]), and ๐‘๐†(๐‘ก)=[๐‘…๐‘ข,๐‘ ]๐‘ข=0,โ€ฆ,๐‘†๐‘ =0,โ€ฆ,๐‘†, with elements ๐‘…๐‘ข,๐‘ =๐‘…๐œŒ((๐‘ขโˆ’๐‘ )๐‘‡๐‘ ).

Now comes the crucial part of our derivation. The expected symbol values ฮ”๐‘˜ are interpreted as a posteriori averages and can be computed in real-time using the soft output from the channel decoder. More in detail, ๐‘‘๐‘˜โˆ’๐‘™[๐‘›โˆ’๐‘ ]โ‰œ๐”ผ{๐‘‘๐‘˜โˆ’๐‘™[๐‘›โˆ’๐‘ ]} can be obtained exploiting the APP matrices computed by the NB-LDPC decoder on the (๐‘›โˆ’๐‘ )th OFDM symbol. Recalling that the decoder operates code block by code block, ฮ›=[๐€0,โ€ฆ,๐€๐‘โˆ’1], where ๐€๐‘š, ๐‘š=0,โ€ฆ,๐‘โˆ’1, is a vector containing the APP of each coded symbol ๐‘๐‘š[๐‘›โˆ’๐‘ ]โˆˆ๐œ[๐‘›โˆ’๐‘ ] for any possible symbol ๐‘๐‘”,๐‘”=0,โ€ฆ,๐‘žโˆ’1 in the GF(๐‘ž): ๐€๐‘š={๐œ†๐‘š,๐‘”}๐‘žโˆ’1๐‘”=0, with ๐œ†๐‘š,๐‘”=Pr{๐‘๐‘š[๐‘›โˆ’๐‘ ]=๐‘๐‘”โˆฃ๐ฒ[๐‘›โˆ’๐‘ ]}. In general, the QAM constellation order ๐‘€ is different from the Galois field order ๐‘ž. For the sake of brevity, let us assume here that ๐‘€=๐‘ž (our results can be extended to the case ๐‘€โ‰ ๐‘ž using the methods discussed in [17]). Under this hypothesis, after interleaving and multicarrier modulation, the mapped QAM symbol ๐‘‘๐‘˜โˆ’๐‘™[๐‘›โˆ’๐‘ ] has a one-to-one correspondence with the GF(๐‘ž) symbol ๐‘๐‘š[๐‘›โˆ’๐‘ ]. Using the output from the decoder, we can obtain a soft-mapped symbol๐‘‘๐‘˜โˆ’๐‘™[]=๐‘›โˆ’๐‘ ๐‘žโˆ’1๎“๐‘”=0๐œ†๐‘š,๐‘”๎€ท๐‘โ‹…๐œ‡๐‘”๎€ธ,(15) where ๐œ‡(โ‹…) is the bijective mapping that assigns an ๐‘€-QAM symbol to a GF(๐‘ž) coded symbol. In the case of a hard-decision approach, we can replace (15) with๐‘‘๐‘˜โˆ’๐‘™[]๎€ท๐‘›โˆ’๐‘ =๐œ‡ฬ‚๐‘ข๐‘š๎€ธ,(16) where ฬ‚๐‘ข๐‘š=๐‘๐‘”โˆ—(๐‘š), with ๐‘”โˆ—(๐‘š)=argmax๐‘”๐œ†๐‘š,๐‘”.

Using similar manipulations, we can obtain๐”ผ๎€ฝโ„Žโˆ—๐‘˜[๐‘›]๐ฒ๐‘˜๎€พ=๐šซ๐‘˜โ‹…๎‚๐…๐ปโ‹…๐‘๐†โ‹…ฬƒ๐Ÿ,(17) where ฬƒ๐Ÿ is the central column of the matrix ๎‚๐….

We now have all the ingredients to provide an estimate ฬ‚๐ก[๐‘›] of the channel coefficients according to (4) and (10). The estimation method starts from an initial estimate of the channel coefficients based on pilot subcarriers only. Using this initial estimate, the error-correction decoder decodes the received signal and produces soft information of the coded GF(๐‘ž) symbols. The iterative process between the channel estimator and the decoder then proceeds by exchanging soft information using a turbo approach. This process constitutes an outer iteration of the turbo architecture sketched in Figure 2, which aims at minimizing the mean-square error of the channel estimate at the expense of an increased complexity in terms of computational power at the receiver. The number of outer iterations (i.e., the number of iterative channel estimation, as opposed to the inner iterations performed by the EMS algorithm at the channel decoder) must be then optimized, as briefly discussed in Section 4.

To reduce the computational demand, we can exploit the properties of the correlation matrices to avoid the explicit real-time inversion of the matrix ๐”ผ{๐ฒ๐‘˜๐ฒ๐ป๐‘˜} as in (10). Since ๐”ผ{๐ฒ๐‘˜๐ฒ๐ป๐‘˜} is a block-Toeplitz matrix, we can use the Levinson-Durbin recursion [18] to significantly reduce the number of operations. To further simplify the computation of the Wiener filter coefficients, we can also apply the Woodbury formula [19] to (10) to get, using (11) and (17),๐š๐‘˜=๎‚ƒ๐šซ๐ป๐‘˜๎‚„โˆ’1โ‹…๎‚ธ๐‘๐ก+๐œŽ2๐‘ค๎‚€๐šซ๐ป๐‘˜๐šซ๐‘˜๎‚โˆ’1๎‚นโˆ’1โ‹…๎‚ƒ๐šซ๐‘˜๎‚„โˆ’1โ‹…๐šซ๐‘˜โ‹…๎‚๐…๐ปโ‹…๐‘๐†โ‹…ฬƒ๐Ÿ.(18) In the case of phase shift keying (PSK) (i.e., equal-energy constellations), in which ฮ”๐ป๐‘˜ฮ”๐‘˜=๐ˆ, (18) can be rewritten as๐š๐‘˜=๎‚ƒ๐šซ๐ป๐‘˜๎‚„โˆ’1โ‹…๐‹(19) with ๐‹โ‰œ[๐‘๐ก+๐‘๐ฐ]โˆ’1โ‹…๎‚๐…๐ปโ‹…๐‘๐†โ‹…ฬƒ๐Ÿ. Equation (19) shows two interesting properties: (i) it contains the vector ๐‹, which does not depend on the data, and can thus be computed offline once for ever before filtering starts; and (ii) the data-dependent matrix [ฮ”๐ป๐‘˜]โˆ’1 requires the inversion of a diagonal matrix, thus yielding a negligible impact in terms of computational load. In the case of unequal-energy (e.g., QAM) constellations, the equality in (19) does not hold anymore, and therefore (19) represents a suboptimal solution, whose impact in terms of performance loss with respect to (10) will be evaluated by means of numerical simulations.

As a final remark, it is worth emphasizing that the procedure described above to compute the Wiener filter coefficients (10), using the relations (11) and (17), is valid for any coded OFDM transmission over a doubly selective channel. When using a different FEC technique, the only modification in fact occurs in computing the data-dependent matrix ฮ”๐‘˜, whose elements ๐‘‘๐‘˜[๐‘›] (i.e., the expected values of the transmitted symbols) depend on the output of the channel decoder.

4. Simulation Results

The signal format used to evaluate the link-level performance of the iterative estimation is based on the IEEE 802.16e time division duplex (TDD) downlink frame [20]. The relevant system parameters are number of subcarriers ๐‘๐‘ =1024, with 720 subcarriers allocated to information symbols and 120 used as pilots, sampling frequency ๐‘“๐‘ =11.2โ€‰MHz, subcarrier spacing ฮ”๐‘“=๐‘“๐‘ /๐‘๐‘ โ‰ƒ10โ€‰kHz, OFDM symbol duration ๐‘‡๐‘ =1/ฮ”๐‘“โ‰ƒ100โ€‰ฮผs, and carrier frequency ๐‘“0=3.5โ€‰GHz. The Galois field order is ๐‘ž=64, and the used parity check matrices are those derived in the FP7-DAVINCI project โ€œDesign and Versatile Implementation of Nonbinary Wireless Communications Based on Innovative LDPC Codesโ€ [21]. The encoding scheme adopts a codeword length ๐‘=360 and a coding rate 1/2. The I/Q modulation considers an ๐‘€=64QAM constellation using standard Gray mapping. The 24-tap ITU modified veh.-A channel profile [22] is considered to model the frequency selectivity, and the Clarke model ๐‘…๐œŒ๐‘–(๐œ)=๐œŽ2๐‘–โ‹…๐ฝ0(2๐œ‹๐‘“๐ท๐œ) is used for the time selectivity, where ๐ฝ0(โ‹…) is the zero-order Bessel function of the first kind. A zero-forcing (ZF) strategy is adopted at the equalizer.

Figure 3 shows the experimental WER as a function of the signal-to-noise ratio (SNR) in terms of energy per symbol ๐ธ๐‘† and noise power spectral density (PSD) ๐‘0. The relative speed between the transmitter and the receiver is assumed to be ๐‘ฃ=120โ€‰km/h, which yields ๐‘“๐ทโ‰ƒ388โ€‰Hz. The solid line reports the performance of perfect channel state information (CSI), whereas the dashed line represents a fictitious situation in which all the transmitted symbols are known to the receiver (all-pilot case) and are used to perform channel estimation. Wiener filtering in the time domain considering three subsequent OFDM symbols is used to smooth the effects of the noise. Since the only errors affecting the channel estimate are due to the AWGN, this represents some sort of experimental lower bound to the WER performance. The dash-dotted line is obtained using a least-squares pilot-aided method, to serve as an experimental upper bound for the WER performance. Dark and light lines report the results of the proposed solution when soft information and hard decisions are used, respectively. A Wiener filter with ๐ฟ=2 and ๐‘†=2 is employed. Four different configurations are reported: 3 ร— 10 (upper triangles), 3 ร— 30 (lower triangles), 6 ร— 30 (circles), and 10 ร— 30 (square markers), where the first and the second parameter are the number of outer and inner iterations, respectively. As expected, increasing the number of outer and/or inner iterations yields better performance at the expense of an increased computational complexity. Note that in all configurations, the proposed algorithm allows us to reduce the gap with the all-pilot case with respect to the pilot-aided case: in the soft-based scenario, the gap reduces from 1.2โ€‰dB to 0.4โ€‰dB on average, whereas it becomes about 0.5โ€‰dB in the hard-based case. Interestingly, the performance of hard-directed estimation is quite similar to the soft-based one. We can thus adopt the hard-based approach to reduce the complexity at the expense of an acceptable performance degradation. Note also that a number >6 of outer iterations does not produce substantial WER improvement.

Figure 4 reports the WER performance of the channel estimator when no history is considered (๐‘†=0) and when three OFDM symbols are considered to improve the estimation accuracy (๐‘†=2). As can be easily argued, the impact of the filter memory S heavily depends on the coherence time of the considered channel. To this aim, we consider a lower relative speed ๐‘ฃ=10โ€‰km/h, which implies a higher coherence time (๐‘“๐ทโ‰ƒ32.4โ€‰Hz). Dark and light lines depict the cases ๐‘†=2 and ๐‘†=0, respectively, when soft information is used. Averaging over three (๐‘†=2) channel realizations allows us to reduce the effects of AWGN (the gain is around 0.4โ€‰dB). The impact of the channel coherence time is also confirmed by better performance with respect to the ๐‘ฃ=120โ€‰km/h case: when 6 outer iterations are employed, the difference between all-pilot and turbo-aided configurations reduces from 0.4 to 0.1โ€‰dB when ๐‘†=2, whereas it is substantially unchanged when ๐‘†=0. Note also that when ๐‘ฃ=120โ€‰km/h, using ๐‘†=0 and ๐‘†=2 yields almost the same performance due to shorter channel coherence time (the case ๐‘†=0 is not reported in Figure 3 for the sake of presentation).

In Figure 5, we evaluate the impact of a priori knowledge of the channel statistics on the system performance. As emerged from Section 3, (12) requires prerequisite information, such as correlation in time and frequency domain. To this aim, we simulate a scenario in which the channel taps are computed using the 24-tap ITU veh.-A channel model, whereas the 6-tap ITU veh.-A channel model [22] is assumed at the receiver. In this case, the mismatch is mild, since the coherence time is assumed to be known based on the correct Doppler shift, and the coherence bandwidth is similar. However, the average PDP and the number of paths are modified. Figure 5 considers ๐‘ฃ=10โ€‰km/h and a soft-based Wiener filter with ๐ฟ=2 and ๐‘†=1. In this case, we notice a performance loss of about 0.15โ€‰dB and 0.3โ€‰dB in the cases 6 ร— 30 and 3 ร— 30, respectively.

Finally, to measure the performance loss of the suboptimal solution (19), Figure 6 compares the WER performance as a function of the SNR. The solution (10), exploiting the joint time-frequency correlation, is shown with circular markers, whereas the suboptimal method (19) is depicted with triangular markers. Both soft-based (dark lines) and hard-directed (light lines) approaches are reported, adopting a Wiener filter with parameters ๐ฟ=2 and ๐‘†=1, and assuming ๐‘ฃ=10โ€‰km/h. For the sake of presentation, we report here only the case with 6 ร— 30 iterations. As can be seen, the loss of the proposed suboptimal solution with respect to the optimal derivation is roughly 0.5โ€‰dB. However, it is worth noting that even in the case of the hard-decision approach, the suboptimal iterative solution performs better than the pilot-aided solution, at the expense of a mild increase in the receiver complexity.

5. Conclusion and Perspectives

This paper derived an iterative channel estimation method suitable for OFDM systems with nonbinary LDPC encoding. The proposed approach exploits the channel decoder information, at both soft and hard level to derive a joint time-frequency Wiener filter that minimizes the mean square error of the channel estimate. The novelty of this approach lies in (i) showing how to include the a posteriori soft information of any FEC channel decoder in the estimator without resorting to some heuristic formulation and (ii) pairing the turbo estimator with nonbinary LDPC codes, exploiting the properties of ๐‘ž-ary Galois fields and ๐‘€-QAM constellations.

The benefits of this method have been evaluated using numerical simulations, in which the word error rate (WER) performance as a function of the signal-to-noise ratio (SNR) has been compared to the case of perfect channel knowledge and pilot-aided techniques. Simulation results have shown a significant improvement with respect to the pilot-aided scenario, at the expense of an increased complexity at the receiver. The improvement of turbo techniques versus pilot-aided estimator can be quantified to be about 0.5รท1โ€‰dB in terms of SNR. This is especially true for large constellations and with low mobility. In addition, we also noticed that the performance degradation due to channel mismatch and/or hard-detected information and/or suboptimal filtering are per se almost negligible when considered individually. The cumulative effect of the three, on the contrary, may degrade the overall performance by a nonnegligible amount.

As a final remark, we observe that the techniques investigated in this paper, evaluated for the downlink of an IEEE 802.16e link, are applicable to the uplink as well. The issue of the additional complexity of turbo techniques is not so stringent for the uplink (since the algorithm would be implemented in the base station) even with today's technology, whilst at the moment the implementation impact for a mobile station must be evaluated versus the potential benefit.

Acknowledgment

This work is supported by INFSCO-ICT-216203 DAVINCI โ€œDesign And Versatile Implementation of Nonbinary wireless Communications based on Innovative LDPC codesโ€ (http://www.ict-davinci-codes.eu/) funded by the European Commission under the Seventh Framework Programme (FP7).