Koszul-type determinantal formulas for families of mixed multilinear systems

Effective computation of resultants is a central problem in elimination theory and polynomial system solving. Commonly, we compute the resultant as a quotient of determinants of matrices and we say that there exists a determinantal formula when we can express it as a determinant of a matrix whose elements are the coefficients of the input polynomials. In this talk, we study the resultant in the context of mixed multilinear polynomial systems, that is multilinear systems with polynomials having different supports, on which determinantal formulas were not known. We present determinantal formulas for two kind of multilinear systems related to the Multiparameter Eigenvalue Problem (MEP): first, when the polynomials agree in all but one block of variables; second, when the polynomials are bilinear with different supports, related to a bipartite graph. We use the Weyman complex to construct Koszul-type determinantal formulas that generalize Sylvester-type formulas. We show how to use the matrices associated to these formulas to solve square systems without computing the resultant. The combination of the resultant matrices with a new eigenvalue and eigenvector criterion for polynomial systems leads to a new approach for solving MEP. This talk is based on joint work with Jean-Charles Faugère, Angelos Mantzaflaris, and Elias Tsigaridas.