arXiv++ Combinatorics

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.

One method to generate random permutations involves using Gaussian elimination with partial pivoting (GEPP) on a random matrix $A$ and storing the permutation matrix factor $P$ from the resulting GEPP factorization $PA=LU$. We are interested in exploring properties of random butterfly permutations, which are generated using GEPP on specific random butterfly matrices. Our paper highlights new connections among random matrix theory, numerical linear algebra, group actions of rooted trees, and random permutations. We address the questions of the longest increasing subsequence (LIS) and number of cycles for particular uniform butterfly permutations, with full distributional descriptions and limit theorems for simple butterfly permutations. We also establish scaling limit results and limit theorems for nonsimple butterfly permutations, which include certain $p$-Sylow subgroups of the symmetric group of $N=p^n$ elements for prime $p$. For the LIS, we establish power law bounds on the expected LIS of the form $N^{α_p}$ and $N^{β_p}$ where $\frac12 < α_p < β_p < 1$ for each $p$ with $α_p = 1 - o_p(1)$, showing distinction from the typical $O(N^{1/2})$ expected LIS frequently encountered in the study of random permutations (e.g., uniform permutations). For the number of cycles scaled by $(2-1/p)^n$, we establish a full CLT to a new limiting distribution depending on $p$ with positive support we introduce that is uniquely determined by its positive moments that satisfy explicit recursive formulas; this thus determines a CLT for the number of cycles for any uniform $p$-Sylow subgroup of $S_{p^n}$.

We study classical pattern counts in Mallows random permutations with parameters $(n,q_n)$, as $n\to\infty$. We focus on three different regimes for the parameter $q = q_n$. When $n^{3/2}(1-q)\to0$, we use coupling techniques to prove that pattern counts in Mallows random permutations satisfy a central limit theorem with the same asymptotic mean and variance as in uniformly random permutations. When $q\to1$ and $n(1-q)\to\infty$, we use results on the displacements of permutation points to find the order of magnitude of pattern counts. When $q\in(0,1)$ is fixed, we use the regenerative property of the Mallows distribution to compare pattern counts with certain $U$-statistics, and establish central limit theorems. We also construct a specific Mallows process, that is a coupling of Mallows distributions with $q$ ranging from $0$ to $1$, for which the process of pattern counts satisfies a functional central limit theorem.

We study random permutations arising from reduced pipe dreams. Our main model is motivated by Grothendieck polynomials with parameter $β=1$ arising in K-theory of the flag variety. The probability weight of a permutation is proportional to the principal specialization (setting all variables to 1) of the corresponding Grothendieck polynomial. By mapping this random permutation to a version of TASEP (Totally Asymmetric Simple Exclusion Process), we describe the limiting permuton and fluctuations around it as the order $n$ of the permutation grows to infinity. The fluctuations are of order $n^{\frac13}$ and have the Tracy-Widom GUE distribution, which places this algebraic (K-theoretic) model into the Kardar-Parisi-Zhang universality class. We also investigate non-reduced pipe dreams and make progress on a recent open problem on the asymptotic number of inversions of the resulting permutation. Inspired by Stanley's question for the maximal value of principal specializations of Schubert polynomials, we resolve the analogous question for $β=1$ Grothendieck polynomials, and provide bounds for general $β$.

A combinatorial object is said to be quasirandom if it exhibits certain properties that are typically seen in a truly random object of the same kind. It is known that a permutation is quasirandom if and only if the pattern density of each of the twenty-four 4-point permutations is close to 1/24, which is its expected value in a random permutation. In other words, the set of all twenty-four 4-point permutations is quasirandom-forcing. Moreover, it is known that there exist sets of eight 4-point permutations that are also quasirandom-forcing. Breaking the barrier of linear dependency of perturbation gradients, we show that every quasirandom-forcing set of 4-point permutations must have cardinality at least five.

