aswin sankaranarayanan - computer...

46
Introduction to Compressive Sensing Aswin Sankaranarayanan

Upload: others

Post on 21-Aug-2020

4 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

Introduction to Compressive Sensing

Aswin Sankaranarayanan

Page 2: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

system

Is this system linear ?

Page 3: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

system

Is this system linear ?

Given y, can we recovery x ?

Page 4: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

signal

measurement matrix

measurements

Under-determined problems

If M < N, then the system is information lossy

Page 5: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

Image creditGraeme Pope

Page 6: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

Image credit Sarah Bradford

Page 7: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

Super-resolution

Can we increase the resolution of this image ?

(Link: Depixelizing pixel art)

Page 8: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

signal

measurement matrix

measurements

Under-determined problems

Fewer knowns than unknowns!

Page 9: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

signal

measurement matrix

measurements

Under-determined problems

Fewer knowns than unknowns!

An infinite number of solutions to such problems

Page 10: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

Credit: Rob Fergus and Antonio Torralba

Page 11: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

Credit: Rob Fergus and Antonio Torralba

Page 12: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

Ames Room

Page 13: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

Is there anything we can do about this ?

Page 14: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

Complete the sentences

I cnt blv I m bl t rd ths sntnc.

Wntr s cmng, n .. Wntr s hr

Hy, I m slvng n ndr-dtrmnd lnr systm.

how: ?

Page 15: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

Complete the matrix

how: ?

Page 16: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

Complete the image

Model ?

Page 17: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

Dictionary of visual words

I cnt blv I m bl t rd ths sntnc.

Shrlck s th vc f th drgn

Hy, I m slvng n ndr-dtrmndlnr systm.

Page 18: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

Dictionary of visual words

Page 19: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

Image creditGraeme Pope

Page 20: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

Image creditGraeme Pope

ResultStuder, Baraniuk, ACHA 2012

Page 21: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

signal

measurement matrix

measurements

Compressive Sensing

A toolset to solve under-determined systems by exploiting additional structure/models on

the signal we are trying to recover.

Page 22: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

modern sensors are linear systems!!!

Page 23: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

Sampling

Can we recover the analog signal from its discrete time samples ?

sampling

Page 24: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

Nyquist Theorem

An analog signal can be reconstructed perfectly from discrete samples provided you sample it densely.

Page 25: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

The Nyquist Recipe

sample faster

sample denser

the more you sample,

the more detail is preserved

Page 26: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

The Nyquist Recipe

sample faster

sample denser

the more you sample,

the more detail is preserved

But what happens if you do not follow the Nyquistrecipe ?

Page 27: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

Credit: Rob Fergus and Antonio Torralba

Page 28: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

Image credit: Boston.com

Page 29: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

The Nyquist Recipe

sample faster

sample denser

the more you sample,

the more detail is preserved

But what happens if you do not follow the Nyquistrecipe ?

Page 30: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context
Page 31: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

Breaking resolution barriers

• Observing a 40 fps spinning tool with a 25 fps camera

Normal Video: 25fps

Compressively obtained video:

25fps

Recovered Video: 2000fps

Slide/Image credit: Reddy et al. 2011

Page 32: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

Compressive Sensing

Use of motion flow-models in the context of compressive video recovery

Naïve frame-to-frame recovery

CS-MUVI at 61x compression

single pixel camera

Sankaranarayanan et al. ICCP 2012, SIAM J. Imaging Sciences, 2015*

128x128 images sensed at 61x comp.

Page 33: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

Compressive Imaging Architectures

visible image SWIR image

Scalable imaging architectures that delivervideos at mega-pixel resolutions in infrared

Chen et al. CVPR 2015, Wang et al. ICCP 2015

A mega-pixel image obtained from a 64x64

pixel array sensor

Page 34: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

Advances in Compressive Imaging

Page 35: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

Linear Inverse Problems

• Many classic problems in computer can be posed as linear inverse problems

• Notation

– Signal of interest

– Observations

– Measurement model

• Problem definition: given , recover

measurement noise

measurement matrix

Page 36: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

Linear Inverse Problems

measurementssignal

Measurement matrix has a (N-M) dimensional null-space

Solution is no longer unique

Page 37: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

Sparse Signals

measurementssparsesignal

nonzeroentries

Page 38: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

How Can It Work?

• Matrixnot full rank…

… and so loses information in general

• But we are only interested in sparse vectors

columns

Page 39: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

Restricted Isometry Property (RIP)

• Preserve the structure of sparse/compressible signals

K-dim subspaces

Page 40: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

Restricted Isometry Property (RIP)

• RIP of order 2K implies: for all K-sparse x1 and x2

K-dim subspaces

Page 41: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

How Can It Work?

• Matrixnot full rank…

… and so loses information in general

• Design so that each of its Mx2K submatricesare full rank (RIP)

columns

Page 42: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

How Can It Work?

• Matrixnot full rank…

… and so loses information in general

• Design so that each of its Mx2K submatricesare full rank (RIP)

• Random measurements provide RIP with

columns

Page 43: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

CS Signal Recovery

• Random projection not full rank

• Recovery problem:givenfind

• Null space

• Search in null space for the “sparsest”

(N-M)-dim hyperplaneat random angle

Page 44: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

• Recovery: given(ill-posed inverse problem) find (sparse)

• Optimization:

• Convexify the optimization

Signal Recovery

Candes Romberg Tao Donoho

Page 45: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

• Recovery: given(ill-posed inverse problem) find (sparse)

• Optimization:

• Convexify the optimization

• Polynomial time alg(linear programming)

Signal Recovery

Page 46: Aswin Sankaranarayanan - Computer Graphicsgraphics.cs.cmu.edu/courses/15-463/2018_fall/lectures/... · 2019. 4. 22. · Compressive Sensing Use of motion flow-models in the context

Compressive Sensing

Let.

If satisfies RIP with ,

Then

Best K-sparse approximation