31
Clément Dudal – Séminaire 25/11/10 1 Sphere Decoding Application to a MC-CSK system

Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

  • Upload
    others

  • View
    4

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

1

Sphere Decoding

Application to a MC-CSK system

Page 2: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

2

Sphere Decoding

Mathematical approachMinimization of a cost function f(x1, . . . , xK) with respect to its K arguments taking value in a discrete set of cardinality L

Digital communications approachMinimization of the distance between the received symbol and the possible transmitted symbols in order to recover the information in a multi-user system

2

Page 3: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

3

Sphere Decoding Computation of the distance based on the optimum

Maximum Likelihood operator absolute minimum

Smart hypotheses leading to a smaller complexity than classic ML algorithm

Main idea: searching over the noiseless possible received signals that lie within a hypersphere of radius R around the actual received signal

Multi-user detection

Page 4: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

4

Principle of Sphere Decoding

The distance is seen as a sum of nonnegative functions with an increasing number of arguments

d = f(x1, . . . , xK) = h(xK) + h(xK,xK-1) +…+ h(xK,…,x1)

Graphically, the process is a (K)-level tree graph with one uppermost node (level K) and LK-1 leaves (level 1)

Each branch corresponds to an intermediate distance

4

Page 5: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

5

Graphical approach

5

Page 6: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

6

Algorithm

2 stages Initialization Pruning

6

Page 7: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

7

Other methods

Sum of the K values gives a first minimum of the function, the starting radius μ0

Algorithm

2 stages Initialization

7

At level K smallest intermediate value leads to L next nodes at level K-1.

At level K-1 smallest value among the L nodes and so on until the level 1.

Page 8: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

8

Algorithm

2 stages Pruning

8

Exploration of the other branches

Each branch which will certainly give a higher μ0 is pruning out

If a leaf is reached with a smaller sum than μ0, μ0 is updated with that new value

The process continues until all branches have been explored or pruned out

Page 9: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

9

Exemple: K=2, L=4

Initialization

9

Page 10: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

10

Exemple: K=2, L=4

10

Initialization

Page 11: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

11

Exemple: K=2, L=4

11

Pruning

Page 12: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

12

Exemple: K=2, L=4

12

Pruning (first level)

Page 13: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

13

Exemple: K=2, L=4

13

Pruning (second level)

Page 14: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

14

Exemple: K=2, L=4

14

Pruning (second level)

Page 15: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

15

The complexity is smaller than a classic ML algorithm when the SNR grows as the pruning is more and more efficient

The algorithm gives the absolute minimum of the cost function

Conclusion

The information of all the users is recovered in one time

Page 16: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

16

Application to a MC-CSK system

Multiple Carrier Code Shift Keying

Page 17: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

17

Reminder

Spectral efficiencyηs = Rb/B (bit.Hz-1.s-1)

Power efficiencyηp = d²/Eb

Trade-off between ηs and ηp

Page 18: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

18

MC-CSK system

Broadcast synchronous system

K flows assimilated to K ‘‘users’’

Each user

L spreading sequences of length N (Gold sequences)

Coding log2(L) bits

Multi-user detection, not interference limited

Page 19: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

19

MC-CSK system

…0010…abcdbcdacdabdabc

CSK : code shift keying (N=4, L=4)

a b c d c d a b

code shifts

S1 S2

…0010…

abcd

-a -b -c -d -a -b -c -d a b c d -a -b -c -d

CDM : code division multiplexing (N=4)

Spectral efficiency x log2(L)

Potentially good power efficiency

f1f2f3f4f1 f2 f3 f4 f1 f2 f3 f4

MC-CSK :

Easier synchro

Page 20: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

20

MC-CSK systemC1 = matrix containing all the sequences of user 1

C = [C1 C2 … CK] = generation matrix

g1 vector of length L containing one ‘1’ and L-1 ‘0’. The ‘1’ points out the transmitted sequence for user 1

g = [g1 g2 … gK]T

Received signal: z = C.g + wn

20

Page 21: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

21

MC-CSK system and Sphere Decoding

In reception Estimation of g = [g1 g2 … gK]T

ĝ = arg min ||z - Cg||2² (cost function)

QR decomposition of C C = Q*R Q unitary, R upper triangular

ĝ = arg min ||y - Rg||2², y = QT*.z21

g1,…,gK

g1,…,gK

Page 22: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

22

R =

d = ||y - Rg||2² = h(gK) + h(gK,gK-1) + … + h(gK,…,g1)

22

MC-CSK system and Sphere Decoding

Page 23: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

2323

Initialization ĝK = arg min h(gK)

ĝK-1 = arg min h(ĝK,gK-1)

ĝ1 = arg min h(ĝK,…, g1)

μ0 = h(ĝK)+h(ĝK,ĝK-1)+…+h(ĝK,ĝK-1,…,ĝ1)

Pruning

gK

g1

gK-1

MC-CSK system and Sphere Decoding

Page 24: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

24

Efficiency : 1/N

Flow #1

Channel

11011Flow #K

Seq #K Seq #K

decoder

Efficiency : K/N

00101

spreading

Seq #1 (N chips)

despreading

Seq #1

decoder

Why using MC-CSK and Sphere Decoding?

L-ary CodeShift

KeyingSphere

Decoding

Flow #1

Flow #KSpectral

Efficiency:K*log2(L)/N

16QAM16-FSK

5 dB

IF orthogonality of sequences & permutations MC-CSK power efficiency

= FSK power efficiency !

Page 25: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

25

Why using MC-CSK and Sphere Decoding?

System not interference limited

Optimal decoding with lower complexity

Scalable to (small) overloaded systems

Improving in the same time spectral and power efficiency

Page 26: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

26

Results

26

Page 27: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

27

Page 28: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

28

Page 29: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

29

Limitations

For higher loads (>15%), the complexity

and time simulation are too important

Need of another decoder to reach

interesting spectral efficiency

LASSO

29

Page 30: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

30

Brief presentation of the LASSO Least Absolute Shrinkage and Selection

Operator – (Tibshirani, 1994)

Working on the hypothesis of the sparsity of vector g

Using a penalty on the L1 norm and the residual sum of squares

min || y – Cg ||2² s.t. || g ||1² <= t

Page 31: Sphere Decoding - ENSEEIHTsc.enseeiht.fr/doc/Seminar_Dudal.pdfClément Dudal – Séminaire 25/11/10 2 Sphere Decoding Mathematical approach Minimization of a cost function f(x1,

Clément Dudal – Séminaire 25/11/10

31

Thank you for your attention

Questions?