arXiv++ Combinatorics

In the first part of the paper, we study the inversion statistic of random permutations under the family $(\mathbb{P}_θ^{(n)})_{θ\ge 0}$ of Ewens sampling distributions on $S_n$. We obtain a rather simple exact formula for the expected number of inversions under $\mathbb{P}_θ^{(n)}$. In particular, we show that this expected number of inversions is decreasing in the tilting parameter $θ$ for any $n$ and that it is convex in $θ$ for $n \not \in \{3,4\}$ only. Furthermore, we derive an exact formula for the probability that a specific pair of indices $(i,j) \in \{1,\dots,n\}^2$ is inverted and show that this probability is decreasing in $θ$ if and only if $|j-i| \ge 2$ holds. We also exhibit the asymptotic behavior of these quantities as $n \to \infty$ and $θ\to \infty$. In the second part of our paper, we analyze the inversion statistic of random permutations under~$(\mathbb{P}_θ^{(n)})_{θ> 0}$ conditioned on having a prescribed number of fixed points. Again, we obtain exact formulas for the expected number of inversions and for the probability that a specific pair of indices is inverted. Since, as expected, the resulting formulas are rather complicated, we focus on the asymptotic behavior of these quantities as $n \to \infty$, $θ\to \infty$ and $θ\to 0$.

We introduce a rather natural family of non-uniform distributions on $PF_n$, $n\in\mathbb{N}$, the set of parking functions of length $n$. One of the motivations for this comes from a similar situation in the context of integer partitions. For a permutation $σ\in S_n$ and for $j\in[n]$, let $I_{n,<j}(σ)$ denote the number of inversions in $σ$ that involve the number $j$ and a number less than $j$. Let $\tilde I_{n,<j}(σ)=I_{n,<j}(σ)+1$. The map $(σ,τ)\to\left(\tilde I_{n,<τ_1}(σ),\cdots, \tilde I_{n,< τ_n}(σ)\right)$ maps $S_n\times S_n$ onto $PF_n$. Consider the family of distributions $P_n^{(q)}\times P_n$, $q\in(0,\infty)$, on $S_n\times S_n$, where $P_n$ is the uniform distribution on $S_n$ and $P_n^{(q)}$ is the Mallows distribution with parameter $q$ on $S_n$. The Mallows distributions are defined by exponential tilting via the inversion statistic. For each $q>0$, the above map along with the distribution $P_n^{(q)}\times P_n$ induces an exchangeable distribution $\mathcal{P}_n^{(q)}$ on $PF_n$. We study the asymptotic behavior of two fundamental statistics of parking functions under the family of distributions $\mathcal{P}_n^{(q)}$.

We study how the inversion statistic is influenced by fixed points in a permutation. %The expected number of inversions in a uniformly random permutation in $S_n$ is $\frac{n(n-1)}4$. For each $n\in\mathbb{N}$, and each $k\in\{0,1,\cdots, n\}$, let $P_n^{(k)}$ denote the uniform probability measure on the set of permutations in $S_n$ with exactly $k$ fixed points. We obtain an exact formula for the expected number of inversions under the measure $P_n^{(k)}$ as well as for $P_n^{(k)}(σ^{-1}_i<σ^{-1}_j)$, for $1\le i<j\le n$, the $P_n^{(k)}$-probability that the number $i$ precedes the number $j$. In particular, up to a super-exponentially small correction as $n\to\infty$, the expected number of inversions in a random derangement $(k=0)$ is $\frac16n+\frac1{12}$ more than the value $\frac{n(n-1)}4$ that one obtains for a uniformly random general permutation in $S_n$. On the other hand, up to a super-exponentially small correction, for $k\ge2$, the expected number of inversions in a random permutation with $k$ fixed points is $\frac{k-1}6n+\frac{k^2-k-1}{12}$ less than $\frac{n(n-1)}4$. In the borderline case, $k=1$, up to a super-exponentially small correction, the expected number of inversions in a random permutation with one fixed point is $\frac1{12}$ more than $\frac{n(n-1)}4$. The proofs make strategic and perhaps novel use of the Chinese restaurant construction for a uniformly random permutation.

