arXiv++ Combinatorics

Search trees are fundamental data structures in computer science. We study functionals on random search trees that satisfy recurrence relations of a simple additive form. Many important functionals including the space requirement, internal path length, and the so-called shape functional fall under this framework. Our goal is to derive asymptotics of moments and identify limiting distributions of these functionals under two commonly studied probability models -- the random permutation model and the uniform model. For the random permutation model, our approach is based on establishing transfer theorems that link the order of growth of the input into a particular deterministic recurrence to the order of growth of the output. For the uniform model, our approach is based on the complex-analytic tool of singularity analysis. To facilitate a systematic analysis of these additive functionals we extend singularity analysis, a class of methods by which one can translate on a term-by-term basis an asymptotic expansion of a functional around its dominant singularity into a corresponding expansion for the Taylor coefficients of the function. The most important extension is the determination of how singularities are composed under the operation of Hadamard product of analytic power series. The transfer theorems derived are used in conjunction with the method of moments to establish limit laws for m-ary search trees under the random permutation model. For the uniform model on binary search trees, the extended singularity analysis toolkit is employed to establish the asymptotic behavior of the moments of a wide class of functionals. These asymptotics are used, again in conjunction with the method of moments, to derive limit laws.

Inspired by the results of Baik, Deift and Johansson on the limiting distribution of the lengths of the longest increasing subsequences in random permutations, we find those limiting distributions for pattern-restricted permutations in which the pattern is any one of the six patterns of length 3. We show that the (132)-avoiding case is identical to the distribution of heights of ordered trees, and that the (321)-avoiding case has interesting connections with a well known theorem of Erd\H os-Szekeres.

A permutation P on {1,..,N} is a_fast_forward_permutation_ if for each m the computational complexity of evaluating P^m(x)$ is small independently of m and x. Naor and Reingold constructed fast forward pseudorandom cycluses and involutions. By studying the evolution of permutation graphs, we prove that the number of queries needed to distinguish a random cyclus from a random permutation on {1,..,N} is Theta(N) if one does not use queries of the form P^m(x), but is only Theta(1) if one is allowed to make such queries. We construct fast forward permutations which are indistinguishable from random permutations even when queries of the form P^m(x) are allowed. This is done by introducing an efficient method to sample the cycle structure of a random permutation, which in turn solves an open problem of Naor and Reingold.

Our interest is in the cumulative probabilities Pr(L(t) \le l) for the maximum length of increasing subsequences in Poissonized ensembles of random permutations, random fixed point free involutions and reversed random fixed point free involutions. It is shown that these probabilities are equal to the hard edge gap probability for matrix ensembles with unitary, orthogonal and symplectic symmetry respectively. The gap probabilities can be written as a sum over correlations for certain determinantal point processes. From these expressions a proof can be given that the limiting form of Pr(L(t) \le l) in the three cases is equal to the soft edge gap probability for matrix ensembles with unitary, orthogonal and symplectic symmetry respectively, thereby reclaiming theorems due to Baik-Deift-Johansson and Baik-Rains.

In testing the independence of two Gaussian populations, one computes the distribution of the sample canonical correlation coefficients, given that the actual correlation is zero. The "Laplace transform" of this distribution is not only an integral over the Grassmannian of p-dimensional planes in complex n-space, but is also related to a generalized hypergeometric function. Such integrals are solutions of Painlevé-like equations. They also have expansions, related to random words of length l formed with an alphabet of p letters. Given that each letter appears in the word, the maximal length of the disjoint union of p increasing subsequences of the word clearly equals l. But the maximal length of the disjoint union of p-1 increasing subsequences leads to a non-trivial distribution. It is precisely this probability which appears in the expansion above.

Connections between longest increasing subsequences in random permutations and eigenvalues of random matrices with complex entries have been intensely studied. This note applies properties of random elements of the finite general linear group to obtain results about the longest increasing subsequence in non- uniform random permutations.

We obtain an identity between Fredholm determinants of two kinds of operators, one acting on functions on the unit circle and the other acting on functions on a subset of the integers. This identity is a generalization of an identity between a Toeplitz determinant and a Fredholm determinant that has appeared in the random permutation context. Using this identity, we prove, in particular, convergence of moments for arbitrary rows of a random Young diagram under Plancherel measure.

Karlin and Altschul in their statistical analysis for multiple high-scoring segments in molecular sequences introduced a distribution function which gives the probability there are at least r distinct and consistently ordered segment pairs all with score at least x. For long sequences this distribution can be expressed in terms of the distribution of the length of the longest increasing subsequence in a random permutation. Within the past few years, this last quantity has been extensively studied in the mathematics literature. The purpose of these notes is to summarize these new mathematical developments in a form suitable for use in computational biology.

These lectures present a survey of recent developments in the area of random matrices (finite and infinite) and random permutations. These probabilistic problems suggest matrix integrals (or Fredholm determinants), which arise very naturally as integrals over the tangent space to symmetric spaces, as integrals over groups and finally as integrals over symmetric spaces. An important part of these lectures is devoted to showing that these matrix integrals, upon apropriately adding time-parameters, are natural tau-functions for integrable lattices, like the Toda, Pfaff and Toeplitz lattices, but also for integrable PDE's, like the KdV equation. These matrix integrals or Fredholm determinants also satisfy Virasoro constraints, which combined with the integrable equations lead to (partial) differential equations for the original probabilities.

