quaternion orthogonal designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/talk.pdf ·...

38
Novel Construction Methods of Quaternion Orthogonal Designs Based on Complex Orthogonal Designs Sajid Ali Joint work with S. Ali Hassan and E. Mushtaq NUST University, Pakistan. ISIT-2017 Aachen

Upload: others

Post on 14-Apr-2020

7 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

Novel Construction Methods of

Quaternion Orthogonal Designs

Based on Complex Orthogonal Designs

Sajid Ali Joint work with S. Ali Hassan and E. Mushtaq

NUST University, Pakistan.

ISIT-2017Aachen

Page 2: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

Motivation

§ Orthogonal spacetime block codes provide multiple gains, however, maximal rate designs in MIMOs are difficult to construct

§ Dual-polarized antennas offer a good quality of service through reliable communication by mitigating multipath effects

§ Efficient codes for multiple dual-polarized antennas § Polarization diversity gain along with space & time diversities

§ Low-complexity decoding (de-coupled decoding)

Page 3: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

By default Orthogonal

Tx RxOne Dual polarized One Dual polarized

Reflections, Scattering, Diffraction

Channel

By default Orthogonal

Polarization Diversity Gain

Low intensity indicates that the received signal is generally different from what is transmitted.

[Oestges C., Clerckx B., Guillaud M. and Debbah M., IEEE Tran. of Wireless Comm., 2008]

§ Space & Cost Effective § Optimal Channel Separation

Page 4: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

Quick ReviewQuaternions

0 1 2 3q q q i q j q k 2 2 2 1i j k

i j k j i j k i k j

k i j i k

A quaternion is a generalization of the concept of complex numbers defined over a basis of non-commuting elements {1, , j, k}i

Page 5: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

Quick ReviewQuaternions

q

0 1 2 3q q q i q j q k

1z 2z j2 2 2 1i j k

i j k j i j k i k j

k i j i k

A quaternion is a generalization of the concept of complex numbers defined over a basis of non-commuting elements {1, , j, k}i

Page 6: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

Quick ReviewQuaternions

q

0 1 2 3q q q i q j q k

1z 2z j2 2 2 1i j k

i j k j i j k i k j

k i j i k

Quaternion conjugate * *1 2

Qq z j z 2| |Q Qqq q q q

| | 1q

A quaternion is a generalization of the concept of complex numbers defined over a basis of non-commuting elements {1, , j, k}i

For normalized signals

Page 7: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

RealizationQuaternions

q 1z 2z j2 2 2 1i j k

i j k j i j k i k j

k i j i k

[Isaeva O. M. and Sarytchev V. A. , in Proc. 2nd IEEE Topical Symposium of Combined Optical-Microwave Earth and Atmosphere Sensing, Atlanta, US, April 1995, pp. 195–196.]

A quaternion is a generalization of the concept of complex numbers defined over a basis of non-commuting elements {1, , j, k}i

0 1 2 3q q q i q j q k

Page 8: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

Quaternion Orthogonal Codes (QODs)A quaternion orthogonal code is an n x m matrix of quaternion elements which satisfy

[Seberry J., et. al., “The theory of quaternion orthogonal designs,” IEEE Trans. Signal Process., 2008.]

Page 9: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

Quaternion Orthogonal Codes (QODs)

Such codes can be obtained easily by using complex orthogonal codes.

[Seberry J., et. al., “The theory of quaternion orthogonal designs,” IEEE Trans. Signal Process., 2008.]

A quaternion orthogonal code is an n x m matrix of quaternion elements which satisfy

Page 10: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

Quaternion Orthogonal Codes (QODs)

Symmetric-Pair Design:

Such codes can be obtained easily by using complex orthogonal codes.

Two complex orthogonal codes A and B form a symmetric-pair design if is symmetric.

[Seberry J., et. al., “The theory of quaternion orthogonal designs,” IEEE Trans. Signal Process., 2008.]

A quaternion orthogonal code is an n x m matrix of quaternion elements which satisfy

Page 11: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

Quaternion Orthogonal Codes (QODs)

