arXiv++ Combinatorics

This paper studies the longest increasing subsequence (LIS) problem for sequences generated by dyadic-type chaotic interval maps. Starting from a single point $x\in[0,1)$ chosen uniformly at random, we form the order pattern of the first $N$ points of its orbit, with the doubling map as the basic model. Let $λ_1^{(N)}$ be the LIS length, equivalently the length of the first row of the Young diagram obtained by Schensted's insertion. We show that $\mathbb E[λ_1^{(N)}]/\sqrt N\to 2$, matching the leading asymptotics in the classical Ulam--Hammersley problem for uniform random permutations.

Let $\mathbf{x}_{n \times n}$ be an $n \times n$ matrix of variables and let $S = \mathbb{F}[\mathbf{x}_{n \times n}]$ be the polynomial ring over these variables where $\mathbb{F}$ is a field of characteristic zero. Regard $S$ as the coordinate ring of the affine space $\mathbb{F}^{n \times n}$ of $n \times n$ $\mathbb{F}$-matrices. Let $\mathfrak{D}_n \subseteq \mathbb{F}^{n \times n}$ be the locus of derangement permutation matrices. We study the orbit harmonics quotient ring ${\bf R}(\mathfrak{D}_n) = S/\mathrm{gr} \, \mathbf{I}(\mathfrak{D}_n)$ where $\mathrm{gr} \, \mathbf{I}(\mathfrak{D}_n)$ is the associated graded ideal of the vanishing ideal $\mathbf{I}(\mathfrak{D}_n) \subseteq S$. We give an explicit generating set of $\mathrm{gr} \, \mathbf{I}(\mathfrak{D}_n),$ relate the Hilbert series of $\mathbf{R}(\mathfrak{D}_n)$ to the Foata transformation and the longest increasing subsequence statistic on $\mathfrak{S}_n$, and give an alternating sum formula for the graded $\mathfrak{S}_n$-character of $\mathbf{R}(\mathfrak{D}_n)$. Our proofs make heavy use of the mapping cone construction of homological algebra.

We study exact uniform sampling of permutations of length $n$ whose longest increasing subsequence (LIS) has prescribed length $k$. For $k \in Θ(n)$, we give a direct rejection sampler whose expected running time is $O(n\log\log n)$ in the word-RAM model. The sampler uses an expanded proposal space consisting of permutations together with a specified increasing subsequence, and accepts exactly those proposals whose specified subsequence is the leftmost LIS. For arbitrary $1\le k\le n$, we give an exact sampler based on the Robinson--Schensted correspondence. The algorithm samples the corresponding Plancherel-conditioned shape by computing exact completion counts via determinant identities, and then samples two uniform tableaux of that shape. The direct implementation runs in $\tilde O(n^4k^5)$ expected time. We then show that the same sampler can be implemented in expected $\tilde O(n^3k^4)$ time by evaluating a determinant oracle through Hankel moment matrices.

The length $\mathsf{is}(π)$ of a longest increasing subsequence in a permutation $π$ has been extensively studied. An increasing subsequence is one that has no descents. We study generalizations of this statistic by finding longest subsequences with other descent restrictions. We first consider the statistic which encodes the longest length of a subsequence with a given number of descents. We then generalize this to restrict the descent set of the subsequence. Extending the classical result for $\mathsf{is}(π)$, we show how these statistics can be obtained using the RSK correspondence and the Schützenberger involution. In particular, these statistics only depend on the recording tableau of the permutation.

We study longest and shortest directed paths in the following natural model of directed random planar maps: the uniform infinite bipolar-oriented triangulation (UIBOT), which is the local limit of uniform bipolar-oriented triangulations around a typical edge. We construct the Busemann function which measures directed distance to $\infty$ along a natural interface in the UIBOT. We show that in the case of longest (resp.\ shortest) directed paths, this Busemann function converges in the scaling limit to a $2/3$-stable Lévy process (resp.\ a $4/3$-stable Lévy process). We also prove up-to-constants bounds for directed distances in finite bipolar-oriented triangulations sampled from a Boltzmann distribution, and for size-$n$ cells in the UIBOT. These bounds imply that in a typical subset of the UIBOT with $n$ edges, longest directed path lengths are of order $n^{3/4}$ and shortest directed path lengths are of order $n^{3/8}$. These results give the scaling dimensions for discretizations of the (hypothetical) $\sqrt{4/3}$-directed Liouville quantum gravity metrics. The main external input in our proof is the bijection of Kenyon-Miller-Sheffield-Wilson (2015). We do not use any continuum theory. We expect that our techniques can also be applied to prove similar results for directed distances in other random planar map models and for longest increasing subsequences in pattern-avoiding permutations.

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.

