Abstract:
A method for decoding a wireless channel includes generating hypotheses of how many antennas each of at least two base stations have in a synchronized network and how received signals are being transmitted for each of the at least two base stations, detecting a MIMO signal using the hypotheses and signal components received from the at least two base stations, decoding the signal, and determining whether the decoded signal is valid by performing a cyclical redundancy check calculation.

Description:
FIELD OF THE DISCLOSURE 
     This disclosure relates to systems and methods for mobile communication and, more particularly, to systems and methods for jointly detecting channel interference and signals on a synchronized mobile communication network. 
     BACKGROUND 
     Mobile communication systems generally have the need to transmit system information to mobile units. For example, in a Long Term Evolution (LTE) cellular mobile communication system, the Physical Broadcast Channel (PBCH) is used to transmit Master Information Blocks (MIBs) which are needed to be received and decoded by mobile User Equipment (UE) to gain initial access to the network. 
     Recent developments in mobile communication have advanced the introduction of heterogeneous networks. In a heterogeneous network, macro cells generally cover large areas, while pico or femto cells are generally placed within, for example, macro cell coverage areas in order increase capacity and/or coverage in areas prone to signal loss. 
     As an example, a basement of a concrete building may be a poor location for receiving signals from a macro cell. If the signal loss is significant enough, this basement location may be a so called “deadspot” within the macro cell coverage area. Use of, for example a pico or femto cell, may be used in a heterogeneous network to provide an additional small coverage area to such deadspots. 
     Heterogeneous networks may be synchronized such that the radio frame structure of the cells is aligned. That is, the radio frame structure of macro, pico, and/or femto cells are generally aligned in such a network. As a result, some system information may be difficult to receive as a result of inter-cell interference. In the case of LTE, for instance, the PBCH of one cell is generally transmitted at the same time as the PBCH of all other cells. 
     What is needed are methods and devices for jointly detecting channel interference and signals on a synchronized mobile communication network that solves one or more of the problems described herein and/or one or more problems that may come to the attention of one skilled in the art upon becoming familiar with this specification. 
     SUMMARY 
     In an aspect of this disclosure, a method for decoding a wireless channel includes generating hypotheses of how many antennas each of at least two base stations have in a synchronized network and how received signals are being transmitted for each of the at least two base stations, detecting a multiple-input and multiple-output (MIMO) signal using the hypotheses and signal components received from the at least two base stations, decoding the signal, and determining whether the decoded signal is valid by performing a cyclical redundancy check calculation. 
     In an another aspect of this disclosure, a mobile wireless device includes a hypothesis generator, a MIMO detector provided with the number of possible antennas for each of at least two base stations, a decoder, and a cyclic redundancy check (CRC) checker. The hypothesis generator is configured to generate hypotheses of how many antennas each of at least two base stations have in a synchronized network when the at least two base stations are concurrently within wireless proximity of the mobile wireless device, and how received signals are being transmitted for each of the at least two base stations. The MIMO detector is configured to estimate a signal based on wireless components received from the at least two base stations. The decoder is configured to decode the signal into a decoded signal. The CRC checker is configured to determine whether the decoded signal is valid by performing a cyclical redundancy check calculation 
     In yet another aspect of this disclosure, the method summarized heretofore is encoded on non-transitory computer readable medium, and decodes a wireless channel when executed by a computer. 
    
    
     
       BRIEF DESCRIPTION OF THE DRAWINGS 
       To further clarify the above and other advantages and features of the present invention, a more particular description of the invention will be rendered by reference to specific embodiments thereof that are illustrated in the appended drawings. It is appreciated that these drawings depict only typical embodiments of the invention and are therefore not to be considered limiting of its scope. The invention will be described and explained with additional specificity and detail through the use of the accompanying drawings in which: 
         FIG. 1  is a mobile communication network. 
         FIG. 2  illustrates RE allocation of a PBCH. 
         FIG. 3  is a block diagram of a PBCH decoder, according to an aspect of this disclosure. 
         FIG. 4  illustrates PBCH decoding in accordance with  FIG. 3  in a two cell scenario, according to an aspect of this disclosure. 
     
    
    
     DETAILED DESCRIPTION 
     Reference will now be made to figures wherein like structures will be provided with like reference designations. It is understood that the drawings are diagrammatic and schematic representations of exemplary embodiments of the invention, and are not limiting of the present invention nor are they necessarily drawn to scale. 
       FIG. 1  is a mobile communication network. The communication system  100  is a cellular mobile communication system (also referred to herein as cellular radio communication network or mobile communication network) including a radio access network (e.g. an E-UTRAN, Evolved UMTS Terrestrial Radio Access Network according to LTE (Long Term Evolution))  101  and a core network (e.g. an EPC, Evolved Packet Core, according LTE)  102 . The radio access network  101  may include base (transceiver) stations (e.g. eNodeBs, eNBs, according to LTE)  103 . Each base station  103  provides radio coverage for one or more mobile radio cells  104  of the radio access network  101 . 
     A mobile terminal (also referred to as UE, user equipment or mobile wireless device)  105  located in a mobile radio cell  104  may communicate with the core network  102  and with other mobile terminals  105  via the base station providing coverage in (in other words operating) the mobile radio cell. In other words, the base station  103  operating the mobile radio cell  104  in which the mobile terminal  105  is located provides the E-UTRA user plane terminations including the PDCP (Packet Data Convergence Protocol) layer, the RLC (Radio Link Control) layer and the MAC (Medium Access Control) layer and control plane terminations including the RRC (Radio Resource Control) layer towards the mobile terminal  105 . 
     Control and user data are transmitted between a base station  103  and a mobile terminal  105  located in the mobile radio cell  104  operated by the base station  103  over the air interface  106  on the basis of a multiple access method. 
     Air interface  106  comprises several physical channels which can be grouped into uplink and downlink channels. Channels in the downlink, for instance, include:
         the Physical Control Channel (PDCCH) which conveys uplink and downlink radio resource allocation information;   the Physical Control Format Indicator Channel (PCFICH) which is used to signal the length of the PDCCH;   the Physical Hybrid ARQ Indicator Channel (PHICH) which is used to carry acknowledgements of uplink transmissions;   the Physical Downlink Shared Channel (PDSCH) which is used for Layer-1 physical downlink transport data transmission;   the Physical Multicast Channel (PMCH) which is used for broadcast transmission using a Single Frequency Network; and   the Physical Broadcast Channel (PBCH) which is used to broadcast basic system information within a cell including master information blocks (MIBs).
 
