Showing 1–50 of 101 results for author: Moree, P

Relative class numbers and Euler-Kronecker constants of maximal real cyclotomic subfields

Authors: Neelam Kandhil, Alessandro Languasco, Pieter Moree, Sumaia Saad Eddin, Alisa Sedunova

Abstract: The Euler--Kronecker constant of a number field $K$ is the ratio of the constant and the residue of the Laurent series of the Dedekind zeta function $ζ_K(s)$ at $s=1$. We study the distribution of the Euler--Kronecker constant $γ_q^+$ of the maximal real subfield of $\mathbb Q(ζ_q)$ as $q$ ranges over the primes. Further, we consider the distribution of $γ_q^+-γ_q$, with $γ_q$ the Euler--Kronecker… ▽ More The Euler--Kronecker constant of a number field $K$ is the ratio of the constant and the residue of the Laurent series of the Dedekind zeta function $ζ_K(s)$ at $s=1$. We study the distribution of the Euler--Kronecker constant $γ_q^+$ of the maximal real subfield of $\mathbb Q(ζ_q)$ as $q$ ranges over the primes. Further, we consider the distribution of $γ_q^+-γ_q$, with $γ_q$ the Euler--Kronecker constant of $\mathbb Q(ζ_q)$ and show how it is connected with Kummer's conjecture, which predicts the asymptotic growth of the relative class number of $\mathbb Q(ζ_q)$. We improve, for example, the known results on the bounds on average for the Kummer ratio and we prove analogous sharp bounds for $γ_q^+-γ_q$. The methods employed are partly inspired by those used by Granville (1990) and Croot and Granville (2002) to investigate Kummer's conjecture. We supplement our theoretical findings with numerical illustrations to reinforce our conclusions. △ Less

Submitted 12 July, 2024; originally announced July 2024.

Comments: 38 pages, 2 tables, 6 figures. arXiv admin note: text overlap with arXiv:2402.13829

Report number: MPIM-Bonn-2024 MSC Class: 11N37; 11R18; 11R29; 11R47; 11Y60

Euler constants from primes in arithmetic progression

Authors: Alessandro Languasco, Pieter Moree

Abstract: Many Dirichlet series of number theoretic interest can be written as a product of generating series $ζ_{\,d,a}(s)=\prod\limits_{p\equiv a\pmod{d}}(1-p^{-s})^{-1}$, with $p$ ranging over all the primes in the primitive residue class modulo $a\pmod{d}$, and a function $H(s)$ well-behaved around $s=1$. In such a case the corresponding Euler constant can be expressed in terms of the Euler constants… ▽ More Many Dirichlet series of number theoretic interest can be written as a product of generating series $ζ_{\,d,a}(s)=\prod\limits_{p\equiv a\pmod{d}}(1-p^{-s})^{-1}$, with $p$ ranging over all the primes in the primitive residue class modulo $a\pmod{d}$, and a function $H(s)$ well-behaved around $s=1$. In such a case the corresponding Euler constant can be expressed in terms of the Euler constants $γ(d,a)$ of the series $ζ_{\,d,a}(s)$ involved and the (numerically more harmless) term $H'(1)/H(1)$. Here we systematically study $γ(d,a)$, their numerical evaluation and discuss some examples. △ Less

Submitted 12 July, 2024; v1 submitted 24 June, 2024; originally announced June 2024.

Comments: 22 pages, one table, one appendix; in the new version Remark 2 was inserted

Report number: MPIM-Bonn-2024

The Brauer-Siegel ratio for prime cyclotomic fields

Authors: Neelam Kandhil, Alessandro Languasco, Pieter Moree

Abstract: The Brauer-Siegel theorem concerns the size of the product of the class number and the regulator of a number field $K$. We derive bounds for this product in case $K$ is a prime cyclotomic field, distinguishing between whether there is a Siegel zero or not. In particular, we make a result of Tatuzawa (1953) more explicit. Our theoretical advancements are complemented by numerical illustrations that… ▽ More The Brauer-Siegel theorem concerns the size of the product of the class number and the regulator of a number field $K$. We derive bounds for this product in case $K$ is a prime cyclotomic field, distinguishing between whether there is a Siegel zero or not. In particular, we make a result of Tatuzawa (1953) more explicit. Our theoretical advancements are complemented by numerical illustrations that are consistent with our findings. △ Less

Submitted 21 February, 2024; originally announced February 2024.

Comments: 17 pages, 3 figures. arXiv admin note: text overlap with arXiv:2402.13829

Report number: MPIM-Bonn-2024 MSC Class: Primary 11R18; 11R29; Secondary 11R47; 11Y60

The Kummer ratio of the relative class number for prime cyclotomic fields

Authors: Neelam Kandhil, Alessandro Languasco, Pieter Moree, Sumaia Saad Eddin, Alisa Sedunova

Abstract: Kummer's conjecture predicts the asymptotic growth of the relative class number of prime cyclotomic fields. We substantially improve the known bounds of Kummer's ratio under three scenarios: no Siegel zero, presence of Siegel zero and assuming the Riemann Hypothesis for the Dirichlet $L$-series attached to odd characters only. The numerical work in this paper extends and improves on our earlier pr… ▽ More Kummer's conjecture predicts the asymptotic growth of the relative class number of prime cyclotomic fields. We substantially improve the known bounds of Kummer's ratio under three scenarios: no Siegel zero, presence of Siegel zero and assuming the Riemann Hypothesis for the Dirichlet $L$-series attached to odd characters only. The numerical work in this paper extends and improves on our earlier preprint (arXiv:1908.01152) and demonstrates our theoretical results. △ Less

Submitted 28 March, 2024; v1 submitted 21 February, 2024; originally announced February 2024.

Comments: 23 pages, 4 figures, 3 tables; to appear in Journal of Mathematical Analysis and Applications

Report number: MPIM-Bonn-2024 MSC Class: Primary 11R18; 11R29; Secondary 11R47; 11Y60

On the discriminator of Lucas sequences. II

Authors: Matteo Ferrari, Florian Luca, Pieter Moree

Abstract: The family of Shallit sequences consists of the Lucas sequences satisfying the recurrence $U_{n+2}(k)=(4k+2)U_{n+1}(k) -U_n(k),$ with initial values $U_0(k)=0$ and $U_1(k)=1$ and with $k\ge 1$ arbitrary. For every fixed $k$ the integers $\{U_n(k)\}_{n\ge 0}$ are distinct, and hence for every $n\ge 1$ there exists a smallest integer $D_k(n)$, called discriminator, such that… ▽ More The family of Shallit sequences consists of the Lucas sequences satisfying the recurrence $U_{n+2}(k)=(4k+2)U_{n+1}(k) -U_n(k),$ with initial values $U_0(k)=0$ and $U_1(k)=1$ and with $k\ge 1$ arbitrary. For every fixed $k$ the integers $\{U_n(k)\}_{n\ge 0}$ are distinct, and hence for every $n\ge 1$ there exists a smallest integer $D_k(n)$, called discriminator, such that $U_0(k),U_1(k),\ldots,U_{n-1}(k)$ are pairwise incongruent modulo $D_k(n).$ In part I it was proved that there exists a constant $n_k$ such that $D_{k}(n)$ has a simple characterization for every $n\ge n_k$. Here, we study the values not following this characterization and provide an upper bound for $n_k$ using Matveev's theorem and the Koksma-Erdos-Turán inequality. We completely determine the discriminator $D_{k}(n)$ for every $n\ge 1$ and a set of integers $k$ of natural density $68/75$. We also correct an omission in the statement of Theorem 3 in part I. △ Less

Submitted 22 September, 2023; originally announced September 2023.

Comments: 25 pages, 7 tables

Report number: MPIM-Bonn-2023 MSC Class: 11B39; 11B50

Sequences of integers generated by two fixed primes

Authors: Alessandro Languasco, Florian Luca, Pieter Moree, Alain Togbé

Abstract: Let $p$ and $q$ be two distinct fixed prime numbers and $(n_i)_{i\geq 0}$ the sequence of consecutive integers of the form $p^a\cdot q^b$ with $a,b\ge 0$. Tijdeman gave a lower bound (1973) and an upper bound (1974) for the gap size $n_{i+1}-n_i$, with each bound containing an unspecified exponent and implicit constant. We will explicitly bound these four quantities. Earlier Langevin (1976) gave w… ▽ More Let $p$ and $q$ be two distinct fixed prime numbers and $(n_i)_{i\geq 0}$ the sequence of consecutive integers of the form $p^a\cdot q^b$ with $a,b\ge 0$. Tijdeman gave a lower bound (1973) and an upper bound (1974) for the gap size $n_{i+1}-n_i$, with each bound containing an unspecified exponent and implicit constant. We will explicitly bound these four quantities. Earlier Langevin (1976) gave weaker estimates for (only) the exponents. Given a real number $α>1$, there exists a smallest number $m$ such that for every $n\ge m$, there exists an integer $n_i$ in $[n,nα)$. Our effective version of Tijdeman's result immediately implies an upper bound for $m$, which using the Koksma-Erdős-Turan inequality we will improve on. We present a fast algorithm to determine $m$ when $\max\{p,q\}$ is not too large and demonstrate it with numerical material. In an appendix we explain, given $n_i$, how to efficiently determine both $n_{i-1}$ and $n_{i+1}$, something closely related to work of Bérczes, Dujella and Hajdu. △ Less

