Topological modifications and hierarchical representation of cell complexes in arbitrary dimensions

We propose a set of atomic modeling operators for simplifying and refining cell complexes in arbitrary dimensions. Such operators either preserve the homology of the cell complex, or they modify it in a controlled way. We show that such operators form a minimally complete basis for updating cell complexes, and we compare them with various operators previously proposed in the literature. Based on the new operators, we define a hierarchical model for cell complexes, that we call a Hierarchical Cell Complex (HCC), and we discuss its properties. An HCC implicitly encodes a virtually continuous set of complexes obtained from the original complex through the application of our operators. Then, we describe the implementation of a version of the HCC based on the subset of the proposed modeling operators which preserve homology. We apply the homology-preserving HCC to enhance the efficiency in extracting homology generators at different resolutions. To this aim, we propose an algorithm which computes homology generators on the coarsest representation of the original complex, and uses the hierarchical model to propagate them to complexes at any intermediate resolution, and we prove its correctness. Finally, we present experimental results showing the efficiency and effectiveness of the proposed approach.

[1]  Leila De Floriani,et al.  Multi-resolution Cell Complexes Based on Homology-Preserving Euler Operators , 2013, DGCI.

[2]  M. Mrozek,et al.  Homology Computation by Reduction of Chain Complexes , 1998 .

[3]  Max K. Agoston,et al.  Computer graphics and geometric modeling - Mathematics , 2005 .

[4]  Hélio Lopes,et al.  Handlebody Representation for Surfaces and Its Applications to Terrain Modeling , 2003, Int. J. Shape Model..

[5]  Mantyla,et al.  GWB: A Solid Modeler with Euler Operators , 1982, IEEE Computer Graphics and Applications.

[6]  Herbert Edelsbrunner,et al.  Algorithms in Combinatorial Geometry , 1987, EATCS Monographs in Theoretical Computer Science.

[7]  Max K. Agoston,et al.  Computer Graphics and Geometric Modelling - Mathematics , 2005 .

[8]  R. Ho.  Algebraic Topology , 2022 .

[9]  Guillaume Damiand,et al.  Removal and Contraction for n-Dimensional Generalized Maps , 2003, DGCI.

[10]  Abel J. P. Gomes.  Euler operators for stratified objects with incomplete boundaries , 2004, SM '04.

[11]  Sang Hun Lee,et al.  Partial entity structure: a compact non-manifold boundary representation based on partial topological entities , 2001, SMA '01.

[12]  松本 幸夫.  An introduction to Morse theory , 2002 .

[13]  Yll Haxhimusa,et al.  Computing Homology Group Generators of Images Using Irregular Graph Pyramids , 2007, GbRPR.

[14]  Guillaume Damiand,et al.  Insertion and Expansion Operations for n -Dimensional Generalized Maps , 2008 .

[15]  Carine Grasset-Simon,et al.  Pyramids of n-Dimensional Generalized Maps , 2005, GbRPR.

[16]  Martti Mäntylä,et al.  Introduction to Solid Modeling , 1988 .

[17]  R. Forman.  Morse Theory for Cell Complexes , 1998 .

[18]  H. Masuda.  Topological operators and Boolean operations for complex-based nonmanifold geometric models , 1993, Comput. Aided Des..

[19]  Hélio Lopes,et al.  Structural operators for modeling 3-manifolds , 1997, SMA '97.

[20]  Charles M. Eastman,et al.  Geometric Modeling Using the Euler Operators , 1979 .

[21]  Luc Brun,et al.  Introduction to Combinatorial Pyramids , 2000, Digital and Image Geometry.

[22]  André Lieutier,et al.  Efficient Data Structure for Representing and Simplifying Simplicial complexes in High Dimensions , 2012, Int. J. Comput. Geom. Appl..

[23]  Guillaume Damiand,et al.  Removal Operations in nD Generalized Maps for Efficient Homology Computation , 2012, CTIC.

[24]  Leila De Floriani,et al.  Topological Operators on Cell Complexes in Arbitrary Dimensions , 2012, CTIC.