# Patent

## Title
Estimating frequency-offsets and multi-antenna channels in MIMO OFDM systems

## Abstract

Techniques are described for carrier frequency offset (CFO) and channel estimation of orthogonal frequency division multiplexing (OFDM) transmissions over multiple-input multiple-output (MIMO) frequency-selective fading channels. A wireless transmitter forms blocks of symbols by inserting training symbols within two or more blocks of information-bearing symbols. The transmitter applies a hopping code to each of the blocks of symbols to insert a null subcarrier at a different position within each of the blocks of symbols, and a modulator outputs a wireless signal in accordance with the blocks of symbols. A receiver receives the wireless signal and estimates the CFO, and outputs a stream of estimated symbols based on the estimated CFO.

## Background
This application is a continuation of U.S. application Ser. No. 14/289,294, filed May 28, 2014, which is a continuation of U.S. application Ser. No. 13/783,039, filed Mar. 1, 2013, which is a continuation of U.S. application Ser. No. 13/777,993, filed Feb. 26, 2013, which is a continuation of U.S. application Ser. No. 13/301,482, filed Nov. 21, 2011, which is a continuation of U.S. application Ser. No. 10/850,961, filed May 21, 2004, which claims the benefit of U.S. Provisional Application Ser. No. 60/472,297, filed May 21, 2003, the entire content of each being incorporated herein by reference.


STATEMENT REGARDING FEDERALLY SPONSORED RESEARCH OR DEVELOPMENT
This invention was made with government support under CCR-0105612 awarded by the National Science Foundation and DAAD19-01-20011 awarded by the Army Research Office. The government has certain rights in the invention.


TECHNICAL FIELD
The invention relates to communication systems and, more particularly, carrier frequency offset estimation and channel estimation in communication systems.
BACKGROUND
Providing reliable high data rate services, e.g. real-time multimedia services, over wireless communication channels is a paramount goal in developing coding and modulation schemes. When a data rate for wireless communication systems is high in relation to bandwidth, multipath propagation may become frequency-selective and cause intersymbol interference (ISI). Multipath fading in wireless communication channels causes performance degradation and constitutes the bottleneck for increasing data rates.
Orthogonal frequency division multiplexing (OFDM) is inherently resistant to multipath fading and has been adopted by many standards because it offers high data-rates and low decoding complexity. For example, OFDM has been adopted as a standard for digital audio broadcasting (DAB) and digital video broadcasting (DVB) in Europe and high-speed digital subscriber lines (DSL) in the United States. OFDM has also been proposed for local area mobile wireless broadband standards including IEEE 802.11a, IEEE 802.11g, MMAC and HIPERLAN/2. Additionally, space-time (ST) multiplexing with multiple antenna arrays at both the transmitter and receiver are effective in mitigating fading and enhancing data rates. Therefore, multi-input multi-output (MIMO) OFDM is attractive for multi-user wireless communication systems. However, MIMO OFDM systems have increasing channel estimation complexity as the number of antennas increases due to the increased number of unknowns which must be estimated and have great sensitivity to carrier frequency offsets (CFO).
Typical single-input single-output (SISO) OFDM systems rely on blocks of training symbols or exploit the presence of null sub-carriers in order to acquire channel state information (CAI) to mitigate CFO and perform channel estimation. In the IEEE 802.11a, IEEE 802.11g, and HIPERLAN/2 standards, sparsely placed pilot symbols are present in every OFDM symbol and pilot symbols are placed in the same positions from block to block. Additionally, channel estimation is performed on a per block basis.
For channel state information (CSI) acquisition, three classes of methods are available: blind methods which estimate CSI solely from the received symbols; differential methods that bypass CSI estimation by differential encoding; and input-output methods which rely on training symbols that are known a priori to the receiver. Relative to training based schemes, differential approaches incur performance loss by design, while blind methods typically require longer data records and entail higher complexity. Although training methods can be suboptimal and are bandwidth consuming, training methods remain attractive in practice because they decouple symbol detection from channel estimation, thereby simplifying receiver complexity and relaxing the required identifiability conditions.
SUMMARY
In general, the invention is directed to techniques for carrier frequency offset (CFO) and channel estimation of orthogonal frequency division multiplexing (OFDM) transmissions over multiple-input multiple-output (MIMO) frequency-selective fading channels. In particular, techniques are described that utilize training symbols such that CFO and channel estimation are decoupled from symbol detection at the receiver. Unlike conventional systems in which training symbols are inserted within a block of space-time encoded information-bearing symbols to form a transmission block, the techniques described herein insert training symbols over two or more transmission blocks. Furthermore, training symbols may include both non-zero symbols and zero symbols and are inserted so that channel estimation and CFO estimation are performed separately. Zero symbols, referred to as null subcarriers, are utilized that change position, i.e. “hop”, from block to block. In this manner, the information-bearing symbols and training symbols are received in a format in which the training symbols are easily separated from the information-bearing symbols, thereby enabling CFO estimation to be performed prior to channel estimation.
In one embodiment, the invention is directed to a method comprising forming blocks of symbols by inserting training symbols within two or more blocks of information-bearing symbols; applying a hopping code to each of the blocks of symbols to insert a null subcarrier at a different position within each of the blocks of symbols; and outputting wireless transmission signal in accordance with the blocks of symbols.
In another embodiment, the invention is directed to a method comprising receiving a wireless signal transmitted from a stream of blocks of symbols, wherein each block of symbols includes one or more information-bearing symbols, one or more training symbols, and at least one null subcarrier at a different position within each of the blocks of symbols. The method further comprises outputting estimated symbols based on the received wireless signal.
In another embodiment, the invention is directed to a wireless communication device comprising a training symbol insertion module to form blocks of symbols by inserting training symbols within two or more blocks of information-bearing symbols, wherein the training symbol insertion module applies a hopping code to each of the blocks of symbols to insert a null subcarrier at a different position within each of the blocks of symbols; and a modulator to output a wireless transmission signal in accordance with the blocks of symbols.
In another embodiment, the invention is directed to a wireless communication device comprising: one or more antennas that receive a wireless signal transmitted from a stream of blocks of symbols, wherein each block of symbols includes one or more information-bearing symbols, one or more training symbols, and at least one null subcarrier at a different position within each of the blocks of symbols; an carrier frequency offset estimator to estimate a carrier frequency offset of the received signal based on the positions of the null subcarriers; and a decoder to output a stream of estimated symbols based on the received wireless signal and the estimated carrier frequency offset.
In another embodiment, the invention is directed to a computer-readable medium containing instructions. The instructions cause a programmable processor to form blocks of symbols by inserting training symbols within two or more blocks of information-bearing symbols; apply a hopping code to each of the blocks of symbols to insert a null subcarrier at a different position within each of the blocks of symbols; and output wireless transmission signal in accordance with the blocks of symbols.
The described techniques may offer one or more advantages. For example, instead of performing CFO and MIMO channel estimation on a per block basis, several transmission blocks are collected by a receiver for estimating CFO and the MIMO frequency-selective channels, thereby resulting in an efficient use of bandwidth. Further, because the training symbols are inserted in a manner that decouples CFO and channel estimation from symbol detection, low-complexity CFO and channel estimation can be performed. Moreover, the described techniques allow for full acquisition range of the CFO estimator and identifiability of the MIMO channel estimator.
Other advantages of performing block equalization may include improved bit-error-rate (BER) performance relative to typical techniques and flexibility to adjust the number of blocks collected to perform channel estimation. Because of the improved BER performance, less expensive voltage controlled oscillators may be used. Additionally, the training patterns of the described techniques can easily be implemented by current OFDM standards, such as IEEE 802.11a and IEEE 802.11g.
The details of one or more embodiments of the invention are set forth in the accompanying drawings and the description below. Other features, objects, and advantages of the invention will be apparent from the description and drawings, and from the claims.



BRIEF DESCRIPTION OF DRAWINGS
FIG. 1 is a block diagram illustrating an exemplary wireless multi-user communication system in which multiple transmitters communicate with multiple receivers through a wireless communication channel.
FIG. 2 is a block diagram illustrating in further detail one embodiment of a transmitter and a receiver within the multi-user communication system of FIG. 1.
FIG. 3 illustrates example transmission blocks generated by the transmitter of FIG. 2.
FIG. 4 is a flowchart illustrating an example mode of operation of the communication system of FIG. 2 in which a receiver performs CFO estimation and channel estimation on an OFDM transmission signal output by a transmitter.
FIGS. 5-12 are graphs illustrating performance estimates of the CFO and channel estimation techniques described herein.



