Advertisement

Signal, Image and Video Processing

, Volume 11, Issue 1, pp 41–48 | Cite as

Element-wise uniqueness, prior knowledge, and data-dependent resolution

  • Keith DillonEmail author
  • Yeshaiahu Fainman
Original Paper

Abstract

Techniques for finding regularized solutions to underdetermined linear systems can be viewed as imposing prior knowledge on the unknown vector. The success of modern techniques, which can impose priors such as sparsity and non-negativity, is the result of advances in optimization algorithms to solve problems which lack closed-form solutions. Techniques for characterization and analysis of the system to determine when information is recoverable, however, still typically rely on closed-form solution techniques such as singular value decomposition or a filter cutoff estimate. In this letter we propose optimization approaches to broaden the approach to system characterization. We start by deriving conditions for when each unknown element of a system admits a unique solution, subject to a broad class of types of prior knowledge. With this approach we can pose a convex optimization problem to find “how unique” each element of the solution is, which may be viewed as a generalization of resolution to incorporate prior knowledge. We find that the result varies with the unknown vector itself, i.e., it is data-dependent, such as when the sparsity of the solution improves the chance it can be uniquely reconstructed. The approach can be used to analyze systems on a case-by-case basis, estimate the amount of important information present in the data, and quantitatively understand the degree to which the regularized solution may be trusted.

Keywords

Underdetermined Regularization Resolution Super-resolution Sparsity 

References

  1. 1.
    Backus, G., Gilbert, F.: The resolving power of gross earth data. Geophys. J. R. Astron. Soc. 16(2), 169–205 (1968)CrossRefzbMATHGoogle Scholar
  2. 2.
    Becker, S.R., Cands, E.J., Grant, M.C.: Templates for convex cone problems with applications to sparse signal recovery. Math. Program. Comput. 3(3), 165–218 (2011)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Bertero, M., Mol, C.D., Pike, E.R.: Linear inverse problems with discrete data. I. General formulation and singular system analysis. Inverse Probl. 1(4), 301 (1985)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Boyd, S.P., Vandenberghe, L.: Convex Optimization. Cambridge University Press, Cambridge (2004)Google Scholar
  5. 5.
    Bruckstein, A.M., Elad, M., Zibulevsky, M.: On the uniqueness of non-negative sparse and redundant representations. In: IEEE International Conference on Acoustics, Speech and Signal Processing, 2008. ICASSP 2008, pp. 5145–5148 (2008)Google Scholar
  6. 6.
    Candes, E.J.: The restricted isometry property and its implications for compressed sensing. Comptes Rendus Mathematique 346(910), 589–592 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Candes, E.J., Fernandez-Granda, C.: Towards a mathematical theory of super-resolution. Commun. Pure Appl. Math. 67, 906–956 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Chen, S.S., Donoho, D.L., Saunders, M.A.: Atomic decomposition by basis pursuit. SIAM Rev. 43(1), 129–159 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Dantzig, G.: Linear Programming and Extensions. Princeton University Press, Princeton (1998)zbMATHGoogle Scholar
  10. 10.
    Dillon, K., Fainman, Y.: Bounding pixels in computational imaging. Appl. Opt. 52(10), D55–D63 (2013)CrossRefGoogle Scholar
  11. 11.
    Donoho, D.L.: Neighborly Polytopes and Sparse Solutions of Underdetermined Linear Equations. In: Technical Report, Stanford University (2005)Google Scholar
  12. 12.
    Donoho, D.L., Elad, M.: Optimally sparse representation in general (nonorthogonal) dictionaries via 1 minimization. Proc. Natl. Acad. Sci. 100(5), 2197–2202 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Donoho, D.L., Tanner, J.: Neighborliness of randomly projected simplices in high dimensions. Proc. Natl. Acad. Sci. USA 102(27), 9452–9457 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Donoho, D.L., Tanner, J.: Sparse nonnegative solution of underdetermined linear equations by linear programming. Proc. Natl. Acad. Sci. USA 102(27), 9446–9451 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
  15. 15.
    Donoho, D.L., Tanner, J.: Counting the faces of randomly-projected hypercubes and orthants, with applications. Discrete Comput. Geom. 43(3), 522–541 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
  16. 16.
    Gill, P.E., Murray, W., Wright, M.H.: Numerical Linear Algebra and Optimization. Advanced Book Program. Addison-Wesley Pub. Co., Boston (1991)Google Scholar
  17. 17.
    Grant, M., Boyd, S.: Graph implementations for nonsmooth convex programs. In: Blondel, V., Boyd, S., Kimura, H. (eds.) Recent Advances in Learning and Control. Lecture Notes in Control and Information Sciences, vol. 371, pp. 95–110. Springer, Berlin/Heidelberg (2008)CrossRefGoogle Scholar
  18. 18.
    Grant, M. and Boyd, S.: CVX: Matlab software for disciplined convex programming, version 2.0 beta. http://cvxr.com/cvx (2013)
  19. 19.
    Petra, S., Schrader, A., Schnrr, C.: 3D tomography from few projections in experimental fluid dynamics. In: Nitsche, W., Dobriloff, C. (eds.) Imaging Measurement Methods for Flow Analysis, No. 106 in Notes on Numerical Fluid Mechanics and Multidisciplinary Design, pp. 63–72. Springer, Berlin, Heidelberg (2009)CrossRefGoogle Scholar
  20. 20.
    Press, W.H.: Numerical Recipes. The Art of Scientific Computing, 3rd edn. Cambridge University Press, Cambridge (2007)zbMATHGoogle Scholar
  21. 21.
    Stark, P.B.: Generalizing resolution. Inverse Probl. 24(3), 034014 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  22. 22.
    Tillmann, A., Pfetsch, M.: The computational complexity of the restricted isometry property, the nullspace property, and related concepts in compressed sensing. IEEE Trans. Inf. Theory 60(2), 1248–1259 (2014)MathSciNetCrossRefGoogle Scholar
  23. 23.
    Willett, R.M., Marcia, R.F., Nichols, J.M.: Compressed sensing for practical optical imaging systems: a tutorial. Opt. Eng. 50(7), 072 (2011). 601-072, 601-13Google Scholar

Copyright information

© Springer-Verlag London 2016

Authors and Affiliations

  1. 1.Department of Biomedical EngineeringTulane UniversityNew OrleansUSA
  2. 2.Department of Electrical and Computer EngineeringUniversity of CaliforniaSan DiegoUSA

Personalised recommendations