sparse and low-rank optimization for dense wireless...
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
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
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.
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
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