12
94 IEEE TRANSACTIONS ON COMMUNICATIONS, VOL. 51, NO. 1, JANUARY 2003 Performance Analysis for Adaptive Channel Estimation Exploiting Cyclic Prefix in Multicarrier Modulation Systems Xiaowen Wang, Member, IEEE, and K. J. Ray Liu, Fellow, IEEE Abstract—Multicarrier modulation (MCM) has gained growing interest in high-data-rate communications in both wire and wireless environments. The channel estimation is a crucial aspect in MCM systems. In this paper, we first present a novel adaptive channel estimation algorithm exploiting the channel information contained in the cyclic prefix of the MCM system. In simulation, we show that this algorithm outperforms the existing scheme. Then we theoretically analyze the performance of the adaptive algorithm considering both channel noise and decision error. We prove that the algorithm is guaranteed to converge with proper loading. Computer simulation shows that our analytical results are quite close to the simulation. Index Terms—Channel estimation, cyclic prefix, multicarrier modulation (MCM), performance analysis. I. INTRODUCTION M ULTICARRIER modulation (MCM) is now considered an effective technique for both wire and wireless com- munications [1]. MCM partitions the entire bandwidth into sev- eral parallel subchannels by dividing the transmit data into sev- eral parallel low-bit-rate data streams to modulate the carriers corresponding to those subchannels. It is a scheme compatible to the famous water-filling theorem [3] and provides an op- timal way for channel capacity usage by adjusting the bit rate and transmit power according to the conditions of subchannels. MCM is also a block-oriented modulation scheme, which re- sults in a relative longer symbol duration and produces greater immunity to impulse noise and intersymbol interference (ISI). Because of these advantages, MCM is considered a promising technique in digital subscriber line (xDSL), digital video/audio broadcasting, and wireless communications [1], [4]. The channel information plays an important role in the im- plementation of MCM systems. It is essential to bit and power allocations and signal detections. Without perfect knowledge of channel parameters, the MCM system either cannot work or may incur significant performance loss. Some techniques, such as differential phase-shift keying (PSK) modulation, can be used to eliminate the need for channel information. However, Paper approved by H. Liu, the Editor for Synchronization and Equalization of the IEEE Communications Society. Manuscript received January 10, 2000; revised January 16, 2002. This paper was presented in part at Globecom, San Francisco, CA, November 2000. X. Wang is with Agere Systems, Allentown, PA 18109 USA. K. J. R. Liu is with the Electrical Engineering Department and Institute for Systems Research, University of Maryland, College Park, MD 20742 USA. Digital Object Identifier 10.1109/TCOMM.2002.807610 it causes 3-4-dB signal-to-noise ratio (SNR) loss compared with coherent demodulation if channel information is known. In applications such as xDSL, some training processes are performed to estimate the channel before the communication is set up. Then, this channel estimate is used throughout the entire communication [3]. If the channel changes, retraining is required to track the variation. In wireless applications, the channel variation is assumed continuous, then pilot symbols are used to catch the channel variation [8]. However, in order to es- timate the channel more efficiently, people are trying to estimate the channel information directly from the transmitted data. We propose an adaptive channel estimation algorithm by ex- ploiting the cyclic prefix in the MCM system [9], [10]. The cyclic prefix used in MCM systems is originally designed to reduce ISI. However, it is nothing but a repeated part of the transmit data which can be used for channel estimation. Based on this observation, we propose a block recursive least-square (RLS) algorithm to estimate the channel, adaptively exploiting the information in cyclic prefix. The algorithm uses decision di- rected samples, and hence, no extra training is needed. The sim- ulation shows that by using the proposed adaptive algorithm, the MCM system performs more robustly than the existing system with adaptive equalization [3]. In this paper, we will present the adaptive channel estimation algorithm and analyze the perfor- mance of it theoretically. A lot of research has been done on the performance analysis of the decision-directed estimation and equalization schemes [11], [13]–[19], [21]. In [21], the system identification problem with noisy input is visited. In [17]–[19], the error propagation through the fixed decision feedback equalizer is analyzed. However, in our algorithm, the linear equalizer is used and adapted using the decision-directed samples. Blind equal- ization that does not need extra training is studied for linear equalizer adaptation in [11], [13]–[15], and for decision feed- back equalizer adaptation in [16]. In such blind schemes, the channel inverse is estimated from the channel output and the decision-directed samples are used as the desired output of the channel inverse filter. The understanding of these algorithms is that due to the nonlinearity of the decision-directed scheme, the cost function usually has more than one local minima, and some kinds of smart initialization schemes must be used to force the system to converge to the global minimum. The goal of the proposed adaptive estimation algorithm is to estimate the channel itself, not the channel inverse. The deci- sion-directed samples are treated as the filter input data, while 0090-6778/03$17.00 © 2003 IEEE

Performance analysis for adaptive channel estimation ...sig.umd.edu/publications/wang_cyclic_200301.pdfthrough the fixed decision feedback equalizer is analyzed. However, in our algorithm,

  • Upload
    others

  • View
    2

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Performance analysis for adaptive channel estimation ...sig.umd.edu/publications/wang_cyclic_200301.pdfthrough the fixed decision feedback equalizer is analyzed. However, in our algorithm,

94 IEEE TRANSACTIONS ON COMMUNICATIONS, VOL. 51, NO. 1, JANUARY 2003

Performance Analysis for Adaptive ChannelEstimation Exploiting Cyclic Prefix in

Multicarrier Modulation SystemsXiaowen Wang, Member, IEEE,and K. J. Ray Liu, Fellow, IEEE

