# Patent

## Title
Pilot symbol assisted modulation signal processing systems and methods

## Abstract

Pilot symbol assisted modulation (PSAM) techniques for Rayleigh and Rician fading channels are derived. Previous techniques implement PSAM signal detectors as an ad-hoc design, using pilot symbols to first estimate channel gain, and then using channel gain estimates in a conventional coherent detector to make data decisions. Although this structure may be effective for binary phase shift keying in Rayleigh fading, it is suboptimal for Rician fading and for 16-ary quadrature amplitude modulation in Rayleigh fading. According to techniques disclosed herein, a PSAM signal detector jointly processes pilot symbols and data symbols. The performance of signal detectors according to embodiments of the invention is analyzed and compared with that of conventional detectors. Numerical results are presented to show that the performance gain of a proposed new PSAM signal detector over conventional PSAM detectors can be as much as 2 or 3 dB for Rician fading in some cases.

## Background
This application is the National Phase of International Application No. PCT/CA2005/001551 filed on Oct. 12, 2005, which claims the benefit of priority of U.S. Provisional application No. 60/617,043 filed on Oct. 12, 2004, which documents are both incorporated herein by reference in their entirety.


FIELD OF THE INVENTION
The invention relates generally to communications, and in particular to pilot symbol assisted modulation techniques.
BACKGROUND OF THE INVENTION
Many wireless communication techniques and components require knowledge of channel state to achieve their optimal performances. In practice, this knowledge is often acquired by estimation. The estimation can be performed blindly by using unknown data symbols only [1]. More frequently, it is performed with the aid of some known symbols. If the channel is fading slowly enough such that the channel parameters remain approximately constant over a relatively long period of time, a training sequence can be used since the channel parameters estimated during the training period are valid for the following data transmission as well. In some practical wireless communication systems, this slow fading condition is not satisfied. In this case, pilot symbols that are interspersed with data symbols are used in conjunction with interpolation, and the channel parameter estimation has to be performed for each individual data symbol. Pilot symbol assisted modulation (PSAM) was proposed to detect signals in fast fading channels in [2]-[4].
A conventional PSAM (CPSAM) system is implemented by periodically inserting pilot symbols known to a receiver into a data sequence. After transmission over the fading channel with the data symbols, these pilot symbols are separated from the received signals and applied to a channel estimator. The channel estimator uses these pilot symbols to generate a channel gain estimate. The channel gain may have changed from the pilot symbol time instant to the data symbol time instant. Therefore, the channel gain is estimated using multiple pilot symbols and an interpolation filter. The interpolated channel gain estimates at the time instants of the data symbols are valid due to the time correlation of the fading. The channel gain estimate is used in a conventional coherent signal detector to make a data decision. It has been shown [2]-[4] that this detector is effective in combating fast fading.
In this conventional detector, estimation of the channel gain and detection of the data symbol have actually been split into two separate operations. One first obtains the channel gain estimate using the pilot symbols, and then uses this estimate in the coherent signal detector to make the data decision. Note that the optimality of the coherent signal detector is only valid under the assumption of perfect channel state information. Note further that the use of the CPSAM signal detector is essentially an intuitive realization of the coherent signal detector when the channel state information is not perfectly known.
Thus, there remains a need for improved PSAM techniques.
SUMMARY OF THE INVENTION
PSAM receivers, illustratively for Rayleigh and Rician fading channels, are provided.
According to one broad aspect, the invention provides an apparatus having an input for receiving from a communication channel a communication signal containing unknown data symbols and known pilot symbols and a communication signal processing module operatively coupled to the input and configured to determine a transmitted value of a received data symbol based on at least one pilot symbol in the received communication signal, a received value of at least one data symbol, and a likelihood function, the likelihood function taking into account an assumption of a fading process on the communication channel and a specular component of the fading process.
In some embodiments, the communication signal processing module is configured to determine a transmitted value of a received data symbol by selecting from a plurality of possible values of the data symbol a value that maximizes the likelihood function.
In some embodiments, the communication signal processing module is configured to determine a transmitted value of a received data symbol by computing a respective intermediate value for each of a plurality of possible values of the data symbol and determining a respective likelihood value for each possible value of the data symbol, the respective likelihood values being a function of a received value of the data symbol and the respective intermediate values.
In some embodiments, each intermediate value is representative of an estimate of a gain of the communication channel, and the communication signal processor is further configured to select as a channel gain estimate for the received data symbol a channel gain estimate associated with a highest of the respective likelihood values.
In some embodiments, the apparatus also includes an output operatively coupled to the communication signal processor, and the communication signal processor is further configured to provide at the output at least one of the determined transmitted value of the received data symbol and the channel gain estimate for the received data symbol.
In some embodiments, the apparatus includes a plurality of antennas for receiving diversity components of the communication signal, and a diversity combiner that is operatively coupled to the plurality of antennas and to the input, and configured to combine the received diversity components to generate the received communication signal.
In some embodiments, the communication signal processor is configured to provide at the output the channel gain estimate for the received data symbol, and the diversity combiner is further operatively coupled to the output and configured to use the channel gain estimate in combining other received diversity components.
In some embodiments, the fading process is a Rician fading process, the likelihood function is

ƒ(rk,p|bk)=∫∫ƒ(rk,p|uk,v,bk)·ƒ(uk,v)dukdv, 

the data symbol has one of a plurality of possible values having equal energies, and the communication signal processing module is configured to determine a transmitted value of a received data symbol based on





  
    
      b
      ^
    
    k
  
  =
  
    
      arg
    
    ⁢
    
      
        max
        
          
            b
            k
          
          ∈
          
            
              {
              
                b
                m
              
              }
            
            
              m
              =
              1
            
            M
          
        
      
      ⁢
      
        
          {
          
            Re
            ⁢
            
              {
              
                
                  r
                  k
                
                ⁢
                
                  b
                  k
                  *
                
                ⁢
                
                  V
                  k
                  *
                
              
              }
            
          
          }
        
        .
      
    
  




In some embodiments, the fading process is a Rician fading process, the likelihood function is

ƒ(rk,p|bk)=∫∫ƒ(rk,p|uk,v,bk)·ƒ(uk,v)dukdv, 

the data symbol has one of a plurality of possible values having unequal energies, and the communication signal processing module is configured to determine a transmitted value of a received data symbol based on





  
    
      b
      ^
    
    k
  
  =
  
    
      arg
    
    ⁢
    
      
        max
        
          
            
              
                b
                k
              
              ∈
            
            ^
          
          ⁢
          
            
              {
              
                b
                m
              
              }
            
            
              m
              =
              1
            
            M
          
        
      
      ⁢
      
        
          {
          
            
              Re
              ⁢
              
                {
                
                  
                    r
                    k
                  
                  ⁢
                  
                    b
                    k
                    *
                  
                  ⁢
                  
                    V
                    k
                    *
                  
                
                }
              
            
            -
            
              
                σ
                n
                4
              
              ⁢
              ln
              ⁢
              
                
                
                  
                    
                      
                        
                        
                          b
                          k
                        
                        
                      
                      2
                    
                    
                      σ
                      n
                      2
                    
                  
                  +
                  d
                
                
              
            
            +
            
              
                σ
                n
                4
              
              ⁢
              
                A
                k
              
            
            +
            
              
                σ
                n
                4
              
              ⁢
              
                B
                k
              
            
          
          }
        
        .
      
    
  




In some embodiments, the apparatus is implemented in a communication signal receiver.
Another aspect of the invention provides a method including operations of receiving from a communication channel a communication signal containing unknown data symbols and known pilot symbols, and determining a transmitted value of a received data symbol based on at least one pilot symbol in the received communication signal, a received value of at least one data symbol, and a likelihood function, the likelihood function taking into account an assumption of a fading process on the communication channel and a specular component of the fading process.
In some embodiments, the operation of determining involves selecting from a plurality of possible values of the data symbol a value that maximizes the likelihood function.
In some embodiments, the operation of determining involves computing a respective intermediate value for each of a plurality of possible values of the data symbol, and determining a respective likelihood value for each possible value of the data symbol, the respective likelihood values being a function of a received value of the data symbol and the respective intermediate values.
In some embodiments, the method also includes using an intermediate value computed for a received data symbol in performing a function for another received communication signal.
In some embodiments, the operation of receiving involves receiving a plurality of diversity components of the communication signal and combining the received diversity components to generate the received communication signal, and the operation of using comprises using the intermediate value in combining other received diversity components.
In some embodiments, the fading process is a Rician fading process, the likelihood function is

ƒ(rk,p|bk)=∫∫ƒ(rk,p|uk,v,bk)·ƒ(uk,v)dukdv 

the data symbol has one of a plurality of possible values having equal energies, and determining involves determining a transmitted value of a received data symbol based on





  
    
      b
      ^
    
    k
  
  =
  
    
      arg
    
    ⁢
    
      
        max
        
          
            b
            k
          
          ∈
          
            
              {
              
                b
                m
              
              }
            
            
              m
              =
              1
            
            M
          
        
      
      ⁢
      
        
          {
          
            Re
            ⁢
            
              {
              
                
                  r
                  k
                
                ⁢
                
                  b
                  k
                  *
                
                ⁢
                
                  V
                  k
                  *
                
              
              }
            
          
          }
        
        .
      
    
  




In some embodiments, the fading process is a Rician fading process, the likelihood function is

ƒ(rk,p|bk)=∫∫ƒ(rk,p|uk,v,bk)·ƒ(uk,v)dukdv 

the data symbol has one of a plurality of possible values having unequal energies, and determining involves determining a transmitted value of a received data symbol based on





  
    
      b
      ^
    
    k
  
  =
  
    
      arg
    
    ⁢
    
      
        max
        
          
            b
            k
          
          ∈
          
            
              {
              
                b
                m
              
              }
            
            
              m
              =
              1
            
            M
          
        
      
      ⁢
      
        
          {
          
            
              Re
              ⁢
              
                {
                
                  
                    r
                    k
                  
                  ⁢
                  
                    b
                    k
                    *
                  
                  ⁢
                  
                    V
                    k
                    *
                  
                
                }
              
            
            -
            
              
                σ
                n
                4
              
              ⁢
              ln
              ⁢
              
                
                
                  
                    
                      
                        
                        
                          b
                          k
                        
                        
                      
                      2
                    
                    
                      σ
                      n
                      2
                    
                  
                  +
                  d
                
                
              
            
            +
            
              
                σ
                n
                4
              
              ⁢
              
                A
                k
              
            
            +
            
              
                σ
                n
                4
              
              ⁢
              
                B
                k
              
            
          
          }
        
        .
      
    
  




In some embodiments, a computer readable medium stores instructions executable by one or more processing elements for performing a method.
There is also provided an apparatus which includes an input for receiving a communication signal containing unknown data symbols and known pilot symbols, and a communication signal processing module operatively coupled to the input and configured to determine a transmitted value of an unknown data symbol from possible values of at least one unknown data symbol that maximizes a likelihood function, the likelihood function taking into account an assumption of a fading process and being a function of a) a known value of the at least one pilot symbol and received samples of the at least one pilot symbol, and b) received samples of the at least one unknown data symbol and the possible values of the at least one unknown data symbol.
In some embodiments, the fading process is a Rayleigh process, the likelihood function is

ƒ(rk,p|bk)=∫∫ƒ(rk,p|uk,v,bk)·ƒ(uk,v)dukdv 

the unknown data symbol has one of a plurality of possible values having equal energies, and the communication signal processing module is configured to determine a transmitted value of an unknown data symbol based on





  
    
      b
      ^
    
    k
  
  =
  
    
      arg
    
    ⁢
    
      
        max
        
          
            b
            k
          
          ∈
          
            
              {
              
                b
                m
              
              }
            
            
              m
              =
              1
            
            M
          
        
      
      ⁢
      
        
          {
          
            Re
            ⁢
            
              {
              
                
                  r
                  k
                
                ⁢
                
                  b
                  k
                  *
                
                ⁢
                
                  X
                  k
                  *
                
              
              }
            
          
          }
        
        .
      
    
  




In some embodiments, the fading process is a Rayleigh process, the likelihood function comprises

ƒ(rk,p|bk)=∫∫ƒ(rk,p|uk,v,bk)·ƒ(uk,v)dukdv 

the unknown data symbol has one of a plurality of possible values having unequal energies, and the communication signal processing module is configured to determine a transmitted value of an unknown data symbol based on





  
    
      b
      ^
    
    k
  
  =
  
    
      arg
    
    ⁢
    
      
    
    ⁢
    
      
        max
        
          
            b
            k
          
          ∈
          
            
              {
              
                b
                m
              
              }
            
            
              m
              =
              1
            
            M
          
        
      
      ⁢
      
        
          {
          
            
              Re
              ⁢
              
                {
                
                  
                    r
                    k
                  
                  ⁢
                  
                    b
                    k
                    *
                  
                  ⁢
                  
                    X
                    k
                    *
                  
                
                }
              
            
            -
            
              
                σ
                n
                4
              
              ⁢
              ln
              ⁢
              
                
                
                  
                    
                      
                        
                        
                          b
                          k
                        
                        
                      
                      2
                    
                    
                      σ
                      n
                      2
                    
                  
                  +
                  d
                
                
              
            
            +
            
              
                σ
                n
                4
              
              ⁢
              
                A
                k
              
            
          
          }
        
        .
      
    
  




There is also provided a method which includes receiving a communication signal containing unknown data symbols and known pilot symbols, and determining a transmitted value of an unknown data symbol from possible values of at least one unknown data symbol that maximizes a likelihood function. The likelihood function takes into account an assumption of a fading process and is a function of a) a known value of the at least one pilot symbol and received samples of the at least one pilot symbol, and b) received samples of the at least one unknown data symbol and the possible values of the at least one unknown data symbol.
Other aspects and features of embodiments of the present invention will become apparent to those ordinarily skilled in the art upon review of the following description.



BRIEF DESCRIPTION OF THE DRAWINGS
Examples of embodiments of the invention will now be described in greater detail with reference to the accompanying drawings, in which:
FIG. 1 is a block diagram of a conventional CPSAM receiver.
FIG. 2 is a block diagram of a receiver in which joint pilot and data recovery are implemented.
FIG. 3 is a block diagram of a receiver in which joint channel estimation based on both pilot and data symbols is implemented.
FIG. 4 is a flow diagram of a communication signal processing method.
FIGS. 5-7 are example signal detector performance plots for Binary Phase Shift Keying (BPSK) signaling in Rayleigh and Rician fading channels.
FIGS. 8-10 are example signal detector performance plots for 16-ary Quadrature Amplitude Modulation (16-QAM) signaling in Rayleigh and Rician fading channels.
FIG. 11 is an example performance plot for a signal detector according to an embodiment of the invention for BPSK signaling in a Rician fading channel.



DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENTS
FIG. 1 is a block diagram of a conventional CPSAM receiver 10, which includes a pilot extraction module 12, a channel estimation module 14, and a coherent detection data recovery module 16. A signal received by the pilot extraction module 12 contains known pilot symbols and unknown data symbols, and is processed to extract the pilot symbols. Channel estimation is performed by the channel estimation module 14 on the basis of the pilot symbols to produce channel estimates. These channel estimates are then used by the data recovery module 16 in performing data recovery for the unknown data samples using coherent detection.
According to an embodiment of the invention, rather than performing channel estimation and signal detection separately and independently, channel estimation and signal detection are performed jointly. Effectively, a better channel estimate that takes advantage of the characteristics of the data as well as the pilot is generated.
Broadly speaking, the design of a signal detector of an embodiment of the invention may involve deriving a likelihood function for the joint processing of data symbols and pilot symbols. In some embodiments, the likelihood function takes into account a “line of sight” or specular component. The likelihood function for each data symbol may also or instead be a function of a known value of at least one pilot symbol and a received sample of each of the at least one pilot symbol, received samples of one or more unknown data symbols and possible values of the one or more unknown data symbol, and a known fading process.
Signal detection may then be performed by determining the values of data symbols selected from the possible values of the unknown data symbols that maximize the likelihood function.
Referring now to FIG. 2, shown is a block diagram of a receiver 20 in which joint pilot and data recovery are implemented. The receiver 20 includes one or more antennas 22, a receiver front end 24 which may implement such functions as diversity combining where the receiver includes multiple antennas 22, and a joint pilot and data recovery module 26.
Those skilled in the art will appreciate that the specific implementation of the antenna(s) 22, the receiver front end 24, and the joint pilot and data recovery module 26 will be dependent upon the type of communication signals which the receiver 20 is intended to receive. Generally, the antenna(s) 22 will be implemented in hardware, although the receiver front end 24 and/or the module 26 may be implemented using any of hardware, processing hardware executing software, firmware, or any suitable combination thereof. A processing element such as a microprocessor, an Application Specific Integrated Circuit (ASIC), a Field Programmable Gate Array (FPGA), or a Digital Signal Processor (DSP), for example, may be suitable for this purpose.
In operation, a received signal containing known pilot symbols and unknown data symbols is received at the antenna(s) 22 and may be processed by the receiver front end 24. Received samples of the pilot symbols and unknown data symbols are processed jointly by the module 26 to produce for each data symbol a recovered data symbol that maximizes the likelihood function for the joint processing of pilot and data symbols.
According to one embodiment, a feedback connection 27 is provided between the receiver front end 24 and the module 26 to allow channel information determined by the module 26 to be used by the receiver front end 24 for initial communication signal processing. Diversity combining, for example, uses channel estimates to combine signals received by different antennas, and accordingly channel estimates determined by the module 26 could be fed back to a diversity combiner in the receiver front end 24.
Practically, the joint processing can be split into two steps such as shown in FIG. 3, which is a block diagram of a receiver 30 in which joint channel estimation based on both pilot and data symbols is implemented. The receiver 30 is substantially similar in structure to the receiver 20 (FIG. 2) in that it includes one or more antennas 32 and a receiver front end 34. In the receiver 30, however, the functions of the joint pilot and data recovery module 26 have been split between a joint channel estimation module 36 and a signal detector 38.
The various components of the receiver 30, like those of the receiver 20, may be implemented using hardware, processing hardware executing software, firmware, or some combination thereof, although at least the antenna(s) 32 would normally be provided as hardware.
A first part of the processing performed by the joint channel estimation module 36 determines an intermediate value of the likelihood function for each possible value of an unknown data symbol received through the antenna(s) 32 and the receiver front end 34. This can be used to determine a value that is somewhat analogous to a channel gain estimate. The channel gain estimate is a function of the received sample for one or more pilot symbols, the received sample for an unknown data symbol, and the unknown value of the data symbol. XK is a function of the received samples. Thus, if there are M possible different values for the unknown data symbol, M channel gain estimates are produced. Next data recovery/signal detection is performed by the signal detector 38 using the M channel estimates to determine the most likely transmitted data symbol.
The receiver 30 may also include a feedback connection 37 for feeding the channel estimates back to the receiver front end 34. These channel estimates may then be used in the receiver front end 34 for such signal processing tasks as diversity combining for instance.
The form of the signal detector 38 will depend upon the nature of the fading channel over which the signal was transmitted. Two example signal detectors are derived below for Rayleigh and Rician fading channels under very specific circumstances concerning the channel and concerning pilot and data symbol location. Similar derivations can be performed for applications where these specific circumstances are not met, in particular, for receiver systems using diversity.
Of particular significance is the solution for the Rician fading channel. Such a channel includes a line of sight component, something that is not taken into account with conventional PSAM detection schemes such as that described with reference to FIG. 1. The Rician fading channel assumption effectively becomes an input to the determination of the joint likelihood function.
The above summarizes PSAM techniques provided by illustrative embodiments of the invention. Although the embodiments described above provide receivers adapted to implement these techniques for signal detection, other embodiments may use these techniques for diversity combining, as noted above, for signal detection and diversity combining done jointly or separately, or for other purposes, some of which are described herein. In the case of diversity combining, for example, joint PSAM techniques may be used in conjunction with either a conventional diversity combiner which combines received communication signals from different antennas in a known manner, or a modified diversity combiner which is adapted to receive channel information determined in accordance with joint PSAM techniques.
It will be appreciated from the foregoing that an embodiment of the invention may be considered a form of a communication signal processor, which may include a joint pilot and data recovery module such as 26 (FIG. 2) or a joint channel estimation module 36 (FIG. 3), possibly in combination with a signal detector 38. An input to this communication signal processor may come from the antenna(s) 22, 32 or from another component, illustratively the receiver front end 24, 34, which performs some initial processing such as diversity combining.
Recovered data symbols, intermediate values such as channel gain estimates used in signal detection, or both, may be made provided at an output of a communication signal processor. Recovered data symbols may be provided to downstream components in a receive path, and channel gain estimates may be provided to upstream components for use by a diversity combiner, for example.
FIG. 4 is a flow diagram of a communication signal processing method. The method 40 begins at 42 with an operation of receiving a communication signal, or multiple diversity components in the case of a diversity receiver, from a communication channel.
At 44, initial processing of the communication signal, to combine received diversity components, for example, may be performed.
A value of a received data symbol in the received communication signal is determined at 46. As described in detail above, this determination may be based on both pilot symbols and data symbols in the received communication signal, as well as a likelihood function which takes into account an assumption of a fading process on the communication channel and a specular component of the fading process.
The determined data symbol values and/or intermediate values or information used in determining the data symbol values may be used in performing a function for another received communication signal, and possibly for other purposes. The use of such information for initial processing of received signal(s) is represented in FIG. 4 by the dashed line connecting 46, 44. Diversity combining is one example of a function which may use information determined during a signal detection process, although other functions, performed upstream or downstream of signal detection, may similarly use channel information or other information generated during signal detection.
It should be appreciated that the method 40, like the contents of the other drawings, is intended solely for the purposes of illustration. Other embodiments of the invention may include further, fewer, or different operations which are performed in a similar or different order than explicitly shown. Similar variations may be made in the general receiver structures 20, 30 of FIGS. 2 and 3, to provide further, fewer, or different elements, interconnected in a similar or different manner than shown.
Embodiments of the invention have been described above primarily in the context of apparatus and methods. However, further implementations are also contemplated. For example, another embodiment of the invention provides a computer readable medium having instructions stored thereon executable by one or more processing elements for implementing any of the techniques described herein.
Details of particular examples of joint PSAM (JPSAM) signal detection in Rayleigh and Rician fading channels will now be described. These are to be considered very specific examples of the generalized detectors and techniques introduced above. A signal detector is derived below by maximizing the likelihood function that is obtained based on using both pilot symbols and data symbols. It is assumed that the auto-covariance function of the fading process is known, as was assumed in [2] and [4]. The bit error rate (BER) of BPSK is obtained analytically, while the symbol error rate (SER) of 16-QAM is obtained by simulation. Performance of an example JPSAM detector is compared with that of the CPSAM detector. Numerical examples are presented to show that a JPSAM according to an embodiment of the invention detector can have substantially better performance than the CPSAM detector in Rician fading.
System Model
Consider a PSAM system where symbols are transmitted in frames of length K. Without loss of generality, assume that, in each frame, the first symbol is a pilot symbol and the following K−1 symbols are data symbols. Each data symbol comes from a set of M possible signals, {bm}m=1M. The pilot symbol usually comes from the same signaling set, but its value is known as {tilde over (b)}. In some embodiments, the pilot symbols may be derived from other circuitry and be highly reliable rather than known. These frames are transmitted over a flatly fading channel. The received signal can be written as

