Calculating cyclotomic polynomials

Authors:
Andrew Arnold and Michael Monagan

Journal:
Math. Comp. **80** (2011), 2359-2379

MSC (2010):
Primary 11Y16; Secondary 12-04

DOI:
https://doi.org/10.1090/S0025-5718-2011-02467-1

Published electronically:
February 17, 2011

MathSciNet review:
2813365

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We present three algorithms to calculate , the cyclotomic polynomial. The first algorithm calculates by a series of polynomial divisions, which we perform using the fast Fourier transform. The second algorithm calculates as a quotient of products of sparse power series. These two algorithms, described in detail in the paper, were used to calculate cyclotomic polynomials of large height and length. In particular, we have found the least for which the height of is greater than , , , and , respectively. The third algorithm, the big prime algorithm, generates the terms of sequentially, in a manner which reduces the memory cost. We use the big prime algorithm to find the minimal known height of cyclotomic polynomials of order five. We include these results as well as other examples of cyclotomic polynomials of unusually large height, and bounds on the coefficient of the term of degree for all cyclotomic polynomials.

**1.**G. Bachman.

On the coefficients of cyclotomic polynomials.*Mem. Amer. Math. Soc.*, 106(510):vi+80, 1993. MR**1172916 (94d:11068)****2.**G. Bachman.

Flat cyclotomic polynomials of order three.*Bull. London Math. Soc.*, 38(1):53-60, 2006. MR**2201603 (2006j:11032)****3.**A. S. Bang.

Om ligningen .*Nyt Tidsskrift for Mathematik*, (6):6-12, 1895.**4.**P.T. Bateman, C. Pomerance, and R.C. Vaughan.

On the size of the coefficients of the cyclotomic polynomial.

In*Topics in classical number theory, Vol. I, II (Budapest, 1981)*, volume 34 of*Colloq. Math. Soc. János Bolyai*, pages 171-202. North-Holland, Amsterdam, 1984. MR**781138 (86e:11089)****5.**D.M. Bloom.

On the coefficients of the cyclotomic polynomials.*Amer. Math. Monthly*, 75:372-377, 1968. MR**0227086 (37:2671)****6.**W. Bosma.

Computation of cyclotomic polynomials with Magma.

In*Computational algebra and number theory (Sydney, 1992)*, volume 325 of*Math. Appl.*, pages 213-225. Kluwer Acad. Publ., Dordrecht, 1995. MR**1344932 (96j:11142)****7.**Paul Erdös.

On the coefficients of the cyclotomic polynomial.*Bull. Amer. Math. Soc.*, 52:179-184, 1946. MR**0014110 (7:242e)****8.**Y. Gallot, P. Moree, and H. Hommerson.

Value distribution of cyclotomic polynomial coefficients.

Available at`http://arxiv.org/abs/0803.2483`.**9.**K.O. Geddes, S.R. Czapor, and G. Labahn.*Algorithms for Computer Algebra*.

Kluwer Academic Publishers, Boston, 1992. MR**1256483 (96a:68049)****10.**A. Grytczuk and B. Tropak.

A numerical method for the determination of the cyclotomic polynomial coefficients.

In*Computational number theory (Debrecen, 1989)*, pages 15-19. de Gruyter, Berlin, 1991. MR**1151850 (93c:11116)****11.**Jr H.W. Lenstra.

Vanishing sums of roots of unity.

In*Proceedings, Bicentennial Congress Wiskundig Genootschap (Vrije Univ., Amsterdam, 1978), Part II*, volume 101 of*Math. Centre Tracts*, pages 249-268, Amsterdam, 1979. Math. Centrum. MR**541398 (81c:10044)****12.**N. Kaplan.

Personal correspondence.**13.**N. Kaplan.

Flat cyclotomic polynomials of order four or higher.*Integers*, 10:A30, 357-363, 2010. MR**2684126****14.**N. Kaplan.

Flat cyclotomic polynomials of order three.*J. Number Theory*, 127(1):118-126, 2007. MR**2351667 (2008k:11031)****15.**Y. Koshiba.