Abstract—Multicarrier modulation (MCM) has gained growinginterest in high-data-rate communications in both wire andwireless environments. The channel estimation is a crucial aspectin MCM systems. In this paper, we first present a novel adaptivechannel estimation algorithm exploiting the channel informationcontained in the cyclic prefix of the MCM system. In simulation,we show that this algorithm outperforms the existing scheme.Then we theoretically analyze the performance of the adaptivealgorithm considering both channel noise and decision error. Weprove that the algorithm is guaranteed to converge with properloading. Computer simulation shows that our analytical resultsare quite close to the simulation.

Index Terms—Channel estimation, cyclic prefix, multicarriermodulation (MCM), performance analysis.

I. INTRODUCTION

M ULTICARRIER modulation (MCM) is now consideredan effective technique for both wire and wireless com-

munications [1]. MCM partitions the entire bandwidth into sev-eral parallel subchannels by dividing the transmit data into sev-eral parallel low-bit-rate data streams to modulate the carrierscorresponding to those subchannels. It is a scheme compatibleto the famous water-filling theorem [3] and provides an op-timal way for channel capacity usage by adjusting the bit rateand transmit power according to the conditions of subchannels.MCM is also a block-oriented modulation scheme, which re-sults in a relative longer symbol duration and produces greaterimmunity to impulse noise and intersymbol interference (ISI).Because of these advantages, MCM is considered a promisingtechnique in digital subscriber line (xDSL), digital video/audiobroadcasting, and wireless communications [1], [4].

The channel information plays an important role in the im-plementation of MCM systems. It is essential to bit and powerallocations and signal detections. Without perfect knowledgeof channel parameters, the MCM system either cannot workor may incur significant performance loss. Some techniques,such as differential phase-shift keying (PSK) modulation, canbe used to eliminate the need for channel information. However,

Paper approved by H. Liu, the Editor for Synchronization and Equalizationof the IEEE Communications Society. Manuscript received January 10, 2000;revised January 16, 2002. This paper was presented in part at Globecom,San Francisco, CA, November 2000.

X. Wang is with Agere Systems, Allentown, PA 18109 USA.K. J. R. Liu is with the Electrical Engineering Department and Institute for

Systems Research, University of Maryland, College Park, MD 20742 USA.Digital Object Identifier 10.1109/TCOMM.2002.807610

it causes 3-4-dB signal-to-noise ratio (SNR) loss compared withcoherent demodulation if channel information is known.

In applications such as xDSL, some training processes areperformed to estimate the channel before the communicationis set up. Then, this channel estimate is used throughout theentire communication [3]. If the channel changes, retrainingis required to track the variation. In wireless applications, thechannel variation is assumed continuous, then pilot symbols areused to catch the channel variation [8]. However, in order to es-timate the channel more efficiently, people are trying to estimatethe channel information directly from the transmitted data.

We propose an adaptive channel estimation algorithm by ex-ploiting the cyclic prefix in the MCM system [9], [10]. Thecyclic prefix used in MCM systems is originally designed toreduce ISI. However, it is nothing but a repeated part of thetransmit data which can be used for channel estimation. Basedon this observation, we propose a block recursive least-square(RLS) algorithm to estimate the channel, adaptively exploitingthe information in cyclic prefix. The algorithm uses decision di-rected samples, and hence, no extra training is needed. The sim-ulation shows that by using the proposed adaptive algorithm, theMCM system performs more robustly than the existing systemwith adaptive equalization [3]. In this paper, we will present theadaptive channel estimation algorithm and analyze the perfor-mance of it theoretically.

A lot of research has been done on the performance analysisof the decision-directed estimation and equalization schemes[11], [13]–[19], [21]. In [21], the system identification problemwith noisy input is visited. In [17]–[19], the error propagationthrough the fixed decision feedback equalizer is analyzed.However, in our algorithm, the linear equalizer is used andadapted using the decision-directed samples. Blind equal-ization that does not need extra training is studied for linearequalizer adaptation in [11], [13]–[15], and for decision feed-back equalizer adaptation in [16]. In such blind schemes, thechannel inverse is estimated from the channel output and thedecision-directed samples are used as the desired output of thechannel inverse filter. The understanding of these algorithmsis that due to the nonlinearity of the decision-directed scheme,the cost function usually has more than one local minima, andsome kinds of smart initialization schemes must be used toforce the system to converge to the global minimum.

The goal of the proposed adaptive estimation algorithm is toestimate the channel itself, not the channel inverse. The deci-sion-directed samples are treated as the filter input data, while

0090-6778/03$17.00 © 2003 IEEE

Page 2: Performance analysis for adaptive channel estimation ...sig.umd.edu/publications/wang_cyclic_200301.pdfthrough the fixed decision feedback equalizer is analyzed. However, in our algorithm,

WANG AND LIU: PERFORMANCE ANALYSIS FOR ADAPTIVE CHANNEL ESTIMATION 95

Fig. 1. MCM system with cyclic prefix and adaptive channel estimation.

the channel output is treated as the desired filter output. The de-cision error in the blind equalization algorithms only appears inthe cross-correlation vector of the Wiener–Hopf equation, whilein our adaptive estimation algorithm, it appears in both data cor-relation matrix and cross-correlation vector. In this paper, weare trying to consider both the effect of channel noise and deci-sion error. The problem becomes complicated because the de-cision error and the channel estimation error affect each otherthrough a closed feedback loop constituted by the signal detec-tion, channel estimation, and equalization. We try to separatethe analysis into two parts. First, we analyze the impact of deci-sion error on the channel estimation. Then, we study the impactof estimation error on the signal detection and try to derive thesymbol error rate (SER) based on this analysis. Finally, a recur-sive mapping of SER is constructed using the results of the thesetwo parts. The convergence of this recursive mapping is consid-ered to draw our final conclusions.

