We give a description of infinite families of finite primitive permutation groups for which there is a uniform finite upper bound on the diameter of all orbital graphs. This is equivalent to describing families of finite permutation groups such that every ultraproduct of the family is primitive. A key result is that, in the almost simple case with socle of fixed Lie rank, apart from very specific cases, there is such a diameter bound. This is proved using recent results on the model theory of pseudofinite fields and difference fields.
No takes yet. Share an insight, caveat, or question.
Liebeck et al. (2009) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: