arXiv++ Combinatorics

We investigate a remarkable probability distribution on the symmetric group, due to Steck from the early 1970's, arising from a natural process that intertwines continuous and discrete selections for the values and positions, respectively, of a permutation. Steck used a matrix determinant to express his distribution, whereas we contribute new combinatorial formulas for it in terms of "bottom-to-top maxima" (that are simply the left-to-right maxima of the inverse) permutation statistics. These formulas specialize, in the case of the identity permutation, to a result of Pitman--Stanley from the late 1990's. We then use the Steck distribution to define a game of best choice (secretary problem variation) that incorporates a filtering process for the pool of candidates over time. We solve the model for the case where there is a single filtering step. It turns out that the probability of winning the game under optimal play is similar to the classical model ($1/e$, asymptotically), but that the interviewer must employ a different (non-positional) strategy in order to attain it. The optimal strategy depends on the relationship between interview position and the next bottom-to-top maximum value after the filtering step. Among other results, we prove that the optimal strategy always transitions from rejection to acceptance between positions $(1/e)$ and $(1/e) + (1 - 1/e)y$ as a proportion of the total candidates considered, where $y$ is the proportion of unfiltered candidates.

Motivated by a self-referential puzzle, we study sequences of voucher price tags in which each choice multiplies the cost of the following one. We connect the puzzle setting to classical permutation statistics, introducing the \textit{voucher cost} alongside the related \textit{pairwise} and \textit{loop} costs. This perspective allows us to translate questions about budgeting into extremal problems on permutations. We review known results for permutations of ${1,2,\dots,n}$ and extend them to arbitrary sets of distinct non-negative price tags.

Pipedreams and bumpless pipedreams are two combinatorial models that compute double Grothendieck polynomials. While studying matrix Schubert varieties, Pechenik, Speyer, and Weigandt defined a permutation statistic$\mathsf{rajcode}(\cdot)$ that captures the leading monomial of the top-degree components of a Grothendieck polynomial. Combinatorially, their result implies that there exists a unique pipedream (or bumpless pipedream) with row weight $\mathsf{rajcode}(w)$ and column weight $\mathsf{rajcode}(w^{-1})$. A construction of such a pipedream was subsequently given by Chou and Yu. In this paper, we resolve the bumpless pipedream version of this problem by providing an explicit algorithm.

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$.

In a remarkable paper, Tatsuyuki Hikita settled a longstanding e-positivity conjecture of Stanley and Stembridge. Among many other things, he wrote down a certain formula ${\varphi}_k$, and proved that the ${\varphi}_k$ sum to one, thereby defining a probability distribution. Though Hikita's proof was simple, it remains surprising that the ${\varphi}_k$ sum to one. In this note, we give a combinatorial interpretation of Hikita's probability distribution. The main tool is a certain permutation statistic that we call the watershed. After seeing an early version of our work, Darij Grinberg noticed that the permutation statistic was implicit in a so-called "bulldozer problem" that was on the short list for the 2015 International Mathematics Olympiad. However, our description of the statistic, which makes use of Foata's fundamental bijection, appears to be new.

Tangent numbers $T_{2n-1}$, which enumerate alternating permutations of odd length, play a prominent role in the Taylor series expansion of the tangent function $\tan(x)$. In this work, we adopt a combinatorial approach based on the excedance statistic of permutations, which allows us to interpret the coefficients of the tangent series in a structural and enumerative way. Using this framework, we establish a classical identity that relates the alternating sum of excedances to the hyperbolic tangent function. This perspective highlights deep connections with Eulerian polynomials, provides a combinatorial interpretation of tangent numbers, and links these sequences to Genocchi numbers and related arithmetic properties. The approach not only unifies analytic and combinatorial viewpoints but also opens the way to generalizations to other permutation statistics and families of specialized permutations.