The rest of the paper is organized in the following way. First,we will present the MCM system and the adaptive channel esti-mation algorithm. Then we will do a performance analysis fol-lowing the outline given above. Because some approximation isapplied in the analysis, we will give the computer simulation ex-amples to verify the validity of the theoretical analysis. Finally,we present our conclusions.

II. MCM SYSTEM AND ADAPTIVE CHANNEL

ESTIMATION ALGORITHM

In this section, we will first present our adaptive channel esti-mation scheme using cyclic prefix and then compare it with theexisting adaptive equalization scheme in [3]. We will show insimulation that the proposed scheme outperforms the existingscheme.

A. MCM System Using Cyclic Prefix

Fig. 1 shows a MCM system using cyclic prefix with adaptivechannel estimation. The system has complex parallel sub-channels. The input data can first be coded and interleaved andthen are buffered to blocks. Each block of data is then dividedinto bit streams and mapped to some complex constellationpoints, , at block . The modulationis implemented by -point inverse discrete Fourier transform

(IDFT) on where the lastsamples are just the conjugates of the first samples, andtherefore, the modulated time domain signal is real, which is

(1)

The transmitted energy and bit rate for dif-ferent subchannels can be allocated according to the channelcondition.

A cyclic prefix is constructedby , and transmitted before .At the receiver, the prefix partis discarded. The demodulation is performed only on

by the DFT operation. Thedemodulated data is with

(2)

The channel is usually modeled as a finite impulse response(FIR) filter with real taps. The impulse response of thechannel is . The channel noise ,

is assumed to be independentidentically distributed (i.i.d.) real Gaussian distribution withzero mean and variance . Then the relationship between thechannel input and output can be expressed as

.

(3)

From (3), we can see that there is no interference from theprevious blocks in the received signal. It shows that the cyclicprefix reduces the ISI between ’s and hence, the subchannelscan be viewed as independent with each other, i.e.,

(4)

where andis the noise of the

th subchannel, which is also with zero mean and varianceand independent with that of other subchannels.

For the independent subchannel of (4), only a one-tap equal-izer is needed to get the estimation of from , i.e.,

(5)

where

(6)

Then the decision is made upon , resulting in, where is some type of quantization function. Then

the decoding and deinterleaving are done based on, if anyof coding and interleaving are used.

Page 3: Performance analysis for adaptive channel estimation ...sig.umd.edu/publications/wang_cyclic_200301.pdfthrough the fixed decision feedback equalizer is analyzed. However, in our algorithm,

96 IEEE TRANSACTIONS ON COMMUNICATIONS, VOL. 51, NO. 1, JANUARY 2003

B. Adaptive Channel Estimation Algorithm

In the MCM system, usually the received cyclic prefixpart is discarded. However, it is found that if all theprefix parts concatenate together as a pair of sequences

and, the

relationship between these two satisfies [9]

(7)

Based on this equation, a block RLS algorithm can be adoptedto adaptively estimate the channel by directly solving (7).

First, the estimated transmitted cyclic prefix is obtained byperforming IDFT on the decision-directed sample

(8)

The estimated transmitted cyclic prefix can also be constructedfrom the decoding data. However, in this paper, we only use thedecision-directed ones.

Then the estimated correlation matrix and the cross-correlation vector are formed as

(9)

(10)

where is theestimated data vector. and are forgetting factors acrossblocks and within blocks, respectively. These two factors shouldbe both equal to or less than one.

The channel estimation then is obtained as

(11)

where .Here we also would like to define the ideal data correlation

matrix and the cross-correlation vector with perfect knowledgeof the transmitted data for the future discussion. The ideal datacorrelation matrix is

(12)

and the ideal cross-correlation vector is

(13)

where is theideal data vector.

Clearly, the above algorithm is a decision-directed scheme.In order to start the algorithm, we need to do some initializa-tion. At initialization, we send an initial training to get the ini-tial channel response . Using a quadrature amplitude mod-ulation (QAM) constellation for all subchannels, the loading

is done according to ’s with the following requirement onSER:

Q

(14)where is the initial SER and is the minimum dis-tance between the constellation points of theth subchannel,respectively. is some preset required value of SER to con-trol the decision error. The Q-function is defined as Q

. Then

Q (15)

This optimization problem is subjected to the energy con-straint, i.e.,

E (16)

where is the set of all the used subchannels.For QAM constellation

(17)

with as the number of constellation points used in thethsubchannels.

As the loading is done, the data are transmitted according tothe bit and energy allocated to each subchannel. The receiverthen performs the following adaptive channel estimationalgorithm.

Input: and .Known parameters: and .Selecting parameters: and .Initialization: , an initial training

process is used to initialize and.

Computation:

1) , .2) , .3) ,

.4) ,

.5) .

Here steps 4 and 5 can be replaced by existing fast RLSalgorithms [20].

C. Comparison With Existing Adaptive Equalization Scheme

In the MCM system, the subchannels are considered indepen-dent. An adaptive equalization scheme for single-channel sys-tems then can be applied for each subchannel. As described in[3], such an adaptive equalization scheme is shown in Fig. 2.The equalizer coefficient is updated by

(18)

Page 4: Performance analysis for adaptive channel estimation ...sig.umd.edu/publications/wang_cyclic_200301.pdfthrough the fixed decision feedback equalizer is analyzed. However, in our algorithm,

