Computing Small Certificates of Inconsistency of Quadratic Fewnomial Systems - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

Computing Small Certificates of Inconsistency of Quadratic Fewnomial Systems


Bézout 's theorem states that dense generic systems of n multivariate quadratic equations in n variables have 2 n solutions over algebraically closed fields. When only a small subset M of monomials appear in the equations (fewnomial systems), the number of solutions may decrease dramatically. We focus in this work on subsets of quadratic monomials M such that generic systems with support M do not admit any solution at all. For these systems, Hilbert's Nullstellensatz ensures the existence of algebraic certificates of inconsistency. However, up to our knowledge all known bounds on the sizes of such certificates —including those which take into account the Newton polytopes of the polynomials— are exponential in n. Our main results show that if the inequality 2|M| − 2n ≤ √ 1 + 8ν − 1 holds for a quadratic fewnomial system – where ν is the matching number of a graph associated with M, and |M| is the cardinality of M – then there exists generically a certificate of inconsistency of linear size (measured as the number of coefficients in the ground field K). Moreover this certificate can be computed within a polynomial number of arithmetic operations. Next, we evaluate how often this inequality holds, and we give evidence that the probability that the inequality is satisfied depends strongly on the number of squares. More precisely, we show that if M is picked uniformly at random among the subsets of n + k + 1 quadratic monomials containing at least Ω(n 1/2+ε) squares, then the probability that the inequality holds tends to 1 as n grows. Interestingly, this phenomenon is related with the matching number of random graphs in the Erdös-Renyi model. Finally, we provide experimental results showing that certificates in inconsistency can be computed for systems with more than 10000 variables and equations.
Fichier principal
Vignette du fichier
fewnomials.pdf (243.41 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01314651 , version 1 (18-05-2016)





Jean-Charles Faugère, Pierre-Jean Spaenlehauer, Jules Svartz. Computing Small Certificates of Inconsistency of Quadratic Fewnomial Systems. International Symposium on Symbolic and Algebraic Computation (ISSAC 2016), Jul 2016, Waterloo, Canada. pp.223-230, ⟨10.1145/2930889.2930927⟩. ⟨hal-01314651⟩
278 View
163 Download



Gmail Facebook X LinkedIn More