Number Theory (math.NT)

  • PDF
    The Asai (or twisted tensor) $L$-function of a Bianchi modular form $\Psi$ is the $L$-function attached to the tensor induction to $\mathbb{Q}$ of its associated Galois representation. In this paper, when $\Psi$ is ordinary at $p$ we construct a $p$-adic analogue of this $L$-function: that is, a $p$-adic measure on $\mathbb{Z}_p^\times$ that interpolates the critical values of the Asai $L$-function twisted by Dirichlet characters of $p$-power conductor. The construction uses techniques analogous to those used by Lei, Zerbes and the first author in order to construct an Euler system attached to the Asai representation of a quadratic Hilbert modular form.
  • PDF
    Let p and q be two positive primes. In this paper we obtain a complete characterization of quaternion division algebras H_K(p,q) over quadratic and biquadratic number fields K.
  • PDF
    During the last two decades, many kinds of periodic sequences with good pseudo-random properties have been constructed from classical and generalized cyclotomic classes, and used as keystreams for stream ciphers and secure communications. Among them are a family DH-GCS$_{d}$ of generalized cyclotomic sequences on the basis of Ding and Helleseth's generalized cyclotomy, of length $pq$ and order $d=\mathrm{gcd}(p-1,q-1)$ for distinct odd primes $p$ and $q$. The linear complexity (or linear span), as a valuable measure of unpredictability, is precisely determined for DH-GCS$_{8}$ in this paper. Our approach is based on Edemskiy and Antonova's computation method with the help of explicit expressions of Gaussian classical cyclotomic numbers of order $8$. Our result for $d=8$ is compatible with Yan's low bound $(pq-1)/2$ of the linear complexity for any order $d$, which means high enough to resist security attacks of the Berlekamp-Massey algorithm. Finally, we include SageMath codes to illustrate the validity of our result by examples.
  • PDF
    In this article, we determine all equivariant compactifications of the three-dimensional vector group $\mathbf{G}_a^3$ which are smooth Fano threefolds with Picard number greater or equal than two.
  • PDF
    Using factorization homology, we develop a uniform and conceptual approach for treating homological stability, homological densities, and arithmetic densities in algebraic geometry. This categorifies and generalizes the coincidences appearing in the work of Farb-Wolfson-Wood, and in fact, provides a conceptual understanding of these coincidences. Our computation of the stable homological densities also yields rational homotopy types which answer a question posed by Vakil-Wood. Our approach hinges on the study of homological stability of cohomological Chevalley complexes, which is of independent interest.
  • PDF
    We prove that $n$-bit integers may be multiplied in $O(n \log n \, 4^{\log^* n})$ bit operations. This complexity bound had been achieved previously by several authors, assuming various unproved number-theoretic hypotheses. Our proof is unconditional, and depends in an essential way on Minkowski's theorem concerning lattice vectors in symmetric convex sets.
  • PDF
    We produce an infinite family of imaginary quadratic fields whose ideal class groups have $3$-rank at least $2$.
  • PDF
    The aim of this article is to study (additively) indecomposable algebraic integers $\mathcal O_K$ of biquadratic number fields $K$ and universal totally positive quadratic forms with coefficients in $\mathcal O_K$. There are given sufficient conditions for an indecomposable element of a quadratic subfield to remain indecomposable in the biquadratic number field $K$. Furthermore, estimates are proven which enable algorithmization of the method of escalation over $K$. These are used to prove, over two particular biquadratic number fields $\mathbb{Q}(\sqrt{2}, \sqrt{3})$ and $\mathbb{Q}(\sqrt{6}, \sqrt{19})$, a lower bound on the number of variables of a universal quadratic forms, verifying Kitaoka's conjecture.
  • Feb 23 2018 math.NT arXiv:1802.07792v1
    Analytical expressions are derived for the position of Farey fractions in the Farey sequence $F_N$ of order $N$ for a particular choice of $N$. The asymptotic behaviour is derived obtaining a lower error bound than in previous results when these fractions are in the vicinity of $0/1$, $1/2$ or $1/1$. Franel's famous formulation of Riemann's hypothesis uses the summation of distances between Farey fractions and evenly spaced points in $[0,1]$. A partial Franel sum is defined here as a summation of these distances over a subset of fractions in $F_N$. The partial Franel sum in the range $[0, i/N]$, with $N={\rm lcm}([2,i])$ is shown here to behave as $O(\log N)$. Other partial Franel sums are also explored.

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

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

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:

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

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:

Alessandro Jul 12 2013 03:45 UTC

And here is a question on cstheory.SE about this paper: