# Patent

## Title
Multiuser detection method and device in DS-CDMA mode

## Abstract

A method and device for processing a received signal by detecting within the received signal a plurality of possible symbols transmitted by or for a plurality K of users, each of the plurality of possible symbols belonging to a modulation constellation and being the subject of a spectral spreading by a spreading sequence. The step of detecting includes substeps of: a) filtering the received signal by supplying a complex vector characteristic of the received signal and decomposing the complex vector into real and imaginary vectors; b) separately searching for a closest neighbor of the real vector and a closest neighbor of the imaginary vector within a respective real and imaginary lattice of points corresponding to the modulation constellation; and c) estimating the transmitted symbols from components of the closest neighbor of the real vector and the closest neighbor of the imaginary vector to produce a vector of estimated symbols.

## Background
TITLE OF THE INVENTION
Multi detection method and device in DS-CDMA mode
BACKGROUND OF THE INVENTION
1. Field of the Invention
The present invention concerns a multiuser detection method and device. More particularly, the present invention concerns a maximum likelihood multiuser detection method and device for a DS-CDMA (Direct Sequence Code Division Multiple Access) telecommunication system.
2. Description of the Related Art
In a DS-CDMA mobile telecommunication system, the separation of the communications coming from or going to the different users is achieved by multiplying each complex symbol of a user by a spreading sequence which is peculiar to him, also referred to for this reason as the user signature. The spreading frequency (chip rate) being greater than the frequency of the symbols, the signal transmitted by each user is distributed (or spread) in the space of the frequencies. The ratio between the band occupied by the spread signal and the band occupied by the information signal is referred to as the spreading factor. On reception, the separation of a given user is obtained by means of a filtering adapted to the corresponding signature. When the transmission channel has a plurality of propagation paths, the output of the adapted filtering contains as many correlation peaks. Each path of the channel can be modelled by a complex multiplicative coefficient and a delay. The signals being propagated along the different paths can be aligned and combined by means of complex coefficients which are conjugates of the path coefficients, thus effecting a filtering adapted to the transmission channel. In order to simplify the terminology, the general expression “filtering adapted to the user k” will encompass both the filtering operation adapted to the signature of the user k and the filtering operation adapted to the transmission channel.
To combat the interference between signals destined for (the downlink) or coming from (the uplink) the different users, multiuser detection methods have been proposed, and notably iterative detection methods such as those known as PIC (Parallel Interference Cancellation) and SIC (Serial Interference Cancellation). They are based on the iteration of an interference elimination cycle including the estimation of the symbols transmitted, the evaluation of the interferences and their subtraction from the signals received. Although of high performance, these methods are not optimal since they do not provide an estimation in the sense of the maximum likelihood of the symbols transmitted by the different users.
A method of multiuser detection with maximum likelihood inspired by the Viterbi algorithm was proposed by S. Verdu in an article entitled “Minimum probability of error for asynchronous Gaussian multiple access channels”, published in IEEE Transactions on Information Theory, pages 85-96, January 1986, but its complexity is prohibitive since it varies exponentially with the number of users.
More recently a method of multiuser detection with maximum likelihood using a representation by a lattice of points was proposed by L. Brunel et al., in an article entitled “Euclidian space lattice decoding for joint detection in CDMA system” published in Proceedings of ITW, page 129, June 1999. According to this method, a vector characteristic of the received signal representing a statistic sufficient for the maximum likelihood detection of the symbols transmitted by the different users is determined. It is shown under certain conditions that the characteristic vector can be represented as the point in a lattice disturbed by a noise. The detection then consists of seeking the point in the lattice closest to the point corresponding to the vector received. However, the dimension of the lattice to be used generally being 2.K or K where K is the number of users, the number of points to be tested is still very high. To simplify detection, it has been proposed to limit the search for the closest neighbour to the points in the lattice belonging to a sphere centred around the point received. This simplified detection method, referred to as the “method of detection by spheres”, will be disclosed below:
The context is a multiple access mobile telecommunication system with direct sequence spectrum spreading (DS-CDMA) comprising K users communicating synchronously with a base station.
Let dk(i) be the complex symbol sent by the user k at instant i. This symbol belongs to the modulation constellation Ak used by the user k, which will also be referred to as the alphabet of symbols of the user k.
Each user k transmits a block of N symbols with an amplitude of the signal ak. The symbols are spread by a complex signature skt)=skR(t)+j.skl(t) with a duration equal to the symbol period T:

sk(t)=0 if t∉└0,T└

The K complex symbols dk(i)=dkR(i)+j.dkl(i) transmitted at instant i are placed in a row vector of real values d2(i) defined as:

d2(i)=(d1R(i), . . . ,dKR(i),dKR(i), dKl(i))  (1)

Because of the synchronisation of the users, the corresponding modulated signal can be written, as a function of the time t:





  
    
      
        
          S
          i
        
        =
        
          
            ∑
            
              i
              =
              0
            
            
              N
              -
              1
            
          
          ⁢
          
            
              ∑
              
                k
                =
                1
              
              K
            
            ⁢
            
              
                a
                k
              
              ⁢
              
                
                  d
                  k
                
                ⁡
                
                  (
                  i
                  )
                
              
              ⁢
              
                
                  s
                  k
                
                ⁡
                
                  (
                  
                    t
                    -
                    
                      i
                      ⁢
                      
                        
                      
                      ⁢
                      T
                    
                  
                  )
                
              
            
          
        
      
    
    
      
        (
        2
        )
      
    
  




It is assumed that the channel is an ideal channel with white additive Gaussian noise. Let rl=St+ηt be the signal received at time t and ηt a complex Gaussian noise of zero mean whose components have a variance N0.

Let the row vectors be y(i)=(y1(i), . . . , yK(i)) and y2(i)=(y1R(i)y1l(i), . . . , yKR(i), ykl(i)) where yk(i)=ykR(i)+j.ykl(i) is the complex output at instant i of the filter adapted to the user k:





  
    
      
        
          
            
              
                
                  y
                  k
                
                ⁡
                
                  (
                  i
                  )
                
              
              ⁢
              
                =
                Δ
              
              ⁢
              
              ⁢
              
                
                  ∫
                  
                    -
                    ∞
                  
                  
                    +
                    ∞
                  
                
                ⁢
                
                  
                    
                      s
                      k
                      *
                    
                    ⁡
                    
                      (
                      
                        t
                        -
                        
                          i
                          ⁢
                          
                            
                          
                          ⁢
                          T
                        
                      
                      )
                    
                  
                  ⁢
                  n
                  ⁢
                  
                    d
                    t
                  
                
              
            
          
        
        
          
            
              =
               
              ⁢
              
                
                  
                    ∑
                    
                      l
                      =
                      1
                    
                    K
                  
                  ⁢
                  
                    
                      a
                      l
                    
                    ⁢
                    
                      
                        d
                        l
                      
                      ⁡
                      
                        (
                        i
                        )
                      
                    
                    ⁢
                    
                      
                        ∫
                        0
                        T
                      
                      ⁢
                      
                        
                          
                            s
                            l
                          
                          ⁡
                          
                            (
                            t
                            )
                          
                        
                        ⁢
                        
                          
                            s
                            k
                            *
                          
                          ⁡
                          
                            (
                            t
                            )
                          
                        
                        ⁢
                        
                          d
                          t
                        
                      
                    
                  
                
                +
                
                  
                    n
                    k
                  
                  ⁡
                  
                    (
                    i
                    )
                  
                
              
            
          
        
        
          
            
              =
               
              ⁢
              
                
                  
                    ∑
                    
                      l
                      =
                      1
                    
                    K
                  
                  ⁢
                  
                    
                      a
                      l
                    
                    ⁢
                    
                      
                        d
                        l
                      
                      ⁡
                      
                        (
                        i
                        )
                      
                    
                    ⁢
                    
                      R
                      lk
                    
                  
                
                +
                
                  
                    n
                    k
                  
                  ⁡
                  
                    (
                    i
                    )
                  
                
              
            
          
        
      
    
    
      
        (
        3
        )
      
    
  