Let $S_n$ denote the set of permutations of $[n]$ and let $σ=σ_1\cdotsσ_n\in S_n$. For a subsequence $\{σ_{i_j}\}_{j=1}^k$ of $\{σ_i\}_{i=1}^n$ of length $k\ge2$, construct the ``up/down'' sequence $V_1\cdots V_{k-1}$ defined by $$ V_j=\begin{cases} U,\ \text{if}\ σ_{i_j+1}-σ_{i_j}>0;\\ D,\ \text{if}\ σ_{i_j+1}-σ_{i_j}<0.\end{cases} $$ Consider now a fixed up/down pattern: $V_1\cdots V_l$, where $l\in\mathbb{N}$ and $V_j\in\{U, D\},\ j\in[l]$. Given a permutation $σ\in S_n$, consider the length of the longest subsequence of $σ$ that repeats this pattern. For example, consider $l=3$ and $V_1V_2V_3=UUD$. Then for the permutation $342617985\in S_9$, the length of the longest subsequence that repeats the pattern $UUD$ is 7; it is obtained by 3461798 and 3461785. The above framework includes two well-known cases. The pattern $U$ is the celebrated case of the longest increasing subsequence. The pattern $UD$ (or $DU$) is the case of the longest alternating subsequence. These have been studied both under the uniform distribution on $S_n$ as well as under the uniform distribution on those permutations in $S_n$ which avoid a particular pattern of length three. In this paper, we consider the patterns $UUD$ and $UUUD$ under the uniform distribution on those permutations in $S_n$ which avoid the pattern $132$. We prove that the expected value of the longest increasing subsequence following the pattern $UUD$ is asymptotic to $\frac37n$ and the expected value of the longest increasing subsequence following the pattern $UUUD$ is asymptotic to $\frac4{11}n$. (For $UD$ (alternating subsequences) it is known to be $\frac12n$.) This leads directly to appropriate corresponding results for permutations avoiding any particular pattern of length three.

A parking function on $[n]$ creates a permutation in $S_n$ via the order in which the $n$ cars appear in the $n$ parking spaces. Placing the uniform probability measure on the set of parking functions on $[n]$ induces a probability measure on $S_n$. We initiate a study of some properties of this distribution. Let $P_n^{\text{park}}$ denote this distribution on $S_n$ and let $P_n$ denote the uniform distribution on $S_n$. In particular, we obtain an explicit formula for $P_n^{\text{park}}(σ)$ for all $σ\in S_n$. Then we show that for all but an asymptotically $P_n$-negligible set of permutations, one has $P_n^{\text{park}}(σ)\in\left(\frac{(2-ε)^n}{(n+1)^{n-1}},\frac{(2+ε)^n}{(n+1)^{n-1}}\right)$. However, this accounts for only an exponentially small part of the $P_n^{\text{park}}$-probability. We also obtain an explicit formula for $P_n^{\text{park}}(σ^{-1}_{n-j+1}=i_1,σ^{-1}_{n-j+2}=i_2,\cdots, σ^{-1}_n=i_j)$, the probability that the last $j$ cars park in positions $i_1,\cdots, i_j$ respectively, and show that the $j$-dimensional random vector $(n+1-σ^{-1}_{n-j+l}, n+1-σ^{-1}_{n-j+2},\cdots, n+1-σ^{-1}_{n})$ under $P_n^{\text{park}}$ converges in distribution to a random vector $(\sum_{r=1}^jX_r,\sum_{r=2}^j X_r,\cdots, X_{j-1}+X_j,X_j)$, where $\{X_r\}_{r=1}^j$ are IID with the Borel distribution. We then show that in fact for $j_n=o(n^\frac16)$, the final $j_n$ cars will park in increasing order with probability approaching 1 as $n\to\infty$. We also obtain an explicit formula for the expected value of the left-to-right maximum statistic $X_n^{\text{LR-max}}$, which counts the total number of left-to-right maxima in a permutation, and show that $E_n^{\text{park}}X_n^{\text{LR-max}}$ grows approximately on the order $n^\frac12$.

A permutation is \it separable \rm if it can be obtained from the singleton permutation by iterating direct sums and skew sums. Equivalently, it is separable if and only it avoids the patterns 2413 and 3142. Under the uniform probability on separable permutations of $[n]$, let the random variable $A_n$ denote the length of the longest alternating subsequence. Also, let $A_n^{+,-}$ denote the length of the longest alternating subsequence that begins with an ascent and ends with a descent, and define $A_n^{-,+}, A_n^{+,+}, A_n^{-,-}$ similarly. By symmetry, the first two and the last two of these latter four random variables are equi-distributed. We prove that the expected value of any of these five random variables behaves asymptotically as $(2-\sqrt2)n\approx0.5858\thinspace n$. We also prove that the variance of any of the four random variables $A_n^{\pm,\pm}$ behaves asymptotically as $\frac{16-11\sqrt2}2n\approx0.2218\thinspace n$.

