arXiv++ Combinatorics

Motivated by a recent conjecture of Bsila, Cox, Hugo, Styron and Zhuang concerning fixed points and pixed points on pattern-avoiding permutations, we prove a bivariate refinement involving descent statistics. Given a set of permutations $Π$, let $\mathfrak{S}_n(Π)$ denote the set of permutations in the symmetric group $\mathfrak{S}_n$ that avoid every element of $Π$ in the sense of pattern avoidance. For each set $Π$ appearing in their conjecture, we show that the pairs of statistics $(\mathrm{des},\mathrm{fix})$ and $(\mathrm{ides},\mathrm{pix})$ are equidistributed over $\mathfrak{S}_n(Π)$. Our proof is based on explicit ordinary generating functions for the corresponding pattern-avoiding classes.

We give a spectral realization of the Robinson-Schensted-Knuth (RSK) correspondence in terms of the representation theory of the symmetric group $S_n$ and the degenerate affine Hecke algebra (AHA) $H_n$. We view RSK, which builds a pair of standard Young tableaux from a permutation, as a special case of rectification, also known as Jeu de Taquin, which turns skew tableaux into straight ones. In this framing, the initial permutation corresponds to a skew tableau of staircase shape. To interpret this in terms of representation theory, take permutations to label weight vectors in a generic $H_n$-module $V(a_1, \ldots , a_n)$, which is isomorphic to $\mathbb{C}[S_n]$ as an $S_n$-module. Writing permutations as staircases amounts to placing these weight vectors inside the regular representation of a larger symmetric group containing $S_n$; more geometrically, we push $S_n$ to the right toward infinity so its Jucys-Murphy (JM) elements have enough room to represent the external translations of $H_n$. Then, rectification corresponds to squeezing out this extra room from the left, leaving only $S_n$ and its regular JM elements as the limit of the external translations. By expressing slides via sequences of exchanges of consecutive values inside the tableau, we can model rectification by an operator acting on the regular representation. This lets us explicitly write down the change of basis between $H_n$-weight vectors and $S_n$-weight vectors, where the latter are eigenvectors of the JM elements in $S_n$ acting both on the left and on the right, and hence labeled by pairs of standard tableaux. The resulting correspondence between the labels of the weight vectors is exactly RSK.

We prove asymptotic equivalents for finite-level representations of symmetric groups, that is, for Young diagrams having all but finitely many boxes on their first row. We deduce that random walks on symmetric groups generated by conjugacy classes with a macroscopic number of fixed points have a Poissonian cutoff profile. We also prove that the random involution walk exhibits cutoff and find its cutoff profile. Finally, we obtain numerics for the random transposition walk on a deck of 52 cards, giving concrete estimates on the question that originally motivated Diaconis and Shahshahani.

We introduce flag positroid pipe dreams (FPPs), whose role in the study of complete flag positroids is analogous to the role of Le-diagrams in the study of positroids. We develop the combinatorics of these diagrams and highlight some of their properties. FPPs are in bijection with intervals in the Bruhat order of the symmetric group, and the number of elbows in an FPP is the dimension of the corresponding Richardson cell in the decomposition of the nonnegative flag variety. We show how complete flag positroids can be built rank by rank via FPPs, and how the Le-diagrams of the positroid constituents of the flag can be obtained from the FPP via a simple standardization operation. Using partial FPPs, we give an alternative proof of a conjecture of Benedetti, Chavez, and Tamayo on the problem of characterizing elementary positroid quotients via cyclic shifts of decorated permutations, in the nonnegatively representable case. Our proof partially addresses a problem of Chen et al. regarding an explicit characterization of the cyclic shift operators purely in terms of decorated permutations. We show that the poset of nonnegatively representable elementary positroid quotients is self-dual. The maximal chains of this poset are in bijection with FPPs.

We prove that the maximal dimension $d_N$ of an irreducible representation of the symmetric group $S_N$ satisfies $$d_N=\sqrt{N!} \, e^{-(\mathfrak{d}+o(1))\sqrt{N} }, \quad N\to \infty,$$ for some constant $\mathfrak{d}>0$. This answers a question raised by Vershik--Kerov in 1985.

