Faster One Block Quantifier Elimination for Regular Polynomial Systems of Equations - Archive ouverte HAL Access content directly
Conference Papers Year : 2021

Faster One Block Quantifier Elimination for Regular Polynomial Systems of Equations

Huu Phuoc Le
Mohab Safey El Din

Abstract

Quantifier elimination over the reals is a central problem in computational real algebraic geometry, polynomial system solving and symbolic computation. Given a semi-algebraic formula (whose atoms are polynomial constraints) with quantifiers on some variables, it consists in computing a logically equivalent formula involving only unquantified variables. When there is no alternation of quantifiers, one has a one block quantifier elimination problem. This paper studies a variant of the one block quantifier elimination in which we compute an almost equivalent formula of the input. We design a new probabilistic efficient algorithm for solving this variant when the input is a system of polynomial equations satisfying some regularity assumptions. When the input is generic, involves $s$ polynomials of degree bounded by $D$ with $n$ quantified variables and $t$ unquantified ones, we prove that this algorithm outputs semi-algebraic formulas of degree bounded by $\mathcal{D}$ using $O\ {\widetilde{~}}\left ((n-s+1)\ 8^{t}\ \mathcal{D}^{3t+2}\ \binom{t+\mathcal{D}}{t} \right )$ arithmetic operations in the ground field where $\mathcal{D} = 2(n+s)\ D^s(D-1)^{n-s+1}\ \binom{n}{s}$. In practice, it allows us to solve quantifier elimination problems which are out of reach of the state-of-the-art (up to $8$ variables).
Fichier principal
Vignette du fichier
main.pdf (406.45 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03180730 , version 1 (25-03-2021)
hal-03180730 , version 2 (05-05-2021)
hal-03180730 , version 3 (23-05-2021)
hal-03180730 , version 4 (26-05-2021)

Identifiers

Cite

Huu Phuoc Le, Mohab Safey El Din. Faster One Block Quantifier Elimination for Regular Polynomial Systems of Equations. International Symposium on Symbolic and Algebraic Computation 2021 (ISSAC '21), Jul 2021, Saint Petersburg, Russia. pp.265-272, ⟨10.1145/3452143.3465546⟩. ⟨hal-03180730v4⟩
133 View
167 Download

Altmetric

Share

Gmail Facebook X LinkedIn More