Invertibility of Submatrices of Pascal's Matrix and Birkhoff Interpolation
Abstract
The infinite upper triangular Pascal matrix is T = [ji] for 0≤ i,j. It is easy to see that any leading principle square submatrix is triangular with determinant 1, hence invertible. In this paper, we investigate the invertibility of arbitrary square submatrices Tr,c comprised of rows r=[r0,…,rm] and columns c=[c0,…,cm] of T. We show that Tr,c is invertible iff r ≤ c (i.e., ri ≤ ci for i=0, …, m), or equivalently, iff all diagonal entries are nonzero. To prove this result we establish a connection between the invertibility of these submatrices and polynomial interpolation. In particular, we apply the theory of Birkhoff interpolation and systems.
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.