Skip to Main content Skip to Navigation
Conference papers

On the Boolean complexity of real root refinement

Victor Pan 1 Elias Tsigaridas 2
2 PolSys - Polynomial Systems
LIP6 - Laboratoire d'Informatique de Paris 6, Inria Paris-Rocquencourt
Abstract : We assume that a real square-free polynomial $A$ has a degree $d$, a maximum coefficient bitsize $\tau$ and a real root lying in an isolating interval and having no nonreal roots nearby (we quantify this assumption). Then, we combine the {\em Double Exponential Sieve} algorithm (also called the {\em Bisection of the Exponents}), the bisection, and Newton iteration to decrease the width of this inclusion interval by a factor of $t=2^{-L}$. The algorithm has Boolean complexity ${\widetilde{\mathcal{O}}_B}(d^2 \tau + d L )$. Our algorithms support the same complexity bound for the refinement of $r$ roots, for any $r\le d$.
Document type :
Conference papers
Complete list of metadata

Cited literature [38 references]  Display  Hide  Download
Contributor : Elias Tsigaridas <>
Submitted on : Thursday, April 25, 2013 - 2:10:08 PM
Last modification on : Friday, January 8, 2021 - 5:42:02 PM
Long-term archiving on: : Monday, April 3, 2017 - 11:38:14 PM


Files produced by the author(s)



Victor Pan, Elias Tsigaridas. On the Boolean complexity of real root refinement. ISSAC 2013 - International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. ⟨10.1145/2465506.2465938⟩. ⟨hal-00816214v3⟩



Record views


Files downloads