exit

Mathématiques   > Accueil   > Avancées en Mathématiques Pures et Appliquées   > Numéro 2 (Septembre 2020)   > Article

Classes héréditaires des structures binaires ordonnées

Hereditary classes of ordered binary structures


Djamila Oudrar
Faculty of Mathematics - USTHB
Algeria



Publié le 3 septembre 2020   DOI : 10.21494/ISTE.OP.2020.0542

Résumé

Abstract

Mots-clés

Keywords

Balogh, Bollobás and Morris (2006) have described a threshold phenomenon in the behavior of the profile of hereditary classes of ordered graphs. In this paper, we give an other look at their result based on the notion of monomorphic decomposition of a relational structure introduced in [32]. We prove that the class 𝔖 of ordered binary structures which do not have a finite monomorphic decomposition has a finite basis (a subset 𝔄 such that every member of 𝔖 embeds some member of 𝔄). In the case of ordered reflexive directed graphs, the basis has 1242 members and the profile of their ages grows at least as the Fibonacci function. From this result, we deduce that the following dichotomy property holds for every hereditary class ℭ of finite ordered binary structures of a given finite type. Either there is an integer ℓ such that every member of ℭ has a monomorphic decomposition into at most ℓ blocks and in this case the profile of ℭ is bounded by a polynomial of degree ℓ − 1 (and in fact is a polynomial), or ℭ contains the age of a structure which does not have a finite monomorphic decomposition, in which case the profile of ℭ is bounded below by the Fibonacci function.

Balogh, Bollobás and Morris (2006) have described a threshold phenomenon in the behavior of the profile of hereditary classes of ordered graphs. In this paper, we give an other look at their result based on the notion of monomorphic decomposition of a relational structure introduced in [32]. We prove that the class 𝔖 of ordered binary structures which do not have a finite monomorphic decomposition has a finite basis (a subset 𝔄 such that every member of 𝔖 embeds some member of 𝔄). In the case of ordered reflexive directed graphs, the basis has 1242 members and the profile of their ages grows at least as the Fibonacci function. From this result, we deduce that the following dichotomy property holds for every hereditary class ℭ of finite ordered binary structures of a given finite type. Either there is an integer ℓ such that every member of ℭ has a monomorphic decomposition into at most ℓ blocks and in this case the profile of ℭ is bounded by a polynomial of degree ℓ − 1 (and in fact is a polynomial), or ℭ contains the age of a structure which does not have a finite monomorphic decomposition, in which case the profile of ℭ is bounded below by the Fibonacci function.

profile monomorphic decomposition ordered graphs ordered binary relational structures ordered set well quasi-ordering

profile monomorphic decomposition ordered graphs ordered binary relational structures ordered set well quasi-ordering