arXiv++ Combinatorics

We use various combinatorial and probabilistic techniques to study growth rates for the probability that a random permutation from the Mallows distribution avoids consecutive patterns. The Mallows distribution behaves like a $q$-analogue of the uniform distribution by weighting each permutation $π$ by $q^{inv(π)}$, where $inv(π)$ is the number of inversions in $π$ and $q$ is a positive, real-valued parameter. We prove that the growth rate exists for all patterns and all $q>0$, and we generalize Goulden and Jackson's cluster method to keep track of the number of inversions in permutations avoiding a given consecutive pattern. Using singularity analysis, we approximate the growth rates for length-3 patterns, monotone patterns, and non-overlapping patterns starting with 1, and we compare growth rates between different patterns. We also use Stein's method to show that, under certain assumptions on $q$, the length of $σ$, and $inv(σ)$, the number of occurrences of a given pattern $σ$ is well approximated by the normal distribution.

Doron Gepner's word statistics, that came up in his research in conformal field theory, is studied and it is conjectured that its scaled limiting distribution is the Logistic distribution. We support this by proving rigorously that the scaled limits of the first twelve moments do indeed converge to those of the Logistic distribution. This is surprising, since Gepner's statistics is a natural analog of the classical statistics called the number of inversion, that is known to be asymptotically normal.

We study the length of cycles of random permutations drawn from the Mallows distribution. Under this distribution, the probability of a permutation $π\in \mathbb{S}_n$ is proportional to $q^{\textrm{inv}(π)}$ where $0<q\le 1$ and $\textrm{inv}(π)$ is the number of inversions in $π$. We show that the expected length of the cycle containing a given point is of order $\min\{(1-q)^{-2}, n\}$. This marks the existence of two asymptotic regimes: with high probability, when $n$ tends to infinity with $(1-q)^{-2} \ll n$ then all cycles have size $o(n)$ whereas when $n$ tends to infinity with $(1-q)^{-2}\gg n$ then macroscopic cycles, of size proportional to $n$, emerge. In the second regime, we prove that the distribution of normalized cycle lengths follows the Poisson-Dirichlet law, as in a uniformly random permutation. The results bear formal similarity with a conjectured localization transition for random band matrices. Further results are presented for the variance of the cycle lengths, the expected diameter of cycles and the expected number of cycles. The proofs rely on the exact sampling algorithm for the Mallows distribution and make use of a special diagonal exposure process for the graph of the permutation.

We prove that the number of right ideals of codimension $n$ in the algebra of noncommutative Laurent polynomials in two variables over the finite field $\mathbb F\_q$ is equal to $(q-1)^{n+1} q^{\frac{(n+1)(n-2)}{2}}\sum\_θq^{inv(θ)}$, where the sum is over all indecomposable permutations in $S\_{n+1}$ and where $inv(θ)$stands for the number of inversions of $θ$.

Let $S_n$ denote the symmetric group. For any $σ\in S_n$, we let $\mathrm{des}(σ)$ denote the number of descents of $σ$, $\mathrm{inv}(σ)$ denote the number of inversions of $σ$, and $\mathrm{LRmin}(σ)$ denote the number of left-to-right minima of $σ$. For any sequence of statistics $\mathrm{stat}_1, \ldots \mathrm{stat}_k$ on permutations, we say two permutations $α$ and $β$ in $S_j$ are $(\mathrm{stat}_1, \ldots \mathrm{stat}_k)$-c-Wilf equivalent if the generating function of $\prod_{i=1}^k x_i^{\mathrm{stat}_i}$ over all permutations which have no consecutive occurrences of $α$ equals the generating function of $\prod_{i=1}^k x_i^{\mathrm{stat}_i}$ over all permutations which have no consecutive occurrences of $β$. We give many examples of pairs of permutations $α$ and $β$ in $S_j$ which are $\mathrm{des}$-c-Wilf equivalent, $(\mathrm{des},\mathrm{inv})$-c-Wilf equivalent, and $(\mathrm{des},\mathrm{inv},\mathrm{LRmin})$-c-Wilf equivalent. For example, we will show that if $α$ and $β$ are minimally overlapping permutations in $S_j$ which start with 1 and end with the same element and $\mathrm{des}(α) = \mathrm{des}(β)$ and $\mathrm{inv}(α) = \mathrm{inv}(β)$, then $α$ and $β$ are $(\mathrm{des},\mathrm{inv})$-c-Wilf equivalent.

