Compressed sensing

From Wikipedia, the free encyclopedia

Compressed sensing (also known as compressive sensing, compressive sampling, or sparse sampling) is a signal processing technique for efficiently acquiring and reconstructing a signal, by finding solutions to underdetermined linear systems. [1] [2] This takes advantage of the signal's sparseness or compressibility in some domain, allowing the entire signal to be determined from relatively few measurements.[3] MRI is a prominent application. [4][5][6]

Overview

A common goal of signal processing is to reconstruct a signal from a series of sampling measurements. In general, this task is impossible because there is no way to reconstruct a signal during the times that the signal isn’t measured. Nevertheless, with prior knowledge or assumptions about the signal, it turns out to be possible to perfectly reconstruct a signal from a series of measurements. Over time, mathematicians have improved their understanding of which assumptions are practical and how they can be generalized.

An early breakthrough in signal processing was the Nyquist-Shannon sampling theorem. It proved that a signal can be perfectly reconstructed from sampling if the signal’s highest frequency is half (or less) of the sampling rate. The main idea is that if you have prior knowledge about the signal’s frequencies, you need fewer samples to reconstruct the signal.

Around 2004, Emmanuel Candès, Terence Tao, and David Donoho proved that given knowledge about a signal's sparsity, the signal may be reconstructed with fewer samples than the Nyquist-Shannon theorem requires.[7][8] This idea is the basis of compressed sensing.

History

Compressed sensing relies on L1 techniques, which several other scientific fields have used historically.[9] In statistics, the least-squares method was complemented by the L^{1}-norm, which was introduced by Laplace. Following the introduction of linear programming and Dantzig's simplex algorithm, the L^{1}-norm was used in computational statistics. In statistical theory, the L^{1}-norm was used by George W. Brown and later writers on median-unbiased estimators. It was used by Peter Huber and others working on robust statistics. The L^{1}-norm was also used in signal processing, for example, in the 1970s, when seismologists constructed images of reflective layers within the earth based on data that did not seem to satisfy the Nyquist–Shannon criterion.[10] It was used in matching pursuit in 1993, the LASSO estimator by Robert Tibshirani in 1996[11] and basis pursuit in 1998.[12] There were theoretical results describing when these algorithms recovered sparse solutions, but the required type and number of measurements were sub-optimal and subsequently greatly improved by compressed sensing.[citation needed]

At first glance, compressed sensing might seem to violate the sampling theorem, because compressed sensing depends on the sparsity of the signal in question and not its highest frequency. This is a misconception, because the sampling theorem guarantees perfect reconstruction given sufficient, not necessary, conditions. A sampling method different from the classical fixed-rate sampling therefore can not "violate" the sampling theorem. Sparse signals with high frequency components can be highly under-sampled using compressed sensing compared to classical fixed-rate sampling.[13]

Method

Underdetermined linear system

An underdetermined system of linear equations has more unknowns than equations and generally has an infinite number of solutions. In order to choose a solution to such a system, one must impose extra constraints or beliefs (such as smoothness) as appropriate.

In compressed sensing, one adds the constraint of sparsity, allowing only solutions which have a small number of nonzero coefficients. Not all underdetermined systems of linear equations have a sparse solution. However, if there is a unique sparse solution to the underdetermined system, then the Compressed Sensing framework allows the recovery of that solution.

Solution / reconstruction method

Compressed sensing takes advantage of the redundancy in many interesting signals—they are not pure noise. In particular, many signals are sparse, that is, they contain many coefficients close to or equal to zero, when represented in some domain.[14] This is the same insight used in many forms of lossy compression.

Compressed sensing typically starts with taking a weighted linear combination of samples also called compressive measurements in a basis different from the basis in which the signal is known to be sparse. The results found by Emmanuel Candès, Justin Romberg, Terence Tao and David Donoho, showed that the number of these compressive measurements can be small and still contain nearly all the useful information. Therefore, the task of converting the image back into the intended domain involves solving an underdetermined matrix equation since the number of compressive measurements taken is smaller than the number of pixels in the full image. However, adding the constraint that the initial signal is sparse enables one to solve this underdetermined system of linear equations.

The least-squares solution to such problems is to minimize the L^{2} norm—that is, minimize the amount of energy in the system. This is usually simple mathematically (involving only a matrix multiplication by the pseudo-inverse of the basis sampled in). However, this leads to poor results for many practical applications, for which the unknown coefficients have nonzero energy.

To enforce the sparsity constraint when solving for the underdetermined system of linear equations, one can minimize the number of nonzero components of the solution.

