arXiv++ Combinatorics

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.

We prove that the Füredi-Hajnal limit and the Stanley-Wilf limit of a uniformly random permutation matrix of order $k$ are at most $\exp\bigl(O(\sqrt{k}(\log k)^{5/2})\bigr)$ with probability tending to one as $k\to\infty$. This improves the bound $\exp\bigl(O(k^{2/3}(\log k)^{7/3}/(\log\log k)^{1/3})\bigr)$ of Cibulka and Kynčl. Together with the lower bound due to Fox, these bounds show that the logarithms of both limits are $k^{1/2+o(1)}$ for almost all permutations.

The enumeration of diagonally symmetric alternating sign matrices (DSASMs) is studied, and a Pfaffian formula is obtained for the number of DSASMs of any fixed size, where the entries for the Pfaffian are positive integers given by simple binomial coefficient expressions. This result provides the first known case of an exact enumeration formula for an alternating sign matrix symmetry class in which a simple product formula does not seem to exist. Pfaffian formulae are also obtained for DSASM generating functions associated with several natural statistics, including the number of nonzero strictly upper triangular entries in a DSASM, the number of nonzero diagonal entries in a DSASM, and the column number of the unique 1 in the first row of a DSASM. The proofs of these results involve introducing a version of the six-vertex model whose configurations are in bijection with DSASMs of fixed size, and obtaining a Pfaffian expression for its partition function. Various related topics are also studied, involving diagonally symmetric permutation matrices, off-diagonally symmetric alternating sign matrices, certain natural involutions on DSASMs, and the asymptotic enumeration of DSASMs and other classes of alternating sign matrices.

In this paper, we introduce and study conformal permutation matrices. In particular, for a permutation $π_s\in S_n$, we define the corresponding conformal permutation matrix $H_{π_s}$ and show that its $d-$th power, where $d=n/\gcd(s,n)$, is a diagonal block matrix whose blocks are products of certain matrix blocks $h_i$. We further show that these diagonal blocks share a common subset of eigenvalues and prove that $H_{π_s}$ is block-diagonalizable. We also introduce the notion of conformal circulant matrix and investigate its eigenvalues. Finally, we establish a necessary and sufficient condition for a rectangular matrix to be conformal circulant.

A perfect matching in an ordered graph is nonnested if no edge lies strictly inside another. We classify the smallest edge sets meeting every nonnested perfect matching on $2k$ ordered vertices. For $k\ge2$, these blockers have $k$ edges and belong to three explicit families, with $2^k+k-2$ members in total. The proof uses a minimum spanning tree of an auxiliary interval cut; its equality case also classifies the minimum blockers for concatenations of crossing matchings. The argument gives a deterministic algorithm that, from at most $k$ deleted edges, returns a minimum blocker description or an avoiding nonnested perfect matching in $O(k^2)$ word operations and $O(k)$ auxiliary words. We also give an injection from one of the blocker families into minimum blockers of $123$-avoiding permutation matrices. Beyond the perfect case, an explicit construction gives graphs with $(k-1)n+1$ edges and no nonnested $k$-matching for every $k\ge5$ and $n\ge2k+1$.

Let $A$ be a stochastic $n\times n$ matrix with $\operatorname{rank}A\leq k$, where $1\leq k\leq n$. Write $n=qk+s$, where $0\leq s<k$. The author conjectured in 2018 that $\operatorname{per}A\leq (q!/q^q)^{k-s}((q+1)!/(q+1)^{q+1})^s$, with equality if and only if $A=P(J_q^{\oplus(k-s)}\oplus J_{q+1}^{\oplus s})Q$, where $P,Q$ are permutation matrices and $J_t$ is the $t\times t$ matrix with every entry $1/t$. We prove this conjecture in full.

A latin square of order $n$ can be viewed as a partition of the $n \times n$ all-ones matrix into permutation matrix summands. Here, we consider a relaxation in which the matrix summands are allowed to be induced from shorter permutations. For $σ\in S_k$, the `fuzzy permutation matrix' $P_σ^{\uparrow n}$ arises from combining all $\binom{n}{k}^2$ order-preserving embeddings of the $k \times k$ permutation matrix $P_σ$ into an $n \times n$ matrix. We define a fuzzy latin square as a linear combination of $n \times n$ fuzzy permutation matrices $P_σ^{\uparrow n}$ equaling a constant matrix. We study various aspects of these objects, including certain relevant vector space dimensions and a census of fuzzy latin squares with a small number of terms. In particular, we determine strong conditions on four-term fuzzy latin squares in the `vanishing' case (when the constant matrix is all zeros). We also report on a computer-assisted classification of six-term fuzzy latin squares in the non-vanishing case.

