Source author record

Pieter Moree

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT math.CO math.AC math.HO Cryptography and Security Discrete Mathematics math.AG math.CA math.NA

Catalog footprint

Research overview

45works

9topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Higher Reciprocity Laws and Ternary Linear Recurrence Sequences

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).

preprint2021arXiv

Cyclotomic exponent sequences of numerical semigroups

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.

preprint2021arXiv

Cyclotomic numerical semigroup polynomials with at most two irreducible factors

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.$

preprint2020arXiv

On Positivity and Minimality for Second-Order Holonomic Sequences

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.

preprint2018arXiv

Constrained ternary integers

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.

preprint2017arXiv

Browkin's discriminator conjecture

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.

preprint2017arXiv

Cyclotomic polynomials at roots of unity

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.

preprint2017arXiv

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

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.

preprint2017arXiv

On the discriminator of Lucas sequences

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$ .

preprint2016arXiv

Cyclotomic numerical semigroups

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.

preprint2016arXiv

Products of two proportional primes

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.

preprint2015arXiv

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

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.

preprint2015arXiv

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

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.

preprint2015arXiv

Cyclotomic coefficients: gaps and jumps

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.

preprint2015arXiv

Salajan's conjecture on discriminating terms in an exponential sequence

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$ .

preprint2014arXiv

Counting carefree couples

