arxiv:math/ v1 [math.co] 30 Nov 2001

Transcription

1 arxiv:mah/038v [mahco 30 Nov 00 EVALUATIONS OF SOME DETERMINANTS OF MATRICES RELATED TO THE PASCAL TRIANGLE C Kraenhaler Insiu für Mahemaik der Universiä Wien, Srudlhofgasse 4, A-090 Wien, Ausria KRATT@ApUnivieAcA WWW: hp://wwwmaunivieaca/~kra Absrac We prove several evaluaions of deerminans of marices, he enries of which are given by he recurrence a i,j = a i,j + a i,j, or variaions hereof These evaluaions were eiher conjecured or exend conjecures by Roland Bacher [J Théorie Nombres Bordeaux 3 00, o appear Inroducion In he recen preprin [ see [ for he final version, Bacher considers deerminans of marices, he enries of which are given by he Pascal riangle recurrence a i,j = a i,j + a i,j or by similar recurrences, or are relaed in some oher way o such bivariae recurren sequences The preprin [ conains resuls and conjecures on, on he one hand, evaluaions of some special deerminans of ha ype, and, on he oher hand, recurrences saisfied by such deerminans The purpose of his paper is o provide proofs for all he conjecured deerminan evaluaions in [, and, in some cases, o prove in fac generalizaions of conjecures in [ Some of hese resuls are saed wihou proof in [ In Secion we provide he proofs for he hree conjecures in [ on deerminans of marices, he enries of which are given by he recurrence a i,j = a i,j + a i,j + x a i,j Secion 3 conains hree heorems on binomial deerminans which generalize conjecural deerminan evaluaions in Secion 5 of [ The mehods ha we use o prove our heorems are, on he one hand, he LU-facorizaion mehod see [4, Sec 6 and, on he oher hand, he idenificaion of facors mehod see [4, Sec 4, excep for one case where elemenary row and column operaions suffice 99 Mahemaics Subjec Classificaion Primary 05A9; Secondary 05A0 C0 5A5 33C45 Key words and phrases deerminan, bivariae recurren sequence, binomial coefficien, Dodgson s condensaion mehod, hypergeomeric series Research parially suppored by he Ausrian Science Foundaion FWF, grans P094-MAT and P390-MAT, and by EC s IHRP Programme, gran RTN Typese by AMS-TEX

2 C KRATTENTHALER Some deerminans of marices wih enries given by an exension of he Pascal riangle recurrence Our firs heorem proves Conjecure 8 in [ I is saed wihou proof as Theorem 5 in [ Theorem Le a i,j i,j 0 be he sequence given by he recurrence a i,j = a i,j + a i,j + x a i,j, i, j and he iniial condiions a i,0 = ρ i and a 0,i = σ i, i 0 Then de a i,j = + x n x + ρ + σ ρσ n 0 i,j n Proof Le Fu, v = i,j 0 a i,ju i v j be he bivariae generaing funcion of he sequence a i,j By muliplying boh sides of by u i v j and summing over all i and j, we ge an equaion for Fu, v wih soluion Fu, v = u ρu + v σv u v uvx Now we use he LU-facorizaion mehod see [4, Sec 6 Le M denoe he marix a i,j 0 i,j n I claim ha where U = U i,j 0 i,j n wih and L = L i,j 0 i,j n wih M U = L, i = j j U i,j = j i i σ + j i i < j, 0 i > j, { ρ i j = 0, L i,j = x + ρ + σ ρσ + x j i l l=0 j ρ i l j > 0 The marix U is an upper riangular marix wih s on he diagonal, whereas L is a lower riangular marix wih diagonal enries, x + ρ + σ ρσ, x + ρ + σ ρσ + x,, x + ρ + σ ρσ + x n I is obvious ha he claimed facorizaion of M immediaely implies he validiy of he heorem For he proof of he claim we compue he i, j-enry of M U By definiion, i is j k=0 a i,ku k,j Le firs j = 0 Then he sum is equal o a i,0 = ρ i, in accordance wih

3 EVALUATIONS OF SOME DETERMINANTS 3 he definiion of L i,0 If j > 0, hen here, and in he following, z N fz denoes he coefficien of z N in he formal power series fz M U i,j = j a i,k U k,j k=0 j = M i,j + a i,k U k,j k=0 j j = u i v j Fu, v + j k v j k σ + k k=0 = u i v j Fu, v v j σv v j j k = u i v j Fu, v v j σv 3 Now we rewrie Fu, v, as given by, slighly, Fu, v = = = u v + uvx + ρ + σ ρσ xuv ρu σv u v uvx ρu σv + uvx + ρ + σ ρσ ρu σv u v uvx ρu σv + uvx + ρ + σ ρσ ρu σv u v uvx+ u v This is subsiued in 3: M U i,j = u i v j v j ρu + uvx + ρ + σ ρσ ρu u v uvx+ u v Since he degree of v j in v is smaller han j, i is obvious ha he firs expression in parenheses does no conribue anyhing o he coefficien of u i v j Hence we obain M U i,j = u i v j v j uvx + ρ + σ ρσ u v = x + ρ + σ ρσ h,l 0 ρ l + x h i l h u h v h x + h u h v h h=0 0 h + j ρ l u l Because of he second binomial coefficien, he summand is nonvanishing only for h = j This yields exacly he claimed expression for L i,j The nex heorem proves he conjecure abou he evaluaion of dean on page 4 of [ I is saed wihou proof in [, equaion for debn afer Theorem 5 l=0

4 4 C KRATTENTHALER Theorem Le a i,j i,j 0 be he sequence given by he recurrence a i,j = a i,j + a i,j + x a i,j, i, j and he iniial condiions a i,i = 0, i 0, a i,0 = ρ i and a 0,i = ρ i, i Then de a i,j = + x n x + ρ n 0 i,j n Proof We compue again he generaing funcion Fu, v = i,j 0 a i,ju i v j This ime we have u v + ρuv u v Fu, v = u v xuv ρu ρv Also here, we apply he LU-facorizaion mehod However, we canno apply LUfacorizaion direcly o he original marix since i is skew-symmeric and, hence, all odd-dimensional principal minors vanish Insead, we apply LU-facorizaion o he marix ha resuls from he original marix by firs reversing he order of rows and hen ransposing he resuling marix This is he marix M = a n j,i 0 i,j n I claim ha M U = L, where U = U i,j 0 i,j n wih U i,j = 0 i > j, j i j ρ i + j i ρ i j < n, i = j = n, n i/ ρ+x+x n s=0 s+ n i +s i/ s n i s+ x +ρ n i/ s=0 s n i +s s i/ s n i/ 3/ ρ+x+x n s=0 s n i 3 +s s +ρ n i/ 3/ s=0 s+ n i +s s+ n x i s s i even, i < j = n, i x i/ s / i/ s 3/ and where L is a lower riangular marix wih diagonal enries n s n i x s 3 i odd, i < j = n, ρ n, ρ + x ρ, ρ + x + x ρ + x + x,,, ρ ρ ρ + x + x n 3, + x n 4 ρ Again, i is immediaely obvious ha he claimed facorizaion of M implies he validiy of he heorem

5 EVALUATIONS OF SOME DETERMINANTS 5 The proof of he claim requires again some calculaions, which urn ou o be more edious here The i, j-enry of M U is j k=0 a n k,iu k,j I suffices o consider he case where 0 i j n Case : i = j = 0 Then j k=0 a n k,iu k,j = a n,0 = ρ n, in accordance wih 4 Case : 0 = i < j < n We calculae he sum in quesion: M U i,j = j a n k,i U k,j k=0 = u n v i j j k j + ρ k k=0 j ρ u k Fu, v k = u n v i j u j ρu u j Fu, v ρ = u n v i u j u v + ρuvu v ρ u v xuv ρv 5 If i = 0 hen he expression in he las row reduces o u n u j ρ The degree of he polynomial in u of which he coefficien of u n has o be read off is j Since j < n, his coefficien is 0 Case 3: 0 < i j < n We sar wih he expression 5 and apply he parial fracion expansion wih respec o v u v + ρuvu v u v xuv ρv = ρu ρ + xu ρ ρu ρ ρv ρ + ρu + xu u uρ + xu x + u xu ρ + ρu + xu v+xu u Afer having subsiued his in 5, we can read off he coefficien of v i In paricular, he firs erm on he righ-hand side of 6 does no conribue anyhing, since we have i > 0 by assumpion We obain M U i,j = u n u j ρ ρuρ i ρ ρ + ρu + xu + uρ + xu x + u + xui 7 u i Le firs i < j The erm u i in he denominaor cancels wih he erm u j Bu he erm ρ + ρu + xu in he denominaor cancels as well

6 6 C KRATTENTHALER because he expression in parenheses conains his erm as a facor This can be seen by observing ha he expression in parenheses vanishes for u = ρ /ρ + x which is he zero of he erm ρ + ρu + xu Hence, he ask in 7 is o read off he coefficien of u n from a polynomial in u of degree j Since j < n, his coefficien is 0 If on he oher hand we have i = j, hen 7 reduces o M U i,j = i u n u ρ ρu u i ρ i ρ ρ + ρu + xu + uρ + xu x + u + xu i For he same reasons as before, he erm ρ + ρu + xu in he expression in parenheses cancels, whence he expression in parenheses is in fac a polynomial in u of degree i + Now we use he easily verified fac ha he coefficien of u N in a formal power series of he form Pu/ qu, where Pu is a polynomial in u of degree N, is equal o q N P/q Thus we obain M U i,j = i ρ + x + x i, ρ in accordance wih 4 Case 4: j = n We mus evaluae he following sum: M U i,n = n k=0 a n k,i U k,n n n = a 0,i + a n k,i U k,n + a n k,i U k,n k=0 k= 8 Since U 0,n = 0, we may resric he firs sum on he righ-hand side of 8 o

7 EVALUATIONS OF SOME DETERMINANTS 7 k n Consequenly, i is equal o n u n v i n k s=0 k= n k + ρ ρ + x + x n s+ n k + s s + s=0 s n k + s s = u n v i ρ + x + x n n k s+ s + s,k + ρ s,k s n k s n x k s n x k s u k Fu, v k s u k+s k k s n x k n x k Fu, v k u k+s Because of compleely analogous argumens, he second sum on he righ-hand side of 8 is equal o n u n v i k= n k s=0 ρ + x + x n n k + ρ s n k + s s s=0 s+ n k + s s + = u n v i ρ + x + x n n k s s s,k + ρ s,k s+ n k s + n x k s n x k s u k Fu, v k s k s u k+s k n k u k+s+ x k n x k Fu, v

8 8 C KRATTENTHALER If his is subsiued in 8 and he sums are pu ogeher, hen we obain M U i,n = a 0,i + ρ + x + x n un v i ρufu, v = a 0,i + u k+s k n k s s s,k ρ + x + x n un v i ρufu, v n x k k n u n k u k x k k = a 0,i + ρ + x + x n un v i ρufu, v n n n u x u n k xu k = a 0,i + k=+ ρ + x + x n un v i ρufu, v n n u x u n xu u + xu u n xu u The sum over is easily evaluaed, since i is only geomeric series ha have o be summed Afer some simplificaion his leads o M U i,n = a 0,i + ρ + x + x n un v i ρu u un u + x n u xu Fu, v = a 0,i + ρ + x + x n un v i u v + ρuvu v u v xuv ρv u un u + x n u xu 9 If we have i = 0, hen i is immediae ha he expression 9 vanishes Hence, from now on we assume i > 0 We spli he expression on he righ-hand

9 EVALUATIONS OF SOME DETERMINANTS 9 side of 9 ino M U i,n = ρ i u v + ρuvu v ρ + x + x n vi u v xuv ρv + xn u xu + ρ + x + x n un v i u v + ρuvu v u u n u v xuv ρv u xu = ρ i + ρ i + x ρ + x + ρ + x + x n un v i u v + ρuvu v u u n u v xuv ρv u xu 0 To he expression in he las line we apply again he parial fracion expansion 6 Afer having subsiued his in 0, we may direcly read off he coefficien of v i Once again, he firs erm on he righ-hand side of 6 does no conribue o i since we have i > 0 by assumpion We obain M U i,n = ρ i ρ ρ + x + ρ + x + x n un u un u xu ρ ρuρ i + uρ + xu x + u ρ + ρu + xu + xui u i = ρ i ρ ρ + x u u n ρ ρu ρ + x + x n un u xu ρ + ρu + xu ρi ρ + x + x n un u u n i ρ + x + xu i ρ + ρu + xu Le us for he momen assume ha i < n The coefficien of u n in he las line can be easily deermined by making use of he previously used fac ha he coefficien of u N in a formal power series of he form Pu/ qu, where Pu is a polynomial in u of degree N, is equal o q N P/q Thus we obain M U i,n = ρ i ρ ρ + x u u n ρ ρu ρ + x + x n un u xu ρ + ρu + xu ρi + ρ + x + x n 3 ρ i ρ + x + x n ρ n In order o deermine he remaining coefficien of u n on he righ-hand side, we

10 0 C KRATTENTHALER apply once again a parial fracion expansion: ρu u xu ρ + ρu + xu = ρ + x + x ρ + ρu + xu + x u ω + x u ω, where ω = x + x and ω = x + + x This is now subsiued in By a rouine calculaion, which uses again he above fac of how o read off he coefficien of u N in a formal power series of he form Pu/ qu, i is seen ha vanishes for i < n On he oher hand, if we have i = n, hen he expression in he las line of is equal o ρ + x + x n un u ρ + x + xu n u ρ + ρu + xu In order o read off he coefficien of u n in his expression, we mus apply a parial fracion expansion anoher ime: u ρ + ρu + xu = + x u + + x ρ + x ρ + ρu + xu Afer having done ha, a rouine calculaion has o be performed ha shows ha for i = n he expression simplifies o + x n, in accordance wih 4 This complees he proof of he heorem Finally we proof he conjecured evaluaion of deãn on page 4 of [ As i urns ou, his is much simpler han he previous evaluaions Theorem 3 Le a i,j i,j 0 be he sequence given by he recurrence a i,j = a i,j + a i,j + x a i,j, i, j and he iniial condiions a i,0 = i and a 0,i = i, i 0 Then de a i,j = + x nn 0 i,j n Proof Again, we compue he generaing funcion Fu, v = i,j 0 a i,ju i v j Here we ge u v Fu, v = u v uvx u v This can be wrien in he following way: u Fu, v = u u v uvx v v u v uvx u v = u v uvx+ u v u v uvx+ u l v l x + l u = u l+ v l+ u v v l=0 u v

11 EVALUATIONS OF SOME DETERMINANTS Therefore we have a i,j = i j l + l l=0 i j x + l l l + Now we apply he following row and column operaions: We subrac row i from row i +, i = n, n 3,, 0, and subsequenly we subrac column j from column j +, j = n, n 3,, 0 This is repeaed anoher n imes I is no oo difficul o see using he above expression for a i,j ha, sep by sep, he rows and columns are empied unil finally he deerminan X X 0 X 0 de 0 0 X X n 3 0 X n 0 0 X n 0 is obained, where we have wrien X for x+ The heorem follows now immediaely 3 Some binomial deerminans In his secion we prove some evaluaions of binomial deerminans which arose from conjecures in [ and subsequen privae discussion wih Roland Bacher The firs heorem in his secion proves a common exension of wo conjecures on page 5 in [ I is also saed wihou proof in [, p 4 Theorem 4 We have de 0 i,j n i + j + a i + j + a = n 3 i i Proof We apply LU-facorizaion Le us denoe he marix in 3 by M I claim ha M U = L, where U = j i j i, and where L = L 0 i,j n i,j 0 i,j n is a lower riangular marix wih diagonal enries,, 4, 8,, n I is obvious ha he claim immediaely implies he heorem Again, we verify he claim by a direc calculaion Le 0 i j n The i, j-enry of M U is M U i,j = j j k j + a + k a + i + k! k i! + a + i + k! k=0

12 C KRATTENTHALER In sandard hypergeomeric noaion [ a,, a r rf s ; z = b,, b s m=0 a m a r m m! b m b s m z m, where he Pochhammer symbol α m is defined by α m := αα + α + m, m, α 0 :=, he above binomial sum can be wrien as ; [ j + a + a + i 3 i 4F + a, + a + i, + a + i, j 3 3 i! + a + i, + a + i, + a To his 4 F 3 -series we apply he coniguous relaion [ [ a, b, c, d a, b, c, d 4F 3 e, f, g ; z = 4 F 3 ; z e, f, g We obain j + a + a + i i i! + z bcd efg 4 F 3 [ 3F + a + i, + a + i, j 3 + a + i, + a + i j j 4 + a + i i i! [ a, b +, c +, d + e +, f +, g + ; z ; 3F [ 3 + a + i, + a + i, j 5 + a + i, + a + i Now we apply he ransformaion formula cf [3, Ex 7, p 98 [ a, b, n 3F ; d, e = a b + d + e n e n 3F [ n, a + d, b + d d, a b + d + e ; ;, 3 where n is a nonnegaive ineger, o boh 3 F -series The above expression hen becomes [ j + a i j + a + i i j, i! + a + i 3F i, i 3 j + a + i, i ; j j i j 4 + a + i i i! + a + i j [ j, 3F i, i 5 + a + i, i ; If j i, he firs summand is always 0 because of he erm i j The second summand vanishes as long as j > i because of he erm i j Thus, he marix L is indeed a lower riangular marix I remains o evaluae he above expression for i = j As we already menioned, in ha case i reduces o he second erm, which iself reduces o i i i i 4 + a + i i i! + a + i i F [ i, i 5 + a + i ; This F -series can be evaluaed by means of Gauß F -summaion cf [6, 76; Appendix III3 [ a, b F c ; Γc Γc a b = Γc a Γc b 33 Afer some furher simplificaion we obain i, as desired Our nex heorem presens a variaion of he previous heorem I is again a common exension of wo conjecures in [, p 5 I is also saed wihou proof in [, p 4

13 EVALUATIONS OF SOME DETERMINANTS 3 Theorem 5 We have i + j + a i + j + a de = n 0 i,j n i + i n a + i 34 n! Proof We apply LU-facorizaion Le us denoe he marix in 34 by M I claim ha M U = L, where U = j a + j j i, i a + i 0 i,j n and where L = L i,j 0 i,j n is a lower riangular marix wih diagonal enries a, a +, 4 3 a + 3, 8 4 n a + 5,, a + n 3 n I is obvious ha he claim immediaely implies he heorem Le us do he required calculaions Le 0 i j n The i, j-enry of M U is j M U i,j = j k j a + j a + i + k! k i +! a + i + k! k=0 We conver his binomial sum ino hypergeomeric noaion The resul is j a + j a + i! i +! a + i! [ j, 3F + a + i, + a + i + a + i, + a + i ; This ime i is no even necessary o apply a coniguous relaion We may direcly apply he ransformaion formula 3 and obain j a + j a + i! i j i +! a + i! + a + i j [ j, i 3F, i + a + i, i ; Again, his expression is 0 if j > i since i conains he erm i j If j = i hen i reduces o [ i a + i a + i! i i i i +! a + i! + a + i F, i i + a + i ; The F -series can again be evaluaed by means of he Gauß summaion formula 33 Afer furher simplificaion we obain i a + i /i +, as desired The final deerminan evaluaion ha we presen here proves a common generalizaion of deerminan evaluaions ha arose in discussion wih Roland Bacher I is ineresing o noe ha he limiing case where Y, ie, he evaluaion of he deerminan de 0 i,j n i j X + i + j! is covered by a heorem by Meha and Wang [5 In fac, he main heorem of [5 gives he evaluaion of he more general

14 4 C KRATTENTHALER deerminan de 0 i,j n Z + i j X + i + j! I seems difficul o find a common exension of he Meha and Wang evaluaion and he evaluaion below, ie, an evaluaion of X + i + j! de Z + i j 0 i,j n Y + i + j! Neiher he mehod used by Meha and Wang nor he idenificaion of facors mehod used below seem o help Theorem 6 Le X and Y be arbirary nonnegaive inegers Then X + i + j! de i j = 0 i,j n Y + i + j! n n X + i! Y + i + n! i+! X +i+y +4n i X Y i n i X Y i n i 35 Remark The heorem is formulaed only for inegral X and Y Bu in fac, if we replace he facorials by he appropriae gamma funcions hen he heorem would also make sense and be rue for complex X and Y Proof To begin wih, we ake some facors ou of he deerminan: n X + i + j! X + i! de i j = 0 i,j n Y + i + j! Y + i + n! de i j X + i + j Y + i + j + n j 0 i,j n If we compare wih 35, hen we see ha i suffices o esablish ha i j X + i + j Y + i + j + n j de 0 i,j n n = a +! X + a + Y + 4n a a=0 X Y a n a X Y a n a 36 This ime we apply a differen mehod We make use of he idenificaion of facors mehod as explained in [4, Sec 4 Le us denoe he deerminan in 36 by T n X, Y Here is a brief ouline of how we proceed The deerminan T n X, Y is a polynomial in X and Y In he firs sep we shall show ha he produc on he righ-hand side of 36 divides he deerminan as a polynomial in X and Y Then we compare he degrees in X and Y of he deerminan and he righ-hand side of 36 As i urns ou, he degree of he deerminan is a mos he degree of he produc Hence, he deerminan mus be equal o a consan muliple of he righ-hand side of 36 Finally, in he las sep, his consan is compued by seing X = n on boh sides of 36

15 EVALUATIONS OF SOME DETERMINANTS 5 Sep The produc n a=0 X + a + divides T nx, Y Le a be fixed wih 0 a n In order o show ha X + a + divides he deerminan, i suffices o show ha he deerminan vanishes for X = a The laer would follow immediaely if we could show ha he rows of he marix underlying he deerminan are linearly dependen for X = a I claim ha in fac we have a a Y + n + a i ii row a i of i Y + a i Tn a, Y = 0 i This claim is easily verified Indeed, if we resric i o he j-h column, we see ha we mus check a a Y + n + a i ii i Y + a i a i j i j Y + a i + j + n j = 0 i Because of he erm i j his equaion is cerainly rue if a < j If a j hen, because of he same reason, we may resric he sum o j i a We conver he sum ino hypergeomeric noaion, and obain a j [ j+ + a + Y n a + j, a + j, a Y Y + a j 3F j a + j, a + j Y Nex we apply he coniguous relaion [ [ a, b, c a, b, c 3F d, e ; z = 3 F ; z d, e This yields a j [ j+ + a + Y + n a Y, a + j a j + Y F j a + j Y ; ; + z bc [ a, b +, c + de 3 F d +, e + ; z 37 + a j [ j+ a + Y n a Y, a + j + a j + Y F j+ a + j Y ; Boh F -series can be evaluaed by means of he Chu-Vandermonde summaion formula cf [6, 77; Appendix III4 [ a, n F ; = c a n, 38 c c n where n is a nonnegaive ineger Afer some furher simplificaion i is seen ha he wo erms cancel each oher Sep The produc n a=0 Y + 4n a divides T nx, Y We proceed analogously Le a be fixed wih 0 a n I claim ha a a X i + n a i + i i X + n a i i row n a i of T n X, 4n + a + = 0

16 6 C KRATTENTHALER Resriced o he j-h column, his is a a X i + n a i + i i X + n a i i n a i j X + n a i j a n i + j + n j = 0 In order o esablish his equaion, we conver he sum again ino hypergeomeric noaion, and obain + a + j n j+ n a + n + X j 3 F [ + a + j n, a j + n, + a n X + a + j n, + a j n X Now we apply he coniguous relaion 37, o ge + a + j n n j a + n + X j [ F + a n X, a j + n ; + a j n X + a + j nn j a + n + X j + a n X ; [ 3 F + a n X, a j + n ; + a j n X Finally, we evaluae he F -series by means of he Chu-Vandermonde summaion formula 38 Sep 3 The produc n a=0 X Y an a divides T n X, Y Le a be fixed wih 0 a n I claim ha for 0 v n a 3 we have a+ a + X + n + v i + i i i X + a + v i + 3 i Resriced o he j-h column, his is a+ a + X + n + v i + i i i X + a + v i + 3 i row a + v + i of T n X, X a = 0 a + v i j + X + a + v i + 3 j X + v i + j + 3 n j = 0 In order o esablish his equaion, we conver he sum ino hypergeomeric noaion, and obain a + v j + X + a + v + 3 j X + v + j + 3 n j [ a + j v, a, j v X 3 F a + j v, a j v X ;

17 EVALUATIONS OF SOME DETERMINANTS 7 Nex we apply he coniguous relaion 37, o ge a + v j + X + a + v + 3 j X + v + j + 3 n j [ j v X, a F a j v X ; + a + X + a + v + 3 j X + v + j + n j [ j v X, a F a j v X ; Finally, he F -series are again evaluaed by means of he Chu-Vandermonde summaion formula 38 The resul is + a + 3 j + a j + v + a v + X + a X a a+ X + a + v + 3 j X + v + j + 3 n j a j v X a+ Since his expression conains he erm a a+, i mus vanish Sep 4 The produc n a=0 X Y a n a divides T n X, Y Le a be fixed wih 0 a n I claim ha for 0 v n a 4 sic! we have a+3 a + 3 X + n + v i + i i i X + a + v i + 4 i Resriced o he j-h column, his is a+3 a + 3 X + n + v i + i i i X + a + v i + 4 i row a + v + 3 i of T n X, X a = 0 a + v i j + 3 X + a + v i + 4 j X + v i + j + 3 n j = 0 In order o esablish his equaion, we conver he sum ino hypergeomeric noaion, and obain a + v j + 3 X + a + v + 4 j X + v + j + 3 n j [ a + j v, 3 a, j v X 3 F 3 a + j v, 3 a j v X ; Now we apply he coniguous relaion 37, o ge a + v j + 3 X + a + v + 4 j X + v + j + 3 n j [ 3 a, j v X F 3 a j v X ; + a + 3 X + a + v + 4 j X + v + j + n j [ a, j v X F a j v X ;

18 8 C KRATTENTHALER Finally, we evaluae he F -series by means of he Chu-Vandermonde summaion formula 38 The resul is 3 + a + 4 j + a j + v + a v + 3 X + a X a a+ X + a + v + 4 j X + v + j + 3 n j X a j v a+ Since his expression conains he erm a a+, i mus vanish The argumens hus far prove ha n a=0 X Y a n a 3 divides he deerminan T n X, Y I should be observed ha he exponens in his produc are by smaller han wha we would need However, he original deerminan in 35 is he deerminan of a skew-symmeric marix Hence i is a square of he corresponding Pfaffian; see eg [7, Prop This implies ha, for fixed a, he mulipliciy of a facor X Y a in T n X, Y mus be even Phrased differenly, if X Y a e divides T n X, Y wih e maximal, hen e mus be even Since we already proved ha X Y a n a 3 divides T n X, Y, we ge for free ha in fac X Y a n a divides T n X, Y, as required Sep 5 Comparison of degrees I is obvious ha he degree in X of he deerminan T n X, Y is a mos n = n n The degree in X on he righ-hand side of 36 is n + 4 n = n n, which is exacly he same number The same is rue for Y I follows ha T n X, Y = de i j X + i + j Y + i + j + n j 0 i,j n n = C X + a + Y + 4n a a=0 where C is some consan independen of X and Y X Y a n a X Y a n a, 39 Sep 6 The compuaion of he consan In order o compue he consan, we se X = n in 39 Because of n + + i j = n + i + n + i + n + i + j, his implies ha all enries in T n n, Y in he i-h row and j-h column wih i + j n, vanish This means ha he marix underlying T n n, Y is riangular Thus is deerminan is easily evaluaed We leave i o he reader o check ha he resul for C is in accordance wih he original claim References R Bacher, Marices relaed o he Pascal riangle, preprin, mah/00903v R Bacher, Deerminans of marices relaed o he Pascal riangle, J Théorie Nombres Bordeaux 3 00 o appear 3 W N Bailey, Generalized hypergeomeric series, Cambridge Universiy Press, Cambridge, 935

19 EVALUATIONS OF SOME DETERMINANTS 9 4 C Kraenhaler, Advanced deerminan calculus, Séminaire Loharingien Combin 4 The Andrews Fesschrif 999, Aricle B4q, 67 pp 5 M L Meha and R Wang, Calculaion of a cerain deerminan, Commun Mah Phys 4 000, L J Slaer, Generalized hypergeomeric funcions, Cambridge Universiy Press, Cambridge, J R Sembridge, Noninersecing pahs, pfaffians and plane pariions, Adv in Mah , 96 3 Insiu für Mahemaik der Universiä Wien, Srudlhofgasse 4, A-090 Wien, Ausria