Channels in the uplink, for instance, include:
   the Physical Random Access Channel (PRACH) which is used for initial access and uplink synchronization;   the Physical Uplink Shared Channel (PUSCH) which carries the Layer-1 physical uplink transport data along with various control information; and   the Physical Uplink Control Channel (PUCCH) which also carries control information.       

     The base stations  103  are interconnected with each other by means of a first interface  107 , e.g. an X2 interface. The base stations  103  are also connected by means of a second interface  108 , e.g. an S1 interface, to the core network, e.g. to an MME (Mobility Management Entity)  109  via a S1-MME interface and to a Serving Gateway (S-GW)  110  by means of an S1-U interface. The S1 interface supports a many-to-many relation between MMEs/S-GWs  109 ,  110  and the base stations  103 , i.e. a base station  103  can be connected to more than one MME/S-GW  109 ,  110  and an MME/S-GW can  109 ,  110  be connected to more than one base station  103 . This enables network sharing in LTE. 
     For example, the MME  109  may be responsible for controlling the mobility of mobile terminals located in the coverage area of E-UTRAN, while the S-GW  110  is responsible for handling the transmission of user data between mobile terminals  105  and core network  102 . 
     In the case of LTE, the radio access network  101 , i.e. the E-UTRAN  101  in case of LTE, can be seen to consist of the base station  103 , i.e. the eNBs  103  in case of LTE, providing the E-UTRA user plane (PDCP/RLC/MAC) and control plane (RRC) protocol terminations towards the UE  105 . 
     An eNB  103  may for example host the following functions:
         Functions for Radio Resource Management: Radio Bearer Control, Radio Admission Control, Connection Mobility Control, dynamic allocation of resources to UEs  105  in both uplink and downlink (scheduling);   IP header compression and encryption of user data stream;   Selection of an MME  109  at UE  105  attachment when no routing to an MME  109  can be determined from the information provided by the UE  105 ;   Routing of User Plane data towards Serving Gateway (S-GW)  110 ;   Scheduling and transmission of paging messages (originated from the MME);   Scheduling and transmission of broadcast information (originated from the MME  109  or O&amp;M (Operation and Maintenance));   Measurement and measurement reporting configuration for mobility and scheduling;   Scheduling and transmission of PWS (Public Warning System, which includes ETWS (Earthquake and Tsunami Warning System) and CMAS (Commercial Mobile Alert System)) messages (originated from the MME  109 );   CSG (Closed Subscriber Group) handling.       

     Each base station of the communication system  100  controls communications within its geographic coverage area, namely its mobile radio cell  104  that is ideally represented by a hexagonal shape. When the mobile terminal  105  is located within a mobile radio cell  104  and is camping on the mobile radio cell  104  (in other words is registered with the mobile radio cell  104 ) it communicates with the base station  103  controlling that mobile radio cell  104 . 
     The communication system  100  is heterogeneous and synchronized. The mobile radio cells  104  have various coverage and capacity capabilities, and their geographic coverage areas may overlap; a macro cell, for example, may cover of large area in which one or more pico or femto cells are also present (not shown). The communication system  100  is synchronized such that the radio frame structures of radio cells  104  are aligned. 
       FIG. 2  illustrates Resource Element (RE) allocation of a Physical Broadcast Channel (PBCH). The Transmission Time Interval (TTI)  200  is 40 ms, which is shown as being divided into four radio frames  201  numbered sequentially from 0 to 3. Each radio frame  201  is further divided into ten subframes numbered sequentially from 0 to 9. The PBCH is scheduled in the 0 th  subframe  202  of each radio frame  201 . Depicted separately, subframe  202  may be implemented with a normal  202 - 1  or extended cyclic prefix  202 - 2 . Subframe  202  further comprises two slots, numbered sequentially 0 and 1, which comprise Radio Bearers (RBs) numbered from 0 to 5. The PBCH is located in slot 1 of each 0 th  subframe  202  of each radio frame  201 . In the case of a normal cyclic prefix  202 - 1 , there are 960 separate REs  205 , while in the case of an extended cyclic prefix  202 - 2 , there are 864 separate REs  205 . The PBCH being Quadratic Phase Shift Key (QPSK) modulated, results in 1920 bits per TTI in the case of a normal cyclic prefix, and 1728 bits per TTI in the case of a extended cyclic prefix. 
     In an LTE system, such as communication system  100 , the MIB is transmitted on the PBCH and consists of 14 bits of information. The PBCH is a broadcast channel and is generally transmitted with a relatively high power and therefore is a strong source of interference for UEs  105  at mobile radio cell  104  coverage boundaries which receive signals from multiple mobile radio cells. This type of interference is generally common in heterogeneous networks with pico and femto cells operating within a larger macro cell coverage area. 
     Since a pico cell or femto cell transmits with less power than a macro cell, the coverage area of one pico cell or femto cell is relatively small. The coverage area of pico or femto cells, however, is often increased by operating with a negative handover bias. That is, for example, when a UE  105  in the proximity of a pico cell and macro cell, the UE may connect, or stay connected with, the pico cell, up until a certain biased signal strength threshold is surpassed. Handover of the UE  105  from the pico cell to the macro cell is only performed if the signal from the macro cell minus the handover bias is stronger than the pico cell signal. In some cases the handover bias may be as large as 7 dB. In terms of interference, however, such a case requires the UE to be able to detect signals which are up to 7 dB weaker than the interference caused by overlapping mobile radio cell  104  coverage boundaries. 
     In detecting and decoding the MIB transmitted on the PBCH with interference caused by overlapping mobile radio cell  104  coverage boundaries, an aspect of the disclosure supports joint reception of I≧1 PBCHs from I cells which are time and frequency synchronized cells indexed by iε{0, . . . , I−1}. It is assumed for the sake of demonstration that the PBCHs are perfectly overlapped, and that the UE  105  has Qε{1, 2, 4, 8} receiver antennas. 
     The UE  105  performs a cell search as an initial step to gain access to a network. After the search has found a valid cell and potentially other interfering cells, the UE  105  starts the reception and decoding of the PBCH. The following information, therefore, is generally available to the UE  105  after the cell search has been performed.
         The number of cells Iε{1, . . . }.   The radio frame timing.   The cell ID N ID   cell [i] of the I cells under consideration.   The set of frequency-direction indices K of resource elements that contain at least the centre six resource blocks.   The set of time-direction indices L of resource elements that contain at least the four OFDM-symbols 0, . . . , 3 in time slot 1 of subframe 0 under consideration.   The received complex resource elements y q [k,l]εC for RX-antenna qε{0, . . . , Q−1}.   The estimated channel coefficients ĥ q,p   (i) [k,l] for qεQ and pε{0, 1, 2, 3} and cell i.   The estimated RX noise covariance matrix {circumflex over (φ)} z εC Q×Q .   The data-to-pilot dependent scaling ratios (DPR) Q i .
 