r(t)=u(t)s(t)+n(t)  (1)

where u(t) is the complex channel gain, s(t) is the transmitted signal, and n(t) is additive white Gaussian noise (AWGN). Following the model in [2], the transmitted signal, s(t), satisfies





  
    
      
        
          s
          ⁡
          
            (
            t
            )
          
        
        =
        
          
            ∑
            
              j
              =
              
                -
                ∞
              
            
            ∞
          
          ⁢
          
            
              b
              j
            
            ⁢
            
              p
              ⁡
              
                (
                
                  t
                  -
                  jT
                
                )
              
            
          
        
      
    
    
      
        (
        2
        )
      
    
  




where bj is the value of the j-th symbol coming from {bm}m=1M, T is the symbol period, and p(t) is the shaping pulse with energy Ep. If the j-th symbol is a pilot symbol, bj={tilde over (b)} is known. Otherwise, it is unknown and may be one of M possible values.

The complex channel gain, u(t), is a Gaussian random process. Denoting u(t) as u(t)=uR(t)+juI(t), if the channel is Rayleigh faded, one has [5]

E{uR(t)}=E{uI(t)}=0  (3a)

Cov(uR(t),uI(t))=0  (3b)

Cov(uR(t),uR(t))=Cov(uI(t),uI(t))=σu2{tilde over (R)}u(τ)  (3c)

where

Cov(uR(t),uI(t))=E{[uR(t)−E{uR(t)}][uI(t+τ)−E{uI(t+τ)}]} is the cross-covariance between uR(t) and uI(t),
Cov(uR(t),uR(t))=E{[uR(t)−E{uR(t)}][uR(t+τ)−E{uR(t+τ)}]} is the auto-covariance of uR(t),
Cov(uI(t),uI(t))=E{[uI(t)−E{uI(t)}][uI(t+τ)−E{uI(t+τ)}]} is the auto-covariance of uI(t), and
{tilde over (R)}u(τ) is the normalized auto-covariance function with {tilde over (R)}u(0)=1.
If the channel is Rician faded, one then has [5]

E{uR(t)}=mR(t)  (4a)

E{uI(t)}=mI(t)  (4b)

Cov(uR(t),uI·(t))=0  (4c)

Cov(uR(t),uR(t))=Cov(uI(t),uI(t))=σu2{tilde over (R)}u(τ)  (4d)

Note that (3) is a special case of (4) when mR(t)=0 and mI(t)=0. If the scattering in the Rayleigh or Rician channel is isotropic, one further has [5]

{tilde over (R)}u(τ)=J0(2πƒDτ)  (5)

where ƒD is the maximum Doppler shift in the channel.

Although the analysis is not limited to any specific {tilde over (R)}u(τ), (5) will be used below to obtain illustrative examples. The noise n(t) is also a Gaussian random process. It has mean zero and





  
    auto
    ⁢
    
      -
    
    ⁢
    covariance
    ⁢
    
      
    
    ⁢
    
      1
      2
    
    ⁢
    E
    ⁢
    
      {
      
        
          n
          ⁡
          
            (
            t
            )
          
        
        ⁢
        
          
            n
            *
          
          ⁡
          
            (
            
              t
              +
              τ
            
            )
          
        
      
      }
    
  
  =
  
    
      N
      0
    
    ⁢
    
      
        δ
        ⁡
        
          (
          τ
          )
        
      
      .
    
  




Similar to [2], it is assumed that no inter-symbol interference occurs. The received signal in (1) is matched filtered and sampled at the time t=jT. The received signal sample of the j-th symbol is

rj=u(jT)bjEp+nj  (6)

where u(jT) is the Gaussian channel gain sample with mean zero (on a Rayleigh fading channel) or mR(jT)+jmI(jT) (on a Rician fading channel) and variance σu2, and nj is a Gaussian noise sample with mean zero and variance σn2=N0Ep. The average signal-to-noise ratio (SNR) per bit is derived from (6) as





  
    
      
        
          γ
          b
          ′
        
        =
        
          
            
              
                E
                p
                2
              
              ⁢
              Ω
            
            
              
                σ
                n
                2
              
              ⁢
              
                log
                2
              
              ⁢
              M
            
          
          ⁢
          E
          ⁢
          
            {
            
              
                
                
                  b
                  j
                
                
              
              2
            
            }
          
        
      
    
    
      
        (
        7
        )
      
    
  




where





  Ω
  =
  
    
      1
      2
    
    ⁢
    E
    ⁢
    
      {
      
        
          u
          ⁡
          
            (
            jT
            )
          
        
        ⁢
        
          
            u
            *
          
          ⁡
          
            (
            jT
            )
          
        
      
      }
    
  




is the mean power of the fading and E{|bj|2} is the average energy of the transmitted signal. This measure gives the SNR value for any symbol, including the data symbols and the pilot symbols. A more useful SNR measure should reflect the power penalty caused by sending the pilot symbols. The effective average SNR per bit can be obtained by dividing the total power of one frame with the number of data symbols in it. This gives





  
    
      
        
          γ
          b
        
        =
        
          
            
              
                E
                p
                2
              
              ⁢
              Ω
            
            
              
                σ
                n
                2
              
              ⁢
              
                log
                2
              
              ⁢
              M
            
          
          ·
          
            
              
                
                  
                    
                    
                      b
                      ~
                    
                    
                  
                  2
                
                +
                
                  
                    (
                    
                      K
                      -
                      1
                    
                    )
                  
                  ⁢
                  E
                  ⁢
                  
                    {
                    
                      
                        
                        
                          b
                          j
                        
                        
                      
                      2
                    
                    }
                  
                
              
              
                K
                -
                1
              
            
            .
          
        
      
    
    
      
        (
        8
        )
      
    
  




Without loss of generality, let the n-th symbol in the transmitted sequence be a pilot symbol. Then, the (n+1)-th, (n+2)-th, . . . , (n+K−1)-th symbols in the transmitted sequence are data symbols in the same frame. Assume that the J nearest pilot symbols are used to assist the data symbol detection in a frame. Let the function, [x], return the largest integer that is less than x. In this case, the




  
    
      (
      
        n
        +
        
          
            [
            
              -
              
                
                  J
                  -
                  1
                
                2
              
            
            ]
          
          ⁢
          K
        
      
      )
    
    ⁢
    
      -
    
    ⁢
    th
  
  ,




. . . , n-th, . . . ,





  
    (
    
      n
      +
      
        
          [
          
            
              J
              -
              1
            
            2
          
          ]
        
        ⁢
        K
      
    
    )
  
  ⁢
  
    -
  
  ⁢
  th




symbols in the transmitted sequence are the pilot symbols that will be used to assist the detection of the (n+1)-th, (n+2)-th, . . . , (n+K−1)-th symbols in the transmitted sequence, which are data symbols. For clarity, it is desirable to use different notations to denote the received signal for a data symbol and the received signals for the pilot symbols. It is also desirable to replace the indices,





  
    (
    
      n
      +
      
        
          [
          
            -
            
              
                J
                -
                1
              
              2
            
          
          ]
        
        ⁢
        K
      
    
    )
  
  ,




. . . , n, . . . ,





  
    (
    
      n
      +
      
        
          [
          
            
              J
              -
              1
            
            2
          
          ]
        
        ⁢
        K
      
    
    )
  
  ,




with some simpler indices. Denote the received signal sample of the data symbol to be detected as

rk=ukbk+nk  (9)

where uk=u(kT)Ep and k=n+1,n+2, . . . , n+K−1. Also, denote the received signal samples of the pilot symbols that will be used to assist the detection of bk as

pi=vi{tilde over (b)}+ni  (10)

where vi=u(iT)Ep and i=(1),(2), . . . , (J) corresponds to the indexes,





  
    (
    
      n
      +
      
        
          [
          
            -
            
              
                J
                -
                1
              
              2
            
          
          ]
        
        ⁢
        K
      
    
    )
  
  ,
  ...
  ⁢
  
    
  
  ,
  n
  ,
  ...
  ⁢
  
    
  
  ,
  
    (
    
      n
      +
      
        
          [
          
            
              J
              -
              1
            
            2
          
          ]
        
        ⁢
        K
      
    
    )
  
  ,




respectively. Express the complex channel gains as uk=ukR+jukI and vi=viR+jviI. It can be derived from (3) and (4) that the covariance between ukR and viR (or ukI and viI) is wk(i)=Ep2σu2{tilde over (R)}u((k−i)T), i=(1),(2), . . . , (J), and the covariance between viR and vjR (or viI and vjI) is Ck(i,j)=Ep2σu2{tilde over (R)}u((i−j)T), i,j=(1),(2), . . . , (J). Finally, introduce the notations wk=[wk((1)) wk((2)) . . . wk((J))] and Ck={Ck(i,j)}, where Ck(i,j) is the (i,j)-th element of Ck, for later use.

By using the assumptions and notations defined above, it can be derived from (9) that the conditional probability density function (PDF) of rk, conditioned on uk and bk, is




  
    
      
        
          f
          ⁡
          
            (
            
              
                
                  r
                  k
                
                |
                
                  u
                  k
                
              
              ,
              
                b
                k
              
            
            )
          
        
        =
        
          
            1
            
              2
              ⁢
              
                πσ
                n
                2
              
            
          
          ⁢
          exp
          ⁢
          
            
              {
              
                
                  -
                  
                    1
                    
                      2
                      ⁢
                      
                        σ
                        n
                        2
                      
                    
                  
                
                ⁢
                
                  
                    
                    
                      
                        r
                        k
                      
                      -
                      
                        
                          u
                          k
                        
                        ⁢
                        
                          b
                          k
                        
                      
                    
                    
                  
                  2
                
              
              }
            
            .
          
        
      
    
    
      
        (
        11
        )
      
    
  




Similarly, the conditional PDF of pi, conditioned on v1, can be derived from (10) as





  
    
      
        
          f
          ⁡
          
            (
            
              
                p
                i
              
              |
              
                v
                i
              
            
            )
          
        
        =
        
          
            1
            
              2
              ⁢
              
                πσ
                n
                2
              
            
          
          ⁢
          exp
          ⁢
          
            
              {
              
                
                  -
                  
                    1
                    
                      2
                      ⁢
                      
                        σ
                        n
                        2
                      
                    
                  
                
                ⁢
                
                  
                    
                    
                      
                        p
                        i
                      
                      -
                      
                        
                          v
                          i
                        
                        ⁢
                        
                          b
                          ~
                        
                      
                    
                    
                  
                  2
                
              
              }
            
            .
          
        
      
    
    
      
        (
        12
        )
      
    
  




Since the symbol-spaced noise samples are independent, from (11) and (12), the conditional joint PDF of rk and pi (i=(1),(2), . . . , (J)), conditioned on uk, bk and vi (i=(1),(2), . . . , (J)), can be obtained as





  
    
      
        
          f
          ⁡
          
            (
            
              
                r
                k
              
              ,
              
                p
                |
                
                  u
                  k
                
              
              ,
              v
              ,
              
                b
                k
              
            
            )
          
        
        =
        
          
            1
            
              
                (
                
                  2
                  ⁢
                  
                    πσ
                    n
                    2
                  
                
                )
              
              
                J
                +
                1
              
            
          
          ⁢
          exp
          ⁢
          
            {
            
              
                
                  -
                  
                    1
                    
                      2
                      ⁢
                      
                        σ
                        n
                        2
                      
                    
                  
                
                ⁢
                
                  
                    
                    
                      
                        r
                        k
                      
                      -
                      
                        
                          u
                          k
                        
                        ⁢
                        
                          b
                          k
                        
                      
                    
                    
                  
                  2
                
              
              -
              
                
                  1
                  
                    2
                    ⁢
                    
                      σ
                      n
                      2
                    
                  
                
                ⁢
                
                  
                    ∑
                    
                      i
                      =
                      
                        (
                        I
                        )
                      
                    
                    
                      (
                      J
                      )
                    
                  
                  ⁢
                  
                    
                      
                      
                        
                          p
                          i
                        
                        -
                        
                          
                            v
                            i
                          
                          ⁢
                          
                            b
                            ~
                          
                        
                      
                      
                    
                    2
                  
                
              
            
            }
          
        
      
    
    
      
        (
        13
        )
      
    
  




where p=[p(1)p(2) . . . p(J)] and v=[v(1)v(2) . . . v(J)]. Finally, the likelihood function for joint processing of the data symbol and the pilot symbols can be derived by solving

ƒ(rk,p|bk)=∫∫ƒ(rk,p|uk,v,bk)·ƒ(uk,v)dukdv  (14)

where ƒ(uk,v) is the joint PDF of uk and v. In one embodiment, a JPSAM signal detector is obtained by maximizing (14) with respect to bk.

Various assumptions have been made about the channel and signals. These assumptions include known auto-covariance of fading process, flat fading channel, complex Gaussian channel gain, and no inter-symbol interference. These assumptions are used to model a system upon which a solution is based. In some cases, the resulting solution is optimum if these assumptions hold true. It is to be clearly understood that the resulting solution can also be applied in systems in which one or more of the assumptions do not hold true. This may sometimes result in sub-optimal performance.
Joint PSAM Signal Detectors
To derive the value of bk that maximizes (14), one needs to solve the integration in (14) first. Since the joint PDF of uk and v, ƒ(uk,v), depends on the fading channel model, the optimum maximum likelihood detector for the PSAM signal on Rayleigh and Rician fading channels are examined separately below.
A. Rayleigh Fading Channel
In a Rayleigh fading channel, the statistics of the fading process are determined by (3). Thus, the joint PDF of uk and v can be derived as




  
    
      
        
          f
          ⁡
          
            (
            
              
                u
                k
              
              ,
              v
            
            )
          
        
        =
        
          
            1
            
              
                
                  (
                  
                    2
                    ⁢
                    π
                  
                  )
                
                
                  J
                  +
                  1
                
              
              ⁢
              
                
                
                  H
                  k
                
                
              
            
          
          ⁢
          
            e
            
              
                
                  -
                  
                    1
                    2
                  
                
                ⁢
                
                  u
                  R
                
                ⁢
                
                  H
                  k
                  
                    -
                    1
                  
                
                ⁢
                
                  u
                  R
                  T
                
              
              -
              
                
                  1
                  2
                
                ⁢
                
                  u
                  I
                
                ⁢
                
                  H
                  k
                  
                    -
                    1
                  
                
                ⁢
                
                  u
                  J
                  T
                
              
            
          
        
      
    
    
      
        (
        15
        )
      
    
  




where T denotes the transpose of a matrix or a vector, |Hk| denotes the determinant of Hk, Hk−1 denotes the inverse of Hk, uR=[ukRv(1)Rv(2)R . . . v(J)R] is a 1×(J+1) row vector consisting of the real components of the channel gains, uI=[ukIv(1)Iv(2)I . . . v(J)I] is a 1×(J+1) row vector consisting of the imaginary components of the channel gains, Hk is the (J+1)×(J+1) covariance matrix with





  
    
      
        
          H
          k
        
        =
        
          [
          
            
              
                
                  
                    E
                    p
                    2
                  
                  ⁢
                  
                    σ
                    u
                    2
                  
                
              
              
                
                  w
                  k
                
              
            
            
              
                
                  w
                  k
                  T
                
              
              
                
                  C
                  k
                
              
            
          
          ]
        
      
    
    
      
        (
        16
        )
      
    
  




and wk, Ck are defined as before. By using (15) in (14) and solving the resulting integral, it is shown in Appendix A that





  
    
      
        
          
            f
            ⁡
            
              (
              
                
                  r
                  k
                
                ,
                
                  p
                  |
                  
                    b
                    k
                  
                
              
              )
            
          
          =
          
            
              1
              
                
                  
                    (
                    
                      2
                      ⁢
                      
                        πσ
                        n
                        2
                      
                    
                    )
                  
                  
                    J
                    +
                    1
                  
                
                ⁢
                
                  
                  
                    H
                    k
                  
                  
                
                ⁢
                
                  
                  
                    F
                    k
                  
                  
                
              
            
            ⁢
            
              e
              
                
                  
                    1
                    2
                  
                  ⁢
                  α
                  ⁢
                  
                    
                  
                  ⁢
                  
                    F
                    k
                    
                      -
                      1
                    
                  
                  ⁢
                  
                    α
                    T
                  
                
                +
                
                  
                    1
                    2
                  
                  ⁢
                  β
                  ⁢
                  
                    
                  
                  ⁢
                  
                    F
                    k
                    
                      -
                      1
                    
                  
                  ⁢
                  
                    β
                    T
                  
                  ⁢
                  
                    
                      
                        
                        
                          r
                          k
                        
                        
                      
                      2
                    
                    
                      2
                      ⁢
                      
                        σ
                        n
                        2
                      
                    
                  
                  ⁢
                  
                    
                      
                        ∑
                        
                          I
                          =
                          
                            (
                            1
                            )
                          
                        
                        
                          (
                          J
                          )
                        
                      
                      ⁢
                      
                        
                          
                          
                            p
                            I
                          
                          
                        
                        2
                      
                    
                    
                      2
                      ⁢
                      
                        σ
                        n
                        2
                      
                    
                  
                
              
            
          
        
        ⁢
        
          

        
        ⁢
        where
        ⁢
        
          

        
        ⁢
        
          
            α
            =
            
              [
              
                
                  
                    Re
                    ⁢
                    
                      {
                      
                        
                          r
                          k
                        
                        ⁢
                        
                          b
                          k
                          *
                        
                      
                      }
                    
                  
                  
                    σ
                    n
                    2
                  
                
                ⁢
                
                  
                    Re
                    ⁢
                    
                      {
                      
                        
                          p
                          
                            (
                            1
                            )
                          
                        
                        ⁢
                        
                          
                            b
                            ~
                          
                          *
                        
                      
                      }
                    
                  
                  
                    σ
                    n
                    2
                  
                
                ⁢
                
                  
                
                ⁢
                ...
                ⁢
                
                  
                
                ⁢
                
                  
                    Re
                    ⁢
                    
                      {
                      
                        
                          p
                          
                            (
                            J
                            )
                          
                        
                        ⁢
                        
                          
                            b
                            ~
                          
                          *
                        
                      
                      }
                    
                  
                  
                    σ
                    n
                    2
                  
                
              
              ]
            
          
          ,
          
            

          
          ⁢
          
            β
            =
            
              [
              
                
                  
                    Im
                    ⁢
                    
                      {
                      
                        
                          r
                          k
                        
                        ⁢
                        
                          b
                          k
                          *
                        
                      
                      }
                    
                  
                  
                    σ
                    n
                    2
                  
                
                ⁢
                
                  
                    Im
                    ⁢
                    
                      {
                      
                        
                          p
                          
                            (
                            1
                            )
                          
                        
                        ⁢
                        
                          
                            b
                            ~
                          
                          *
                        
                      
                      }
                    
                  
                  
                    σ
                    n
                    2
                  
                
                ⁢
                
                  
                
                ⁢
                ...
                ⁢
                
                  
                
                ⁢
                
                  
                    Im
                    ⁢
                    
                      {
                      
                        
                          p
                          
                            (
                            J
                            )
                          
                        
                        ⁢
                        
                          
                            b
                            ~
                          
                          *
                        
                      
                      }
                    
                  
                  
                    σ
                    n
                    2
                  
                
              
              ]
            
          
          ,
          
            

          
          ⁢
          
            
              F
              k
            
            =
            
              
                H
                k
                
                  -
                  1
                
              
              +
              
                G
                k
              
            
          
          ,
          
            
              G
              k
            
            =
            
              
                1
                
                  σ
                  n
                  2
                
              
              ⁡
              
                [
                
                  
                    
                      
                        
                          
                          
                            b
                            k
                          
                          
                        
                        2
                      
                    
                    
                      0
                    
                  
                  
                    
                      0
                    
                    
                      
                        
                          
                            
                            
                              b
                              ~
                            
                            
                          
                          2
                        
                        ⁢
                        E
                      
                    
                  
                
                ]
              
            
          
          ,
        
      
    
    
      
        (
        17
        )
      
    
  