WANG AND LIU: PERFORMANCE ANALYSIS FOR ADAPTIVE CHANNEL ESTIMATION 97

Fig. 2. Adaptive equalization scheme.

Fig. 3. SER iteration compared with existing adaptive equalization (v = 64,� = 0:01, P (0) = 10 , � = 0:01,� = 0:7, and� = 1).

In [11] and [13], the convergence of such an adaptive schemeis proved under the condition that the channel noise is smalland no decision error exists. However, in Fig. 3, our simulationshows that such a system fails to follow the channel variationwhile our adaptive channel estimation works.

The MCM system used in the simulation has 256complex subchannels. The average transmit energyis one. Initially, the channel transfer function used is

and the initialloading is done according to it. At the 20th block, the channelis changed to .The figure shows the averaged SER, which is defined as

(19)

where is the SER of theth subchannel of theth block.The step size used in (18) is while the forgetting fac-tors used in the proposed adaptive channel estimation algorithmare and . It is clear that the proposed adaptivechannel estimation algorithm can follow such a channel varia-tion, whereas the existing scheme fails to do so.

In the figure, we also show the result of the proposed adap-tive algorithm using the data part together with the cyclicprefix to form the estimated correlation matrix andcross-correlation vector . It is shown in the figure that thealgorithm converges much slower than the one that only uses

the cyclic prefix. In the following sections, we will discuss theperformance analysis problem of the proposed adaptive channelestimation algorithm and try to explain the results.

III. PERFORMANCEANALYSIS WITH EXISTENCE OF

DECISION ERROR

From this section, we begin the analysis of the proposedchannel estimation algorithm. First, we study the impact ofdecision error on the channel estimation. As described inSection II-B, the decision-directed samples are used as theestimated transmitted cyclic prefix part. If we can get theperfect samples of the cyclic prefix, then we know from theliterature [20] that the algorithm will converge to an unbiasedestimation linearly, and the convergence rate is determined bythe eigenvalue spread of the data correlation matrix. However,the detected signals are used as the estimation of the transmittedcyclic prefix and the decision error would affect the channelestimation, which is studied next. The channel estimation withboth noise and decision error is analyzed in this section. Bothforgetting factors and are one in the following analysis.

A. Definitions and Assumptions

The adaptive channel estimation algorithm includes two pro-cesses. One is the signal detection process, in which the esti-mated data samples are obtained. The other is the channel es-timation process, in which the channel is estimated using theestimated data. To analyze the impacts between the two pro-cesses, we need to define the decision error and estimation errorfirst. The signal detection in MCM is done in the frequency do-main, while the channel estimation is done in the time domain.Hence, the decision error and the estimation error are defined inboth time and frequency domains.

First, define frequency-domain decision error as

(20)

where ’s are independent with differentand . The energy

of , E , is bounded byfor QAM constellation.

The time-domain decision error is given by

(21)

Then, the estimated data vector can be written as

(22)

where .The time-domain estimation error

is given by

(23)

The frequency-domain estimation error is defined as

(24)

Page 5: Performance analysis for adaptive channel estimation ...sig.umd.edu/publications/wang_cyclic_200301.pdfthrough the fixed decision feedback equalizer is analyzed. However, in our algorithm,

98 IEEE TRANSACTIONS ON COMMUNICATIONS, VOL. 51, NO. 1, JANUARY 2003

The energy of the frequency-domain estimation error is

E (25)

In order to make the analysis problem tractable, we have tomake the following three assumptions.

Assumption 1 (Independence Assumption):The cyclic prefix, channel noise , and the decision error are indepen-

dent of each other for .Assumption 2 (Near-Stationary Assumption):As the system

is near the equilibrium, we made the following assumptionsabout the decision error.

E (26)

and assume does not change much with, so that

E (27)

Assumption 3 (Gaussian Distribution Assumption):DefineE . We assume that the input data vector

is generated from the ( )-dimensional Gaussian distri-bution independently. We also assume that the time-domain decision error is also Gaussian distributed. It isproved in [20, App. J] that

E (28)

E (29)

We have the following remarks about the above assumptions.1) Ignoring the difference of decision error of different con-

stellation points, the decision error ’s are independent ofinput data ’s and only depend on the noise ’s inside thedata block part, i.e., . ’s are independentof noise samples ’s in the cyclic prefix part. However, if wealso use the data part to do the channel estimation, the decisionerror is correlated with the noise samples inside the data part,which not only makes the analysis in the following section dif-ficult, but also contributes to the slow convergence in Fig. 3.

2) The Gaussian distribution assumption is generally not true.The correlation of the time-domain data is

E

Only when the transmitted data in all the subchannels havesame energy, is not dependent on, and according to thecentral limit theorem, can be approximated by theGaussian distribution. However, if we do the loading, thetime-domain data becomes correlated. For example, for thechannel used in Section II-C, the transmitted energy is focusedin the first 100 subchannels. In this case, the correlation of thetime-domain data is very large. If we use the data part to formthe estimated correlation matrix , the matrix could bevery ill-conditioned because the difference between ’s fordifferent ’s is very small. On the other hand, the data vector

formed by the cyclic prefix part contains the data samples fromtwo consecutive blocks that are independent of each other. Forthis reason, the estimated correlation matrix formed bythe cyclic prefix part is better conditioned than the one formedby the data part. This is the other reason that contributes to theresult of Fig. 3.

B. Convergence Analysis With Decision Error

Now we will try to analyze the convergence of the estimationalgorithm. To do that, we need some approximations on the es-timation error. Substituting (22) into (9) results in

(30)

with

(31)

Then,