It should be noted that when there are less than four TX-antenna ports, the channel coefficients with a larger antenna port number may be corrupted. This is acceptable as the hypothesis testing step can deal with it.
       

     According to an aspect of this disclosure, the following information is detected for each i cell index where iε{0, . . . , I−1}:
         The number of cell-specific antenna port P[i]ε{1, 2, 4}.   The TTI timing.   The PBCH payload, and in particular, the MIB.   Resource Element Allocation.       

     The Common Reference Signal (CRS) may be shifted in the frequency domain based on the cell ID. Depending on the cell ID of the target cell and the interfering cell, three different scenarios can occur assuming only two cells iε{0,1}: (1) cell 0 and 1 both transmit the PBCH on same RE; (2) cell i transmits PBCH, and cell 1−i transmits CRS; and (3) cell i transmits PBCH, and cell 1−i transmits DTX (Discontinuous Transmission). It should be noted that DTX in the last scenario generally only occur in symbol  1  if the eNodeB does not utilize all antenna ports. It should be further noted that the second scenario, where cell i transmits PBCH, and cell 1−i transmits the CRS, may be simplified into the last scenario by applying CRS cancellation. Thus, by applying CRS cancellation to the second scenario, only the first scenario and last scenario require solutions. That is, solutions to the following two scenarios are desired: cell 0 and 1 both transmit the PBCH on same RE; and cell i transmits PBCH, and cell 1−i transmits DTX. 
       FIG. 3  is a block diagram of a PBCH decoder according to an aspect of this disclosure. Since the UE does not have information related to the eNodeB number of used transmit antennas, the PBCH decoder  300  generates several hypotheses. These hypotheses may be generated in either a serial process or a parallel process. A hypothesis is generated for each possible number of eNodeB antenna ports. That is, after a fast fourier transformer  301  has performed Fast Fourier Transform (FFT) on received signals, a set of possible antenna ports  303  is provided as input to a hypothesis generator  304 . Channel estimator  302  also provides channel estimations to the hypothesis generator  304 . Hypothesis generator  304 , based on the described input, generates hypotheses which are provided to a MIMO detector  305  and a convolutional decoder  306 . A CRC checker  307  then provides CRC checking, which determines, upon a successful CRC check, that the PBCH has been successfully decoded. If the CRC check is unsuccessful, CRC checker  307  signals to hypothesis generator  304  that the previously generated hypothesis has been proven false. Additional hypotheses may be generated by hypothesis generator  304  until the PBCH is successfully decoded. 
     The following mathematical framework is used in the scenario where cell 0 and 1 both transmit the PBCH on the same RE. Where nε{0,1} is a logical RE index, and without loss of generality, P i ={0,1} for iε{0, . . . I−1}, and qε{0, . . . , Q−1} is the RX-antenna index, the received complex resource element can be expressed as: 
     
       
         
           
             
               
                 y 
                 q 
               
               ⁡ 
               
                 [ 
                 n 
                 ] 
               
             
             = 
             
               
                 
                   ∑ 
                   
                     i 
                     = 
                     0 
                   
                   
                     I 
                     - 
                     1 
                   
                 
                 ⁢ 
                 
                     
                 
                 ⁢ 
                 
                   
                     ∑ 
                     
                       p 
                       = 
                       0 
                     
                     1 
                   
                   ⁢ 
                   
                       
                   
                   ⁢ 
                   
                     
                       
                         h 
                         
                           q 
                           , 
                           p 
                         
                         
                           ( 
                           i 
                           ) 
                         
                       
                       ⁡ 
                       
                         [ 
                         n 
                         ] 
                       
                     
                     ⁢ 
                     
                       ϱ 
                       i 
                     
                     ⁢ 
                     
                       
                         x 
                         p 
                         
                           ( 
                           i 
                           ) 
                         
                       
                       ⁡ 
                       
                         [ 
                         n 
                         ] 
                       
                     
                   
                 
               
               + 
               
                 
                   
                     z 
                     q 
                   
                   ⁡ 
                   
                     [ 
                     n 
                     ] 
                   
                 
                 . 
               
             
           
         
       
     
     Let 
               s     (   i   )       :=     (             s     (   i   )       ⁡     [   0   ]                   s     (   i   )       ⁡     [   1   ]             )           
be the transmitted Alamouti pair on cell iε{0, . . . , I−1}, where
 
                 s     (   i   )       ⁡     [   m   ]       ∈     {       ±     1     2         ±         -   1       ⁢     1     2           }           
