arxiv: v57 [math.nt] 24 Aug 2011

Transcription

1 arxiv: OPEN CONJECTURES ON CONGRUENCES arxiv: v57 [math.nt] 24 Aug 20 Zhi-Wei Su Deartmet of Mathematics, Najig Uiversity Najig 2009, Peole s Reublic of Chia zwsu@ju.edu.c htt://math.ju.edu.c/ zwsu Abstract. We collect here various cojectures o cogrueces made by the author i a series of aers, some of which ivolve biary quadratic forms ad other advaced theories. Part A cosists of 00 usolved cojectures of the author while cojectures i Part B have bee recetly cofirmed. We hoe that this material will iterest umber theorists ad stimulate further research. Number theorists are welcome to wor o those oe cojectures; for some of them we offer rizes for the first correct roofs. Itroductio Cogrueces modulo rimes have bee widely ivestigated sice the timeoffermat. However, wefidthattherearestilllotsofewchallegig cogrueces that caot be easily solved. They aeal for ew owerful tools or advaced theory. Here we collect various cojectures of the author o cogrueces, most of which ca be foud i the author s aers available from arxiv or his homeage. We use two sectios to state cojectures ad related remars. Part A cotais 00 usolved cojectures of the author while Part B cosists of cojectures that have bee recetly cofirmed. Most of the cogrueces here are suer cogrueces i the sese that they hae to hold modulo some higher ower of. The toic of suer cogrueces is related to the -adic Γ-fuctio, Gauss ad Jacobi sums, hyergeometric series, modular forms, Calabi-Yau maifolds, ad some sohisticated combiatorial idetities ivolvig harmoic umbers cf. K. Oo s boo [O]. The recet theory of suer cogrueces also ivolves Beroulli ad 200 Mathematics Subject Classificatio. Primary B65, A07; Secodary 05A0, 05A5, A4, B9, B68, E25, S99, C20, 65B0. Keywords. Biomial coefficiets, Catala umbers, Beroulli umbers, Euler umbers, series ivolvig π, biary quadratic forms, cogrueces modulo rime owers. c Coyright is owed by the author Zhi-Wei Su. The material o the author s homeage has bee lied to Number Theory Web sice Nov. 27, 2009.

2 2 ZHI-WEI SUN Euler umbers see [Sb, Se] ad various series related to π cf. [vh], [S-7] ad [T]. May cogrueces collected here are about a /m modulo owers of a rime, where m is a iteger ot divisible by ad the quatity a is a sum or a roduct of some biomial coefficiets which usually arises from eumerative combiatorics. For clarity, we ofte state the rime versio of a cojecture istead of the geeral versio. We also iclude several challegig cojectures o series related to π or the Dirichlet L-fuctio which arose from the author s ivestigatios of cogrueces, see Cojectures A, A5, A40, A44. For some cojectures we aouce rizes for the first correct roofs, see remars after Cojectures A, A9, A44, A46, A48. Now we itroduce some basic otatio i this aer. As usual, we set N = {0,,2,...} ad Z + = {,2,,...}. The Kroecer symbol δ m, taes or 0 accordig as m = or ot. The risig factorial x is defied by x = x+, ad x 0 is regarded as. For a iteger m ad a ositive odd umber, the otatio m stads for the Jacobi symbol. For a odd rime, we use q 2 to deote the Fermat quotiet 2 /. For a rime ad a ratioal umber x, the -adic valuatio of x is give by ν x = su{a N : x 0 mod a }. For a olyomial or a ower series Px, we write [x ]Px for the coefficiet of x i the exasio of Px. For,..., N, we defie the multiomial coefficiet + +,..., Harmoic umbers are give by := + +!.!! H 0 = 0 ad H = = =,2,,... For N, C deotes the Catala umber 2 + = ad C 2 stads for the first id secod-order Catala umber 2+ = 2. Note that if is a odd rime the 2 = 2! + 0 mod for every =,...,.! 2 2

