Probabilistic Algorithm for Computing the Dimension of Real Algebraic Sets

Ivan Bannwarth 1 Mohab Safey El Din 1, *
* Corresponding author
1 PolSys - Polynomial Systems
LIP6 - Laboratoire d'Informatique de Paris 6, Inria Paris-Rocquencourt
Abstract : Let f ∈ Q[X1,. .. , Xn] be a polynomial of degree D. We consider the problem of computing the real dimension of the real algebraic set defined by f = 0. Such a problem can be reduced to quanti-fier elimination. Hence it can be tackled with Cylindrical Algebraic Decomposition within a complexity that is doubly exponential in the number of variables. More recently, denoting by d the dimension of the real algebraic set under study, deterministic algorithms running in time D O(d(n−d)) have been proposed. However, no implementation reflecting this complexity gain has been obtained and the constant in the exponent remains unspecified. We design a probabilistic algorithm which runs in time which is essentially cubic in D d(n−d). Our algorithm takes advantage of gener-icity properties of polar varieties to avoid computationally difficult steps of quantifier elimination. We also report on a first implementation. It tackles examples that are out of reach of the state-of-the-art and its practical behavior reflects the complexity gain.
Document type :
Conference papers
Complete list of metadatas

Cited literature [40 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01152751
Contributor : Ivan Bannwarth <>
Submitted on : Tuesday, May 19, 2015 - 2:52:14 PM
Last modification on : Thursday, March 21, 2019 - 1:06:10 PM
Long-term archiving on : Thursday, April 20, 2017 - 1:42:41 AM

File

HAL_issac_2015.pdf
Publisher files allowed on an open archive

Identifiers

Citation

Ivan Bannwarth, Mohab Safey El Din. Probabilistic Algorithm for Computing the Dimension of Real Algebraic Sets. ISSAC'15 - 40th International Symposium on Symbolic and Algebraic Computation, Jul 2015, Bath, United Kingdom. pp.37-44, ⟨10.1145/2755996.2756670⟩. ⟨hal-01152751⟩

Share

Metrics

Record views

341

Files downloads

299