Bounding the Number of Roots of Multi-Homogeneous Systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2022

Bounding the Number of Roots of Multi-Homogeneous Systems

Résumé

Determining the number of solutions of a multi-homogeneous polynomial system is a fundamental problem in algebraic geometry. The multi-homogeneous Bézout (m-Bézout) number bounds from above the number of non-singular solutions of a multi-homogeneous system, but its computation is a #P>-hard problem. Recent work related the m-Bézout number of certain multi-homogeneous systems derived from rigidity theory with graph orientations, cf Bartzos et al. (2020). A first generalization applied graph orientations for bounding the root count of a multi-homogeneous system that can be modeled by simple undirected graphs, as shown by three of the authors (Bartzos et al., 2021). Here, we prove that every multi-homogeneous system can be modeled by hypergraphs and the computation of its m-Bézout bound is related to constrained hypergraph orientations. Thus, we convert the algebraic problem of bounding the number of roots of a polynomial system to a purely combinatorial problem of analyzing the structure of a hypergraph. We also provide a formulation of the orientation problem as a constraint satisfaction problem (CSP), hence leading to an algorithm that computes the multi-homogeneous bound by finding constrained hypergraph orientations.
Fichier non déposé

Dates et versions

hal-03905697 , version 1 (18-12-2022)

Identifiants

Citer

Evangelos Bartzos, Ioannis Z. Emiris, Ilias Kotsireas, Charalambos Tzamos. Bounding the Number of Roots of Multi-Homogeneous Systems. ISSAC 2022 - International Symposium on Symbolic and Algebraic Computation, Jul 2022, Villeneuve-d'Ascq France, France. pp.255-262, ⟨10.1145/3476446.3536189⟩. ⟨hal-03905697⟩
53 Consultations
0 Téléchargements

Altmetric

Partager

More