Bertrand's postulate and the existence of finite fields
This is an expository note discussing how the Erdos--Ramanujan proof of Bertrand's postulate may be adapted to show the existence of finite fields.
Discover
Workspaces
Network
Opportunities
Account
Researcher profile
K. Soundararajan contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
This is an expository note discussing how the Erdos--Ramanujan proof of Bertrand's postulate may be adapted to show the existence of finite fields.
This article is concerned with the Fourier coefficients of cusp forms (not necessarily eigenforms) of half-integer weight lying in the plus space. We give a soft proof that there are infinitely many fundamental discriminants $D$ such that the Fourier coefficients evaluated at $|D|$ are non-zero. By adapting the resonance method, we also demonstrate that such Fourier coefficients must take quite large values.
This paper describes a method to compute lower bounds for moments of $ζ$ and $L$-functions. The method is illustrated in the case of moments of $|ζ(\frac 12+it)|$, where the results are new for small moments $0< k<1$.
The Landau-Selberg-Delange method provides an asymptotic formula for the partial sums of a multiplicative function whose average value on primes is a fixed complex number $v$. The shape of this asymptotic implies that $f$ can get very small on average only if $v=0,-1,-2,\dots$. Moreover, if $v<0$, then the Dirichlet series associated to $f$ must have a zero of multiplicity $-v$ at $s=1$. In this paper, we prove a converse result that shows that if $f$ is a multiplicative function that is bounded by a suitable divisor function, and $f$ has very small partial sums, then there must be finitely many real numbers $γ_1$, $\dots$, $γ_m$ such that $f(p)\approx -p^{iγ_1}-\cdots-p^{-iγ_m}$ on average. The numbers $γ_j$ correspond to ordinates of zeroes of the Dirichlet series associated to $f$, counted with multiplicity. This generalizes a result of the first author, who handled the case when $|f|\le 1$ in previous work.
This paper discusses examples of integral factorial ratios of height 2 or more. It classifies (apart from finitely many examples) such factorial ratios with height 2 and norm at most 1/3, and describes a general result which exhibits more than 50 two parameter families of integral factorial ratios with height 2. These examples are shown to be irreducible in the sense that they do not arise from multiplying two factorial ratios of height 1.
We use the asymptotic large sieve, developed by the authors, to prove that if the Generalized Riemann Hypothesis is true, then there exist many Dirichlet L-functions that have a pair of consecutive zeros closer together than 0.37 times their average spacing. More generally, we investigate zero spacings within the family of twists by Dirichlet characters of a fixed L-function and give precise bounds for small gaps which depend only on the degree of the L-function.
We prove a formula, with power savings, for the sixth moment of Dirichlet L-functions averaged over moduli $q$, over primitive characters $χ$ modulo $q$, and over the critical line. Our formula agrees precisely with predictions motivated by random matrix theory. In particular, the constant 42 appears as a factor in the leading order term, exactly as is predicted for the sixth moment of the Riemann zeta-function.
This paper studies integer solutions to the ABC equation A+B+C=0 in which none of A, B, C has a large prime factor. Set H(A,B, C)= max(|A|,|B|,|C|) and set the smoothness S(A, B, C) to be the largest prime factor of ABC. We consider primitive solutions (gcd(A, B, C)=1) having smoothness no larger than a fixed power p of log H. Assuming the abc Conjecture we show that there are finitely many solutions if p<1. We discuss a conditional result, showing that the Generalized Riemann Hypothesis (GRH) implies there are infinitely many primitive solutions when p>8. We sketch some details of the proof of the latter result.
We prove a conjecture of Broadurst (arXiv:1004.0519v1) on asymptotic expansions of certain polylogarithm type functions related to the Dickman function.
Assuming the Riemann hypothesis we demonstrate the existence of smooth numbers in certain short intervals.
We study how many riffle shuffles are required to mix n cards if only certain features of the deck are of interest, e.g. suits disregarded or only the colors of interest. For these features, the number of shuffles drops from 3/2 log_2(n) to log_2(n). We derive closed formulae and an asymptotic `rule of thumb' formula which is remarkably accurate.
We study the second moment of the central values of quadratic twists of a modular $L$-function. Unconditionally, we obtain a lower bound which matches the conjectured asymptotic formula, while on GRH we prove the asymptotic formula itself.