Indexed metadata

Automorphisms and Enumeration of Switching Classes of Tournaments.

L. Babai, P. J. Cameron

Source record

Source: Crossref

Published: Aug 1, 2000

DOI: 10.37236/1516

Open original source ↗

Source abstract

Two tournaments T1T_1 and T2T_2 on the same vertex set XX are said to be switching equivalent if XX has a subset YY such that T2T_2 arises from T1T_1 by switching all arcs between YY and its complement X∖YX\setminus Y. The main result of this paper is a characterisation of the abstract finite groups which are full automorphism groups of switching classes of tournaments: they are those whose Sylow 2-subgroups are cyclic or dihedral. Moreover, if GG is such a group, then there is a switching class CC, with Aut(C)≅G(C)\cong G, such that every subgroup of GG of odd order is the full automorphism group of some tournament in CC. Unlike previous results of this type, we do not give an explicit construction, but only an existence proof. The proof follows as a special case of a result on the full automorphism group of random GG-invariant digraphs selected from a certain class of probability distributions. We also show that a permutation group GG, acting on a set XX, is contained in the automorphism group of some switching class of tournaments with vertex set XX if and only if the Sylow 2-subgroups of GG are cyclic or dihedral and act semiregularly on XX. Applying this result to individual permutations leads to an enumeration of switching classes, of switching classes admitting odd permutations, and of tournaments in a switching class. We conclude by remarking that both the class of switching classes of finite tournaments, and the class of "local orders" (that is, tournaments switching-equivalent to linear orders), give rise to countably infinite structures with interesting automorphism groups (by a theorem of Fraïssé).

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.