Improved Algebraic Degeneracy Testing
Jean Cardinal,Micha Sharir
DOI: https://doi.org/10.1007/s00454-024-00673-7
2024-06-27
Discrete & Computational Geometry
Abstract:In the classical linear degeneracy testing problem, we are given n real numbers and a k -variate linear polynomial F , for some constant k , and have to determine whether there exist k numbers from the set such that . We consider a generalization of this problem in which F is an arbitrary constant-degree polynomial, we are given k sets of n real numbers, and have to determine whether there exists a k -tuple of numbers, one in each set, on which F vanishes. We give the first improvement over the naïve algorithm for this problem (where the notation omits subpolynomial factors). We show that the problem can be solved in time for even k and in time for odd k in the real RAM model of computation. We also prove that for , the problem can be solved in time in the algebraic decision tree model, and for it can be solved in time in the same model, both improving on the above uniform bounds. All our results rely on an algebraic generalization of the standard meet-in-the-middle algorithm for k -SUM, powered by recent algorithmic advances in the polynomial method for semi-algebraic range searching. In fact, our main technical result is much more broadly applicable, as it provides a general tool for detecting incidences and other interactions between points and algebraic surfaces in any dimension. In particular, it yields an efficient algorithm for a general, algebraic version of Hopcroft's point-line incidence detection problem in any dimension.
mathematics,computer science, theory & methods