Results 1  10
of
27
Second Phase Changes in Random MAry Search Trees and Generalized Quicksort: Convergence Rates
, 2002
"... We study the convergence rate to normal limit law for the space requirement of random mary search trees. While it is known that the random variable is asymptotically normally distributed for 3 m 26 and that the limit law does not exist for m ? 26, we show that the convergence rate is O(n ) for ..."
Abstract

Cited by 46 (12 self)
 Add to MetaCart
We study the convergence rate to normal limit law for the space requirement of random mary search trees. While it is known that the random variable is asymptotically normally distributed for 3 m 26 and that the limit law does not exist for m ? 26, we show that the convergence rate is O(n ) for 3 m 19 and is O(n ), where 4=3 ! ff ! 3=2 is a parameter depending on m for 20 m 26. Our approach is based on a refinement to the method of moments and applicable to other recursive random variables; we briefly mention the applications to quicksort proper and the generalized quicksort of Hennequin, where more phase changes are given. These results provide natural, concrete examples for which the BerryEsseen bounds are not necessarily proportional to the reciprocal of the standard deviation. Local limit theorems are also derived. Abbreviated title. Phase changes in search trees.
Twenty combinatorial examples of asymptotics derived from multivariate generating functions
"... Abstract. Let {ar: r ∈ Nd} be a ddimensional array of numbers for which the generating function F (z): = ∑ r arzr is meromorphic in a neighborhood of the origin. For example, F may be a rational multivariate generating function. We discuss recent results that allow the effective computation of asym ..."
Abstract

Cited by 34 (14 self)
 Add to MetaCart
Abstract. Let {ar: r ∈ Nd} be a ddimensional array of numbers for which the generating function F (z): = ∑ r arzr is meromorphic in a neighborhood of the origin. For example, F may be a rational multivariate generating function. We discuss recent results that allow the effective computation of asymptotic expansions for the coefficients of F. Our purpose is to illustrate the use of these techniques on a variety of problems of combinatorial interest. The survey begins by summarizing previous work on the asymptotics of univariate and multivariate generating functions. Next we describe the Morsetheoretic underpinnings of some new asymptotic techniques. We then quote and summarize these results in such a way that only elementary analyses are needed to check hypotheses and carry out computations. The remainder of the survey focuses on combinatorial applications, such as enumeration of words with forbidden substrings, edges and cycles in graphs, polyominoes, and descents in permutations. After the individual examples, we discuss three broad classes of examples, namely, functions derived via the transfer matrix method, those derived via the kernel method, and those derived via the method of Lagrange inversion. These methods have
Euclidean algorithms are Gaussian
, 2003
"... Abstract. We prove a Central Limit Theorem for a general class of costparameters associated to the three standard Euclidean algorithms, with optimal speed of convergence, and error terms for the mean and variance. For the most basic parameter of the algorithms, the number of steps, we go further an ..."
Abstract

Cited by 22 (10 self)
 Add to MetaCart
Abstract. We prove a Central Limit Theorem for a general class of costparameters associated to the three standard Euclidean algorithms, with optimal speed of convergence, and error terms for the mean and variance. For the most basic parameter of the algorithms, the number of steps, we go further and prove a Local Limit Theorem (LLT), with speed of convergence O((log N) −1/4+ǫ). This extends and improves the LLT obtained by Hensley [27] in the case of the standard Euclidean algorithm. We use a “dynamical analysis ” methodology, viewing an algorithm as a dynamical system (restricted to rational inputs), and combining tools imported from dynamics, such as the crucial transfer operators, with various other techniques: Dirichlet series, Perron’s formula, quasipowers theorems, the saddle point method. Dynamical analysis had previously been used to perform averagecase analysis of algorithms. For the present (dynamical) analysis in distribution, we require precise estimates on the transfer operators, when a parameter varies along vertical lines in the complex plane. Such estimates build on results obtained only recently by Dolgopyat in the context of continuoustime dynamics [20]. 1.
Analytic Urns
 March
, 2003
"... This article describes a purely analytic approach to urn models of the generalized or extended PólyaEggenberger type, in the case of two types of balls and constant "balance", i.e., constant row sum. (Under such models, an urn may contain balls of either of two colours and a fixed 2 × 2matri ..."
Abstract

Cited by 20 (1 self)
 Add to MetaCart
This article describes a purely analytic approach to urn models of the generalized or extended PólyaEggenberger type, in the case of two types of balls and constant "balance", i.e., constant row sum. (Under such models, an urn may contain balls of either of two colours and a fixed 2 × 2matrix determines the replacement policy when a ball is drawn and its colour is observed.) The treatment starts from a quasilinear firstorder partial differential equation associated with a combinatorial renormalization of the model and bases itself on elementary conformal mapping arguments coupled with singularity analysis techniques. Probabilistic consequences are new representations for the probability distribution of the urn's composition at any time n, structural information on the shape of moments of all orders, estimates of the speed of convergence to the Gaussian limits, and an explicit determination of the associated large deviation function. In the general case, analytic solutions involve Abelian integrals over the Fermat curve x = 1. Several urn models, including a classical one associated with balanced trees (23 trees and fringebalanced search trees) and related to a previous study of Panholzer and Prodinger as well as all urns of balance 1 or 2, are shown to admit of explicit representations in terms of Weierstraß elliptic functions. Other consequences include a unification of earlier studies of these models and the detection of stable laws in certain classes of urns with an offdiagonal entry equal to zero.
Limit Theorems for the Number of Summands in Integer Partitions
, 2000
"... Central and local limit theorems are derived for the number of distinct summands in integer partitions, with or without repetitions, under a general scheme essentially due to Meinardus. The local limit theorems are of the form of Cramertype large deviations and are proved by Mellin transform and th ..."
Abstract

