Descriptive complexity of topological invariants - Inria - Institut national de recherche en sciences et technologies du numérique
Pré-Publication, Document De Travail Année : 2023

Descriptive complexity of topological invariants

Résumé

In this article, we investigate the descriptive complexity of topological invariants. Our main goal is to understand the expressive power of low complexity invariants, by investigating which spaces they can distinguish. We study the invariants in the first two levels of the Borel hierarchy. We develop techniques to establish whether two spaces can be separated by invariants in these levels. We show that they are sufficient to separate finite topological graphs. We finally identify the complexity of recognizing the line segment.
Fichier principal
Vignette du fichier
preprint.pdf (365.67 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04222391 , version 1 (29-09-2023)

Licence

Identifiants

  • HAL Id : hal-04222391 , version 1

Citer

Djamel Eddine Amir, Mathieu Hoyrup. Descriptive complexity of topological invariants. 2023. ⟨hal-04222391⟩
82 Consultations
91 Téléchargements

Partager

More