(32)

with

(33)

Thus, the estimation error can be written as

(34)

Because still has values in the same constellation as thatof , is generally full rank if both and are gen-erated randomly. Then the above estimation error is bounded,since the decision error is always bounded. Therefore, even ifthe system cannot converge to the desired point, it would bebounded inside a certain region. Now we are going to showthat if the decision error is small enough, the estimation erroris going to converge to some steady point.

Suppose has very small eigenvalues whichare all much less than one, then

(35)

Then, we have the following approximation for the estimationerror:

(36)

Then, we have the following statement about the dynamic be-havior of the channel estimation.

Theorem 1: The mean value of the estimation error satisfies

E (37)

E (38)

Page 6: Performance analysis for adaptive channel estimation ...sig.umd.edu/publications/wang_cyclic_200301.pdfthrough the fixed decision feedback equalizer is analyzed. However, in our algorithm,

WANG AND LIU: PERFORMANCE ANALYSIS FOR ADAPTIVE CHANNEL ESTIMATION 99

The mean squared channel estimation error E con-verges linearly to a nonzero steady point as , i.e,

E (39)

Define the estimation error correlation matrix as

E (40)

Then, the theorem can be proved by calculating

E

The detail of the proof is shown in Appendix I.The constant in (39) is just the square of (38). The theorem

states that the adaptive algorithm will converges to this sta-tionary bias linearly as .

When the decision error is small enough to be ignored, themean squared estimation error can be approximated as1

(41)

where ’s are the eigenvalues of .From the literature about the convergence of the RLS algo-

rithm [20], we know that the convergence of the estimation al-gorithm is determined in proportion to the inverse of the smallesteigenvalue of the data correlation matrix. (41) shows this also isthe case when decision error exists. Ill-conditioned data inputmay lead to a slower convergence rate.

IV. PERFORMANCEANALYSIS WITH EXISTENCE OF

ESTIMATION ERROR

In this section, we analyze how the estimation error affectsthe residual noise at decision point which determines the SERand hence, the decision error.

We define the residual noise at the decision point as

(42)

From Section II-A, is the output of the equalizer. In prac-tical systems, the equalizer is obtained from the channel estima-tion. The equalizer now is

(43)

Then, the residual noise is

(44)

Due to the loading algorithm, we can assume ’s foris large enough for the following approximation:

(45)

1In this case, the dominate term in (67) isK (k) andK (k).

Using the results of the previous section, can be viewedas the linear combination of and . Then, we can saythat is Guassian distributed based on the Gaussian dis-tribution assumption of and .

Theorem 2: Under the independence assumption andignoring higher order error terms such as E and

E , the channel estimation error propagatesto the decision point as an additional Gaussian noise termconditioning on the knowledge of the transmitted signal. Theconditioned probability of the residual noise at theth subchannel then follows , where

(46)

(47)

Using the distribution of the residual noise conditionedon the transmitted signal , we can calculate the symbol errorprobability when transmitted signal is . The SER then is ob-tained by taking expectation over the signal constellations.

V. RECURSIVEMAPPING OFSER

In this section, we are going to study the SER at the decisionpoint before decoding. The decision error can be calculated oncethe SER is known. Then the decision error propagates to thechannel estimation, and the estimation error affects the residualnoise, which determines SER.

Suppose the SER ’s are known. Assume the detectiononly mistakes the detected signal to the neighbor of the trans-mitted signal. Then, the decision error as

(48)

As stated in the last section, the residual noise at the decisionpoint is a Gaussian noise with mean of and variance

. Then the SER can be calculated as2

E

E

(49)

where is the symbol error probability of when istransmitted. is the constellation of theth subchannel.

A. Transient Analysis

In this section, we study the case when the adaptive al-gorithm just started and the estimation error is relativelylarge. In this case, we can see from (49) that if the biasof channel estimation is so large that or

is much larger compared to , the SER is

2Refer to Appendix III for detail derivation.

Page 7: Performance analysis for adaptive channel estimation ...sig.umd.edu/publications/wang_cyclic_200301.pdfthrough the fixed decision feedback equalizer is analyzed. However, in our algorithm,

100 IEEE TRANSACTIONS ON COMMUNICATIONS, VOL. 51, NO. 1, JANUARY 2003

dominated by or. In this case, the SER

is bounded by

E

Using the results ofTheorem 1, we have

(50)

(51)

where .As stated in Section III-B, the estimation error is bounded.

Then, we define . The SER boundbecomes

(52)

Define , then

E

(53)

We now form a recursive mapping, . The condition forthis recursive mapping to converge is that , i.e.,

E (54)

where.

As the adaptive algorithm begins, the offset causedby the estimation error dominates the SER. In this case, (54)is the sufficient condition to make the algorithm converge to anequilibrium. If this condition is satisfied and the SER is boundedto a small range that can be ignored, we can furtheranalyze the convergence property of the system.

B. Local Convergence

In this section, we will assume that the system is near theequilibrium, and the SER is small enough to ignore the offsetcaused by . Then the SER can be approximated by

E Q (55)

Since the decision error is small, approximate the estimationerror as

(56)

For the frequency domain estimation error, we have

Hence, the frequency domain estimation error can be approxi-mated as

(57)

The SER then can be derived as

(58)

Define a weighted average SER as

(59)

The iteration of is

(60)

The condition for this iteration to converge isIt is easy to calculate this derivative, and the condi-

tion becomes

E (61)

with

(62)

Page 8: Performance analysis for adaptive channel estimation ...sig.umd.edu/publications/wang_cyclic_200301.pdfthrough the fixed decision feedback equalizer is analyzed. However, in our algorithm,

