arxiv: v1 [math.nt] 27 May 2018

Transcription

1 SETTLIG SOME SUM SUPPOSITIOS TAAY WAKHARE AD CHRISTOPHE VIGAT arxiv: v1 matht] 7 May 018 Astract We solve multiple conjectures y Byszewsi and Ulas aout the sum of ase digits function In order to do this, we develop general results aout summations over the sum of digits function As a corollary, we descrie an unexpected new result aout the Prouhet-Tarry-Escott prolem In some cases, this allows us to partition fewer than values into sets {S 1,,S }, such that s s s S 1 s S s S s for 0 The classical construction can only partition values such that the first powers agree Our results are amenale to a computational search, which may discover new, smaller, solutions to this classical prolem 1 Introduction The sum of ase digits function s n is uiquitous in numer theory and cominatorics; it has applications ranging from partitioning a set into equal valued susets the classical Prouhet-Tarry-Escott prolem 4] to the modeling of quasicrystals ] Developing the theory of summations over s n and the related sequence 1 s n therefore has diverse applications in pure mathematics In particular, the classical solution to the Prouhet-Tarry- Escott prolem is equivalent to proving that a certain sum over 1 sn is zero, which highlights the power of this pure mathematical approach In this paper, using a variety of methods, we solve and generalize several conjectures proposed y Byszewsi and Ulas 3] As an intermediate step, we provide several general theorems aout multiple summations involving the sequence s n, which may have other potential applications to questions aout digit sums While the questions we answer have a very special form, this paper highlights the usefulness of our methods, with potential applications to many other prolems In particular, we prove and generalize the following two conjectures: Conjecture 1 3, Conjecture 4] For r 1 and 1, r positive integers, we have r r 1 r j 1 snj r x+ n j y j 1 r r j j 1 n r0 Conjecture 3, Conjecture 44] For r 1 and 1, r positive integers, we have 11 r r 1 r j 1 snj r s n j x j +n j y j 1 r n r0 Moreover, we show new results aout the following prolem: j! y j j i j0 Prolem 3 3, Prolem 45] With x x 1,,x m, study the following family of polynomials 1 1 H m, t,x 1 s m ij m t+ i j x j i 10 i j 1 j! x j + ij y j For what follows, the β weights are complex constants which we specify later, and is the forwards difference operator in the variale defined y the action f x+ f x+ +1 f x+ MSC010: Primary: 11A63; Secondary: 05A18 Keywords: Prouhet-Tarry-Escott prolem, digit sums 1

