3
$\begingroup$

I'm implementing the algorithm in the following paper:

"Compressive sensing for wideband cognitive radios"

http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=04218361

However I've run into a problem with my solver for the linear program.

I need to solve a linear program where I minimise the $L_1$ norm of a vector subject to the constraint that the vector, when multiplied by some matrix equals a known set of measurements i.e. $$ \min \lVert x\rVert_{1} \text{ s.t } Ax=y. $$

The difficulty I'm facing is that $A$ is not necessarily a square matrix and so solvers like l1-magic using the primal dual algorithm won't work.

Can anyone suggest an algorithm/solver that will solve this type of convex optimisation problem?

$\endgroup$
  • 1
    $\begingroup$ I can tell you form first-hand experience that $\ell_1$-magic does indeed work with non-square matrices. $\endgroup$ – AnonSubmitter85 Aug 21 '13 at 22:11
3
$\begingroup$

Compressive sensing is all about non-square matrices, as the point is that we are dealing with the "undersampling" regime where we have less measurements than the ambient dimension.

I thought l1-magic works just fine. Did you try it? If you want a generic convex optimization toolbox, you might consider cvx also http://cvxr.com/cvx/.

Also related to compressed sensing, depending on what you want there's a jungle of solvers here (definitely way more than what you want): https://sites.google.com/site/igorcarron2/cs#reconstruction


If you use Cvx:

cvx_begin 
  variable z(N);
  minimize norm(z,1);
  subject to 
        Az==b;
cvx_end

This minimizes the $l^1$ norm over $Az=b$, and $z$ will hold the minimizer.

$\endgroup$
  • $\begingroup$ l1-magic works great whn A is square and positive definite, but the problem I'm solving has matrices which are not square and so l1-magic fails. $\endgroup$ – Tom Kealy Aug 21 '13 at 15:56
  • $\begingroup$ That's strange, they seem to be using it here users.ece.gatech.edu/~justin/l1magic/examples.html $\endgroup$ – Evan Aug 21 '13 at 15:56
  • $\begingroup$ Oh, you might have been using the wrong function? It seems they reduce certain problems to the symmetric square case. $\endgroup$ – Evan Aug 21 '13 at 16:00
  • $\begingroup$ I noticed they orhtogonalise (sp?) the matrix there. When I do that all I get is a straight line. $\endgroup$ – Tom Kealy Aug 21 '13 at 16:21
  • $\begingroup$ Could you post what code you used when applying l1eq_pd? Also I think orthogonalizing is not a requirement. Just throw it into l1eq_pd. $\endgroup$ – Evan Aug 21 '13 at 16:43
1
$\begingroup$

L_1 magic must be failing for a different reason than the fact that A is non-square. L_1 magic is specially geared toward solving compressive sensing problems for which A is rectangular (non square).

If it doesn't work out for you, here are potential reasons:

  1. you are not trying to find the sparsest solution to this system of equation. i.e. the solution given by L_1 magic is not the one you are seeking.
  2. A doesn't satisfy a necessary and sufficient condition for the recovery of sparse unknowns.
  3. the number of rows of A is not large enough to find the sparsest solution to your problem

hope this helps.

$\endgroup$
  • $\begingroup$ Hi Igor, thanks for the help (and your blog!). I fixed the issue, which had nothing to do with squareness of my matrix. $\endgroup$ – Tom Kealy Aug 26 '13 at 14:00
0
$\begingroup$

What was the issue in the end?

I'm having a similar problem. I'm trying to use l1 magic to reconstruct an image from a single pixel camera I've developed. The test functions used are random binary patterns projected onto the object scene, so each pattern is represented as a row vector of 0's and 1's and form the rows of the test function matrix A. (To later be multiplied by a transform matrix to express the image in a basis where the coefficients are sparse)

However, this matrix is not positive definite, so the basis persuit function throws out an error. This is confusing me as most of the literature promotes using random test functions. Is there something wrong here? Do you have to ensure your "random" test functions eventually form a positive definite matrix?

Any help appreciated.

$\endgroup$
  • $\begingroup$ Is the matrix complex? $\endgroup$ – Tom Kealy Jul 17 '14 at 20:04
  • $\begingroup$ No, the matrix is real. Its rows are vectors representing each binary pattern, so the matrix only contains 1's and 0's. Also since the test matrix isn't square (which it won't be since we're undersampling), we cant expect it to be positive definite anyway. So I'm a little confused as to why/what matrix it requires to be positive definite.. $\endgroup$ – Andrew Jul 17 '14 at 20:42
  • $\begingroup$ My problem was using a Fourier matrix when I didn't need to. I think that the sensing matrix needs to be positive definite as part of the reconstruction algorithm (it can't be singular or there's no hope of recovery). I think Bernoulli(p) matrices satisfy the RIP (you should check this), so maybe the transform you apply isn't unary (is it a wavelet transform?). $\endgroup$ – Tom Kealy Jul 17 '14 at 20:53
  • $\begingroup$ I'm fairly certain that definiteness is required for reconstruction - but you should check the RIP for your matrices. $\endgroup$ – Tom Kealy Jul 17 '14 at 20:54
  • $\begingroup$ Can N x M matricies even be positive definite? (as they're not square?). I'm using a Discrete Cosine Transform, but the function still throws out the same error if I leave that out. $\endgroup$ – Andrew Jul 17 '14 at 21:06
0
$\begingroup$

I've tried to recreate the code you were describing and got this below:

X = zeros(1,512);
positions = randi(512,[1,30]);
X(positions) = 1;
dctX = dct(X);
B = binornd(1,0.5,150,length(X));
y = B*X';
x0 = B'*y;
xhat = l1eq_pd(x0, B, [], y, 1e-3);

This generates a vector with 30 random spikes, then applies a dct and a random beroulli(0.5) matrix before solving an l1 program.This code works without a hitch for me.

Did you find out what was wrong?

$\endgroup$
0
$\begingroup$

Please refer to the following page for the correction of this line of code in 1leq_pd.m:

http://compsens.eecs.umich.edu/sensing_tutorial.php.

Once the code is updated, it works for me.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.