Björner and Wachs defined a major index for labeled plane forests and showed that it has the same distribution as the number of inversions. We define and study the distributions of a few other natural statistics on labeled forests. Specifically, we introduce the notions of bottom-to-top maxima, cyclic bottom-to-top maxima, sorting index, and cycle minima. Then we show that the pairs (inv, Bt-max), (sor, Cyc), and (maj, Cbt-max) are equidistributed. Our results extend the result of Björner and Wachs and generalize results for permutations. We also introduce analogous statistics for signed labeled forests and show equidistribution results which generalize results for signed permutations.

A tableau inversion is a pair of entries from the same column of a row-standard tableau that lack the relative ordering necessary to make the tableau column-standard. An $i$-inverted Young tableau is a row-standard tableau with precisely $i$ inversion pairs, and may be interpreted as a generalization of (column-standard) Young tableau. Inverted Young tableau that lack repeated entries were introduced by Fresse to calculate the Betti numbers of Springer fibers in Type A, and were later developed as combinatorial objects in their own right by Beagley and Drube. This paper generalizes earlier notions of tableau inversions to row-standard tableaux with repeated entries, yielding an interesting new generalization of semistandard (as opposed to merely standard) Young tableaux. We develop a closed formula for the maximum numbers of inversion pairs for a row-standard tableau with a specific shape and content, and show that the number of $i$-inverted tableaux of a given shape is invariant under permutation of content. We then enumerate $i$-inverted Young tableaux for a variety of shapes and contents, and generalize an earlier result that places $1$-inverted Young tableaux of a general shape in bijection with $0$-inverted Young tableaux of a variety of related shapes.

Triangular fully packed loop configurations (TFPLs) came up in the study of fully packed loop configurations on a square (FPLs) corresponding to link patterns with a large number of nested arches. To a TFPL is assigned a triple $(u,v;w)$ of $01$-words encoding its boundary conditions which must necessarily satisfy that $d(u)+d(v)\leq d(w)$, where $d(u)$ denotes the number of inversions in $u$. Wieland gyration, on the other hand, was invented to show the rotational invariance of the numbers $A_π$ of FPLs corresponding to a given link pattern $π$. Later, Wieland drift - a map on TFPLs that is based on Wieland gyration - was defined. The main contribution of this article is a linear expression for the number of TFPLs with boundary $(u,v;w)$ where $d(w)-d(u)-d(v)=2$ in terms of numbers of stable TFPLs, that is, TFPLs invariant under Wieland drift. This linear expression is consistent with already existing enumeration results for TFPLs with boundary $(u,v;w)$ where $d(w)-d(u)-d(v)=0,1$.

For a permutation $π$ the major index of $π$ is the sum of all indices $i$ such that $π_i > π_{i+1}$. It is well known that the major index is equidistributed with the number of inversions over all permutations of length $n$. In this paper, we study the distribution of the major index over pattern-avoiding permutations of length $n$. We focus on the number $M_n^m(Π)$ of permutations of length $n$ with major index $m$ and avoiding the set of patterns $Π$. First we are able to show that for a singleton set $Π= \{σ\}$ other than some trivial cases, the values $M_n^m(Π)$ are monotonic in the sense that $M_n^m(Π) \leq M_{n+1}^m(Π)$. Our main result is a study of the asymptotic behaviour of $M_n^m(Π)$ as $n$ goes to infinity. We prove that for every fixed $m$ and $Π$ and $n$ large enough, $M_n^m(Π)$ is equal to a polynomial in $n$ and moreover, we are able to determine the degrees of these polynomials for many sets of patterns.