0 is a 1×J zero vector, and E is a J×J identity matrix. The optimum maximum likelihood detector chooses the value of bk that maximizes (17) from a set of M signals, {bm}m=1M. Two important special cases will be discussed next.

1) Equal Energy Signals:

If the energies of the M possible transmitted signals are equal, such as those in the M-ary phase shift keying (MPSK) signaling, |bm|2 is a constant and is independent of m. This implies that |bk|2=|{tilde over (b)}|2 and that the energy of the signal does not affect the choice of bk in (17). Ignoring those terms independent of bk, one has




  
    
      
        
          f
          ⁡
          
            (
            
              
                r
                k
              
              ,
              
                p
                |
                
                  b
                  k
                
              
            
            )
          
        
        ∝
        
          
            e
            
              
                
                  1
                  2
                
                ⁢
                α
                ⁢
                
                  
                
                ⁢
                
                  F
                  k
                  
                    -
                    1
                  
                
                ⁢
                
                  α
                  T
                
              
              +
              
                
                  1
                  2
                
                ⁢
                β
                ⁢
                
                  
                
                ⁢
                
                  F
                  k
                  
                    -
                    1
                  
                
                ⁢
                
                  β
                  T
                
              
            
          
          .
        
      
    
    
      
        (
        18
        )
      
    
  




Further simplification shows that





  
    
      
        
          f
          ⁡
          
            (
            
              
                r
                k
              
              ,
              
                p
                |
                
                  b
                  k
                
              
            
            )
          
        
        ∝
        
          e
          
            
              1
              
                σ
                n
                4
              
            
            ⁢
            
              {
              
                
                  Re
                  ⁢
                  
                    {
                    
                      
                        r
                        k
                      
                      ⁢
                      
                        b
                        k
                        *
                      
                    
                    }
                  
                  ⁢
                  Re
                  ⁢
                  
                    {
                    
                      
                        
                          b
                          ~
                        
                        *
                      
                      ⁢
                      
                        pS
                        k
                        T
                      
                    
                    }
                  
                
                +
                
                  Im
                  ⁢
                  
                    {
                    
                      
                        r
                        k
                      
                      ⁢
                      
                        b
                        k
                        4
                      
                    
                    }
                  
                  ⁢
                  Im
                  ⁢
                  
                    {
                    
                      
                        
                          b
                          ~
                        
                        *
                      
                      ⁢
                      
                        pS
                        k
                        T
                      
                    
                    }
                  
                
              
              }
            
          
        
      
    
    
      
        (
        19
        )
      
    
  




where Sk is a 1×J vector derived in Appendix B as





  
    
      
        
          
            S
            k
          
          =
          
            
              w
              k
            
            ·
            
              [
              
                
                  
                    (
                    
                      
                        
                          σ
                          n
                          2
                        
                        
                          
                            σ
                            n
                            2
                          
                          +
                          
                            
                              E
                              p
                              2
                            
                            ⁢
                            
                              σ
                              u
                              2
                            
                            ⁢
                            
                              
                                
                                
                                  b
                                  k
                                
                                
                              
                              2
                            
                          
                        
                      
                      +
                      
                        
                          
                            σ
                            n
                            2
                          
                          ⁢
                          
                            
                              
                              
                                b
                                k
                              
                              
                            
                            2
                          
                          ⁢
                          
                            w
                            k
                          
                          ⁢
                          
                            Z
                            1
                          
                          ⁢
                          
                            w
                            k
                            T
                          
                        
                        
                          
                            (
                            
                              
                                σ
                                n
                                2
                              
                              +
                              
                                
                                  E
                                  p
                                  2
                                
                                ⁢
                                
                                  σ
                                  u
                                  2
                                
                                ⁢
                                
                                  
                                    
                                    
                                      b
                                      k
                                    
                                    
                                  
                                  2
                                
                              
                            
                            )
                          
                          2
                        
                      
                    
                    )
                  
                  ⁢
                  E
                
                -
                
                  
                    
                      σ
                      n
                      2
                    
                    ⁢
                    
                      Z
                      1
                    
                    ⁢
                    
                      C
                      k
                    
                  
                  
                    
                      σ
                      n
                      2
                    
                    +
                    
                      
                        E
                        p
                        2
                      
                      ⁢
                      
                        σ
                        u
                        2
                      
                      ⁢
                      
                        
                          
                          
                            b
                            k
                          
                          
                        
                        2
                      
                    
                  
                
              
              ]
            
          
        
        ⁢
        
          

        
        ⁢
        and
      
    
    
      
        (
        20
        )
      
    
  
  
    
      
        
          Z
          1
        
        =
        
          
            
              [
              
                
                  C
                  k
                
                +
                
                  
                    
                      σ
                      n
                      2
                    
                    
                      
                        
                        
                          b
                          _
                        
                        
                      
                      2
                    
                  
                  ⁢
                  E
                
                -
                
                  
                    
                      
                        
                        
                          b
                          k
                        
                        
                      
                      2
                    
                    
                      
                        σ
                        n
                        2
                      
                      +
                      
                        
                          E
                          p
                          2
                        
                        ⁢
                        
                          σ
                          u
                          2
                        
                        ⁢
                        
                          
                            
                            
                              b
                              k
                            
                            
                          
                          2
                        
                      
                    
                  
                  ⁢
                  
                    w
                    k
                    T
                  
                  ⁢
                  
                    w
                    k
                  
                
              
              ]
            
            
              -
              1
            
          
          .
        
      
    
    
      
        (
        21
        )
      
    
  




Finally, a JPSAM signal detector in the Rayleigh fading channel when the transmitted signals are of equal energies can be obtained from (19) as





  
    
      
        
          
            b
            ^
          
          k
        
        =
        
          
            arg
          
          ⁢
          
            
              max
              
                
                  b
                  k
                
                ∈
                
                  
                    {
                    
                      b
                      m
                    
                    }
                  
                  
                    m
                    =
                    1
                  
                  M
                
              
            
            ⁢
            
              {
              
                Re
                ⁢
                
                  {
                  
                    
                      r
                      k
                    
                    ⁢
                    
                      b
                      k
                      *
                    
                    ⁢
                    
                      X
                      k
                      *
                    
                  
                  }
                
              
              }
            
          
        
      
    
    
      
        (
        22
        )
      
    
  




where Xk={tilde over (b)}*pSkT and Sk is given by (20). Note that the optimum detector in (22) is actually a correlator which weights the received symbol signal, rk, with the conjugate channel gain estimate, X*k, and then correlates the compensated received symbol signal with the corresponding signal value, bk, to make the data decision.

The performance of a JPSAM signal detector for BPSK signaling in the Rayleigh fading channel can be analyzed as follows. It has been derived in [1] that the BER of any BPSK signal detector satisfying [1, eq. (B-1)] is [1, eq. (B-21)]




  
    
      
        
          P
          b
        
        =
        
          
            v
            1
          
          
            
              v
              1
            
            +
            
              v
              2
            
          
        
      
    
    
      
        (
        23
        )
      
    
  




where





  
    
      v
      1
    
    =
    
      1
      
        
          
            
              μ
              rr
            
            ⁢
            
              μ
              XX
            
          
        
        +
        
          μ
          rX
        
      
    
  
  ,
  
    
      v
      2
    
    =
    
      1
      
        
          
            
              μ
              rr
            
            ⁢
            
              μ
              XX
            
          
        
        -
        
          μ
          rX
        
      
    
  
  ,




μrr is the variance of rk, μXX is the variance of Xk, and μrX is the covariance between rk and Xk. Denoting





  
    ρ
    1
  
  =
  
    
      μ
      rX
    
    
      
        
          μ
          rr
        
        ⁢
        
          μ
          XX
        
      
    
  




as the covariance coefficient between rk and Xk, (23) can be rewritten as





  
    
      
        
          P
          b
        
        =
        
          
            1
            2
          
          ⁢
          
            
              (
              
                1
                -
                
                  ρ
                  1
                
              
              )
            
            .
          
        
      
    
    
      
        (
        24
        )
      
    
  




If a JPSAM signal detector is used, it can be shown that μrr=Ep2σu2+σn2, μXX=|{tilde over (b)}|2Sk(|{tilde over (b)}|Ck+σn2E)SkT, and μrX=|{tilde over (b)}|2wkSkT. Then,





  
    
      
        
          ρ
          1
        
        =
        
          
            
              
                
                
                  b
                  ~
                
                
              
              2
            
            ⁢
            
              w
              k
            
            ⁢
            
              S
              k
              T
            
          
          
            
              
                (
                
                  
                    
                      E
                      p
                      2
                    
                    ⁢
                    
                      σ
                      u
                      2
                    
                  
                  +
                  
                    σ
                    n
                    2
                  
                
                )
              
              ⁢
              
                
                  
                  
                    b
                    ~
                  
                  
                
                2
              
              ⁢
              
                
                  S
                  k
                
                ⁡
                
                  (
                  
                    
                      
                        
                          
                          
                            b
                            ~
                          
                          
                        
                        2
                      
                      ⁢
                      
                        C
                        k
                      
                    
                    +
                    
                      
                        σ
                        n
                        2
                      
                      ⁢
                      E
                    
                  
                  )
                
              
              ⁢
              
                S
                k
                T
              
            
          
        
      
    
    
      
        (
        25
        )
      
    
  




where Sk is given by (20). Therefore, the BER of the BPSK signaling can be evaluated analytically using (24) and (25).

2) Unequal Energy Signals:

If the energies of the M possible transmitted signals are not equal, such as those in M-ary quadrature amplitude modulation (MQAM) signaling, the choice of bk in (17) depends on |bk|2 as well. In this case, one has




  
    
      
        
          f
          ⁡
          
            (
            
              
                r
                k
              
              ,
              
                p
                |
                
                  b
                  k
                
              
            
            )
          
        
        ∝
        
          
            1
            
              
              
                F
                k
              
              
            
          
          ⁢
          
            e
            
              
                
                  1
                  2
                
                ⁢
                α
                ⁢
                
                  
                
                ⁢
                
                  F
                  k
                  
                    -
                    1
                  
                
                ⁢
                
                  α
                  T
                
              
              +
              
                
                  1
                  2
                
                ⁢
                β
                ⁢
                
                  
                
                ⁢
                
                  F
                  k
                  
                    -
                    1
                  
                
                ⁢
                
                  β
                  T
                
              
            
          
        
      
    
    
      
        (
        26
        )
      
    
  




as Fk is related to |bk|2. Examination of Fk shows that





  
    
      
        
          
          
            F
            k
          
          
        
        =
        
          
            
            
              
                
                  
                    
                    
                      b
                      k
                    
                    
                  
                  2
                
                
                  σ
                  n
                  2
                
              
              +
              d
            
            
          
          ·
          
            
            
              
                Z
                2
              
              +
              
                
                  
                    
                      
                      
                        b
                        ~
                      
                      
                    
                    2
                  
                  
                    σ
                    n
                    2
                  
                
                ⁢
                E
              
            
            
          
        
      
    
    
      
        (
        27
        )
      
    
  




where




  
    d
    =
    
      
        1
        
          
            E
            p
            2
          
          ⁢
          
            σ
            u
            2
          
        
      
      +
      
        
          1
          
            
              E
              p
              4
            
            ⁢
            
              σ
              u
              4
            
          
        
        ⁢
        
          w
          k
        
        ⁢
        
          
            
              Z
              2
            
            ⁡
            
              (
              
                
                  
                    
                      σ
                      n
                      2
                    
                    
                      
                        
                        
                          b
                          ~
                        
                        
                      
                      2
                    
                  
                  ⁢
                  
                    Z
                    2
                  
                
                +
                E
              
              )
            
          
          
            -
            1
          
        
        ⁢
        
          w
          k
          T
        
      
    
  




  and




  
    
      Z
      2
    
    =
    
      
        
          [
          
            
              C
              k
            
            -
            
              
                1
                
                  
                    E
                    p
                    2
                  
                  ⁢
                  
                    σ
                    u
                    2
                  
                
              
              ⁢
              
                w
                k
                T
              
              ⁢
              
                w
                k
              
            
          
          ]
        
        
          -
          1
        
      
      .
    
  



Substituting (27) in (26) and doing some additional simplifications, one has





  
    
      
        
          f
          ⁡
          
            (
            
              
                r
                k
              
              ,
              
                p
                |
                
                  b
                  k
                
              
            
            )
          
        
        ∝
        
          
            1
            
              
              
                
                  
                    
                      
                      
                        b
                        k
                      
                      
                    
                    2
                  
                  
                    σ
                    n
                    2
                  
                
                +
                d
              
              
            
          
          ⁢
          
            e
            
              
                
                  1
                  
                    σ
                    n
                    4
                  
                
                ⁢
                
                  {
                  
                    
                      Re
                      ⁢
                      
                        {
                        
                          
                            r
                            k
                          
                          ⁢
                          
                            b
                            k
                            *
                          
                        
                        }
                      
                      ⁢
                      Re
                      ⁢
                      
                        {
                        
                          
                            
                              b
                              ~
                            
                            *
                          
                          ⁢
                          
                            pS
                            k
                            T
                          
                        
                        }
                      
                    
                    +
                    
                      Im
                      ⁢
                      
                        {
                        
                          
                            r
                            k
                          
                          ⁢
                          
                            b
                            k
                            *
                          
                        
                        }
                      
                      ⁢
                      Im
                      ⁢
                      
                        {
                        
                          
                            
                              b
                              ~
                            
                            *
                          
                          ⁢
                          
                            pS
                            k
                            T
                          
                        
                        }
                      
                    
                  
                  }
                
              
              +
              
                A
                k
              
            
          
        
      
    
    
      
        (
        28
        )
      
    
  




where Ak is a bias term caused by the unequal energies. An expression for it can be derived from (26). Finally, a JPSAM signal detector in the Rayleigh fading channel when the transmitted signals have unequal energies can be derived from (28) as





  
    
      
        
          
            b
            ^
          
          k
        
        =
        
          
            arg
          
          ⁢
          
            
              max
              
                
                  b
                  k
                
                ∈
                
                  
                    {
                    
                      b
                      m
                    
                    }
                  
                  
                    m
                    =
                    1
                  
                  M
                
              
            
            ⁢
            
              {
              
                
                  Re
                  ⁢
                  
                    {
                    
                      
                        r
                        k
                      
                      ⁢
                      
                        b
                        k
                        *
                      
                      ⁢
                      
                        X
                        k
                        *
                      
                    
                    }
                  
                
                -
                
                  
                    σ
                    n
                    4
                  
                  ⁢
                  ln
                  ⁢
                  
                    
                    
                      
                        
                          
                            
                            
                              b
                              k
                            
                            
                          
                          2
                        
                        
                          σ
                          n
                          2
                        
                      
                      +
                      d
                    
                    
                  
                
                +
                
                  
                    σ
                    n
                    4
                  
                  ⁢
                  
                    A
                    k
                  
                
              
              }
            
          
        
      
    
    
      
        (
        29
        )
      
    
  




where Xk={tilde over (b)}*pSkT and Sk is given by (20), as before. Comparing (29) with (22), one sees that (29) has two additional bias terms caused by the unequal energies of the transmitted signals, as expected. The detector in (29) is too complicated for analytical performance analysis. Its performance for 16-QAM signaling is evaluated by simulation.

B. Rician Fading Channel

In the previous subsection, a JPSAM signal detector for the Rayleigh fading channel was derived. This exposition served to develop the theory. In practice, some real-world channels exhibit Rician fading. In this subsection, a JPSAM signal detector for the Rician fading channel is derived.
In the Rician fading channel, the statistics of the fading process are determined by (4). Therefore, the joint PDF of uk and v satisfies




  
    
      
        
          f
          ⁡
          
            (
            
              
                u
                k
              
              ,
              v
            
            )
          
        
        =
        
          
            1
            
              
                
                  (
                  
                    2
                    ⁢
                    π
                  
                  )
                
                
                  J
                  +
                  1
                
              
              ⁢
              
                
                
                  H
                  k
                
                
              
            
          
          ⁢
          
            e
            
              
                
                  -
                  
                    1
                    2
                  
                
                ⁢
                
                  (
                  
                    
                      u
                      R
                    
                    -
                    
                      m
                      R
                    
                  
                  )
                
                ⁢
                
                  
                    
                      H
                      k
                      
                        -
                        1
                      
                    
                    ⁡
                    
                      (
                      
                        
                          u
                          R
                        
                        -
                        
                          m
                          R
                        
                      
                      )
                    
                  
                  T
                
              
              -
              
                
                  1
                  2
                
                ⁢
                
                  (
                  
                    
                      u
                      I
                    
                    -
                    
                      m
                      I
                    
                  
                  )
                
                ⁢
                
                  
                    
                      H
                      k
                      
                        -
                        1
                      
                    
                    ⁡
                    
                      (
                      
                        
                          u
                          I
                        
                        -
                        
                          m
                          I
                        
                      
                      )
                    
                  
                  T
                
              
            
          
        
      
    
    
      
        (
        30
        )
      
    
  




where mR=E{uR}=[mkRm(1)Rm(2)R . . . m(J)R] is the mean of uR and mI=E{uI}=[mkIm(1)Im(2)I . . . m(J)I] is the mean of uI. One sees that (15) is a special case of (30) when mR=0 and mI=0. Similarly, by using (30) in (14) and solving the resulting integral, as shown in Appendix A, one can derive





  
    
      
        
          f
          ⁡
          
            (
            
              
                r
                k
              
              ,
              
                p
                |
                
                  b
                  k
                
              
            
            )
          
        
        =
        
          
            1
            
              
                
                  (
                  
                    2
                    ⁢
                    
                      πσ
                      n
                      2
                    
                  
                  )
                
                
                  J
                  +
                  1
                
              
              ⁢
              
                
                
                  H
                  k
                
                
              
              ⁢
              
                
                
                  F
                  k
                
                
              
            
          
          ⁢
          
            e
            
              
                
                  1
                  2
                
                ⁢
                
                  α
                  ′
                
                ⁢
                
                  F
                  k
                  
                    -
                    1
                  
                
                ⁢
                
                  α
                  J
                
              
              +
              
                
                  1
                  2
                
                ⁢
                
                  β
                  ′
                
                ⁢
                
                  F
                  k
                  
                    -
                    1
                  
                
                ⁢
                
                  β
                  J
                
              
              -
              
                
                  1
                  2
                
                ⁢
                
                  m
                  R
                
                ⁢
                
                  H
                  k
                  
                    -
                    1
                  
                
                ⁢
                
                  m
                  R
                  T
                
              
              -
              
                
                  1
                  2
                
                ⁢
                
                  m
                  I
                
                ⁢
                
                  H
                  k
                  
                    -
                    1
                  
                
                ⁢
                
                  m
                  I
                  T
                
                ⁢
                
                  
                    
                      
                      
                        r
                        k
                      
                      
                    
                    2
                  
                  
                    2
                    ⁢
                    
                      σ
                      n
                      2
                    
                  
                
                ⁢
                
                  
                    
                      ∑
                      
                        I
                        =
                        
                          (
                          1
                          )
                        
                      
                      
                        (
                        J
                        )
                      
                    
                    ⁢
                    
                      
                        
                        
                          p
                          I
                        
                        
                      
                      2
                    
                  
                  
                    2
                    ⁢
                    
                      σ
                      n
                      2
                    
                  
                
              
            
          
        
      
    
    
      
        (
        31
        )
      
    
  




where α′=α+mRHk−1 and β′=β+mIHk−1. A JPSAM signal detector in the Rician fading channel is derived by maximizing (31) with respect to bk. As previously, two important special cases are discussed.

