Abstract
Let \(P \in {\mathbb {Z}}[X, Y]\) be a given square-free polynomial of total degree d with integer coefficients of bitsize less than \(\tau \), and let \(V_{{\mathbb {R}}} (P) := \{ (x,y) \in {\mathbb {R}}^2\mid P (x,y) = 0 \}\) be the real planar algebraic curve implicitly defined as the vanishing set of P. We give a deterministic algorithm to compute the topology of \(V_{{\mathbb {R}}} (P)\) in terms of a simple straight-line planar graph \({\mathcal {G}}\) that is isotopic to \(V_{{\mathbb {R}}} (P)\). The upper bound on the bit complexity of our algorithm is in \({\tilde{O}}(d^5 \tau + d^6)\)(The expression “the complexity is in \({\tilde{O}}(f(d,\tau ))\)” with f a polynomial in \(d,\tau \) is an abbreviation for the expression “there exists a positive integer c such that the complexity is in \(O(({\log d }\log \tau )^c f(d,\tau ))\)”); which matches the current record bound for the problem of computing the topology of a planar algebraic curve. However, compared to existing algorithms with comparable complexity, our method does not consider any change of coordinates, and more importantly the returned simple planar graph \({\mathcal {G}}\) yields the cylindrical algebraic decomposition information of the curve in the original coordinates. Our result is based on two main ingredients: First, we derive amortized quantitative bounds on the roots of polynomials with algebraic coefficients as well as adaptive methods for computing the roots of bivariate polynomial systems that actually exploit this amortization. The results we obtain are more general that the previous literature. Our second ingredient is a novel approach for the computation of the local topology of the curve in a neighborhood of all singular points.
Similar content being viewed by others
Notes
We do not only prove existence of such an algorithm, but also present the algorithm in this paper.
We remark that our algorithm returns a purely combinatorial representation of the C.A.D., however isolating intervals of all points in all special and regular fibers are computed in sub-steps of the algorithm. By refining these intervals, an isotopic simple planar graph whose vertices are arbitrarily close to the curve can be obtained.
For instance, we aim to compute the location of the intersections of the curve with the four boundary edges of the adjacency box. However, we were not able to show how to distinguish between the special case, where the curve passes exactly the corner of a box, and the generic case, where the curve intersects one of the neighboring edges close to the corner, using only \({\tilde{O}}(d^6+d^5\tau )\) bit operations. In such cases, the information at the corner of the box stays ambiguous.
[21, Thm. 4] only provides a bound for the refinement of all isolating disks (i.e., for \(\mathrm {V}^*=\mathrm {V}_{{\mathbb {C}}}(f)\)), however, from the proof of [21, Thm. 4], the claimed bound directly follows. In addition, in [21, Thm. 4], the additive term \(nL\mu \) appears in the bound on the needed input precision. We remark that this is a typo and that the actual bound is better by a factor n. The proof of [21, Thm. 4] clearly shows this fact.
Notice that, in contrast to the general case, where the coefficients of f are not necessarily integers, the additional factor \(\max _{x\in \mathrm {V}_{{\mathbb {C}}}(f)}{\text {mul}}(x,f)\) is missing. This is due to the fact that, within the given complexity, we can first compute the square-free part \(f^\star \) of f and then work with \(f^\star \) to refine the isolating disks.
References
Alberti, L., Mourrain, B.: Regularity criteria for the topology of algebraic curves and surfaces. In: Mathematics of Surfaces XII (Sheffield 2007). Lecture Notes in Computer Science, vol. 4647, pp. 1–28. Springer, Berlin–Heidelberg (2007)
Alberti, L., Mourrain, B.: Visualisation of implicit algebraic curves. In: 15th Pacific Conference on Computer Graphics and Applications (Maui 2007), pp. 303–312. IEEE, Los Alamitos (2007)
Alberti, L., Mourrain, B., Wintz, J.: Topology and arrangement computation of semi-algebraic planar curves. Comput. Aided Geom. Design 25(8), 631–651 (2008)
Basu, S., Pollack, R., Roy, M.-F.: Algorithms in Real Algebraic Geometry. Algorithms and Computation in Mathematics, vol. 10. Springer, Berlin (2006). Revised version at http://perso.univ-rennes1.fr/marie-francoise.roy/
Becker, R., Sagraloff, M., Sharma, V., Yap, C.: A near-optimal subdivision algorithm for complex root isolation based on the Pellet test and Newton iteration. J. Symb. Comput. 86, 51–96 (2018)
Berberich, E., Emeliyanenko, P., Kobel, A., Sagraloff, M.: Exact symbolic-numeric computation of planar algebraic curves. Theoret. Comput. Sci. 491, 1–32 (2013)
Bodrato, M., Zanoni, A.: Long integers and polynomial evaluation with Estrin’s scheme. In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (Timişoara 2011), pp. 39–46. IEEE, Los Alamitos (2011)
Bouzidi, Y., Lazard, S., Moroz, G., Pouget, M., Rouillier, F., Sagraloff, M.: Solving bivariate systems using rational univariate representations. J. Complexity 37, 34–75 (2016)
Burr, M., Choi, S.W., Galehouse, B., Yap, Ch.K.: Complete subdivision algorithms. II. Isotopic meshing of singular algebraic curves. In: 21st International Symposium on Symbolic and Algebraic Computation (Linz/Hagenberg 2008), pp. 87–94. ACM, New York (2008)
Cheng, J., Lazard, S., Peñaranda, L., Pouget, M., Rouillier, F., Tsigaridas, E.: On the topology of real algebraic plane curves. Math. Comput. Sci. 4(1), 113–137 (2010)
Diatta, D.N., Mourrain, B., Ruatta, O.: On the computation of the topology of a non-reduced implicit space curve. In: 21st International Symposium on Symbolic and Algebraic Computation (Linz/Hagenberg 2008), pp. 47–54. ACM, New York (2008)
Eigenwillig, A., Kerber, M., Wolpert, N.: Fast and exact geometric analysis of real algebraic plane curves. In: 20th International Symposium on Symbolic and Algebraic Computation (Waterloo 2007), pp. 151–158. ACM, New York (2007)
von zur Gathen, J., Gerhard, J.: Modern Computer Algebra. Cambridge University Press, New York (1999)
González-Vega, L., El Kahoui, M.: An improved upper complexity bound for the topology computation of a real algebraic plane curve. J. Complexity 12(4), 527–544 (1996)
Gonzalez-Vega, L., Necula, I.: Efficient topology determination of implicitly defined algebraic plane curves. Comput. Aided Geom. Design 19(9), 719–743 (2002)
Kerber, M.: Geometric Algorithms for Algebraic Curves and Surfaces. PhD thesis, Universität des Saarlandes (2009). https://d-nb.info/1002267331/34
Kerber, M., Sagraloff, M.: A worst-case bound for topology computation of algebraic curves. J. Symb. Comput. 47(3), 239–258 (2012)
Kerber, M., Sagraloff, M.: Root refinement for real polynomials using quadratic interval refinement. J. Comput. Appl. Math. 280, 377–395 (2015)
Kobel, A., Sagraloff, M.: On the complexity of computing with planar algebraic curves. J. Complexity 31(2), 206–236 (2015)
Mehlhorn, K., Sagraloff, M., Wang, P.: From approximate factorization to root isolation. In: 38th International Symposium on Symbolic and Algebraic Computation (Boston 2013), pp. 283–290. ACM, New York (2013)
Mehlhorn, K., Sagraloff, M., Wang, P.: From approximate factorization to root isolation with application to cylindrical algebraic decomposition. J. Symb. Comput. 66, 34–69 (2015)
Pan, V.Y.: Univariate polynomials: nearly optimal algorithms for numerical factorization and root-finding. J. Symb. Comput. 33(5), 701–733 (2002)
Pan, V.Y., Tsigaridas, E.P.: On the Boolean complexity of real root refinement. In: 38th International Symposium on Symbolic and Algebraic Computation (Boston 2013), pp. 299–306. ACM, New York (2013)
Sagraloff, M., Mehlhorn, K.: Computing real roots of real polynomials. J. Symb. Comput. 73, 46–86 (2016)
Strzebonski, A., Tsigaridas, E.: Univariate real root isolation in an extension field and applications. J. Symb. Comput. 92, 31–51 (2019)
Wintz, J., Mourrain, B.: A subdivision arrangement algorithm for semi-algebraic curves: an overview. In: 15th Pacific Conference on Computer Graphics and Applications (Maui 2007), pp. 449–452. IEEE, Los Alamitos (2007)
Acknowledgements
We are grateful to the anonymous referees for their relevant remarks and suggestions.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Data sharing
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
Additional information
Editor in charge Kenneth Clarkson
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Diatta, D.N., Diatta, S., Rouillier, F. et al. Bounds for Polynomials on Algebraic Numbers and Application to Curve Topology. Discrete Comput Geom 67, 631–697 (2022). https://doi.org/10.1007/s00454-021-00353-w
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-021-00353-w