Strong Euler->ellcomposedness

From LRDE

Revision as of 20:19, 12 December 2021 by Bot (talk | contribs) (Created page with "{{Publication | published = true | date = 2021-11-23 | authors = Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez, Eduardo Paluzo-Hildago | title = Strong Euler->ellcom...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Abstract

In this paper, we define a new flavour of well-composednesscalled strong Euler well-composedness. In the general setting of regular cell complexes, a regular cell complex of dimension is strongly Euler well-composed if the Euler characteristic of the link of each boundary cell is , which is the Euler characteristic of an -dimensional ball. Working in the particular setting of cubical complexes canonically associated with -D pictures, we formally prove in this paper that strong Euler well-composedness implies digital well-composedness in any dimension and that the converse is not true when .


Bibtex (lrde.bib)

@Article{	  boutry.21.joco,
  author	= {Nicolas Boutry and Rocio Gonzalez-Diaz and Maria-Jose
		  Jimenez and Eduardo Paluzo-Hildago},
  title		= {Strong Euler->ellcomposedness},
  journal	= {Journal of Combinatorial Optimization},
  volume	= {},
  pages		= {},
  month		= nov,
  year		= {2021},
  doi		= {},
  abstract	= {In this paper, we define a new flavour of
		  well-composedness, called strong Euler well-composedness.
		  In the general setting of regular cell complexes, a regular
		  cell complex of dimension $n$ is strongly Euler
		  well-composed if the Euler characteristic of the link of
		  each boundary cell is $1$, which is the Euler
		  characteristic of an $(n-1)$-dimensional ball. Working in
		  the particular setting of cubical complexes canonically
		  associated with $n$-D pictures, we formally prove in this
		  paper that strong Euler well-composedness implies digital
		  well-composedness in any dimension $n\geq 2$ and that the
		  converse is not true when $n\geq 4$. }
}