sparse and low-rank optimization for dense wireless...

60
Sparse and Low-Rank Optimization for Dense Wireless Networks Part I: Models 1 GLOBECOM 2017 TUTORIAL Yuanming Shi ShanghaiTech University Jun Zhang HKUST

Upload: phamdien

Post on 24-May-2018

217 views

Category:

Documents


1 download

TRANSCRIPT

Sparse and Low-Rank Optimization for Dense Wireless Networks

Part I: Models

1

GLOBECOM 2017 TUTORIAL

Yuanming ShiShanghaiTech University

Jun ZhangHKUST

Outline of Part I

Motivations

TwoVignettes

Structured Sparse Models

Group Sparse Beamforming for Network Power Minimization

Sparsity Control for Massive Device Connectivity

Generalized Low-Rank Models

Low-Rank Matrix Completion for Topological Interference Management

Extensions

Future Directions2

GLOBECOM 2017 TUTORIAL

Motivations: Dense Wireless Networks

3

GLOBECOM 2017 TUTORIAL

Challenge: Ultra mobile broadband

Era of mobile data deluge

4Source: Cisco VNI Mobile, 2017

18 xOver past 5 years

60 %in 2016

429 MMobile devices added in 2016

GLOBECOM 2017 TUTORIAL

Cooper’s Law

5

GLOBECOM 2017 TUTORIAL

25 5 5

1600

Factor of Capacity Increase since 1950

Network densification is a dominant theme!

Solution: cloud radio access networks

Dense Cloud-RAN: a cost-effective way for wireless networkdensification and cooperation

6

Baseband Unit PoolSuperCompute r

SuperComputer

SuperComput er

SuperComput er

SuperComputer

Remote Radio Head (RRH)

Fronthaul NetworkCloud-RAN

4 Cs

CentralizationResource Pooling

ImprovedCoordination Cloud-RAN

Cost and Energy Optimization

CloudVirtualizedFunctions

GLOBECOM 2017 TUTORIAL

Dense Cloud-RAN

Higher network capacity

Denser deployment

Scalable connectivity

Flexible resource management

Higher energy efficiency

Low-power RRHs, flexible energy management

Higher cost efficiency

Low-cost RRHs, efficient resource utilization

7

GLOBECOM 2017 TUTORIAL

Baseband Unit PoolSuperCompute r

SuperComput er

SuperComputer

SuperComputer

SuperComputer

RRH

Fronthaul NetworkCloud-RAN

Intelligent things for smart city

A smart city highly depends on intelligent technology: connected sensors,intelligent devices and IoT networks become wholly integrated

8

GLOBECOM 2017 TUTORIAL

Challenge: Intelligent IoT

9

Internet of Things

People to People

Mobile Internet

Tactile Internet

Fundamental shift: from content-delivery to skillset-delivery networks• Low Latency• High Computation Intensity• Massive Connectivity• …

(internet of skills)

GLOBECOM 2017 TUTORIAL

Grid Power

Local Processing

Power Supply

Discharge

Wireless Network

Active Servers Inactive Servers

Fog center

Cloud Center

User Devices

Edge device

Charge

Solution: fog radio access networks

Dense Fog-RANs: push computation and storage resources tonetwork edge – Overcome the long distance problem

Caching at the edge

Computing at the edge

10

share computation, storage, communication

resources across the whole network

GLOBECOM 2017 TUTORIAL

A new paradigm for wireless networking

Goal: support ultra-low latency, reliable, Gbps communications, massivedevice connectivity, massive data analytics, edge-AI…

11

GLOBECOM 2017 TUTORIAL

Difficulties

Networking issues:

Huge network power consumption

Massive device connectivity

Severe network interference

Computing issues:

Complicated (non-convex) problem structures

Limited computational resources

12

Source: Alcatel-Lucent, 2013

Sparse and low-rank optimization

Successful Stories

Compressed sensing/matrix completion: Collect randommeasurements; reconstruct via optimization

Statistical machine learning: Random data models; fit model viaoptimization

Advantages

Modeling flexibility: Low-dimensional structures in high-dimensional data

Fundamental bounds: Computational and statistical tradeoffs13

GLOBECOM 2017 TUTORIAL

Sparse and low-rank optimization

Emerging examples in wireless

