Accuracy Directly Controlled Fast Direct Solution of General ${\mathcal{ H}}^{2}$ -Matrices and Its Application to Solving Electrodynamic Volume Integral Equations

The dense matrix resulting from an integral equation (IE)-based solution of Maxwell’s equations can be compactly represented by an <inline-formula> <tex-math notation="LaTeX">${\mathcal{ H}}^{2}$ </tex-math></inline-formula>-matrix. Given a general dense <inline-formula> <tex-math notation="LaTeX">${\mathcal{ H}}^{2}$ </tex-math></inline-formula>-matrix, prevailing fast direct solutions involve approximations whose accuracy can only be indirectly controlled. In this paper, we propose new direct solution algorithms whose accuracy is directly controlled, including both factorization and inversion, for solving general <inline-formula> <tex-math notation="LaTeX">${\mathcal{ H}}^{2}$ </tex-math></inline-formula>-matrices. Different from the recursive inverse performed in existing <inline-formula> <tex-math notation="LaTeX">${\mathcal{ H}}^{2}$ </tex-math></inline-formula>-based direct solutions, this new direct solution is a one-way traversal of the cluster tree from the leaf level all the way up to the root level. The underlying multiplications and additions are carried out as they are without using formatted multiplications and additions whose accuracy cannot be directly controlled. The cluster bases and their rank of the original matrix are also updated level by level based on prescribed accuracy, without increasing computational complexity, to take into account the contributions of fill-ins generated during the direct solution procedure. For constant-rank <inline-formula> <tex-math notation="LaTeX">${\mathcal{ H}}^{2}$ </tex-math></inline-formula>-matrices, the proposed direct solution has a strict <inline-formula> <tex-math notation="LaTeX">$O(N)$ </tex-math></inline-formula> complexity in both time and memory. For rank that linearly grows with the electrical size, the complexity of the proposed direct solution is <inline-formula> <tex-math notation="LaTeX">$O(N\text {log}N)$ </tex-math></inline-formula> in factorization and inversion time, and <inline-formula> <tex-math notation="LaTeX">$O(N)$ </tex-math></inline-formula> in solution time and memory for solving volume IEs (VIEs). Rapid direct solutions of electrodynamic VIEs involving millions of unknowns have been obtained on a single CPU core with directly controlled accuracy. Comparisons with state-of-the-art <inline-formula> <tex-math notation="LaTeX">${\mathcal{ H}}^{2}$ </tex-math></inline-formula>-based direct VIE solvers have also demonstrated the advantages of the proposed direct solution in accuracy control, as well as achieving better accuracy with much less CPU time.

[1]  D. Wilton,et al.  A tetrahedral modeling method for electromagnetic scattering by arbitrarily shaped inhomogeneous dielectric bodies , 1984 .

[2]  V. Rokhlin Diagonal Forms of Translation Operators for the Helmholtz Equation in Three Dimensions , 1993 .

[3]  Wolfgang Hackbusch,et al.  A Sparse Matrix Arithmetic Based on H-Matrices. Part I: Introduction to H-Matrices , 1999, Computing.

[4]  W. Hackbusch,et al.  A Sparse ℋ-Matrix Arithmetic. , 2000, Computing.

[5]  Jian-Ming Jin,et al.  Fast and Efficient Algorithms in Computational Electromagnetics , 2001 .

[6]  W. Hackbusch,et al.  Introduction to Hierarchical Matrices with Applications , 2003 .

[7]  Steffen Börm -Matrix Arithmetics in Linear Complexity , 2005, Computing.

[8]  Steffen Börm,et al.  H 2-matrix arithmetics in linear complexity , 2022 .

[9]  Per-Gunnar Martinsson,et al.  A fast direct solver for scattering problems involving elongated structures , 2007, J. Comput. Phys..

[10]  Yuan Xu,et al.  Modular Fast Direct Electromagnetic Analysis Using Local-Global Solution Modes , 2008, IEEE Transactions on Antennas and Propagation.

[11]  J. Shaeffer,et al.  Direct Solve of Electrically Large Integral Equations for Problem Sizes to 1 M Unknowns , 2008, IEEE Transactions on Antennas and Propagation.

[12]  Per-Gunnar Martinsson,et al.  Fast direct solvers for integral equations in complex three-dimensional domains , 2009, Acta Numerica.

[13]  A. Boag,et al.  A multilevel fast direct solver for EM scattering from quasi-planar objects , 2009, 2009 International Conference on Electromagnetics in Advanced Applications.

