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

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