Introducing Poset-Based Connected n-Manifolds and P-well-composedness in Partially Ordered Sets

In discrete topology, discrete surfaces are well-known for their strong topological and regularity properties. Their definition is recursive, and checking if a poset is a discrete surface is tractable. Their applications are numerous: when domain unicoherence is ensured, they lead access to the tree...

Full description

Saved in:
Bibliographic Details
Published in:Journal of mathematical imaging and vision Vol. 66; no. 1; pp. 1 - 21
Main Author: Boutry, Nicolas
Format: Journal Article
Language:English
Published: New York Springer US 01.01.2024
Springer Nature B.V
Subjects:
Algorithms
Applications of Mathematics
Boundaries
Computer Science
Continuity (mathematics)
Geometry
Image Processing and Computer Vision
Manifolds (mathematics)
Mathematical Methods in Physics
Mathematical morphology
Neighborhoods
Rectangles
Regularity
Set theory
Signal,Image and Speech Processing
Theorems
Topology
Well-composedness
Combinatorial manifolds
Discrete topology
Posets
Discrete surfaces
ISSN:0924-9907, 1573-7683
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In discrete topology, discrete surfaces are well-known for their strong topological and regularity properties. Their definition is recursive, and checking if a poset is a discrete surface is tractable. Their applications are numerous: when domain unicoherence is ensured, they lead access to the tree of shapes, and then to filtering in the shape space (shapings); they also lead to Laplacian zero-crossing extraction, to brain tumor segmentation, and many other applications related to mathematical morphology. They have many advantages in digital geometry and digital topology since discrete surfaces do not have any pinches (and then the underlying polyhedron of their geometric realization can be parameterized). However, contrary to topological manifolds known in continuous topology, discrete surfaces do not have any boundary, which is not always realizable in practice (finite hyper-rectangles cannot be discrete surfaces due to their non-empty boundary). For this reason, we propose the three following contributions: (1) we introduce a new definition of boundary, called border, based on the definition of discrete surfaces, and which allows us to delimit any partially ordered set whenever it is not embedded in a greater ambient space, (2) we introduce P -well-composedness similar to well-composedness in the sense of Alexandrov but based on borders, (3) we propose new (possibly geometrical) structures called (smooth) n -PCM’s which represent almost the same regularity as discrete surfaces and that are tractable thanks to their recursive definition, and (4) we prove several fundamental theorems relative to PCM’s and their relations with discrete surfaces. We deeply believe that these new n -dimensional structures are promising for the discrete topology and digital geometry fields.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0924-9907
1573-7683
DOI:10.1007/s10851-023-01159-6