Proximity in Arrangements of Algebraic Sets

Let X be an arrangement of n algebraic sets Xi in d-space, where the Xi are either parametrized or zero-sets of dimension $0\le m_i\le d-1$. We study a number of decompositions of d-space into connected regions in which the distance-squared function to X has certain invariances. Each region is contained in a single connected component of the complement of the bifurcation set $\cB$ of the family of distance-squared functions or of certain subsets of $\cB$. The decompositions can be used in the following proximity problems: given some point, find the k nearest sets Xi in the arrangement, find the nearest point in X, or (assuming that X is compact) find the farthest point in X and hence the smallest enclosing $(d-1)$-sphere. We give bounds on the complexity of the decompositions in terms of n, d, and the degrees and dimensions of the algebraic sets Xi.

[1]  M. Goresky,et al.  Stratified Morse theory , 1988 .

[2]  Raimund Seidel,et al.  Voronoi diagrams and arrangements , 1986, Discret. Comput. Geom..

[3]  V. I. Arnol'd,et al.  Normal forms for functions near degenerate critical points, the Weyl groups of Ak, Dk, Ek and Lagrangian singularities , 1972 .

[4]  J. Risler,et al.  Real algebraic and semi-algebraic sets , 1990 .

[5]  George E. Collins,et al.  Quantifier elimination for real closed fields by cylindrical algebraic decomposition , 1975 .

[6]  A. Dimca.  Topics on Real and Complex Singularities , 1987 .

[7]  John W. Bruce.  Lines, circles, focal and symmetry sets , 1995, Mathematical Proceedings of the Cambridge Philosophical Society.

[8]  M. Spivak.  A comprehensive introduction to differential geometry , 1979 .

[9]  A. Dold.  Lectures on Algebraic Topology , 1972 .

[10]  I. R. Porteous,et al.  The normal singularities of a submanifold , 1971 .

[11]  Joachim H. Rieger,et al.  Computing View Graphs of Algebraic Surfaces , 1993, J. Symb. Comput..

[12]  Dima Grigoriev,et al.  Solving Systems of Polynomial Inequalities in Subexponential Time , 1988, J. Symb. Comput..

[13]  Heinz Kredel,et al.  Gröbner Bases: A Computational Approach to Commutative Algebra , 1993 .

[14]  J. H. Rieger.  On the complexity and computation of view graphs of piecewise smooth algebraic surfaces , 1996, Philosophical Transactions of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[15]  Leonidas J. Guibas,et al.  A Singly Exponential Stratification Scheme for Real Semi-Algebraic Varieties and its Applications , 1991, Theor. Comput. Sci..

[16]  Micha Sharir,et al.  Davenport-Schinzel sequences and their geometric applications , 1995, Handbook of Computational Geometry.

[17]  John F. Canny,et al.  Generalised Characteristic Polynomials , 1990, J. Symb. Comput..

[18]  J. Milnor.  On the Betti numbers of real varieties , 1964 .

[19]  Kyoji Saito,et al.  Quasihomogene isolierte Singularitäten von Hyperflächen , 1971 .

[20]  Otfried Cheong,et al.  The Voronoi Diagram of Curved Objects , 1995, SCG '95.