and/or

Two complex orthogonal codes form a complex amicable design if Complex Amicable Design:

[Seberry J., et. al., “The theory of quaternion orthogonal designs,” IEEE Trans. Signal Process., 2008.]

Symmetric-Pair Design:

Such codes can be obtained easily by using complex orthogonal codes.

A quaternion orthogonal code is an n x m matrix of quaternion elements which satisfy

Two complex orthogonal codes A and B form a symmetric-pair design if is symmetric.

Page 12: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

Quaternion Orthogonal Codes (QODs)

and/or

Two complex orthogonal codes form a complex amicable design if Complex Amicable Design:

QOD

[Seberry J., et. al., “The theory of quaternion orthogonal designs,” IEEE Trans. Signal Process., 2008.]

Symmetric-Pair Design:

Such codes can be obtained easily by using complex orthogonal codes.

A quaternion orthogonal code is an n x m matrix of quaternion elements which satisfy

Two complex orthogonal codes A and B form a symmetric-pair design if is symmetric.

Page 13: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

System Model (Dual Polarized Antennas)

Brief Example

Almouti Scheme

Antenna 1 Antenna 2

Time Slot 1

Time Slot 2

1 2* *

2 1

z zz z

Page 14: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

System Model (Dual Polarized Antennas)

Brief Example

Almouti Scheme

Antenna 1 Antenna 2

Time Slot 1

Time Slot 2

1 2* *

2 1

z zz z

1 2 2 1* * * *

2 1 1 2

z z j z z jz z j z z j

QODsTwo dual-polarized Antennas

Page 15: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

System Model (Dual Polarized Antennas)

Brief Example

Almouti Scheme

Antenna 1 Antenna 2

Time Slot 1

Time Slot 2

1 2* *

2 1

z zz z

1 2 2 1* * * *

2 1 1 2

z z j z z jz z j z z j

QODsTwo dual-polarized Antennas

1 2 2 1* * * *

2 1 1 2

z z z zz z z z

Page 16: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

System Model (Dual Polarized Antennas)

Brief Example

Almouti Scheme

Antenna 1 Antenna 2

Time Slot 1

Time Slot 2

1 2* *

2 1

z zz z

1 2 2 1* * * *

2 1 1 2

z z j z z jz z j z z j

QODsTwo dual-polarized Antennas

1 2 2 1* * * *

2 1 1 2

z z z zz z z z

quasi-Orthogonal Code:Four single polarized antennas are transmitting two complex symbols in two time slots.

Page 17: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

Quaternion Orthogonal Codes (QODs)

(1)1 1

1 1

1 12 2*

1 12 2

( ,..., z )( ,..., z )

l l

l l

l lH

l l

G z z Iz I G z

An efficient way to generate square CODs of order is

(Liang X. B., Tran. of Inf. Theo., 2003)

ll 22

Page 18: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

Quaternion Orthogonal Codes (QODs)

Theorem 1:

(1)

Two CODs A and B of the form (1), where B is obtained by permuting the columns of A, satisfy both symmetry and complex amicable properties. Consequently, Q = A + B j is a QOD of rate . ( 1) / 2ll

1 1

1 1

1 12 2*

1 12 2

( ,..., z )( ,..., z )

l l

l l

l lH

l l

G z z Iz I G z

An efficient way to generate square CODs of order is

(Liang X. B., Tran. of Inf. Theo., 2003)

ll 22

Page 19: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

For a given square COD , the matrix

is a QOD of rate .

Quaternion Orthogonal Codes (QODs)

Theorem 1:

(1)

Lemma 1:

Q =

Non-uniqueness

Two CODs A and B of the form (1), where B is obtained by permuting the columns of A, satisfy both symmetry and complex amicable properties. Consequently, Q = A + B j is a QOD of rate . ( 1) / 2ll

1 1

1 1

1 12 2*

1 12 2

( ,..., z )( ,..., z )

l l

l l

l lH

l l

G z z Iz I G z

( 1) / 2ll

1 12( ,..., )l lG z z

