Showing 1–8 of 8 results for author: Gallot, Y

An Efficient Modular Exponentiation Proof Scheme

Authors: Darren Li, Yves Gallot

Abstract: We present an efficient proof scheme for any instance of left-to-right modular exponentiation, used in many computational tests for primality. Specifically, we show that for any $(a,n,r,m)$ the correctness of a computation $a^n\equiv r\pmod m$ can be proven and verified with an overhead negligible compared to the computational cost of the exponentiation. Our work generalizes the Gerbicz-Pietrzak p… ▽ More We present an efficient proof scheme for any instance of left-to-right modular exponentiation, used in many computational tests for primality. Specifically, we show that for any $(a,n,r,m)$ the correctness of a computation $a^n\equiv r\pmod m$ can be proven and verified with an overhead negligible compared to the computational cost of the exponentiation. Our work generalizes the Gerbicz-Pietrzak proof scheme used when $n$ is a power of $2$, and has been successfully implemented at PrimeGrid, doubling the efficiency of distributed searches for primes. △ Less

Submitted 8 February, 2023; v1 submitted 16 September, 2022; originally announced September 2022.

MSC Class: 11-04 ACM Class: G.2.3

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

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

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

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

Authors: Yves Gallot, Pieter Moree, Wadim Zudilin

Abstract: 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… ▽ More 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. △ Less

Submitted 8 July, 2009; originally announced July 2009.

Comments: 17 pages

Report number: MPIM 2009-49 MSC Class: 11D61 (Primary); 11Y65; 11A55 (Secondary); 11B83; 11K50; 11Y60; 41A60

Journal ref: Math. Comp. 80 (2011), no. 274, 1221--1237

Neighboring ternary cyclotomic coefficients differ by at most one

Authors: Yves Gallot, Pieter Moree

Abstract: 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, t… ▽ More 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. △ Less

Submitted 30 October, 2008; originally announced October 2008.

Comments: 11 pages, 2 tables

MSC Class: 11T22; 11B83

Journal ref: J. Ramanujan Math. Soc. 24 (2009), 235-248

Value distribution of cyclotomic polynomial coefficients

Authors: Yves Gallot, Pieter Moree, Huib Hommersom

Abstract: 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 rec… ▽ More 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. △ Less

Submitted 17 March, 2008; originally announced March 2008.

Comments: 26 pages, 6 tables. Partly based on arXiv:math.NT/0307352, which is the M.Sc. thesis of H. Hommersom (2003), enriched with research results due to Moree. Some of these research results have been extracted and various new results added. A connection with reciprocal cyclotomic polynomials (arXiv:0709.1570) is also made

MSC Class: 11N37; 11B83

Journal ref: Unif. Distrib. Theory 6 (2011), 177-206

Ternary cyclotomic polynomials having a large coefficient

Authors: Yves Gallot, Pieter Moree

Abstract: 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, nev… ▽ More 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$. △ Less

Submitted 14 April, 2008; v1 submitted 14 December, 2007; originally announced December 2007.

Comments: 19 pages, 6 tables, to appear in Crelle's Journal. Revised version with many small changes

Report number: MPIM2007-141 MSC Class: 11B83; 11C08

Journal ref: J. Reine Angew. Math. 632 (2009), 105-125