In this work, we establish a relationship between the sum of irreducible character degrees and the number of twisted involutions associated with the automorphisms of a finite group. We develop algorithmic frameworks for evaluating these quantities in the context of inner automorphisms and the symmetric group $\mathfrak{S}_n$. As an application, we provide a criterion for identifying groups that possess complex (non-real) irreducible representations and explore the structural consequences arising from these results.

For $w$ in the symmetric group $S_n$, let $\widetilde C_w$ be the corresponding modified, signless Kazhdan--Lusztig basis element of the type-$A$ Hecke algebra $H_n(q)$. An extension [Ann. Comb. 25, no. 3 (2021) pp. 757--787] of a result of Deodhar [Geom. Dedicata 36, (1990) pp. 95--119] implies that any factorization of the form \begin{equation*} \widetilde C_w = \frac1{f(q)} \widetilde C_{v^{(1)}} \cdots \widetilde C_{v^{(r)}}, \end{equation*} with $v^{(1)},\dotsc,v^{(r)}$ maximal elements of parabolic subgroups of $S_n$ and $f(q) \in \mathbb N[q]$ depending on these, provides cancellation-free combinatorial interpretations of the polynomials $\{P_{v,w}(q) \,|\, v \in S_n \}$ appearing in the expansion $\sum_v P_{v,w}(q) T_v$ of $\widetilde C_w$ in terms of the natural basis $\{ T_v \,|\, v \in S_n \}$ of $H_n(q)$. While the set of permutations $w \in S_n$ admitting such a factorization of $\widetilde C_w$ has not yet been characterized, we apply a result of Gaetz -- Gao [Adv. Math. 457 (2024) Paper No. 109941] to describe a set admitting no such factorization.

We introduce the dual affine Robinson-Schensted correspondence that gives a bijection between the extended affine symmetric group and tuples $(\bar{P},\bar{Q},λ,N)$, where $\bar{P}$ and $\bar{Q}$ are tabloids, $λ$ is a partition, and $N$ is an integer, subject to compatibility conditions. The construction generalizes Fomin's growth diagrams and Viennot's shadow lines for the classical Robinson-Schensted correspondence on the symmetric group, and is dual to the affine matrix ball construction as well as Shi's correspondence, in the sense that the $P$-tabloids are the same, and the $Q$-tabloids are related by affine evacuation. As a consequence, our construction also parametrizes Kazhdan-Lusztig cells in affine type $A$. We conjecture that the growth diagrams we construct admit a natural geometric realization in terms of relative positions of affine flags, similar to the interpretation given by Steinberg and van Leeuwen in the classical case.

For any connected complex reductive group $G$ and element $z$ of its Weyl group $W$, we use work of Lusztig and Abreu-Nigro to compute the graded $W$-character of the intersection cohomology of any closed Lusztig variety for $z$ over the regular semisimple locus of $G$. We relate the resulting formula to unipotent Lusztig varieties, giving a new geometric model for unicellular LLT polynomials. We then consider Laurent polynomials $α_{ψ, G}^z$ indexed by irreducible characters $ψ$, encoding how our formula decomposes into ungraded characters arising from the Springer theory of $G$. From evidence in low rank, we conjecture that if $ψ$ is inflated from type $A$ in a particular way, then the nonzero coefficients of $α_{ψ, G}^z$ are positive and unimodal. This offers an answer to a 1993 question of Haiman about generalizing a conjecture he posed for symmetric groups. We also prove that the matrix formed by the $α_{ψ, G}^z$ is partially triangular, and that their positivity and unimodality properties are stable under inclusions of Levi subgroups.

A finite group $G$ is called a Schur group if every Schur ring over $G$ is schurian, i.e. associated in a natural way with a subgroup of the symmetric group $Sym(G)$ that contains all right translations of $G$. The list of all possible abelian Schur groups was obtained by Evdokimov, Kovács, and Ponomarenko in 2016. In two papers, we complete a classification of abelian Schur groups. In the present paper, we prove that several groups of nonpowerful order from the list are Schur groups. By that, we obtain a classification of abelian Schur groups.

