arxiv: v1 [math.nt] 28 Oct 2017

Transcription

1 ON th COEFFICIENT OF DIVISORS OF x n axiv:70049v [mathnt] 28 Oct 207 SAI TEJA SOMU Abstact Let,n be two natual numbes and let H(,n denote the maximal absolute value of th coefficient of divisos of x n In this pape, we show that H(,n is asymptotically equal to c(x(logx2 fo some constant c( > 0 Futhemoe, we give an explicit expession of c( in tems of Intoduction Cyclotomic polynomials ae ieducible divisos of x n The factoization of x n is as follows, x n = d nφ d (x Applying Mobius invesion fomula we get Φ n (x = d n (xd µ(n d Coefficients of nth cyclotomic polynomial has been the subject of study in [],[2] and [3] In [5], the study of coefficients of divisos of x n has stated Recently, in [6] and [7] we poved that fo evey finite sequence of integes n,,n thee exists a natual numbe n and a diviso d(x of x n of the fom d(x = +n x+ + n x + deg(d j=+ c jx j Let (f denote th coefficient of the f(x fo any fomal powe seies f(x That is, f(x = i=0 (f ix i In [6], the function H(,n = max{ (d : d(x x n } has been studied In that pape, we woked on the maximal ode of H(,n and we showed that (log 2+o( H(,n (+o(n log log n In this pape, we wok on the aveage ode of H(,n fo a fixed We will pove the following theoem Theoem Let be any natual numbe then H(,n c(x(logx 2 as x whee c( = (2!2! (( ( p p Date: Octobe 27, 207

2 2 SAI TEJA SOMU 2 Notation Let ν(n,τ(n denote numbe of pime factos of { n and numbe of divisos of n n = espectively Let δ(n denote the function δ(n = Note that, n > ( δ(nφ n (x = d n( x d µ(n d We say that a fomal powe seies f(x = n= (f nx n is dominated by anothe powe seies g(x = n= (g nx n if (f n (g n fo all n N If f(x and g(x ae two fomal powe seies then we denote f(x g(x mod x + if the coefficients of x i in the powe seies of f(x and g(x ae equal fo 0 i 3 Poof of the Main Theoem We equie seveal lemmas in ode to pove the main theoem Lemma 3 If f (x,,f i (x ae dominated by g (x,,g i (x then f(x = i j= f j(x is dominated by g(x = i j= g j(x Poof Fo all j {0} N, we have (f f i j = h + +h i=j (f h (f i hi Fom tiangle inequality and the fact that f k (x ae dominated by g k (x we have (f f i j (f h (f i hi h + +h i=j h + +h i=j = (g g i j (g h (g i hi Lemma 32 Thee exists a constant c ( depending only on such that fo all natual numbes n > H(,n 2! 2ν(n +c (2 ( ν(n Poof The poof is simila to that of the poof of Theoem 4 of [6] Let d(x be a diviso of x n As max{ (d : d(x x n,d(x Z[x]} = max{ (d : d(x x n,d(x Z[x],d(0 = } without loss of geneality we can assume d(0 = Evey diviso d(x of x n with d(0 = will be of the fom m S δ(mφ m(x whee S is a subset of set of

3 ON th COEFFICIENT OF DIVISORS OF x n 3 divisos of n Now, d(x = ( x d µ( m d m S d m ( x d µ( m d mod x + m S d m d ( x d Σ(d Σ2(d mod x + d whee and Σ (d = Σ 2 (d = µ( m d = m 0 mod d m S µ( m d = m 0 mod d m S µ(k= k n As (d = µ(k= µ(k= = 2 ν(n and 2 (d = µ(k= kd S k n kd S = 2 ν(n, we can conclude that (d 2 (d 2ν(n Theefoe, ( x d (d 2 (d is dominated by ( x d (2ν(n Fom Lemma 3, it follows that (d(x = ( d ( x d (d 2 (d c ( ( x d 2ν(n = d c +2c 2+ +c =,c i 0 c ( 2 ν(n +c c ( 2 ν(n +c As (2 ν(n ( +c 2 ν(n +c 2ν(n(c+ +c = +O(2ν(n(c+ +c 2 c+ +c c! c! = O(2 ν(n(c+ +c and c + 2c c =,c i 0,c implies c + + c we can conclude that ( 2 ν(n + ( 2 ν(n ( +c 2 ν(n +c (d(x + = 2ν(n 2! +O(2 ν(n( c +2c 2+ +c =,c i 0,c Hence thee exists a constant c ( depending only on such that (d(x 2! 2ν(n +c (2 ( ν(n c c c

4 4 SAI TEJA SOMU Theefoe, H(,n 2! 2ν(n +c (2 ( ν(n Lemma 33 Thee exists a constant c 2 ( depending only on such that fo all natual numbes n > H(,n 2! 2ν(n c 2 (2 ( ν(n Poof Conside the following diviso d(x of x n, d(x = δ(mφ m (x µ(m= m n = µ(m= m n ( x d µ(m d d m d ( x d k(d mod x +, whee k(d = m n,µ(m= µ( m d m 0 mod d Note that, k( = 2 ν(n and k(d 2 ν(n Theefoe, (2 ( x d k(d dc d We have, (d(x = ( d ( x d k(d = c +2c 2+ +c =,c i 0d= ( 2 ν(n + Fom (2, we can conclude that ( 2 ν(n + (d(x = 2ν(n 2! +O(2 ( ν(n ( 2 ν(n +c d c d (( x d k(d c,c +2c 2+ +c = dc d (( x d k(d d= c,c +2c 2+ +c = d= dc d ( 2 ν(n +c d Hencetheeexistsaconstantc 2 (suchthath(,n (d(x 2ν(n 2! c 2 (2 ( ν(n Lemma 34 (See [4], Poblem 447 Let f(s = n= a n n s, with a n = O(n ǫ Suppose that f(s = ζ(s k g(s, whee k is a natual numbe and g(s is a Diichlet c d

5 ON th COEFFICIENT OF DIVISORS OF x n 5 seies absolutely convegent in Re(s > δ fo some 0 < δ < We have as x a n g(x(logxk (k! Poof See page 30 of [4] fo the poof of the lemma Lemma 35 Fo N, we have Poof Let 2 ν(n f(s = (( ( x(logx 2 p p (2! n= 2 ν(n n s = ( + (2 p s p s As 2 ν(n (τ(n = O(n ǫ we have 2 ν(n = O(n ǫ Let g(s = (( + 2 ( p 2 s = p s ( + d 2 p 2s + d 3 p 3s + + d 2 p (2 s fo some constants d 2,d 3,,d 2 Notice that Diichlet s seies of g(s conveges absolutely fo Re(s > 2 Obseve that f(s = g(s Applying Lemma 34, ζ(s2 we have 2 ν(n g( x(logx2 (2! which completes the poof of the lemma Now, we ae eady to pove ou main theoem Poof Fom lemmas 32 and 33 we have, 2 2 ν(n c 2 ( 2 ν(n(! < < < H(,n 2! Hence fom Lemma 35, we get H(,n c(x(logx 2, whee c( = (2!2! < (( ( p p 2 ν(n +c ( < 2 ν(n(

6 6 SAI TEJA SOMU Refeences [] G Bachman, On the coefficients of cyclotomic polynomials, Mem Ame Math Soc, 06, no 50 (993 [2] P T Bateman, C Pomeance, and R C Vaughan, On the size of the coeffi- cients of the cyclotomic polynomial, Topics in classical numbe theoy, Vol I, II (Budapest, 98, Colloq Math Soc Janos Bolyai, vol 34, Noth-Holland, Amstedam, 984, pp 7202 [3] D M Bloom, On the coefficients of the cyclotomic polynomials, Ame Math Monthly, 75, (968 [4] MR Muthy, Poblems in Analytic Numbe Theoy, Gaduate Texts in Mathematics, Spinge, 200 [5] C Pomeance, NC Ryan, Maximal height of divisos of x n, Illinois J Math 5 ( [6] STSomu, On the coefficients of divisos of x n, Jounal of Numbe Theoy, Volume 67, Octobe 206, [7] STSomu, On the distibution of numbes elated to the coefficients of divisos of x n, Jounal of Numbe Theoy, Volume 70, Januay 207, 3-9 School of Mathematics, Tata Institute of Fundamental Reseach Mumbai, India