WANG AND LIU: PERFORMANCE ANALYSIS FOR ADAPTIVE CHANNEL ESTIMATION 101

Now let us consider the function . It is easy to findout that this function has one maxima at . Then isbounded by

E

(63)

The boundness of implies that

(64)

This means that the adaptive channel estimation algorithm willconverge as the iteration goes on.

C. Discussions

In this section, we will discuss some factors that affect theconvergence.

First of all, in both (54) and (61), plays an im-portant role. It is required that be small in order toget a faster convergence. If is a diagonal matrix, then

where is the eigenvalue of . This again indicates the con-clusion we have stated in Section III already that the input dataneed to be well-conditioned to guarantee a fast convergence ofthe system. Because the loading algorithm used in this paper al-ways tries to load the data compatible to the channel spectrum,the time-domain data becomes correlated, which may lead to alarge condition number of the data correlation matrix, especiallyin the case where the whole block of the data is fed back. Suchan ill-conditioned correlation matrix significantly slows downthe convergence of the algorithm.

It is also noticed that there is no noise variance term in (63).However, it does not mean the noise does not affect the SER it-eration. It has its impact through the loading, since the differentnoise level results in different constellations. Then the expec-tation in (63) is taken over different constellations. This maycause different results. Moreover, if we fix the transmit energyand the SER requirement, increasing the channel noise may leadsome subchannels to become unused, which will significantlyaffect the correlation of the time-domain data, and then affectthe convergence of the system. The only way to combat this phe-nomena is to increase the transmit power, which again becomesa tradeoff between performance and cost.

Further analysis of indicates that the iteration con-verges faster as goes smaller. Such a functionmay go small along two directions, eitheris small or large.However, when , it will make the SER go to one,which means the system is collapsed. Hence, is atrivial solution for the equilibrium. In order to make the systemconverge faster, we should let be as large as possible. Itis easy to see that goes larger when is small. Accordingto the definition, is weighted by the ratio of ideal channelresponse over the initial channel response . Since

Q is a convex function, applying Jensen’s inequality to (60)gives us

(65)

The equality is valid if is constant. Thismeans that the initial channel response, on which loading isbased, should have the same shape as that of the ideal channelresponse in order to make the system converge faster. It isalso noticed that the right-hand side of the inequality becomessmaller when becomes larger. This meansthat we can add more gap in loading to make the system con-verge faster.

The other factor that contributes to the nice convergence prop-erty of the proposed algorithm is that the convergence dependson the overall performance of the system. As shown in (60), theSER iteration for any individual subchannel depends on the per-formance of the whole system . In contrast, the existingadaptive equalization scheme in Section II-C treats all the sub-channels independently and applies the same scheme for eachsubchannel. Therefore, the convergence only depends on thechannel variation and performance of individual subchannel. Inthis case, if the performance of a specific subchannel goes bad,it may never recover again. However, in our algorithm, it canbe recovered if the overall system still performs well. The keypoint here is that the independence of subchannels is an advan-tage for the signal detection but a disadvantage for the channelestimation, because the channel responses of different subchan-nels are actually correlated.

VI. COMPUTERSIMULATION

Since we use some approximations in the previous analysis,computer simulation is done to verify the analysis results. TheMCM system adopted in this section has 256 complex subchan-nels and an average transmit energy of one in all the simulations.

Example 1: By this example, we show how a stationary deci-sion error affects the channel estimation. In order to do that, weuse the ideal channel information in the equalizer, i.e., no esti-mation error propagates to decision point. The transfer functionused in this example is

.Fig. 4(a) and (b) shows the mean-squared channel esti-

mation error E and mean-squared residualnoise with and without decision error,respectively. It can be seen that there is a constant differencebetween the two curves of estimation error which correspondsto the bias of the channel estimation caused by the decisionerror. This bias also propagates to the decision point which isshown in Fig. 4(b).

Example 2: The transfer function of the channel used in thisexample is . We show the SER itera-tion in (a) and the mean-squared channel estimation error in (b).Two cases of loading are simulated in Fig. 5(a). In one case, theloading is done according to the flat channel response. In the

Page 9: Performance analysis for adaptive channel estimation ...sig.umd.edu/publications/wang_cyclic_200301.pdfthrough the fixed decision feedback equalizer is analyzed. However, in our algorithm,

102 IEEE TRANSACTIONS ON COMMUNICATIONS, VOL. 51, NO. 1, JANUARY 2003

(a)

(b)

Fig. 4. (a) Mean-squared esimation error and (b) residual noise at the decisionpoint (v = 32, � = � = 1, � = 0:01, andP (0) = 10 ).

other case, the loading is done according to the ideal channelresponse . In Fig. 5(b), the case of ideal loading is shownwith the standard deviation of the mean-squared error. In both(a) and (b), our analytical results are quite close to the simula-tions. The figure also verifies that the system converges fasterwhen loading is done according to the ideal channel informa-tion. It converges in about 10 iterations when ideal loading isdone, and in about 20 iterations with flat loading. Furthermore,the ideal loading has better overall performance than the non-ideal flat loading.

VII. CONCLUSION

In this paper, we first present an adaptive channel estima-tion algorithm for MCM systems using the cyclic prefix. Weobserved that the cyclic prefix originally used to reduce ISI isactually a source of channel information. A block RLS algo-rithm using decision-directed samples then is applied to exploit

(a)

(b)

Fig. 5. (a) SER and (b) mean-squared error iteration (v = 32,� = � = 1,� = 0:01, andP (0) = 10 ).