2 SETTLIG SOME SUM SUPPOSITIOS Our asic tool is the generalization to an aritrary ase of identity 1 elow 5], which allows us to transform sums involving the sequence 1 sn into sums that involve iterated finite differences Theorem 4 Let the constants β e defined y 3 and let ξ e a -th root of unity Then, for an aritrary function f, ξ sn f x+ny 1 β f x+y It is worth noting that y taing f to e a polynomial in x of degree < in this theorem, we recover the classical solution to the Prouhet-Tarry-Escott prolem We recall that the Tarry-Escott prolem ass for equally sized sets {S 1,S,,S } such that the sums s S i s are all equal, for some given values of Prouhet s contriution was to descrie S i when we egin with the elements {0,1,, } and <, y defining S i {l : 0 l,s l i mod } In fact, we can show the slightly more general result 0 ξ s n fny 0 for any polynomial of degree < This classical result follows from Theorem 4 since the operator is degree lowering in x, so that the right-hand side vanishes for polynomials of degree < ote that a priori this does not give us a rule of partition any integers, since in general we can only interpolate these values with a degree polynomial In the special case that we can instead write as the values of a polynomial of degree < sampled at points in an arithmetic progression, we otain Prouhet s result However, this also has an important limitation: given points, we only have a rule to form sets whose -th powers agree By inspecting the r 1 case of our Theorem 13, a generalization of Conjecture, we discover we have shown the following generalization of the Prouhet-Tarry-Escott result: Theorem 5 Generalized Prouhet-Tarry-Escott Let f e any polynomial of degree < Then ξ s n f s nx+ny 0 This result is unexpected ecause the digit sum function s n is much less well ehaved than the linear ny term, and twists the function values we sample in an unexpected way It gives us a deterministic noise term when sampling our points from an arithmetic progression, which can nevertheless e aritrarily scaled since y R is free For example, taing the simple case, 3,x y 1 gives us the partition {0,5,7,8} {,3,5,10}, where the sets are divided y the value of s n mod and the values inside the sets are n+s n for 0 n 7 We manually verify , ote that 5 can e cancelled from oth sides, so that we can recover the even smaller six element partition {0,7,8} {,3,10}, which passes the classical arrier inherent to Prouhet s contruction Taing x,y Q then generates even more exotic solutions Though sustantial generalizations of Prouhet s original result have een hard to come y, this wor is interesting in that it provides ways to partition integer sets containing elements of multiplicity greater than one, so that we still retain nice equi-summaility properties Sorting elements of the same value into different sets also allows us to perform some cancellation, which then recovers unexpected new solutions A computational search may allow us to discover new smaller solutions to the Prouhet-Tarry-Escott prolem, y choosing x and y to maximize cancellation This cancellation property is an unexpected new development in the study of the Tarry-Escott prolem, which has spanned more than two centuries, and certainly merits independent study Generalized Results To attac Conjecture 1 we require a multiple version of a recent identity concerning sums over 1 sn Theorem 6 5, Theorem 18] For integer and an aritrary function f, we have 1 1 sn f x+n 1 0 α f x+

3 SETTLIG SOME SUM SUPPOSITIOS 3 Here, we let denote the forward finite difference operator with action fn fn + 1 fn In what follows, we will heavily depend on α, also nown as sequence A13183 in the Online Encyclopedia of Integer Sequences OEIS For a fixed, we define +1 coefficients α through the generating product +1 0 α z 1+z l l Alternatively, this sequence can e defined cominatorially as the numer of integer points in the intersection of the parallepiped 0,1] 0,3] 0, ] with the hyperplane x 1 + +x : α # { 0 1 1,, } We construct a two-fold generalization of this theorem, first to aritrary ase, and then to scaled finite differences To do this, we fix two positive integers and, and let ξ e a -th root of unity We can then define +1 coefficients β through the generating function β z 1 z l 1+1+ξz l +1+ξ +ξ z l + + ξ z 1l 1 z 0 This representation can e significantly simplified each summand can e summed as a geometric series, or effectively telescoped, ut this form most clearly highlights the polynomial nature of our product Firstly, note that it in fact defines a polynomial in z, since 1 zl 1 z is a finite geometric series of degree l 1 Additionally, the final partial sum over roots of unit vanishes since 1 0 ξ 0, so that the degree of each term inside the product is 1 l 1, and the final polynomial does indeed have degree +1 ext, the β weights are in general complex valued and do not have a nice cominatorial interpretation; we lose the convenient property that, in ase, the α weights count points on certain restricted hyperplanes However, since none of our theorems depend on cominatorial properties of these coefficients, we can proceed freely While this generating product does not give us any intuition for the β weights, in practice we often only encounter sums such as +1 0 β n which can e easily derived from the generating product for the β weights Lemma 7 The first two moments of the β weights are 4 and 5 Proof Let 0 F z β 0 0 β ξ ] β z l 1 denote the generating function of the coefficients β We compute F 1 1 l +1 where we have used the fact that ξ 1 We then deduce 0 z 1 l ξ 0 +1 z l l+1, ext we compute F z F z 0 β d l 1 dz 0 z + l 1 0 z +1 d 1 dz +1 z l 1 +1 z l

