Wednesday, August 17, 2011

How is Euler Calculus Going to Change Compressive Sensing ? -updated-

I just came upon Michael Robinson's Research overview for the Fall 2011 and found this reference to Euler Calculus and compressive sensing in the context of radar sensing. An item you really want to look at is Michael's research page and his demo page on opportunistic imaging where he shows an unusual bend (for a mathematician) to get things working in hardware. Anyway, if you want to know more about Euler Calculus, you may want to watch this video entitled Euler Calculus and Topological Data Management from Robert Ghrist.Go ahead and watch it, I'll wait....Minesweeper gets my vote as an explanatory tool.

What are the use for this type of calculus ? For the time being, I need for it to sink in but if Euler characterisation is a generalization of counting, and since compressed sensing techniques show the connection between the l_1 norm and the l_0 semi-norm which itself is a counting function then those fields are bound to be on sort of collision course.

While the authors above use the sensor network as an example, I can think of other sensors that act only as counters and for which one would wants to know more about the field: SPECT comes to my mind for instance. In another direction, since the main pain of compressive sensing reconstruction solvers is to figure out the support of the elements being sought, then maybe this calculus can provide a way to craft better solvers. In yet another direction, maybe some of the calculus mentioned might somehow explain why in CT computations it sometimes does not really matter whether ray casting is performed by taking into account the attenuation of the material or not. Once some simple application are shown and explained in some detail, I am sure a whole community of engineer would embrace sheaves :-) Anyway, for further reading, you might want to check:

Liked this entry ? subscribe to the Nuit Blanche feed, there's more where that came from


sigfpe said...

I wrote some code based on Ghrist's target enumeration.

Igor said...


This is outstanding.