is the QPSK modulation symbol corresponding to relative data symbol index mε{0,1}.
 
     Thus it is given that |s (i) [m]| 2 =1. The transmitted symbol can be written as: 
     
       
         
           
             
               ( 
               
                 
                   
                     
                       
                         x 
                         0 
                         
                           ( 
                           i 
                           ) 
                         
                       
                       ⁡ 
                       
                         [ 
                         0 
                         ] 
                       
                     
                   
                   
                     
                       
                         x 
                         0 
                         
                           ( 
                           i 
                           ) 
                         
                       
                       ⁡ 
                       
                         [ 
                         1 
                         ] 
                       
                     
                   
                 
                 
                   
                     
                       
                         x 
                         1 
                         
                           ( 
                           i 
                           ) 
                         
                       
                       ⁡ 
                       
                         [ 
                         0 
                         ] 
                       
                     
                   
                   
                     
                       
                         x 
                         1 
                         
                           ( 
                           i 
                           ) 
                         
                       
                       ⁡ 
                       
                         [ 
                         1 
                         ] 
                       
                     
                   
                 
               
               ) 
             
             := 
             
               
                 ( 
                 
                   
                     
                       
                         
                           s 
                           
                             ( 
                             i 
                             ) 
                           
                         
                         ⁡ 
                         
                           [ 
                           0 
                           ] 
                         
                       
                     
                     
                       
                         
                           s 
                           
                             ( 
                             i 
                             ) 
                           
                         
                         ⁡ 
                         
                           [ 
                           1 
                           ] 
                         
                       
                     
                   
                   
                     
                       
                         - 
                         
                           
                             
                               s 
                               
                                 ( 
                                 i 
                                 ) 
                               
                             
                             ⁡ 
                             
                               [ 
                               1 
                               ] 
                             
                           
                           * 
                         
                       
                     
                     
                       
                         
                           
                             s 
                             
                               ( 
                               i 
                               ) 
                             
                           
                           ⁡ 
                           
                             [ 
                             0 
                             ] 
                           
                         
                         * 
                       
                     
                   
                 
                 ) 
               
               . 
             
           
         
       
     
     We get 
                   y   q     ⁡     [   0   ]       =         ∑     i   =   0       I   -   1       ⁢           ⁢     (         ϱ   i     ⁢       h     q   ,   0       (   i   )       ⁡     [   0   ]       ⁢       s     (   i   )       ⁡     [   0   ]         -       ϱ   i     ⁢       h     q   ,   1       (   i   )       ⁡     [   0   ]       ⁢         s     (   i   )       ⁡     [   1   ]       *         )       +       z   q     ⁡     [   0   ]           ,     
     ⁢         y   q     ⁡     [   1   ]       =         ∑     i   =   0       I   -   1       ⁢           ⁢     (         ϱ   i     ⁢       h     q   ,   0       (   i   )       ⁡     [   1   ]       ⁢       s     (   i   )       ⁡     [   1   ]         +       ϱ   i     ⁢       h     q   ,   1       (   i   )       ⁡     [   1   ]       ⁢         s     (   i   )       ⁡     [   0   ]       *         )       +       z   q     ⁡     [   1   ]           ,         
