43
ECE Department Rice University dsp.rice.edu Distributed Compressed Sensing Dror Baron Marco Duarte Shriram Sarvotham Michael Wakin Richard Baraniuk

Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

  • Upload
    others

  • View
    5

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

ECE DepartmentRice Universitydsp.rice.edu

DistributedCompressedSensing

DrorBaron

MarcoDuarte

ShriramSarvotham

MichaelWakin

RichardBaraniuk

Page 2: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

DistributedCompressedSensing

Page 3: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

Signal Representation

• Representation (basis, frame)– spikes, Fourier sinusoids, wavelets, etc …

• For orthonormal , coefficient = projection (innerproduct) of x onto basis function

Page 4: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

Sparse Signal Representations

• For maximum efficiency, choose representationso that coefficients are sparse (most close to 0)– smooth signals and Fourier sinusoids– piecewise smooth signals and wavelets, …

• Approximation – quantize/encode coeff sizes and locations

• Transform coding examples: JPEG, MPEG, …

Page 5: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

DSP Sensing• The typical sensing/compression setup

– compress = transform, sort coefficients, encode– most computation at sensor– lots of work to throw away >80% of the coefficients

sample compress transmit

receive decompress

Page 6: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

• Measure projections onto incoherent basis/frame• Reconstruct via optimization• Mild oversampling:• Highly asymmetrical (most computation at receiver)

[Donoho; Candes, Romberg, Tao]

project transmit

receive reconstruct

Compressed Sensing (CS)

Page 7: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

Compressed Sensing 101

• Foundation: Reconstruction from incoherent projections

• Signal has sparse representation in some basis(ex: Fourier, wavelets, etc.)– WLOG assume signal is sparse in time domain

• Take second, incoherent basis– elements of are not sparse in– random is incoherent with almost all

• Measure signal via few linear projections

Page 8: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

Before CS - L2• Goal: Given measurements find signal• Fewer rows than columns in measurement matrix• Ill-posed: infinitely many solutions• Classical solution: least squares

Page 9: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

• Goal: Given measurements find signal• Fewer rows than columns in measurement matrix• Ill-posed: infinitely many solutions• Classical solution: least squares• Problem: small L2 doesn’t imply sparsity

Before CS - L2

Page 10: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

CS – L0

• Modern solution: exploit sparsity of• Of the infinitely many solutions seek sparsest one

number of nonzero entries

Page 11: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

CS – L0

• Modern solution: exploit sparsity of• Of the infinitely many solutions seek sparsest one• If then perfect reconstruction

w/ high probability• But combinatorial computational complexity

Page 12: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

The CS Miracle – L1

• Goal: Given measurements find signal• Fewer rows than columns in measurement matrix• Modern solution: exploit sparsity of• Of the infinitely many solutions seek the one

with smallest L1 norm

Page 13: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

The CS Miracle – L1

• Goal: Given measurements find signal• Fewer rows than columns in measurement matrix

• 9c ¼ 3, if then perfect reconstructionw/ high probability [Candes et al.; Donoho]

• Linear programming or other sparse approximationalgorithms

Page 14: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

CS Camera Architecture

joint work with Kevin Kelly, Yehia Massoud, Don Johnson, …

Page 15: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

CS Reconstruction for Images

256x256 = 65536 pixels

Page 16: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

26000 incoherent projections

CS Reconstruction for Images

Page 17: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

6500 wavelet coefficients

CS Reconstruction for Images

Page 18: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

Compressed Sensing Vision @ Rice

• CS changes the rules of the data acquisition game– changes what we mean by “sampling”– exploits a priori signal sparsity information

(that the signal is compressible in some representation)

• Next generation data acquisition– new A/D converters (sub Nyquist)– new imagers and imaging algorithms– new distributed source coding algorithms (today!)

Page 19: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

DistributedCompressedSensing

Page 20: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

Why Distributed?

• Networks of many sensor nodes– sensor, microprocessor for computation,

wireless communication, networking, battery– can be spread over large geographical area

• Must be energy efficient– minimize communication at expense of computation– motivates distributed compression

Page 21: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

destination rawdata