Structured sparse models: Group sparse beamforming, user admissioncontrol, massive device connectivity…

Generalized low-rank models: Topological interference management,mobile edge caching, wireless distributed computing, index coding…

Motivations

Modeling flexibility: Structured models in dense and complex networks

Computational scalability: Convex optimization, manifold optimization…

Theoretical guarantees: Convex geometry, differential geometry…14

GLOBECOM 2017 TUTORIAL

Vignette A: Structured Sparse Models

15

GLOBECOM 2017 TUTORIAL

Case I: Group Sparse Beamforming for Network Power Minimization

Case II: Sparsity Control for Massive Device Connectivity

Case I: Group Sparse Beamforming for Network Power Minimization

16

GLOBECOM 2017 TUTORIAL

Network power consumption

Goal: Design green dense Cloud-RANs

Prior works: Physical-layer transmit power consumption

Wireless power control: [Chiang, et al., FT 08], [Qian, et al., TWC 09],[Sorooshyari, et al.,TON 12], …

Transmit beamforming: [Sidiropoulos and Luo, TSP 2006], [Yu and Lan, TSP07], [Gershman, et al., SPMag 10],…

Challenge:

Network power consumption:

Radio access units, fronthaul links, etc.

17

GLOBECOM 2017 TUTORIAL

Baseband Unit PoolSuperCo mputer

Super Comp uter

Super Comp uter

Super Comp uter

Super Comp uter

RRH

Fronthaul NetworkCloud-RAN

Network adaptation

Goal: Provide a holistic approach to minimize network powerconsumption (including RRHs, fronthaul links, etc.)

Key observation: Spatial and temporal mobile data traffic variation

18

Network adaptation: adaptively switch off network entities to save power

GLOBECOM 2017 TUTORIAL

System model

The received signal at the k-th MU is given by

: channel propagation between MU and RRH

: transmit beamforming vector from the -th RRH to -th MU

Per-RRH transmit power constraint:

The signal-to-interference-plus-noise ratio (SINR) for MU

19

GLOBECOM 2017 TUTORIAL

Network power consumption

Continuous function: Transmit power consumption

: Drain inefficiency coefficient of the radio frequency power amplifier

Combinatorial function: Relative fronthaul link power consumption

: a partition of

: relative fronthaul link power consumption, i.e., the static power savingwhen both the fronthaul link and the corresponding RRH are switched off

Aggregative beamformer:20

GLOBECOM 2017 TUTORIAL

Problem formulation

Goal: Minimize network power consumption in Cloud-RAN

Simultaneously control both the combinatorial function and the continuousfunction

Challenges: Non-convex, high-dimensional

Prior algorithms: heuristic or computationally expensive [Philipp, et. al,TSP 13], [Luo, et. al, JSAC 13], [Quek, et. al,TWC 13],…

21

combinatorial composite function

GLOBECOM 2017 TUTORIAL

Finding structured solutions

Proposal: group sparse beamforming

Switch off the -th RRH , i.e., group sparsity structure in

22

Beamforming coefficients of the first RRH, forming a group

Baseband Unit PoolSuperComputer

SuperComp uter

SuperComp uter

SuperComp uter

SuperComp uter

RRH

Fronthaul NetworkCloud-RAN

[Ref] Y. Shi, J. Zhang, and K. B. Letaief, “Group sparse beamforming for green Cloud-RAN,” IEEE Trans. Wireless Commun., vol. 13, no. 5, pp. 2809-2823, May 2014. 2014. (The 2016 Marconi Prize Paper Award)

GLOBECOM 2017 TUTORIAL

Group sparse beamforming algorithm

Adaptive RRH selection: Switch off the RRHs with small coefficients inthe aggregative beamformers

Stage I: The tightest convex positively homogeneous lower bound of thecombinatorial composite objective function (network power)

23

GLOBECOM 2017 TUTORIAL

mixed -norm induce group sparsity RRH ordering

Group sparse beamforming algorithm

Stage II: Find the optimal active RRHs via solving a sequence offollowing feasibility detection problems (e.g., bi-section search)

Stage III: Transmit power minimization via coordinated beamforming

24

GLOBECOM 2017 TUTORIAL

Active RRH set

Summary of group sparse beamforming

