arXiv++ Combinatorics

We analyze Column-Row Impartial Merge (CRIM), an impartial combinatorial game played on integer partitions. A move in CRIM consists of removing an arbitrary row or column from the corresponding Young diagram, with the remaining parts reattaching to form a single partition. We define rectairs -- a common generalization of rectangles and staircases -- and characterize their $\mathcal{P}/\mathcal{N}$-status. We define the meld operation on partitions and show that the meld of losing rectairs is losing. We introduce Odds-Are-Even (OAE) and Evens-Are-Odd (EAO) partitions, proving that all OAE partitions are $\mathcal{P}$-positions and characterizing the losing positions within EAO partitions. We determine the $\mathcal{P}/\mathcal{N}$-status for staircases and for $2$- and $3$-part partitions. We evaluate CRIM and its restrictions to certain partition families within the Conway-Gurvich-Ho classification scheme, establishing that CRIM is neither returnable nor domestic. We conjecture that every losing partition has even rank.

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.

For words in the variables $X$ and $Y$ satisfying the commutation relation of the $q$-deformed generalized Ore algebra, $XY-qYX= μI + νY$, we show that the corresponding normal ordering coefficients can be given an interpretation in terms of mixed placements of rooks and files. In particular, the associated $q$-deformed Ore-Stirling and Ore-Lah numbers are treated in detail. We show that the $q$-deformed Ore-Stirling numbers (resp., $q$-deformed Ore-Lah numbers) are given as mixed placement numbers of rooks and files on the staircase board (resp., Laguerre board). Using this combinatorial interpretation, their recurrence relations are derived. In addition, the normal ordered form of the binomial $(X+Y)^m$ in the $q$-deformed generalized Ore algebra is determined. These considerations are then extended to the $q$-deformed polynomial Weyl algebra generated by $X$ and $Y$ satisfying $XY-qYX=f(Y)$ for some polynomial $f\in \mathbb{C}[Y]$. In particular, associated $q$-deformed polynomial Stirling and Lah numbers are introduced and their properties studied. The normal ordered form of the binomial is also extended to the $q$-deformed polynomial Weyl algebra.

Let $G_n$ be the partition graph whose vertices are the partitions of $n$, with adjacency given by elementary transfers of one cell between parts, followed by reordering. We study the support of a partition -- the set of distinct part sizes -- as a global vertex invariant of $G_n$. We show that support size $r$ occurs in $G_n$ if and only if $T_r=r(r+1)/2\le n$, so the maximal support size is $ρ(n)=\max\{r:T_r\le n\}$. We determine exactly how support changes along an edge: the support jump always lies in $\{-2,-1,0,1,2\}$, and we give an explicit birth-death formula in terms of the source and target part sizes. We also prove the degree bound $°(λ)\ge σ(λ)(σ(λ)-1)$ for every partition $λ$, with equality exactly for staircase partitions. In addition, support size is invariant under conjugation, the support-$1$ stratum consists exactly of rectangular partitions, and the coarse support-level graph always contains the chain $1-2-\cdots-ρ(n)$. We conclude with computational data for small $n$, including support-stratum counts, support-jump counts, and connectivity data for fixed-support subgraphs.

We study the partition graph $G_n$, whose vertices are the integer partitions of $n$ and whose edges correspond to elementary transfers of one unit between parts. We introduce the simplex stratification of $G_n$: for each vertex $λ$, let $\dim_{\mathrm{loc}}(λ)$ denote the largest dimension of a simplex of the clique complex $K_n = \mathrm{Cl}(G_n)$ containing $λ$. This defines a decomposition of $V(G_n)$ into layers $L_r(n)=\{λ\in V(G_n): \dim_{\mathrm{loc}}(λ)=r\}$. We formalize the graph-theoretic interfaces between consecutive layers, called phase boundaries, and study the associated interface graphs and boundary thresholds. Using the previously established star/top description of cliques through a fixed vertex, we show that $\dim_{\mathrm{loc}}(λ)$ is determined exactly by the maximal star and top capacities through $λ$. This yields explicit local criteria for membership in higher simplex layers and reformulates their first appearance in terms of local star/top capacity thresholds. We also present an exhaustive computational study for $n\le 30$, including exact-layer thresholds, boundary thresholds, selected layer profiles, and the behaviour of the boundary framework. The computations suggest a rigid threshold pattern related to staircase partitions and their one-cell extensions, while the corresponding global statements are left as conjectures and open problems.

