# Number Theory (math.NT)

• Jan 18 2017 math.NT arXiv:1701.04633v1
We investigate properties of zeta functions of polynomial rings and their quotients, generalizing and extending some classical results about Dedekind zeta functions of number fields. By an application of Delange's version of the Ikehara Tauberian Theorem, we are then able to determine the asymptotic order of the ideal counting function in such rings. As a result, we produce counting estimates on ideal lattices of bounded determinant coming from fixed number fields, as well as density estimates for any ideal lattices among all sublattices of $\mathbb Z^d$. We conclude with some more general speculations and open questions.
• We present several continued fraction algorithms, each of which gives an eventually periodic expansion for every quadratic element of ${\mathbb Q}_p$ over ${\mathbb Q}$ and gives a finite expansion for every rational number. We also give, for each of our algorithms, the complete characterization of elements having purely periodic expansions.
• The finiteness property is an important arithmetical property of beta-expansions. We exhibit classes of Pisot numbers $\beta$ having the negative finiteness property, that is the set of finite $(-\beta)$-expansions is equal to $\mathbb{Z}[\beta^{-1}]$. For a class of numbers including the Tribonacci number, we compute the maximal length of the fractional parts arising in the addition and subtraction of $(-\beta)$-integers. We also give conditions excluding the negative finiteness property.
• This paper discusses four formulae conjectured by J. A. Lara Rodríguez on certain power series in function fields, which yield a 'harmonic product' formula for Thakur's double zeta values. We prove affirmatively the first two formulae. While we detect and correct errors in the last two formulae, and prove the corrected ones.
• The purpose of this paper is to prove the upper bound in Malle's conjecture on the distribution of finite extensions of $\mathbb{F}_q(t)$ with specified Galois group. As in previous work of Ellenberg-Venkatesh-Westerland, our result is based upon computations of the homology of braid groups with certain (exponential) coefficients. However, the approach in this paper is new, relying on a connection between the cohomology of Hurwitz spaces and the cohomology of quantum shuffle algebras.
• We define a finite-field version of Appell-Lauricella hypergeometric functions built from period functions in several variables, paralleling the development by Fuselier, et. al in the single variable case. We develop geometric connections between these functions and the family of generalized Picard curves. In our main result, we use finite-field Appell-Lauricella functions to establish a finite-field analogue of Koike and Shiga's cubic transformation for the Appell hypergeometric function $F_1$, proving a conjecture of Ling Long. We use our multivariable period functions to construct formulas for the number of $\mathbb{F}_p$-points on the generalized Picard curves. We also give some transformation and reduction formulas for the period functions, and consequently for the finite-field Appell-Lauricella functions.
• The Hasse-Witt matrix of a hypersurface in ${\mathbb P}^n$ over a finite field of characteristic $p$ gives essentially complete mod $p$ information about the zeta function of the hypersurface. But if the degree $d$ of the hypersurface is $\leq n$, the zeta function is trivial mod $p$ and the Hasse-Witt matrix is zero-by-zero. We generalize a classical formula for the Hasse-Witt matrix to obtain a matrix that gives a nontrivial congruence for the zeta function for all $d$. We also describe the differential equations satisfied by this matrix and prove that it is generically invertible.
• Let $G$ be a connected semisimple Lie group with finite center. Let $\Gamma \subset G$ be a discrete subgroup. We study closed admissible irreducible subrepresentations of the space of distributions $\mathcal S(\Gamma \backslash G)'$ defined by Casselman, and their relations to automorphic forms.
• The skew-harmonic numbers are the partial sums of the alternating harmonic series, i.e. the expansion of log(2). We evaluate in closed form various power series and numerical series with skew-harmonic numbers. This provides a simultaneous solution of two recent problems by Ovidiu Furdui in the American Mathematical Monthly and the College Mathematics Journal. We also present and discuss representations involving the dilogarithm and the trilogaithm which are related to our results. Finally, we provide the evaluations of several double integrals in terms of classical constants.
• Let $\mathcal{S}\subset\mathbb{F}_{q}^{n}$ be the subset of self-orthogonal vectors in $\mathbb{F}_q^n$, which has size $|\mathcal{S}|=q^{n-1}+O\left(\sqrt{q^{n}}\right)$. In this paper we use the recently developed slice rank method to show that any set $E\subset\mathcal{S}$ of size $|E|>(n+1)^(q-1)(k-1)$contains a $k$-tuple of distinct mutually orthogonal vectors, where $n\geq\binom{k}{2}$ and $q=p^{r}$ with $p\geq k$. The key innovation is a more general version of the slice rank of a tensor, which we call the multi-slice rank. We use a combinatorial argument to create an appropriate indicator tensor for the orthogonality of $k$-vectors, however for $k\geq4$ this tensor will have large slice rank, and so to obtain our results we need to use the less restrictive multi-slice rank. Additionally, we use this method to generalize a recent result of Ge and Shangguan, and prove that any set $A\subset\mathbb{F}_{q}^{n}$ of size $|A|>\binomn+(q-1)(k-1)(q-1)(k-1)$contains a $k$-right-corner, that is distinct vectors $x_{1},\dots,x_{k},x_{k+1}$ where $x_{1}-x_{k+1},\dots,x_{k}-x_{k+1}$ are mutually orthogonal, as long as $n\geq\binom{k+1}{2}$ and $q=p^{r}$ with $p>k$.
• In this paper the rigid cohomology of Drinfeld's upper half space over a finite field is computed in two ways. The first method proceeds by computation of the rigid cohomology of the complement of Drinfeld's upper half space in the ambient projective space and then use of the associated long exact sequence for rigid cohomology with proper supports. The second method proceeds by direct computation of rigid cohomology as a direct limit of de Rham cohomologies of a family of strict open neighborhoods of the tube of Drinfeld's upper half space in the ambient rigid-analytic projective space. The resulting cohomology formula has been known since 2007, when Grosse-Kloenne proved that it is the same as the one obtained from l-adic cohomology.
• In this article, we investigate how Euler might have been led to conjecture the Prime Number Theorem, based on what he knew. We also speculate on why he did not do so.

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