Number Theory (math.NT)

• Nov 21 2017 math.NT arXiv:1711.06847v1
For an integer $k\ge2$, a tuple of $k$ positive integers $(M_i)_{i=1}^{k}$ is called an amicable $k$-tuple if the equation $\sigma(M_1)=⋯=\sigma(M_k)=M_1+⋯+M_k$holds. This is a generalization of amicable pairs. An amicable pair is a pair of distinct positive integers each of which is the sum of the proper divisors of the other. Gmelin (1917) conjectured that there is no relatively prime amicable pairs and Artjuhov (1975) and Borho (1974) proved that for any fixed positive integer $K$, there are only finitely many relatively prime amicable pairs $(M,N)$ with $\omega(MN)=K$. Recently, Pollack (2015) obtained an upper bound $MN<(2K)^2^K^2$for such amicable pairs. In this paper, we improve this upper bound to $MN<\frac\pi^262^4^K-2⋅2^K$and generalize this bound to some class of general amicable tuples.
• We use Poincaré series of $K$-finite matrix coefficients of genuine integrable representations of the metaplectic cover of $\mathrm{SL}_2(\mathbb R)$ to construct a spanning set for the space of cusp forms $S_m(\Gamma,\chi)$, where $\Gamma$ is a discrete subgroup of finite covolume in the metaplectic cover of $\mathrm{SL}_2(\mathbb R)$, $\chi$ is a character of $\Gamma$ of finite order, and $m\in\frac52+\mathbb Z_{\geq0}$. We give a result on the non-vanishing of the constructed cusp forms and compute their Petersson inner product with any $f\in S_m(\Gamma,\chi)$. Using this last result, we construct a Poincaré series $\Delta_{\Gamma,k,m,\xi,\chi}\in S_m(\Gamma,\chi)$ that corresponds, in the sense of the Riesz representation theorem, to the linear functional $f\mapsto f^{(k)}(\xi)$ on $S_m(\Gamma,\chi)$, where $\xi\in\mathbb C_{\Im(z)>0}$ and $k\in\mathbb Z_{\geq0}$. Under some additional conditions on $\Gamma$ and $\chi$, we provide the Fourier expansion of cusp forms $\Delta_{\Gamma,k,m,\xi,\chi}$ and their expansion in a series of classical Poincaré series.
• In [Mas82] and [Vee78] it was proved independently that almost every interval exchange transformation is uniquely ergodic. The Birkhoff ergodic theorem implies that these maps mainly have uniformly distributed orbits. This raises the question under which conditions the orbits yield low-discrepancy sequences. The case of $n=2$ intervals corresponds to circle rotation, where conditions for low-discrepancy are well-known. In this paper, we give corresponding conditions in the case $n=3$. Furthermore, we construct infinitely many interval exchange transformations with low-discrepancy orbits for $n \geq 4$. We also show that these examples do not coincide with $LS$-sequences if $S \geq 2$.
• This note points out that for any odd prime $p$, Zagier's weight $3/2$ mock Eisenstein series can be completed to a $p$-adic modular form in a way that bears some resemblance to its completion to a harmonic Maass form.
• Let $(\mathsf{G},\mathsf{X})$ be a Shimura datum of Hodge type. Let $p$ be an odd prime such that $\mathsf{G}_{\mathbb{Q}_p}$ splits after a tamely ramified extension and $p\nmid |\pi_1(\mathsf{G}^{\rm der})|$. Under some mild additional assumptions that are satisfied if the associated Shimura variety is proper and $\mathsf{G}_{\mathbb{Q}_p}$ is either unramified or residually split, we prove the generalisation of Mantovan's formula for the $l$-adic cohomology of the associated Shimura variety. On the way we derive some new results about the geometry of the Newton stratification of the reduction modulo $p$ of the Kisin-Pappas integral model.
• It is argued that in the context of geometric quantization holomorphic part of zero-mode wave functions in abelian Chern-Simons theory on the torus can naturally be considered as modular forms of weight 2. In the geometric quantization the zero-mode wave function can be defined as $\Psi [ a, {\bar a} ] = e^{- \frac{K(a, {\bar a})}{2}} f (a)$ where $K(a ,{\bar a} )$ denotes a Kähler potential for the zero-mode variable $a \in \mathbb{C}$ on the torus. We first review that $f(a)$ can be described in terms of Jacobi theta functions by imposing gauge invariance on $\Psi [ a, {\bar a} ]$ where gauge transformations are induced by doubly periodic translations of $a$. We discuss that $f(a)$ is quantum theoretically characterized by ($i$) an operative relation in the $a$-space representation and ($ii$) an inner product of $\Psi [ a, {\bar a} ]$'s including ambiguities in the choice of $K(a ,{\bar a} )$. We then consider a similar gauge invariance condition on $\Psi [ a, {\bar a} ]$ associated with modular transformations of $a$. We choose the modular parameter $\tau = i \tau_2$ of the torus such that the number density of the zero modes is preserved under the modular transformations of $a$. The results illustrate that we can quantum theoretically identify $f(a)$ as a modular form of weight 2. We confirm this statement by use of a specific representation of $f(a)$ in terms of the Jacobi theta function. We also indicate that the wave-function inner product gives rise to a quantum version of the Petersson inner product for the modular forms of weight 2.
• Wall's theorem on arithmetic progressions says that if $0.a_1a_2a_3\dots$ is normal, then for any $k,\ell\in \mathbb{N}$, $0.a_ka_{k+\ell}a_{k+2\ell}\dots$ is also normal. We examine a converse statement and show that if $0.a_{n_1}a_{n_2}a_{n_3}\dots$ is normal for periodic increasing sequences $n_1<n_2<n_3<\dots$ of asymptotic density arbitrarily close to $1$, then $0.a_1a_2a_3\dots$ is normal. We show this is close to sharp in the sense that there are numbers $0.a_1a_2a_3\dots$ that are not normal, but for which $0.a_{n_1}a_{n_2}a_{n_3}\dots$ is normal along a large collection of sequences whose density is bounded a little away from $1$.
• The connection between geodesics on the modular surface $\operatorname{PSL}(2,{\mathbb Z})\backslash {\mathbb H}$ and regular continued fractions, established by Series, is extended to a connection between geodesics on $\Gamma\backslash {\mathbb H}$ and odd and grotesque continued fractions, where $\Gamma\cong {\Bbb Z}_3 \ast {\Bbb Z}_3$ is the index two subgroup of $\operatorname{PSL}(2,{\mathbb Z})$ generated by the free elements of order three $\left( \begin{smallmatrix} 0 & -1 \\ 1 & 1 \end{smallmatrix} \right)$ and $\left( \begin{smallmatrix} 0 & 1 \\ -1 & 1 \end{smallmatrix} \right)$, having an ideal quadrilateral as fundamental domain. A similar connection between geodesics on $\Theta\backslash {\mathbb H}$ and even continued fractions is discussed in our framework, where $\Theta$ denotes the Theta subgroup of $\operatorname{PSL}(2,{\mathbb Z})$ generated by $\left( \begin{smallmatrix} 0 & -1 \\ 1 & 1 \end{smallmatrix} \right)$ and $\left( \begin{smallmatrix} 1 & 2 \\ 0 & 1 \end{smallmatrix} \right)$.
• We extend the result of a previous work to the case of curves with semi-stable reduction. In this case, one can replace Coleman integration by Vologodsky integration to extend the Coleman-Gross definition of a $p$-adic height pairing. we show that this pairing still equals the one defined by Nekovar.
• We prove that the Vologodsky integral of a mermorphic one-form on a curve over a $p$-adic field with semi-stable reduction restrict to Coleman integrals on the rigid subdomains reducing to the components of the smooth part of the special fiber and that on the connecting annuli the differences of these Coleman integrals form a harmonic cochain on the edges of the dual graph of the special fiber. This determines the Vologodsky integral completely. We analyze the behavior of the integral on the connecting annuli and we explain the results in the case of a Tate elliptic curve.
• In this paper we prove an analogue of the Neukirch-Uchida Theorem for purely inseparable field extensions. The main tool we are using is the Tannakian description of the local Nori fundamental gerbe developed in "Algebraic and Nori Fundamental Gerbe" by F.Tonini and L.Zhang.
• Let $K$ be a finite extension of $\mathbb{Q}_{p}$ with ring of integers $\mathfrak{o}$, and let $H_{0}$ be a formal $\mathfrak{o}$-module of finite height over a separable closure of the residue class field of $K$. The Lubin-Tate moduli space $X_{m}$ classifies deformations of $H_{0}$ equipped with level-$m$-structure. In this article, we study a particular type of $p$-adic representations originating from the action of $\text{Aut}(H_{0})$ on certain equivariant vector bundles over the rigid analytic generic fibre of $X_{m}$. We show that, for arbitrary level $m$, the Fréchet space of the global sections of these vector bundles is dual to a locally $K$-analytic representation of $\text{Aut}(H_{0})$ generalizing previous results of J. Kohlhaase in the case $K=\mathbb{Q}_{p}$ and $m=0$. As a first step towards a better understanding of these representations, we compute their locally finite vectors. Essentially, all locally finite vectors arise from the global sections over the projective space via pullback along the Gross-Hopkins period map, and are in fact locally algebraic vectors.
• The relatively prime integer topology $\tau$ on $\mathbb N$ is generated by the base consisting of arithmetic progressions $\{a+bn\}_{n=0}^\infty$ with coprime $a,b$. We prove that the topological space $(\mathbb N,\tau)$ is rigid, i.e., has trivial homeomorphism group.

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