We calculate the large deviations for the length of the longest alternating subsequence and for the length of the longest increasing subsequence in a uniformly random permutation that avoids a pattern of length three. We treat all six patterns in the case of alternating subsequences. In the case of increasing subsequences, we treat two of the three patterns for which a classical large deviations result is possible. The same rate function appears in all six cases for alternating subsequences. This rate function is in fact the rate function for the large deviations of the sum of IID symmetric Bernoulli random variables. The same rate function appears in the two cases we treat for increasing subsequences. This rate function is twice the rate function for alternating subsequences.

In the classical secretary problem, $n$ ranked items arrive one by one, and each item's rank relative to its predecessors is noted. The observer must select or reject each item as it arrives, with the object of selecting the item of highest rank. For $M_n\in\{0,1,\cdots, n-1\}$, let $\mathcal{S}(n,M_n)$ denote the strategy whereby the observer rejects the first $M_n$ items, and then selects the first later-arriving item whose rank is higher than that of any of the first $M_n$ items (if such an item exists). If the ranked items arrive in a uniformly random order, it is well-known that the limiting optimal probability of success is $\frac1e$, which occurs if $M_n\sim\frac ne$. It has been shown that when the ranked items arrive according to certain non-uniform distributions on the set of permutations, $\frac1e$ serves as a lower bound for the optimal probability. There is a fundamental reason for this phenomenon. We consider certain distributions for which that reason does not apply. We begin by noting a cooked-up class of distributions for which $\mathcal{S}(n,M)$ yields the lowest possible probability of success -- namely $\frac1n$, for all $M$. We then consider the uniform distribution over all permutations avoiding a particular pattern of length three. In the case of the pattern 231 or 132, for any choice of $M_n$, the strategy $\mathcal{S}(n,M_n)$ yields the very same probability of success; namely $\frac{n+1}{2(2n-1)}$, which gives a limiting probability of $\frac14$. For the pattern 213, the optimal strategy is obtained for $M\in\{0,1\}$, also yielding a limiting probability of $\frac14$. For the pattern 123, the optimal strategy is obtained for $M=1$, yielding a limiting probability of $\frac34$. For the other two patterns, 312 and 321, an optimal strategy will yield a limiting probability of at least $\frac7{16}$.

For $η\in S_3$, let $S_n^{\text{av}(η)}$ denote the set of permutations in $S_n$ that avoid the pattern $η$, and let $E_n^{\text{av}(η)}$ denote the expectation with respect to the uniform probability measure on $S_n^{\text{av}(η)}$. For $n\ge k\ge2$ and $τ\in S_k^{\text{av}(η)}$, let $N_n^{(k)}(σ)$ denote the number of occurrences of $k$ consecutive numbers appearing in $k$ consecutive positions in $σ\in S_n^{\text{av}(η)}$, and let $N_n^{(k;τ)}(σ)$ denote the number of such occurrences for which the order of the appearance of the $k$ numbers is the pattern $τ$. We obtain explicit formulas for $E_n^{\text{av}(η)}N_n^{(k;τ)}$ and $E_n^{\text{av}(η)}N_n^{(k)}$, for all $2\le k\le n$, all $η\in S_3$ and all $τ\in S_k^{\text{av}(η)}$. These exact formulas then yield asymptotic formulas as $n\to\infty$ with $k$ fixed, and as $n\to\infty$ with $k=k_n\to\infty$. We also obtain analogous results for $S_n^{\text{av}(η_1,\cdots,η_r)}$, the subset of $S_n$ consisting of permutations avoiding the patterns $\{τ_i\}_{i=1}^r$, where $τ_i\in S_{m_i}$, in the case that $\{τ_i\}_{i=1}^n$ are all simple permutations. A particular case of this is the set of separable permutations, which corresponds to $r=2$, $τ_1=2413,τ_2=3142$.

