Symbol Error Prob With Channel Estimate Errors

download Symbol Error Prob With Channel Estimate Errors

of 30

Transcript of Symbol Error Prob With Channel Estimate Errors

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    1/30

    A New Method for Calculating Symbol Error Probabilities

    of Two-Dimensional Signalings in Rayleigh Fading with

    Channel Estimation Errors 1

    Xiaodai Dong, Member, IEEE,

    Norman C. Beaulieu, Fellow, IEEE

    Department of Electrical and Computer Engineering,

    University of Alberta, Edmonton, Alberta, Canada T6G 2V4

    Email:

    xdong, beaulieu

    @ee.ualberta.ca

    Tel: 780 492-6989 Fax: 780 492-0194

    1This work was presented in part at the 2002 IEEE Symposium on Advances in Wireless Communications, Victoria, Canada, September

    2002, and the 2003 IEEE International Conference on Communications (ICC2003), Anchorage, USA, May 2003.

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    2/30

    1

    Abstract

    A general analytical framework for evaluating the performance of coherent two-dimensional signaling in fre-

    quency flat Rayleigh fading with channel estimation is proposed in this paper. A new and simple analytical ex-

    pression for the symbol error rate of an arbitrary polygonal two-dimensional constellation in Rayleigh fading in

    the presence of channel estimation errors is presented. This framework is applicable to many current channel es-

    timation methods such as pilot symbol assisted modulation and minimum mean square error estimation where thefading estimate is a complex Gaussian random variable correlated with the channel fading. The sensitivity of var-

    ious high-level two-dimensional signaling formats to static and dynamic channel amplitude and phase estimation

    errors in Rayleigh fading can be easily studied using the derived formula. The new exact expression makes it pos-

    sible to optimize constellation parameters and various parameters associated with channel estimation schemes. It

    also provides insights into choosing an appropriate signaling format for a fading environment with practical channel

    estimation methods used at the receiver.

    Index Terms

    Channel estimation errors, fading channels, high order modulation, imperfect channel estimation, minimum

    mean square error (MMSE), M-ary phase shift keying (MPSK), pilot symbol assisted modulation (PSAM), quadra-

    ture amplitude modulation (QAM), symbol error probability, two-dimensional (2-D) modulation formats.

    I. INTRODUCTION

    The perfect coherent detection of arbitrary polygonal two-dimensional (2-D) signaling in frequency flat

    fading channels has been well studied. Tractable analytical results for determining the performances of

    2-D signaling schemes are available for various fading models [1]-[2]. These results assume perfect fad-

    ing channel state information. In reality, channel state information is only available through estimation

    algorithms with inherent channel estimation errors. Therefore, it is of practical interest and importance to

    study the performances of coherent signaling formats in the presence of channel estimation errors. Com-

    mon channel estimation methods studied in the literature are pilot symbol assisted modulation (PSAM)

    and minimum mean square error (MMSE) estimation. A classical paper on pilot symbol assisted mod-

    ulation for Rayleigh fading was presented by Cavers in 1991 [3] where he derived the optimum Wiener

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    3/30

    2

    interpolation filter to minimize the variance of the estimation error and studied the system performance for

    binary phase shift keying (BPSK), quaternary phase shift keying (QPSK) and 16-ary quadrature amplitude

    modulation (QAM). The optimum Wiener filter requires a priori information of the channel and is compu-

    tationally complex. Therefore, several suboptimal interpolation filters have been proposed among which

    the sinc interpolator is most widely used due to its simple implementation and close-to-optimum perfor-

    mance [4]. The bit error rate (BER) of pilot symbol assisted M-ary QAM (MQAM) in Rayleigh fading

    using the sinc interpolator has been analyzed in [5]. An upper bound to the symbol error rate (SER) for

    pilot symbol assisted QAM in Rayleigh fading was presented in [6], and the optimum MMSE interpolator

    using an infinite number of pilot symbols was examined. The performance of MMSE channel estimation

    has been investigated for M-ary PSK (MPSK) and MQAM in Rayleigh fading in [7] and for Ricean fading

    in [8]. The analyses in these two papers employed the orthogonality between the channel estimate and the

    channel estimation error. Their work has been further extended by Wilson and Cioffi [9] to eliminate the

    orthogonality requirement. The probability density functions (PDFs) of the receiver decision variables

    for Rayleigh fading channels with maximal ratio diversity combining, and for single branch Ricean fading

    channels in the presence of imperfect channel estimation were derived. The PDFs were employed to cal-

    culate the SER and BER of 16-QAM with channel estimation errors. However, the analysis in [9] is only

    applicable to MQAM. In summary, results are only available for MPSK and MQAM with small Mvalues;

    results for arbitrary 2-D signaling are not available. Furthermore, there has been no analysis that is able to

    unify these previously published results and to account for more general case of arbitrary 2-D signalings.

    We present in this paper a general method of analysis for determining symbol error probabilities of ar-

    bitrary 2-D signalings in Rayleigh fading with static or dynamic channel estimation errors. It is applicable

    to any fading estimate which is jointly Gaussian with the actual fading. This includes, but is not lim-

    ited to, MMSE and pilot symbol assisted modulation schemes. Our analytical method is new and applies

    very generally to modulation formats not previously studied as well as to modulation formats previously

    studied using other methods which are not applicable to the general modulations considered here. The

    paper is organized as follows. Section II derives the error probability expression for coherent 2-D signal-

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    4/30

    3

    ing in Rayleigh fading with channel estimation errors. Section III applies the newly derived formula to

    the analysis of dynamic estimation errors when PSAM and MMSE estimation are employed as well as to

    the analysis of static estimation errors. Section IV discusses the numerical SER results for various 8-ary

    and 16-ary constellations that are of practical interest or are commonly studied in the literature. Finally,

    conclusions are given in Section V.

    II. ERROR PROBABILITY OF 2-D SIGNALING

    This section begins with the system modeling. We then present our symbol error probability analysis

    of 2-D signalings in Rayleigh fading with channel estimation errors. Assume perfect symbol timing,

    intersymbol interference (ISI) free transmission, and slow channel fading that is almost constant over one

    symbol duration. The received signal z at any symbol interval given signal si

    sIi

    jsQi

    i

    1

    M

    transmitted can be expressed as

    z

    gsi

    n (1)

    where the zero-mean Gaussian random variable (R.V.) g

    gI

    jgQ represents the complex fading in-

    troduced by the channel with variance Es in both of its real and imaginary parts, and n

    nI

    jnQ is a

    zero-mean Gaussian noise R.V. with variance N0 in both of its real and imaginary parts. The fading g is

    independent of the additive Gaussian noise n. Signal si is assumed to be normalized to yield unit aver-

    age energy of the constellation. Various channel estimation methods, for instance, pilot symbol assisted

    modulation and minimum mean square error estimation, generate a fading estimate g that is also Gaussian

    and correlated with the true fading g. The specific expression for g depends on the particular estimation

    method used. The most often used method for calculating the probability of error of a signaling format

    is based on the conditional error probability given the channel fading g and the fading estimate g. Under

    this conditioning, the problem is similar to the well known additive white Gaussian noise (AWGN) case.

    The probability of error is then obtained by averaging the conditional error probability over the joint dis-

    tribution of g and g. Previous publications [5]-[6] follow this approach. However, in the general case of

    arbitrary 2-D constellations, this approach often leads to an intractable analysis. Averaging over the joint

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    5/30

    4

    distribution of g

    ej and g

    ej usually involves a four-fold nested integration, and the conditional

    probability P e

    for arbitrary 2-D signaling usually has another level of integration. That is,

    Pe

    2

    0

    2

    0

    0

    0P

    e

    f

    dddd (2)

    and P e

    requires a single integration for general 2-D signaling as seen in [2], [1].

    We propose in this paper a completely different approach to solving the problem and arrive at a surpris-

    ingly simple yet general expression for the symbol error probability of arbitrary 2-D signaling in Rayleigh

    fading with channel estimation errors. We begin with defining a decision variable as

    D

    z

    g

    g

    gsi

    n

    g

    si

    t

    (3)

    And then,

    t

    z

    g

    si

    D

    si (4)

    where t

    rej can be considered as an equivalent noise term that is superimposed on the signal si and

    includes the effects of both the fading estimation error and the AWGN. Assuming equally-likely transmis-

    sion of signals, the maximum likelihood (ML) decision rule of a constellation in AWGN and in fading

    with perfect channel sate information is equivalent to the minimum Euclidean distance criterion. In the

    case of imperfect channel estimation, however, minimum Euclidean distance rule is no longer the opti-

    mum. Nevertheless, in practice a receiver will likely use the estimated fading as if it were perfect channel

    state information and draw up decision boundaries as in the AWGN case. This is because the receiver

    may not have the necessary information, such as the maximum Doppler frequency, the signal-to-noise

    ratio (SNR) and so on, needed in the PDF of the decision variable to determine the optimum decision

    boundaries. Therefore, we consider the practical case where the minimum Euclidean distance rule is used

    in the receiver. IfD falls into the decision region of signal si, a correct decision will be made; otherwise,

    a symbol error will occur.

    The decision variable D was also written as the sum of the signal and an equivalent noise term in [7] and

    [8]. Furthermore, the probability density function of the noise term t was obtained from the conditional

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    6/30

    5

    PDF as

    ft r

    2

    0

    2

    0

    0

    0ft r

    f

    dddd (5)

    which can be simplified for MMSE estimation as discussed in [7] and [8]. However, the four-fold nested

    integration in (5) usually cannot be solved for other practical channel estimation schemes.

    Here we present a new derivation of the PDF oft. Now, recognizing the fact that the decision variable Din (3) is the ratio of two complex-valued Gaussian random variables z and g, we first derive the distribution

    of the ratio of two complex Gaussian R.V.s X

    z and Y

    g. Define variable D in a general form as

    D

    X

    Y(6)

    where X and Y are correlated zero-mean complex-valued Gaussian random variables. The joint PDF of

    zero-mean complex Gaussian R.V.s X and Y was given by Wooding in a simple and compact form as [10]

    fXY X

    Y

    2 L 1 exp

    VHL

    1V

    (7)

    where V

    X

    Y !

    H with#

    representing complex conjugation and AH the Hermitian transpose of matrix

    A. Matrix L is the Hermitian covariance matrix given by

    L $&

    mxx mxy

    mxy myy

    '(

    (8)

    where mxx

    E

    X X !

    , myy

    E

    YY !

    and mxy

    E

    XY !

    are the second moments of the zero-mean complex-

    valued Gaussian R.V.s X and Y. Eqn. (7) can also be written as

    fXY X

    Y

    2L

    1 exp

    L

    1myy X

    2

    mxx Y2

    m xyXY

    mxyX Y ! (9)

    and in polar coordinates X

    rxejx and Y

    ryejy ,

    fXY rx

    x

    ry

    y

    rxry

    2L

    1 exp

    L

    1myyr

    2x mxxr

    2y

    20

    m xyrxryej

    1x

    y2 3

    !

    (10)

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    7/30

    6

    To obtain the PDF of D

    rdejd

    XY

    , we define another complex variable F

    rfejf

    Y. Then, we have

    the following relationships

    rd rx

    ry(11a)

    d x

    y (11b)

    rf

    ry (11c)

    f y (11d)

    The joint PDF ofD and F is obtained from (10) as

    fDF rd d rf f

    fXY rdrf d f rf f

    J

    rd

    2 Lr3f exp 5

    myyr

    2d mxx

    20

    mxyrde

    jd 3r2f

    L6

    (12)

    where J is the Jacobian of the transformation (11) and it can be shown that J

    1ry

    1rf

    . The PDF of

    the complex variable D is then obtained by integrating the joint density (12) with respect to the complex

    variable F,

    fD rd d

    0

    2

    0fD

    F rd d rf f dfdrf

    L

    rd

    myyr

    2d mxx

    20

    mxyrde

    jd 3

    2 (13)

    The next step is to derive the PDF of the combined noise term t

    rej in (4). Rewriting the PDF of

    D

    Dx

    jDy given by (13) in rectangular coordinates, we have

    fD Dx

    Dy

    L

    1

    myy D2x D2

    y mxx

    20

    mxy 3 Dx

    20

    mxy 3 Dy ! 2

    (14)

    It can be shown that (14) is equivalent to [9, eqn. (3)] but (14) is derived using a different method. More-

    over, our later application of Craigs method to general 2-D signaling schemes will require the PDF of the

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    8/30

    7

    combined noise term t in polar coordinate form. Since t

    tx

    jty

    D

    si, one has

    tx

    Dx

    sIi (15a)

    ty

    Dy

    sQi

    (15b)

    The Jacobian of transformation (15) is J

    1, and thus the PDF oft can be written as

    ft tx

    ty

    L

    myy t2

    x t2

    y 2 myysIi

    0

    mxy 3 tx

    2myysQi

    0

    mxy 3 ty

    myy si2

    mxx

    2 0 mxy 3 sIi

    2 0 mxy 3 sQi ! 2

    (16)

    Furthermore, the PDF of the complex-valued variable t expressed in polar coordinates can be obtained

    from (16) by another change of variables r 7

    t2x t2

    y and tan 1

    ty

    9

    tx as

    ft r

    L

    r

    cr2 b

    r a 2

    (17a)

    where

    a

    myy si2

    mxx

    2 0 mxy 3 sIi

    2 0 mxy 3 sQi (17b)

    b

    2myysIi cos

    myysQi sin

    0

    mxy 3 cos

    0

    mxy 3 sin (17c)

    c

    myy

    (17d)

    Once the PDF (17) of the equivalent noise term taccounting for both the channel estimation error and the

    additive white Gaussian noise is available, we apply Craigs method [11], [1], [2] to analyze the probability

    of symbol error for arbitrary 2-D signaling. The main idea of Craigs method is to work directly with the

    PDF of the noise term that is superimposed onto the signal si and divide erroneous decision regions into

    smaller subregions. Each subregion can be conveniently represented by polar coordinates [11]. Since we

    have expressed the decision variable D as the sum of si and t, we shift the origin of the coordinates to

    signal si

    sIi

    jsQi to form new coordinates and work directly with t. Fig. 1 illustrates how to partition

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    9/30

    8

    the erroneous decision region of signal si into subregions. Following analysis similar to that presented in

    [2], the probability of error for the j-th erroneous subregion is given by

    Pe j @@

    @

    @

    2Aj

    1Aj

    R1

    2

    ft r

    drd@

    @

    @

    @

    (18a)

    R

    xj sinj

    sin

    1 j j (18b)

    where angles 1 j

    2 j

    j and distance xj are parameters specific to the geometry of the j-th erroneous

    subregion and are illustrated in Fig. 1 for different erroneous subregions. It can be seen from (17) that

    the PDF of the combined noise t is no longer Gaussian and does not have circular symmetry as in the

    perfect channel state information case. The integration limits 1 j and 2 j must be angles related to the

    j-th subregion in the new coordinates (si is the origin). In the open decision region case shown in Fig. 1(b),

    1j is defined as the angle formed by the horizontal axis of the new coordinates and the line from signal si

    to the intersection of two decision boundaries. The absolute value is needed in (18a) as 1 j might be larger

    than 2 j, resulting in a negative value of the integral in (18a). Subregion 5 in Fig. 1(b) is one example

    where 1 5 C 2 5. Substituting (17) into (18) and solving the inner integral with respect to r, we get

    Pej

    @

    @

    @

    @

    2Aj

    1Aj

    L

    D

    2a

    b

    R

    a

    b R

    cR2

    b

    3 E 2

    2b

    3 E 2tan

    1 F b 2cR G

    H I

    d@

    @

    @

    @

    (19a)

    where [12, eqns. (2.175.2) and (2.172)] have been used and

    4ac

    b

    2

    4mxxmyy

    mxy2

    4

    myy sIi sin

    sQi cos

    0

    mxy 3 cos

    0

    mxy 3 sin !2

    C

    0 (19b)

    L

    mxxmyy

    mxy2 (19c)

    mxx

    E

    zz !

    (19d)

    myy E gg ! (19e)

    mxy

    E

    zg !

    (19f)

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    10/30

    9

    The symbol error probability of any coherent two-dimensional constellation in Rayleigh fading with chan-

    nel estimation errors is simply a weighted sum of terms given by eqn. (19a) [2],

    Pe

    N

    j

    Q1

    wjPej (20)

    where N is the total number of distinct erroneous subregions of the 2-D constellation and wj is the weight-ing coefficient [2]. The new single integral expression (19) is an exact solution to calculating the SER of

    coherent 2-D signaling in Rayleigh fading with imperfect channel estimation. Note that only one level of

    integration is required, in contrast to four levels of nested integration required by previous methods.

    As a special case of 2-D signalings, the symbol error probability of MPSK in Rayleigh fading with

    channel estimation errors can be obtained by assuming si

    1 as

    PeMPSK

    M

    L

    D

    2a1 sin2

    9

    M

    b1 sin 9 M sin

    9

    M

    1 a1 sin2

    9

    M

    b1 sin 9

    M

    sin

    9

    M

    c sin2

    9

    M

    b1

    3

    E2

    1

    2b1

    3

    E2

    1

    tan

    1 F b1 sin

    9

    M

    2c sin

    9

    M

    sin

    9

    M

    G

    1 H 6d

    M

    L

    D

    2a1 sin2

    9

    M

    b1 sin 9 M sin

    9

    M

    1 a1 sin2

    9

    M

    b1 sin 9 M sin

    9

    M

    c sin2

    9

    M

    b1

    3 E 2

    1

    2b1

    3 E 2

    1

    tan

    1 F b1 sin

    9

    M

    2c sin

    9

    M

    sin

    9

    M

    G

    1 H 6d (21a)

    where

    a1

    myy

    mxx

    2 0 mxy 3 (21b)

    b1

    2

    myy cos

    0

    mxy 3 cos

    0

    mxy 3 sin (21c)

    c

    myy (21d)

    1

    4

    mxxmyy

    mxy2

    4

    myy sin

    0

    mxy 3 cos

    0

    mxy 3 sin 2

    (21e)

    Note that the two integrals on the right side of (21a) are equal when the second moment mxy is real, i.e.,

    0

    mxy 3

    0 and, hence, b1

    b1 . Thus, when a channel estimation method has the property that

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    11/30

    10

    the cross-correlation between the received signal z and the channel estimate g is real, the probability of

    symbol error for MPSK is given by doubling the first integral. As will be shown in the next section, this

    is the case for pilot symbol assisted modulation. It is worth pointing out that for MPSK, it is actually

    easier to work with the decision variable D rather than t, because the erroneous decision region is more

    conveniently described by the non-shifted original coordinates and the SER is given by

    PeMPSK

    M

    0fD rd d drddd

    M

    0fD rd d drddd (22a)

    M

    fd dd

    M

    f

    d dd (22b)

    M

    L

    5

    2

    2

    b2 d

    3

    E2

    2

    2b2 d

    3

    E2

    2

    tan

    1 b2 dG

    2 6dd

    M

    L

    5

    2

    2

    b2 d

    3E

    2

    2

    2b2 d

    3E

    2

    2

    tan

    1 b2 dG

    2 6dd (22c)

    where fd is the marginal PDF ofd, the phase difference between the received signal and the channel

    phase estimate, and

    b2 d

    2

    0mxy 3 cosd 0 mxy 3 sind (22d)

    2 4mxxmyy 4 0 mxy 3 cosd 0 mxy 3 sind2

    (22e)

    Another special case is the symbol error probability ofM-ary rectangular QAM, which is often referred

    to as MQAM. This is readily obtained using (20) and (19), though the details are omitted for brevity. More

    generally, we have written a computer program that calculates these geometric parameters automatically

    for arbitrary 2-D constellations.

    III. APPLICATIONS TO CHANNEL ESTIMATION ERROR ANALYSIS

    This section applies the newly derived method to the performance analysis of 2-D signalings in the

    presence of three different kinds of channel estimation errors.

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    12/30

    11

    A. Static Channel Estimation Errors

    Two parameters, amplitude error tolerance and phase error tolerance, were defined in [2] to describe

    how sensitive a 2-D constellation is to carrier amplitude and phase tracking errors. These two parameters

    provide some information about the robustness of a modulation format, but the effect of channel estimation

    errors on the average SER of the modulation format is not known with accuracy. Here we investigate the

    performance of 2-D signaling in Rayleigh fading with constant channel estimation errors caused by the

    carrier amplitude and phase tracking components. Another scenario where static channel estimation error

    is relevant is when amplifier nonlinearity is present in the system and the estimated amplifier nonlinearity

    differs from the true amplifier nonlinearity by some constant error. In all these cases, the estimated fading

    is related to the real fading by a constant factor. That is, g

    gq exp

    1

    j2

    where q is the amplitude estimation

    error and is the phase estimation error. Parameters q

    1 and

    0 correspond to the perfect channel

    estimation case. Therefore, the fading estimate g is also a zero-mean complex Gaussian R.V. correlated

    to the true fading g. Letting X

    z

    gsi

    n and Y

    g

    gq exp 1 j

    2

    , the second moments given signal si

    transmitted are

    mxx

    2Es si2

    2N0 (23a)

    myy

    2Es

    q2(23b)

    mxy

    2Essi

    qej

    (23c)

    The signal-to-noise ratio (SNR) per symbol is given by Es9

    N0. The SER of arbitrary 2-D signaling in the

    presence of static channel estimation errors can be readily obtained from (19) and (23).

    The second moments are obtained from (23) with si

    1 for MPSK. The probability of error for MPSK

    in Rayleigh fading with static channel estimation errors is then given by (21) and (23).

    B. Pilot Symbol Assisted Modulation

    In a PSAM system, pilot signals are periodically inserted into the data stream for every L

    1 data

    symbols. Hence, a data frame of length L consists of a pilot symbol at its zero-th position and L

    1 data

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    13/30

    12

    symbols at positions from 1 to L

    1. The estimated channel fading at the pilot position of the k-th frame

    is obtained by gkp zk 0 9 pk where pk is the pilot symbol of the k-th frame and zk 0 is the received signal at

    this pilot position. The received signal at the l-th data symbol position of the current frame is given by

    zl glsl nl (24)

    where gl is the zero-mean complex Gaussian R.V. representing the multiplicative channel fading, sl is the

    l-th data symbol taking values from an M-ary signal set and nl is the additive Gaussian noise. Channel

    fading gl is estimated from K pilot symbols, that is, the previous K1 R K

    1

    9

    2T

    pilot symbols, the

    current pilot symbol and the subsequent K2 R K9 2 T pilot symbols as

    gl

    K2

    k

    Q

    K1

    hklg

    kp

    K2

    k

    Q

    K1

    hkl

    V

    gkp nkp

    pkW

    (25)

    where R XT

    is the floor function, gkp is the actual channel fading at the k-th pilot position, and hk l h

    l

    kL is the interpolator coefficient for gkp and is dependent on the current symbol position l. Proposed

    interpolators include the optimum Wiener interpolator [3], a Gaussian interpolator [13] and the simple

    sinc interpolator [4]. As an example, the sinc interpolator with a Hamming window is given by

    hn

    wn

    X

    sinc`

    n

    L a

    K1L b n b K2L (26a)

    where

    w

    n

    0

    54

    0

    46cosV

    2n

    KL

    1

    2R

    KL2

    T

    KL

    1W

    (26b)

    It can be seen from (25) that gl is also a zero-mean complex Gaussian R.V. because it is a linear combi-

    nation of g K1

    p

    gK2p that are jointly Gaussian R.V.s. Let X

    zl and Y gl . To calculate the SER of

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    14/30

    13

    PSAM 2-D signaling, the only quantities needed from (19) are the second moments

    mxx

    2Es sl2

    2N0 (27a)

    myy

    HlCHTl

    2N0

    pk2Hl

    2 (27b)

    mxy

    K2

    kQ

    K12Eshk l slJ0

    2fD kL

    l T

    (27c)

    Hl h

    K1 l hK2 l ! (27d)

    Ckn E gkpg

    np ! 2EsJ0 2fD k

    n T

    (27e)

    where Ckn is the element with index k n of the covariance matrix C for fadings at pilot symbols, fD is

    the maximum Doppler frequency and T is the symbol duration. Pilot symbol pk is assumed to have unit

    average energy, i.e., pk2

    1 in (27). The signal-to-noise ratio per symbol is given by Es9

    N0. Since the

    second moments myy and mxy are dependent on the symbol position l where l

    1

    L

    1, the overall

    symbol error probability should be averaged over the L

    1 positions within a frame.

    In the case of pilot symbol assisted MPSK, the second moments are given by (27) with sl 1. Since

    mxy in (27c) is real, the two integrals in (21a) are equal. The probability of error for pilot symbol assisted

    MPSK in Rayleigh fading is thus given by two times the first integral in (21a).

    C. Minimum Mean Square Error Estimation

    It is well known that the estimate and the estimation error are uncorrelated in minimum mean square

    error estimation and that the average estimation error power is the difference of the power of the variable

    to be estimated and the power of the estimate. Since the fading and its estimate are complex Gaussian

    R.V.s, MMSE estimate g and the estimation error e

    g

    g are independent. Denote the mean power of

    the estimation error by 22e and the fading power by 2Es. The estimation error power is a measure of the

    quality of the estimation algorithm. Let X

    z and Y

    g. The second moments required by (19) in the

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    15/30

    14

    case of MMSE channel estimation are given by

    mxx 2Es si2

    2N0 (28a)

    mxy

    E

    gsi

    ng

    !

    E

    e

    gsig !

    myysi (28b)

    myy

    2Es

    22e (28c)

    This leads to

    a

    mxx

    myy si2

    C

    0 (29a)

    b

    0 (29b)

    c

    myyC

    0

    (29c)

    Substituting (29) into (19), we have for MMSE estimation

    PMMSEej

    @

    @

    @

    @

    @

    2A

    j

    1Aj

    L

    sin2

    1 j j

    2c

    a sin2

    1j

    j

    cx2j sin2!

    d @@

    @

    @

    @

    (30)

    Eqn. (30) can be further simplified to a closed-form expression given by

    PMMS Ee

    j

    2

    j

    1

    j

    2

    G

    cuj

    27

    cu2j a

    c de

    tan

    1$&

    1

    a

    cu2jtan

    2 j

    1 j j

    '(

    tan

    1$&

    1

    a

    cu2jtanj

    '( fh

    (31)

    where uj

    xj sinjC

    0 and [12, eqn. (2.562.1)] has been used. For MMSE MPSK, the symbol error

    probability can be written in closed-form as

    PMMS EeMPSK

    M

    1

    M

    G

    cu

    G

    cu2

    a D

    tan

    1F i 1

    a

    cu2tan

    MH I

    (32)

    where u

    sin M, and a and c can be obtained from (29) and (28) with si 1.

    Both (31) and (32) are new results. Substituting (29) into (17), we obtain an equivalent PDF expression

    in polar coordinates for the combined noise term to that given by [7, eqn. (22)]. Polar coordinates facilitate

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    16/30

    15

    the present analysis and lead to simplified and generalized results for arbitrary 2-D signaling. While [7,

    eqn. (22)] is valid only for MMSE channel estimation, (17) applies to any channel estimations that are

    jointly Gaussian with the actual channel fading. Note that our new closed-form SER expression (31)

    applies to arbitrary polygonal 2-D constellations with MMSE estimation in Rayleigh fading, compared to

    the single integral results given in [7] for SERs of 4-PSK, 8-PSK, 8-AMPM, 16-PSK and 16-QAM.

    IV. NUMERICAL EVALUATIONS

    We present in this section some numerical results for various 8-ary and 16-ary constellations as appli-

    cations of the theoretical analysis presented in Sections II and III. The 8-ary signalings considered are

    8PSK, the 8-ary rectangular set, the 8-ary max-density, the 8-ary triangular set, (4,4) and (1,7). The 16-ary

    signalings considered are the 16-ary hexagonal set, 16 rectangular QAM, the 16-ary triangular set, (4,12),

    the 16-ary max-density, (5,11), 16 star-QAM, rotated (8,8) and (1,5,10). The signal space diagrams for

    these constellations can be found in [2] and are not presented here due to space limitations. Figs. 2-4 show

    the SERs of the 8-ary and 16-ary signal sets as functions of the average signal-to-noise ratio per bit,Eb

    N0,

    in the presence of static channel estimation errors. The SNR per bitEb

    N0is related to Es

    N0by a factor of

    log2M

    1. The derived single integral (19) with finite integration limits is easy to evaluate numerically

    and generates results with high accuracy.

    Fig. 2 demonstrates the effect of constant channel estimation errors on the SER performance of 8-ary

    signal sets in Rayleigh fading. The performance of the (4,4) constellation will depend on the ring ratio

    employed. The ring ratio of (4,4) is set at 2.4544, the optimized value for SNR 20 dB. It is evident that

    the relative performances of these constellations with channel estimation errors are distinct from those

    with perfect channel state information as given in [2]. Given constant amplitude error q

    2 dB and phase

    error

    10 r , (4,4) and (1,7) have better error performance than 8PSK and the 8-ary rectangular set in a

    Rayleigh fading environment. The (1,7) set saves about 2.04 dB power over 8PSK at SER

    1e

    3 and

    (4,4) saves around 1.96 dB over 8PSK as shown in Fig. 2.

    The performances of some 16-ary constellations are presented in Figs. 3 and 4 for the ring ratios speci-

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    17/30

    16

    fied in the figure captions. The performance differences among 16-ary signal sets in Figs. 3 and 4 are more

    pronounced than those of 8-ary signal sets in the presence of the same static channel estimation errors, as

    expected. Circular constellations with two rings such as 16 star-QAM, rotated (8,8), (5,11) and (1,5,10)

    are clearly good choices that are robust to constant channel estimation errors as shown in Figs. 3 and 4.

    The 16-ary hexagonal set, 16 rectangular-QAM, the 16-ary max-density and the 16-ary triangular set no

    longer yield acceptable performance in the presence of the amplitude error q

    2 dB and the phase error

    10 r . Sixteen star-QAM and rotated (8,8) signaling have comparable error performances. Comparing

    Fig. 3 with Fig. 4, it is seen that under-estimating the channel amplitude has less adverse effect on the SER

    than over-estimating the channel amplitude with the same q dB. Some simulation results are plotted in

    Figs. 2 and 4 to verify the analytical SER results.

    Figs. 5-9 present SER results for pilot symbol assisted modulation schemes which introduce dynamic

    channel estimation errors to receiver detection. As described in Section III-B, we use a sinc interpola-

    tor with Hamming windowing in our numerical evaluations. Note that the general SER expression (19) is

    applicable to any linear interpolator and our study shows that Hamming windowing produces better perfor-

    mance than rectangular windowing. Fig. 5 depicts the SERs of pilot symbol assisted 16 rectangular-QAM

    and 16 star-QAM as a function of SNR in Rayleigh fading. Sixteen rectangular-QAM slightly outper-

    forms 16 star-QAM for the perfect channel state information case, and the benefit is greater at higher

    SNR. However, it is clear from Fig. 5 that when dynamic channel estimation errors inherent in PSAM

    schemes are present, the performance degradation of 16 rectangular-QAM is quite severe. The SNR dif-

    ference by numerical evaluation for star-QAM with and without channel estimation error at SER=1e

    3

    is about 2.4 dB, while for rectangular-QAM, the SNR difference is about 3 dB. This shows that star-QAM

    is more robust to channel estimation errors than rectangular-QAM. Pilot symbol assisted 16 star-QAM

    has a slightly better performance than pilot symbol assisted 16 rectangular-QAM, and at very high SNR

    both constellations exhibit error floors. The error floor of 16 star-QAM, however, is less than that of 16

    rectangular-QAM. Simulation results agree well with our theoretical analysis. It is also observed in our

    study that performance differences between the two constellations are more pronounced at higher fading

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    18/30

    17

    rates when channel estimation errors increase.

    The choice of two parameters, frame length L and interpolation order K, depends on a number of

    factors. The larger the frame length L, the less power loss incurred from the pilots inserted in the data

    stream. However, L is upper bounded by the Nyquist Sampling Theorem at L b 12fDT

    . For example, L

    should be less than 16 for fDT

    0

    03. Therefore we choose L

    15. We found that the PSAM system

    would not work with larger values of L, and smaller L does not lead to much performance gain. Once L is

    determined, the SER performance of 16 rectangular-QAM as a function of interpolation order K is plotted

    in Fig. 6. Parameter K determines the buffer size and the detection delay and should be minimized without

    sacrificing the error performance. As can be seen from Fig. 6, the smaller the average SNR of the channel,

    the smaller the value ofK that is sufficient. It is obvious that choosing K

    30 works well for SNR values

    less than 40 dB, but is not sufficient for SNR = 50 dB, where K

    34 reduces error floors noticeably. It

    is observed in our study that K depends on the channel fading rate, the SNR and the frame size L. It does

    not seem to depend strongly on the signal constellation used.

    The ring ratio of pilot symbol assisted 16 star-QAM requires optimization for minimum SER. Note that

    in slow Rayleigh fading with perfect channel state information, the optimum ring ratios are a function of

    SNR and approach an asymptotic value as SNR gets very large [2]. The asymptotic optimum ring ratio

    is 1.952 in Rayleigh fading. Fig. 7 shows the optimum ring ratio of PSAM 16 star-QAM as a function of

    SNR for fDT

    0

    03, L

    15, K

    30 and 34. Obviously the optimum ring ratios no longer approach an

    asymptotic value and are quite different from those of the perfect channel knowledge case. The optimum

    ring ratio of 16 star-QAM is chosen at 2.18 in Fig. 5.

    Fig. 8 shows that pilot symbol assisted (4,4) achieves the best SER performance among 8-ary signal

    sets with fDT

    0

    03, L

    15, and K

    30 in Rayleigh fading. The ring ratio used for (4,4) is 2.4065,

    optimized for SNR

    20 dB. There is about 1

    6 dB power savings for PSAM (4,4) over PSAM 8PSK at

    SER

    1e

    3, which is rather significant when it comes to system design for high speed data. Error floors

    are observed for all signalings at high SNR.

    The SERs of pilot symbol assisted 16-ary signal sets in Rayleigh fading are plotted in Fig. 9 with

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    19/30

    18

    fDT

    0

    03, L

    15, and K

    30. Fig. 9 shows that 16 star-QAM has very comparable performance to the

    rotated (8,8) set and achieves the lowest SER among the five signal sets in the medium to high SNR range.

    Although not plotted here, it is also found in our study that the constellation (5,11) curve is slightly above

    that of the 16-ary max-density, and (1,5,10) almost overlaps with rotated (8,8). The ring ratios used for 16

    star-QAM and rotated (8,8) in Fig. 9 are 2.1674 and 2.1039, respectively.

    Fig. 10 plots the SER curves of 16 rectangular-QAM, 16 star-QAM and QPSK in Rayleigh fading when

    MMSE estimation errors are present. Suppose the variance of the estimation error is 5 dB, 16 star-QAM

    suffers 4.86 dB power loss while 16 rectangular-QAM loses 5.8 dB power for SER at 1e

    3, compared

    to their corresponding perfect coherent detection. In addition, for symbol error probabilities smaller than

    1e

    2, 16 star-QAM saves about 0.6 dB power over 16 rectangular-QAM with 2e 5 dB. The QPSK

    curves obtained agree with the results in [8, Fig. 6], except that the horizontal axis in Fig. 10 is SNR per

    bit whereas it is SNR per symbol in [8, Fig. 6].

    V. CONCLUSION

    The impact of channel estimation errors on the performance of coherent 2-D signaling has been in-

    vestigated in this paper. A new, simple, general method of analysis has been developed for performance

    evaluation of arbitrary polygonal 2-D signaling in Rayleigh fading with imperfect channel estimation. The

    symbol error probability of an arbitrary polygonal 2-D constellation is given by a single integral with finite

    integration interval and is well-suited to numerical evaluation. The practical effects of channel estimation

    errors on signaling performance have been examined by considering static channel estimation errors, pilot

    symbol assisted modulation and minimum mean square error estimation. The SER expression of arbitrary

    2-D signaling with MMSE estimation was further simplified to a closed form. The symbol error proba-

    bilities of six 8-ary signal sets and nine 16-ary signal sets have been numerically evaluated and plotted

    under different kinds of channel estimation errors. Pilot symbol assisted (4,4) displays significant power

    advantage over conventionally used PSAM 8PSK. Pilot symbol assisted 16 star-QAM has been shown

    to be more immune to channel estimation errors than PSAM 16 rectangular-QAM and its performance

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    20/30

    19

    is comparable to PSAM rotated (8,8). It has also been demonstrated that parameters crucial to channel

    estimation schemes and ring ratios of circular constellations can be easily and accurately determined using

    the analytical results presented.

    ACKNOWLEDGEMENT

    The first author wishes to thank Mr. Lei Xiao for his assistance in simulations.

    REFERENCES

    [1] X. Dong, N.C. Beaulieu and P.H. Wittke, Error Probabilities of Two-Dimensional M-ary Signaling in Fading, IEEE Trans. Com-

    mun.,vol. 47, pp. 352-355, Mar. 1999.

    [2] X. Dong, N.C. Beaulieu and P.H. Wittke, Signal constellations for fading channels, IEEE Trans. Commun., vol. 47, pp. 703-714, May

    1999.

    [3] J.K. Cavers, An Analysis of Pilot Symbol Assisted Modulation for Rayleigh Fading Channels, IEEE Trans. Veh. Technol., vol. 40, pp.

    686-693, Nov. 1991.

    [4] Y.S. Kim, C.J. Kim, G.Y. Jeong, Y.J. Bang, H.K. Park and S.S. Choi, New Rayleigh Fading Channel Estimator Based on PSAM

    Channel Sounding Technique, Proc. IEEE Int. Conf. Communications (ICC97), pp. 1518-1520, June 1997.

    [5] X. Tang, M.S. Alouini and A. Goldsmith, Effect of channel estimation error on M-QAM BER performance in Rayleigh fading, IEEE

    Trans. Commun., vol. 47, pp. 1856-1864, Dec. 1999.

    [6] K. Yu, J. Evans and I. Collings, Performance Analysis of Pilot Symbol Aided QAM for Rayleigh Fading Channels, Proc. IEEE Int.

    Conf. Communications (ICC02), Apr. 2002.

    [7] A. Aghamohammadi and H. Meyr, On the Error Probability of Linearly Modulated Signals on Rayleigh Frequency-Flat Fading Chan-

    nels, IEEE Trans. Commun., vol. 38, pp. 1966-1970, Nov. 1990.

    [8] M.G. Shayesteh and A. Aghamohammadi, On the Error Probability of Linearly Modulated Signals on Frequency-Flat Ricean, Rayleigh,

    and AWGN Channels, IEEE Trans. Commun., vol. 43, pp. 1454-1466, Feb./Mar./Apr. 1995.

    [9] S.K. Wilson and J.M. Cioffi, Probability Density Functions for Analyzing Multi-Amplitude Constellations in Rayleigh and Ricean

    Channels, IEEE Trans. Commun., vol. 47, pp. 380-386, Mar. 1999.

    [10] R.A. Wooding, The Multivariate Distribution of Complex Normal Variables, Biometrika, vol. 43, pp. 212-215, June 1956.

    [11] J.W. Craig, A New Simple and Exact Result for Calculating the Probability of Error for Two-Dimensional Signal Constellations, Proc.

    IEEE Milit. Commun. Conf. (MILCOM91), Boston, MA, pp. 571-575, 1991.

    [12] I.S. Gradshteyn and I.M. Ryzhik, A. Jeffrey (editor), Table of Integrals, Series, and Products. Fifth Edition, San Diego, CA: Academic

    Press, 1994.

    [13] S. Sampei and T. Sunaga, Rayleigh fading compensation for QAM in land mobile radio communications, IEEE Trans. Veh. Technol.,

    vol. 42, pp. 137-147, May 1993.

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    21/30

    20

    1

    2,1

    11,1

    i

    x = |OA|1

    7

    1,52,5

    2,75

    7

    5

    1,7

    F

    x = |OF|

    x = |OG|

    O

    G

    i

    5

    7

    A

    B

    C

    D

    O

    E

    R

    R = |OE|

    2

    1

    3

    4

    (a)

    0

    x

    S

    x

    x

    5

    7

    6

    0

    S

    (b)

    Fig. 1. Decision regions and geometric parameters of a (a) closed region and (b) open region.

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    22/30

    21

    0 5 10 15 20 25 30 35 40 45 5010

    5

    104

    103

    102

    101

    100

    Average Eb/N

    0 (dB)

    SymbolEr

    rorProbability

    q=2 dB, =10o

    8PSK8PSK simulation8 Rectangular8 Maxdensity8 Triangular(4,4)(1,7)

    Fig. 2. Average SERs of 8-ary signal sets in Rayleigh fading with amplitude error q Q 2 dB and phase error Q 10 s .

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    23/30

    22

    0 5 10 15 20 25 30 35 40 45 5010

    5

    104

    103

    102

    101

    100

    Average Eb/N

    0(dB)

    SymbolErrorProbability

    q=2 dB, =10o

    16 rect.QAMTriangularHexagonal(4,12)Maxdensity(5,11)16 starQAMRot. (8,8)(1,5,10)

    Fig. 3. Average SERs of 16-ary signal sets in Rayleigh fading with amplitude error qQ

    2 dB and phase error Q

    10 s . The ring ratios used

    for (1,5,10), rotated (8,8), 16 star-QAM, (5,11) and (4,12) are 2.5933, 2.2893, 2.2947, 2.8487 and 3.1764, respectively.

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    24/30

    23

    0 5 10 15 20 25 30 35 40 45 5010

    5

    104

    103

    102

    101

    100

    Average Eb/N

    0(dB)

    SymbolE

    rrorProbability

    q=2 dB, =10o

    16 Hexagonal16 rect.QAM16 rect.QAM simulation16 Maxdensity16 Triangular(4,12)Rot. (8,8)16 starQAM16 starQAM simulation(5,11)(1,5,10)

    Fig. 4. Average SERs of 16-ary signal sets in Rayleigh fading with amplitude error qQ

    2 dB and phase error Q

    10 s . The ring ratios

    used for (1,5,10), rotated (8,8), 16 star-QAM, (5,11) and (4,12) are 2.8939, 2.6987, 2.6846, 3.2253 and 3.497, respectively.

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    25/30

    24

    0 10 20 30 40 50 6010

    5

    104

    103

    102

    101

    100

    Average Eb

    /N0

    (dB)

    SymbolErrorProbability

    L=15, K=30, fD

    T=0.03

    16 rect.QAM, simulation16 starQAM, simulation16 rect.QAM, theory16 starQAM, theory16 rect.QAM, perfect16 starQAM, perfect

    Fig. 5. Average SERs of PSAM 16 rectangular-QAM and 16 star-QAM in Rayleigh fading with fDT Q 0 t 03 L Q 15 K Q 30 t

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    26/30

    25

    5 10 15 20 25 30 35 4010

    5

    104

    103

    102

    101

    100

    K

    SymbolErrorProbability

    SNR=10 dB

    SNR=20 dB

    SNR=30 dB

    SNR=40 dB

    SNR=50 dB

    16 rect.QAMfD

    T=0.03

    L=15

    Fig. 6. Average SERs of PSAM 16 rectangular-QAM as a function ofK in Rayleigh fading with fDT Q 0 t 03 L Q 15 t

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    27/30

    26

    5 10 15 20 25 30 35 402.1

    2.15

    2.2

    2.25

    2.3

    2.35

    2.4

    2.45

    2.5

    Average Eb/N

    0 (dB)

    Optimum

    RingRatio

    K=30K=34

    16 starQAML=15fDT=0.03

    Fig. 7. Optimum ring ratios of PSAM 16 star-QAM in Rayleigh fading with fDT Q 0 t 03 L Q 15 K Q 30 and 34 t

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    28/30

    27

    0 10 20 30 40 50 6010

    5

    104

    103

    102

    101

    100

    Average Eb

    /N0

    (dB)

    SymbolErrorProbability

    L=15, K=30, fD

    T=0.03

    8PSK8PSK simulation8 Rectangular(1,7)8 Maxdensity8 Triangular(4,4)

    Fig. 8. Average SERs of PSAM 8-ary signal sets in Rayleigh fading with fDT Q 0 t 03 L Q 15 K Q 30 t

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    29/30

    28

    0 10 20 30 40 50 6010

    5

    104

    103

    102

    101

    100

    Average Eb

    /N0

    (dB)

    SymbolErrorProbability

    L=15, K=30, fD

    T=0.03

    Hexagonal16 rect.QAMMaxdensityRot. (8,8)16 starQAM

    Fig. 9. Average SERs of PSAM 16-ary signal sets in Rayleigh fading with fDT Q 0 t 03 L Q 15 K Q 30 t

  • 7/27/2019 Symbol Error Prob With Channel Estimate Errors

    30/30

    29

    0 5 10 15 20 25 30 35 40 45 5010

    5

    104

    103

    102

    101

    100

    Average Eb/N

    0(dB)

    SymbolE

    rrorProbability

    16 rect.QAM, MSE=5 dB16 starQAM, MSE=5 dB16 starQAM, perfect16 rect.QAM, perfectQPSK, MSE=1/3 [8]QPSK, perfect

    Fig. 10. Average SERs of 16 star-QAM and 16 rectangular-QAM in Rayleigh fading with MMSE estimation and 2e Q 5 dB, and the SER

    of QPSK with 2e Q 1 E 3.