Submitted 22 September, 2023; originally announced September 2023.

Comments: 19 pages, 5 Tables, 1 Appendix

Report number: MPIM-Bonn-2023 MSC Class: 11B83; 11J70; 11J86; 11N25

Irreducibility of the Koopman representations for the group ${\rm GL}_0(2\infty,{\mathbb R})$ acting on three infinite rows

Authors: Alexandre Kosyak, Pieter Moree

Abstract: Consider the inductive limit of the general linear groups ${\rm GL}_0(2\infty,{\mathbb R})$ $= \varinjlim_{n}{\rm GL}(2n-1,{\mathbb R})$, acting on the space $X_m$ of $m$ rows, infinite in both directions, with Gaussian measure. This measure is the infinite tensor product of one-dimensional arbitrary Gaussian non-centered measures. In this article we prove an irreducibility criterion for $m=3$. In… ▽ More Consider the inductive limit of the general linear groups ${\rm GL}_0(2\infty,{\mathbb R})$ $= \varinjlim_{n}{\rm GL}(2n-1,{\mathbb R})$, acting on the space $X_m$ of $m$ rows, infinite in both directions, with Gaussian measure. This measure is the infinite tensor product of one-dimensional arbitrary Gaussian non-centered measures. In this article we prove an irreducibility criterion for $m=3$. In 2019, the first author [28] established a criterion for $m\le 2$. Our proof is in the same spirit, but the details are far more involved. △ Less

Submitted 23 August, 2023; v1 submitted 20 July, 2023; originally announced July 2023.

Comments: Small changing in Section 8.3

MSC Class: 22E65 (28C20; 43A80; 58D20)

A proof of the corrected Sister Beiter cyclotomic coefficient conjecture inspired by Zhao and Zhang

Authors: Branko Juran, Pieter Moree, Adrian Riekert, David Schmitz, Julian Völlmecke

Abstract: The largest coefficient (in absolute value) of a cyclotomic polynomial $Φ_n$ is called its height $A(n)$. In case $p$ is a fixed prime it turns out that as $q$ and $r$ range over all primes satisfying $p<q<r$, the height $A(pqr)$ assumes a maximum $M(p)$. In 1968, Sister Marion Beiter conjectured that $M(p)\leq (p+1)/2$. In 2009, this was disproved for every $p\ge 11$ by Yves Gallot and Pieter Mor… ▽ More The largest coefficient (in absolute value) of a cyclotomic polynomial $Φ_n$ is called its height $A(n)$. In case $p$ is a fixed prime it turns out that as $q$ and $r$ range over all primes satisfying $p<q<r$, the height $A(pqr)$ assumes a maximum $M(p)$. In 1968, Sister Marion Beiter conjectured that $M(p)\leq (p+1)/2$. In 2009, this was disproved for every $p\ge 11$ by Yves Gallot and Pieter Moree. They proposed a Corrected Beiter Conjecture, namely $M(p)\leq 2p/3$. In 2009, Jia Zhao and Xianke Zhang posted on the arXiv what they thought to be a proof of this conjecture. Their work was never accepted for publication in a journal. However, in retrospect it turns out to be essentially correct, but rather sketchy at some points. Here we supply a lot more details. \par The bound $M(p)\le 2p/3$ allows us to improve some bounds of Bzdęga from 2010 for ternary cyclotomic coefficients. It also makes it possible to determine $M(p)$ exactly for three new primes $p$ and study the fine structure of $A(pqr)$ for them in greater detail. △ Less

Submitted 18 April, 2023; originally announced April 2023.

Comments: 20 pages, 3 tables, outcome of MPIM Internship project in 2015+2022

Report number: MPIM-Bonn-2023 MSC Class: 11C08; 11T22

The distribution of the multiplicative index of algebraic numbers over residue classes

Authors: Pieter Moree, Antonella Perucca, Pietro Sgobba

Abstract: Let $K$ be a number field and $G$ a finitely generated torsion-free subgroup of $K^\times$. Given a prime $\mathfrak p$ of $K$ we denote by ${\rm ind}_{\mathfrak p}(G)$ the index of the subgroup $(G\bmod\mathfrak p)$ of the multiplicative group of the residue field at $\mathfrak p$. Under the Generalized Riemann Hypothesis we determine the natural density of primes of $K$ for which this index is i… ▽ More Let $K$ be a number field and $G$ a finitely generated torsion-free subgroup of $K^\times$. Given a prime $\mathfrak p$ of $K$ we denote by ${\rm ind}_{\mathfrak p}(G)$ the index of the subgroup $(G\bmod\mathfrak p)$ of the multiplicative group of the residue field at $\mathfrak p$. Under the Generalized Riemann Hypothesis we determine the natural density of primes of $K$ for which this index is in a prescribed set $S$ and has prescribed Frobenius in a finite Galois extension $F$ of $K$. We study in detail the natural density in case $S$ is an arithmetic progression, in particular its positivity. △ Less

Submitted 10 April, 2024; v1 submitted 10 February, 2023; originally announced February 2023.

MSC Class: Primary: 11R45; Secondary: 11A07; 11R44

Prime divisors of $\ell$-Genocchi numbers and the ubiquity of Ramanujan-style congruences of level $\ell$

Authors: Pieter Moree, Pietro Sgobba

Abstract: Let $\ell$ be any fixed prime number. We define the $\ell$-Genocchi numbers by $G_n:=\ell(1-\ell^n)B_n$, with $B_n$ the $n$-th Bernoulli number. They are integers. We introduce and study a variant of Kummer's notion of regularity of primes. We say that an odd prime $p$ is $\ell$-Genocchi irregular if it divides at least one of the $\ell$-Genocchi numbers $G_2,G_4,\ldots, G_{p-3}$, and $\ell$-regul… ▽ More Let $\ell$ be any fixed prime number. We define the $\ell$-Genocchi numbers by $G_n:=\ell(1-\ell^n)B_n$, with $B_n$ the $n$-th Bernoulli number. They are integers. We introduce and study a variant of Kummer's notion of regularity of primes. We say that an odd prime $p$ is $\ell$-Genocchi irregular if it divides at least one of the $\ell$-Genocchi numbers $G_2,G_4,\ldots, G_{p-3}$, and $\ell$-regular otherwise. With the help of techniques used in the study of Artin's primitive root conjecture, we give asymptotic estimates for the number of $\ell$-Genocchi irregular primes in a prescribed arithmetic progression in case $\ell$ is odd. The case $\ell=2$ was already dealt with by Hu, Kim, Moree and Sha (2019). Using similar methods we study the prime factors of $(1-\ell^n)B_{2n}/2n$ and $(1+\ell^n)B_{2n}/2n$. This allows us to estimate the number of primes $p\leq x$ for which there exist modulo $p$ Ramanujan-style congruences between the Fourier coefficients of an Eisenstein series and some cusp form of prime level $\ell$. △ Less

Submitted 16 September, 2022; originally announced September 2022.

Comments: 27 pages

MSC Class: Primary 11A07; 11B68; secondary 11F33

Higher Reciprocity Laws and Ternary Linear Recurrence Sequences

Authors: Pieter Moree, Armand Noubissie

Abstract: We describe the set of prime numbers splitting completely in the non-abelian splitting field of certain monic irreducible polynomials of degree three. As an application we establish some divisibility properties of the associated ternary recurrence sequence by primes $p$, thus greatly extending recent work of Evink and Helminck and of Faisant. We also prove some new results on the number of solutio… ▽ More We describe the set of prime numbers splitting completely in the non-abelian splitting field of certain monic irreducible polynomials of degree three. As an application we establish some divisibility properties of the associated ternary recurrence sequence by primes $p$, thus greatly extending recent work of Evink and Helminck and of Faisant. We also prove some new results on the number of solutions of the characteristic equation of the recurrence sequence modulo $p,$ extending and simplifying earlier work of Zhi-Hong Sun (2003). △ Less

Submitted 13 May, 2022; originally announced May 2022.

Comments: 19 pages, 2 tables

Report number: MPIM-BONN-2022 MSC Class: 11B39; 11E25; 12A65; 10D12

Ramanujan-style congruences for prime level

Authors: Arvind Kumar, Moni Kumari, Pieter Moree, Sujeet Kumar Singh

Abstract: We establish Ramanujan-style congruences modulo certain primes $\ell$ between an Eisenstein series of weight $k$, prime level $p$ and a cuspidal newform in the $\varepsilon$-eigenspace of the Atkin-Lehner operator inside the space of cusp forms of weight $k$ for $Γ_0(p)$. Under a mild assumption, this refines a result of Gaba-Popa. We use these congruences and recent work of Ciolan, Languasco and… ▽ More We establish Ramanujan-style congruences modulo certain primes $\ell$ between an Eisenstein series of weight $k$, prime level $p$ and a cuspidal newform in the $\varepsilon$-eigenspace of the Atkin-Lehner operator inside the space of cusp forms of weight $k$ for $Γ_0(p)$. Under a mild assumption, this refines a result of Gaba-Popa. We use these congruences and recent work of Ciolan, Languasco and the third author on Euler-Kronecker constants, to quantify the non-divisibility of the Fourier coefficients involved by $\ell.$ The degree of the number field generated by these coefficients we investigate using recent results on prime factors of shifted prime numbers. △ Less

Submitted 14 October, 2022; v1 submitted 30 November, 2021; originally announced November 2021.