On the calculations of the coefficients of the cyclotomic polynomials.*Rep. Fac. Sci. Kagoshima Univ.*, (31):31-44, 1998. MR**1718402 (2000g:11126)****16.**Y. Koshiba.

On the calculations of the coefficients of the cyclotomic polynomials. II.*Rep. Fac. Sci. Kagoshima Univ.*, (33):55-59, 2000. MR**1833785 (2002i:11132)****17.**H. Maier.

The size of the coefficients of cyclotomic polynomials.

In*Analytic number theory, Vol. 2 (Allerton Park, IL, 1995)*, volume 139 of*Progr. Math.*, pages 633-639. Birkhäuser Boston, Boston, MA, 1996. MR**1409383 (97g:11106)****18.**H.L. Montgomery and R. C. Vaughan.

The order of magnitude of the th coefficients of cyclotomic polynomials.*Glasgow Math. J.*, 27:143-159, 1985. MR**819835 (87e:11026)****19.**P. Moree.

Inverse cyclotomic polynomials.*J. Number Theory*, 129(3):667-680, 2009. MR**2488596 (2009k:11199)****20.**T.D. Noe.

Least such that the coefficient of cyclotomic polynomial phi(k,x) has the largest possible magnitude.

Sequence A138475 in N. J. A. Sloane (Ed.), The On-Line Encyclopedia of Integer Sequences (2008),`http://www.research.att.com/~njas/sequences/A138475`.**21.**T.D. Noe.

Maximum possible magnitude of the coefficient of a cyclotomic polynomial.

Sequence A138474 in N. J. A. Sloane (Ed.), The On-Line Encyclopedia of Integer Sequences (2008), published electronically at`http://www.research.att.com/~njas/sequences/A138474`.**22.**T.D. Noe.

Numbers n such that phi(n,x) is a flat cyclotomic polynomial of order four.

Sequence A117318 in N. J. A. Sloane (Ed.), The On-Line Encyclopedia of Integer Sequences (2008),`http://www.research.att.com/~njas/sequences/A117318`.**23.**T.D. Noe.

Numbers n such that phi(n,x) is a flat cyclotomic polynomial of order three.

Sequence A117223 in N. J. A. Sloane (Ed.), The On-Line Encyclopedia of Integer Sequences (2008),`http://www.research.att.com/~njas/sequences/A117223`.**24.**T.D. Noe.

Odd squarefree numbers n such that the cyclotomic polynomial phi(n,x) is not coefficient convex.

Sequence A146960 in N. J. A. Sloane (Ed.), The On-Line Encyclopedia of Integer Sequences (2008),`http://www.research.att.com/~njas/sequences/A146960`.**25.**R. Thangadurai.

On the coefficients of cyclotomic polynomials.

In*Cyclotomic fields and related topics (Pune, 1999)*, pages 311-322. Bhaskaracharya Pratishthana, Pune, 2000. MR**1802391 (2001k:11213)****26.**J. von zur Gathen and J. Gerhard.*Modern computer algebra*.

Cambridge University Press, Cambridge, second edition, 2003. MR**2001757 (2004g:68202)**

Retrieve articles in *Mathematics of Computation*
with MSC (2010):
11Y16,
12-04

Retrieve articles in all journals with MSC (2010): 11Y16, 12-04

Additional Information

**Andrew Arnold**

Affiliation:
Centre for Experimental and Constructive Mathematics, Simon Fraser University, Burnaby, BC V5A 1S6, Canada

Email:
ada26@sfu.ca

**Michael Monagan**

Affiliation:
Centre for Experimental and Constructive Mathematics, Simon Fraser University, Burnaby, BC V5A 1S6, Canada

Email:
mmonagan@cecm.sfu.ca

DOI:
https://doi.org/10.1090/S0025-5718-2011-02467-1

Received by editor(s):
October 10, 2008

Received by editor(s) in revised form:
July 17, 2010

Published electronically:
February 17, 2011

Additional Notes:
This work was supported by NSERC of Canada and the MITACS NCE of Canada

Article copyright:
© Copyright 2011
American Mathematical Society

The copyright for this article reverts to public domain 28 years after publication.