Let $G$ be a finite group acting on a finite set $X$. This group action splits $X$ into disjoint orbits. The Burnside process is a Markov chain on $X$ which has a uniform stationary distribution when the chain is projected to orbits. We initiate the study of the Burnside process on Catalan structures. We consider two special cases: the first where the state space is the set of parking functions of length $n$ and $G = S_n$ is the symmetric group on $[n]$, such that $G$ acts by permuting coordinates, and the second where the state space is the set of labeled Dyck paths of length $2n$ and $G = S_n$ acts by permuting labels. The resulting Burnside processes give novel algorithms for sampling, respectively, an increasing parking function and a Dyck path approximately uniformly at random. Our main result shows that both processes are rapidly mixing, with mixing times upper bounded by $O(n \log n)$. As an application, we show how our Burnside process can be used to sample triangulations of an $(n+2)$-gon approximately uniformly at random.

In this paper, we study the double shortcuts associated with pairs of standard hypercube decompositions of arbitrary Bruhat intervals in the symmetric group. Our results imply that a conjecture stated in [Bull. London Math. Soc., 57 (2025), no. 8] holds for the class of standard hypercube decompositions. If this conjecture were to hold for all hypercube decompositions, then the Combinatorial Invariance Conjecture for Kazhdan--Lusztig polynomials would follow.

We develop the ARE method (Action-Rectification-Expansion), a structural framework for the organization of Leibniz terms in determinants through cyclic group actions and orbital decompositions. The symmetric group S_n is partitioned into (n-1)! disjoint orbits of size n under right composition by the cyclic group C_n. Each orbit admits a canonical representative and generates a family of determinant terms related by cyclic rotation. We prove explicit sign laws for orbital rotations, establish a rectification theorem transforming orbital polylines into parallel-line configurations through a single block permutation, and characterize companion orbitals through dihedral symmetries. The framework yields an exact reorganization of the Leibniz expansion preserving all n! terms while exposing hidden geometric and combinatorial structure. We further prove an impossibility theorem showing that no fixed-width direct extension of the classical Sarrus rule can capture all determinant terms for n >= 4. The method provides three equivalent visualizations: polylines, parallel rectified lines, and total-line representations. Deterministic orbital generation algorithms and computational verification against standard determinant methods are also presented. Although the approach does not reduce factorial complexity, it provides a systematic geometric and algebraic interpretation of determinant structure extending the conceptual spirit of Sarrus to arbitrary dimension.

This paper generalizes in the affine symmetric group the notion of Coxeter sortable (or c-sortable for short) elements, as well as the classical bijection between c-sortable elements and c-noncrossing partitions defined by Reading in finite Coxeter groups. The generalization to the affine symmetric group of the c-sortable elements is achieved by using biclosed sets of reflections. Using recent works from Barkley and Speyer, these biclosed sets admit a sort of "one-line notation" called a TITO on $\mathbb{Z}$ (translation-invariant total order on $\mathbb{Z}$) that coincides with the usual one-line notation in the case of an affine permutation. We characterize the c-sortable elements of the affine symmetric group by pattern avoidance on their one-line notation, mirroring the well-known characterizations of c-sortable elements in the classical finite types. Based on this criterion, we then define the c-sortable biclosed sets, generalizing the c-sortable elements, as biclosed sets such that their TITOs on $\mathbb{Z}$ avoid certain patterns. We also build a bijection from our set of c-sortable biclosed sets to the set of c-noncrossing partitions using various combinatorial objects and their one-to-one correspondences. First, the TITOs, in bijection with the biclosed sets of the affine symmetric group using results from Barkley and Speyer. Second, the c-noncrossing partitions of an annulus, in bijection with the c-noncrossing partitions of the affine symmetric group, using results from Digne and Reading. Finally, the cyclic noncrossing arc diagrams, defined by Barkley, for which we exhibit a subset in bijection with both the set of c-sortable biclosed sets and the set of c-noncrossing partitions.

Alternating sign matrices (ASMs) arise as the Dedekind-MacNeille completion of the Bruhat order on the symmetric group. They enjoy fruitful combinatorial and geometric properties, with a particularly rich history on enumerations and bijections. In this paper, we explicitly describe the Dedekind-MacNeille completion of the Bruhat order on any parabolic quotients of the symmetric group. It is naturally a subposet of the alternating sign matrices, with different lattice operations. Moreover, we demonstrate the relations between the meet and join operations in this lattice with taking unions and intersections of the corresponding ASM varieties, respectively. Finally, we conclude with a more detailed discussion of special cases.