In matrix form, this can be re-written as:
 
     
       
         
           
             
               ( 
               
                 
                   
                     
                       
                         y 
                         q 
                       
                       ⁡ 
                       
                         [ 
                         0 
                         ] 
                       
                     
                   
                 
                 
                   
                     
                       
                         
                           y 
                           q 
                         
                         ⁡ 
                         
                           [ 
                           1 
                           ] 
                         
                       
                       * 
                     
                   
                 
               
               ) 
             
             = 
             
               
                 
                   ( 
                   
                     
                       
                         
                           
                             ϱ 
                             0 
                           
                           ⁢ 
                           
                             
                               h 
                               
                                 q 
                                 , 
                                 0 
                               
                               
                                 ( 
                                 0 
                                 ) 
                               
                             
                             ⁡ 
                             
                               [ 
                               0 
                               ] 
                             
                           
                         
                       
                       
                         
                           
                             - 
                             
                               ϱ 
                               0 
                             
                           
                           ⁢ 
                           
                             
                               h 
                               
                                 q 
                                 , 
                                 1 
                               
                               
                                 ( 
                                 0 
                                 ) 
                               
                             
                             ⁡ 
                             
                               [ 
                               0 
                               ] 
                             
                           
                         
                       
                       
                         … 
                       
                       
                         
                           
                             ϱ 
                             
                               I 
                               - 
                               1 
                             
                           
                           ⁢ 
                           
                             
                               h 
                               
                                 q 
                                 , 
                                 0 
                               
                               
                                 ( 
                                 
                                   I 
                                   - 
                                   1 
                                 
                                 ) 
                               
                             
                             ⁡ 
                             
                               [ 
                               0 
                               ] 
                             
                           
                         
                       
                       
                         
                           
                             - 
                             
                               ϱ 
                               
                                 I 
                                 - 
                                 1 
                               
                             
                           
                           ⁢ 
                           
                             
                               h 
                               
                                 q 
                                 , 
                                 1 
                               
                               
                                 ( 
                                 
                                   I 
                                   - 
                                   1 
                                 
                                 ) 
                               
                             
                             ⁡ 
                             
                               [ 
                               0 
                               ] 
                             
                           
                         
                       
                     
                     
                       
                         
                           
                             ϱ 
                             0 
                           
                           ⁢ 
                           
                             
                               
                                 h 
                                 
                                   q 
                                   , 
                                   1 
                                 
                                 
                                   ( 
                                   0 
                                   ) 
                                 
                               
                               ⁡ 
                               
                                 [ 
                                 1 
                                 ] 
                               
                             
                             * 
                           
                         
                       
                       
                         
                           
                             ϱ 
                             0 
                           
                           ⁢ 
                           
                             
                               
                                 h 
                                 
                                   q 
                                   , 
                                   0 
                                 
                                 
                                   ( 
                                   0 
                                   ) 
                                 
                               
                               ⁡ 
                               
                                 [ 
                                 1 
                                 ] 
                               
                             
                             * 
                           
                         
                       
                       
                         … 
                       
                       
                         
                           
                             ϱ 
                             
                               I 
                               - 
                               1 
                             
                           
                           ⁢ 
                           
                             
                               
                                 h 
                                 
                                   q 
                                   , 
                                   1 
                                 
                                 
                                   ( 
                                   
                                     I 
                                     - 
                                     1 
                                   
                                   ) 
                                 
                               
                               ⁡ 
                               
                                 [ 
                                 1 
                                 ] 
                               
                             
                             * 
                           
                         
                       
                       
                         
                           
                             ϱ 
                             
                               I 
                               - 
                               1 
                             
                           
                           ⁢ 
                           
                             
                               
                                 h 
                                 
                                   q 
                                   , 
                                   0 
                                 
                                 
                                   ( 
                                   
                                     I 
                                     - 
                                     1 
                                   
                                   ) 
                                 
                               
                               ⁡ 
                               
                                 [ 
                                 1 
                                 ] 
                               
                             
                             * 
                           
                         
                       
                     
                   
                   ) 
                 
                 ⁢ 
                 
                   ( 
                   
                     
                       
                         
                           
                             s 
                             
                               ( 
                               0 
                               ) 
                             
                           
                           ⁡ 
                           
                             [ 
                             0 
                             ] 
                           
                         
                       
                     
                     
                       
                         
                           
                             
                               s 
                               
                                 ( 
                                 0 
                                 ) 
                               
                             
                             ⁡ 
                             
                               [ 
                               1 
                               ] 
                             
                           
                           * 
                         
                       
                     
                     
                       
                         ⋮ 
                       
                     
                     
                       
                         
                           
                             s 
                             
                               ( 
                               
                                 I 
                                 - 
                                 1 
                               
                               ) 
                             
                           
                           ⁡ 
                           
                             [ 
                             0 
                             ] 
                           
                         
                       
                     
                     
                       
                         
                           
                             
                               s 
                               
                                 ( 
                                 
                                   I 
                                   - 
                                   1 
                                 
                                 ) 
                               
                             
                             ⁡ 
                             
                               [ 
                               1 
                               ] 
                             
                           
                           * 
                         
                       
                     
                   
                   ) 
                 
               
               + 
               
                 
                   ( 
                   
                     
                       
                         
                           
                             z 
                             q 
                           
                           ⁡ 
                           
                             [ 
                             0 
                             ] 
                           
                         
                       
                     
                     
                       
                         
                           
                             
                               z 
                               q 
                             
                             ⁡ 
                             
                               [ 
                               1 
                               ] 
                             
                           
                           * 
                         
                       
                     
                   
                   ) 
                 
                 . 
               
             
           
         
       
     
     Defining 
     
       
         
           
             
               
                 y 
                 q 
               
               := 
               
                 
                   ( 
                   
                     
                       
                         
                           
                             y 
                             q 
                           
                           ⁡ 
                           
                             [ 
                             0 
                             ] 
                           
                         
                       
                     
                     
                       
                         
                           
                             
                               y 
                               q 
                             
                             ⁡ 
                             
                               [ 
                               1 
                               ] 
                             
                           
                           * 
                         
                       
                     
                   
                   ) 
                 
                 ∈ 
                 
                   ℂ 
                   
                     2 
                     × 
                     1 
                   
                 
               
             
             , 
             
               
 
             
             ⁢ 
             
               
                 H 
                 q 
               
               := 
               
                 
                   ( 
                   
                     
                       
                         
                           
                             ϱ 
                             0 
                           
                           ⁢ 
                           
                             
                               h 
                               
                                 q 
                                 , 
                                 0 
                               
                               
                                 ( 
                                 0 
                                 ) 
                               
                             
                             ⁡ 
                             
                               [ 
                               0 
                               ] 
                             
                           
                         
                       
                       
                         
                           
                             - 
                             
                               ϱ 
                               0 
                             
                           
                           ⁢ 
                           
                             
                               h 
                               
                                 q 
                                 , 
                                 1 
                               
                               
                                 ( 
                                 0 
                                 ) 
                               
                             
                             ⁡ 
                             
                               [ 
                               0 
                               ] 
                             
                           
                         
                       
                       
                         … 
                       
                       
                         
                           
                             ϱ 
                             
                               I 
                               - 
                               1 
                             
                           
                           ⁢ 
                           
                             
                               h 
                               
                                 q 
                                 , 
                                 0 
                               
                               
                                 ( 
                                 
                                   I 
                                   - 
                                   1 
                                 
                                 ) 
                               
                             
                             ⁡ 
                             
                               [ 
                               0 
                               ] 
                             
                           
                         
                       
                       
                         
                           
                             - 
                             
                               ϱ 
                               
                                 I 
                                 - 
                                 1 
                               
                             
                           
                           ⁢ 
                           
                             
                               h 
                               
                                 q 
                                 , 
                                 1 
                               
                               
                                 ( 
                                 
                                   I 
                                   - 
                                   1 
                                 
                                 ) 
                               
                             
                             ⁡ 
                             
                               [ 
                               0 
                               ] 
                             
                           
                         
                       
                     
                     
                       
                         
                           
                             ϱ 
                             0 
                           
                           ⁢ 
                           
                             
                               
                                 h 
                                 
                                   q 
                                   , 
                                   1 
                                 
                                 
                                   ( 
                                   0 
                                   ) 
                                 
                               
                               ⁡ 
                               
                                 [ 
                                 1 
                                 ] 
                               
                             
                             * 
                           
                         
                       
                       
                         
                           
                             ϱ 
                             0 
                           
                           ⁢ 
                           
                             
                               
                                 h 
                                 
                                   q 
                                   , 
                                   0 
                                 
                                 
                                   ( 
                                   0 
                                   ) 
                                 
                               
                               ⁡ 
                               
                                 [ 
                                 1 
                                 ] 
                               
                             
                             * 
                           
                         
                       
                       
                         … 
                       
                       
                         
                           
                             ϱ 
                             
                               I 
                               - 
                               1 
                             
                           
                           ⁢ 
                           
                             
                               
                                 h 
                                 
                                   q 
                                   , 
                                   1 
                                 
                                 
                                   ( 
                                   
                                     I 
                                     - 
                                     1 
                                   
                                   ) 
                                 
                               
                               ⁡ 
                               
                                 [ 
                                 1 
                                 ] 
                               
                             
                             * 
                           
                         
                       
                       
                         
                           
                             ϱ 
                             
                               I 
                               - 
                               1 
                             
                           
                           ⁢ 
                           
                             
                               
                                 h 
                                 
                                   q 
                                   , 
                                   0 
                                 
                                 
                                   ( 
                                   
                                     I 
                                     - 
                                     1 
                                   
                                   ) 
                                 
                               
                               ⁡ 
                               
                                 [ 
                                 1 
                                 ] 
                               
                             
                             * 
                           
                         
                       
                     
                   
                   ) 
                 
                 ∈ 
                 
                   ℂ 
                   
                     2 
                     × 
                     2 
                     ⁢ 
                     I 
                   
                 
               
             
             , 
             
               
 
             
             ⁢ 
             
               s 
               := 
               
                 
                   ( 
                   
                     
                       
                         
                           
                             s 
                             
                               ( 
                               0 
                               ) 
                             
                           
                           ⁡ 
                           
                             [ 
                             0 
                             ] 
                           
                         
                       
                     
                     
                       
                         
                           
                             
                               s 
                               
                                 ( 
                                 0 
                                 ) 
                               
                             
                             ⁡ 
                             
                               [ 
                               1 
                               ] 
                             
                           
                           * 
                         
                       
                     
                     
                       
                         ⋮ 
                       
                     
                     
                       
                         
                           
                             s 
                             
                               ( 
                               
                                 I 
                                 - 
                                 1 
                               
                               ) 
                             
                           
                           ⁡ 
                           
                             [ 
                             0 
                             ] 
                           
                         
                       
                     
                     
                       
                         
                           
                             
                               s 
                               
                                 ( 
                                 
                                   I 
                                   - 
                                   1 
                                 
                                 ) 
                               
                             
                             ⁡ 
                             
                               [ 
                               1 
                               ] 
                             
                           
                           * 
                         
                       
                     
                   
                   ) 
                 
                 ∈ 
                 
                   ℂ 
                   
                     2 
                     ⁢ 
                     I 
                     × 
                     1 
                   
                 
               
             
             , 
             
               
 
             
             ⁢ 
             and 
           
         
       
       
         
           
             
               z 
               q 
             
             := 
             
               
                 ( 
                 
                   
                     
                       
                         
                           z 
                           q 
                         
                         ⁡ 
                         
                           [ 
                           0 
                           ] 
                         
                       
                     
                   
                   
                     
                       
                         
                           
                             z 
                             q 
                           
                           ⁡ 
                           
                             [ 
                             1 
                             ] 
                           
                         
                         * 
                       
                     
                   
                 
                 ) 
               
               ∈ 
               
                 
                   ℂ 
                   
                     2 
                     × 
                     1 
                   
                 
                 . 
               
             
           
         
       
     
     Then y q =H q s+z q . Finally, defining 
     
       
         
           
             
               y 
               := 
               
                 
                   ( 
                   
                     
                       
                         
                           y 
                           0 
                         
                       
                     
                     
                       
                         ⋮ 
                       
                     
                     
                       
                         
                           y 
                           
                             Q 
                             - 
                             1 
                           
                         
                       
                     
                   
                   ) 
                 
                 ∈ 
                 
                   ℂ 
                   
                     2 
                     ⁢ 
                     Q 
                     × 
                     1 
                   
                 
               
             
             , 
             
               
 
             
             ⁢ 
             
               H 
               := 
               
                 
                   ( 
                   
                     
                       
                         
                           H 
                           0 
                         
                       
                     
                     
                       
                         ⋮ 
                       
                     
                     
                       
                         
                           H 
                           
                             Q 
                             - 
                             1 
                           
                         
                       
                     
                   
                   ) 
                 
                 ∈ 
                 
                   ℂ 
                   
                     2 
                     ⁢ 
                     Q 
                     × 
                     2 
                     ⁢ 
                     I 
                   
                 
               
             
             , 
             
               
 
             
             ⁢ 
             
               z 
               := 
               
                 
                   ( 
                   
                     
                       
                         
                           z 
                           0 
                         
                       
                     
                     
                       
                         ⋮ 
                       
                     
                     
                       
                         
                           z 
                           
                             Q 
                             - 
                             1 
                           
                         
                       
                     
                   
                   ) 
                 
                 ∈ 
                 
                   
                     ℂ 
                     
                       2 
                       ⁢ 
                       Q 
                       × 
                       1 
                     
                   
                   . 
                 
               
             
           
         
       
     
     Then y=Hs+z. With this notation it is possible to consider also Alamouti transmit-diversity in a MIMO context. Alamouti transmit-diversity is described in U.S. Pat. No. 6,185,258, the contents of which are incorporated by reference in its entirety herein. With Q=1 RX antennas optimally detection of one PBCH, utilizing a 2×2 MIMO detector, is possible even with a frequency selective channel. With Q=2 RX antennas optimal joint detection of two PBCHs, utilizing a 4×4 MIMO detector, is possible even with a frequency selective channel. Generalizing, with Q RX antennas it is possible to optimally decode Q PBCH with a MIMO detector even in frequency selective fading. The MIMO detectors  305  may also be operated in an iterative fashion by feeding back information available from the channel decoder. It may be assumed that z is strictly circular symmetric normally distributed, and that z may have an arbitrary positive-definite Hermitian covariance matrix since noise whitening may be performed subsequently. 
       FIG. 4  illustrates PBCH decoding in accordance with  FIG. 3  in a two cell scenario, according to an aspect of this disclosure. To concisely demonstrate a two cell scenario, it is assumed that each cell has at least two antenna ports. Taking Alamouti pairing into account, there remains several sub-cases.  FIG. 4 , in particular, illustrates cases  401 ,  402 ,  403 ,  404 , and  405 , in which the left column is cell 0, the right column is cell 1, and the column represents frequency direction. Blanked fields indicate DTX RE, a field labeled with 0 or 1 indicate a RE with the Alamouti pair RE 0 or 1. 
     Blanked REs are DTX, and may be handled, if necessary, as described above with CRS cancellation. Cases  401  and  402 , therefore, are the most difficult sub-cases and are thus discussed in detail herein. While cases  401  and  402  are discussed in detail, it is understood that the following formulas may be applied to all of the possible scenarios. The eNodeB may use 1, 2, or 4 antenna ports. Since the UE does not know how many antenna ports are used, it assumes different hypotheses, as described below. 
     In the hypothesis where cell 0 and 1 both transmit the PBCH within the current RE, then y q =h q   (0) e 0 x (0) +h q   (1) e 1 x (1) +z q . It should be noted that this describes a Q×2 MIMO system. If, however, cell transmits PBCH, and cell 1−i transmits CRS, then y q =h q   (i) e i x (i) +h q   (1-i) +z q . If, on the other hand, cell transmits PBCH, and cell 1−i transmits DTX, we have y q =h q   (i) e i x (i) +z q . 
     In the hypothesis where cell 0 has one cell-specific antenna port and cell 1 has two cell-specific antenna ports, if cell 0 and 1 both transmit the PBCH within the current RE, then 
               y   q     =         h   q     (   0   )       ⁢     ϱ   0     ⁢     x     (   0   )         +       ∑     p   ∈     {     0   ,   1     }         ⁢       h     q   ,   p       (   1   )       ⁢     ϱ   1     ⁢     x   p     (   1   )           +       z   q     .             
