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 product-one 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 product-one 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 product-one 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 Stark-Heegner 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 one-variable 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 two-variable 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 Stark-Heegner 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 n-2$ and $k_2\leq 2n-5$. 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 Non-vanishing 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 non-vanishing central values.
- [5] arXiv:2002.11941 [pdf, ps, other]
-
Title: Distribution of Non-Wieferich 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 non-Wieferich primes with respect to any (non-trivial) 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 non-Wieferich prime ideals. Furthermore, we show a lower bound of same order is achievable for non-Wieferich 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: One-level density estimates for Dirichlet L-functions with extended supportComments: 22 pagesSubjects: Number Theory (math.NT)
We estimate the $1$-level density of low-lying 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 non-vanishing of $L(s,\chi)$.
- [7] arXiv:2002.11984 [pdf, ps, other]
-
Title: Sums of averages of gcd-sum 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 zeta-function, 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éry-like numbersAuthors: Zhi-Hong 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}^{p-1}\binom ak\binom{-1-a}k\frac p{k+b}\pmod {p^2}$. For $n=0,1,2,\ldots$ let $D_n$ and $b_n$ be Domb and Almkvist-Zudilin numbers, respectively. We also establish congruences for $$\sum_{n=0}^{p-1}\frac{D_n}{16^n},\quad \sum_{n=0}^{p-1}\frac{D_n}{4^n}, \quad \sum_{n=0}^{p-1}\frac{b_n}{(-3)^n},\quad \sum_{n=0}^{p-1}\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 Rudin--Shapiro sequences on alphabets of arbitrary sizeAuthors: Pierre-Adrien TahayComments: 26 pagesSubjects: Number Theory (math.NT)
In 2009, Grant, Shallit, and Stoll constructed a large family of pseudorandom sequences, called generalized Rudin--Shapiro 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 Ramanujan-type 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 $3099044504245996706400|k$, 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 quasi-polynomial-time reduction to the corresponding problem in subfields. For families of numbers field where the $2$-valuation of $|G|$ is bounded, it is a polynomial-time reduction.
Cross-lists for Fri, 28 Feb 20
- [16] arXiv:2002.11920 (cross-list 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 pairing-based 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 lattice-based 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 (cross-list from math.CO) [pdf, ps, other]
-
Title: Design-theoretic 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 (cross-list 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 Skolem-Mahler-Lech 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 (cross-list from math.AG) [pdf, ps, other]
-
Title: The Lang-Vojta conjectures on projective pseudo-hyperbolic 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 mini-course 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 Lang-Vojta's conjectures on pseudo-hyperbolic 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 Lang-Vojta's conjectures and provide a summary of all the conjectures, as well as a survey of recent progress.
- [20] arXiv:2002.11988 (cross-list from math.RA) [pdf, ps, other]
-
Title: Involutions of sl(2,k) and non-split, three-dimensional simple Lie algebrasAuthors: Philippe MeyerSubjects: Rings and Algebras (math.RA); Number Theory (math.NT)
We give a process to construct non-split, three-dimensional simple Lie algebras from involutions of sl(2,k), where k is a field of characteristic not two. Up to equivalence, non-split three-dimensional 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 re-express this condition in terms of Hilbert and Legendre Symbols and give examples of three-dimensional simple Lie algebras which can and cannot be obtained by this construction over the field of rationals.
- [21] arXiv:2002.12099 (cross-list from math.CO) [pdf, ps, other]
-
Title: Zeta functions of periodic cubical lattices and cyclotomic-like polynomialsComments: Advanced Studies in Pure Mathematics 84, 2020, Various Aspects of Multiple Zeta Functions, in honor of Professor Kohji Matsumoto's 60th birthday, pp. 93-121Subjects: 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 cyclotomic-like 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 cyclotomic-like 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 Kanade--Russell conjecturesSubjects: Number Theory (math.NT); Combinatorics (math.CO)
- [25] arXiv:1904.07014 (replaced) [pdf, ps, other]
-
Title: Universal norms and Greenberg conjectureAuthors: Jean-Franç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 (hep-th); 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 p-rank $ε$-conjecture on class groups is true for towers of p-extensionsAuthors: 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)