arXiv++ Combinatorics

Classical anti-concentration results focus on the random sum $S := \sum _{i=1}^n ξ_i v_i$, where $ξ_i$ are independent random variables and $v_i$ are real numbers. In this paper, we prove new concentration results concerning the random sum $S := \sum_{i=1}^n w_{π_i } v_i $, where $w_i , v_i$ are real numbers and $π$ is a random permutation.

The anti-concentration phenomenon in probability theory has been intensively studied in recent years, with applications across many areas of mathematics. In most existing works, the ambient probability space is a product space generated by independent random variables. In this paper, we initiate a systematic study of anti-concentration when the ambient space is the symmetric group, equipped with the uniform measure. Concretely, we focus on the random sum $S_π = \sum_{i=1}^{n} w_i\, v_{π(i)}$, where $w=(w_1,\dots,w_n)$ and $v=(v_1,\dots,v_n)$ are fixed vectors and $π$ is a uniformly random permutation. The paper contains several new results, addressing both discrete and continuous anti-concentration phenomena. On the discrete side, we establish a near-optimal structural characterization of the vectors $w$ and $v$ under the assumption that the concentration probability $\sup_x P(S_π=x)$ is polynomially large. As applications, we derive and strengthen a number of previous results. In particular, we show that if both $w$ and $v$ have distinct entries, then $\sup_x P(S_π=x) \le n^{-5/2+o(1)}$. This bound serves as a permutation-space analogue of the classical Erdős--Moser bound in the product-space setting and answers a question posed by Alon--Pohoata--Zhu. From the continuous perspective, we study the small-ball event $|S_π-L|\le δ$. We establish sharp bounds in various settings, including results exhibiting sub-gaussian decay in $L$. With additional effort, we are also able to treat the joint distribution of these events. Moreover, we provide a characterization of the vectors $w$ and $v$ for which these small-ball probabilities are large. As an application, we prove that the number of extremal points of random permutation polynomials is bounded by $O(\log n)$, extending results of S{ö}ze on the number of real roots.

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

In this paper, we examine the asymptotic behavior of the longest increasing subsequence (LIS) in a uniformly random permutation of $n$ elements. We rely on the Robinson--Schensted--Knuth correspondence, Young tableaux, and key classical results -- including the Erdős--Szekeres theorem and the Hook Length Formula -- to demonstrate that the expected LIS length grows as $2\sqrt{n}$. We review the essential variational principles of Logan--Shepp and Vershik--Kerov, which determine the limiting shape of the associated random Young diagrams, and summarize the Baik--Deift--Johansson theorem that links fluctuations of the LIS length to the Tracy--Widom distribution. Our approach focuses on providing conceptual and intuitive explanations of these results, unifying classical proofs into a single narrative and supplying fresh visual examples, while referring the reader to the original literature for detailed proofs and rigorous arguments.

Given positive integers $n$ and $m$, let $p_n(m)$ be the probability that a uniform random permutation of $[n]$ has order exactly $m$. We show that, as $n \to \infty$, the maximum of $p_n(m)$ over all $m$ is asymptotic to $1/n$, the probability of an $n$-cycle. Furthermore, for sufficiently large $n$, we show that the maximum is attained precisely if $m$ is the least positive integer divisible by all positive integers less than or equal to $n-m$. This answers a question of Acan, Burnette, Eberhard, Schmutz and Thomas, originally attributed to work of Erdős and Turán from 1968.

We study long $r$-twins in random words and permutations. Motivated by questions posed in works of Dudek-Grytczuk-Ruciński, we obtain the following. For a uniform word in $[k]^n$ we prove sharp one-sided tail bounds showing that the maximum $r$-power length (the longest contiguous block that can be partitioned into $r$ identical subblocks) is concentrated around $\frac{\log n}{(r-1)\log k}$. For random permutations, we prove that for fixed $k$ and $r\to\infty$, a uniform permutation of $[rk]$ a.a.s. contains $r$ disjoint increasing subsequences of length $k$, generalizing a previous result that proves this for $k=2$. Finally, we use a computer-aided pattern count to improve the best known lower bound on the length of alternating twins in a random permutation to $α_n \ge \left(\tfrac{1}{3}+0.0989-o(1)\right)n$, strengthening the previous constant.