1) Equal Energy Signals:

Again, we begin with the case when the transmitted signals have equal energies. In this case, Fk is independent of bk. Thus,




  
    
      
        
          f
          ⁡
          
            (
            
              
                r
                k
              
              ,
              
                p
                |
                
                  b
                  k
                
              
            
            )
          
        
        ∝
        
          
            e
            
              
                
                  1
                  2
                
                ⁢
                
                  α
                  ′
                
                ⁢
                
                  F
                  k
                  
                    -
                    1
                  
                
                ⁢
                
                  α
                  J
                
              
              +
              
                
                  1
                  2
                
                ⁢
                
                  β
                  ′
                
                ⁢
                
                  F
                  k
                  
                    -
                    1
                  
                
                ⁢
                
                  β
                  J
                
              
            
          
          .
        
      
    
    
      
        (
        32
        )
      
    
  




By using α′=α+mRHk−1 and β′=β+mIHk−1 in (32), one has

ƒ(rk,p|bk)∝e1/σn4{Re{rkbk*}Re{{tilde over (b)}*pSkT}+Im{rkbk*}Im{{tilde over (b)}pSkT}+σn2Re{rkbk*}mRQkT+σn2Im{rkbk*}mIQkT}  (33)

where Qk is a1×(J+1) vector derived in Appendix B as





  
    
      
        
          Q
          k
        
        =
        
          
            [
            
              
                
                  
                    σ
                    n
                    2
                  
                  
                    
                      σ
                      n
                      2
                    
                    +
                    
                      
                        E
                        p
                        2
                      
                      ⁢
                      
                        σ
                        u
                        2
                      
                      ⁢
                      
                        
                          
                          
                            b
                            k
                          
                          
                        
                        2
                      
                    
                  
                
                ⁢
                
                  (
                  
                    1
                    +
                    
                      
                        
                          
                            
                            
                              b
                              k
                            
                            
                          
                          2
                        
                        ⁢
                        
                          w
                          k
                        
                        ⁢
                        
                          Z
                          1
                        
                        ⁢
                        
                          w
                          k
                          T
                        
                      
                      
                        
                          σ
                          n
                          2
                        
                        +
                        
                          
                            E
                            p
                            2
                          
                          ⁢
                          
                            σ
                            u
                            2
                          
                          ⁢
                          
                            
                              
                              
                                b
                                k
                              
                              
                            
                            2
                          
                        
                      
                    
                  
                  )
                
              
              -
              
                
                  
                    σ
                    n
                    2
                  
                  
                    
                      σ
                      n
                      2
                    
                    +
                    
                      
                        E
                        p
                        2
                      
                      ⁢
                      
                        σ
                        u
                        2
                      
                      ⁢
                      
                        
                          
                          
                            b
                            k
                          
                          
                        
                        2
                      
                    
                  
                
                ⁢
                
                  w
                  k
                
                ⁢
                
                  Z
                  1
                
              
            
            ]
          
          .
        
      
    
    
      
        (
        34
        )
      
    
  




A JPSAM signal detector for equal energy signals in the Rician fading channel is derived from (33) as





  
    
      
        
          
            b
            ^
          
          k
        
        =
        
          
            arg
          
          ⁢
          
            
              max
              
                
                  b
                  k
                
                ∈
                
                  
                    {
                    
                      b
                      m
                    
                    }
                  
                  
                    m
                    =
                    1
                  
                  M
                
              
            
            ⁢
            
              {
              
                Re
                (
                
                  
                    r
                    k
                  
                  ⁢
                  
                    b
                    k
                    *
                  
                  ⁢
                  
                    V
                    k
                    *
                  
                
                }
              
              }
            
          
        
      
    
    
      
        (
        35
        )
      
    
  




where Vk=Xk+σn2Yk, Yk=(mR+jmI)QkT, and Qk is given by (34). Several observations can be made from (35). First, note that Yk in Vk is a deterministic number. Thus, Vk and Xk have different means but the same variances. Second, by comparing (35) with (22), one sees that there is an additional term in (35) caused by the non-zero specular component in the Rician fading channel. If the channel is Rayleigh faded, mR=mI=0 and (35) will specialize to (22).

The performance of a JPSAM signal detector for BPSK signaling in the Rician fading channel can also be derived by using results in [1]. The BER is [1, eq. (B-21)]




  
    
      
        
          P
          b
        
        =
        
          
            
              Q
              1
            
            ⁡
            
              (
              
                a
                ,
                b
              
              )
            
          
          -
          
            
              
                
                  v
                  1
                
                /
                
                  v
                  2
                
              
              
                1
                +
                
                  
                    v
                    1
                  
                  /
                  
                    v
                    2
                  
                
              
            
            ⁢
            
              
                I
                0
              
              ⁡
              
                (
                ab
                )
              
            
            ⁢
            
              e
              
                
                  -
                  
                    1
                    2
                  
                
                ⁢
                
                  (
                  
                    
                      a
                      2
                    
                    +
                    
                      b
                      2
                    
                  
                  )
                
              
            
          
        
      
    
    
      
        (
        36
        )
      
    
  




where Q1(a,b) is the Marcum's Q function, In(•) is the n-th order modified Bessel function of the first kind,





  
    a
    =
    
      
        1
        2
      
      ⁢
      
        
        
          
            
              
                r
                k
              
              _
            
            
              
                μ
                rr
              
            
          
          -
          
            
              
                V
                k
              
              _
            
            
              
                μ
                VV
              
            
          
        
        
      
    
  
  ,








  
    b
    =
    
      
        1
        2
      
      ⁢
      
        
        
          
            
              
                r
                k
              
              _
            
            
              
                μ
                rr
              
            
          
          +
          
            
              
                V
                k
              
              _
            
            
              
                μ
                VV
              
            
          
        
        
      
    
  
  ,
  
    

  
  ⁢
  
    
      
        r
        k
      
      _
    
    =
    
      
        E
        p
      
      ⁡
      
        (
        
          
            m
            k
            R
          
          +
          
            jm
            k
            I
          
        
        )
      
    
  
  ,
  
    

  
  ⁢
  
    
      
        V
        k
      
      _
    
    =
    
      
        
          
            
            
              b
              ~
            
            
          
          2
        
        ⁢
        
          
            E
            p
          
          ⁡
          
            (
            
              
                m
                p
                R
              
              +
              
                jm
                p
                I
              
            
            )
          
        
        ⁢
        
          S
          k
          T
        
      
      +
      
        
          σ
          n
          2
        
        ⁢
        
          Y
          k
        
      
    
  
  ,
  
    

  
  ⁢
  
    
      m
      p
      R
    
    =
    
      [
      
        
          
            
              m
              
                (
                1
                )
              
              R
            
          
          
            
              m
              
                (
                2
                )
              
              R
            
          
          
            ...
          
          
            
              m
              
                (
                J
                )
              
              R
            
          
        
      
      ]
    
  
  ,
  
    

  
  ⁢
  
    
      m
      p
      I
    
    =
    
      [
      
        
          
            
              m
              
                (
                1
                )
              
              I
            
          
          
            
              m
              
                (
                2
                )
              
              I
            
          
          
            ...
          
          
            
              m
              
                (
                J
                )
              
              I
            
          
        
      
      ]
    
  
  ,
  
    

  
  ⁢
  
    
      μ
      VV
    
    =
    
      μ
      XX
    
  
  ,
  
    

  
  ⁢
  
    
      μ
      rV
    
    =
    
      
        μ
        rX
      
      ⁢
      
        
      
      ⁢
      and
      ⁢
      
        
      
      ⁢
      
        v
        1
      
    
  
  ,




v2, μrr μXX, μrX are defined as before. Denoting





  
    ρ
    2
  
  =
  
    
      μ
      rV
    
    
      
        
          μ
          rr
        
        ⁢
        
          μ
          VV
        
      
    
  




as the covariance coefficient between rk and Vk, (36) can be rewritten as





  
    
      
        
          P
          b
        
        =
        
          
            
              Q
              1
            
            ⁡
            
              (
              
                a
                ,
                b
              
              )
            
          
          -
          
            
              
                1
                +
                
                  ρ
                  2
                
              
              2
            
            ⁢
            
              
                I
                0
              
              ⁡
              
                (
                ab
                )
              
            
            ⁢
            
              
                e
                
                  
                    1
                    2
                  
                  ⁢
                  
                    (
                    
                      
                        a
                        2
                      
                      +
                      
                        b
                        2
                      
                    
                    )
                  
                
              
              .
            
          
        
      
    
    
      
        (
        37
        )
      
    
  




It can be verified that ρ2=ρ1 and (24) is a special case of (37) when the specular component in the fading channel is zero.

2) Unequal Energy Signals:

If the energies of the transmitted signals are not equal, the likelihood function in (31) can only be simplified to be




  
    
      
        
          f
          ⁡
          
            (
            
              
                r
                k
              
              ,
              
                p
                |
                
                  b
                  k
                
              
            
            )
          
        
        ∝
        
          
            1
            
              
              
                F
                k
              
              
            
          
          ⁢
          
            
              e
              
                
                  
                    1
                    2
                  
                  ⁢
                  
                    α
                    ′
                  
                  ⁢
                  
                    F
                    k
                    
                      -
                      1
                    
                  
                  ⁢
                  
                    α
                    
                      ′
                      ⁢
                      
                        
                      
                      ⁢
                      T
                    
                  
                
                +
                
                  
                    1
                    2
                  
                  ⁢
                  
                    β
                    ′
                  
                  ⁢
                  
                    F
                    k
                    
                      -
                      1
                    
                  
                  ⁢
                  
                    β
                    
                      ′
                      ⁢
                      
                        
                      
                      ⁢
                      T
                    
                  
                
              
            
            .
          
        
      
    
    
      
        (
        38
        )
      
    
  




Again, by using (27) and the expressions of α′ and β′ in (38), one has





  
    
      
        
          f
          ⁡
          
            (
            
              
                r
                k
              
              ,
              
                p
                |
                
                  b
                  k
                
              
            
            )
          
        
        ∝
        
          
            1
            
              
              
                
                  
                    
                      
                      
                        b
                        k
                      
                      
                    
                    2
                  
                  
                    σ
                    n
                    2
                  
                
                +
                d
              
              
            
          
          ⁢
          
            e
            
              
                
                  1
                  
                    σ
                    n
                    4
                  
                
                ⁢
                
                  {
                  
                    Re
                    ⁢
                    
                      {
                      
                        
                          r
                          k
                        
                        ⁢
                        
                          b
                          k
                          *
                        
                        ⁢
                        
                          V
                          k
                          *
                        
                      
                      }
                    
                  
                  }
                
              
              +
              
                A
                k
              
              +
              
                B
                k
              
            
          
        
      
    
    
      
        (
        39
        )
      
    
  




where Bk is a bias term caused by both the unequal signal energy and the non-zero specular component in the channel. Its form can be obtained from (38). Finally, a JPSAM signal detector for unequal energy signals in the Rician fading channel is





  
    
      
        
          
            b
            ^
          
          k
        
        =
        
          
            arg
          
          ⁢
          
            
              max
              
                
                  b
                  k
                
                ∈
                
                  
                    {
                    
                      b
                      m
                    
                    }
                  
                  
                    m
                    =
                    1
                  
                  M
                
              
            
            ⁢
            
              
                {
                
                  
                    Re
                    ⁢
                    
                      {
                      
                        
                          r
                          k
                        
                        ⁢
                        
                          b
                          k
                          *
                        
                        ⁢
                        
                          V
                          k
                          *
                        
                      
                      }
                    
                  
                  -
                  
                    
                      σ
                      n
                      4
                    
                    ⁢
                    ln
                    ⁢
                    
                      
                      
                        
                          
                            
                              
                              
                                b
                                k
                              
                              
                            
                            2
                          
                          
                            σ
                            n
                            2
                          
                        
                        +
                        d
                      
                      
                    
                  
                  +
                  
                    
                      σ
                      n
                      4
                    
                    ⁢
                    
                      A
                      k
                    
                  
                  +
                  
                    
                      σ
                      n
                      4
                    
                    ⁢
                    
                      B
                      k
                    
                  
                
                }
              
              .
            
          
        
      
    
    
      
        (
        40
        )
      
    
  




Comparing (40) with (35), one observes that there are three additional bias terms caused by the unequal energies of the transmitted signals in (40). Also, comparing (40) with (29), one sees that there is an additional bias term caused by the non-zero specular component in the Rician fading channel. When the specular component is zero, the Rican fading channel will specialize to the Rayleigh fading channel and (40) will specialize to (29), as expected. The performance of the detector in (40) for 16-QAM signaling is examined below by simulation.

Comparison with Conventional PSAM Signal Detectors

In [2] and [4], the CPSAM signal detector for BPSK signaling was derived. This detector obtains the channel gain estimate, X′k, by using a Wiener filter. Following the ideas in [2], [4] and using notations and symbols defined previously, one can show that

X′k={tilde over (b)}*pSkT  (41)

with

Sk′=wk[|{tilde over (b)}|2Ck+σn2E]−1.  (42)

The channel gain estimate, X′k, is used to weight the received symbol signal for data decision. Therefore, the CPSAM signal detector for BPSK signaling can be written as [2], [4]





  
    
      
        
          
            b
            ^
          
          k
        
        =
        
          
            arg
          
          ⁢
          
            
              max
              
                
                  b
                  k
                
                ∈
                
                  
                    {
                    
                      b
                      m
                    
                    }
                  
                  
                    m
                    =
                    1
                  
                  M
                
              
            
            ⁢
            
              {
              
                Re
                ⁢
                
                  {
                  
                    
                      r
                      k
                    
                    ⁢
                    
                      b
                      k
                      *
                    
                    ⁢
                    
                      X
                      k
                      
                        ′
                        *
                      
                    
                  
                  }
                
              
              }
            
          
        
      
    
    
      
        (
        43
        )
      
    
  




where X′k is given by (41). Comparing (43) with (22) and (35), one sees that the CPSAM detector has similar computation complexity to a JPSAM signal detector. Both use matrix inversion to derive the channel estimate. The main difference comes from their ways of obtaining the channel gain estimate. In the CPSAM signal-detector, the channel estimate is obtained by using the pilot symbols only, and channel estimation and signal detection are performed separately. However, in JPSAM signal detectors, the channel estimate is obtained by processing both the pilot symbols and the data symbols, and channel estimation and signal detection are performed jointly in some embodiments. As a result, X′k does not depend on bk, while Xk and Vk do, in general.

The performance of the CPSAM signal detector for BPSK signaling can also be evaluated analytically by using results in [1]. The BER of the CPSAM signal detector for BPSK signaling in the Rayleigh fading channel is, again, given by (24). However, the value of ρ1 in (25) should be replaced by [2]




  
    
      
        
          ρ
          1
          ′
        
        =
        
          
            
              
                
                
                  b
                  ~
                
                
              
              2
            
            ⁢
            
              w
              k
            
            ⁢
            
              S
              k
              
                ′
                ⁢
                
                  
                
                ⁢
                T
              
            
          
          
            
              
                (
                
                  
                    
                      E
                      p
                      2
                    
                    ⁢
                    
                      σ
                      u
                      2
                    
                  
                  +
                  
                    σ
                    n
                    2
                  
                
                )
              
              ⁢
              
                
                  
                  
                    b
                    ~
                  
                  
                
                2
              
              ⁢
              
                
                  S
                  k
                  ′
                
                ⁡
                
                  (
                  
                    
                      
                        
                          
                          
                            b
                            ~
                          
                          
                        
                        2
                      
                      ⁢
                      
                        C
                        k
                      
                    
                    +
                    
                      
                        σ
                        n
                        2
                      
                      ⁢
                      E
                    
                  
                  )
                
              
              ⁢
              
                S
                k
                T
              
            
          
        
      
    
    
      
        (
        44
        )
      
    
  




for the CPSAM signal detector, where S′k in (44) is different from Sk in (25) and is defined in (42). It is proved in Appendix C that (25) and (44) are actually equivalent for the Rayleigh fading channel, but they are different for the Rician facing channel. Although the CPSAM signal detector and a JPSAM signal detector have different channel gain estimates, their BER performances are the same for BPSK signaling in the Rayleigh fading channel. We have confirmed numerically that the CPSAM channel gain estimate is a scaling of a JPSAM channel gain estimate for all cases considered.

The BER of the CPSAM signal detector for BPSK signaling in the Rician fading channel can also be derived from (37). However, the values of a, b and ρ2 in (37) should be replaced by the corresponding values of




  
    d
    =
    
      
        1
        2
      
      ⁢
      
        
        
          
            
              
                r
                k
              
              _
            
            
              
                μ
                rr
              
            
          
          ⁢
          
            
              
                X
                k
                ′
              
              _
            
            
              
                μ
                
                  
                    X
                    ′
                  
                  ⁢
                  
                    X
                    ′
                  
                
              
            
          
        
        
      
    
  
  ,
  
    
      b
      ′
    
    =
    
      
        1
        2
      
      ⁢
      
        
        
          
            
              
                r
                k
              
              _
            
            
              
                μ
                rr
              
            
          
          +
          
            
              
                X
                k
                ′
              
              _
            
            
              
                μ
                
                  
                    X
                    ′
                  
                  ⁢
                  
                    X
                    ′
                  
                
              
            
          
        
        
      
    
  
  ,
  
    

  
  ⁢
  
    
      ρ
      2
      ′
    
    =
    
      ρ
      1
      ′
    
  
  ,
  
    
      where
      ⁢
      
        
      
      ⁢
      
        
          X
          k
          ′
        
        _
      
    
    =
    
      
        
          
          
            b
            ~
          
          
        
        2
      
      ⁢
      
        
          E
          p
        
        ⁡
        
          (
          
            
              m
              p
              R
            
            +
            
              m
              p
              I
            
          
          )
        
      
      ⁢
      
        S
        k
        T
      
    
  
  ,
  
    

  
  ⁢
  
    
      μ
      
        
          X
          ′
        
        ⁢
        
          X
          ′
        
      
    
    =
    
      
        
          
          
            b
            ~
          
          
        
        2
      
      ⁢
      
        
          S
          k
          ′
        
        ⁡
        
          (
          
            
              
                
                  
                  
                    b
                    ~
                  
                  
                
                2
              
              ⁢
              
                C
                k
              
            
            +
            
              
                σ
                n
                2
              
              ⁢
              E
            
          
          )
        
      
      ⁢
      
        S
        k
        
          ′
          ⁢
          
            
          
          ⁢
          T
        
      
    
  
  ,
  
    and
    ⁢
    
      
    
    ⁢
    
      ρ
      1
      ′
    
    ⁢
    
      
    
    ⁢
    is
    ⁢
    
      
    
    ⁢
    given
    ⁢
    
      
    
    ⁢
    in
    ⁢
    
      
    
    ⁢
    
      
        (
        44
        )
      
      .
    
  




The CPSAM signal detector for 16-QAM signaling was derived in [2] and [3] as a threshold-based detector. To facilitate the performance comparison below, its correlator-based form is used. Following similar ideas and procedures to those in [2] and [3], one can derive the CPSAM signal detector for 16-QAM signaling in its correlator-based form as




  
    
      
        
          
            b
            ^
          
          k
        
        =
        
          
            arg
          
          ⁢
          
            
          
          ⁢
          
            
              max
              
                
                  b
                  k
                
                ∈
                
                  
                    {
                    
                      b
                      m
                    
                    }
                  
                  
                    m
                    =
                    1
                  
                  M
                
              
            
            ⁢
            
              {
              
                
                  Re
                  ⁢
                  
                    {
                    
                      
                        r
                        k
                      
                      ⁢
                      
                        b
                        k
                        *
                      
                      ⁢
                      
                        X
                        k
                        
                          ′
                          *
                        
                      
                    
                    }
                  
                
                -
                
                  
                    
                      
                        
                        
                          b
                          k
                        
                        
                      
                      2
                    
                    2
                  
                  ⁢
                  
                    
                      
                      
                        X
                        k
                        ′
                      
                      
                    
                    2
                  
                
              
              }
            
          
        
      
    
    
      
        (
        45
        )
      
    
  




where X′k is given in (41). Comparing the CPSAM signal detector in (45) with the JPSAM signal detectors in (29) and (40), one sees that they have similar correlation structures but different bias terms. Their performances are examined below by simulation.

Numerical Results and Discussion

In this section, the performances of several illustrative example JPSAM signal detectors derived above are compared with those of the CPSAM signal detectors. To make the comparison fair, the only case considered is when the means of the fading process in (4) are constant, as time-varying means will give a non-stationary channel and the Wiener filter used in the conventional detectors cannot be applied in such a channel.
Thus, one has mR(t)=mR and mI(t)=mI. Define P2=(mR)2+(mI)2 as the local mean power of the line-of-sight component in the Rician fading channel and




  
    R
    K
  
  =
  
    
      P
      2
    
    
      2
      ⁢
      
        σ
        u
        2
      
    
  