The X-ray of a permutation is a sequence of sums along each diagonal of the associated permutation matrix. They satisfy certain necessary constraints on distribution of the values, which are conjectured to be sufficient when the sequence is binary. By re-expressing the constraints in a form that allows for real-valued relaxations, we prove that these binary sequences are always X-rays of doubly stochastic matrices.

Let $\mathbf{x}_{n \times n}$ be an $n \times n$ matrix of variables and let $S = \mathbb{F}[\mathbf{x}_{n \times n}]$ be the polynomial ring over these variables where $\mathbb{F}$ is a field of characteristic zero. Regard $S$ as the coordinate ring of the affine space $\mathbb{F}^{n \times n}$ of $n \times n$ $\mathbb{F}$-matrices. Let $\mathfrak{D}_n \subseteq \mathbb{F}^{n \times n}$ be the locus of derangement permutation matrices. We study the orbit harmonics quotient ring ${\bf R}(\mathfrak{D}_n) = S/\mathrm{gr} \, \mathbf{I}(\mathfrak{D}_n)$ where $\mathrm{gr} \, \mathbf{I}(\mathfrak{D}_n)$ is the associated graded ideal of the vanishing ideal $\mathbf{I}(\mathfrak{D}_n) \subseteq S$. We give an explicit generating set of $\mathrm{gr} \, \mathbf{I}(\mathfrak{D}_n),$ relate the Hilbert series of $\mathbf{R}(\mathfrak{D}_n)$ to the Foata transformation and the longest increasing subsequence statistic on $\mathfrak{S}_n$, and give an alternating sum formula for the graded $\mathfrak{S}_n$-character of $\mathbf{R}(\mathfrak{D}_n)$. Our proofs make heavy use of the mapping cone construction of homological algebra.

Let $Ω$ be the superspace ring of regular differential forms on the affine space $\mathbb{C}^n$. If $G \subseteq GL_n(\mathbb{C})$ is a complex reflection group, the {\em $G$-superspace coinvariant ring} is the quotient $SR_G := Ω_n/SI_G$ where $SI_G \subseteq Ω$ is the ideal generated by $G$-invariants with vanishing constant term. We study this ring when $G = \mathbb{Z}_r \wr \mathfrak{S}_n$ is the group of $r$-colored permutation matrices. We prove a conjecture of Sagan and Swanson on a monomial basis for $SR_G$ and give an Operator Theorem description of its inverse system. We also give a combinatorial model for the ungraded and exterior-graded structure of $SR_G$ as a $G$-module.

The theory of Latin squares has a long history. While the objects themselves appeared earlier, the study of their general mathematical theory dates back to Euler in the 18th century. Latin squares can be interpreted as 3-dimensional permutation hypermatrices, and alternating sign matrices often arise as a natural generalisation of permutation matrices. In 2018, Brualdi and Dahl introduced a generalisation of classical Latin squares using alternating sign hypermatrices. Inspired by their definition, we develop the theory of Italian squares, a related generalisation of Latin squares, together with a notion of orthogonality that resolves an inconsistency in the definition of Brualdi and Dahl. Building on classical questions from Latin square theory, we obtain results including upper bounds on the maximal size of a pairwise orthogonal set, conditions for the existence of an orthogonal mate, infinite families of orthogonal pairs, and transversals. As part of our exploration of alternating sign matrices, we also prove a Frobenius-König type result for a class of $(0,\pm1)$-matrices.

The Bruhat order on permutation matrices extends to alternating sign matrices via corner-sum matrices, where the order is given by entrywise domination. A classical result of Lascoux and Schützenberger states that alternating sign matrices form the Dedekind-MacNeille completion of the Bruhat order on permutations. Brualdi and Dahl introduced alternating sign hypermatrices as a three-dimensional analogue of alternating sign matrices and used them to generalise Latin squares, which may be viewed as three-dimensional analogues of permutation matrices. In this paper, in analogy with the two-dimensional case, we define and study a Bruhat order $\preceq_B$ on Latin squares and alternating sign hypermatrices. We introduce the corresponding corner-sum hypermatrices $\mathcal C_n$ and prove that entrywise domination on $\mathcal C_n$ encodes this order. We show that $\mathcal C_n$ is a distributive lattice, but that, unlike in dimension two, it is not the Dedekind-MacNeille completion of the poset of Latin squares. We further characterise the covering relations for $\mathcal C_n$ and prove rank formulae generalising the classical case of alternating sign matrices. Finally, we define monotone hypertriangles, prove that they are in bijection with $\mathcal C_n$, and show that they also encode the order by entrywise domination.

