Explorerβ€ΊMathematicsβ€ΊMathematics
Research PaperResearchia:202610.08027

Random permutations using GEPP

Kenji Gunawan

Abstract

Gaussian elimination with partial pivoting (GEPP) remains the most widely used solver for dense linear systems $A \mathbf x = \mathbf b$ for $A \in \mathbb C^{n\times n}$. We study the permutation $Ο€= Ο€(A)$ that arises in the GEPP factorization $PA = LU$, encoded by the permutation matrix factor $P = P_Ο€$. When the input matrix is random, so is $Ο€$. For random scalar butterfly matrices of size $2^n$ (a recursively defined family originally introduced to eliminate the need for pivoting altogether...

Submitted: October 8, 2026Subjects: Mathematics; Mathematics

Description / Details

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.


Source: arXiv:2610.10481v1 - http://arxiv.org/abs/2610.10481v1 PDF: https://arxiv.org/pdf/2610.10481v1 Original Link: http://arxiv.org/abs/2610.10481v1

Please sign in to join the discussion.

No comments yet. Be the first to share your thoughts!

Access Paper
View Source PDF
Submission Info
Date:
Oct 8, 2026
Topic:
Mathematics
Area:
Mathematics
Comments:
0
Bookmark