+ All Categories
Home > Documents > Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For...

Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For...

Date post: 04-Apr-2018
Category:
Upload: phungphuc
View: 218 times
Download: 3 times
Share this document with a friend
78
Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences Arizona State University INFORMS Annual Meeting Nashville, TN 16 November 2016 This is joint work with Wenhao Wu and Zhi Ding, UC Davis AFOSR support (ASU): FA 9550-15-1-0351 NSF support (UCD): CNS-1443870, ECCS-1307820, and CCF-1321143 Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 1 / 43
Transcript
Page 1: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Modulation Design For MIMO HARQ Channel

Hans D Mittelmann

School of Mathematical and Statistical SciencesArizona State University

INFORMS Annual MeetingNashville, TN

16 November 2016

This is joint work with Wenhao Wu and Zhi Ding, UC Davis

AFOSR support (ASU): FA 9550-15-1-0351NSF support (UCD): CNS-1443870, ECCS-1307820, and CCF-1321143

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 1 / 43

Page 2: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Previous related AFOSR-funded work

Based on a series of our papers on semidefinite relaxation bounds:

X, Wu, H. D. Mittelmann, X. Wang, and J. Wang, On Computation ofPerformance Bounds of Optimal Index Assignment,IEEE Trans Comm 59(12), 3229-3233 (2011)

First paper to exactly solve a size 16 Q3AP from communications:

H. D. Mittelmann and D. Salvagnin, On Solving a Hard Quadratic3-Dimensional Assignment Problem,Math Progr Comput 7(2), 219-234 (2015)

First paper to optimize Modulation Diversity in HARQ retransmissions:

W. Wu, H. D. Mittelmann, and Z. Ding, Modulation Design for Two-WayAmplify-and-Forward Relay HARQ,IEEE Wireless Communication Letters 5(3), 244-247 (2016)

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 2 / 43

Page 3: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Outline

Appplication of QAP in Modulation Diversity (MoDiv) DesignBackgroundMoDiv Design for Two-Way Amplify-and-Forward Relay HARQChannelMoDiv Design for Multiple-Input and Multiple-Output COordinatedMulti-Point ChannelConclusion

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 3 / 43

Page 4: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Outline

Appplication of QAP in Modulation Diversity (MoDiv) DesignBackgroundMoDiv Design for Two-Way Amplify-and-Forward Relay HARQChannelMoDiv Design for Multiple-Input and Multiple-Output COordinatedMulti-Point ChannelConclusion

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 4 / 43

Page 5: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Modulation Mapping

p bits

0 00001 00012 0010

. . . . . .15 1111

Map−−−→ Channel−−−−−−→

I Unideal wireless channel tends to cause demodulation errors.

I Constellation points closer to each other are more likely to beconfused.

Modulation mapping needs to be carefully designed!

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 5 / 43

Page 6: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Modulation Mapping

p bits

0 00001 00012 0010

. . . . . .15 1111

Map−−−→ Channel−−−−−−→

I Unideal wireless channel tends to cause demodulation errors.

I Constellation points closer to each other are more likely to beconfused.

Modulation mapping needs to be carefully designed!

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 5 / 43

Page 7: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Single Transmission: Gray-mapping

Strategy (Gray-mapping)

Neighboring constellation points (horizontally or vertically) differ only by 1bit, so as to minimize the Bit Error Rate (BER).

Figure : Gray-mapping for 16-QAM, 3GPP TS 25.213.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 6 / 43

Page 8: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

HARQ with Constellation Rearrangement (CoRe)

Hybrid Automatic Repeat reQuest (HARQ)

I Same piece of information is retransmitted again and again, andcombined at the receiver until it is decoded successfully or expiration.

I An error control scheme widely used in modern wireless systems suchas HSPA, WiMAX, LTE, etc.

Constellation Rearrangement (CoRe)

I For each round of retransmission, different modulation mappings areused (explained next).

I Exploit the Modulation Diversity (MoDiv).

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 7 / 43

Page 9: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

An Example of CoRe

Figure : Original transmission. Figure : First retransmission.

I Original transmission: 0111 is easily confused with 1111, but welldistinguished from 0100.

I First retransmission: 0111 should now be mapped far away from1111, but can be close to 0100.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 8 / 43

Page 10: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

An Example of CoRe

Figure : Original transmission. Figure : First retransmission.

I Original transmission: 0111 is easily confused with 1111, but welldistinguished from 0100.

I First retransmission: 0111 should now be mapped far away from1111, but can be close to 0100.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 8 / 43

Page 11: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

General Design of MoDiv Through CoRe

Challenges

1. More than 1 retransmissions?

2. More general wireless channel models?

3. Larger constellations (e.g. 64-QAM)?

We formulated 2 different MoDiv design problems into QuadraticAssignment Problems (QAPs) and demonstrate the performance gain overexisting CoRe schemes.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 9 / 43

Page 12: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Outline

Appplication of QAP in Modulation Diversity (MoDiv) DesignBackgroundMoDiv Design for Two-Way Amplify-and-Forward Relay HARQChannelMoDiv Design for Multiple-Input and Multiple-Output COordinatedMulti-Point ChannelConclusion

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 10 / 43

Page 13: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Two-Way Relay Channel (TWRC) with Analog NetworkCoding (ANC)

I System components: 2 sources (S1, S2) communicate with each otherwith the help of 1 relay (R).

I Alternating between 2 phases:I Multiple-Access Channel (MAC) phase: the 2 sources transmit to the

relay simultaneously.I Broadcast Channel (BC) phase: the relay amplify and broadcast the

signal received during the MAC phase back to the 2 sources

I Assume Rayleigh-fading channel: g and h are complex Gaussianrandom variables with 0 means.

Figure : TWRC-ANC channel.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 11 / 43

Page 14: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Two-Way Relay Channel (TWRC) with Analog NetworkCoding (ANC)

I System components: 2 sources (S1, S2) communicate with each otherwith the help of 1 relay (R).

I Alternating between 2 phases:I Multiple-Access Channel (MAC) phase: the 2 sources transmit to the