A famous result by Hammersley and Versik-Kerov states that the length $L_n$ of the longest increasing subsequence among $n$ iid continuous random variables grows like $2\sqrt{n}$. We investigate here the asymptotic behavior of $L_n$ for distributions with atoms. For purely discrete random variables, we characterize the asymptotic order of $L_n$ through a variational problem and provide explicit estimates for classical distributions. The proofs rely on a coupling with an inhomogeneous version of the discrete-time continuous-space Hammersley process. This reveals that, in contrast to the continuous case, the discrete setting exhibits a wide range of growth rates between $\mathcal{O}(1)$ and $o(\sqrt{n})$, depending on the tail behavior of the distribution. We can then easily deduce the asymptotics of $L_n$ for a completely arbitrary distribution.

We establish a scaling limit result for the length $\operatorname{LIS}(σ_n)$ of the longest increasing subsequence of a permutation $σ_n$ of size $n$ sampled from the Brownian separable permuton $\boldsymbolμ_p$ of parameter $p\in(0,1)$, which is the universal limit of pattern-avoiding permutations. Specifically, we prove that \[\frac{\operatorname{LIS}(σ_n)}{n^α}\;\underset{n\to\infty}{\overset{\mathrm{a.s.}}{\longrightarrow}}\; X,\] where $α=α(p)$ is the unique solution in the interval $(1/2,1)$ to the equation \[\frac{1}{4^{\frac{1}{2α}}\sqrtπ}\,\frac{Γ\big(\tfrac{1}{2}-\tfrac{1}{2α}\big)}{Γ\big(1-\tfrac{1}{2α}\big)}=\frac{p}{p-1},\] and $X=X(p)$ is a non-deterministic and a.s. positive and finite random variable, which is a measurable function of the Brownian separable permuton. Notably, the exponent $α(p)$ is an increasing continuous function of $p$ with $α(0^+)=1/2$, $α(1^-)=1$ and $α(1/2)\approx0.815226$, which corresponds to the permuton limit of uniform separable permutations. We prove analogous results for the size of the largest clique of a graph sampled from the Brownian cographon of parameter $p\in(0,1)$.

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

Let $G_{n,k}$ be the group of permutations of $\{1,2,\ldots, kn\}$ that permutes the first $k$ symbols arbitrarily, then the next $k$ symbols and so on through the last $k$ symbols. Finally the $n$ blocks of size $k$ are permuted in an arbitrary way. For $σ$ chosen uniformly in $G_{n,k}$, let $L_{n,k}$ be the length of the longest increasing subsequence in $σ$. For $k,n$ growing, we determine that the limiting mean of $L_{n,k}$ is asymptotic to $4\sqrt{nk}$. This is different from parallel variations of the Vershik-Kerov theorem for colored permutations.

Making use of a newly developed package in the computer mathematics system SageMath, we show how to perform a full asymptotic analysis of certain types of sums that occur frequently in combinatorics, including explicit error bounds. We present two applications of the general approach to illustrate its use: the first concerns a classical problem due to Ramanujan, while the second one concerns a question of Bóna and DeJonge on 132-avoiding permutations with a unique longest increasing subsequence that can be translated into an inequality for a certain binomial sum.

Let $\mathbf{x}_{n \times n}$ be a matrix of $n \times n$ variables, and let $\mathbb{C}[\mathbf{x}_{n \times n}]$ be the polynomial ring on these variables. Let $\mathfrak{S}_{n,r}$ be the group of colored permutations, consisting of $n \times n$ complex matrices with exactly one nonzero entry in each row and column, where each nonzero entry is an $r$-th root of unity. We associate an ideal $I_{\mathfrak{S}_{n,r}} \subseteq \mathbb{C}[\mathbf{x}_{n \times n}]$ with the group $\mathfrak{S}_{n,r}$, and use orbit harmonics to give an ideal-theoretic extension of the Viennot shadow line construction to $\mathfrak{S}_{n,r}$. This extension gives a standard monomial basis of $\mathbb{C}[\mathbf{x}_{n \times n}]/I_{\mathfrak{S}_{n,r}}$, and introduces an analogous definition of ``longest increasing subsequence'' to the group $\mathfrak{S}_{n,r}$. We examine the extension of Chen's conjecture to this analogy. We also study the structure of $\mathbb{C}[\mathbf{x}_{n \times n}]/I_{\mathfrak{S}_{n,r}}$ as a graded $\mathfrak{S}_{n,r} \times \mathfrak{S}_{n,r}$ module, which subsequently induces a graded $\mathfrak{S}_{n,r} \times \mathfrak{S}_{n,r}$ module structure on the $\mathbb{C}$-algebra $\mathbb{C}[\mathfrak{S}_{n,r}]$.

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.