Matrix Fourier-like integrals over the classical groups O_+(n), O_-(n), Sp(n) and U(n) are connected with the distribution of the length of the longest increasing sequence in random permutations and random involutions and the spectrum of random matrices. One of the purposes of this paper is to show that all those integrals satisfy the Painlevé V equation with specific initial conditions. In this work, we present both, new results and known ones, in a unified way. Our method consists of inserting one set of time variables t=(t_1,t_2,...) in the integrals for the real compact groups and two sets of times (t,s) for the unitary group. The point is that these new time-dependent integrals satisfy integrable hierarchies: (i) O(n) and Sp(n) correspond to the standard Toda lattice. (ii) U(n) corresponds to the Toeplitz lattice, a very special reduction of the discrete sinh-Gordon equation. Both systems, the standard Toda lattice and the Toeplitz lattice are also reductions of the 2-Toda lattice, thus leading to a natural vertex operator, and so, a natural Virasoro algebra, a subalgebra of which annihilates the tau-functions. Combining these equations leads to the Painlevé V equation for the integrals.

For one-dimensional growth processes we consider the distribution of the height above a given point of the substrate and study its scale invariance in the limit of large times. We argue that for self-similar growth from a single seed the universal distribution is the Tracy-Widom distribution from the theory of random matrices and that for growth from a flat substrate it is some other, only numerically determined distribution. In particular, for the polynuclear growth model in the droplet geometry the height maps onto the longest increasing subsequence of a random permutation, from which the height distribution is identified as the Tracy-Widom distribution.

Selecting N random points in a unit square corresponds to selecting a random permutation. By putting 5 types of symmetry restrictions on the points, we obtain subsets of permutations : involutions, signed permutations and signed involutions. We are interested in the statistics of the length of the longest up/right path of random points selections in each symmetry type as the number of points increases to infinity. The limiting distribution functions are expressed in terms of Painlevé II equation. Some of them are Tracy-Widom distributions in random matrix theory, while there are two new classes of distribution functions interpolating GOE and GSE, and GUE and GOE^2 Tracy-Widom distribution functions. Also some applications and related topics are discussed.

A connection is made between the random turns model of vicious walkers and random permutations indexed by their increasing subsequences. Consequently the scaled distribution of the maximum displacements in a particular asymmeteric version of the model can be determined to be the same as the scaled distribution of the eigenvalues at the soft edge of the GUE. The scaling of the distribution gives the maximum mean displacement $μ$ after $t$ time steps as $μ= (2t)^{1/2}$ with standard deviation proportional to $μ^{1/3}$. The exponent 1/3 is typical of a large class of two-dimensional growth problems.

We prove the conjecture of Baik, Deift, and Johansson which says that with respect to the Plancherel measure on the set of partitions of $n$, the 1st, 2nd, and so on, rows behave, suitably scaled, like the 1st, 2nd, and so on, eigenvalues of a Gaussian random Hermitian matrix as $n$ goes to infinity. Our proof is based on an interplay between maps on surfaces and ramified coverings of the sphere. We also establish a connection of this problem with intersection theory on the moduli spaces of curves.

We compute the limit distribution for (centered and scaled) length of the longest increasing subsequence of random colored permutations. The limit distribution function is a power of that for usual random permutations computed recently by Baik, Deift, and Johansson (math.CO/9810105). In two--colored case our method provides a different proof of a similar result by Tracy and Widom about longest increasing subsequences of signed permutations (math.CO/9811154). Our main idea is to reduce the `colored' problem to the case of usual random permutations using certain combinatorial results and elementary probabilistic arguments.

We investigate the probability distribution of the length of the second row of a Young diagram of size $N$ equipped with Plancherel measure. We obtain an expression for the generating function of the distribution in terms of a derivative of an associated Fredholm determinant, which can then be used to show that as $N\to\infty$ the distribution converges to the Tracy-Widom distribution [TW] for the second largest eigenvalue of a random GUE matrix. This paper is a sequel to [BDJ], where we showed that as $N\to\infty$ the distribution of the length of the first row of a Young diagram, or equivalently, the length of the longest increasing subsequence of a random permutation, converges to the Tracy-Widom distribution [TW] for the largest eigenvalue of a random GUE matrix.

The authors consider the length, $l_N$, of the length of the longest increasing subsequence of a random permutation of $N$ numbers. The main result in this paper is a proof that the distribution function for $l_N$, suitably centered and scaled, converges to the Tracy-Widom distribution [TW1] of the largest eigenvalue of a random GUE matrix. The authors also prove convergence of moments. The proof is based on the steepest decent method for Riemann-Hilbert problems, introduced by Deift and Zhou in 1993 [DZ1] in the context of integrable systems. The applicability of the Riemann-Hilbert technique depends, in turn, on the determinantal formula of Gessel [Ge] for the Poissonization of the distribution function of $l_N$.

This paper studies biased riffle shuffles, first defined by Diaconis, Fill, and Pitman. These shuffles generalize the well-studied Gilbert-Shannon-Reeds shuffle and convolve nicely. An upper bound is given for the time for these shuffles to converge to the uniform distribution; this matches lower bounds of Lalley. A careful version of a bijection of Gessel leads to a generating function for cycle structure after one of these shuffles and gives new results about descents in random permutations. Results are also obtained about the inversion and descent structure of a permutation after one of these shuffles.