The $n\times n$ doubly stochastic matrices constitute a polytope in $\mathbb{R}^{n^2}$, and by Birkhoff's theorem, its vertex set coincides with the set of order-$n$ permutation matrices.\\ A tristochastic array is an $n \times n\times n$ array of nonnegative reals, where each row, column, and shaft sums to one. These arrays constitute a polytope $Δ_n$ in $\mathbb{R}^{n^3}$. In analogy, it is easy to see that each of the $L_n$ order-$n$ Latin squares is a vertex of $Δ_n$, but in contrast to Birkhoff's theorem, Latin squares form a vanishingly small subset of $Δ_n$'s vertex set. We show here that $Δ_n$ has at least $L_n^{2-o(1)}$ vertices.

For a permutation matrix $P$, let $s_P$ denote its Stanley-Wilf limit, the exponential growth rate of the number of $n\times n$ permutation matrices avoiding $P$. Let $c_P$ denote its Füredi-Hajnal limit, which is the limit $\displaystyle \lim_{n \to \infty} \text{ex}(n,P)/n$ where $\text{ex}(n,P)$ is the maximum number of ones in an $n\times n$ $0$-$1$ matrix avoiding $P$. Cibulka proved the universal quadratic bound $s_P\leq 2.88\,c_P^2$. In this note we improve the constants in Cibulka's result through a so-called ``block contraction" argument. Defining \[ F(c)=\inf_{t\in\mathbb{N}} \frac{(t!)^{1/t}\,15^{\,c/t}}{c}, \] for $c>0$, this leads us to the revised inequality $s_P\leq F(c_P)\,c_P^2$. In particular, $F(c)=\log 15+o(1) \approx 2.70805\ldots +o(1)$ as $c\to\infty$, and the constant improves $2.88$ once $c_P \geq 17$.

The Robinson-Schensted-Knuth (RSK) algorithm maps an integer matrix to a pair of semi-standard Young tableaux (SSYTs) whose underlying shape has the same integer partition. We study the set of matrices associated with a given partition $λ$ vis-a-vis the number of inversions of the matrix. In the case where the integer matrix is a permutation matrix, the resulting tableaux are standard Young tableaux or SYTs. Han (EJC, 2005) combinatorially studied the set of permutations that map to SYTs of shape $λ$ under the RSK algorithm and counted the permutations with the minimum number of inversions in that set, as well as formulated the minimal number of inversions. Han's work can be extended to a case where the matrix is a general integer matrix and the tableaux are semi-standard Young tableaux. We have conjectured a formula for the minimal number of inversions in the set of matrices with a fixed shape $λ$. We further provide a conjecture for the characterisation of the minimal generalised matrices.

We report on a computational and experimental study of permanents. On the computational side, we use the GPU to greaatly accelerate the computation of permanents over $\mathbb{C},$ $\mathbb{R},$ $\mathbb{F}_p$ and $\mathbb{Q}.$ In particular, we use this to compute the permanents of DFT and Schur matrices far beyond the ranges hitherto known. On the experimental side, we present two new observations. First, for Haar-distributed unitary matrices~$U$, the permanent $\perm(U)$ follows a circularly-symmetric complex Gaussian distribution $\mathcal{CN}(0,σ^2)$ -- we confirm this via a number of tests for $n$ up to~23 with $50{,}000$ samples. The DFT matrix permanent is an extreme outlier for every prime $n\ge 7$. In contrast, for Haar-random \emph{orthogonal} matrices~$O$, the permanent $\perm(O)$ is approximately real Gaussian but with positive excess kurtosis that decays as~$O(1/n)$, indicating slower convergence. For matrices with Gaussian entries (GUE, GOE, Ginibre), the permanent follows an $α$-stable distribution with stability index $α\approx 1.0$--$1.4$, well below the Gaussian value $α=2$. Secondly, we study the permanent along geodesics on the unitary group. For the geodesic from the identity to the $n$-cycle permutation matrix, we find a universal scaling function $f(t)=\frac{1}{n}\ln|\perm(γ(t))|$ that is independent of~$n$ in the large-$n$ limit, with a midpoint value \[ \perm(γ({\textstyle\frac12})) = (-1)^{(n-1)/2}\cdot 2e^{-n}\bigl(1+\tfrac{1}{3n}+O(n^{-2})\bigr) \] for odd~$n$ and zero for even~$n$. For the geodesic to the DFT matrix, the permanent recovers $10$--$40$ times above its valley minimum when $n$ is prime, but not when $n$ is composite -- a geodesic fingerprint of primality.

