arxiv: v5 [math.nt] 22 Aug 2013

Transcription

1 Prerint, arxiv: ON SOME DETERMINANTS WITH LEGENDRE SYMBOL ENTRIES arxiv: v5 [mathnt] Aug 013 Zhi-Wei Sun Deartment of Mathematics, Nanjing University Nanjing 10093, Peole s Reublic of China zwsun@njueducn htt://mathnjueducn/ zwsun Abstract In this aer we mainly focus on some determinants with Legendre symbol entries For an odd rime and an integer d, let S(d, ) denote the determinant of the ( 1)/ ( 1)/ matrix whose (i,j)-entry (1 i,j ( 1)/) is the Legendre symbol ( i +dj ) We investigate roerties of S(d, ) as well as some other determinants involving Legendre symbols In Section 3 we ose 17 oen conjectures on determinants one of which states that ( S(d,) ) 1 if ( d ) 1, and S(d,) 0 if (d ) 1 This material might interest some readers and stimulate further research 1 Introduction For an n n matrix A (a ij ) 1 i,j n over the field of comlex numbers, we often write deta in the form a ij 1 i,j n In this aer we study determinants with Legendre symbol entries Let be an odd rime and let ( ) be the Legendre symbol The circulant determinant ( ) j i 0 i,j 1 ( 0 ) (1 ) ( ) ( 1 ( 1 ) (0 ) (1 ) ( ) ) ( 1 ) ( ) (3 ) (0 ) takes the value 1 1 r0 k0 ( ) k ( e πir/) k Mathematics Subject Classification Primary 11C0; Secondary 15A15, 11A07, 11R11 Keywords Legendre symbols; determinants, congruences modulo rimes, quadratic fields c Coyright is owned by the author Zhi-Wei Sun The material on the author s homeage has been linked to the well-known Number Theory Web since August 9, 013 1