SINR constraints can be reformulated as second-order cone constraints

Key observation: phases of ’s do not change objective and constraints

Group sparse beamforming via convex programming

Stage I: Group sparsity inducing via solving one convex program

Stage II: A sequence of convex feasibility problems need to be solved

Stage III: Coordinated beamforming via solving one convex program25

GLOBECOM 2017 TUTORIAL

convex

The power of group sparse beamforming

Group spare beamforming for green Cloud-RAN (10 RRHs, 15 MUs)

26

Conclusions: 1) Enabling flexible network adaptation; 2) Offering efficient algorithm design via convex programming3) Empowering wide applications

GLOBECOM 2017 TUTORIAL

Extension: Wireless cooperative networks

A comprehensive consideration: 1) Active BS selection; 2) Transmitbeamforming; 3) Backhaul data assignment

27

GLOBECOM 2017 TUTORIAL

Network power consumption: 1) Static power consumption at BSs2) Transmit power consumption from BSs3) Traffic-dependent backhaul power

consumption

Layered group sparse beamforming

Proposal: A generalized layered group sparse beamforming (LGSBF)modeling framework

To induce the layered sparsity structure in the beamformers

28

GLOBECOM 2017 TUTORIAL

Active BS selection

Backhaul data assignment

[Ref] X. Peng, Y. Shi, J. Zhang, and K. B. Letaief, “Layered group sparse beamforming for cache-enabled wireless networks,” IEEE Trans. Commun., to appear.

Case II: Sparsity Control for Massive Device Connectivity

29

GLOBECOM 2017 TUTORIAL

Motivation

Downlink transmission with massive devices: user admission control

Uplink machine-type communication (e.g., IoT devices) with sporadictraffic: massive device connectivity

30

GLOBECOM 2017 TUTORIAL

Sporadic traffic: only a small fraction of potentially large number of devices are active

Downlink user admission control

Coordinated beamforming for transmission power minimization

SINR constraints can be reformulated as second-order cone constraints

Key observation: phases of ’s do not change objective and constraints31

GLOBECOM 2017 TUTORIAL

Infeasibility

Set of convex inequalities:

Power minimization problem is generally infeasible: large number ofusers, unfavorable channel conditions, high data rate requirements,…

Goal: Maximize the user capacity, i.e., the number of admitted users

Solution: Choose to minimize the number of violated inequalities

32

GLOBECOM 2017 TUTORIAL

Sparse optimization for user admission control

Average number of admitted mobile users versus target SINR

33

GLOBECOM 2017 TUTORIAL

MDR: membership deflation by convex relaxation ( )

IR2A: iterative reweighted -algorithm

Massive device connectivity in uplink

Cellular network with a massive number of devices

Single-cell uplink with a BS with antennas; Block-fading channel withcoherence time ; Total single-antenna devices, devicesare active (sporadic traffic)

Define diagonal activity matrix with non-zero diagonals

denotes the received signal across antennas

: channel matrix from all devices to the BS

: known transmit pilot matrix from devices 34

GLOBECOM 2017 TUTORIAL

Challenges of massive connectivity

Sporadic traffic User activity detection is a key requirement

Massive number of devices mean pilot sequences cannot be orthogonal

Device identification is a sparse optimization problem

Prior works on compressed sensing for massive connectivity: 1) Withoutchannel estimation [Zhang-Luo-Guo’13]; 2) Joint user activity detectionand channel estimation [Xu-Rao-Lau’15]; 3) Approximate MessagePassing (AMP) [Wei’16]

Proposal: User activity detection and channel estimation based on thecompressed sensing techniques (without channel distribution prior)

35

GLOBECOM 2017 TUTORIAL

Group sparsity estimation

Let (unknown): group sparsity in rows of matrix

Simultaneous user activity detection and channel estimation

Let be a known measurement operator (pilot matrix)

Observe

Find estimate by solving a convex program

is mixed -norm to reflect group sparsity structure

Hope:36

GLOBECOM 2017 TUTORIAL

Sparse estimation for massive connectivity

Normalized MSE versus pilot matrix length

37

GLOBECOM 2017 TUTORIAL

Summary: structured sparse models

Generalized structured sparse optimization for dense networks

is the index set of non-zero coefficients of a vector

: combinatorial positive-valued set-function to control sparsity in