Costas arrays are a special type of permutation matrices with ideal autocorrelation and low cross-correlation properties, making them valuable for radar, wireless communication, and integrated sensing and communication applications. This paper presents a novel unified framework for analyzing and discovering new Costas arrays. We introduce Universal Costas Matrices (UCMs) and Universal Costas Frequency Matrices (UCFMs) and investigate their structural characteristics. A framework integrating UCMs and UCFMs is proposed to pave the way for future artificial intelligence-assisted Costas array discovery. Leveraging the structural properties of UCMs and UCFMs, a reconstruction-based search method is developed to generate UCMs from UCFMs. Numerical results demonstrate that the proposed approach significantly accelerates the search process and enhances structural insight into Costas array generation.

A graph $G$ factors into graphs $H$ and $K$ via a matrix product if $A = BC$, where $A$, $B$, and $C$ are the adjacency matrices of $G$, $H$, and $K$, respectively. The graph $G$ is prime if, in every such factorization, one of the factors is a perfect matching that is, it corresponds to a permutation matrix. We characterize all prime graphs, then using this result we classify all factorable forests, answering a question of Akbari et al. [\emph{Linear Algebra and its Applications} (2025)]. We prove that every torus is factorable, and we characterize all possible factorizations of grids, addressing two questions posed by Maghsoudi et al. [\emph{Journal of Algebraic Combinatorics} (2025)].

We introduce two related notions of pattern enforcement in $(0,1)$-matrices: $Q$-forcing and strongly $Q$-forcing, which formalize distinct ways a fixed pattern $Q$ must appear within a larger matrix. A matrix is $Q$-forcing if every submatrix can realize $Q$ after turning any number of $1$-entries into $0$-entries, and strongly $Q$-forcing if every $1$-entry belongs to a copy of $Q$. For $Q$-forcing matrices, we establish the existence and uniqueness of extremal constructions minimizing the number of $1$-entries, characterize them using Young diagrams and corner functions, and derive explicit formulas and monotonicity results. For strongly $Q$-forcing matrices, we show that the minimum possible number of $0$-entries of an $m\times n$ strongly $Q$-forcing matrix is always $O(m+n)$, determine the maximum possible number of $1$-entries of an $n\times n$ strongly $P$-forcing matrix for every $2\times2$ and $3\times3$ permutation matrix, and identify symmetry classes with identical extremal behavior. We further propose a conjectural formula for the maximum possible number of $1$-entries of an $n\times n$ strongly $I_k$-forcing matrix, supported by results for $k=2,3$. These findings reveal contrasting extremal structures between forcing and strongly forcing, extending the combinatorial understanding of pattern embedding in $(0,1)$-matrices.

We investigate the toric geometry of two families of generalised determinantal varieties arising from permutations: Matrix Schubert varieties ($\overline{X_w}$) and Kazhdan-Lusztig varieties ($\mathcal{N}_{v,w}$). Matrix Schubert varieties can be written as $\overline{X_w} = Y_w \times \mathbb C^d$, where $d$ is maximal. We are especially interested in the structure and complexity of these varieties $Y_w$ and $\mathcal{N}_{v,w}$ under the so-called usual torus actions. In the case when $Y_w$ is toric, we provide a full characterisation of the simple reflections $s_i$ that render ${Y_{w \cdot s_i}}$ toric, as well as the corresponding changes to the weight cone. For Kazhdan-Lusztig varieties, we consider how moving one of the two permutations $v,w$ along a chain in the Bruhat poset affects their complexity. Additionally, we study the complexity of these varieties, for permutations $v$ and $w$ of a specific structure. Finally, we consider the links between these determinantal varieties and two classes of statistical models; namely conditional independence and quasi-independence models.