2 ZHI-WEI SUN since 1 k0 (k ) 0 (See [K99, (41)] for the evaluation of a general circulant determinant) For the matrix A (a ij ) 1 i,j 1 with a ij ( i j ), L Carlitz [C59, Theorem 4] roved that its characteristic olynomial is xi 1 A ( x ( ) ) ( 3)/ ( 1 x ( )) 1, where I 1 is the ( 1) ( 1) identity matrix Putting x 0 in Carlitz s formula, we obtain that ( 1) 1 A ( ( )) ( 1)/ 1 ( 3)/ ( 3)/ For m Z let {m} denote the least nonnegative residue of an integer m modulo For any integer a 0 (mod ), {aj} (j 1,, 1) is a ermutation of 1,, 1, and its sign is the Legendre symbol ( a ) by Zolotarev stheorem (cf [DH]and[Z])Therefore, for any integer d 0 (mod) we have ( ) ( )( ) i+dj d i j 0 (11) and ( ) i+dj 1 i,j 1 0 i,j 1 ( d )( ) i j 1 i,j 1 0 i,j 1 ( ) d ( 3)/ (1) Let be an odd rime In 004, R Chaman [Ch04] used quadratic Gauss sums to determine the values of ( ) ( ) i+j 1 and i+j 1 1 i,j ( 1)/ 1 i,j (+1)/ Since (+1)/ i+(+1)/ j 1 (i+j) (mod ), we see that ( ) ( )( ) i+j 1 1 i+j 1 i,j ( 1)/ 1 i,j ( 1)/ and ( ) i+j 1 1 i,j (+1)/ ( ) i+j 0 i,j ( 1)/ Chaman [Ch1] also conjectured that ( ) { j i r if 1 (mod 4), 1 if 3 (mod 4), 0 i,j ( 1)/ (13)

3 ON SOME DETERMINANTS WITH LEGENDRE SYMBOL ENTRIES 3 where ε ( ( ))h() r +s with r,s Z (Throughout this aer, ε and h() stand for the fundamental unit and the class number of the real quadratic field Q( ) resectively) As Chaman could not solve this roblem for several years, he called the determinant evil (cf [Ch1]) Chaman s conjecture on his evil determinant was recently confirmed by M Vsemirnov [V1, V13] via matrix decomosition Let 1 (mod 4) be a rime In an unublic manuscrit written in 003 Chaman [Ch03] conjectured that s ( )( j i ) (14) 1 i,j ( 1)/ Note that (13) and (14) together yield an interesting identity ( )( ) ( ) ε ( ( ))h() j i j i 1 i,j ( 1)/ 0 i,j ( 1)/ Taking the norm with resect to the field extension Q( )/Q, we are led to the identity ( ) j i 0 i,j ( 1)/ ( ) j i 1 i,j ( 1)/ ( 1) h() since N(ε ) 1 (cf Theorem 3 of [Co6, 185]) This rovides an exlicit solution to the diohantine equation x y ( 1) h() Now we state our first theorem Theorem 11 Let be an odd rime For d Z define ( ) R(d,) : i+dj (15) 0 i,j ( 1)/ If 1 (mod 4), then R(d,) (( ) ) ( 1)/4 d 1 d! (mod ) (16) When 3 (mod 4), we have { ( R(d,) ) (mod ) if (d ) 1, 1 (mod ) if ( d ) 1 (17) Also, R( d,) ( ) R(d,) (mod ), (18)

4 4 ZHI-WEI SUN and ( ) i+dj +c 0 i,j ( 1)/ R(d,) (mod ) for all c Z (19) Remark 11 Let be any odd rime By Wilson s theorem, ( ) { 1 1 (mod ) if 1 (mod 4),! 1 (mod ) if 3 (mod 4) (110) Corollary 11 Let 1 (mod 4) be a rime, and write ε h() a + b with a,b Q, where ε and h() are the fundamental unit and the class number of the real quadratic field Q( ) Then we have Proof By (16) we have a 1! (mod ) and h() 1 (mod ) (111) R(1,) 1! (mod ) On the other hand, Chaman [Ch04, Corollary 3] roved that ( ) ( ) i+j i+j 1 0 i,j ( 1)/ 1 i,j (+1)/ ( ) ( 1)/ a So we have the first congruence in (111) Taking norms (with resect to the field extension Q( )/Q) of both sides of the identity ε h() a + b, we obtain N(ε) h() a b Since a ( ) 1! 1 (mod ), we must have N(ε) 1 and h() This roves the second congruence in (111) It is well known that for any odd rime the ( 1)/ squares ( 1 1,,, give all the ( 1)/ quadratic residues modulo So we think that it s natural to consider some Legendre symbol determinants involving binary quadratic forms )

5 ON SOME DETERMINANTS WITH LEGENDRE SYMBOL ENTRIES 5 Theorem 1 Let be any odd rime For d Z define ( ) S(d,) : i +dj and 1 i,j ( 1)/ (11) ( ) T(d,) : i +dj (113) 0 i,j ( 1)/ (i) For any c Z with c, we have ( ) (+1)/ c S(c d,) S(d,) and T(c d,) If 1 (mod 4), then ( S( d,) ) S(d,) and T( d,) ( ) (+1)/ c T(d,) (114) ( ) T(d,) (115) When 3 (mod 4), we have ( ) d 1 S(d,) 0 (116) Also, (ii) We have and ( ) i +dj +c and ( ) T(d,) T( d,) 0 i,j ( 1)/ { ( ) if (d ) 1, 1 if ( d ) 1 (117) ( ) T(d,) (mod ) (118) T(d,) (mod ) for all c Z (119) Examle 11 Note that S(1,11) S(,13) Now we resent our third theorem

6 6 ZHI-WEI SUN Theorem 13 (i) For any odd rime, we have ( i+j ) i+j 1 i,j ( 1)/ { ( ) (mod ) if 1 (mod 4), (( 1)/)! (mod ) if 3 (mod 4) (10) (ii) Let 3 (mod 4) be a rime Then 1 i +j 1 i,j ( 1)/ ( ) (mod ) (11) We are going to rove Theorems in the next section, and ose over ten new conjectures on determinants in Section 3 Proof of Theorems Lemma 1 ([K05, Lemma 9]) Let P(z) n 1 k0 a kz k be a olynomial with comlex number coefficients Then we have P(x i +y j ) 1 i,j n a n n 1 n 1 k0 ( ) n 1 k 1 i<j n (x i x j )(y j y i ) (1) Proof of Theorem 11 Set n ( 1)/ For any c Z, we have ( ) i+dj +c In light of Lemma, 0 i,j ( 1)/ (i+dj +c) n 0 i,j n (mod ) (i+dj +c) n 0 i,j n (i+dj +c d 1) n 1 i,j n+1 n ( ) n (i j)(dj +c d 1 (di+c d 1)) k k0 1 i<j n+1 (n!) n+1 n k0 k!(n k)!( d)n(n+1)/ Therefore (19) holds, and also R(d,) ( d) ( 1)/8 1 i<j n+1 (j i) ( d) n(n+1)/ (n!) n+1 ( ) (+1)/ 1! (mod ) ()

7 ON SOME DETERMINANTS WITH LEGENDRE SYMBOL ENTRIES 7 In the case 1 (mod 4), from () we obtain ( ( 1)/4 (+1)/ 1 1 R(d,) ( d)!! ( ) ( 1)/4 1 d (+1)/! In the case 3 (mod 4), () yields (( d ) ( 1)/4 ( ) (+1)/4 1 R(d,) ( d) ( 1)/ (+1)/4! ) ) ( 1)/4 1 d! (mod ) ( ) (+1)/4 d (mod ) and hence (17) follows Now it remains to show (18) If 1 (mod 4), then by (16) R( d,) (( ) ) ( 1)/4 d 1 ( d)! ( ) R(d,) (mod ) If 3 (mod 4), then ( d ) (d ) and hence we get (18) from (17) The roof of Theorem 11 is now comlete Lemma Let 1 (mod 4) be a rime Then Proof Since ( ) (( 1)/)! ( 4) ( 1)/4 ( 1) ( 1)/4 ( 1)/ for some x Z we have ( ) (3) ( ) ( 1)/ 1 (mod ), ( ) 1 x 4 4 4! (mod ), ie, x ± 1! (mod ) Therefore (3) holds Proof of Theorem 1(i) Let c Z with c For each j 1,,( 1)/ let σ c (j) be the unique r {1,,( 1)/} such that cj r or r (mod ) By a result of H Pan [P06], the sign of the ermutation σ c equals ( c )(+1)/ Thus ( ) S(c d,) i +dσ c (j) 1 i,j ( 1)/ ( ) (+1)/ c S(d,)

8 8 ZHI-WEI SUN Similarly the second equality in (114) also holds Now we handle the case 1 (mod 4) As (( 1)/)! 1 (mod ), by alying (114) with c (( 1)/)! and using (3) we immediately get (115) Below we assume that 3 (mod 4) As the transose of S( 1,) equals ( 1 )( 1)/ S( 1,) S( 1,), we have S( 1,) 0 If ( d ) 1, then d c (mod ) for some integer c 0 (mod ), and hence ( ) (+1)/ c S(d,) S( c,) S( 1,) 0 This roves (116) So far we have roved the first art of Theorem 1 Proof of Theorem 1(ii) Set n ( 1)/ For any c Z, we have ( ) i +dj +c (i +dj +c) n 0 i,j n (mod ) In light of Lemma, 0 i,j ( 1)/ (i +dj +c) n 0 i,j n ((i 1) +d(j 1) +c) n 1 i,j n+1 n ( ) n ((i 1) (j 1) )(d(j 1) +c d(i 1) c) k k0 1 i<j n+1 (n!) n+1 n (j i) (j +i) k0 k!(n k)!( d)n(n+1)/ 0 i<j n ( d) n(n+1)/ (n!) n+1 (i+j) 0 i<j n Therefore (119) holds, and also ( ) (+1)/ T(d,) ( d) ( 1)/8 1! R(d, ) 0 i<j ( 1)/ 0 i<j ( 1)/ (i+j) (mod ) (i+j) with the hel of () Combining this with (18) we obtain (118) Note that ( ) ( ) T(d,) R(d,) If ( d ) 1, then by Theorem 11 we have { d ( 1)/4 (( 1)/)! (mod ) if 1 (mod 4), R(d,) ( ) (mod ) if 3 (mod 4),

9 ON SOME DETERMINANTS WITH LEGENDRE SYMBOL ENTRIES 9 and hence ( R(d,) ) ( ) with the hel if Lemma In the case (d ) 1, by Theorem 11 we have { ( d) ( 1)/4 (( 1)/)! (mod ) if 1 (mod 4), R(d,) 1 (mod ) if 3 (mod 4), and hence ( R(d,) ) 1 with the hel if Lemma Therefore (117) also holds We are done Lemma 3 Let be any odd rime For any d Z with ( d ) 1, we have the new congruence ( 1)/ x1 (x d) ( 1) (+1)/ (mod ) (4) Proof For any integer a, it is well known that ( ) a a ( 1)/ 1 (mod ) 1 Therefore and hence ( 1)/ x1 ( 1)/ x1 a x (mod ) for some x 1,, 1 (z x ) z ( 1)/ 1 (mod ) (y +d x ) (y +d) ( 1)/ 1 (mod ) (5) Comaring the constant terms of both sides of the congruence (5), we obtain ( 1)/ x1 and hence (4 follows (d x ) d ( 1)/ 1 (mod ) Remark 1 Under the condition of Lemma 3, we could also rove the following congruences ( 1)/ x1 1 x d 1 4d (mod ) and ( 1)/ x1 1 (x d) 5 16d (mod ) (6)

10 10 ZHI-WEI SUN by comaring coefficients of y and y in the congruence (5) Proof of Theorem 13 (i) Set n ( 1)/ Clearly By Lemma 1, ( i+j ) i+j (i+j) n 1 1 i,j n 1 i,j ( 1)/ (i+j) n 1 1 i,j n n 1 k0 ( ) n 1 k 1 i<j n (mod ) (i j)(j i) (n 1)! n k!(n 1 k)!( 1)n(n 1)/ n 1 k0 1 i<j n (j i) ( 1) n(n 1)/ (n 1)! n ( ) ( 1)/ ( ) ( 1)/ 1 ( 1) ( 1)( 3)/8 1! Therefore ( i+j ) i+j 1 i,j ( 1)/ ( ) ( 1)/ 1! (mod ) (7) In the case 1 (mod 4), this yields ( i+j ) i+j ( 1) ( 1)/4 1 i,j ( 1)/ ( ) (mod ) If 3 (mod 4), then by (7) we have ( i+j ) i+j 1 ( ) ( 3)/4 1 1 i,j ( 1)/!! 1! (mod ) So (10) always holds (ii) It is known (cf [K05, (55)]) that 1 1 i<j n x i +y j (x j x i )(y j y i ) n n 1 i,j n i1 j1 (x i +y j ) Taking n ( 1)/ and x i y i i for i 1,,n, we get 1 i +j 1 i,j ( 1)/ 1 i<j ( 1)/ (j i ) ( 1)/ i1 ( 1)/ j1 (i +j ) (8)

11 Observe that ON SOME DETERMINANTS WITH LEGENDRE SYMBOL ENTRIES 11 1 i<j ( 1)/ ( 1)/ (j i ) ((j 1)!(j +1) (j 1)) j1 ( 1)/ (j 1)! j j1 ( 1 ) ( 1)/ ( 1)/ ( 1)! ) ( 1)! ( 1)( 1)/ 1 with the hel of Wilson s theorem Also, ( 1)/ i1 ( 1)/ j1 (i +j ) ( 1)/ i1 ( 1)/ i1 j1 ( 1)/ j1 (( 1)/ ( 1 j 1 j1 ( 1)/ (i 1 ( 1)/ j1 (j 1)!( j)! (( 1)/)! 1 1 (mod ) ( 1) j 1 ( )) i 1+ j i x1 ) (1+x ) (mod ) As 1 is a quadratic non-residue modulo, alying (4) with d 1 we get Therefore ( 1)/ x1 (x +1) ( 1) (+1)/ (mod ) ( 1)/ i1 ( 1)/ j1 (i +j ) ( 1)/ i1 ( 1)/ ( ) (mod ) So the desired congruence (11) follows from (8) We are done 3 Some oen conjectures on determinants Wilson s theorem imlies that 1! ±1 (mod ) for any rime 3 (mod 4)

12 1 ZHI-WEI SUN Conjecture 31 ( ) Let be an odd rime Then we have ( ) i (( 1)/)!j 0 3 (mod 4) (31) 1 i,j ( 1)/ Remark 31 See [Su13, A6163] for the sequence ( ) i (( n 1)/)!j n 1 i,j ( n 1)/ (n,3,), where n denotes the nth rime In 1961 L J Mordell [M61] roved that for any rime > 3 with 3 (mod 4) we have 1! ( 1)(h( )+1)/ (mod ), (3) where h( ) is the class number of the imaginary quadratic field Q( ) Conjecture 3 ( ) Let be an odd rime For d Z let S(d,) be given by (11) Then ( ) ( ) S(d,) d 1 if 1, (33) and j1 ( i 0 +dj ) S(d,) 0 if i1 ( i+dj 0 ( ) d 1 (34) Remark 3 See [Su13, A7609] for the sequence S(1, n ) (n,3,) Let be any odd rime and let d Z with d The sum of entries in each row or column of the determinant S(d,) actually equals (1+( d ))/ Indeed, for any i 0,j 0 1,,( 1)/ we have { ( 1)/ ( 1)/ 0 if ( d ) 1, To see this we note that ( i 0 +dj ) ( 1)/ j1 ( 1)/ j1 1 i ) (i 0 +dj ) ( 1)/ ( 1)/ k1 ( ) ( 1)/ ( ) d ( 1) 1+(d ) k 1 if ( d ) 1 i 1 k 0 d k (mod ) 1 j k The following conjecture can be viewed as a sulement to Conjecture 3 j1

13 ON SOME DETERMINANTS WITH LEGENDRE SYMBOL ENTRIES 13 Conjecture 33 ( ) Let be an odd rime, and let c,d Z with cd Define ( ) S c (d,) i +dj +c (35) 1 i,j ( 1)/ Then 1 if ( c ) 1 & (d ) 1, ( ) Sc (d,) ( 1 ) if (c ) (d ) 1, ( ) if ( c ) (d ) 1, ( 6 ) if ( c ) 1 & (d ) 1 (36) Remark 33 See [Su13, A8005] for the sequence S 1 (1, n ) (n,3,) Let be an odd rime and let b,c,d Z with bcd It is easy to see that ( ) i +dj +b c 1 i,j ( 1)/ ( ) (bi) +d(bj) +b c ( ) i +dj +c 1 i,j ( 1)/ 1 i,j ( 1)/ Conjecture 34 ( ) Let be an odd rime For c,d Z define ( ) (c,d) : i +cij +dj (37) 1 i,j 1 (i) If d is nonzero, then there are infinitely many odd rimes q with (c,d) q 0 Also, ( ) d 1 (c,d) 0 (38) When (c,d) is nonzero, its -adic valuation ( ie, -adic order) must be even (ii) We have (6,1) 0 if 3 (mod 4), (3,) (4,) 0 if 7 (mod 8), (3,3) 0 if 11 (mod 1), (10,9) 0 if 5 (mod 1) (39) Remark 34 See [Su13, A5611] for the sequence (6,1) n (n,3,) It is easy to see that ( c,d) ( 1 )(c,d) for any odd rime and integers c and d

14 14 ZHI-WEI SUN Conjecture 35 ( ) Let be an odd rime For c,d Z define ( ) [c,d] : i +cij +dj (310) 0 i,j 1 (i) If d is nonzero, then there are infinitely many odd rimes q with [c,d] q 0 When [c,d] is nonzero, its -adic valuation ( ie, -adic order) must be even (ii) If d and (c,d) 0, then { [c,d] ( 1)/ if c 4d, (c,d) (1 )/( ) if c 4d (311) (iii) We have [6,1] [3,] 0 if 3 (mod 4), [3,3] 0 if 5 (mod 6), [4,] 0 if 5,7 (mod 8), [5,5] 0 if 13,17 (mod 0) (31) Remark 35 See [Su13, A8095] for the sequence [3,3] n (n,3,) It is easy to see that [ c,d] ( 1 )[c,d] for any odd rime and integers c and d Let be any odd rime For a,b,c Z with a, it is known (cf [BEW]) that 1 ( ax ) { +bx+c ( a ) if b 4ac, ( 1)( a ) if b 4ac x0 Thus, for any c,d Z we can easily calculate the sum of all entries in a row or a column of (c,d) or [c,d] Conjecture 36 ( ) Let > 5 be a rime with 1 (mod 4) Define ( ) ( ) D + : i+j (i+j) and D : j i (j i) 1 i,j ( 1)/ 1 i,j ( 1)/ (313) Then ( D + ) ( D ) 1 (314) Remark 36 It is known that a skew-symmetric n n determinant with integer entries is always a square (cf [St90] and [K99])

15 ON SOME DETERMINANTS WITH LEGENDRE SYMBOL ENTRIES 15 Conjecture 37 ( ) For any rime > 3, we have ( ) i (i +j +j ) 0 (mod ) (315) 0 i,j ( 1)/ Remark 37 This conjecture is somewhat curious Conjecture 38 ( ) Let 5 (mod 6) be a rime Then 1 ord i ij +j +1 1 i,j ( 1)/ 6, (316) where ord x denotes the -adic order of a rational number x Also, we have 1 i ij +j x (mod ) (317) 1 i,j 1 for some x {1,,( 1)/} Remark 38 Comare this conjecture with Theorem 13(ii) The(n+1) (n+1)hankeldeterminantassociatedwithasequencea 0,a 1, of numbers is defined by a i+j 0 i,j n The evaluation of this determinant is known for some articular sequences including Catalan numbers and Bell numbers (cf [K99]) Conjecture 39 ( ) (i) For any ositive integers m and n, we have ( 1) n H (m) i+j > 0, (318) 0 i,j n where H (m) k denotes the m-th order harmonic number 0<j k 1/jm (ii) For any rime 1 (mod 4) and m,4,6, we have H (m) 0 (mod ) (319) 0 i,j ( 1)/ i+j Remark 39 For any odd rime and i,j {0,,( 1)/}, the number is an -adic integer for each ositive integer m H (m) i+j Conjecture 310 (i) ( ) For Franel numbers f n : n n 3 k0( k) (n 0,1,), the number 6 n f i+j 0 i,j n is always a ositive odd integer In general, for any integer r > 1 and the r-th order Franel numbers f n (r) : n ( n r k0 k) (n 0,1,), the number n f (r) i+j 0 i,j n is always a ositive odd integer (ii) ( ) For any rime 1 (mod 4) with 1 (mod 4), we have f i+j 0 i,j ( 1)/ 0 (mod ) (30) Remark310 See[Su13,A5776]forthesequence f i+j 0 i,j n (n 0,1,,)

16 16 ZHI-WEI SUN Conjecture 311 (i) ( ) For two kinds of Aéry numbers b n : n ( ) ( ) n n+k k k k0 and A n : n ( ) ( ) n n+k (n 0,1,,), k k k0 both b i+j 0 i,j n 10 n and A i+j 0 i,j n 4 n are always ositive integers (ii) ( ) For any rime with /10 and 31,39 (mod 40), we have b i+j 0 i,j ( 1)/ 0 (mod ) (31) Remark311 See[Su13,A8143]forthesequence A i+j 0 i,j n (n 0,1,,) Conjecture 31 ( ) For n 0,1,, define c n : n ( 4 n ( 1) k) k and d n : k0 Then, for any odd rime we have c i+j 0 i,j 1 ( ) 1 n ( n ( 1) k k k0 ) ( k k )( (n k) n k ) (mod ) and d i+j 0 i,j 1 1 (mod ) Remark 31 See [Su13, A8304] for the sequence c n (n 0,1,,) Conjecture 313 (i) ( ) For Catalan-Larcombe-French numbers P n : ( n k ( (n k) ) n/ k) ( )( ) n k n k ) n 4 n k (n 0,1,), k k k0 ( n k the number n(n+3) P i+j 0 i,j n is always a ositive odd integer (ii) ( ) For any odd rime, we have the suercongruence k0 P i+j 0 i,j 1 ( ) 1 (3) (mod ) (33) Remark 313 See [Sl, A053175] for some basic roerties of Catalan-Larcombe- French numbers

17 ON SOME DETERMINANTS WITH LEGENDRE SYMBOL ENTRIES 17 Conjecture 314 (i) ( ) For Domb numbers n ( ) ( )( ) n k (n k) D n : (n 0,1,), k k n k k0 the number 1 n D i+j 0 i,j n is always a ositive odd integer (ii) ( ) For any rime, we have { ( 1 D i+j 0 i,j 1 )(4x ) (mod ) if x +3y (x,y Z), 0 (mod ) if (mod 3) (34) Remark 314 See [Sl, A00895] for some basic roerties of Domb numbers, and [Su13, A889] for the sequence D i+j 0 i,j n 1 (n 1,,3,) It is known that any rime 1 (mod 3) can be written uniquely in the form x +3y with x and y ositive integers Conjecture 315 ( ) For n 0,1,, let n ( ) n s n : C k and S(n) s i+j k, 0 i,j n k0 where C k denotes the Catalan number ( ( k k) /(k +1) k ) ( k k k+1) (i) S(n) is always ositive and odd, and not congruent to 7 modulo 8 (ii) Let be an odd rime If 1 (mod 3) and x +3y with x,y Z and x 1 (mod 3), then ( ) 1 ( S( 1) x ) (mod ) (35) x If (mod 3), then S( 1) ( ) 1 3 ( (+1)/ (+1)/6 ) (mod ) (36) Remark 315 See [Sl, A086618] for the sequence s n (n 0,1,,), and [Su13, A8456] for the sequence S(n) (n 0,1,,) Conjecture 316 ( ) For n 0,1,, let n/3 ( )( )( ) n k 3k w n : ( 1) k 3 n 3k and W(n) w i+j 3k k k 0 i,j n Then k0 n 1 (mod 3) W(n) 0 (37) When n 0, (mod 3), the number ( 1) (n+1)/3 W(n)/6 n is always a ositive odd integer Remark 316 See [Sl, A006077] for the sequence w n (n 0,1,,)

18 18 ZHI-WEI SUN Conjecture 317 ( ) For any ositive integer n, we have B i+j 0 i,j n < 0 and E i+j 0 i,j n > 0, (38) where B 0,B 1,B, are Bernoulli numbers and E 0,E 1,E, are Euler numbers Remark 317 We have many similar conjectures with Bernoulli or Euler numbers relaced by some other classical numbers Acknowledgments The author would like to thank Prof R Chaman and C Krattenthaler for their helful comments References [BEW] B C Berndt, R J Evans and K S Williams, Gauss and Jacobi Sums, John Wiley & Sons, 1998 [C59] L Carlitz, Some cyclotomic matrices, Acta Arith 5 (1959), [Ch03] R Chaman, Determinants of Legendre matrices, rerint August 5, 003 [Ch04] R Chaman, Determinants of Legendre symbol matrices, Acta Arith 115 (004), [Ch1] R Chaman, My evil determinant roblem, rerint, Dec 1, 01, available from htt://emslocalexacuk/eole/staff/rjchama/etc/evildetdf [Co6] H Cohn, Advanced Number Theory, Dover Publ, New York, 196 [DH] W Duke and K Hokins, Quadratic recirocity in a finite grou, Amer Math Monthly 11 (005), [G04] R K Guy, Unsolved Problems in Number Theory, 3rd Edition, Sringer, 004 [K99] C Krattenthaler, Advanced determinant calculus, Séminaire Lotharinggien Combin 4 (1999), Article B4q, 67 [K05] C Krattenthaler, Advanced determinant calculus: a comlement, Linear Algebra Al 411 (005), [M61] L J Mordell, The congruence (( 1)/)! ±1 (mod ), Amer Math Monthly 68 (1961), [P06] H Pan, A remark on Zoloterav s theorem, rerint, arxiv:060106, 006 [Sl] N J A Sloane, Sequences A00895, A006077, A053175, A in OEIS, htt://oeisorg [St90] J R Stembridge, Nonintersecting aths, faffians and lane artitions, Adv in Math 83 (1990), [Su13] Z-W Sun, Sequences A5611, A5776, A6163, A7609, A7968, A8005, A8095, A8143, A889, A8304, A8456 in OEIS, htt://oeisorg [V1] M Vsemirnov, On the evaluation of R Chaman s evil determinant, Linear Algebra Al 436 (01), [V13] M Vsemirnov, On R Chaman s evil determinant : case 1 (mod 4), Acta Arith 159 (013), [Z] G Zolotarev, Nouvelle démonstration de la loi de récirocité de Legendre, Nouvelles Ann Math 11(187),