as the Rician K factor [1]. The performances of the detectors at RK=0 (the Rayleigh fading channel), RK=4 and RK=8 are examined. Also, it is assumed that the scattering in the fading channel is isotropic, and the values of the normalized maximum Doppler shift (normalized with respect to the symbol rate), ƒDT=0.03, ƒDT=0.06, and ƒDT=0.09 are used. The frame length is chosen to be K=5, and the number of pilot symbols used to assist the detection of the data symbol is chosen to be J=11. Both BPSK signaling and 16-QAM signaling are considered. The detector performances are presented in terms of the relationship between the effective average SNR per bit, y, and the BER (for BPSK signaling) or SER (for 16-QAM signaling). The error rates are obtained by averaging the error rates of the data symbols over all positions in one frame.

Various performance plots are shown in FIGS. 5-11. FIGS. 5-7 show performance plots for example JPSAM and CPSAM signal detectors for BPSK signaling in Rayleigh and Rician fading channels when ƒDT=0.03, ƒDT=0.06, and ƒDT=0.09, respectively. In FIGS. 8-10, performance plots for example JPSAM and CPSAM signal detectors for 16-QAM signaling are shown for ƒDT=0.03, ƒDT=0.06, and ƒDT=0.09, respectively. FIG. 11 shows performance plots of example JPSAM signal detectors for BPSK signaling in Rician fading channels when estimates of P2 with different accuracies are used at ƒDT=0.09 and RK=8.
With reference first to FIGS. 5 to 7, these Figures show the performances of JPSAM signal detectors for BPSK signaling. One sees that the performance of a JPSAM signal detector improves when the power of the specular component in the fading channel increases or the normalized Doppler shift in the fading channel decreases. For example, when the BER=10−2 and ƒDT=0.03, the performance of a JPSAM signal detector for RK=8 is about 8.8 dB better than that for RK=0, and about 2.2 dB better than that for RK=4. When the BER=10−2 and RK=0, the performance of a JPSAM signal detector for ƒDT=0.03 is about 0.6 dB better than that for ƒDT=0.06, and about 2.6 dB better than that for ƒDT=0.09. This is expected, as a larger power in the specular component gives a better fading channel condition, and a smaller value of the normalized Doppler shift allows a more accurate channel gain estimate, which results in fewer errors in the data decisions.
Comparing the performance of a JPSAM signal detector with that of the CPSAM signal detector, one sees that the JPSAM signal detector has a performance gain over the conventional detector. The performance gain decreases when the power of the specular component in the channel decreases or the normalized Doppler shift in the channel decreases. As an example, when the BER=10−2 and ƒDT=0.03, a JPSAM signal detector has a performance gain of about 1.5 dB for RK=8, a performance gain of about 1.0 dB for RK=4, and no performance gain for RK=0. When the BER=10−2 and RK=8, a JPSAM signal detector has a performance gain of about 3.2 dB for ƒDT=0.09, about 2.4 dB for ƒDT=0.06, and about 1.5 dB for ƒDT=0.03. Observe that the performance gain decreases as γb increases. This is explained as follows. Comparing (35) with (43), one sees that the performance gain of a JPSAM signal detector for BPSK signaling comes from the fact that an additional offset, σn2Yk, is being used to calculate the channel gain estimate. When the power of the specular component in the channel or the normalized Doppler shift in the channel decrease, or the SNR increases, Yk or σn2 will become relatively smaller, and the offset will become less significant. Then, the performance gain decreases.
FIGS. 8 to 10 show the performances of example JPSAM signal detectors for 16-QAM signaling. Again, the performance of a JPSAM signal detector improves when the power of the specular component in the fading channel increases or the normalized Doppler shift in the fading channel decreases. At SER=102 and ƒDT=0.03, a JPSAM signal detector for RK=8 is about 10.0 dB better than that for RK=0, and about 2.6 dB better than that for RK=4. At SER=10−2 and RK=0, a JPSAM signal detector for ƒDT=0.03 is about 0.4 dB better than that for ƒDT=0.06, and about 0.8 dB better than that for ƒDT=0.09.
Comparing the performance of a JPSAM signal detector with that of the conventional detector, one sees that the optimum detector outperforms the conventional detector. When the SER=10−1 and ƒDT=0.06, a JPSAM signal detector has performance gains of about 1.0 dB for RK=8, about 0.2 dB for RK=4, and approximately 0 dB for RK=0. When the SER=10−1 and RK=8, a JPSAM signal detector has a performance gain of about 1.2 dB for ƒDT=0.09, about 1.0 dB for ƒDT=0.06, and about 0.6 dB for ƒDT=0.03. Again, the performance gain decreases as the SNR increases.
Note that the performance gains of a JPSAM signal detector over the conventional detector for 16-QAM signaling are smaller than the corresponding performance gains for BPSK signaling. Note further that a JPSAM signal detector uses mR and mI, or equivalently, P2, as well as knowledge of 2σu2, as can be seen from (35) and (40), while the CPSAM signal detector only uses 2σu2. Both 2σu2 and P2 can be accurately estimated using estimators developed in [9].
Furthermore, the performance of a JPSAM signal detector is not sensitive to errors in estimation of P2. As an example, FIG. 11 shows the performance of a JPSAM signal detector in the Rician fading channel when estimates of P2 with different accuracies are used for ƒDT=0.09, RK=8 and BPSK signaling. One sees that the performance of a JPSAM signal detector using an estimate with bias −10% of P2 is almost identical to that using the true value of P2. When an estimate with bias −90% of P2 is used, the performance loss due to the estimation errors in the estimation of P2 is only about 0.3 dB at BER=10−2. Further, it can be proved from (35) that a JPSAM signal detector and the CPSAM signal detector will have identical performance if zero is used as the estimate of P2.
Thus, almost the full performance gain of a JPSAM signal detector over the CPSAM signal detector will be realizable in practical implementations. Tables I and II show the performance gains in SNR of JPSAM over CPSAM for BPSK and 16-QAM, respectively. For BPSK signaling the gain ranges from 0 dB for Rayleigh fading to 4.3 dB for Rician fading with ƒDT=0.09 and RK=8 at an error rate of 10−1. The gains are smaller for smaller values of error rate. For example, for the same values of ƒDT and RK, the gain at 104 error rate is 2.1 dB. Observe that JPSAM has the desirable property that its gains over CPSAM are greatest at larger error rates, where the gains are most needed. The gains are smaller, however, for higher order modulations. Again, when ƒDT=0.09 and RK=8, the gain is 1.2 dB and 0.0 dB for 10−1 and 10−4 error rate, respectively. The gain for BPSK signaling comes from the use of P2, while the gain for 16-QAM signaling comes from the use of P2 as well as the joint processing of data and pilot symbols.







TABLE I







Performance Gains of JPSAM over CPSAM for BPSK Signaling











Fading






Conditions
BER = 10−1
BER = 10−2
BER = 10−3
BER = 10−4


(fDT, RK)
(dB)
(dB)
(dB)
(dB)














fDT = 0.03,
0.0
0.0
0.0
0.0


RK = 0


fDT = 0.03,
2.1
1.0
0.4
0.0


RK = 4


fDT = 0.03,
2.5
1.5
1.2
0.9


RK = 8


fDT = 0.06,
0.0
0.0
0.0
0.0


RK = 0


fDT = 0.06,
2.7
1.6
0.8
0.0


RK = 4


fDT = 0.06,
3.2
2.4
1.9
1.7


RK = 8


fDT = 0.09,
0.0
0.0
0.0
0.0


RK = 0


fDT = 0.09,
3.7
2.3
0.8
0.0


RK = 4


fDT = 0.09,
4.3
3.2
2.9
2.1


RK = 8
















TABLE II







Performance Gains of JPSAM over CPSAM for 16-QAM Signaling











Fading






Conditions
SER = 10−1
SER = 10−2
SER = 10−3
SER = 10−4


(fDT, RK)
(dB)
(dB)
(dB)
(dB)














fDT = 0.03,
0.0
0.0
0.0
0.0


RK = 0


fDT = 0.03,
0.1
0.0
0.0
0.0


RK = 4


fDT = 0.03,
0.6
0.2
0.0
0.0


RK = 8


fDT = 0.06,
0.0
0.0
0.0
0.0


RK = 0


fDT = 0.06,
0.2
0.0
0.0
0.0


RK = 4


fDT = 0.06,
1.0
0.3
0.1
0.0


RK = 8


fDT = 0.09,
0.0
0.0
0.0
0.0


RK = 0


fDT = 0.09,
0.4
0.0
0.0
0.0


RK = 4


fDT = 0.09,
1.2
0.4
0.2
0.0


RK = 8









What has been described is merely illustrative of the application of principles of embodiments of the invention. Other arrangements and methods can be implemented by those skilled in the art without departing from the scope of the present invention.
For example, although described above primarily in the context of Rayleigh and Rician fading processes, embodiments of the invention may be applied to other fading processes. Based on the present disclosure, one skilled in the art would be enabled to adapt embodiments of the invention for use in conjunction with different fading process assumptions.
In addition, the performance plots of FIGS. 5-11 correspond to particular test or simulation conditions. Actual performance of embodiments of the invention may be similar or different for other conditions.
APPENDIX A
Derivation of (17) and (31)
In this Appendix, (17) and (31) are derived. By using (13) and (15) in (14), one has




  
    
      
        
          f
          ⁡
          
            (
            
              
                r
                k
              
              ,
              
                p
                |
                
                  b
                  k
                
              
            
            )
          
        
        =
        
          
            
              exp
              (
              
                
                  -
                  
                    
                      
                        
                        
                          r
                          k
                        
                        
                      
                      2
                    
                    
                      2
                      ⁢
                      
                        σ
                        n
                        2
                      
                    
                  
                
                -
                
                  
                    
                      ∑
                      
                        i
                        =
                        
                          (
                          I
                          )
                        
                      
                      J
                    
                    ⁢
                    
                      
                        
                        
                          p
                          i
                        
                        
                      
                      2
                    
                  
                  
                    2
                    ⁢
                    
                      σ
                      n
                      2
                    
                  
                
              
              )
            
            
              
                
                  (
                  
                    4
                    ⁢
                    
                      π
                      2
                    
                    ⁢
                    
                      σ
                      n
                      2
                    
                  
                  )
                
                
                  J
                  +
                  1
                
              
              ⁢
              
                
                
                  H
                  k
                
                
              
            
          
          ⁢
          
            ∫
            
              ∫
              
                
                  e
                  
                    
                      
                        -
                        
                          1
                          2
                        
                      
                      ⁢
                      
                        u
                        R
                      
                      ⁢
                      
                        F
                        k
                      
                      ⁢
                      
                        u
                        R
                        T
                      
                    
                    -
                    
                      
                        1
                        2
                      
                      ⁢
                      
                        u
                        I
                      
                      ⁢
                      
                        F
                        k
                      
                      ⁢
                      
                        u
                        I
                        T
                      
                    
                    +
                    
                      α
                      ⁢
                      
                        
                      
                      ⁢
                      
                        u
                        R
                        T
                      
                    
                    +
                    
                      β
                      ⁢
                      
                        
                      
                      ⁢
                      
                        u
                        I
                        T
                      
                    
                  
                
                ⁢
                
                  d
                  
                    u
                    k
                  
                
                ⁢
                
                  d
                  v
                
              
            
          
        
      
    
    
      
        (
        46
        )
      
    
  




where Fk, uR, uI, α and β are defined as before. Using the fact that Hk, Fk and their inverse matrices are symmetric, it can be shown that





  
    
      
        
          
            
              
                -
                
                  1
                  2
                
              
              ⁢
              
                u
                R
              
              ⁢
              
                F
                k
              
              ⁢
              
                u
                R
                T
              
            
            +
            
              α
              ⁢
              
                
              
              ⁢
              
                u
                R
                T
              
            
          
          =
          
            
              
                -
                
                  1
                  2
                
              
              ⁢
              
                u
                R
                ′
              
              ⁢
              
                F
                k
              
              ⁢
              
                u
                R
                
                  ′
                  ⁢
                  
                    
                  
                  ⁢
                  T
                
              
            
            +
            
              
                1
                2
              
              ⁢
              α
              ⁢
              
                
              
              ⁢
              
                F
                k
                
                  -
                  1
                
              
              ⁢
              
                α
                T
              
            
          
        
        ⁢
        
          

        
        ⁢
        and
      
    
    
      
        (
        47
        )
      
    
  
  
    
      
        
          
            
              -
              
                1
                2
              
            
            ⁢
            
              u
              I
            
            ⁢
            
              F
              k
            
            ⁢
            
              u
              I
              T
            
          
          +
          
            β
            ⁢
            
              
            
            ⁢
            
              u
              R
              T
            
          
        
        =
        
          
            
              -
              
                1
                2
              
            
            ⁢
            
              u
              I
              ′
            
            ⁢
            
              F
              k
            
            ⁢
            
              u
              I
              
                ′
                ⁢
                
                  
                
                ⁢
                T
              
            
          
          +
          
            
              1
              2
            
            ⁢
            β
            ⁢
            
              
            
            ⁢
            
              F
              k
              
                -
                1
              
            
            ⁢
            
              β
              T
            
          
        
      
    
    
      
        (
        48
        )
      
    
  




where u′R=uR−αFk−1 and u′I=uI−βFk−1. Putting (47) and (48) in (46) and executing a transformation of variables, one can obtain





  
    
      
        
          f
          ⁡
          
            (
            
              
                r
                k
              
              ,
              
                p
                |
                
                  b
                  k
                
              
            
            )
          
        
        =
        
          
            
              exp
              (
              
                
                  -
                  
                    
                      
                        
                        
                          r
                          k
                        
                        
                      
                      2
                    
                    
                      2
                      ⁢
                      
                        σ
                        n
                        2
                      
                    
                  
                
                -
                
                  
                    
                      ∑
                      
                        i
                        =
                        
                          (
                          I
                          )
                        
                      
                      
                        (
                        J
                        )
                      
                    
                    ⁢
                    
                      
                        
                        
                          p
                          i
                        
                        
                      
                      2
                    
                  
                  
                    2
                    ⁢
                    
                      σ
                      n
                      2
                    
                  
                
                +
                
                  
                    1
                    2
                  
                  ⁢
                  α
                  ⁢
                  
                    
                  
                  ⁢
                  
                    F
                    k
                    
                      -
                      1
                    
                  
                  ⁢
                  
                    α
                    T
                  
                
                +
                
                  
                    1
                    2
                  
                  ⁢
                  β
                  ⁢
                  
                    
                  
                  ⁢
                  
                    F
                    k
                    
                      -
                      1
                    
                  
                  ⁢
                  
                    β
                    T
                  
                
              
              )
            
            
              
                
                  (
                  
                    4
                    ⁢
                    
                      π
                      2
                    
                    ⁢
                    
                      σ
                      n
                      2
                    
                  
                  )
                
                
                  J
                  +
                  1
                
              
              ⁢
              
                
                
                  H
                  k
                
                
              
            
          
          ⁢
          
            ∫
            
              ∫
              
                
                  e
                  
                    
                      
                        -
                        
                          1
                          2
                        
                      
                      ⁢
                      
                        u
                        R
                        ′
                      
                      ⁢
                      
                        F
                        k
                      
                      ⁢
                      
                        α
                        R
                        
                          ′
                          ⁢
                          
                            
                          
                          ⁢
                          T
                        
                      
                    
                    -
                    
                      
                        1
                        2
                      
                      ⁢
                      
                        u
                        I
                        ′
                      
                      ⁢
                      
                        F
                        k
                      
                      ⁢
                      
                        u
                        I
                        
                          ′
                          ⁢
                          
                            
                          
                          ⁢
                          T
                        
                      
                    
                  
                
                ⁢
                
                  d
                  
                    u
                    R
                    ′
                  
                
                ⁢
                
                  d
                  
                    u
                    I
                    ′
                  
                
              
            
          
        
      
    
    
      
        (
        49
        )
      
    
  




Note that the random variables, u′R and u′I, are Gaussian since uR and uI are jointly Gaussian and the transformations are linear. Therefore, they satisfy [6, eqn. (7.4.3)]





  
    
      
        
          ∫
          
            
              e
              
                
                  -
                  
                    1
                    2
                  
                
                ⁢
                
                  α
                  R
                  ′
                
                ⁢
                
                  F
                  k
                
                ⁢
                
                  u
                  R
                  
                    ′
                    ⁢
                    
                      
                    
                    ⁢
                    T
                  
                
              
            
            ⁢
            
              d
              
                u
                R
                ′
              
            
          
        
        =
        
          
            ∫
            
              
                e
                
                  
                    -
                    
                      1
                      2
                    
                  
                  ⁢
                  
                    u
                    I
                    ′
                  
                  ⁢
                  
                    F
                    k
                  
                  ⁢
                  
                    u
                    I
                    
                      ′
                      ⁢
                      
                        
                      
                      ⁢
                      T
                    
                  
                
              
              ⁢
              
                d
                
                  u
                  I
                  
                    ′
                    ⁢
                    
                      
                    
                    ⁢
                    T
                  
                
              
            
          
          =
          
            
              
                
                  (
                  
                    2
                    ⁢
                    π
                  
                  )
                
                
                  
                    J
                    +
                    1
                  
                  2
                
              
              
                
                  
                  
                    F
                    k
                  
                  
                
                
                  1
                  2
                
              
            
            .
          
        
      
    
    
      
        (
        50
        )
      
    
  




Substituting (50) in (49), and after doing some mathematical manipulations, (17) can be obtained. Equation (31) can be derived in a similar way.

APPENDIX B
Derivation of Sk and Qk 
Here, the expressions for Sk in (20) and Qk in (34) are derived. Since Fk=Hk−1+Gk, by using [7, eqn. (5.32)], one has

Fk−1=Hk−Hk(Gk−1+Hk)−1Hk.  (51)

It can be shown that





  
    
      
        
          
            G
            k
            
              -
              1
            
          
          +
          
            H
            k
          
        
        =
        
          
            [
            
              
                
                  
                    
                      
                        σ
                        n
                        2
                      
                      
                        
                          
                          
                            b
                            k
                          
                          
                        
                        2
                      
                    
                    +
                    
                      
                        E
                        p
                        2
                      
                      ⁢
                      
                        σ
                        u
                        2
                      
                    
                  
                
                
                  
                    w
                    k
                  
                
              
              
                
                  
                    w
                    k
                    T
                  
                
                
                  
                    
                      
                        
                          σ
                          n
                          2
                        
                        
                          
                            
                            
                              b
                              ~
                            
                            
                          
                          2
                        
                      
                      ⁢
                      E
                    
                    +
                    
                      C
                      k
                    
                  
                
              
            
            ]
          
          .
        
      
    
    
      
        (
        52
        )
      
    
  




Therefore, the inverse of Gk−1+Hk is obtained from (52) as [7, eq. (1.35)]





  
    
      
        
          
            (
            
              
                G
                k
                
                  -
                  1
                
              
              +
              
                H
                k
              
            
            )
          
          
            -
            1
          
        
        =
        
           
          
            [
            
              
                
                  
                    
                      
                        
                          
                          
                            b
                            k
                          
                          
                        
                        2
                      
                      
                        
                          σ
                          n
                          2
                        
                        +
                        
                          
                            E
                            p
                            2
                          
                          ⁢
                          
                            σ
                            u
                            2
                          
                          ⁢
                          
                            
                              
                              
                                b
                                k
                              
                              
                            
                            2
                          
                        
                      
                    
                    ⁢
                    
                      (
                      
                        1
                        +
                        
                          
                            
                              
                                
                                
                                  b
                                  k
                                
                                
                              
                              2
                            
                            ⁢
                            
                              w
                              k
                            
                            ⁢
                            
                              Z
                              1
                            
                            ⁢
                            
                              w
                              k
                              T
                            
                          
                          
                            
                              σ
                              n
                              2
                            
                            +
                            
                              
                                E
                                p
                                2
                              
                              ⁢
                              
                                σ
                                u
                                2
                              
                              ⁢
                              
                                
                                  
                                  
                                    b
                                    k
                                  
                                  
                                
                                2
                              
                            
                          
                        
                      
                      )
                    
                  
                
                
                  
                    -
                    
                      
                        
                          
                            
                            
                              b
                              k
                            
                            
                          
                          2
                        
                        ⁢
                        
                          w
                          k
                        
                        ⁢
                        
                          Z
                          1
                        
                      
                      
                        
                          σ
                          n
                          2
                        
                        +
                        
                          
                            E
                            p
                            2
                          
                          ⁢
                          
                            σ
                            u
                            2
                          
                          ⁢
                          
                            
                              
                              
                                b
                                k
                              
                              
                            
                            2
                          
                        
                      
                    
                  
                
              
              
                
                  
                    -
                    
                      
                        
                          
                            
                            
                              b
                              k
                            
                            
                          
                          2
                        
                        ⁢
                        
                          Z
                          1
                        
                        ⁢
                        
                          w
                          k
                          T
                        
                      
                      
                        
                          σ
                          n
                          2
                        
                        +
                        
                          
                            E
                            p
                            2
                          
                          ⁢
                          
                            σ
                            u
                            2
                          
                          ⁢
                          
                            
                              
                              
                                b
                                k
                              
                              
                            
                            2
                          
                        
                      
                    
                  
                
                
                  
                    Z
                    1
                  
                
              
            
            ]
          
        
      
    
    
      
        (
        53
        )
      
    
  