Toeplitz matrices arise naturally in harmonic analysis, operator theory, and numerical analysis. In this note we investigate Toeplitz matrices whose coefficients depend on the matrix size through a scaled kernel $a_k=f(k/n)$. We show that the empirical mean of their eigenvalues converges to a weighted integral of $f$, where the weight $1-|x|$ reflects the density of diagonals in Toeplitz matrices. We then introduce a combinatorial construction associating a Toeplitz matrix to a permutation via its displacement counts. For a uniformly random permutation, the expected matrix converges to the Toeplitz matrix generated by the triangular kernel $1-|x|$. Interestingly, the triangular kernel also appears as the covariance function of the integrated Brownian motion, providing a probabilistic interpretation of the same operator. Finally, we analyze the integral operator with kernel $(1-|x-y|)$ on $[0,1]$ and determine its eigenfunctions and eigenvalues explicitly. This operator describes the limiting spectral structure associated with the averaged Toeplitz matrices arising from permutation displacements. These results highlight a natural bridge between Toeplitz matrix theory, permutation statistics, and classical integral operators.

A conjecture by Deutsch, Kitaev, and Remmel states that the triples of permutation statistics $(S_{10}, S_{12}, S_{17})$ and $(S_{12}, S_{10} ,S_{17})$ are equidistributed over the symmetric group $\mathfrak{S}_n$. Here, $S_{10}$ enumerates descents with odd descent tops, $S_{12}$ enumerates odd-odd adjacent pairs, and $S_{17}$ records the largest integer $i$ such that $1, 2, \dots, i$ appear in left-to-right order. In this note, we resolve this conjecture affirmatively by providing a bijective proof. We introduce an insertion process that constructs a recursive involution on $\mathfrak{S}_n$ that swaps $S_{10}$ and $S_{12}$ while keeping $S_{17}$ unchanged.

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.

We study the expansions of permutation statistics in the basis of functions counting occurrences of a fixed pattern in a permutation. We show the finiteness of these pattern expansions for a class of permutation statistics including the higher moment statistics, generalizing a result of Berman and Tenner. We also give a combinatorial criterion for the positivity of pattern expansions. Using this criterion, we show that the pattern expansion of the number of reduced words of a permutation is positive and give an enumerative interpretation for the coefficients.

A permutation statistic is substring-compatible if its value on a permutation determines its value on every substring of that permutation. We construct the substring coalgebra of such a statistic, an analog of the shuffle algebra of a shuffle-compatible statistic introduced by Gessel and Zhuang. Furthermore, we show that for substring-compatible statistics that also satisfy a weak form of shuffle compatibility, the shuffle algebra and substring coalgebra can be combined to yield a Hopf algebra. Finally, we conjecture that the only nontrivial permutation statistics that are both shuffle-compatible and substring-compatible are the descent set, the peak set, and the valley set, and we describe our progress towards proving this conjecture.

Given a graph $G=(V,E)$ and a linear form $λ\in \mathbb{Z}_{ > 0 }^V$, Bajo et al. (2025) introduced the $q$-chromatic polynomial $χ_G^λ(q,n) := \sum q^{\sum_{v \in V} λ_v c(v)}$ where the sum is over all proper colorings $c: V \to [n] := \{ 1, 2, \dots, n \}$; they showed that $χ_G^λ(q,n)$ is a polynomial in $[n]_q := 1 + q + \dots + q^{ n-1 } $ with coefficients in $\mathbb{Z}(q)$. For $d \in \mathbb{Z}_{>0}$ and the linear form given by $(d,d^2,\ldots,d^d)$, we show that the $q$-chromatic polynomial distinguishes labeled graphs with vertex set $[d]$. Using permutation statistics introduced by Chung--Graham (1995), called $G$-statistics, and polyhedral geometry, we give the multivariate integer point transform for the region of proper colorings of a given graph $G$. This integer point transform allows us to find the generating function for the $q$-chromatic polynomial with respect to any linear form. We further specialize these results to the linear form $(1, 1, \dots, 1)$, which allows us to write the $q$-chromatic polynomial in the $q$-binomial basis, clarifying expressions found by Bajo et al. Moreover, we show that $G$-statistics are compatible with the theory of order polytopes used by Bajo et al. and Chow (1999). This yields further properties for the generating function of $q$-chromatic polynomial with linear form $(1, 1, \dots, 1)$, where certain coefficients of the numerator polynomial are palindromic polynomials in $q$.

