Homotopy equivalence of finite digital images

08/11/2014
by   Jason Haarmann, et al.
0

For digital images, there is an established homotopy equivalence relation which parallels that of classical topology. Many classical homotopy equivalence invariants, such as the Euler characteristic and the homology groups, do not remain invariants in the digital setting. This paper develops a numerical digital homotopy invariant and begins to catalog all possible connected digital images on a small number of points, up to homotopy equivalence.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/27/2019

Invariants and Inequivalence of Linear Rank-Metric Codes

We show that the sequence of dimensions of the linear spaces, generated ...
research
04/15/2022

Knowledge Equivalence in Digital Twins of Intelligent Systems

A digital twin contains up-to-date data-driven models of the physical wo...
research
12/04/2020

The Treachery of Images in the Digital Sovereignty Debate

This analytical essay contributes to the ongoing deliberation about the ...
research
03/02/2019

Strong homotopy of digitally continuous functions

We introduce a new type of homotopy relation for digitally continuous fu...
research
02/22/2015

Some enumerations of binary digital images

The topology of digital images has been studied much in recent years, bu...
research
05/26/2018

Confluence of CHR revisited: invariants and modulo equivalence

Abstract simulation of one transition system by another is introduced as...
research
02/09/2018

Confluence Modulo Equivalence with Invariants in Constraint Handling Rules

Confluence denotes the property of a state transition system that states...

Please sign up or login with your details

Forgot password? Click here to reset