Separate Sensing

• Transmitting raw datatypically inefficient

Page 22: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

• Can we exploitintra-sensor andinter-sensor

correlation to jointly compress?• Ongoing challenge in information

theory community• Introduce notion of joint sparsity

Correlation

Page 23: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

destination compresseddata

Collaborative Sensing

• Collaboration introduces– inter-sensor

communication overhead– complexity at sensors

Page 24: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

destination compresseddata

Benefits:• Distributed Source Coding:

– exploit intra- and inter-sensorcorrelations

⇒ fewer measurements necessary– zero inter-sensor

communication overhead

DistributedCompressed Sensing (DCS)

Page 25: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

destination compresseddata

Benefits:• Compressed Sensing:

– universality (random projections)– “future-proof”– encryption– robustness– scalability– low complexity at sensors

DistributedCompressed Sensing (DCS)

Page 26: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

destination compresseddata

• Different models for differentscenarios

• Today: two example models

DistributedCompressed Sensing (DCS)

Page 27: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

Model 1:Common +Innovations

Page 28: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

Common + Innovations Model

• Motivation: sampling signals in a smooth field

• Joint sparsity model:– length-N sequences and

– is length- common component

– , length- innovation components

– has sparsity

– , have sparsity ,

• Measurements

Page 29: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

Measurement Rate Region withSeparate Reconstruction

separateencoding &recon

Decoder g1

Decoder g2

Encoder f1

Encoder f2

Page 30: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

separate encoding &joint recon

Goal: Measurement Rate Region withJoint Reconstruction

Encoder f1

Decoder g

Encoder f2

D. Baron, M. F. Duarte, M. B. Wakin, S. Sarvotham and R. G. Baraniuk,“An Information Theoretic Approach to Distributed Compressed Sensing”,

Allerton Conference on Communication, Control, and Computing 2005

Page 31: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

Model 2:CommonSparseSupports

Page 32: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

Common Sparse Supports Model

• Joint sparsity model #2 (JSM-2):– measure J signals, each K-sparse– signals share sparse components, different coefficients

Page 33: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

Audio Signals• Sparse in Fourier Domain• Same frequencies received by

each node• Different attenuations and delays

(magnitudes and phases)

Common Sparse Supports Model

Page 34: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

Common Sparse Supports Model

Page 35: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

Common Sparse Supports Model:Reconstruction

• Orthogonal Matching Pursuit– Estimate support of sparse signal using inner

products between and

• Simultaneous Orthogonal Matching Pursuit– (Tropp, Gilbert, Strauss)– For signals with shared sparse support– Extend greedy algorithms to signal ensembles that

share a sparse support

Page 36: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

maxmagnitude

Approximation:

Orthogonal Matching Pursuit

Simultaneous Sparse Approximation

• project y into each of the columns of • find projection with largest magnitude• update coefficient estimate• subtract coefficient contribution• orthogonalize all column vectors against

chosen one• repeat m times

Page 37: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

Approximations:

Simultaneous Orthogonal Matching Pursuit

…+

Page 38: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

Approximations:

Simultaneous Orthogonal Matching Pursuit

…+

max

Page 39: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

Approximations:

Simultaneous Orthogonal Matching Pursuit

max

Page 40: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

Common Sparse Supports Model:Reconstruction

• Performance (measurements per sensor):– minimization: K+1– minimization: cK– SOMP: ?

Page 41: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

SOMP ResultsK=5N=50

SeparateJoint

Page 42: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

Conclusions

• Theme: compressed sensing for multiple signals

• Distributed compressed sensing– new models for joint sparsity– suitable for sensor network applications– compression of sources w/ intra- and inter-sensor correlation

• More– additional joint sparsity models– real data– sensor networks

dsp.rice.edu/cs

Page 43: Compressed Marco Sensing Duarte - UMass Amherstmduarte/images/DCS_Asilomar_Nov2.pdf–compress = transform, sort coefficients, encode –most computation at sensor –lots of work

Thanks

• Emmanuel Candès• Justin Romberg• Dave Donoho• Jared Tanner• Anna Gilbert• Joel Tropp