where Z1 is defined as before. Substituting (16) and (53) into (51) and performing the matrix multiplication, one has





  
    
      
        
          F
          k
          
            -
            1
          
        
        =
        
           
          
            [
            
              
                
                  
                    
                      
                        
                          E
                          p
                          2
                        
                        ⁢
                        
                          σ
                          u
                          2
                        
                        ⁢
                        
                          σ
                          n
                          2
                        
                      
                      
                        
                          σ
                          n
                          2
                        
                        +
                        
                          
                            E
                            p
                            2
                          
                          ⁢
                          
                            σ
                            u
                            2
                          
                          ⁢
                          
                            
                              
                              
                                b
                                k
                              
                              
                            
                            2
                          
                        
                      
                    
                    -
                    
                      
                        
                          σ
                          n
                          4
                        
                        ⁢
                        
                          w
                          k
                        
                        ⁢
                        
                          Z
                          1
                        
                        ⁢
                        
                          w
                          k
                          T
                        
                      
                      
                        
                          (
                          
                            
                              σ
                              n
                              2
                            
                            +
                            
                              
                                E
                                p
                                2
                              
                              ⁢
                              
                                σ
                                u
                                2
                              
                              ⁢
                              
                                
                                  
                                  
                                    b
                                    k
                                  
                                  
                                
                                2
                              
                            
                          
                          )
                        
                        2
                      
                    
                  
                
                
                  
                    
                      
                        
                          σ
                          n
                          2
                        
                        ⁡
                        
                          (
                          
                            
                              w
                              k
                            
                            -
                            
                              
                                w
                                k
                              
                              ⁢
                              
                                Z
                                1
                              
                              ⁢
                              
                                C
                                k
                              
                            
                          
                          )
                        
                      
                      
                        
                          σ
                          n
                          2
                        
                        +
                        
                          
                            E
                            p
                            2
                          
                          ⁢
                          
                            σ
                            u
                            2
                          
                          ⁢
                          
                            
                              
                              
                                b
                                k
                              
                              
                            
                            2
                          
                        
                      
                    
                    +
                    
                      
                        
                          σ
                          n
                          2
                        
                        ⁢
                        
                          
                            
                            
                              b
                              k
                            
                            
                          
                          2
                        
                        ⁢
                        
                          w
                          k
                        
                        ⁢
                        
                          Z
                          1
                        
                        ⁢
                        
                          w
                          k
                          T
                        
                        ⁢
                        
                          w
                          k
                        
                      
                      
                        
                          (
                          
                            
                              σ
                              n
                              2
                            
                            +
                            
                              
                                E
                                p
                                2
                              
                              ⁢
                              
                                σ
                                u
                                2
                              
                              ⁢
                              
                                
                                  
                                  
                                    b
                                    k
                                  
                                  
                                
                                2
                              
                            
                          
                          )
                        
                        2
                      
                    
                  
                
              
              
                
                  
                    
                      
                        
                          σ
                          n
                          2
                        
                        ⁡
                        
                          (
                          
                            
                              w
                              k
                              T
                            
                            -
                            
                              
                                C
                                k
                              
                              ⁢
                              
                                Z
                                1
                              
                              ⁢
                              
                                w
                                k
                                T
                              
                            
                          
                          )
                        
                      
                      
                        
                          σ
                          n
                          2
                        
                        +
                        
                          
                            E
                            p
                            2
                          
                          ⁢
                          
                            σ
                            u
                            2
                          
                          ⁢
                          
                            
                              
                              
                                b
                                k
                              
                              
                            
                            2
                          
                        
                      
                    
                    +
                    
                      
                        
                          σ
                          n
                          2
                        
                        ⁢
                        
                          
                            
                            
                              b
                              k
                            
                            
                          
                          2
                        
                        ⁢
                        
                          w
                          k
                        
                        ⁢
                        
                          Z
                          1
                        
                        ⁢
                        
                          w
                          k
                          T
                        
                        ⁢
                        
                          w
                          k
                          T
                        
                      
                      
                        
                          (
                          
                            
                              σ
                              n
                              2
                            
                            +
                            
                              
                                E
                                p
                                2
                              
                              ⁢
                              
                                σ
                                u
                                2
                              
                              ⁢
                              
                                
                                  
                                  
                                    b
                                    k
                                  
                                  
                                
                                2
                              
                            
                          
                          )
                        
                        2
                      
                    
                  
                
                
                  
                    Z
                    3
                  
                
              
            
            ]
          
        
      
    
    
      
        (
        54
        )
      
    
  




where





  
    Z
    3
  
  =
  
    
      C
      k
    
    -
    
      
        
          
            
              
              
                b
                k
              
              
            
            2
          
          ⁢
          
            w
            k
            T
          
          ⁢
          
            w
            k
          
        
        
          
            σ
            n
            2
          
          +
          
            
              E
              p
              2
            
            ⁢
            
              σ
              u
              2
            
            ⁢
            
              
                
                
                  b
                  k
                
                
              
              2
            
          
        
      
      ⁢
      
        (
        
          1
          +
          
            
              
                
                  
                  
                    b
                    k
                  
                  
                
                2
              
              ⁢
              
                w
                k
              
              ⁢
              
                Z
                1
              
              ⁢
              
                w
                k
                T
              
            
            
              
                σ
                n
                2
              
              +
              
                
                  E
                  p
                  2
                
                ⁢
                
                  σ
                  u
                  2
                
                ⁢
                
                  
                    
                    
                      b
                      k
                    
                    
                  
                  2
                
              
            
          
        
        )
      
    
    +
    
      
        
          
            
            
              b
              k
            
            
          
          2
        
        ⁢
        
          (
          
            
              
                C
                k
              
              ⁢
              
                Z
                1
              
              ⁢
              
                w
                k
                T
              
              ⁢
              
                w
                k
              
            
            +
            
              
                w
                k
                T
              
              ⁢
              
                w
                k
              
              ⁢
              
                Z
                1
              
              ⁢
              
                C
                k
              
            
          
          )
        
      
      
        
          σ
          n
          2
        
        +
        
          
            E
            p
            2
          
          ⁢
          
            σ
            u
            2
          
          ⁢
          
            
              
              
                b
                k
              
              
            
            2
          
        
      
    
    -
    
      
        C
        k
      
      ⁢
      
        Z
        1
      
      ⁢
      
        
          C
          k
        
        .
      
    
  




Since Sk is the first row of Fk−1 excluding the first element, (20) can be obtained from (54). Also, one has





  
    
      F
      k
    
    ⁢
    
      H
      k
    
  
  =
  
    
      [
      
        
          
            
              
                
                  
                    E
                    p
                    2
                  
                  ⁢
                  
                    σ
                    u
                    2
                  
                  ⁢
                  
                    
                      
                      
                        b
                        k
                      
                      
                    
                    2
                  
                
                
                  σ
                  n
                  2
                
              
              +
              1
            
          
          
            
              
                
                  
                    
                    
                      b
                      k
                    
                    
                  
                  2
                
                
                  σ
                  n
                  2
                
              
              ⁢
              
                w
                k
              
            
          
        
        
          
            
              
                
                  
                    
                    
                      b
                      k
                    
                    
                  
                  2
                
                
                  σ
                  n
                  2
                
              
              ⁢
              
                w
                k
                T
              
            
          
          
            
              
                
                  
                    
                      
                      
                        b
                        ~
                      
                      
                    
                    2
                  
                  
                    σ
                    n
                    2
                  
                
                ⁢
                
                  C
                  k
                
              
              +
              E
            
          
        
      
      ]
    
    .
  




The inverse of FkHk can be obtained by using [7, eq. (1.35)]. This gives





  
    
      
        
          
            (
            
              
                F
                k
              
              ⁢
              
                H
                k
              
            
            )
          
          
            -
            1
          
        
        =
        
           
          
            [
            
              
                
                  
                    
                      
                        σ
                        n
                        2
                      
                      
                        
                          σ
                          n
                          2
                        
                        +
                        
                          
                            E
                            p
                            2
                          
                          ⁢
                          
                            σ
                            u
                            2
                          
                          ⁢
                          
                            
                              
                              
                                b
                                k
                              
                              
                            
                            2
                          
                        
                      
                    
                    ⁢
                    
                      (
                      
                        1
                        +
                        
                          
                            
                              
                                
                                
                                  b
                                  k
                                
                                
                              
                              2
                            
                            ⁢
                            
                              
                                
                                
                                  b
                                  ~
                                
                                
                              
                              2
                            
                            ⁢
                            
                              w
                              k
                            
                            ⁢
                            
                              Z
                              4
                            
                            ⁢
                            
                              w
                              k
                              T
                            
                          
                          
                            
                              σ
                              n
                              2
                            
                            ⁡
                            
                              (
                              
                                
                                  σ
                                  n
                                  2
                                
                                +
                                
                                  
                                    E
                                    p
                                    2
                                  
                                  ⁢
                                  
                                    σ
                                    u
                                    2
                                  
                                  ⁢
                                  
                                    
                                      
                                      
                                        b
                                        k
                                      
                                      
                                    
                                    2
                                  
                                
                              
                              )
                            
                          
                        
                      
                      )
                    
                  
                
                
                  
                    -
                    
                      
                        
                          
                            
                            
                              b
                              k
                            
                            
                          
                          2
                        
                        ⁢
                        
                          w
                          k
                        
                        ⁢
                        
                          Z
                          4
                        
                      
                      
                        
                          σ
                          n
                          2
                        
                        +
                        
                          
                            E
                            p
                            2
                          
                          ⁢
                          
                            σ
                            u
                            2
                          
                          ⁢
                          
                            
                              
                              
                                b
                                k
                              
                              
                            
                            2
                          
                        
                      
                    
                  
                
              
              
                
                  
                    -
                    
                      
                        
                          
                            
                            
                              b
                              k
                            
                            
                          
                          2
                        
                        ⁢
                        
                          Z
                          4
                        
                        ⁢
                        
                          w
                          k
                          T
                        
                      
                      
                        
                          σ
                          n
                          2
                        
                        +
                        
                          
                            E
                            p
                            2
                          
                          ⁢
                          
                            σ
                            u
                            2
                          
                          ⁢
                          
                            
                              
                              
                                b
                                k
                              
                              
                            
                            2
                          
                        
                      
                    
                  
                
                
                  
                    Z
                    4
                  
                
              
            
            ]
          
        
      
    
    
      
        (
        55
        )
      
    
  




where





  
    Z
    4
  
  =
  
    
      
        σ
        n
        2
      
      
        
          
          
            b
            ~
          
          
        
        2
      
    
    ⁢
    
      Z
      1
    
  




and Z1 is defined as before. Finally, since Qk is the transpose of the first column of (FkHk)−1, one can obtain (34) from (55).

APPENDIX C
Analysis of (25) and (44)
The equivalence between (25) and (44) is proven here. Denote




  
    
      
        
          R
          k
        
        =
        
          
            
              (
              
                1
                +
                
                  
                    
                      
                        
                        
                          b
                          k
                        
                        
                      
                      2
                    
                    ⁢
                    
                      w
                      k
                    
                    ⁢
                    
                      Z
                      1
                    
                    ⁢
                    
                      w
                      k
                      T
                    
                  
                  
                    
                      σ
                      n
                      2
                    
                    +
                    
                      
                        E
                        p
                        2
                      
                      ⁢
                      
                        σ
                        u
                        2
                      
                      ⁢
                      
                        
                          
                          
                            b
                            k
                          
                          
                        
                        2
                      
                    
                  
                
              
              )
            
            ⁢
            E
          
          -
          
            
              Z
              1
            
            ⁢
            
              
                C
                k
              
              .
            
          
        
      
    
    
      
        (
        56
        )
      
    
  




From (20), (42), (25) and (44), it is enough to show that





  
    
      
        
          
            w
            k
          
          ⁢
          
            R
            k
            T
          
          ⁢
          
            w
            k
            T
          
        
        =
        
          
            
              
                
                  
                    w
                    k
                  
                  ⁡
                  
                    (
                    
                      
                        
                          
                            
                            
                              b
                              ~
                            
                            
                          
                          2
                        
                        ⁢
                        
                          C
                          k
                        
                      
                      +
                      
                        
                          σ
                          n
                          2
                        
                        ⁢
                        E
                      
                    
                    )
                  
                
                
                  -
                  1
                
              
              ⁢
              
                w
                k
                T
              
              ⁢
              
                w
                k
              
              ⁢
              
                
                  R
                  k
                
                ⁡
                
                  (
                  
                    
                      
                        
                          
                          
                            b
                            ~
                          
                          
                        
                        2
                      
                      ⁢
                      
                        C
                        k
                      
                    
                    +
                    
                      
                        σ
                        n
                        2
                      
                      ⁢
                      E
                    
                  
                  )
                
              
              ⁢
              
                R
                k
                T
              
              ⁢
              
                w
                k
                T
              
            
          
          .
        
      
    
    
      
        (
        57
        )
      
    
  




Using (21) and [7, eq. (5.32)], one has





  
    
      
        
          
            w
            k
            T
          
          ⁢
          
            w
            k
          
          ⁢
          
            
              Z
              1
            
            ⁡
            
              (
              
                
                  
                    
                      
                      
                        b
                        ~
                      
                      
                    
                    2
                  
                  ⁢
                  
                    C
                    k
                  
                
                +
                
                  
                    σ
                    n
                    2
                  
                  ⁢
                  E
                
              
              )
            
          
        
        =
        
          
            
              
              
                b
                ~
              
              
            
            2
          
          ⁢
          
            (
            
              1
              +
              
                
                  
                    
                      
                      
                        b
                        k
                      
                      
                    
                    2
                  
                  ⁢
                  
                    w
                    k
                  
                  ⁢
                  
                    Z
                    1
                  
                  ⁢
                  
                    w
                    k
                    T
                  
                
                
                  
                    σ
                    n
                    2
                  
                  +
                  
                    
                      E
                      p
                      2
                    
                    ⁢
                    
                      σ
                      u
                      2
                    
                    ⁢
                    
                      
                        
                        
                          b
                          k
                        
                        
                      
                      2
                    
                  
                
              
            
            )
          
          ⁢
          
            w
            k
            T
          
          ⁢
          
            
              w
              k
            
            .
          
        
      
    
    
      
        (
        58
        )
      
    
  




This in turn gives





  
    
      
        
          
            
              
                w
                k
                T
              
              ⁢
              
                w
                k
              
              ⁢
              
                
                  Z
                  1
                
                ⁡
                
                  (
                  
                    
                      
                        
                          
                          
                            b
                            ~
                          
                          
                        
                        2
                      
                      ⁢
                      
                        C
                        k
                      
                    
                    +
                    
                      
                        σ
                        n
                        2
                      
                      ⁢
                      E
                    
                  
                  )
                
              
              ⁢
              
                C
                k
              
            
            -
            
              
                
                  
                  
                    b
                    ~
                  
                  
                
                2
              
              ⁢
              
                (
                
                  1
                  +
                  
                    
                      
                        
                          
                          
                            b
                            k
                          
                          
                        
                        2
                      
                      ⁢
                      
                        w
                        k
                      
                      ⁢
                      
                        Z
                        1
                      
                      ⁢
                      
                        w
                        k
                        T
                      
                    
                    
                      
                        σ
                        n
                        2
                      
                      +
                      
                        
                          E
                          p
                          2
                        
                        ⁢
                        
                          σ
                          u
                          2
                        
                        ⁢
                        
                          
                            
                            
                              b
                              k
                            
                            
                          
                          2
                        
                      
                    
                  
                
                )
              
              ⁢
              
                w
                k
                T
              
              ⁢
              
                w
                k
              
              ⁢
              
                C
                k
              
            
          
          =
          0
        
        ⁢
        
          

        
        ⁢
        
          
            
              
                
                  C
                  k
                
                ⁡
                
                  (
                  
                    
                      
                        
                          
                          
                            b
                            ~
                          
                          
                        
                        2
                      
                      ⁢
                      
                        C
                        k
                      
                    
                    +
                    
                      
                        σ
                        n
                        2
                      
                      ⁢
                      E
                    
                  
                  )
                
              
              ⁢
              
                Z
                1
              
              ⁢
              
                w
                k
                T
              
              ⁢
              
                w
                k
              
            
            -
            
              
                
                  
                  
                    b
                    ~
                  
                  
                
                2
              
              ⁢
              
                (
                
                  1
                  +
                  
                    
                      
                        
                          
                          
                            b
                            k
                          
                          
                        
                        2
                      
                      ⁢
                      
                        w
                        k
                      
                      ⁢
                      
                        Z
                        1
                      
                      ⁢
                      
                        w
                        k
                        T
                      
                    
                    
                      
                        σ
                        n
                        2
                      
                      +
                      
                        
                          E
                          p
                          2
                        
                        ⁢
                        
                          σ
                          u
                          2
                        
                        ⁢
                        
                          
                            
                            
                              b
                              k
                            
                            
                          
                          2
                        
                      
                    
                  
                
                )
              
              ⁢
              
                C
                k
              
              ⁢
              
                w
                k
                T
              
              ⁢
              
                w
                k
              
            
          
          =
          0
        
      
    
    
      
        (
        59
        )
      
    
  




where 0 is a J×J zero matrix. From (59), it is easy to verify that





  
    
      
        
          
            w
            k
            T
          
          ⁢
          
            
              w
              k
            
            [
            
              
                
                  (
                  
                    1
                    +
                    
                      
                        
                          
                            
                            
                              b
                              k
                            
                            
                          
                          2
                        
                        ⁢
                        
                          w
                          k
                        
                        ⁢
                        
                          Z
                          1
                        
                        ⁢
                        
                          w
                          k
                          T
                        
                      
                      
                        
                          σ
                          n
                          2
                        
                        +
                        
                          
                            E
                            p
                            2
                          
                          ⁢
                          
                            σ
                            u
                            2
                          
                          ⁢
                          
                            
                              
                              
                                b
                                k
                              
                              
                            
                            2
                          
                        
                      
                    
                  
                  )
                
                ⁢
                
                  (
                  
                    
                      
                        
                          
                          
                            b
                            ~
                          
                          
                        
                        2
                      
                      ⁢
                      
                        C
                        k
                      
                    
                    +
                    
                      
                        σ
                        n
                        2
                      
                      ⁢
                      E
                    
                  
                  )
                
              
              -
              
                
                  
                    Z
                    1
                  
                  ⁡
                  
                    (
                    
                      
                        
                          
                            
                            
                              b
                              ~
                            
                            
                          
                          2
                        
                        ⁢
                        
                          C
                          k
                        
                      
                      +
                      
                        
                          σ
                          n
                          2
                        
                        ⁢
                        E
                      
                    
                    )
                  
                
                ⁢
                
                  C
                  k
                
              
            
            ]
          
        
        =
        
           
          
            
              [
              
                
                  
                    (
                    
                      1
                      +
                      
                        
                          
                            
                              
                              
                                b
                                k
                              
                              
                            
                            2
                          
                          ⁢
                          
                            w
                            k
                          
                          ⁢
                          
                            Z
                            1
                          
                          ⁢
                          
                            w
                            k
                            T
                          
                        
                        
                          
                            σ
                            n
                            2
                          
                          +
                          
                            
                              E
                              p
                              2
                            
                            ⁢
                            
                              σ
                              u
                              2
                            
                            ⁢
                            
                              
                                
                                
                                  b
                                  k
                                
                                
                              
                              2
                            
                          
                        
                      
                    
                    )
                  
                  ⁢
                  
                    (
                    
                      
                        
                          
                            
                            
                              b
                              ~
                            
                            
                          
                          2
                        
                        ⁢
                        
                          C
                          k
                        
                      
                      +
                      
                        
                          σ
                          n
                          2
                        
                        ⁢
                        E
                      
                    
                    )
                  
                
                -
                
                  
                    
                      C
                      k
                    
                    ⁡
                    
                      (
                      
                        
                          
                            
                              
                              
                                b
                                ~
                              
                              
                            
                            2
                          
                          ⁢
                          
                            C
                            k
                          
                        
                        +
                        
                          
                            σ
                            n
                            2
                          
                          ⁢
                          E
                        
                      
                      )
                    
                  
                  ⁢
                  
                    Z
                    1
                  
                
              
              ]
            
            ⁢
            
              w
              k
              T
            
            ⁢
            
              
                w
                k
              
              .
            
          
        
      
    
    
      
        (
        60
        )
      
    
  




Since (|{tilde over (b)}|2 Ck+σn2E)Ck=Ck(|{tilde over (b)}|2Ck+σn2E), from (60), one further has

