Bilinear Systems with Two Supports

DOI10.1145/3208976.3209011MaRDI QIDQ5120179zbMATH OpenOpenAlexWikidataFDO

Authors Matías R. Bender, Jean-Charles Faugère, Angelos Mantzaflaris, Elias P. Tsigaridas

Publication date 9 September 2020

Published in Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1805.05060

zbMATH Keywords

bilinear systemdeterminantal formulamixed multihomogeneous systempolynomial solvingresultantsparse resultant

Mathematics Subject Classification ID

Solving polynomial systems; resultants (13P15) Symbolic computation and algebraic computation (68W30)

Abstract: A fundamental problem in computational algebraic geometry is the computation of the resultant. A central question is when and how to compute it as the determinant of a matrix. whose elements are the coefficients of the input polynomials up-to sign. This problem is well understood for unmixed multihomogeneous systems, that is for systems consisting of multihomogeneous polynomials with the * 1 same support. However, little is known for mixed systems, that is for systems consisting of polynomials with different supports. We consider the computation of the multihomogeneous resultant of bilinear systems involving two different supports. We present a constructive approach that expresses the resultant as the exact determinant of a Koszul resultant matrix, that is a matrix constructed from maps in the Koszul complex. We exploit the resultant matrix to propose an algorithm to solve such systems. In the process we extend the classical eigenvalues and eigenvectors criterion to a more general setting. Our extension of the eigenvalues criterion applies to a general class of matrices, including the Sylvester-type and the Koszul-type ones.

Recommendations

• Kronecker bases for linear matrix equations, with application to two-parameter eigenvalue problems
• Koszul-type determinantal formulas for families of mixed multilinear systems
• scientific article; zbMATH DE number 1066184
• On the solution of the bilinear matrix equation
• Koszul determinantal rings and \(2 \times e\) matrices of linear forms
• Generalized eigenvectors of linear operators and biorthogonal systems
• The matrix linear unilateral and bilateral equations with two variables over commutative rings
• Solution of systems of linear algebraic equations with two-dimensional \({\lambda}\)-matrices
• Krylov subspaces from bilinear representations of nonlinear systems

Cited in

(6)

• Multilinear polynomial systems: root isolation and bit complexity
• Applications of resultants in the spectral m-root framework
• Resultants and discriminants for bivariate tensor-product polynomials
• Koszul-type determinantal formulas for families of mixed multilinear systems
• The Canny-Emiris conjecture for the sparse resultant
• Yet another eigenvalue algorithm for solving polynomial systems

Describes a project that uses

Uses Software

• FGb

This page was built for publication: Bilinear Systems with Two Supports

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5120179)