Local tests for consistency of support hyperplane data

Support functions and samples of convex bodies in Rn are studied with regard to conditions for their validity or consistency. Necessary and sufficient conditions for a function to be a support function are reviewed in a general setting. An apparently little known classical such result for the planar case due to Rademacher and based on a determinantal inequality is presented and a generalization to arbitrary dimensions is developed. These conditions are global in the sense that they involve values of the support function at widely separated points. The corresponding discrete problem of determining the validity of a set of samples of a support function is treated. Conditions similar to the continuous inequality results are given for the consistency of a set of discrete support observations. These conditions are in terms of a series of local inequality tests involving only neighboring support samples. Our results serve to generalize existing planar conditions to arbitrary dimensions by providing a generalization of the notion of nearest neighbor for plane vectors which utilizes a simple positive cone condition on the respective support sample normals.

[1]  Leo F. Boron,et al.  Theory of Convex Bodies , 1988 .

[2]  George C. Verghese,et al.  Curvatures of surfaces and their shadows , 1990 .

[3]  P. McDoland,et al.  Redundancy and Linear Programs , 1982 .

[4]  Heinrich W. Guggenheimer,et al.  Applicable geometry : global and local convexity , 1977 .

[5]  John Paul Greschak,et al.  Reconstructing convex sets , 1985 .

[6]  Robert L. Smith,et al.  Hit-and-run algorithms for the identification of nonredundant linear inequalities , 1987, Math. Program..

[7]  Van Hove,et al.  Silhouette-slice theorems , 1986 .

[8]  Jerry L. Prince,et al.  Reconstructing Convex Sets from Support Line Measurements , 1990, IEEE Trans. Pattern Anal. Mach. Intell..

[9]  Jacques G. Verly,et al.  A silhouette-slice theorem for opaque 3-D objects , 1985, ICASSP '85. IEEE International Conference on Acoustics, Speech, and Signal Processing.

[10]  F. Frances Yao,et al.  Computational Geometry , 1991, Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity.

[11]  Sanjeev R. Kulkarni,et al.  Convex set estimation from support line measurements and applications to target reconstruction from laser radar data , 1990, Photonics West - Lasers and Applications in Science and Engineering.

[12]  Avinash Shreedhar Lele.  Convex set reconstruction from support line measurements and its application to laser radar data , 1990 .

[13]  Y. J. Tejwani,et al.  Robot vision , 1989, IEEE International Symposium on Circuits and Systems,.

[14]  Steven Skiena,et al.  Probing Convex Polygons with X-Rays , 1988, SIAM J. Comput..

[15]  Michael Ian Shamos,et al.  Computational geometry: an introduction , 1985 .

[16]  Henry Stark,et al.  Shape estimation in computer tomography from minimal data , 1988, [1988 Proceedings] 9th International Conference on Pattern Recognition.

[17]  Steven S Skiena,et al.  Probing Convex Polygons with Half-Planes , 1991, J. Algorithms.

[18]  Jerry L Prince.  Geometric model-based estimation from projections , 1988 .

[19]  Sanjeev R. Kulkarni,et al.  Convex-polygon estimation from support-line measurements and applications to target reconstruction from laser-radar data , 1992 .

[20]  Tomás Lozano-Pérez,et al.  Tactile Recognition and Localization Using Object Models: The Case of Polyhedra on a Plane , 1984, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[21]  Jerry L. Prince,et al.  Convex set reconstruction using prior shape information , 1991, CVGIP Graph. Model. Image Process..

[22]  M. C. Cheng.  General criteria for redundant and nonredundant linear inequalities , 1987 .

[23]  Steven Skiena,et al.  Problems in geometric probing , 1989, Algorithmica.

[24]  H. Rademacher.  Über eine funktionale Ungleichung in der Theorie der konvexen Körper , 1922 .

[25]  N. Ohta,et al.  Estimating absorption bands of component dyes by means of principal component analysis , 1973 .

[26]  A. Willsky,et al.  Reconstruction from projections based on detection and estimation of objects--Parts I and II: Performance analysis and robustness analysis , 1984 .

[27]  Thomas B. Sheridan,et al.  An Automated Tactile Sensing Strategy for Planar Object Recognition and Localization , 1990, IEEE Trans. Pattern Anal. Mach. Intell..

[28]  D. T. Lee,et al.  Computational Geometry—A Survey , 1984, IEEE Transactions on Computers.