DETAILED DESCRIPTION
Throughout the Detailed Description bold upper letters denote matrices, bold lower letters stand for column vectors, (•)T and (•)H denote transpose and Hermitian transpose, respectively; (•)* denotes conjugate and └•┐ denotes the nearest integer. E[•] stands for expectation and diag[x] stands for a diagonal matrix with x on its main diagonal; matrix DN(h) with a vector argument denotes an N×N diagonal matrix with DN(h)=diag[h]. For a vector, ∥•∥ denotes the Euclidian norm. [A]k,m denotes the (k, m)th entry of a matrix A, and [x]m denotes the mth entry of the column vector x; IN denotes the N×N identity matrix; ei denotes the (i+1)st column of IN; [FN]m, m=N(1/2) exp(−j2Πmn/N) denotes the N×N fast fourier transform (FFT) matrix; and we define f:=[1, exp(jω), . . . , exp(j(N−1)ω)T.
FIG. 1 is a block diagram illustrating a multi-user wireless communication system 2 in which multiple transmitters communicate with multiple receivers 6 through wireless communication channel 8. In general, the invention describes techniques for performing carrier frequency offset (CFO) and channel estimation of orthogonal frequency division multiplexing (OFDM) transmissions output by transmitters 4 over multiple-input multiple-output (MIMO) frequency-selective fading channel 8. As described herein, the techniques maintain orthogonality among subcarriers of OFDM transmissions through channel 8 allowing low-complexity receivers 6 and full acquisition range of the CFO.
Transmitters 4 output a transmission signal in accordance with a block of symbols in which two or more training symbols are inserted and in which a hopping code is applied. A block of training symbols including two or more training symbols may be inserted within a block of space-time encoded information-bearing symbols. A hopping code may then be applied to the resulting block of symbols to insert a null subcarrier, i.e. zero symbol, within the block symbols such that the null subcarrier changes position, i.e. “hops”, from block to block. Unlike conventional systems in which training symbols are inserted within a single transmission block, the techniques described herein insert training symbols over two or more transmission blocks. Consequently, transmitters 4 may insert a sequence of training symbols over two or more transmission blocks, thereby increasing bandwidth efficiency because smaller blocks of training symbols may be used. Receivers 6 may then collect the training symbols inserted within the two or more transmission blocks in order to perform channel estimation. Furthermore, the information-bearing symbols and training symbols are received through communication channel 8 by receivers 6 in a format in which the training symbols are easily separated from the information-bearing symbols, thereby enabling CFO estimation to be performed prior to channel estimation. As a result, the techniques described herein may have improved bit-error-rate (BER) performance over conventional alternatives.
The described techniques can work with any space-time encoded transmission and is backwards compatible with OFDM which has been adopted as a standard for digital audio broadcasting (DAB) and digital video broadcasting (DVB) in Europe and high-speed digital subscriber lines (DSL) in the United States. OFDM has also been proposed for local area mobile wireless broadband standards including IEEE 802.11a, IEEE 802.11g, MMAC and HIPERLAN/2.
The techniques described herein apply to uplink and downlink transmissions, i.e., transmissions from a base station to a mobile device and vice versa. Transmitters 4 and receivers 6 may be any device configured to communicate using a multi-user wireless transmission including a cellular distribution station, a hub for a wireless local area network, a cellular phone, a laptop or handheld computing device, a personal digital assistant (PDA), a BluetoothTM enabled device, and other devices.
FIG. 2 is a block diagram illustrating in further detail the multi-user communication system of FIG. 1. In particular, FIG. 2 illustrates exemplary embodiments of multi-antenna transmitter 4 and multi-antenna receiver 6 communicating over MIMO frequency-selective channel 8 in the presence of a CFO. Multi-antenna transmitter 4 and multi-antenna receiver 6 have Nt and Nr antennas, respectively. While OFDM transmissions are inherently resilient to multipath fading, OFDM transmissions are more sensitive to frequency offsets than single carrier systems. Frequency offsets can occur when a voltage controlled oscillator (VCO) of receiver 6 is not oscillating at exactly the same carrier frequency as a VCO of transmitter 4 and can also occur as a result of the Doppler effect. When the frequency offset is permanent, it is typically referred to as a carrier frequency offset and when the frequency offset varies over time, it is typically referred to as phase noise. Frequency offsets cause a degradation in BER performance because the orthogonality among subcarriers is destroyed and the subcarriers can interfere with each other.
Generally, receiver 6 corresponds to a particular user performing CFO and channel estimation of OFDM transmissions output by transmitter 4 through MIMO frequency-selective fading channel 8 in the presence of a CFO. Each information-bearing symbol s(n) 10 is selected from a finite alphabet and input into serial to parallel converter (S/P) 11 which parses Ns information-bearing symbols from a serial stream of information-bearing symbols into blocks of information-bearing symbols. The nth entry of the kth block of the block of information-bearing symbols is denoted [s(k)]n=s(kNs+n). Space-Time coder 13 encodes and/or multiplexes each block s(k) in space and time to yield blocks {cμ(k)}μ=1Nt 14 of length Nc. Space-Time coder 13 may apply any space-time code to yield blocks {cμ(k)}μ=1Nt 14 for each respective transmit antenna of multi-antenna transmitter 4.
Each of training symbol insertion units 15 inserts two or more training symbols, which may have non-zero or zero values, within space-time encoded blocks {cμ(k)}μ=1Nt 14 and applies a hopping code to blocks {cμ(k)}μ=1Nt 14 to form a vectors ūμ(k) 16 with length N for the μth antenna of multi-antenna transmitter 4. Applying the hopping code inserts a null subcarrier which changes position, i.e. “hops”, from block to block. Each subcarrier corresponding to a zero symbol is referred to as a null subcarrier. Unlike conventional systems in which training symbols are inserted within a single transmission block, each of training symbol insertion units 15 may insert training symbols over two or more blocks. Consequently, transmitter 4 may insert a sequence of training symbols over two or more blocks {cμ(k)}μ=1Nt 14. Sparsely inserting training symbols increases the bandwidth efficiency of communication system 2 because fewer training symbols may be inserted per block {cμ(k)}μ=1Nt 14. In some embodiments, each of training symbol insertion units 15 may insert a particular number of training symbols per block {cμ(k)}μ=1Nt 14 based on channel 8's coherence time and the pertinent burst duration, e.g. if the burst is long fewer training symbols may be inserted per block {cμ(k)}μ=1Nt 14. Furthermore, training symbols may be inserted in accordance with existing OFDM standards such as IEEE 802.11a and IEEE 802.11g. Training symbol insertion units 15 are described in greater detail below using notation introduced in the following paragraphs.
Subsequent to the insertion of training symbols, MIMO OFDM is implemented. In particular, each of inverse fast Fourier transform (IFFT) units 17 implement N-point IFFT via left multiplication with FNH on each corresponding block ūμ(k) 16 and each of cyclic prefix insertion units 19 insert a cyclic prefix via left multiplication with the appropriate matrix operator Tcp:=[IL×NT INT]T, where IL×NT represents the last L columns of IN. Each of parallel to serial converters (P/S) 21 then parses the resulting blocks {uμ(k)=Tcp FNH ūμ(k)}μ=1Nt of size P×1 into a serial symbol stream. Each of modulators 23 modulate the corresponding P×1 blocks which are transmitted by the Nt transmit antennas over frequency-selective communication channel 8.
Generally, communication channel 8 can be viewed as an Lth order frequency-selective channel from the μth transmit antenna of transmitter 4 to the with receive antenna of receiver 6. Consequently, communication channel 8 can be represented in the discrete-time equivalent form h(v, μ)(l), lε[0, L] and incorporates transmit and receive filters, gμ(t) and gv(t) respectively, as well as frequency selective multipath gv, μ(t), i.e. h(v, μ)(l)=(gμ*gv, μ*gv)(t)|t=lT, where * denotes convolution and T is the sampling period which may be chosen to be equivalent to the symbol period.
Transmissions over communication channel 8 experience a frequency offset, fo in Hertz, which may be caused by a mismatch between a voltage controlled oscillator (VCO) of transmitter 4 and a VCO of receiver 6 or may also be caused by the Doppler effect. In the presence of a frequency offset, the samples at with receive antenna can be represented according to equation (1) below, where ωo:=2ΠfoT is the normalized CFO, Nr is the number of receive antennas, and ηv(n) is zero-mean, white, complex Gaussian distributed noise with variance σ2.




  
    
      
        
          
            
              X
              v
            
            ⁡
            
              (
              n
              )
            
          
          =
          
            
              
                ∑
                
                  μ
                  =
                  1
                
                
                  N
                  t
                
              
              ⁢
              
                
              
              ⁢
              
                
                  e
                  
                    j
                    ⁢
                    
                      
                    
                    ⁢
                    
                      w
                      v
                    
                    ⁢
                    n
                  
                
                ⁢
                
                  
                    ∑
                    
                      l
                      =
                      0
                    
                    L
                  
                  ⁢
                  
                    
                  
                  ⁢
                  
                    
                      
                        h
                        
                          (
                          
                            v
                            ,
                            μ
                          
                          )
                        
                      
                      ⁡
                      
                        (
                        l
                        )
                      
                    
                    ⁢
                    
                      
                        u
                        μ
                      
                      ⁡
                      
                        (
                        
                          n
                          -
                          1
                        
                        )
                      
                    
                  
                
              
            
            +
            
              
                η
                v
              
              ⁡
              
                (
                n
                )
              
            
          
        
        ,
        
          v
          ∈
          
            [
            
              1
              ,
              
                N
                r
              
            
            ]
          
        
      
    
    
      
        (
        1
        )
      
    
  




Each of serial to parallel converters (S/P) 25 convert a respective received sequence x(n) into a corresponding P×1 block 26 with entries [xv(k)]p:=xv(kP+p). By selecting block size P greater than channel order L each received block xv(k) 26 depends only on two consecutive transmitted blocks, uμ(k) and uμ(k−1) which is referred to as inter-block interference (IBI). In order to substantially eliminate IBI at receiver 6, each of cyclic prefix removers 27 removes the cyclic prefix of the corresponding blocks xv(k) 26 by left multiplication with the matrix Rcp:=[0N×L IN]. The resulting IBI-free block can be represented as yv(k):=Rcpxv(k) 28. Equation (2) below can be used to represent the vector-matrix input-output relationship, where ηv(k):=[ηv(kP), ηv(kP+1), . . . , ηv(kP+P−1)]T, with P=N+L; H(v, μ) is a P×P lower triangular Toeplitz matrix with first column [h(v, μ)(0), . . . , h(v, μ)(L), 0, . . . , 0]T; and DP(ωo) is a diagonal matrix defined as DP(ωo):=diag[1, ejωo, . . . , ejωo(P-1)].




  
    
      
        
          
            
              y
              v
            
            ⁡
            
              (
              k
              )
            
          
          =
          
            
              
                ∑
                
                  μ
                  =
                  1
                
                
                  N
                  t
                
              
              ⁢
              
                
              
              ⁢
              
                
                  e
                  
                    j
                    ⁢
                    
                      
                    
                    ⁢
                    
                      w
                      v
                    
                    ⁢
                    kP
                  
                
                ⁢
                
                  R
                  cp
                
                ⁢
                
                  
                    D
                    P
                  
                  ⁡
                  
                    (
                    
                      w
                      o
                    
                    )
                  
                
                ⁢
                
                  H
                  
                    (
                    
                      v
                      ,
                      μ
                    
                    )
                  
                
                ⁢
                
                  T
                  cp
                
                ⁢
                
                  F
                  N
                  H
                
                ⁢
                
                  
                    
                      u
                      _
                    
                    μ
                  
                  ⁡
                  
                    (
                    k
                    )
                  
                
              
            
            +
            
              
                R
                cp
              
              ⁢
              
                
                  η
                  v
                
                ⁡
                
                  (
                  k
                  )
                
              
            
          
        
        ,
        
          v
          ∈
          
            [
            
              1
              ,
              
                N
                r
              
            
            ]
          
        
      
    
    
      
        (
        2
        )
      
    
  




Based on the structure of the matrices involved, it can be readily verified that RcpDP(wv)=ejωoL DN(wv)Rcp, where DN(wv):=diag[1, ejωo, . . . , ejωo(P-1)]. Following this identity, we define the N×N matrix {tilde over (H)}(v,μ):=RcpH(v, μ)Tcp as a circulant matrix with first column [h(v, μ)(0), . . . , h(v, μ)(L), 0, . . . , 0]T. Letting also vv(k):=Rcpηv(k), equation (2) can be rewritten according to equation (3).





  
    
      
        
          
            
              y
              v
            
            ⁡
            
              (
              k
              )
            
          
          =
          
            
              
                e
                
                  j
                  ⁢
                  
                    
                  
                  ⁢
                  
                    
                      w
                      v
                    
                    ⁡
                    
                      (
                      
                        kP
                        +
                        L
                      
                      )
                    
                  
                
              
              ⁢
              
                
                  D
                  N
                
                ⁡
                
                  (
                  
                    w
                    o
                  
                  )
                
              
              ⁢
              
                
                  ∑
                  
                    μ
                    =
                    1
                  
                  
                    N
                    t
                  
                
                ⁢
                
                  
                    
                      H
                      ~
                    
                    
                      (
                      
                        v
                        ,
                        μ
                      
                      )
                    
                  
                  ⁢
                  
                    F
                    N
                    H
                  
                  ⁢
                  
                    
                      
                        u
                        _
                      
                      μ
                    
                    ⁡
                    
                      (
                      k
                      )
                    
                  
                
              
            
            +
            
              
                v
                v
              
              ⁡
              
                (
                k
                )
              
            
          
        
        ,
        
          v
          ∈
          
            [
            
              1
              ,
              
                N
                r
              
            
            ]
          
        
      
    
    
      
        (
        3
        )
      
    
  




In the absence of a CFO, taking the FFT of yv(k) 28 renders the frequency-selective channel 8 equivalent to a set of flat-fading channels, since FNH {tilde over (H)}(v,μ) FNH is a diagonal matrix DN({tilde over (h)}(v,μ)), where {tilde over (h)}(v,μ):=[{tilde over (h)}(v,μ)(0), . . . , {tilde over (h)}(v,μ)(2Π(N−1)/N)]T, with




  
    
      
        h
        ~
      
      
        (
        
          v
          ,
          μ
        
        )
      
    
    ⁡
    
      (
      
        2
        ⁢
        Π
        ⁢
        
          
        
        ⁢
        
          n
          /
          N
        
      
      )
    
  
  :=
  
    
      ∑
      
        l
        =
        0
      
      L
    
    ⁢
    
      
        
          
            h
            ~
          
          
            (
            
              v
              ,
              μ
            
            )
          
        
        ⁡
        
          (
          l
          )
        
      
      ⁢
      
        exp
        ⁡
        
          (
          
            
              -
              j
            
            ⁢
            
              
            
            ⁢
            2
            ⁢
            π
            ⁢
            
              
            
            ⁢
            
              nl
              /
              N
            
          
          )
        
      
    
  




representing the (v,μ)th channel's frequency response vales on the FFT grid. However, in the presence of a CFO, the orthogonality of subcarriers is destroyed and the channel cannot be diagonalized by taking the FFT of yv(k) 28. In order to simplify the input-output relationship, FNH FN=IN can be inserted between DN (wo) and {tilde over (H)}(v,μ) to re-express equation (3) as equation (4).





  
    
      
        
          
            
              y
              v
            
            ⁡
            
              (
              k
              )
            
          
          =
          
            
              
                e
                
                  j
                  ⁢
                  
                    
                  
                  ⁢
                  
                    
                      w
                      v
                    
                    ⁡
                    
                      (
                      
                        kP
                        +
                        L
                      
                      )
                    
                  
                
              
              ⁢
              
                
                  D
                  N
                
                ⁡
                
                  (
                  
                    w
                    o
                  
                  )
                
              
              ⁢
              
                
                  ∑
                  
                    μ
                    =
                    1
                  
                  
                    N
                    t
                  
                
                ⁢
                
                  
                
                ⁢
                
                  
                    F
                    N
                    H
                  
                  ⁢
                  
                    
                      D
                      N
                    
                    ⁡
                    
                      (
                      
                        
                          h
                          ~
                        
                        
                          (
                          
                            v
                            ,
                            μ
                          
                          )
                        
                      
                      )
                    
                  
                  ⁢
                  
                    
                      
                        u
                        _
                      
                      μ
                    
                    ⁡
                    
                      (
                      k
                      )
                    
                  
                
              
            
            +
            
              
                v
                v
              
              ⁡
              
                (
                k
                )
              
            
          
        
        ,
        
          v
          ∈
          
            [
            
              1
              ,
              
                N
                r
              
            
            ]
          
        
      
    
    
      
        (
        4
        )
      
    
  




From equation (4) it can be deduced that estimating the CFO and the multiple channels based on {yv(k)}v=1Nr 28 is a nonlinear problem. Given {yv(k)}v=1Nr28, the CFO ωo and the NtNr channels h(v,μ):=[h(v,μ)(0), . . . , h(v,μ)(L)]T in MIMO OFDM communication system 2 are estimated based on the training symbols inserted by training symbol insertion unit 15.

Although ūμ(k) 16 contains both information-bearing symbols and training symbols, separation of the information-bearing symbols and training symbols is challenging due to the presence of CFO ωo. Each of training symbol insertion units 15 inserts two or more training symbols within the corresponding information-bearing symbols cμ(k)μ=1Nt 14 so that CFO estimation can be separated from MIMO channel estimation. The insertion of the training symbols is performed in two steps.
In the first step, each of training symbol insertion units 15 inserts a block of training symbols bμ(k) into the corresponding block of information bearing symbols cμ(k)μ=1Nt 14 in accordance with equation (5), where the two permutation matrices PA, PB have sizes K×Nc and K×Nb respectively, and are selected to be mutually orthogonal, i.e. PAT, PB=0Nc×Nb.

ũμ(k)=PAcμ(k)+PBbμ(k)  (5)

It is important to note that Nc+Nb=K and K<N. In some embodiments, PA may be formed with the last Nc columns of INc+Nb, and PB with the first Nb columns of INc+Nb in accordance with equations (6) and (7), respectively.

PA=[eNb . . . eK-1]  (6)

PA=[e0 . . . eNb-1]  (7)

The block of training symbols bμ(k) may comprise two or more training symbols and has length Nb. Moreover, bμ(k) may be one block of training symbols in a training sequence including two or more blocks of training symbols. By sparsely inserting the training symbols, bandwidth efficiency of communication system 2 can be increased. The resulting structure of ũμ(k) in equation (5) is illustrated in FIG. 3. The structure of bμ(k) is described in greater detail below.
In the second step, N−K zeros are inserted per block ũμ(k) to obtain ūμ(k). This insertion can be implemented by left-multiplying ũμ(k) with the hopping code Tsc given in equation (8), where qk:=k└N/(L+1)┐.

Tsc(k):=└eqk(mod N), . . . ,eqk+K-2(mod N)┘  (8)

Applying the hopping code given in equation (8) inserts a zero symbol referred to as a null subcarrier in each block ũμ(k). Dependence of Tsc on the block index k implies that the position of the inserted null subcarrier changes from block to block. In other words, equation (8) implements a null subcarrier “hopping” operation from block to block. By substituting equations (8) and (5) into equation (4) it can be deduced that the resulting signal at the with receive antenna takes the form of equation (9) given below.





  
    
      
        
          
            y
            v
          
          ⁡
          
            (
            k
            )
          
        
        =
        
          
            
              ∑
              
                μ
                =
                1
              
              
                N
                t
              
            
            ⁢
            
              
                e
                
                  j
                  ⁢
                  
                    
                  
                  ⁢
                  
                    
                      w
                      v
                    
                    ⁡
                    
                      (
                      
                        kP
                        +
                        L
                      
                      )
                    
                  
                
              
              ⁢
              
                
                  D
                  N
                
                ⁡
                
                  (
                  
                    w
                    v
                  
                  )
                
              
              ⁢
              
                F
                N
                H
              
              ⁢
              
                
                  D
                  N
                
                ⁡
                
                  (
                  
                    
                      h
                      ~
                    
                    N
                    
                      (
                      
                        v
                        ,
                        μ
                      
                      )
                    
                  
                  )
                
              
              ⁢
              
                
                  T
                  sc
                
                ⁡
                
                  (
                  k
                  )
                
              
              ⁢
              
                
                  
                    u
                    ~
                  
                  μ
                
                ⁡
                
                  (
                  k
                  )
                
              
            
          
          +
          
            
              v
              v
            
            ⁡
            
              (
              k
              )
            
          
        
      
    
    
      
        (
        9
        )
      
    
  




Therefore, each of training symbol insertion units 15 inserts zero and non-zero training symbols which are used by each of CFO estimators 29 and channel estimation unit 33 to estimate the CFO coo and communication channel 8. The null subcarrier is inserted so that the position of the null subcarrier hops from block to block and enables CFO estimation to be separated from MIMO channel estimation. Consequently, the identifiability of the CFO estimator can be established and the minimum mean square error (MMSE) of the MIMO channel estimator can be achieved.
If CFO ωo was absent, i.e. ωo=0, then the block of training symbols bμ(k) could be separated from the received OFDM transmission signal and by collecting the training blocks of a training sequence, communication channel 8 could be estimated using conventional techniques. However, the CFO destroys the orthogonality among subcarriers of the OFDM transmission signal and the training symbols are mixed with the unknown information-bearing symbols and channels. This motivates acquiring the CFO first, and subsequently estimating the channel.
Each of CFO estimators 29 applies a de-hopping code in accordance with equation (10) on a per block basis.




  
    
      
        
          
            D
            N
            H
          
          ⁡
          
            (
            k
            )
          
        
        =
        
          diag
          ⁡
          
            [
            
              1
              ,
              
                e
                
                  
                    -
                    j
                  
                  ⁢
                  
                    
                      2
                      ⁢
                      
                        
                      
                      ⁢
                      π
                    
                    N
                  
                  ⁢
                  qk
                
              
              ,
              ...
              ⁢
              
                
              
              ,
              
                e
                
                  
                    -
                    j
                  
                  ⁢
                  
                    
                      2
                      ⁢
                      
                        
                      
                      ⁢
                      π
                    
                    N
                  
                  ⁢
                  
                    qk
                    ⁡
                    
                      (
                      
                        N
                        -
                        1
                      
                      )
                    
                  
                
              
            
            ]
          
        
      
    
    
      
        (
        9
        )
      
    
  




Because hopping code Tsc is a permutation matrix and DN({tilde over (h)}(v,μ)) is a diagonal matrix, it can be verified that DN({tilde over (h)}(v,μ)) Tsc(k)=Tsc(k) DK({tilde over (h)}(v,μ)(k)), where {tilde over (h)}(v,μ) is formed by permuting the entries of {tilde over (h)}(v,μ) as dictated by Tsc(k). Using the de-hopping code given in equation (10), the identity given in equation (11) can be established, where Tzp:=[IK 0K×(N-K)] is a zero-padding operator.

DNH(k)FNHTsc(k)=FNHTzp  (11)

By multiplying equation (9) by the de-hopping code and using equation (11), equation (12) is obtained, where




  
    
      g
      v
    
    ⁡
    
      (
      k
      )
    
  
  :=
  
    
      
        ∑
        
          μ
          =
          1
        
        
          N
          t
        
      
      ⁢
      
        
          
            D
            K
          
          ⁡
          
            (
            
              
                
                  h
                  ~
                
                
                  (
                  
                    v
                    ,
                    μ
                  
                  )
                
              
              ⁡
              
                (
                k
                )
              
            
            )
          
        
        ⁢
        
          
            
              u
              ~
            
            μ
          
          ⁡
          
            (
            k
            )
          
        
        ⁢
        
          
        
        ⁢
        and
        ⁢
        
          
        
        ⁢
        
          
            
              ν
              _
            
            v
          
          ⁡
          
            (
            k
            )
          
        
      
    
    :=
    
      
        
          D
          N
          H
        
        ⁡
        
          (
          k
          )
        
      
      ⁢
      
        
          
            v
            v
          
          ⁡
          
            (
            k
            )
          
        
        .
      
    
  




yv(k)=DNH(k)yv(k)=ejwv(kP+L)DN(wv)FNHTzpg(k)+vv(k)  (12)

Equation (12) shows that after de-hopping, null subcarriers in different blocks are at the same location because Tzp does not depend on the block index k.
As a result, the covariance matrix of yv(k) 30 is given according to equation (13) where the noise vv(k) has covariance matrix σ2IN.

Ryv=DN(wo)FNHTzpE└g(k)gH(k)┘·TzpHFNDNH(wv)+σ2IN  (13)

Assuming that the channels are time invariant over M blocks, and the ensemble correlation matrix Ryv, is replaced by its sample estimate given in equation (14) which is formed by averaging across M blocks, where M>K.





  
    
      
        
          
            R
            ^
          
          
            y
            ⁢
            
              
            
            ⁢
            v
          
        
        =
        
          
            1
            M
          
          ⁢
          
            
              ∑
              
                k
                =
                0
              
              
                M
                -
                1
              
            
            ⁢
            
              
                
                  
                    y
                    _
                  
                  v
                
                ⁡
                
                  (
                  k
                  )
                
              
              ⁢
              
                
                  
                    y
                    _
                  
                  v
                  H
                
                ⁡
                
                  (
                  k
                  )
                
              
            
          
        
      
    
    
      
        (
        14
        )
      
    
  




The column space of Ryv has two parts: the signal subspace and the null subspace. In the absence of CFO, if E└g(k)gH(k)┘ has full rank, the null space of Ryv is spanned by the missing columns, i.e. the location of the null subcarriers, of the FFT matrix. However, the presence of CFO introduces a shift in the null space. Consequently, a cost function can be built to measure this CFO-induced phase shift. Representing the candidate CFO as ω, this cost function can be written according to equation (15), where




  
    
      
        
          
            ∑
            
              v
              =
              1
            
            
              N
              r
            
          
          ⁢
          
            R
            
              
                y
                _
              
              ⁢
              v
            
          
        
        =
        
          
            
              
                D
                N
              
              ⁡
              
                (
                
                  w
                  o
                
                )
              
            
            ⁢
            
              F
              N
              H
            
            ⁢
            
              T
              
                z
                ⁢
                
                  
                
                ⁢
                p
              
            
            ⁢
            
              {
              
                
                  ∑
                  
                    v
                    =
                    1
                  
                  
                    N
                    r
                  
                
                ⁢
                
                  E
                  ⁡
                  
                    [
                    
                      
                        g
                        ⁡
                        
                          (
                          k
                          )
                        
                      
                      ⁢
                      
                        
                          g
                          H
                        
                        ⁡
                        
                          (
                          k
                          )
                        
                      
                    
                    ]
                  
                
              
              }
            
            ⁢
            
              T
              
                z
                ⁢
                
                  
                
                ⁢
                p
              
            
            ⁢
            
              F
              N
            
            ⁢
            
              
                
                  D
                  N
                
                ⁡
                
                  (
                  
                    w
                    o
                  
                  )
                
              
              .
              
                

              
              ⁢
              
                
                  J
                  V
                
                ⁡
                
                  (
                  ω
                  )
                
              
            
          
          :=
          
            
              ∑
              
                k
                =
                K
              
              
                N
                -
                1
              
            
            ⁢
            
              
                f
                N
                H
              
              ⁢
              
                
              
              ⁢
              
                (
                
                  
                    2
                    ⁢
                    π
                    ⁢
                    
                      
                    
                    ⁢
                    k
                  
                  N
                
                )
              
              ⁢
              
                
                  D
                  N
                  
                    -
                    1
                  
                
                ⁡
                
                  (
                  ω
                  )
                
              
              ⁢
              
                R
                
                  
                    y
                    _
                  
                  ⁢
                  v
                
              
              ⁢
              
                
                  D
                  N
                
                ⁡
                
                  (
                  ω
                  )
                
              
              ⁢
              
                
                  f
                  N
                
                ⁡
                
                  (
                  
                    
                      2
                      ⁢
                      π
                      ⁢
                      
                        
                      
                      ⁢
                      k
                    
                    N
                  
                  )
                
              
            
          
        
      
    
    
      
        (
        15
        )
      
    
  




Consequently, if ω=ωo, then DN(ωo−ω)=IN. Next, recall that the matrix FNHTzp is orthogonal to {fN(2Πn/N)}n=KN-1. Therefore, if ω=ωo, the cost function J(ωo) is zero in the absence of noise. However, for this to be true, ωo must be the unique minimum of J(ω). ωo is the unique zero of J(ω) if





  
    ∑
    
      v
      =
      1
    
    
      N
      r
    
  
  ⁢
  
    E
    ⁡
    
      [
      
        
          g
          ⁡
          
            (
            k
            )
          
        
        ⁢
        
          
            g
            H
          
          ⁡
          
            (
            k
            )
          
        
      
      ]
    
  




has full rank as established in Proposition 1 below.

Proposition 1 If E└bμ(k)bμHH(k)┘ is diagonal,




  
    ∑
    
      v
      =
      1
    
    
      N
      r
    
  
  ⁢
  
    E
    ⁢
    
      ⌊
      
        
          
            b
            μ
          
          ⁡
          
            (
            k
            )
          
        
        ⁢
        
          
            b
            
              μ
              ⁢
              
                
              
              ⁢
              H
            
            H
          
          ⁡
          
            (
            k
            )
          
        
      
      ⌋
    
  




has full rank,





  
    
      E
      ⁢
      
        ⌊
        
          
            
              c
              μ
            
            ⁡
            
              (
              k
              )
            
          
          ⁢
          
            
              c
              
                μ
                ⁢
                
                  
                
                ⁢
                H
              
              H
            
            ⁡
            
              (
              k
              )
            
          
        
        ⌋
      
    
    =
    0
  
  ,
  
    
      and
      ⁢
      
        
      
      ⁢
      E
      ⁢
      
        ⌊
        
          
            
              b
              
                μ
                ⁢
                
                  
                
                ⁢
                1
              
            
            ⁡
            
              (
              k
              )
            
          
          ⁢
          
            
              b
              
                μ
                ⁢
                
                  
                
                ⁢
                2
              
              H
            
            ⁡
            
              (
              k
              )
            
          
        
        ⌋
      
    
    =
    0
  
  ,
  
    ∀
    
      μ
      ⁢
      
        
      
      ⁢
      1
    
  
  ,
  
    ≠
    μ2
  
  ,
  
    

  
  ⁢
  
    then
    ⁢
    
      
    
    ⁢
    
      
        ∑
        
          v
          =
          1
        
        
          N
          r
        
      
      ⁢
      
        E
        ⁡
        
          [
          
            
              
                g
                v
              
              ⁡
              
                (
                k
                )
              
            
            ⁢
            
              
                g
                v
                H
              
              ⁡
              
                (
                k
                )
              
            
          
          ]
        
      
    
  




has full rank.

Training block bμ(k) satisfies the conditions of proposition 1. Using the result of Proposition 1,




  
    ∑
    
      v
      =
      1
    
    N
  
  ⁢
  
    E
    ⁡
    
      [
      
        
          
            g
            v
          
          ⁡
          
            (
            k
            )
          
        
        ⁢
        
          
            g
            v
            H
          
          ⁡
          
            (
            k
            )
          
        
      
      ]
    
  




has full rank, it follows that J(ω)≧J(ωo), where the equality holds if and only if ω=ωo. Therefore, CFO estimates {circumflex over (ω)}o can be found by minimizing J(ω) according to equation (16).

wo=argωminJv(ω)  (16)

Because of subcarrier hopping, J(ω) has a unique minimum in [−Π, Π) regardless of the position of channel nulls. This establishes identifiability of {circumflex over (ω)}o and shows that the acquisition range of the CFO estimator given in equation (16) is [−Π, Π), which is the full range.
Based on the CFO estimates produced by equation (16), the terms that depend on ωo can be removed from {yv(k)}k=0M-1 30 and channel estimation can be performed. In order to derive the MIMO channel estimator, the CFO estimate is temporarily assumed to be perfect, i.e. {circumflex over (ω)}o=ωo. After each of CFO estimators 29 remove the CFO related terms from yv(k) 30, each of FFT units 31 take the FFT of the corresponding block yv(k) 30 and removes the null subcarriers by multiplying the corresponding blocks yv(k) 30 with TzpT to obtain zv(k) 32 according to equation (17), where ξv(k):=e−ωo(kP+L) TzpT FNDN−1({circumflex over (ω)}o)vv(k).




  
    
      
        
          
            z
            v
          
          ⁡
          
            (
            k
            )
          
        
        =
        
          
            
              e
              
                j
                ⁢
                
                  
                
                ⁢
                
                  
                    ω
                    o
                  
                  ⁡
                  
                    (
                    
                      
                        k
                        ⁢
                        
                          
                        
                        ⁢
                        P
                      
                      +
                      L
                    
                    )
                  
                
              
            
            ⁢
            
              T
              
                z
                ⁢
                
                  
                
                ⁢
                p
              
              T
            
            ⁢
            
              F
              N
            
            ⁢
            
              
                D
                N
                
                  -
                  1
                
              
              ⁡
              
                (
                
                  
                    ω
                    ^
                  
                  0
                
                )
              
            
            ⁢
            
              
                
                  y
                  _
                
                v
              
              ⁡
              
                (
                k
                )
              
            
          
          =
          
            
              
                ∑
                
                  μ
                  =
                  1
                
                
                  N
                  t
                
              
              ⁢
              
                
                  
                    D
                    K
                  
                  ⁡
                  
                    (
                    
                      
                        
                          h
                          ~
                        
                        
                          (
                          
                            v
                            ⁣
                            
                              ,
                              μ
                            
                          
                          )
                        
                      
                      ⁡
                      
                        (
                        k
                        )
                      
                    
                    )
                  
                
                ⁢
                
                  (
                  
                    
                      
                        P
                        A
                      
                      ⁢
                      
                        
                          c
                          μ
                        
                        ⁡
                        
                          (
                          k
                          )
                        
                      
                    
                    +
                    
                      
                        P
                        B
                      
                      ⁢
                      
                        
                          b
                          μ
                        
                        ⁡
                        
                          (
                          k
                          )
                        
                      
                    
                  
                  )
                
              
            
            +
            
              
                ξ
                v
              
              ⁡
              
                (
                k
                )
              
            
          
        
      
    
    
      
        (
        17
        )
      
    
  




From the design of PA and PB in equations (6) and (7) respectively, it can be inferred that PAT DK({tilde over (h)}(v,μ)(k))PB=0. This allows the training symbols to be separated from the received information-bearing symbols in accordance with equations (18) and (19), where equation (18) represents the received information-bearing symbols and equation (19) represents the received training symbols.





  
    
      
        
          
            z
            
              v
              ,
              c
            
          
          ⁡
          
            (
            k
            )
          
        
        :=
        
          
            
              P
              A
              T
            
            ⁢
            
              
                z
                v
              
              ⁡
              
                (
                k
                )
              
            
          
          =
          
            
              
                ∑
                
                  μ
                  =
                  1
                
                
                  N
                  t
                
              
              ⁢
              
                
                  P
                  A
                  T
                
                ⁢
                
                  
                    D
                    K
                  
                  ⁡
                  
                    (
                    
                      
                        
                          h
                          ~
                        
                        
                          (
                          
                            v
                            ,
                            μ
                          
                          )
                        
                      
                      ⁡
                      
                        (
                        k
                        )
                      
                    
                    )
                  
                
                ⁢
                
                  P
                  A
                
                ⁢
                
                  
                    c
                    μ
                  
                  ⁡
                  
                    (
                    k
                    )
                  
                
              
            
            +
            
              
                ξ
                
                  v
                  ,
                  c
                
              
              ⁡
              
                (
                k
                )
              
            
          
        
      
    
    
      
        (
        18
        )
      
    
  
  
    
      
        
          
            z
            
              v
              ,
              b
            
          
          ⁡
          
            (
            k
            )
          
        
        :=
        
          
            
              P
              B
              T
            
            ⁢
            
              
                z
                v
              
              ⁡
              
                (
                k
                )
              
            
          
          =
          
            
              
                ∑
                
                  μ
                  =
                  1
                
                
                  N
                  t
                
              
              ⁢
              
                
                  P
                  B
                  T
                
                ⁢
                
                  
                    D
                    K
                  
                  ⁡
                  
                    (
                    
                      
                        
                          h
                          ~
                        
                        
                          (
                          
                            v
                            ,
                            μ
                          
                          )
                        
                      
                      ⁡
                      
                        (
                        k
                        )
                      
                    
                    )
                  
                
                ⁢
                
                  P
                  B
                
                ⁢
                
                  
                    b
                    μ
                  
                  ⁡
                  
                    (
                    k
                    )
                  
                
              
            
            +
            
              
                ξ
                
                  v
                  ,
                  b
                
              
              ⁡
              
                (
                k
                )
              
            
          
        
      
    
    
      
        (
        19
        )
      
    
  




ξv.c(k):=PAT ξv(k) and +ξv.b(k):=PBT ξv(k). By the definitions of PB in equation (6) and the de-hopping code in equation (11), the identity in equation (20) can be formed, where {tilde over (h)}b(v,μ) comprises the first Nb entries of {tilde over (h)}(v,μ), the Nb×(L+1) matrix F (k) comprises the first L+1 columns and qk related Nb rows of FN, and h(v,μ):=[h(v,μ)(0), . . . , h(v,μ)(L)]T.

DK({tilde over (h)}(v,μ)(k))PB=PBDNb({tilde over (h)}b(v,μ)(k))=PB diag[F(k)h(v,μ)]  (20)

Because PBTPB=INb, equation (20) can be re-expressed according to equation (21) where Bμ(k):=diag[bμ(k)].





  
    
      
        
          
            z
            
              v
              ,
              b
            
          
          ⁡
          
            (
            k
            )
          
        
        =
        
          
            
              ∑
              
                μ
                =
                1
              
              
                N
                t
              
            
            ⁢
            
              
                
                  B
                  μ
                
                ⁡
                
                  (
                  k
                  )
                
              
              ⁢
              
                F
                ⁡
                
                  (
                  k
                  )
                
              
              ⁢
              
                h
                
                  (
                  
                    v
                    ,
                    μ
                  
                  )
                
              
            
          
          +
          
            
              ξ
              
                v
                ,
                b
              
            
            ⁡
            
              (
              k
              )
            
          
        
      
    
    
      
        (
        21
        )
      
    
  




Note that the length for each block of training symbols, Nb, can be smaller than Nt(L+1) by sparsely distributing training symbols across blocks. In some embodiments, Nt+1 training symbols are inserted every N+L transmitted symbols resulting in a bandwidth efficiency of (N−Nt−1)/(N+L). Collecting M blocks zv,b(k), the input-output relationship based on training symbols and channels can be expressed according to equation (22), where hv comprises {h(v,μ)}μ=1Nt, ξv,b:=[ξv,bT(0), . . . , ξv,bT (M−1)]T, and B is given in equation (23). Note that B is the same for all Nr receive antennas





  
    
      
        
          
            z
            _
          
          
            v
            ,
            b
          
        
        =
        
          
            B
            ⁢
            
              
            
            ⁢
            
              h
              v
            
          
          +
          
            
              ξ
              _
            
            
              v
              ,
              b
            
          
        
      
    
    
      
        (
        22
        )
      
    
  
  
    
      
        B
        =
        
          (
          
            
              
                
                  
                    
                      B
                      1
                    
                    ⁡
                    
                      (
                      0
                      )
                    
                  
                  ⁢
                  
                    P
                    B
                    T
                  
                  ⁢
                  
                    F
                    ⁡
                    
                      (
                      0
                      )
                    
                  
                
              
              
                ...
              
              
                
                  
                    
                      B
                      
                        N
                        T
                      
                    
                    ⁡
                    
                      (
                      0
                      )
                    
                  
                  ⁢
                  
                    P
                    B
                    T
                  
                  ⁢
                  
                    F
                    ⁡
                    
                      (
                      0
                      )
                    
                  
                
              
            
            
              
                ⋮
              
              
                ⋱
              
              
                ⋮
              
            
            
              
                
                  
                    
                      B
                      1
                    
                    ⁡
                    
                      (
                      
                        M
                        -
                        1
                      
                      )
                    
                  
                  ⁢
                  
                    P
                    B
                    T
                  
                  ⁢
                  
                    F
                    ⁡
                    
                      (
                      
                        M
                        -
                        1
                      
                      )
                    
                  
                
              
              
                ...
              
              
                
                  
                    
                      B
                      
                        N
                        t
                      
                    
                    ⁡
                    
                      (
                      
                        M
                        -
                        1
                      
                      )
                    
                  
                  ⁢
                  
                    P
                    B
                    T
                  
                  ⁢
                  
                    F
                    ⁡
                    
                      (
                      
                        M
                        -
                        1
                      
                      )
                    
                  
                
              
            
          
          )
        
      
    
    
      
        (
        23
        )
      
    
  




By collecting zv,b's from all Nt transmit antennas into zb:=[z1,bT, . . . , zNr,bT]T, the linear MMSE (LMMSE) channel estimator can be expressed according to equation (24), where Rh:=E[hhH] with h:=[h1T, . . . , hNrT]T as the channel covariance matrix, and σ2 represents the noise variance.

ĥLMMSE:=:=(σ−2Rh−1+INr(BHB))−1(INrBH)zb  (24)

Rh is typically unknown, thus, M Nb≧Nt (L+1), and BHB is selected to have full rank. In some embodiments, channel estimation unit 33 is a least squares (LS) estimator given according to equation (25).

ĥLS=:=(INr(BHB))−1(INrBH)zb  (25)

If the number of training symbols per block is Nb=Nt, a minimum number of M=L+1 blocks are required to be collected by receiver 6 in order to guarantee that LS estimation can be performed since h(v,μ) with L+1 entries are estimated at the with receive antenna. In some embodiments, channel estimation unit 33 can be adjusted to collect a variable number of blocks based on the complexity that can be afforded.

The number of bμ(k)'s satisfying the conditions of Proposition 1 is not unique. For example, Nb=Nt may be selected and the training sequences for different transmit antennas may be designed according to equation (26).

bμ(k)=[0μ−1rT b 0Nt-μrT]T  (26)

Further, assume N and M are integer multiples of L+1. Because the hopping step size in equation (8) is N/(L+1), BHB can be designed according to equation (27).





  
    
      
        
          
            
              
                
                  B
                  H
                
                ⁢
                B
              
              =
              
              ⁢
              
                [
                
                  
                    
                      
                        
                          ∑
                          
                            m
                            =
                            0
                          
                          
                            M
                            -
                            1
                          
                        
                        ⁢
                        
                          
                            
                              
                                
                                  
                                    F
                                    H
                                  
                                  ⁡
                                  
                                    (
                                    m
                                    )
                                  
                                
                                ⁢
                                
                                  
                                    B
                                    1
                                    H
                                  
                                  ⁡
                                  
                                    (
                                    m
                                    )
                                  
                                
                              
                            
                          
                          
                            
                              
                                
                                  
                                    B
                                    1
                                  
                                  ⁡
                                  
                                    (
                                    m
                                    )
                                  
                                
                                ⁢
                                
                                  F
                                  ⁡
                                  
                                    (
                                    m
                                    )
                                  
                                
                              
                            
                          
                        
                      
                    
                    
                      
                        
                      
                    
                    
                      
                        
                      
                    
                  
                  
                    
                      
                        
                      
                    
                    
                      ⋱
                    
                    
                      
                        
                      
                    
                  
                  
                    
                      
                        
                      
                    
                    
                      
                        
                      
                    
                    
                      
                        
                          ∑
                          
                            m
                            =
                            0
                          
                          
                            M
                            -
                            1
                          
                        
                        ⁢
                        
                          
                            
                              F
                              H
                            
                            ⁡
                            
                              (
                              m
                              )
                            
                          
                          ⁢
                          
                            
                              B
                              
                                N
                                t
                              
                              H
                            
                            ⁡
                            
                              (
                              m
                              )
                            
                          
                          ⁢
                          
                            
                              B
                              
                                N
                                t
                              
                            
                            ⁡
                            
                              (
                              m
                              )
                            
                          
                          ⁢
                          
                            F
                            ⁡
                            
                              (
                              m
                              )
                            
                          
                        
                      
                    
                  
                
                ]
              
            
          
        
        
          
            
              =
              
              ⁢
              
                
                  
                    
                      
                        
                        b
                        
                      
                      2
                    
                    ⁢
                    M
                  
                  N
                
                ⁢
                
                  I
                  
                    
                      N
                      t
                    
                    ⁡
                    
                      (
                      
                        L
                        +
                        1
                      
                      )
                    
                  
                
              
            
          
        
      
    
    
      
        (
        27
        )
      
    
  




Therefore, the number of blocks N improves channel estimation performance. However, this is true when CFO estimation is perfect. When CFO estimation is imperfect, the contrary is true: fewer blocks should be used because the residual CFO estimation error degrades BER performance when the block index is large.
Thus far, the CFO and NtNr channels have been estimated, but a residual CFO referred to as phase noise remains. Phase noise degrades the BER severely as the number of blocks used for channel estimation increases.
Using the CFO offset {circumflex over (ω)}o produced by each of CFO estimators 29, the received transmission block can be expressed according to equation (28) where {circumflex over (ω)}o−ωo is the phase noise and ξv(k):=e−jωo(kP+L) TzpT FNDN−1({circumflex over (ω)}o)vv(k).

{tilde over (y)}v(k)=e−j(ωo-{circumflex over (ω)}o)(kP+L)DN(ωo−{circumflex over (ω)}o)FNHTzpgv(k)+ξv(k)  (28)

When {circumflex over (ω)}o is sufficiently accurate, the matrix DN(ωo−{circumflex over (ω)}o) can be approximated by an identity matrix of the same size. However, the phase term ({circumflex over (ω)}o−ωo)(kP+L) becomes increasingly large as the block index k increases. Without mitigating the phase noise, it degrades not only the performance of channel estimation unit 33, but also the BER performance over time.

In order to enhance the BER performance, phase estimation unit 35 uses the non-zero training symbols in bμ(k), which were previously designed to estimate channel 8, to estimate the phase noise per block. For example, assume that for the kth block, the estimated channel is obtained by using the LMMSE channel estimator given in equation (24). Further, also assume that the training sequence is designed as given in equation (26) and that channel estimation is perfect, i.e. DN(ωo−{circumflex over (ω)}o)≈IN. As a result, after equalizing channel 8, for the with receive antenna and the μth entry of zv,b(k) 30, the equivalent input-output relationship is given according to equation (29), where φv(k):=[zv,b(k)]μ/[{tilde over (h)}b(v,μ)]μ, and wv is the equivalent noise term after removing the channel.

φv(k)−e−j(ωo-{circumflex over (ω)}o)(kP+L)b+wv  (29)

Because b, is known the phase ({circumflex over (ω)}o−ωo)(kP+L) can be estimated based on the observations from Nr receive antennas on a per block basis. In order to perform this phase estimation step, additional training symbols do not need to be inserted and the extra complexity is negligible. The performance improvement resulting from phase estimation is illustrated the performance graphs given below.

After CFO estimation, the FFT has been performed, and channel estimation space-time decoder 37 decodes the space-time encoded information-bearing symbols to produce the information-bearing symbol estimates ŝ 38.
Although estimation for a single common CFO and MIMO channel has been described in a single-user system involving Nt transmit antennas and Nr receive antennas, communication system 2 is not limited to such systems. Communication system 2, can easily be modified to estimate CFOs and channel in a multi-user downlink scenario where the base station deploys Nt transmit antennas to broadcast OFDM based transmissions to Nr mobile stations each of which is equipped with one or more antennas. In this case, there are Nr distinct CFOs and NtNr frequency-selective channels to estimate. However, each mobile station can still apply perform CFO estimation as given in equation (16). In addition, it can be verified that the LS channel estimator given in equation (25) can be separated from CFO estimation to estimate the Nt channel impulse responses in hv, for v=1, . . . , Nr, on a per receive antenna basis.
FIG. 3 illustrates example transmission blocks 40A, 40B, and 40C generated by transmitter 4 of communication system 2. In particular, transmission blocks 40A, 40B, and 40C correspond to consecutive transmission blocks ūμ(k) 16 at the output of one of training symbol insertion units 15 with block index k=0, k=1, and k=2, respectively. Generally, each transmission block 40A-40C includes space-time encoded information bearing symbols 42A-C, null subcarriers 44A-44C, and training symbols 46A-46C, respectively. In particular, training symbol insertion units 15 insert blocks of Nt+1 training symbols 46A-46C according to equation (26) as a preamble to space-time encoded blocks of information-bearing symbols 42A-C. In some embodiments, training symbols 46A-46C are inserted every N+L transmitted symbols, where a cyclic prefix of L symbols is inserted by cyclic prefix insertion unit 19, resulting in a bandwidth efficiency of (N−Nt−1)/(N+L). Additionally, the number of training symbols inserted may be adjusted depending on the channel's coherence time and the pertinent burst duration
Null subcarriers 44A-44C are inserted within transmission blocks 40A-C, respectively, by applying the hopping code given in equation (8) so that the position of null subcarriers 44A-44C change from block to block. In some embodiments, N−K null subcarriers are inserted with hop-step N/(L+1) in each transmission block 40A-C. Additionally, null subcarriers may be inserted in accordance with conventional OFDM standards such as IEEE 802.11a and IEEE 802.11g resulting in easily implemented, low-complexity systems.
FIG. 4 is a flowchart illustrating an example mode of operation of communication system 2 in which receiver 6 performs CFO, channel, and phase noise estimation on an OFDM transmission signal output by transmitter 4. Generally, transmitter 4 inserts Nt training symbols across M space-time encoded blocks of information-bearing symbols (step 50). The training symbols are inserted as a sequence of blocks of training symbols bμ(k) as described herein. In some embodiments, the number of training symbols inserted may be adjusted depending on the channel's coherence time and the pertinent burst duration. Additionally, transmitter 4 may insert two or more training symbols per block of space-time encoded information-bearing symbols by applying a first and a second permutation matrix, PA and PB respectively, as described previously. After inserting the training symbols, transmitter 4 applies a hopping code to insert N−K null subcarriers per block such that the position of the null subcarriers changes from block to block (step 52). The hopping code may be defined as in equation (8) with hop-step N/(L+1). It may be particularly advantageous to insert null subcarriers in accordance with conventional OFDM standards such as IEEE 802.11a and IEEE 802.11g. Transmitter 4 then outputs an OFDM transmission signal by first inserting a cyclic prefix and taking the IFFT of the resulting block of training and information-bearing symbols (step 54).
Receiver 6 receives the OFDM transmission signal and removes the cyclic prefix (step 56). Receiver 6 then applies a de-hopping code and estimates the CFO (step 58). The de-hopping code rearranges the null subcarriers so that the null subcarriers in different blocks are at the same position in their respective blocks, and the CFO is estimated as described previously. Because of the null subcarrier hopping, the CFO estimation and channel estimation can be separated and the CFO can be estimated over the full acquisition range [−Π, Π). The FFT is taken and the null subcarriers are removed (step 60) by multiplying yv(k) 30 with zero padding matrix TzpT to obtain zv(k) 32. Channel estimation is performed over M blocks of training symbols (step 62). As described previously, each training block length Nb can be smaller than Nt(L+1) by sparsely distributing training symbols across M blocks. In some embodiments, one of a LMMSE channel estimator or a LS channel estimator may be applied to the M blocks to estimate channel 8. In order to improve the BER performance of receiver 6, the phase noise is estimated and removed (step 64) based on the observations from Nr receive antennas on a per block basis. Symbol estimates are then produced by decoding the space-time encoded information-bearing symbols (step 66).
FIGS. 5-12 are graphs that present simulations of OFDM transmissions over MIMO frequency-selective channels using the described techniques for estimating the CFO, channel, and phase noise. In order to benchmark the performance of the techniques described herein, the Crame'r-Rao lower bounds (CRLB) for the CFO are derived. Starting from the model of communication system 2 given in equation (12), the CRLB for ωo is given according to equation (30), where D(k):=diag[Pk+L, . . . , P(k+1)−1], and Rgg(v):=E[gv(k)gvH(k)].




  
    
      
        
          C
          ⁢
          
            
          
          ⁢
          R
          ⁢
          
            
          
          ⁢
          L
          ⁢
          
            
          
          ⁢
          
            B
            ω
          
        
        =
        
          
            (
            
              
                2
                
                  σ
                  
                    v
                    _
                  
                  2
                
              
              ⁢
              
                
                  ∑
                  
                    v
                    =
                    1
                  
                  
                    N
                    r
                  
                
                ⁢
                
                  
                    ∑
                    
                      k
                      =
                      0
                    
                    
                      M
                      -
                      1
                    
                  
                  ⁢
                  
                    tr
                    ⁡
                    
                      [
                      
                        
                          D
                          ⁡
                          
                            (
                            k
                            )
                          
                        
                        ⁢
                        
                          F
                          N
                          H
                        
                        ⁢
                        
                          T
                          
                            z
                            ⁢
                            
                              
                            
                            ⁢
                            p
                          
                        
                        ⁢
                        
                          R
                          
                            g
                            ⁢
                            
                              
                            
                            ⁢
                            g
                          
                          
                            (
                            v
                            )
                          
                        
                        ⁢
                        
                          F
                          N
                        
                        ⁢
                        
                          D
                          ⁡
                          
                            (
                            k
                            )
                          
                        
                      
                      ]
                    
                  
                
              
            
            )
          
          
            -
            1
          
        
      
    
    
      
        (
        30
        )
      
    
  




It follows from equation (30) that as the number of blocks increases, the CRLB for CFO decrease. Similarly, the signal-to-noise ratio (SNR) versus CRLB decreases as the number of blocks increases. If N>>N−K, i.e. the number of subcarriers is much greater than the number of null subcarriers, Tzp≈IN. Assuming that Rgg(v)=εIN, where ε represents the average symbol energy, and P, M are sufficiently large equation (31) can be obtained.





  
    
      
        
          C
          ⁢
          
            
          
          ⁢
          R
          ⁢
          
            
          
          ⁢
          L
          ⁢
          
            
          
          ⁢
          
            B
            ω
          
        
        =
        
          
            
              σ
              
                v
                _
              
              2
            
            ɛ
          
          ⁢
          
            3
            
              2
              ⁢
              
                (
                
                  P
                  -
                  L
                
                )
              
              ⁢
              
                P
                2
              
              ⁢
              
                M
                3
              
              ⁢
              
                N
                r
              
            
          
        
      
    
    
      
        (
        31
        )
      
    
  




Equation (31) explicitly shows that the CRLB of the CFO is independent of the channel and the number of transmit antennas, and that the CRLB of the CFO is inversely proportional to the SNR, the number of receive antennas, and the cube of the number of space-time data.

By assuming that CFO estimation is perfect, the performance of the channel estimator can be derived. If the LMMSE channel estimator given in equation (24) is used, then the mean-square error of the channel estimator is given according to equation (32).




  
    
      
        
          σ
          lmmse
          2
        
        =
        
          tr
          ⁡
          
            [
            
              
                (
                
                  
                    R
                    h
                    
                      -
                      1
                    
                  
                  +
                  
                    
                      
                        M
                        ⁢
                        
                          
                            
                            b
                            
                          
                          2
                        
                      
                      
                        N
                        ⁢
                        
                          
                        
                        ⁢
                        
                          σ
                          2
                        
                      
                    
                    ⁢
                    
                      I
                      
                        
                          N
                          t
                        
                        ⁢
                        
                          
                            N
                            r
                          
                          ⁡
                          
                            (
                            
                              L
                              +
                              1
                            
                            )
                          
                        
                      
                    
                  
                
                )
              
              
                -
                1
              
            
            ]
          
        
      
    
    
      
        (
        32
        )
      
    
  




Similarly, if the LS channel estimator given in equation (25) is used, the corresponding mean-square error is given by equation (33).





  
    
      
        
          σ
          ls
          2
        
        =
        
          
            N
            ⁢
            
              
            
            ⁢
            
              N
              t
            
            ⁢
            
              
                N
                r
              
              ⁡
              
                (
                
                  L
                  +
                  1
                
                )
              
            
            ⁢
            
              σ
              2
            
          
          
            M
            ⁢
            
              
                
                b
                
              
              2
            
          
        
      
    
    
      
        (
        33
        )
      
    
  




Equations (32) and (33) both imply that as the number of channels increases, the channel mean square error increases. However, this increase can be mitigated by collecting a greater number of blocks, i.e. more training symbols, provided that the CFO estimate is sufficiently accurate.

In all simulations, HIPERLAN/2 channel model B, given in Table 1, is used to generate the channels. The channel order is L=15 and the taps are independent with different variances. The OFDM block length is designed as N=64 as in HIPERLAN/2. The noise is additive white Gaussian noise with zero-mean and variance σn2. The SNR is defined SNR=ε/σn2 and the information-bearing symbols are selected from a quadrature phase-shift keying (QPSK) constellation.









TABLE 1









tap no.
















0
1
2
3
4
5
6
7





variance
2.60e−01
2.44e−01
2.24e−01
7.07e−02
7.93e−02
4.78e−02
2.95e−02
1.78e−02












tap no.
















8
9
10
11
12
13
141
15





variance
1.07e−02
6.45e−03
5.01e−03
2.51e−03
0
1.48e−03
0
6.02e−04









FIG. 5 is a graph comparing the true frequency offset versus the estimated CFO for the CFO estimation techniques described herein (plot 70) and an algorithm described in P. H. Moose, “A technique for orthogonal frequency division multiplexing frequency offset correction,” IEEE Transactions on Communications, vol. 42, pp. 2908-1314, October 1994 (plot 72). The ideal line (74) is also shown for comparison and illustrates that the currently described CFO estimation techniques (plot 70) has the full acquisition range [−Π, Π), whereas the algorithm described in the P. H. Mooses reference (plot 72) has an acquisition range proportional to the OFDM block size N.
FIG. 6 is a graph comparing the effect of the number of blocks over which channel estimation is performed for the presently described CFO estimation techniques with Nt=2 and Nr=2. The CFO is randomly selected to in the range [−0.5Π, 0.5Π]. In each OFDM transmission block, there are four non-zero training symbols, 4 zero symbols to remove interference from other channels, and one zero symbol serving as a null subcarrier. The placement of the training symbols is in accordance with the techniques herein, and different numbers of blocks are use: M=L+1 (plot 80), M=K (plot 82), 2K (plot 84), 3K (plot 86), and the CRLB derived previously with M=K (plot 88) for comparison. FIG. 6 depicts the CFO normalized mean square error (NMSE), defined as E└∥{circumflex over (ω)}o−ωo∥2/∥ωo∥2┘, verses SNR. As the number of OFDM blocks M increases, the NMSE of CFO decreases. However, the improvement is relatively small, which suggests that using M=K OFDM blocks is sufficient to estimate the CFO.
FIG. 7 is a graph comparing the effect of the number of antennas on CFO estimation using the LS channel estimator given in equation (25). The average NMSE of the CFO with the number of blocks M=N are plotted as lines 90, 92, 94, and 96 for systems having (Nt, Nr)=(1, 1), (Nt, Nr)=(1, 2), (Nt, Nr)=(2, 1), (Nt, Nr)=(2, 2), respectively. For plots 90 and 92 4 non-zero pilot symbols and one null subcarrier per OFDM transmission block are used. FIG. 7 illustrates that as the number of receive antennas increases, the performance of the CFO estimation techniques described herein increases due to the receive-diversity gains.
FIG. 8 is a graph comparing the CFO estimation techniques described herein with a technique described in M. Morelli and U. Mengali, “An improved frequency offset estimator for OFDM applications,” IEEE Communications Letters, vol. 3, pp. 75-77, March 1999, for the single antenna case. For the presently described techniques, one non-zero training symbol and one zero training symbol for each block are used for each OFDM transmission block and 64 blocks are collected to perform CFO estimation. In order to maintain the same transmission rate, M. Morelli's and U. Mengali's previously referenced technique has a training block length of 128 with 8 identical parts. FIG. 8 depicts two cases: random CFO in [−0.06Π, 0.06Π] and fixed CFO with ωo=Π/128. In both cases the CFO is chosen within the acquisition range of M. Morelli and U. Mengali's previously referenced technique. In both cases, the CFO techniques described herein, 100 and 102 for the fixed CFO case and the varying CFO case, respectively, are comparable with M. Morelli and U. Mengali's technique for the fixed CFO case 104 and varying CFO case 106.
FIG. 9 is a graph comparing the performance of MIMO channel estimation with (Nt, Nr)=(2, 2) and the CFO being randomly selected in the range [−0.5Π, 0.5Π]. By collecting 64 observations from 8 OFDM transmission blocks and using the LS channel estimator given in equation (25), the MIMO channels can be estimated. In order to measure the channel estimation quality, the average channel NMSE is computed as E[∥ĥ−h∥2/∥h∥2], where ĥ is obtained using the LS method. The performance for MIMO OFDM transmissions with estimated CFO 110 using the techniques described herein are compared with the ideal case in which the CFO is perfectly known 112. FIG. 9 illustrates a 4.5 dB loss due to the CFO estimation error.
FIG. 10 compares the BER performance of the CFO and channel estimation techniques described herein without phase noise estimation (plot 120), with phase noise estimation (plot 122), and with perfect phase noise estimation (plot 124) with increasing SNR. The simulation parameters are the same as those used in FIG. 9 and zero-forcing equalization is used to estimate the information-bearing symbols. The BER performance of all the simulations degrades as the number of blocks increase due to phase noise. As expected, the plot with phase noise estimation 122 performs better than the plot without phase noise estimation 120 and the plot with perfect phase noise estimation 124 provides a benchmark.
FIGS. 11 and 12 compare the estimation of Nr CFOs in multi-user broadcast OFDM systems. Simulations are performed with (Nt, Nr)=(2, 2) and CFOs are randomly selected in the range [−0.5Π, 0.5Π]. In particular, FIG. 11 illustrates the average channel NMSE with varying SNRs using a Nr×1 vector CFO estimator for the presently described techniques with M=L+1 (plot 130), M=K (plot 132), 2K (plot 134), 3K (plot 136). Similarly, FIG. 12 illustrates the BER performance with varying SNRs using the presently described CFO and channel estimation techniques without phase noise estimation (plot 140), with phase noise estimation (plot 142), and with perfect phase noise estimation (plot 144). FIGS. 11 and 12 illustrate results which corroborate with FIGS. 9 and 10 respectively. Consequently, the described techniques which were illustrated in detail for a single-user system involving Nt transmit antennas and Nr receive antennas, can be applied with similar results in a multi-user downlink scenario where the base station deploys Nt transmit antennas to broadcast OFDM based transmissions to Nr mobile stations each of which is equipped with one or more antennas.
Various embodiments of the invention have been described. The invention provides techniques for carrier frequency offset (CFO) and channel estimation of orthogonal frequency division multiplexing (OFDM) transmissions over multiple-input multiple-output (MIMO) frequency-selective fading channels. In particular, techniques are described that utilize training symbols in a manner that CFO and channel estimation are decoupled from symbol detection at the receiver. Unlike conventional systems in which training symbols are inserted within a block of space-time encoded information-bearing symbols to form a transmission block, the techniques described herein insert training symbols over two or more transmission blocks.
The described techniques can be embodied in a variety of transmitters and receivers used in downlink operation including cell phones, laptop computers, handheld computing devices, personal digital assistants (PDA's), and other devices. The devices may include a digital signal processor (DSP), field programmable gate array (FPGA), application specific integrated circuit (ASIC) or similar hardware, firmware and/or software for implementing the techniques. If implemented in software, a computer readable medium may store computer readable instructions, i.e., program code, that can be executed by a processor or DSP to carry out one of more of the techniques described above. For example, the computer readable medium may comprise random access memory (RAM), read-only memory (ROM), non-volatile random access memory (NVRAM), electrically erasable programmable read-only memory (EEPROM), flash memory, or the like. The computer readable medium may comprise computer-readable instructions that when executed in a wireless communication device, cause the wireless communication device to carry out one or more of the techniques described herein. These and other embodiments are within the scope of the following claims.

## Claims

1. A method comprising:
forming two or more blocks of output symbols for orthogonal frequency division multiplexing (OFDM) transmissions over two or more antennas, wherein the forming comprises encoding two or more blocks of information-bearing symbols for transmissions over the two or more antennas, and inserting null values within the two or more blocks of information-bearing symbols so that the position of the null values switches among subcarriers over time; and
transmitting, via the two or more antennas, transmission signals in accordance with the two or more blocks of output symbols, wherein the two or more blocks of output symbols include a first block of output symbols and a second block of output symbols, and wherein transmitting the transmission signals comprises:
transmitting, via a first antenna of the two or more antennas, a first transmission signal in accordance with the first block of output symbols; and
transmitting, via a second antenna of the two or more antennas, a second transmission signal in accordance with the second block of output symbols.

2. The method of claim 1, wherein inserting the null values comprises using a hopping code to determine the position of the null values.

3. The method of claim 1, wherein inserting the null values comprises using a hopping code to control the switches among subcarriers over time.

4. The method of claim 1, wherein the null values correspond to null subcarriers within the transmissions signals.

5. A system comprising:
two or more antennas; and
a base station coupled with the two or more antennas, wherein the base station is configured to perform operations comprising:
forming two or more blocks of output symbols for orthogonal frequency division multiplexing (OFDM) transmissions over the two or more antennas, wherein the forming comprises encoding two or more blocks of information-bearing symbols for transmissions over the two or more antennas, and inserting null values within the two or more blocks of information-bearing symbols so that the position of the null values switches among subcarriers over time; and
transmitting, via the two or more antennas, transmission signals in accordance with the two or more blocks of output symbols, wherein the two or more blocks of output symbols include a first block of output symbols and a second block of output symbols, and wherein transmitting the transmission signals comprises (i) transmitting, via a first antenna of the two or more antennas, a first transmission signal in accordance with the first block of output symbols, and (ii) transmitting, via a second antenna of the two or more antennas, a second transmission signal in accordance with the second block of output symbols.

6. The system of claim 5, wherein inserting the null values comprises using a hopping code to determine the position of the null values.

7. The system of claim 5, wherein inserting the null values comprises using a hopping code to control the switches among subcarriers over time.

8. The system of claim 5, wherein the null values correspond to null subcarriers within the transmissions signals.

9. A method comprising:
forming respective sequences of blocks of output symbols for orthogonal frequency division multiplexing (OFDM) transmissions over each of two or more antennas, wherein each block in a sequence represents an assignment of output symbols to respective subcarriers on a given antenna at a particular time and comprises information-bearing symbols and null values, and wherein, for each antenna, null values are assigned to different subcarriers over time; and
transmitting, via the two or more antennas, transmission signals in accordance with the respective sequences, wherein the respective sequences include a first block of output symbols and a second block of output symbols, and wherein transmitting the transmission signals comprises:
transmitting, via a first antenna of the two or more antennas, a first transmission signal in accordance with the first block of output symbols; and
transmitting, via a second antenna of the two or more antennas, a second transmission signal in accordance with the second block of output symbols.

10. The method of claim 9, wherein each block in each of the respective sequences represents an assignment of output symbols to respective subcarriers on a given antenna at a particular time and comprises information-bearing symbols and one or more null values.

11. The method of claim 9, wherein the respective sequences comprise a first sequence and a second sequence, wherein the first sequence comprises the first block and the second block, wherein the first block represents an assignment of output symbols to first subcarriers on the first antenna at a particular time and comprises information-bearing symbols and one or more null values, and wherein the second block represents an assignment of output symbols to second subcarriers on the second antenna at a particular time and comprises information-bearing symbols and one or more null values.

12. A system comprising:
two or more antennas; and
a base station coupled with the two or more antennas, wherein the base station is configured to perform operations comprising:
forming respective sequences of blocks of output symbols for orthogonal frequency division multiplexing (OFDM) transmissions over each of the two or more antennas, wherein each block in a sequence represents an assignment of output symbols to respective subcarriers on a given antenna at a particular time and comprises information-bearing symbols and null values, and wherein, for each antenna, null values are assigned to different subcarriers over time; and
transmitting, via the two or more antennas, transmission signals in accordance with the respective sequences, wherein the respective sequences include a first block of output symbols and a second block of output symbols, and wherein transmitting the transmission signals comprises (i) transmitting, via a first antenna of the two or more antennas, a first transmission signal in accordance with the first block of output symbols, and (ii) transmitting, via a second antenna of the two or more antennas, a second transmission signal in accordance with the second block of output symbols.

13. The system of claim 12, wherein each block in each of the respective sequences represents an assignment of output symbols to respective subcarriers on a given antenna at a particular time and comprises information-bearing symbols and one or more null values.

14. The system of claim 12, wherein the respective sequences comprise a first sequence and a second sequence, wherein the first sequence comprises the first block and the second block, wherein the first block represents an assignment of output symbols to first subcarriers on the first antenna at a particular time and comprises information-bearing symbols and one or more null values, and wherein the second block represents an assignment of output symbols to second subcarriers on the second antenna at a particular time and comprises information-bearing symbols and one or more null values.