4 SETTLIG SOME SUM SUPPOSITIOS 4 The first term evaluated at z 1 is l 1 0 l The second term evaluated at z 1 is l l 1 l 1 1 l l l 1 the numerator and denominator are respectively evaluated as ] 1 ξ + and, since ξ is a th root of unity, Therefore, the second term is and we deduce β F 1 F ξ ξ ] ] ; + ξ ] We also have the following simple convolution, which lies at the center of the arguments that follow Lemma 8 We have the two convolutions n n + 6 β n 0 n 7 ξ sn 0 ξ s, 0 n, 1 β n, 0 n Proof Both of these results follow from elementary product identities; we first need to show ξ s z 1 z 0 β z This follows y manipulating the generating products for oth series Recall that +1 1 z +1 β z 1 z +1 1 z l 1+1+ξz l +1+ξ +ξ z l z 0 1 z l 1+1+ξz l +1+ξ +ξ z l ξz l +ξ z l + +ξ 1 z 1l ξ s z 1 1 ξ z 1l 0 ξ z 1l 0

5 SETTLIG SOME SUM SUPPOSITIOS 5 The final step involved telesoping the summand We can then expand 1 z and compare coefficients of z n : ξ sn z n 1 z 0 z n n 0 β z 1 x 0 The other convolution similarly follows from instead considering expanding and then comparing coefficients of z n +1 0 β z 1 1 z β n 1 1 z z, 0 β z ξ s z, We can now prove one of our main results, a generalization of 5, Theorem 18] to aritrary ase and to asymmetric functional arguments { } Theorem 9 Let the sequence β e defined y 3 and let ξ e a -th root of unity Then for an aritrary function f, ξ sn f x+ny 1 β f x+y, where f x+y f x+ +1y f x+y is the forward finite difference operator in the variale 1 Proof On a high level, we are expanding the finite difference operator as a sum, and then sfhiting it over to the β weights while exploiting the convolution from Lemma 8 We have the following direct argument, noting that for l < 0 we have β l 0: ξ s n fx+ny fx+ny n 1 0 n 0 fx+ny β n 1 β n f x+n+y f x+n+y 0 1 β n 1 β n 1 β n f x+n+y 1 1 β n n fx+ny We can compute some simple examples, which generalize 1, p ] from ase to an aritary ase, while also inserting a free variale y 1 Theorem 6 is symmetric in x and so the operator can act on either of them However, we now deal with functions without this summetry, so that we need to specify which variale the operator acts on

6 SETTLIG SOME SUM SUPPOSITIOS 6 Corollary 10 We have the sums and ξ sn x+ny 1!y +1 ξ sn x+ny !y +1 1 x+y 1 + ξ ] Proof The first result follows y taing fx x and the second from fx x +1 in Thm 9 We also need the two following results that can e easily checed y induction on : x+y!y and x+y+1 +1!y x+ y +y ] Elementary algera using 4 and 5 in Lemma 7 yields the results A multiple sum version of Thm 9 can e stated as follows: Theorem 11 A multiple summation version of Theorem 9, where the i are positive integers, is as follows: r 1 ξ r s 1 n j r r r 1 f x+ n j y j 9 1 j n r0 Proof Start with Theorem 9 1 ξ s n 1 f x+n 1 y β j 1 j 10 j j f x+ r0 j y j β f x+ 1 y 1, replace x with x+n y on oth sides, multiply y ξ s n, and sum over 0 n to otain 1 n 0 ξ s n 1+s n f x+n 1 y 1 +n y 1 1 The inner sum can e computed y Thm 9 as so that 1 n n 0 ξ s n β f x+ 1 y 1 +n y β ξ s n f x+ 1 y 1 +n y 1 s n f x+ 1 y 1 +n y 1 0 n 0 β f x+ 1 y 1 + y, 1 n 0 ξ s n 1+s n f x+n 1 y 1 +n y 1 1+ Repeating this operation r 1 times gives the result f x+ 1 y 1 + y β 1 β

