arXiv++ Combinatorics

We prove that the inverse of the Hankel matrix of the reciprocals of the Catalan numbers has integer entries. We generalize the result to an infinite family of generalized Catalan numbers. The Hankel matrices that we consider are associated with orthogonal polynomials that are variants of Jacobi polynomials. Our proofs use these polynomials and computer algebra based on Wilf-Zeilberger theory.

We describe how the reversion of a series is related to convolutional recurrence relations for the series, and we place this relationship in the context of Riordan arrays. As an example of the approach, we give new recurrence relations for the sequences of Patalan numbers. We also consider the concepts of recursive matrices and dual Riordan arrays, and their application to previous work on the super Patalan numbers.

We introduce the super Patalan numbers, a generalization of the super Catalan numbers in the sense of Gessel, and prove a number of properties analagous to those of the super Catalan numbers. The super Patalan numbers generalize the super Catalan numbers similarly to how the Patalan numbers generalize the Catalan numbers.

The reciprocal Pascal matrix is the Hadamard inverse of the symmetric Pascal matrix. We show that the ordinary matrix inverse of the reciprocal Pascal matrix has integer elements. The proof uses two factorizations of the matrix of super Catalan numbers.

A Filbert matrix is a matrix whose (i,j) entry is 1/F_(i+j-1), where F_n is the nth Fibonacci number. The inverse of the n by n Filbert matrix resembles the inverse of the n by n Hilbert matrix, and we prove that it shares the property of having integer entries. We prove that the matrix formed by replacing the Fibonacci numbers with the Fibonacci polynomials has entries which are integer polynomials. We also prove that certain Hankel matrices of reciprocals of binomial coefficients have integer entries, and we conjecture that the corresponding matrices based on Fibonomial coefficients have integer entries. Our method is to give explicit formulae for the inverses.