Hypergraph edge elimination - A symbolic phase for Hermitian eigensolvers based on rank-1 modifications. ETNA - Electronic Transactions on Numerical Analysis
Fiche du document
13 novembre 2020
- handle: 10670/1.tq6ow3
- issn: 1068-9613
- doi: 10.1553/etna_vol54s51
info:eu-repo/semantics/openAccess
Sujets proches
ResultantsCiter ce document
Bruno Lang et al., « Hypergraph edge elimination - A symbolic phase for Hermitian eigensolvers based on rank-1 modifications. ETNA - Electronic Transactions on Numerical Analysis », Elektronisches Publikationsportal der Österreichischen Akademie der Wissenschafte, ID : 10.1553/etna_vol54s51
Métriques
Partage / Export
Résumé
It is customary to identify sparse matrices with the corresponding adjacency or incidence graphs. For the solution of a linear system of equations using Gaussian elimination, the representation by its adjacency graph allows a symbolic factorization that can be used to predict memory footprints and enables the determination of near-optimal elimination orderings based on heuristics. The Hermitian eigenvalue problem on the other hand seems to evade such treatment at first glance due to its inherent iterative nature. In this paper we prove this assertion wrong by revealing a tight connection of Hermitian eigensolvers based on rank-1 modifications with a symbolic edge elimination procedure. A symbolic calculation based on the incidence graph of the matrix can be used in analogy to the symbolic phase of Gaussian elimination to develop heuristics which reduce memory footprint and computations. Yet, we also show that the question of an optimal elimination strategy remains NP-complete, in analogy to the linear systems case.