with




  
    
      
        R
        lk
      
      =
      
        
          
            ∫
            0
            T
          
          ⁢
          
            
              
                s
                l
              
              ⁡
              
                (
                t
                )
              
            
            ⁢
            
              
                s
                k
                *
              
              ⁡
              
                (
                t
                )
              
            
            ⁢
            
              d
              t
            
          
        
        =
        
          
            R
            lk
            R
          
          +
          
            
              j
              ·
              
                R
                lk
                I
              
            
            ⁢
            
              
            
            ⁢
            for
            ⁢
            
              
                
              
              ⁢
              
                
              
            
            ⁢
            k
          
        
      
    
    ,
    
      l
      =
      1
    
    ,
    ...
    ⁢
    
      
    
    ,
    K
  




  and




  
    
      
        n
        k
      
      ⁡
      
        (
        i
        )
      
    
    =
    
      
        ∫
        0
        T
      
      ⁢
      
        
          
            η
            i
          
          ·
          
            
              s
              k
              *
            
            ⁡
            
              (
              
                t
                -
                
                  i
                  ·
                  T
                
              
              )
            
          
        
        ⁢
        
          d
          t
        
      
    
  



The autocorrelation matrix of the spreading sequences will be denoted R(i).

If the complex elements of (3) are decomposed into their real and imaginary parts, there is obtained:




  
    
      
        
          [
          
            
              
                y
                k
                R
              
              ⁡
              
                (
                i
                )
              
            
            +
            
              j
              ·
              
                
                  y
                  k
                  l
                
                ⁡
                
                  (
                  i
                  )
                
              
            
          
          ]
        
        =
        
          
            
              ∑
              
                l
                =
                1
              
              K
            
            ⁢
            
              
                a
                l
              
              ⁡
              
                [
                
                  
                    
                      
                        b
                        l
                        R
                      
                      ⁡
                      
                        (
                        i
                        )
                      
                    
                    ⁢
                    
                      R
                      lk
                      R
                    
                  
                  -
                  
                    
                      
                        b
                        l
                        I
                      
                      ⁡
                      
                        (
                        i
                        )
                      
                    
                    ⁢
                    
                      R
                      lk
                      I
                    
                  
                
                ]
              
            
          
          +
          
            j
            ·
            
              
                ∑
                
                  l
                  =
                  1
                
                K
              
              ⁢
              
                
                  a
                  l
                
                ⁡
                
                  [
                  
                    
                      
                        
                          b
                          l
                          R
                        
                        ⁡
                        
                          (
                          i
                          )
                        
                      
                      ⁢
                      
                        R
                        lk
                        I
                      
                    
                    +
                    
                      
                        
                          b
                          l
                          I
                        
                        ⁡
                        
                          (
                          i
                          )
                        
                      
                      ⁢
                      
                        R
                        lk
                        R
                      
                    
                  
                  ]
                
              
            
          
          +
          
            [
            
              
                
                  n
                  k
                  R
                
                ⁡
                
                  (
                  i
                  )
                
              
              +
              
                j
                ·
                
                  
                    n
                    k
                    I
                  
                  ⁡
                  
                    (
                    i
                    )
                  
                
              
            
            ]
          
        
      
    
    
      
        (
        4
        )
      
    
  




Let.2=Diag(a1, a1, . . . , aK, aK) and R2 be the matrix of size 2K×2K such that:





  
    
      
        
          R
          2
        
        =
        
          [
          
            
              
                
                  R
                  11
                  R
                
              
              
                
                  R
                  11
                  I
                
              
              
                ...
              
              
                
                  R
                  
                    1
                    ⁢
                    K
                  
                  R
                
              
              
                
                  R
                  
                    1
                    ⁢
                    K
                  
                  I
                
              
            
            
              
                
                  -
                  
                    R
                    11
                    I
                  
                
              
              
                
                  R
                  11
                  R
                
              
              
                ...
              
              
                
                  -
                  
                    R
                    
                      1
                      ⁢
                      K
                    
                    I
                  
                
              
              
                
                  R
                  
                    1
                    ⁢
                    K
                  
                  R
                
              
            
            
              
                ⋮
              
              
                ⋮
              
              
                
                  
                
              
              
                ⋮
              
              
                ⋮
              
            
            
              
                
                  R
                  K1
                  R
                
              
              
                
                  R
                  K1
                  I
                
              
              
                ...
              
              
                
                  R
                  KK
                  R
                
              
              
                
                  R
                  KK
                  I
                
              
            
            
              
                
                  -
                  
                    R
                    K1
                    I
                  
                
              
              
                
                  R
                  K1
                  R
                
              
              
                ...
              
              
                
                  -
                  
                    R
                    KK
                    I
                  
                
              
              
                
                  R
                  KK
                  R
                
              
            
          
          ]
        
      
    
    
      
        (
        5
        )
      
    
  




Equation (4) can then be put in matrix form:

y2(i)=d2(i)M2+n2(i)  (6)

where M2 is a real matrix of size 2K×2K defined by M2=A2R2 and where the noise vector n2(i)=(n1R(i), n1l(i), . . . , nKR(i), nKl(i)) has N0R2 as its covariance matrix.

It will be demonstrated below that y2(i), as given by equation (6), can be represented as a point in a lattice Λ2 of dimension 2.K, with a generator matrix M2 corrupted by a noise n2.
The term real lattice of points Λ of dimension κ will be used for any set of vectors of R. satisfying:

x=b1v1+b2v2+ . . . +b.v. where biεZ, ∀i=1, . . . , κ

and where {v1, v2, . . . , vκ} is a base on Rκ.

An example of a lattice of points of dimension 2 has been shown in FIG. 1.
The points in the lattice form an additive abelian sub-group of R., and it is also the smallest sub-group of Rκ containing the vectors {v1, v2, . . . , vκ} and a Z-modulus of Rκ. These base vectors form the rows of the generator matrix G for the lattice. It is therefore possible to write

x=bG where b=(b1, . . . bκ)εZκ.  (7)

The region delimited by the base vectors is referred to as the fundamental parallelotope and its volume, denoted vol(Λ) and det(Λ), is referred to as the fundamental volume. This fundamental volume is none other than the modulus of the vectorial product of the κ base vectors and is therefore equal to |det(G)| where det designates the determinant. Though there are several possible choices for the generator matrix for the same lattice, on the other hand there is only one value for the fundamental volume.
The Voronoi region V or Dirichlet cell of a point x belonging to the lattice is all the points of Rκ closer to x than any other point in the lattice. The volume of this region is equal to the fundamental volume.
The stacking radius ρ of the lattice is the radius of the largest sphere inscribed in the Voronoi region and the radius of coverage that of the smallest sphere circumscribed in this same region. The stacking radius is therefore the radius of the spheres whose stacking constitutes the lattice of points and the radius of coverage is that of the smallest spheres which, centred on the points in the lattice, make it possible to cover the entire space Rκ. The density of the lattice is the ratio between the volume of the sphere of radius ρ and the fundamental volume. Finally, the coefficient of error (the kissing number) τ(Λ) of the lattice is the number of spheres tangent to one and the same sphere in the stack or, in other words, the number of neighbors of a point in the lattice, situated at the minimum distance dEmin=2ρ.
Consider once again equation (6). The complex numbers dkR(i)+j.dkl(i) belong to a finite alphabet (or constellation) A of cardinal:




  
    
      
        
          Card
          ⁡
          
            (
            A
            )
          
        
        =
        
          
            ∏
            
              K
              =
              T
            
            K
          
          ⁢
          
            Card
            ⁡
            
              (
              
                A
                k
              
              )
            
          
        
      
    
    
      
        (
        8
        )
      
    
  




Assume for example that the components dkR(i) and dkl(i) are PAM modulation symbols of order M:

dkR(i)ε{−M+1, −M+3, . . . , M−3, M−1}  (9)

and

