Number Theory
New submissions
[ showing up to 2000 entries per page: fewer  more ]
New submissions for Fri, 28 Feb 20
 [1] arXiv:2002.11811 [pdf, ps, other]

Title: On an inverse problem of Erd\H os, Kleitman, and LemkeAuthors: Qinghai ZhongSubjects: Number Theory (math.NT); Combinatorics (math.CO)
Let $(G, 1_G)$ be a finite group and let $S=g_1\bdot \ldots\bdot g_{\ell}$ be a nonempty sequence over $G$. We say $S$ is a tiny productone sequence if its terms can be ordered such that their product equals $1_G$ and $\sum_{i=1}^{\ell}\frac{1}{\ord(g_i)}\le 1$. Let $\mathsf {ti}(G)$ be the smallest integer $t$ such that every sequence $S$ over $G$ with $S\ge t$ has a tiny productone subsequence. The direct problem is to obtain the exact value of $\mathsf {ti}(G)$, while the inverse problem is to characterize the structure of long sequences over $G$ which have no tiny productone subsequences. In this paper, we consider the inverse problem for cyclic groups and we also study both direct and inverse problems for dihedral groups and dicyclic groups.
 [2] arXiv:2002.11858 [pdf, ps, other]

Title: Restriction of Eisenstein series and StarkHeegner pointsSubjects: Number Theory (math.NT)
In a recent work of Darmon, Pozzi and Vonk, the authors consider a particular $p$adic family of Hilbert Eisenstein series $E_k(1,\brch)$ associated with an odd character $\brch$ of the narrow ideal class group of a real quadratic field $F$ and compute the first derivative of a certain onevariable twisted triple product $p$adic $L$series attached to $E_k(1,\brch)$ and an elliptic newform $f$ of weight $2$ on $\Gamma_0(p)$. In this paper, we generalize their construction to include the cyclotomic variable and thus obtain a twovariable twisted triple product $p$adic $L$series. Moreover, when $f$ is associated with an elliptic curve $E$ over $\Q$, we prove that the first derivative of this $p$adic $L$series along the weight direction is a product of the $p$adic logarithm of a StarkHeegner point of $E$ over $F$ introduced by Darmon and the cyclotomic $p$adic $L$function for $E$.
 [3] arXiv:2002.11872 [pdf, ps, other]

Title: Purely singular splittings of cyclic groupsSubjects: Number Theory (math.NT)
Let $G$ be a finite abelian group.
We say that $M$ and $S$ form a \textsl{splitting} of $G$ if every nonzero element $g$ of $G$ has a unique representation of the form $g=ms$ with $m\in M$ and $s\in S$, while $0$ has no such representation. The splitting is called \textit{purely singular} if for each prime divisor $p$ of $G$, there is at least one element of $M$ is divisible by $p$.
In this paper, we mainly study the purely singular splittings of cyclic groups. We first prove that if $k\ge3$ is a positive integer such that $[k+1, \,k]^*$ splits a cyclic group $\mathbb{Z}_m$, then $m=2k$. Next, we have the following general result. Suppose $M=[k_1, \,k_2]^*$ splits $\mathbb{Z}_{n(k_1+k_2)+1}$ with $1\leq k_1< k_2$. If $n\geq 2$, then $k_1\leq n2$ and $k_2\leq 2n5$. Applying this result, we prove that if $M=[k_1, \,k_2]^*$ splits $\mathbb{Z}_m$ purely singularly, and either $(i)$ $\gcd(s, \,m)=1$ for all $s\in S$ or $(ii)$ $m=2^{\alpha}p^{\beta}$ or $2^{\alpha}p_1p_2$ with $\alpha\geq 0$, $\beta\geq 1$ and $p$, $p_1$, $p_2$ odd primes, then $m=k_1+k_2+1$ or $k_1=0$ and $m=k_2+1$ or $2k_2+1$.  [4] arXiv:2002.11899 [pdf, ps, other]