7 SETTLIG SOME SUM SUPPOSITIOS 7 3 Conjectures 31 Conjecture 1 We now use result 9 to prove Conjecture 1 Proposition 1 Conjecture 1 is true In fact, for aritrary ase we have r 1 n r0 ξ r s n j x+ n j y j r j r 1 r r j j +1 ξ 1 y j j Proof Consider Theorem 11: we note that each j operator reduces the degree of the polynomial f y 1, so choosing f x x r j gives a right-hand side that does not depend on x Under this choice of f, we otain r 1 ξ r s n j f x+ n j y j n r0 In Lemma 7 we computed the simple sum 1 r j! 1 j 10 r r 1 r0 β j 1 j y j j j! Therefore, we otain the r fold sum 0 β r r 1 r0 β j 1 j j j 1 j0 β j 1 j j j +1 j, which completes the proof 3 Conjecture We now attac the second conjecture, using different methods In 3], the closed form 11 is conjectured for, and a partial solution is formulated for higher We now prove the following general case Theorem 13 For r 1 and 1, r positive integers, we have r 1 n r0 ξ r s n j s n j x j +n j y j As a consequence, Conjecture is true r j r r ξ 1 j! j 1 i j0 x j + ij y j Proof As efore, we attac the case r 1 first, and then use this to derive the result for aritrary r As an intermediate step, we consider the more general sum 31 S,l : ξ s n s nx+ny l This is very different from the previous conjecture; the mixing of digit ased s n and linear n terms means that we cannot state a general functional result as efore; instead, the methods developed to address this sum do not appear to generalize easily Our approach is to derive a recurrence for S,l, from which we can show it is zero for l < We can then use this to ill most of the terms in the recurrence for S,, leading to a simple functional equation which we can explicitly solve We egin y splitting the domain of summation into locs of size, each of which corresponds to a possiility for the first digit of n We then exploit the recurrence s n + +s n, which holds for all

8 SETTLIG SOME SUM SUPPOSITIOS 8 n < since this corresponds to adjoining the digit to the front of a shorter digit string Accordingly, we have S,l 1 1 ξ s n s nx+ny l 1 ξ s n+ s n+ x+n+ y l 0 1 ξ s n+ s nx+ny +x+ y l 0 We want to write this as a linear comination of the sums S,l, so we are forced to expand the inner term using the inomial theorem The rest of the argument is a straightforward interchange of the order of summation For what follows, we use the sequence of constants 1 3 a l l ξ ote the special values a 0 0 and a 1 ξ 1 Proceeding in this way, we otain S,l ξ s n+ s nx+ny +x+ y l 0 1 ξ s n+ 0 l l s nx+ny m x+ y l m l m m l l x+ y l m 1 1 ξ sn s nx+ny m ξ l m m 0 l l x+ y l m al ms,m m Hence, we have the recurrence 33 S,l l 1 l x+ y l m al ms,m m In the last step, we used the fact that a 0 0 to get rid of the S, term We can use this recurrence to derive a closed form for S,l We egin with the ase cases { 1, 0, 34 S,0 0, > 0, the first of which is trivial and the second of which follows from the fact that S,0 ξs n sums over all possile strings of length with digits, so that we can average the parity of the digit sum of all of these strings We can now inductively show, for > 0, that S,l 0 for l < We have just verified the ase case, l 0, and the recurrence 33 shows that we only sum over S,m for m l 1 <, so we can apply the inductive hypothesis Hence, we now have the intermediate result 35 S,l 0, l < We now apply the result 33 while eliminating everything except the m term, yielding x+ S, y m a ms,m x+ y a 1 S, m Since we can explicitly compute a 1 ξ 1, iterating this functional equation gives us the final closed form 36 S,! ξ 1 x+ l y

9 SETTLIG SOME SUM SUPPOSITIOS 9 Given this closed form the case r 1 of our theorem, it is straightforward to derive the case of an aritrary value of r y induction on r We only explicitly show the mechanism that allows us to sip from r 1 to r Start from 1 n 0 1+ p0 ξ s n 1+s n s n 1 x 1 +n 1 y 1 +s n x +n y 1+ 1 n 0 ξ s n 1+s n 1 + p 1+ p0 1 + p s n 1 x 1 +n 1 y 1 p s n x +n y 1+ p 1 ξ s n s n 1 x 1 +n 1 y 1 p ξ s n s n x +n y 1+ p n 0 Then apply result 35 so that only the p 1 term remains and we otain 1 + which is then equal to 1 1 +! 1!! 1 ξ s n s n 1 x 1 +n 1 y 1 1 ξ s n s n x +n y, 1 1! ξ 1 1 Iterating these steps yields the claimed result i ! n 0 x1 + i1 y 1! ξ 1 ξ i 0 j 1 i j0 x + i y xj + ij y j 33 A family of polynomials Byszewsi and Ulas also introduced the much more complicated family of polynomials H m, as defined in 1 They then conjectured the explicit form 3, Remar 46] H, t,x 1! x 1 x t+ x+1 1 x +1 +x 1 x x 1 x x 1 x x 1 x x 1 x m ote that this contains the mixing term s i j, whereas in Conjecture 1 each s n j acted independently Using 9, we prove the following result Theorem 14 The identity 37 H, t,x 1! holds Proof We start with the more general form and compute the special case H m,,p t,x H,,p t,x i 10 1 x +1 x 1 x t+ x+1 x 1 x x 1 x i 10 i 0 i 1 s m ij t+ +x 1 x x 1 x x 1 x p m i j x j, 1 si1+i t+i 1 x 1 +i x p n 1 sn t+n i x 1 +i x p sn n i 0 i n +1 t+n i x 1 +i x p

