arXiv++ Combinatorics

We generalize the Mittag-Leffler function by attaching an exponent to its Taylor coefficients. The main result is an asymptotic formula valid in sectors of the complex plane, which extends work by Le Roy [Bull. des sciences math. 24, 1900] and Evgrafov [Asimptoticheskie otsenki i tselye funktsii, 1979]. It is established by Plana's summation formula in conjunction with the saddle point method. As an application, we (re-)prove a non-holonomicity result about powers of the factorial sequence.

We investigate the number of sets of words that can be formed from a finite alphabet, counted by the total length of the words in the set. An explicit expression for the counting sequence is derived from the generating function, and asymptotics for large alphabet respectively large total word length are discussed. Moreover, we derive a Gaussian limit law for the number of words in a random finite language.

Various sequences that possess explicit analytic expressions can be analysed asymptotically through integral representations due to Lindelöf, which belong to an attractive but somewhat neglected chapter of complex analysis. One of the outcomes of such analyses concerns the non-existence of linear recurrences with polynomial coefficients annihilating these sequences, and, accordingly, the non-existence of linear differential equations with polynomial coefficients annihilating their generating functions. In particular, the corresponding generating functions are transcendental. Asymptotic estimates of certain finite difference sequences come out as a byproduct of the Lindelöf approach.

We derive asymptotic bounds for the ordinary generating functions of several classical arithmetic functions, including the Moebius, Liouville, and von Mangoldt functions. The estimates result from the Korobov-Vinogradov zero-free region for the Riemann zeta-function, and are sharper than those obtained by Abelian theorems from bounds for the summatory functions.

We consider Kemp's q-analogue of the binomial distribution. Several convergence results involving the classical binomial, the Heine, the discrete normal, and the Poisson distribution are established. Some of them are q-analogues of classical convergence properties. Besides elementary estimates, we apply Mellin transform asymptotics.

We present a new method for proving non-holonomicity of sequences, which is based on results about the number of zeros of elementary and of analytic functions. Our approach is applicable to sequences that are defined as the values of an elementary function at positive integral arguments. We generalize several recent results; e.g., non-holonomicity of the logarithmic sequence is extended to rational functions involving $\log n$. Moreover, we show that the sequence that arises from evaluating the Riemann zeta function at odd integers is not holonomic.

We consider real sequences $(f_n)$ that satisfy a linear recurrence with constant coefficients. We show that the density of the positivity set of such a sequence always exists. In the special case where the sequence has no positive dominating characteristic root, we establish that the density is positive. Furthermore, we determine the values that can occur as density of such a positivity set, both for the special case just mentioned and in general.

We consider the following question: Which real sequences (a(n)) that satisfy a linear recurrence with constant coefficients are positive for sufficiently large n? We show that the answer is negative for both (a(n)) and (-a(n)), if the dominating characteristic roots in the representation of a(n) as a generalized power sum comprise either two pairs of conjugate complex roots or one negative real root and one pair of conjugate complex roots. The proof uses results from Diophantine approximation and the geometry of numbers. Concerning the case of a real positive dominating root we show what the answer to the question of positivity is for almost all values of the other dominating roots, provided that all dominating roots are simple.

We establish that the sequences formed by logarithms and by "fractional" powers of integers, as well as the sequence of prime numbers, are non-holonomic, thereby answering three open problems of Gerhold [Electronic Journal of Combinatorics 11 (2004), R87]. Our proofs depend on basic complex analysis, namely a conjunction of the Structure Theorem for singularities of solutions to linear differential equations and of an Abelian theorem. A brief discussion is offered regarding the scope of singularity-based methods and several naturally occurring sequences are proved to be non-holonomic.