Cited by 14 (2 self)
 Add to MetaCart
Central and local limit theorems are derived for the number of distinct summands in integer partitions, with or without repetitions, under a general scheme essentially due to Meinardus. The local limit theorems are of the form of Cramertype large deviations and are proved by Mellin transform and the twodimensional saddlepoint method. Applications of these results include partitions into positive integers, into powers of integers, into integers [j ], # > 1, into aj + b, etc.
Rare Events and Conditional Events on Random Strings
 DMTCS
, 2004
"... this paper is twofold. First, a single word is given. We study the tail distribution of the number of its occurrences. Sharp large deviation estimates are derived. Second, we assume that a given word is overrepresented. The conditional distribution of a second word is studied; formulae for the expec ..."
Abstract

Cited by 14 (3 self)
 Add to MetaCart
this paper is twofold. First, a single word is given. We study the tail distribution of the number of its occurrences. Sharp large deviation estimates are derived. Second, we assume that a given word is overrepresented. The conditional distribution of a second word is studied; formulae for the expectation and the variance are derived. In both cases, the formulae are precise and can be computed efficiently. These results have applications in computational biology, where a genome is viewed as a text
Asymptotics of Poisson approximation to random discrete distributions: an analytic approach
 Advances in Applied Probability
, 1998
"... this paper, we shall describe the asymptotic behaviors of several distances of Poisson approximation to a wide class of discrete distributions covering many examples from number theory, combinatorics and arithmetic semigroups. Our aim is to show that whenever (analytic) generating functions of the r ..."
Abstract

Cited by 13 (9 self)
 Add to MetaCart
this paper, we shall describe the asymptotic behaviors of several distances of Poisson approximation to a wide class of discrete distributions covering many examples from number theory, combinatorics and arithmetic semigroups. Our aim is to show that whenever (analytic) generating functions of the random variables in question are available, complexanalytic methods can be used to derive precise asymptotic results for the five distances above. Actually, we shall consider the following generalized distances: let ff ? 0 be a fixed positive number, (X; Y ) = FM (X; Y ) = (X; Y ) = sup K (X; Y ) = sup M (X; Y ) = jP(X = j) \Gamma P(Y = j) Note that d TV = d M . Besides the case ff = 1 (and ff = 1=2 for d M ), only the case d TV was previously studied by Franken [39] for Poisson approximation to the sum of independent but not identically distributed Bernoulli random variables. We take these quantities as our measures of degree of nearness of Poisson approximation, some of which may be interpreted as certain norms in suitable space as many authors did (cf. [12, 22, 23, 74, 96]). For a large class of discrete distributions, we shall derive an asymptotic main term together with an error estimate for each of these distances. Our results are thus "approximation theorems" rather than "limit theorems". The common form of the underlying structure of these distributions suggests the study of an analytic scheme as we did previously for normal approximation and large deviations (cf. [53, 54]). Many concrete examples from probabilistic number theory and combinatorial structures will justify the study of this scheme. Our treatment being completely general, many extensions can be further pursued with essentially the same line of methods. We shall di...
Vertices of given degree in seriesparallel graphs
, 2008
"... Abstract. We show that the number of vertices of a given degree k in several kinds of seriesparallel labelled graphs of size n satisfy a central limit theorem with mean and variance proportional to n, and quadratic exponential tail estimates. We further prove a corresponding theorem for the number ..."
Abstract

Cited by 11 (9 self)
 Add to MetaCart
Abstract. We show that the number of vertices of a given degree k in several kinds of seriesparallel labelled graphs of size n satisfy a central limit theorem with mean and variance proportional to n, and quadratic exponential tail estimates. We further prove a corresponding theorem for the number of nodes of degree two in labelled planar graphs. The proof method is based on generating functions and singularity analysis. In particular we need systems of equations for multivariate generating functions and transfer results for singular representations of analytic functions. 1. Statement of main results A graph is seriesparallel if it does not contain the complete graph K4 as a minor; equivalently, if it does not contain a subdivision of K4. Since both K5 and K3,3 contain a subdivision of K4, by Kuratowski’s theorem a seriesparallel graph is planar. An outerplanar graph is a planar graph that can be embedded in the plane so that all vertices are incident to the outer face. They are characterized as those graphs not containing a minor isomorphic to (or a subdivision of) either K4
Asymptotics Of Multivariate Sequences, Part I: Smooth Points Of The Singular Variety
 J. COMB. THEORY, SERIES A
, 1999
"... Given a multivariate generating function F (z1 ; : : : ; zd ) = P ar 1 ;:::;r d z r 1 1 z r d d , we determine asymptotics for the coecients. Our approach is to use Cauchy's integral formula near singular points of F , resulting in a tractable oscillating integral. This paper treats the c ..."
Abstract

Cited by 10 (3 self)
 Add to MetaCart
Given a multivariate generating function F (z1 ; : : : ; zd ) = P ar 1 ;:::;r d z r 1 1 z r d d , we determine asymptotics for the coecients. Our approach is to use Cauchy's integral formula near singular points of F , resulting in a tractable oscillating integral. This paper treats the case where the singular point of F is a smooth point of a surface of poles. Companion papers G treat singular points of F where the local geometry is more complicated, and for which other methods of analysis are not known.