Indexed metadata

Random permutations using GEPP

Kenji Gunawan, John Peca-Medlin, Chenyang Zhong

Source record

Source: arXiv

Published: Oct 7, 2026

arXiv: 2610.10481

Open original source ↗

Source abstract

Gaussian elimination with partial pivoting (GEPP) remains the most widely used solver for dense linear systems Ax=bA \mathbf x = \mathbf b for A∈Cn×nA \in \mathbb C^{n\times n}. We study the permutation π=π(A)π= π(A) that arises in the GEPP factorization PA=LUPA = LU, encoded by the permutation matrix factor P=PπP = P_π. When the input matrix is random, so is ππ. For random scalar butterfly matrices of size 2n2^n (a recursively defined family originally introduced to eliminate the need for pivoting altogether), we give the exact GEPP factorization and fully classify the induced permutation as an element of a 22-Sylow subgroup of S2nS_{2^n} contained in the separable permutations. Moreover, the uniform-angle model induces the uniform distribution on this subgroup. For the GOE, GUE, and iid Bernoulli models, the induced permutation is never exactly uniform for n≥2n \ge 2. We give the precise rate of departure from uniformity at the leading pivot for the GOE and GUE, and give evidence that this non-uniformity vanishes asymptotically in the permuton sense. In contrast, for banded random matrices of sublinear bandwidth, including the tridiagonal ββ-Hermite ensembles, the induced permutation converges to the diagonal permuton. We further show that the resulting pivot probabilities are sensitive to implementation choices: standard LAPACK routines compare complex pivot candidates using the ℓ1\ell^1 rather than ℓ2\ell^2 norm, changing the GUE(2) pivot probability from 1/31/\sqrt3 to 2/32/3. Together these results establish a new connection between random matrix theory and permutation combinatorics through numerical linear algebra.

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.