If, however, cell 0 transmits PBCH, and cell 1 transmits CRS on port pε{0,1}, then y q =h q   (0) e 0 x (0) +h q,p   (1) +z q . If, on the other hand, cell 0 transmits CRS, and cell 1 transmits PBCH, then
 
               y   q     =       h   q     (   0   )       +       ∑     p   ∈     {     0   ,   1     }         ⁢       h     q   ,   p       (   1   )       ⁢     ϱ   1     ⁢     x   p     (   1   )           +       z   q     .             
If cell 0 transmits PBCH, and cell 1 transmits DTX, then, and if cell 0 transmits DTX, and cell 1 transmits PBCH, then
 
     
       
         
           
             
               y 
               q 
             
             = 
             
               
                 
                   ∑ 
                   
                     p 
                     ∈ 
                     
                       { 
                       
                         0 
                         , 
                         1 
                       
                       } 
                     
                   
                 
                 ⁢ 
                 
                   
                     h 
                     
                       q 
                       , 
                       p 
                     
                     
                       ( 
                       1 
                       ) 
                     
                   
                   ⁢ 
                   
                     ϱ 
                     1 
                   
                   ⁢ 
                   
                     x 
                     p 
                     
                       ( 
                       1 
                       ) 
                     
                   
                 
               
               + 
               
                 
                   z 
                   q 
                 
                 . 
               
             
           
         
       
     
     In the hypothesis where cell 0 has one cell-specific antenna port, and cell 1 has four cell-specific antenna ports, if cell 0 and 1 both transmit the PBCH within the current RE, then with Pε{{0,2},{1,3}}, 
               y   q     =         h   q     (   0   )       ⁢     ϱ   0     ⁢     x     (   0   )         +       ∑     p   ∈   P       ⁢       h     q   ,   p       (   1   )       ⁢     ϱ   1     ⁢     x   p     (   1   )           +       z   q     .             