Jacobi permutations, introduced by Viennot in the context of Jacobi elliptic functions, are counted by the Euler numbers $E_{n}$ appearing in the series expansion $\sec x+\tan x=\sum_{n=0}^{\infty}E_{n}x^{n}/n!$. We conduct a systematic study of pattern avoidance in Jacobi permutations, achieving a complete enumeration of Jacobi permutations avoiding a prescribed set of length 3 patterns. In the case of a single pattern restriction, we obtain refined enumerations with respect to several permutation statistics: the number of ascents (or descents), the number of left-to-right minima, and the last letter. Bijections involving certain subfamilies of binary trees and Dyck paths, as well as generating function techniques, play important roles in our proofs.

Recently, we proved the equidistribution of the pairs of permutation statistics $(r\textsf{des},r\textsf{maj})$ and $(r\textsf{exc},r\textsf{den})$. Any pair of permutation statistics that is equidistributed with these pairs is said to be $r$-Euler--Mahonian. Several classes of $r$-Euler--Mahonian statistics were established by Huang--Lin--Yan and Huang--Yan. Inspired by their bijections, we provide a new bijective proof of the classical result that $(\textsf{exc},\textsf{den})$ is Euler--Mahonian. Using this bijection, we further show that $(\textsf{exc}_{r},\textsf{den})$ is $r$-Euler--Mahonian, where $\textsf{exc}_{r}$ denotes the number of $r$-level excedances (i.e., excedances at least $r$). Furthermore, by extending our bijection, we establish a more general result that encompasses all the aforementioned results.

Understanding the metric structure of permutation families is fundamental to combinatorics and has applications in social choice theory, bioinformatics, and coding theory. We study permutation families defined by restriction graphs--oriented graphs that constrain the relative order of elements in valid permutations. For any restriction graph $G$, we determine the maximum distance achievable by two permutations under the $\ell_\infty$-metric and provide an explicit algorithm that constructs optimal permutation pairs. Our main contribution characterizes when the Kendall-Tau metric achieves its combinatorial upper bound: this occurs if and only if the poset induced by $G$ has dimension at most 2. When this condition holds, the extremal permutations form a minimal realizer of the poset, revealing a deep connection between metric geometry and poset dimension theory. We apply these results to classical permutation statistics including descent sets and Hessenberg varieties, obtaining explicit formulas and efficient algorithms for computing metric diameters.

Let $I = (i_1, \dots, i_k)$ and $J = (j_1, \dots, j_k)$ be two length $k$ sequences drawn from $\{1, \dots, n \}$. We have the group algebra element $[I,J] := \sum_{w(I) = J} w \in \mathbb{C}[\mathfrak{S}_n]$ where the sum is over permutations $w \in \mathfrak{S}_n$ which satisfy $w(i_p) = j_p$ for $p = 1, \dots, k$. We give an algorithm for evaluating irreducible characters $χ^λ: \mathbb{C}[\mathfrak{S}_n] \to \mathbb{C}$ of the symmetric group on the elements $[I,J]$. This algorithm is a hybrid of the classical Murnaghan--Nakayama rule and a new path Murnaghan--Nakayama rule which reflects the decomposition of a partial permutation into paths and cycles. These results first appeared in arXiv:2206.06567, which is no longer intended for publication. We originally used the character theoretic results in this paper to prove asymptotic results on moments of certain permutation statistics restricted to conjugacy classes. A referee generously shared a combinatorial argument which is strong enough to prove these results without recourse to character theory. These results now appear in our companion paper~\cite{HRMoment}. However, the approach in this paper is more explicit, as we demonstrate with several examples.

