Topological Aspects of Representations in Computable Analysis - TEL - Thèses en ligne Access content directly
Habilitation À Diriger Des Recherches Year : 2023

Topological Aspects of Representations in Computable Analysis

Aspects Topologiques des Représentations en Analyse Calculable

Abstract

Computable analysis provides a formalization of algorithmic computations over infinite mathematical objects. The central notion of this theory is the symbolic representation of objects, which determines the computation power of the machine, and has a direct impact on the difficulty to solve any given problem. The friction between the discrete nature of computations and the continuous nature of mathematical objects is captured by topology, which expresses the idea of finite approximations of infinite objects. We thoroughly study the multiple interactions between computations and topology, analysing the information that can be algorithmically extracted from a representation. In particular, we focus on the comparison between two representations of a single family of objects, on the precise relationship between algorithmic and topological complexity of problems, and on the relationship between finite and infinite representations.
L’analyse calculable permet de formaliser le traitement algorithmique d’objets mathématiques infinis. La théorie repose sur une représentation symbolique des objets, dont le choix détermine les capacités de calcul de la machine, notamment sa difficulté à résoudre chaque problème donné. La friction entre le caractère discret du calcul et la nature continue des objets est capturée par la topologie, qui exprime l’idée d’approximation finie d’objets infinis. Nous étudions en profondeur les multiples interactions entre calcul et topologie, cherchant à analyser l’information qui peut être extraite algorithmiquement d’une représentation. Je me penche plus particulièrement sur la comparaison entre deux représentations d’une même famille d’objets, sur les liens détaillés entre complexité algorithmique et topologique des problèmes, ainsi que sur les relations entre représentations finies et infinies.
Fichier principal
Vignette du fichier
hdr.pdf (844.59 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

tel-03932408 , version 1 (10-01-2023)

Licence

Attribution

Identifiers

  • HAL Id : tel-03932408 , version 1

Cite

Mathieu Hoyrup. Topological Aspects of Representations in Computable Analysis. Computer Science [cs]. Université de Lorraine, 2023. ⟨tel-03932408⟩
149 View
39 Download

Share

Gmail Facebook Twitter LinkedIn More