the channel information in such a training sequence. In our sim-ulation, the proposed algorithm performs more robustly than theexisting adaptive equalization scheme [3] without sending extratraining.

Then we investigate the performance analysis of the adaptivechannel estimation algorithm. We first prove that the existenceof decision error results in a biased channel estimation and thealgorithm converges with the same rate as that without decisionerror. Then we analyze the effect of the channel estimation erroron the system performance and prove that the channel estima-tion error appears at the decision point as an additional noise.Finally, we derive a recursive mapping of SER using the aboveconclusions. We first derive the SER bound as the channel es-timation error is large. Then we consider local convergence ofthe recursive mapping and find that the system will be guaran-teed to converge as the iteration goes on. The convergence rateis determined by the eigenvalues of the data correlation matrix,which is affected by the channel noise and loading algorithm.

Page 10: Performance analysis for adaptive channel estimation ...sig.umd.edu/publications/wang_cyclic_200301.pdfthrough the fixed decision feedback equalizer is analyzed. However, in our algorithm,

WANG AND LIU: PERFORMANCE ANALYSIS FOR ADAPTIVE CHANNEL ESTIMATION 103

In our analysis, we consider both the channel noise and the de-cision error in signal detection, which is different from most ofthe analysis of such a decision-directed algorithm in the existingliterature. Thus, the analysis presented in this paper is closerto the practical environment. However, it should be noted thatsome assumptions are made in the analysis. Careful evaluationof the validity of those assumptions is necessary before the anal-ysis results can be used in the MCM system design.

APPENDIX I

PROOF OFTHEOREM1

Proof: Taking expectation of (36), we have

E E

E

According to the independence assumption, only the last termin the expectation is nonzero. Using near-stationary assumption,this term can be derived as

E E

(66)

Then using the independence assumption, can be simpli-fied as

(67)

where

Using the near stationary and Gaussian input assumptions, it canbe shown that

(68)

E

E

R (69)

E

(70)

E

(71)

In the derivation of (71), we use the approximation that withsmall decision error

E

E E

From above, we can see that the behavior of the estimationerror is related to the behavior of the decision error . If weassume that the decision error is near stationary, then ,

and decay linearly to zero as . As, converges a nonzero constant which is

(72)

Hence,

E (73)

Page 11: Performance analysis for adaptive channel estimation ...sig.umd.edu/publications/wang_cyclic_200301.pdfthrough the fixed decision feedback equalizer is analyzed. However, in our algorithm,

104 IEEE TRANSACTIONS ON COMMUNICATIONS, VOL. 51, NO. 1, JANUARY 2003

APPENDIX II

PROOF OFTHEOREM2

Proof: The residual noise at the decision point is

(74)

It then can be shown that the mean of the residual noise is

EE

The energy of the residual noise is

E

(76)

It shows that the residual noise with the channel estimationerror is equivalent to the residual noise of the system withchannel noise energy and using perfectchannel parameters in equalizers.

APPENDIX III

DERIVATION OF SER WITH NONZEROMEAN GAUSSIAN NOISE

Suppose the noise at the decision point is . Thenfollowing the derivation of SER for QAM constellation in [22],the SER can be derived from the pulse amplitude modulation(PAM) constellation, i.e.,

Q Q

where is number of the constellation points andis the dis-tance between the adjacent constellation points.

Similarly, for the PAM constellation with noise , wehave

Q Q

Then we can derive the SER for QAM using (77). As islarge and ignores the high-order term, the SER formula can besimplified as

Q Q

Q Q (78)

REFERENCES

[1] J. A. C. Bingham, “Multicarrier modulation for data transmission: anidea whose time has come,”IEEE Commun. Mag., pp. 5–14, May 1990.

[2] J. M. Cioffi. A Multicarrier Primer [Online]. Available: http://isl.stan-ford.edu/~cioffi/

[3] J. S. Chow, J. C. Tu, and J. M. Cioffi, “A discrete multitone transceiversystem for HDSL application,”IEEE J. Select. Areas Commun., vol. 9,pp. 895–908, Aug. 1991.

[4] L. J. Cimini, Jr., “Analysis and simulation of a digital mobile channelusing orthogonal frequency-division multiplexing,”IEEE Trans.Commun., vol. COM-33, pp. 665–675, July 1985.

[5] P. S. Chow, J. M. Cioffi, and J. A. C. Bingham, “A practical discretemultiton transceiver loading algorithm for data transmission over spec-trally shaped channels,”IEEE Trans. Commun., vol. 43, pp. 773–775,Feb.-Apr. 1995.

[6] H. Zheng and K. J. R. Liu, “Robust image and video transmission overspectrally shaped channels using multicarrier modulation,”IEEE Trans.Multimedia, vol. 1, pp. 88–103, Mar. 1999.

[7] R. A. Ziegler and J. M. Cioffi, “Estimation of time-varying digital radiochannel,”IEEE Trans. Veh. Technol., vol. 41, pp. 134–151, May 1992.

[8] P. Hoeher, S. Kaiser, and P. Robertson, “Two-dimensional pilot-symbol-aided channel estimation by Wiener filtering,” inProc. 1997 IEEE Int.Conf. Acoustics, Speech and Signal Processing, Munich, Germany, Apr.1997, pp. 1845–1848.

[9] X. Wang and K. J. R. Liu, “Adaptive channel estimation in multicarriermodulation system using cyclic prefix,”IEEE Commun. Lett., vol. 3, pp.291–293, Oct. 1999.

[10] , “Joint channel estimation and equalization in multicarrier modu-lation system using cyclic prefix,” inProc. ICASSP’99, vol. 5, Phoenix,AZ, 1999, pp. 2733–2736.