For integers $n \ge 3$ and $r \ge 1$, let $Γ_{n,r}$ be the alternating-oriented digraph obtained by gluing $r$ directed $n$-cycles along a single edge in a staircase pattern, and let $A_{n,r}$ be its adjacency matrix. A canonical $n$-layer partition puts $A_{n,r}$ into an $n$-cyclic block form and isolates a cyclic product core $K_{n,r}$, so the nonzero spectrum of $A_{n,r}$ is obtained from that of $K_{n,r}$ by taking $n$th roots. We show that $K_{n,r}$ is totally nonnegative and irreducible, and hence its nonzero eigenvalues are real, positive, and simple. It follows that all nonzero eigenvalues of $A_{n,r}$ are simple and occur in $\exp(2πi/n)$-orbits, forming unions of regular $n$-gons in the complex plane. A one-step Schur complement yields a three-term recursion in $r$ for the characteristic polynomials $Φ_{n,r} \in \mathbb{Z}[x]$. This determines both the multiplicity of the eigenvalue $0$ and the number of nonzero eigenvalues, and leads to a generating function with cubic denominator. Applying a Tran-type confinement theorem gives the uniform bound $ρ(A_{n,r}) \le (27/4)^{1/n}$ and the sharp limit $\displaystyle\lim_{r \to \infty} ρ(A_{n,r}) = (27/4)^{1/n}$ for each fixed $n$. Finally, specializing at $x=1$ relates $Φ_{n,r}(1)$ to Padovan spiral numbers and yields a complete classification of rational nonzero eigenvalues.

Motivated by applications to the fractional quantum Hall effect and, in particular, to the Bernevig-Haldane conjectures, we investigates the behavior of Macdonald polynomials under specializations of the form q a t b = 1. Our main focus is to explain, in a simple and purely combinatorial way, why certain nonsymmetric Macdonald polynomials indexed by staircase vectors with steps of height a and width b remain regular at the specialization q a t b+1 = 1, despite the presence of potential poles in their rational coefficients. To this end, we introduce a set of combinatorial tools that track how poles are created or cancelled along paths in the Yang-Baxter graph. By carefully constructing paths from the zero vector to the staircase and analyzing the resulting denominators, we show that the absence of certain poles follows from intrinsic symmetries and cancellations encoded in the Yang-Baxter graph.

We relate hook-length products for adjacent staircase partitions to special values of Jacobi polynomials. This connection expresses the number of semistandard tableaux in terms of Jacobi polynomials defined via Gauss hypergeometric functions. From this identity, we derive the special values of stable Grothendieck polynomials and $K$-theoretic Schur $P$-functions indexed by adjacent staircase partitions. These values provide ratios of the numbers of set-valued and shifted set-valued semistandard tableaux. This connection is further clarified by the theory of excited Young diagrams, which characterizes the coefficients in these specializations.

Saxl's conjecture (2012) asserts that for the staircase partition $ρ_k = (k, k-1, \ldots, 1)$, the tensor square of the corresponding irreducible representation of the symmetric group $S_{T_k}$ contains every irreducible representation as a constituent, where $T_k = k(k+1)/2$ is the $k$th triangular number. We prove this conjecture unconditionally. Our proof introduces the Staircase Minimality Theorem: among all 2-regular partitions of $T_k$, the staircase $ρ_k$ is the unique dominance-minimal element. Combined with Ikenmeyer's theorem on dominance and Kronecker positivity for staircases, this establishes that every 2-regular partition appears in the tensor square. Modular saturation then follows using only the diagonal entries $d_{μμ} = 1$ of the decomposition matrix, and the Bessenrodt--Bowman--Sutton lifting theorem completes the proof. We further prove that at triangular numbers, staircases are the only Kronecker-universal self-conjugate partitions, providing a complete characterization.

In this note, we explicitly compute the probability that a given cell in a random standard Young tableau of the shifted staircase shape $(2n-1, 2n-3, \ldots, 3,1)$ contains the maximal label. We also show that the asymptotic distribution of the cell containing the maximal label is governed by the quarter-circle law. The bijection between the tableaux and thereduced decompositions of the longest element of the group $B_n$ of the signed permutations yields the probability distribution of the first (and any) letter of the random reduced decompositions. We also show the results of some computational experiments on the random sorting networks of $B_n$.

Given an positive integer $k$, let $n:=\binom{k+1}{2}$. In 2012, during a talk at UCLA, Jan Saxl conjectured that all irreducible representations of the symmetric group $S_n$ occur in the decomposition of the tensor square of the irreducible representation corresponding to the staircase partition. In this paper, we investigate two useful methods to obtain some irreducible representations that occur in this decomposition. Our main tolls are the semi-group property for Kronecker coefficients and generalized blocks of symmetric groups.

We resolve the explicit bijection problem between symmetric plane partitions (SPPs) and quasi transpose complementary plane partitions (QTCPPs), introduced by Schreier-Aigner, who proved their equinumerosity. First, we relate this problem to Proctor's parallel equinumerosities for SPPs, even SPPs, staircase plane partitions, and parity staircase plane partitions, by constructing several bijections. As a result, we reduce the task to constructing a compatible bijection between even SPPs and staircase plane partitions. We then provide non-intersecting lattice path configurations for these objects, apply the LGV lemma, and transform the resulting path configurations. This process leads us to new combinatorial objects, $I_m$ and $J_m$, and the task is further reduced to constructing a compatible sijection (signed bijection) between $I_m$ and $J_m$, which is carried out in the final part of this paper. Our construction also answers the 35-year-old open problem posed by Proctor: constructing an explicit bijection between even SPPs and staircase plane partitions.

