arxiv: v2 [math.co] 27 Jun 2016

Transcription

1 Usig the Fresha s Drea to Prove Cobiatorial Cogrueces By Moa APAGODU ad Doro ZEILBERGER arxiv: v athco 7 Ju 06 Abstract I a recet beautiful but techical article, Willia YC Che, Qig-Hu Hou, ad Doro Zeilberger developed a algorith for fidig ad provig cogruece idetities (odulo pries of idefiite sus of ay cobiatorial sequeces, aely those (like the Catala ad Motzki sequeces that are epressible i ters of costat ters of powers of Lauret polyoials We first give a leisurely epositio of their eleetary but brilliat approach, ad the eted it i two directios The Lauret polyoials ay be of several variables, ad istead of sigle sus we have ultiple sus I fact we eve cobie these two geeralizatios! We coclude with soe super-challeges Added Jue 6, 06: Roberto Tauraso T, has poited out that ost of our cojectured supercogrueces are already kow, ecept for super-cogruece 6, for which he supplied a beautiful proof Itroductio I a recet elegat article (CHZ the followig type of quatities were cosidered ( r k=0 a(k od p, a(k is a cobiatorial sequece, epressible as the costat ter of a power of a Lauret polyoial of a sigle variable (for eaple, the cetral bioial coefficiet ( k k is the coefficiet of 0 i (+ k r is a specific positive iteger p is a arbitrary prie Let p y ea y (od p, i other words, that y is divisible by p The CHZ ethod, while igeious, is very eleetary! The ai trick is: The Fresha s Drea Idetity (Wi: (a+b p p a p +b p Recall that the easy proof follows fro the Bioial Theore, ad otig that ( p k is divisible by p ecept whe k = 0 ad k = p This also leads to oe of the ay proofs of the gradother of all cogrueces, Ferat s Little Theore, a p p a, by startig with 0 p p 0, ad applyig iductio to (a+ p p a p + p

2 The secod igrediet i the CHZ ethod is eve ore eleetary! It is: Su of a Geoetric Series: z i = z z The focus i the Che-Hou-Zeilberger (CHZ paper was both coputer-algebra ipleetatio, ad provig a geeral theore about a wide class of sus Their paper is rather techical, so its beauty is lost to a wider audiece Hece the first purpose of the preset article is to give a leisurely itroductio to their ethod, ad illustrate it with uerous illuiatig eaples The secod, ai, purpose, however, is to eted the ethod i two directios The suad a(k, ay be the costat ter of a Lauret polyoial of several variables, ad istead of a sigle suatio sig, we ca have ulti-sus I fact we ca cobie these two! Notatio The costat ter of a Lauret polyoial P(,,,, alias the coefficiet of 0 0 0, is deoted by CTP(,,, The geeral coefficiet of i P(,,, is deoted by COEFF P(,,, For eaple, CT y +3+5y 3 +6y = 3, COEFF y y +3+5y +3 +6y = 5 We use the syetric represetatio of itegers i ( p/, p/ whe reducig odulo a prie p For eaple, 6 od 5 = ad 4 od 5 = Review of the Che-Hou-Zeilberger Sigle Variable Case I order to otivate our geeralizatio, we will first review, i ore detail tha give i CHZ, soe of their elegat results Let s start with the Cetral Bioial Coefficiets, sequece A i the great OEIS (Sl, Propositio For ay prie p 5, we have p, if p (od 3 ;, if p (od 3 Proof: Usig the fact that (+ ad the Fresha s Drea idetity, (a+b p p a p +b p, we have = (+ CT, ( ++

3 ( ++ p p + p + ++ p CT p ++ (By Fresha s Drea + p + p CT p ++ (By Ferat s Little theore + p + + p + p p ++ (++ = COEFF ++ ( ( = COEFF 3 = COEFF p 3i+ + COEFF p ( 3i+ The result follows fro etractig the coefficiet of p i the above geoetrical series Propositio p 3, if p (od 3 ; 3, if p (od 3 Proof: = CT p ++ p CT +4 p = COEFF ++ = COEFF = COEFF 3 = COEFF 3 +COEFF 3 ( ++ ( ++ p ++ ( 6+4 p + 4 p + p COEFF +4 COEFF = COEFF p +COEFF 3i+ p p COEFF 3 3 ( 3i+ +4 COEFF p +4 COEFF 3i+ p ( 3i COEFF 3 The result follows fro etractig the coefficiets of p i the first two geoetrical series above, ad the coefficiet of p i the last two The sae ethod (of CHZ ca be used to fid the od p of r( for ay positive iteger r This leads to the followig propositio, whose soewhat tedious proof we oit Propositio For ay prie p 5, ad ay positive iteger, r, r p αr, if p (od 3 ; α r, if p (od 3, 3

4 α r = r For the record, here are the first te ters of the iteger sequece α r :,3,9,9,99,35,75,4707,7577,6687 Thesequeceα r is Sequece A634 (Sl, Note that α r is theuber of ways of tossig a coi < r ties ad gettig as ay Heads as Tails The ost ubiquitous sequece i cobiatorics is sequece A00008 i the OEIS (Sl, that accordig to Neil Sloae is the logest etry!, the superfaous Catala Nubers, C := (!!(+!, that cout zillios of cobiatorial failies (see St for soe of the ore iterestig oes Propositio Let C be the Catala Nubers, the, for every prie p 5, C p, if p (od 3 ;, if p (od 3 Proof: Sice C = (, it is readily see that C ( (++ We have p CT C ( (( + p + p ++ ( ( ++ 3 (( ( p ( = COEFF ++ = COEFF 3 +COEFF p 3 3 +COEFF p = COEFF p 3 = COEFF p +COEFF 3i+ p ( +COEFF 3i+ p 3i+3 ad the result follows fro etractig the coefficiet of p fro the first or secod geoetric series above (ote that we would ever have to use the third geoetrical series, sice p > 3 The sae ethod (of CHZ ca be used to fid the od p of r C for ay specific positive iteger r I fact, oe ca keep r geeral, but the the proof is rather tedious, ad we will spare the readers (ad ourselves, fro typig it Propositio Let C be the Catala Nubers, the, for ay positive iteger r, we have r C p βr, if p (od 3 ; γ r, if p (od 3, 4,

5 r r β r = C, γ r = (3+C For the record, the first te ters of the sequece of iteger pairs β r, γ r are,,, 7,4, 3,9, 78,3, 74,65, 988,97, 368,66, 3495,076, 50675,698, 9673 We ote that the sequece β r is sequece A0437 i the OEIS (Sl, but at this tie of writig (Jue 9, 06, the sequece γ r is ot there (yet Not as faous as the Catala ubers, but ot eactly obscure, are the Motzki ubers, M, sequece A00006 i the OEIS (Sl, that ay be defied by the costat ter forula ( M ( ++ Propositio 3 Let M be the Motzki ubers, the for ay prie p 3, we have M p, if p (od 4 ;, if p 3(od 4 Proof: M ( ( ++ ( (( ++ p ++ ( ( + p + ( p + p CT p ( ( p + ++ p = COEFF + = COEFF p + COEFF p + = COEFF p ( i +COEFF i+ p ( i+ i+3, ad the result follows fro etractig the coefficiet of p fro the firstad secod geoetric series above, by otig that whe p (od 4, i is eve i the first series, ad odd i the secod oe, ad vice-versa whe p 3(od 4 The sae ethod, applied to a geeral r yields Propositio 3 Let M be the Motzki ubers, ad let p 3 be prie, the r M p δr, if p (od 4 ; δ r, if p 3(od 4, 5 p

6 δ r is the sequece of partial sus of the cetral trioial coefficiets, sequece A i the OEIS(Sl, whose geeratig fuctio is δ r r = r=0 ( (+( 3 Fro the above proofs, it is easy to observe that partial sus with upper suatio liit of the for r, for r >, ca always be epressed i ters of the su with upper suatio liit This observatio leads us to the followig siplificatio of Theore i CHZ Theore 4 Let P( be a Lauret polyoial i ad let p be a prie Let R( be the deoiator, after clearig, of the epressio P( p P( The, for ay positive iteger r ad Lauret polyoial Q(, ( r CT P( Q( od p, is cogruet to a fiite liear cobiatio of shifts of the sequece of coefficiets of the ratioal fuctio R( Multi-Sus ad Multi-Variables We ow eted the Che-Hou-Zeilberger ethod for discovery ad proof of cogruece theores to ulti-sus ad ulti-variables Propositio 5 Let p 5 be prie, the =0 ( + p, if p (od 3 ;, if p (od 3 Proof: Let ad ( P(,y = (+y + ( Q(,y = (+ + y,, the = P(,y Q(,y 6

7 We have =0 + = =0 CT P(,y Q(,y = ( P(,y p P(,y =0 ( Q(,y p Q(,y (P(,y p Q(,y CT P(,y Usig the Fresha s Drea, (a+b p p a p +b p, we ca pass to od p as above, ad get =0 + p CT p COEFF y ( P( p,y p P(,y ( Q( p,y p (+y p + p y p (+ p + p y p p CT Q(,y (+y +y(++y y (+y p + p y p (+ p + p y p p COEFF (+y +y(++y y (+y +y(++y Itis possibleto show that thecoefficiet of y i themaclauri epasio of the ratioal fuctio is whe 0(od 3, whe (od 3, ad 0 whe (od 3 (+y+y(++y Oe way is to do a partial-fractio decopositio, ad etract the coefficiet of, gettig a certai epressio i y ad, ad the etract the coefficiet of y Aother way is by usig the Apagodu-Zeilberger algorith (AZ, that outputs that the sequece of diagoal coefficiets, let s call the a(, satisfy the recurrece equatio a(++a(++a( = 0, with iitial coditios a(0 =,a( = Based o coputer calculatios, we cojecture Cojecture 5 For ay prie p 5, ad ay pair of positive itegers, r, s, we have r s =0 ( + p ǫrs, if p (od 3 ; ǫ rs, if p (od 3, ǫ rs = r =0 s + We fially cosider partial sus of trioial coefficiets Propositio 6 Let p > be prie, the we have =0 =0 3 = ,, 3 p Proof: First observe that ( + + 3,, 3 (+y+z y z 3 7

8 Hece 0,, =,, 3 ( =0 = COEFF y z 0,, 3 0,, 3 ( +y +z ( +y +z =0 ( +y+z p +y+z (+y+z p y +y+z y (+y +z p p y +z CT (+y +z /( y z 3 (+y +z y z 3 ( 3 =0 (+y+z z +y+z z (+y +zp y p +z 3 +y +z p (+y +zp z p +y So far this is true for all p, ot oly p prie Now take it od p ad get, usig the Fresha s Drea i the for (+y +z p p p +y p +z p, that =0 =0 3 = ,, 3 = COEFF y z ( ( i y i z = COEFF y z p COEFF y z 0 i,j,k<p i j=0 ( j z j j ( y p +z p y +z p +z p +z p +y p +y ( ( k k y k k=0 ( i+j+k j+k y i+ k z i+j The oly cotributios to the coefficiet of y z i the above triple su coe whe i = j = k, so the desired coefficiet of y z is ( 3i = ( i = ( = With ore effort, oe ca get the followig geeralizatio Propositio 6 Let p 3 be prie, ad let r,s,t be ay positive itegers, the r s t =0 =0 3 = p κ rst,,, 3 κ rst = r s t =0 =0 3 = ,, 3

9 The sae ethod of proof used i Propositio 6 yields (with a little ore effort a ultioial geeralizatio Propositio 7 Let p 3 be prie, the =0 =0 +,, p I fact, the followig also holds Propositio 7 Let p 3 be prie, ad let r,,r be positive itegers, the r =0 r =0 + p κ r r,,, κ r r = r =0 r =0 +,, Super Cogrueces If a cogruece idetity that is valid odulo a prie p, is also valid odulo p (or better still, odulop 3 adbeyodthe we have asuper-cogruece Thegradother of all supercogrueces is Wolstehole s Theore(Wo, see also We that asserts that p 3, that iproves o the weaker versio ( p, first proved by Charles Babbage (B, better kow for ore ipressive iovatios To our surprise, ost (but ot all! the above cogrueces have super-cogruece etesios The ethod of CHZ, as it stads ow, is ot applicable, sice the Fresha s Drea is oly valid odulo p, hece we have o clue how to prove the We leave the as challeges to our readers Super-Cojecture For ay prie p 5 More geerally p, if p (od 3 ;, if p (od 3 Super-Cojecture For ay prie p 5, ad ay positive iteger, r, r p αr, if p (od 3 ; α r, if p (od 3, 9

10 α r = r Update, Jue 6, 06: Deis Stato proved Super-Cojectures ad See his ice writeup His ethod should also work for Super-Cojectures, ad probably Update, Jue 7, 06: Roberto Tauraso(T poited out that Super-Cojecture is already kow, see T for refereces Super-Cojecture Let C be the Catala Nubers, the, for every prie p 5, C p, if p (od 3 ;, if p (od 3 Update, Jue 7, 06: Roberto Tauraso(T poited out that Super-Cojecture is already kow, see T for refereces More geerally, Super-Cojecture Let C be the Catala Nubers, the, for ay positive iteger r, we have r C p βr, if p (od 3 ; γ r, if p (od 3, r r β r = C, γ r = (3+C We ote that poor Motzki does ot see to have a super-etesio, but Propositio 5 sure does! Super-Cojecture 5 Let p 5 be prie, the =0 + p, if p (od 3 ;, if p (od 3 Update, Jue 7, 06: Roberto Tauraso(T poited out that Super-Cojecture 5 follows easily fro what we called Super-Cojecture, see T for details More geerally 0

11 Super-Cojecture 5 For ay prie p 5, ad ay pair of positive itegers, r, s, we have r s =0 + p ǫrs, if p (od 3 ; ǫ rs, if p (od 3, ǫ rs = r =0 s + The ost pleasat surprise is that Propositios 6 ad 6 ca be upgraded to a cubic supercogruece, ie it is still true odulo p 3 Super-Cojecture 6 Let p > be prie, the we have =0 =0 3 = ,, 3 p 3 Update, Jue 7, 06: Roberto Tauraso(T has supplied a beautiful proof, highly recoeded More geerally Super-Cojecture 6 Let p 3 be prie, ad let r,s,t be ay positive itegers, the r s t =0 =0 3 = p 3 κ rst,,, 3 κ rst = r s t =0 =0 3 = ,, 3 To our bitter disappoitet, Propositios 7 ad 7, for 4 suatio sigs, do ot have super-upgrades Lots ad Lots of Cobiatorial Challeges Perhaps the icest proof of Ferat s Little Theore, a p p a, is Golob s (G cobiatorial proof, that otes that a p is the uber of (straight ecklaces with p beads, usig beads of a differet colors, ad hece a p a is the uber of such (straight ecklaces that are ot all of the sae color For ay such ecklace, all its p circular rotatios are distict (sice p is prie, hece the set of such ecklaces ca be divided ito failies, each of the with p ebers, ad hece there are (a p a/p circular ecklaces (without clasp, ad this ust be a iteger Each ad every quatity i the above propositios ad cojectures couts a atural cobiatorial faily For eaple ( couts the uber of biary sequeces with the sae uber of

12 0 s ad s whose legth is less tha p Ca you fid a eber of this set that whe you reove it, ad p (od3, you ca partitio that set ito failies each of the with eactly p (or better still, for the super-cogruece, p ebers?, ad whe p (od3, ca you fid two such ebers? Refereces AZ Moa Apagodu ad Doro Zeilberger, Multi-Variable Zeilberger ad Alkvist-Zeilberger Algoriths ad the Sharpeig of Wilf-Zeilberger Theory, Adv Appl Math 37 (006, B Charles Babbage, Deostratio of a theore relatig to prie ubers, Ediburgh Philosophical J (89, CHZ Willia YC Che, Qig-Hu Hou, ad Doro Zeilberger, Autoated Discovery ad Proof of Cogruece Theores for Partial Sus of Cobiatorial Sequeces, J of Differece Equatios ad Applicatios (o-lie before prit, DOI:0080/ Volue ad page tbd Available fro G Soloo W Golob, Cobiatorial proof of Ferat s Little Theore, Aerica Matheatical Mothly 63(956, 78 Sl Neil J A Sloae, The O-Lie Ecyclopedia of Iteger Sequeces, St Richard P Staley, Catala Nubers, Cabridge Uiversity Press, 05 T Roberto Tauraso, A(hua proof of a triple bioial su supercogruece, We Eric W Weisstei, Wolstehole s Theore, Fro MathWorld A Wolfra Web Resource Wi The Wikipedia Foudatio, The Fresha s Drea Wo Joseph Wolstehole, O certai properties of prie ubers, Quart J Pure Appl Math 5 (86, Moa Apagodu, Departet of Matheatics, Virgiia Coowealth Uiversity, Richod, VA 384, USA; apagodu at vcu dot edu Doro Zeilberger, Departet of Matheatics, Rutgers Uiversity (New Bruswick, Hill Ceter- Busch Capus, 0 Frelighuyse Rd, Piscataway, NJ , USA; zeilberg at ath dot rutgers dot edu

13 First Writte: Jue 9, 06 ; This versio: Jue 6, 06 3