3 OPEN CONJECTURES ON CONGRUENCES Beroulli umbers B 0,B,B 2,... are ratioal umbers give by B 0 = ad + B = 0 for Z + = {,2,,...}. It is well ow that B 2+ = 0 for all Z + ad x e x = =0 B x! x < 2π. Euler umbers E 0,E,E 2,... are itegers defied by E 0 = ad 2 E = 0 for Z + = {,2,,...}. It is well ow that E 2+ = 0 for all N ad secx = x 2 E 2 2! =0 x < π. 2 Beroulli olyomials ad Euler olyomials are give by B x = B x ad E x = E 2 x 2 N. For A,B Z we defie the Lucas sequeces u = u A,B N ad v = v A,B N as follows: u 0 = 0, u =, ad u + = Au Bu =,2,,...; v 0 = 0, v =, ad v + = Av Bv =,2,,... Part A. Cojectures that remai usolved Cojecture A [Sb]. Let be a odd rime. The 2 { 4x 2 2 mod 2 if 7 = & = x2 +7y 2 with x,y Z, 0 mod 2 if =, i.e.,,5,6 mod 7. 7

4 4 ZHI-WEI SUN Remar. a It is well ow that = x 2 +7y 2 for some x,y Z if is a odd rime with =. The cogruece modulo ca be easily deduced 7 from 6 i Ahlgre [A, Theorem 5]. Recetly the author s twi brother Z. H. Su [Su2] cofirmed the cojecture i the case 7 =. I d lie to offer $70 US dollars for the first correct roof of Coj. A i the case 7 =. b Let be a odd rime. By [Se, Theorem.] or [S-7, Theorem.5], Cojecture A imlies that 2 { 8 7 4x2 = 2y mod 2 if 7 = & = x2 +7y 2 x,y Z, 8 7 mod 2 if 7 =. We ever wrote that the author was uable to guess 2 mod i the case = though we formulated Coj. A o November, After readig this remar, o Nov. 28, 2009 Bilgi Ali ad Bruo Mishuta guessed that for = x 2 +7y 2 with x,y Z we have { 2 y 2 / x 2 mod if y, 4y 2 x 2 / mod if y. Sice x 2 7y 2 mod, we ca simlify the cogruece as follows: x2 2 y2 mod. Cojecture A2 [Se]. i If is a rime ad a is a ositive iteger with a mod, the a mod a a ii Ay iteger > satisfyig the cogruece mod 4 must be a rime. Remar. a The author [Se] roved that for ay rime ad ositive iteger a we have a B a mod 4,

5 OPEN CONJECTURES ON CONGRUENCES 5 where B is regarded as zero, ad B 0,B,B 2,... are Beroulli umbers. Whe > 5, the cogruece eve holds mod 5 if we relace 6 B by 48H. See Coj. A for our guess o 2 mod 2. b The author [S-7] roved that for ay rime > we have / /2 2 E mod 4, which has the followig equivalet form: /2 = /2 4E mod for ay rime >. Notethat = 2 8/ 2 = ζ2 = π 2 /6by[Z]seealso[HP,7]. c The author has verified art ii of Coj. A2 for 0 4. Cojecture A [Se]. i Set a := for Z +.,,, The a Z uless 2+ is a ower of i which case a Z\Z. ii Let be a rime. If >, the a a 8,,, 27 B mod 4 for all a Z +, ad / mod. 8,,, If 7 =, i.e.,,2,4 mod 7, the 2 4,,, 8 mod ad 2 5 If 7 = ad, the iii We have 4,,, 4,,, mod mod = 2π 2. 4,,, =

6 6 ZHI-WEI SUN Cojecture A4 [Sb, Se]. i For every = 2,,4,... we have ii Let be a odd rime. The Z. 64 { x 2 2 mod 2 if = & 4 = x2 +y 2 x,y Z, 0 mod 2 if =, i.e., 2,6,7,8,0 mod. Furthermore, a a iii If > is a rime the B mod 4 for all a Z +. /2 64 = 2 2 2q B mod, where q 2 = 2 /. Remar. It is well-ow that the quadratic field Q has class umber oeadhece forayoddrimewith = wecawrite4 = x 2 +y 2 with x,y Z. Cocerig the arameters i the reresetatio 4 = x 2 + y 2, Jacobi see, e.g., [HW] roved the followig result: If = f + is a rime ad 4 = x 2 + y 2 with x 2 mod, the x 6f f f f / 4f 2f mod. Cojecture A5 [Se]. i For Z + set a := The a Z for all = 2,,4,... ii Let be a odd rime. The { 4x 2 2 mod 2 if 2 = & = x2 +2y 2 x,y Z, 0 mod 2 if 2 =.

7 Also, for ay a Z + we have a a OPEN CONJECTURES ON CONGRUENCES B mod 4. iii We have = π2 2. = Cojecture A6 [Se]. Let > be a rime. If mod 6 ad = x 2 +y 2 with x,y Z, the 2 6 4x2 2 mod 2 ad 2 6 4x2 mod 2. If 5 mod 6, the mod 2 ad 2 6 mod 2. Furthermore, a a B mod 4 for all a Z +, ad Also, / E mod Z for all = 2,,4,.... Remar. Z. H. Su [Su2] cofirmed the cojecture that 2 /6 0 mod 2 if is a rime with 5 mod 6. Also, the first idetity of J. Guillera [G] ithe case a = /2 gives = 6 / 2 = π 2 /2.

8 8 ZHI-WEI SUN Cojecture A7 [Se]. Let be a odd rime. The ad furthermore + E mod 4 a := Z + for all = 2,,4,.... Remar. Notethat a = /4ad2+a + +4a = for =,2,,... Also, the third idetity of Guillera [G] with a = /2 gives = 8 / 2 = 2G, where G is the Catala costat defied by G = /2+ 2 = Cojecture A8 [Se]. i For Z + set a := The a Z for = 2,,4,... uless 2+ is a ower of i which case a Z\Z. ii Let > be a rime. The a a for ay a Z +. We also have 2 2 a + a B 2 mod 92 { x 2 2 mod 2 if mod & 4 = x 2 +27y 2 x,y Z, 0 mod 2 if 2 mod. Remar. Itiswellowthatforayrime modthereareuique x,y Z + such that 4 = x 2 +27y 2 see, e.g., [C]. Also, Ramauja [R] foud that 5+ 9 /2 / 2/ 6 = = 4 π.

9 OPEN CONJECTURES ON CONGRUENCES 9 Cojecture A9 [S-2]. Let > be a rime. The Also, { 6 6,, 96 x2 2 mod 2 if 9 = & 4 = x2 +9y 2 x,y Z, 0 mod 2 if 9 = ,, Furthermore, for ay = 2,,... we have a := 6 mod Z,, uless 2+ is a ower of i which case a Z\Z. Remar. It is well ow that Q 9 has class umber oe ad hece for ay odd rime with 9 = there are uique ositive itegers x ad y such that 4 = x 2 +9y 2. The cojectured cogrueces modulo have bee cofirmed by Z. H. Su [Su]. D. V. Chudovsy ad G. V. Chuovsy [CC] obtaied that = 2 6,, π. See also [BB] ad [G5] for more Ramauja-tye series ivolvig /π. Cojecture A0 [S-2]. If > 5 is a rime, the { 6,, x2 2 mod 2 if 4 = & 4 = x2 +4y 2 x,y Z, 0 mod 2 if 4 =. Also, for ay = 2,,... we have a := Z,, uless 2+ is a ower of i which case a Z\Z.

10 0 ZHI-WEI SUN Remar. It is well ow that Q 4 has class umber oe ad hece for ay odd rime with = there are uique ositive itegers x 4 ad y such that 4 = x 2 + 4y 2. The cojectured cogruece modulo has bee cofirmed by Z. H. Su [Su]. D. V. Chudovsy ad G. V. Chuovsy [CC] showed that ,, = 640 5, π ad Zudili [Zu] suggested that for ay rime > 5 we should have ,, 5 mod. Cojecture A [S-2]. Let > 5 be a rime with. The 6,, 5280 { 0 x2 2 mod 2 if 67 = & 4 = x2 +67y 2 x,y Z, 0 mod 2 if 67 =. Also, ,, Furthermore, for ay = 2,,... we have a := 0 mod Z,, uless 2+ is a ower of i which case a Z\Z. Remar. It is well ow that Q 67 has class umber oe ad hece for ay odd rime with = there are uique ositive itegers x ad 67 y such that 4 = x 2 +67y 2. The cojectured cogrueces modulo have bee cofirmed by Z. H. Su [Su]. It is ow that cf. [CC] ad [G5] /2 /6 5/6 440 = = 4402,, π 0.

11 OPEN CONJECTURES ON CONGRUENCES Cojecture A2 [S-2]. Let > 5 be a rime with 2,29. The 6,, { 0005x 2 2 mod 2 if 6 = & 4 = x2 +6y 2 x,y Z, 0 mod 2 if 6 =. Also, ,, Furthermore, for = 2,,..., if we deote by a the umber 0005 mod ,,, the a Z uless 2+ is a ower of i which case a Z\Z. Remar. It is well ow that the oly imagiary quadratic fields with class umber oe are those Q d with d =,2,,7,,9,4,67,6. For ay odd rime with =, there are uique ositive itegers x 6 ad y such that 4 = x 2 + 6y 2. The cojectured cogrueces modulo have bee cofirmed by Z. H. Su [Su]. D. V. Chudovsy ad G. V. Chudovsy [CC] got the formula = ,, 2π 0005, which eabled them to hold the record for the calculatio of π durig Cojecture A [Se]. i If > is a rime, the x 2 2 mod 2 if,4 mod 5 & = x 2 +5y 2 x,y Z, 20x 2 2 mod 2 if 2,8 mod 5 & = 5x 2 +y 2 x,y Z, 0 mod 2 if 5 =. For Z + set

12 2 ZHI-WEI SUN The a Z uless 2+ is a ower of i which case a Z\Z. ii For ay rime > ad a Z +, we have a a ad a 5+ 4 a 44,,, We also have where K := L 2, = a 4 a + + a a 4 2 B B = 45 2 K, = = 2 mod mod. 2 = Remar. a Let > 5 be a rime. By the theory of biary quadratic forms cf. [C], if,4 mod 5 the = x 2 +5y 2 for some x,y Z; if 2,8 mod 5 the = 5x 2 +y 2 for some x,y Z. b Cocerig the first cogruece i Coj. Aii, K. Hessami Pilehrood ad T. Hessami Pilehrood [HP2] roved it modulo for a =. Cojecture A4 [Se]. i For Z + set ad a := b := ,,, Give a iteger >, we have a,b Z uless 2+ is a ower of i which case a,b Z\Z. ii Let > be a rime. The x 2 2 mod 2 if,7 mod 24 & = x 2 +6y 2 x,y Z, 8x 2 2 mod 2 if 5, mod 24 & = 2x 2 +y 2 x,y Z, 0 mod 2 if 6 = i.e.,,7,9,2 mod 24;

13 ad 4,,, 48 2 OPEN CONJECTURES ON CONGRUENCES 4x 2 2 mod 2 if,7 mod 24 & = x 2 +6y 2 x,y Z, 2 8x 2 mod 2 if 5, mod 24 & = 2x 2 +y 2 x,y Z, 0 mod 2 if 6 = i.e.,,7,9,2 mod 24. Also, for ay a Z + we have a a a a ,,, a a a a B B 2 mod, mod, ad a a /2<< a 4 0 mod 2.,,, Remar. a Let > be a rime. By the theory of biary quadratic forms see, e.g., [C], if,7 mod 24 the = x 2 + 6y 2 for some x,y Z; if 5, mod 24 the = 2x 2 +y 2 for some x,y Z. b Ramauja [R] foud that ad 6+ /2 / 2/ /2 /4 /4 9 = = = π = ,,, π. Cojecture A5 [Se]. i For Z + set a := ,,, The a Z + for all = 2,,4,...

14 4 ZHI-WEI SUN ii Let be a odd rime. The 4,,, 2 0 4x 2 2 mod 2 if,9 mod 20 & = x 2 +5y 2 x,y Z, 2 x 2 mod 2 if,7 mod 20 & 2 = x 2 +5y 2 x,y Z, 0 mod 2 if 5 =, i.e.,,,7,9 mod 20. Remar. Let 2,5 be a rime. By the theory of biary quadratic forms see, e.g., [C], if,9 mod 20 the = x 2 +5y 2 for some x,y Z; if,7 mod 20 the 2 = x 2 +5y 2 for some x,y Z. See also [S-2] for a -adic cogruece mod 4 which is a aalogue of the Ramauja series ,,, = 8 π. Cojecture A6 [Se]. i For Z + set a := ,,, Give a iteger >, we have a Z uless 2+ is a ower of i which case a Z\Z. ii Let > be a rime. The a a ,,, for all a =,2,,... We also have 4,,, a a 48 E 4 mod 4x 2 2 mod 2 if,9,,9 mod 40 & = x 2 +0y 2 x,y Z, 2 8x 2 mod 2 if 7,,2,7 mod 40 & = 2x 2 +5y 2 x,y Z, 0 mod 2 if 0 =, i.e.,,7,2,27,29,,,9 mod 40. Remar. a Let > 5 be a rime. By the theory of biary quadratic forms see, e.g., [C], if 2 = 5 = the = x2 + 0y 2 for some x,y Z; if 2 = 5 = the = 2x2 +5y 2 for some x,y Z. b Ramauja [R] obtaied that 0 + /2 /4 /4 8 = = ,,, 4π.

15 OPEN CONJECTURES ON CONGRUENCES 5 Cojecture A7 [S-2]. Let > be a rime. The We also have 4,,, x 2 2 mod 2 if = = & = x2 +y 2, 2 2x 2 mod 2 if = = & 2 = x2 +y 2, 0 mod 2 if = ,,, + 5 E mod 4. Furthermore, for = 2,,4,... we have a := Z,,, uless 2+ is a ower of i which case a Z\Z. Remar. Ramauja cf. [Be,. 5] foud that 260+2/2 /4 /4! 8 2 = = 72,,, π. Cojecture A8 [S-2]. Let > be a rime with. The 4,,, We also have 4x 2 2 mod 2 if = 2 = & = x2 +22y 2, 2 8x 2 mod 2 if = 2 = & = 2x2 +y 2, 0 mod 2 if = ,,, mod. Furthermore, for = 2,,4,... we have a := Z,,, uless 2+ is a ower of i which case a Z\Z. Remar. Ramauja cf. [Be,. 54] foud that /2 /4 /4 =! = 2 992,,, π.

16 6 ZHI-WEI SUN Cojecture A9 [S-2]. Let > be a rime with 7. The 4,,, x 2 2 mod 2 if 7 = = & = x2 +7y 2, 2 2x 2 mod 2 if 7 = = & 2 = x2 +7y 2, 0 mod 2 if 7 =. Furthermore, for = 2,,4,... we have a := Z,,, uless 2+ is a ower of i which case a Z\Z. Remar. Ramauja cf. [Be,. 5] foud that /2 /4 /4! = = ,,, π. Cojecture A20 [S-2]. For Z + set a := Give a iteger >, we have a Z + uless 2+ is a ower of i which case a Z\Z. ii Let > be a rime. The a a for every a Z +. We also have 2 2 a 7 + a B 2 mod 2 x 2 2 mod 2 if = 7 = & 4 = x2 +5y 2 x,y Z, 2 x 2 mod 2 if = 7 = & 4 = x2 +7y 2 x,y Z, 0 mod 2 if = 7.

17 OPEN CONJECTURES ON CONGRUENCES 7 Remar. a Let > be a rime. By the theory of biary quadratic forms see, e.g., [C], if = 7 = the 4 = x2 + 5y 2 for some x,y Z; if = 7 = the 4 = x2 +7y 2 for some x,y Z. b Ramauja [R] obtaied that 5 +7 /2 / 2/ 6 = = 2 π. Cojecture A2 [S-2]. Let > be a rime with. The 4,,, x 2 2 mod 2 if 29 = 2 = & = x2 +58y 2, 2 8x 2 mod 2 if 29 = 2 = & = 2x2 +29y 2, 0 mod 2 if 58 =. Furthermore, for = 2,,4,... we have a := Z,,, uless 2+ is a ower of i which case a Z\Z. Remar. Ramauja cf. [Be,. 54] foud that = /2 /4 /4! = 992,,, 2π 2. Cojecture A22 [S-2]. Let > be a rime. The Also, x 2 2 mod 2 if = 4 = & 4 = x2 +2y 2, 2 x 2 mod 2 if = 4 = & 4 = x2 +4y 2, 0 mod 2 if 2 =. a a a 5 + a B 2 mod

18 8 ZHI-WEI SUN for ay ositive iteger a. Furthermore, for = 2,,4,... we have a := Z uless 2+ is a ower of i which case a Z\Z. Remar. It is ow cf. [G5] that 65+5 /2 / 2/! 2 0 = = 96 π. Cojecture A2 [S-2]. Let > 5 be a rime. The x 2 2 mod 2 if = 89 = & 4 = x2 +267y 2, 2 x 2 mod 2 if = 89 = & 4 = x2 +89y 2, 0 mod 2 if 267 =. Also, a a 00 a a B 2 mod for ay ositive iteger a. Furthermore, for = 2,,4,... we have a := Z 2 uless is a ower of 2 i which case 2a is a odd iteger. Remar. It is ow cf. [G5] that /2 / 2/! = = 500 π ad W. Zudili [Zu] suggested that for ay rime > 5 we have mod 00.

19 OPEN CONJECTURES ON CONGRUENCES 9 Cojecture A24 [Se]. i For Z + set a := ,,, The we have a Z + for all = 2,,4,... ii Let > be a rime. The a a a + a 2 2,,, for every a =,2,,... We also have 4,,, B 2 mod x/6 4x 2 2 mod 2 if 2 & = x 2 +y 2 4 x & 2 y, 4 xy xy mod 2 if 2 5 & = x 2 +y 2 4 x & 2 y, 0 mod 2 if mod 4. Remar. Ramauja [R] obtaied that 28+ /2 /4 / = = 6 2 2,,, π. Cojecture A25 [Se]. Let > 5 be a rime. The 4,,, εx4x 2 2 if 4, 5 =, = x2 +y 2 & 2 x, 4xy mod 2 if 4, 5 =, = x2 +y 2 & 5 x+y, 0 mod 2 if mod 4, where εx taes or accordig as 5 x or ot. We also have mod.,,, Furthermore, for = 2,,4,... we have a := Z,,, uless 2+ is a ower of i which case a Z\Z. Remar. Ramauja cf. [Be,. 5] foud that /2 /4 /4 =! = 288,,, π 5.

20 20 ZHI-WEI SUN Cojecture A26 [Se]. i For Z + set a := ,, Give a iteger >, we have a Z + uless 2+ is a ower of 5 i which case 5a Z\5Z. ii Let be a odd rime. The a 5 a 2 a ,, a 6 2 E 4 mod for ay ositive iteger a. We also have 6,, 2 5 { 2 x2 2 mod 2 if = & 4 = x2 +y 2 x,y Z, 0 mod 2 if =, i.e., 2,6,7,8,0 mod. Remar. The last cogruece mod has bee cofirmed by Z. H. Su [Su]. Ramauja [R] obtaied that /2 /6 5/6 2 9 = = 2 2,, π. CojectureA27 i[sb,s-]. If > 5 is a rime with mod 4, the a mod 2a for all a =,2,,.... Moreover, if is a odd rime, m Z + ad m mod 2m, the /m 0 mod 2 for all =,5,...,2m δ,m.

21 OPEN CONJECTURES ON CONGRUENCES 2 ii [Sj] Let > 2 be a rime ad let 2 be a iteger. Assume that x is a -adic iteger with x 2 mod for some {,..., + /2+ }. The we have 2+ x r r 0 mod 2. r=0 Remar. Let be a odd rime. It is ow that 2 64 a mod 2, where aq = q = q 4 6. This was roved by may authors, see, e.g., L. va Hammer [vh] ad E. Morteso [M2]. I 892 F. Klei ad R. Frice roved that if = x 2 +y 2 with x odd ad y eve the a = 4x 2 2 see, e.g., Ishiawa [I]. The author[sb]determied 2 /64 modulo. Recetly Z.H.Su [Su2] cofirmed the first cogruece i Coj. A27i i the case a =, ad the author [S-] roved the secod cogruece for =. Cocerig art ii the author [Sj] roved that if > ad x is a -adic iteger with x 2 mod for some {,..., / } the x r r 0 mod 2. r=0 Cojecture A28 [Se]. Let be a odd rime. If 2 = i.e.,, mod 8 ad = x 2 +2y 2 with x,y Z, the ,,, If 2 = i.e., 5,7 mod 8, the ad Also, a a 2 = x 2 2 mod mod 2, 4,,, mod 2 rovided ,,, a a B 2 mod

22 22 ZHI-WEI SUN for all a Z + rovided that,7. Moreover, a := ,,, are itegers for all = 2,,4, Remar. a E. Morteso [M4] roved the followig cojecture of va Hamme [vh]: /2 /2 4 + /2 mod for ay odd rime. Note that /2 = 2 / 64 for = 0,,2,... See [S-2] for a further refiemet. Recetly Z. H. Su [Su] cofirmed the cojecture that 2 / 64 0 mod 2 for ay rime 5,7 mod 8. I [Sg] the author roved that for all = 2,,... b It is ow cf. [G5] ad [G2] that = 2 π ad = = 6G, where G := /2 + 2 is the Catala costat. Ramauja cf. [Be,.54] foud that 40 + /2 /4 /4! 7 4 = = 49,,, π. Cojecture A29 [Se]. Let be a odd rime. If mod, the mod If, mod 8, the mod ,,,

23 If mod 4, the OPEN CONJECTURES ON CONGRUENCES mod 2.,, Remar. A related cojecture of Rodriguez-Villegas [RV] cofirmed by Morteso [M2] ad the author [Si] together states that for ay rime > we have ad 2 2 { 4x 2 2 mod 2 if 08 = & = x2 +y 2 x,y Z, 0 mod 2 if 2 mod, 4 {,,, 4x 2 2 mod 2 if = & = x2 +2y 2 x,y Z, { 6,, 2 = 0 mod 2 if 2 =, i.e., 5,7 mod 8, 6!!! 728 4x2 2 mod 2 if 4 & = x 2 +y 2 2 x, 2 y, 0 mod 2 if mod 4. Z. H. Su [Su] cofirmed the cogrueces i Coj. A29 modulo. Cojecture A0 [Se, S-7]. Let > 5 be a rime. If > 7 the We also have = = H 27 H 7 54 /2 = /2 = /2<< 2 = = mod B 5 mod 2, 2B 2 mod, B mod 2, H mod 4.

24 24 ZHI-WEI SUN Remar. It is ow that H / 2 B / mod for ay rime > ad = / B 5 mod for each rime > 5, ad that = ζ ad 4 = ζ4. = The first ad the secod cogrueces i Coj. A0 modulo have bee cofirmed by K. Hessami Pilehrood ad T. Hessami Pilehrood[HP]. Also, [T, Theorem 4.2] imlies that 2 = B mod 2 for ay rime > 5. Tauraso [T2] roved that 2 2/6 = 2H /2 mod for each rime >. The author could rove that the third ad the fourth cogrueces i Coj. A0 are equivalet. By [Se], ad /2 = /2 = 2 = +/2 8 E mod 2 2 /24 2 E mod for ay rime >. Mathematica versio 7 yields 2 2 = 6 = 4log2 8G π where G = /2 + 2 is the Catala costat. Cojecture A [Sb, S-7]. Let be a odd rime. The = 2 Whe >, we have 2 H /2 2 = B mod. = mod mod. If > 5, the = H2 / H mod.

25 OPEN CONJECTURES ON CONGRUENCES 25 Remar. The cogrueces were motivated by the followig ow idetities cf. [Ma] or usig Mathematica: 2 2 = π2 2 8, 2 = π2, 2 4 = π2 log = = Cojecture A2 [Sb], [S-8]. Let > 5 be a rime ad let H = /. The = /2 /2 We also have where / /2 /2 /2<< /2 2 = H B 5 H B H mod, B mod 2, 2 H H 2 := 0<j /2j 2. H 2 mod 2 2, mod 5, mod. Remar. O March 6, 200 the author [Sb] roved the first cogruece i Coj. A2 mod 2. It is ow cf. [Ma] that = π 2 ad = π2 0 which ca be easily roved by usig /2 + = 0 x2 dx. I March 200 the author suggested that 2 /2+ 6 = 7π /26 via a ublic message to Number Theory List, ad the Olivier Gerard oited out there is a comuter roof via certai math. softwares lie Mathematica Versio 7. It is also ow that see [S-8], ad use Mathematica 7 2 H2 2+6 = π 648. =

26 26 ZHI-WEI SUN Usig Morley s cogruece ad the idetity = 2+, the author got the followig cogruece for rimes > / q 2 q 2 2 mod 2. Cojecture A [Se]. Let be a odd rime ad let a Z +. If mod 4 or a >, the 4 a a /2 mod. If >, ad, mod 8 or a >, the r 8 a a /2 mod for r = 5,7. Remar. The author [Se] showed that /2 2 2/6 /2 + 2 E mod for ay odd rime. Cojecture A4 [Se]. i For each = 2,,... we have Z, Z, Z. ii Let be a odd rime. We have a /2 a a 4 B mod 4

27 OPEN CONJECTURES ON CONGRUENCES 27 for all a Z +. Whe > 5 the cogruece eve holds mod 5 if we relace 4 B by 4 H. If >, the / iii For ay rime > we have ,,, Also, for = 2,,... we have E mod 4, E mod 4, E mod 4. 5 E mod Z,,, uless 2+ is a ower of i which case the deomiator of the quotiet is. Remar. Those cogrueces i art ii mod are va Hamme s cojectures cf. [vh] which are -adic aalogues of corresodig Ramauja series. For the cogruece i iii the corresodig Ramauja series is = 9,,, 2π. CojectureA5 [Sb,Se]. Let be a odd rime. If mod 4, the 2 0 mod. 8 8 If mod 4, the mod 2

28 28 ZHI-WEI SUN ad mod 2. Remar. Whe > is a rime cogruet to mod 4, the author [Sb] roved that mod 2. Cojecture A6 [Se]. Let be a odd rime. i We have mod 2, Moreover, if mod 4 the if mod the 2 6 ii If, mod 8, the 2 64 if,2,4 mod 7, the mod Remar. The author observed that x 2 64x 2 x 64 x+ 4,,, mod ; 648 4,,, 44 mod. 4,,, mod ; 256 4,,, 969 mod. 4 x mod,,, 64x+ 2

29 OPEN CONJECTURES ON CONGRUENCES 29 for ay odd rime ad -adic iteger x 0, mod ; this ca be easily deduced by taig = /2 i the ow idetity + x = x +x. Z. H. Su [Su2] roved that 2 /256 0 mod 2 for ay rime 5 mod 6, ad 2 / 52 0 mod 2 for ay rime mod 4. See also Z. H. Su [Su] for his cojectures o 4,,, /m mod 2 with m = 44, 648, 969 motivated by the author s aers [Sb] ad [Se]. Cojecture A7 Discovered o March 2, 200. Let be a odd rime. i If mod 4 the /2 2 8 <j 2 /2 j j <j 2 / <j 2 j mod 2 ; whe mod 4 we have ad /2 /2 /2 2 8 <j m <j 2 <j 2 j 7 / j mod 2, <j 2 2 j j ii If mod the /2 2 6 <j 2 If 2 mod the j 2 / <j 2 j mod 2, 0 mod for m = 8, 52 if >. / j mod 2. <j 2 /2 2 6 <j 2 j 0 mod ad / <j 2 j 0 mod 2.

30 0 ZHI-WEI SUN iii If 5,7 mod 8, the / <j 2 j 0 mod. iv If > ad,5,6 mod 7, the /2 2 j 0 mod 2. <j 2 Remar. Durig their attemt to rove Cojecture A, M. Jameso ad K. Oo realized that /2 2 <j 2/j 0 mod for ay rime > but they did ot have a roof of this observatio. Whe > is a rime with mod 4, the author was able to show that / H 2 / H 0 mod. Now we itroduce olyomials S x := 4 x = 0,,2,... Cojecture A8 [S-2]. Let be a odd rime. i We have S 2 [ x] 4x 2 2 mod 2 if mod 2 & = x 2 +y 2 4 x, xy 4xy mod 2 if 5 mod 2 & = x 2 +y 2 4 x, 0 mod 2 if mod 4. Ad Moreover, 4 +S 2 +2 mod S 2 Z for all =,2,,....

31 OPEN CONJECTURES ON CONGRUENCES ii We have S 20 [5 x] 4x 2 2 mod 2 if = 5 = & = x2 +y 2 2 x, x 5 4xy mod 2 if = 5 =, = x2 +y 2 2 x, 5 xy, 0 mod 2 if mod 4. Ad 6+5S mod 2. Moreover, 6+5S 20 Z for all =,2,,.... Cojecture A9 [S-2]. Let be a odd rime. i We have S 6 4x 2 2 mod 2 if 2 = = 5 = & = x2 +0y 2, 2x 2 2 mod 2 if =, 2 = 5 = & = x2 +0y 2, 8x 2 2 mod 2 if 2 =, = 5 = & = 2x2 +5y 2, 2 20x 2 mod 2 if 5 =, 2 = = & = 5x2 +6y 2, 0 mod 2 if 0 =. Ad 8 +7S mod 2. We also have 8 +7S 6 Z for all =,2,,....

32 2 ZHI-WEI SUN ii We have S 96 4x 2 2 mod 2 if 2 = 5 = 7 = & = x2 +70y 2, 8x 2 2 mod 2 if 7 =, 2 = 5 = & = 2x2 +5y 2, 2 20x 2 mod 2 if 5 =, 2 = 7 = & = 5x2 +4y 2, 28x 2 2 mod 2 if 2 =, 5 = 7 = & = 7x2 +0y 2, 0 mod 2 if 70 =. Ad S We also have mod S 96 Z for all =,2,,.... iii We have S 24 4x 2 2 mod 2 if = 5 = 7 = & = x2 +85y 2, 2x 2 2 mod 2 if =, 7 = 5 = & 2 = x2 +85y 2, 2 20x 2 mod 2 if =, 5 = 7 = & = 5x2 +7y 2, 20x 2 mod 2 if =, 5 = 7 = & 2 = 5x2 +7y 2, 0 mod 2 if 85 =. Provided > we have 4+S Moreover, mod 2. 4+S 24 Z for all =,2,,....

33 iv We have S 296 4x 2 2 mod 2 OPEN CONJECTURES ON CONGRUENCES if 2 = 5 = = & = x2 +0y 2, 8x 2 2 mod 2 if 2 =, 5 = = & = 2x2 +65y 2, 2 20x 2 mod 2 if 5 =, 2 = = & = 5x2 +26y 2, 2 40x 2 mod 2 if =, 2 = 5 = & = 0x2 +y 2, 0 mod 2 if 0 =. Provided > we have S mod 2. Moreover, 0+2S 296 Z for all =,2,,.... v We have S x 2 2 mod 2 if 2 = 5 = 9 = & = x2 +90y 2, 8x 2 2 mod 2 if 2 =, 5 = 9 = & = 2x2 +95y 2, 2 20x 2 mod 2 if 9 =, 2 = 5 = & = 5x2 +8y 2, 2 40x 2 mod 2 if 5 =, 2 = 9 = & = 0x2 +9y 2, 0 mod 2 if 90 =. Ad S mod Moreover, S 5776 Z for all =,2,,.... Remar. The reader may cosult [S-2] for more cojectures of this tye. I d lie to offer $00 00 US dollars for the first correct roof of art i of Coj. A9.

34 4 ZHI-WEI SUN Cojecture A40 Discovered o Aril 5, 200. i For ay odd rime we have B mod 6 ad / ii For ay iteger >, we have Also, = 4ζ. = 4 E mod mod Cojecture A4 Discovered o Aril 5, 200. Let be a odd rime. i If, the B mod 6 ad ad /2 ii If 5, the / B mod B mod H mod 7. Remar. By [G, Idetity 8] ad [G4], we have = = 28ζ ad = π 2.

35 OPEN CONJECTURES ON CONGRUENCES 5 Cojecture A42 Discovered o Aril 6, 200. i For ay rime 2,5 we have ad / ii For ay iteger >, we have 7 2 mod mod 8. ad mod 2 2 mod 2. Remar. a B. Gourevich ad Guillera see [G, Sectio 4] cojectured ad = 2 π = π4 8 = resectively. Zudili [Zu] suggested that for ay odd rime we might have mod 7, which is weaer tha the secod cogruece i Coj. A42i. b Let a = 2 ad a = 2 a for = 2,,....

36 6 ZHI-WEI SUN The for ay Z + we have a = = The author created the sequece {a } >0 at OEIS as A76477 cf. [S]. We ot oly cojectured that a Z + for all =,2,,... but also guessed that a is odd if ad oly if = 2 for some Z +. We have a similar cojecture related to the last cogruece i Coj. A42. Cojecture A4 [Se]. i For ay rime > we have = q q 2 2 mod 6. ii Let m > be a iteger. The a m := m 2m m = m Z. Moreover, a m is odd if ad oly if m is a ower of two. Remar. The reader may cosult [S-, S-2] for more cogrueces ad idetities ivolvig similar sums. Cojecture A44 [S-]. For ay rime > 5, we have = mod 2,

37 OPEN CONJECTURES ON CONGRUENCES 7 ad =0 4x 2 2mod 2 if = = 5 = 7 =, = x2 +05y 2, 2x 2 2mod 2 if = 7 =, = 5 =, 2 = x2 +05y 2, 22x 2 mod 2 if = = 5 = 7 =, = x2 +5y 2, 2 6x 2 mod 2 if = 7 =, = 5 =, 2 = x2 +5y 2, 20x 2 2mod 2 if = 5 =, = 7 =, = 5x2 +2y 2, 0x 2 2mod 2 if = =, 5 = 7 =, 2 = 5x2 +2y 2, Also, 28x 2 2mod 2 if = 5 =, = 7 =, = 7x2 +5y 2, 4x 2 2mod 2 if = =, 5 = 7 =, 2 = 7x2 +5y 2, 0 mod 2 if 05 =. = = 90 π. Remar. The quadratic field Q 05 has class umber eight. I d lie to offer $050 for the first correct roof of all the cogrueces i Coj. A44, ad $90 for the first rigorous roof of the series for 90/π i Coj. A44. Cojecture A45 [Se]. For ay rime >, we have ad E mod 6 2 C 42 mod 2, where C 2 stads for the secod-order Catala umber /2 + = 2. Remar. A related cojecture of Rodriguez-Villegas[RV] roved by Morteso [M2] states that if > is a rime the 6 = 42 6!!2!! 24 mod 2.

38 8 ZHI-WEI SUN Usig the Goser algorithm we fid the idetity = N which imlies that mod for ay rime >. Cojecture A46 [Se]. Let > be a rime. i We have { 2/,, / mod 2 if mod, 24 / 2+/ +/ mod 2 if 2 mod. ii Whe mod ad 4 = x 2 +27y 2 with x 2 mod, we may determie x mod 2 i the followig way: iii We also have +2 x mod 2. 24,, C 2 / 24 2 / mod. Remar. a I d lie to offer $27 27 US dollars for the first correct roof of art ii of Coj. 46. b It is ow cf. [HW] that for ay rime mod with 4 = x y 2 we have 2/ / x x x mod 2. The author [S-9] showed that for ay rime > we have,, 24,, 24 9,, 26 mod 2,,, 26 mod 2. Recetly Z. H. Su [Su] cofirmed Coj. A46i modulo.

39 OPEN CONJECTURES ON CONGRUENCES 9 Cojecture A47 [Se]. Let > be a rime. If mod 4 ad = x 2 +y 2 with x mod 4 ad y 0 mod 2, the If mod 4, the x 2x mod 2, 6 x mod /2 +/4 mod 2. Cojecture A48 [Se]. Let > be a rime. The mod If mod ad = x 2 +y 2 with x mod, the x 2x mod 2, ad we may determie x mod 2 via the cogruece x mod 2. 2 If 2 mod, the mod 2. +/2 +/6 Remar. The author [S-9] roved that for ay rime > we have mod 2 48 ad mod 2. I d lie to offer $48 for the first correct roof of the first cogruece i Coj. A48.

40 40 ZHI-WEI SUN Cojecture A49 [Se]. Let > be a rime. If 7 = ad = x 2 +7y 2 with x =, the 7 If =, the x 2x mod 2, 8 x mod mod. Remar. Z. H. Su [Su2] made rogress o Cojectures by obtaiig /m mod for m = 48, 6, 72 see also Coj. B6. Cojecture A50 [Se], [S-7]. Let be a odd rime. For ay a Z + we have ad Also, a /2 = a 2 C2 64 = /2 = /2 = a a 6 E 4 mod a a 2 E mod H / B mod, H / E mod, E E mod 2, q 2 mod 2. Remar. Morteso [M2] roved the followig cojecture of Rodriguez- Villegas [RV]: For ay odd rime we have mod 2. 64

41 OPEN CONJECTURES ON CONGRUENCES 4 Cojecture A5 [Sb]. Let be a odd rime. If mod, the If mod 4, the /2 C mod 2. /2 C 64 8 mod 2. Remar. The author [b] determied C /64 modulo ay odd rime. Cojecture A52 [Se]. Let > be a rime. The for ay a Z + we have ad a,, 27 a a 2 B 2 mod a 2 C 2 27 a 2 a 2 B 2 mod 2, where C 2 = 2 + = 2 is a secod-order Catala umber of the first id. Furthermore, 2 2 C mod 4. Remar. Morteso [M2] roved the followig cojecture of Rodriguez- Villegas [RV] for rimes > : 2,, 27 = 27 mod 2.

42 42 ZHI-WEI SUN Cojecture A5 [Se]. Let > be a rime. The ad where C C 2 2 mod 2 27 C C mod, C 2 = 2 = is a secod-order Catala umber of the secod id. Hece = 2 mod 2 27 ad = mod. Remar. Note that 2 = 2 2 C C 2 ad 2 = + + Mathematica yields that 2 C 2 2 C. = π 9. C C2 Cojecture A54 [S-]. Let be a odd rime. The = 2 q 2 2 mod 2, ad = 2 { 0 mod 2 if mod 4, /5 mod 2 if mod 4.

43 Whe > we have OPEN CONJECTURES ON CONGRUENCES 4 = 2 2 q q 2 2 mod 2. Also, ad / mod 2, mod 2 +E 9 2 mod 4. Remar. Goser aouced i 974 that 25 /2 = π/2. I [ZPS] Zhao, Pa ad Su roved that = 2 0 mod for ay odd rime. Cojecture A55 [S-6]. Let be a odd rime ad let a Z +. i If a,2 mod 5, or a > ad mod 5, a 5 a mod 2. If a, mod 5, or a > ad 2 mod 5, the 2 5 a 5 a mod 2. Thus, if a mod 5 the 2 0 mod 2. 5 a << 4 5 a ii If,7 mod 0 or a > 2, the 7 0 a 2 a 6 5 mod 2.

44 44 ZHI-WEI SUN If, mod 0 or a > 2, the 9 0 a 2 a 6 5 mod 2. iii If mod or a >, the 5 6 a 2 6 a mod 2. For ay oegative iteger we have. Also, for every a =,2,, { mod 9 if, 6 4 mod 9 if. a /2 2 2a 6 a 0 mod 27 Remar. Let {F } 0 be the Fiboacci sequece give by F 0 = 0, F = ad F + = F + F =,2,,... H. Pa ad the author [PS] roved that if 2,5 is a rime ad a is a ositive iteger the 2 a 2F 5 a a 5 mod, a which is Cojecture. of [ST]. The author [S-6] roved that for ay rime 2,5 ad a Z + we have a /2 2 a 6 5 He [S-6] also showed that a /2 rime ad a Z +. + F a a mod. /6 a mod 2 for ay odd Cojecture A56 [Se]. Let > be a rime. If 7 mod 2 ad = x 2 +y 2 with y mod 4, the /4 4y y mod 2

45 ad OPEN CONJECTURES ON CONGRUENCES 45 If mod 2, the /4 y mod mod 2. Recall that the Pell sequece {P } 0 ad its comaio {Q } 0 are defied as follows: P 0 = 0, P =, ad P + = 2P +P =,2,,...; Q 0 = 2, Q = 2, ad Q + = 2Q +Q =,2,,... Cojecture A57 [S-4]. i Let be a rime with, mod 8. Write = x 2 +2y 2 with x,y Z ad x, mod 8. The Also, P 8 2 { 2 0 mod 2 if mod 8, /8 /2x 2x mod 2 if mod 8. P x+/2 x+ 2 2x ii If 7 mod 8 is a rime, the P mod 2. mod 2. Cojecture A58 [S-4]. Let be a odd rime. i If mod 8 ad = x 2 +2y 2 with y, mod, the P y /2 2y 4y mod 2. ii Suose that, mod 8, = x 2 +2y 2 with x, mod 8 ad also y, mod 8 whe mod 8. The P { /8 /4x x/2 mod 2 if mod 8, y+/2 y mod 2 if mod 8.

46 46 ZHI-WEI SUN Cojecture A59 [S-4]. Let be a rime with, mod 8. Write = x 2 +2y 2 with x,y Z ad x, mod 8. The we have Q x /2 4x x mod 2 ad Q 8 2 { 2 0 mod 2 if mod 8, /8 2x+/x mod 2 if mod 8. Cojecture A60 [S-4]. Let be a odd rime. i Whe mod 8 ad = x 2 + 2y 2 with x,y Z ad x, mod 8, we have Q /8 4x x mod 2. ii If, mod 8 ad = x 2 +2y 2 with x, mod 8 ad also y, mod 8 whe mod 8, the 2 2 { /8 2 Q /x 2x mod 2 if mod 8, y+/2 2y mod 2 if mod 8. Cojecture A6 [S-4]. Let > be a rime. If 7 mod 2 ad = x 2 +y 2 with y mod 4, the ad u 4, 4 u 4, /4 4y y 2 2 /4 6y 7 y mod 2 mod 2. If mod 2, the u 4, mod 2

47 OPEN CONJECTURES ON CONGRUENCES 47 Cojecture A62 [S-4]. Let > be a rime. If 7 mod 2 ad = x 2 +y 2 with y mod 4, the u 4, y 6y mod 2 ad u 4, y mod 2. Cojecture A6 [S-4]. Let be a odd rime. i If mod 2 ad = x 2 +y 2 with x mod, the v 4, /4+x /2 4x x mod 2 ad also ad v 4, 4 v 4, 64 v 4, x /2 4x x mod 2 ; 2 2 /4+x+/2 4x 2 x 2 2 x /2 2x x mod 2 mod 2. ii If 7 mod 2 ad = x 2 +y 2 with y mod 4, the v 4, /4 2y y mod 2, ad v 4, /4 20y 8 y v 4, y mod 2. mod 2

48 48 ZHI-WEI SUN iii If mod 2, the 2 v 4, mod 2. Remar. Recetly Z. H. Su [Su2] cofirmed the first cogrueces i Cojectures modulo, ad the first ad the secod cogrueces i Coj. A6i ad the first cogruece i Coj. A6ii modulo. See also Coj. B2 for his rogress o some of the author s cojectured cogrueces. Recall Aéry umbers are those itegers A = N which lay a cetral role i Aéry s roof of the irratioality of ζ = = /. We also defie Aéry olyomials by A x = Note that A = A x = 0,,2,... Cojecture A64. i [Sj] Let be a odd rime. The A { 4x 2 2 mod 2 if, mod 8 ad = x 2 +2y 2 x,y Z, 0 mod 2 if 5,7 mod 8; ad A { 4x 2 2 mod 2 if mod ad = x 2 +y 2 x,y Z, 0 mod 2 if 2 mod. ii [Sj] Let > be a rime. If mod, the A 2 6 mod.

49 If, mod 8, the OPEN CONJECTURES ON CONGRUENCES 49 A 4,,, mod. 256 iii [Sj] Let > be a rime. If x belogs to the set {, 4, 9, 48, 8, 24, 240, 980, 25920, , } { 8 256, 9 6, 8 } 2, ad x 0 mod, the we must have A x x 4,,, 256x mod 2. Remar. Let be a odd rime. I [Sj] the author roved that ad that A x A x 2 6 x mod 2, x 4,,, 256x mod for ay -adic iteger x 0 mod. Thus the two cogrueces i Coj. A64i hold modulo ad also A 0 mod 2 if 2mod. Forthosex = 4,9, 48,8, 24,240,980, 25920, , , 8/256, the author had cojectures o 4,,, /256x mod 2 see A, A-9, A2, A24, A25, A28. Motivated by this, Z. H. Su [Su] guessed 4,,, /256x mod 2 for x = 9 Cojecture A65. [Sj] For ay rime > we have 2 +A H mod 6, 6, 8 2, A +4 4 H B 5 mod 9

50 50 ZHI-WEI SUN ad 2 + A mod. Remar. The author [Sj] roved that 2 + A x for all Z + ad x Z ad that 2 + A B mod 5 for ay rime >. Motivated by the author s wor i [Sj], Guo ad Zeg [GZ] roved that 2 + A for all Z + ad 2 + A mod 6 for ay rime >. Those itegers D = + = + 2 N 2 are called cetral Delaoy umbers; they arise aturally i may eumeratio roblems i combiatorics. Cojecture A66 [Sf]. Let > be a rime. The Also, = D q 2+q 2 2 mod 2. = D S 2H /2 + 4 B 2 = + mod 4 ad /2 = where { 4x 2 mod if mod 4 & = x 2 +y 2 2 x, D S 0 mod if mod 4, S = + C = 2 is the th Schröder umber. + + Remar. For ay rime >, the author [Sf], [Sj] roved that D 2 E mod, = D 2 2 E mod,

51 OPEN CONJECTURES ON CONGRUENCES 5 ad that = D q 2 mod, = D 2 2 2q 2 2 mod. Just lie A x = 2 + 2x we defie D x = + x. Actually D x /2 coicides with the Legedre olyomial P x of degree. Cojecture A67 [Sj]. i For ay Z the umbers ad s = 2 + A 2 4 t = 2 + D 2 4 are ratioal umbers with deomiators 2 2ν 2! ad 2 +ν 2! ν 2 resectively. Moreover, the umerators of s, s, s5,... are cogruet to modulo 2 ad the umerators of s2,s4,s6,... are cogruet to 7 modulo 2. If is a odd rime ad a Z +, the For = ad a Z + we have s a t a mod. s a 4 mod 2 ad t a 8 mod 5. ii Let be a rime. For ay ositive iteger ad -adic iteger x, we have ν 2+ A x mi{ν,ν 4x } ad ν 2+ D x mi{ν,ν 4x+}.

52 52 ZHI-WEI SUN Cojecture A68 [S]. If is a odd rime ad x 0, mod is a iteger, the 4x+ 2+ D x mod 2, ad 2+D x 4 mod 2. Cojecture A69 [Sf]. Let > be a rime. i We have D = D 2 D 4 2 D 8 { 4x2 2 mod 2 if mod & = x 2 +y 2 x,y Z, 0 mod 2 if 2 mod. Also, ii We have D 2 4x 2 2 mod 2 if,7 mod 24 ad = x 2 +6y 2, 8x 2 2 mod 2 if 5, mod 24 ad = 2x 2 +y 2, 0 mod 2 if 6 =. 5 D = D 4 D 6 4x 2 2 mod 2 if,4 mod 5 ad = x 2 +5y 2, 2x 2 2 mod 2 if 2,8 mod 5 ad = x 2 +5y 2, 0 mod 2 if 5 =. Remar. It is easy to show that D x = D x.

53 OPEN CONJECTURES ON CONGRUENCES 5 Recall that T := [x ]+x+x 2 = /2 2 2 is called a cetral triomial coefficiet. Ad those umbers M = /2 C = 0,,2,... 2 are called Motzi umbers. H. Q. Cao ad the author [CS] showed that T mod 2 for ay rime >. Cojecture A70 [S]. For ay rime >, we have M mod 2, M 2 9 mod 2, T M T H mod 2, mod 2. Remar. The author [S] roved that odd rime. For b,c Z ad N we defie T b,c := [x ]x 2 +bx+c = T2 /2 2 2 mod for ay b 2 c ad M b,c := /2 C b 2 c. 2

54 54 ZHI-WEI SUN Cojecture A7. i [S] Let b ad c be itegers. For ay Z + we have T b,cm b,cb 2 4c 0 mod. If is a odd rime ot dividig cb 2 4c, the T b,cm b,c b2 b 2 4c 2c b 2 4c ii [S] Let > be a rime. The mod 2. T,M, { 2 2 mod if mod, 2 mod 4 if 2 mod. Remar. The author [S] roved that if is a odd rime ot dividig cb 2 4c the ad P T b,c 2 H b 2c + T b,cm b,c b 2 4c 0 mod b 2 4c + b 2c b 2 4c mod. He also showed that if is a odd rime ot dividig cb 2 4c 2 the T b,c 2 M b,c 2 b 2c 2 4b b+2c b 2 4c 2 mod. Cojecture A72 [S]. Let b,c Z. For ay Z + we have 8c+4c+bT b,c 2 2 b 2c 2 0 mod. If is a odd rime ot dividig bb 2c, the 8c +4c+b T b,c 2 2 b 2 4c 2 b+2c b 2c 2 mod 2.

55 OPEN CONJECTURES ON CONGRUENCES 55 Remar. The author [S] showed that 2+T = + for all =,2,,... ad that if > is a rime the 2 + T mod. 2 He also roved that for ay b,c Z ad odd rime b 2c we have T b,c 2 2 b 2c 2 c 2 mod. The author cf. [S] added the sequece 8 +5T 2 =,2,,... as A7900 at Sloae s OEIS. Cojecture A7 [S]. Let be a odd rime. We have If >, the T 2, { 4 0 mod if mod 4, 8 0 mod 2 if mod 4. T 4, 2 T 4, mod 2. Remar. The author [S] roved that for ay rime > we have T 2, 2 8 T 6, E mod, mod 2, T 2, 2 mod 2. 6

56 56 ZHI-WEI SUN Cojecture A74 [S]. Let > be a rime. The Ad T 2, 8 T 2,9 64 T 2, 64 T 2,9 52 4x 2 2 mod 2 if,7 mod 24 ad = x 2 +6y 2, 2 8x 2 mod 2 if 5, mod 24 ad = 2x 2 +y 2, 0 mod 2 if 6 =. +2 T 2, 8 + T 2, 64 Whe 6 = we have ad Also, ad 2 mod. mod 2, T 2, mod T 2, mod 2. +2T 2, 8 0 mod 2 +T 2, 64 0 mod for every ositive iteger. Cojecture A75 [S]. Let > be a rime. The 2 T 8,49 T 8, { 4x 2 2 mod 2 if mod 4 & = x 2 +y 2 2 x, 2 y, 0 mod 2 if mod 4.

57 OPEN CONJECTURES ON CONGRUENCES 57 Ad T 0,49 6 T 0, { 4x 2 2 mod 2 if, mod 8 & = x 2 +2y 2 x,y Z, 0 mod 2 if 2 =, i.e., 5,7 mod 8. Also, 7 +4 T 0, T 0, For each =,2,,... we have mod 2, mod T 0,49 8 mod 4 ad 7+T 0,49 2 mod. Cojecture A76 [S-0]. Let > be a rime. The /2 /2 /2 / T + 6 T 24, mod 2, C 6 T 24, T 2,4 2 6 T 28, mod 2. mod 2, mod 2, mod 2, Remar. The first cogruece modulo was roved by the author [S-0].

58 58 ZHI-WEI SUN Cojecture A77 [S-0]. Let > be a rime. The / T 22, 6 T 24, { 2x 2x mod 2 if mod & = x 2 +y 2 x, 0 mod if 2 mod. Also, /2 ad /2 2 { xy/2 4 T 2x mod if = x 2 +y 2 x, 2, 0 mod if 2 mod ; 2 6 T 24, /4 x/6 2x mod if mod 2 & = x 2 +y 2 4 x, y/2 xy 2y mod if 5 mod 2 & = x2 +y 2 4 x, 0 mod if mod 4. Cojecture A78 [S-2]. Let > be a rime. The 2 2 T 4x 2 2 mod 2 if,4 mod 5 & = x 2 +5y 2 x,y Z, 22x 2 mod 2 if 2,8 mod 5 & = x 2 +5y 2 x,y Z, 0 mod 2 if =, i.e., 7,,,4 mod 5. 5 Ad T Also, we have mod. a := T Z + for all =,2,,.... Remar. Let > 5 be a rime. By the theory of biary quadratic forms cf. [C], if,4 mod 5 the = x 2 + 5y 2 for some x,y Z; if 2,8 mod 5 the = 5x 2 + y 2 for some x,y Z. Note also that a =, a 2 = 2, a = 224, a 4 = 747, a 5 = 6754.

59 OPEN CONJECTURES ON CONGRUENCES 59 Cojecture A79 [S-0]. i Let be a odd rime. The 2 2T,6 256 { 4x2 2 mod 2 if 7 = ad = x2 +7y 2 x,y Z, 0 mod 2 if 7 =,i.e.,,5,6 mod 7. Also, 2 2T, For every = 2,,4,... we have T, mod 2. mod 2. ii Let > be a rime. The 2 T 27 { 4x2 2 mod 2 if 7 = & = x2 +7y 2, 0 mod 2 if 7 =. If =, the T mod 2. Cojecture A80 [S-0]. i Let be a odd rime. The 2 + 2T, mod 2. If mod 4 ad = x 2 +y 2 with x odd ad y eve, the 2 2T, 2 2 /4 4x 2 2 mod 2. Also, for ay = 2,,... we have T, 22 0 mod 2.

60 60 ZHI-WEI SUN ii Let > be a rime. The,, T 8, mod 2. If mod ad = x 2 +y 2 with x,y Z, the,, T 8,6 4x 2 2 mod For ay = 2,,... we have 5 +2 T 8,6972 0,, mod Remar. The author [S-0] roved that 2 2T, 2/2 0 mod 2 for ay rime mod 4, ad,, T 8,6/972 0 mod 2 for ay odd rime 2 mod. Cojecture A8 [S-0]. Let be a odd rime. The 2 2T2 0, T 2, { 4x 2 2 mod 2 if, mod 8 & = x 2 +2y 2 x,y Z, 0 mod 2 if 2 =, i.e., 5,7 mod 8. Ad, ad Also, T 2, 8 + mod 2 2T2 0, 256 mod T 2, 8 0 for all Z +, ad T 20,256 0 for all = 2,,... 2 mod 2 mod 6

61 OPEN CONJECTURES ON CONGRUENCES 6 Cojecture A82 [S-0]. Let > be a rime. The 2 2T 4, 2 2T 2 2T ,4 44 { 4x 2 2 mod 2 if mod & = x 2 +y 2, 0 mod 2 if 2 mod. Also, 2 2T 4, mod 2, ad If mod, the 2T2 5,4 44 mod T mod 2. For all = 2,,... we have ad T 4, T 25, mod 2 mod 2. Cojecture A8 [S-0]. Let > be a rime. The 2 2T 0, 2 2T2 6, 2 2T2 6, x 2 2 mod 2 if,7 mod 24 & = x 2 +6y 2 x,y Z, 8x 2 2 mod 2 if 5, mod 24 & = 2x 2 +y 2 x,y Z, 0 mod 2 if 6 =, i.e.,,7,9,2 mod 24;

62 62 ZHI-WEI SUN Also, + 2 2T 0, mod 2 ad T 0, mod 2 for all = 2,,... If 6 =, the T2 6, mod 2 ad T2 6, mod 2. Cojecture A84 [S-0]. Let 2,5 be a rime. i We have 2 2T2 8, 2 2 4x 2 2 mod 2 if,9,,9 mod 40 & = x 2 +0y 2 x,y Z, 8x 2 2 mod 2 if 7,,2,7 mod 40 & = 2x 2 +5y 2 x,y Z, 0 mod 2 if 0 = i.e.,,7,2,27,29,,,9 mod 40. If 0 =, the ii Suose. The we have 2 2T2, 2T2 8, mod x 2 2 mod 2 if,4 mod 5 & = x 2 +5y 2 x,y Z, 2 20x 2 mod 2 if 2,8 mod 5 & = 5x 2 +y 2 x,y Z, 0 mod 2 if 5 =.

63 OPEN CONJECTURES ON CONGRUENCES 6 Also, T2, mod 2 ad T 2, mod for all = 2,,... iii We have,, T 2, x 2 2 mod 2 if,9 mod 20 & = x 2 +5y 2 x,y Z, 2x 2 2 mod 2 if,7 mod 20 & 2 = x 2 +5y 2 x,y Z, Ad 0 mod 2 if 5 =, i.e.,,,7,9 mod ,, T 2, mod 2. Also, for ay = 2,,... we have 0+ T 2, 64 0,, mod Cojecture A85 [S-0]. Let > be a rime. i We have { 6,, T 4, x2 2 mod 2 if 4 & = x 2 +y 2 4 x & 2 y, 0 mod 2 if mod 4. Ad 9+2,, T 4, mod 2.

64 64 ZHI-WEI SUN Also, for ay = 2,,... we have 9+2 T 4, ,, mod ii We have,, T 2, 728 x/6 4x 2 2 mod 2 if 2 & = x 2 +y 2 4 x & 2 y, xy 4xy mod 2 if 2 5 & = x 2 +y 2 4 x & 2 y, 0 mod 2 if mod 4. Ad 6 +,, T 2, mod 2. Also, for ay = 2,,... we have 6+ T 2, 728 0,, mod Cojecture A86 Parts i-ii ad iii-iv were discovered o August 6 ad Jue 8, 20 resectively. i For ay rime > we have T 2702, x 2 2 mod 2 2 2x 2 mod 2 ad also if = = =, = x2 +y 2, if =, = =, 2 = x2 +y 2, 2x 2 2 mod 2 if =, = =, = x2 +y 2, 2 6x 2 mod 2 if =, = =, 2 = x2 +y 2, 0 mod 2 if =, T 2702, mod 2.

65 OPEN CONJECTURES ON CONGRUENCES 65 ii Let > be a rime with 7. The T 5598, x 2 2 mod 2 2 2x 2 mod 2 ad also if = = 9 =, = x2 +57y 2, if =, = 9 =, 2 = x2 +57y 2, 2x 2 2 mod 2 if =, = 9 =, = x2 +9y 2, 2 6x 2 mod 2 if =, 9 = =, 2 = x2 +9y 2, 0 mod 2 if 57 =, T 5598, iii Let > be a rime. The =0 x 2 2 mod 2 if = 7 = & 4 = x2 +5y 2 x,y Z, x 2 2 mod 2 if = 7 = & 4 = x2 +7y 2 x,y Z, 0 mod 2 if 5 =, ad also =0 =0 iv Let > 5 be a rime. The mod 2. x 2 2 mod 2 if 2 = = & = x2 +22y 2 x,y Z, 8x 2 2 mod 2 if 2 = = & = 2x2 +y 2 x,y Z, ad also =0 0 mod 2 if 22 =, mod 2. Remar. Therearemaysimilarcogrueces. ThequadraticfieldsQ ad Q 57 have class umber four. mod 2.

66 66 ZHI-WEI SUN Cojecture A87 [S-]. For ay ositive iteger, we have Cojecture A88 [Sh]. Let ad l be ositive itegers. If l+ +l for all sufficietly large ositive itegers, the each rime factor of divides l. I other words, if has a rime factor ot dividig l the there are ifiitely may ositive itegers such that l+ +l. Remar. The author [Sh] oted that if ad l are ositive itegers the 0 mod l+/,l+ for all Z +. +l Cojecture A89 [Sg]. For = 0,,2,... set 6 s = The, for ay rime > we have { s 0 mod if ± mod 2, 08 mod if ±5 mod 2. = Also, there are ositive itegers t,t 2,t,... such that s x t x 2 = cos2 arccos6 x 2 = for all real x with x /6. Moreover, t 2 mod for ay rime. Remar. The author [Sg] showed that s Z for all =,2,,... Usig Mathematica the author foud that s x = si2 arcsi6 x 8 0 < x < x 08 ad i articular s 08 = 8. Recall that the Fiboacci sequece {F } 0 ad the Lucas sequece {L } 0 are defied by ad F 0 = 0, F =, ad F + = F +F =,2,,..., L 0 = 2, L =, ad L + = L +L =,2,,...

67 OPEN CONJECTURES ON CONGRUENCES 67 Cojecture A90 Discovered o Oct. 27, 200. Let 2,5 be a rime ad set q := F 5 /. The /2 /2 = = 2 F L q q2 5 2 q 5 4 q2 mod 2, F /2 5 2 L /2 mod 2, 2 q q2 5 2 q q2 mod 2, mod 2. Remar. The cojecture was motivated by the followig ew idetities observed by the author o Oct. 27, 200: F 2 2 = 4π , = 2 F = 2π 5 5, L 2 2 = π2 2 5, = 2 L = 2π 5. I fact, they ca be obtaied by uttig x = 5±/2 i the idetities arcsi x 2 = x 2 2+ ad = x Cojecture A9 [S-5]. For ay Z + we have / = 2arcsi 2 x 2. 6 mod 25 if 0 mod 5, 2 4 mod 25 if mod 5, F 2+ mod 25 if 2,4 mod 5, 9 mod 25 if mod 5. Also, if a,b Z + ad a b the the sum 5 a 2 F 5 2a 2+

68 68 ZHI-WEI SUN modulo 5 b oly deeds o b. Remar. I [S-5] the author roved that if 2,5 is a rime the 2 F 2 /5 mod 5 2 ad 2 F 2+ /5 5 mod 2. Recall that the usual q-aalogue of N is give by [] q = q q = 0 < which teds to as q. For ay, N with, [ ] 0<r = [r] q q 0<s [s] q 0<t [t] q is a atural extesio of the usual biomial coefficiet. A q-aalogue of Fiboacci umbers itroduced by I. Schur [Sc] is defied as follows: F 0 q = 0, F q =, ad F + q = F q+q F q =,2,,... Cojecture A92 [S-5]. Let a ad m be ositive itegers. The, i the rig Z[q], we have the followig cogruece 5 a m q 2+ [ 2 ] q F 2+ q 0 mod [5 a ] 2 q. q Cojecture A9 [S-5]. For ay Z + we have mod 9 if 0,2 mod 9, 2 u + 4, 4 mod 9 if 5,6 mod 9, 2 mod 9 otherwise. Also, if a,b Z + ad a b the the sum a 2 u 2a + 4,

69 modulo b oly deeds o b. OPEN CONJECTURES ON CONGRUENCES 69 Remar. I [S-5] the author roved that if > is a rime the 2 u 4, 2 mod 2 ad 2 u + 4, mod 2. Cojecture A94 [S-7, S-8]. For N set H 2 > is a rime, the = = = = 2 = 0<j /j2. If H2 2H B 5 mod, 2 2 H 2 6 H B 5 mod, 2 2 H 8 9 H B 5 mod, 2 4 H2 2 H B 5 mod. Remar. Mathematica 7 yields that Also, 2 H 2 2 = π = ad 2 4 H2 = ζ ad 2 = H 2 2 = 2π = 4 H 2 2 = π Cojecture A95 [Se]. Let be a odd rime ad let h Z with 2h 0 mod. If a Z + ad a >, the a h a 2 Also, for ay Z + we have h ν = h 2 0 mod a+. 2 h 2 ν.

70 70 ZHI-WEI SUN Cojecture A96 [Se]. Let m Z with m mod. The ν 2 mi{ν,ν m } m for every Z +. Furthermore, a a a 2 m m mod ν m for each iteger a > ν m. Also, a a 2 2a mod 2a for every a = 2,,.... Cojecture A97 [Sa]. For ay odd rime ad ositive iteger we have 2 ν ν.,..., Remar. The author [Sa] roved that a iteger > is a rime if ad oly if 0 mod.,..., He also showed that if Z + is a multile of a rime the 0 mod.,..., Cojecture A98 [S-]. Let m 2 ad r be itegers. Ad let > r be a odd rime ot dividig m. i If m > 2, m r mod 2, ad r mod m with r m/2, the m r/m m 0 mod. ii If r mod 2m with r m, the 2+ r/m 0 mod 2 for all =,...,m.