dkl(i)ε{−M+1, −M+3, . . . , M−3, M−1}  (10)

If the transformation is effected:





  
    
      
        
          
            
              d
              k
              
                ′
                ⁢
                
                  
                
                ⁢
                R
              
            
            ⁡
            
              (
              i
              )
            
          
          =
          
            
              1
              2
            
            ⁢
            
              (
              
                
                  
                    d
                    k
                    R
                  
                  ⁡
                  
                    (
                    i
                    )
                  
                
                +
                M
                -
                1
              
              )
            
          
        
        ⁢
        
          

        
        ⁢
        and
        ⁢
        
          

        
        ⁢
        
          
            
              d
              k
              
                ′
                ⁢
                
                  
                
                ⁢
                I
              
            
            ⁡
            
              (
              i
              )
            
          
          =
          
            
              1
              2
            
            ⁢
            
              (
              
                
                  
                    d
                    k
                    I
                  
                  ⁡
                  
                    (
                    i
                    )
                  
                
                +
                M
                -
                1
              
              )
            
          
        
        ⁢
        
          

        
        ⁢
        
          
            or
            ⁢
            
              
            
            ⁢
            again
            ⁢
            
              
            
            ⁢
            
              vectorially
              :
              
                

              
              ⁢
              
                
                  d
                  2
                  ′
                
                ⁡
                
                  (
                  i
                  )
                
              
            
          
          =
          
            
              1
              2
            
            ⁢
            
              (
              
                
                  
                    d
                    2
                  
                  ⁡
                  
                    (
                    i
                    )
                  
                
                +
                
                  v
                  M
                
              
              )
            
          
        
      
    
    
      
        (
        11
        )
      
    
  




where vM=(M−1, M−1, . . . , M−1) the components d′kR(i) and d′kl(i) are elements of Z and consequently d′2(i) is a vector of Z2K.

In general terms, if there exists an affine transformation transforming the components dkR(i) and dkl(i) into elements of Z, the vector d′2(i) can be represented by a vector of Z2K.
In a similar manner, the corresponding transformation is effected on y2(i), that is to say:




  
    
      
        
          
            y
            2
            ′
          
          ⁡
          
            (
            i
            )
          
        
        =
        
          
            1
            2
          
          ⁢
          
            (
            
              
                
                  y
                  2
                
                ⁡
                
                  (
                  i
                  )
                
              
              +
              
                
                  v
                  M
                
                ⁢
                
                  M
                  2
                
              
            
            )
          
        
      
    
    
      
        (
        12
        )
      
    
  




By means of this transformation, which is assumed to be implicit hereinafter, the vector d2(i)M2 then belongs to a lattice of points Λ2 of dimension 2.K as defined by equation (7) with G=M2. The vector y2(i) can then be considered to be a point in the lattice Λ2 corrupted by a noise n2(i).
If it is assumed that the components of the noise vector n2(i) are centred independent random Gaussian variables, the problem of detection in the sense of the maximum likelihood of the symbols transmitted by the different users amounts to a search for the point z2 in the lattice Λ2 such that its distance to y2(i) is at a minimum.
In reality, the components of the noise vector n2(i) are correlated and the covariance matrix of n2(i) is N0R2.
In order to boil down to the decorrelated case it is necessary, prior to the decoding, to effect an operation of whitening of the noise.
The matrix R being hermitian, the autocorrelation matrix R2 is symmetrical defined positive and can therefore be the subject of a Cholesky factorisation:

R2=W2W2T  (13)

where W2 is an inferior triangular matrix of size 2K×2K.

A whitened observation vector is defined:

{tilde over (y)}2(i)=y2(i)W2T−1  (14)

and a new lattice of points Ω2 consisting of vectors of components ({tilde over (x)}1R(i), {tilde over (x)}1l(i), . . . ,{tilde over (x)}KR(i), {tilde over (x)}Kl(i)) with {tilde over (x)}2(i)=x2(i)W2T−1 where x2(i) is a vector of components (x1R(i), x1l(i), . . . , xKR(i), xKl(i)) belonging to Λ2.