Let $\mathbb{S}_n$ denote the symmetric group on $[n]=\{1,\ldots,n\}$ with the uniform probability measure. For a permutation $π\in \mathbb{S}_n$ let $X_π$ denote the simplicial complex on the vertex set $[n]$ whose simplices are all $\{i_0,\ldots, i_m\} \subset [n]$ such that $i_0<\cdots<i_m$ and $π(i_0)<\cdots < π(i_m)$. For $r \geq 0$ let $p_r(n)$ denote the probability that $X_π$ is not topologically $r$-connected for $π\in \mathbb{S}_n$. It is shown that for fixed $r \geq 0$ there exist constants $0<C_r, C_r' < \infty$ such that \[ C_r \frac{(\log n)^r}{n} \leq p_r(n) \leq C_r' \frac{(\log n)^{2r}}{n}. \]

It is often convenient to represent a process for randomly generating a graph as a graphon. (More precisely, these give \emph{vertex exchangeable} processes -- those processes in which each vertex is treated the same way.) Other structures can be treated by generalizations like hypergraphons, permutatons, and, for a very general class, theons. These representations are not unique: different representations can lead to the same probability distribution on graphs. This naturally leads to questions (going back at least to Hoover's proof of the Aldous--Hoover Theorem on the existence of such representations) that ask when quasirandomness properties on the distribution guarantee the existence of particularly simple representations. We extend the usual theon representation by adding an additional datum of a random permutation to each tuple, which we call a $\ast$-representation. We show that if a process satisfies the \emph{unique coupling} property UCouple[$\ell$], which says roughly that all $\ell$-tuples of vertices ``look the same'', then the process is $\ast$-$\ell$-independent: there is a $\ast$-representation that does not make use of any random information about $\ell$-tuples (including tuples of length $<\ell$). Simple examples show that the use of $\ast$-representations is necessary. This resolves a question of Coregliano and Razborov, since it easily follows that UCouple[l] implies Independence[\ell'] (the existence of an $\ell'$-independent ordinary representation) for $\ell'<\ell$.

This paper studies permutation statistics that count occurrences of patterns. Their expected values on a product of $t$ permutations chosen randomly from $Γ\subseteq S_{n}$, where $Γ$ is a union of conjugacy classes, are considered. Hultman has described a method for computing such an expected value, denoted $\mathbb{E}_Γ(s,t)$, of a statistic $s$, when $Γ$ is a union of conjugacy classes of $S_{n}$. The only prerequisite is that the mean of $s$ over the conjugacy classes is written as a linear combination of irreducible characters of $S_{n}$. Therefore, the main focus of this article is to express the means of pattern-counting statistics as such linear combinations. A procedure for calculating such expressions for statistics counting occurrences of classical and vincular patterns of length 3 is developed, and is then used to calculate all these expressions. The results can be used to compute $\mathbb{E}_Γ(s,t)$ for all the above statistics, and for all functions on $S_{n}$ that are linear combinations of them.

Chatteerjee and Diaconis have recently shown the asymptotic normality for the joint distribution of the number of descents and inverse descents in a random permutation. A noteworthy point of their results is that the asymptotic variance of the normal distribution is diagonal, which means that the number of descents and inverse descents are asymptotically uncorrelated.The goal of this paper is to go further in this analysis by proving a large deviation principlefor the joint distribution. We shall show that the rate function of the joint distributionis the sum of the rate functions of the marginal distributions, which also means that the number of descents and inverse descents are asymptotically independent at the large deviation level. However,we are going to prove that they are finely dependent at the sharp large deviation level.

By using the matrix formulation of the two-step approach to distributions of patterns in random sequences, recurrence and explicit formulas for the generating functions of successions in random permutations of arbitrary multisets are derived. Explicit formulas for the mean and variance are also obtained.

Continuous-time Mallows processes are processes of random permutations of the set $\{1, \ldots, n\}$ whose marginal at time $t$ is the Mallows distribution with parameter $t$. Recently Corsini showed that there exists a unique Markov Mallows process whose left inversions are independent counting processes. We prove that this process admits a global and a local limit as $n \to \infty$. The global limit, obtained after suitably rescaling space and time, is an explicit stochastic process on $[0,1]$ whose description is based on the permuton limit of the Mallows distribution, analyzed by Starr. The local limit is a process of permutations of $\mathbb{Z}$ which is closely related to the construction of the Mallows distribution on permutations of $\mathbb{Z}$ due to Gnedin and Olshanski. Our results demonstrate an analogy between the asymptotic behavior of Mallows processes and the recently studied limiting properties of random sorting networks.

Graph independence (also known as $ε$-independence or $λ$-independence) is a mixture of classical independence and free independence corresponding to graph products or groups and operator algebras. Using conjugation by certain random permutation matrices, we construct random matrix models for graph independence with amalgamation over the diagonal matrices. This yields a new probabilist,ic proof that graph products of sofic groups are sofic.

Binary search trees (BST) are a popular type of data structure when dealing with ordered data. Indeed, they enable one to access and modify data efficiently, with their height corresponding to the worst retrieval time. From a probabilistic point of view, binary search trees associated with data arriving in a uniform random order are well understood, but less is known when the input is a non-uniform random permutation. We consider here the case where the input comes from i.i.d. random points in the plane with law $μ$, a model which we refer to as a permuton sample. Our results show that the asymptotic proportion of nodes in each subtree depends on the behavior of the measure $μ$ at its left boundary, while the height of the BST has a universal asymptotic behavior for a large family of measures $μ$. Our approach involves a mix of combinatorial and probabilistic tools, namely combinatorial properties of binary search trees, coupling arguments, and deviation estimates.

We propose a new approach to conjugation-invariant random permutations. Namely, we explain how to construct uniform permutations in given conjugacy classes from certain point processes in the plane. This enables the use of geometric tools to study various statistics of such permutations. For their longest decreasing subsequences, we prove universality of the $2\sqrt n$ asymptotic. For Robinson--Schensted shapes, we prove universality of the Vershik--Kerov--Logan--Shepp limit curve, thus solving a conjecture of Kammoun. For the number of records, we establish a phase transition phenomenon as the number of fixed points grows. For pattern counts, we obtain an asymptotic normality result, partially answering a conjecture of Hamaker and Rhoades.

The Brownian separable permutons are a one-parameter family -- indexed by $p\in(0,1)$ -- of universal limits of random constrained permutations. We show that for each $p\in (0,1)$, there are explicit constants $1/2 < α_*(p) \leq β^*(p) < 1$ such that the length of the longest increasing subsequence in a random permutation of size $n$ sampled from the Brownian separable permuton is between $n^{α_*(p) - o(1)}$ and $n^{β^*(p) + o(1)}$ with probability tending to 1 as $n\to\infty$. In the symmetric case $p=1/2$, we have $α_*(p) \approx 0.812$ and $β^*(p)\approx 0.975$. We present numerical simulations which suggest that the lower bound $α_*(p)$ is close to optimal in the whole range $p\in(0,1)$. Our results work equally well for the closely related Brownian cographons. In this setting, we show that for each $p\in (0,1)$, the size of the largest clique (resp. independent set) in a random graph on $n$ vertices sampled from the Brownian cographon is between $n^{α_*(p) - o(1)}$ and $n^{β^*(p) + o(1)}$ (resp. $n^{α_*(1-p) - o(1)}$ and $n^{β^*(1-p) + o(1)}$) with probability tending to 1 as $n\to\infty$. Our proofs are based on the analysis of a fragmentation process embedded in a Brownian excursion introduced by Bertoin (2002). We expect that our techniques can be extended to prove similar bounds for uniform separable permutations and uniform cographs.

Introduced by Mallows as a ranking model in statistics, Mallows permutation model is a class of non-uniform probability distributions on the symmetric group $S_n$. The model depends on a distance metric on $S_n$ and a scale parameter $β$. In this paper, we take the distance metric to be the $L^1$ distance (also known as Spearman's footrule in the statistics literature), and investigate the cycle structure of random permutations drawn from Mallows permutation model with the $L^1$ distance. We focus on the parameter regime where $β>0$. We show that the expected length of the cycle containing a given point is of order $\min\{\max\{β^{-2},1\},n\}$, and the expected diameter of the cycle containing a given point is of order $\min\{e^{-2β}\max\{β^{-2},1\}, n-1\}$. Moreover, when $β\ll n^{-1\slash 2}$, the sorted cycle lengths (in descending order) normalized by $n$ converge in distribution to the Poisson-Dirichlet law with parameter $1$. The proofs of the results rely on the hit and run algorithm, a Markov chain for sampling from the model.

A locally uniform random permutation is generated by sampling $n$ points independently from some absolutely continuous distribution $ρ$ on the plane and interpreting them as a permutation by the rule that $i$ maps to $j$ if the $i$th point from the left is the $j$th point from below. As $n$ tends to infinity, decreasing subsequences in the permutation will appear as curves in the plane, and by interpreting these as level curves, a union of decreasing subsequences gives rise to a surface. In a recent paper by the author it was shown that, for any $r\ge0$, under the correct scaling as $n$ tends to infinity, the surface of the largest union of $\lfloor r\sqrt{n}\rfloor$ decreasing subsequences approaches a limit in the sense that it will come close to a maximizer of a specific variational integral (and, under reasonable assumptions, that the maximizer is essentially unique). In the present paper we show that there exists a continuous maximizer, provided that $ρ$ has bounded density and support. The key ingredient in the proof is a new theorem about real functions of two variables that are increasing in both variables: We show that, for any constant $C$, any such function can be made continuous without increasing the diameter of its image or decreasing anywhere the product of its partial derivatives clipped by $C$, that is the minimum of the product and $C$.

We explore how the asymptotic structure of a random permutation of $[n]$ with $m$ inversions evolves, as $m$ increases, establishing thresholds for the appearance and disappearance of any classical, consecutive or vincular pattern. The threshold for the appearance of a classical pattern depends on the greatest number of inversions in any of its sum indecomposable components.

In this work, we study the concept of self-overlapping permutations, which is related to the larger study of consecutive patterns in permutations. We show that this concept admits a simple and clear geometrical meaning, and prove that a permutation can be represented as a sequence of non-self-overlapping ones. The above structural decomposition allows us to obtain equations for the corresponding generating functions, as well as the complete asymptotic expansions for the probability that a large random permutation is (non-)self-overlapping. In particular, we show that almost all permutations are non-self-overlapping, and that the corresponding asymptotic expansion has the self-reference property: the involved coefficients count non-self-overlapping permutations once again. We also establish complete asymptotic expansions of the distributions of very tight non-self-overlapping patterns, and discuss the similarities of the non-self-overlapping permutations to other permutation building blocks, such as indecomposable and simple permutations, as well as their associated asymptotics.

Let $X$ be an orientable hyperbolic surface of genus $g\geq 2$ with a marked point $o$, and let $Γ$ be an orientable hyperbolic surface group isomorphic to $π_{1}(X,o)$. Consider the space $\text{Hom}(Γ,S_{n})$ which corresponds to $n$-sheeted covers of $X$ with labeled fiber. Given $γ\inΓ$ and a uniformly random $φ\in\text{Hom}(Γ,S_{n})$, what is the expected number of fixed points of $φ(γ)$? Formally, let $F_{n}(γ)$ denote the number of fixed points of $φ(γ)$ for a uniformly random $φ\in\text{Hom}(Γ,S_{n})$. We think of $F_{n}(γ)$ as a random variable on the space $\text{Hom}(Γ,S_{n})$. We show that an arbitrary fixed number of products of the variables $F_{n}(γ)$ are asymptotically independent as $n\to\infty$ when there are no obvious obstructions. We also determine the limiting distribution of such products. Additionally, we examine short cycle statistics in random permutations of the form $φ(γ)$ for a uniformly random $φ\in\text{Hom}(Γ,S_{n})$. We show a similar asymptotic independence result and determine the limiting distribution.