Sparse Gröbner Bases: the Unmixed Case

Jean-Charles Faugère 1 Pierre-Jean Spaenlehauer 2 Jules Svartz 1
1 PolSys - Polynomial Systems
LIP6 - Laboratoire d'Informatique de Paris 6, Inria Paris-Rocquencourt
2 CARAMEL - Cryptology, Arithmetic: Hardware and Software
Inria Nancy - Grand Est, LORIA - ALGO - Department of Algorithms, Computation, Image and Geometry
Abstract : Toric (or sparse) elimination theory is a framework developped during the last decades to exploit monomial structures in systems of Laurent polynomials. Roughly speaking, this amounts to computing in a \emph{semigroup algebra}, \emph{i.e.} an algebra generated by a subset of Laurent monomials. In order to solve symbolically sparse systems, we introduce \emph{sparse Gröbner bases}, an analog of classical Gröbner bases for semigroup algebras, and we propose sparse variants of the $F_5$ and FGLM algorithms to compute them. Our prototype ''proof-of-concept'' implementation shows large speed-ups (more than 100 for some examples) compared to optimized (classical) Gröbner bases software. Moreover, in the case where the generating subset of monomials corresponds to the points with integer coordinates in a normal lattice polytope $\mathcal P\subset\mathbb R^n$ and under regularity assumptions, we prove complexity bounds which depend on the combinatorial properties of $\mathcal P$. These bounds yield new estimates on the complexity of solving $0$-dim systems where all polynomials share the same Newton polytope (\emph{unmixed case}). For instance, we generalize the bound $\min(n_1,n_2)+1$ on the maximal degree in a Gröbner basis of a $0$-dim. bilinear system with blocks of variables of sizes $(n_1,n_2)$ to the multilinear case: $\sum n_i - \max(n_i)+1$. We also propose a variant of Fröberg's conjecture which allows us to estimate the complexity of solving overdetermined sparse systems.
Type de document :
Communication dans un congrès
ISSAC 2014, Jul 2014, Kobe, Japan. 2014, <10.1145/2608628.2608663>
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-00953501
Contributeur : Pierre-Jean Spaenlehauer <>
Soumis le : mercredi 25 juin 2014 - 11:01:05
Dernière modification le : mardi 30 mai 2017 - 01:17:24
Document(s) archivé(s) le : jeudi 25 septembre 2014 - 10:55:34

Fichiers

GroebnerCreux.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Jean-Charles Faugère, Pierre-Jean Spaenlehauer, Jules Svartz. Sparse Gröbner Bases: the Unmixed Case. ISSAC 2014, Jul 2014, Kobe, Japan. 2014, <10.1145/2608628.2608663>. <hal-00953501v3>

Partager

Métriques

Consultations de
la notice

389

Téléchargements du document

273