Let $S_n$ be the set of all permutations of $\{1,2,\ldots,n\}$ and let $σ=(σ_1,σ_2,\ldots,σ_n)\in S_n$. The {\it initial longest increasing sequence} (ILIS) in $σ$ has length $m$ if, for $1\le m\le n-1$, $σ_1<σ_2<\ldots<σ_m, σ_m>σ_{m+1}$, and has length $n$ if $σ=(1,2,\ldots,n)$. Let $l(σ)$ be the length of the ILIS in $σ$. We assume that $σ$ is represented in cycle notation, so that the first number in each cycle is the minimum number of this cycle. We also assume that $σ$ is chosen uniformly at random from $S_n$, i.e., with probability $1/n!$. Let $C_n(σ)$ be the set of all cycles of $σ$. In [9], T. Mansour investigated enumerative properties related to lengths of the ILIS in random permutations represented by the cycle notation. In particular, he studied the sum of the ILIS' lengths defined by $s_n=\sum_{c\in C_n(σ)} l(c)$ and derived exact and asymptotic expressions for its expectation and variance. In this note, we supplement Mansour's results on $s_n$ with a limit theorem. We show that $s_n$, appropriately normalized, converges weakly to a standard normal random variable as $n\to\infty$.

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

Let $w$ be a word in a free group. As was revealed by Magee and Puder in [arXiv:1802.04862], the stable commutator length (scl) of $w$, a well-known topological invariant, can also be defined in terms of certain stable Fourier coefficients of $w$-random unitary matrices. In the first part of the current work [arXiv:2311.17733], we demonstrated how this phenomenon is much broader: we proved more instances of such results and conjectured others. These new results and conjectures involved other topological invariants (relatives of scl) and different families of groups. In the current paper we further extend and support this theory. We provide another instance of the theory and prove that the stable primitivity rank, too, can be expressed in terms of stable Fourier coefficients of $w$-random elements of groups. We introduce concrete formulas for stable Fourier coefficients of $w$-random elements in the symmetric group $S_N$ and its generalizations in the form of the wreath products $G\wr S_N$ where $G$ is an arbitrary compact group. We also define new stable invariants related to these groups, and prove they give bounds to many of the stable Fourier coefficients. As an aside, we generalize to tuples of words a result of Puder and Parzanchevski [arXiv:1202.3269] about the expected number of fixed points of $w$-random permutations.

Recently, a new vector encoding, Ordered Leaf Attachment (OLA), was introduced that represents $n$-leaf phylogenetic trees as $n-1$ length integer vectors by recording the placement location of each leaf. Both encoding and decoding of trees run in linear time and depend on a fixed ordering of the leaves. Here, we investigate the connection between OLA vectors and the maximum acyclic agreement forest (MAAF) problem. A MAAF represents an optimal breakdown of $k$ trees into reticulation-free subtrees, with the roots of these subtrees representing reticulation events. We introduce a corrected OLA distance index over OLA vectors of $k$ trees, which is easily computable in linear time. We prove that the corrected OLA distance corresponds to the size of a MAAF, given an optimal leaf ordering that minimizes that distance. Additionally, a MAAF can be easily reconstructed from optimal OLA vectors. We expand these results to multifurcated trees: we introduce an $O(kn \cdot m\log m)$ algorithm that optimally resolves a set of multifurcated trees given a leaf-ordering, where $m$ is the size of a largest multifurcation, and show that trees resolved via this algorithm also minimize the size of a MAAF. These results suggest a new approach to fast computation of phylogenetic networks and identification of reticulation events via random permutations of leaves. Additionally, in the case of microbial evolution, a natural ordering of leaves is often given by the sample collection date, which means that under mild assumptions, reticulation events can be identified in polynomial time on such datasets.

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

We identify a surprising inequality satisfied by elementary symmetric polynomials under the action of the fixed point measure of a random permutation. Concretely, for any collection of $n$ non-negative real numbers $a_1, \dots, a_n \in \mathbb{R}_{\geq 0}$, we prove that \[ \frac{1}{n!} \sum_{π\in S_n} \left[\prod_{\{i:i=π(i)\}} a_i\right] \ge \frac{1}{\binom{n}{2}} \sum_{S \in\binom{[n]}{2}} \left[ \left(\prod_{\{i \in S\}} a_i \right)^{1/2}\right], \] and this bound is sharp. To prove this elementary inequality, we construct a collection of differential operators to set up a monotone flow that then allows us to establish the inequality.

We prove a central limit theorem (CLT) for the number of joint orbits of random tuples of commuting permutations. In the uniform sampling case this generalizes the classic CLT of Goncharov for the number of cycles of a single random permutation. We also consider the case where tuples are weighted by a factor other than one, per joint orbit. We view this as an analogue of the Ewens measure, for tuples of commuting permutations, where our CLT generalizes the CLT by Hansen. Our proof uses saddle point analysis, in a context related to the Hardy-Ramanujan asymptotics and the theorem of Meinardus, but concerns a multiple pole situation. The proof is written in a self-contained manner, and hopefully in a manner accessible to a wider audience. We also indicate several open directions of further study related to probability, combinatorics, number theory, an elusive theory of random commuting matrices, and perhaps also geometric group theory.

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.

