4,121 research outputs found
Infinite primitive and distance transitive directed graphs of finite out-valency
We give certain properties which are satisfied by the descendant set of a vertex in an infinite, primitive, distance transitive digraph of finite out-valency and provide a strong structure theory for digraphs satisfying these properties. In particular, we show that there are only countably many possibilities for the isomorphism type of such a descendant set, thereby confirming a conjecture of the first Author. As a partial converse, we show that certain related conditions on a countable digraph are sufficient for it to occur as the descendant set of a primitive, distance transitive digraph
Subdegree growth rates of infinite primitive permutation groups
A transitive group of permutations of a set is primitive if the
only -invariant equivalence relations on are the trivial and
universal relations.
If , then the orbits of the stabiliser on
are called the -suborbits of ; when acts transitively
the cardinalities of these -suborbits are the subdegrees of .
If acts primitively on an infinite set , and all the suborbits of
are finite, Adeleke and Neumann asked if, after enumerating the subdegrees
of as a non-decreasing sequence , the subdegree
growth rates of infinite primitive groups that act distance-transitively on
locally finite distance-transitive graphs are extremal, and conjecture there
might exist a number which perhaps depends upon , perhaps only on ,
such that .
In this paper it is shown that such an enumeration is not desirable, as there
exist infinite primitive permutation groups possessing no infinite subdegree,
in which two distinct subdegrees are each equal to the cardinality of
infinitely many suborbits. The examples used to show this provide several novel
methods for constructing infinite primitive graphs.
A revised enumeration method is then proposed, and it is shown that, under
this, Adeleke and Neumann's question may be answered, at least for groups
exhibiting suitable rates of growth.Comment: 41 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
Locally -distance transitive graphs
We give a unified approach to analysing, for each positive integer , a
class of finite connected graphs that contains all the distance transitive
graphs as well as the locally -arc transitive graphs of diameter at least
. A graph is in the class if it is connected and if, for each vertex ,
the subgroup of automorphisms fixing acts transitively on the set of
vertices at distance from , for each from 1 to . We prove that
this class is closed under forming normal quotients. Several graphs in the
class are designated as degenerate, and a nondegenerate graph in the class is
called basic if all its nontrivial normal quotients are degenerate. We prove
that, for , a nondegenerate, nonbasic graph in the class is either a
complete multipartite graph, or a normal cover of a basic graph. We prove
further that, apart from the complete bipartite graphs, each basic graph admits
a faithful quasiprimitive action on each of its (1 or 2) vertex orbits, or a
biquasiprimitive action. These results invite detailed additional analysis of
the basic graphs using the theory of quasiprimitive permutation groups.Comment: Revised after referee report
- …