The function counting the number of non-zero components of a vector was called the L^{0} "norm" by David Donoho. The quotation marks served two warnings. First, the number-of-nonzeros L^{0}-"norm" is not a proper F-norm, because it is not continuous in its scalar argument: nnzs(αx) is constant as α approaches zero. Unfortunately, authors now neglect the quotation marks and abused terminology—clashing with the established use of the L^{0} norm for the space of measurable functions (equipped with an appropriate metric) or for the space of sequences with F–norm (x_{n})\mapsto \sum _{n}{2^{{-n}}x_{n}/(1+x_{n})}.[15]

Candès. et al., proved that for many problems it is probable that the L^{1} norm is equivalent to the L^{0} norm, in a technical sense: This equivalence result allows one to solve the L^{1} problem, which is easier than the L^{0} problem. Finding the candidate with the smallest L^{1} norm can be expressed relatively easily as a linear program, for which efficient solution methods already exist.[16] When measurements may contain a finite amount of noise, basis pursuit denoising is preferred over linear programming, since it preserves sparsity in the face of noise and can be solved faster than an exact linear program.

Applications

The field of compressive sensing is related to other topics in signal processing and computational mathematics, such as to underdetermined linear-systems, group testing, heavy hitters, sparse coding, multiplexing, sparse sampling, and finite rate of innovation. Imaging techniques having a strong affinity with compressive sensing include coded aperture and computational photography. Implementations of compressive sensing in hardware at different technology readiness level is available.[17]

Photography

Compressed sensing is used in a mobile phone camera sensor. The approach allows a reduction in image acquisition energy per image by as much as a factor of 15 at the cost of complex decompression algorithms; the computation may require an off-device implementation.[18]

Compressed sensing is used in single-pixel cameras from Rice University.[19] Bell Labs employed the technique in a lensless single-pixel camera that takes stills using repeated snapshots of randomly chosen apertures from a grid. Image quality improves with the number of snapshots, and generally requires a small fraction of the data of conventional imaging, while eliminating lens/focus-related aberrations.[20][21]

Holography

Compressed sensing can be used to improve image reconstruction in holography by increasing the number of voxels one can infer from a single hologram.[22][23][24] It is also used for image retrieval from undersampled measurements in optical [25][26] and millimeter-wave [27] holography.

Shortwave Infrared Cameras

InView Technology Corporation[28] has developed commercially-available shortwave infrared cameras based upon Compressed Sensing. These cameras have light sensitivity from 0.9 µm to 1.7 µm, which are wavelengths invisible to the human eye. InView is building upon the Rice University single-pixel camera results.

Optical System Research

InView Technology Corporation[29] has developed optical Compressive Sensing Workstations that allow optical-system researchers to develop and test novel modulation and reconstruction algorithms. These Workstations include a spatial light modulation subsystem, and a light acquisition sub-system.

Facial recognition

Compressed sensing is being used in facial recognition applications.[30]

MRI

Compressed sensing has been used [31][32] to shorten MRI scanning sessions on conventional hardware.[33][34][35]

See also

