Linear algebraic representation for topological structures

With increased complexity of geometric data, topological models play an increasingly important role beyond boundary representations, assemblies, finite elements, image processing, and other traditional modeling applications. While many graph- and index-based data structures have been proposed, no standard representation has emerged as of now. Furthermore, such representations typically do not deal with representations of mappings and functions and do not scale to support parallel processing, open source, and client-based architectures. We advocate that a proper mathematical model for all topological structures is a (co)chain complex: a sequence of (co)chain spaces and (co)boundary mappings. This in turn implies all topological structures may be represented by a collection of sparse matrices. We propose a Linear Algebraic Representation (LAR) scheme for mod 2 (co)chain complexes using CSR matrices and show that it supports a variety of topological computations using standard matrix algebra, without any overhead in space or running time. A full open source implementation of LAR is available and is being used for a variety of applications.

[1]  Anil N. Hirani,et al.  Discrete exterior calculus , 2005, math/0508341.

[2]  Yiying Tong,et al.  Compact combinatorial maps: A volume mesh data structure , 2013, Graph. Model..

[3]  John R. Gilbert,et al.  Parallel Sparse Matrix-Matrix Multiplication and Indexing: Implementation and Experiments , 2011, SIAM J. Sci. Comput..

[4]  Carlo Cattani,et al.  Dimension-independent modeling with simplicial complexes , 1993, TOGS.

[5]  Yiying Tong,et al.  Compact combinatorial maps in 3d , 2012, CVM'12.

[6]  ARISTIDES A. G. REQUICHA,et al.  Representations for Rigid Solids: Theory, Methods, and Systems , 1980, CSUR.

[7]  R. Ho Algebraic Topology , 2022 .

[8]  Tony C. Woo,et al.  A Combinatorial Analysis of Boundary Data Structure Schemata , 1985, IEEE Computer Graphics and Applications.

[9]  Jarek Rossignac,et al.  Solid modeling , 1994, IEEE Computer Graphics and Applications.

[10]  Leonidas J. Guibas,et al.  Primitives for the manipulation of general subdivisions and the computation of Voronoi diagrams , 1983, STOC.

[11]  Vadim Shapiro,et al.  Solid and physical modeling with chain complexes , 2007, Symposium on Solid and Physical Modeling.

[12]  Josef Hoschek,et al.  Handbook of Computer Aided Geometric Design , 2002 .

[13]  Vadim Shapiro,et al.  Chain-Based Representations for Solid and Physical Modeling , 2008, IEEE Transactions on Automation Science and Engineering.

[14]  Hong Qin,et al.  Restricted Trivariate Polycube Splines for Volumetric Data Modeling , 2012, IEEE Transactions on Visualization and Computer Graphics.

[15]  Thomas J. R. Hughes,et al.  Isogeometric Analysis: Toward Integration of CAD and FEA , 2009 .

[16]  Jean-Claude Hausmann,et al.  Mod Two Homology and Cohomology , 2015 .

[17]  Bruce G. Baumgart Winged edge polyhedron representation. , 1972 .

[18]  Erik Brisson,et al.  Representing geometric structures in d dimensions: topology and order , 1989, SCG '89.