Title: Moments and Nonvanishing of central values of Quadratic Hecke $L$functions in the Gaussian FieldAuthors: Peng GaoComments: 25 pagesSubjects: Number Theory (math.NT)
We evaluate the first three moments of central values of a family of qudratic Hecke $L$functions in the Gaussian field with power saving error terms. In particular, we obtain asymptotic formulas for the first two moments with error terms of size $O(X^{1/2+\varepsilon})$. We also study the first and second mollified moments of the same family of $L$functions to show that at least $87.5\%$ of the members of this family have nonvanishing central values.
 [5] arXiv:2002.11941 [pdf, ps, other]

Title: Distribution of NonWieferich primes in certain algebraic groups under ABCAuthors: Subham BhaktaComments: 14 pages, any suggestions, feedback and comments are welcomeSubjects: Number Theory (math.NT)
Under ABC, Silverman showed that there are infinitely many nonWieferich primes with respect to any (nontrivial) base $a$. Recently Srinivas and Subramani proved an analogous result over number fields with trivial class group. In the first part of this article, we extend their result to any arbitrary number fields. Secondly, we give an asymptotic lower bound for the number of nonWieferich prime ideals. Furthermore, we show a lower bound of same order is achievable for nonWieferich prime ideals having norm congruent to $1 \pmod k.$ Lastly, we generalize Silverman's work for elliptic curves over arbitrary number fields following the treatment by K\"uhn and M\"uller.
 [6] arXiv:2002.11968 [pdf, ps, other]