1 1

1 1

1 12 2*

1 12 2

( ,..., z )( ,..., z )

l l

l l

l lH

l l

G z z I jz I G z j

An efficient way to generate square CODs of order is

(Liang X. B., Tran. of Inf. Theo., 2003)

ll 22

Page 20: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

Quaternion Orthogonal Codes (QODs)

Example: 1 2* *

2 1

z zz z

Page 21: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

Quaternion Orthogonal Codes (QODs)

Example: 1 2* *

2 1

z zz z

1 2 3* *

2 1 3* *

3 1 2* *

3 2 1

00

00

z z zz z zz z z

z z z

Page 22: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

Quaternion Orthogonal Codes (QODs)

Example: 1 2* *

2 1

z zz z

1 2 3* *

2 1 3* *

3 1 2* *

3 2 1

00

00

z z zz z zz z z

z z z

Page 23: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

Quaternion Orthogonal Codes (QODs)

Example: 1 2* *

2 1

z zz z

1 2 3* *

2 1 3* *

3 1 2* *

3 2 1

00

00

z z zz z zz z z

z z z

3 1 2* *

3 2 1* *

1 2 3* *

2 1 3

00

00

z z zz z z

z z zz z z

Page 24: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

Quaternion Orthogonal Codes (QODs)

Example: 1 2* *

2 1

z zz z

1 3 2 3 1 2* * * *

2 1 3 2 3 1* * * *

3 1 2 1 3 2* * * *

2 3 1 2 1 3

z z j z z z j z jz z z j z j z z j

z z j z j z z j zz z z j z z z j

1 2 3* *

2 1 3* *

3 1 2* *

3 2 1

00

00

z z zz z zz z z

z z z

3 1 2* *

3 2 1* *

1 2 3* *

2 1 3

00

00

z z zz z z

z z zz z z

Page 25: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

Quaternion Orthogonal Codes (QODs)

Example: 1 2* *

2 1

z zz z

1 2 3* *

2 1 3* *

3 1 2* *

3 2 1

00

00

z z zz z zz z z

z z z

1 3 2 3 1 2* * * *

2 1 3 2 3 1* * * *

3 1 2 1 3 2* * * *

2 3 1 2 1 3

z z j z z z j z jz z z j z j z z j

z z j z j z z j zz z z j z z z j

3 1 2* *

3 2 1* *

1 2 3* *

2 1 3

00

00

z z zz z z

z z zz z z

Code rate = 3/4

Page 26: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

System Model (Dual Polarized Antennas)

Consider a MISO tranmission dual-polarized system ( ). The system model is 1tN

Page 27: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

System Model (Dual Polarized Antennas)

(1)

( )tN

H

H

( ) ( )

( ) 11 12( ) ( )

21 22

m mm

m m

h hH

h h

where

Rayleigh Fading Channel

(zero-mean and unit variance)

Consider a MISO tranmission dual-polarized system ( ). The system model is 1tN

Page 28: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

System Model (Dual Polarized Antennas)

(1)

( )tN

H

H

( ) ( )

( ) 11 12( ) ( )

21 22

m mm

m m

h hH

h h

11 12

1 2t tN N

n n

n n

where

Rayleigh Fading Channel

(zero-mean and unit variance)

White noise (Gaussian RVs iid zero mean

and identical variance)

Consider a MISO tranmission dual-polarized system ( ). The system model is 1tN

Page 29: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

System Model (Dual Polarized Antennas)

(1)

( )tN

H

H

( ) ( )

( ) 11 12( ) ( )

21 22

m mm

m m

h hH

h h

11 12

1 2t tN N

n n

n n

where

Rayleigh Fading Channel

(zero-mean and unit variance)

White noise (Gaussian RVs iid zero mean

and identical variance)

Consider a MISO tranmission dual-polarized system ( ). The system model is 1tN

The complex matrix is obtained by decomposing a QOD with odd columns representing symbols transmitted through one polarization while even columns contain symbols transmitted through orthogonal polarization.

qC

Page 30: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

Quaternion Orthogonal Codes (QODs)

