# Number Theory (math.NT)

• Jul 25 2017 math.NT arXiv:1707.07629v1
In this paper we deal with a non-linear Diophantine equation which arises from the determinant computation of an integer matrix. We show how to find a solution, when it exists. We define an equivalence relation and show how the set of all the solutions can be partitioned in a finite set of equivalence classes and find a set of solutions, one for each of these classes. We find a formula to express all the solutions and a formula to compute the cardinality of the set of fundamental solutions. An algorithm to compute the solutions is proposed and clarified with some examples.
• For an integer $k\geq 2$, let $\{F^{(k)}_{n} \}_{n\geq 0}$ be the $k$--generalized Fibonacci sequence which starts with $0, \ldots, 0, 1$ ($k$ terms) and each term afterwards is the sum of the $k$ preceding terms. In this paper, we find all integers $c$ having at least two representations as a difference between a $k$--generalized Fibonacci number and a powers of 2 for any fixed $k \geqslant 4$. This paper extends previous work from [9] for the case $k=2$ and [6] for the case $k=3$.
• Let $\mathcal{I}$ be an analytic P-ideal [respectively, a summable ideal] on the positive integers and let $(x_n)$ be a sequence taking values in a metric space $X$. First, it is shown that the set of ideal limit points of $(x_n)$ is an $F_\sigma$-set [resp., a closet set]. Let us assume that $X$ is also separable and the ideal $\mathcal{I}$ satisfies certain additional assumptions, which however includes several well-known examples, e.g., the collection of sets with zero asymptotic density, sets with zero logarithmic density, and some summable ideals. Then, it is shown that the set of ideal limit points of $(x_n)$ is equal to the set of ideal limit points of almost all its subsequences.
• For a given form $F\in \mathbb Z[x_1,\dots,x_s]$ we apply the circle method in order to give an asymptotic estimate of the number of $m$-tuples $\mathbf x_1, \dots, \mathbf x_m$ spanning a linear space on the hypersurface $F(\mathbf x) = 0$ with the property that $\det ( (\mathbf x_1, \dots, \mathbf x_m)^t \, (\mathbf x_1, \dots, \mathbf x_m)) = b$. This allows us in some measure to count rational linear spaces on hypersurfaces whose underlying integer lattice is primitive.
• Let $\{\rho_\ell\}_\ell$ be the system of $\ell$-adic representations arising from the $i$th $\ell$-adic cohomology of a complete smooth variety $X$ defined over a number field $K$. Denote the image of $\rho_\ell$ by $\Gamma_\ell$ and its Zariski closure, which is a linear algebraic group over $\mathbb{Q}_\ell$, by $\mathbf{G}_\ell$. We prove that $\mathbf{G}_\ell^{red}$, the quotient of $\mathbf{G}_\ell^\circ$ by its unipotent radical, is unramified over a totally ramified extension of $\mathbb{Q}_\ell$ for all sufficiently large $\ell$. We give a sufficient condition on $\{\rho_\ell\}_\ell$ such that for all sufficiently large $\ell$, $\Gamma_\ell$ is in some sense maximal compact in $\mathbf{G}_\ell(\mathbb{Q}_\ell)$. Since the condition is satisfied when $X$ is an abelian variety by the Tate conjecture, we obtain maximality of Galois actions for abelian varieties.
• The purpose of this paper is to investigate the asymptotic behavior of automorphism groups of function fields when genus tends to infinity. Motivated by applications in coding and cryptography, we consider the maximum size of abelian subgroups of the automorphism group $\mbox{Aut}(F/\mathbb{F}_q)$ in terms of genus ${g_F}$ for a function field $F$ over a finite field $\mathbb{F}_q$. Although the whole group $\mbox{Aut}(F/\mathbb{F}_q)$ could have size $\Omega({g_F}^4)$, the maximum size $m_F$ of abelian subgroups of the automorphism group $\mbox{Aut}(F/\mathbb{F}_q)$ is upper bounded by $4g_F+4$ for $g_F\ge 2$. In the present paper, we study the asymptotic behavior of $m_F$ by defining $M_q=\limsup_{{g_F}\rightarrow\infty}\frac{m_F \cdot \log_q m_F}{{g_F}}$, where $F$ runs through all function fields over $\mathbb{F}_q$. We show that $M_q$ lies between $2$ and $3$ (or $4$) for odd characteristic (or for even characteristic, respectively). This means that $m_F$ grows much more slowly than genus does asymptotically. The second part of this paper is to study the maximum size $b_F$ of subgroups of $\mbox{Aut}(F/\mathbb{F}_q)$ whose order is coprime to $q$. The Hurwitz bound gives an upper bound $b_F\le 84(g_F-1)$ for every function field $F/\mathbb{F}_q$ of genus $g_F\ge 2$. We investigate the asymptotic behavior of $b_F$ by defining ${B_q}=\limsup_{{g_F}\rightarrow\infty}\frac{b_F}{{g_F}}$, where $F$ runs through all function fields over $\mathbb{F}_q$. Although the Hurwitz bound shows ${B_q}\le 84$, there are no lower bounds on $B_q$ in literature. One does not even know if ${B_q}=0$. For the first time, we show that ${B_q}\ge 2/3$ by explicitly constructing some towers of function fields in this paper.
• A function field over a finite field is called maximal if it achieves the Hasse-Weil bound. Finding possible genera that maximal function fields achieve has both theoretical interest and practical applications to coding theory and other topics. As a subfield of a maximal function field is also maximal, one way to find maximal function fields is to find all subfields of a maximal function field. Due to the large automorphism group of the Hermitian function field, it is natural to find as many subfields of the Hermitian function field as possible. In literature, most of papers studied subfields fixed by subgroups of the decomposition group at one point (usually the point at infinity). This is because it becomes much more complicated to study the subfield fixed by a subgroup that is not contained in the decomposition group at one point. In this paper, we study subfields of the Hermitian function field fixed by subgroups that are not contained in the decomposition group of any point except the cyclic subgroups. It turns out that some new maximal function fields are found.
• Let $\pi$ be an irreducible cuspidal representation of $\mathrm{GL}_{kn}\left(\mathbb{F}_q\right)$. Assume that $\pi = \pi_{\theta}$, corresponds to a regular character $\theta$ of $\mathbb{F}_{q^{kn}}^{*}$. We consider the twisted Jacquet module of $\pi$ with respect to a non-degenerate character of the unipotent radical corresponding to the partition $(n^k)$ of $kn$. We show that, as a $\mathrm{GL}_{n}\left(\mathbb{F}_q\right)$-representation, this Jacquet module is isomorphic to $\pi_{\theta \upharpoonright_{\mathbb{F}_n^*}} \otimes \mathrm{St}^{k-1}$, where $\mathrm{St}$ is the Steinberg representation of $\mathrm{GL}_{n}\left(\mathbb{F}_q\right)$. This generalizes a theorem of D. Prasad, who considered the case $k=2$.
• We use relative trace formula to prove a non-vanishing result and a subconvexity result for the twisted base change $L$-functions associated to Hilbert modular forms whose local components at ramified places are some supercuspidal representations. This generalizes the work of Feigon and Whitehouse.
• We present an algorithm for the computation of period matrices and the Abel-Jacobi map of complex superelliptic curves given by an equation $y^m=f(x)$. It relies on rigorous numerical integration of differentials between Weierstrass points, which is done using Gauss method if the curve is hyperelliptic ($m=2$) or the Double-Exponential method. We take linear combination of these integrals to obtain the actual periods on a symplectic basis of loops. The algorithm is implemented and makes it possible to reach thousands of digits accuracy even on large genus curves.
• We recall the notion of nearest integer continued fractions over the Euclidean imaginary quadratic fields $K$ and characterize the "badly approximable" numbers, ($z$ such that there is a $C(z)>0$ with $|z-p/q|\geq C/|q|^2$ for all $p/q\in K$), by boundedness of the partial quotients in the continued fraction expansion of $z$. Applying this algorithm to "tagged" indefinite integral binary Hermitian forms demonstrates the existence of entire circles in $\mathbb{C}$ whose points are badly approximable over $K$, with effective constants. By other methods (the Dani correspondence), we prove the existence of circles of badly approximable numbers over \textitany imaginary quadratic field, with loss of effectivity. Among these badly approximable numbers are algebraic numbers of every even degree over $\mathbb{Q}$, which we characterize. All of the examples we consider are associated with cocompact Fuchsion subgroups of the Bianchi groups $SL_2(\mathcal{O})$, where $\mathcal{O}$ is the ring of integers in an imaginary quadratic field.
• In this paper, we find all integers c having at least two representations as a difference between a Fibonacci number and a power of 2.
• In this paper, we find all Fibonacci numbers which are products of two Pell numbers and all Pell numbers which are products of two Fibonacci numbers.
• We fix a counting function of multiplicities of rational points in a hypersurface of a projective space, and take the sum over all rational points of a bounded height. An upper bound for the sum with respect to this counting function will be given in terms of the degree of the hypersurface, the dimension of the singular locus and the upper bound of height. This upper bound gives a description of the complexity of the singular locus of this hypersurface.
• Jul 25 2017 math.NT arXiv:1707.07154v1
On propose une méthode de résolution effective de l'équation diophantienne $(E_2): ax^2-by^2=1$ où $a$ et $b$ sont des entiers naturels non nuls et premiers entre eux. Cette méthode s'appuie sur le développement en fraction continuée de certains nombres irrationnels quadratiques que l'on décrit complètement. On commence par utiliser ces développements pour résoudre certaines équations de Pell-Fermat généralisées avant d'appliquer à l'équation $(E_2)$ les résultats obtenus.
• Let $f$ be a holomorphic cusp form for $SL_2(\mathbb{Z})$ of weight $k>1$. In these notes, we follow Munshi to prove the Burgess bound $$L(1/2+it,f)\ll_f,\varepsilon (1+|t|)^1/2-1/8+\varepsilon.$$
• For a prime number $p$, we give a new restriction on pro-$p$ groups $G$ which are realizable as the maximal pro-$p$ Galois group $G_F(p)$ for a field $F$ containing a root of unity of order $p$. This restriction arises from Kummer Theory and the structure of the maximal $p$-radical extension of $F$. We study it in the abstract context of pro-$p$ groups $G$ with a continuous homomorphism $\theta\colon G\to1+p\mathbb{Z}_p$, and characterize it cohomologically, and in terms of 1-cocycles on $G$. This is used to produce new examples of pro-$p$ groups which do not occur as maximal pro-$p$ Galois groups of fields as above.

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