[11] O. Macchi and E. Eweda, “Convergence analysis of self-adaptive equal-izers,”IEEE Trans. Inform. Theory, vol. IT-30, pp. 161–176, Mar. 1984.

[12] Z. Ding, C. R. Johnson, Jr., and R. A. Kennedy, “On the (non)existenceof undesirable equilibria of Godard blind equalizer,”IEEE Trans. SignalProcessing, vol. 40, pp. 2425–2432, Oct. 1992.

[13] Y. Li and Z. Ding, “Convergence analysis of finite length blind adap-tive equalizers,”IEEE Trans. Signal Processing, vol. 43, pp. 2120–2129,Sept. 1995.

[14] Y. Li and K. J. R. Liu, “Static and dynamic convergence behavior ofadaptive blind equalizers,”IEEE Trans. Signal Processing, vol. 44, pp.2736–2744, Nov. 1996.

[15] D. Kundur and D. Hatzinakos, “On the use of Lyapunov criteria to an-alyze the convergence of blind deconvolution algorithm,”IEEE Trans.Signal Processing, vol. 46, pp. 2918–2925, Nov. 1998.

[16] R. A. Kennedy, “Blind adaptation of decision feedback equalizers: grossconvergence properties,”Int. J. Adapt. Control Signal Process., vol. 7,pp. 497–523, 1993.

[17] S. A. Altekar and N. C. Beaulieu, “Upper bounds to the error probabilityof decision feedback equalization,”IEEE Trans. Inform. Theory, vol. 39,pp. 145–156, Jan. 1993.

[18] A. Klein, G. K. Kaleh, and P. W. Baier, “Zero forcing and minimummean-square-error equalization for multiuser detection in code-divisionmultiple-access channels,”IEEE Trans. Veh. Technol., vol. 45, pp.276–287, May 1996.

[19] J. E. Smee and N. C. Beaulieu, “Error-rate evaluation of linear equaliza-tion and decision feedback equalization with error propagation,”IEEETrans. Commun., vol. 46, pp. 656–665, May 1998.

Page 12: Performance analysis for adaptive channel estimation ...sig.umd.edu/publications/wang_cyclic_200301.pdfthrough the fixed decision feedback equalizer is analyzed. However, in our algorithm,

WANG AND LIU: PERFORMANCE ANALYSIS FOR ADAPTIVE CHANNEL ESTIMATION 105

[20] S. Haykin,Adaptive Filter Theory. Englewood Cliffs, NJ: Prentice-Hall, 1996.

[21] L. Ljung, System Identification: Theory for the User, 2nded. Englewood Cliffs, NJ: Prentice-Hall, 1999.

[22] J. G. Proakis,Digital Communications, 2nd ed. New York: McGraw-Hill, 1989.

Xiaowen Wang (S’00–M’00) received the B. S. de-gree (ranked first in class) from Tsinghua University,Beijing, China, in 1993, and the M.S. and Ph.D. de-grees from the University of Maryland, College Park,in 1999 and 2000, respectively.

From 1993 to 1996, she was a Teaching Assistantwith Tsinghua University, Beijing, China. From 1996to 2000, she was a Research Assistant with the Uni-versity of Maryland, College Park. Since 2000, shehas been with the Wireless Systems Research De-partment, Agere Systems (formerly Bell Labs, Lu-

cent Technologies, Microelectronics). Her research interests include adaptivedigital signal processing, wireless communications, and networking.

Dr. Wang was the recipient of the Graduate School Fellowship from the Uni-versity of Maryland.

K. J. Ray Liu (S’86–M’86–SM’93–F’03) receivedthe B.S. degree from the National Taiwan University,Taiwan, in 1983, and the Ph.D. degree from the Uni-versity of California, Los Angeles in 1990, both inelectrical engineering.

He is a Professor in the Electrical and ComputerEngineering Department and the Institute forSystems Research of the University of Maryland,College Park. His research interests span broadaspects of signal processing algorithms and ar-chitectures, multimedia communications, signal

processing, wireless communications, networking, information security,and bioinformatics, in which he has published over 250 refereed papers.He is the Editor-in-Chief ofIEEE Signal Processing Magazine, and wasthe Editor-in-Chief of EURASIPJournal on Applied Signal Processing.He has served as an Associate Editor of IEEE TRANSACTIONS ON SIGNAL

PROCESSING, a Guest Editor of special issues on Multimedia Signal Processingof Proceedings of the IEEE, a Guest Editor of a special issue on SignalProcessing for Wireless Communications of the IEEE JOURNAL OF SELECTED

AREAS IN COMMUNICATIONS, a Guest Editor of a special issue on MultimediaCommunications over Networks ofIEEE Signal Processing Magazine, a GuestEditor of special issue on Multimedia over IP of the IEEE TRANSACTIONS ON

MULTIMEDIA , and an Editor of theJournal of VLSI Signal Processing Systems.Dr. Liu is the recipient of numerous awards including the 1994 National Sci-

ence Foundation Young Investigator Award, the IEEE Signal Processing So-ciety’s 1993 Senior Award (Best Paper Award), and the IEEE 50th VehicularTechnology Conference Best Paper Award in 1999. He also received the GeorgeCorcoran Award in 1994 for outstanding contributions to electrical engineeringeducation and the Outstanding Systems Engineering Faculty Award in 1996in recognition of outstanding contributions in interdisciplinary research, bothfrom the University of Maryland. He has served as Chairman of the MultimediaSignal Processing Technical Committee of the IEEE Signal Processing Society.