Expressing a Fraction of Two Determinants as a Determinant.
Abstract
Suppose the multivariate polynomials f and g are determinants of non-singular matrices A and B whose entries are variables or field elements. Furthermore, suppose that the quotient h = f/g is also a polyonmial. We construct a matrix C such that h=det(C). The entries of C are variables or field elements, and its size is polynomial in size(A)+size(B). Our construction utilizes the notion of skew circuits by Toda and weakly circuits by Malod and Portier. Our problem was motivated by resultant formulas derived from Chow forms. Additionally, we show that divisions can be removed from formulas that compute polynomials in the input variables over a sufficiently large field within polynomial formula size growth.
Origin : Files produced by the author(s)
Loading...