Abstract:For a square matrix $A$, Gaussian elimination with partial pivoting (GEPP) results in the factorization $PA = LU$ where $L$ and $U$ are lower and upper triangular matrices and $P$ is a permutation matrix. If $A$ is a random matrix, then the associated permutation from the $P$ factor is random. We are interested in studying properties of random permutations generated using GEPP. We introduce and present probabilistic results for groups of simple and nonsimple butterfly permutations of order $N = p^n$ for prime $p$, on which GEPP induces the Haar measure when applied to particular ensembles of random butterfly matrices. Of note, the nonsimple butterfly permutations include specific $p$-Sylow subgroups of $S_{p^n}$ for each prime $p$. Moreover, we focus on addressing the questions of the longest increasing subsequence (LIS) and the number of cycles for butterfly permutations. Our proof techniques utilize the explicit structural recursive properties of these permutations to answer what are traditionally hard analytical questions using simpler tools. For simple butterfly permutations, we provide full distributional descriptions and Law of Large Numbers (LLN) or Central Limit Theorem (CLT) type results for each statistic. For nonsimple $p$-nary butterfly permutations, we establish lower and upper power law bounds on the expected LIS of the form $N^{\alpha_p}$ and $N^{\beta_p}$ where $\frac12 < \alpha_p < \beta_p < 1$ for each $p$ with $\alpha_p = 1 - o_p(1)$. Additionally, we determine the aysmptotic form for the number of cycles scaled by $(2 - \frac1p)^n$ that limit to new distributions we introduce depending only on $p$ whose positive integer moments satisfy explicit recursion formulas for each $p$; in particular, this characterizes a full CLT result for the number of cycles for any uniform $p$-Sylow subgroup of $S_{p^n}$.

The butterfly sequence: the second difference sequence of the numbers of integer partitions with distinct parts, its pentagonal number structure, its combinatorial identities and the cyclotomic polynomials 1-x and 1+x+x^2

Sequences of odd length in strict partitions I: the combinatorics of double sum Rogers-Ramanujan type identities

On the longest increasing subsequence and number of cycles of butterfly permutations

Number Identities and Integer Partitions

An infinite family of internal congruences modulo powers of 2 for partitions into odd parts with designated summands

Harmonic Partitions of Positive Integers and Bosonic Extension of Euler's Pentagonal Number Theorem

On a discussion about the determination of surface characteristics of microemulsion droplets from static and dynamic scattering experiments

Pentagonal number recurrence relations for $p(n)$

A Poset Structure on Quasifibonacci Partitions

Congruences for Finite Triple Harmonic Sums

Difference in the Number of Summands in the Zeckendorf Partitions of Consecutive Integers

The Fibonacci-Fubini and Lucas-Fubini numbers

Pythagorean Triplets, Integral Apollonians and The Hofstadter Butterfly

Building the Butterfly Fractal: The Eightfold Way

Polygonal Dissections and Reversions of Series

On Universal Sums of Polygonal Numbers

Quadratic Residues and Related Permutations and Identities

Euler's partition theorem for all moduli and new companions to Rogers-Ramanujan-Andrews-Gordon identities

Sequences of odd length in strict partitions II: the $2$-measure and refinements of Euler's theorem

Triangular partitions: enumeration, structure, and generation