BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Cormac O'Sullivan appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We survey a family of polynomials that are very useful in all kinds of power series manipulations, and appearing more frequently in the literature. Applications to formal power series, generating functions and asymptotic expansions are described, and we discuss the related work of De Moivre, Arbogast and Bell.
Ramanujan's approximation to the exponential function is reexamined with the help of Perron's saddle-point method. This allows for a wide generalization that includes the results of Buckholtz, and where all the asymptotic expansion coefficients may be given in closed form. Ramanujan's approximation to the exponential integral is treated similarly.
Certain triples of power series, considered by I. Macdonald, give a natural framework for many combinatorial and number theoretic sequences, such as the Stirling, Bernoulli and harmonic numbers and partitions of different kinds. The power series in such a triple are closely linked by identities coming from the theory of symmetric functions. We extend the work of Z-H. Sun, who developed similar ideas, and Macdonald, revealing more of the structure of these triples. De Moivre polynomials play a key role in this study.
The generating function for restricted partitions is a finite product with a Laurent expansion at each root of unity. The question of the behavior of these Laurent coefficients as the size of the product increases goes back to Rademacher and his work on partitions. Building on the methods of Drmota, Gerhold and previous results of the author, we complete this description and give the full asymptotic expansion of each coefficient at every root of unity. These techniques are also shown to give the asymptotics of Sylvester waves.
Let $E(z,s)$ be the non-holomorphic Eisenstein series for the modular group $SL(2,{\mathbb Z})$. The classical Kronecker limit formula shows that the second term in the Laurent expansion at $s=1$ of $E(z,s)$ is essentially the logarithm of the Dedekind eta function. This eta function is a weight $1/2$ modular form and Dedekind expressed its multiplier system in terms of Dedekind sums. Building on work of Goldstein, we extend these results from the modular group to more general Fuchsian groups $Γ$. The analogue of the eta function has a multiplier system that may be expressed in terms of a map $S:Γ\to {\mathbb R}$ which we call a modular Dedekind symbol. We obtain detailed properties of these symbols by means of the limit formula. Twisting the usual Eisenstein series with powers of additive homomorphisms from $Γ$ to ${\mathbb C}$ produces higher-order Eisenstein series. These series share many of the properties of $E(z,s)$ though they have a more complicated automorphy condition. They satisfy a Kronecker limit formula and produce higher-order Dedekind symbols $S^*:Γ\to {\mathbb R}$. As an application of our general results, we prove that higher-order Dedekind symbols associated to genus one congruence groups $Γ_0(N)$ are rational.
The generating function for $p_N(n)$, the number of partitions of $n$ into at most $N$ parts, may be written as a product of $N$ factors. We find the behavior of coefficients in the partial fraction decomposition of this product as $N \to \infty$ by applying the saddle-point method, where the saddle-point we need is associated to a zero of the analytically continued dilogarithm. Our main result disproves a conjecture of Rademacher.
The generating function for $p_N(n)$, the number of partitions of $n$ into at most $N$ parts, may be written as a product of $N$ factors. In part I, we studied the behavior of coefficients in the partial fraction decomposition of this product as $N \to \infty$ by applying the saddle-point method to get the asymptotics of the main terms. In this second part we bound the error terms. This involves estimating products of sines and further saddle-point arguments. The saddle-points needed are associated to zeros of the analytically continued dilogarithm.
We show that the dilogarithm has at most one zero on each branch, that each zero is close to a root of unity, and that they may be found to any precision with Newton's method. This work is motivated by applications to the asymptotics of coefficients in partial fraction decompositions considered by Rademacher. We also survey what is known about zeros of polylogarithms in general.
We provide new formulas for the coefficients in the partial fraction decomposition of the restricted partition generating function. These techniques allow us to partially resolve a recent conjecture of Sills and Zeilberger. We also describe upcoming work, giving a resolution to Rademacher's conjecture on the asymptotics of these coefficients.
We prove recursive formulas for the Taylor coefficients of cusp forms, such as Ramanujan's Delta function, at points in the upper half-plane. This allows us to show the non-vanishing of all Taylor coefficients of Delta at CM points of small discriminant as well as the non-vanishing of certain Poincaré series. At a "generic" point all Taylor coefficients are shown to be non-zero. Some conjectures on the Taylor coefficients of Delta at CM points are stated.
The Rankin-Cohen bracket of two Eisenstein series provides a kernel yielding products of the periods of Hecke eigenforms at critical values. Extending this idea leads to a new type of Eisenstein series built with a double sum. We develop the properties of these series and their non-holomorphic analogs and show their connection to values of L-functions outside the critical strip.
We obtain sharp upper and lower bounds on a certain four-dimensional Frobenius number determined by a prime pair $(p,q)$, $2<p<q$, including exact formulae for two infinite subclasses of such pairs. Our work is motivated by the study of compact Riemann surfaces which can be realized as a semi-regular $pq$-fold coverings of surfaces of lower genus. In this context, the Frobenius number is (up to an additive translation) the largest genus in which no surface is such a covering. In many cases it is also the largest genus in which no surface admits an automorphism of order $pq$. The general $t$-dimensional Frobenius problem ($t \geq 3$) is $NP$-hard, and it may be that our restricted problem retains this property.
A set of real $n$th roots that is pairwise linearly independent over the rationals must also be linearly independent. We show how this result may be extended to more general fields.