wkTwkRk(|{tilde over (b)}|2Ck+σn2E)=(|{tilde over (b)}|2Ck+σn2E)RkTwkTwk  (61)

where Rk is given by (56). Multiplying both sides of (61) with wk(|{tilde over (b)}|2Ck+σn2)−1 on the left and RkTwkT on the right, one has

wk(|{tilde over (b)}|2Ck+σn2E)−1wkTwkRk(|b|2Ck+σn2E)RkTwkT=wkRkTwkTwkRkTwkT.  (62)

From (62), (57) can be obtained.

REFERENCES


    [1] J. G. Proakis, Digital Communications, 4th ed. New York: McGraw-Hill, 2001.
    [2] J. K. Cavers, “An analysis of pilot symbol assisted modulation for Rayleigh fading channels,” IEEE Trans. Vehicul. Technol., vol. 40, pp. 686-693, November 1991.
    [3] S. Sampei and T. Sunaga, “Rayleigh fading compensation for QAM in land mobile radio communications,” IEEE Trans. Vehicul. Technol., vol. 42, pp. 137-147, May 1993.
    [4] H. Li, Y. Iwanami, and T. Ikeda, “Symbol error rate analysis for MPSK under Rician fading channels with fading compensation based on time correlation,” IEEE Trans. Vehicul. Technol., Vol. 44, pp. 535-542, August 1995.
    [5] G. L. Stüber, Principles of Mobile Communication, 2nd ed. Norwell, Mass.: Kluwer Academic, 2001.
    [6] S. S. Wilks, Mathematical Statistics, New York: John Wiley & Sons, 1962.
    [7] B. Noble, Applied Linear Algebra, Engle Cliff, N.J.: Prentice-Hall, 1969.
    [8] H. L. Van Trees, Detection, Estimation, and Modulation Theory, Part I. New York: Wiley, 2001.
    [9] Y. Chen and N. C. Beaulieu, “Estimators using noisy channel samples for fading distribution parameters,” submitted.

## Claims

1. An apparatus comprising:
an input for receiving from a communication channel a communication signal containing unknown data symbols and known pilot symbols; and
a communication signal processing module operatively coupled to the input and configured to determine a transmitted value of a received data symbol based on at least one pilot symbol in the received communication signal, a received value of at least one data symbol, and a likelihood function, the likelihood function taking into account an assumption of a fading process on the communication channel and a specular component of the fading process, wherein the communication signal processing module is configured to determine the transmitted value of the received data symbol by:
computing a respective intermediate value for each of a plurality of possible transmitted values of the received data symbol, wherein each intermediate value is representative of an estimate of a gain of the communication channel;
determining a respective likelihood value for each possible transmitted value of the received data symbol, the respective likelihood values being a function of the received value of the data symbol and the respective intermediate values; and
selecting as a channel gain estimate for the received data symbol a channel gain estimate associated with a highest of the respective likelihood values.

2. The apparatus of claim 1, further comprising:
an output operatively coupled to the communication signal processing module,
wherein the communication signal processing module is further configured to provide at an output at least one of the determined transmitted value of the received data symbol and the channel gain estimate for the received data symbol.

3. The apparatus of claim 2, further comprising:
a plurality of antennas for receiving diversity components of the communication signal; and
a diversity combiner operatively coupled to the plurality of antennas and to the input, and configured to combine the received diversity components to generate the received communication signal.

4. The apparatus of claim 3, wherein the communication signal processing module is configured to provide at the output the channel gain estimate for the received data symbol, and wherein the diversity combiner is further operatively coupled to the output and configured to use the channel gain estimate in combining other received diversity components.

5. The apparatus of claim 1, wherein the fading process is a Rician fading process, wherein the likelihood function comprises:


ƒ(rk,p|bk)=∫∫ƒ(rk,p|uk,v,bk)·ƒ(uk,v)dukdv 


where
ƒ(•) is a joint Probability Density Function (PDF);
rk is the received value of the data symbol;
p comprises received values of pilot symbols in the received communication signal;
uk is a complex channel gain for the data symbol in the received communication signal;
v comprises complex channel gains for the pilot symbols in the received communication signal; and
bk is the data symbol for which a value is to be determined,
wherein the data symbol has one of a plurality of possible values having equal energies, and wherein the communication signal processing module is configured to determine a transmitted value of a received data symbol based on:





  
    
      b
      ^
    
    k
  
  =
  
    
      arg
    
    ⁢
    
      
    
    ⁢
    
      
        max
        
          
            b
            k
          
          ∈
          
            
              {
              
                b
                m
              
              }
            
            
              m
              =
              1
            
            M
          
        
      
      ⁢
      
        {
        
          Re
          ⁢
          
            {
            
              
                r
                k
              
              ⁢
              
                b
                k
                *
              
              ⁢
              
                V
                k
                *
              
            
            }
          
        
        }
      
    
  




where


Vk=Xk+σn2Yk;



Xk={tilde over (b)}*pSkT;

{tilde over (b)} is a known value of the pilot symbols;





  
    
      S
      k
    
    =
    
      
        w
        k
      
      ·
      
        [
        
          
            
              (
              
                
                  
                    σ
                    n
                    2
                  
                  
                    
                      σ
                      n
                      2
                    
                    +
                    
                      
                        E
                        p
                        2
                      
                      ⁢
                      
                        σ
                        u
                        2
                      
                      ⁢
                      
                        
                          
                          
                            b
                            k
                          
                          
                        
                        2
                      
                    
                  
                
                +
                
                  
                    
                      σ
                      n
                      2
                    
                    ⁢
                    
                      
                        
                        
                          b
                          k
                        
                        
                      
                      2
                    
                    ⁢
                    
                      w
                      k
                    
                    ⁢
                    
                      Z
                      1
                    
                    ⁢
                    
                      w
                      k
                      T
                    
                  
                  
                    
                      (
                      
                        
                          σ
                          n
                          2
                        
                        +
                        
                          
                            E
                            p
                            2
                          
                          ⁢
                          
                            σ
                            u
                            2
                          
                          ⁢
                          
                            
                              
                              
                                b
                                k
                              
                              
                            
                            2
                          
                        
                      
                      )
                    
                    2
                  
                
              
              )
            
            ⁢
            E
          
          -
          
            
              
                σ
                n
                2
              
              ⁢
              
                Z
                1
              
              ⁢
              
                C
                k
              
            
            
              
                σ
                n
                2
              
              +
              
                
                  E
                  p
                  2
                
                ⁢
                
                  σ
                  u
                  2
                
                ⁢
                
                  
                    
                    
                      b
                      k
                    
                    
                  
                  2
                
              
            
          
        
        ]
      
    
  
  ;



σn2 is a variance of noise on the communication channel;
Ep is the energy of a shaping pulse;
σu2 is a variance of channel gain u of the communication channel;
wk is a covariance between real or imaginary components of uk and vi;





  
    
      Z
      1
    
    =
    
      
        [
        
          
            C
            k
          
          +
          
            
              
                σ
                n
                2
              
              
                
                  
                  
                    b
                    ~
                  
                  
                
                2
              
            
            ⁢
            E
          
          -
          
            
              
                
                  
                  
                    b
                    k
                  
                  
                
                2
              
              
                
                  σ
                  n
                  2
                
                +
                
                  
                    E
                    p
                    2
                  
                  ⁢
                  
                    σ
                    u
                    2
                  
                  ⁢
                  
                    
                      
                      
                        b
                        k
                      
                      
                    
                    2
                  
                
              
            
            ⁢
            
              w
              k
              T
            
            ⁢
            
              w
              k
            
          
        
        ]
      
      
        -
        1
      
    
  
  ;



E is an identity matrix;
Ck is a covariance between real or imaginary components of v;


Yk=(mR+jmI)QkT;


mR+jmI is a mean of the channel gain u of the communication channel; and





  
    Q
    k
  
  =
  
    
      [
      
        
          
            
              σ
              n
              2
            
            
              
                σ
                n
                2
              
              +
              
                
                  E
                  p
                  2
                
                ⁢
                
                  σ
                  u
                  2
                
                ⁢
                
                  
                    
                    
                      b
                      k
                    
                    
                  
                  2
                
              
            
          
          ⁢
          
            (
            
              1
              +
              
                
                  
                    
                      
                      
                        b
                        k
                      
                      
                    
                    2
                  
                  ⁢
                  
                    w
                    k
                  
                  ⁢
                  
                    Z
                    1
                  
                  ⁢
                  
                    w
                    k
                    T
                  
                
                
                  
                    σ
                    n
                    2
                  
                  +
                  
                    
                      E
                      p
                      2
                    
                    ⁢
                    
                      σ
                      u
                      2
                    
                    ⁢
                    
                      
                        
                        
                          b
                          k
                        
                        
                      
                      2
                    
                  
                
              
            
            )
          
        
        -
        
          
            
              σ
              n
              2
            
            
              
                σ
                n
                2
              
              +
              
                
                  E
                  p
                  2
                
                ⁢
                
                  σ
                  u
                  2
                
                ⁢
                
                  
                    
                    
                      b
                      k
                    
                    
                  
                  2
                
              
            
          
          ⁢
          
            w
            k
          
          ⁢
          
            Z
            1
          
        
      
      ]
    
    .

6. The apparatus of claim 1, wherein the fading process is a Rician fading process, wherein the likelihood function comprises:


ƒ(rk,p|bk)=∫∫ƒ(rk,p|uk,v,bk)·ƒ(uk,v)dukdv 


where
ƒ(•) is a joint Probability Density Function (PDF);
rk is the received value of the data symbol in the received communication signal;
p comprises received values of pilot symbols in the received communication signal;
uk is a complex channel gain for the data symbol in the received communication signal;
v comprises complex channel gains for the pilot symbols in the received communication signal; and
bk is the data symbol for which a value is to be determined,
wherein the data symbol has one of a plurality of possible values having unequal energies, and wherein the communication signal processing module is configured to determine a transmitted value of a received data symbol based on





  
    
      b
      ^
    
    k
  
  =
  
    
      arg
    
    ⁢
    
      
        max
        
          
            b
            k
          
          ∈
          
            
              {
              
                b
                m
              
              }
            
            
              m
              =
              1
            
            M
          
        
      
      ⁢
      
        
          {
          
            
              Re
              ⁢
              
                {
                
                  
                    r
                    k
                  
                  ⁢
                  
                    b
                    k
                    *
                  
                  ⁢
                  
                    V
                    k
                    *
                  
                
                }
              
            
            -
            
              
                σ
                n
                4
              
              ⁢
              ln
              ⁢
              
                
                
                  
                    
                      
                        
                        
                          b
                          k
                        
                        
                      
                      2
                    
                    
                      σ
                      n
                      2
                    
                  
                  +
                  d
                
                
              
            
            +
            
              
                σ
                n
                4
              
              ⁢
              
                A
                k
              
            
            +
            
              
                σ
                n
                4
              
              ⁢
              
                B
                k
              
            
          
          }
        
        .
      
    
  




where


Vk=Xk+σn2Yk;



Xk={tilde over (b)}*pSkT;

{tilde over (b)} is a known value of the pilot symbols;





  
    
      S
      k
    
    =
    
      
        w
        k
      
      ·
      
        [
        
          
            
              (
              
                
                  
                    σ
                    n
                    2
                  
                  
                    
                      σ
                      n
                      2
                    
                    +
                    
                      
                        E
                        p
                        2
                      
                      ⁢
                      
                        σ
                        u
                        2
                      
                      ⁢
                      
                        
                          
                          
                            b
                            k
                          
                          
                        
                        2
                      
                    
                  
                
                +
                
                  
                    
                      σ
                      n
                      2
                    
                    ⁢
                    
                      
                        
                        
                          b
                          k
                        
                        
                      
                      2
                    
                    ⁢
                    
                      w
                      k
                    
                    ⁢
                    
                      Z
                      1
                    
                    ⁢
                    
                      w
                      k
                      T
                    
                  
                  
                    
                      (
                      
                        
                          σ
                          n
                          2
                        
                        +
                        
                          
                            E
                            p
                            2
                          
                          ⁢
                          
                            σ
                            u
                            2
                          
                          ⁢
                          
                            
                              
                              
                                b
                                k
                              
                              
                            
                            2
                          
                        
                      
                      )
                    
                    2
                  
                
              
              )
            
            ⁢
            E
          
          -
          
            
              
                σ
                n
                2
              
              ⁢
              
                Z
                1
              
              ⁢
              
                C
                k
              
            
            
              
                σ
                n
                2
              
              +
              
                
                  E
                  p
                  2
                
                ⁢
                
                  σ
                  u
                  2
                
                ⁢
                
                  
                    
                    
                      b
                      k
                    
                    
                  
                  2
                
              
            
          
        
        ]
      
    
  
  ;



σn2 is a variance of noise on the communication channel;
Ep is the energy of a shaping pulse;
σu2 is a variance of channel gain u of the communication channel;
wk is a covariance between real or imaginary components of uk and vi;





  
    
      Z
      1
    
    =
    
      
        [
        
          
            C
            k
          
          +
          
            
              
                σ
                n
                2
              
              
                
                  
                  
                    b
                    ~
                  
                  
                
                2
              
            
            ⁢
            E
          
          -
          
            
              
                
                  
                  
                    b
                    k
                  
                  
                
                2
              
              
                
                  σ
                  n
                  2
                
                +
                
                  
                    E
                    p
                    2
                  
                  ⁢
                  
                    σ
                    u
                    2
                  
                  ⁢
                  
                    
                      
                      
                        b
                        k
                      
                      
                    
                    2
                  
                
              
            
            ⁢
            
              w
              k
              T
            
            ⁢
            
              w
              k
            
          
        
        ]
      
      
        -
        1
      
    
  
  ;



E is an identity matrix;
Ck is a covariance between real or imaginary components of v;


Yk=(mR+jmI)QkT;


mR+jmI is a mean of the channel gain u of the communication channel;




  
    
      
        Q
        k
      
      =
      
        [
        
          
            
              
                σ
                n
                2
              
              
                
                  σ
                  n
                  2
                
                +
                
                  
                    E
                    p
                    2
                  
                  ⁢
                  
                    σ
                    u
                    2
                  
                  ⁢
                  
                    
                      
                      
                        b
                        k
                      
                      
                    
                    2
                  
                
              
            
            ⁢
            
              (
              
                1
                +
                
                  
                    
                      
                        
                        
                          b
                          k
                        
                        
                      
                      2
                    
                    ⁢
                    
                      w
                      k
                    
                    ⁢
                    
                      Z
                      1
                    
                    ⁢
                    
                      w
                      k
                      T
                    
                  
                  
                    
                      σ
                      n
                      2
                    
                    +
                    
                      
                        E
                        p
                        2
                      
                      ⁢
                      
                        σ
                        u
                        2
                      
                      ⁢
                      
                        
                          
                          
                            b
                            k
                          
                          
                        
                        2
                      
                    
                  
                
              
              )
            
          
          -
          
            
              
                σ
                n
                2
              
              
                
                  σ
                  n
                  2
                
                +
                
                  
                    E
                    p
                    2
                  
                  ⁢
                  
                    σ
                    u
                    2
                  
                  ⁢
                  
                    
                      
                      
                        b
                        k
                      
                      
                    
                    2
                  
                
              
            
            ⁢
            
              w
              k
            
            ⁢
            
              Z
              1
            
          
        
        ]
      
    
    ;
  




  
    
      d
      =
      
        
          1
          
            
              E
              p
              2
            
            ⁢
            
              σ
              u
              2
            
          
        
        +
        
          
            1
            
              
                E
                p
                4
              
              ⁢
              
                σ
                u
                4
              
            
          
          ⁢
          
            w
            k
          
          ⁢
          
            
              
                Z
                2
              
              (
              
                
                  
                    
                      σ
                      n
                      2
                    
                    
                      
                        
                        
                          b
                          ~
                        
                        
                      
                      2
                    
                  
                  ⁢
                  
                    Z
                    2
                  
                
                +
                E
              
              )
            
            
              -
              1
            
          
          ⁢
          
            w
            k
            T
          
        
      
    
    ;
  




  
    
      
        Z
        2
      
      =
      
        
          [
          
            
              C
              k
            
            -
            
              
                1
                
                  
                    E
                    p
                    2
                  
                  ⁢
                  
                    σ
                    u
                    2
                  
                
              
              ⁢
              
                w
                k
                T
              
              ⁢
              
                w
                k
              
            
          
          ]
        
        
          -
          1
        
      
    
    ;
  


Ak is a bias term caused by the unequal energies of the possible values of the data symbol; and
Bk is a bias term caused by the unequal energies of the possible values of the data symbol and the specular component.

7. A communication signal receiver comprising the apparatus of claim 1.

8. A method performed by an apparatus in a communication signal receiver, the method comprising:
receiving from a communication channel a communication signal containing unknown data symbols and known pilot symbols; and
determining a transmitted value of a received data symbol based on at least one pilot symbol in the received communication signal, a received value of at least one data symbol, and a likelihood function, the likelihood function taking into account an assumption of a fading process on the communication channel and a specular component of the fading process, wherein determining the transmitted value of the received data symbol comprises:
computing a respective intermediate value for each of a plurality of possible transmitted values of the received data symbol, wherein each intermediate value is representative of an estimate of a gain of the communication channel;
determining a respective likelihood value for each possible transmitted value of the received data symbol, the respective likelihood values being a function of the received value of the data symbol and the respective intermediate values; and
selecting as a channel gain estimate for the received data symbol a channel gain estimate associated with a highest of the respective likelihood values.

9. The method of claim 8, further comprising:
using an intermediate value computed for a received data symbol in performing a function for another received communication signal.

10. The method of claim 9, wherein receiving comprises receiving a plurality of diversity components of the communication signal and combining the received diversity components to generate the received communication signal, and wherein using comprises using the intermediate value in combining other received diversity components.

11. The method of claim 8, wherein the fading process is a Rician fading process, wherein the likelihood function comprises:


ƒ(rk,p|bk)=∫∫ƒ(rk,p|uk,v,bk)·ƒ(uk,v)dukdv 


where
ƒ(•) is a joint Probability Density Function (PDF);
rk is the received value of the data symbol;
p comprises received values of pilot symbols in the received communication signal;
uk is a complex channel gain for the data symbol in the received communication signal;
v comprises complex channel gains for the pilot symbols in the received communication signal; and
bk is the data symbol for which a value is to be determined,
wherein the data symbol has one of a plurality of possible values having equal energies, and wherein determining comprises determining a transmitted value of a received data symbol based on:





  
    
      b
      ^
    
    k
  
  =
  
    
      arg
    
    ⁢
    
      
        max
        
          
            b
            k
          
          ∈
          
            
              {
              
                b
                m
              
              }
            
            
              m
              =
              1
            
            M
          
        
      
      ⁢
      
        {
        
          Re
          ⁢
          
            {
            
              
                r
                k
              
              ⁢
              
                b
                k
                *
              
              ⁢
              
                V
                k
                *
              
            
            }
          
        
        }
      
    
  




where


Vk=Xk+σn2Yk;



Xk={tilde over (b)}*pSkT;

{tilde over (b)} is a known value of the pilot symbols;





  
    
      S
      k
    
    =
    
      
        w
        k
      
      ·
      
        [
        
          
            
              (
              
                
                  
                    σ
                    n
                    2
                  
                  
                    
                      σ
                      n
                      2
                    
                    +
                    
                      
                        E
                        p
                        2
                      
                      ⁢
                      
                        σ
                        u
                        2
                      
                      ⁢
                      
                        
                          
                          
                            b
                            k
                          
                          
                        
                        2
                      
                    
                  
                
                +
                
                  
                    
                      σ
                      n
                      2
                    
                    ⁢
                    
                      
                        
                        
                          b
                          k
                        
                        
                      
                      2
                    
                    ⁢
                    
                      w
                      k
                    
                    ⁢
                    
                      Z
                      1
                    
                    ⁢
                    
                      w
                      k
                      T
                    
                  
                  
                    
                      (
                      
                        
                          σ
                          n
                          2
                        
                        +
                        
                          
                            E
                            p
                            2
                          
                          ⁢
                          
                            σ
                            u
                            2
                          
                          ⁢
                          
                            
                              
                              
                                b
                                k
                              
                              
                            
                            2
                          
                        
                      
                      )
                    
                    2
                  
                
              
              )
            
            ⁢
            E
          
          -
          
            
              
                σ
                n
                2
              
              ⁢
              
                Z
                1
              
              ⁢
              
                C
                k
              
            
            
              
                σ
                n
                2
              
              +
              
                
                  E
                  p
                  2
                
                ⁢
                
                  σ
                  u
                  2
                
                ⁢
                
                  
                    
                    
                      b
                      k
                    
                    
                  
                  2
                
              
            
          
        
        ]
      
    
  
  ;



