Skip to main content
Top
Published in: Numerical Algorithms 3/2020

09-09-2019 | Original Paper

Recursive blocked algorithms for linear systems with Kronecker product structure

Authors: Minhong Chen, Daniel Kressner

Published in: Numerical Algorithms | Issue 3/2020

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Recursive blocked algorithms have proven to be highly efficient at the numerical solution of the Sylvester matrix equation and its generalizations. In this work, we show that these algorithms extend in a seamless fashion to higher-dimensional variants of generalized Sylvester matrix equations, as they arise from the discretization of PDEs with separable coefficients or the approximation of certain models in macroeconomics. By combining recursions with a mechanism for merging dimensions, an efficient algorithm is derived that outperforms existing approaches based on Sylvester solvers.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Literature
2.
go back to reference Bartels, R.H., Stewart, G.W.: Algorithm 432: The solution of the matrix equation AX + XB = C. Commun. ACM 15(9), 820–826 (1972)CrossRefMATH Bartels, R.H., Stewart, G.W.: Algorithm 432: The solution of the matrix equation AX + XB = C. Commun. ACM 15(9), 820–826 (1972)CrossRefMATH
3.
go back to reference Binning, A.: Solving second and third-order approximations to DSGE models: a recursive Sylvester equation solution. Norges Bank Working Paper 18 (2013) Binning, A.: Solving second and third-order approximations to DSGE models: a recursive Sylvester equation solution. Norges Bank Working Paper 18 (2013)
4.
go back to reference Chu, E.K.-W.: The solution of the matrix equations AXB − CXD = E and (YA − DZ,YC − BZ) = (E,F). Linear Algebra Appl. 93, 93–105 (1987)CrossRefMathSciNetMATH Chu, E.K.-W.: The solution of the matrix equations AXBCXD = E and (YADZ,YCBZ) = (E,F). Linear Algebra Appl. 93, 93–105 (1987)CrossRefMathSciNetMATH
5.
go back to reference Dayar, T.: Kronecker Modeling and Analysis of Multidimensional Markovian Systems. Springer, Cham (2018)CrossRefMATH Dayar, T.: Kronecker Modeling and Analysis of Multidimensional Markovian Systems. Springer, Cham (2018)CrossRefMATH
6.
go back to reference Deadman, E., Higham, N.J., Ralha, R.: Blocked Schur Algorithms for Computing the Matrix Square Root. Lecture Notes in Comput Sci, vol. 7782, pp 171–182. Springer, Berlin (2013) Deadman, E., Higham, N.J., Ralha, R.: Blocked Schur Algorithms for Computing the Matrix Square Root. Lecture Notes in Comput Sci, vol. 7782, pp 171–182. Springer, Berlin (2013)
7.
go back to reference Elmroth, E., Gustavson, F., Jonsson, I., Kågström, B.: Recursive blocked algorithms and hybrid data structures for dense matrix library software. SIAM Rev. 46(1), 3–45 (2004)CrossRefMathSciNetMATH Elmroth, E., Gustavson, F., Jonsson, I., Kågström, B.: Recursive blocked algorithms and hybrid data structures for dense matrix library software. SIAM Rev. 46(1), 3–45 (2004)CrossRefMathSciNetMATH
8.
go back to reference Golub, G.H., Van Loan, C.F.: Matrix Computations, 4th edn. Johns Hopkins University Press, Baltimore (2013)MATH Golub, G.H., Van Loan, C.F.: Matrix Computations, 4th edn. Johns Hopkins University Press, Baltimore (2013)MATH
9.
go back to reference Granat, R., Kågström, B.: Algorithm 904: The SCASY library – parallel solvers for Sylvester-type matrix equations with applications in condition estimation, part II. ACM Trans. Math. Softw. 37(3), 1–4 (2010)MATH Granat, R., Kågström, B.: Algorithm 904: The SCASY library – parallel solvers for Sylvester-type matrix equations with applications in condition estimation, part II. ACM Trans. Math. Softw. 37(3), 1–4 (2010)MATH
10.
go back to reference Granat, R., Kågström, B: Parallel solvers for Sylvester-type matrix equations with applications in condition estimation, part I Theory and algorithms. ACM Trans. Math. Softw. 37(3), 1–32 (2010)MATH Granat, R., Kågström, B: Parallel solvers for Sylvester-type matrix equations with applications in condition estimation, part I Theory and algorithms. ACM Trans. Math. Softw. 37(3), 1–32 (2010)MATH
11.
go back to reference Grasedyck, L., Kressner, D., Tobler, C.: A literature survey of low-rank tensor approximation techniques. GAMM-Mitt. 36(1), 53–78 (2013)CrossRefMathSciNetMATH Grasedyck, L., Kressner, D., Tobler, C.: A literature survey of low-rank tensor approximation techniques. GAMM-Mitt. 36(1), 53–78 (2013)CrossRefMathSciNetMATH
12.
13.
go back to reference Hammarling, S.: Numerical solution of the stable, nonnegative definite Lyapunov equation. IMA J. Numer. Anal. 2(3), 303–323 (1982)CrossRefMathSciNetMATH Hammarling, S.: Numerical solution of the stable, nonnegative definite Lyapunov equation. IMA J. Numer. Anal. 2(3), 303–323 (1982)CrossRefMathSciNetMATH
14.
go back to reference Jonsson, I., Kågström, B.: Recursive blocked algorithm for solving triangular systems. I. One-sided and coupled Sylvester-type matrix equations. ACM Trans. Math Software 28(4), 392–415 (2002)CrossRefMathSciNetMATH Jonsson, I., Kågström, B.: Recursive blocked algorithm for solving triangular systems. I. One-sided and coupled Sylvester-type matrix equations. ACM Trans. Math Software 28(4), 392–415 (2002)CrossRefMathSciNetMATH
15.
go back to reference Jonsson, I., Kågström, B.: Recursive blocked algorithm for solving triangular systems. II. Two-sided and generalized Sylvester and Lyapunov matrix equations. ACM Trans. Math Softw. 28(4), 416–435 (2002)CrossRefMathSciNetMATH Jonsson, I., Kågström, B.: Recursive blocked algorithm for solving triangular systems. II. Two-sided and generalized Sylvester and Lyapunov matrix equations. ACM Trans. Math Softw. 28(4), 416–435 (2002)CrossRefMathSciNetMATH
16.
go back to reference Kamenik, O.: Solving SDGE models: a new algorithm for the Sylvester equation. Comput. Econ. 25(1), 167–187 (2005)CrossRefMATH Kamenik, O.: Solving SDGE models: a new algorithm for the Sylvester equation. Comput. Econ. 25(1), 167–187 (2005)CrossRefMATH
17.
go back to reference Köhler, M., Saak, J.: On BLAS level-3 implementations of common solvers for (quasi-) triangular generalized Lyapunov equations. ACM Trans. Math. Software 43(1), Art. 3, 23 (2016)CrossRefMathSciNetMATH Köhler, M., Saak, J.: On BLAS level-3 implementations of common solvers for (quasi-) triangular generalized Lyapunov equations. ACM Trans. Math. Software 43(1), Art. 3, 23 (2016)CrossRefMathSciNetMATH
19.
go back to reference Kressner, D.: Block variants of Hammarling’s method for solving Lyapunov equations. ACM Trans. Math. Software 34(1), 1–15 (2008)CrossRefMathSciNetMATH Kressner, D.: Block variants of Hammarling’s method for solving Lyapunov equations. ACM Trans. Math. Software 34(1), 1–15 (2008)CrossRefMathSciNetMATH
20.
go back to reference Kressner, D., Tobler, C.: Krylov subspace methods for linear systems with tensor product structure. SIAM J Matrix Anal. Appl. 31(4), 1688–1714 (2010)CrossRefMathSciNetMATH Kressner, D., Tobler, C.: Krylov subspace methods for linear systems with tensor product structure. SIAM J Matrix Anal. Appl. 31(4), 1688–1714 (2010)CrossRefMathSciNetMATH
21.
go back to reference Li, B.-W., Tian, S., Sun, Y.-S., Hu, Z.-M.: Schur-decomposition for 3D matrix equations and its application in solving radiative discrete ordinates equations discretized by Chebyshev collocation spectral method. J. Comput. Phys. 229(4), 1198–1212 (2010)CrossRefMathSciNetMATH Li, B.-W., Tian, S., Sun, Y.-S., Hu, Z.-M.: Schur-decomposition for 3D matrix equations and its application in solving radiative discrete ordinates equations discretized by Chebyshev collocation spectral method. J. Comput. Phys. 229(4), 1198–1212 (2010)CrossRefMathSciNetMATH
22.
23.
go back to reference Moravitz Martin, C.D., Van Loan, C.F.: Solving real linear systems with the complex Schur decomposition. SIAM J. Matrix Anal. Appl. 29(1), 177–183 (2006/07)CrossRefMathSciNetMATH Moravitz Martin, C.D., Van Loan, C.F.: Solving real linear systems with the complex Schur decomposition. SIAM J. Matrix Anal. Appl. 29(1), 177–183 (2006/07)CrossRefMathSciNetMATH
25.
go back to reference Peise, E., Bientinesi, P.: Algorithm 979: recursive algorithms for dense linear algebra—the ReLAPACK collection. ACM Trans. Math. Software 44(2), Art. 16, 19 (2017)CrossRefMathSciNetMATH Peise, E., Bientinesi, P.: Algorithm 979: recursive algorithms for dense linear algebra—the ReLAPACK collection. ACM Trans. Math. Software 44(2), Art. 16, 19 (2017)CrossRefMathSciNetMATH
26.
go back to reference Quintana-Ortí, E.S., van de Geijn, R. A.: Formal derivation of algorithms: the triangular Sylvester equation. ACM Trans. Math. Software 29(2), 218–243 (2003)CrossRefMathSciNetMATH Quintana-Ortí, E.S., van de Geijn, R. A.: Formal derivation of algorithms: the triangular Sylvester equation. ACM Trans. Math. Software 29(2), 218–243 (2003)CrossRefMathSciNetMATH
27.
go back to reference Sangalli, G., Tani, M.: Isogeometric preconditioners based on fast solvers for the Sylvester equation. SIAM J. Sci. Comput. 38(6), A3644–A3671 (2016)CrossRefMathSciNetMATH Sangalli, G., Tani, M.: Isogeometric preconditioners based on fast solvers for the Sylvester equation. SIAM J. Sci. Comput. 38(6), A3644–A3671 (2016)CrossRefMathSciNetMATH
29.
go back to reference Stewart, G.W.: Stochastic automata, tensors operation, and matrix equations. UMIACS TR-96-11, CMSC TR-3598 (1996) Stewart, G.W.: Stochastic automata, tensors operation, and matrix equations. UMIACS TR-96-11, CMSC TR-3598 (1996)
30.
go back to reference Stewart, W.J.: Introduction to the Numerical Solution of Markov Chains. Princeton University Press, Princeton (1994)MATH Stewart, W.J.: Introduction to the Numerical Solution of Markov Chains. Princeton University Press, Princeton (1994)MATH
31.
go back to reference Touzene, A.: Approximated tensor sum preconditioner for stochastic automata networks. In: Proceedings 20th IEEE International Parallel Distributed Processing Symposium (2006) Touzene, A.: Approximated tensor sum preconditioner for stochastic automata networks. In: Proceedings 20th IEEE International Parallel Distributed Processing Symposium (2006)
Metadata
Title
Recursive blocked algorithms for linear systems with Kronecker product structure
Authors
Minhong Chen
Daniel Kressner
Publication date
09-09-2019
Publisher
Springer US
Published in
Numerical Algorithms / Issue 3/2020
Print ISSN: 1017-1398
Electronic ISSN: 1572-9265
DOI
https://doi.org/10.1007/s11075-019-00797-5

Other articles of this Issue 3/2020

Numerical Algorithms 3/2020 Go to the issue

Premium Partner