Friday, March 20, 2009

CS: Some SPARS'09 papers.

Several papers appeared on my radar screen most of them will be featured in the upcoming SPARS'09 conference:

Distributed algorithms for basis pursuit (also here) by João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, Markus Püschel. The abstract reads:
The Basis Pursuit (BP) problem consists in finding a least l1 norm solution of the underdetermined linear system Ax = b. It arises in many areas of electrical engineering and applied mathematics. Applications include signal compression and modeling, estimation, fitting, and compressed sensing. In this paper, we explore methods for solving the BP in a distributed environment, i.e., when the computational resources and the matrix A are distributed over several interconnected nodes. Special instances of this distributed framework include sensor networks and distributed memory and/or processor platforms. We consider two distribution paradigms: either the columns or the rows of A are distributed across the nodes. The several algorithms that we present impose distinct requirements on the degree of connectivity of the network and the per-node computational complexity.


We propose and assess the performance of new imaging techniques for radio interferometry that rely on the versatility of the compressed sensing framework to account for prior information on the signals. The present manuscript represents a summary of recent work.
If you remember, we had a discussion with Yves Wiaux and Laurent Jacques on this topic.

Solving Sparse Linear Inverse Problems: Analysis of Reweighted l1 and l2 Methods by David Wipf , Srikantan Nagarajan. The abstract reads:
A variety of practical methods have recently been introduced for finding maximally sparse representations from overcomplete dictionaries, a central computational task in compressed sensing and source localization applications as well as numerous others. Many of the underlying algorithms rely on iterative reweighting schemes that produce more focal estimates as optimization progresses. Two such variants are iterative reweighted l1 and l2 minimization; however, some properties related to convergence and sparse estimation, as well as possible generalizations, are still not clearly understood or fully exploited. In this paper, we make the distinction between separable and nonseparable iterative reweighting algorithms. The vast majority of existing methods are separable, meaning the weighting of a given coefficient at each iteration is only a function of that individual coefficient from the previous iteration (as opposed to dependency on all coefficients). We examine two such separable reweighting schemes: an l2 method from Chartand and Yin (2008) and an l1 approach from Cand`es et al. (2008), elaborating on convergence results and explicit connections between them. We then explore an interesting non-separable variant that can be implemented via either l2 or l1 reweighting and show several desirable properties relevant to sparse recovery. For the former, we show a direct connection with Chartrand and Yin's approach. For the latter, we demonstrate two desirable properties: (i) each iteration can only improve the sparsity and (ii), for any dictionary and sparsity profile, there will always exist cases where non-separable l1 reweighting improves over standard l1 minimization.

Stability of l1 minimisation in compressed sensing by Przemyslaw Wojtaszczyk. The abstract reads:
We discuss known results (c.f. [16, 6]) about stability of l1 minimisation (denoted \Delta_1) with respect to the measurement error and how those results depend on the measurement matrix \Phi. Then we produce a large class of measurement matrices \Phi for which we can apply results from [16] so we have estimate
|| \Delta_1(\Phi(x) + r) − x||_2 \le C(|||r|||_2 + k^(−1/2) \sigma^1_k(x)). (1)
We conclude with a modification of l1 minimisation which gives (1) for most random measurement matrices considered in compressed sensing literature. We also discuss stability of instance optimality in probability.


Finding a point in the relative interior of a polyhedron, with applications to compressed sensing by Coralia Cartis , Gould Nicholas I. M. . The abstract reads:
Consider a system of finitely many equalities and inequalities that depend linearly on N variables. We propose an algorithm that provably finds a point in the relative interior of the polyhedron described by these constraints, thus allowing the identification of the affine dimension of this set (often smaller than N). It can therefore be employed to find a starting point for the class of interior-point methods for linear programming, and also as a preprocessor for the latter problem class that removes superfluous or implied constraints, with strong guarantees of convergence. In particular, it may be used to solve the feasibility problems that occur in sparse approximation when prior information is included (Donoho & Tanner, 2008).

Recovery of Non-Negative Signals from Compressively Sampled Observations Via Non-Negative Quadratic Programming
by Paul O’Grady and Scott Rickard . The abstract reads:
The new emerging theory of Compressive Sampling has demonstrated that by exploiting the structure of a signal, it is possible to sample a signal below the Nyquist rate and achieve perfect reconstruction. In this paper, we consider a special case of Compressive Sampling where the uncompressed signal is non-negative, and propose an extension of Non-negative Quadratic Programming - which utilises Iteratively Reweighted Least Squares - for the recovery of non-negative minimum lp-norm solutions, 0 \le p \le 1. Furthermore, we investigate signal recovery performance where the sampling matrix has entries drawn from a Gaussian distribution with decreasing number of negative values, and demonstrate that - unlike standard Compressive Sampling - the standard Gaussian distribution is unsuitable for this special case.
You may remember we had a previous discussion with Paul O’Grady on this subject.

Also of related interest we have:

Automatic Relevance Determination in Nonnegative Matrix Factorization by Vincent Yan Fu Tan, Cédric Févotte. The abstract reads:
Nonnegative matrix factorization (NMF) has become a popular technique for data analysis and dimensionality reduction. However, it is often assumed that the number of latent dimensions (or components) is given. In practice, one must choose a suitable value depending on the data and/or setting. In this paper, we address this important issue by using a Bayesian approach to estimate the latent dimensionality, or equivalently, select the model order. This is achieved via automatic relevance determination (ARD), a technique that has been employed in Bayesian PCA and sparse Bayesian learning. We show via experiments on synthetic data that our technique is able to recover the correct number of components, while it is also able to recover an effective number of components from real datasets such as the MIT CBCL datase

A Greedy Algorithm for a Sparse Scalet Decomposition by Albert Bijaoui. The abstract reads:
Sparse decompositions were mainly developed to optimize the signal or the image compression. The sparsity was first obtained by a coefficient thresholding. The matching pursuit (MP) algorithms were implemented to extract the optimal patterns from a given dictionary. They carried out a new insight on the sparse representations. In this communication, this way is followed. It takes into account the goal to obtain a sparse multiscale decomposition with the different constraints: i/ to get a sparse representation with patterns looking like to Gaussian functions, ii/ to be able to decompose into patterns with only positive amplitudes, iii/ to get a representation from a translated and dilated pattern, iv/ to constrain the representation by a threshold, v/ to separate the sparse signal from a smooth baseline. Different greedy algorithms were built from the use of redundant wavelet transforms (pyramidal and `a trous ones), for 1D signals and 2D images. Experimentations on astronomical images allow one a gain of about two in sparsity compared to a classical DWT thresholding. A fine denoising is obtained. The results do not display any wavy artifacts. This decomposition is an efficient tool for astronomical image analysis.


Image Credit: NASA/JPL/Space Science Institute, Saturn taken by Cassini on March 10, 2009.

Thursday, March 19, 2009

CS: Compressive Sensing Hardware Update, Compressive estimation , General Deviants, a conference, Adaptive CS, 2 graduate asstships.

In view of the number of hits coming the Technology Review Arxiv blog, I have updated the Compressive Sensing Hardware section to include the PACS/Herschel camera. The reason,  Since MRI is one of these technologies, I don't see why I shouldn't include other hardware that already exists and for which the means of sampling has been changed to implement Compressive Sensing. I have also tried to include Hardware on described in papers as opposed to already implemented design. Both type of hardware, fit on both end of the Technology Readiness Level scale (see my entry in French on what TRLs are). Please let me know the ones I am missing. Thanks!

Wotao Yin has upgraded his website to better explain what he does in the field of Compressive Sensing. He also has an opening for two graduate students starting this coming summer. More on his webpage or on the CS Jobs page.