relay simultaneously.I Broadcast Channel (BC) phase: the relay amplify and broadcast the

signal received during the MAC phase back to the 2 sources

I Assume Rayleigh-fading channel: g and h are complex Gaussianrandom variables with 0 means.

Figure : TWRC-ANC channel.

yR = h1x1 + h2x2 + nR

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 11 / 43

Page 15: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Two-Way Relay Channel (TWRC) with Analog NetworkCoding (ANC)

I System components: 2 sources (S1, S2) communicate with each otherwith the help of 1 relay (R).

I Alternating between 2 phases:I Multiple-Access Channel (MAC) phase: the 2 sources transmit to the

relay simultaneously.I Broadcast Channel (BC) phase: the relay amplify and broadcast the

signal received during the MAC phase back to the 2 sources

I Assume Rayleigh-fading channel: g and h are complex Gaussianrandom variables with 0 means.

Figure : TWRC-ANC channel.

y1 = αg1yR + n1,

y2 = αg2yR + n2

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 11 / 43

Page 16: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

HARQ-Chase Combining (CC) Protocol

I Q: size of the constellation.

I M: maximum number of retransmissions.

I ψm[p], m = 0, . . . ,M, p = 0, . . . ,Q − 1: constellation mappingfunction between “label” p to a constellation point for the m-thretransission.

Due to symmetry of the channel, consider the transmission from S1 to S2only. The received signal during the m-th retransmission of label p is:

y(m)2 = α(m)g

(m)2 (h

(m)1 ψm[p] + h

(m)2 ψm[p] + n

(m)R ) + n

(m)2 ,

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 12 / 43

Page 17: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

HARQ-Chase Combining (CC) Protocol

I Q: size of the constellation.

I M: maximum number of retransmissions.

I ψm[p], m = 0, . . . ,M, p = 0, . . . ,Q − 1: constellation mappingfunction between “label” p to a constellation point for the m-thretransission.

Due to symmetry of the channel, consider the transmission from S1 to S2only. The received signal during the m-th retransmission of label p is:

y(m)2 = α(m)g

(m)2 (h

(m)1 ψm[p] + n

(m)R ) + n

(m)2 , (after SIC)

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 12 / 43

Page 18: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

HARQ-Chase Combining (CC) Protocol (Continued)The receiver combines all the received symbols across all retransmissionsso far until decoding is determined successful.

Maximum Likelihood (ML) detector

p∗ = arg minp

m∑k=0

|y (k)2 − α(k)g(k)2 h

(k)1 ψk [p]|2

σ22 + (α(k))2σ2R |g(k)2 |2

.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 13 / 43

Page 19: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

HARQ-Chase Combining (CC) Protocol (Continued)The receiver combines all the received symbols across all retransmissionsso far until decoding is determined successful.

Maximum Likelihood (ML) detector

p∗ = arg minp

m∑k=0

|y (k)2 − α(k)g(k)2 h

(k)1 ψk [p]|2

σ22 + (α(k))2σ2R |g(k)2 |2

.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 13 / 43

Page 20: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

HARQ-Chase Combining (CC) Protocol (Continued)The receiver combines all the received symbols across all retransmissionsso far until decoding is determined successful.

Maximum Likelihood (ML) detector

p∗ = arg minp

m∑k=0

|y (k)2 − α(k)g(k)2 h

(k)1 ψk [p]|2

σ22 + (α(k))2σ2R |g(k)2 |2

.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 13 / 43

Page 21: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

MoDiv Design: Criterion

Bit Error Rate (BER) upperbound after m-th retransmission

P(m)BER =

Q−1∑p=0

Q−1∑q=0

D[p, q]

Q log2QP(m)PEP(q|p),

I D[p, q]: hamming distance between the bit representation of label pand q.

I P(m)PEP(q|p): pairwise error probability (PEP), the probability that

when label p is transmitted, but the receiver decides q is more likelythan p after m-th retransmission.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 14 / 43

Page 22: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

MoDiv Design: Criterion (Continued)

Is minimizing P(m)BER over the mappings ψ1[·], . . . , ψm[·] directly a good

idea?

1. No one knows how many retransmissions is needed in advance (valueof m).

2. Jointly designing all m mappings is prohibitively complex.

3. P(m)PEP(q|p) can only be evaluated numerically, very slow and could be

inaccurate.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 15 / 43

Page 23: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

MoDiv Design: Modified Criterion

1. Successive optimization instead of joint optimization.

Joint: minψ(k),k=0,...,m

P(m)BER , m = 1, . . . ,M

Successive: minψ(m)|ψ(k),k=0,...,m−1

P(m)BER , m = 1, . . . ,M

2. A closed-form approximation to P(m)PEP(q|p) that can be iteratively

updated for growing m.

P(m)PEP(q|p) = P

(m−1)PEP (q|p)Em[p, q]

P(−1)PEP (q|p) = 1/2

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 16 / 43

Page 24: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

MoDiv Design: Modified Criterion

1. Successive optimization instead of joint optimization.

Joint: minψ(k),k=0,...,m

P(m)BER , m = 1, . . . ,M

Successive: minψ(m)|ψ(k),k=0,...,m−1

P(m)BER , m = 1, . . . ,M

2. A closed-form approximation to P(m)PEP(q|p) that can be iteratively

updated for growing m.

P(m)PEP(q|p) = P

(m−1)PEP (q|p)Em[p, q]

P(−1)PEP (q|p) = 1/2

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 16 / 43

Page 25: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

MoDiv Design: Modified Criterion

1. Successive optimization instead of joint optimization.

Joint: minψ(k),k=0,...,m

P(m)BER , m = 1, . . . ,M

Successive: minψ(m)|ψ(k),k=0,...,m−1

P(m)BER , m = 1, . . . ,M

2. A closed-form approximation to P(m)PEP(q|p) that can be iteratively

updated for growing m.

P(m)PEP(q|p) = P

(m−1)PEP (q|p)Em[p, q]

P(−1)PEP (q|p) = 1/2

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 16 / 43

Page 26: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Approximation of the Pairwise Error Probability