The number of inversions is a statistic on permutation groups measuring the degree to which the entries of a permutation are out of order. We provide a generalization of that statistic by introducing the statistic number of pseudoinversions on the colored permutation groups. The main motivation to investigate that statistic is the possibility to use it to define a number system and a numeral system on the colored permutation groups. By means of the statistic number of $i$-pseudoinversions, we construct our number system, and a bijection between the set of positive integers and the colored permutation groups.

In this article, fully packed loop configurations of hexagonal shape (HFPLs) are defined. They generalize triangular fully packed loop configurations. To encode the boundary conditions of an HFPL, a sextuple $(\mathsf{l}_\mathsf{T},\mathsf{t},\mathsf{r}_\mathsf{T};\mathsf{r}_\mathsf{B},\mathsf{b},\mathsf{l}_\mathsf{B})$ of $01$-words is assigned to it. In the first main result of this article, necessary conditions for the boundary $(\mathsf{l}_\mathsf{T},\mathsf{t},\mathsf{r}_\mathsf{T};\mathsf{r}_\mathsf{B},\mathsf{b},\mathsf{l}_\mathsf{B})$ of an HFPL are stated. For instance, the inequality $d(\mathsf{r}_\mathsf{B})+d(\mathsf{b})+d(\mathsf{l}_\mathsf{B})\geq d(\mathsf{l}_\mathsf{T})+d(\mathsf{t})+d(\mathsf{r}_\mathsf{T})+\vert\mathsf{l}_\mathsf{T}\vert_1\vert\mathsf{t}\vert_0+\vert\mathsf{t}\vert_1 \vert\mathsf{r}_\mathsf{T}\vert_0+\vert\mathsf{r}_\mathsf{B}\vert_0\vert\mathsf{l}_\mathsf{B}\vert_1$ has to be fulfilled, where $\vert\cdot\vert_i$ denotes the number of occurrences of $i$ for $i=0,1$ and $d(\cdot)$ denotes the number of inversions. The other main contribution of this article is the enumeration of HFPLs with boundary $(\mathsf{l}_\mathsf{T},\mathsf{t},\mathsf{r}_\mathsf{T};\mathsf{r}_\mathsf{B},\mathsf{b},\mathsf{l}_\mathsf{B})$ such that $d(\mathsf{r}_\mathsf{B})+d(\mathsf{b})+d(\mathsf{l}_\mathsf{B})-d(\mathsf{l}_\mathsf{T})-d(\mathsf{t})-d(\mathsf{r}_\mathsf{T})-\vert\mathsf{l}_\mathsf{T}\vert_1\vert\mathsf{t}\vert_0- \vert\mathsf{t}\vert_1\vert\mathsf{r}_\mathsf{T}\vert_0-\vert\mathsf{r}_\mathsf{B}\vert_0\vert\mathsf{l}_\mathsf{B}\vert_1=0,1$. To be more precise, in the first case they are enumerated by Littlewood-Richardson coefficients and in the second case their number is expressed in terms of Littlewood-Richardson coefficients.

We introduce the sequence $(i_n)_{n \geq 0}$ defined by $i_n = (-1)^{inv_2(n)}$, where $inv_2(n)$ denotes the number of inversions (i.e., occurrences of 10 as a scattered subsequence) in the binary representation of n. We show that this sequence has many similarities to the classical Rudin-Shapiro sequence. In particular, if S(N) denotes the N-th partial sum of the sequence $(i_n)_{n \geq 0}$, we show that $S(N) = G(\log_4 N)\sqrt{N}$, where G is a certain function that oscillates periodically between $\sqrt{3}/3$ and $\sqrt{2}$.

We consider the problem of enumerating permutations with exactly r occurrences of the pattern 1324 and derive functional equations for this general case as well as for the pattern avoidance (r=0) case. The functional equations lead to a new algorithm for enumerating length n permutations that avoid 1324. This approach is used to enumerate the 1324-avoiders up to n=31. We also extend those functional equations to account for the number of inversions and derive analogous algorithms.