If, however, cell 0 transmits PBCH, and cell 1 transmits CRS on port pε{0, . . . , 3}, then y q =h q   (0) e 0 x (0) +h q,p   (1) +z q . If, on the other hand, cell 0 transmits CRS, and cell 1 transmits PBCH, then with Pε{{0,2},{1,3}},
 
               y   q     =       h   q     (   0   )       +       ∑     p   ∈   P       ⁢       h     q   ,   p       (   1   )       ⁢     ϱ   1     ⁢     x   p     (   1   )           +       z   q     .             
If cell 0 transmits DTX, and cell 1 transmits PBCH, then with Pε{{0,2},{1,3}},
 
     
       
         
           
             
               y 
               q 
             
             = 
             
               
                 
                   ∑ 
                   
                     p 
                     ∈ 
                     P 
                   
                 
                 ⁢ 
                 
                   
                     h 
                     
                       q 
                       , 
                       p 
                     
                     
                       ( 
                       1 
                       ) 
                     
                   
                   ⁢ 
                   
                     ϱ 
                     1 
                   
                   ⁢ 
                   
                     x 
                     p 
                     
                       ( 
                       1 
                       ) 
                     
                   
                 
               
               + 
               
                 
                   z 
                   q 
                 
                 . 
               
             
           
         
       
     
     In the hypothesis where both cell 0 and cell 1 have two cell-specific antenna ports and both transmit the PBCH within the current RE, then 
               y   q     =         ∑     p   ∈     {     0   ,   1     }         ⁢       h     q   ,   p       (   0   )       ⁢     ϱ   0     ⁢     x   p     (   0   )           +       ∑     p   ∈     {     0   ,   1     }                 ⁢       h     q   ,   p       (   1   )       ⁢     ϱ   1     ⁢     x   p     (   1   )           +       z   q     .             
If, however, cell i transmits PBCH, and cell 1−i transmits CRS on port p 1-i ε{0,1}, then
 
               y   q     =         ∑     p   ∈     {     0   ,   1     }         ⁢       h     q   ,   p       (   i   )       ⁢     ϱ   i     ⁢     x   p     (   i   )           +     h     q   ,     p     1   -   i           (     1   -   i     )       +       z   q     .             