10 SETTLIG SOME SUM SUPPOSITIOS 10 We use Faulhaer s sum of powers formula s 1 a+i p B p a a ] B +s +r, ir where B p x is the Bernoulli polynomial with generating function B n x z n z n! e z 1 ezx We deduce the first inner sum as n t+n i x 1 +i x p i 0 and the second inner sum as i n +1 n 0 n t+nx 1 +x x 1 i p i 0 x x 1 p x x 1 p t+n i x 1 +i x p x x 1 p x x 1 p t+nx1 B + x x 1 We deduce H,,p t,x x x 1 p + x x 1 p x x 1 p n 1 sn +1 1 B t+nx1 +n+1 x x 1 B t+nx x x 1 +1 ] t+nx1 B x x 1 ], B t+nx1 x x 1 ] t+nx1 B + t+nx1 B +n +1 x x 1 x x 1 B t+nx x x 1 +1 ] ] 1 sn t+nx t+nx1 B +1 B x x 1 x x 1 n 1 sn B t x 1 x x 1 ] t+nx1 B + t+nx B +1 x x 1 x x 1 + B t x x x 1 +1 where the last term corresponds to n +1 1 and is easily seen to e equal to 0 Reindexing the second sum yields +1 1 ] t+nx1 B + t+nx B +1 x x 1 x x 1 1 sn+ B t+ n+ x 1 x x 1 + B t+ n+ x x x sn t+nx1 + x t+nx + ] x 1 B B +1, x x 1 x x 1 where we have used the fact that Hence we have H,,p t,x x x 1 p x x 1 p 1 sn+ 1 s n+1, 0 n ] 1 sn t+nx t+nx1 B +1 B x x 1 x x 1 1 sn B t+nx1 + x x x 1 t+nx + ] x 1 B +1 x x 1 ] ],

