arXiv++ Combinatorics

The modern theory of homogeneous structures begins with the work of Roland Fraïssé. The theory developed in the last seventy years is placed in the border area between combinatorics, model theory, algebra, and analysis. We turn our attention to its combinatorial pillar, namely, the work on the classification of structures for given homogeneity types, and focus onto the homomorphism homogeneous ones, introduced in 2006 by Cameron and Nešetřil. An oriented graph is called homomorphism homogeneous if every homomorphism between finite induced subgraphs extends to an endomorphism. In this paper we present a complete classification of the countable homomorphism homogeneous oriented graphs.

We introduce the notion of echeloned spaces - an order-theoretic abstraction of metric spaces. The first step is to characterize metrizable echeloned spaces. It turns out that morphisms between metrizable echeloned spaces are uniformly continuous or have a uniformly discrete image. In particular, every automorphism of a metrizable echeloned space is uniformly continuous, and for every metric space with midpoints the automorphisms of the induced echeloned space are precisely the dilations. Next we focus on finite echeloned spaces. They form a Fraisse class and we describe its Fraisse-limit both as the echeloned space induced by a certain homogeneous metric space and as the result of a random construction. Building on this we show that the class of finite ordered echeloned spaces is Ramsey. The proof of this result combines a combinatorial argument by Nesetril and Hubicka with a topological-dynamical point of view due to Kechris, Pestov, and Todorcevic. Finally, using the method of Katetov functors due to Kubis and Masulovic, we prove that the full symmetric group on a countable set topologically embeds into the automorphism group of the countable universal homogeneous echeloned space.

Highly regular graphs for which not all regularities are explainable by symmetries are fascinating creatures. Some of them like, e.g., the line graph of W.~Kantor's non-classical $\mathrm{GQ}(5^2,5)$, are stumbling stones for existing implementations of graph isomorphism tests. They appear to be extremely rare and even once constructed it is difficult to prove their high regularity. Yet some of them, like the McLaughlin graph on $275$ vertices and Ivanov's graph on $256$ vertices are of profound beauty. This alone makes it an attractive goal to strive for their complete classification or, failing this, at least to get a deep understanding of them. Recently, one of the authors discovered new methods for proving high regularity of graphs. Using these techniques, in this paper we study a classical family of strongly regular graphs, originally discovered by A.E.~Brouwer, A.V.~Ivanov, and M.H.~Klin in the late 80th. We analyze their symmetries and show that they are $(3,5)$-regular but not $2$-homogeneous. Thus we promote these graphs to the distinguished club of highly regular graphs with few symmetries.

A relational structure is homomorphism-homogeneous if every homomorphism between finite substructures extends to an endomorphism of the structure. This notion was introduced recently by Cameron and Nešetřil. In this paper we consider a strengthening of homomorphism-homogeneity --- we call a relational structure polymorphism-homogeneous if every partial polymorphism with a finite domain extends to a global polymorphism of the structure. It turns out that this notion (under various names and in completely different contexts) has been existing in algebraic literature for at least 30 years. Motivated by this observation, we dedicate this paper to the topic of polymorphism-homogeneous structures. We study polymorphism-homogeneity from a model-theoretic, an algebraic, and a combinatorial point of view. E.g., we study structures that have quantifier elimination for positive primitive formulae, and show that this notion is equivalent to polymorphism-homogeneity for weakly oligomorphic structures. We demonstrate how the Baker-Pixley theorem can be used to show that polymorphism-homogeneity is a decidable property for finite relational structures. Eventually, we completely characterize the countable polymorphism-homogeneous graphs, the polymorphism-homogeneous posets of arbitrary size, and the countable polymorphism-homogeneous strict posets.

A structure is called weakly oligomorphic if it realizes only finitely many n-ary positive existential types for every n. The goal of this paper is to show that the notions of homomorphism-homogeneity, and weak oligomorphy are not only completely analogous to the classical notions of ultrahomogeneity and oligomorphy, but are actually closely related. A first result is a Fraïssé-type theorem for homomorphism-homogeneous relational structures. Further we show that every weakly oligomorphic homomorphism-homogeneous structure contains (up to isomorphism) a unique homogeneous, homomorphism-homogeneous core, to which it is homomorphism-equivalent. As a consequence, we obtain that every countable weakly oligomorphic structure is homomorphism-equivalent with a finite or ω-categorical structure. Another result is the characterization of positive existential theories of weakly oligomorphic structures as the positive existential parts of ω-categorical theories. Finally, we show, that the countable models of countable weakly oligomorphic structures are mutually homomorphism-equivalent (we call first order theories with this property weakly ω-categorical). These results are in analogy with part of the Engeler-Ryll-Nardzewski-Svenonius-theorem.

Using a categorial version of Fraïssé's theorem due to Droste and Göbel, we derive a criterion for a comma-category to have universal homogeneous objects. As a first application we give new existence result for universal structures and for ω-categorical universal structures. As a second application we characterize the retracts of a large class of homogeneous structures, extending previous results by Bonato, Delić, Dolinka, and Kubiś. As a third application we show for a large class of homogeneous structures that their polymorphism clone is generated by polymorphisms of bounded arity, generalizing a classical result by Sierpiński that the clone of all functions on a given set is generated by its binary part. Further we study the cofinality and the Bergman property for clones and we give sufficient conditions on a homogeneous structure to have a polymorphism clone that has uncountable cofinality and the Bergman property.

We derive a new sufficient condition for the existence of ω-categorical universal structures in classes of relational structures with constraints, augmenting results by Cherlin, Shelah, Chi, and Hubička and Nešetřil. Using this result we show that the hom-equivalence class of any countable weakly oligomorphic structure has up to isomorphism a unique model-complete smallest and greatest element, both of which are ω-categorical. As the main tool we introduce the category of constraint structures, show the existence of universal homogeneous objects, and study their automorphism groups. All constructions rest on a category-theoretic version of Fraïssé's Theorem due to Droste and Göbel. We derive sufficient conditions for a comma category to contain a universal homogeneous object. This research is motivated by the observation that all countable models of the theory of a weakly oligomorphic structure are hom-equivalent---a result akin to (part of) the Ryll-Nardzewski Theorem.