Title: Onelevel density estimates for Dirichlet Lfunctions with extended supportComments: 22 pagesSubjects: Number Theory (math.NT)
We estimate the $1$level density of lowlying zeros of $L(s,\chi)$ with $\chi$ ranging over primitive Dirichlet characters of conductor $\in [Q/2,Q]$ and for test functions whose Fourier transform is supported in $[ 2  50/1093, 2 + 50/1093]$. Previously any extension of the support past the range $[2,2]$ was only known conditionally on deep conjectures about the distribution of primes in arithmetic progressions, beyond the reach of the Generalized Riemann Hypothesis (e.g Montgomery's conjecture). Our work provides the first example of a family of $L$functions in which the support is unconditionally extended past the "trivial range" that follows from a simple application of the underlying trace formula (in this case orthogonality of characters). We also highlight consequences for nonvanishing of $L(s,\chi)$.
 [7] arXiv:2002.11984 [pdf, ps, other]

Title: Sums of averages of gcdsum functions IIComments: 14 pagesSubjects: Number Theory (math.NT)
Let $\gcd(k,j)$ denote the greatest common divisor of the integers $k$ and $j$, and let $r$ be any fixed positive integer. Define $$ M_r(x; f) := \sum_{k\leq x}\frac{1}{k^{r+1}}\sum_{j=1}^{k}j^{r}f(\gcd(j,k)) $$ for any large real number $x\geq 5$, where $f$ is any arithmetical function. Let $\phi$, and $\psi$ denote the Euler totient and the Dedekind function, respectively. In this paper, we refine asymptotic expansions of $M_r(x; {\rm id})$, $M_r(x;{\phi})$ and $M_r(x;{\psi})$. Furthermore, under the Riemann Hypothesis and the simplicity of zeros of the Riemann zetafunction, we establish the asymptotic formula of $M_r(x;{\rm id})$ for any large positive number $x>5$ satisfying $x=[x]+\frac{1}{2}$.
 [8] arXiv:2002.12072 [pdf, ps, other]

Title: Super congruences concerning binomial coefficients and Apérylike numbersAuthors: ZhiHong SunComments: 35 pagesSubjects: Number Theory (math.NT)
Let $p$ be a prime with $p>3$, and let $a,b$ be two rational $p$integers. In this paper we present general congruences for $\sum_{k=0}^{p1}\binom ak\binom{1a}k\frac p{k+b}\pmod {p^2}$. For $n=0,1,2,\ldots$ let $D_n$ and $b_n$ be Domb and AlmkvistZudilin numbers, respectively. We also establish congruences for $$\sum_{n=0}^{p1}\frac{D_n}{16^n},\quad \sum_{n=0}^{p1}\frac{D_n}{4^n}, \quad \sum_{n=0}^{p1}\frac{b_n}{(3)^n},\quad \sum_{n=0}^{p1}\frac{b_n}{(27)^n}\pmod {p^2}$$ in terms of certain binary quadratic forms.
 [9] arXiv:2002.12074 [pdf, ps, other]

Title: Discrete correlation of order 2 of generalized RudinShapiro sequences on alphabets of arbitrary sizeAuthors: PierreAdrien TahayComments: 26 pagesSubjects: Number Theory (math.NT)
In 2009, Grant, Shallit, and Stoll constructed a large family of pseudorandom sequences, called generalized RudinShapiro sequences, for which they established some results about the average of discrete correlation coefficients of order 2 in cases where the size of the alphabet is a prime number or a squarefree product of primes. We establish similar results for an even larger family of pseudorandom sequences, constructed via difference matrices, in the case of an alphabet of any size. The constructions generalize those from Grant et al. In the case where the size of the alphabet is squarefree and where there are at least two prime factors, we obtain an improvement in the error term by comparison with the result of Grant et al.
 [10] arXiv:2002.12107 [pdf, ps, other]

Title: Explicit Formulas for General Euler Type SumsAuthors: Ce XuSubjects: Number Theory (math.NT)
We define a new kind of classical digamma function, and establish its some fundamental identities. Then we apply the formulas obtained, and extend tools developed by Flajolet and Salvy to study more general Euler type sums. The main results of Flajolet and Salvy paper are the immediate corollaries of main results in this paper. Furthermore, we provide some parameterized extensions of Ramanujantype identities that involve hyperbolic series.
 [11] arXiv:2002.12136 [pdf, ps, other]

Title: On Diophantine equations over $\mathbb Z[i]$ with $52$ unknownsComments: Submitted to Proc. of the 2019 Asian Logic Conf.; 5 pagesSubjects: Number Theory (math.NT); Logic (math.LO)
In this paper we show that there is no algorithm to decide whether an arbitrarily given polynomial equation $P(z_1,\ldots,z_{52})=0$ (with integer coefficients) over the Gaussian ring $\mathbb Z[i]$ is solvable.
 [12] arXiv:2002.12137 [pdf]

Title: The calculation of p(n) and pi(n)Authors: Simon PlouffeSubjects: Number Theory (math.NT)
A new approach is presented for the calculation of p(n) and pi(n) which uses the Lambert W function. An approximation is first found and using a calculation technique it makes it possible to have an estimate of these two quantities more precise than those known from Cipolla and Riemann. The calculation of p_n uses an approximation using the Lambert W function and an estimate based on a logarithmic least square curve (LLS) c(n). The function c(n) is the same in both cases. The two formulas are: p(n) = nW(1,e/n)  n*c(n)/W(0,n), pi(n) = {nW(1,e/n) n*c(n)/W(0,n)}^(1) The results presented are empirical and apply up to n = 10^16. c(n) = 0..88281106024067112695415355478542+.00085618370164044557239133114214399*ln(n)
 [13] arXiv:2002.12139 [pdf, ps, other]

Title: Some Modular Considerations Regarding Odd Perfect NumbersComments: 6 pages, submitted to Notes on Number Theory and Discrete MathematicsSubjects: Number Theory (math.NT)
Let $p^k m^2$ be an odd perfect number with special prime $p$. In this article, we provide an alternative proof for the biconditional that $\sigma(m^2) \equiv 1 \pmod 4$ holds if and only if $p \equiv k \pmod 8$. We then give an application of this result to the case when $\sigma(m^2)/p^k$ is a square.
 [14] arXiv:2002.12155 [pdf, ps, other]

Title: Solutions of $φ(n)=φ(n+k)$ and $σ(n)=σ(n+k)$Authors: Kevin FordComments: 5 pagesSubjects: Number Theory (math.NT)
We show that for some $k\le 6990$ and all $k$ with $3099044504245996706400k$, the equation $\phi(n)=\phi(n+k)$ has infinitely many solutions $n$, where $\phi$ is Euler's totient function. We also show that for a positive proportion of all $k$, the equation $\sigma(n)=\sigma(n+k)$ has infinitely many solutions $n$. The proofs rely on recent progress on the prime $k$tuples conjecture by Zhang, Maynard, Tao and PolyMath.
 [15] arXiv:2002.12332 [pdf, ps, other]

Title: Norm relations and computational problems in number fieldsSubjects: Number Theory (math.NT)
For a finite group $G$, we introduce a generalization of norm relations in the group algebra $\mathbb{Q}[G]$. We give necessary and sufficient criteria for the existence of such relations and apply them to obtain relations between the arithmetic invariants of the subfields of an algebraic number field with Galois group $G$. On the algorithm side this leads to subfield based algorithms for computing rings of integers, $S$unit groups and class groups. For the $S$unit group computation this yields a quasipolynomialtime reduction to the corresponding problem in subfields. For families of numbers field where the $2$valuation of $G$ is bounded, it is a polynomialtime reduction.
Crosslists for Fri, 28 Feb 20
 [16] arXiv:2002.11920 (crosslist from math.AG) [pdf, ps, other]

Title: Optimal Ate Pairing on Elliptic Curves with Embedding Degree $9,15$ and $27$Subjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
Much attention has been given to efficient computation of pairings on elliptic curves with even embedding degree since the advent of pairingbased cryptography. The existing few works in the case of odd embedding degrees require some improvements. This paper considers the computation of optimal ate pairings on elliptic curves of embedding degrees $k=9, 15 \mbox{ and } 27$ which have twists of order three. Mainly, we provide a detailed arithmetic and cost estimation of operations in the tower extensions field of the corresponding extension fields. A good selection of parameters enables us to improve the theoretical cost for the Miller step and the final exponentiation using the latticebased method comparatively to the previous few works that exist in these cases. In particular for $k=15$ and $k=27$ we obtained an improvement, in terms of operations in the base field, of up to $25\%$ and $29\%$ respectively in the computation of the final exponentiation. Also, we obtained that elliptic curves with embedding degree $k=15$ present faster results than BN$12$ curves at the $128$bit security levels. We provided a MAGMA implementation in each case to ensure the correctness of the formulas used in this work.
 [17] arXiv:2002.11931 (crosslist from math.CO) [pdf, ps, other]

Title: Designtheoretic analogies between codes, lattices, and vertex operator algebrasAuthors: Tsuyoshi MiezakiComments: 18 pagesSubjects: Combinatorics (math.CO); Group Theory (math.GR); Number Theory (math.NT); Quantum Algebra (math.QA)
There are many analogies between codes, lattices, and vertex operator algebras. For example, extremal objects are good examples of combinatorial, spherical, and conformal designs. In this study, we investigated these objects from the aspect of design theory.
 [18] arXiv:2002.11964 (crosslist from math.CO) [pdf, ps, other]

Title: Effective formulas for linear recurrence sequences of integersAuthors: Martin KlazarComments: 13 pagesSubjects: Combinatorics (math.CO); Number Theory (math.NT)
We propose a new definition of effective formulas for problems in enumerative combinatorics. We outline the proof of the fact that every linear recurrence sequence of integers has such a formula. It follows from a lower bound that can be deduced from the SkolemMahlerLech theorem and the Subspace Theorem. We will give details of this deduction that is due to P. Corvaja in the full version of this extended abstract.
 [19] arXiv:2002.11981 (crosslist from math.AG) [pdf, ps, other]

Title: The LangVojta conjectures on projective pseudohyperbolic varietiesAuthors: Ariyan JavanpeykarComments: 55 pages. Notes from a course at UQAMSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
These notes grew out of a minicourse given from May 13th to May 17th at UQAM in Montreal during a workshop on Diophantine Approximation and Value Distribution Theory. We start with an overview of LangVojta's conjectures on pseudohyperbolic projective varieties. These conjectures relate various different notions of hyperbolicity. We begin with Brody hyperbolicity and discuss conjecturally related notions of hyperbolicity in arithmetic geometry and algebraic geometry in subsequent sections. We slowly work our way towards the most general version of LangVojta's conjectures and provide a summary of all the conjectures, as well as a survey of recent progress.
 [20] arXiv:2002.11988 (crosslist from math.RA) [pdf, ps, other]

Title: Involutions of sl(2,k) and nonsplit, threedimensional simple Lie algebrasAuthors: Philippe MeyerSubjects: Rings and Algebras (math.RA); Number Theory (math.NT)
We give a process to construct nonsplit, threedimensional simple Lie algebras from involutions of sl(2,k), where k is a field of characteristic not two. Up to equivalence, nonsplit threedimensional simple Lie algebras obtained in this way are parametrised by a subgroup of the Brauer group of k and are characterised by the fact that their Killing form represents 2. Over local and global fields we reexpress this condition in terms of Hilbert and Legendre Symbols and give examples of threedimensional simple Lie algebras which can and cannot be obtained by this construction over the field of rationals.
 [21] arXiv:2002.12099 (crosslist from math.CO) [pdf, ps, other]

Title: Zeta functions of periodic cubical lattices and cyclotomiclike polynomialsComments: Advanced Studies in Pure Mathematics 84, 2020, Various Aspects of Multiple Zeta Functions, in honor of Professor Kohji Matsumoto's 60th birthday, pp. 93121Subjects: Combinatorics (math.CO); Number Theory (math.NT)
Zeta functions of periodic cubical lattices are explicitly derived by computing all the eigenvalues of the adjacency operators and their characteristic polynomials. We introduce cyclotomiclike polynomials to give factorization of the zeta function in terms of them and count the number of orbits of the Galois action associated with each cyclotomiclike polynomial to obtain its further factorization. We also give a necessary and sufficient condition for such a polynomial to be irreducible and discuss its irreducibility from this point of view.
Replacements for Fri, 28 Feb 20
 [22] arXiv:1710.02287 (replaced) [src]

Title: Explicit Methods for Hilbert Modular Forms of Weight 1Authors: Jasper Van HirtumComments: Several and drastic changes made to the article. In particular, we now only deal with parallel weight. Moreover, we no longer claim a proven example but instead specify the conditions under which the example is proven to be correctSubjects: Number Theory (math.NT)
 [23] arXiv:1807.03529 (replaced) [pdf, ps, other]

Title: Globally realizable components of local deformation ringsComments: 66 pages; minor changes following referee reportSubjects: Number Theory (math.NT)
 [24] arXiv:1809.08655 (replaced) [pdf, ps, other]

Title: Linked partition ideals and KanadeRussell conjecturesSubjects: Number Theory (math.NT); Combinatorics (math.CO)
 [25] arXiv:1904.07014 (replaced) [pdf, ps, other]

Title: Universal norms and Greenberg conjectureAuthors: JeanFrançois Jaulent (IMB)Comments: in French. Acta Arithmetica, Instytut Matematyczny PAN, A para{\^i}treSubjects: Number Theory (math.NT)
 [26] arXiv:1906.07384 (replaced) [pdf, ps, other]

Title: Special hypergeometric motives and their $L$functions: Asai recognitionComments: 18 pagesSubjects: Number Theory (math.NT); High Energy Physics  Theory (hepth); Algebraic Geometry (math.AG); Classical Analysis and ODEs (math.CA); Combinatorics (math.CO)
 [27] arXiv:1906.07654 (replaced) [pdf, ps, other]
 [28] arXiv:2001.07500 (replaced) [pdf, ps, other]

Title: The prank $ε$conjecture on class groups is true for towers of pextensionsAuthors: Georges Gras (LMB)Comments: Important improvements giving more general families of fields, whence a modification of the title; 15 pages. Generalize: this https URLSubjects: Number Theory (math.NT)
[ showing up to 2000 entries per page: fewer  more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, math, recent, 2002, contact, help (Access key information)