σn2 is a variance of noise on the communication channel;
Ep is the energy of a shaping pulse;
σu2 is a variance of channel gain u of the communication channel;
wk is a covariance between real or imaginary components of uk and vi;





  
    
      Z
      1
    
    =
    
      
        [
        
          
            C
            k
          
          +
          
            
              
                σ
                n
                2
              
              
                
                  
                  
                    b
                    ~
                  
                  
                
                2
              
            
            ⁢
            E
          
          -
          
            
              
                
                  
                  
                    b
                    k
                  
                  
                
                2
              
              
                
                  σ
                  n
                  2
                
                +
                
                  
                    E
                    p
                    2
                  
                  ⁢
                  
                    σ
                    u
                    2
                  
                  ⁢
                  
                    
                      
                      
                        b
                        k
                      
                      
                    
                    2
                  
                
              
            
            ⁢
            
              w
              k
              T
            
            ⁢
            
              w
              k
            
          
        
        ]
      
      
        -
        1
      
    
  
  ;



E is an identity matrix;
Ck is a covariance between real or imaginary components of v;


Yk=(mRjMI)QkT;


mR+jmI is a mean of the channel gain u of the communication channel; and





  
    Q
    k
  
  =
  
    
      [
      
        
          
            
              σ
              n
              2
            
            
              
                σ
                n
                2
              
              +
              
                
                  E
                  p
                  2
                
                ⁢
                
                  σ
                  u
                  2
                
                ⁢
                
                  
                    
                    
                      b
                      k
                    
                    
                  
                  2
                
              
            
          
          ⁢
          
            (
            
              1
              +
              
                
                  
                    
                      
                      
                        b
                        k
                      
                      
                    
                    2
                  
                  ⁢
                  
                    w
                    k
                  
                  ⁢
                  
                    Z
                    1
                  
                  ⁢
                  
                    w
                    k
                    T
                  
                
                
                  
                    σ
                    n
                    2
                  
                  +
                  
                    
                      E
                      p
                      2
                    
                    ⁢
                    
                      σ
                      u
                      2
                    
                    ⁢
                    
                      
                        
                        
                          b
                          k
                        
                        
                      
                      2
                    
                  
                
              
            
            )
          
        
        -
        
          
            
              σ
              n
              2
            
            
              
                σ
                n
                2
              
              +
              
                
                  E
                  p
                  2
                
                ⁢
                
                  σ
                  u
                  2
                
                ⁢
                
                  
                    
                    
                      b
                      k
                    
                    
                  
                  2
                
              
            
          
          ⁢
          
            w
            k
          
          ⁢
          
            Z
            1
          
        
      
      ]
    
    .

12. The method of claim 8, wherein the fading process is a Rician fading process, wherein the likelihood function comprises:


ƒ(rk,p|bk)=∫∫ƒ(rk,p|uk,v,bk)·ƒ(uk,v)dukdv 


where
ƒ(•) is a joint Probability Density Function (PDF);
rk is the received value of the data symbol;
p comprises received values of pilot symbols in the received communication signal;
uk is a complex channel gain for the data symbol in the received communication signal;
v comprises complex channel gains for the pilot symbols in the received communication signal; and
bk is the data symbol for which a value is to be determined,
wherein the data symbol has one of a plurality of possible values having unequal energies, and determining comprises determining a transmitted value of a received data symbol based on:





  
    
      b
      ^
    
    k
  
  =
  
    
      arg
    
    ⁢
    
      
    
    ⁢
    
      
        max
        
          
            b
            k
          
          ∈
          
            
              {
              
                b
                m
              
              }
            
            
              m
              =
              1
            
            M
          
        
      
      ⁢
      
        {
        
          
            Re
            ⁢
            
              {
              
                
                  r
                  k
                
                ⁢
                
                  b
                  k
                  *
                
                ⁢
                
                  V
                  k
                  *
                
              
              }
            
          
          -
          
            
              σ
              n
              4
            
            ⁢
            ln
            ⁢
            
              
              
                
                  
                    
                      
                      
                        b
                        k
                      
                      
                    
                    2
                  
                  
                    σ
                    n
                    2
                  
                
                +
                d
              
              
            
          
          +
          
            
              σ
              n
              4
            
            ⁢
            
              A
              k
            
          
          +
          
            
              σ
              n
              4
            
            ⁢
            
              B
              k
            
          
        
        }
      
    
  




where


Vk=Xk+σn2Yk;



Xk={tilde over (b)}*pSkT;

{tilde over (b)} is a known value of the pilot symbols;





  
    
      S
      k
    
    =
    
      
        w
        k
      
      ·
      
        [
        
          
            
              (
              
                
                  
                    σ
                    n
                    2
                  
                  
                    
                      σ
                      n
                      2
                    
                    +
                    
                      
                        E
                        p
                        2
                      
                      ⁢
                      
                        σ
                        u
                        2
                      
                      ⁢
                      
                        
                          
                          
                            b
                            k
                          
                          
                        
                        2
                      
                    
                  
                
                +
                
                  
                    
                      σ
                      n
                      2
                    
                    ⁢
                    
                      
                        
                        
                          b
                          k
                        
                        
                      
                      2
                    
                    ⁢
                    
                      w
                      k
                    
                    ⁢
                    
                      Z
                      1
                    
                    ⁢
                    
                      w
                      k
                      T
                    
                  
                  
                    
                      (
                      
                        
                          σ
                          n
                          2
                        
                        +
                        
                          
                            E
                            p
                            2
                          
                          ⁢
                          
                            σ
                            u
                            2
                          
                          ⁢
                          
                            
                              
                              
                                b
                                k
                              
                              
                            
                            2
                          
                        
                      
                      )
                    
                    2
                  
                
              
              )
            
            ⁢
            E
          
          -
          
            
              
                σ
                n
                2
              
              ⁢
              
                Z
                1
              
              ⁢
              
                C
                k
              
            
            
              
                σ
                n
                2
              
              +
              
                
                  E
                  p
                  2
                
                ⁢
                
                  σ
                  u
                  2
                
                ⁢
                
                  
                    
                    
                      b
                      k
                    
                    
                  
                  2
                
              
            
          
        
        ]
      
    
  
  ;



σn2 is a variance of noise on the communication channel;
Ep is the energy of a shaping pulse;
σu2 is a variance of channel gain u of the communication channel;
wk is a covariance between real or imaginary components of uk and vi;





  
    
      Z
      1
    
    =
    
      
        [
        
          
            C
            k
          
          +
          
            
              
                σ
                n
                2
              
              
                
                  
                  
                    b
                    ~
                  
                  
                
                2
              
            
            ⁢
            E
          
          -
          
            
              
                
                  
                  
                    b
                    k
                  
                  
                
                2
              
              
                
                  σ
                  n
                  2
                
                +
                
                  
                    E
                    p
                    2
                  
                  ⁢
                  
                    σ
                    u
                    2
                  
                  ⁢
                  
                    
                      
                      
                        b
                        k
                      
                      
                    
                    2
                  
                
              
            
            ⁢
            
              w
              k
              T
            
            ⁢
            
              w
              k
            
          
        
        ]
      
      
        -
        1
      
    
  
  ;



E is an identity matrix;
Ck is a covariance between real or imaginary components of v;


Yk=(mR+jmI)QkT;


mR+jmI is a mean of the channel gain u of the communication channel;




  
    
      
        Q
        k
      
      =
      
        [
        
          
            
              
                σ
                n
                2
              
              
                
                  σ
                  n
                  2
                
                +
                
                  
                    E
                    p
                    2
                  
                  ⁢
                  
                    σ
                    u
                    2
                  
                  ⁢
                  
                    
                      
                      
                        b
                        k
                      
                      
                    
                    2
                  
                
              
            
            ⁢
            
              (
              
                1
                +
                
                  
                    
                      
                        
                        
                          b
                          k
                        
                        
                      
                      2
                    
                    ⁢
                    
                      w
                      k
                    
                    ⁢
                    
                      Z
                      1
                    
                    ⁢
                    
                      w
                      k
                      T
                    
                  
                  
                    
                      σ
                      n
                      2
                    
                    +
                    
                      
                        E
                        p
                        2
                      
                      ⁢
                      
                        σ
                        u
                        2
                      
                      ⁢
                      
                        
                          
                          
                            b
                            k
                          
                          
                        
                        2
                      
                    
                  
                
              
              )
            
          
          -
          
            
              
                σ
                n
                2
              
              
                
                  σ
                  n
                  2
                
                +
                
                  
                    E
                    p
                    2
                  
                  ⁢
                  
                    σ
                    u
                    2
                  
                  ⁢
                  
                    
                      
                      
                        b
                        k
                      
                      
                    
                    2
                  
                
              
            
            ⁢
            
              w
              k
            
            ⁢
            
              Z
              1
            
          
        
        ]
      
    
    ;
  




  
    
      d
      =
      
        
          1
          
            
              E
              p
              2
            
            ⁢
            
              σ
              u
              2
            
          
        
        +
        
          
            1
            
              
                E
                p
                4
              
              ⁢
              
                σ
                u
                4
              
            
          
          ⁢
          
            w
            k
          
          ⁢
          
            
              
                Z
                2
              
              ⁡
              
                (
                
                  
                    
                      
                        σ
                        n
                        2
                      
                      
                        
                          
                          
                            b
                            ~
                          
                          
                        
                        2
                      
                    
                    ⁢
                    
                      Z
                      2
                    
                  
                  +
                  E
                
                )
              
            
            
              -
              1
            
          
          ⁢
          
            w
            k
            T
          
        
      
    
    ;
  







  
    
      Z
      2
    
    =
    
      
        [
        
          
            C
            k
          
          -
          
            
              1
              
                
                  E
                  p
                  2
                
                ⁢
                
                  σ
                  u
                  2
                
              
            
            ⁢
            
              w
              k
              T
            
            ⁢
            
              w
              k
            
          
        
        ]
      
      
        -
        1
      
    
  
  ;



Ak is a bias term caused by the unequal energies of the possible values of the data symbol; and
Bk is a bias term caused by the unequal energies of the possible values of the data symbol and the specular component.

13. A non-transitory computer readable medium having instructions stored thereon executable by one or more processing elements for performing a method according to claim 8.

14. An apparatus comprising:
an input for receiving a communication signal containing unknown data symbols and known pilot symbols; and
a communication signal processing module operatively coupled to the input and configured to determine a transmitted value of an unknown data symbol from possible values of at least one unknown data symbol that maximizes a likelihood function for joint processing of the known pilot symbols and the at least one unknown data symbol in a current symbol period, the likelihood function taking into account an assumption of a fading process and being a function of:
a) a known value of at least one pilot symbol and received samples of at least one pilot symbol; and
b) received samples of the at least one unknown data symbol in the current symbol period and the possible values of the at least one unknown data symbol in the current symbol period;
wherein the fading process is a Rayleigh process, wherein the likelihood function comprises:


ƒ(rk,p|bk)=∫∫ƒ(rk,p|uk,v,bk)·ƒ(uk,v)dukdv, 



where
ƒ(•) is a joint Probability Density Function (PDF);
rk is the received sample of the unknown data symbol;
p comprises received values of pilot symbols in the received communication signal;
uk is a complex channel gain for the unknown data symbol in the received communication signal;
v comprises complex channel gains for the pilot symbols in the received communication signal; and
bk is the unknown data symbol for which a value is to be determined,
wherein the unknown data symbol has one of a plurality of possible values having equal energies, and wherein the communication signal processing module is configured to determine a transmitted value of the unknown data symbol based on:





  
    
      b
      ^
    
    k
  
  =
  
    
      arg
    
    ⁢
    
      
        max
        
          
            b
            k
          
          ∈
          
            
              {
              
                b
                m
              
              }
            
            
              m
              =
              1
            
            M
          
        
      
      ⁢
      
        {
        
          Re
          (
          
            
              r
              k
            
            ⁢
            
              b
              k
              *
            
            ⁢
            
              X
              k
              *
            
          
          }
        
        }
      
    
  




where


Xk={tilde over (b)}*pSkT;

{tilde over (b)} is a known value of the pilot symbols;





  
    
      S
      k
    
    =
    
      
        w
        k
      
      ·
      
        [
        
          
            
              (
              
                
                  
                    σ
                    n
                    2
                  
                  
                    
                      σ
                      n
                      2
                    
                    +
                    
                      
                        E
                        p
                        2
                      
                      ⁢
                      
                        σ
                        u
                        2
                      
                      ⁢
                      
                        
                          
                          
                            b
                            k
                          
                          
                        
                        2
                      
                    
                  
                
                +
                
                  
                    
                      σ
                      n
                      2
                    
                    ⁢
                    
                      
                        
                        
                          b
                          k
                        
                        
                      
                      2
                    
                    ⁢
                    
                      w
                      k
                    
                    ⁢
                    
                      Z
                      1
                    
                    ⁢
                    
                      w
                      k
                      T
                    
                  
                  
                    
                      (
                      
                        
                          σ
                          n
                          2
                        
                        +
                        
                          
                            E
                            p
                            2
                          
                          ⁢
                          
                            σ
                            u
                            2
                          
                          ⁢
                          
                            
                              
                              
                                b
                                k
                              
                              
                            
                            2
                          
                        
                      
                      )
                    
                    2
                  
                
              
              )
            
            ⁢
            E
          
          -
          
            
              
                σ
                n
                2
              
              ⁢
              
                Z
                1
              
              ⁢
              
                C
                k
              
            
            
              
                σ
                n
                2
              
              +
              
                
                  E
                  p
                  2
                
                ⁢
                
                  σ
                  u
                  2
                
                ⁢
                
                  
                    
                    
                      b
                      k
                    
                    
                  
                  2
                
              
            
          
        
        ]
      
    
  
  ;



σn2 is a variance of noise on the communication channel;
Ep is the energy of a shaping pulse;
σu2 is a variance of channel gain u of the communication channel;
wk is a covariance between real or imaginary components of uk and vi;





  
    
      Z
      1
    
    =
    
      
        [
        
          
            C
            k
          
          +
          
            
              
                σ
                n
                2
              
              
                
                  
                  
                    b
                    ~
                  
                  
                
                2
              
            
            ⁢
            E
          
          -
          
            
              
                
                  
                  
                    b
                    k
                  
                  
                
                2
              
              
                
                  σ
                  n
                  2
                
                +
                
                  
                    E
                    p
                    2
                  
                  ⁢
                  
                    σ
                    u
                    2
                  
                  ⁢
                  
                    
                      
                      
                        b
                        k
                      
                      
                    
                    2
                  
                
              
            
            ⁢
            
              w
              k
              T
            
            ⁢
            
              w
              k
            
          
        
        ]
      
      
        -
        1
      
    
  
  ;



E is an identity matrix; and
Ck is a covariance between real or imaginary components of v.

15. An apparatus comprising:
an input for receiving a communication signal containing unknown data symbols and known pilot symbols; and
a communication signal processing module operatively coupled to the input and configured to determine a transmitted value of an unknown data symbol from possible values of at least one unknown data symbol that maximizes a likelihood function for joint processing of the known pilot symbols and the at least one unknown data symbol in a current symbol period, the likelihood function taking into account an assumption of a fading process and being a function of: a) a known value of at least one pilot symbol and received samples of at least one pilot symbol; and
b) received samples of the at least one unknown data symbol in the current symbol period and the possible values of the at least one unknown data symbol in the current symbol period;
wherein the fading process is a Rayleigh process, wherein the likelihood function comprises:


ƒ(rk,p|bk)=∫∫ƒ(rk,p|uk,v,bk)·ƒ(uk,v)dukdv 



where
ƒ(•) is a joint Probability Density Function (PDF);
rk is the received sample of the unknown data symbol;
p comprises received values of pilot symbols in the received communication signal;
uk is a complex channel gain for the data symbol in the received communication signal;
v comprises complex channel gains for the pilot symbols in the received communication signal; and
bk is the unknown data symbol for which a value is to be determined,
wherein the data symbol has one of a plurality of possible values having unequal energies, and wherein the communication signal processing module is configured to determine a transmitted value of the unknown data symbol based on:




  
    
      
        b
        ^
      
      k
    
    =
    
      
        arg
      
      ⁢
      
        
          max
          
            
              b
              k
            
            ∈
            
              
                {
                
                  b
                  m
                
                }
              
              
                m
                =
                1
              
              M
            
          
        
        ⁢
        
          {
          
            
              Re
              ⁢
              
                {
                
                  
                    r
                    k
                  
                  ⁢
                  
                    b
                    k
                    *
                  
                  ⁢
                  
                    X
                    k
                    *
                  
                
                }
              
            
            -
            
              
                σ
                n
                4
              
              ⁢
              ln
              ⁢
              
                
                
                  
                    
                      
                        
                        
                          b
                          k
                        
                        
                      
                      2
                    
                    
                      σ
                      n
                      2
                    
                  
                  +
                  d
                
                
              
            
            +
            
              
                σ
                n
                4
              
              ⁢
              
                A
                k
              
            
          
          }
        
      
    
  




  
    
      
        X
        k
      
      =
      
        
          
            b
            ~
          
          *
        
        ⁢
        
          pS
          k
          T
        
      
    
    ;
  


{tilde over (b)} is a known value of the pilot symbols;





  
    
      S
      k
    
    =
    
      
        w
        k
      
      ·
      
        [
        
          
            
              (
              
                
                  
                    σ
                    n
                    2
                  
                  
                    
                      σ
                      n
                      2
                    
                    +
                    
                      
                        E
                        p
                        2
                      
                      ⁢
                      
                        σ
                        u
                        2
                      
                      ⁢
                      
                        
                          
                          
                            b
                            k
                          
                          
                        
                        2
                      
                    
                  
                
                +
                
                  
                    
                      σ
                      n
                      2
                    
                    ⁢
                    
                      
                        
                        
                          b
                          k
                        
                        
                      
                      2
                    
                    ⁢
                    
                      w
                      k
                    
                    ⁢
                    
                      Z
                      1
                    
                    ⁢
                    
                      w
                      k
                      T
                    
                  
                  
                    
                      (
                      
                        
                          σ
                          n
                          2
                        
                        +
                        
                          
                            E
                            p
                            2
                          
                          ⁢
                          
                            σ
                            u
                            2
                          
                          ⁢
                          
                            
                              
                              
                                b
                                k
                              
                              
                            
                            2
                          
                        
                      
                      )
                    
                    2
                  
                
              
              )
            
            ⁢
            E
          
          -
          
            
              
                σ
                n
                2
              
              ⁢
              
                Z
                1
              
              ⁢
              
                C
                k
              
            
            
              
                σ
                n
                2
              
              +
              
                
                  E
                  p
                  2
                
                ⁢
                
                  σ
                  u
                  2
                
                ⁢
                
                  
                    
                    
                      b
                      k
                    
                    
                  
                  2
                
              
            
          
        
        ]
      
    
  
  ;



σn2 is a variance of noise on the communication channel;
Ep is the energy of a shaping pulse;
σu2 is a variance of channel gain u of the communication channel;
wk is a covariance between real or imaginary components of uk and vi;





  
    
      Z
      1
    
    =
    
      
        [
        
          
            C
            k
          
          +
          
            
              
                σ
                n
                2
              
              
                
                  
                  
                    b
                    ~
                  
                  
                
                2
              
            
            ⁢
            E
          
          -
          
            
              
                
                  
                  
                    b
                    k
                  
                  
                
                2
              
              
                
                  σ
                  n
                  2
                
                +
                
                  
                    E
                    p
                    2
                  
                  ⁢
                  
                    σ
                    u
                    2
                  
                  ⁢
                  
                    
                      
                      
                        b
                        k
                      
                      
                    
                    2
                  
                
              
            
            ⁢
            
              w
              k
              T
            
            ⁢
            
              w
              k
            
          
        
        ]
      
      
        -
        1
      
    
  
  ;



E is an identity matrix;
Ck is a covariance between real or imaginary components of v;




  
    
      d
      =
      
        
          1
          
            
              E
              p
              2
            
            ⁢
            
              σ
              u
              2
            
          
        
        +
        
          
            1
            
              
                E
                p
                4
              
              ⁢
              
                σ
                u
                4
              
            
          
          ⁢
          
            w
            k
          
          ⁢
          
            
              
                Z
                2
              
              ⁡
              
                (
                
                  
                    
                      
                        σ
                        n
                        2
                      
                      
                        
                          
                          
                            b
                            ~
                          
                          
                        
                        2
                      
                    
                    ⁢
                    
                      Z
                      2
                    
                  
                  +
                  E
                
                )
              
            
            
              -
              1
            
          
          ⁢
          
            w
            k
            T
          
        
      
    
    ;
  




  
    
      
        Z
        2
      
      =
      
        
          [
          
            
              C
              k
            
            -
            
              
                1
                
                  
                    E
                    p
                    2
                  
                  ⁢
                  
                    σ
                    u
                    2
                  
                
              
              ⁢
              
                w
                k
                T
              
              ⁢
              
                w
                k
              
            
          
          ]
        
        
          -
          1
        
      
    
    ;
    and
  


Ak is a bias term caused by the unequal energies of the possible values of the data symbol.