skip to main content
research-article

Parallel Minimum Norm Solution of Sparse Block Diagonal Column Overlapped Underdetermined Systems

Published:02 January 2017Publication History
Skip Abstract Section

Abstract

Underdetermined systems of equations in which the minimum norm solution needs to be computed arise in many applications, such as geophysics, signal processing, and biomedical engineering. In this article, we introduce a new parallel algorithm for obtaining the minimum 2-norm solution of an underdetermined system of equations. The proposed algorithm is based on the Balance scheme, which was originally developed for the parallel solution of banded linear systems. The proposed scheme assumes a generalized banded form where the coefficient matrix has column overlapped block structure in which the blocks could be dense or sparse. In this article, we implement the more general sparse case. The blocks can be handled independently by any existing sequential or parallel QR factorization library. A smaller reduced system is formed and solved before obtaining the minimum norm solution of the original system in parallel. We experimentally compare and confirm the error bound of the proposed method against the QR factorization based techniques by using true single-precision arithmetic. We implement the proposed algorithm by using the message passing paradigm. We demonstrate numerical effectiveness as well as parallel scalability of the proposed algorithm on both shared and distributed memory architectures for solving various types of problems.

References

  1. Patrick R. Amestoy, Iain S. Duff, and Chiara Puglisi. 1996. Multifrontal QR factorization in a multiprocessor environment. Numerical Linear Algebra with Applications 3, 4 (1996), 275--300. Google ScholarGoogle ScholarCross RefCross Ref
  2. Cleve Ashcraft and Roger G. Grimes. 1999. SPOOLES: An object-oriented sparse matrix library. In Proceedings of the 9th SIAM Conference on Parallel Processing for Scientific Computing. SIAM.Google ScholarGoogle Scholar
  3. Åke Björck. 1996. Numerical Methods for Least Squares Problems. SIAM, Philadelphia. Google ScholarGoogle ScholarCross RefCross Ref
  4. L. Susan Blackford, Jaeyoung Choi, Andy Cleary, Eduardo D’Azevedo, James Demmel, Inderjit Dhillon, Jack Dongarra, Sven Hammarling, Greg Henry, Antoine Petitet, and others. 1997. ScaLAPACK Users’ Guide. Vol. 4. SIAM. Google ScholarGoogle ScholarCross RefCross Ref
  5. Ronald F. Boisvert, Roldan Pozo, Karin A. Remington, Richard F. Barrett, and Jack Dongarra. 1996. Matrix market: A web resource for test matrix collections. In Quality of Numerical Software. 125--137.Google ScholarGoogle Scholar
  6. Randall Bramley and B. Winnicka. 1996. Solving linear inequalities in a least squares sense. SIAM Journal on Scientific Computing 17, 1 (1996), 275--286. DOI:http://dx.doi.org/10.1137/0917020 Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Alfred Bruckstein, David Donoho, and Michael Elad. 2009. From sparse solutions of systems of equations to sparse modeling of signals and images. SIAM Review 51, 1 (2009), 34--81. DOI:http://dx.doi.org/10.1137/060657704 Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Alfredo Buttari. 2013. Fine-grained multithreading for the multifrontal QR factorization of sparse matrices. SIAM Journal on Scientific Computing 35, 4 (2013), C323--C345. Google ScholarGoogle ScholarCross RefCross Ref
  9. Shane F. Cotter, Bhaskar D. Rao, Kjersti Engan, and Kenneth Kreutz-Delgado. 2005. Sparse solutions to linear inverse problems with multiple measurement vectors. Signal Processing, IEEE Transactions on 53, 7 (2005), 2477--2488. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Timothy A. Davis. 2009. Users guide for SuiteSparseQR, a multifrontal multithreaded sparse QR factorization package. http://faculty.cse.tamu.edu/davis/suitesparse.html.Google ScholarGoogle Scholar
  11. Timothy A. Davis. 2011. Algorithm 915, SuiteSparseQR: Multifrontal multithreaded rank-revealing sparse QR factorization. ACM Transactions on Mathematical Software (TOMS) 38, 1 (2011), 8.Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Timothy A. Davis. 2013. SuiteSparse packages, released 4.2.1. http://faculty.cse.tamu.edu/davis/suitesparse.html.Google ScholarGoogle Scholar
  13. Timothy A. Davis and Yifan Hu. 2011. The university of florida sparse matrix collection. ACM Transactions on Mathematical Software (TOMS) 38, 1 (2011), 1.Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Achiya Dax. 2008. A hybrid algorithm for solving linear inequalities in a least squares sense. Numerical Algorithms 50, 2 (2008), 97--114. DOI:http://dx.doi.org/10.1007/s11075-008-9218-3 Google ScholarGoogle ScholarCross RefCross Ref
  15. James W. Demmel and Nicholas J. Higham. 1993. Improved error bounds for underdetermined system solvers. SIAM Journal on Matrix Analysis and Applications 14, 1 (1993), 1--14. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. Robert Fourer. 1982. Solving staircase linear programs by the simplex method, 1: Inversion. Mathematical Programming 23, 1 (1982), 274--313. Google ScholarGoogle ScholarCross RefCross Ref
  17. Robert Fourer. 1983. Solving staircase linear programs by the simplex method, 2: Pricing. Mathematical Programming 25, 3 (1983), 251--292. Google ScholarGoogle ScholarCross RefCross Ref
  18. Robert Fourer. 1984. Staircase matrices and systems. SIAM Review 26, 1 (1984), 1--70. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. Leibniz Supercomputing Centre GCS Supercomputer. 2012. SuperMUC Petascale System. Retrieved from www.lrz.de.Google ScholarGoogle Scholar
  20. Philip E. Gill and Walter Murray. 1973. A numerically stable form of the simplex algorithm. Linear Algebra and Its Applications 7, 2 (1973), 99--138. Google ScholarGoogle ScholarCross RefCross Ref
  21. C. Roger Glassey and Peter Benenson. 1975. Quadratic Programming Analysis of Energy in the United States Economy. Final Report. Technical Report. University of California, Berkeley.Google ScholarGoogle Scholar
  22. Gene Golub, Ahmed H. Sameh, and Vivek Sarin. 2001. A parallel balance scheme for banded linear systems. Numerical Linear Algebra with Applications 8, 5 (2001), 285--299. Google ScholarGoogle ScholarCross RefCross Ref
  23. William Gropp, Ewing Lusk, Nathan Doss, and Anthony Skjellum. 1996. A high-performance, portable implementation of the MPI message passing interface standard. Parallel Computing 22, 6 (1996), 789--828. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. Shih-Ping Han. 1980. Least-Squares Solution of Linear Inequalities. Technical Report. DTIC Document.Google ScholarGoogle Scholar
  25. Nicholas J. Higham. 1991. Algorithm 694: A collection of test matrices in MATLAB. ACM Transactions on Mathematical Software (TOMS) 17, 3 (1991), 289--305. Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. Nicholas J. Higham. 2002. Accuracy and Stability of Numerical Algorithms. SIAM. Google ScholarGoogle ScholarCross RefCross Ref
  27. James K. Ho. 1975. Optimal design of multi-stage structures: A nested decomposition approach. Computers & Structures 5, 4 (1975), 249--255. Google ScholarGoogle ScholarCross RefCross Ref
  28. James K. Ho and Etienne Loute. 1981. A set of staircase linear programming test problems. Mathematical Programming 20, 1 (1981), 245--250. DOI:http://dx.doi.org/10.1007/BF01589349 Google ScholarGoogle ScholarCross RefCross Ref
  29. He Huang, John M. Dennis, Liqiang Wang, and Po Chen. 2013. A scalable parallel LSQR algorithm for solving large-scale linear system for tomographic problems: A case study in seismic tomography. Procedia Computer Science 18 (2013), 581--590. Google ScholarGoogle ScholarCross RefCross Ref
  30. George Karypis and Vipin Kumar. 2009. Metis: Unstructured Graph Partitioning and Sparse Matrix Ordering System, Version 4.0. http://www.cs.umn.edu/∼metis.Google ScholarGoogle Scholar
  31. Charles L. Lawson and Richard J. Hanson. 1987. Solving Least Squares Problems (Classics in Applied Mathematics). Society for Industrial Mathematics.Google ScholarGoogle Scholar
  32. MATLAB. 2015. version 8.6.0 (R2015b). The MathWorks Inc., Natick, Massachusetts.Google ScholarGoogle Scholar
  33. Kenji Matsuura and Y. Okabe. 1995. Selective minimum-norm solution of the biomagnetic inverse problem. IEEE Transactions on Biomedical Engineering 42, 6 (June 1995), 608--615. DOI:http://dx.doi.org/10.1109/10.387200 Google ScholarGoogle ScholarCross RefCross Ref
  34. Mohammad Javad Peyrovian and Alexander A. Sawchuk. 1978. Image restoration by spline functions. Applied Optics 17, 4 (Feb 1978), 660--666. DOI:http://dx.doi.org/10.1364/AO.17.000660 Google ScholarGoogle ScholarCross RefCross Ref
  35. Mustafa Ç. Pinar. 1998. Newton’s method for linear inequality systems. European Journal of Operational Research 107, 3 (1998), 710--719. Google ScholarGoogle ScholarCross RefCross Ref
  36. James Reinders. 2007. Intel Threading Building Blocks: Outfitting C++ for Multi-core Processor Parallelism. O’Reilly Media, Inc.Google ScholarGoogle Scholar
  37. Ahmed H. Sameh and Vivek Sarin. 2002. Parallel algorithms for indefinite linear systems. Parallel Computing 28, 2 (2002), 285--299. Google ScholarGoogle ScholarDigital LibraryDigital Library
  38. Michael A. Saunders. 1972. Large-scale linear programming using the cholesky factorization. (1972).Google ScholarGoogle Scholar
  39. Mrinal K. Sen and Paul L. Stoffa. 2013. Global Optimization Methods in Geophysical Inversion. Cambridge University Press. Google ScholarGoogle ScholarCross RefCross Ref
  40. Tayfun E. Tezduyar and Ahmed Sameh. 2006. Parallel finite element computations in fluid mechanics. Computer Methods in Applied Mechanics and Engineering 195, 13--16 (2006), 1872--1884.Google ScholarGoogle Scholar
  41. Jia-Zhu Wang, Samuel J. Williamson, and Lloyd Kaufman. 1992. Magnetic source images determined by a lead-field analysis: The unique minimum-norm least-squares estimation. IEEE Transactions on Biomedical Engineering 39, 7 (1992), 665--675. Google ScholarGoogle ScholarCross RefCross Ref
  42. Michael S. Zhdanov. 2002. Geophysical Inverse Theory and Regularization Problems. Vol. 36. Elsevier. Google ScholarGoogle ScholarCross RefCross Ref

Index Terms

  1. Parallel Minimum Norm Solution of Sparse Block Diagonal Column Overlapped Underdetermined Systems

            Recommendations

            Comments

            Login options

            Check if you have access through your login credentials or your institution to get full access on this article.

            Sign in

            Full Access

            • Published in

              cover image ACM Transactions on Mathematical Software
              ACM Transactions on Mathematical Software  Volume 43, Issue 4
              December 2017
              234 pages
              ISSN:0098-3500
              EISSN:1557-7295
              DOI:10.1145/3034774
              Issue’s Table of Contents

              Copyright © 2017 ACM

              Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

              Publisher

              Association for Computing Machinery

              New York, NY, United States

              Publication History

              • Published: 2 January 2017
              • Accepted: 1 October 2016
              • Revised: 1 August 2016
              • Received: 1 April 2015
              Published in toms Volume 43, Issue 4

              Permissions

              Request permissions about this article.

              Request Permissions

              Check for updates

              Qualifiers

              • research-article
              • Research
              • Refereed

            PDF Format

            View or Download as a PDF file.

            PDF

            eReader

            View online with eReader.

            eReader