Gröbner Basis over Semigroup Algebras: Algorithms and Applications for Sparse Polynomial Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2019

Gröbner Basis over Semigroup Algebras: Algorithms and Applications for Sparse Polynomial Systems

Jean-Charles Faugère
Elias P. Tsigaridas

Abstract

Gröbner bases is one the most powerful tools in algorithmic non-linear algebra. Their computation is an intrinsically hard problem with a complexity at least single exponential in the number of variables. However, in most of the cases, the polynomial systems coming from applications have some kind of structure. For example , several problems in computer-aided design, robotics, vision, biology , kinematics, cryptography, and optimization involve sparse systems where the input polynomials have a few non-zero terms. Our approach to exploit sparsity is to embed the systems in a semigroup algebra and to compute Gröbner bases over this algebra. Up to now, the algorithms that follow this approach benefit from the sparsity only in the case where all the polynomials have the same sparsity structure, that is the same Newton polytope. We introduce the first algorithm that overcomes this restriction. Under regularity assumptions, it performs no redundant computations. Further, we extend this algorithm to compute Gröbner basis in the standard algebra and solve sparse polynomials systems over the torus $(C^*)^n$. The complexity of the algorithm depends on the Newton polytopes.
Fichier principal
Vignette du fichier
sparseF5.pdf (298.99 Ko) Télécharger le fichier
ACM-Reference-Format.bbx (17.99 Ko) Télécharger le fichier
ACM-Reference-Format.cbx (100 B) Télécharger le fichier
ACM-Reference-Format.dbx (647 B) Télécharger le fichier
acmart.dtx (214.71 Ko) Télécharger le fichier
acmart.ins (1016 B) Télécharger le fichier
makefile (1.1 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-02002689 , version 1 (31-01-2019)
hal-02002689 , version 2 (25-07-2019)

Identifiers

Cite

Matías R Bender, Jean-Charles Faugère, Elias P. Tsigaridas. Gröbner Basis over Semigroup Algebras: Algorithms and Applications for Sparse Polynomial Systems. ISSAC 2019 - 44th International Symposium on Symbolic and Algebraic Computation, Jul 2019, Beijing, China. pp.42-49, ⟨10.1145/3326229.3326248⟩. ⟨hal-02002689v2⟩
309 View
471 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More