Complete pivoting growth of butterfly matrices and butterfly Hadamard matrices
This work addresses a foundational numerical analysis problem for researchers in linear algebra, though it is incremental as it extends prior results to GECP for specific matrix types.
The authors tackled the problem of computing exact growth in Gaussian elimination with complete pivoting (GECP) for dense random butterfly matrices, achieving exact computations for structured subclasses and introducing a method to construct random Hadamard matrices using butterfly matrices.
The growth problem in Gaussian elimination (GE) remains a foundational question in numerical analysis and numerical linear algebra. Wilkinson resolved the growth problem in GE with partial pivoting (GEPP) in his initial analysis from the 1960s, while he was only able to establish an upper bound for the GE with complete pivoting (GECP) growth problem. The GECP growth problem has seen a spike in recent interest, culminating in improved lower and upper bounds established by Bisain, Edelman, and Urschel in 2023, but still remains far from being fully resolved. Due to the complex dynamics governing the location of GECP pivots, analysis of GECP growth for particular input matrices often estimates the actual growth rather than computes the growth exactly. We present a class of dense random butterfly matrices for which we can compute the exact GECP growth. We extend previous results that established exact growth computations for butterfly matrices when using GEPP and GE with rook pivoting (GERP) to now also include GECP for structured subclasses of inputs. Moreover, we present a new method to construct random Hadamard matrices using butterfly matrices.