We show the convergence of the characteristic polynomial for random permutation matrices sampled from the generalized Ewens distribution. Under this distribution, the measure of a given permutation depends only on its cycle structure, according to certain weights assigned to each cycle length. The proof is based on uniform control of the characteristic polynomial using results from the singularity analysis of generating functions, together with the convergence of traces to explicit random variables expressed via a Poisson family. The limit function is the exponential of a Poisson series which has already appeared in the case of uniform permutation matrices. It is the Poisson analog of the Gaussian Holomorphic Chaos, related to the limit of characteristic polynomials for other matrix models such as Circular Ensembles, i.i.d. matrices, and Gaussian elliptic matrices.

We study a class of random permutons which can be constructed from a pair of space-filling Schramm-Loewner evolution (SLE) curves on a Liouville quantum gravity (LQG) surface. This class includes the skew Brownian permutons introduced by Borga (2021), which describe the scaling limit of various types of random pattern-avoiding permutations. Another interesting permuton in our class is the meandric permuton, which corresponds to two independent SLE$_8$ curves on a $γ$-LQG surface with $γ= \sqrt{\frac13 \left( 17 - \sqrt{145} \right)}$. Building on work by Di Francesco, Golinelli, and Guitter (2000), we conjecture that the meandric permuton describes the scaling limit of uniform meandric permutations, i.e., the permutations induced by a simple loop in the plane which crosses a line a specified number of times. We show that for any sequence of random permutations which converges to one of the above random permutons, the length of the longest increasing subsequence is sublinear. This proves that the length of the longest increasing subsequence is sublinear for Baxter, strong-Baxter, and semi-Baxter permutations and leads to the conjecture that the same is true for meandric permutations. We also prove that the closed support of each of the random permutons in our class has Hausdorff dimension one. Finally, we prove a re-rooting invariance property for the meandric permuton and write down a formula for its expected pattern densities in terms of LQG correlation functions (which are known explicitly) and the probability that an SLE$_8$ hits a given set of points in numerical order (which is not known explicitly). We conclude with a list of open problems.

We introduce and study the Weingarten calculus for centered random permutation matrices in the symmetric group S_N. After presenting a formulation of the Weingarten calculus on the symmetric group, we derive a formula in the centered case, as well as a sign-respecting formula. Our investigations uncover the fact that a building block of this Weingarten calculus is Kummer's confluent hypergeometric function. It allows us to derive multiple algebraic properties of the Weingarten function and uniform estimate. These results shed a conceptual light on phenomena that take place regarding the algebraic and asymptotic behavior of moments of random permutations in the resolution of Bordenave and Bordenave-Collins of strong convergence. We obtain multiple new non-trivial estimates for moments of coefficients in centered moments.

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.

This paper is concerned with a duality between $r$-regular permutations and $r$-cycle permutations, and a monotone property due to Bóna-McLennan-White on the probability $p_r(n)$ for a random permutation of $\{1,2,\ldots, n\}$ to have an $r$-th root, where $r$ is a prime. For $r=2$, the duality relates permutations with odd cycles to permutations with even cycles. To handle the general case where $r\geq 2$, we define an $r$-enriched permutation as a permutation with $r$-singular cycles colored by one of the colors $1, 2, \ldots, r-1$. In this setup, we discover a bijection between $r$-regular permutations and enriched $r$-cycle permutations, which in turn yields a stronger version of an inequality of Bóna-McLennan-White. This leads to a fully combinatorial understanding of the monotone property, thereby answering their question. When $r$ is a prime power $q^l$, we further show that $p_r(n)$ is monotone. In the case that $n+1 \not\equiv 0 \pmod q$, the equality $p_r(n)=p_r(n+1)$ has been established by Chernoff.

What minimum degree of a graph $G$ on $n$ vertices guarantees that the union of $G$ and a random $2$-factor (or permutation) is with high probability Hamiltonian? Girão and Espuny D{\'ı}az showed that the answer lies in the interval $[\tfrac15 \log n, n^{3/4+o(1)}]$. We improve both the upper and lower bounds to resolve this problem asymptotically, showing that the answer is $(1+o(1))\sqrt{n\log n/2}$. Furthermore, if $G$ is assumed to be (nearly) regular then we obtain the much stronger bound that any degree growing at least polylogarithmically in $n$ is sufficient for Hamiltonicity. Our proofs use some insights from the rich theory of random permutations and a randomised version of the classical technique of Pósa rotation adapted to multiple exposure arguments.