A pair of natural numbers (a,b) such that a is both squarefree and coprime to b is called a carefree couple. A result conjectured by Manfred Schroeder (in his book `Number theory in science and communication') on carefree couples and a variant of it are established using standard arguments from elementary analytic number theory. Also a related conjecture of Schroeder on triples of integers that are pairwise coprime is proved.

preprint2013arXiv

Numerical semigroups, cyclotomic polynomials and Bernoulli numbers

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.

preprint2013arXiv

Periodic Structure of the Exponential Pseudorandom Number Generator

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\}$ .

preprint2012arXiv

Artin's primitive root conjecture -a survey -

This is an expanded version of a write-up of a talk given in the fall of 2000 in Oberwolfach. A large part of it is intended to be understandable by non-number theorists with a mathematical background. The talk covered some of the history, results and ideas connected with Artin's celebrated primitive root conjecture dating from 1927. In the update several new results established after 2000 are also discussed.

preprint2012arXiv

Integers without large prime factors: from Ramanujan to de Bruijn

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.

preprint2012arXiv

Nicolaas Govert de Bruijn, the enchanter of friable integers

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.

preprint2012arXiv

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

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)$ .

preprint2012arXiv

Values of the Euler phi-function not divisible by a given odd prime, and the distribution of Euler-Kronecker constants for cyclotomic fields

For a fixed odd prime q we investigate the first and second order terms of the asymptotic series expansion for the number of n\le x such that q does not divide phi(n). Part of the analysis involves a careful study of the Euler-Kronecker constants for cyclotomic fields. In particular, we show that the prime k-tuples conjecture and a conjecture of Ihara about the distribution of these Euler-Kronecker constants cannot be both true.

preprint2011arXiv

Coefficient convexity of divisors of x^n-1

We say a polynomial f having integer coefficients is strongly coefficient convex if the set of coefficients of f consists of consecutive integers only. We establish various results suggesting that the divisors of x^n-1 with integer coefficients have the tendency to be strongly coefficient convex and have small coefficients. The case where n=p^2*q with p and q primes is studied in detail.

preprint2011arXiv

Counting numbers in multiplicative sets: Landau versus Ramanujan

A set S of integers is said to be multiplicative if for every pair m and n of coprime integers we have that mn is in S iff both m and n are in S. Both Landau and Ramanujan gave approximations to S(x), the number of n<=x that are in S, for specific choices of S. The asymptotical precision of their respective approaches are being compared and related to Euler-Kronecker constants, a generalization of Euler's constant gamma=0.57721566.... This paper claims little originality, its aim is to give a survey on the literature related to this theme with an emphasis on the contributions of the author (and his coauthors).

preprint2011arXiv

Moser's mathemagical work on the equation 1^k+2^k+...+(m-1)^k=m^k

If the equation of the title has an integer solution with k>=2, then m>10^{10^6}. Leo Moser showed this in 1953 by amazingly elementary methods. With the hindsight of more than 50 years his proof can be somewhat simplified. We give a further proof showing that Moser's result can be derived from a von Staudt-Clausen type theorem. Based on more recent developments concerning this equation, we derive a new result using the divisibility properties of numbers in the sequence 2^{2e+1}+1, e=0,1,2,..... In the final section we show that certain Erdos-Moser type equations arising in a recent paper of Kellner can be solved completely.

preprint2011arXiv

Near-primitive roots

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.

preprint2011arXiv

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

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.

preprint2011arXiv

Principal forms X^2 + nY^2 representing many integers

In 1966, Shanks and Schmid investigated the asymptotic behavior of the number of positive integers less than or equal to x which are represented by the quadratic form X^2+nY^2. Based on some numerical computations, they observed that the constant occurring in the main term appears to be the largest for n=2. In this paper, we prove that in fact this constant is unbounded as n runs through positive integers with a fixed number of prime divisors.

preprint2011arXiv

The family of ternary cyclotomic polynomials with one free prime

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.

preprint2010arXiv

A top hat for Moser's four mathemagical rabbits

If the equation 1^k+2^k+...+(m-2)^k+(m-1)^k=m^k has an integer solution with k>1, then m>10^{10^6}. Leo Moser showed this in 1953 by remarkably elementary methods. His proof rests on four identities he derives separately. It is shown here that Moser's result can be derived from a von Staudt-Clausen type theorem (an easy proof of which is also presented here). In this approach the four identities can be derived uniformly. The mathematical arguments used in the proofs were already available during the lifetime of Lagrange (1736-1813).

preprint2009arXiv

Some Diophantine equations from finite group theory: $Φ_m(x)=2p^n-1$

We show that the equation in the title (with $Φ_m$ the $m$ th cyclotomic polynomial) has no integer solution with $n\ge 1$ in the cases $(m,p)=(15,41), (15,5581),(10,271)$ . These equations arise in a recent group theoretical investigation by Z. Akhlaghi, M. Khatami and B. Khosravi.

preprint2009arXiv

The Erdős--Moser equation $1^k+2^k+...+(m-1)^k=m^k$ revisited using continued fractions

If the equation of the title has an integer solution with $k\ge2$ , then $m>10^{9.3\cdot10^6}$ . This was the current best result and proved using a method due to L. Moser (1953). This approach cannot be improved to reach the benchmark $m>10^{10^7}$ . Here we achieve $m>10^{10^9}$ by showing that $2k/(2m-3)$ is a convergent of $\log2$ and making an extensive continued fraction digits calculation of $(\log2)/N$ , with $N$ an appropriate integer. This method is very different from that of Moser. Indeed, our result seems to give one of very few instances where a large scale computation of a numerical constant has an application.

preprint2008arXiv

Counting RSA-integers

In the RSA cryptosystem integers of the form n=p.q with p and q primes of comparable size (`RSA-integers') play an important role. It is a folklore result of cryptographers that C_r(x), the number of integers n<=x that are of the form n=pq with p and q primes such that p<q<rp, is for fixed r>1 asymptotically equal to c_r*x*log^{-2}x for some constant c_r>0. Here we prove this and show that c_r=2log r.

preprint2008arXiv

Neighboring ternary cyclotomic coefficients differ by at most one

A cyclotomic polynomial Phi_n(x) is said to be ternary if n=pqr with p,q and r distinct odd prime factors. Ternary cyclotomic polynomials are the simplest ones for which the behaviour of the coefficients is not completely understood. Eli Leher showed in 2007 that neighboring ternary cyclotomic coefficients differ by at most four. We show that, in fact, they differ by at most one. Consequently, the set of coefficients occurring in a ternary cyclotomic polynomial consists of consecutive integers. As an application we reprove in a simpler way a result of Bachman from 2004 on ternary cyclotomic polynomials with an optimally large set of coefficients.

preprint2008arXiv

Ternary cyclotomic polynomials having a large coefficient

Let $Φ_n(x)$ denote the $n$ th cyclotomic polynomial. In 1968 Sister Marion Beiter conjectured that $a_n(k)$ , the coefficient of $x^k$ in $Φ_n(x)$ , satisfies $|a_n(k)|\le (p+1)/2$ in case $n=pqr$ with $p<q<r$ primes (in this case $Φ_n(x)$ is said to be ternary). Since then several results towards establishing her conjecture have been proved (for example $|a_n(k)|\le 3p/4$ ). Here we show that, nevertheless, Beiter's conjecture is false for every $p\ge 11$ . We also prove that given any $ε>0$ there exist infinitely many triples $(p_j,q_j,r_j)$ with $p_1<p_2<...$ consecutive primes such that $|a_{p_jq_jr_j}(n_j)|>(2/3-ε)p_j$ for $j\ge 1$ .

preprint2008arXiv

Value distribution of cyclotomic polynomial coefficients

Let a_n(k) be the kth coefficient of the nth cyclotomic polynomial Phi_n(x). As n ranges over the integers, a_n(k) assumes only finitely many values. For any such value v we determine the density of integers n such that a_n(k)=v. Also we study the average of the a_n(k). We derive analogous results for the kth Taylor coefficient of 1/Phi_n(x) (taken around x=0), the kth coefficient of the nth reciprocal cyclotomic polynomial. We formulate various open problems.

preprint2007arXiv

On primes in arithmetic progression having a prescribed primitive root. II

Let a and f be coprime positive integers. Let g be an integer. Under the Generalized Riemann Hypothesis (GRH) it follows by a result of H.W. Lenstra that the set of primes p such that p=a(mod f) and g is a primitive root modulo p has a natural density. In this note this density is explicitly evaluated with an Euler product as result.

preprint2007arXiv

Reciprocal cyclotomic polynomials

Let $Ψ_n(x)$ be the monic polynomial having precisely all non-primitive $n$ th roots of unity as its simple zeros. One has $Ψ_n(x)=(x^n-1)/Φ_n(x)$ , with $Φ_n(x)$ the $n$ th cyclotomic polynomial. The coefficients of $Ψ_n(x)$ are integers that like the coefficients of $Φ_n(x)$ tend to be surprisingly small in absolute value, e.g. for $n<561$ all coefficients of $Ψ_n(x)$ are $\le 1$ in absolute value. We establish various properties of the coefficients of $Ψ_n(x)$ .

preprint2007arXiv

The Nicolas and Robin inequalities with sums of two squares

In 1984, G. Robin proved that the Riemann hypothesis is true if and only if the Robin inequality $σ(n)<e^γn\log\log n$ holds for every integer $n>5040$ , where $σ(n)$ is the sum of divisors function, and $γ$ is the Euler-Mascheroni constant. We exhibit a broad class of subsets $\cS$ of the natural numbers such that the Robin inequality holds for all but finitely many $n\in\cS$. As a special case, we determine the finitely many numbers of the form $n=a^2+b^2$ that do not satisfy the Robin inequality. In fact, we prove our assertions with the Nicolas inequality $n/ϕ(n)<e^γ\log \log n$ ; since $σ(n)/n<n/ϕ(n)$ for $n>1$ our results for the Robin inequality follow at once.

preprint2007arXiv

Values of coefficients of cyclotomic polynomials II

Let a(n,k) be the kth coefficient of the nth cyclotomic polynomial. The first two authors showed in part I that if m is a prime power and n and k range over the non-negative integers, then a(mn,k) assumes every integer value. Here this result is extended to the case where m is arbitrary. The proof use some properties of reciprocal cyclotomic polynomials (see arXiv:0709.1570).

preprint2006arXiv

Sequences of enumerative geometry: congruences and asymptotics

We study the integer sequence v_n of numbers of lines in hypersurfaces of degree 2n-3 of P^n, n>1. We prove a number of congruence properties of these numbers of several different types. Furthermore, the asymptotics of the v_n are described (in an appendix by Don Zagier). An attempt is made at a similar analysis of two other enumerative sequences: the number of rational plane curves and the number of instantons in the quintic threefold.

preprint2005arXiv

On a set-theoretic invariant

Let a_1,...,a_m be positive real numbers. Besser and Moree considered weighted numbers of -1,+1 solutions of the linear inequality |a_i-a_j| < e_ka_k < a_i+a_j, with e_k=-1 of 1 and k running over the integers 1,...,m with i and j skipped. They introduced some invariants and near invariants related to this situation (invariant meaning here: not depending on the choice of i and j). The main result of their paper is extended here to a much more general setting, namely that of certain maps from finite sets to {-1,1}. Some applications are given.

preprint2004arXiv

On primes p for which d divides ord_p(g)

Let N_g(d) be the set of primes p such that the order of g modulo p is divisible by a prescribed integer d. Wiertelak showed that this set has a natural density and gave a rather involved explicit expression for it. Let N_g(d)(x) be the number of primes p<=x that are in N_g(d). A simple identity for N_g(d)(x) is established. It is used to derive a more compact expression for the natural density than known hitherto. A numerical demonstration, using a program of Y. Gallot, is presented.

preprint2004arXiv

On the distribution of the order and index of g(mod p) over residue classes

For a fixed rational number g, not equal to -1,0 or 1 and integers a and d we consider the set of primes p for which the order of g(mod p) is congruent to a(mod d). For d=4 and d=3 it is shown that, under the Generalized Riemann Hypothesis, these sets have a natural density. Moreover, we explicitly compute this density. For d=4 this generalises earlier work by K. Chinen and L. Murata. The case d=3 was apparently not considered before.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Pieter Moree

Research overview

Is this your work?

45 publications

Higher Reciprocity Laws and Ternary Linear Recurrence Sequences

Cyclotomic exponent sequences of numerical semigroups

Cyclotomic numerical semigroup polynomials with at most two irreducible factors

On Positivity and Minimality for Second-Order Holonomic Sequences

Constrained ternary integers

Browkin's discriminator conjecture

Cyclotomic polynomials at roots of unity

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

On the discriminator of Lucas sequences

Cyclotomic numerical semigroups

Products of two proportional primes

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

Counting terms UnU_nUn​ of third order linear recurrences with Un=u2+nv2U_n=u^2+nv^2Un​=u2+nv2

Cyclotomic coefficients: gaps and jumps

Salajan's conjecture on discriminating terms in an exponential sequence

Counting carefree couples

Numerical semigroups, cyclotomic polynomials and Bernoulli numbers

Periodic Structure of the Exponential Pseudorandom Number Generator

Artin's primitive root conjecture -a survey -

Integers without large prime factors: from Ramanujan to de Bruijn

Nicolaas Govert de Bruijn, the enchanter of friable integers

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

Values of the Euler phi-function not divisible by a given odd prime, and the distribution of Euler-Kronecker constants for cyclotomic fields

Coefficient convexity of divisors of x^n-1

Counting numbers in multiplicative sets: Landau versus Ramanujan

Moser's mathemagical work on the equation 1^k+2^k+...+(m-1)^k=m^k

Near-primitive roots

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

Principal forms X^2 + nY^2 representing many integers

The family of ternary cyclotomic polynomials with one free prime

A top hat for Moser's four mathemagical rabbits

Some Diophantine equations from finite group theory: Φm(x)=2pn−1Φ_m(x)=2p^n-1Φm​(x)=2pn−1

The Erdős--Moser equation 1k+2k+...+(m−1)k=mk1^k+2^k+...+(m-1)^k=m^k1k+2k+...+(m−1)k=mk revisited using continued fractions

Counting RSA-integers

Neighboring ternary cyclotomic coefficients differ by at most one

Ternary cyclotomic polynomials having a large coefficient

Value distribution of cyclotomic polynomial coefficients

On primes in arithmetic progression having a prescribed primitive root. II

Reciprocal cyclotomic polynomials

The Nicolas and Robin inequalities with sums of two squares

Values of coefficients of cyclotomic polynomials II

Sequences of enumerative geometry: congruences and asymptotics

On a set-theoretic invariant

On primes p for which d divides ord_p(g)

On the distribution of the order and index of g(mod p) over residue classes

See the researcher in context

Building this map preview

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

Some Diophantine equations from finite group theory: $Φ_m(x)=2p^n-1$

The Erdős--Moser equation $1^k+2^k+...+(m-1)^k=m^k$ revisited using continued fractions