Arxiv:1405.6315V1 [Math.CO] 24 May 2014 Ento 2.1

Home , Pascal matrix

arXiv:1405.6315v1 [math.CO] 24 May 2014 ento 2.1. Definition o h eemnn ftercpoa aclmatrix. show Pascal of advantage Th reciprocal the the has [1]. of it numbers determinant and Catalan the proof, super for previous of the than matrix simpler the is using matrix, integer an ento 1.1. Definition o 0 for htteivreo h eirclPsa arxi nitgrmatr matrix. integer Pascal an reciprocal is the of matrix factorization Pascal sug hoc reciprocal author ad for The the an the [4]. of using t matrix inverse stated integer conjectured the Israel an and is that matrix matrix, 2001[3]. Pascal Pascal reciprocal abou in reciprocal the asked matrix the Katz this of [2]. of determinant Sequences determinant Integer the of for Encyclopedia Online the in eemnn fteivreo the of inverse the of determinant 0 for opoeorrsls osaetelmaw edtedfiiino ma of definition the need we lemma th the matrix state Catalan To super lemma. the results. next of our the factorizations prove two in to the factorization of matrix one a give as will equation this restate We is definition utpyn ohnmrtraddnmntrby denominator and numerator both Multiplying The hspprgvsapofta h nes fthe of inverse the that proof a gives paper This ≤ ≤ n ,j i, oa aclmti a nee lmns h ro sstwo numbers. uses Catalan proof super The inver of elements. matrix matrix integer ordinary the has the matrix that Pascal show rocal We matrix. Pascal metric Abstract. ,j

Definition 2.2. Define the diagonal matrix G by 2m G(m,m)= . (4) m Lemma 2.1. The super Catalan matrix has the factorization S = GRG, (5) where R is the reciprocal Pascal matrix and G is from definition 2.2. The von Szily identity, equation (29) of [1], is 2m 2n S = (−1)k . (6) m,n m + kn − k Xk Although the summation includes both positive and negative values of k, we can use the symmetry of the terms for positive and negative k to derive the LDLT decompostion of S. Lemma 2.2. The super Catalan matrix S has the factorization S = LDLT where 2m L = (7) m,k m + k m and D is the diagonal matrix with D0,0 =1 and Dm,m = (−1) 2 for m> 0. 2n 2n Proof. Since n−k = n+k , the von Szily identity is equivalent to 2m 2n 2m 2n S = +2 (−1)k . (8) m,n m n m + kn + k Xk>0 This equation is equivalent to S = LDLT . We remark that L is lower triangular with ones on the diagonal, so it has determinant 1, and its inverse is an integer matrix. Also, column 0 of L−1 is equal to the diagonal of D. The matrices L and L−1 are sequences A094527 and A110162, respectively.

3. Inverting the Reciprocal Pascal Matrix In this section we prove results about the determinant and elements of the inverse of the n × n reciprocal Pascal matrix; we assume all matrices in this section are n × n. Equating the GRG and LDLT factorizations of the super Catalan matrix S, and isolating R gives the equation − − R = G 1LDLT G 1. (9) Inverting both sides we have − − − − R 1 = G(LT ) 1D 1L 1G. (10) The determinant of the n × n reciprocal Pascal matrix is clear from the factorization in equation (10). Theorem 3.1. The determinant of the n × n reciprocal Pascal matrix is − n(n+1)/2 n 1 2 − (−1) 2m det(R 1)= . (11) 2n−1 m mY=0 THE RECIPROCAL PASCAL MATRIX 3

n(n+1)/2 −1 −1 (−1) n−1 2m Proof. The determinants of D , L , and G are 2n−1 , 1, and m=0 m , respectively. Q Next we show that the elements of the inverse of the n × n reciprocal Pascal matrix are integers. Since L−1 and G are integer matrices, so we only have to account for the values 2 in the denominators of the elements of D−1. It will be helpful to have this lemma about the ﬁrst column of L−1. Lemma 3.1. −1 −1 −1 The elements of the ﬁrst column of L satisfy L0,0 =1 and Li,0 is even for i> 0.

Proof. Consider L as a block matrix with four blocks Ai,j , where A0,0 = L0,0 and A1,0 is everthing else in column 0. From the definition of L, the elements of A1,0 2m are the central binomial coefficients m for m > 0. Since these coefficients are even, so are all the the elements of the corresponding block of L−1. Theorem 3.2. The inverse of the n × n reciprocal Pascal matrix is an integer matrix. Proof. The only non-integers in the factors of equation (10) are the values 2 in the −1 2m denominator of D . Since G is diagonal, and Gm,m = m is even for m> 0, it −1 follows that Ri,j is an integer if either i > 0 or j > 0. The remaining element to n−1 −1 −1 −1 2 −1 consider, R0,0, is an integer by Lemma 3.1, as R0,0 =1+ (Li,0 ) Di,i . Xi=1 Sequences: A000984, A068555, A007318, A060739, A094527, A110162 References

[1] Ira M. Gessel, Super Ballot Numbers, J. Symb. Comput. 14 (1992), 179-194. [2] N. J. A. Sloane, Online Encyclopedia of Integer Sequences, Published electronically at http://oeis.org. [3] Bob Katz, Matrix related to Pascal triangle, sci.math.research, April 2001. [4] Robert Israel, Re: Matrix related to Pascal triangle, sci.math.research, April 2001. [5] Tom Richardson, Reciprocal Pascal Matrix, sci.math.research, November 2003. AMS Classiﬁcation Numbers: 11B39, 11B65, 15A09. E-mail address: [email protected]