For $τ\in S_3$, let $S_n(τ)$ denote the set of permutations in $S_n$ which avoid the pattern $τ$, and let $E_n^τ$ denote the expectation with respect to the uniformly random probability measure on $S_n(τ)$. Let $\mathcal{I}_n(σ)$ denote the number of inversions in $σ\in S_n$. We study $E_n^τ\mathcal{I}_n$ for $τ\in\{231,132,213,312\}\subset S_3$. We prove that $$ E_n^{231}\mathcal{I}_n=E_n^{312}\mathcal{I}_n=\frac12\frac{n!(n+1)!4^n}{(2n)!}-\frac12(3n+1), $$ and that $$ E_n^{132}\mathcal{I}_n=E_n^{213}\mathcal{I}_n=\frac12(n-1)n-E_n^{231}\mathcal{I}_n. $$ From the first equation it follows that $$ E_n^{231}\mathcal{I}_n=E_n^{312}\mathcal{I}_n\sim\frac{\sqrtπ}2n^\frac32. $$ We also show that the variance $\text{Var}_{P_n^τ}(\mathcal{I}_n)$ of $\mathcal{I}_n$ under $P_n^τ$ satisfies $$ \text{Var}_{P_n^τ}(\mathcal{I}_n)\sim (\frac56-\frac\pi4)n^3\approx 0.048n^3,\ \text{for}\ τ\in\{231,132,213,312\}. $$

Let $S_n$ denote the set of permutations of $[n]:=\{1,\cdots, n\}$, and denote a permutation $σ\in S_n$ by $σ=σ_1σ_2\cdots σ_n$. For $l\ge2$ an integer, let $A^{(n)}_{l;k}\subset S_n$ denote the event that the set of $l$ consecutive numbers $\{k, k+1,\cdots, k+l-1\}$ appears in a set of consecutive positions: $\{k,k+1,\cdots, k+l-1\}=\{σ_a,σ_{a+1},\cdots, σ_{a+l-1}\}$, for some $a$. For $τ\in S_m$, let $S_n(τ)$ denote the set of $τ$-avoiding permutations in $S_n$, and let $P_n^{\text{av}(τ)}$ denote the uniform probability measure on $S_n(τ)$. Also, let $S_n^{\text{sep}}$ denote the set of separable permutations in $S_n$, and let $P_n^{\text{sep}}$ denote the uniform probability measure on $S_n^{\text{sep}}$. We investigate the quantities $P_n^{\text{av}(τ)}(A^{(n)}_{l;k})$ and $P_n^{\text{sep}}(A^{(n)}_{l;k})$ for fixed $n$, and the limiting behavior as $n\to\infty$. We also consider the asymptotic properties of this limiting behavior as $l\to\infty$.

This paper presents an offering of some of the myriad connections between Combinatorics and Probability, directed in particular toward combinatorialists. The choice of material was dictated by the author's own interests, tastes and familiarity, as well as by a desire to present results with either complete proofs or well developed sketches of proofs, and to ensure that the arguments are rather accessible to combinatorialists. The first several sections collect some concepts and rudimentary results from probability theory that are needed to understand the rest of the paper.

Let $A^{(n)}_{l;k}\subset S_n$ denote the event that the set of $l$ consecutive numbers $\{k,k+1,\cdots, k+l-1\}$ appear in a set of $l$ consecutive positions. Let $p=\{p_j\}_{j=1}^\infty$ be a distribution on $\mathbb{N}$ with $p_j>0$. Let $P_n$ denote the probability measure on $S_n$ corresponding to the $p$-shifted random permutation. Our main result, under the additional assumption that $\{p_j\}_{j=1}^\infty$ is non-increasing, is that $$ \begin{aligned} &\lim_{l\to\infty}\lim_{n\to\infty}P_n(A^{(n )}_{l,k})=\big(\prod_{j=1}^{k-1}\sum_{i=1}^jp_i\big) \big(\prod_{j=1}^\infty\sum_{i=1}^jp_i\big), \end{aligned} $$ and that if $\lim_{n\to\infty}\min(k_n,n-k_n)=\infty$, then $$ \begin{aligned} &\lim_{l\to\infty}\lim_{n\to\infty}P_n(A^{(n )}_{l,k_n})= \big(\prod_{j=1}^\infty\sum_{i=1}^jp_i\big)^2. \end{aligned} $$ In particular these limits are positive if and only if $\sum_{j=1}^\infty jp_j<\infty$. We say that super-clustering occurs when the limits are positive. We also give a new characterization of the class of $p$-shifted probability distributions on $S_\infty$.