: continuous convex function to represent the system performance

: to model system constraints, e.g., QoS constraints

38group-structured sparsity

layered group sparsity

GLOBECOM 2017 TUTORIAL

Vignette B: Generalized Low-Rank Models

39

1 0 0

1 0 0

0 1 00 1 0

0 1

GLOBECOM 2017 TUTORIAL

Case I: Low-Rank Matrix Completion for Topological Interference Management

Case II: Extensions to Mobile Edge Caching, Distributed Computing and Index Coding

Case I: Topological Interference Management

40

GLOBECOM 2017 TUTORIAL

Interference channel

Channel model:

Degrees-of-freedom: simplify the analysis; lead to physical insights

41

GLOBECOM 2017 TUTORIAL

capacity is unknown

Interference alignment

Assume the channel coefficients change over time:

Consider channel uses:

Transmitter sends information symbols across channel uses

The -th interference term lives in the range space of matrix42

GLOBECOM 2017 TUTORIAL

represents the precoding matrix

Interference alignment

Interference alignment condition: find precoding matrices anddecoding matrices such that

Each user can send symbols: interference free across channel uses

Intuition: The interference has aligned onto a dimensionalsubspace at each receiver.

43

GLOBECOM 2017 TUTORIAL

Interference alignment

Everyone gets half the cake [Cadambe-Jafar’08]:

Diagonal are time-varying and generic, , is almostsurely asymptotically achievable

Remarks:

Require very long block lengths

Require the channels to vary generically over time

Require full knowledge of the channel coefficients of every link in thenetwork, at each transmitter and for all times!

44

GLOBECOM 2017 TUTORIAL

Can we exploit the interference alignment principle in practical systems?

Practical interference management

Goal: Exploit the IA principle under realistic assumptions on CSIT

Prior works: Abundant CSIT relaxed CSIT

Perfect CSIT [Cadambe and Jafar,TIT 08]

Delayed CSIT [Maddah-Ali and Tse,TIT 12]

Alternating CSIT [Tandon, et al., TIT 13], partial and imperfect CSIT [Shi, etal.,TSP 14],…

Curses: CSIT is rarely abundant (due to training & feedback overhead)

45No CSIT Perfect CSITCSIT

Prior worksApplicable?Start here?

Topological interference alignment Blessings: partial connectivity in dense wireless networks

Approach: topological interference management (TIM) [Jafar,TIT 14] Maximize the achievable DoF: only based on the network topology

information (no CSIT)46

path-loss

shadowing

transmitter receiver transmitter receiver

Degrees of Freedom?

GLOBECOM 2017 TUTORIAL

Index coding approach

Theorem [Jafar, TIT 14]: under linear (vector space) solutions, TIMproblem and index coding problem are equivalent

47

transformation

TIM problem

complements

Bottleneck: the only finite-capacity link

Antidotes Inde

x co

ding

pro

blem

Only a few index coding problems have been solved!

wireless wired

GLOBECOM 2017 TUTORIAL

Low-rank matrix completion approach

Goal: Deliver one data stream per user over time slots

Transmitter transmits , receiver receives

Receiver decodes symbol by projecting onto the space

Topological interference alignment condition

48

GLOBECOM 2017 TUTORIAL

: network connectivity pattern

Generalized low-rank model

Generalized low-rank optimization with network side information

: precoding vectors and decoding vectors

equals the inverse of achievable degrees-of-freedom (DoF)

49

topological interference alignment condition

side information

GLOBECOM 2017 TUTORIAL

Nuclear norm fails

Convex relaxation fails: always returns the identity matrix!

Fact:

Proposal: Solve the nonconvex problems directly with rank adaptivity

50

Riemannian manifold optimization problem

manifold constraint

GLOBECOM 2017 TUTORIAL

Numerical results

51

GLOBECOM 2017 TUTORIAL

1 0 0

1 0 0

0 1 00 1 0

0 1

1 .1 0 0 9.56.8 1 0 0 640 .1 1 -1 00 -.1 -1 1 0.1 0 -.1 .1 1

Recover all the optimal DoFresults for the special TIM

problems in [Jafar ’14]

Provide numerical insights (optimal/lower-bound) for the general

TIM problems

Phase transitions for topological IA

52

