Researcher profile

Pieter Moree

Pieter Moree contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
40works
0followers
9topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

40 published item(s)

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: &#34;Artin Prime Producing Quadratics&#34; [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 &#39;record&#39; 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

Salajan&#39;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$.

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.

preprint2012arXiv

Artin&#39;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&#39;s celebrated primitive root conjecture dating from 1927. In the update several new results established after 2000 are also discussed.

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&#39;) and other tools from the distribution of modular inverses are applied to quantify the abundancy of counter-examples to Sister Beiter&#39;s conjecture and sharpen the above lower bound for $M(p)$.

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&#39;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&#39;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&#39;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&#39;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&#39;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

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

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&#39;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

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.

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.