Low Complexity Decoder:

21 (1) (2) (3)min ( )u

qzR C C H

(1) ,Qtr R R (2) 12Re ( )Qqtr R C C H

(2) 1 1( ( )) ( )Qq qtr C C H C C H

Page 31: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

The ML-decoding rule for both constructions given in Theorem 1 and Lemma 1, simplifies to

Quaternion Orthogonal Codes (QODs)

Low Complexity Decoder:

Lemma 2:

21 (1) (2) (3)min ( )u

qzR C C H

(1) ,Qtr R R (2) 12Re ( )Qqtr R C C H

(2) 1 1( ( )) ( )Qq qtr C C H C C H

21 (2) 1min ( ) 2Re ( )u

Qq qz

R C C H tr R C C H

Page 32: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

Quaternion Orthogonal Codes (QODs)

Example: 1 3 2 3 1 2* * * *

2 1 3 2 3 1* * * *

3 1 2 1 3 2* * * *

2 3 1 2 1 3

z z j z z z j z jz z z j z j z z j

z z j z j z z j zz z z j z z z j

Code rate = 3/4

Page 33: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

Quaternion Orthogonal Codes (QODs)

Example: 1 3 2 3 1 2* * * *

2 1 3 2 3 1* * * *

3 1 2 1 3 2* * * *

2 3 1 2 1 3

z z j z z z j z jz z z j z j z z j

z z j z j z z j zz z z j z z z j

Decoupled Decoder: Code rate = 3/4

* *1 1 12 2 1 34 3 1 56 4 1 78

* *1 2 34 2 2 12 3 1 78 4 2 56

* *1 3 56 2 3 78 3 3 12 4 3 34

min ( 2Re{ }),

min ( 2Re{ }),

min ( 2Re{ }),

u

u

u

Q Q Q Qz

Q Q Q Qz

Q Q Q Qz

r z g r z g r z g r z g

r z g r z g r z g r z g

r z g r z g r z g r z g

Page 34: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

Quaternion Orthogonal Codes (QODs)

Example: 1 3 2 3 1 2* * * *

2 1 3 2 3 1* * * *

3 1 2 1 3 2* * * *

2 3 1 2 1 3

z z j z z z j z jz z z j z j z z j

z z j z j z z j zz z z j z z z j

Decoupled Decoder:

where such that mn m ng g g j (1) (3) (1) (3) (2) (4) (2) (4)

1 11 21 2 12 22 3 11 21 4 12 22, , , ,g h h g h h g h h g h h (1) (3) (1) (3) (2) (4) (2) (4)

5 21 11 6 22 12 7 21 11 6 22 12, , , .g h h g h h g h h g h h

Code rate = 3/4

* *1 1 12 2 1 34 3 1 56 4 1 78

* *1 2 34 2 2 12 3 1 78 4 2 56

* *1 3 56 2 3 78 3 3 12 4 3 34

min ( 2Re{ }),

min ( 2Re{ }),

min ( 2Re{ }),

u

u

u

Q Q Q Qz

Q Q Q Qz

Q Q Q Qz

r z g r z g r z g r z g

r z g r z g r z g r z g

r z g r z g r z g r z g

Page 35: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

Quaternion Orthogonal Codes (QODs)

Performance Analysis: Design 1 Theorem 1Design 2 Lemma 1

Page 36: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

Thought To Take Away !!!

Page 37: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

Thought To Take Away !!!

Have coeffee first and questions later ....

Page 38: Quaternion Orthogonal Designssali.seecs.nust.edu.pk/wp-content/uploads/2014/06/Talk.pdf · Motivation § Orthogonal spacetime block codes provide multiple gains, however, maximal

Conclusion

• Designs based on quaternions provide a feasible solution for dual-polarized antennas and easy to generate

• QODs exploit polarization diversity along with other diversities

• Decoupled decoding becomes an inherited characteristic of the approach

• Simulation results also confirm a performance up gradation in MIMOs against standard complex orthogonal or quasi-orthogonal codes which have other shortcomings