Search arXiv⌕ Search

arXiv · 2610.10481

Random permutations using GEPP

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), we give the exact GEPP factorization and fully classify the induced permutation as an element of a $2$-Sylow subgroup of $S_{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 \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 $\ell^1$ rather than $\ell^2$ norm, changing the GUE(2) pivot probability from $1/\sqrt3$ to $2/3$. Together these results establish a new connection between random matrix theory and permutation combinatorics through numerical linear algebra.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Kenji Gunawan, John Peca-Medlin, Chenyang Zhong. 2026-10-07. Random permutations using GEPP. https://arxiv.org/abs/2610.10481

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Uniqueness and tube property for the Swiss cheese large deviations

We consider the simple random walk on the Euclidean lattice, in three dimensions and higher, conditioned to visit fewer sites than expected, when the deviation from the mean scales like the mean. The associated large deviation principle was first derived in 2001 by van den Berg, Bolthausen and den Hollander in the continuous setting, that is for the volume of a Wiener sausage, and later taken up by Phetpradap in the discrete setting. One of the key ideas in their work is to condition the range of the random walk to a certain skeleton, that is a sub-sequence of the random walk path taken along an appropriate mesoscopic scale. In this paper we prove that (i) the rate function obtained by van den Berg, Bolthausen and den Hollander has a unique minimizer over the set of probability measures modulo shifts, at least for deviations of the range well below the mean, and (ii) the empirical measure of the skeleton converges under the conditioned law, in a certain manner, to this minimizer. To this end we use an adaptation of the topology recently introduced by Mukherjee and Varadhan to compactify the space of probability measures.

math.PR↗

Variational representation and estimates for the free energy of a quenched charged polymer model

Random walks with a disordered self-interaction potential may be used to model charged polymers. In this paper we consider a one-dimensional and directed version of the charged polymer model that was introduced by Derrida, Griffiths and Higgs. We prove new results for the associated quenched free energy, including a variational formula based on a quenched large deviation principle established by Birkner, Greven and den Hollander. We also take the occasion to (i) provide detailed proofs for state-of-the-art results pointing towards the existence of a freezing transition and (ii) proceed with minor corrections for two results previously obtained by the present author with Caravenna, den Hollander and P{é}tr{é}lis for the undirected model.

math.PR↗

Pairwise Negative Correlation for Uniform Spanning Subgraphs of the Complete Graph

We study pairwise negative correlation for three families of uniform spanning-subgraph measures on the complete graph. In Part~I, we consider the uniform probability measure on connected spanning subgraphs and prove pairwise negative correlation for all sufficiently large complete graphs. In Part~II, we study the uniform measure on spanning forests with a prescribed number of connected components and prove pairwise negative correlation for every fixed number of components when the number of vertices is sufficiently large. In Part~III, we consider connected spanning subgraphs with prescribed excess and establish the analogous result for every fixed excess. The three parts are self-contained and are intended as separate manuscripts.

math.PR↗