An Efficient Algorithm for Generalized Polynomial Partitioning and Its Applications

Authors Pankaj K. Agarwal, Boris Aronov , Esther Ezra, Joshua Zahl



PDF
Thumbnail PDF

File

LIPIcs.SoCG.2019.5.pdf
  • Filesize: 0.5 MB
  • 14 pages

Document Identifiers

Author Details

Pankaj K. Agarwal
  • Department of Computer Science, Duke University, Box 90129, Durham, NC 27708-0129 USA
Boris Aronov
  • Department of Computer Science and Engineering, Tandon School of Engineering, New York University, Brooklyn, NY 11201, USA
Esther Ezra
  • Department of Computer Science, Bar-Ilan University, Ramat Gan, Israel
  • School of Math, Georgia Institute of Technology, Atlanta, Georgia 30332, USA
Joshua Zahl
  • Department of Mathematics, University of British Columbia, Vancouver, BC V6T 1Z2, Canada

Cite AsGet BibTex

Pankaj K. Agarwal, Boris Aronov, Esther Ezra, and Joshua Zahl. An Efficient Algorithm for Generalized Polynomial Partitioning and Its Applications. In 35th International Symposium on Computational Geometry (SoCG 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 129, pp. 5:1-5:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
https://doi.org/10.4230/LIPIcs.SoCG.2019.5

Abstract

In 2015, Guth proved that if S is a collection of n g-dimensional semi-algebraic sets in R^d and if D >= 1 is an integer, then there is a d-variate polynomial P of degree at most D so that each connected component of R^d \ Z(P) intersects O(n/D^{d-g}) sets from S. Such a polynomial is called a generalized partitioning polynomial. We present a randomized algorithm that computes such polynomials efficiently - the expected running time of our algorithm is linear in |S|. Our approach exploits the technique of quantifier elimination combined with that of epsilon-samples. We present four applications of our result. The first is a data structure for answering point-enclosure queries among a family of semi-algebraic sets in R^d in O(log n) time, with storage complexity and expected preprocessing time of O(n^{d+epsilon}). The second is a data structure for answering range search queries with semi-algebraic ranges in O(log n) time, with O(n^{t+epsilon}) storage and expected preprocessing time, where t > 0 is an integer that depends on d and the description complexity of the ranges. The third is a data structure for answering vertical ray-shooting queries among semi-algebraic sets in R^{d} in O(log^2 n) time, with O(n^{d+epsilon}) storage and expected preprocessing time. The fourth is an efficient algorithm for cutting algebraic planar curves into pseudo-segments.

Subject Classification

ACM Subject Classification
  • Mathematics of computing → Combinatorial algorithms
  • Theory of computation → Randomness, geometry and discrete structures
Keywords
  • Polynomial partitioning
  • quantifier elimination
  • semi-algebraic range spaces
  • epsilon-samples

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Pankaj K. Agarwal, Boris Aronov, Esther Ezra, and Joshua Zahl. An Efficient Algorithm for Generalized Polynomial Partitioning and Its Applications. CoRR, abs/1812.10269, 2018. URL: http://arxiv.org/abs/1812.10269.
  2. Pankaj K. Agarwal, Jivr'i Matouvsek, and Micha Sharir. On Range Searching with Semialgebraic Sets. II. SIAM J. Comput., 42(6):2039-2062, 2013. URL: http://dx.doi.org/10.1137/120890855.
  3. P.K. Agarwal. Simplex range searching and its variants: A review. A Journey Through Discrete Mathematics, pages 1-30, 2017. Google Scholar
  4. Boris Aronov, Esther Ezra, and Joshua Zahl. Constructive Polynomial Partitioning for Algebraic Curves in R^3 with Applications. In Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2019, San Diego, California, USA, January 6-9, 2019, pages 2636-2648, 2019. URL: http://dx.doi.org/10.1137/1.9781611975482.163.
  5. Sal Barone and Saugata Basu. Refined Bounds on the Number of Connected Components of Sign Conditions on a Variety. Discrete & Computational Geometry, 47(3):577-597, 2012. URL: http://dx.doi.org/10.1007/s00454-011-9391-3.
  6. S. Basu, R. Pollack, and M.F. Roy. Algorithms in Real Algebraic Geometry, volume 10. Springer Verlag, Berlin-Heidelberg, 2006. Google Scholar
  7. Saugata Basu. Algorithms in Real Algebraic Geometry: A Survey. CoRR, abs/1409.1534, 2014. URL: http://arxiv.org/abs/1409.1534.
  8. J. Bochnak, M. Coste, and M.F. Roy. Géométrie algébrique réelle (Second edition in english: Real Algebraic Geometry), volume 12(36). Springer Verlag, Berlin-Heidelberg, 1998. Google Scholar
  9. Bernard Chazelle, Herbert Edelsbrunner, Leonidas J. Guibas, and Micha Sharir. A Singly Exponential Stratification Scheme for Real Semi-Algebraic Varieties and its Applications. Theor. Comput. Sci., 84(1):77-105, 1991. URL: http://dx.doi.org/10.1016/0304-3975(91)90261-Y.
  10. J. Fox, J. Pach, A. Sheffer, A. Suk, and J. Zahl. A semi-algebraic version of Zarankiewicz’s problem. J. Eur. Math. Soc., 19(6):1785-1810, 2017. Google Scholar
  11. L. Guth. Polynomial partitioning for a set of varieties. Math. Proc. Camb. Philos. Soc., 159(3):459-469, 2015. Google Scholar
  12. L Guth and N. Katz. On the Erdos distinct distance problem in the plane. Ann. of Math., 181:155-190, 2015. Google Scholar
  13. S. Har-Peled. Geometric Approximation Algorithms, volume 173. AMS Press, Boston, MA, 2011. Google Scholar
  14. Vladlen Koltun. Almost tight upper bounds for vertical decompositions in four dimensions. J. ACM, 51(5):699-730, 2004. URL: http://dx.doi.org/10.1145/1017460.1017461.
  15. Micha Sharir and Joshua Zahl. Cutting algebraic curves into pseudo-segments and applications. J. Comb. Theory, Ser. A, 150:1-35, 2017. URL: http://dx.doi.org/10.1016/j.jcta.2017.02.006.
  16. V.N. Vapnik and A.Y. Chervonenkis. On the uniform convergence of relative frequencies of events to their probabilities. Theory Probab. Appl., 16:264-280, 1971. Google Scholar
  17. H.E. Warren. Lower bound for approximation by nonlinear manifolds. Trans. Amer. Math. Soc., 133:167-178, 1968. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail