Top Banner
intro interference networks bounds conclusion Graphs and Algebra in Modern Communication. Felice Manganiello School of Math and Stat Sciences @ Clemson University Cybersecurity Research Lab @ Ryerson University May 26, 2020 Joint work with Kschischang (UofT), Ravagnani (TU/e), Savary (Clemson) Kai (UMichigan), Pedro (UMaryland), Paige (U of Mary Washington), Kimberly (Bowdoin College) and Nathan (Haverford College) Partially funded by NSF Grant No. DMS:1547399. Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication
81

Graphs and Algebra in Modern Communication.

May 20, 2022

Download

Documents

dariahiddleston
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion

Graphs and Algebra in Modern Communication.

Felice ManganielloSchool of Math and Stat Sciences @ Clemson University

Cybersecurity Research Lab @ Ryerson University

May 26, 2020

Joint work withKschischang (UofT), Ravagnani (TU/e), Savary (Clemson)

Kai (UMichigan), Pedro (UMaryland), Paige (U of Mary Washington),

Kimberly (Bowdoin College) and Nathan (Haverford College)

Partially funded by NSF Grant No. DMS:1547399.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 2: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion

1 Introduction

2 Interference NetworksDefinitionMultiple Unicast networkLinear Achievability and complexity

3 Achievability bounds for Multiple Unicast NetworksLower BoundUpper Bounds

4 Conclusions

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 3: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion

Noisy-Channel Coding Theorem (1948)

Theorem (Noisy-Channel Coding Theorem - Shannon - 1948)

“Any channel, however affected by noise, possesses a specificchannel capacity - a rate of conveying information that can neverbe exceeded without error, but that can always be attained with anarbitrarily small probability of error.”

Solved: Turbo codes (LTE networks), Polar & spatially-coupledLDPC codes (5G networks)

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 4: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion

Noisy-Channel Coding Theorem (1948)

Theorem (Noisy-Channel Coding Theorem - Shannon - 1948)

“Any channel, however affected by noise, possesses a specificchannel capacity - a rate of conveying information that can neverbe exceeded without error, but that can always be attained with anarbitrarily small probability of error.”

Solved: Turbo codes (LTE networks), Polar & spatially-coupledLDPC codes (5G networks)

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 5: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion

Noisy-Channel Coding Theorem (1948)

Theorem (Noisy-Channel Coding Theorem - Shannon - 1948)

“Any channel, however affected by noise, possesses a specificchannel capacity - a rate of conveying information that can neverbe exceeded without error, but that can always be attained with anarbitrarily small probability of error.”

Solved: Turbo codes (LTE networks), Polar & spatially-coupledLDPC codes (5G networks)

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 6: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion

Networks - a graph perspective

A network is a directed acyclic graph N = (V, E ,S,R,Fq).

• Sources: nodes with no incoming edges, S ( V.

• Sinks: nodes with no outgoing edges, R ( V.

• Edges represent perfect unit capacity channels.

• each sink R ∈ R demands messages from DR ⊆ S.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 7: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion

Networks - a graph perspective

A network is a directed acyclic graph N = (V, E ,S,R,Fq).

• Unicast Problem: |S| = |R| = 1 and DR = S.

• Multicast Problem: |R| ≥ 1 and DR = S for all R ∈ R.

• Multiple Unicast problem: S = {S1, . . . ,Sn},R = {R1, . . . ,Rn}, and DRi

= {Si}.Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 8: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion

Unicast Network

• Communication rate: ρ ≤ mincut(S ,R).

• Menger’s Theorem: mincut(S ,R) = maximum number ofpairwise edge–disjoint paths.

• Routing maximizes R.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 9: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion

Unicast Network

• Communication rate: ρ ≤ mincut(S ,R).

• Menger’s Theorem: mincut(S ,R) = maximum number ofpairwise edge–disjoint paths.

• Routing maximizes R.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 10: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion

Unicast Network

• Communication rate: ρ ≤ mincut(S ,R).

• Menger’s Theorem: mincut(S ,R) = maximum number ofpairwise edge–disjoint paths.

• Routing maximizes R.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 11: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion

Multicast network [Li et al., 2003, Koetter and Medard, 2003]

Theorem (Linear Network Multicasting Theorem)

Let N = (V, E ,S,R,Fq). A multicast rate of

minR∈R

mincut(S,R)

is achievable, for sufficiently large q, with linear network coding.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 12: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion

Multicast network [Li et al., 2003, Koetter and Medard, 2003]

Theorem (Linear Network Multicasting Theorem)

Let N = (V, E ,S,R,Fq). A multicast rate of

minR∈R

mincut(S,R)

is achievable, for sufficiently large q, with linear network coding.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 13: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion

Multicast network [Li et al., 2003, Koetter and Medard, 2003]

Theorem (Linear Network Multicasting Theorem)

Let N = (V, E ,S,R,Fq). A multicast rate of

minR∈R

mincut(S,R)

is achievable, for sufficiently large q, with linear network coding.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 14: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion

Multicast network [Li et al., 2003, Koetter and Medard, 2003]

Theorem (Linear Network Multicasting Theorem)

Let N = (V, E ,S,R,Fq). A multicast rate of

minR∈R

mincut(S,R)

is achievable, for sufficiently large q, with linear network coding.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 15: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion

Multicast network [Li et al., 2003, Koetter and Medard, 2003]

Theorem (Linear Network Multicasting Theorem)

Let N = (V, E ,S,R,Fq). A multicast rate of

minR∈R

mincut(S,R)

is achievable, for sufficiently large q, with linear network coding.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 16: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion

Multicast network [Li et al., 2003, Koetter and Medard, 2003]

Theorem (Linear Network Multicasting Theorem)

Let N = (V, E ,S,R,Fq). A multicast rate of

minR∈R

mincut(S,R)

is achievable, for sufficiently large q, with linear network coding.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 17: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion

Insufficiency of LNC [Dougherty et al., 2005]

Theorem

There exists an solvable network that has no linear solution overany finite field and any vector dimension.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 18: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

1 Introduction

2 Interference NetworksDefinitionMultiple Unicast networkLinear Achievability and complexity

3 Achievability bounds for Multiple Unicast NetworksLower BoundUpper Bounds

4 Conclusions

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 19: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Networks and Interference

“Interference is a major impairment to the reliable communicationin multi-user wireless networks, due to the broadcast andsuperposition nature of wireless medium.” [Zhao et al., 2016]

Let N be a network with S sources setand R receivers set. A network hasinterference if

• DR 6= S for some R ∈ R• for some R ∈ R there is a paths

between S /∈ DR and R.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 20: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Networks and Interference

“Interference is a major impairment to the reliable communicationin multi-user wireless networks, due to the broadcast andsuperposition nature of wireless medium.” [Zhao et al., 2016]

Let N be a network with S sources setand R receivers set. A network hasinterference if

• DR 6= S for some R ∈ R• for some R ∈ R there is a paths

between S /∈ DR and R.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 21: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Networks and Interference

“Interference is a major impairment to the reliable communicationin multi-user wireless networks, due to the broadcast andsuperposition nature of wireless medium.” [Zhao et al., 2016]

Let N be a network with S sources setand R receivers set. A network hasinterference if

• DR 6= S for some R ∈ R• for some R ∈ R there is a paths

between S /∈ DR and R.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 22: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Multiple Unicast network

Definition

A multiple unicast network is a network N such that |S| = |R| andDRi

= {Si} for i = 1, . . . , |S|.

Communication strategy:

• 1 round → no interference-freecommunication possible.

• multiple rounds → time sharing.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 23: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Multiple Unicast network

Definition

A multiple unicast network is a network N such that |S| = |R| andDRi

= {Si} for i = 1, . . . , |S|.

Communication strategy:

• 1 round → no interference-freecommunication possible.

• multiple rounds → time sharing.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 24: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Multiple Unicast network

Definition

A multiple unicast network is a network N such that |S| = |R| andDRi

= {Si} for i = 1, . . . , |S|.

Communication strategy:

• 1 round

→ no interference-freecommunication possible.

• multiple rounds → time sharing.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 25: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Multiple Unicast network

Definition

A multiple unicast network is a network N such that |S| = |R| andDRi

= {Si} for i = 1, . . . , |S|.

Communication strategy:

• 1 round → no interference-freecommunication possible.

• multiple rounds → time sharing.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 26: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Multiple Unicast network

Definition

A multiple unicast network is a network N such that |S| = |R| andDRi

= {Si} for i = 1, . . . , |S|.

Communication strategy:

• 1 round → no interference-freecommunication possible.

• multiple rounds → time sharing.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 27: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Multiple Unicast network (cont’d)

Communication strategy:

• multiple rounds → time sharing.

• 1 round → interference alignment,meaning use of subspaces tocommunicate without interference

• original paper[Cadambe and Jafar, 2008].

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 28: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Multiple Unicast network (cont’d)

Communication strategy:

• multiple rounds → time sharing.

• 1 round → interference alignment,meaning use of subspaces tocommunicate without interference

• original paper[Cadambe and Jafar, 2008].

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 29: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Multiple Unicast network (cont’d)

Communication strategy:

• multiple rounds → time sharing.

• 1 round →

interference alignment,meaning use of subspaces tocommunicate without interference

• original paper[Cadambe and Jafar, 2008].

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 30: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Multiple Unicast network (cont’d)

Communication strategy:

• multiple rounds → time sharing.

• 1 round → interference alignment,meaning use of subspaces tocommunicate without interference

• original paper[Cadambe and Jafar, 2008].

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 31: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Multiple Unicast network (cont’d)

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 32: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Multiple Unicast network (cont’d)

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 33: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Multiple Unicast network (cont’d)

Communication strategy:

• multiple rounds → time sharing.

• 1 round → interference alignment,meaning use of subspaces tocommunicate without interference

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 34: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Multiple Unicast network - Notation

• si number of antennas available tosource Si and s =

∑Ni=1 si .

• ti number of antennas available tosource Ri and t =

∑Ni=1 ti .

• The adjacency matrix H ∈ {0, 1}t×s ,

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 35: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Multiple Unicast network - Notation

• si number of antennas available tosource Si and s =

∑Ni=1 si .

• ti number of antennas available tosource Ri and t =

∑Ni=1 ti .

• The adjacency matrix H ∈ {0, 1}t×s ,

H =

H11

H22

HNN

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 36: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Multiple Unicast network - Notation

• si number of antennas available tosource Si and s =

∑Ni=1 si .

• ti number of antennas available tosource Ri and t =

∑Ni=1 ti .

• The adjacency matrix H ∈ {0, 1}t×s ,

H =

H11 H12 . . . H1N

H21 H22 . . . H2N...

......

HN1 HN2 . . . HNN

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 37: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Example

H =

1 0 0 0 0 00 1 0 0 1 01 0 1 0 0 00 0 0 1 0 00 0 0 1 1 00 1 0 0 0 1

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 38: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Linear Encoders and Decoders

E =

E1 0 . . . 00 E2 . . . 0...

...0 0 . . . EN

D =

D1 0 . . . 00 D2 . . . 0...

...0 0 . . . DN

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 39: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Linear Encoders and Decoders

E =

E1 0 . . . 00 E2 . . . 0...

...0 0 . . . EN

D =

D1 0 . . . 00 D2 . . . 0...

...0 0 . . . DN

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 40: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Linear Network Communication

mi ,1...

mi ,`i

j 6=i

mj ,1...

mj ,`j

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 41: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Linear Network Communication

Ei

mi ,1...

mi ,`i

j 6=i Ej

mj ,1...

mj ,`j

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 42: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Linear Network Communication

HiiEi

mi ,1...

mi ,`i

+∑

j 6=i HijEj

mj ,1...

mj ,`j

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 43: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Linear Network Communication

DiHiiEi

mi ,1...

mi ,`i

+∑

j 6=i DiHijEj

mj ,1...

mj ,`j

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 44: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Linear Network Communication

m̂i ,1...

m̂i ,`i

= DiHiiEi

mi ,1...

mi ,`i

+∑

j 6=i DiHijEj

mj ,1...

mj ,`j

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 45: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Linear Network Communication

m̂i ,1...

m̂i ,`i

= DiHiiEi

mi ,1...

mi ,`i

+∑

j 6=i DiHijEj

mj ,1...

mj ,`j

=

mi ,1...

mi ,`i

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 46: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Linear Achievability of Multiple Unicast networks

Definition

A network N is linearly achievable for ρ = (ρ1, . . . , ρN) ∈ ZN , orsimply ρ-linearly achievable, if there exist two matrices D,E (withentries in Fq) such that

DiHijEj = 0 and rank(DiHiiEi ) = ρi .

• DiHiiEi is a `i × `i matrix.• wlog Di can be chosen to be in RCEF and messages are sent

at pivot positions.

DiHiiEi

m1

0m3

...mρi

=

1 0 . . . 0 0 . . . 0? 0 . . . 0 0 . . . 00 1 . . . 0 0 . . . 0...

......

0 0 . . . 1 0 . . . 0

m1

0m3

...mρi

=

m1

?m3

...mρi

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 47: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Linear Achievability Region

Definition

The linear achievability region of network N , denoted Lin(N ), isthe subset of RN for which N is ρ-linearly achievable.

H =

1 0 1 00 1 0 01 0 1 00 0 0 1

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 48: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Algebraic model

We represent a network N by matrices with

DHE =

D1H11E1 . . . D1H1NEN

D2H21E1 . . . D2H2NEN...

. . ....

DNHN1E1 . . . DNHNNEN

where E ∈ Fq[e, d ]{s×`} and D ∈ Fq[e, d ]{`×t}.

Optimization problem. Find matrices E ,D such that

• DiHijEj = 0 −→ homogeneous bilinear system.

• rankDiHiiEi is maximal.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 49: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Algebraic model

We represent a network N by matrices with

DHE =

D1H11E1 . . . D1H1NEN

D2H21E1 . . . D2H2NEN...

. . ....

DNHN1E1 . . . DNHNNEN

where E ∈ Fq[e, d ]{s×`} and D ∈ Fq[e, d ]{`×t}.

Optimization problem. Find matrices E ,D such that

• DiHijEj = 0 −→ homogeneous bilinear system.

• rankDiHiiEi is maximal.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 50: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Algebraic model

We represent a network N by matrices with

DHE =

D1H11E1 . . . D1H1NEN

D2H21E1 . . . D2H2NEN...

. . ....

DNHN1E1 . . . DNHNNEN

where E ∈ Fq[e, d ]{s×`} and D ∈ Fq[e, d ]{`×t}.

Optimization problem. Find matrices E ,D such that

• DiHijEj = 0

−→ homogeneous bilinear system.

• rankDiHiiEi is maximal.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 51: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Algebraic model

We represent a network N by matrices with

DHE =

D1H11E1 . . . D1H1NEN

D2H21E1 . . . D2H2NEN...

. . ....

DNHN1E1 . . . DNHNNEN

where E ∈ Fq[e, d ]{s×`} and D ∈ Fq[e, d ]{`×t}.

Optimization problem. Find matrices E ,D such that

• DiHijEj = 0 −→ homogeneous bilinear system.

• rankDiHiiEi is maximal.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 52: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion definition multiple unicast achievability

Algebraic model

We represent a network N by matrices with

DHE =

D1H11E1 . . . D1H1NEN

D2H21E1 . . . D2H2NEN...

. . ....

DNHN1E1 . . . DNHNNEN

where E ∈ Fq[e, d ]{s×`} and D ∈ Fq[e, d ]{`×t}.

Optimization problem. Find matrices E ,D such that

• DiHijEj = 0 −→ homogeneous bilinear system.

• rankDiHiiEi is maximal.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 53: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion lower upper

1 Introduction

2 Interference NetworksDefinitionMultiple Unicast networkLinear Achievability and complexity

3 Achievability bounds for Multiple Unicast NetworksLower BoundUpper Bounds

4 Conclusions

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 54: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion lower upper

Some preliminary results

Lemma

If N is ρ-linearly achievable thenρi ≤ rank Hii = ri .

Lemma

Let N be such that ti = si = ri = `i for all 1 ≤ i ≤ N. Then N is`-linearly achievable for ` = (`1, . . . , `N) only if D, Hand E arefullrank.

Theorem

Let N be such that ti = si = ri = `i for all 1 ≤ i ≤ N. If N hasinterference then N is not linearly achievable for ` (for all finitefields).

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 55: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion lower upper

Some preliminary results

Lemma

If N is ρ-linearly achievable thenρi ≤ rank Hii = ri .

Lemma

Let N be such that ti = si = ri = `i for all 1 ≤ i ≤ N. Then N is`-linearly achievable for ` = (`1, . . . , `N) only if D, Hand E arefullrank.

Theorem

Let N be such that ti = si = ri = `i for all 1 ≤ i ≤ N. If N hasinterference then N is not linearly achievable for ` (for all finitefields).

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 56: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion lower upper

Some preliminary results

Lemma

If N is ρ-linearly achievable thenρi ≤ rank Hii = ri .

Lemma

Let N be such that ti = si = ri = `i for all 1 ≤ i ≤ N. Then N is`-linearly achievable for ` = (`1, . . . , `N) only if D, Hand E arefullrank.

Theorem

Let N be such that ti = si = ri = `i for all 1 ≤ i ≤ N. If N hasinterference then N is not linearly achievable for ` (for all finitefields).

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 57: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion lower upper

Lower achievability bound

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 58: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion lower upper

Lower achievability bound

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 59: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion lower upper

Lower achievability bound

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 60: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion lower upper

Sufficient condition for solvability

H =

H11 H12 . . . H1N

H21 H22 . . . H2N...

...HN1 HN2 . . . HNN

Definition

We call rank of interference the valueoi := rank(Hij | j 6= i).

Theorem

A network N is(r1 − o1, . . . , rN − oN)-linearly achievableand matrices E and D can be computedusing Gaussian elimination 2N times.

H =

1 0 0 0 0 00 1 0 0 1 01 0 1 0 0 00 0 0 1 0 00 0 0 1 1 00 1 0 0 0 1

o1 = 1, o2 = 1, o3 = 2

N is (1, 1, 0)-linearlyachievable.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 61: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion lower upper

Sufficient condition for solvability

H =

H11 H12 . . . H1N

H21 H22 . . . H2N...

...HN1 HN2 . . . HNN

Definition

We call rank of interference the valueoi := rank(Hij | j 6= i).

Theorem

A network N is(r1 − o1, . . . , rN − oN)-linearly achievableand matrices E and D can be computedusing Gaussian elimination 2N times.

H =

1 0 0 0 0 00 1 0 0 1 01 0 1 0 0 00 0 0 1 0 00 0 0 1 1 00 1 0 0 0 1

o1 = 1, o2 = 1, o3 = 2

N is (1, 1, 0)-linearlyachievable.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 62: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion lower upper

Proof of the lower bound

Denote by `ker(Hij | j 6= i) be the left kernel of (Hij | j 6= i).

• DiHij = 0 if and only if the rows of Di are contained in`ker (Hij | j 6= i).

• (Hij | j 6= i) is a matrix with ti rows and rank oi .

• dim `ker (Hij | j 6= i) is ti − oi .

• Choose the rows of Di to span the `ker (Hij | j 6= i).

• Without loss of generality Hii is a partial identity of rank ri .

• rankDiHii ≥ (ti − oi )− (ti − ri ) = ri − oi .

• Let Ei be any invertible matrix, then rankDiHiiEi ≥ ri − oi .

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 63: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion lower upper

Proof of the lower bound

Denote by `ker(Hij | j 6= i) be the left kernel of (Hij | j 6= i).

• DiHij = 0 if and only if the rows of Di are contained in`ker (Hij | j 6= i).

• (Hij | j 6= i) is a matrix with ti rows and rank oi .

• dim `ker (Hij | j 6= i) is ti − oi .

• Choose the rows of Di to span the `ker (Hij | j 6= i).

• Without loss of generality Hii is a partial identity of rank ri .

• rankDiHii ≥ (ti − oi )− (ti − ri ) = ri − oi .

• Let Ei be any invertible matrix, then rankDiHiiEi ≥ ri − oi .

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 64: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion lower upper

Proof of the lower bound

Denote by `ker(Hij | j 6= i) be the left kernel of (Hij | j 6= i).

• DiHij = 0 if and only if the rows of Di are contained in`ker (Hij | j 6= i).

• (Hij | j 6= i) is a matrix with ti rows and rank oi .

• dim `ker (Hij | j 6= i) is ti − oi .

• Choose the rows of Di to span the `ker (Hij | j 6= i).

• Without loss of generality Hii is a partial identity of rank ri .

• rankDiHii ≥ (ti − oi )− (ti − ri ) = ri − oi .

• Let Ei be any invertible matrix, then rankDiHiiEi ≥ ri − oi .

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 65: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion lower upper

Proof of the lower bound

Denote by `ker(Hij | j 6= i) be the left kernel of (Hij | j 6= i).

• DiHij = 0 if and only if the rows of Di are contained in`ker (Hij | j 6= i).

• (Hij | j 6= i) is a matrix with ti rows and rank oi .

• dim `ker (Hij | j 6= i) is ti − oi .

• Choose the rows of Di to span the `ker (Hij | j 6= i).

• Without loss of generality Hii is a partial identity of rank ri .

• rankDiHii ≥ (ti − oi )− (ti − ri ) = ri − oi .

• Let Ei be any invertible matrix, then rankDiHiiEi ≥ ri − oi .

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 66: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion lower upper

Proof of the lower bound

Denote by `ker(Hij | j 6= i) be the left kernel of (Hij | j 6= i).

• DiHij = 0 if and only if the rows of Di are contained in`ker (Hij | j 6= i).

• (Hij | j 6= i) is a matrix with ti rows and rank oi .

• dim `ker (Hij | j 6= i) is ti − oi .

• Choose the rows of Di to span the `ker (Hij | j 6= i).

• Without loss of generality Hii is a partial identity of rank ri .

• rankDiHii ≥ (ti − oi )− (ti − ri ) = ri − oi .

• Let Ei be any invertible matrix, then rankDiHiiEi ≥ ri − oi .

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 67: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion lower upper

Proof of the lower bound

Denote by `ker(Hij | j 6= i) be the left kernel of (Hij | j 6= i).

• DiHij = 0 if and only if the rows of Di are contained in`ker (Hij | j 6= i).

• (Hij | j 6= i) is a matrix with ti rows and rank oi .

• dim `ker (Hij | j 6= i) is ti − oi .

• Choose the rows of Di to span the `ker (Hij | j 6= i).

• Without loss of generality Hii is a partial identity of rank ri .

• rankDiHii ≥ (ti − oi )− (ti − ri ) = ri − oi .

• Let Ei be any invertible matrix, then rankDiHiiEi ≥ ri − oi .

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 68: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion lower upper

Proof of the lower bound

Denote by `ker(Hij | j 6= i) be the left kernel of (Hij | j 6= i).

• DiHij = 0 if and only if the rows of Di are contained in`ker (Hij | j 6= i).

• (Hij | j 6= i) is a matrix with ti rows and rank oi .

• dim `ker (Hij | j 6= i) is ti − oi .

• Choose the rows of Di to span the `ker (Hij | j 6= i).

• Without loss of generality Hii is a partial identity of rank ri .

• rankDiHii ≥ (ti − oi )− (ti − ri ) = ri − oi .

• Let Ei be any invertible matrix, then rankDiHiiEi ≥ ri − oi .

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 69: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion lower upper

Encoding-Dependent Linear Achievability

Theorem

A network N is ρ = (ρ1, . . . , ρn)-linearly achievable if and only ifthere exist E1, . . . ,En such that for all i ∈ [N] if holds that

ρi ≤ dim `ker(HijEj | j 6= i)/̀ ker(HijEj | ∀ j).

Moreover the bound is always tight.

• Let Vi = `ker(HijEj | j 6= i)/̀ ker(HijEj | ∀ j)

• If Di is such that DiHijEj = 0, then the rows of Di belong to`ker(HijEj | j 6= i).

• Let vi ,1, . . . , vi ,`i be the rows of Di , then

rankDiHiiEi = dim〈vi ,1HiiEi , . . . , vi ,`iHiiEi 〉≤ dim `ker(HijEj | j 6= i)/̀ ker(HijEj | ∀ j)

• rankDiHiiEi = dimVi iff {[vi ,1], . . . , [vi ,`i ]} spans Vi .

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 70: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion lower upper

Encoding-Dependent Linear Achievability

Theorem

A network N is ρ = (ρ1, . . . , ρn)-linearly achievable if and only ifthere exist E1, . . . ,En such that for all i ∈ [N] if holds that

ρi ≤ dim `ker(HijEj | j 6= i)/̀ ker(HijEj | ∀ j).

Moreover the bound is always tight.

• Let Vi = `ker(HijEj | j 6= i)/̀ ker(HijEj | ∀ j)

• If Di is such that DiHijEj = 0, then the rows of Di belong to`ker(HijEj | j 6= i).

• Let vi ,1, . . . , vi ,`i be the rows of Di , then

rankDiHiiEi = dim〈vi ,1HiiEi , . . . , vi ,`iHiiEi 〉≤ dim `ker(HijEj | j 6= i)/̀ ker(HijEj | ∀ j)

• rankDiHiiEi = dimVi iff {[vi ,1], . . . , [vi ,`i ]} spans Vi .

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 71: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion lower upper

Encoding-Dependent Linear Achievability

Theorem

A network N is ρ = (ρ1, . . . , ρn)-linearly achievable if and only ifthere exist E1, . . . ,En such that for all i ∈ [N] if holds that

ρi ≤ dim `ker(HijEj | j 6= i)/̀ ker(HijEj | ∀ j).

Moreover the bound is always tight.

• Let Vi = `ker(HijEj | j 6= i)/̀ ker(HijEj | ∀ j)

• If Di is such that DiHijEj = 0, then the rows of Di belong to`ker(HijEj | j 6= i).

• Let vi ,1, . . . , vi ,`i be the rows of Di , then

rankDiHiiEi = dim〈vi ,1HiiEi , . . . , vi ,`iHiiEi 〉≤ dim `ker(HijEj | j 6= i)/̀ ker(HijEj | ∀ j)

• rankDiHiiEi = dimVi iff {[vi ,1], . . . , [vi ,`i ]} spans Vi .

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 72: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion lower upper

Encoding-Dependent Linear Achievability

Theorem

A network N is ρ = (ρ1, . . . , ρn)-linearly achievable if and only ifthere exist E1, . . . ,En such that for all i ∈ [N] if holds that

ρi ≤ dim `ker(HijEj | j 6= i)/̀ ker(HijEj | ∀ j).

Moreover the bound is always tight.

• Let Vi = `ker(HijEj | j 6= i)/̀ ker(HijEj | ∀ j)

• If Di is such that DiHijEj = 0, then the rows of Di belong to`ker(HijEj | j 6= i).

• Let vi ,1, . . . , vi ,`i be the rows of Di , then

rankDiHiiEi = dim〈vi ,1HiiEi , . . . , vi ,`iHiiEi 〉≤ dim `ker(HijEj | j 6= i)/̀ ker(HijEj | ∀ j)

• rankDiHiiEi = dimVi iff {[vi ,1], . . . , [vi ,`i ]} spans Vi .

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 73: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion lower upper

Encoding-Dependent Linear Achievability

Theorem

A network N is ρ = (ρ1, . . . , ρn)-linearly achievable if and only ifthere exist E1, . . . ,En such that for all i ∈ [N] if holds that

ρi ≤ dim `ker(HijEj | j 6= i)/̀ ker(HijEj | ∀ j).

Moreover the bound is always tight.

• Let Vi = `ker(HijEj | j 6= i)/̀ ker(HijEj | ∀ j)

• If Di is such that DiHijEj = 0, then the rows of Di belong to`ker(HijEj | j 6= i).

• Let vi ,1, . . . , vi ,`i be the rows of Di , then

rankDiHiiEi = dim〈vi ,1HiiEi , . . . , vi ,`iHiiEi 〉≤ dim `ker(HijEj | j 6= i)/̀ ker(HijEj | ∀ j)

• rankDiHiiEi = dimVi iff {[vi ,1], . . . , [vi ,`i ]} spans Vi .

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 74: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion lower upper

Example

H =

1 0 0 0 0 00 1 0 0 1 01 0 1 0 0 00 0 0 1 0 00 0 0 1 1 00 1 0 0 0 1

,

E1 =

(1 00 0

),E2 =

(1 00 1

),E3 =

(0 00 1

)

H31E1 = 0 H32E2 =

(0 10 0

)H33E3 =

(0 00 1

)

`ker H31E1 = F2q `ker H32E2 = 〈(0, 1)〉 `ker H33E2 = 〈(1, 0)〉

ρ3 = dim `ker(H3jEj | j 6= 3)/̀ ker(H3jEj | ∀ j) = dim 〈(0, 1)〉/{0} = 1

D3 =

(0 10 0

)

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 75: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion lower upper

Example

H =

1 0 0 0 0 00 1 0 0 1 01 0 1 0 0 00 0 0 1 0 00 0 0 1 1 00 1 0 0 0 1

, E1 =

(1 00 0

),E2 =

(1 00 1

),E3 =

(0 00 1

)

H31E1 = 0 H32E2 =

(0 10 0

)H33E3 =

(0 00 1

)

`ker H31E1 = F2q `ker H32E2 = 〈(0, 1)〉 `ker H33E2 = 〈(1, 0)〉

ρ3 = dim `ker(H3jEj | j 6= 3)/̀ ker(H3jEj | ∀ j) = dim 〈(0, 1)〉/{0} = 1

D3 =

(0 10 0

)

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 76: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion lower upper

Example

H =

1 0 0 0 0 00 1 0 0 1 01 0 1 0 0 00 0 0 1 0 00 0 0 1 1 00 1 0 0 0 1

, E1 =

(1 00 0

),E2 =

(1 00 1

),E3 =

(0 00 1

)

H31E1 = 0 H32E2 =

(0 10 0

)H33E3 =

(0 00 1

)

`ker H31E1 = F2q `ker H32E2 = 〈(0, 1)〉 `ker H33E2 = 〈(1, 0)〉

ρ3 = dim `ker(H3jEj | j 6= 3)/̀ ker(H3jEj | ∀ j) = dim 〈(0, 1)〉/{0} = 1

D3 =

(0 10 0

)

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 77: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion lower upper

Example

H =

1 0 0 0 0 00 1 0 0 1 01 0 1 0 0 00 0 0 1 0 00 0 0 1 1 00 1 0 0 0 1

, E1 =

(1 00 0

),E2 =

(1 00 1

),E3 =

(0 00 1

)

H31E1 = 0 H32E2 =

(0 10 0

)H33E3 =

(0 00 1

)

`ker H31E1 = F2q `ker H32E2 = 〈(0, 1)〉 `ker H33E2 = 〈(1, 0)〉

ρ3 = dim `ker(H3jEj | j 6= 3)/̀ ker(H3jEj | ∀ j) = dim 〈(0, 1)〉/{0} = 1

D3 =

(0 10 0

)

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 78: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion lower upper

Example

H =

1 0 0 0 0 00 1 0 0 1 01 0 1 0 0 00 0 0 1 0 00 0 0 1 1 00 1 0 0 0 1

, E1 =

(1 00 0

),E2 =

(1 00 1

),E3 =

(0 00 1

)

H31E1 = 0 H32E2 =

(0 10 0

)H33E3 =

(0 00 1

)

`ker H31E1 = F2q `ker H32E2 = 〈(0, 1)〉 `ker H33E2 = 〈(1, 0)〉

ρ3 = dim `ker(H3jEj | j 6= 3)/̀ ker(H3jEj | ∀ j) = dim 〈(0, 1)〉/{0} = 1

D3 =

(0 10 0

)

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 79: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion

Conclusions

Future projects

• Find Lin(N ) for all multiple unicast networks.

• Find good algorithmic methods to solve the optimizationproblem.

• Prove that linearity is actually optimal for the explainedmultiple unicast networks.

• Generalize these results to other interference networks

Thank you.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 80: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion

Conclusions

Future projects

• Find Lin(N ) for all multiple unicast networks.

• Find good algorithmic methods to solve the optimizationproblem.

• Prove that linearity is actually optimal for the explainedmultiple unicast networks.

• Generalize these results to other interference networks

Thank you.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication

Page 81: Graphs and Algebra in Modern Communication.

intro interference networks bounds conclusion

References

Cadambe, V. R. and Jafar, S. A. (2008).Interference alignment and degrees of freedom of the k-user interference channel.

IEEE Transactions on Information Theory, 54(8):3425–3441.

Dougherty, R., Freiling, C., and Zeger, K. (2005).Insufficiency of linear coding in network information flow.IEEE Transactions on Information Theory, 51(8):2745–2759.

Koetter, R. and Medard, M. (2003).An algebraic approach to network coding.IEEE/ACM Transactions on Networking, 11(5):782–795.

Li, S. . R., Yeung, R. W., and Ning Cai (2003).Linear network coding.IEEE Transactions on Information Theory, 49(2):371–381.

Zhao, N., Yu, F. R., Jin, M., Yan, Q., and Leung, V. C. M. (2016).Interference alignment and its applications: A survey, research issues, andchallenges.IEEE Communications Surveys Tutorials, 18(3):1779–1803.

Manganiello, SMSS@Clemson & CRL@Ryerson Graphs and Algebra in Modern Communication