A depth-first search version of Dhar's burning algorithm is used to give a bijection between the parking functions of a graph and labeled spanning trees, relating the degree of the parking function with the number of inversions of the spanning tree. Specializing to the complete graph answers a problem posed by R. Stanley.

We study the length of the longest increasing and longest decreasing subsequences of random permutations drawn from the Mallows measure. Under this measure, the probability of a permutation pi in S_n is proportional to q^{inv(pi)} where q is a real parameter and inv(pi) is the number of inversions in pi. The case q=1 corresponds to uniformly random permutations. The Mallows measure was introduced by Mallows in connection with ranking problems in statistics. We determine the typical order of magnitude of the lengths of the longest increasing and decreasing subsequences, as well as large deviation bounds for them. We also provide a simple bound on the variance of these lengths, and prove a law of large numbers for the length of the longest increasing subsequence. Assuming without loss of generality that q<1, our results apply when q is a function of n satisfying n(1-q) -> infty. The case that n(1-q)=O(1) was considered previously by Mueller and Starr. In our parameter range, the typical length of the longest increasing subsequence is of order n(1-q)^(1/2), whereas the typical length of the longest decreasing subsequence has four possible behaviors according to the precise dependence of n and q. We show also that in the graphical representation of a Mallows-distributed permutation, most points are found in a symmetric strip around the diagonal whose width is of order 1/(1-q). This suggests a connection between the longest increasing subsequence in the Mallows model and the model of last passage percolation in a strip.

In [S. Effler, F. Ruskey, A CAT algorithm for listing permutations with a given number of inversions, {\it I.P.L.}, 86/2 (2003)] the authors give an algorithm, which appears to be CAT, for generating permutations with a given major index. In the present paper we give a new algorithm for generating a Gray code for subexcedant sequences. We show that this algorithm is CAT and derive it into a CAT generating algorithm for permutations with a given major index.

The \emph{simplicial rook graph} SR(d,n) is the graph whose vertices are the lattice points in the $n$th dilate of the standard simplex in $\mathbb{R}^d$, with two vertices adjacent if they differ in exactly two coordinates. We prove that the adjacency and Laplacian matrices of SR(3,n) have integral spectrum for every $n$. The proof proceeds by calculating an explicit eigenbasis. We conjecture that SR(d,n) is integral for all $d$ and $n$, and present evidence in support of this conjecture. For $n<\binom{d}{2}$, the evidence indicates that the smallest eigenvalue of the adjacency matrix is $-n$, and that the corresponding eigenspace has dimension given by the Mahonian numbers, which enumerate permutations by number of inversions.

We introduce and study new refinements of inversion statistics for permutations, such as k-step inversions, (the number of inversions with fixed position differences) and non-inversion sums (the sum of the differences of positions of the non-inversions of a permutation). We also provide a distribution function for non-inversion sums, a distribution function for k-step inversions that relates to the Eulerian polynomials, and special cases of distribution functions for other statistics we introduce, such as (\leqk)-step inversions and (k1,k2)-step inversions (that fix the value separation as well as the position). We connect our refinements to other work, such as inversion tops that are 0 modulo a fixed integer d, left boundary sums of paths, and marked meshed patterns. Finally, we use non-inversion sums to show that for every number n > 34, there is a permutation such that the dot product of that permutation and the identity permutation (of the same length) is n.

We give a combinatorial interpretation of the determinant of a matrix as a generating function over Brauer diagrams in two different but related ways. The sign of a permutation associated to its number of inversions in the Leibniz formula for the determinant is replaced by the number of crossings in the Brauer diagram. This interpretation naturally explains why the determinant of an even antisymmetric matrix is the square of a Pfaffian.

We consider so-called simple families of labelled trees, which contain, e.g., ordered, unordered, binary and cyclic labelled trees as special instances, and study the global and local behaviour of the number of inversions. In particular we obtain limiting distribution results for the total number of inversions as well as the number of inversions induced by the node labelled j in a random tree of size n.