{"title":"SlabLU: a two-level sparse direct solver for elliptic PDEs","authors":"Anna Yesypenko, Per-Gunnar Martinsson","doi":"10.1007/s10444-024-10176-x","DOIUrl":null,"url":null,"abstract":"<div><p>The paper describes a sparse direct solver for the linear systems that arise from the discretization of an elliptic PDE on a two-dimensional domain. The scheme decomposes the domain into thin subdomains, or “slabs” and uses a two-level approach that is designed with parallelization in mind. The scheme takes advantage of <span>\\(\\varvec{\\mathcal {H}}^\\textbf{2}\\)</span>-matrix structure emerging during factorization and utilizes randomized algorithms to efficiently recover this structure. As opposed to multi-level nested dissection schemes that incorporate the use of <span>\\(\\varvec{\\mathcal {H}}\\)</span> or <span>\\(\\varvec{\\mathcal {H}}^\\textbf{2}\\)</span> matrices for a hierarchy of front sizes, SlabLU is a two-level scheme which only uses <span>\\(\\varvec{\\mathcal {H}}^\\textbf{2}\\)</span>-matrix algebra for fronts of roughly the same size. The simplicity allows the scheme to be easily tuned for performance on modern architectures and GPUs. The solver described is compatible with a range of different local discretizations, and numerical experiments demonstrate its performance for regular discretizations of rectangular and curved geometries. The technique becomes particularly efficient when combined with very high-order accurate multidomain spectral collocation schemes. With this discretization, a Helmholtz problem on a domain of size <span>\\(\\textbf{1000} \\varvec{\\lambda } \\times \\textbf{1000} \\varvec{\\lambda }\\)</span> (for which <span>\\(\\varvec{N}~\\mathbf {=100} \\textbf{M}\\)</span>) is solved in 15 min to 6 correct digits on a high-powered desktop with GPU acceleration.</p></div>","PeriodicalId":50869,"journal":{"name":"Advances in Computational Mathematics","volume":null,"pages":null},"PeriodicalIF":1.7000,"publicationDate":"2024-08-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Advances in Computational Mathematics","FirstCategoryId":"100","ListUrlMain":"https://link.springer.com/article/10.1007/s10444-024-10176-x","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
引用次数: 0
Abstract
The paper describes a sparse direct solver for the linear systems that arise from the discretization of an elliptic PDE on a two-dimensional domain. The scheme decomposes the domain into thin subdomains, or “slabs” and uses a two-level approach that is designed with parallelization in mind. The scheme takes advantage of \(\varvec{\mathcal {H}}^\textbf{2}\)-matrix structure emerging during factorization and utilizes randomized algorithms to efficiently recover this structure. As opposed to multi-level nested dissection schemes that incorporate the use of \(\varvec{\mathcal {H}}\) or \(\varvec{\mathcal {H}}^\textbf{2}\) matrices for a hierarchy of front sizes, SlabLU is a two-level scheme which only uses \(\varvec{\mathcal {H}}^\textbf{2}\)-matrix algebra for fronts of roughly the same size. The simplicity allows the scheme to be easily tuned for performance on modern architectures and GPUs. The solver described is compatible with a range of different local discretizations, and numerical experiments demonstrate its performance for regular discretizations of rectangular and curved geometries. The technique becomes particularly efficient when combined with very high-order accurate multidomain spectral collocation schemes. With this discretization, a Helmholtz problem on a domain of size \(\textbf{1000} \varvec{\lambda } \times \textbf{1000} \varvec{\lambda }\) (for which \(\varvec{N}~\mathbf {=100} \textbf{M}\)) is solved in 15 min to 6 correct digits on a high-powered desktop with GPU acceleration.
期刊介绍:
Advances in Computational Mathematics publishes high quality, accessible and original articles at the forefront of computational and applied mathematics, with a clear potential for impact across the sciences. The journal emphasizes three core areas: approximation theory and computational geometry; numerical analysis, modelling and simulation; imaging, signal processing and data analysis.
This journal welcomes papers that are accessible to a broad audience in the mathematical sciences and that show either an advance in computational methodology or a novel scientific application area, or both. Methods papers should rely on rigorous analysis and/or convincing numerical studies.