-
Bayesian inference from time series of allele frequency data using exact simulation techniques
Authors:
Jaromir Sant,
Paul A. Jenkins,
Jere Koskela,
Dario Spano
Abstract:
A central statistical problem in population genetics is to infer evolutionary and biological parameters such as the strength of natural selection and allele age from DNA samples extracted from a contemporary population. That all samples come only from the present-day has long been known to limit statistical inference; there is potentially more information available if one also has access to ancien…
▽ More
A central statistical problem in population genetics is to infer evolutionary and biological parameters such as the strength of natural selection and allele age from DNA samples extracted from a contemporary population. That all samples come only from the present-day has long been known to limit statistical inference; there is potentially more information available if one also has access to ancient DNA so that inference is based on a time-series of historical changes in allele frequencies. We introduce a Markov Chain Monte Carlo (MCMC) method for Bayesian inference from allele frequency time-series data based on an underlying Wright--Fisher diffusion model of evolution, through which one can infer the parameters of essentially any selection model including those with frequency-dependent effects. The chief novelty is that we show this method to be exact in the sense that it is possible to augment the state space explored by MCMC with the unobserved diffusion trajectory, even though the transition function of this diffusion is intractable. Through careful design of a proposal distribution, we describe an efficient method in which updates to the trajectory and accept/reject decisions are calculated without error. We illustrate the method on data capturing changes in coat colour over the past 20,000 years, and find evidence to support previous findings that the mutant alleles ASIP and MC1R responsible for changes in coat color have experienced very strong, possibly overdominant, selection and further provide estimates for the ages of these genes.
△ Less
Submitted 17 February, 2025;
originally announced February 2025.
-
The mutual arrangement of Wright-Fisher diffusion path measures and its impact on parameter estimation
Authors:
Paul A. Jenkins
Abstract:
The Wright-Fisher diffusion is a fundamentally important model of evolution encompassing genetic drift, mutation, and natural selection. Suppose you want to infer the parameters associated with these processes from an observed sample path. Then to write down the likelihood one first needs to know the mutual arrangement of two path measures under different parametrizations; that is, whether they ar…
▽ More
The Wright-Fisher diffusion is a fundamentally important model of evolution encompassing genetic drift, mutation, and natural selection. Suppose you want to infer the parameters associated with these processes from an observed sample path. Then to write down the likelihood one first needs to know the mutual arrangement of two path measures under different parametrizations; that is, whether they are absolutely continuous, equivalent, singular, and so on. In this paper we give a complete answer to this question by finding the separating times for the diffusion - the stopping time before which one measure is absolutely continuous with respect to the other and after which the pair is mutually singular. In one dimension this extends a classical result of Dawson on the local equivalence between neutral and non-neutral Wright-Fisher diffusion measures. Along the way we also develop new zero-one type laws for the diffusion on its approach to, and emergence from, the boundary. As an application we derive an explicit expression for the joint maximum likelihood estimator of the mutation and selection parameters and show that its convergence properties are closely related to the separating time.
△ Less
Submitted 21 October, 2024;
originally announced October 2024.
-
Genealogical processes of sequential Monte Carlo methods and other non-neutral population models under rapid mutation
Authors:
Jere Koskela,
Paul A. Jenkins,
Adam M. Johansen,
Dario Spano
Abstract:
We show that genealogical trees arising from a broad class of non-neutral models of population evolution converge to the Kingman coalescent under a suitable rescaling of time. As well as non-neutral biological evolution, our results apply to genetic algorithms encompassing the prominent class of sequential Monte Carlo (SMC) methods. The time rescaling we need differs slightly from that used in cla…
▽ More
We show that genealogical trees arising from a broad class of non-neutral models of population evolution converge to the Kingman coalescent under a suitable rescaling of time. As well as non-neutral biological evolution, our results apply to genetic algorithms encompassing the prominent class of sequential Monte Carlo (SMC) methods. The time rescaling we need differs slightly from that used in classical results for convergence to the Kingman coalescent, which has implications for the performance of different resampling schemes in SMC algorithms. In addition, our work substantially simplifies earlier proofs of convergence to the Kingman coalescent, and corrects an error common to several earlier results.
△ Less
Submitted 8 April, 2025; v1 submitted 24 June, 2024;
originally announced June 2024.
-
The effect of the trace operator on the duality of modular grids in genus zero levels
Authors:
Archer Clayton,
Paul Jenkins
Abstract:
Griffin, the second author, and Molnar studied coefficient duality for canonical bases for a broad range of spaces of weakly holomorphic modular forms, showing that the Fourier coefficients of canonical basis elements appear as negatives of Fourier coefficients for elements of a canonical basis of a related space of forms. We investigate the effect of the trace operator on this duality for modular…
▽ More
Griffin, the second author, and Molnar studied coefficient duality for canonical bases for a broad range of spaces of weakly holomorphic modular forms, showing that the Fourier coefficients of canonical basis elements appear as negatives of Fourier coefficients for elements of a canonical basis of a related space of forms. We investigate the effect of the trace operator on this duality for modular forms for $Γ_0(N)$ of genus zero and show exactly when duality still holds after applying the trace operator.
△ Less
Submitted 31 May, 2024;
originally announced June 2024.
-
Sampling probabilities, diffusions, ancestral graphs, and duality under strong selection
Authors:
Martina Favero,
Paul A. Jenkins
Abstract:
Wright-Fisher diffusions and their dual ancestral graphs occupy a central role in the study of allele frequency change and genealogical structure, and they provide expressions, explicit in some special cases but generally implicit, for the sampling probability, a crucial quantity in inference. Under a finite-allele mutation model, with possibly parent-dependent mutation, we consider the asymptotic…
▽ More
Wright-Fisher diffusions and their dual ancestral graphs occupy a central role in the study of allele frequency change and genealogical structure, and they provide expressions, explicit in some special cases but generally implicit, for the sampling probability, a crucial quantity in inference. Under a finite-allele mutation model, with possibly parent-dependent mutation, we consider the asymptotic regime where the selective advantage of one allele grows to infinity, while the other parameters remain fixed. In this regime, we show that the Wright-Fisher diffusion can be approximated either by a Gaussian process or by a process whose components are independent continuous-state branching processes with immigration, aligning with analogous results for Wright-Fisher models but employing different methods. While the first process becomes degenerate at stationarity, the latter does not and provides a simple, analytic approximation for the leading term of the sampling probability. Furthermore, using another approach based on a recursion formula, we characterise all remaining terms to provide a full asymptotic expansion for the sampling probability. Finally, we study the asymptotic behaviour of the rates of the block-counting process of the conditional ancestral selection graph and establish an asymptotic duality relationship between this and the diffusion.
△ Less
Submitted 13 March, 2025; v1 submitted 28 December, 2023;
originally announced December 2023.
-
Excursion theory for the Wright-Fisher diffusion
Authors:
Paul A. Jenkins,
Jere Koskela,
Victor M. Rivero,
Jaromir Sant,
Dario Spano,
Ivana Valentic
Abstract:
In this work, we develop excursion theory for the Wright--Fisher diffusion with mutation. Our construction is intermediate between the classical excursion theory where all excursions begin and end at a single point and the more general approach considering excursions of processes from general sets. Since the Wright--Fisher diffusion has two boundary points, it is natural to construct excursions wh…
▽ More
In this work, we develop excursion theory for the Wright--Fisher diffusion with mutation. Our construction is intermediate between the classical excursion theory where all excursions begin and end at a single point and the more general approach considering excursions of processes from general sets. Since the Wright--Fisher diffusion has two boundary points, it is natural to construct excursions which start from a specified boundary point, and end at one of two boundary points which determine the next starting point. In order to do this we study the killed Wright--Fisher diffusion, which is sent to a cemetery state whenever it hits either endpoint. We then construct a marked Poisson process of such killed paths which, when concatenated, produce a pathwise construction of the Wright--Fisher diffusion.
△ Less
Submitted 4 November, 2024; v1 submitted 28 September, 2023;
originally announced September 2023.
-
EWF : simulating exact paths of the Wright--Fisher diffusion
Authors:
Jaromir Sant,
Paul A. Jenkins,
Jere Koskela,
Dario Spanò
Abstract:
The Wright--Fisher diffusion is important in population genetics in modelling the evolution of allele frequencies over time subject to the influence of biological phenomena such as selection, mutation, and genetic drift. Simulating paths of the process is challenging due to the form of the transition density. We present EWF, a robust and efficient sampler which returns exact draws for the diffusio…
▽ More
The Wright--Fisher diffusion is important in population genetics in modelling the evolution of allele frequencies over time subject to the influence of biological phenomena such as selection, mutation, and genetic drift. Simulating paths of the process is challenging due to the form of the transition density. We present EWF, a robust and efficient sampler which returns exact draws for the diffusion and diffusion bridge processes, accounting for general models of selection including those with frequency-dependence. Given a configuration of selection, mutation, and endpoints, EWF returns draws at the requested sampling times from the law of the corresponding Wright--Fisher process. Output was validated by comparison to approximations of the transition density via the Kolmogorov--Smirnov test and QQ plots. All software is available at https://github.com/JaroSant/EWF
△ Less
Submitted 13 January, 2023;
originally announced January 2023.
-
An estimator for the recombination rate from a continuously observed diffusion of haplotype frequencies
Authors:
Robert C. Griffiths,
Paul A. Jenkins
Abstract:
Recombination is a fundamental evolutionary force, but it is difficult to quantify because the effect of a recombination event on patterns of variation in a sample of genetic data can be hard to discern. Estimators for the recombination rate, which are usually based on the idea of integrating over the unobserved possible evolutionary histories of a sample, can therefore be noisy. Here we consider…
▽ More
Recombination is a fundamental evolutionary force, but it is difficult to quantify because the effect of a recombination event on patterns of variation in a sample of genetic data can be hard to discern. Estimators for the recombination rate, which are usually based on the idea of integrating over the unobserved possible evolutionary histories of a sample, can therefore be noisy. Here we consider a related question: how would an estimator behave if the evolutionary history actually was observed? This would offer an upper bound on the performance of estimators used in practice. In this paper we derive an expression for the maximum likelihood estimator for the recombination rate based on a continuously observed, multi-locus, Wright--Fisher diffusion of haplotype frequencies, complementing existing work for an estimator of selection. We show that, contrary to selection, the estimator has unusual properties because the observed information matrix can explode in finite time whereupon the recombination parameter is learned without error. We also show that the recombination estimator is robust to the presence of selection in the sense that incorporating selection into the model leaves the estimator unchanged. We study the properties of the estimator by simulation and show that its distribution can be quite sensitive to the underlying mutation rates.
△ Less
Submitted 4 May, 2023; v1 submitted 15 December, 2022;
originally announced December 2022.
-
Weak Convergence of Non-neutral Genealogies to Kingman's Coalescent
Authors:
Suzie Brown,
Paul A. Jenkins,
Adam M. Johansen,
Jere Koskela
Abstract:
Interacting particle systems undergoing repeated mutation and selection steps model genetic evolution, and also describe a broad class of sequential Monte Carlo methods. The genealogical tree embedded into the system is important in both applications. Under neutrality, when fitnesses of particles are independent from those of their parents, rescaled genealogies are known to converge to Kingman's c…
▽ More
Interacting particle systems undergoing repeated mutation and selection steps model genetic evolution, and also describe a broad class of sequential Monte Carlo methods. The genealogical tree embedded into the system is important in both applications. Under neutrality, when fitnesses of particles are independent from those of their parents, rescaled genealogies are known to converge to Kingman's coalescent. Recent work has established convergence under non-neutrality, but only for finite-dimensional distributions. We prove weak convergence of non-neutral genealogies on the space of càdlàg paths under standard assumptions, enabling analysis of the whole genealogical tree.
△ Less
Submitted 19 April, 2023; v1 submitted 11 October, 2021;
originally announced October 2021.
-
The arithmetic of modular grids
Authors:
Michael Griffin,
Paul Jenkins,
Grant Molnar
Abstract:
A modular grid is a pair of sequences $(f_m)_m$ and $(g_n)_n$ of weakly holomorphic modular forms such that for almost all $m$ and $n$, the coefficient of $q^n$ in $f_m$ is the negative of the coefficient of $q^m$ in $g_n$. Zagier proved this coefficient duality in weights $1/2$ and $3/2$ in the Kohnen plus space, and such grids have appeared for Poincaré series, for modular forms of integral weig…
▽ More
A modular grid is a pair of sequences $(f_m)_m$ and $(g_n)_n$ of weakly holomorphic modular forms such that for almost all $m$ and $n$, the coefficient of $q^n$ in $f_m$ is the negative of the coefficient of $q^m$ in $g_n$. Zagier proved this coefficient duality in weights $1/2$ and $3/2$ in the Kohnen plus space, and such grids have appeared for Poincaré series, for modular forms of integral weight, and in many other situations. We give a general proof of coefficient duality for canonical row-reduced bases of spaces of weakly holomorphic modular forms of integral or half-integral weight for every group $Γ\subseteq {\text{SL}}_2(\mathbb{R})$ commensurable with ${\text{SL}}_2(\mathbb{Z})$. We construct bivariate generate functions that encode these modular forms, and study linear operations on the resulting modular grids.
△ Less
Submitted 12 May, 2022; v1 submitted 28 December, 2020;
originally announced December 2020.
-
Diffusion Limits at Small Times for Coalescent Processes with Mutation and Selection
Authors:
Philip A. Hanson,
Paul A. Jenkins,
Jere Koskela,
Dario Spanò
Abstract:
The Ancestral Selection Graph (ASG) is an important genealogical process which extends the well-known Kingman coalescent to incorporate natural selection. We show that the number of lineages of the ASG with and without mutation is asymptotic to $2/t$ as $t\to 0$, in agreement with the limiting behaviour of the Kingman coalescent. We couple these processes on the same probability space using a Pois…
▽ More
The Ancestral Selection Graph (ASG) is an important genealogical process which extends the well-known Kingman coalescent to incorporate natural selection. We show that the number of lineages of the ASG with and without mutation is asymptotic to $2/t$ as $t\to 0$, in agreement with the limiting behaviour of the Kingman coalescent. We couple these processes on the same probability space using a Poisson random measure construction that allows us to precisely compare their hitting times. These comparisons enable us to characterise the speed of coming down from infinity of the ASG as well as its fluctuations in a functional central limit theorem. This extends similar results for the Kingman coalescent.
△ Less
Submitted 22 December, 2020; v1 submitted 18 December, 2020;
originally announced December 2020.
-
The computational cost of blocking for sampling discretely observed diffusions
Authors:
Marcin Mider,
Paul A. Jenkins,
Murray Pollock,
Gareth O. Roberts
Abstract:
Many approaches for conducting Bayesian inference on discretely observed diffusions involve imputing diffusion bridges between observations. This can be computationally challenging in settings in which the temporal horizon between subsequent observations is large, due to the poor scaling of algorithms for simulating bridges as observation distance increases. It is common in practical settings to u…
▽ More
Many approaches for conducting Bayesian inference on discretely observed diffusions involve imputing diffusion bridges between observations. This can be computationally challenging in settings in which the temporal horizon between subsequent observations is large, due to the poor scaling of algorithms for simulating bridges as observation distance increases. It is common in practical settings to use a blocking scheme, in which the path is split into a (user-specified) number of overlapping segments and a Gibbs sampler is employed to update segments in turn. Substituting the independent simulation of diffusion bridges for one obtained using blocking introduces an inherent trade-off: we are now imputing shorter bridges at the cost of introducing a dependency between subsequent iterations of the bridge sampler. This is further complicated by the fact that there are a number of possible ways to implement the blocking scheme, each of which introduces a different dependency structure between iterations. Although blocking schemes have had considerable empirical success in practice, there has been no analysis of this trade-off nor guidance to practitioners on the particular specifications that should be used to obtain a computationally efficient implementation. In this article we conduct this analysis and demonstrate that the expected computational cost of a blocked path-space rejection sampler applied to Brownian bridges scales asymptotically at a cubic rate with respect to the observation distance and that this rate is linear in the case of the Ornstein-Uhlenbeck process. Numerical experiments suggest applicability both of the results of our paper and of the guidance we provide beyond the class of linear diffusions considered.
△ Less
Submitted 6 April, 2022; v1 submitted 22 September, 2020;
originally announced September 2020.
-
Simple conditions for convergence of sequential Monte Carlo genealogies with applications
Authors:
Suzie Brown,
Paul A. Jenkins,
Adam M. Johansen,
Jere Koskela
Abstract:
We present simple conditions under which the limiting genealogical process associated with a class of interacting particle systems with non-neutral selection mechanisms, as the number of particles grows, is a time-rescaled Kingman coalescent. Sequential Monte Carlo algorithms are popular methods for approximating integrals in problems such as non-linear filtering and smoothing which employ this ty…
▽ More
We present simple conditions under which the limiting genealogical process associated with a class of interacting particle systems with non-neutral selection mechanisms, as the number of particles grows, is a time-rescaled Kingman coalescent. Sequential Monte Carlo algorithms are popular methods for approximating integrals in problems such as non-linear filtering and smoothing which employ this type of particle system. Their performance depends strongly on the properties of the induced genealogical process. We verify the conditions of our main result for standard sequential Monte Carlo algorithms with a broad class of low-variance resampling schemes, as well as for conditional sequential Monte Carlo with multinomial resampling.
△ Less
Submitted 7 December, 2020; v1 submitted 30 June, 2020;
originally announced July 2020.
-
Congruences for coefficients of modular functions in levels 3, 5, and 7 with poles at 0
Authors:
Paul Jenkins,
Ryan Keck
Abstract:
We give congruences modulo powers of $p \in \{3, 5,7\}$ for the Fourier coefficients of certain modular functions in level $p$ with poles only at 0, answering a question posed by Andersen and the first author and continuing work done by the authors and Moss. The congruences involve a modulus that depends on the base $p$ expansion of the modular form's order of vanishing at $\infty$.
We give congruences modulo powers of $p \in \{3, 5,7\}$ for the Fourier coefficients of certain modular functions in level $p$ with poles only at 0, answering a question posed by Andersen and the first author and continuing work done by the authors and Moss. The congruences involve a modulus that depends on the base $p$ expansion of the modular form's order of vanishing at $\infty$.
△ Less
Submitted 1 April, 2020; v1 submitted 10 January, 2020;
originally announced January 2020.
-
Convergence of Likelihood Ratios and Estimators for Selection in non-neutral Wright-Fisher Diffusions
Authors:
Jaromir Sant,
Paul A. Jenkins,
Jere Koskela,
Dario Spano
Abstract:
A number of discrete time, finite population size models in genetics describing the dynamics of allele frequencies are known to converge (subject to suitable scaling) to a diffusion process in the infinite population limit, termed the Wright-Fisher diffusion. In this article we show that the diffusion is ergodic uniformly in the selection and mutation parameters, and that the measures induced by t…
▽ More
A number of discrete time, finite population size models in genetics describing the dynamics of allele frequencies are known to converge (subject to suitable scaling) to a diffusion process in the infinite population limit, termed the Wright-Fisher diffusion. In this article we show that the diffusion is ergodic uniformly in the selection and mutation parameters, and that the measures induced by the solution to the stochastic differential equation are uniformly locally asymptotically normal. Subsequently these two results are used to analyse the statistical properties of the Maximum Likelihood and Bayesian estimators for the selection parameter, when both selection and mutation are acting on the population. In particular, it is shown that these estimators are uniformly over compact sets consistent, display uniform in the selection parameter asymptotic normality and convergence of moments over compact sets, and are asymptotically efficient for a suitable class of loss functions.
△ Less
Submitted 13 September, 2021; v1 submitted 10 January, 2020;
originally announced January 2020.
-
A characterisation of the reconstructed birth-death process through time rescaling
Authors:
Anastasia Ignatieva,
Jotun Hein,
Paul A. Jenkins
Abstract:
The dynamics of a population exhibiting exponential growth can be modelled as a birth-death process, which naturally captures the stochastic variation in population size over time. In this article, we consider a supercritical birth-death process, started at a random time in the past, and conditioned to have n sampled individuals at the present. The genealogy of individuals sampled at the present t…
▽ More
The dynamics of a population exhibiting exponential growth can be modelled as a birth-death process, which naturally captures the stochastic variation in population size over time. In this article, we consider a supercritical birth-death process, started at a random time in the past, and conditioned to have n sampled individuals at the present. The genealogy of individuals sampled at the present time is then described by the reversed reconstructed process (RRP), which traces the ancestry of the sample backwards from the present. We show that a simple, analytic, time rescaling of the RRP provides a straightforward way to derive its inter-event times. The same rescaling characterises other distributions underlying this process, obtained elsewhere in the literature via more cumbersome calculations. We also consider the case of incomplete sampling of the population, in which each leaf of the genealogy is retained with an independent Bernoulli trial with probability $ψ$, and we show that corresponding results for Bernoulli-sampled RRPs can be derived using time rescaling, for any values of the underlying parameters. A central result is the derivation of a scaling limit as $ψ$ approaches 0, corresponding to the underlying population growing to infinity, using the time rescaling formalism. We show that in this setting, after a linear time rescaling, the event times are the order statistics of $n$ logistic random variables with mode $\log(1/ψ)$; moreover, we show that the inter-event times are approximately exponentially distributed.
△ Less
Submitted 6 May, 2020; v1 submitted 10 December, 2019;
originally announced December 2019.
-
Bayesian nonparametric analysis of Kingman's coalescent
Authors:
Stefano Favaro,
Shui Feng,
Paul A. Jenkins
Abstract:
Kingman's coalescent is one of the most popular models in population genetics. It describes the genealogy of a population whose genetic composition evolves in time according to the Wright-Fisher model, or suitable approximations of it belonging to the broad class of Fleming-Viot processes. Ancestral inference under Kingman's coalescent has had much attention in the literature, both in practical da…
▽ More
Kingman's coalescent is one of the most popular models in population genetics. It describes the genealogy of a population whose genetic composition evolves in time according to the Wright-Fisher model, or suitable approximations of it belonging to the broad class of Fleming-Viot processes. Ancestral inference under Kingman's coalescent has had much attention in the literature, both in practical data analysis, and from a theoretical and methodological point of view. Given a sample of individuals taken from the population at time $t>0$, most contributions have aimed at making frequentist or Bayesian parametric inference on quantities related to the genealogy of the sample. In this paper we propose a Bayesian nonparametric predictive approach to ancestral inference. That is, under the prior assumption that the composition of the population evolves in time according to a neutral Fleming-Viot process, and given the information contained in an initial sample of $m$ individuals taken from the population at time $t>0$, we estimate quantities related to the genealogy of an additional unobservable sample of size $m^{\prime}\geq1$. As a by-product of our analysis we introduce a class of Bayesian nonparametric estimators (predictors) which can be thought of as Good-Turing type estimators for ancestral inference. The proposed approach is illustrated through an application to genetic data.
△ Less
Submitted 19 April, 2018;
originally announced April 2018.
-
Asymptotic genealogies of interacting particle systems with an application to sequential Monte Carlo
Authors:
Jere Koskela,
Paul A. Jenkins,
Adam M. Johansen,
Dario Spano
Abstract:
We study weighted particle systems in which new generations are resampled from current particles with probabilities proportional to their weights. This covers a broad class of sequential Monte Carlo (SMC) methods, widely-used in applied statistics and cognate disciplines. We consider the genealogical tree embedded into such particle systems, and identify conditions, as well as an appropriate time-…
▽ More
We study weighted particle systems in which new generations are resampled from current particles with probabilities proportional to their weights. This covers a broad class of sequential Monte Carlo (SMC) methods, widely-used in applied statistics and cognate disciplines. We consider the genealogical tree embedded into such particle systems, and identify conditions, as well as an appropriate time-scaling, under which they converge to the Kingman n-coalescent in the infinite system size limit in the sense of finite-dimensional distributions. Thus, the tractable n-coalescent can be used to predict the shape and size of SMC genealogies, as we illustrate by characterising the limiting mean and variance of the tree height. SMC genealogies are known to be connected to algorithm performance, so that our results are likely to have applications in the design of new methods as well. Our conditions for convergence are strong, but we show by simulation that they do not appear to be necessary.
△ Less
Submitted 16 July, 2021; v1 submitted 5 April, 2018;
originally announced April 2018.
-
Divisibility properties of coefficients of modular functions in genus zero levels
Authors:
Victoria Iba,
Paul Jenkins,
Merrill Warnick
Abstract:
We prove divisibility results for the Fourier coefficients of canonical basis elements for the spaces of weakly holomorphic modular forms of weight $0$ and levels $6, 10, 12, 18$ with poles only at the cusp at infinity. In addition, we show that these Fourier coefficients satisfy Zagier duality in all weights, and give a general formula for the generating functions of such canonical bases for all…
▽ More
We prove divisibility results for the Fourier coefficients of canonical basis elements for the spaces of weakly holomorphic modular forms of weight $0$ and levels $6, 10, 12, 18$ with poles only at the cusp at infinity. In addition, we show that these Fourier coefficients satisfy Zagier duality in all weights, and give a general formula for the generating functions of such canonical bases for all genus zero levels.
△ Less
Submitted 27 July, 2018; v1 submitted 16 November, 2017;
originally announced November 2017.
-
Congruences for coefficients of level 2 modular functions with poles at 0
Authors:
Paul Jenkins,
Ryan Keck,
Eric Moss
Abstract:
We give congruences modulo powers of 2 for the Fourier coefficients of certain level 2 modular functions with poles only at 0, answering a question posed by Andersen and the first author. The congruences involve a modulus that depends on the binary expansion of the modular form's order of vanishing at $\infty$.
We give congruences modulo powers of 2 for the Fourier coefficients of certain level 2 modular functions with poles only at 0, answering a question posed by Andersen and the first author. The congruences involve a modulus that depends on the binary expansion of the modular form's order of vanishing at $\infty$.
△ Less
Submitted 28 September, 2017;
originally announced September 2017.
-
Zagier duality for level $p$ weakly holomorphic modular forms
Authors:
Paul Jenkins,
Grant Molnar
Abstract:
We prove Zagier duality between the Fourier coefficients of canonical bases for spaces of weakly holomorphic modular forms of prime level $p$ with $11 \leq p \leq 37$ with poles only at the cusp at $\infty$, and special cases of duality for an infinite class of prime levels. We derive generating functions for the bases for genus 1 levels.
We prove Zagier duality between the Fourier coefficients of canonical bases for spaces of weakly holomorphic modular forms of prime level $p$ with $11 \leq p \leq 37$ with poles only at the cusp at $\infty$, and special cases of duality for an infinite class of prime levels. We derive generating functions for the bases for genus 1 levels.
△ Less
Submitted 8 February, 2018; v1 submitted 28 September, 2017;
originally announced September 2017.
-
Differential operators on polar harmonic Maass forms and elliptic duality
Authors:
Kathrin Bringmann,
Paul Jenkins,
Ben Kane
Abstract:
In this paper, we study polar harmonic Maass forms of negative integral weight. Using work of Fay, we construct Poincaré series which span the space of such forms and show that their elliptic coefficients exhibit duality properties which are similar to the properties known for Fourier coefficients of harmonic Maass forms and weakly holomorphic modular forms.
In this paper, we study polar harmonic Maass forms of negative integral weight. Using work of Fay, we construct Poincaré series which span the space of such forms and show that their elliptic coefficients exhibit duality properties which are similar to the properties known for Fourier coefficients of harmonic Maass forms and weakly holomorphic modular forms.
△ Less
Submitted 27 April, 2017;
originally announced April 2017.
-
Weakly holomorphic modular forms in prime power levels of genus zero
Authors:
Paul Jenkins,
DJ Thornton
Abstract:
Let $M_k^\sharp(N)$ be the space of weight $k$, level $N$ weakly holomorphic modular forms with poles only at the cusp at $\infty$. We explicitly construct a canonical basis for $M_k^\sharp(N)$ for $N\in\{8,9,16,25\}$, and show that many of the Fourier coefficients of the basis elements in $M_0^\sharp(N)$ are divisible by high powers of the prime dividing the level $N$. Additionally, we show that…
▽ More
Let $M_k^\sharp(N)$ be the space of weight $k$, level $N$ weakly holomorphic modular forms with poles only at the cusp at $\infty$. We explicitly construct a canonical basis for $M_k^\sharp(N)$ for $N\in\{8,9,16,25\}$, and show that many of the Fourier coefficients of the basis elements in $M_0^\sharp(N)$ are divisible by high powers of the prime dividing the level $N$. Additionally, we show that these basis elements satisfy a Zagier duality property, and extend Griffin's results on congruences in level 1 to levels 2, 3, 4, 5, 7, 8, 9, 16, and 25.
△ Less
Submitted 23 March, 2017;
originally announced March 2017.
-
Wright-Fisher diffusion bridges
Authors:
Robert Griffiths,
Paul A. Jenkins,
Dario Spanò
Abstract:
{\bf Abstract} The trajectory of the frequency of an allele which begins at $x$ at time $0$ and is known to have frequency $z$ at time $T$ can be modelled by the bridge process of the Wright-Fisher diffusion. Bridges when $x=z=0$ are particularly interesting because they model the trajectory of the frequency of an allele which appears at a time, then is lost by random drift or mutation after a tim…
▽ More
{\bf Abstract} The trajectory of the frequency of an allele which begins at $x$ at time $0$ and is known to have frequency $z$ at time $T$ can be modelled by the bridge process of the Wright-Fisher diffusion. Bridges when $x=z=0$ are particularly interesting because they model the trajectory of the frequency of an allele which appears at a time, then is lost by random drift or mutation after a time $T$. The coalescent genealogy back in time of a population in a neutral Wright-Fisher diffusion process is well understood. In this paper we obtain a new interpretation of the coalescent genealogy of the population in a bridge from a time $t\in (0,T)$. In a bridge with allele frequencies of 0 at times 0 and $T$ the coalescence structure is that the population coalesces in two directions from $t$ to $0$ and $t$ to $T$ such that there is just one lineage of the allele under consideration at times $0$ and $T$. The genealogy in Wright-Fisher diffusion bridges with selection is more complex than in the neutral model, but still with the property of the population branching and coalescing in two directions from time $t\in (0,T)$. The density of the frequency of an allele at time $t$ is expressed in a way that shows coalescence in the two directions. A new algorithm for exact simulation of a neutral Wright-Fisher bridge is derived. This follows from knowing the density of the frequency in a bridge and exact simulation from the Wright-Fisher diffusion. The genealogy of the neutral Wright-Fisher bridge is also modelled by branching Pólya urns, extending a representation in a Wright-Fisher diffusion. This is a new very interesting representation that relates Wright-Fisher bridges to classical urn models in a Bayesian setting.
△ Less
Submitted 21 August, 2017; v1 submitted 1 March, 2017;
originally announced March 2017.
-
Simulation from quasi-stationary distributions on reducible state spaces
Authors:
Adam Griffin,
Paul A. Jenkins,
Gareth O. Roberts,
Simon E. F. Spencer
Abstract:
Quasi-stationary distributions (QSDs)arise from stochastic processes that exhibit transient equilibrium behaviour on the way to absorption QSDs are often mathematically intractable and even drawing samples from them is not straightforward. In this paper the framework of Sequential Monte Carlo samplers is utilized to simulate QSDs and several novel resampling techniques are proposed to accommodate…
▽ More
Quasi-stationary distributions (QSDs)arise from stochastic processes that exhibit transient equilibrium behaviour on the way to absorption QSDs are often mathematically intractable and even drawing samples from them is not straightforward. In this paper the framework of Sequential Monte Carlo samplers is utilized to simulate QSDs and several novel resampling techniques are proposed to accommodate models with reducible state spaces, with particular focus on preserving particle diversity on discrete spaces. Finally an approach is considered to estimate eigenvalues associated with QSDs, such as the decay parameter.
△ Less
Submitted 17 January, 2017; v1 submitted 6 December, 2016;
originally announced December 2016.
-
A coalescent dual process for a Wright-Fisher diffusion with recombination and its application to haplotype partitioning
Authors:
Robert C. Griffiths,
Paul A. Jenkins,
Sabin Lessard
Abstract:
Duality plays an important role in population genetics. It can relate results from forwards-in-time models of allele frequency evolution with those of backwards-in-time genealogical models; a well known example is the duality between the Wright-Fisher diffusion for genetic drift and its genealogical counterpart, the coalescent. There have been a number of articles extending this relationship to in…
▽ More
Duality plays an important role in population genetics. It can relate results from forwards-in-time models of allele frequency evolution with those of backwards-in-time genealogical models; a well known example is the duality between the Wright-Fisher diffusion for genetic drift and its genealogical counterpart, the coalescent. There have been a number of articles extending this relationship to include other evolutionary processes such as mutation and selection, but little has been explored for models also incorporating crossover recombination. Here, we derive from first principles a new genealogical process which is dual to a Wright-Fisher diffusion model of drift, mutation, and recombination. Our approach is based on expressing a putative duality relationship between two models via their infinitesimal generators, and then seeking an appropriate test function to ensure the validity of the duality equation. This approach is quite general, and we use it to find dualities for several important variants, including both a discrete L-locus model of a gene and a continuous model in which mutation and recombination events are scattered along the gene according to continuous distributions. As an application of our results, we derive a series expansion for the transition function of the diffusion. Finally, we study in further detail the case in which mutation is absent. Then the dual process describes the dispersal of ancestral genetic material across the ancestors of a sample. The stationary distribution of this process is of particular interest; we show how duality relates this distribution to haplotype fixation probabilities. We develop an efficient method for computing such probabilities in multilocus models.
△ Less
Submitted 8 August, 2019; v1 submitted 14 April, 2016;
originally announced April 2016.
-
Inference and rare event simulation for stopped Markov processes via reverse-time sequential Monte Carlo
Authors:
Jere Koskela,
Dario Spano,
Paul A. Jenkins
Abstract:
We present a sequential Monte Carlo algorithm for Markov chain trajectories with proposals constructed in reverse time, which is advantageous when paths are conditioned to end in a rare set. The reverse time proposal distribution is constructed by approximating the ratio of Green's functions in Nagasawa's formula. Conditioning arguments can be used to interpret these ratios as low-dimensional cond…
▽ More
We present a sequential Monte Carlo algorithm for Markov chain trajectories with proposals constructed in reverse time, which is advantageous when paths are conditioned to end in a rare set. The reverse time proposal distribution is constructed by approximating the ratio of Green's functions in Nagasawa's formula. Conditioning arguments can be used to interpret these ratios as low-dimensional conditional sampling distributions of some coordinates of the process given the others. Hence the difficulty in designing SMC proposals in high dimension is greatly reduced. We illustrate our method on estimating an overflow probability in a queueing model, the probability that a diffusion follows a narrowing corridor, and the initial location of an infection in an epidemic model on a network.
△ Less
Submitted 2 January, 2017; v1 submitted 9 March, 2016;
originally announced March 2016.
-
Zeros of modular forms of half integral weight
Authors:
Amanda Folsom,
Paul Jenkins
Abstract:
We study canonical bases for spaces of weakly holomorphic modular forms of level 4 and weights in $\mathbb{Z}+\frac{1}{2}$ and show that almost all modular forms in these bases have the property that many of their zeros in a fundamental domain for $Γ_0(4)$ lie on a lower boundary arc of the fundamental domain. Additionally, we show that at many places on this arc, the generating function for Hurwi…
▽ More
We study canonical bases for spaces of weakly holomorphic modular forms of level 4 and weights in $\mathbb{Z}+\frac{1}{2}$ and show that almost all modular forms in these bases have the property that many of their zeros in a fundamental domain for $Γ_0(4)$ lie on a lower boundary arc of the fundamental domain. Additionally, we show that at many places on this arc, the generating function for Hurwitz class numbers is equal to a particular mock modular Poincaré series, and show that for positive weights, a particular set of Fourier coefficients of cusp forms in this canonical basis cannot simultaneously vanish.
△ Less
Submitted 2 February, 2016; v1 submitted 1 February, 2016;
originally announced February 2016.
-
Bayesian non-parametric inference for $Λ$-coalescents: consistency and a parametric method
Authors:
Jere Koskela,
Paul A. Jenkins,
Dario Spanò
Abstract:
We investigate Bayesian non-parametric inference of the $Λ$-measure of $Λ$-coalescent processes with recurrent mutation, parametrised by probability measures on the unit interval. We give verifiable criteria on the prior for posterior consistency when observations form a time series, and prove that any non-trivial prior is inconsistent when all observations are contemporaneous. We then show that t…
▽ More
We investigate Bayesian non-parametric inference of the $Λ$-measure of $Λ$-coalescent processes with recurrent mutation, parametrised by probability measures on the unit interval. We give verifiable criteria on the prior for posterior consistency when observations form a time series, and prove that any non-trivial prior is inconsistent when all observations are contemporaneous. We then show that the likelihood given a data set of size $n \in \mathbb{N}$ is constant across $Λ$-measures whose leading $n - 2$ moments agree, and focus on inferring truncated sequences of moments. We provide a large class of functionals which can be extremised using finite computation given a credible region of posterior truncated moment sequences, and a pseudo-marginal Metropolis-Hastings algorithm for sampling the posterior. Finally, we compare the efficiency of the exact and noisy pseudo-marginal algorithms with and without delayed acceptance acceleration using a simulation study.
△ Less
Submitted 23 January, 2017; v1 submitted 3 December, 2015;
originally announced December 2015.
-
Exact simulation of the Wright-Fisher diffusion
Authors:
Paul A. Jenkins,
Dario Spano
Abstract:
The Wright-Fisher family of diffusion processes is a widely used class of evolutionary models. However, simulation is difficult because there is no known closed-form formula for its transition function. In this article we demonstrate that it is in fact possible to simulate exactly from a broad class of Wright-Fisher diffusion processes and their bridges. For those diffusions corresponding to rever…
▽ More
The Wright-Fisher family of diffusion processes is a widely used class of evolutionary models. However, simulation is difficult because there is no known closed-form formula for its transition function. In this article we demonstrate that it is in fact possible to simulate exactly from a broad class of Wright-Fisher diffusion processes and their bridges. For those diffusions corresponding to reversible, neutral evolution, our key idea is to exploit an eigenfunction expansion of the transition function; this approach even applies to its infinite-dimensional analogue, the Fleming-Viot process. We then develop an exact rejection algorithm for processes with more general drift functions, including those modelling natural selection, using ideas from retrospective simulation. Our approach also yields methods for exact simulation of the moment dual of the Wright-Fisher diffusion, the ancestral process of an infinite-leaf Kingman coalescent tree. We believe our new perspective on diffusion simulation holds promise for other models admitting a transition eigenfunction expansion.
△ Less
Submitted 29 September, 2023; v1 submitted 23 June, 2015;
originally announced June 2015.
-
Consistency of Bayesian nonparametric inference for discretely observed jump diffusions
Authors:
Jere Koskela,
Dario Spano,
Paul A. Jenkins
Abstract:
We introduce verifiable criteria for weak posterior consistency of identifiable Bayesian nonparametric inference for jump diffusions with unit diffusion coefficient and uniformly Lipschitz drift and jump coefficients in arbitrary dimension. The criteria are expressed in terms of coefficients of the SDEs describing the process, and do not depend on intractable quantities such as transition densitie…
▽ More
We introduce verifiable criteria for weak posterior consistency of identifiable Bayesian nonparametric inference for jump diffusions with unit diffusion coefficient and uniformly Lipschitz drift and jump coefficients in arbitrary dimension. The criteria are expressed in terms of coefficients of the SDEs describing the process, and do not depend on intractable quantities such as transition densities. We also show that products of discrete net and Dirichlet mixture model priors satisfy our conditions, again under an identifiability assumption. This generalises known results by incorporating jumps into previous work on unit diffusions with uniformly Lipschitz drift coefficients.
△ Less
Submitted 14 September, 2018; v1 submitted 15 June, 2015;
originally announced June 2015.
-
Coefficient Bounds for Level 2 Cusp Forms and Modular Functions
Authors:
Paul Jenkins,
Kyle Pratt
Abstract:
We give explicit upper bounds for the coefficients of arbitrary weight $k$, level 2 cusp forms, making Deligne's well-known $O(n^{\frac{k-1}{2}+ε})$ bound precise. We also derive asymptotic formulas and explicit upper bounds for the coefficients of certain level 2 modular functions.
We give explicit upper bounds for the coefficients of arbitrary weight $k$, level 2 cusp forms, making Deligne's well-known $O(n^{\frac{k-1}{2}+ε})$ bound precise. We also derive asymptotic formulas and explicit upper bounds for the coefficients of certain level 2 modular functions.
△ Less
Submitted 5 August, 2014;
originally announced August 2014.
-
Tractable diffusion and coalescent processes for weakly correlated loci
Authors:
Paul A. Jenkins,
Paul Fearnhead,
Yun S. Song
Abstract:
Widely used models in genetics include the Wright-Fisher diffusion and its moment dual, Kingman's coalescent. Each has a multilocus extension but under neither extension is the sampling distribution available in closed-form, and their computation is extremely difficult. In this paper we derive two new multilocus population genetic models, one a diffusion and the other a coalescent process, which a…
▽ More
Widely used models in genetics include the Wright-Fisher diffusion and its moment dual, Kingman's coalescent. Each has a multilocus extension but under neither extension is the sampling distribution available in closed-form, and their computation is extremely difficult. In this paper we derive two new multilocus population genetic models, one a diffusion and the other a coalescent process, which are much simpler than the standard models, but which capture their key properties for large recombination rates. The diffusion model is based on a central limit theorem for density dependent population processes, and we show that the sampling distribution is a linear combination of moments of Gaussian distributions and hence available in closed-form. The coalescent process is based on a probabilistic coupling of the ancestral recombination graph to a simpler genealogical process which exposes the leading dynamics of the former. We further demonstrate that when we consider the sampling distribution as an asymptotic expansion in inverse powers of the recombination parameter, the sampling distributions of the new models agree with the standard ones up to the first two orders.
△ Less
Submitted 4 March, 2015; v1 submitted 27 May, 2014;
originally announced May 2014.
-
Congruences for coefficients of modular functions
Authors:
Paul Jenkins,
DJ Thornton
Abstract:
We examine canonical bases for weakly holomorphic modular forms of weight $0$ and level $p = 2, 3, 5, 7, 13$ with poles only at the cusp at $\infty$. We show that many of the Fourier coefficients for elements of these canonical bases are divisible by high powers of $p$, extending results of the first author and Andersen. Additionally, we prove similar congruences for elements of a canonical basis…
▽ More
We examine canonical bases for weakly holomorphic modular forms of weight $0$ and level $p = 2, 3, 5, 7, 13$ with poles only at the cusp at $\infty$. We show that many of the Fourier coefficients for elements of these canonical bases are divisible by high powers of $p$, extending results of the first author and Andersen. Additionally, we prove similar congruences for elements of a canonical basis for the space of modular functions of level $4$, and give congruences modulo arbitrary primes for coefficients of such modular functions in levels 1, 2, 3, 4, 5, 7, and 13.
△ Less
Submitted 2 April, 2014;
originally announced April 2014.
-
Exact simulation of the sample paths of a diffusion with a finite entrance boundary
Authors:
Paul A. Jenkins
Abstract:
Diffusion processes arise in many fields, and so simulating the path of a diffusion is an important problem. It is usually necessary to make some sort of approximation via model-discretization, but a recently introduced class of algorithms, known as the exact algorithm and based on retrospective rejection sampling ideas, obviate the need for such discretization. In this paper I extend the exact al…
▽ More
Diffusion processes arise in many fields, and so simulating the path of a diffusion is an important problem. It is usually necessary to make some sort of approximation via model-discretization, but a recently introduced class of algorithms, known as the exact algorithm and based on retrospective rejection sampling ideas, obviate the need for such discretization. In this paper I extend the exact algorithm to apply to a class of diffusions with a finite entrance boundary. The key innovation is that for these models the Bessel process is a more suitable candidate process than the more usually chosen Brownian motion. The algorithm is illustrated by an application to a general diffusion model of population growth, where it simulates paths efficiently, while previous algorithms are impracticable.
△ Less
Submitted 22 November, 2013;
originally announced November 2013.
-
Computational inference beyond Kingman's coalescent
Authors:
Jere Koskela,
Paul A. Jenkins,
Dario Spano
Abstract:
Full likelihood inference under Kingman's coalescent is a computationally challenging problem to which importance sampling (IS) and the product of approximate conditionals (PAC) method have been applied successfully. Both methods can be expressed in terms of families of intractable conditional sampling distributions (CSDs), and rely on principled approximations for accurate inference. Recently, mo…
▽ More
Full likelihood inference under Kingman's coalescent is a computationally challenging problem to which importance sampling (IS) and the product of approximate conditionals (PAC) method have been applied successfully. Both methods can be expressed in terms of families of intractable conditional sampling distributions (CSDs), and rely on principled approximations for accurate inference. Recently, more general $Λ$- and $Ξ$-coalescents have been observed to provide better modelling fits to some genetic data sets. We derive families of approximate CSDs for finite sites $Λ$- and $Ξ$-coalescents, and use them to obtain "approximately optimal" IS and PAC algorithms for $Λ$-coalescents, yielding substantial gains in efficiency over existing methods.
△ Less
Submitted 16 December, 2015; v1 submitted 22 November, 2013;
originally announced November 2013.
-
Interlacing of zeros of weakly holomorphic modular forms
Authors:
Paul Jenkins,
Kyle Pratt
Abstract:
We prove that the zeros of a family of extremal modular forms interlace, settling a question of Nozaki. Additionally, we show that the zeros of almost all forms in a basis for the space of weakly holomorphic modular forms of weight $k$ for $\SL_2(\mathbb{Z})$ interlace on most of the lower boundary of the fundamental domain.
We prove that the zeros of a family of extremal modular forms interlace, settling a question of Nozaki. Additionally, we show that the zeros of almost all forms in a basis for the space of weakly holomorphic modular forms of weight $k$ for $\SL_2(\mathbb{Z})$ interlace on most of the lower boundary of the fundamental domain.
△ Less
Submitted 5 August, 2013;
originally announced August 2013.
-
Integral traces of weak Maass forms of genus zero odd prime level
Authors:
Nathan Green,
Paul Jenkins
Abstract:
Duke and the second author defined a family of linear maps from spaces of weakly holomorphic modular forms of negative integral weight and level 1 into spaces of weakly holomorphic modular forms of half integral weight and level 4 and showed that these lifts preserve the integrality of Fourier coefficients. We show that the generalization of these lifts to modular forms of genus 0 odd prime level…
▽ More
Duke and the second author defined a family of linear maps from spaces of weakly holomorphic modular forms of negative integral weight and level 1 into spaces of weakly holomorphic modular forms of half integral weight and level 4 and showed that these lifts preserve the integrality of Fourier coefficients. We show that the generalization of these lifts to modular forms of genus 0 odd prime level also preserves the integrality of Fourier coefficients.
△ Less
Submitted 8 July, 2013;
originally announced July 2013.
-
Zeros of weakly holomorphic modular forms of level 4
Authors:
Andrew Haddock,
Paul Jenkins
Abstract:
Let $M_k^\sharp(4)$ be the space of weakly holomorphic modular forms of weight $k$ and level $4$ that are holomorphic away from the cusp at $\infty$. We define a canonical basis for this space and show that for almost all of the basis elements, the majority of their zeros in a fundamental domain for $Γ_0(4)$ lie on the lower boundary of the fundamental domain. Additionally, we show that the Fourie…
▽ More
Let $M_k^\sharp(4)$ be the space of weakly holomorphic modular forms of weight $k$ and level $4$ that are holomorphic away from the cusp at $\infty$. We define a canonical basis for this space and show that for almost all of the basis elements, the majority of their zeros in a fundamental domain for $Γ_0(4)$ lie on the lower boundary of the fundamental domain. Additionally, we show that the Fourier coefficients of the basis elements satisfy an interesting duality property.
△ Less
Submitted 16 May, 2013;
originally announced May 2013.
-
Zeros of weakly holomorphic modular forms of levels 2 and 3
Authors:
Sharon Anne Garthwaite,
Paul Jenkins
Abstract:
Let $M_k^\sharp(N)$ be the space of weakly holomorphic modular forms for $Γ_0(N)$ that are holomorphic at all cusps except possibly at $\infty$. We study a canonical basis for $M_k^\sharp(2)$ and $M_k^\sharp(3)$ and prove that almost all modular forms in this basis have the property that the majority of their zeros in a fundamental domain lie on a lower boundary arc of the fundamental domain.
Let $M_k^\sharp(N)$ be the space of weakly holomorphic modular forms for $Γ_0(N)$ that are holomorphic at all cusps except possibly at $\infty$. We study a canonical basis for $M_k^\sharp(2)$ and $M_k^\sharp(3)$ and prove that almost all modular forms in this basis have the property that the majority of their zeros in a fundamental domain lie on a lower boundary arc of the fundamental domain.
△ Less
Submitted 13 May, 2013; v1 submitted 31 May, 2012;
originally announced May 2012.
-
Padé approximants and exact two-locus sampling distributions
Authors:
Paul A. Jenkins,
Yun S. Song
Abstract:
For population genetics models with recombination, obtaining an exact, analytic sampling distribution has remained a challenging open problem for several decades. Recently, a new perspective based on asymptotic series has been introduced to make progress on this problem. Specifically, closed-form expressions have been derived for the first few terms in an asymptotic expansion of the two-locus samp…
▽ More
For population genetics models with recombination, obtaining an exact, analytic sampling distribution has remained a challenging open problem for several decades. Recently, a new perspective based on asymptotic series has been introduced to make progress on this problem. Specifically, closed-form expressions have been derived for the first few terms in an asymptotic expansion of the two-locus sampling distribution when the recombination rate $ρ$ is moderate to large. In this paper, a new computational technique is developed for finding the asymptotic expansion to an arbitrary order. Computation in this new approach can be automated easily. Furthermore, it is proved here that only a finite number of terms in the asymptotic expansion is needed to recover (via the method of Padé approximants) the exact two-locus sampling distribution as an analytic function of $ρ$; this function is exact for all values of $ρ\in[0,\infty)$. It is also shown that the new computational framework presented here is flexible enough to incorporate natural selection.
△ Less
Submitted 2 May, 2012; v1 submitted 20 July, 2011;
originally announced July 2011.
-
Divisibility Properties of Coefficients of Level $p$ Modular Functions for Genus Zero Primes
Authors:
Nickolas Andersen,
Paul Jenkins
Abstract:
Lehner's 1949 results on the $j$-invariant showed high divisibility of the function's coefficients by the primes $p\in\{2,3,5,7\}$. Expanding his results, we examine a canonical basis for the space of level $p$ modular functions holomorphic at the cusp 0. We show that the Fourier coefficients of these functions are often highly divisible by these same primes.
Lehner's 1949 results on the $j$-invariant showed high divisibility of the function's coefficients by the primes $p\in\{2,3,5,7\}$. Expanding his results, we examine a canonical basis for the space of level $p$ modular functions holomorphic at the cusp 0. We show that the Fourier coefficients of these functions are often highly divisible by these same primes.
△ Less
Submitted 6 June, 2011;
originally announced June 2011.
-
Two-divisibility of the coefficients of certain weakly holomorphic modular forms
Authors:
Darrin Doud,
Paul Jenkins,
John Lopez
Abstract:
We study a canonical basis for spaces of weakly holomorphic modular forms of weights 12, 16, 18, 20, 22, and 26 on the full modular group. We prove a relation between the Fourier coefficients of modular forms in this canonical basis and a generalized Ramanujan tau-function, and use this to prove that these Fourier coefficients are often highly divisible by 2.
We study a canonical basis for spaces of weakly holomorphic modular forms of weights 12, 16, 18, 20, 22, and 26 on the full modular group. We prove a relation between the Fourier coefficients of modular forms in this canonical basis and a generalized Ramanujan tau-function, and use this to prove that these Fourier coefficients are often highly divisible by 2.
△ Less
Submitted 29 July, 2011; v1 submitted 3 May, 2011;
originally announced May 2011.
-
Bounds for coefficients of cusp forms and extremal lattices
Authors:
Paul Jenkins,
Jeremy Rouse
Abstract:
A cusp form $f(z)$ of weight $k$ for $\SL_{2}(\Z)$ is determined uniquely by its first $\ell := \dim S_{k}$ Fourier coefficients. We derive an explicit bound on the $n$th coefficient of $f$ in terms of its first $\ell$ coefficients. We use this result to study the non-negativity of the coefficients of the unique modular form of weight $k$ with Fourier expansion \[F_{k,0}(z) = 1 + O(q^{\ell + 1}).\…
▽ More
A cusp form $f(z)$ of weight $k$ for $\SL_{2}(\Z)$ is determined uniquely by its first $\ell := \dim S_{k}$ Fourier coefficients. We derive an explicit bound on the $n$th coefficient of $f$ in terms of its first $\ell$ coefficients. We use this result to study the non-negativity of the coefficients of the unique modular form of weight $k$ with Fourier expansion \[F_{k,0}(z) = 1 + O(q^{\ell + 1}).\] In particular, we show that $k = 81632$ is the largest weight for which all the coefficients of $F_{0,k}(z)$ are non-negative. This result has applications to the theory of extremal lattices.
△ Less
Submitted 28 March, 2011; v1 submitted 29 December, 2010;
originally announced December 2010.
-
An asymptotic sampling formula for the coalescent with Recombination
Authors:
Paul A. Jenkins,
Yun S. Song
Abstract:
Ewens sampling formula (ESF) is a one-parameter family of probability distributions with a number of intriguing combinatorial connections. This elegant closed-form formula first arose in biology as the stationary probability distribution of a sample configuration at one locus under the infinite-alleles model of mutation. Since its discovery in the early 1970s, the ESF has been used in various biol…
▽ More
Ewens sampling formula (ESF) is a one-parameter family of probability distributions with a number of intriguing combinatorial connections. This elegant closed-form formula first arose in biology as the stationary probability distribution of a sample configuration at one locus under the infinite-alleles model of mutation. Since its discovery in the early 1970s, the ESF has been used in various biological applications, and has sparked several interesting mathematical generalizations. In the population genetics community, extending the underlying random-mating model to include recombination has received much attention in the past, but no general closed-form sampling formula is currently known even for the simplest extension, that is, a model with two loci. In this paper, we show that it is possible to obtain useful closed-form results in the case the population-scaled recombination rate $ρ$ is large but not necessarily infinite. Specifically, we consider an asymptotic expansion of the two-locus sampling formula in inverse powers of $ρ$ and obtain closed-form expressions for the first few terms in the expansion. Our asymptotic sampling formula applies to arbitrary sample sizes and configurations.
△ Less
Submitted 15 October, 2010;
originally announced October 2010.
-
$p$-adic properties of coefficients of weakly holomorphic modular forms
Authors:
Darrin Doud,
Paul Jenkins
Abstract:
We examine the Fourier coefficients of modular forms in a canonical basis for the spaces of weakly holomorphic modular forms of weights 4, 6, 8, 10, and 14, and show that these coefficients are often highly divisible by the primes 2, 3, and 5.
We examine the Fourier coefficients of modular forms in a canonical basis for the spaces of weakly holomorphic modular forms of weights 4, 6, 8, 10, and 14, and show that these coefficients are often highly divisible by the primes 2, 3, and 5.
△ Less
Submitted 15 October, 2009;
originally announced October 2009.
