arXiv++ Combinatorics

We derive the local and central limit theorems for the Stirling numbers of the second kind by elementary means, obtaining as corollaries effective asymptotic estimates for the Bell numbers and for the moments of the distribution. We also develop asymptotic expansions along several directions, all based on a novel finite-differencing approach; this provides the first self-contained elementary justification of such expansions.

We investigate depoissonization, the problem of recovering asymptotics of sequence coefficients from their exponential generating function. Classical approaches rely on complex-analytic growth conditions, but here we develop real-variable methods that avoid such assumptions. We also address the inverse problem, deriving asymptotic expansions of the generating function itself in terms of its coefficients, thereby extending Ramanujan's original expansion. Taken together, these results offer a unified and elementary framework for depoissonization and its reverse, with applications to analytic combinatorics and probability.

We prove that the characteristic function of the quicksort distribution is exponentially decreasing at infinity. As a consequence it follows that the density of the quicksort distribution can be analytically extended to the vicinity of the real line.

We develop analytic tools for the asymptotics of general trie statistics, which are particularly advantageous for clarifying the asymptotic variance. Many concrete examples are discussed for which new Fourier expansions are given. The tools are also useful for other splitting processes with an underlying binomial distribution. We specially highlight Philippe Flajolet's contribution in the analysis of these random structures.

We consider sequences of random variables whose probability generating functions are polynomials all of whose roots lie on the unit circle. The distribution of such random variables has only been sporadically studied in the literature. We show that the random variables are asymptotically normally distributed if and only if the fourth normalized (by the standard deviation) central moment tends to 3, in contrast to the common scenario for polynomials with only real roots for which a central limit theorem holds if and only if the variance goes unbounded. We also derive a representation theorem for all possible limit laws and apply our results to many concrete examples in the literature, ranging from combinatorial structures to numerical analysis, and from probability to analysis of algorithms.

We analyze the cost used by a naive exhaustive search algorithm for finding a maximum independent set in random graphs under the usual G_{n,p} -model where each possible edge appears independently with the same probability p. The expected cost turns out to be of the less common asymptotic order n^{c\log n}, which we explore from several different perspectives. Also we collect many instances where such an order appears, from algorithmics to analysis, from probability to algebra. The limiting distribution of the cost required by the algorithm under a purely idealized random model is proved to be normal. The approach we develop is of some generality and is amenable for other graph algorithms.

We prove a Tauberian theorem for the Voronoi summation method of divergent series with an estimate of the remainder term. The results on the Voronoi summability are then applied to analyze the mean values of multiplicative functions on random permutations.

Asymptotics of the variances of many cost measures in random digital search trees are often notoriously messy and involved to obtain. A new approach is proposed to facilitate such an analysis for several shape parameters on random symmetric digital search trees. Our approach starts from a more careful normalization at the level of Poisson generating functions, which then provides an asymptotically equivalent approximation to the variance in question. Several new ingredients are also introduced such as a combined use of the Laplace and Mellin transforms and a simple, mechanical technique for justifying the analytic de-Poissonization procedures involved. The methodology we develop can be easily adapted to many other problems with an underlying binomial distribution. In particular, the less expected and somewhat surprising $n(\log n)^2$-variance for certain notions of total path-length is also clarified.

The well known Erdos-Turan law states that the logarithm of an order of a random permutation is asymptotically normally distributed. The aim of this work is to estimate convergence rate in this theorem and also to prove analogous result for distribution of the logarithm of an order of a random permutation on a certain class of subsets of the symmetric group. We also study the asymptotic behavior of the mean values of multiplicative functions on the symmetric group and the results we obtain are of independent interest besides their application to the investigation of the remainder term in the Erdos-Turan law. We also study a related problem of distribution of the degree of a splitting field of a random polynomial and obtain sharp estimates for its convergence rate to normal law. In research we apply both probabilistic and analytic methods. Some analytic methods used here have their origins in the probabilistic number theory, and some have their roots in the theory of summation of divergent series. One of the approaches we use is to apply Tauberian type estimates for Voronoi summability of divergent series to analyze the generating functions of the mean values of multiplicative functions.