The study of longest increasing subsequences (LIS) in permutations led to that of Young diagrams via Robinson-Schensted's (RS) correspondence. In a celebrated paper, Vershik and Kerov obtained a limit theorem for such diagrams and found that the LIS of a uniform permutation of size n behaves as $2\sqrt{n}$. Independently and much later, Hoppen et al. introduced the theory of permutons as a scaling limit of permutations. In this paper, we extend in some sense the RS correspondence of permutations to the space of permutons. When the "RS-tableaux" of a permuton are non-trivial, we show that the RS-tableaux of random permutations sampled from this permuton exhibit a linear behavior, in the sense that their first rows and columns have lengths of linear order. In particular, the LIS of such permutations behaves as a multiple of n. We also prove some large deviation results for these convergences. Finally, by studying asymptotic properties of Fomin's algorithm for permutations, we show that the RS-tableaux of a permuton satisfy a partial differential equation.

Let $\mathbf{x}_{n \times n}$ be an $n \times n$ matrix of variables and let $\mathbb{F}[\mathbf{x}_{n \times n}]$ be the polynomial ring in these variables over a field $\mathbb{F}$. We study the ideal $I_n \subseteq \mathbb{F}[\mathbf{x}_{n \times n}]$ generated by all row and column variable sums and all products of two variables drawn from the same row or column. We show that the quotient $\mathbb{F}[\mathbf{x}_{n \times n}]/I_n$ admits a standard monomial basis determined by Viennot's shadow line avatar of the Schensted correspondence. As a corollary, the Hilbert series of $\mathbb{F}[\mathbf{x}_{n \times n}]/I_n$ is the generating function of permutations in $\mathfrak{S}_n$ by the length of their longest increasing subsequence. Along the way, we describe a `shadow junta' basis of the vector space of $k$-local permutation statistics. We also calculate the structure of $\mathbb{F}[\mathbf{x}_{n \times n}]/I_n$ as a graded $\mathfrak{S}_n \times \mathfrak{S}_n$-module.

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 in statistical ranking theory, Mallows permutation model is a class of non-uniform probability measures on the symmetric group $S_n$ that depend on a distance metric $d(σ,τ)$ on $S_n$ and a scale parameter $β$. Taking the distance metric to be the $L^1$ and $L^2$ distances--which are respectively known as Spearman's footrule and Spearman's rank correlation in the statistics literature--leads to Mallows permutation models with $L^1$ and $L^2$ distances. In this paper, we study the length of the longest increasing subsequence of random permutations drawn from Mallows permutation models with $L^1$ and $L^2$ distances. For both models and various regimes of the scale parameter $β$, we determine the typical order of magnitude of the length of the longest increasing subsequence and establish a law of large numbers for this length. For Mallows permutation model with the $L^1$ distance, when $β\sim θn^{-1}$ for some fixed $θ>0$, the typical length of the longest increasing subsequence is of order $\sqrt{n}$; when $n^{-1}\ll β\ll 1$, this typical length is of order $n\sqrtβ$. For Mallows permutation model with the $L^2$ distance, when $β\sim θn^{-2}$ for some fixed $θ>0$, the typical length of the longest increasing subsequence is of order $\sqrt{n}$; when $n^{-2}\ll β\ll 1$, this typical length is of order $nβ^{\frac{1}{4}}$.

We provide a simple injective proof that the number of 132-avoiding permutations with a unique longest increasing subsequence is at least as large as the number of 132-avoiding permutations without a unique longest increasing subsequence.

In this paper, we study two problems related to planar matchings in random bipartite graphs. First, we colour each edge of the complete bipartite graph $K_{n,n}$ uniformly randomly from amongst ${r}$ colours and show that if ${r}$ grows linearly with ${n}$ then the maximum rainbow matching is a non-trivial fraction of ${r}$ with high probability, i.e. with probability converging to one as ${n \rightarrow \infty}$ Next we consider planar matchings in a dependent setting where each vertex is forced to choose exactly one neighbour from amongst all possible choices. We obtain estimates for the largest size of a planar matching and also discuss the implication of our results to longest increasing subsequences in enlarged random permutations.