# Number Theory (math.NT)

• Mar 29 2017 math.NT arXiv:1703.09633v1
We construct two families of harmonic Maass Hecke eigenforms. This construction answers a question of Mazur about the existence of an "eigencurve-type" object in the world of harmonic Maass forms. Using these families, we construct $p$-adic harmonic Maass forms in the sense of Serre.
• We describe a decomposition algorithm for elliptic multiple zeta values, which amounts to the construction of an injective map $\psi$ from the algebra of elliptic multiple zeta values to a space of iterated Eisenstein integrals. We give many examples of this decomposition, and conclude with a short discussion about the image of $\psi$. It turns out that the failure of surjectivity of $\psi$ is in some sense governed by period polynomials of modular forms.
• This is a sequel to the paper arXiv:1312.6438 by the same authors. In this sequel, we quantitatively improve several of the main results of arXiv:1312.6438, as well as generalising a method therein to give a near-optimal bound for a new expander. The main new results are the following bounds, which hold for any finite set $A \subset \mathbb R$: \beginalign* ∃a ∈A \text such that |A(A+a)| &≳|A|^\frac32+\frac1186, |A(A-A)| &≳|A|^\frac32+\frac134, |A(A+A)| &≳|A|^\frac32+\frac5242, |{(a_1+a_2+a_3+a_4)^2+\log a_5 : a_i ∈A }| &≫\frac|A|^2\log |A|. \endalign*
• Mar 29 2017 math.NT arXiv:1703.09526v1
Mazur, Rubin, and Stein have recently formulated a series of conjectures about statistical properties of modular symbols in order to understand central values of twists of elliptic curve $L$-functions. Two of these conjectures relate to the asymptotic growth of the first and second moments of the modular symbols. We prove these on average by using analytic properties of Eisenstein series twisted by modular symbols. Another of their conjectures predicts the Gaussian distribution of normalized modular symbols ordered according to the size of the denominator of the cusps. We prove this conjecture in a refined version that also allows restrictions on the location of the cusps.
• We study the algebra $\mathcal{E}$ of elliptic multiple zeta values, which is an elliptic analog of the algebra of multiple zeta values. We identify a set of generators of $\mathcal{E}$, which satisfy a double shuffle type family of algebraic relations, similar to the double-shuffle relations for multiple zeta values. We prove that the elliptic double shuffle relations give all algebraic relations among elliptic multiple zeta values, if (a) the classical double shuffle relations give all algebraic relations among multiple zeta values and if (b) the elliptic double shuffle Lie algebra has a certain natural semi-direct product structure.
• Consider the power pseudorandom-number generator in a finite field ${\mathbb F}_q$. That is, for some integer $e\ge2$, one considers the sequence $u,u^e,u^{e^2},\dots$ in ${\mathbb F}_q$ for a given seed $u\in {\mathbb F}_q^\times$. This sequence is eventually periodic. One can consider the number of cycles that exist as the seed $u$ varies over ${\mathbb F}_q^\times$. This is the same as the number of cycles in the functional graph of the map $x\mapsto x^e$ in ${\mathbb F}_q^\times$. We prove some estimates for the maximal and average number of cycles in the case of prime finite fields.
• The (generalised) Mellin transforms of certain Chebyshev and Gegenbauer functions based upon the Chebyshev and Gegenbauer polynomials, have polynomial factors $p_n(s)$, whose zeros lie all on the critical line' $\Re\,s=1/2$ or on the real axis (called critical polynomials). The transforms are identified in terms of combinatorial sums related to H. W. Gould's S:4/3, S:4/2 and S:3/1 binomial coefficient forms. Their critical polynomial' factors are then identified as variants of the S:4/1 form, and more compactly in terms of certain $_3F_2(1)$ hypergeometric functions. Furthermore, we extend these results to a $1$-parameter family of polynomials with zeros only on the critical line. These polynomials possess the functional equation $p_n(s;\beta)=\pm p_n(1-s;\beta)$, similar to that for the Riemann xi function. It is shown that via manipulation of the binomial factors, these critical polynomials' can be simplified to an S:3/2 form, which after normalisation yields the rational function $q_n(s).$ The denominator of the rational form has singularities on the negative real axis, and so $q_n(s)$ has the same critical zeros' as the `critical polynomial' $p_n(s)$. Moreover as $s\rightarrow \infty$ along the positive real axis, $q_n(s)\rightarrow 1$ from below, mimicking $1/\zeta(s)$ on the positive real line. In the case of the Chebyshev parameters we deduce the simpler S:2/1 binomial form, and with $\mathcal{C}_n$ the $n$th Catalan number, $s$ an integer, we show that polynomials $4\mathcal{C}_{n-1}p_{2n}(s)$ and $\mathcal{C}_{n}p_{2n+1}(s)$ yield integers with only odd prime factors. The results touch on analytic number theory, special function theory, and combinatorics.

### Recent comments

Mario Jun 08 2016 06:58 UTC

Too bad, the paper has been withdrawn due to a mistake :-/

Māris Ozols Mar 19 2016 16:34 UTC

This result has caused quite a lot of excitement in number theory (see the articles in [Quanta Magazine][1] and [Nature News][2]).

It turns out that the last digits of consecutive primes are not uniformly distributed but rather tend to be anti-correlated. For example, in base 10 the last digit of

...(continued)
Zoltán Zimborás Sep 18 2015 04:26 UTC

I can only quote Derrick Stolee: 'Terry Tao just dropped a bomb'. :)

Charles Greathouse Nov 17 2014 18:38 UTC

The basic idea of this paper is to test whether the decimal digits of three special constants $(\pi,e,\sqrt2)$ act as though chosen from a uniform distribution, based on their first ten million digits. In particular the author studies the sum of the digits compared to the expected behavior by the la

...(continued)
Noon van der Silk Jun 20 2013 07:29 UTC

This paper seems pretty interesting, really. (In how it would relate to the algorithm of Shor). Does anyone know more about this work? Is it possible to improve the restriction on the characteristic size? Is that even an important restriction?

Noon van der Silk Jun 22 2013 01:22 UTC

Thanks Anthony and Juan.

There's another blog post on this here: http://ellipticnews.wordpress.com/2013/06/21/quasi-polynomial-time-algorithm-for-discrete-logarithm-in-finite-fields-of-smallmedium-characteristic/.

Juan Bermejo-Vega Jun 20 2013 15:09 UTC

@Noon Silk. I do not know what to say about heuristic 3, but, in relation to your first question, let's assume that all heuristics are valid and apply theorem 2 to solve the Discrete Logarithm over Z_q*, where q is prime. As far as I understood (someone please correct me if I am wrong) the algorithm

...(continued)
Anthony Jun 20 2013 07:42 UTC

There was a discussion about a previous paper of Joux (with a weaker result) on this blog post:
https://rjlipton.wordpress.com/2013/05/06/a-most-perplexing-mystery

Alessandro Jul 12 2013 03:45 UTC

And here is a question on cstheory.SE about this paper: http://cstheory.stackexchange.com/q/18134/1542