permutation ↗ reference
4847 papers tagged with this keyword
Permanents of matrix ensembles: computation, distribution, and geometry
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.
Tilted Richardson Varieties
The study of the flag variety $\mathrm{Fl}_n$ and its subvarieties, including Schubert and Richardson varieties, plays a fundamental role in algebraic geometry and algebraic combinatorics. In this paper, we introduce and develop the theory of tilted Richardson varieties $\mathrm{T}_{u,v}$, a new family of subvarieties of the flag variety that provides a geometric framework for the quantum Bruhat graphs. These varieties are defined for all pairs of permutations $u$ and $v$, extending the classical Richardson varieties in the case where $u\leq v$ in the Bruhat order. We establish their fundamental geometric properties, proving irreducibility and providing explicit dimension formulas. Moreover, we show that they have a well-defined stratification indexed by tilted Bruhat intervals, a generalization of classical Bruhat intervals previously introduced by Brenti, Fomin, and Postnikov. Additionally, we introduce a tilted generalization of the classical Deodhar decomposition of Richardson varieties, which leads to a combinatorial formula for tilted Kazhdan--Lusztig R-polynomials, a notion that arises naturally in our framework.
We further develop a theory of total positivity for tilted Richardson varieties. In particular, we define and study the totally nonnegative parts of tilted Richardson varieties, proving they form a CW complex. This generalizes earlier results on the totally nonnegative flag variety and answers Björner's questions regarding geometric realizations of tilted Bruhat intervals.
Finally, we establish explicit connections between tilted Richardson varieties and quantum Schubert calculus. Specifically, we prove that $\mathrm{T}_{u,v}$ coincides with minimal-degree two-point curve neighborhoods. As a result, we compute their cohomology classes and derive new relationships among Gromov--Witten invariants of the flag variety.
A matrix approach to the structure, enumeration, and applications of partially ordered sets
We present a matrix-theoretic approach for studying and enumerating finite posets through their incidence representations, referred to as poset matrices. Naturally labelled posets are encoded as Boolean lower triangular matrices, allowing a unified treatment of Birkhoff problem on non-isomorphic posets and Dedekind problem on antichains. A key idea is a systematic construction and indexing of poset matrices as principal submatrices of the binary Pascal matrix, leading to new structural insights through permutation similarity and domination relations. This approach provides a consistent matrix-based perspective on classical enumeration problems in poset theory.
Descent-restricted subsequences via RSK and evacuation
The length $\mathsf{is}(π)$ of a longest increasing subsequence in a permutation $π$ has been extensively studied. An increasing subsequence is one that has no descents. We study generalizations of this statistic by finding longest subsequences with other descent restrictions. We first consider the statistic which encodes the longest length of a subsequence with a given number of descents. We then generalize this to restrict the descent set of the subsequence. Extending the classical result for $\mathsf{is}(π)$, we show how these statistics can be obtained using the RSK correspondence and the Schützenberger involution. In particular, these statistics only depend on the recording tableau of the permutation.
Universal Costas Matrices: Towards a General Framework for Costas Array Construction
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.
On the Graphical $r$-Stirling Numbers of the First Kind for Specific Graph Families
This paper investigates the \textbf{graphical $r$-Stirling numbers of the first kind}, denoted by $\str{G}{k}$, which enumerate partitions of a vertex set $V(G)$ into $k$ disjoint cycles such that $r$ specified vertices occupy distinct blocks. We establish closed-form expressions and recursive identities for fundamental graph families, including \textbf{Path} ($P_n$), \textbf{Cycle} ($C_n$), \textbf{Star} ($S_n$), \textbf{Wheel} ($W_n$), and \textbf{Fan} ($F_n$) graphs.
A primary focus of this study is the \textbf{statistical characterization} of the cycle distribution. We derive explicit formulas for the \textbf{mean} and \textbf{variance} of these numbers, extracted from the structural properties of the $r$-cycle polynomials. These results provide a rigorous measure of the average cycle density and variability across different graph topologies, bridging the gap between algebraic combinatorics and the structural analysis of restricted permutations.
Monomial bialgebras
Starting from a single solution of QYBE (or CYBE) we produce an infinite family of solutions of QYBE (or CYBE) parametrized by transitive arrays and, in particular, by signed permutations. We are especially interested in cases when such solutions yield quasi-triangular structures on direct powers of Lie bialgebras and tensor powers of Hopf algebras. We obtain infinite families of such structures as well and study the corresponding Poisson-Lie structures and co-quasi-triangular algebras.
Supports of Castelnuovo-Mumford polynomials
The Castelnuovo-Mumford polynomials are the maximal degree components of Grothendieck polynomials. The support of each Castelnuovo-Mumford polynomial is conjectured to be M-convex, i.e. the set of integer points of a generalized permutahedron (Mészáros and St. Dizier, 2020). This conjecture is known to hold in certain special cases but remains open in general. We define new families of permutations whose Castelnuovo-Mumford polynomials we show to have M-convex support. Specifically, we investigate which permutations have Castelnuovo-Mumford polynomials whose supports are the set of integer points in a schubitope.
Comparability in Bruhat orders
We determine the sharp asymptotic scale of the probability that two uniformly random permutations are comparable in weak Bruhat order, showing that $\mathbb{P}(σ_1 \preceq_W σ_2)=\exp\Bigl(\bigl(-\tfrac12+o(1)\bigr)\,n\log n\Bigr)$. This significantly improves both of the best known bounds, due to Hammett and Pittel, which placed this probability between $\exp((-1+o(1))n\log n)$ and $\exp(-Θ(n))$. We also improve the best known lower bound for strong Bruhat-order comparability, due to the same authors, by proving a subexponential lower bound. The Bruhat orders are natural partial orders on the symmetric group, appearing in wide-reaching settings including the geometry of flag manifolds, the representation theory of $\mathfrak{S}_{n}$, and the combinatorics of the permutohedron. To analyze weak Bruhat order, we combine classic analytic, tableau-theoretic, and poset-theoretic tools, including the Plancherel measure and the RSK bijection. For strong Bruhat order we construct large families where members are comparable with high probability. Our proof that members are comparable combines the tableau criterion with an associated random-walk-type deviation process.
$q$-deformations of the Tsetlin library
The Tsetlin library is a random shuffling process on permutations of $n$ letters, where each letter $i$ can be interpreted as a book; book $i$ is brought to the front of the bookshelf with an assigned probability $x_i$. We define a $q$-deformation of the Tsetlin library by replacing the symmetric group action on permutations by the action of the type $A$ Iwahori-Hecke algebra. We compute the stationary distribution and spectrum of this Markov chain by relating it to a Markov chain on complete flags over the finite field vector space $\mathbb{F}_q^n$ and applying techniques from semigroup theory. We also generalize the $q$-Tsetlin library to words (with repeated letters), and compute its stationary distribution and spectrum.
Further refinements of Euler-Mahonian statistics for multipermutations
Permutation statistics constitute a classical subject of enumerative combinatorics. In her study of the genus zeta function, Denert discovered a new Mahonian statistic for permutations, which is called the Denert's statistic ({\bf $\den$}) by Foata and Zeilberger. As natural extensions of the $r$-descent number ({\bf $r\des$}) and the $r$-major index ({\bf $r\maj$}) introduced by Rawlings, Liu introduced the $g$-gap $\ell$-level descent number ({\bf $g\des_{\ell}$}) and the $g$-gap $\ell$-level major index ({\bf $g\maj_{\ell}$}) for permutations. In this paper, we introduce the $g$-gap $\ell$-level Denert's statistic ({\bf $g\den_{\ell}$}) and the $g$-gap $\ell$-level excedance number ({\bf $g\exc_{\ell}$}) for multipermutations, which serve as natural generalizations of the Denert's statistic ({\bf $\den$}) and the excedance number ({\bf $\exc$}) for multipermutations first introduced by Han. By constructing two explicit bijections, we establish the equidistribution of the pairs $(g\exc_{\ell}, g\den_{h} )$ and $(g\des_{\ell}, g\maj_{\ell})$ over multipermutations for all $1\leq h\leq g+\ell$. Our result provides a new proof of the equidistribution of the pairs ($\des$, $\maj$) and ($\exc$, $\den$) over multipermutations originally derived by Han and enables us to confirm a recent conjecture posed by Huang-Lin-Yan. Furthermore, we demonstrate that for all $1\leq h\leq g+\ell$, the pair $(g\exc_\ell, g\den_{h})$ is $r$-Euler-Mahonian over multipermutations of $M=\{1^k, 2^k, \ldots, n^k\}$ where $r=g+\ell-1$ and $k\geq 1$, which extends a recent novel result derived by Liu from permutations to multipermutations.
On Patterns and Languages in 1-11-Representations of Graphs
A 1-11-representation of a graph $G(V,E)$ is a word over the alphabet $V$ such that two distinct vertices $x$ and $y$ are adjacent if and only if the restricted word $w{x,y}$ (obtained from $w$ by deleting all letters except $x$ and $y$) contains at most one occurrence of $xx$ or $yy$. Although every graph admits a 1-11-representation, the repetition patterns that may or must appear in such representations have not been fully studied.
In this paper, we study cube-free and square-free 1-11-representations of graphs. We first show that cubes cannot always be avoided in 1-11-representations of minimum length by providing a graph for which every minimum-length 1-11-representation necessarily contains a cube. We then focus on permutational 1-11-representations, where the representing word is a concatenation of permutations of the vertex set. In this setting, we prove that any cube appearing in a permutational 1-11-representation can be removed without changing the represented graph. As a consequence, every permutational 1-11-representation attaining the permutational 1-11-representation number is cube-free. We further show that this behaviour does not extend to squares by providing a graph for which every permutational 1-11-representation with the minimum number of permutations necessarily contains a square.
Finally, we prove that the language of all 1-11-representations of a given graph is regular. Moreover, we show that the language of all permutational 1-11-representations of a graph is also regular.
On the orbital diameter of classical groups in standard action
Let $G$ be a primitive permutation group acting on a finite set $X$. The orbital diameter $\mathrm{diam}(X,G)$ is defined to be the supremum of the diameters of the (connected) orbital graphs of $G$ after disregarding the directions of all edges in the graphs. This invariant is studied in the case when $G$ is an almost simple group in a standard action. A lower bound is given for $\mathrm{diam}(X,G)$ and we provide a partial classification of pairs $(X,G)$ for which the orbital diameter is at most $2$.
Eulerian-type polynomials over matchings and matching permutations
Claesson and Linusson [Proc. Am. Math. Soc., 139 (2011), 435-449] observed that there are n! matchings on [2n] with no left-nestings. Inspired by this result, this paper is devoted to exploring a deeper connection between matchings and permutations. We first discover that a quadruple statistic over matchings corresponds to the well known quadruple statistic (exc,drop,fix,cyc) over permutations, where exc, drop, fix and cyc are the excedance, drop, fixed point and cycle statistics, respectively. By introducing matching permutations, we provide a symmetric expansion of a five-variable neighbor polynomial of matchings, which encodes a great deal of neighbor information. As an application, we discover the e-positivity of NCA-polynomials, which implies that the left-nesting number, the left-crossing number and the neighbor alignment number are distributed symmetrically over all matchings on [2n]. We also establish the relationship between the five-variable neighbor polynomials and the trivariate second-order Eulerian polynomials, which generalizes the related results of Claesson and Linusson, Cameron and Killpatrick as well as Chen and Fu.
Price of Locality in Permutation Mastermind: Are TikTok influencers Chaotic Enough?
In the permutation Mastermind game, the goal is to uncover a secret permutation $σ^\star \colon [n] \to [n]$ by making a series of guesses $π_1, \ldots, π_T$ which must also be permutations of $[n]$, and receiving as feedback after guess $π_t$ the number of positions $i$ for which $σ^\star(i) = π_t(i)$. While the existing literature on permutation Mastermind suggests strategies in which $π_t$ and $π_{t+1}$ might be widely different permutations, a resurgence in popularity of this game as a TikTok trend shows that humans (or at least TikTok influencers) use strategies in which consecutive guesses are very similar. For example, it is common to see players attempt one transposition at a time and slowly see their score increase. Motivated by these observations, we study the theoretical impact of two forms of "locality" in permutation Mastermind strategies: $\ell_k$-local strategies, in which any two consecutive guesses differ in at most $k$ positions, and the even more restrictive class of $w_k$-local strategies, in which consecutive guesses differ in a window of length at most $k$. We show that, in broad terms, the optimal number of guesses for local strategies is quadratic, and thus much worse than the $O(n \lg n)$ guesses that suffice for non-local strategies. We also show NP-hardness of the satisfiability version for $\ell_3$-local strategies, whereas in the $\ell_2$-local variant the problem admits a randomized polynomial algorithm.
Kostant's problem for permutations of shape $(n-2,1,1)$ and $(n-3,2,1)$
For a permutation $z$ in the symmetric group $\mathrm{S}_{n}$, denote by $L_{z}$ the corresponding simple highest weight module in the principal block of the BGG category $\mathcal{O}$ for the Lie algebra $\mathfrak{sl}_{n}(\mathbb{C})$. In this paper, we provide a combinatorial answer to Kostant's problem for the modules $L_{z}$ when $z$ has shape (associated Young diagram/integer partition via Robinson-Schensted correspondence) equal to $(n-2,1,1)$ or $(n-3,2,1)$. Moreover, we verify that certain closely related conjectures hold for such permutations, including the Indecomposability Conjecture, which states that applying any indecomposable projective functor to the corresponding simple highest weight module outputs either an indecomposable module or zero.
Vertex degrees in grid graphs associated with 213-avoiding permutations
Given a permutation of size $n$, we consider its associated grid graph whose $i$th column has height equal to the $i$th entry, with vertical edges between consecutive levels and horizontal edges between equal levels in adjacent columns. We study global degree statistics of these graphs when the permutation is chosen from the Catalan avoidance class $\mathrm{Av}_n(213)$ (and, by reversal, also from $\mathrm{Av}_n(312)$).
We first obtain an explicit closed form for the total number of horizontal edges summed over all permutations in $\mathrm{Av}_n(213)$. We then determine, for each degree $r\in\{1,2,3,4\}$, the total number of degree-$r$ vertices accumulated over the same class, yielding closed expressions in terms of central binomial coefficients and powers of four. The proofs rely on the Catalan decomposition induced by the position of the minimum entry, which leads to gluing identities and algebraic functional equations for ordinary generating functions, completed using global vertex and degree-sum identities.
As a consequence, we derive asymptotic degree proportions for a uniform random permutation in $\mathrm{Av}_n(213)$: the distribution concentrates and the proportion of degree-$4$ vertices tends to $1$, with a deficit of order $n^{-1/2}$.
Discrete Moving Frames, Semi-Algebraic Invariants and the Graph Canonization Problem
This paper develops an invariant--geometric interpretation of the canonization problem for simple undirected weighted graphs based on the {discrete moving frame method} for finite groups. We consider the action of the {pair group} $S_n^{(2)}$ on the space of edge weights of a graph. It is emphasized that the classical algebraic approach aimed at describing the ring of polynomial invariants of this action quickly becomes computationally impractical due to the explosive growth in the number and degrees of generators. The main result is a formalization of a canonical labeling of a graph as a {discrete moving frame} in the sense of Olver: a discrete orbit cross-section is fixed, in particular by a lexicographic rule, and for each configuration of edge weights one defines a permutation in $S_n^{(2)}$ that maps it to its canonical representative. The coordinates of the canonical representative are interpreted as a {complete system of invariants} for the action of $S_n^{(2)}$ that separates orbits, i.e., isomorphism classes of graphs. It is shown that the invariants obtained via such orbit canonization are of a non-algebraic nature and belong to the class of {semi-algebraic functions}. We do not propose a new computational algorithm; instead, we provide a rigorous theoretical foundation for the very concept of canonization by viewing it as a process of constructing a discrete moving frame and the corresponding system of semi-algebraic invariants.
Some Families of Type $B$ Set Partitions Counted by the Dowling Numbers
In this paper, we study type $B$ set partitions without zero block.
Certain classes of these partitions, such as merging-free and separated
partitions (enumerated by the Dowling numbers), are investigated.
We show that these classes are in bijection with type $B$ set partitions.
The intersection of these two classes is also studied, and we prove that their block-generating polynomials
are real-rooted.
Finally, we study the descent statistics on the class of permutations obtained by flattening type $B$ merging-free partitions. Using the valley-hopping action,
we prove the Gamma-positivity of the descent
distribution and provide a combinatorial interpretation of the Gamma-coefficients.
We also show that the descent statistic is homomesic under valley-hopping.
Non-Hamiltonian 2-regular Digraphs -- Residues
In earlier papers, we showed a decomposition of the arcs of 2-diregular digraphs (2-dds) and used it to prove some conditions for these graphs to be non-Hamiltonian; we then extended this decomposition to a larger class of digraphs and used it to construct infinite families of (strongly) connected non-Hamiltonian 2-dds and provided techniques to establish non-Hamiltonicity in special cases. In the present paper, for a subclass of these graphs, we show connections between non-Hamiltonicity and sets of permutations in the full symmetric group S(n) by introducing the concepts of biconjugates, excluded sets and residues; we then use these concepts to prove a necessary and sufficient condition for non-Hamiltonicity.