The heat map indicates the empirical probability of success

(blue=0%; yellow=100%)

Extension to cache networks

Cache gains: load balancing, interference cancellation/alignment,cooperative transmission, …

Placement phase: populate caches (prefetching)

Delivery phase: reveal request, deliver content

53wired cache network wireless cache network

GLOBECOM 2017 TUTORIAL

Caching at receivers

Cached receivers: topological interference alignment

54

Side information:1) Cached files 2) Network topology

GLOBECOM 2017 TUTORIAL

When index coding meets low-rank matrices

55

GLOBECOM 2017 TUTORIAL

Index Coding[Birk, Kol, INFOCOM’98]

[Maddah-Ali & Niesen ’13]

[Jafar ’14] [Rouayheb et al. ’10, ’15]

Li-Maddah-Ali-Avestimehr’14

Caching

Network CodingInterference Alignment

Distributed Computing

Low-rank model offers a new way to investigate these problems!

Summary: generalized low-rank models

Generalized low-rank optimization for dense edge networks

encodes network side information, e.g., cached files, network topology,computed intermediate values for data shuffling

56

GLOBECOM 2017 TUTORIAL

Concluding remarks

Structured sparse models

Group sparse optimization offers a principled way for network adaptation,e.g., to minimize network power consumption

Sparsity control and estimation is powerful to support massive deviceconnectivity

Future directions:

More application scenarios: IoTs,V2X …

57

Concluding remarks

Generalized low-rank models

Low-rank matrix completion provides a systematic approach to investigatethe topological interference alignment problem

Low-rank model is powerful for performance optimization in mobile edgecaching and distributed computing systems

Future directions:

More applications: blind deconvolution for IoT, big data analytics (e.g., ranking)

58

To learn more... Web: http://shiyuanming.github.io/sparserank.html

Papers: Y. Shi, J. Zhang, and K. B. Letaief, “Group sparse beamforming for green Cloud-RAN,”

IEEE Trans. Wireless Commun., vol. 13, no. 5, pp. 2809-2823, May 2014. (The 2016Marconi Prize Paper Award)

Y. Shi, J. Zhang, B. O’Donoghue, and K. B. Letaief, “Large-scale convex optimization fordense wireless cooperative networks,” IEEE Trans. Signal Process., vol. 63, no. 18, pp.4729-4743, Sept. 2015. t. 2015. (The 2016 IEEE Signal Processing Society Young AuthorBest Paper Award)

Y. Shi, J. Zhang, K. B. Letaief, B. Bai and W. Chen,“Large-scale convex optimization forultra-dense Cloud-RAN,” IEEEWireless Commun. Mag., pp. 84-91, Jun. 2015.

Y. Shi, J. Zhang, W. Chen, and K. B. Letaief, “Generalized sparse and low-rank optimizationfor ultra-dense networks,” IEEE Commun. Mag., to appear.

59

To learn more... Y. Shi, J. Zhang, and K. B. Letaief, “Optimal stochastic coordinated beamforming for wireless

cooperative networks with CSI uncertainty,” IEEE Trans. Signal Process., vol. 63,, no. 4, pp. 960-973,Feb. 2015.

Y. Shi, J. Zhang, and K. B. Letaief, “Robust group sparse beamforming for multicast green Cloud-RAN with imperfect CSI,” IEEETrans. Signal Process., vol. 63, no. 17, pp. 4647-4659, Sept. 2015.

Y. Shi, J. Cheng, J. Zhang, B. Bai, W. Chen and K. B. Letaief, “Smoothed -minimization for greenCloud-RAN with user admission control,” IEEE J. Select.Areas Commun., vol. 34, no. 4,Apr. 2016.

Y. Shi, J. Zhang, and K. B. Letaief, “Low-rank matrix completion for topological interferencemanagement by Riemannian pursuit,” IEEETrans.Wireless Commun., vol. 15, no. 7, Jul. 2016.

Y. Shi, B. Mishra, and W. Chen, “Topological interference management with user admission controlvia Riemannian optimization,” IEEETrans.Wireless Commun., to appear.

X. Peng, Y. Shi, J. Zhang, and K. B. Letaief, “Layered group sparse beamforming for cache-enabledwireless networks,” IEEETrans. Commun., to appear. 60