13 research outputs found
Homogeneoys graphs
AbstractLet Γ be a finite graph with vertex set VΓ, and let U, V be arbitrary subsets of VΓ. Γ is homogeneoys (resp. ultrahomogeneous) if whenever the induced subgraphs 〈U〉, 〈V〉 are isomorphic, some isomorphism (resp. every isomorphism) of 〈U〉 onto 〈V〉 extends to an automorphism of Γ. We extend a theorem of Sheehan on ultrahomogeneous graphs to the homogeneous case, and complete his classification of ultrahomogenous graphs
Transitivity conditions in infinite graphs
We study transitivity properties of graphs with more than one end. We
completely classify the distance-transitive such graphs and, for all , the -CS-transitive such graphs.Comment: 20 page
Finite -connected homogeneous graphs
A finite graph \G is said to be {\em -connected homogeneous}
if every isomorphism between any two isomorphic (connected) subgraphs of order
at most extends to an automorphism of the graph, where is a
group of automorphisms of the graph. In 1985, Cameron and Macpherson determined
all finite -homogeneous graphs. In this paper, we develop a method for
characterising -connected homogeneous graphs. It is shown that for a
finite -connected homogeneous graph \G=(V, E), either G_v^{\G(v)} is
--transitive or G_v^{\G(v)} is of rank and \G has girth , and
that the class of finite -connected homogeneous graphs is closed under
taking normal quotients. This leads us to study graphs where is
quasiprimitive on . We determine the possible quasiprimitive types for
in this case and give new constructions of examples for some possible types
Countable connected-homogeneous digraphs
A digraph is connected-homogeneous if every isomorphism between two finite
connected induced subdigraphs extends to an automorphism of the whole digraph.
In this paper, we completely classify the countable connected-homogeneous
digraphs.Comment: 49 page
Countable homogeneous Steiner triple systems avoiding specified subsystems
In this article we construct uncountably many new homogeneous locally finite Steiner triple systems of countably infinite order as Fraïssé limits of classes of finite Steiner triple systems avoiding certain subsystems. The construction relies on a new embedding result: any finite partial Steiner triple system has an embedding into a finite Steiner triple system that contains no nontrivial proper subsystems that are not subsystems of the original partial system. Fraïssé’s construction and its variants are rich sources of examples that are central to model-theoretic classification theory, and recently infinite Steiner systems obtained via Fraïssé-type constructions have received attention from the model theory community