We establish a conjecture of Defant, Hopkins, Poznanović, and Propp concerning the dimensions of toggleability spaces for products of chains, shifted staircases, type-A root posets, and type-B posets. Generalizing this result, we show that for a larger family of posets defined by restricted diagrams, the dimensions of toggleability spaces are equal to the rank of the poset plus one. As part of our approach, we build upon the technique of rook statistics introduced by Chan, Haddadan, Hopkins, and Moci.

We introduce inversions tableaux, a new combinatorial model for Schubert polynomials and Stanley symmetric functions that directly specializes to semi-standard Young tableaux in the Grassmannian case. They are a modification of the balanced staircase tableaux of Edelman and Greene. We explicitly describe inversions tableaux that correspond to the lexicographically minimal and maximal monomials in each Schubert polynomial and characterize the unique inversions tableau for dominant permutations. We also characterize the action of generalized chute moves on inversions tableaux, and establish related background that will be used to prove Rubey's chute moves conjecture in upcoming work.

We construct and analyze several new families of permutons arising from random processes involving the Demazure product on the symmetric group. First, we consider Demazure products associated to random pipe dreams, generalizing the Grothendieck permutons introduced by Morales, Panova, Petrov, and Yeliussizov by replacing staircase shapes with arbitrary order-convex shapes. Using the totally asymmetric simple exclusion process (TASEP) with geometric jumps, we prove precise scaling limit and fluctuation results for the associated height functions, showing that these models belong to the Kardar--Parisi--Zhang (KPZ) universality class. We then consider permutons obtained by applying deterministic sequences of bubble-sort operators to random initial permutations. We again provide precise descriptions of the limiting permutons. In a special case, we deduce the exact forms of the standard bubble-sort permutons, the supports of which were computed by DiFranco. A crucial tool in our analysis is a formulation, due to Chan and Pflueger, of the Demazure product as matrix multiplication in the min-plus tropical semiring. This allows us to define a Demazure product on the set of permutons. We discuss further applications of this product. For instance, we show that the number of inversions of the Demazure product of two independent uniformly random permutations of size $n$ is $\binom{n}{2}(1-o(1))$.

Given a positive integer $n$ and a partitioning $n=r_1s_1+\dots+ r_ts_t$, $t,r_i,s_i$ positive integers, such that $r_1>\dots>r_t$ (for $t\ge 2$), we can write $n$ symbols $1,\dots,n$ in the form of a staircase matrix having $r_1$ rows where first $r_1-r_2$ rows have $x_1$ columns, next $r_2-r_3$ rows have $t_1+t_2$ columns, etc., and finally last $r_t$ rows have $t_1+\dots+t_k$ columns. Then we can construct a~design having $r_1+s_1+\dots+s_t$ sets by taking all $r_1$ rows and $s_1+\dots+s_t$ columns of this staircase matrix. Such designs have exactly two replications of each symbol and various cardinalities for the sets constituting the design. The minimum size of combinatorial designs of staircase type is found.

In this paper, we further investigate the orthogonally connected sets and establish necessary and sufficient conditions for a set to be staircase connected.

Berlekamp proposed a class of impartial combinatorial games based on the moves of chess pieces on rectangular boards. We generalize impartial chess games by playing them on Young diagrams and obtain results about winning and losing positions and Sprague-Grundy values for all chess pieces. We classify these games, and their restrictions to sets of partitions known as rectangles, staircases, and general staircases, according to the approach of Conway, later extended by Gurvich and Ho. The games $\rm {R\small OOK}$ and $\rm{Q\small UEEN}$ restricted to rectangles are known to have the same game tree as $2$-pile $\rm N{\small IM}$ and $\rm W{\small YTHOFF}$, respectively, so our work generalizes these well-known games.

We find the two-variables generating function for the statistic which counts the number of variations in a word bounded by $1$. Thus, we refine and extend previous results concerning staircase words, which are words in which the variation between all consecutive letters is bounded by $1$. We obtain the analogue results for cyclic words.

We give direct bijective proofs of the symmetry of the distributions of the number of ascents and descents over standard Young tableaux of shape $λ$, where $λ$ is a rectangle $(n,n,\dots,n)$ or a truncated staircase $(n,n-1,\dots,n-k+1)$. These can be viewed as instances of the more general symmetry of the distribution of descents over linear extensions of graded posets, for which previous proofs by Stanley and Farley were based on the theory of $P$-partitions and the involution principle, respectively. In the case of two-row rectangles $(n,n)$, our bijection is equivalent to the Lalanne--Kreweras involution on Dyck paths, which bijectively proves the symmetry of the Narayana numbers. Our bijections are defined in terms of certain arrow encodings of standard Young tableaux. This setup allows us to construct other statistic-preserving involutions on tableaux of rectangular shape, providing a simple proof of the fact that ascents and descents are equidistributed up to a shift, and proving a conjecture of Sulanke about certain statistics in the case of three rows. Finally, we use our bijections to define a possible notion of rowmotion on standard Young tableaux of rectangular shape, and to give a bijective proof of the symmetry of the number of descents on canon permutations, which have been recently studied as a variation of Stirling and quasi-Stirling permutations.