If, on the other hand, cell transmits PBCH, and cell 1−i transmits DTX, then
 
     
       
         
           
             
               y 
               q 
             
             = 
             
               
                 
                   ∑ 
                   
                     p 
                     ∈ 
                     
                       { 
                       
                         0 
                         , 
                         1 
                       
                       } 
                     
                   
                 
                 ⁢ 
                 
                   
                     h 
                     
                       q 
                       , 
                       p 
                     
                     
                       ( 
                       i 
                       ) 
                     
                   
                   ⁢ 
                   
                     ϱ 
                     i 
                   
                   ⁢ 
                   
                     x 
                     p 
                     
                       ( 
                       i 
                       ) 
                     
                   
                 
               
               + 
               
                 
                   z 
                   q 
                 
                 . 
               
             
           
         
       
     
     In the hypothesis where cell 0 has two cell-specific antenna port, and cell 1 has four cell-specific antenna ports, if cell 0 and 1 both transmit the PBCH within the current RE, then with P 1 ε{{0,2},{1,3}}, 
               y   q     =         ∑     p   ∈     {     0   ,   1     }         ⁢       h     q   ,   p       (   0   )       ⁢     ϱ   0     ⁢     x   p     (   0   )           +       ∑     p   ∈     P   i         ⁢       h     q   ,   p       (   1   )       ⁢     ϱ   1     ⁢     x   p     (   1   )           +       z   q     .             
If however, cell 0 transmits PBCH, and cell 1 transmits CRS on port p 1 ε{0, . . . , 3}, then
 
               y   q     =         ∑     p   ∈     {     0   ,   1     }         ⁢       h     q   ,   p       (   0   )       ⁢     ϱ   0     ⁢     x   p     (   0   )           +     h     q   ,     p   1         (   1   )       +       z   q     .             
If, on the other hand, cell 0 transmits CRS on port p 0 ε{0, . . . , 3}, and cell 1 transmits PBCH, then with Pε{{0,2},{1,3}},
 
               y   q     =       h     q   ,     p   0         (   0   )       +       ∑     p   ∈   P       ⁢       h     q   ,   p       (   1   )       ⁢     ϱ   1     ⁢     x   p     (   1   )           +       z   q     .             
If cell 0 transmits DTX, and cell 1 transmits PBCH, then with Pε{{0,2},{1,3}},
 
     
       
         
           
             
               y 
               q 
             
             = 
             
               
                 
                   ∑ 
                   
                     p 
                     ∈ 
                     P 
                   
                 
                 ⁢ 
                 
                   
                     h 
                     
                       q 
                       , 
                       p 
                     
                     
                       ( 
                       1 
                       ) 
                     
                   
                   ⁢ 
                   
                     ϱ 
                     1 
                   
                   ⁢ 
                   
                     x 
                     p 
                     
                       ( 
                       1 
                       ) 
                     
                   
                 
               
               + 
               
                 
                   z 
                   q 
                 
                 . 
               
             
           
         
       
     
     In the hypothesis where cell 0 and cell 1 have four cell-specific antenna ports and both transmit the PBCH within the current RE, then with P 0 ,P 1 ε{{0,2},{1,3}}, 
               y   q     =         ∑     p   ∈     P   0         ⁢       h     q   ,   p       (   0   )       ⁢     ϱ   0     ⁢     x   p     (   0   )           +       ∑     p   ∈     P   1         ⁢       h     q   ,   p       (   1   )       ⁢     ϱ   1     ⁢     x   p     (   1   )           +       z   q     .             
If, however, cell i transmits PBCH on ports P i ε{{0,2},{1,3}}, and cell 1−i transmits CRS on port p 1-i ε{0,1}, then
 
     
       
         
           
             
               y 
               q 
             
             = 
             
               
                 
                   ∑ 
                   
                     p 
                     ∈ 
                     
                       P 
                       i 
                     
                   
                 
                 ⁢ 
                 
                   
                     h 
                     
                       q 
                       , 
                       p 
                     
                     
                       ( 
                       i 
                       ) 
                     
                   
                   ⁢ 
                   
                     ϱ 
                     i 
                   
                   ⁢ 
                   
                     x 
                     p 
                     
                       ( 
                       i 
                       ) 
                     
                   
                 
               
               + 
               
                 h 
                 
                   q 
                   , 
                   
                     p 
                     
                       1 
                       - 
                       i 
                     
                   
                 
                 
                   ( 
                   
                     1 
                     - 
                     i 
                   
                   ) 
                 
               
               + 
               
                 
                   z 
                   q 
                 
                 . 
               
             
           
         
       
     
     It is envisioned that the above described joint detection methods and systems herein may be combined with successive interference cancellation to cover scenarios with more interfering cells than number of cells which can be jointly detected. A combined joint detection (JD)/successive cancelling (SC) method for PBCH reception that supports I cells, performs the following: (1) determines the strongest cell c 0  among the cells of interest, if there are any cells of interest; (2) determines the I 0 ε{0, . . . , I−1} strongest cells c 1 , . . . , c I     0    radio-frame synchronized with cell c 0 ; (3) jointly detects PBCH (covering all hypothesis) on cells c 0 , . . . , c I     0    in the subframe under consideration; (4) performs cancellation on cells any cells that do not pass a CRC, and revert to (1) in the method; and (5) continue at (3) in the method with next PBCH subframe. 
     It should be noted that the case I=1 is the special case of pure successive cancellation, whereas, in practice, I=2 is more realistic. It is envisioned that the methods and systems presented herein may also be applied to other colliding physical channels that use a single antenna port or transmit diversity transmission schemes, for example the LTE PDCCH interference suppression. 
     The present invention may be embodied in other specific forms without departing from its spirit or essential characteristics. The described embodiments are to be considered in all respects only as illustrative, not restrictive. The scope of the invention is, therefore, indicated by the appended claims rather than by the foregoing description. All changes that come within the meaning and range of equivalency of the claims are to be embraced within their scope.