It can easily be shown that, after whitening, the covariance matrix of the filtered noise n2(i W2T−1 is equal to N0I2K where I2K is the identity matrix of dimension 2K. The detection therefore comprises a first step of whitening the observation vector followed by a step of seeking the closest neighbour within the lattice of points Ω2.
In order to reduce the number of points to be tested, as illustrated in FIG. 1, it is possible to limit the search to a sphere centred around the point {tilde over (y)}2. In practice, the choice of the radius of the sphere results from a compromise: it must not be too large in order not to lead to an excessively high number of points and sufficiently large to include at least the closest neighbour.
FIG. 2 depicts schematically a multiuser detection device using a method of detection by spheres. The received signal n is filtered by a battery of filters adapted to each of the users, 2101, . . . , 210K. The real and imaginary components of the observation vector y2(i) output from the adapted filters are transmitted to a matrix calculation unit performing the spectral whitening operation according to equation (14). The real and imaginary components of the whitened vector {tilde over (y)}2(i) are then transmitted to a unit for detection by spheres seeking the closest neighbour of the point received within the lattice Ω2 of dimension 2.K. The coordinates of the closest neighbour directly give the real and imaginary components of the estimated symbols {circumflex over (d)}k(i) for the different users.
It can be shown that the method of detection by spheres as disclosed above has a complexity in terms of O(K6) which may prove very disadvantageous when the number of users is high.
SUMMARY OF THE INVENTION
The aim of the present invention is to propose, under certain conditions, a simplification of the method of detection by spheres.
For this purpose, the invention is defined by a method of detecting a plurality of symbols (dk(i)) transmitted by or for a plurality K of users, each symbol belonging to a modulation constellation and being the subject of a spectral spreading by a spreading sequence, the said method comprising a filtering step adapted for supplying a complex vector (y(i), {tilde over (y)}(i)) characteristic of the said received signal1, the said complex vector being decomposed into a first vector (yR(i), {tilde over (y)}R(i)) and a second vector (yl(i), {tilde over (y)}l(i)) and at least the closest neighbors of the first and second vectors being sought within a lattice of points (Λ, Ω) generated by the said modulation constellations, the transmitted symbols being estimated from the components of the said closest neighbors.
Advantageously, the spreading sequences (Sk(t)) consist of real multiples (Sk0(t)) of the same complex coefficient (σ).
According to one embodiment of the invention, the search is limited to a first set of points in the lattice belonging to a first predetermined zone (ΣR) around the first vector and a second set of points in the lattice belonging to a second predetermined zone (ΣI) around the second vector.
Likewise the search can be limited to a first set of points in the lattice belonging to a first predetermined zone (ΣR) around the origin and a second set of points in the lattice belonging to a second predetermined zone (ΣI) around the origin.
The said first and second predetermined zones are for example spheres.
Advantageously, the search for the closest neighbour of the first vector is carried out on a plurality of components of the latter, the search being limited for each of the said components to an interval defined by a lower band and an upper band, the said bands being chosen so that the said interval does not comprise any points relating to symbols which cannot belong to the modulation constellation.
Likewise the search for the closest neighbour of the second vector can be carried out on a plurality of components of the latter, the search being limited for each of the said components to an interval defined by a lower bound and an upper bound, the said bounds being chosen so that the said interval does not comprise any points relating to symbols which cannot belong to the modulation constellation.
Prior to the search for the closest neighbour, the first vector (YR(i)) is advantageously subjected to a matrix processing aimed at substantially decorrelating the different noise components thereof.
Likewise, prior to the search for the closest neighbour, the second vector (yl(i)) can be subjected to a matrix processing aimed at substantially decorrelating the different noise components thereof.
According to a variant embodiment of the invention, the said search step is extended to a search for a first set of points which are closest neighbors of the said first vector, referred to as first neighbors, and to a second set of points which are closest neighbors of the said second vector, referred to as second neighbors, and the transmitted symbols are estimated flexibly from the symbols generating the said first and second neighbors and distances separating the said first neighbors of said first vector on the one hand and the said second neighbors of the said second vector on the other hand.
According to a particular embodiment of the invention, there are determined, from the estimated symbols, the contributions of each user to the signals obtained by the adapted filtering step and, for a given user k, the contributions of the other users corresponding to the symbols already estimated are eliminated at the output of the filtering step. Alternatively, the contributions of each user to the signal received from the estimated symbols are determined and, for a given user k, the contributions of the other users corresponding to the symbols already estimated are eliminated at the input of the adapted filtering stage.
If the symbols of the said K users are transmitted synchronously, the said lattice of points will preferably be of dimension K
If the symbols of the said K users are transmitted asynchronously and propagate along a plurality of paths, the dimension of the lattice will preferably be equal to the number of symbols of the different users which may interfere and are not yet estimated.
The present invention is also defined by a device for detecting a plurality of symbols (dk(i)) transmitted by or for a plurality K of users, each symbol belonging to a modulation constellation and being the subject of a spectral spreading by means of a spreading sequence, the device comprising means for implementing the method disclosed above.
This device can in particular be used in a receiver in a DS-CDMA mobile telecommunications system.



BRIEF DESCRIPTION OF THE DRAWINGS
The characteristics of the invention mentioned above, as well as others, will emerge more clearly from a reading of the following description given in relation to the accompanying figures, amongst which:
FIG. 1 depicts a lattice of points useful to the detection method employed in the receiver illustrated in FIG. 2;
FIG. 2 depicts schematically the structure of a multiuser DS-CDMA receiver using a method of detection by spheres;
FIG. 3 depicts schematically the structure of a multiuser detection device according to a first embodiment of the invention;
FIG. 4 depicts schematically the structure of a multiuser detection device according to a second embodiment of the invention.
FIG. 5 is a flowchart corresponding to a method according to an embodiment of the invention.



DETAILED DESCRIPTION OF THE INVENTION
The idea at the basis of the invention is to reduce the dimension of the lattice of points using spreading sequences of a particular type for the different users.
Consider once again a DS-CDMA telecommunication system with K synchronous users. If spreading sequences sk(t) with real values are chosen, the imaginary terms of the matrix R2 and consequently of the matrix M2(i) are zero. Consequently, the system can be modelled by a lattice of real points Λ of dimension K and generator matrix M(i):

yR(i)=dR(i)M(i)+nR(i)  (15)

yl(i)=dl(i)M(i)+nl(i)  (16)

where

    
    
        yR(i), dR(i), nR(i) (or respectively yl(i), dl(i), nl(i)) are the vectors consisting of the real parts (or respectively of the imaginary parts) of the components of y(i), d(i), n(i);
        M(i)=AR(i) where R(i) is the matrix consisting of the coefficients
    
    






  
    R
    
      l
      ⁢
      
        
      
      ⁢
      k
    
  
  =
  
    
      ∫
      0
      T
    
    ⁢
    
      
        
          s
          l
        
        ⁢
        
          (
          t
          )
        
      
      ⁢
      
        
          s
          k
        
        ⁢
        
          (
          t
          )
        
      
      ⁢
      
        d
        t
      
    
  




    
    
         and A is the vector of the amplitudes of the K users.
    
    


The observation vectors yR(i) and yl(i) belong to RK. After any transformation according to an equation of the same type as (12), the vectors yR(i) and yl(i) can be considered to be points in a lattice Λ of generator matrix M(i) corrupted by noise.
It can easily be shown that the noise vectors nR(i) and nl(i) both have the covariance matrix N0.R(i). R being a symmetrical matrix defined positive, it can be factorised according to a Cholesky decomposition: R=WWT where W is an inferior triangular real matrix of size K×K. In order to decorrelate the noise components, the real observation vectors yR(i) and yl(i) are first of all subjected to a whitening operation:

{tilde over (y)}R(i)=yR(i)WT−1  (17)

{tilde over (y)}l(i)=yl(i)WT−1  (18)

Secondly, the closest neighbors of the vectors {tilde over (y)}R(i) and {tilde over (y)}l(i) belonging to the lattice of points Ω consisting of the vectors {tilde over (x)}(i)×x(i)WT−1 where x(i) belongs to Λ, are sought. It can easily be shown that, after whitening, the covariance matrices of the filtered noises nR(i)WT−1 and nl(i)WT−1 are both equal to N0IK where IK is the identity matrix of dimension K.
It can therefore be seen that using real signatures leads to a search for two closer neighbors in the same lattice of dimension K whilst in the general case, which is complex, the decoding requires a search in a lattice of dimension 2K. In fact it can easily be shown that the above result extends to any set of signatures carried by the same complex number, that is to say such that:




  
    
      s
      k
    
    ⁢
    
      (
      t
      )
    
  
  =
  
    σ
    ·
    
      
        s
        k
        0
      
      ⁢
      
        (
        t
        )
      
    
  




where σ is a complex number and





  
    s
    k
    0
  
  ⁢
  
    (
    t
    )
  




is real. This will of course in particular be the case if all the signatures are imaginary.

Since the search for the closest neighbour for the vector {tilde over (y)}l(i) takes place according to the same principle as for {tilde over (y)}R(i), only the first will be disclosed. This search consists of determining the point x minimizing the metric:




  
    
      
        
          m
          ⁡
          
            (
            
              
                
                  y
                  ~
                
                R
              
              /
              x
            
            )
          
        
        =
        
          
            
              ∑
              
                i
                =
                1
              
              K
            
            ⁢
            
              
                
                
                  
                    
                      y
                      ~
                    
                    1
                    R
                  
                  -
                  
                    x
                    i
                  
                
                
              
              2
            
          
          =
          
            
              
              
                
                  
                    y
                    ~
                  
                  R
                
                -
                x
              
              
            
            2
          
        
      
    
    
      
        (
        19
        )
      
    
  




where {tilde over (y)}R=x+nR and x=(x1, . . , xκ) is a point belonging to the lattice Ω.

Alternatively, it will be noted that the vector yR(i) does not need to be whitened if a metric is used based on the covariance matrix:

m(yR/x)=(yR−x)R−1(yR−x)T  (20)

Hereinafter, for reasons of simplification, the observation vector, whitened ({tilde over (y)}R(i)) or not (yR(i)), will be termed z and the metric acting in equation (19) or (20) will be termed ∥.∥.
The points in the lattice Ω consist of the vectors x such that x=bG where G is the generator matrix for the lattice and b=(b1, . . . , bκ), the components b1 belong to the ring of integers Z.
The detector advantageously restricts its metric calculation to the points which are situated within a zone of the constellation situated around the received point, preferably within a sphere of given radius √{square root over (C)} centred on the received point z. Only the points in the lattice situated at a quadratic distance less than C from the received point are therefore considered for the minimization of the metric.
In practice, the decoder effects the following minimization:




  
    
      
        
          
            min
            
              x
              ∈
              Ω
            
          
          ⁢
          
            ||
            
              z
              -
              x
            
            ||
          
        
        =
        
          
            min
            
              w
              ∈
              
                z
                -
                Ω
              
            
          
          ⁢
          
            ||
            w
            ||
          
        
      
    
    
      
        (
        21
        )
      
    
  




To do this, the decoder seeks the smallest vector w in the translated set z−. The vectors z and w can be expressed as:

z=.G with .=(ρ1, . . . , ρκ)

w=.G with .=(ξ1, . . . , ξκ(22)

It is important to note that ρ and ξ are real vectors. As w=z−x, where x belongs to the lattice Ω, this gives the equation ξi=ρi−bi for i=1, . . . , κ with




  w
  =
  
    
      ∑
      
        i
        =
        1
      
      κ
    
    ⁢
    
      
        ξ
        i
      
      ⁢
      
        
          v
          i
        
        .
      
    
  




The vector w is a point in the lattice whose coordinates ξi are expressed in the translated reference frame centred on the received point. The vector w belongs to a sphere of quadratic radius C centred at 0 if:

∥w∥2=Q(ξ)=ξGGTξT≦C  (23)

In the new system of coordinates defined by ξ, the sphere of quadratic radius C centred at y is therefore transformed into an ellipsoid centred on the origin. The Cholesky factorisation of the Gram matrix Γ=GGT gives Γ=.T, where Δ is an inferior triangular matrix of elements δij.
It should be noted that, if the vector y has been whitened, it is not necessary to effect this factorisation since the generator matrix of Ω is equal to AW and is therefore already triangular and inferior. However, where prior whitening has not been carried out, Cholesky decomposition is necessary. In all cases, it is possible to write:




  
    
      
        
          Q
          ⁡
          
            (
            ξ
            )
          
        
        =
        
          
            ξ
            ⁢
            
              
            
            ⁢
            ...
            ⁢
            
              
            
            ⁢
            
              ξ
              
              T
              
                
                T
            
          
          =
          
            
              ||
              
                •
                ⁢
                
                  ξ
                  
                  T
                  
                    
                    T
                
              
              ⁢
              
                ||
                2
              
            
            =
            
              
                
                  ∑
                  
                    i
                    =
                    1
                  
                  κ
                
                ⁢
                
                  
                    (
                    
                      
                        
                          δ
                          ii
                        
                        ⁢
                        
                          ξ
                          i
                        
                      
                      +
                      
                        
                          ∑
                          
                            j
                            =
                            
                              i
                              +
                              1
                            
                          
                          κ
                        
                        ⁢
                        
                          
                            δ
                            ji
                          
                          ⁢
                          
                            ξ
                            j
                          
                        
                      
                    
                    )
                  
                  2
                
              
              ≤
              C
            
          
        
      
    
    
      
        (
        24
        )
      
    
  




By putting

qii=.ij2 for i=1, . . . ,.





  
    
      q
      ij
    
    =
    
      
        
          
            •
            ij
          
          
            •
            jj
          
        
        ⁢
        
          
        
        ⁢
        for
        ⁢
        
          
        
        ⁢
        j
      
      =
      1
    
  
  ,
  ...
  ⁢
  
    
  
  ,
  
    .
    
      
    
    ⁢
    
      ;
      
        
      
      ⁢
      
        i
        =
        
          j
          +
          1
        
      
    
  
  ,
  ...
  ⁢
  
    
  
  ,
  .




there is obtained





  
    
      
        
          Q
          ⁡
          
            (
            ξ
            )
          
        
        =
        
          
            ∑
            
              i
              =
              1
            
            κ
          
          ⁢
          
            
              
                q
                ii
              
              ⁡
              
                (
                
                  
                    ξ
                    i
                  
                  +
                  
                    
                      ∑
                      
                        j
                        =
                        
                          i
                          +
                          1
                        
                      
                      κ
                    
                    ⁢
                    
                      
                        q
                        ji
                      
                      ⁢
                      
                        ξ
                        j
                      
                    
                  
                
                )
              
            
            2
          
        
      
    
    
      
        (
        25
        )
      
    
  




By taking first of all the range of possible variations of ξκ, and then adding the components one by one, the following K inequalities are obtained, which define all the points within the ellipse:




  
    
      
        
          
            
              q
              κκ
            
            ⁢
            
              ξ
              κ
              2
            
          
          ≤
          C
        
        ⁢
        
          

        
        ⁢
        
          
            
              
                
                  q
                  
                    
                      κ
                      -
                      1
                    
                    ,
                    
                      κ
                      -
                      1
                    
                  
                
                ⁡
                
                  (
                  
                    
                      ξ
                      
                        κ
                        -
                        1
                      
                    
                    +
                    
                      
                        q
                        
                          κ
                          ,
                          
                            κ
                            -
                            1
                          
                        
                      
                      ⁢
                      
                        ξ
                        κ
                      
                    
                  
                  )
                
              
              2
            
            +
            
              
                q
                κκ
              
              ⁢
              
                ξ
                κ
                2
              
            
          
          ≤
          C
        
        ⁢
        
          

        
        ⁢
        
          
            ∀
            
              l
              ∈
              
                {
                
                  1
                  ;
                  κ
                
                }
              
            
          
          ,
          
            
              
                ∑
                
                  i
                  =
                  l
                
                κ
              
              ⁢
              
                
                  
                    q
                    ii
                  
                  ⁡
                  
                    (
                    
                      
                        ξ
                        i
                      
                      +
                      
                        
                          ∑
                          
                            j
                            =
                            
                              i
                              +
                              1
                            
                          
                          κ
                        
                        ⁢
                        
                          
                            q
                            ji
                          
                          ⁢
                          
                            ξ
                            j
                          
                        
                      
                    
                    )
                  
                
                2
              
            
            ≤
            C
          
        
      
    
    
      
        (
        26
        )
      
    
  




It can be shown that the inequalities (26) make it necessary for the integer components of b to satisfy:





  
    
      
        
          
        
        ⁢
        
          
            
              ⌈
              
                
                  -
                  
                    
                      C
                      
                        q
                        KK
                      
                    
                  
                
                +
                
                  ρ
                  K
                
              
              ⌉
            
            ≤
            
              b
              K
            
            ≤
            
              ⌊
              
                
                  
                    C
                    
                      q
                      KK
                    
                  
                
                +
                
                  ρ
                  K
                
              
              ⌋
            
          
          ⁢
          
            

          
          ⁢
          
            
              ⌈
              
                
                  -
                  
                    
                      
                        C
                        -
                        
                          
                            q
                            KK
                          
                          ⁢
                          
                            ξ
                            K
                            2
                          
                        
                      
                      
                        q
                        
                          
                            K
                            -
                            1
                          
                          ,
                          
                            K
                            -
                            1
                          
                        
                      
                    
                  
                
                +
                
                  ρ
                  
                    K
                    -
                    1
                  
                
                +
                
                  
                    q
                    
                      K
                      ,
                      
                        K
                        -
                        1
                      
                    
                  
                  ⁢
                  
                    ξ
                    K
                  
                
              
              ⌉
            
            ≤
            
              b
              
                K
                -
                1
              
            
            ≤
            
              ⌊
              
                
                  -
                  
                    
                      
                        C
                        -
                        
                          
                            q
                            KK
                          
                          ⁢
                          
                            ξ
                            K
                            2
                          
                        
                      
                      
                        q
                        
                          
                            K
                            -
                            1
                          
                          ,
                          
                            K
                            -
                            1
                          
                        
                      
                    
                  
                
                +
                
                  ρ
                  
                    K
                    -
                    1
                  
                
                +
                
                  
                    q
                    
                      K
                      ,
                      
                        K
                        -
                        1
                      
                    
                  
                  ⁢
                  
                    ξ
                    K
                  
                
              
              ⌋
            
          
          ⁢
          
            

          
          ⁢
          
            
          
          ⁢
          
            
              ⌈
              
                
                  -
                  
                    
                      
                        1
                        
                          q
                          ii
                        
                      
                      ⁢
                      
                        (
                        
                          C
                          -
                          
                            
                              ∑
                              
                                l
                                =
                                
                                  i
                                  +
                                  1
                                
                              
                              K
                            
                            ⁢
                            
                              
                                
                                  q
                                  ll
                                
                                ⁡
                                
                                  (
                                  
                                    
                                      ξ
                                      l
                                    
                                    +
                                    
                                      
                                        ∑
                                        
                                          j
                                          =
                                          
                                            l
                                            +
                                            1
                                          
                                        
                                        K
                                      
                                      ⁢
                                      
                                        
                                          q
                                          jl
                                        
                                        ⁢
                                        
                                          ξ
                                          j
                                        
                                      
                                    
                                  
                                  )
                                
                              
                              2
                            
                          
                        
                        )
                      
                    
                  
                
                +
                
                  ρ
                  i
                
                +
                
                  
                    ∑
                    
                      j
                      =
                      
                        i
                        +
                        1
                      
                    
                    K
                  
                  ⁢
                  
                    
                      q
                      ji
                    
                    ⁢
                    
                      ξ
                      j
                    
                  
                
              
              ⌉
            
            ≤
            
              b
              i
            
          
          ⁢
          
            

          
          ⁢
          
            
          
          ⁢
          
            
              b
              i
            
            ≤
            
              ⌊
              
                
                  
                    
                      1
                      
                        q
                        ii
                      
                    
                    ⁢
                    
                      (
                      
                        C
                        -
                        
                          
                            ∑
                            
                              l
                              =
                              
                                i
                                +
                                1
                              
                            
                            K
                          
                          ⁢
                          
                            
                              
                                q
                                ll
                              
                              ⁡
                              
                                (
                                
                                  
                                    ξ
                                    l
                                  
                                  +
                                  
                                    
                                      ∑
                                      
                                        j
                                        =
                                        
                                          l
                                          +
                                          1
                                        
                                      
                                      K
                                    
                                    ⁢
                                    
                                      
                                        q
                                        jl
                                      
                                      ⁢
                                      
                                        ξ
                                        j
                                      
                                    
                                  
                                
                                )
                              
                            
                            2
                          
                        
                      
                      )
                    
                  
                
                +
                
                  ρ
                  i
                
                +
                
                  
                    ∑
                    
                      j
                      =
                      
                        i
                        +
                        1
                      
                    
                    K
                  
                  ⁢
                  
                    
                      q
                      ji
                    
                    ⁢
                    
                      ξ
                      j
                    
                  
                
              
              ⌋
            
          
        
      
    
    
      
        (
        27
        )
      
    
  




where ┌x┐ is the smallest integer greater than the real number x and └x┘ is the largest integer smaller than the real number x.

The decoder has K internal counters, namely one counter per dimension, each counter counting between a lower and upper bound as indicated in (27), given that each counter is associated with a particular pair of bounds. In practice these bounds can be updated recursively.
Advantageously, all the values of the vector b are listed for which the corresponding point in the lattice x=bG is situated within the quadratic distance C from the received point. The points in the lattice situated outside the sphere in question are not tested. Advantageously, for each component 1, . . . , K the upper and lower bounds of the search will be adjusted so as not to contain points which are certainly outside the constellation. Thus the counters do not waste any time in running over points which, in any event, are not solutions. For example, if all the users employ the same PAM modulation constellation of size M, the search bounds cannot leave the interval [0, M−1].
In addition, the search within the sphere can be considerably accelerated by updating the radius √{square root over (C)} with the last Euclidian norm calculated ∥w∥. Finally, there is selected, as the best point x, the one associated with the smallest norm ∥w∥.
So as to be sure that the decoder finds at least one point in the lattice, a search radius is advantageously chosen so as to be greater than the radius of coverage of the lattice. It can for example be taken so as to be equal to the upper Rogers bound:




  
    
      
        
          
            C
          
          K
        
        =
        
          
            (
            
              
                K
                ⁢
                
                  
                
                ⁢
                log
                ⁢
                
                  
                
                ⁢
                K
              
              +
              
                K
                ⁢
                
                  
                
                ⁢
                log
                ⁢
                
                  
                
                ⁢
                log
                ⁢
                
                  
                
                ⁢
                K
              
              +
              
                5
                ⁢
                K
              
            
            )
          
          ×
          
            
              |
              
                det
                ⁡
                
                  (
                  G
                  )
                
              
              |
            
            
              V
              K
            
          
        
      
    
    
      
        (
        28
        )
      
    
  




where VK is the volume of a sphere of unity radius in the real space.

FIG. 3 illustrates schematically a multiuser detection device according to a first embodiment of the invention. The received signal is first of all filtered by a battery of filters adapted to the different users, 3101, . . . , 310K. The observation vector output from the adapted filters is decomposed into a real observation vector yR(i)=(y1R(i), . . . , yKR(i)) and an imaginary observation vector yl(i)=(y1l(i), . . . , yKl(i)). After any transformation of the type at (12) (not shown), the vectors yR(i) and yl(i) undergo a spectral whitening at 320 and 321 in order to decorrelate the noise samples. The whitened vectors {tilde over (y)}R(i) and {tilde over (y)}l(i) are then the subject of a search for the closest neighbour as described above in the detectors by spheres 330 and 331. The point found by the detector 330 gives (by means if necessary of a transformation which is the reverse of that of (12)) the real components of the symbols estimated for the K users. Likewise, the detector 331 gives the imaginary components of these estimated symbols.
Instead of directly supplying symbols of the constellation, the receiver can be adapted to supply symbols in the form of flexible decisions. In this case, the search within the detection sphere is no longer limited to the closest neighbour but is extended to a plurality of the closest neighbors of the point relating to the received signal.
More precisely, let ξR and ξ1 be the spheres centred respectively around {tilde over (y)}R(i) and {tilde over (y)}l(i). There is associated, with any pair dm,m′(i)=(vm , vm′) of neighboring points belonging to (ξR, ξ1) such that the K components dkm,m′(i) belong to the modulation constellations of the users, an a posterior probability pm,m′, a probability that the vector dkm,m′(i) defined by this point has been sent, given the observation {tilde over (y)}(i). Let Θ be the set of these pairs. A flexible symbol of a user k is defined as the Mk-tuplet (π1, . . . , πMk) where Mk is the cardinal of the modulation constellation of the user k and where πj is the probability that the symbol sj has been sent. This gives:




  
    
      
        
          π
          j
        
        =
        
          
            p
            ⁡
            
              (
              
                
                  s
                  j
                
                /
                
                  y
                  ~
                
              
              )
            
          
          =
          
            
              ∑
              
                
                  (
                  
                    
                      v
                      m
                    
                    ,
                    
                      v
                      
                        m
                        ′
                      
                    
                  
                  )
                
                ∈
                
                  
                
                ⁢
                Θ
              
            
            ⁢
            
              
                p
                ⁡
                
                  (
                  
                    
                      s
                      j
                    
                    /
                    
                      d
                      k
                      
                        m
                        ,
                        
                          m
                          ′
                        
                      
                    
                  
                  )
                
              
              ·
              
                p
                
                  m
                  ,
                  
                    m
                    ′
                  
                
              
            
          
        
      
    
    
      
        (
        29
        )
      
    
  




The a posterior probabilities pm,m′can for example be expressed as a function of the distances λm and λm, separating the vectors {tilde over (y)}R(i) and {tilde over (y)}l(i) from vm and vm′.
Equation (2) presupposed that the signals of the different users were synchronous. When this assumption is not valid, the spread symbol of a user k at a given instant may interfere with two successive spread symbols of another user k′. If it is assumed that the scattering of the transmission delays τk of the different users is less than a symbol period T, the symbol of a user k sent at an instant i, dk(i), may interfere with the symbols dk′(i−1) and dk′(i+1) of a user k′. It can be assumed without loss of generality that 0≦τ1≦ . . . ≦τk≦ . . . . ≦τK≦T. After the symbols dk( i−1) for all the users k=1 . . . K are detected, the detection is commenced of the symbols relating to the instant i commencing with the earliest user (here the user 1) and finishing with the latest user (here the user K). The detection of dk(i) depends on three vectors: the vector dP=(d1(i), . . . , dk−1(i), dk(i−1), dk+1(i−1), . . . , dK(i−1)) relating to the symbols already detected, the vector dF=(d1(i+1), . . . , dk−1(i+1), dk(i), dk+1(i), . . . , dK(i)) relating to future symbols and the observation vector y(i). It can be shown that the complex observation vector can be written in the form of a past contribution and a future contribution:

y=dPARP+dFARF+n  (30)

where n is a noise vector of covariance matrix N0RF, and RP and RF are respectively the matrix of correlation of the signatures with the passed signatures and the matrix of correlation of the signatures with the future signatures.

When the signatures are of the real value type (or more generally are real multiples of the same complex number) equation (30) can be decomposed in the form of two equations involving only real vectors, in a similar manner to equations (15) and (16):

yR=dPRARP+dPRARF+nR  (31)

yl=dPlARP+dPlARF+nl  (32)

Instead of effecting the detection by spheres on the observation vectors yR and yl, this will operate on the vectors freed of any interference due to the passed symbols already estimated, namely: yR−{circumflex over (d)}PRARP and yl−{circumflex over (d)}PlARP.
Alternatively, instead of carrying out the subtractive elimination of the interference at the level of the observation vector, this elimination can be envisaged in an equivalent manner, upstream, on the spread of signals. The estimated symbols are respread spectrally and the contributions of the different users to the received signal are subtracted one by one, on the fly (as they are respread), at the input of the adapted filters. The inputs of the adapted filters will therefore receive the signals cleaned of the passed contributions, namely n−Ik(t) where:




  
    
      
        
          
            I
            k
          
          ⁡
          
            (
            t
            )
          
        
        =
        
          
            
              ∑
              
                
                  k
                  ′
                
                <
                k
              
            
            ⁢
            
              
                a
                
                  k
                  ′
                
              
              ⁢
              
                
                  
                    d
                    ^
                  
                  
                    k
                    ′
                  
                
                ⁡
                
                  (
                  i
                  )
                
              
              ⁢
              
                
                  s
                  
                    k
                    ′
                  
                
                ⁡
                
                  (
                  
                    t
                    -
                    iT
                    -
                    
                      τ
                      
                        k
                        ′
                      
                    
                  
                  )
                
              
            
          
          +
          
            
              ∑
              
                
                  k
                  ′
                
                >
                k
              
            
            ⁢
            
              
                a
                
                  k
                  ′
                
              
              ⁢
              
                
                  
                    d
                    ^
                  
                  
                    k
                    ′
                  
                
                ⁡
                
                  (
                  
                    i
                    -
                    1
                  
                  )
                
              
              ⁢
              
                
                  s
                  
                    k
                    ′
                  
                
                ⁡
                
                  (
                  
                    t
                    -
                    
                      
                        (
                        
                          i
                          -
                          1
                        
                        )
                      
                      ⁢
                      T
                    
                    -
                    
                      τ
                      
                        k
                        ′
                      
                    
                  
                  )
                
              
            
          
        
      
    
    
      
        (
        33
        )
      
    
  




The first right-hand term in equation (33) represents the contribution of the users which are in advance on the user k and for which consequently an estimation of the symbols {circumflex over (d)}k′(i) is already available. The second term represents the contributions of the users which are behind with respect to the user k: the contribution due to the symbols {circumflex over (d)}k′(i) can of course not be evaluated at the time when the symbol dk(i) is despread. On the other hand, the contribution due to the previous symbols dk′(i−1) can be evaluated since an estimation of the symbols {circumflex over (d)}k′(i−1) is already available.
It is important to note that, unlike the synchronous case where the step of detection by spheres estimated only all the symbols {circumflex over (d)}k(i), in the asynchronous case the symbols of the different users are estimated one after the other in their order of arrival.
FIG. 4 illustrates a second embodiment of the invention implementing a subtractive elimination of the interference for asynchronous users. To simplify the representation, only the detection branch concerning a user k has been illustrated. The sum Ik(t) symbolizes the sum of the contributions of the other users and is subtracted at 405k from the signal rt input from the adapted filter 410k. The detection by spheres for the user k starts at the instant when the symbol dk(i) is despread. It should be noted that, at this instant, the interfering symbols not yet estimated of the other users will have been subject only to a partial despreading (except of course if the interfering symbols are synchronous. The module 430k (or respectively 431k) operates on the components output from 420k (or respectively 421k). Alternatively the outputs of all the modules 430k (or respectively 431k) can be demultiplexed in order to be processed by a common module 440 working K times more rapidly. Unlike FIG. 3, here only the kth output of the modules 430k and 431k is used for supplying the estimated symbol {circumflex over (d)}k(i). The symbol {circumflex over (d)}k(i) is then respread and the contribution ak{circumflex over (d)}k(i)Sk(t−iT−τk)) of the user k is evaluated and then subtracted at the input of the adapted filters 410k′via Ik′(t).
If the transmission channels of the different users are of the multipath type, the problem of the elimination of interference is more complex since it is necessary to consider the interference between all the paths of all the users. The received signal can be written:




  
    
      
        n
        =
        
          
            
              ∑
              
                i
                =
                0
              
              
                N
                -
                1
              
            
            ⁢
            
              
                ∑
                
                  k
                  =
                  1
                
                K
              
              ⁢
              
                
                  ∑
                  
                    p
                    =
                    1
                  
                  
                    P
                    k
                  
                
                ⁢
                
                  
                    a
                    k
                  
                  ⁢
                  
                    c
                    
                      p
                      ⁢
                      
                        
                      
                      ⁢
                      k
                    
                  
                  ⁢
                  
                    
                      d
                      k
                    
                    ⁡
                    
                      (
                      i
                      )
                    
                  
                  ⁢
                  
                    
                      s
                      k
                    
                    ⁡
                    
                      (
                      
                        t
                        -
                        iT
                        -
                        
                          τ
                          
                            p
                            ⁢
                            
                              
                            
                            ⁢
                            k
                          
                        
                      
                      )
                    
                  
                
              
            
          
          +
          
            
              η
              
                p
                ⁢
                
                  
                
                ⁢
                k
              
            
            ⁡
            
              (
              t
              )
            
          
        
      
    
    
      
        (
        34
        )
      
    
  




where Pk is the number of parts of the transmission channel of the user k, τpk=τk+θpk is the total delay of the delay (τk) on transmission of the user k and the delay (θpk) of propagation along the path p of the channel k and cpk is the complex multiplicative factor associated with this path. It will be assumed once again that 0≦τ1≦ . . . ≦τk≦ . . . ≦ξK<T and that in addition the scattering of the paths is less than the symbol period: 0≦θpk<T . As a result 0≦τk<2T.

The adapted filters 410k then effect a filtering adapted to the signature of the user k and to the transmission channel k by MRC (Maximum Ratio Combining) of the signals of the different paths. More precisely, the filter 310k performs the following operation:




  
    
      
        
          
            y
            k
          
          ⁡
          
            (
            i
            )
          
        
        ⁢
        
          
            =
            △
          
          ⁢
          
            
              ∑
              
                p
                =
                1
              
              
                P
                λ
              
            
            ⁢
            
              
                
                  C
                  pk
                
                *
              
              ⁢
              
                
                  ∫
                  
                    -
                    ∞
                  
                  
                    +
                    ∞
                  
                
                ⁢
                
                  
                    
                      s
                      k
                      *
                    
                    ⁡
                    
                      (
                      
                        t
                        -
                        iT
                        -
                        
                          τ
                          pk
                        
                      
                      )
                    
                  
                  ⁢
                  n
                  ⁢
                  
                    d
                    t
                  
                
              
            
          
        
      
    
    
      
        (
        35
        )
      
    
  




Because of the scattering of the delays, the duration to be taken into account for the interference between users is 2T and the symbol of a user can interfere with two consecutive symbols, not yet estimated, of another user. The conjoint detection then relates to all the interfering symbols which have not yet been estimated, the estimated interfering symbols for their part being used for the subtractive elimination. The complexity of the detector by spheres is higher than in the single-path asynchronous case since the dimension of the lattice to be taken into account is 2K-1 instead of K.
FIG. 5 is a flow chart of an embodiment of the present invention. In step 501 a received signal rt and an already estimated signal received in step 5011 are subtracted. The subtracted signal is despread in step 502 of the filtering process 5010. The despread signal is decomposed into real and imaginary vectors in step 503. The real and imaginary vectors are matrix processed in step 504 to decorrelate different noise components. A symbol estimated in step 508 is subtracted from the matrix processed real and imaginary signals in steps 505 and 506. Either a hard or soft detection process is applied to the resulting real and imaginary symbols in step 507. If a hard detection is used in step 507, the process includes searching for the closest neighbor in zone ΣR/ΣI. The search is restricted to symbols belonging to the modulation constellation. Estimated symbols corresponding to real and imaginary parts of the components of the closest neighbor are obtained. If a soft detection process is used in step 507, a set of the closest neighbors in zone ΣR/ΣI is enumerated. The search is restricted to symbols belonging to the modulation constellation. Estimated soft values are derived from components of neighbors, distances between neighbors and corresponding real/imaginary vectors. The hard or soft detection of step 507 results in an estimated vector.
Finally, it should also be noted that the estimation of the interfering contributions in the single-path or multi-path asynchronous case may be effected either from constellation symbols (hard decisions) or from the flexible symbols of the different users.
Although certain embodiments of the invention have been depicted in the form of functional modules, it is clear that the device according to the invention can be produced in the form of a processor programmed for executing the different functions depicted or in the form of a plurality of dedicated processors able to implement one or more of these functions.

## Claims

1. A method of processing a received signal, comprising:
detecting within said received signal a plurality of possible symbols (dk(i)) transmitted by or for a plurality K of users, each of the plurality of possible symbols belonging to a modulation constellation and being the subject of a spectral spreading by a spreading sequence (sk(t)), said step of detecting comprising substeps of:
filtering said received signal, said filtering step adapted for supplying a complex vector characteristic of said received signal, and including decomposing said complex vector into a real vector (yR(i)) and an imaginary vector (yI(i));
searching separately for at least a closest neighbor of the real vector and a closest neighbor of the imaginary vector within a respective real and imaginary lattice of points (Λ, Ω) corresponding to said modulation constellation; and
estimating the transmitted symbols from components of said closest neighbor of the real vector and the closest neighbor of the imaginary vector so as to produce a vector of estimated symbols,
wherein the step of searching is limited to a first set of points in the real lattice belonging to a first predetermined zone (ΣR) around the real vector and a second set of points in the imaginary lattice belonging to a second predetermined zone (ΣI) around the imaginary vector.

2. The method according to claim 1, wherein the spreading sequence (sk(t)) consist of real multiples (sk0(t)) of a corresponding complex coefficient (σ).

3. The method according to claim 1, wherein said first and second predetermined zones (ΣR and ΣI) are spheres of probability.

4. The method according to claim 1, wherein, prior to the search for the closest neighbor of the real vector, the real vector (yR(i)) is subjected to a matrix processing to substantially decorrelate different noise components thereof.

5. The method according to claim 1, wherein, prior to the search for the closest neighbor of the imaginary vector, the imaginary vector (yI(i)) is subjected to a matrix processing to substantially decorrelate different noise components thereof.

6. The method according to claim 1, wherein contributions of each user to the received signal obtained by the filtering step are determined from the estimated symbol and in that, for a given user k, contributions of other users to the received signal corresponding to transmitted symbols already estimated are eliminated after the filtering step.

7. The method according to claim 1, wherein contributions of each user to the received signal are determined from the estimated symbol and in that, for a given user k, contributions of other users to the received signal corresponding to transmitted symbols already estimated are eliminated before the filtering step.

8. The method according to claim 1, wherein, the symbols of said K users are transmitted synchronously, and said lattice of points is of dimension K.

9. The method according to claim 6, wherein, the symbols of said K users are transmitted asynchronously and propagated along a plurality of paths, and a dimension of the lattice is equal to a number of symbols of the different users which are mathematically possible interfering symbols and are not yet estimated.

10. A method of processing a received signal, comprising:
detecting within said received signal a plurality of possible symbols (dk(i)) transmitted by or for a plurality K of users, each of the plurality of possible symbols belonging to a modulation constellation and being the subject of a spectral spreading by a spreading sequence (sk(t)), said step of detecting comprising substeps of:
filtering said received signal, said filtering step adapted for supplying a complex vector characteristic of said received signal, and including decomposing said complex vector into a real vector (yR(i)) and an imaginary vector (yI(i));
searching separately for at least a closest neighbor of the real vector and a closest neighbor of the imaginary vector within a respective real and imaginary lattice of points (Λ, Ω) corresponding to said modulation constellation; and
estimating the transmitted symbols from components of said closest neighbor of the real vector and the closest neighbor of the imaginary vector so as to produce a vector of estimated symbols,
wherein the step of searching is limited to a first set of points in the real lattice belonging to a first predetermined zone (ΣR) around the origin and a second set of points in the imaginary lattice belonging to a second predetermined zone (ΣI) around the origin.

11. A method of processing a received signal, comprising:
detecting within said received signal a plurality of possible symbols (dk(i)) transmitted by or for a plurality K of users, each of the plurality of possible symbols belonging to a modulation constellation and being the subject of a spectral spreading by a spreading sequence (sk(t)), said step of detecting comprising substeps of:
filtering said received signal, said filtering step adapted for supplying a complex vector characteristic of said received signal, and including decomposing said complex vector into a real vector (yR(i)) and an imaginary vector (yI(i));
searching separately for at least a closest neighbor of the real vector and a closest neighbor of the imaginary vector within a respective real and imaginary lattice of points (Λ, Ω) corresponding to said modulation constellation; and
estimating the transmitted symbols from components of said closest neighbor of the real vector and the closest neighbor of the imaginary vector so as to produce a vector of estimated symbols,
wherein the step of searching closest neighbor of the real vector includes searching a plurality of components thereof, the searching of the plurality of components being limited for each of said components to an interval defined for a lower bound and an upper bound, said upper and lower bounds being chosen so that said interval excludes points relating to symbols which mathematically cannot belong to the modulation constellation.

12. A method of processing a received signal, comprising:
detecting within said received signal a plurality of possible symbols (dk(i)) transmitted by or for a plurality K of users, each of the plurality of possible symbols belonging to a modulation constellation and being the subject of a spectral spreading by a spreading sequence (sk(t)), said step of detecting comprising substeps of:
filtering said received signal, said filtering step adapted for supplying a complex vector characteristic of said received signal, and including decomposing said complex vector into a real vector (yR(i)) and an imaginary vector (yI(i));
searching separately for at least a closest neighbor of the real vector and a closest neighbor of the imaginary vector within a respective real and imaginary lattice of points (Λ, Ω) corresponding to said modulation constellation; and
estimating the transmitted symbols from components of said closest neighbor of the real vector and the closest neighbor of the imaginary vector so as to produce a vector of estimated symbols,
wherein the step of searching for the closest neighbor of the imaginary vector includes searching a plurality of components thereof, the searching a plurality of components being limited for each of said components to an interval defined for a lower bound and an upper bound, said upper and lower bounds being chosen so that said interval excludes points relating to symbols which mathematically cannot belong to the modulation constellation.

13. A method of processing a received signal, comprising:
detecting within said received signal a plurality of possible symbols (dk(i)) transmitted by or for a plurality K of users, each of the plurality of possible symbols belonging to a modulation constellation and being the subject of a spectral spreading by a spreading sequence (sk(t)), said step of detecting comprising substeps of:
filtering said received signal, said filtering step adapted for supplying a complex vector characteristic of said received signal, and including decomposing said complex vector into a real vector (yR(i)) and an imaginary vector (yI(i));
searching separately for at least a closest neighbor of the real vector and a closest neighbor of the imaginary vector within a respective real and imaginary lattice of points (Λ, Ω) corresponding to said modulation constellation; and
estimating the transmitted symbols from components of said closest neighbor of the real vector and the closest neighbor of the imaginary vector so as to produce a vector of estimated symbols,
wherein said step of searching includes searching for a first set of points which are closest to said real vector and searching for a second set of points which are closest to said imaginary vector and in that the transmitted symbols are estimated via a soft detection from symbols corresponding to said first and second sets, and a first set of distances separating points of said first set from said real vector and a second distance set of distances separating points of said second set from said imaginary vector.

14. A communication device, comprising:
a processor configured to implement the method recited in any one of claims 2-9.

15. A receiver for a DS-CDMA mobile telecommunication system comprising the communication device recited in claim 14.