In a previous entry, I introduced General Deviants: An Analysis of Perturbations in Compressed Sensing by Matthew A. Herman and Thomas Strohmer. Matt Herman sent me the following describing his paper succintly:

...The main points of the paper are that we extended the general noisy CS model from

b = Ax + e
(which only accounts for simple, uncorrelated, additive noise e)

to also include a perturbation E to the measurement matrix A

b = (A+E)x + e,

and found the conditions under which recovery with Basis Pursuit was stable. The extra term Ex can be thought of as multiplicative noise and is harder to deal with than simple additive noise since it is correlated with the signal x.

It is important to consider perturbations to the measurement matrix A since the physical implementation of sensors is never perfect in the real world (thus the matrix E can represent precision errors or other non-ideal phenomena). Viewed in a different way, the matrix A can also model a channel that a signal passes through such as in radar, telecommunications, or in source separation problems. The models of these types of channels always involve assumptions and/or approximations of their physical characteristics. In that way, the matrix E can absorb errors in these assumptions. Factors such as these must be accounted for in real-world devices.

These details are also explained in the introductory first few paragraphs of our paper.
Thanks Matt !

Simon Foucart let me know that the 13th Approximation Theory conference will take place in San Antonio on March 7-10, 2010 and will feature a minisymposium on Compressive Sensing embedded in there. I'll put the date on the Compressive Sensing Calendar.

Adaptive compressed image sensing based on wavelet modeling and direct sampling by Shay Deutsch and Amir Averbuch and Shai Dekel . The abstract reads:

We present Adaptive Direct Sampling (ADS), an improved algorithm for simultaneous image acquisition and compression which does not require the data to be sampled at its highest resolution. In some cases, our approach simplifies and improves upon the existing methodology of Compressed Sensing (CS), by replacing the ‘universal’ acquisition of pseudo-random measurements with a direct and fast method of adaptive wavelet coefficient acquisition. The main advantages of this direct approach are that the decoding algorithm is significantly faster and that it allows more control over the compressed image quality, in particular, the sharpness of edges.



Finally, found on Arxiv: Compressive estimation of doubly selective channels: exploiting channel sparsity to improve spectral efficiency in multicarrier transmissions by Georg Tauboeck, Franz Hlawatsch and Holger Rauhut. The abstract reads:

We consider the estimation of doubly selective wireless channels within pulse-shaping multicarrier systems (which include OFDM systems as a special case). A pilot-assisted channel estimation technique using the methodology of compressed sensing (CS) is proposed. By exploiting a channel's delay-Doppler sparsity, CS-based channel estimation allows an increase in spectral efficiency through a reduction of the number of pilot symbols that have to be transmitted. We also present an extension of our basic channel estimator that employs a sparsity-improving basis expansion. We propose a framework for optimizing the basis and an iterative approximate basis optimization algorithm. Simulation results using three different CS recovery algorithms demonstrate significant performance gains (in terms of improved estimation accuracy or reduction of the number of pilots) relative to conventional least-squares estimation, as well as substantial advantages of using an optimized basis.


Credit Photo: MPE

Tuesday, March 17, 2009

CS: Matrix Completion with Noise, Computational Ghost Imaging and CS ?, On uncertainty principles in the finite dimensional setting

Following up on Terry Tao's blog entry, the upcoming paper mentioned at the end of his entry is out: Matrix Completion with Noise by Emmanuel J. Candes and Yaniv Plan. The abstract reads:
On the heels of compressed sensing, a remarkable new field has very recently emerged. This field addresses a broad range of problems of significant practical interest, namely, the recovery of a data matrix from what appears to be incomplete, and perhaps even corrupted, information. In its simplest form, the problem is to recover a matrix from a small sample of its entries, and comes up in many areas of science and engineering including collaborative filtering, machine learning, control, remote sensing, and computer vision to name a few. This paper surveys the novel literature on matrix completion, which shows that under some suitable conditions, one can recover an unknown low-rank matrix from a nearly minimal set of entries by solving a simple convex optimization problem, namely, nuclear-norm minimization subject to data constraints. Further, this paper introduces novel results showing that matrix completion is provably accurate even when the few observed entries are corrupted with a small amount of noise. A typical result is that one can recover an unknown nxn matrix of low rank r from just about nr log2 n noisy samples with an error which is proportional to the noise level. We present numerical results which complement our quantitative analysis and show that, in practice, nuclear norm minimization accurately fills in the many missing entries of large low-rank matrices from just a few noisy samples. Some analogies between matrix completion and compressed sensing are discussed throughout.


The Arxiv blog is now one of Technology Review's blogs. One of its entry features a write-up on a summary article on Compressive Sensing. In the end of the blog entry, it says that Wim (an anonymous commenter) and I have "shown" that the Ghost Imaging effect to be just compressed sensing and not some spooky quantum mechanical effect. This is a debate that is currently being argued as can be seen in Morton Rubin's Comment on Ghost imaging with a single detector [arXiv0812.2633v2]. I am no specialist of the underlying physics but as stated in the comments here and with further discussions with the group at Weizmann, it looks like the nonlinear solvers being used in CS could help as the solver used in the orignal paper is linear (I discussed this a while back on this blog, go for "if it walks like duck..."). Update: The folks at Weizmann have shown me some very nice new results in that direction and will publish the comparison between the nonlinear and linear solvers soon. However, I'll let Yaron Bromberg , one of the investigator at the Weizmann Ultrafast Optics Group, explains the more salient point:

...Please feel free to mention in your response that we are currently working on the next paper.

Actually, we would appreciate it if in your response you could make it clear that in our original paper we performed a linear reconstruction, without any L_1 minimization. Ghost imaging works well with a linear reconstruction, and therefore compressed sensing has nothing to do with the debate whether ghost imaging is a classical or quantum phenomenon. CS does allow us to obtain 'ghost images' with a significantly improved SNR and with much less realizations, and we are very excited from that. Somehow we feel that this point is not that clear in today's arxiv blog.
I am impatient to see the new paper and see how the QM physics relates to the incoherent acquisition of the signal (which is what CS is really about). May we live in interesting times....

In yesterday's long post, I mentioned the linear reconstruction solver listed in Non-Iterative Computation of Sparsifiable Solutions to Underdetermined Kronecker Product Linear Systems of Equations by Andrew Yagle. Some astute reader may have noted that the matlab code listed did not parse. Andy mentioned to me that there was a Matlab to Tex conversion issue. The actual .m file is:

