Efficient construction of 2-chains representing a basis of \(H_{2}(\overline {\Omega }, \partial {\Omega }; \mathbb {Z})\)
type: Item
instance of: scholarly article
title: Efficient construction of 2-chains representing a basis of \(H_{2}(\overline {\Omega }, \partial {\Omega }; \mathbb {Z})\)
author: Enrico Bertolazzi
author: Riccardo Ghiloni
author: Ruben Specogna
author: Ana M. Alonso Rodriguez
published in: Advances in Computational Mathematics
publication date: 2018-12-18T00:00:00Z
full work available at URL: https://arxiv.org/abs/1607.05099
review text: Let $\Omega$ be a connected open subset of ${\mathbb R}^3$ whose closure $\overline\Omega$ is a polyhedron with locally flat boundary $\partial\Omega$, and let ${\mathcal T}$ be a triangulation of $\overline\Omega$. The authors present an algorithm for constructing a collection of 1--cycles from ${\mathcal T}$ that lie within $\partial\Omega$ and whose classes in the first integral homology group $H_1(\overline\Omega)$ are trivial, and whose classes in $H_1({\mathbb R}^3\setminus\Omega)$ form a basis. This result extends the algorithm of \textit{R. Hiptmair} and \textit{J. Ostrowski} [SIAM J. Comput. 31, No. 5, 1405--1423 (2002; Zbl 1001.05046)] to include the case when $\partial\Omega$ is not connected. Moreover, this result can be combined with the authors' previous work on constructing homological Seifert surfaces [\textit{A. A. Rodríguez} et al., SIAM J. Numer. Anal. 55, No. 3, 1159--1187 (2017; Zbl 1385.55001)] to yield an algorithm for computing generators for the relative homology group $H_2(\overline\Omega,\partial\Omega)$ with respect to ${\mathcal T}$. The results of numerical experiments are presented that indicate the efficacy of the algorithm.
reviewed by: Jason Hanson
Mathematics Subject Classification ID: 65D17
Mathematics Subject Classification ID: 68U05
Mathematics Subject Classification ID: 52B05
Mathematics Subject Classification ID: 55N99
Mathematics Subject Classification ID: 65D18
Mathematics Subject Classification ID: 55U10
zbMATH DE Number: 6995447
zbMATH Keywords: relative homology
zbMATH Keywords: 2-chains with prescribed boundary
zbMATH Keywords: homological Seifert surfaces
zbMATH Keywords: linking number
zbMATH Keywords: perturbation of simple loops and 1-cycles
describes a project that uses: jPlex
describes a project that uses: ChainCon
describes a project that uses: Gmsh
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2790208028
cites work: Efficient Construction of 2-Chains with a Prescribed Boundary
cites work: Construction of a finite element basis of the first de Rham cohomology group and numerical solution of 3D magnetostatic problems
cites work: The topology of Helmholtz domains
cites work: Locally flat imbeddings of topological manifolds
cites work: Vector Calculus and the Topology of Domains in 3-Space
cites work: Computing homology groups of simplicial complexes in R 3
cites work: On efficient sparse integer matrix Smith normal form computations
cites work: Gmsh: A 3-D finite element mesh generator with built-in pre- and post-processing facilities
cites work: Electromagnetic Theory and Computation
cites work: Self-adjoint curl operators
cites work: Generators of $H_1(\Gamma_{h},\mathbbZ)$ for Triangulated Surfaces: Construction and Classification
cites work: Worst-Case Complexity Bounds on Algorithms for Computing the Canonical Structure of Finite Abelian Groups and the Hermite and Smith Normal Forms of an Integer Matrix
cites work: Finite Element Methods for Maxwell's Equations
cites work: Coreduction homology algorithm
cites work: Q3827224
cites work: Homology and cohomology computation in finite element modeling
cites work: Computation of cubical homology, cohomology, and (co)homological operations via chain contraction
cites work: Q4107635
cites work: Q3923266
DOI: 10.1007/S10444-018-9588-6
description: scientific article; zbMATH DE number 6995447