References

  1. ↑ For most large underdetermined systems of linear equations the minimal 𝓁1-norm solution is also the sparsest solution; See Donoho, David L, Communications on pure and applied mathematics, 59, 797 (2006) http://dx.doi.org/10.1002/cpa.20132
  2. ↑ M. Davenport, "The Fundamentals of Compressive Sensing", IEEE Signal Processing Society Online Tutorial Library, April 12, 2013.
  3. ↑ CS: Compressed Genotyping, DNA Sudoku - Harnessing high throughput sequencing for multiplexed specimen analysis
  4. ↑ Sparse MRI: The application of compressed sensing for rapid MR imaging; See Lustig, Michael and Donoho, David and Pauly, John M, Magnetic resonance in medicine, 58(6), 1182-1195 (2007) http://dx.doi.org/10.1002/mrm.21391
  5. ↑ Compressed Sensing MRI; See Lustig, M.; Donoho, D.L.; Santos, J.M. ; Pauly, J.M., Signal Processing Magazine, IEEE, 25(2),72-82 (2008) http://dx.doi.org/10.1109/MSP.2007.914728
  6. ↑ Compressive sampling makes medical imaging safer
  7. ↑ Candès, Emmanuel J.; Romberg, Justin K.; Tao, Terence (2006). "Stable signal recovery from incomplete and inaccurate measurements". Communications on Pure and Applied Mathematics 59 (8): 1207. doi:10.1002/cpa.20124. 
  8. ↑ Donoho, D.L. (2006). "Compressed sensing". IEEE Transactions on Information Theory 52 (4): 1289. doi:10.1109/TIT.2006.871582. 
  9. ↑ List of L1 regularization ideas from Vivek Goyal, Alyson Fletcher, Sundeep Rangan, The Optimistic Bayesian: Replica Method Analysis of Compressed Sensing
  10. ↑ Hayes, Brian (2009). "The Best Bits". American Scientist 97 (4): 276. doi:10.1511/2009.79.276. 
  11. ↑ Tibshirani, Robert. The Lasso page "Regression shrinkage and selection via the lasso". Journal of the Royal Statistical Society, Series B 58 (1): 267–288. 
  12. ↑ "Atomic decomposition by basis pursuit", by Scott Shaobing Chen, David L. Donoho, Michael, A. Saunders. SIAM Journal on Scientific Computing
  13. ↑ Candès, Emmanuel J.; Romberg, Justin K.; Tao, Terence (2006). "Robust Uncertainty Principles: Exact Signal Reconstruction from Highly Incomplete Fourier Information". IEEE Trans. Inf. Theory 52 (8): 489–509. 
  14. ↑ Candès, E.J., & Wakin, M.B., An Introduction To Compressive Sampling, IEEE Signal Processing Magazine, V.21, March 2008
  15. ↑ Stefan Rolewicz. Metric Linear Spaces.
  16. ↑ L1-MAGIC is a collection of MATLAB routines
  17. ↑ Compressive Sensing Hardware, http://sites.google.com/site/igorcarron2/compressedsensinghardware
  18. ↑ David Schneider (March 2013). "New Camera Chip Captures Only What It Needs". IEEE Spectrum. Retrieved 2013-03-20. 
  19. ↑ "Compressive Imaging: A New Single-Pixel Camera | Rice DSP". Dsp.rice.edu. Retrieved 2013-06-04. 
  20. ↑ The Physics arXiv Blog June 3, 2013 (2013-05-25). "Bell Labs Invents Lensless Camera | MIT Technology Review". Technologyreview.com. Retrieved 2013-06-04. 
  21. ↑ Gang Huang; Hong Jiang; Kim Matthews; Paul Wilford (2393). "Lensless Imaging by Compressive Sensing". IEEE International Conference on Image Processing, ICIP , Paper # 2013. arXiv:1305.7181. 
  22. ↑ David Brady, Kerkil Choi, Daniel Marks, Ryoichi Horisaki, and Sehoon Lim. Compressive holography. Optics Express, 17:13040–13049, 2009
  23. ↑ Rivenson, Y., Stern, A., & Javidi, B. (2010). Compressive fresnel holography. Display Technology, Journal of, 6(10), 506-509.
  24. ↑ Loic Denis, Dirk Lorenz, Eric Thibaut, Corinne Fournier, and Dennis Trede. Inline hologram reconstruction with sparsity constraints. Opt. Lett., 34(22):3475–3477, 2009.
  25. ↑ Marim, M., Angelini, E., Olivo-Marin, J. C., & Atlan, M. (2011). Off-axis compressed holographic microscopy in low-light conditions. Optics Letters, 36(1), 79-81. http://arxiv.org/abs/1101.1735
  26. ↑ Marim, M. M., Atlan, M., Angelini, E., & Olivo-Marin, J. C. (2010). Compressed sensing with off-axis frequency-shifting holography. Optics letters, 35(6), 871-873. http://arxiv.org/abs/1004.5305
  27. ↑ Christy Fernandez Cull, David A. Wikner, Joseph N. Mait, Michael Mattheiss, and David J. Brady. Millimeter-wave compressive holography. Appl. Opt., 49(19):E67–E82, 2010.
  28. ↑ "InView web site". http://www.inviewcorp.com/products. 
  29. ↑ "InView web site". http://www.inviewcorp.com/technology/compressive-sensing/. 
  30. ↑ Engineers Test Highly Accurate Face Recognition
  31. ↑ Sparse MRI: The application of compressed sensing for rapid MR imaging; See Lustig, Michael and Donoho, David and Pauly, John M, Magnetic resonance in medicine, 58(6), 1182-1195 (2007) http://dx.doi.org/10.1002/mrm.21391
  32. ↑ Compressed Sensing MRI; See Lustig, M.; Donoho, D.L.; Santos, J.M. ; Pauly, J.M., Signal Processing Magazine, IEEE, 25(2),72-82 (2008) http://dx.doi.org/10.1109/MSP.2007.914728
  33. ↑ By Jordan EllenbergEmail Author (2010-03-04). "Fill in the Blanks: Using Math to Turn Lo-Res Datasets Into Hi-Res Samples | Wired Magazine". Wired.com. Retrieved 2013-06-04. 
  34. ↑ Why Compressed Sensing is NOT a CSI "Enhance" technology ... yet !
  35. ↑ Surely You Must Be Joking Mr. Screenwriter

Further reading

This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.