Beginning with work of Zeilberger on classical pattern counts, there are a variety of structural results for moments of permutation statistics applied to random permutations. Using tools from representation theory, Gaetz and Ryba generalized Zeilberger's results to uniformly random permutations of a given cycle type. We introduce regular statistics and characterize their moments for all cycle types, generalizing all results in this literature that we are aware of. Our approach splits into two steps: first characterize such statistics as linear combinations of indicator functions for partial permutations, then identifying the moments of such indicators. As an application, we show that many regular statistics exhibit a law of large numbers depending only on fixed point counts and a similar variance property that depends also on two--cycle counts. These results first appeared in arXiv:2206.06567, which is no longer intended for publication. Our original proof of the moment result for indicators of partial permutations relied on representation theory and symmetric functions. A referee generously shared a combinatorial argument, allowing us to give a self-contained treatment of these results that does not rely on representation theory.

We consider the descent and flag major index statistics on the colored permutation groups, which are wreath products of the form $\mathfrak{S}_{n,r}=\mathbb{Z}_r\wr \mathfrak{S}_n$. We show that the $k$-th moments of these statistics on $\mathfrak{S}_{n,r}$ will coincide with the corresponding moments on all conjugacy classes without cycles of lengths $1,2,\ldots,2k$. Using this, we establish the asymptotic normality of the descent and flag major index statistics on conjugacy classes of $\mathfrak{S}_{n,r}$ with sufficiently long cycles. Our results generalize prior work of Fulman involving the descent and major index statistics on the symmetric group $\mathfrak{S}_n$. Our methods involve an intricate extension of Fulman's work on $\mathfrak{S}_n$ combined with the theory of the degree for a colored permutation statistic, as introduced by Campion Loth, Levet, Liu, Sundaram, and Yin.

As natural generalizations of the descent number ($\des$) and the major index ($\maj$), Rawlings introduced the notions of the $r$-descent number ($r\des$) and the $r$-major index ($r\maj$) for a given positive integer $r$. A pair $(\st_1, \st_2)$ of permutation statistics is said to be $r$-Euler-Mahonian if $ (\mathrm{st_1}, \mathrm{st_2})$ and $ (r\des, r\maj)$ are equidistributed over the set $\mathfrak{S}_{n}$ of all permutations of $\{1,2,\ldots, n\}$. The main objective of this paper is to confirm a recent conjecture posed by Liu which asserts that $(g\exc_\ell, g\den_\ell)$ is $(g+\ell-1)$-Euler-Mahonian for all positive integers $g$ and $\ell$, where $g\exc_\ell$ denotes the $g$-gap $\ell$-level excedance number and $g\den_\ell$ denotes the $g$-gap $\ell$-level Denert's statistic. This is accomplished via a bijective proof of the equidistribution of $(g\exc_\ell, g\den_\ell)$ and $ (r\des, r\maj)$ where $r=g+\ell-1$. Setting $g=\ell=1$, our result recovers the equidistribution of $(\des, \maj)$ and $(\exc, \den)$, which was first conjectured by Denert and proved by Foata and Zeilberger. Our second main result is concerned with the analogous result for $(g\exc_\ell, g\den_{g+\ell})$ which states that $(g\exc_\ell, g\den_{g+\ell})$ is $(g+\ell-1)$-Euler-Mahonian for all positive integers $g$ and $\ell$.

A desarrangement is a permutation whose first ascent is even. Desarrangements were introduced in the 1980s by Jacques Désarménien, who proved that they are in bijection with derangements. We revisit the study of desarrangements, focusing on two themes: the refined enumeration of desarrangements with respect to permutation statistics, and pattern avoidance in desarrangements. Our main results include generating function formulas for counting desarrangements by the number of descents, peaks, valleys, double ascents, and double descents, as well as a complete enumeration of desarrangements avoiding a prescribed set of length 3 patterns. We find new interpretations of the Catalan, Fine, Jacobsthal, and Fibonacci numbers in terms of pattern-avoiding desarrangements.