11 SETTLIG SOME SUM SUPPOSITIOS 11 ow we apply the finite difference identity 9 to otain H,,p t,x 1 x x 1 p t+x B +1 x x 1 0 α B t+x1 x x 1 t+x1 + x t+x + ] x 1 B +B +1 x x 1 x x 1 The action of on B, which is a polynomial of degree, gives a polynomial of degree Therefore, we also have the easy corollary H m,,p t,x 0, 0 p Let us choose p so we end up with a polynomial of degree 1 In fact, we have B +1a+ +1! a++ This computation is ased on the integral representation 38 f x+y y Upon iterating the integral 38, we deduce 1 B +1 a f x+ +uydu B +1 a+ +u 1 + +u du 1 du Since the Bernoulli polynomials are of the inomial type, their derivative is 0 0 B +1 z +1!B 1z +1! z 1 Comining this fact with the simple integral 1 1 a+ +u 1 + +u 1 du 1 du a yields the result Applying this finite difference result, we have H,,p t,x 1 +1! x x 1 p α 0 x t+x + x + 1 x x 1 x x 1 x1 t+ x +x 1 + x 1 1 x x 1 x x 1 We can then otain the zero order moment 0 α x1 t+x1 + x 1 1 x x 1 x x 1 + x y setting z 1 in - or in 4, and the first moment 0 α x x 1 +1 t+ x 1 +x + x x x y taing a logarithmic derivative of and setting z 1, or y setting in 5 Comparing coefficients of t in H,,p then yields 1! +1 x x 1 x x 1, ]

12 SETTLIG SOME SUM SUPPOSITIOS 1 while simplifying the constant coefficient gives 1! x 1 + x + x 1 x x ! ] 1! x x 1 + x 1 ] x x 1 x +1 x +1 ] 1 x x 1 After some algera, this can e shown to coincide with the constant term in 37, which completes the proof We conclude with the general ase case Theorem 15 Let us denote X 1 x1 x x 1 and X x x x 1, and m 0 0 β, m 1 as computed in Lemma 7 The extension to an aritrary ase gives 0 β, with and 1 d! x 1 +ξ x i 10 i 0 ξ s i 1+i t+i 1 x 1 +i x ct+d 1! 1 m 0 + X +m 1 m 0 X + X 1 1 c m 0 x x 1 x x 1 +m 1 X 1 ξx X x 1 m 0 X 1 1 ] +m 1 X 1 m 0 X ] X +m 1 X Proof The extension to an aritrary ase gives We deduce i 10 ξ s i 1+i t+i 1 x 1 +i x 1 x x 1 β +1! +1 i 10 i 0 0 x t+ + x + 1 x1 t+ + x1 1 x x 1 x x 1 x x 1 x x 1 x1 t+ x + + x1 +ξ 1 x t+ x 1 + ] + x ξ + 1 x x 1 x x 1 x x 1 x x 1 i 0 1! ξ s i 1+i t+i 1 x 1 +i x x +ξ 1 x 1 t+ m x x x 1 m 0 t+ x + x 1 x x 1 1 x +m 1 x x 1 +m 1 x 1 x x 1 1 x 1 ξ 1 x t+ m x x x 1 +m 1 x 1 x x 1 m 0 t+ x 1 + x x x m 1 x x x 1 ] Identifying the constant and first order terms in this expression gives the result Acnowledgements one of the authors have any competing interests in the manuscript This material is ased upon wor supported y the ational Science Foundation under Grant o DMS while the second author was in residence at the Institute for Computational and Experimental Research in Mathematics in Providence, RI, during the Point Configurations in Geometry, Physics and Computer Science Semester Program, Spring 018

13 SETTLIG SOME SUM SUPPOSITIOS 13 References 1] J-P Allouche and J Shallit, Automatic Sequences: Theory, Applications, Generalizations Camridge University Press, 003 ] J-P Allouche and J Shallit The Uiquitous Prouhet-Thue-Morse Sequence, 1-16, Springer London, London, ] J Byszewsi and M Ulas, Some identitites involving the Prouhet-Thue-Morse sequence and its relatives, Acta Math Hungar, 17-, , 015 4] HL Dorwart and OE Brown, The Tarry-Escott Prolem, MAA Monthly, 44, , ] C Vignat and T Wahare, Finite generating functions for the sum of digits sequence, arxiv: University of Maryland, College Par, MD 074, USA address: twahare@gmailcom Tulane University, ew Orleans, LA 70118, USA and Université Paris Sud, France address: cvignat@tulaneedu, christophevignat@u-psudfr