[14]  Cheng-Kok Koh,et al.  A direct integral-equation solver of linear complexity for large-scale 3D capacitance and impedance extraction , 2009, 2009 46th ACM/IEEE Design Automation Conference.

[15]  Jianlin Xia,et al.  Fast algorithms for hierarchically semiseparable matrices , 2010, Numer. Linear Algebra Appl..

[16]  Dan Jiao,et al.  LU-decomposition based integral equation solver of linear complexity and higher-order accuracy for large-scale capacitance extraction , 2010, Proceedings of the Fourth European Conference on Antennas and Propagation.

[17]  S. Börm Efficient Numerical Methods for Non-local Operators , 2010 .

[18]  Dan Jiao,et al.  Dense Matrix Inversion of Linear Complexity for Integral-Equation-Based Large-Scale 3-D Capacitance Extraction , 2011, IEEE Transactions on Microwave Theory and Techniques.

[19]  J. Parrón,et al.  Multiscale Compressed Block Decomposition for Fast Direct Solution of Method of Moments Linear System , 2011, IEEE Transactions on Antennas and Propagation.

[20]  G. Vecchi,et al.  Fast-Factorization Acceleration of MoM Compressive Domain-Decomposition , 2011, IEEE Transactions on Antennas and Propagation.

[21]  W. Chai,et al.  Linear-Complexity Direct and Iterative Integral Equation Solvers Accelerated by a New Rank-Minimized ${\cal H}^{2}$-Representation for Large-Scale 3-D Interconnect Extraction , 2013, IEEE Transactions on Microwave Theory and Techniques.

[22]  Dan Jiao,et al.  Direct Matrix Solution of Linear Complexity for Surface Integral-Equation-Based Impedance Extraction of Complicated 3-D Structures , 2013, Proceedings of the IEEE.

[23]  Dan Jiao,et al.  Theoretical Study on the Rank of Integral Operators for Broadband Electromagnetic Modeling From Static to Electrodynamic Frequencies , 2013, IEEE Transactions on Components, Packaging and Manufacturing Technology.

[24]  Eric Darve,et al.  The Inverse Fast Multipole Method , 2014, ArXiv.

[25]  Yaniv Brick,et al.  Fast Direct Solver for Essentially Convex Scatterers Using Multilevel Non-Uniform Grids , 2014, IEEE Transactions on Antennas and Propagation.

[26]  D. Jiao,et al.  O(N) iterative and O(NlogN) direct volume integral equation solvers for large-scale electrodynamic analysis , 2014, 2014 International Conference on Electromagnetics in Advanced Applications (ICEAA).

[27]  Dan Jiao,et al.  A Linear Complexity Direct Volume Integral Equation Solver for Full-Wave 3-D Circuit Extraction in Inhomogeneous Materials , 2015, IEEE Transactions on Microwave Theory and Techniques.

[28]  Xiaoye S. Li,et al.  Efficient EM scattering analysis based on MoM, HSS direct solver, and RRQR decomposition , 2015, 2015 IEEE International Symposium on Antennas and Propagation & USNC/URSI National Radio Science Meeting.

[29]  D. Jiao,et al.  Minimal-rank ℋ2-matrix-based iterative and direct volume integral equation solvers for large-scale scattering analysis , 2015, 2015 IEEE International Symposium on Antennas and Propagation & USNC/URSI National Radio Science Meeting.

[30]  D. Jiao,et al.  HSS-matrix based fast direct volume integral equation solver for electrodynamic analysis , 2016, 2016 IEEE/ACES International Conference on Wireless Information Technology and Systems (ICWITS) and Applied Computational Electromagnetics (ACES).

[31]  Miaomiao Ma,et al.  New HSS-factorization and inversion algorithms with exact arithmetic for efficient direct solution of large-scale volume integral equations , 2016, 2016 IEEE International Symposium on Antennas and Propagation (APSURSI).

[32]  Eric Darve,et al.  The Inverse Fast Multipole Method: Using a Fast Approximate Direct Solver as a Preconditioner for Dense Linear Systems , 2015, SIAM J. Sci. Comput..

[33]  Jun Hu,et al.  A Butterfly-Based Direct Integral-Equation Solver Using Hierarchical LU Factorization for Analyzing Scattering From Electrically Large Conducting Objects , 2016, IEEE Transactions on Antennas and Propagation.

[34]  François-Henry Rouet,et al.  Efficient Scalable Parallel Higher Order Direct MoM-SIE Method With Hierarchically Semiseparable Structures for 3-D Scattering , 2017, IEEE Transactions on Antennas and Propagation.