Comments: The final version, published in Mathematische Zeitschriften

MSC Class: 11F33; 11F11; 11F80; 11N37

Landau and Ramanujan approximations for divisor sums and coefficients of cusp forms

Authors: Alexandru Ciolan, Alessandro Languasco, Pieter Moree

Abstract: In 1961, Rankin determined the asymptotic behavior of the number $S_{k,q}(x)$ of positive integers $n\le x$ for which a given prime $q$ does not divide $σ_k(n),$ the $k$-th divisor sum function. By computing the associated Euler-Kronecker constant $γ_{k,q},$ which depends on the arithmetic of certain subfields of $\mathbb Q(ζ_q)$, we obtain the second order term in the asymptotic expansion of… ▽ More In 1961, Rankin determined the asymptotic behavior of the number $S_{k,q}(x)$ of positive integers $n\le x$ for which a given prime $q$ does not divide $σ_k(n),$ the $k$-th divisor sum function. By computing the associated Euler-Kronecker constant $γ_{k,q},$ which depends on the arithmetic of certain subfields of $\mathbb Q(ζ_q)$, we obtain the second order term in the asymptotic expansion of $S_{k,q}(x).$ Using a method developed by Ford, Luca and Moree (2014), we determine the pairs $(k,q)$ with $(k, q-1)=1$ for which Ramanujan's approximation to $S_{k,q}(x)$ is better than Landau's. This entails checking whether $γ_{k,q}<1/2$ or not, and requires a substantial computational number theoretic input and extensive computer usage. We apply our results to study the non-divisibility of Fourier coefficients of six cusp forms by certain exceptional primes, extending the earlier work of Moree (2004), who disproved several claims made by Ramanujan on the non-divisibility of the Ramanujan tau function by five such exceptional primes. △ Less

Submitted 7 September, 2021; originally announced September 2021.

Comments: 43 pages, 12 tables, webpage: www.math.unipd.it/~languasc/CLM.html

Journal ref: Journal of Mathematical Analysis and Applications, 2022

Cyclotomic exponent sequences of numerical semigroups

Authors: Alexandru Ciolan, Pedro A. García-Sánchez, Andrés Herrera-Poyatos, Pieter Moree

