Abstract
This paper addresses the problem of piecewise linear approximation of implicit surfaces. We first give a criterion ensuring that the zero-set of a smooth function and the one of a piecewise linear approximation of it are isotopic. Then, we deduce from this criterion an implicit surface meshing algorithm certifying that the output mesh is isotopic to the actual implicit surface. This is the first algorithm achieving this goal in a provably correct way.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Agrachev, A.A., Pallaschke, D., Scholtes, S.: On Morse theory for piecewise smooth functions. J. Dyn. Control Syst. 3, 449–469 (1997)
Banchoff, Th.: Critical points and curvature for embedded polyhedra. J. Differ. Geom. 1, 245–256 (1967)
Bern, M., Eppstein, D., Gilbert, J.: Provably good mesh generation. J. Comput. Syst. Sci. 48, 384–409 (1994)
Bloomenthal, J.: Introduction to Implicit Surfaces. Morgan Kaufmann Series in Computer Graphics and Geometric Modeling. Morgan Kaufmann, San Mateo (1997)
Boissonnat, J.D., Oudot, S.: Provably good sampling and meshing of surfaces. Graph. Models 67, 405–451 (2005)
Chazal, F., Cohen-Steiner, D.: A condition for isotopic approximation. In: Proc. ACM Symp. Solid Modeling and Applications, 2004
Cheng, S.-W., Dey, T.K., Ramos, E., Ray, T.: Sampling and meshing a surface with guaranteed topology and geometry. In: Proc. 20th Sympos. Comput. Geom., pp. 280–289, 2004
Dobkin, D.P., Levy, S.V.F., Thurston, W.P., Wilks, A.R.: Contour tracing by piecewise linear approximations. ACM Trans. Graph. 9(4), 389–423 (1990)
Edelsbrunner, H.: Surface reconstruction by wrapping finite point sets in space. In: Aronov, B., Basu, S., Pach, J., Sharir, M. (eds.) Discrete and Computational Geometry. The Goodman–Pollack Festschrift, pp. 379–404. Springer, Berlin (2003)
Edelsbrunner, H., Harer, J., Zomorodian, A.: Hierarchical Morse complexes for piecewise linear 2-manifolds. In: Proc. 17th Annu. ACM Sympos. Comput. Geom., pp. 70–79, 2001
Goresky, M., MacPherson, R.: Stratified Morse Theory. Springer, Berlin (1988)
Gottlieb, D., Samaranayake, G.: The index of discontinuous vector fields. N. Y. J. Math. 1, 130–148 (1995)
Hatcher, A.: Algebraic Topology. Cambridge University Press, Cambridge (2002)
Hirsch, M.: Differential Topology. Springer, Berlin (1976)
Lopez, A., Brodlie, K.: Improving the robustness and accuracy of the marching cubes algorithm for isosurfacing. IEEE Trans. Vis. Comput. Graph. 9(1), 2003
Lorensen, W.E., Cline, H.E.: Marching Cubes: a high resolution 3D surface construction algorithm. Comput. Graph. 21(4), 163–169 (1987)
Milnor, J.: Morse Theory. Ann. of Math. Studies, vol. 51. Princeton University Press, Princeton (1963)
Plantinga, S., Vegter, G.: Isotopic approximation of implicit curves and surfaces. In: Proceeding Symposium on Geometry Processing, pp. 251–260. Nice, France (2004)
Stander, B.T., Hart, J.C.: Guaranteeing the Topology of an Implicit Surface Polygonizer for Interactive Modeling. In: Proceedings of SIGGRAPH 97, pp. 279–286
Rourke, C.P., Sanderson, B.J.: Introduction to Piecewise-Linear Topology. Springer, Berlin (1982)
Ruppert, J.: A Delaunay refinement algorithm for quality 2-dimensional mesh generation. J. Algorithms 18, 548–585 (1995)
Sard, A.: The measure of the critical values of differentiable maps. Bull. Am. Math. Soc. 48, 883–890 (1942)
Shewchuk, J.R.: What is a good linear finite element? Interpolation, conditioning, and quality measures. In: Eleventh International Meshing Roundtable, Ithaca, New York, pp. 115–126, Sandia National Laboratories, September 2002
Snyder, J.M.: Interval analysis for computer graphics. In: Proceedings of SIGGRAPH 92, pp. 121–130
Velho, L., Gomes, J., de Figueiredo, L.H.: Implicit Objects in Computer Graphics. Springer, Berlin (2002)
Velho, L.: Simple and efficient polygonization of implicit surfaces. J. Graph. Tools 1(2), 5–24 (1996). ISSN 1086-7651
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Boissonnat, JD., Cohen-Steiner, D. & Vegter, G. Isotopic Implicit Surface Meshing. Discrete Comput Geom 39, 138–157 (2008). https://doi.org/10.1007/s00454-007-9011-4
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-007-9011-4