Computational Costs of Multi-Frontal Direct Solvers with Analysis-Suitable T-Splines

In this paper, we consider the computational cost of a multi-frontal direct solver used for the factorization of matrices resulting from a discretization of isogeometric analysis with T-splines, and analysis-suitable T-splines. We start from model projection or model heat transfer problems discretized over two-dimensional meshes, either uniformly refined or refined towards a point or an edge. These grids preserve several symmetries and they are the building blocks of more complicated grids constructed during adaptive isotropic refinement procedures. A large class of computational problems construct meshes refined towards point or edge singularities. We propose an ordering that permutes the matrix in a way that the computational cost of a multi-frontal solver executed on adaptive grids is linear. We show that analysis-suitable T-splines with our ordering, besides having other well-known advantages, also significantly reduce the computational cost of factorization with the multi-frontal direct solver. Namely, the factorization with N T-splines of order p over meshes refined to a point has a linear O(Np4) cost, and the factorization with T-splines on meshes refined to an edge has O(N2pp2) cost. We compare the execution time of the multi-frontal solver with our ordering to the Approximate Minimum Degree (AMD) and Cuthill–McKee orderings available in Octave.

[1]  Tom Lyche,et al.  Polynomial splines over locally refined box-partitions , 2013, Comput. Aided Geom. Des..

[2]  Victor M. Calo,et al.  The value of continuity: Refined isogeometric analysis and fast direct solvers , 2017 .

[3]  Giancarlo Sangalli,et al.  ANALYSIS-SUITABLE T-SPLINES OF ARBITRARY DEGREE: DEFINITION, LINEAR INDEPENDENCE AND APPROXIMATION PROPERTIES , 2013 .

[4]  T. Hughes,et al.  Isogeometric analysis of the Cahn–Hilliard phase-field model , 2008 .

[5]  Victor M. Calo,et al.  A finite strain Eulerian formulation for compressible and nearly incompressible hyperelasticity using high‐order B‐spline finite elements , 2012 .

[6]  Xiaodong Wei,et al.  Hybrid non-uniform recursive subdivision with improved convergence rates , 2019, Computer Methods in Applied Mechanics and Engineering.

[7]  Vipin Kumar,et al.  A Fast and High Quality Multilevel Scheme for Partitioning Irregular Graphs , 1998, SIAM J. Sci. Comput..

[8]  Piotr Gurgul,et al.  A Linear Complexity Direct Solver for H-adaptive Grids with Point Singularities , 2014, ICCS.

[9]  Victor M. Calo,et al.  Multiphysics model for blood flow and drug transport with application to patient-specific coronary artery flow , 2008 .

[10]  Victor M. Calo,et al.  Computational complexity and memory usage for multi-frontal direct solvers used in p finite element analysis , 2011, ICCS.

[11]  Patrick R. Amestoy,et al.  Multifrontal parallel distributed symmetric and unsymmetric solvers , 2000 .

[12]  Thomas J. R. Hughes,et al.  Truncated hierarchical Catmull–Clark subdivision with local refinement , 2015 .

[13]  Victor M. Calo,et al.  Direct solvers performance on h-adapted grids , 2015, Comput. Math. Appl..

[14]  Victor M. Calo,et al.  Quasi-Optimal Elimination Trees for 2D Grids with Singularities , 2015, Sci. Program..

[15]  Joseph W. H. Liu,et al.  The Multifrontal Method for Sparse Matrix Solution: Theory and Practice , 1992, SIAM Rev..

[16]  Victor M. Calo,et al.  The cost of continuity: A study of the performance of isogeometric finite elements using direct solvers , 2012 .

[17]  T. Hughes,et al.  Isogeometric analysis of the isothermal Navier-Stokes-Korteweg equations , 2010 .

[18]  Anna Paszynska Volume and neighbors algorithm for finding elimination trees for three dimensional h-adaptive grids , 2014, Comput. Math. Appl..

[19]  Patrick Amestoy,et al.  A Fully Asynchronous Multifrontal Solver Using Distributed Dynamic Scheduling , 2001, SIAM J. Matrix Anal. Appl..

[20]  John A. Evans,et al.  Isogeometric analysis using T-splines , 2010 .

[21]  Thomas J. R. Hughes,et al.  Extended Truncated Hierarchical Catmull–Clark Subdivision , 2016 .

[22]  Pascal Hénon,et al.  PaStiX: a high-performance parallel direct solver for sparse symmetric positive definite systems , 2002, Parallel Comput..

[23]  Victor M. Calo,et al.  Element Partition Trees For H-Refined Meshes to Optimize Direct Solver Performance. Part I: Dynamic Programming , 2017, Int. J. Appl. Math. Comput. Sci..

[24]  Hendrik Speleers,et al.  THB-splines: The truncated basis for hierarchical splines , 2012, Comput. Aided Geom. Des..

[25]  Victor M. Calo,et al.  Dynamic Programming Algorithm for Generation of Optimal Elimination Trees for Multi-frontal Direct Solver Over H-refined Grids , 2014, ICCS.

[26]  Patrick Amestoy,et al.  Hybrid scheduling for the parallel solution of linear systems , 2006, Parallel Comput..

[27]  Xiaoye S. Li,et al.  An overview of SuperLU: Algorithms, implementation, and user interface , 2003, TOMS.

[28]  Jürgen Schulze Towards a Tighter Coupling of Bottom-Up and Top-Down Sparse Matrix Ordering Methods , 2001 .

[29]  Bernd Hamann,et al.  Iso‐geometric Finite Element Analysis Based on Catmull‐Clark : ubdivision Solids , 2010, Comput. Graph. Forum.

[30]  Trond Kvamsdal,et al.  Isogeometric analysis using LR B-splines , 2014 .

[31]  Yuri Bazilevs,et al.  High-performance computing of wind turbine aerodynamics using isogeometric analysis , 2011 .

[32]  F. Cirak,et al.  A subdivision-based implementation of the hierarchical b-spline finite element method , 2013 .