Let $P_n^{\text{sep}}$ denote the uniform probability measure on the set of separable permutations in $S_n$. Let $\mathbb{N}^*=\mathbb{N}\cup\{\infty\}$ with an appropriate metric and denote by $S(\mathbb{N},\mathbb{N}^*)$ the compact metric space consisting of functions $σ=\{σ_i\}_{ i=1}^\infty$ from $\mathbb{N}$ to $\mathbb{N}^*$ which are injections when restricted to $σ^{-1}(\mathbb{N})$\rm; that is, if $σ_i=σ_j$, $i\neq j$, then $σ_i=\infty$. Extending permutations $σ\in S_n$ by defining $σ_j=j$, for $j>n$, we have $S_n\subset S(\mathbb{N},\mathbb{N}^*)$. We show that $\{P_n^{\text{sep}}\}_{n=1}^\infty$ converges weakly on $S(\mathbb{N},\mathbb{N}^*)$ to a limiting distribution of regenerative type, which we calculate explicitly.

Consider a permutation $σ\in S_n$ as a deck of cards numbered from 1 to $n$ and laid out in a row, where $σ_j$ denotes the number of the card that is in the $j$-th position from the left.\rm\ We define two cyclic to random transposition shuffles. The first one works as follows: for $j=1,..., n$, on the $j$-th step transpose the card that was \it originally\rm\ the $j$-th from the left with a random card (possibly itself). The second shuffle works as follows: on the $j$-th step, transpose the card that is \it currently\rm\ in the $j$-th position from the left with a random card (possibly itself). For these shuffles, for each $b\in[0,1]$, we calculate explicitly the limiting rescaled density function of $x,0\le x\le1$, for the probability that a card with a number around $bn$ ends up in a position around $xn$, and for each $x\in[0,1]$, we calculate the limiting rescaled density function of $b,0\le b\le 1$, for the probability that the card in a position around $xn$ will be a card with a number around $bn$. These density functions all have a discontinuity at $x=b$, and for each of them, the supremum of the density is obtained by approaching the discontinuity from one side, and, for certain values of the parameter, the infimum of the density is obtained by approaching the discontinuity from the other side.

Consider the random hypercube $H_2^n(p_n)$ obtained from the hypercube $H_2^n$ by deleting any given edge with probabilty $1-p_n$, independently of all the other edges. A diameter path in $H_2^n$ is a longest geodesic path in $H_2^n$. Consider the following two ways of tampering with the random graph $H_2^n(p_n)$: (i) choose a diameter path at random and adjoin all of its edges to $H_2^n(p_n)$; (ii) choose a diameter path at random from among those that start at $0=(0,..., 0)$, and adjoin all of its edges to $H_2^n(p_n)$. We study the question of whether these tamperings are detectable asymptotically as $n\to\infty$.

Consider a permutation $σ\in S_n$ as a deck of cards numbered from 1 to $n$ and laid out in a row, where $σ_j$ denotes the number of the card that is in the $j$-th position from the left.\rm\ We study some probabilistic and combinatorial aspects of the shuffle on $S_n$ defined by removing and then randomly reinserting each of the $n$ cards once, with the removal and reinsertion being performed according to the original left to right order of the cards. The novelty here in this nonstandard shuffle is that every card is removed and reinserted exactly once. The bias that remains turns out to be quite strong and possesses some surprising features.

Let the random variable $Z_{n,k}$ denote the number of increasing subsequences of length $k$ in a random permutation from $S_n$, the symmetric group of permutations of $\{1,...,n\}$. In a recent paper [Random Structures Algorithms 29 (2006) 277--295] we showed that the weak law of large numbers holds for $Z_{n,k_n}$ if $k_n=o(n^{2/5})$; that is, \[\lim_{n\to\infty}\frac{Z_{n,k_n}}{EZ_{n,k_n}}=1\qquad in probability.\] The method of proof employed there used the second moment method and demonstrated that this method cannot work if the condition $k_n=o(n^{2/5})$ does not hold. It follows from results concerning the longest increasing subsequence of a random permutation that the law of large numbers cannot hold for $Z_{n,k_n}$ if $k_n\ge cn^{1/2}$, with $c>2$. Presumably there is a critical exponent $l_0$ such that the law of large numbers holds if $k_n=O(n^l)$, with $l<l_0$, and does not hold if $\limsup_{n\to\infty}\frac{k_n}{n^l}>0$, for some $l>l_0$. Several phase transitions concerning increasing subsequences occur at $l=1/2$, and these would suggest that $l_0={1/2}$. However, in this paper, we show that the law of large numbers fails for $Z_{n,k_n}$ if $\limsup_{n\to\infty}\frac{k_n}{n^{4/9}}=\infty$. Thus, the critical exponent, if it exists, must satisfy $l_0\in[{2/5},{4/9}]$.