Abstract: We study the cyclotomic exponent sequence of a numerical semigroup $S,$ and we compute its values at the gaps of $S,$ the elements of $S$ with unique representations in terms of minimal generators, and the Betti elements $b\in S$ for which the set $\{a \in \operatorname{Betti}(S) : a \le_{S}b\}$ is totally ordered with respect to $\le_S$ (we write $a \le_S b$ whenever $a - b \in S,$ with… ▽ More We study the cyclotomic exponent sequence of a numerical semigroup $S,$ and we compute its values at the gaps of $S,$ the elements of $S$ with unique representations in terms of minimal generators, and the Betti elements $b\in S$ for which the set $\{a \in \operatorname{Betti}(S) : a \le_{S}b\}$ is totally ordered with respect to $\le_S$ (we write $a \le_S b$ whenever $a - b \in S,$ with $a,b\in S$). This allows us to characterize certain semigroup families, such as Betti-sorted or Betti-divisible numerical semigroups, as well as numerical semigroups with a unique Betti element, in terms of their cyclotomic exponent sequences. Our results also apply to cyclotomic numerical semigroups, which are numerical semigroups with a finitely supported cyclotomic exponent sequence. We show that cyclotomic numerical semigroups with certain cyclotomic exponent sequences are complete intersections, thereby making progress towards proving the conjecture of Ciolan, García-Sánchez and Moree (2016) stating that $S$ is cyclotomic if and only if it is a complete intersection. △ Less

Submitted 21 January, 2021; originally announced January 2021.

Comments: 25 pages

MSC Class: 20M14 (Primary); 11C08 (Secondary)

Cyclotomic numerical semigroup polynomials with at most two irreducible factors

Authors: Alessio Borzì, Andrés Herrera-Poyatos, Pieter Moree

Abstract: A numerical semigroup $S$ is cyclotomic if its semigroup polynomial $P_S$ is a product of cyclotomic polynomials. The number of irreducible factors of $P_S$ (with multiplicity) is the polynomial length $\ell(S)$ of $S.$ We show that a cyclotomic numerical semigroup is complete intersection if $\ell(S)\le 2$. This establishes a particular case of a conjecture of Ciolan, García-Sánchez and Moree (20… ▽ More A numerical semigroup $S$ is cyclotomic if its semigroup polynomial $P_S$ is a product of cyclotomic polynomials. The number of irreducible factors of $P_S$ (with multiplicity) is the polynomial length $\ell(S)$ of $S.$ We show that a cyclotomic numerical semigroup is complete intersection if $\ell(S)\le 2$. This establishes a particular case of a conjecture of Ciolan, García-Sánchez and Moree (2016) claiming that every cyclotomic numerical semigroup is complete intersection. In addition, we investigate the relation between $\ell(S)$ and the embedding dimension of $S.$ △ Less

Submitted 15 May, 2021; v1 submitted 21 January, 2021; originally announced January 2021.

Comments: 15 pages

MSC Class: 20M14 (Primary); 11C08 (Secondary)

Journal ref: Semigroup Forum 103, 812-828 (2021)

On Positivity and Minimality for Second-Order Holonomic Sequences

Authors: George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, James Worrell

Abstract: An infinite sequence $\langle{u_n}\rangle_{n\in\mathbb{N}}$ of real numbers is holonomic (also known as P-recursive or P-finite) if it satisfies a linear recurrence relation with polynomial coefficients. Such a sequence is said to be positive if each $u_n \geq 0$, and minimal if, given any other linearly independent sequence $\langle{v_n}\rangle_{n \in\mathbb{N}}$ satisfying the same recurrence re… ▽ More An infinite sequence $\langle{u_n}\rangle_{n\in\mathbb{N}}$ of real numbers is holonomic (also known as P-recursive or P-finite) if it satisfies a linear recurrence relation with polynomial coefficients. Such a sequence is said to be positive if each $u_n \geq 0$, and minimal if, given any other linearly independent sequence $\langle{v_n}\rangle_{n \in\mathbb{N}}$ satisfying the same recurrence relation, the ratio $u_n/v_n$ converges to $0$. In this paper, we focus on holonomic sequences satisfying a second-order recurrence $g_3(n)u_n = g_2(n)u_{n-1} + g_1(n)u_{n-2}$, where each coefficient $g_3, g_2,g_1 \in \mathbb{Q}[n]$ is a polynomial of degree at most $1$. We establish two main results. First, we show that deciding positivity for such sequences reduces to deciding minimality. And second, we prove that deciding minimality is equivalent to determining whether certain numerical expressions (known as periods, exponential periods, and period-like integrals) are equal to zero. Periods and related expressions are classical objects of study in algebraic geometry and number theory, and several established conjectures (notably those of Kontsevich and Zagier) imply that they have a decidable equality problem, which in turn would entail decidability of Positivity and Minimality for a large class of second-order holonomic sequences. △ Less

Submitted 23 July, 2020; originally announced July 2020.

Comments: 38 pages

MSC Class: 11B37; 11Y65; 68R99 ACM Class: G.2.1

Binary recurrences for which powers of two are discriminating moduli

Authors: A. de Clercq, F. Luca, L. Martirosyan, M. Matthis, P. Moree, M. A. Stoumen, M. Weiß

Abstract: Given a sequence of distinct positive integers $w_0 , w_1, w_2, \ldots$ and any positive integer $n$, we define the discriminator function $\mathcal{D}_{\bf w}(n)$ to be the smallest positive integer $m$ such that $w_0,\ldots, w_{n-1}$ are pairwise incongruent modulo $m$. In this paper, we classify all binary recurrent sequences $\{w_n\}_{n\geq 0}$ consisting of different integer terms such that… ▽ More Given a sequence of distinct positive integers $w_0 , w_1, w_2, \ldots$ and any positive integer $n$, we define the discriminator function $\mathcal{D}_{\bf w}(n)$ to be the smallest positive integer $m$ such that $w_0,\ldots, w_{n-1}$ are pairwise incongruent modulo $m$. In this paper, we classify all binary recurrent sequences $\{w_n\}_{n\geq 0}$ consisting of different integer terms such that $\mathcal{D}_{\bf w}(2^e)=2^e$ for every $e\geq 1.$ For all of these sequences it is expected that one can actually give a fairly simple description of $\mathcal{D}_{\bf w}(n)$ for every $n\ge 1.$ For two infinite families of such sequences this has been done already in 2019 by Faye, Luca and Moree, respectively Ciolan and Moree. △ Less

Submitted 30 November, 2020; v1 submitted 3 March, 2020; originally announced March 2020.

Comments: 10 pages, 2 tables, final version

Report number: Max Planck Institute for Mathematics Preprint 2020-15

Journal ref: J. Integer Sequences 23 (2020), Article 20.11.3, pp. 10

Coefficients of (inverse) unitary cyclotomic polynomials

Authors: G. Jones, P. I. Kester, L. Martirosyan, P. Moree, L. Tóth, B. B. White, B. Zhang

Abstract: The notion of block divisibility naturally leads one to introduce unitary cyclotomic polynomials $Φ_n^*(x)$. They can be written as certain products of cyclotomic poynomials. We study the case where $n$ has two or three distinct prime factors using numerical semigroups, respectively Bachman's inclusion-exclusion polynomials. Given $m\ge 1$ we show that every integer occurs as a coefficient of… ▽ More The notion of block divisibility naturally leads one to introduce unitary cyclotomic polynomials $Φ_n^*(x)$. They can be written as certain products of cyclotomic poynomials. We study the case where $n$ has two or three distinct prime factors using numerical semigroups, respectively Bachman's inclusion-exclusion polynomials. Given $m\ge 1$ we show that every integer occurs as a coefficient of $Φ^*_{mn}(x)$ for some $n\ge 1$. Here $n$ will typically have many different prime factors. We also consider similar questions for the polynomials $(x^n-1)/Φ_n^*(x),$ the inverse unitary cyclotomic polynomials. △ Less

Submitted 5 November, 2019; originally announced November 2019.

Comments: 12 pages, 4 tables, to appear in the Kodai Mathematical Journal

Report number: MPIM report MPIM2019-35

Unitary cyclotomic polynomials

Authors: Pieter Moree, László Tóth

Abstract: The notion of block divisibility naturally leads one to introduce unitary cyclotomic polynomials. We formulate some basic properties of unitary cyclotomic polynomials and study how they are connected with cyclotomic, inclusion-exclusion and Kronecker polynomials. Further, we derive some related arithmetic function identities involving the unitary analog of the Dirichlet convolution. The notion of block divisibility naturally leads one to introduce unitary cyclotomic polynomials. We formulate some basic properties of unitary cyclotomic polynomials and study how they are connected with cyclotomic, inclusion-exclusion and Kronecker polynomials. Further, we derive some related arithmetic function identities involving the unitary analog of the Dirichlet convolution. △ Less

Submitted 5 November, 2019; originally announced November 2019.

Comments: 20 p., part II is called Coefficients of (inverse) unitary cyclotomic polynomials

Cyclotomic polynomials with prescribed height and prime number theory

Authors: Alexandre Kosyak, Pieter Moree, Efthymios Sofos, Bin Zhang

Abstract: Given any positive integer $n,$ let $A(n)$ denote the height of the $n^{\text{th}}$ cyclotomic polynomial, that is its maximum coefficient in absolute value. It is well known that $A(n)$ is unbounded. We conjecture that every natural number can arise as value of $A(n)$ and prove this assuming that for every pair of consecutive primes $p$ and $p'$ with $p\ge 127$ we have $p'-p<\sqrt{p}+1.$ We also… ▽ More Given any positive integer $n,$ let $A(n)$ denote the height of the $n^{\text{th}}$ cyclotomic polynomial, that is its maximum coefficient in absolute value. It is well known that $A(n)$ is unbounded. We conjecture that every natural number can arise as value of $A(n)$ and prove this assuming that for every pair of consecutive primes $p$ and $p'$ with $p\ge 127$ we have $p'-p<\sqrt{p}+1.$ We also conjecture that every natural number occurs as maximum coefficient of some cyclotomic polynomial and show that this is true if Andrica's conjecture that always $\sqrt{p'}-\sqrt{p}<1$ holds. This is the first time, as far as the authors know, a connection between prime gaps and cyclotomic polynomials is uncovered. Using a result of Heath-Brown on prime gaps we show unconditionally that every natural number $m\le x$ occurs as $A(n)$ value with at most $O_ε(x^{3/5+ε})$ exceptions. On the Lindelöf Hypothesis we show there are at most $O_ε(x^{1/2+ε})$ exceptions and study them further by using deep work of Bombieri--Friedlander--Iwaniec on the distribution of primes in arithmetic progressions beyond the square-root barrier. △ Less

Submitted 30 November, 2020; v1 submitted 2 October, 2019; originally announced October 2019.

Comments: 24 pages, 1 table. Conjecture 8 has been sharpened, various more minor changes throughout the text. To appear in Mathematika

Computation of the Kummer ratio of the class number for prime cyclotomic fields

Authors: Alessandro Languasco, Pieter Moree, Sumaia Saad Eddin, Alisa Sedunova

Abstract: Let $ζ_q$ be a primitive $q^{\text{th}}$ root of unity with $q$ an arbitrary odd prime. The ratio of Kummer's first factor of the class number of the cyclotomic number field $\mathbb{Q}(ζ_q)$ and its expected order of magnitude (a simple function of $q$) is called the Kummer ratio and denoted by $r(q)$. It is known that typically $r(q)$ is close to 1, but nevertheless it is believed that it is unb… ▽ More Let $ζ_q$ be a primitive $q^{\text{th}}$ root of unity with $q$ an arbitrary odd prime. The ratio of Kummer's first factor of the class number of the cyclotomic number field $\mathbb{Q}(ζ_q)$ and its expected order of magnitude (a simple function of $q$) is called the Kummer ratio and denoted by $r(q)$. It is known that typically $r(q)$ is close to 1, but nevertheless it is believed that it is unbounded, but only large on a very thin sequence of primes $q$. We propose an algorithm to compute $r(q)$ requiring the evaluation of $O(q\log q)$ products and $O(q)$ logarithms. Using it we obtain a new record maximum for $r(q)$, namely $r(6766811) =1.709379\dotsc$ (the old record being $r(5231)=1.556562\dotsc$). The program used and the results described here, are collected at the following address \url{http://www.math.unipd.it/~languasc/rq-comput.html}. This is a (preliminary) report about the computational part of a joint project with Pieter Moree, Sumaia Saad Eddin, and Alisa Sedunova. △ Less

Submitted 21 October, 2019; v1 submitted 3 August, 2019; originally announced August 2019.

Comments: Extended computations up to $3\le q \le 2\cdot 10^6$, $q$ prime. 11 pages, 2 figures, 4 tables

Asymptotic performance of metacyclic codes

Authors: Martino Borello, Pieter Moree, Patrick Solé

Abstract: A finite group with a cyclic normal subgroup N such that G/N is cyclic is said to be metacyclic. A code over a finite field F is a metacyclic code if it is a left ideal in the group algebra FG for G a metacyclic group. Metacyclic codes are generalizations of dihedral codes, and can be constructed as quasi-cyclic codes with an extra automorphism. In this paper, we prove that metacyclic codes form a… ▽ More A finite group with a cyclic normal subgroup N such that G/N is cyclic is said to be metacyclic. A code over a finite field F is a metacyclic code if it is a left ideal in the group algebra FG for G a metacyclic group. Metacyclic codes are generalizations of dihedral codes, and can be constructed as quasi-cyclic codes with an extra automorphism. In this paper, we prove that metacyclic codes form an asymptotically good family of codes. Our proof relies on a version of Artin's conjecture for primitive roots in arithmetic progression being true under the Generalized Riemann Hypothesis (GRH). △ Less

Submitted 18 June, 2019; originally announced June 2019.

Comments: 6 pages

Primes in arithmetic progressions and nonprimitive roots

Authors: Pieter Moree, Min Sha

Abstract: Let $p$ be a prime. If an integer $g$ generates a subgroup of index $t$ in $(\mathbb Z/p\mathbb Z)^*,$ then we say that $g$ is a $t$-near primitive root modulo $p$. We point out the easy result that each primitive residue class contains a positive natural density subset of primes $p$ not having $g$ as a $t$-near primitive root and prove a more difficult variant. Let $p$ be a prime. If an integer $g$ generates a subgroup of index $t$ in $(\mathbb Z/p\mathbb Z)^*,$ then we say that $g$ is a $t$-near primitive root modulo $p$. We point out the easy result that each primitive residue class contains a positive natural density subset of primes $p$ not having $g$ as a $t$-near primitive root and prove a more difficult variant. △ Less

Submitted 2 May, 2019; v1 submitted 9 January, 2019; originally announced January 2019.

Comments: 7 pages, changed title, to appear in the Bulletin of the Australian Mathematical Society, deals with a side problem that came up in arXiv:1809.08431 (to appear in Journal of Number Theory)

Report number: MPIM preprint 2019-7

Journal ref: Bull. Aust. Math. Soc. 100 (2019) 388-394

A computational history of prime numbers and Riemann zeros

Authors: Pieter Moree, Izabela Petrykiewicz, Alisa Sedunova

Abstract: We give an informal survey of the historical development of computations related to prime number distribution and zeros of the Riemann zeta function. We give an informal survey of the historical development of computations related to prime number distribution and zeros of the Riemann zeta function. △ Less

Submitted 11 October, 2018; originally announced October 2018.

Jordan totient quotients

Authors: Pieter Moree, Sumaia Saad Eddin, Alisa Sedunova, Yuta Suzuki

Abstract: The Jordan totient $J_k(n)$ can be defined by $J_k(n)=n^k\prod_{p\mid n}(1-p^{-k})$. In this paper, we study the average behavior of fractions $P/Q$ of two products $P$ and $Q$ of Jordan totients, which we call Jordan totient quotients. To this end, we describe two general and ready-to-use methods that allow one to deal with a larger class of totient functions. The first one is elementary and the… ▽ More The Jordan totient $J_k(n)$ can be defined by $J_k(n)=n^k\prod_{p\mid n}(1-p^{-k})$. In this paper, we study the average behavior of fractions $P/Q$ of two products $P$ and $Q$ of Jordan totients, which we call Jordan totient quotients. To this end, we describe two general and ready-to-use methods that allow one to deal with a larger class of totient functions. The first one is elementary and the second one uses an advanced method due to Balakrishnan and Pétermann. As an application, we determine the average behavior of the Jordan totient quotient, the $k^{th}$ normalized derivative of the $n^{th}$ cyclotomic polynomial $Φ_n(z)$ at $z=1$, the second normalized derivative of the $n^{th}$ cyclotomic polynomial $Φ_n(z)$ at $z=-1$, and the average order of the Schwarzian derivative of $Φ_n(z)$ at $z=1$. △ Less

Submitted 27 August, 2019; v1 submitted 10 October, 2018; originally announced October 2018.

Comments: 16 pages

MSC Class: 11N37; 11Y60

Journal ref: J. Number Theory 209 (2020), 147-166

Irregular primes with respect to Genocchi numbers and Artin's primitive root conjecture

Authors: Su Hu, Min-Soo Kim, Pieter Moree, Min Sha

Abstract: In this paper, we introduce and study a variant of Kummer's notion of (ir)regularity of primes which we call G-irregularity. It is based on Genocchi numbers $G_n$, rather than Bernoulli number $B_n.$ We say that an odd prime $p$ is G-irregular if it divides at least one of the integers $G_2,G_4,\ldots, G_{p-3}$, and G-regular otherwise. We show that, as in Kummer's case, G-irregularity is related… ▽ More In this paper, we introduce and study a variant of Kummer's notion of (ir)regularity of primes which we call G-irregularity. It is based on Genocchi numbers $G_n$, rather than Bernoulli number $B_n.$ We say that an odd prime $p$ is G-irregular if it divides at least one of the integers $G_2,G_4,\ldots, G_{p-3}$, and G-regular otherwise. We show that, as in Kummer's case, G-irregularity is related to the divisibility of some class number. Furthermore, we obtain some results on the distribution of G-irregular primes. In particular, we show that each primitive residue class contains infinitely many G-irregular primes and establish non-trivial lower bounds for their number up to a given bound $x$ as $x$ tends to infinity. As a by-product, we obtain some results on the distribution of primes in arithmetic progressions with a prescribed near-primitive root. △ Less

Submitted 6 May, 2019; v1 submitted 22 September, 2018; originally announced September 2018.

Comments: 19 pages

Coefficients and higher order derivatives of cyclotomic polynomials: old and new

Authors: Andrés Herrera-Poyatos, Pieter Moree

Abstract: The $n^{th}$ cyclotomic polynomial $Φ_n(x)$ is the minimal polynomial of an $n^{th}$ primitive root of unity. Its coefficients are the subject of intensive study and some formulas are known for them. Here we are interested in formulas which are valid for all natural numbers $n$. In these a host of famous number theoretical objects such as Bernoulli numbers, Stirling numbers of both kinds and Raman… ▽ More The $n^{th}$ cyclotomic polynomial $Φ_n(x)$ is the minimal polynomial of an $n^{th}$ primitive root of unity. Its coefficients are the subject of intensive study and some formulas are known for them. Here we are interested in formulas which are valid for all natural numbers $n$. In these a host of famous number theoretical objects such as Bernoulli numbers, Stirling numbers of both kinds and Ramanujan sums make their appearance, sometimes even at the same time! In this paper we present a survey of these formulas which until now were scattered in the literature and introduce an unified approach to derive some of them, leading also to shorter proofs as a by-product. In particular, we show that some of the formulas have a more elegant reinterpretation in terms of Bell polynomials. This approach amounts to computing the logarithmic derivatives of $Φ_n$ at certain points. Furthermore, we show that the logarithmic derivatives at $\pm 1$ of any Kronecker polynomial (a monic product of cyclotomic polynomials and a monomial) satisfy a family of linear equations whose coefficients are Stirling numbers of the second kind. We apply these equations to show that certain polynomials are not Kronecker. In particular, we infer that for every $k\ge 4$ there exists a symmetric numerical semigroup with embedding dimension $k$ and Frobenius number $2k+1$ that is not cyclotomic, thus establishing a conjecture of Alexandru Ciolan, Pedro García-Sánchez and the second author. In an appendix Pedro García-Sánchez shows that for every $k\ge 4$ there exists a symmetric non-cyclotomic numerical semigroup having Frobenius number $2k+1.$ △ Less

Submitted 22 August, 2018; v1 submitted 14 May, 2018; originally announced May 2018.

Comments: 30 pages, 1 figure, 3 tables, Section 6.1 is based on remarks by Michael Filaseta and Curtis McMullen, appendix by Pedro García-Sánchez giving a different proof of Theorem 1.4 b)

MSC Class: 11B68; 20M14; 05A15; 26A24

Irregular behaviour of class numbers and Euler-Kronecker constants of cyclotomic fields: the log log log devil at play

Authors: Pieter Moree

Abstract: Kummer (1851) and, many years later, Ihara (2005) both posed conjectures on invariants related to the cyclotomic field $\mathbb Q(ζ_q)$ with $q$ a prime. Kummer's conjecture concerns the asymptotic behaviour of the first factor of the class number of $\mathbb Q(ζ_q)$ and Ihara's the positivity of the Euler-Kronecker constant of $\mathbb Q(ζ_q)$ (the ratio of the constant and the residue of the Lau… ▽ More Kummer (1851) and, many years later, Ihara (2005) both posed conjectures on invariants related to the cyclotomic field $\mathbb Q(ζ_q)$ with $q$ a prime. Kummer's conjecture concerns the asymptotic behaviour of the first factor of the class number of $\mathbb Q(ζ_q)$ and Ihara's the positivity of the Euler-Kronecker constant of $\mathbb Q(ζ_q)$ (the ratio of the constant and the residue of the Laurent series of the Dedekind zeta function $ζ_{\mathbb Q(ζ_q)}(s)$ at $s=1$). If certain standard conjectures in analytic number theory hold true, then one can show that both conjectures are true for a set of primes of natural density 1, but false in general. Responsible for this are irregularities in the distribution of the primes. With this survey we hope to convince the reader that the apparently dissimilar mathematical objects studied by Kummer and Ihara actually display a very similar behaviour. △ Less

Submitted 20 December, 2017; v1 submitted 21 November, 2017; originally announced November 2017.

Comments: 20 pages, 1 figure, survey, to appear in `Irregularities in the Distribution of Prime Numbers - Research Inspired by Maier's Matrix Method', Eds. J. Pintz and M. Th. Rassias

MSC Class: 11N37; 11Y60; 11M20

Journal ref: Irregularities in the Distribution of Prime Numbers - Research Inspired by Maier's Matrix Method, Eds. J.~Pintz and M.~Th.~Rassias, Springer, 2018, 143--163

Constrained ternary integers

Authors: Florian Luca, Pieter Moree, Robert Osburn, Sumaia Saad Eddin, Alisa Sedunova

Abstract: An integer $n$ is said to be ternary if it is composed of three distinct odd primes. In this paper, we asymptotically count the number of ternary integers $n \leq x$ with the constituent primes satisfying various constraints. We apply our results to the study of the simplest class of (inverse) cyclotomic polynomials that can have coefficients that are greater than 1 in absolute value, namely to th… ▽ More An integer $n$ is said to be ternary if it is composed of three distinct odd primes. In this paper, we asymptotically count the number of ternary integers $n \leq x$ with the constituent primes satisfying various constraints. We apply our results to the study of the simplest class of (inverse) cyclotomic polynomials that can have coefficients that are greater than 1 in absolute value, namely to the $n^{th}$ (inverse) cyclotomic polynomials with ternary $n$. We show, for example, that the corrected Sister Beiter conjecture is true for a fraction $\ge 0.925$ of ternary integers. △ Less

Submitted 20 September, 2018; v1 submitted 23 October, 2017; originally announced October 2017.

Comments: 21 pages, to appear in International Journal of Number Theory

MSC Class: 11R09; 11C08

Journal ref: International Journal of Number Theory 15 (2019), no. 2, 407-431

On the discriminator of Lucas sequences

Authors: Bernadette Faye, Florian Luca, Pieter Moree

Abstract: We consider the family of Lucas sequences uniquely determined by $U_{n+2}(k)=(4k+2)U_{n+1}(k) -U_n(k),$ with initial values $U_0(k)=0$ and $U_1(k)=1$ and $k\ge 1$ an arbitrary integer. For any integer $n\ge 1$ the discriminator function $\mathcal{D}_k(n)$ of $U_n(k)$ is defined as the smallest integer $m$ such that $U_0(k),U_1(k),\ldots,U_{n-1}(k)$ are pairwise incongruent modulo $m$. Numerical wo… ▽ More We consider the family of Lucas sequences uniquely determined by $U_{n+2}(k)=(4k+2)U_{n+1}(k) -U_n(k),$ with initial values $U_0(k)=0$ and $U_1(k)=1$ and $k\ge 1$ an arbitrary integer. For any integer $n\ge 1$ the discriminator function $\mathcal{D}_k(n)$ of $U_n(k)$ is defined as the smallest integer $m$ such that $U_0(k),U_1(k),\ldots,U_{n-1}(k)$ are pairwise incongruent modulo $m$. Numerical work of Shallit on $\mathcal{D}_k(n)$ suggests that it has a relatively simple characterization. In this paper we will prove that this is indeed the case by showing that for every $k\ge 1$ there is a constant $n_k$ such that ${\mathcal D}_{k}(n)$ has a simple characterization for every $n\ge n_k$. The case $k=1$ turns out to be fundamentally different from the case $k>1$. △ Less

Submitted 11 August, 2017; originally announced August 2017.

Comments: 21 pages

Journal ref: Ann. Math. Québec 43 (2019), 51--71

Browkin's discriminator conjecture

Authors: Alexandru Ciolan, Pieter Moree

Abstract: Let $q\ge 5$ be a prime and put $q^*=(-1)^{(q-1)/2}\cdot q$. We consider the integer sequence $u_q(1),u_q(2),\ldots,$ with $u_q(j)=(3^j-q^*(-1)^j)/4$. No term in this sequence is repeated and thus for each $n$ there is a smallest integer $m$ such that $u_q(1),\ldots,u_q(n)$ are pairwise incongruent modulo $m$. We write $D_q(n)=m$. The idea of considering the discriminator $D_q(n)$ is due to Browki… ▽ More Let $q\ge 5$ be a prime and put $q^*=(-1)^{(q-1)/2}\cdot q$. We consider the integer sequence $u_q(1),u_q(2),\ldots,$ with $u_q(j)=(3^j-q^*(-1)^j)/4$. No term in this sequence is repeated and thus for each $n$ there is a smallest integer $m$ such that $u_q(1),\ldots,u_q(n)$ are pairwise incongruent modulo $m$. We write $D_q(n)=m$. The idea of considering the discriminator $D_q(n)$ is due to Browkin (2015) who, in case $3$ is a primitive root modulo $q,$ conjectured that the only values assumed by $D_q(n)$ are powers of $2$ and of $q$. We show that this is true for $n\neq 5$, but false for infinitely many $q$ in case $n=5$. We also determine $D_q(n)$ in case 3 is not a primitive root modulo $q$. Browkin's inspiration for his conjecture came from earlier work of Moree and Zumalacárregui (2016), who determined $D_5(n)$ for $n\ge 1$, thus establishing a conjecture of Salajan. For a fixed prime $q$ their approach is easily generalized, but requires some innovations in order to deal with all primes $q\ge 7$ and all $n\ge 1$. Interestingly enough, Fermat and Mirimanoff primes play a special role in this. △ Less

Submitted 7 July, 2017; originally announced July 2017.

Comments: 26 pages, 8 tables. The paper builds on an earlier paper [arXiv:1504.05718] by Moree and Zumalacarregui and for the convenience of the reader we give the complete proofs and logically this results in a considerable amount of text overlap with that paper. In the commentary in each section, we elaborate on what is similar and what is new

MSC Class: 11B50; 11A07; 11B05

Journal ref: Colloq. Math.156 (2019), 25--56

Denominators of Bernoulli polynomials

Authors: Olivier Bordellès, Florian Luca, Pieter Moree, Igor E. Shparlinski

Abstract: For a positive integer $n$ let $\mathfrak{P}_n=\prod_{s_p(n)\ge p} p,$ where $p$ runs over all primes and $s_p(n)$ is the sum of the base $p$ digits of $n$. For all $n$ we prove that $\mathfrak{P}_n$ is divisible by all "small" primes with at most one exception. We also show that $\mathfrak{P}_n$ is large, has many prime factors exceeding $\sqrt{n}$, with the largest one exceeding $n^{20/37}$. We… ▽ More For a positive integer $n$ let $\mathfrak{P}_n=\prod_{s_p(n)\ge p} p,$ where $p$ runs over all primes and $s_p(n)$ is the sum of the base $p$ digits of $n$. For all $n$ we prove that $\mathfrak{P}_n$ is divisible by all "small" primes with at most one exception. We also show that $\mathfrak{P}_n$ is large, has many prime factors exceeding $\sqrt{n}$, with the largest one exceeding $n^{20/37}$. We establish Kellner's conjecture, which says that the number of prime factors exceeding $\sqrt{n}$ grows asymptotically as $κ\sqrt{n}/\log n$ for some constant $κ$ with $κ=2$. Further, we compare the sizes of $\mathfrak{P}_n$ and $\mathfrak{P}_{n+1}$, leading to the somewhat surprising conclusion that although $\mathfrak{P}_n$ tends to infinity with $n$, the inequality $\mathfrak{P}_n>\mathfrak{P}_{n+1}$ is more frequent than its reverse. △ Less

Submitted 29 June, 2017; originally announced June 2017.

Comments: 25 pages

MSC Class: 11N37; 11J68; 11B68

Journal ref: Mathematika 64 (2018) 519-541

Cyclotomic polynomials at roots of unity

Authors: Bartlomiej Bzdega, Andres Herrera-Poyatos, Pieter Moree

Abstract: The $n^{th}$ cyclotomic polynomial $Φ_n(x)$ is the minimal polynomial of an $n^{th}$ primitive root of unity. Hence $Φ_n(x)$ is trivially zero at primitive $n^{th}$ roots of unity. Using finite Fourier analysis we derive a formula for $Φ_n(x)$ at the other roots of unity. This allows one to explicitly evaluate $Φ_n(e^{2πi/m})$ with $m\in \{3,4,5,6,8,10,12\}$. We use this evaluation with $m=5$ to g… ▽ More The $n^{th}$ cyclotomic polynomial $Φ_n(x)$ is the minimal polynomial of an $n^{th}$ primitive root of unity. Hence $Φ_n(x)$ is trivially zero at primitive $n^{th}$ roots of unity. Using finite Fourier analysis we derive a formula for $Φ_n(x)$ at the other roots of unity. This allows one to explicitly evaluate $Φ_n(e^{2πi/m})$ with $m\in \{3,4,5,6,8,10,12\}$. We use this evaluation with $m=5$ to give a simple reproof of a result of Vaughan (1975) on the maximum coefficient (in absolute value) of $Φ_n(x)$. We also obtain a formula for $Φ_n'(e^{2πi/m}) / Φ_n(e^{2πi/m})$ with $n \ne m$, which is effectively applied to $m \in \{3,4,6\}$. Furthermore, we compute the resultant of two cyclotomic polynomials in a novel very short way. △ Less

Submitted 9 January, 2017; v1 submitted 21 November, 2016; originally announced November 2016.

Comments: 17 pages, 4 tables, substantially reworked version. New and and very short computation of the resultant of two cyclotomic polynomials added, also results for m=5,8,10 and 12. Discussion of numerical semigroups, Coxeter polynomials and the incorrect Proposition 14 are left oUT

Report number: Max Planck Institute for Mathematics preprint MPIM2016-45

Journal ref: Acta Arith. 184 (2018), 215--230

Products of two proportional primes

Authors: Pieter Moree, Sumaia Saad Eddin

Abstract: In RSA cryptography numbers of the form $pq$, with $p$ and $q$ two distinct proportional primes play an important role. For a fixed real number $r>1$ we formalize this by saying that an integer $pq$ is an RSA-integer if $p$ and $q$ are primes satisfying $p<q\le rp$. Recently Dummit, Granville and Kisilevsky showed that substantially more than a quarter of the odd integers of the form $pq$ up to… ▽ More In RSA cryptography numbers of the form $pq$, with $p$ and $q$ two distinct proportional primes play an important role. For a fixed real number $r>1$ we formalize this by saying that an integer $pq$ is an RSA-integer if $p$ and $q$ are primes satisfying $p<q\le rp$. Recently Dummit, Granville and Kisilevsky showed that substantially more than a quarter of the odd integers of the form $pq$ up to $x$, with $p, q$ both prime, satisfy $p\equiv q\equiv 3\pmod{4}$. In this paper we investigate this phenomenon for RSA-integers. We establish an analogue of a strong form of the prime number theorem with the logarithmic integral replaced by a variant. From this we derive an asymptotic formula for the number of RSA-integers $\le x$ which is much more precise than an earlier one derived by Decker and Moree in 2008. △ Less

Submitted 24 June, 2016; originally announced June 2016.

Comments: 11 pages, 1 Table

MSC Class: 11N37; 11Y60

Journal ref: Int. J. Number Theory 13 (2017), 2583--2596

Forbidden integer ratios of consecutive power sums

Authors: Ioulia N. Baoulina, Pieter Moree

Abstract: Let $S_k(m):=1^k+2^k+\cdots+(m-1)^k$ denote a power sum. In 2011 Bernd Kellner formulated the conjecture that for $m\ge 4$ the ratio $S_k(m+1)/S_k(m)$ of two consecutive power sums is never an integer. We will develop some techniques that allow one to exclude many integers $ρ$ as a ratio and combine them to exclude the integers $3\le ρ\le 1501$ and, assuming a conjecture on irregular primes to be… ▽ More Let $S_k(m):=1^k+2^k+\cdots+(m-1)^k$ denote a power sum. In 2011 Bernd Kellner formulated the conjecture that for $m\ge 4$ the ratio $S_k(m+1)/S_k(m)$ of two consecutive power sums is never an integer. We will develop some techniques that allow one to exclude many integers $ρ$ as a ratio and combine them to exclude the integers $3\le ρ\le 1501$ and, assuming a conjecture on irregular primes to be true, a set of density $1$ of ratios $ρ$. To exclude a ratio $ρ$ one has to show that the Erdős-Moser type equation $(ρ-1)S_k(m)=m^k$ has no non-trivial solutions. △ Less

Submitted 20 October, 2015; originally announced October 2015.

Comments: 28 pages, 3 tables; accepted for publication in the book "From Arithmetic to Zeta-Functions - Number Theory in Memory of Wolfgang Schwarz"

MSC Class: 11D61; 11A07

Cyclotomic coefficients: gaps and jumps

Authors: Oana-Maria Camburu, Emil-Alexandru Ciolan, Florian Luca, Pieter Moree, Igor E. Shparlinski

Abstract: We improve several recent results by Hong, Lee, Lee and Park (2012) on gaps and Bzdȩga (2014) on jumps amongst the coefficients of cyclotomic polynomials. Besides direct improvements, we also introduce several new techniques that have never been used in this area. We improve several recent results by Hong, Lee, Lee and Park (2012) on gaps and Bzdȩga (2014) on jumps amongst the coefficients of cyclotomic polynomials. Besides direct improvements, we also introduce several new techniques that have never been used in this area. △ Less

Submitted 25 July, 2015; originally announced July 2015.

Comments: 25 pages

MSC Class: 11B83; 11L07; 11N25

Journal ref: J. Number Theory 163 (2016), 211--237

Counting terms $U_n$ of third order linear recurrences with $U_n=u^2+nv^2$

Authors: Emil-Alexandru Ciolan, Florian Luca, Pieter Moree

Abstract: Given a recurrent sequence ${\bf U}:=\{U_n\}_{n\ge 0}$ we consider the problem of counting ${\mathcal M}_U(x)$, the number of integers $n\le x$ such that $U_n=u^2+nv^2$ for some integers $u,v$. We will show that ${\mathcal M}_U(x)\ll x(\log x)^{-0.05}$ for a large class of ternary sequences. Our method uses many ingredients from the proof of Alba González and the second author that… ▽ More Given a recurrent sequence ${\bf U}:=\{U_n\}_{n\ge 0}$ we consider the problem of counting ${\mathcal M}_U(x)$, the number of integers $n\le x$ such that $U_n=u^2+nv^2$ for some integers $u,v$. We will show that ${\mathcal M}_U(x)\ll x(\log x)^{-0.05}$ for a large class of ternary sequences. Our method uses many ingredients from the proof of Alba González and the second author that ${\mathcal M}_F(x)\ll x(\log x)^{-0.06}$, with $\bf F$ the Fibonacci sequence. △ Less

Submitted 10 June, 2015; originally announced June 2015.

Comments: 19 pages

Journal ref: J. Ramanujan Math. Soc. 32 (2017), 165--183

Salajan's conjecture on discriminating terms in an exponential sequence

Authors: Pieter Moree, Ana Zumalacárregui

Abstract: Given a sequence of distinct positive integers $v_1,v_2,\ldots$ and any positive integer $n$, the discriminator $D_v(n)$ is defined as the smallest positive integer $m$ such $v_1,\ldots,v_n$ are pairwise incongruent modulo $m$. We consider the discriminator for the sequence $u_1,u_2,\ldots$, where $u_j$ equals the absolute value of $((-3)^j-5)/4$, that is $u_j=(3^j-5(-1)^j)/4$. We prove a 2012 con… ▽ More Given a sequence of distinct positive integers $v_1,v_2,\ldots$ and any positive integer $n$, the discriminator $D_v(n)$ is defined as the smallest positive integer $m$ such $v_1,\ldots,v_n$ are pairwise incongruent modulo $m$. We consider the discriminator for the sequence $u_1,u_2,\ldots$, where $u_j$ equals the absolute value of $((-3)^j-5)/4$, that is $u_j=(3^j-5(-1)^j)/4$. We prove a 2012 conjecture of Sabin Salajan characterizing the discriminator of the sequence $u_1,u_2,\ldots$. △ Less

Submitted 22 April, 2015; originally announced April 2015.

Comments: 18 pages

Journal ref: J. Number Theory 160 (2016), 646--665

Addendum to the paper: "Artin Prime Producing Quadratics" [Abh. Math. Sem. Univ. Hamburg 77 (2007), 109--127; MR2379332 (2008m:11194)] by P. Moree

Authors: Yves Gallot, Pieter Moree

Abstract: Can one find an integer $g$ and a polynomial $f$, such that $g$ is a primitive root for many consecutive (different) prime values assumed by $f$? Moree considered this problem in 2007 with computational assistence from Gallot and concentrated on the case where $f$ is quadratic. Recently Akbary and Scholten (Math. Comp., to appear) extended this work and also considered the case where $f$ is linear… ▽ More Can one find an integer $g$ and a polynomial $f$, such that $g$ is a primitive root for many consecutive (different) prime values assumed by $f$? Moree considered this problem in 2007 with computational assistence from Gallot and concentrated on the case where $f$ is quadratic. Recently Akbary and Scholten (Math. Comp., to appear) extended this work and also considered the case where $f$ is linear and cubic. In their paper they improved on a record of the authors in the quadratic case. However, mistakingly Moree had not mentioned in the 2007 paper the then record (from 2006), but only an older record. The 2006 record (due to Gallot) actually exceeds the 'record' from Akbary and Scholten. Aside from pointing this out, the goal of the note is to attend people to the problem mentioned in the first sentence of the abstract and point out some connections with recent spectacular work of Maynard and highly interesting work of Pollack. △ Less

Submitted 10 January, 2015; originally announced January 2015.

Comments: 2 pages

Journal ref: Abh. Math. Sem. Univ. Hamburg 85 (2015), 87--88

Cyclotomic numerical semigroups

Authors: Emil-Alexandru Ciolan, Pedro A. García-Sánchez, Pieter Moree

Abstract: Given a numerical semigroup $S$, we let $\mathrm P_S(x)=(1-x)\sum_{s\in S}x^s$ be its semigroup polynomial. We study cyclotomic numerical semigroups; these are numerical semigroups $S$ such that $\mathrm P_S(x)$ has all its roots in the unit disc. We conjecture that $S$ is a cyclotomic numerical semigroup if and only if $S$ is a complete intersection numerical semigroup and present some evidence f… ▽ More Given a numerical semigroup $S$, we let $\mathrm P_S(x)=(1-x)\sum_{s\in S}x^s$ be its semigroup polynomial. We study cyclotomic numerical semigroups; these are numerical semigroups $S$ such that $\mathrm P_S(x)$ has all its roots in the unit disc. We conjecture that $S$ is a cyclotomic numerical semigroup if and only if $S$ is a complete intersection numerical semigroup and present some evidence for it. Aside from the notion of cyclotomic numerical semigroup we introduce the notion of cyclotomic exponents and polynomially related numerical semigroups. We derive some properties and give some applications of these new concepts. △ Less

Submitted 10 February, 2016; v1 submitted 19 September, 2014; originally announced September 2014.

Comments: 17 pages, accepted for publication in SIAM J. Discrete Math

Journal ref: SIAM J. Discrete Math. 30 (2016), 650--668

Periodic Structure of the Exponential Pseudorandom Number Generator

Authors: Jonas Kaszian, Pieter Moree, Igor E. Shparlinski

Abstract: We investigate the periodic structure of the exponential pseudorandom number generator obtained from the map $x\mapsto g^x\pmod p$ that acts on the set $\{1, \ldots, p-1\}$. We investigate the periodic structure of the exponential pseudorandom number generator obtained from the map $x\mapsto g^x\pmod p$ that acts on the set $\{1, \ldots, p-1\}$. △ Less

Submitted 4 December, 2013; originally announced December 2013.

Numerical semigroups, cyclotomic polynomials and Bernoulli numbers

Authors: Pieter Moree

Abstract: We give two proofs of a folkore result relating numerical semigroups of embedding dimension two and binary cyclotomic polynomials and explore some consequences. In particular, we give a more conceptual reproof of a result of Hong et al. (2012) on gaps between the exponents of non-zero monomials in a binary cyclotomic polynomial. The intent of the author with this expositional paper is to better… ▽ More We give two proofs of a folkore result relating numerical semigroups of embedding dimension two and binary cyclotomic polynomials and explore some consequences. In particular, we give a more conceptual reproof of a result of Hong et al. (2012) on gaps between the exponents of non-zero monomials in a binary cyclotomic polynomial. The intent of the author with this expositional paper is to better unify the various results within the cyclotomic polynomial and numerical semigroup communities. △ Less

Submitted 20 December, 2013; v1 submitted 19 August, 2013; originally announced August 2013.

Comments: 13 pages, 2 diagrams, expository paper to appear in American Mathematical Monthly, mathematical improvements in section on symmetric numerical semigroups, LLL-diagram material added, many minor changes

MSC Class: 20M14; 11C08; 11B68

Journal ref: Amer. Math. Monthly 121 (2014), 890--902

Integers without large prime factors: from Ramanujan to de Bruijn

Authors: Pieter Moree

Abstract: A small survey of work done on estimating the number of integers without large prime factors up to around 1950 is provided. Around 1950 N.G. de Bruijn published results that dramatically advanced the subject and started a new era in this topic. A small survey of work done on estimating the number of integers without large prime factors up to around 1950 is provided. Around 1950 N.G. de Bruijn published results that dramatically advanced the subject and started a new era in this topic. △ Less

Submitted 7 December, 2012; originally announced December 2012.

Comments: 12 pages, 1 Figure

MSC Class: 11N25 (Primary) 34K25 (Secondary)

Journal ref: Integers 14A (2014), A5, pp. 1--13

Nicolaas Govert de Bruijn, the enchanter of friable integers

Authors: Pieter Moree

Abstract: N.G. de Bruijn carried out fundamental work on integers having only small prime factors and the Dickman-de Bruijn function that arises on computing the density of those integers. In this he used his earlier work on linear functionals and differential-difference equations. We review the relevant work and also some later improvements by others. N.G. de Bruijn carried out fundamental work on integers having only small prime factors and the Dickman-de Bruijn function that arises on computing the density of those integers. In this he used his earlier work on linear functionals and differential-difference equations. We review the relevant work and also some later improvements by others. △ Less

Submitted 7 December, 2012; originally announced December 2012.

Comments: 34 pages, 1 Figure

MSC Class: 11N25 (Primary) 34K25 (Secondary)

Journal ref: Indag. Math. (N.S.) 24 (2013), 774--801

Sister Beiter and Kloosterman: a tale of cyclotomic coefficients and modular inverses

Authors: Cristian Cobeli, Yves Gallot, Pieter Moree, Alexandru Zaharescu

Abstract: For a fixed prime $p$, the maximum coefficient (in absolute value) $M(p)$ of the cyclotomic polynomial $Φ_{pqr}(x)$, where $r$ and $q$ are free primes satisfying $r>q>p$ exists. Sister Beiter conjectured in 1968 that $M(p)\le(p+1)/2$. In 2009 Gallot and Moree showed that $M(p)\ge 2p(1-ε)/3$ for every $p$ sufficiently large. In this article Kloosterman sums (`cloister man sums') and other tools fro… ▽ More For a fixed prime $p$, the maximum coefficient (in absolute value) $M(p)$ of the cyclotomic polynomial $Φ_{pqr}(x)$, where $r$ and $q$ are free primes satisfying $r>q>p$ exists. Sister Beiter conjectured in 1968 that $M(p)\le(p+1)/2$. In 2009 Gallot and Moree showed that $M(p)\ge 2p(1-ε)/3$ for every $p$ sufficiently large. In this article Kloosterman sums (`cloister man sums') and other tools from the distribution of modular inverses are applied to quantify the abundancy of counter-examples to Sister Beiter's conjecture and sharpen the above lower bound for $M(p)$. △ Less

Submitted 17 September, 2012; originally announced September 2012.

Comments: 2 figures; 15 pages

Journal ref: Indag. Math. 24 (2013), 915--929

Computing higher rank primitive root densities

Authors: P. Moree, P. Stevenhagen

Abstract: We extend the character sum method for the computation of densities in Artin primitive root problems developed by H. W. Lenstra and the authors to the situation of radical extensions of arbitrary rank. Our algebraic set-up identifies the key parameters of the situation at hand, and obviates the lengthy analytic multiplicative number theory arguments that used to go into the computation of actual d… ▽ More We extend the character sum method for the computation of densities in Artin primitive root problems developed by H. W. Lenstra and the authors to the situation of radical extensions of arbitrary rank. Our algebraic set-up identifies the key parameters of the situation at hand, and obviates the lengthy analytic multiplicative number theory arguments that used to go into the computation of actual densities. It yields a conceptual interpretation of the formulas obtained, and enables us to extend their range of application in a systematic way. △ Less

Submitted 29 December, 2013; v1 submitted 20 March, 2012; originally announced March 2012.

Comments: 18 pp, to appear in Acta Arithmetica

Report number: Acta Arith. 163 (2014), no. 1, 15--32 MSC Class: 11R45; 11L03; 11N13

Near-primitive roots

Authors: Pieter Moree

Abstract: Given an integer $t\ge 1$, a rational number $g$ and a prime $p\equiv 1({\rm mod} t)$ we say that $g$ is a near-primitive root of index $t$ if $ν_p(g)=0$, and $g$ is of order $(p-1)/t$ modulo $p$. In the case $g$ is not minus a square we compute the density, under the Generalized Riemann Hypothesis (GRH), of such primes explicitly in the form $ρ(g)A$, with $ρ(g)$ a rational number and $A$ the Arti… ▽ More Given an integer $t\ge 1$, a rational number $g$ and a prime $p\equiv 1({\rm mod} t)$ we say that $g$ is a near-primitive root of index $t$ if $ν_p(g)=0$, and $g$ is of order $(p-1)/t$ modulo $p$. In the case $g$ is not minus a square we compute the density, under the Generalized Riemann Hypothesis (GRH), of such primes explicitly in the form $ρ(g)A$, with $ρ(g)$ a rational number and $A$ the Artin constant. We follow in this the approach of Wagstaff, who had dealt earlier with the case where $g$ is not minus a square. The outcome is in complete agreement with the recent determination of the density using a very different, much more algebraic, approach due to Hendrik Lenstra, the author and Peter Stevenhagen. △ Less

Submitted 21 December, 2011; originally announced December 2011.

Comments: 12 pages, 2 tables

MSC Class: 11A07; 11R45

Journal ref: Funct. Approx. Comment. Math. 48.1 (2013), 133--145

Character sums for primitive root densities

Authors: H. W. Lenstra Jr, P. Moree, P. Stevenhagen

Abstract: It follows from the work of Artin and Hooley that, under assumption of the generalized Riemann hypothesis, the density of the set of primes $q$ for which a given non-zero rational number $r$ is a primitive root modulo $q$ can be written as an infinite product $\prod_p δ_p$ of local factors $δ_p$ reflecting the degree of the splitting field of $X^p-r$ at the primes $p$, multiplied by a somewhat com… ▽ More It follows from the work of Artin and Hooley that, under assumption of the generalized Riemann hypothesis, the density of the set of primes $q$ for which a given non-zero rational number $r$ is a primitive root modulo $q$ can be written as an infinite product $\prod_p δ_p$ of local factors $δ_p$ reflecting the degree of the splitting field of $X^p-r$ at the primes $p$, multiplied by a somewhat complicated factor that corrects for the `entanglement' of these splitting fields. We show how the correction factors arising in Artin's original primitive root problem and some of its generalizations can be interpreted as character sums describing the nature of the entanglement. The resulting description in terms of local contributions is so transparent that it greatly facilitates explicit computations, and naturally leads to non-vanishing criteria for the correction factors. The method not only applies in the setting of Galois representations of the multiplicative group underlying Artin's conjecture, but also in the GL$_2$-setting arising for elliptic curves. As an application, we compute the density of the set of primes of cyclic reduction for Serre curves. △ Less

Submitted 25 August, 2014; v1 submitted 20 December, 2011; originally announced December 2011.

Comments: 23 pages. This version is to appear in the Mathematical Proceedings of the Cambridge Philosophical Society

MSC Class: Primary 11R45; Secondary 11L03; 11N13

Journal ref: Math. Proc. Camb. Phil. Soc. 157 (2014) 489-511

Non-Beiter ternary cyclotomic polynomials with an optimally large set of coefficients

Authors: Pieter Moree, Eugenia Rosu

Abstract: Let l>=1 be an arbitrary odd integer and p,q and r primes. We show that there exist infinitely many ternary cyclotomic polynomials Φ_{pqr}(x) with l^2+3l+5<= p<q<r such that the set of coefficients of each of them consists of the p integers in the interval [-(p-l-2)/2,(p+l+2)/2]. It is known that no larger coefficient range is possible. The Beiter conjecture states that the cyclotomic coefficients… ▽ More Let l>=1 be an arbitrary odd integer and p,q and r primes. We show that there exist infinitely many ternary cyclotomic polynomials Φ_{pqr}(x) with l^2+3l+5<= p<q<r such that the set of coefficients of each of them consists of the p integers in the interval [-(p-l-2)/2,(p+l+2)/2]. It is known that no larger coefficient range is possible. The Beiter conjecture states that the cyclotomic coefficients a_{pqr}(k) of Φ_{pqr} satisfy |a_{pqr}(k)|<= (p+1)/2 and thus the above family contradicts the Beiter conjecture. The two already known families of ternary cyclotomic polynomials with an optimally large set of coefficients (found by G. Bachman) satisfy the Beiter conjecture. △ Less

Submitted 29 November, 2011; originally announced November 2011.

Comments: 20 pages, 7 Tables

MSC Class: 11N37; 11B83

Journal ref: Int. J. Number Theory 8 (2012), 1883--1902

The family of ternary cyclotomic polynomials with one free prime

Authors: Yves Gallot, Pieter Moree, Robert Wilms

Abstract: A cyclotomic polynomial Φ_n(x) is said to be ternary if n=pqr with p,q and r distinct odd primes. Ternary cyclotomic polynomials are the simplest ones for which the behaviour of the coefficients is not completely understood. Here we establish some results and formulate some conjectures regarding the coefficients appearing in the polynomial family Φ_{pqr}(x) with p<q<r, p and q fixed and r a free p… ▽ More A cyclotomic polynomial Φ_n(x) is said to be ternary if n=pqr with p,q and r distinct odd primes. Ternary cyclotomic polynomials are the simplest ones for which the behaviour of the coefficients is not completely understood. Here we establish some results and formulate some conjectures regarding the coefficients appearing in the polynomial family Φ_{pqr}(x) with p<q<r, p and q fixed and r a free prime. △ Less

Submitted 20 October, 2011; originally announced October 2011.

Comments: To appear in Involve, 23 pages, 7 Tables, Question 5 has been meanwhile answered in the positive by Eugenia Rosu; (extended version, 32 pages)

Report number: MPIM-report 2010-11 MSC Class: 11B83; 11C08

Journal ref: Involve 4 (2011), no. 4, 317-341