Ek [p, q] = E

[exp

(−

(α(k))2εk [p, q]|g (k)2 |2|h

(k)1 |2

4(σ(k)2 )2

)],

≈4σ2R + βh1εk [p, q]v exp(v)Ei(v)

u, Ek [p, q]

u = 4σ2R+βh1εk [p, q], v =4σ22

α2βg2u, α =

√PR

βh1P1 + βh2P2 + σ2R.

I βg2 , βh1 : the variance of the complex Gaussian distributed channel g2and h1.

I σ2R , σ22: the noise power at R and S2.

I εk [p, q] = ψk [p]− ψk [q].

I PR ,P1,P2: the maximum transmitting power constraint at R, S1,S2.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 17 / 43

Page 27: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Representation of CoRe

Representing ψm[·] with Q2 binary variables:

x(m)pi =

{1 if ψm[p] = ψ0[i ]0 otherwise.

p, i = 0, . . . ,Q − 1

ψ0 represents Gray-mapping for the original transmission (fixed).

Constraints: ψm[·] as a permutation of 0, . . . ,Q − 1

Q−1∑p=0

xpi = 1

Q−1∑i=0

xpi = 1

i = 0 i = 1 i = 2 i = 3

p = 0 0 1 0 0p = 1 0 0 1 0p = 2 1 0 0 0p = 3 0 0 0 1

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 18 / 43

Page 28: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

A Successive KB-QAP Formulation

MoDiv design via successive Koopman Beckmann-form QAP

1. Set m = 1. Initialize the “distance” matrix and the approximatedPEP, for i , j , p, q = 0, . . . ,Q − 1:

dij = E0[i , j ], P(0)PEP(q|p) = dpq/2

2. Evaluate the “flow” matrix:

f(m)pq =

D[p, q]

Q log2QP(m−1)PEP (q|p)

3. Solve the m-th KB-QAP problem:

min{x(m)

pi }

Q−1∑p=0

Q−1∑i=0

Q−1∑q=0

Q−1∑j=0

f(m)pq dijx

(m)pi x

(m)qj

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 19 / 43

Page 29: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

A Successive KB-QAP Formulation

MoDiv design via successive Koopman Beckmann-form QAP

1. Set m = 1. Initialize the “distance” matrix and the approximatedPEP, for i , j , p, q = 0, . . . ,Q − 1:

dij = E0[i , j ], P(0)PEP(q|p) = dpq/2

2. Evaluate the “flow” matrix:

f(m)pq =

D[p, q]

Q log2QP(m−1)PEP (q|p)

3. Solve the m-th KB-QAP problem:

min{x(m)

pi }

Q−1∑p=0

Q−1∑i=0

Q−1∑q=0

Q−1∑j=0

f(m)pq dijx

(m)pi x

(m)qj

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 19 / 43

Page 30: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

A Successive KB-QAP Formulation

MoDiv design via successive Koopman Beckmann-form QAP

1. Set m = 1. Initialize the “distance” matrix and the approximatedPEP, for i , j , p, q = 0, . . . ,Q − 1:

dij = E0[i , j ], P(0)PEP(q|p) = dpq/2

2. Evaluate the “flow” matrix:

f(m)pq =

D[p, q]

Q log2QP(m−1)PEP (q|p)

3. Solve the m-th KB-QAP problem:

min{x(m)

pi }

Q−1∑p=0

Q−1∑i=0

Q−1∑q=0

Q−1∑j=0

f(m)pq dijx

(m)pi x

(m)qj

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 19 / 43

Page 31: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

A Successive KB-QAP Formulation (Continued)

MoDiv design via successive Koopman Beckmann-form QAP

4. Update PEP:

P(m)PEP(q|p) =

Q−1∑i=0

Q−1∑j=0

P(m−1)PEP (q|p)dij x

(m)pi x

(m)qj

where x(m)pi is the solution from Step 3.

5. Increase m by 1, return to Step 2 if m ≤ M.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 20 / 43

Page 32: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

A Successive KB-QAP Formulation (Continued)

MoDiv design via successive Koopman Beckmann-form QAP

4. Update PEP:

P(m)PEP(q|p) =

Q−1∑i=0

Q−1∑j=0

P(m−1)PEP (q|p)dij x

(m)pi x

(m)qj

where x(m)pi is the solution from Step 3.

5. Increase m by 1, return to Step 2 if m ≤ M.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 20 / 43

Page 33: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Numerical Results: Simulation Settings

I 64-QAM constellation (Q = 64).

I Maximum number of 4 retransmissions (M = 4).

I Assume the relay R and destination S2 have the same Gaussian noisepower σ2.

I Use a robust tabu search algorithm1to solve each QAP numerically.I Compare 3 MoDiv schemes:

1. No modulation diversity (NM).2. A heuristic CoRe scheme for HSPA2(CR).3. QAP-based solution (QAP).

1E. Taillard, “Robust taboo search for the quadratic assignment problem,” ParallelComputing, vol.17, no.4, pp.443-455, 1991.

2“Enhanced HARQ Method with Signal Constellation Rearrangement,” in 3rdGeneration Partnership Project (3GPP), Technical Specification TSGR1#19(01)0237,Mar. 2001.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 21 / 43

Page 34: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Numerical Results: Simulation Settings

I 64-QAM constellation (Q = 64).

I Maximum number of 4 retransmissions (M = 4).

I Assume the relay R and destination S2 have the same Gaussian noisepower σ2.

I Use a robust tabu search algorithm1to solve each QAP numerically.I Compare 3 MoDiv schemes:

1. No modulation diversity (NM).2. A heuristic CoRe scheme for HSPA2(CR).3. QAP-based solution (QAP).

1E. Taillard, “Robust taboo search for the quadratic assignment problem,” ParallelComputing, vol.17, no.4, pp.443-455, 1991.

2“Enhanced HARQ Method with Signal Constellation Rearrangement,” in 3rdGeneration Partnership Project (3GPP), Technical Specification TSGR1#19(01)0237,Mar. 2001.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 21 / 43

Page 35: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Numerical Results: Simulation Settings

I 64-QAM constellation (Q = 64).

I Maximum number of 4 retransmissions (M = 4).

I Assume the relay R and destination S2 have the same Gaussian noisepower σ2.

I Use a robust tabu search algorithm1to solve each QAP numerically.I Compare 3 MoDiv schemes:

1. No modulation diversity (NM).2. A heuristic CoRe scheme for HSPA2(CR).3. QAP-based solution (QAP).

1E. Taillard, “Robust taboo search for the quadratic assignment problem,” ParallelComputing, vol.17, no.4, pp.443-455, 1991.

2“Enhanced HARQ Method with Signal Constellation Rearrangement,” in 3rdGeneration Partnership Project (3GPP), Technical Specification TSGR1#19(01)0237,Mar. 2001.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 21 / 43

Page 36: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Numerical Results: Simulation Settings

I 64-QAM constellation (Q = 64).

I Maximum number of 4 retransmissions (M = 4).

I Assume the relay R and destination S2 have the same Gaussian noisepower σ2.

I Use a robust tabu search algorithm1to solve each QAP numerically.I Compare 3 MoDiv schemes:

1. No modulation diversity (NM).2. A heuristic CoRe scheme for HSPA2(CR).3. QAP-based solution (QAP).

1E. Taillard, “Robust taboo search for the quadratic assignment problem,” ParallelComputing, vol.17, no.4, pp.443-455, 1991.

2“Enhanced HARQ Method with Signal Constellation Rearrangement,” in 3rdGeneration Partnership Project (3GPP), Technical Specification TSGR1#19(01)0237,Mar. 2001.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 21 / 43

Page 37: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Numerical Results: Simulation Settings

I 64-QAM constellation (Q = 64).

I Maximum number of 4 retransmissions (M = 4).

I Assume the relay R and destination S2 have the same Gaussian noisepower σ2.

I Use a robust tabu search algorithm1to solve each QAP numerically.I Compare 3 MoDiv schemes:

1. No modulation diversity (NM).2. A heuristic CoRe scheme for HSPA2(CR).3. QAP-based solution (QAP).

1E. Taillard, “Robust taboo search for the quadratic assignment problem,” ParallelComputing, vol.17, no.4, pp.443-455, 1991.

2“Enhanced HARQ Method with Signal Constellation Rearrangement,” in 3rdGeneration Partnership Project (3GPP), Technical Specification TSGR1#19(01)0237,Mar. 2001.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 21 / 43

Page 38: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Numerical Results: Simulation Settings

I 64-QAM constellation (Q = 64).

I Maximum number of 4 retransmissions (M = 4).

I Assume the relay R and destination S2 have the same Gaussian noisepower σ2.

I Use a robust tabu search algorithm1to solve each QAP numerically.I Compare 3 MoDiv schemes:

1. No modulation diversity (NM).2. A heuristic CoRe scheme for HSPA2(CR).3. QAP-based solution (QAP).

1E. Taillard, “Robust taboo search for the quadratic assignment problem,” ParallelComputing, vol.17, no.4, pp.443-455, 1991.

2“Enhanced HARQ Method with Signal Constellation Rearrangement,” in 3rdGeneration Partnership Project (3GPP), Technical Specification TSGR1#19(01)0237,Mar. 2001.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 21 / 43

Page 39: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Numerical Results: Simulation Settings

I 64-QAM constellation (Q = 64).

I Maximum number of 4 retransmissions (M = 4).

I Assume the relay R and destination S2 have the same Gaussian noisepower σ2.

I Use a robust tabu search algorithm1to solve each QAP numerically.I Compare 3 MoDiv schemes:

1. No modulation diversity (NM).2. A heuristic CoRe scheme for HSPA2(CR).3. QAP-based solution (QAP).

1E. Taillard, “Robust taboo search for the quadratic assignment problem,” ParallelComputing, vol.17, no.4, pp.443-455, 1991.

2“Enhanced HARQ Method with Signal Constellation Rearrangement,” in 3rdGeneration Partnership Project (3GPP), Technical Specification TSGR1#19(01)0237,Mar. 2001.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 21 / 43

Page 40: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Numerical Results: Simulation Settings

I 64-QAM constellation (Q = 64).

I Maximum number of 4 retransmissions (M = 4).

I Assume the relay R and destination S2 have the same Gaussian noisepower σ2.

I Use a robust tabu search algorithm1to solve each QAP numerically.I Compare 3 MoDiv schemes:

1. No modulation diversity (NM).2. A heuristic CoRe scheme for HSPA2(CR).3. QAP-based solution (QAP).

1E. Taillard, “Robust taboo search for the quadratic assignment problem,” ParallelComputing, vol.17, no.4, pp.443-455, 1991.

2“Enhanced HARQ Method with Signal Constellation Rearrangement,” in 3rdGeneration Partnership Project (3GPP), Technical Specification TSGR1#19(01)0237,Mar. 2001.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 21 / 43

Page 41: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Numerical Results: Uncoded BER

Figure : m = 1, 2. Figure : m = 3, 4.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 22 / 43

Page 42: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Numerical Results: Coded BERAdd a Forward Error Correction (FEC) code so that the coded BER droprapidly as the noise power is below a certain level. The result is termed“waterfall curve” which is commonly used to highlight the performancegain in dB.

Figure : m = 1, 2. Figure : m = 3, 4.Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 23 / 43

Page 43: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Numerical Results: Average Throughput

Figure : Throughput comparison.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 24 / 43

Page 44: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Outline

Appplication of QAP in Modulation Diversity (MoDiv) DesignBackgroundMoDiv Design for Two-Way Amplify-and-Forward Relay HARQChannelMoDiv Design for Multiple-Input and Multiple-Output COordinatedMulti-Point ChannelConclusion

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 25 / 43

Page 45: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Multiple-Input and Multiple-Output (MIMO) COordinatedMulti-Point (CoMP) Channel

Figure : 2 coordinated multi-antenna Txs and 1 multi-antenna Rx. Differentmodulation mapping at the two Txs during retransmissions.

I CoMP: a promising technique to improve cell edge user data rate andspectral efficiency (e.g. LTE-Advanced).

I How do we generalize the idea of MoDiv design for MIMO-CoMPchannel?

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 26 / 43

Page 46: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

An Example of CoRe for MIMO

I NT ,1 = NT ,2 = NR = 1: H1 = H2 = 1 (single antenna, simpleaddition, no precoding).

I Different mapping across the 2 transmitters:I Effective constellation seen by the receiver: ψe = (ψ)1 + (ψ)2.

Original transmission (Gray). 1st retransmission.Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 27 / 43

Page 47: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

An Example of CoRe for MIMO

I NT ,1 = NT ,2 = NR = 1: H1 = H2 = 1 (single antenna, simpleaddition, no precoding).

I Different mapping across the 2 transmitters:

I Effective constellation seen by the receiver: ψe = (ψ)1 + (ψ)2.

Effective constellation mapping ofthe original transmission.

Effective constellation mapping ofthe 1st retransmission.

For HARQ-CC, this CoRe scheme of the 1st retransmission outperformsthe repeated use of the same Gray mapping across the 2 transmitters!

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 27 / 43

Page 48: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

MoDiv Design for MIMO Channel

I MIMO channel model: correlated Rician fading channel

H(m)a =

√Ka

Ka + 1Ha︸︷︷︸

“Mean”

+

√1

Ka + 1R1/2 H

(m)w ,a︸ ︷︷ ︸

“Variation”

T1/2a

K : Rician factor, R,Ta: correlation matrix or the receiver andtransmitter antennas, a = 1, 2 represent the 2 transmitters.

I HARQ protocol: HARQ-CC

I Design Criterion: BER upperbound based on PEP, successiveoptimization.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 28 / 43

Page 49: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Design Criterion

1. Successive optimization of BER upperbound based on PEP.

minψ(m)|ψ(k),k=0,...,m−1

P(m)BER , m = 1, . . . ,M

P(m)BER =

Q−1∑p=0

Q−1∑q=0

D[p, q]

Q log2QP(m)PEP(q|p),

2. Again a closed-form approximation to P(m)PEP(q|p) that can be

iteratively updated for growing m.

P(m)PEP(q|p) = P

(m−1)PEP (q|p)Em[p, q]

P(−1)PEP (q|p) = 1/2

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 29 / 43

Page 50: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Design Criterion

1. Successive optimization of BER upperbound based on PEP.

minψ(m)|ψ(k),k=0,...,m−1

P(m)BER , m = 1, . . . ,M

P(m)BER =

Q−1∑p=0

Q−1∑q=0

D[p, q]

Q log2QP(m)PEP(q|p),

2. Again a closed-form approximation to P(m)PEP(q|p) that can be

iteratively updated for growing m.

P(m)PEP(q|p) = P

(m−1)PEP (q|p)Em[p, q]

P(−1)PEP (q|p) = 1/2

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 29 / 43

Page 51: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Approximation of the Pairwise Error Probability

En[p, q] = E

[exp

(−‖A

(n)e(n)[p, q]‖2

4σ2

)]

=(4σ2)NR exp

(−µH

n [p, q]S−1n [p, q]µn[p, q])

det(Sn[p, q])

Sn[p, q] = 4σ2I +∑a=1,2

|e(n)a [p, q]|2pHa TapaKa + 1

R,

µn[p, q] =∑a=1,2

√Ka

Ka + 1Hapae

(n)a [p, q].

I σ2: the noise power at each receiver antenna.

I e(n)[p, q] = [e(n)1 [p, q], e

(n)2 [p, q]]T = ψ(n)[p]−ψ(n)[q].

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 30 / 43

Page 52: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Representation of CoReRepresenting the 2-D vector mapping function ψ(m)[·] = (ψ

(m)1 ,ψ

(m)2 )T

with Q3 binary variables:

x(m)pij =

{1 if ψ(m)[p] = (ψ0[i ], ψ0[j ])T

0 otherwise.p, i , j = 0, . . . ,Q − 1

ψ0 represents Gray-mapping for the original transmission (fixed).

Constraints: ψ(m)[·] as a permutation of 0, . . . ,Q − 1

Q−1∑i=0

Q−1∑j=0

xpij = 1

Q−1∑p=0

Q−1∑j=0

xpij = 1

Q−1∑p=0

Q−1∑i=0

xpij = 1

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 31 / 43

Page 53: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

A Successive Q3AP Formulation

MoDiv design via successive Q3AP

1. Set m = 1. Initialize the “distance” matrix dikjl (see next) and the

approximated PEP as tildeP(0)PEP(q|p) = dpqpq/2, for

p, q, i , j , k , l = 0, . . . ,Q − 1.

2. Evaluate the “flow” matrix:

f(m)pq =

D[p, q]

Q log2QP(m−1)PEP (q|p)

3. Solve the m-th Q3AP problem:

min{x(m)

pij }

Q−1∑p=0

Q−1∑i=0

Q−1∑j=0

Q−1∑q=0

Q−1∑k=0

Q−1∑l=0

f(m)pq dikjlx

(m)pij x

(m)qkl

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 32 / 43

Page 54: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

A Successive Q3AP Formulation

MoDiv design via successive Q3AP

1. Set m = 1. Initialize the “distance” matrix dikjl (see next) and the

approximated PEP as tildeP(0)PEP(q|p) = dpqpq/2, for

p, q, i , j , k , l = 0, . . . ,Q − 1.

2. Evaluate the “flow” matrix:

f(m)pq =

D[p, q]

Q log2QP(m−1)PEP (q|p)

3. Solve the m-th Q3AP problem:

min{x(m)

pij }

Q−1∑p=0

Q−1∑i=0

Q−1∑j=0

Q−1∑q=0

Q−1∑k=0

Q−1∑l=0

f(m)pq dikjlx

(m)pij x

(m)qkl

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 32 / 43

Page 55: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

A Successive Q3AP Formulation

MoDiv design via successive Q3AP

1. Set m = 1. Initialize the “distance” matrix dikjl (see next) and the

approximated PEP as tildeP(0)PEP(q|p) = dpqpq/2, for

p, q, i , j , k , l = 0, . . . ,Q − 1.

2. Evaluate the “flow” matrix:

f(m)pq =

D[p, q]

Q log2QP(m−1)PEP (q|p)

3. Solve the m-th Q3AP problem:

min{x(m)

pij }

Q−1∑p=0

Q−1∑i=0

Q−1∑j=0

Q−1∑q=0

Q−1∑k=0

Q−1∑l=0

f(m)pq dikjlx

(m)pij x

(m)qkl

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 32 / 43

Page 56: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

A Successive Q3AP Formulation (Continued)

MoDiv design via successive Q3AP

4. Update PEP:

P(m)PEP(q|p) =

Q−1∑i=0

Q−1∑k=0

Q−1∑j=0

Q−1∑l=0

P(m−1)PEP (q|p)dikjl x

(m)pij x

(m)qkl

where x(m)pij is the solution from Step 3.

5. Increase m by 1, return to Step 2 if m ≤ M.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 33 / 43

Page 57: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

A Successive Q3AP Formulation (Continued)

MoDiv design via successive Q3AP

4. Update PEP:

P(m)PEP(q|p) =

Q−1∑i=0

Q−1∑k=0

Q−1∑j=0

Q−1∑l=0

P(m−1)PEP (q|p)dikjl x

(m)pij x

(m)qkl

where x(m)pij is the solution from Step 3.

5. Increase m by 1, return to Step 2 if m ≤ M.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 33 / 43

Page 58: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Evaluating the Distance Matrix using Approximated PEP

dikjl =(4σ2)NR exp(−µH

ikjlS−1ikjlµikjl)

det(Sikjl)

where

Sikjl = 4σ2I +

(|eik |2pH1 T1p1

K1 + 1+|ejl |2pH2 T2p2

K2 + 1

)R,

µikjl =

√K1

K1 + 1H1p1eik +

√K2

K2 + 1H2p2ejl .

and eik = ψ0[i ]− ψ0[k], ejl = ψ0[j ]− ψ0[l ].

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 34 / 43

Page 59: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Comments

I The Q4 “distance” matrix has Q4 elelments. However, for Q-QAMconstellation, it only has O(Q2) unique value, can be computed moreefficiently.

I When there are N > 2 coordinated transmitters, the MoDiv designcan be formulated into a quadratic (N + 1)-dim problem, with Q-by-Q“flow” matrix and Q2N “distance” matrix. In practice, the cluster sizeof CoMP is limited by backhaul link constraints and usually N = 2, 3.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 35 / 43

Page 60: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Numerical Results: Simulation Settings

I 64-QAM constellation (Q = 64).

I Maximum number of 4 retransmissions (M = 4).

I NR = 1, NT ,1 = NT ,2 = 2, H1 = [0.2540; 0.2457],H2 = [−0.1027; 0.2320], T1 = T2 = [1, 0.7; 0.7, 1], K1 = K2 = 4.

I p1 and p2 are optimized as maximum SNR beamformer (MSNRB).

I Use a modified iterative local search algorithm3to solve each Q3APnumerically.

I Compare 3 MoDiv schemes:

1. No modulation diversity with maximum SNR beam-forming (NM).2. A heuristic CoRe scheme for HSPA with maximum SNR beam-forming

(CR).3. Q3AP-based solution (Q3AP).

3T. Stutzle, and D. Marco, “Local search and metaheuristics for the quadraticassignment problem,” Technical Report AIDA-01-01, Intellectics Group, DarmstadtUniversity of Technology, Germany, 2001.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 36 / 43

Page 61: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Numerical Results: Simulation Settings

I 64-QAM constellation (Q = 64).

I Maximum number of 4 retransmissions (M = 4).

I NR = 1, NT ,1 = NT ,2 = 2, H1 = [0.2540; 0.2457],H2 = [−0.1027; 0.2320], T1 = T2 = [1, 0.7; 0.7, 1], K1 = K2 = 4.

I p1 and p2 are optimized as maximum SNR beamformer (MSNRB).

I Use a modified iterative local search algorithm3to solve each Q3APnumerically.

I Compare 3 MoDiv schemes:

1. No modulation diversity with maximum SNR beam-forming (NM).2. A heuristic CoRe scheme for HSPA with maximum SNR beam-forming

(CR).3. Q3AP-based solution (Q3AP).

3T. Stutzle, and D. Marco, “Local search and metaheuristics for the quadraticassignment problem,” Technical Report AIDA-01-01, Intellectics Group, DarmstadtUniversity of Technology, Germany, 2001.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 36 / 43

Page 62: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Numerical Results: Simulation Settings

I 64-QAM constellation (Q = 64).

I Maximum number of 4 retransmissions (M = 4).

I NR = 1, NT ,1 = NT ,2 = 2, H1 = [0.2540; 0.2457],H2 = [−0.1027; 0.2320], T1 = T2 = [1, 0.7; 0.7, 1], K1 = K2 = 4.

I p1 and p2 are optimized as maximum SNR beamformer (MSNRB).

I Use a modified iterative local search algorithm3to solve each Q3APnumerically.

I Compare 3 MoDiv schemes:

1. No modulation diversity with maximum SNR beam-forming (NM).2. A heuristic CoRe scheme for HSPA with maximum SNR beam-forming

(CR).3. Q3AP-based solution (Q3AP).

3T. Stutzle, and D. Marco, “Local search and metaheuristics for the quadraticassignment problem,” Technical Report AIDA-01-01, Intellectics Group, DarmstadtUniversity of Technology, Germany, 2001.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 36 / 43

Page 63: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Numerical Results: Simulation Settings

I 64-QAM constellation (Q = 64).

I Maximum number of 4 retransmissions (M = 4).

I NR = 1, NT ,1 = NT ,2 = 2, H1 = [0.2540; 0.2457],H2 = [−0.1027; 0.2320], T1 = T2 = [1, 0.7; 0.7, 1], K1 = K2 = 4.

I p1 and p2 are optimized as maximum SNR beamformer (MSNRB).

I Use a modified iterative local search algorithm3to solve each Q3APnumerically.

I Compare 3 MoDiv schemes:

1. No modulation diversity with maximum SNR beam-forming (NM).2. A heuristic CoRe scheme for HSPA with maximum SNR beam-forming

(CR).3. Q3AP-based solution (Q3AP).

3T. Stutzle, and D. Marco, “Local search and metaheuristics for the quadraticassignment problem,” Technical Report AIDA-01-01, Intellectics Group, DarmstadtUniversity of Technology, Germany, 2001.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 36 / 43

Page 64: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Numerical Results: Simulation Settings

I 64-QAM constellation (Q = 64).

I Maximum number of 4 retransmissions (M = 4).

I NR = 1, NT ,1 = NT ,2 = 2, H1 = [0.2540; 0.2457],H2 = [−0.1027; 0.2320], T1 = T2 = [1, 0.7; 0.7, 1], K1 = K2 = 4.

I p1 and p2 are optimized as maximum SNR beamformer (MSNRB).

I Use a modified iterative local search algorithm3to solve each Q3APnumerically.

I Compare 3 MoDiv schemes:

1. No modulation diversity with maximum SNR beam-forming (NM).2. A heuristic CoRe scheme for HSPA with maximum SNR beam-forming

(CR).3. Q3AP-based solution (Q3AP).

3T. Stutzle, and D. Marco, “Local search and metaheuristics for the quadraticassignment problem,” Technical Report AIDA-01-01, Intellectics Group, DarmstadtUniversity of Technology, Germany, 2001.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 36 / 43

Page 65: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Numerical Results: Simulation Settings

I 64-QAM constellation (Q = 64).

I Maximum number of 4 retransmissions (M = 4).

I NR = 1, NT ,1 = NT ,2 = 2, H1 = [0.2540; 0.2457],H2 = [−0.1027; 0.2320], T1 = T2 = [1, 0.7; 0.7, 1], K1 = K2 = 4.

I p1 and p2 are optimized as maximum SNR beamformer (MSNRB).

I Use a modified iterative local search algorithm3to solve each Q3APnumerically.

I Compare 3 MoDiv schemes:

1. No modulation diversity with maximum SNR beam-forming (NM).2. A heuristic CoRe scheme for HSPA with maximum SNR beam-forming

(CR).3. Q3AP-based solution (Q3AP).

3T. Stutzle, and D. Marco, “Local search and metaheuristics for the quadraticassignment problem,” Technical Report AIDA-01-01, Intellectics Group, DarmstadtUniversity of Technology, Germany, 2001.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 36 / 43

Page 66: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Numerical Results: Simulation Settings

I 64-QAM constellation (Q = 64).

I Maximum number of 4 retransmissions (M = 4).

I NR = 1, NT ,1 = NT ,2 = 2, H1 = [0.2540; 0.2457],H2 = [−0.1027; 0.2320], T1 = T2 = [1, 0.7; 0.7, 1], K1 = K2 = 4.

I p1 and p2 are optimized as maximum SNR beamformer (MSNRB).

I Use a modified iterative local search algorithm3to solve each Q3APnumerically.

I Compare 3 MoDiv schemes:

1. No modulation diversity with maximum SNR beam-forming (NM).2. A heuristic CoRe scheme for HSPA with maximum SNR beam-forming

(CR).3. Q3AP-based solution (Q3AP).

3T. Stutzle, and D. Marco, “Local search and metaheuristics for the quadraticassignment problem,” Technical Report AIDA-01-01, Intellectics Group, DarmstadtUniversity of Technology, Germany, 2001.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 36 / 43

Page 67: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Numerical Results: Simulation Settings

I 64-QAM constellation (Q = 64).

I Maximum number of 4 retransmissions (M = 4).

I NR = 1, NT ,1 = NT ,2 = 2, H1 = [0.2540; 0.2457],H2 = [−0.1027; 0.2320], T1 = T2 = [1, 0.7; 0.7, 1], K1 = K2 = 4.

I p1 and p2 are optimized as maximum SNR beamformer (MSNRB).

I Use a modified iterative local search algorithm3to solve each Q3APnumerically.

I Compare 3 MoDiv schemes:

1. No modulation diversity with maximum SNR beam-forming (NM).2. A heuristic CoRe scheme for HSPA with maximum SNR beam-forming

(CR).3. Q3AP-based solution (Q3AP).

3T. Stutzle, and D. Marco, “Local search and metaheuristics for the quadraticassignment problem,” Technical Report AIDA-01-01, Intellectics Group, DarmstadtUniversity of Technology, Germany, 2001.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 36 / 43

Page 68: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Numerical Results: Simulation Settings

I 64-QAM constellation (Q = 64).

I Maximum number of 4 retransmissions (M = 4).

I NR = 1, NT ,1 = NT ,2 = 2, H1 = [0.2540; 0.2457],H2 = [−0.1027; 0.2320], T1 = T2 = [1, 0.7; 0.7, 1], K1 = K2 = 4.

I p1 and p2 are optimized as maximum SNR beamformer (MSNRB).

I Use a modified iterative local search algorithm3to solve each Q3APnumerically.

I Compare 3 MoDiv schemes:

1. No modulation diversity with maximum SNR beam-forming (NM).2. A heuristic CoRe scheme for HSPA with maximum SNR beam-forming

(CR).3. Q3AP-based solution (Q3AP).

3T. Stutzle, and D. Marco, “Local search and metaheuristics for the quadraticassignment problem,” Technical Report AIDA-01-01, Intellectics Group, DarmstadtUniversity of Technology, Germany, 2001.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 36 / 43

Page 69: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Numerical Results: Uncoded BER vs Noise Powerm = 0, . . . , 4 represents different round of HARQ (re)transmissions.

10 15 2010

−6

10−5

10−4

10−3

10−2

10−1

100

1/σ2(dB)

BE

R

TR0NM1

CR1Q3AP1NM2

CR2Q3AP2

Figure : m = 1, 2.

5 10 15 2010

−6

10−5

10−4

10−3

10−2

10−1

100

1/σ2(dB)

BE

R

NM3CR3

Q3AP3NM4

CR4Q3AP4

Figure : m = 3, 4.Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 37 / 43

Page 70: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Numerical Results: Uncoded BER vs KLarger K ↔ the channel is less random.

0 2 4 6 8 1010

−6

10−5

10−4

10−3

10−2

10−1

K

BE

R

TR0

NM1

CR1

Q3AP1

NM2

CR2

Q3AP2

Figure : m = 1, 2, 1/σ2 = 18dB.

0 2 4 6 8 1010

−6

10−5

10−4

10−3

10−2

10−1

K

BE

R

NM3

CR3

Q3AP3

NM4

CR4

Q3AP4

Figure : m = 3, 4, 1/σ2 = 8dB.Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 38 / 43

Page 71: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Numerical Results: Coded BER

2 4 6 8 10 12

10−4

10−3

10−2

10−1

100

1/σ2(dB)

Coded B

ER

NM1CR1

Q3AP1NM2

CR2Q3AP2

Figure : m = 1, 2.

−2 0 2 4 6 8

10−4

10−3

10−2

10−1

100

1/σ2(dB)

Coded B

ER

NM3CR3

Q3AP3NM4

CR4Q3AP4

Figure : m = 3, 4.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 39 / 43

Page 72: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Numerical Results: Average Throughput

5 10 150

1

2

3

4

5

1/σ2(dB)

Thro

ughput (info

bits/s

ym

bol)

NMCRQ3AP

Figure : Throughput comparison.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 40 / 43

Page 73: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Outline

Appplication of QAP in Modulation Diversity (MoDiv) DesignBackgroundMoDiv Design for Two-Way Amplify-and-Forward Relay HARQChannelMoDiv Design for Multiple-Input and Multiple-Output COordinatedMulti-Point ChannelConclusion

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 41 / 43

Page 74: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Conclusion

I Formulate Modulation Diversity (MoDiv) design for wirelesscommunication system into Quadratic Assignment Problems (QAPs):

1. Two-Way Relay Analog Network Coding Rayleigh-fading channel:successive Koopman-Beckmann QAP4.

2. Correlated Rician-fading Multiple-Input and Multiple-OutputCoordinated Multi-Point channel: successive Q3AP5.

I Significant performance gain for a wide range of settings over existingheuristic MoDiv schemes.

4W. Wu, H. Mittelmann and Z. Ding, “Modulation Design for Two-WayAmplify-and-Forward Relay HARQ,” IEEE Wireless Commun. Lett., vol. 5, no. 3, pp.244-247, June 2016.

5W. Wu, H. Mittelmann and Z. Ding, “Modulation Design for MIMO-CoMPHARQ,” submitted for publication.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 42 / 43

Page 75: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Conclusion

I Formulate Modulation Diversity (MoDiv) design for wirelesscommunication system into Quadratic Assignment Problems (QAPs):

1. Two-Way Relay Analog Network Coding Rayleigh-fading channel:successive Koopman-Beckmann QAP4.

2. Correlated Rician-fading Multiple-Input and Multiple-OutputCoordinated Multi-Point channel: successive Q3AP5.

I Significant performance gain for a wide range of settings over existingheuristic MoDiv schemes.

4W. Wu, H. Mittelmann and Z. Ding, “Modulation Design for Two-WayAmplify-and-Forward Relay HARQ,” IEEE Wireless Commun. Lett., vol. 5, no. 3, pp.244-247, June 2016.

5W. Wu, H. Mittelmann and Z. Ding, “Modulation Design for MIMO-CoMPHARQ,” submitted for publication.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 42 / 43

Page 76: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Conclusion

I Formulate Modulation Diversity (MoDiv) design for wirelesscommunication system into Quadratic Assignment Problems (QAPs):

1. Two-Way Relay Analog Network Coding Rayleigh-fading channel:successive Koopman-Beckmann QAP4.

2. Correlated Rician-fading Multiple-Input and Multiple-OutputCoordinated Multi-Point channel: successive Q3AP5.

I Significant performance gain for a wide range of settings over existingheuristic MoDiv schemes.

4W. Wu, H. Mittelmann and Z. Ding, “Modulation Design for Two-WayAmplify-and-Forward Relay HARQ,” IEEE Wireless Commun. Lett., vol. 5, no. 3, pp.244-247, June 2016.

5W. Wu, H. Mittelmann and Z. Ding, “Modulation Design for MIMO-CoMPHARQ,” submitted for publication.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 42 / 43

Page 77: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

Conclusion

I Formulate Modulation Diversity (MoDiv) design for wirelesscommunication system into Quadratic Assignment Problems (QAPs):

1. Two-Way Relay Analog Network Coding Rayleigh-fading channel:successive Koopman-Beckmann QAP4.

2. Correlated Rician-fading Multiple-Input and Multiple-OutputCoordinated Multi-Point channel: successive Q3AP5.

I Significant performance gain for a wide range of settings over existingheuristic MoDiv schemes.

4W. Wu, H. Mittelmann and Z. Ding, “Modulation Design for Two-WayAmplify-and-Forward Relay HARQ,” IEEE Wireless Commun. Lett., vol. 5, no. 3, pp.244-247, June 2016.

5W. Wu, H. Mittelmann and Z. Ding, “Modulation Design for MIMO-CoMPHARQ,” submitted for publication.

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 42 / 43

Page 78: Modulation Design For MIMO HARQ Channelplato.asu.edu/talks/informs2016.pdf · Modulation Design For MIMO HARQ Channel Hans D Mittelmann School of Mathematical and Statistical Sciences

THE ENDThank you for your attention

Questions or Remarks?

slides of talk at:http://plato.asu.edu/talks/informs2016.pdf

paper at: http://www.optimization-online.org/DB HTML/2015/10/5181.html

Modulation Design For MIMO HARQ Channel Hans D Mittelmann MATHEMATICS AND STATISTICS 43 / 43


Recommended