# Number Theory (math.NT)

• In this article, we use the Combinatorial Nullstellensatz to give new proofs of the Cauchy-Davenport, the Dias da Silva-Hamidoune and to generalize a previous addition theorem of the author. Precisely, this last result proves that for a set A $\subset$ Fp such that A $\cap$ (--A) = $\emptyset$ the cardinality of the set of subsums of at least $\alpha$ pairwise distinct elements of A is: |$\Sigma$$\alpha$(A)| $\ge$ min (p, |A|(|A| + 1)/2 -- $\alpha$($\alpha$ + 1)/2 + 1) , the only cases previously known were $\alpha$ $\in$ 0, 1. The Combinatorial Nullstellensatz is used, for the first time, in a direct and in a reverse way. The direct (and usual) way states that if some coefficient of a polynomial is non zero then there is a solution or a contradiction. The reverse way relies on the coefficient formula (equivalent to the Combinatorial Nullstellensatz). This formula gives an expression for the coefficient as a sum over any cartesian product. For these three addition theorems, some arithmetical progressions (that reach the bounds) will allow to consider cartesian products such that the coefficient formula is a sum all of whose terms are zero but exactly one. Thus we can conclude the proofs without computing the appropriate coefficients.
• The classical Kronecker limit formula describes the constant term in the Laurent expansion at the first order pole of the non-holomorphic Eisenstein series associated to the cusp at infinity of the modular group. Recently, the meromorphic continuation and Kronecker limit type formulas were investigated for non-holomorphic Eisenstein series associated to hyperbolic and elliptic elements of a Fuchsian group of the first kind by Jorgenson, Kramer and the first named author. In the present work, we realize averaged versions of all three types of Eisenstein series for $\Gamma_0(N)$ as regularized theta lifts of a single type of Poincaré series, due to Selberg. Using this realization and properties of the Poincaré series we derive the meromorphic continuation and Kronecker limit formulas for the above Eisenstein series. The corresponding Kronecker limit functions are then given by the logarithm of the absolute value of the Borcherds product associated to a special value of the underlying Poincaré series.
• We find nice representatives for the 0-dimensional cusps of the degree $n$ Siegel upper half-space under the action of $\Gamma_0(\stufe)$. To each of these we attach a Siegel Eisenstein series, and then we make explicit a result of Siegel, realizing any integral weight average Siegel theta series of arbitrary level $\stufe$ and Dirichlet character $\chi_L$ modulo $\stufe$ as a linear combination of Siegel Eisenstein series.
• Feb 22 2017 math.NT arXiv:1702.06487v1
I solve here a question of Vladimir Reshetnikov in Mathoverflow (question 261649) about the values of Fabius function. Namely, I prove that the numbers $R_n:=2^{-\binom{n-1}{2}}(2n)! F(2^{-n})\prod_{m=1}^{\lfloor n/2\rfloor}(2^{2m}-1)$ are integers. We show also some other arithmetical properties of the values of Fabius function at dyadic points.
• Let $(\mathbb{T}_f,\mathfrak{m}_f)$ denote the mod $p$ local Hecke algebra attached to a normalised Hecke eigenform $f$, which is a commutative algebra over some finite field $\mathbb{F}_q$ of characteristic $p$ and with residue field $\mathbb{F}_q$. By a result of Carayol we know that, if the residual Galois representation $\overline{\rho}_f:G_\mathbb{Q}\rightarrow\mathrm{GL}_2(\mathbb{F}_q)$ is absolutely irreducible, then one can attach to this algebra a Galois representation $\rho_f:G_\mathbb{Q}\rightarrow\mathrm{GL}_2(\mathbb{T}_f)$ that is a lift of $\overline{\rho}_f$. We will show how one can determine the image of $\rho_f$ under the assumptions that $(i)$ the image of the residual representation contains $\mathrm{SL}_2(\mathbb{F}_q)$, $(ii)$ that $\mathfrak{m}_f^2=0$ and $(iii)$ that the coefficient ring is generated by the traces. As an application we will see that the methods that we use allow us to deduce the existence of certain $p$-elementary abelian extensions of big non-solvable number fields.
• We show that a Born-Infeld soliton can be realised either as a spacelike minimal graph or timelike minimal graph over a timelike plane or a combination of both away from singular points. We also obtain some exact solutions of the Born-Infeld equation from already known solutions to the maximal surface equation. Further we present a method to construct a one-parameter family of complex solitons from a given one parameter family of maximal surfaces. Finally, using Ramanujan's Identities and the Weierstrass-Enneper representation of maximal surfaces, we derive further non-trivial identities.
• We show that (under mild assumptions) the generating function of log homology torsion of a knot exterior has a meromorphic continuation to the entire complex plane. As corollaries, this gives new proofs of (a) the Silver-Williams asymptotic, (b) Fried's theorem on reconstructing the Alexander polynomial (c) Gordon's theorem on periodic homology. Our results generalize to other rank 1 growth phenomena, e.g. Reidemeister-Franz torsion growth for higher-dimensional knots. We also analyze the exceptional cases where the meromorphic continuation does not exist.
• We prove that the family of non-cocompact non-commensurable lattices $PSL(2,O_F)$ in $PSL(2, R^{r_1}\oplus C^{r_2})$ with F running over number fields with fixed archimedean signature $(r_1, r_2)$ has the limit multiplicity property.
• Feb 22 2017 math.NT arXiv:1702.06422v1
We realize that geometric polynomials and p-Bernoulli polynomials and numbers are closely related with an integral representation. Therefore, using geometric polynomials, we extend some properties of Bernoulli polynomials and numbers such as recurrence relations, telescopic formula and Raabe's formula to p-Bernoulli polynomials and numbers. In particular cases of these results, we establish some new results for Bernoulli polynomials and numbers. Moreover, we evaluate a Faulhaber-type summation in terms of p-Bernoulli polynomials.
• In this paper, using geometric polynomials, we obtain a generating function of p-Bernoulli numbers. As a consequences this generating function, we derive closed formulas for the finite summation of Bernoulli and harmonic numbers involving Stirling numbers of the second kind.
• We show that whenever $\delta>0$, $\eta$ is real and constants $\lambda _i$ satisfy some necessary conditions, there are infinitely many prime triples $p_1,\, p_2,\, p_3$ satisfying the inequality $|\lambda _1p_1 + \lambda _2p_2 + \lambda _3p_3+\eta|<(\max p_j)^{-1/12+\delta}$ and such that, for each $i\in\{1,2,3\}$, $p_i+2$ has at most $28$ prime factors.

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