clear;
rand('state',0);
X=ceil(rand(256,256)-0.99965);
H=rand(22,256);
[U S V]=svd(H);
Y=H*(H*X)';
Q=V(:,1:22);
%Y(:)=kron(H,H)*X(:).484X65536 matrixXvector too big.
%GOAL: Get sparse X(length=65536) from Y(length=484).
W=inv(S(:,1:22))*U';
YY=reshape(kron(W,W)*Y(:),22,22);
I=find(abs(Q*null(YY)) <> 0)'
J=find(abs(Q*null(YY')) <> 0)'
Z(256,256)=0;
Z(I,:)=1;
Z(:,J)=1; %Lines with nonzero X
figure,imagesc(X),colormap(gray),title('SPARSE IMAGE')
figure,imagesc(Y),colormap(gray),title('DATA IMAGE')
figure,imagesc(Z+3*X),colormap(gray),title('INDICATOR')


In other news, I just found the following paper that deals with some version of the uncertainty principle which is somewhat funny in regards to the Quantum Mechanical debate above :-) : On uncertainty principles in the finite dimensional setting by Saifallah Ghobber and Philippe Jaming. The abstract reads:
The aim of this paper is to prove an uncertainty principle for the representation of a vector in two bases. Our result extends previously known qualitative uncertainty principles into quantitative estimates. We then show how to transfer this result to the discrete version of the Short Time Fourier Transform. An application to trigonometric polynomials is also given.

Of potential interest is: Some links between uncertainty principles and combinatorics.

CS: This week's long post


Andrew McGregor has his slides from the Barbados workshop mentioned last week: part1, part2

Andrew Yagle is at it again and wow, just wow. If you recall it looks like designing the psf of an instrument so that it be a kronecker product of 1-D s can decrease tremendously the speed for calibration but is also a good way to reduce the memory size of the measurement matrix. Andrew Yagle seems to be showing now that the reconstruction stage does not need any iterative schemes (LP, greedy, IT,.....) in Non-Iterative Computation of Sparsifiable Solutions to Underdetermined Kronecker Product Linear Systems of Equations by Andrew Yagle. The abstract reads:

The problem of computing sparse (mostly zero) or sparsifiable (by linear transformation) solutions to underdetermined linear systems of equations has applications in compressed sensing and minimum exposure medical imaging. We present a simple, noniterative, low-computational-cost algorithm for computing a sparse solution to an underdetermined linear system of equations. The system matrix is the Kronecker (tensor) product of two matrices, as in separable 2D deconvolution and reconstruction from partial 2D Fourier data, where the image is sparsifiable by a separable 2D wavelet or other transform. A numerical example and program illustrates the new algorithm.
The code allowing this reconstruction is simple and given in the paper:
clear;rand(’state’,0);
X=ceil(rand(256,256)-0.99965);
H=rand(22,256);
[U S V]=svd(H);
Y=H*(H*X)’;
Q=V(:,1:22);
%Y(:)=kron(H,H)*X(:).484X65536 matrixXvector too big.
%GOAL: Get sparse X(length=65536) from Y(length=484).
W=inv(S(:,1:22))*U’;
YY=reshape(kron(W,W)*Y(:),22,22);
I=find(abs(Q*null(YY))¡0.000001);
%=find(sum(X’)¿0)’
J=find(abs(Q*null(YY’))¡0.000001);
%=find(sum(X)¿0)’
Z(256,256)=0;Z(I,:)=1;Z(:,J)=1;%Lines with nonzero X
figure,imagesc(X),colormap(gray),title(’SPARSE IMAGE’)
figure,imagesc(Y),colormap(gray),title(’DATA IMAGE’)
figure,imagesc(Z+3*X),colormap(gray),title(’INDICATOR’)


I mentioned the somewhat very surprising papers of Andrew Yagle about a month ago, as a reminder here they are:

  • A.E. Yagle, "A New Algorithm for the Nearest Singular Toeplitz Matrix to a Given Toeplitz Matrix" .pdf
  • A.E. Yagle, "A Non-Iterative Procedure for Sparse Solutions to Linear Equations with Bandlimited Rows" .pdf
  • A.E. Yagle, "A Non-Iterative Procedure for Computing Sparse and Sparsifiable Solutions to Slightly Underdetermined Linear Systems of Equations".pdf
Just WOW.

also of interest:

We extend the alternating minimization algorithm recently proposed in [38, 39] to the case of recovering blurry multichannel (color) images corrupted by impulsive rather than Gaussian noise. The algorithm minimizes the sum of a multichannel extension of total variation (TV), either isotropic or anisotropic, and a data fidelity term measured in the L1-norm. We derive the algorithm by applying the well-known quadratic penalty function technique and prove attractive convergence properties including finite convergence for some variables and global q-linear convergence. Under periodic boundary conditions, the main computational requirements of the algorithm are fast Fourier transforms and a low-complexity Gaussian elimination procedure. Numerical results on images with different blurs and impulsive noise are presented to demonstrate the efficiency of the algorithm. In addition, it is numerically compared to an algorithm recently proposed in [20] that uses a linear program and an interior point method for recovering grayscale images.


We propose a fast algorithm for solving the ℓ1-regularized minimization problem minx2Rn μ|x||_1 + ||Ax − b||_2^2 for recovering sparse solutions to an undetermined system of linear equations Ax = b. The algorithm is divided into two stages that are performed repeatedly. In the first stage a first-order iterative method called “shrinkage” yields an estimate of the subset of components of x likely to be nonzero in an optimal solution. Restricting the decision variables x to this subset and fixing their signs at their current values reduces the ℓ1-norm ||x||_1 to a linear function of x. The resulting subspace problem, which involves the minimization of a smaller and smooth quadratic function, is solved in the second phase. Our code FPC AS embeds this basic two-stage algorithm in a continuation (homotopy) approach by assigning a decreasing sequence of values to μ. This code exhibits state-of-the-art performance both in terms of its speed and its ability to recover sparse signals. It can even recover signals that are not as sparse as required by current compressive sensing theory.


A Fast TVL1-L2 Minimization Algorithm for Signal Reconstruction from Partial Fourier Data
by Junfeng Yang, Wotao Yin, Yin Zhang. The abstract reads:
Recent compressive sensing results show that it is possible to accurately reconstruct certain compressible signals from relatively few linear measurements via solving nonsmooth convex optimization problems. In this paper, we propose a simple and fast algorithm for signal reconstruction from partial Fourier data. The algorithm minimizes the sum of three terms corresponding to total variation, l_1-norm regularization and least squares data fitting. It uses an alternating minimization scheme in which the main computation involves shrinkage and fast Fourier transforms (FFTs), or alternatively discrete cosine transforms (DCTs) when available data are in the DCT domain. We analyze the convergence properties of this algorithm, and compare its numerical performance with two recently proposed algorithms. Our numerical simulations on recovering magnetic resonance images (MRI) indicate that the proposed algorithm is highly efficient, stable and robust.

An Efficient Algorithm for Compressed MR Imaging using Total Variation and Wavelets by Shiqian Ma, Wotao Yin, Yin Zhang and Amit Chakraborty. The abstract reads:

Compressed sensing, an emerging multidisciplinary field involving mathematics, probability, optimization, and signal processing, focuses on reconstructing an unknown signal from a very limited number of samples. Because information such as boundaries of organs is very sparse in most MR images, compressed sensing makes it possible to reconstruct the same MR image from a very limited set of measurements significantly reducing the MRI scan duration. In order to do that however, one has to solve the difficult problem of minimizing nonsmooth functions on large data sets. To handle this, we propose an efficient algorithm that jointly minimizes the l_1 norm, total variation, and a least squares measure, one of the most powerful models for compressive MR imaging. Our algorithm is based upon an iterative operator-splitting framework. The calculations are accelerated by continuation and takes advantage of fast wavelet and Fourier transforms enabling our code to process MR images from actual real life applications. We show that faithful MR images can be reconstructed from a subset that represents a mere 20 percent of the complete set of measurements.


Credit: NASA, sptizer photo via the Bad Astronomy blog

Monday, March 16, 2009

CS: Emerging Trends in Visual Computing, High-Rate LDPC Codes in Compressed Sensing, Sparsity in Everything, Stats on the LinkedIn CS Group.

Frank Nielsen just let me know that the proceedings of the Emerging Trends in Visual Computing (ETVC'08) conference  that took place just came out. All the videos of the workshop are here.

I have mentioned the workshop before here, here, here, here and here. Out of the videos I have not mentioned here is one by  Martin Vetterli entitled Sparse Sampling: Variations on a Theme by Shannon.



Fan Zhang and Henry D. Pfister just released on arxiv  On the Iterative Decoding of High-Rate LDPC Codes With Applications in Compressed Sensing.

This paper considers the performance of (j,k)-regular low-density parity-check (LDPC) codes with message-passing (MP) decoding algorithms in the high-rate regime. From a coding perspective, this analysis is interesting for a variety of channels including the binary erasure channel (BEC) and the q-ary symmetric channel (q-SC). The first result is that, for the BEC, the density evolution (DE) threshold of the best decoder scales as \Theta(k^{-1}) and the critical stopping ratio scales as \Theta(k^{-j/(j-2)}).

Abstract-- The analysis for the verification decoding with q-SC is applicable to the compressed sensing (CS) of strictly-sparse signals. Of particular note is the performance of CS systems based on LDPC codes and MP decoding. The analysis based on DE/stopping set analysis is used to analyze the CS systems with randomized/uniform reconstruction. The results show that strictly sparse signals can be reconstructed with a constant oversampling ratio when the number of measurements scales linearly with the sparsity of the signal.
The Lasso is an attractive technique for regularization and variable selection for high-dimensional data, where the number of predictor variables $p_n$ is potentially much larger than the number of samples $n$. However, it was recently discovered that the sparsity pattern of the Lasso estimator can only be asymptotically identical to the true sparsity pattern if the design matrix satisfies the so-called irrepresentable condition. The latter condition can easily be violated in the presence of highly correlated variables. Here we examine the behavior of the Lasso estimators if the irrepresentable condition is relaxed. Even though the Lasso cannot recover the correct sparsity pattern, we show that the estimator is still consistent in the $\ell_2$-norm sense for fixed designs under conditions on (a) the number $s_n$ of nonzero components of the vector $\beta_n$ and (b) the minimal singular values of design matrices that are induced by selecting small subsets of variables. Furthermore, a rate of convergence result is obtained on the $\ell_2$ error with an appropriate choice of the smoothing parameter. The rate is shown to be optimal under the condition of bounded maximal and minimal sparse eigenvalues. Our results imply that, with high probability, all important variables are selected. The set of selected variables is a meaningful reduction on the original set of variables. Finally, our results are illustrated with the detection of closely adjacent frequencies, a problem encountered in astrophysics.


I am looking for input for the Sparsity in Everything series that I am running. It is located at:


I have several ideas but I would not mind additional examples.

Finally, the LinkedIn group on compressive sensing has now reached 120 people. There is not much traffic yet there in the discussion section however, I went through the listing and here is the approximate percentage of professions being represented there:
  • 39 % are students
  • 5 % are post-docs
  • 13% are professors
  • 9% are researchers (mostly in industry)
  • and most importantly 34% are professionals outside of academia.

Therefore about 42% of the people in the group are outside the traditional academic tracks. This is not a bad thing for an area of investigation that started only four years ago. With regards to geographical location, about 49% are located in the Americas (mostly the U.S.), 32 % are located in Europe and 19% are located in Asia. Again, I am not sure that interest in the field of wavelets back in the late 1980's spread that widely so fast after the first few papers on the subject.


Friday, March 13, 2009

This song ain't about you

For those of you not in the U.S., let me provide some context. Back in 2004, there was this show called Crossfire on CNN that was supposed to provide some fair and balanced view on policies. It so happens that the format was in effect producing an illusion of balance by giving voice to opposite views of the political spectrum without providing any feedback as to whether any of these views (on both sides) were grounded in truth.





Then they invited Jon Stewart of The Daily Show, a comic show on the Comedy Channel, and this is what this video is about. It is safe to say that the Crossfire show did not survive much longer after his appearance.





Did we see a repeat of that last night for Business/Financial Cable Channels ? You may want to check that out in the full version of the interview by Jon Stewart of Jim Cramer, a famous show host on one of these Business/Financial Cable Channels: Part 1, Part 2, Part 3 ( the title of this entry is excerpted from part 3).

CS: Codes, Algorithmic Problems and Results in CS, Compressed imaging with separable sensing operator, General Deviants, Low Density Frames, SPARLS

While looking at the log on the blog, somebody from eop.gov came to see the site. Should I say woohoo or is it something more nefarious ? :-) (for non-US readers, eop stands for Executive Office of the President).

The Bayesian Compressive Sensing Code has seen an upgrade: tswcs.zip (Last Updated: Mar. 10, 2009, allowing other wavelets besides 'db1' (Haar).)

I mentioned before the paper of Vincent Y. F. Tan and and Vivek Goyal entitled Estimating signals with finite rate of innovation from noisy samples: A stochastic algorithm. The attendant matlab code is now available here.

Matthias Seeger has a new presentation entitled Optimization of k-Space Trajectories for Compressed Sensing by Bayesian Experimental Design.

In the Tuesday's long post, I mentioned the work of M. Salman Asif and Justin Romberg entitled
Streaming Measurements in Compressive Sensing: l_1 Filtering. Following up on that, Justin just let me know that he would be releasing the attendant implementation within two weeks. Great.


S. Muthu Muthukrishnan reports on his blog about his workshop in Barbados and put his note on this page. One of the documents listed is: Some Algorithmic Problems and Results in Compressed Sensing by S. Muthu Muthukrishnan. The abstract reads:

In Compressed Sensing [9], we consider a signal A element of R^n that is compressible with respect to some dictionary of \psi_s, that is, its information is concentrated in k coefficients (A,\psi_k) . The goal is to reconstruct such signals using only a few measurements (A,v_i) , for carefully chosen v_i which depend on \psi_i. Known results [9], [3], [21] prove that there exists a single O(klog(n))xn measurement matrix such that any compressible signal can be reconstructed from these measurements, with error at most O(1) times the worst case error for the class of such signals. Compressed sensing has generated tremendous excitement both because of the sophisticated underlying mathematics including Linear Algebra [9], Geometry [21] and Uncertainty Principle [3], and because
of its potential applications to signal processing, communication theory and compression. In this paper, we focus on algorithmic aspects of compressed sensing and present new problems and results. For example, we
  1. Present a simple, deterministic explicit construction of poly(k,log(n))linear measurements that suffice for compressed sensing.
  2. Introduce functional compressed sensing, that is, extend compressed sensing of a signal to that of functions of the signal, for various functions.
  3. Extend compressed sensing to a distributed, continuous model of computing.
All the results above are obtained by simple combinatorialor number-theoretic ideas.
As he mentioned, here is a nice set of dataset from Yahoo!

Here is an issue that is dear to me, i.e. the calibration of a compressive imager. The following paper tries to use the concept of kronecker products mentioned earlier where if you recall Yin Zhang and others like Thong Do and John Sidles (see comments) the measurement operation can be reduced through the use of Kronecker products of measurement matrices. The paper is entitled: Compressed imaging with separable sensing operator by Yair Rivenson and Adrian Stern. The abstract reads:
Compressive imaging (CI) is a natural branch of compressed sensing (CS). Although a number of CI implementations have started to appear, the design of efficient CI system still remains a challenging problem. One of the main difficulties in implementing CI is that it involves huge amounts of data, which has far-reaching implications for the complexity of the optical design, calibration, data storage and computational burden. In this paper, we solve these problems by using a two dimensional separable sensing operator. By so doing, we reduce the complexity by factor of 10^6 for megapixel images. We show that applying this method requires only a reasonable amount of additional samples.

From the Rice Compressive Sensing Repository, we have:

General Deviants: An Analysis of Perturbations in Compressed Sensing by Matthew A. Herman and Thomas Strohmer. The abstract reads:
We analyze the Basis Pursuit recovery method when observing signals with general perturbations (i.e., additive, as well as multiplicative noise). This completely perturbed model extends the previous work of Candes, Romberg and Tao on stable signal recovery from incomplete and inaccurate measurements. Our results show that, under suitable conditions, the stability of the recovered signal is limited by the noise level in the observation. Moreover, this accuracy is within a constant multiple of the best case reconstruction using the technique of least squares.
I am not a specialist but when reading the paper I am getting the sense that if with the use of the RIP, one eventually gets accuracy bounds with the conclusion that "this accuracy is within a constant multiple of the best case reconstruction using the technique of least squares". Should we see this type of result as another clue that RIP is too sufficient ?




In Compressive Sensing Using Low Density Frames by Mehmet Akçakaya, Jinsoo Park, Vahid Tarokh. The authors devise a new set of sparse measurement matrices called Low Density Frames. The abstract reads:
We consider the compressive sensing of a sparse or compressible signal x 2 RM. We explicitly construct a class of measurement matrices, referred to as the low density frames, and develop decoding algorithms that produce an accurate estimate ^x even in the presence of additive noise. Low density frames are sparse matrices and have small storage requirements. Our decoding algorithms for these frames have O(M) complexity. Simulation results are provided, demonstrating that our approach significantly outperforms state-of-the-art recovery algorithms for numerous cases of interest. In particular, for Gaussian sparse signals and Gaussian noise, we are within 2dB range of the theoretical lower bound in most cases.
From the conclusion,

In this paper, we constructed an ensemble of measurement matrices with small storage requirements. We denoted the members of this ensemble as Low Density Frames (LDF). For these frames, we provided sparse reconstruction algorithms that have O(M) complexity and that are Bayesian in nature. We evaluated the performance of this ensemble of matrices and their decoding algorithms, and compared their performance to other state-of-the-art recovery algorithms and their associated measurement matrices. We observed that in various cases of interest, SuPrEM algorithms with LDFs outperformed the other algorithms with partial Fourier matrices. In particular, for Gaussian sparse signals and Gaussian noise, we are within 2 dB range of the theoretical lower bound in most cases.
Mehmet Akçakaya mentioned to me that an implementation of the measurement matrices and attendant reconstruction codes will be available in the future.

Also from the same group: Asymptotic Achievability of the Cramér–Rao Bound for Noisy Compressive Sampling by Behtash Babadi, Nicholas Kalouptsidis, and, Vahid Tarokh. The abstract reads:
We consider a model of the form y = Ax + n, where x element of C^M is sparse with at most L nonzero coefficients in unknown locations, y element of C^N is the observation vector, A element of C^(MxN) is the measurement matrix and n is the Gaussian noise.We develop a Cramér–Rao bound on the mean squared estimation error of the nonzero elements of x, corresponding to the genie-aided estimator (GAE) which is provided with the locations of the nonzero elements of x. Intuitively, the mean squared estimation error of any estimator without the knowledge of the locations of the nonzero elements of x is no less than that of the GAE. Assuming that L/N is fixed, we establish the existence of an estimator that asymptotically achieves the Cramér–Rao bound without any knowledge of the locations of the nonzero elements of x as N goes to \infty , for A a random Gaussian matrix whose elements are drawn i.i.d. according to N(0,1) .

and SPARLS: A Low Complexity Recursive $\mathcal{L}_1$-Regularized Least Squares Algorithm by Behtash Babadi, Nicholas Kalouptsidis, and, Vahid Tarokh. The abstract reads:
We develop a Recursive $\mathcal{L}_1$-Regularized Least Squares (SPARLS) algorithm for the estimation of a sparse tap-weight vector in the adaptive filtering setting. The SPARLS algorithm exploits noisy observations of the tap-weight vector output stream and produces its estimate using an Expectation-Maximization type algorithm. Simulation studies in the context of channel estimation, employing multi-path wireless channels, show that the SPARLS algorithm has significant improvement over the conventional widely-used Recursive Least Squares (RLS) algorithm, in terms of both mean squared error (MSE) and computational complexity.

Wednesday, March 11, 2009

CS: Terry Tao's blog, Spectral multiplexing method for digital snapshot spectral, Tinkering with Cheap and large SSDs/RAM and CS

Terry Tao has a new blog entry that summarizes the gist of a paper he co-wrote with Emmanuel Candes and mentioned yesterday in The Long Post: The power of convex relaxation: near-optimal matrix completion.


How about using a Canon EOS 30D digital camera and make it hyperspectral camera with 32 bands ? This is what is this new paper is aiming for: Spectral multiplexing method for digital snapshot spectral imaging by Michael A. Golub, Menachem Nathan, Amir Averbuch, Eitan Lavi, Valery Zheludev, and Alon Schclar. The abstract reads:
We propose a spectral imaging method for piecewise uniform "macropixel" objects, which allows a regular digital camera to be converted into a digital snapshot spectral imager by equipping the camera with only a disperser and de-multiplexing algorithm. The method exploits a "multiplexed spectrum" intensity pattern, i.e. the superposition of spectra from adjacent different image points, formed on the image sensor of the digital camera. The spatial image resolution is restricted to a "macropixel" level in order to acquire both spectral and spatial data (i.e. an entire spectral cube) in a single snapshot. Results of lab experiments with a special macropixel object image, composed of small, spatially uniform squares, provide a first verification of the proposed spectral imaging method.
I am adding this hardware to the Compressive Sensing Hardware list.

When implementing a similar system called HyperGeoCam, a random lens imager with a prism-like diffuser enabling multiple wavelengths mixing, my main concern was how to calibrate this thing, i.e. find the psf of the instrument. I am not sure I have the right answer yet as I aiming for an elegant solution, but I should probably continue tinkering around. For instance, as I was reading this article 24 Solid State Drives Open ALL of Microsoft Office In .5 Seconds", I could not help but ask a question I eventually asked on Twitter:
Does anybody know what sort of computation would be sped up by using an SSD as opposed to your average HD ? Large matrix-vector multiply?
SSDs are now used in netbook as well as Hard Drive equivalent or that we also have access to 32GB RAM sticks. Could these technical improvements be on a par with the GPU developement in Compressive Sensing and change some of the assumption made early in CS ? Is there a specific application in CS where the read part is often needed while the write part is not ? Encoding with very large Gaussian matrices ?

Thanks Zachary Harmany   and Eric Tramel  for their feedback on Twitter!

Tuesday, March 10, 2009

CS: The Long Post.

It's a long post and maybe it shows that the field is maturing. In yesterday's post on the Duke Compressive Sensing Videos, I forgot to mention the introductory talk of Larry Carin, here it is.

First, for those of you in the U.S. and who have congressional representation, please take a moment to read this small blog entry on the recent Conyers' bill being considered in Congress. PubMed is a jewel for the average citizen when it comes to learning on the development on the cure of diseases. The World at large will thank you for letting this resource open and free for the good of mankind.

Now that Kepler has launched, the next launch of importance will be that of Herschel which will have an implementation of a compressive sensing algorithm for one of its camera. The launch is scheduled on April 16th and it is on the CS calendar. When was the last time you had the launch of a Spacecraft on your calendar ? ... I thought so.

In other news, it looks like some of the professionals are thinking that 12 MP is enough for digital cameras. I note in this entry, that Fuji has just come out with FinePix200EXR which uses a technology we mentioned before that is aimed at high dynamic range.


What about putting something in front of that camera :-) ? (even though it looks like it is a pain to change a point and shoot lens).

On a totally unrelated item, one of my counter passed the 100,000 th visit to the blog and attendant sites this week-end. The starting date for the counter was about March 2007. Another counter by Google analytics shows the following trend.


In particular, let us note that the readership crossed over 10,000 visits in February (the shortest month of the year) ! This does not take into account the readership through feedreaders and e-mail ( I realize there is a potentially large overlap). Those stats are on the right side menu of the blog.

I was about to leave a comment on this blog, but the software would not allow me to do that, oh well. My comment was :

Instead of thinking of Battleship, could we think of a magic trick where the spectators would give out CS measurements ?


Let us get back to Compressive Sensing papers some of which have appeared recently on the Rice Compressive Sensing site, some others on Arxiv and others directly on the author's page. Avishy Cami kindly lets me know of an extension to his and his colleagues' previous work using Kalman filtering to reconstruct signals in Extended Compressed Sensing: Filtering Inspired Methods for Sparse Signal Recovery and Their Nonlinear Variants (also here) by himself, Pini Gurfil, Dimitri Kanevsky and Bhuvana Ramabhadran. The abstract reads:

New methods are presented for sparse signal recovery from a sequence of noisy observations. The sparse recovery problem, which is NP-hard in general, is addressed by resorting to convex and non-convex relaxations. The body of algorithms in this work extends and consolidate the recently introduced Kalman filtering (KF)-based compressed sensing methods. These simple methods, which are briefly reviewed here, rely on a pseudo-measurement trick for incorporating the norm relaxations following from CS theory. The extension of the methods to the nonlinear case is discussed and the notion of local CS is introduced. The essential idea is that CS can be applied for recovering sufficiently small and sparse state perturbations thereby improving nonlinear estimation in cases where the sensing function maps the state onto a lower-dimensional space. Other two methods are considered in this work. The extended Baum-Welch (EBW), a popular algorithm for discriminative training of speech models, is amended here for recovery of normalized sparse signals. This method naturally handles nonlinearities and therefore has a prominent advantage over the nonlinear extensions of the KF-based algorithms which rely on validity of linearization. The last method derived in this work is based on a Markov chain Monte Carlo (MCMC) mechanism. This method roughly divides the sparse recovery problem into two parts. Thus, the MCMC is used for optimizing the support of the signal while an auxiliary estimation algorithm yields the value of elements. An extensive numerical study is provided in which the methods are compared and analyzed. As part of this, the KF-based algorithm is applied to lossy speech compression.
Avishy also tells me that examples from these papers using Kalman Filtering will soon be on his site. Great.

I wonder how I missed this one, but it looks like it is not on the blog. Combinatorial Sublinear-Time Fourier Algorithms by Mark Iwen. The abstract reads:
We study the problem of estimating the best k term Fourier representation for a given frequency-sparse signal (i.e., vector) A of length N  k. More explicitly, we investigate how to deterministically identify k of the largest magnitude frequencies of ˆA, and estimate their coefficients, in polynomial(k, logN) time. Randomized sublinear time algorithms which have a small (controllable) probability of failure for each processed signal exist for solving this problem [21, 22]. In this paper we develop the first known deterministic sublinear time sparse Fourier Transform algorithm which is guaranteed to produce accurate results. As an added bonus, a simple relaxation of our deterministic Fourier result leads to a new Monte Carlo Fourier algorithm with similar runtime/sampling bounds to the current best randomized Fourier method [22]. Finally, the Fourier algorithm we develop here implies a simpler optimized version of the deterministic compressed sensing method previously developed in [27].

Streaming Measurements in Compressive Sensing: l_1 Filtering by M. Salman Asif and Justin Romberg. The abstract reads:
The central framework for signal recovery in compressive sensing is l_1 norm minimization. In recent years, tremendous progress has been made on algorithms, typically based on some kind of gradient descent or Newton iterations, for performing l_1 norm minimization. These algorithms, however, are for the most part “static”: they focus on finding the solution for a fixed set of measurements. In this paper, we will present a method for quickly updating the solution to some l_1 norm minimization problems as new measurements are added. The result is an “l_1 filter” and can be implemented using standard techniques from numerical linear algebra. Our proposed scheme is homotopy based where we add new measurements in the system and instead of solving updated problem directly, we solve a series of simple (easy to solve) desired solution.

Dantzig selector homotopy with dynamic measurements by M. Salman Asif and Justin Romberg. The abstract reads:
The Dantzig selector is a near ideal estimator for recovery of sparse signals from linear measurements in the presence of noise. It is a convex optimization problem which can be recast into a linear program (LP) for real data, and solved using some LP solver. In this paper we present an alternative approach to solve the Dantzig selector which we call “Primal Dual pursuit” or “PD pursuit”. It is a homotopy continuation based algorithm, which iteratively computes the solution of Dantzig selector for a series of relaxed problems. At each step the previous solution is updated using the optimality conditions defined by the Dantzig selector. We will also discuss an extension of PD pursuit which can quickly update the solution for Dantzig selector when new measurements are added to the system. We will present the derivation and working details of these algorithms.

Dynamic Updating for Sparse Time Varying Signals
by M. Salman Asif and Justin Romberg. The abstract reads:
Many signal processing applications revolve around finding a sparse solution to a (often underdetermined) system of linear equations. Recent results in compressive sensing (CS) have shown that when the signal we are trying to acquire is sparse and the measurements are incoherent, the signal can be reconstructed reliably from an incomplete set of measurements. However, the signal recovery is an involved process, usually requiring the solution of an ℓ1 minimization program. In this paper we discuss the problem of estimating a timevarying sparse signal from a series of linear measurements. We propose an efficient way to dynamically update the solution to two types of ℓ1 problems when the underlying signal changes. The proposed dynamic update scheme is based on homotopy continuation, which systematically breaks down the solution update into a small number of linear steps. The computational cost for each step is just a few matrix-vector multiplications.
Dynamic updating for L1 minimization by M. Salman Asif and Justin Romberg. The abstract reads:
The theory of compressive sensing (CS) suggests that under certain conditions, a sparse signal can be recovered from a small number of linear incoherent measurements. An effective class of reconstruction algorithms involve solving a convex optimization program that balances the L1 norm of the solution against a data fidelity term. Tremendous progress has been made in recent years on algorithms for solving these L1 minimization programs. These algorithms, however, are for the most part static: they focus on finding the solution for a fixed set of measurements.
In this paper, we will discuss "dynamic algorithms" for solving L1 minimization programs for streaming sets of measurements. We consider cases where the underlying signal changes slightly between measurements, and where new measurements of a fixed signal are sequentially added to the system. We develop algorithms to quickly update the solution of several different types of L1 optimization problems whenever these changes occur, thus avoiding having to solve a new optimization problem from scratch. Our proposed schemes are based on homotopy continuation, which breaks down the solution update in a systematic and efficient way into a small number of linear steps. Each step consists of a low-rank update and a small number of matrix-vector multiplications -- very much like recursive least squares. Our investigation also includes dynamic updating schemes for L1 decoding problems, where an arbitrary signal is to be recovered from redundant coded measurements which have been corrupted by sparse errors.
Signal Recovery from Inaccurate and Incomplete Measurements via ROMP by Deanna Needell and Roman Vershynin. The abstract reads:
We demonstrate a simple greedy algorithm that can reliably recover a vector v element of R^d from incomplete and inaccurate measurements x = \phi v + e. Here is a N × d measurement matrix with N much less d, and e is an error vector. Our algorithm, Regularized Orthogonal Matching Pursuit (ROMP), seeks to close the gap between two major approaches to sparse recovery. It combines the speed and ease of implementation of the greedy methods with the strong guarantees of the convex programming methods. For any measurement matrix \phi that satisfies a Uniform Uncertainty Principle, ROMP recovers a signal v with O(n) nonzeros from its inaccurate measurements x in at most n iterations, where each iteration amounts to solving a Least Squares Problem. The noise level of the recovery is proportional to √log n||e||_2. In particular, if the error term e vanishes the reconstruction is exact. This stability result extends naturally to the very accurate recovery of approximately sparse signals.

On-Off Random Access Channels: A Compressed Sensing Framework by Alyson Fletcher, Sundeep Rangan, Vivek Goyal. The abstract reads:
This paper considers a simple on-off random multiple access channel, where n users communicate simultaneously to a single receiver over m degrees of freedom. Each user transmits with probability lambda, where typically lambda n \lt m \lt \lt n, and the receiver must detect which users transmitted. We show that when the codebook has i.i.d. Gaussian entries, detecting which users transmitted is mathematically equivalent to a certain sparsity detection problem considered in compressed sensing. Using recent sparsity results, we derive upper and lower bounds on the capacities of these channels. We show that common sparsity detection algorithms, such as lasso and orthogonal matching pursuit (OMP), can be used as tractable multiuser detection schemes and have significantly better performance than single-user detection. These methods do achieve some near-far resistance but--at high signal-to-noise ratios (SNRs)--may achieve capacities far below optimal maximum likelihood detection. We then present a new algorithm, called sequential OMP, that illustrates that iterative detection combined with power ordering or power shaping can significantly improve the high SNR performance. Sequential OMP is analogous to successive interference cancellation in the classic multiple access channel. Our results thereby provide insight into the roles of power control and multiuser detection on random-access signalling.

The Power of Convex Relaxation: Near-Optimal Matrix Completion by Emmanuel Candes and Terence Tao. The abstract reads:
This paper is concerned with the problem of recovering an unknown matrix from a small fraction of its entries. This is known as the matrix completion problem, and comes up in a great number of applications, including the famous Netflix Prize and other similar questions in collaborative filtering. In general, accurate recovery of a matrix from a small number of entries is impossible; but the knowledge that the unknown matrix has low rank radically changes this premise, making the search for solutions meaningful. This paper presents optimality results quantifying the minimum number of entries needed to recover a matrix of rank r exactly by any method whatsoever (the information theoretic limit). More importantly, the paper shows that, under certain incoherence assumptions on the singular vectors of the matrix, recovery is possible by solving a convenient convex program as soon as the number of entries is on the order of the information theoretic limit (up to logarithmic factors). This convex program simply nds, among all matrices consistent with the observed entries, that with minimum nuclear norm. As an example, we show that on the order of nr log(n) samples are needed to recover a random n x n matrix of rank r by any method, and to be sure, nuclear norm minimization succeeds as soon as the number of entries is of the form nrpolylog(n).

Stagewise Weak Gradient Pursuits
by Thomas Blumensath and Mike Davies. The abstract reads:
Finding sparse solutions to underdetermined inverse problems is a fundamental challenge encountered in a wide range of signal processing applications, from signal acquisition to source separation. This paper looks at greedy algorithms that are applicable to very large problems. The main contribution is the development of a new selection strategy (called stagewise weak selection) that effectively selects several elements in each iteration. The new selection strategy is based on the realisation that many classical proofs for recovery of sparse signals can be trivially extended to the new setting. What is more, simulation studies show the computational benefits and good performance of the approach. This strategy can be used in several greedy algorithms and we argue for the use within the gradient pursuit framework in which selected coefficients are updated using a conjugate update direction. For this update, we present a fast implementation and novel convergence result.

Quantized Compressive Sensing
by Wei Dai, Hoa Vinh Pham, and Olgica Milenkovic. The abstract reads:
We study the average distortion introduced by scalar, vector, and entropy coded quantization of compressive sensing (CS) measurements. The asymptotic behavior of the underlying quantization schemes is either quantified exactly or characterized via bounds. We adapt two benchmark CS reconstruction algorithms to accommodate quantization errors, and empirically demonstrate that these methods significantly reduce the reconstruction distortion when compared to standard CS techniques.

Dictionary Learning for Sparse Approximations with the Majorization Method by Mehrdad Yaghoobi, and Thomas Blumensath, and Mike Davies. The abstract reads:
In order to find sparse approximations of signals, an appropriate generative model for the signal class has to be known. If the model is unknown, it can be adapted using a set of training samples. This paper presents a novel method for dictionary learning and extends the learning problem by introducing different constraints on the dictionary. The convergence of the proposed method to a fixed point is guaranteed, unless the accumulation points form a continuum. This holds for different sparsity measures. The majorization method is an optimization method that substitutes the original objective function with a surrogate function that is updated in each optimization step. This method has been used successfully in sparse approximation and statistical estimation (e.g. Expectation Maximization (EM)) problems. This paper shows that the majorization method can be used for the dictionary learning problem too. The proposed method is compared with other methods on both synthetic and real data and different constraints on the dictionary are compared. Simulations show the advantages of the proposed method over other currently available dictionary learning methods not only in terms of average performance but also in terms of computation time.

Parametric Dictionary Design for Sparse Coding
by Mehrdad Yaghoobi, and Laurent Daudet, and Mike Davies. The abstract reads:
This paper introduces a new dictionary design method for sparse coding of a class of signals. It has been shown that one can sparsely approximate some natural signals using an overcomplete set of parametric functions, e.g. [1], [2]. A problem in using these parametric dictionaries is how to choose the parameters. In practice these parameters have been chosen by an expert or through a set of experiments. In the sparse approximation context, it has been shown that an incoherent dictionary is appropriate for the sparse approximation methods. In this paper we first characterize the dictionary design problem, subject to a minimum coherence constraint. Then we briefly explain that equiangular tight frames have minimum coherence. The parametric dictionary design is then to find an admissible dictionary close to being tight frame. The complexity of the problem does not allow it to be solved exactly. We introduce a practical method to approximately solve it. Some experiments show the advantages one gets by using these dictionaries.

Parametric Dictionary Design for Sparse Coding
by Mehrdad Yaghoobi, and Laurent Daudet, and Mike Davies. The abstract reads:
This paper introduces a new dictionary design method for sparse coding of a class of signals. It has been shown that one can sparsely approximate some natural signals using an overcomplete set of parametric functions, e.g. [1], [2]. A problem in using these parametric dictionaries is how to choose the parameters. In practice these parameters have been chosen by an expert or through a set of experiments. In the sparse approximation context, it has been shown that an incoherent dictionary is appropriate for the sparse approximation methods. In this paper we first characterize the dictionary design problem, subject to a constraint on the dictionary. Then we briefly explain that equiangular tight frames have minimum coherence. The complexity of the problem does not allow it to be solved exactly. We introduce a practical method to approximately solve it. Some experiments show the advantages one gets by using these dictionaries.
Irregular and Multi-channel Sampling of Operators by Yoon Mi Hong and Gotz Pfander. The abstract reads:
The classical sampling theorem for bandlimited functions has recently been generalized to apply to so-called bandlimited operators, that is, to operators with band-limited Kohn-Nirenberg symbols. Here, we discuss operator sampling versions of two of the most central extensions to the classical sampling theorem. In irregular operator sampling, the sampling set is not periodic with uniform distance. In multi-channel operator sampling, we obtain complete information on an operator by multiple operator sampling outputs.
Fast Bayesian Matching Pursuit: Model Uncertainty and Parameter Estimation for Sparse Linear Models by Phil Schniter, Lee Potter and Justin Ziniel (this is a revised version).The abstract reads:
A low-complexity recursive procedure is presented for model selection and minimum mean squared error (MMSE) estimation in linear regression. Emphasis is given to the case of a sparse parameter vector and fewer observations than unknown parameters. A Gaussian mixture is chosen as the prior on the unknown parameter vector. The algorithm returns both a set of high posterior probability models and an approximate MMSE estimate of the parameter vector. Exact ratios of posterior probabilities serve to reveal potential ambiguity among multiple candidate solutions that are ambiguous due to observation noise or correlation among columns in the regressor matrix. Algorithm complexity is O(MNK), with M observations, N coefficients, and K nonzero coefficients. For the case that hyperparameters are unknown, an approximate maximum likelihood estimator is proposed based on the generalized expectation-maximization algorithm. Numerical simulations demonstrate estimation performance and illustrate the distinctions between MMSE estimation and maximum a posteriori probability model selection.
There is also a presentation: Sparse Reconstruction via Bayesian Variable Selection and Bayesian Model Averaging by Phil Schniter, Lee Potter, and Subhojit Som

Finally, we have Some Variations on Total Variation Based Image Smoothing by Antonin Chambolle, Stacey Levine, and Bradley Lucier. The abstract reads:

In this paper we study finite-diff erence approximations to the variational problem using the BV smoothness penalty that was introduced in an image smoothing context by Rudin, Osher, and Fatemi. We give a dual formulation for an \upwind" finite-diff erence approximation for the BV seminorm; this formulation is in the same spirit as one popularized by Chambolle for a simpler, more anisotropic, finite-di fference approximation to the BV seminorm. We introduce a multiscale method for speeding the approximation of both Chambolle's original method and of the new formulation of the upwind scheme. We demonstrate numerically that the multiscale method is e ective, and we provide numerical examples that illustrate both the qualitative and quantitative behavior of the solutions of the numerical formulations.
Insights into the stable recovery of sparse solutions in overcomplete representations using network information theory by Yuzhe Jin and Bhaskar Rao. The abstract reads:

In this paper, we examine the problem of overcomplete representations and provide new insights into the problem of stable recovery of sparse solutions in noisy environments. We establish an important connection between the inverse problem that arises in overcomplete representations and wireless communication models in network information theory. We show that the stable recovery of a sparse solution with a single measurement vector (SMV) can be viewed as decoding competing users simultaneously transmitting messages through a Multiple Access Channel (MAC) at the same rate. With multiple measurement vectors (MMV), we relate the inverse problem to the wireless communication scenario with a Multiple-Input Multiple-Output (MIMO) channel. In each case, based on the connection established between the two domains, we leverage channel capacity results with outage analysis to shed light on the fundamental limits of any algorithm to stably recover sparse solutions in the presence of noise. Our results explicitly indicate the conditions on the key model parameters, e.g. degree of overcompleteness, degree of sparsity, and the signal-to-noise ratio, to guarantee the existence of asymptotically stable reconstruction of the sparse source.
Performance limits of matching pursuit algorithms by Yuzhe Jin and Bhaskar Rao. The abstract reads:
In this paper, we examine the performance limits of the Orthogonal Matching Pursuit (OMP) algorithm, which has proven to be effective in solving for sparse solutions to inverse problem arising in overcomplete representations. To identify these limits, we exploit the connection between sparse solution problem and multiple access channel (MAC) in wireless communication domain. The forward selective nature of OMP helps it to be recognized as a successive interference cancellation (SIC) scheme that decodes non-zero entries one at a time in a specific order. We leverage this SIC decoding order and utilize the criterion for successful decoding to develop the information-theoretic performance limitation for OMP, which involves factors such as dictionary dimension, signal-to-noise-ratio, and importantly, the relative behavior of the non-zeros entries. Supported by computer simulations, our proposed criterion is demonstrated to be asymptotically effective in explaining the behavior of OMP.

Compressed learning: Universal sparse dimensionality reduction and learning in the measurement domain by Robert Calderbank, Sina Jafarpour, and Robert Schapire,The abstract reads:
In this paper, we provide theoretical results to show that compressed learning, learning directly in the compressed domain, is possible. In Particular, we provide tight bounds demonstrating that the linear kernel SVM’s classifier in the measurement domain, with high probability, has true accuracy close to the accuracy of the best linear threshold classifier in the data domain. We show that this is beneficial both from the compressed sensing and the machine learning points of view. Furthermore, we indicate that for a family of well-known compressed sensing matrices, compressed learning is universal, in the sense that learning and classification in the measurement domain works provided that the data are sparse in some, even unknown, basis. Moreover, we show that our results are also applicable to a family of smooth manifold-learning tasks. Finally, we support our claims with experimental results.

Optimized compressed sensing for curvelet-based seismic data reconstruction by Wen Tang, Jianwei Ma, and Felix Herrmann. The abstract reads:
Compressed sensing (CS) or compressive sampling provides a new sampling theory to reduce data acquisition, which says that compressible signals can be exactly reconstructed from highly incomplete sets of measurements. Very recently, the CS has been applied for seismic exploration and started to compact the traditional data acquisition. In this paper, we present an optimized sampling strategy for the CS data acquisition, which leads to better performance by the curvelet sparsity-promoting inversion in comparison with random sampling and jittered sampling scheme. One of motivation is to reduce the mutual coherence between measurement sampling schemes and curvelet sparse transform in the CS framework. The basic idea of our optimization is to directly redistribute the energy in frequency domain making original spectrum easily discriminated from the random noise induced by random undersampling, while o®ering control on the maximum gap size. Numerical experiments on synthetic and real seismic data show good performances of the proposed optimized CS for seismic data reconstruction.

Single-pixel remote sensing by Jianwei Ma. The abstract reads:
In this letter, we apply a new sampling theory named compressed sensing (CS) for aerospace remote sensing to reduce data acquisition and imaging cost. We can only record directly single or multiple pixels while need not the use of additional compression step to improve the problems of power consumption, data storage, and transmission, without degrading spatial resolution and quality of pictures. The CS remote sensing includes two steps: encoding imaging and decoding recovery. A noiselet transform-based single-pixel imaging and a random Fourier sampling-based multipixel imaging are alternatively used for encoding, and an iterative curvelet thresholding method is used for decoding. The new sensing mechanism shifts onboard imaging cost to offline decoding recovery. It would lead to new instruments with less storage space, less power consumption, and smaller size than currently used charged coupled device cameras, which would match effective needs particularly for probes sent very far away. Numerical experiments on potential applications for Chinese Chang’e-1 lunar probe are presented.
The batch least-absolute shrinkage and selection operator (Lasso) has well-documented merits for estimating sparse signals of interest emerging in various applications, where observations adhere to parsimonious linear regression models. To cope with linearly growing complexity and memory requirements that batch Lasso estimators face when processing observations sequentially, the present paper develops a recursive Lasso algorithm that can also track slowly varying sparse signals of interest. Performance analysis reveals that recursive Lasso can either estimate consistently the sparse signal’s support or its nonzero entries, but not both. This motivates the development of a weighted version of the recursive Lasso scheme with weights obtained from the recursive least-squares (RLS) algorithm. The resultant RLS-weighted Lasso algorithm provably estimates sparse signals consistently. Simulated tests compare competing alternatives and corroborate the performance of the novel algorithms in estimating time-invariant and tracking slow-varying signals under sparsity constraints.

Distributed compressive video sensing by Li-Wei Kang and Chun-Shien Lu. The abstract reads:
Low-complexity video encoding has been applicable to several emerging applications. Recently, distributed video coding (DVC) has been proposed to reduce encoding complexity to the order of that for still image encoding. In addition, compressive sensing (CS) has been applicable to directly capture compressed image data efficiently. In this paper, by integrating the respective characteristics of DVC and CS, a distributed compressive video sensing (DCVS) framework is proposed to simultaneously capture and compress video data, where almost all computation burdens can be shifted to the decoder, resulting in a very low-complexity encoder. At the decoder, compressed video can be efficiently reconstructed using the modified GPSR (gradient projection for sparse reconstruction) algorithm. With the assistance of the proposed initialization and stopping criteria for GRSR, derived from statistical dependencies among successive video frames, our modified GPSR algorithm can terminate faster and reconstruct better video quality. The performance of our DCVS method is demonstrated via simulations to outperform three known CS reconstruction algorithms.


Credit: NASA/JPL/University of Arizona,
Ancient Volcano Defrosting (ESP_011605_1170) as taken by the HiRise camera.

Printfriendly