The higher Bruhat orders are partial orders that generalize the weak order on the symmetric group $S_n$, and the second higher Bruhat order is a poset on commutation classes of reduced words for the longest element in $S_n$, where covering relations correspond to braid relations. Constructing analogs in other settings is an area of recent interest, and we present an analog that generalizes any interval $[id,w]$ in the weak order of both the symmetric group and the affine symmetric group. Paralleling the classical case, we show that the second higher Bruhat order is a poset on commutation classes of reduced words for any affine permutation. For the symmetric group, we also establish results for all higher Bruhat orders that are direct analogs of those in the classical case.

The random transposition shuffle on repeated cards induces a Markov chain on the quotient space of arrangements with multiplicities, and is equivalent to the many-urn mean-field Bernoulli-Laplace model introduced by Scarabotti. Writing $n=ml$, where there are $m$ card types and each type appears $l$ times, we determine the limiting profile for the total variation distance to stationarity at times $t=\frac{n}{2}\left(\log n-\frac{1}{2}\log l+c\right)$, under the assumption $l=ω(1)$. Scarabotti previously established that this process exhibits cutoff at time $\frac{n}{2}(\log n-\frac{1}{2}\log l)$; our result refines this by identifying the precise asymptotic shape of convergence inside the cutoff window. We show that the limiting profile is asymptotically Gaussian, with different explicit forms in the regimes $m$ fixed and $m=ω(1)$. Together with our previous work on the fixed-$l$ regime, where the limiting profile is of Poisson type, this yields the cutoff profile for the random transposition shuffle on $n=ml$ repeated cards for the full range of parameters $m$ and $l$. Our argument has two main steps. First, we combine Scarabotti's Fourier-analytic framework for the many-urn Bernoulli-Laplace model with the approximation method of Jain-Sawhney (arXiv:2410.23944). More precisely, we compare the original shuffling measure with an explicitly tractable auxiliary measure directly on the repeated card quotient space, rather than passing through an intermediate comparison on the full symmetric group; this step relies in particular on our new estimates for Kostka numbers. Second, we reduce the limiting-profile problem to quotient fixed-point statistics and analyze them via Hoeffding-type combinatorial central limit theorems.

Inversion sequences, also known as subexcedant sequences, form a fundamental class of objects in enumerative combinatorics. In this paper, we study the joint distribution of five statistics on inversion sequences. While several statistics on inversion sequences have been extensively investigated, our contribution is to introduce the inversion number statistic, originally defined for permutations, into the context of inversion sequences. As special cases, we recover classical permutation statistics, including the Stirling, Mahonian and Eulerian distributions, as well as the Catalan and Narayana numbers. Somewhat unexpectedly, our specializations also include the number of involutions in the symmetric group. Our study arises from a $q$-analog of Comtet's expansion formula obtained by substituting the classical derivative operator $D$ with the $q$-derivative operator $D_q$.

The orbit dimension $σ(G)$ (also called the separation number or rigidity index) of a permutation group $G$ with domain $Ω$ is the minimum cardinality of a subset $S \subseteq Ω$ such that, for any two distinct elements $ω,ω'\in Ω$, there exists $α\in S$ for which $ω$ and $ω'$ lie in distinct orbits of the stabilizer $G_α$. In this paper, we first observe that if $G$ is transitive, then $σ(G)\le |Ω|-r+1$, where $r$ is the rank of $G$, and we obtain strong structural information on the groups for which equality holds. Next, we investigate the orbit dimension in the case where $G$ is the symmetric group of degree $n$, acting on the set of $k$-subsets of $\{1,\ldots,n\}$. In this case, this invariant equals the metric dimension of Johnson graphs.

The study of partial-twuality polynomials originates from the classical operations of geometric duality and Petrie duality on cellularly embedded graphs. These involutions generate the symmetric group $S_3$, and applying them to subsets of edges yields the notions of partial-(geometric) duality, partial-Petriality, and more generally, partial-twuality. In this paper, we generalize this theory of partial-twuality polynomials within the framework of matrix algebra. The key observation that the Euler genus of a bouquet under a partial-twuality can be expressed as a rank function of its adjacency matrix motivates and leads to the definition of a partial-twuality polynomial for an arbitrary square matrix over any field, thereby providing a universal algebraic counterpart to the topological polynomials. We then investigate basic properties of these polynomials, including product formulas, recursion relations, degrees, interpolation behaviors, and invariance and duality theorems under the matrix operations of pivoting and inversion. We conclude by posing some problems for further research.