finding the full automorphism group is one of the fundamental objectives when dealing with symmetry properties of mathematical objects , such as for example vertex - transitive graphs , see @xcite .
many of these objects naturally display certain inherently obvious symmetries .
it is often the case , however , that certain additional symmetries , though hidden or difficult to grasp , are present . the goal is to find a reason for their existence and a method for describing them . along these lines
the above question reads as follows : _ given a ( transitive ) group @xmath0 acting on the set of vertices of a graph , determine whether @xmath0 is its full automorphism group or not .
when the answer is no , find a method to describe the additional automorphisms .
_ in other words , decide whether the group @xmath0 imbeds into a larger group @xmath1 preserving the structure of the graph in question .    in this paper such group
`` extensions '' are considered by studying the existence of automorphisms that act as odd permutations on the vertex set of a graph .
such an automorphism will be referred to as _
odd automorphism_. analogously , an automorphism acting as an even permutation on the vertex set will be referred to as an _ even automorphism_.    the implications are more far - reaching than one would expect from the simplicity of the concept of even and odd automorphisms alone .
some arguments supporting this claim are given in the paragraphs following formulation of problems  [ problem - graph ] and  [ problem - group ] .
for example , when @xmath0 consists of even automorphisms only , a partial answer to the above question could be given provided the structure of the graph in question forces existence of odd automorphisms .
we propose the following problem .
[ problem - graph ] which vertex - transitive graphs admit odd automorphisms ?
it is convenient to consider problem  [ problem - graph ] in the framework of orbital ( di)graphs of transitive groups .
namely , isomorphism classes of vertex - transitive ( di)graphs are in a one - to - one correspondence with orbital ( di)graphs of transitive group actions , as seen below .
a transitive group @xmath0 acting on a set @xmath2 induces an action of @xmath0 on @xmath3 - the corresponding orbits are called _ orbitals _ of @xmath0 on @xmath2 . given a union @xmath4 of orbitals not containing the diagonal orbital @xmath5 , the _ orbital ( di)graph _ @xmath6 of @xmath0 on @xmath2 with respect to @xmath4
has vertex set @xmath2 and edge set @xmath4 .
clearly , @xmath7 .
if @xmath4 consists of a single orbital the orbital ( di)graph @xmath6 is said to be _
the problem below is a somewhat restricted reformulation of problem  [ problem - graph ] .
[ problem - group ] given a transitive group @xmath0 , possibly consisting of even permutations only , is there a basic orbital ( di)graph of @xmath0 admitting an odd automorphism ?
transitive groups for which the answer to problem  [ problem - group ] is positive are referred to as _ orbital - odd_. not all transitive groups consisting solely of even permutations admit orbital - odd imbeddings . for example
, the group @xmath8 acting transitively on the set of cosets of @xmath9 consists of even permutations only , and is isomorphic to the full automorphism group of every basic orbital ( di)graph associated with this action .
hence , @xmath10 is not orbital - odd . on the other hand , the alternating group @xmath11 acting transitively on the set of cosets of @xmath12 ( which also consists of even permutations only )
is orbital - odd .
namely , the full automorphism group of its two basic orbital graphs - the petersen graph and its complement - contains odd automorphisms ( and is isomorphic to the symmetric group @xmath13 ) . more generally , as observed in @xcite , every vertex - transitive graph of order twice a prime admits an odd automorphism , and hence every transitive group of degree twice a prime is orbital - odd .
an essential ingredient in the proof of this result is the fact that the above actions of @xmath11 and @xmath13 are the only simply primitive groups of degree twice a prime  a direct consequence of the classification of finite simple groups ( cfsg )
. it would be of interest to obtain a cfsg - free proof of the fact that every vertex - transitive graph of order twice a prime admits an odd automorphism . combining this together with a classical wielandt s result on simply primitive groups of degree twice a prime being of rank @xmath14 ( see @xcite )  currently the best available cfsg - free information on such groups
 one would move a step closer to obtaining a cfsg - free proof of non - existence of simply primitive groups of degree @xmath15 , @xmath16 a prime ( see also @xcite ) .
observe that , if a graph has an odd automorphism then it must have an odd automorphism whose order is a power of @xmath17 .
in fact , an odd automorphism exists if and only if there is one in a sylow @xmath17-subgroup of the automorphism group , as observed in @xcite .
consequently , for some classes of graphs the existence of odd automorphisms is easy to determine .
for instance , in cayley graphs the corresponding regular group contains odd permutations if and only if its sylow @xmath17-subgroup is cyclic . when a sylow @xmath17-subgroup is not cyclic , the search for odd automorphisms has to be done outside the regular group , raising the complexity of the problem .
studying `` extensions '' via odd automorphisms is also essential in obtaining new approaches for solving certain long - standing open problems in algebraic graph theory .
for example , in the semiregularity problem @xcite , which asks for the existence of semiregular automorphisms in vertex - transitive ( di)graph , knowing that the graph admits odd automorphisms would be helpful in the case when the underlying transitive group @xmath0 consisting of even automorphisms is elusive ( that is , without semiregular elements ) .
one could therefore hope for the existence of semiregular automorphisms in the odd part of the `` extension '' .
for example , the group @xmath18 acting on the set of @xmath19 lines of the affine plane @xmath20 is elusive and consists of even permutations only .
its @xmath17-closure , however , contains semiregular as well as odd permutations , in fact it contains an odd semiregular permutation of order @xmath21 .
further , in the hamiltonicity problem @xcite as well as in the snark problem for cubic cayley graphs @xcite , important progress was recently obtained by combining algebraic methods with the theory of regular maps on surfaces @xcite . knowing the graphs admit odd automorphisms will most likely be helpful in our quest to solve the remaining open cases .
our ultimate goal is to build a theory that will allow us to decide whether a given graph , admitting a transitive group action , does or does not have odd automorphisms . in this respect
the first step in our strategy consists in finding necessary and sufficient conditions for the existence of odd automorphisms for as large as possible class of graphs , admitting a transitive action of a group , with certain suitably imposed constraints .
it is natural to expect that the solution to the question of existence of odd automorphisms will have some degree of arithmetic flavor .
as may be suggested by the results of this paper this is true , but only up to a certain extent .
in approaching problems  [ problem - graph ] and  [ problem - group ] in a systematic manner it seems natural to start with the analysis of vertex - transitive graphs of smallest possible ( non - trivial ) valency @xmath14 .
such graphs fall into three classes : graphical regular representations of groups , vertex - transitive graphs with two edge orbits , and symmetric graphs .
as already mentioned , graphs in the class of ( cubic ) graphical regular representations of groups admit odd automorphisms if and only if sylow @xmath17-subgroups of their automorphism groups are cyclic .
cubic vertex - transitive graphs with two edge orbits ( together with the corresponding tetravalent locally imprimitive symmetric graphs ) will be considered in a separate paper .    in this paper
we give a complete solution to problem  [ problem - graph ] for cubic symmetric graphs .
( as a consequence a partial solution to problem  [ problem - group ] is obtained . ) this class of graphs was first studied by foster @xcite and has been the source of motivation for various research directions in algebraic graph theory . in foster census
@xcite , a list of such graphs of order up to @xmath22 was produced . with the availability of advanced computational tools @xcite the list
was recently expanded to graphs of order up to @xmath23 , see @xcite .
many well - known graphs are cubic symmetric graphs , arising in connection with certain open problems in graph theory ( such as the hamiltonicity problem @xcite ) , and more generally as an important concept in other areas of mathematics ( such as finite geometry @xcite ) . for example , the petersen graph @xmath24 and the coxeter graph @xmath25 are the only known symmetric graphs of order greater than @xmath17 without a hamilton cycle .
next , all bipartite cubic symmetric graphs of girth at least @xmath26 are levi graphs of @xmath27 configurations .
for example , the heawood graph @xmath28 , the moebius - kantor graph @xmath29 , the pappus graph @xmath30 and the desargues graph @xmath31 are levi graphs of @xmath32 , @xmath33 , @xmath34 and @xmath35 configurations , respectively .
( hereafter the notation @xmath36 , @xmath37 , etc . will refer to the corresponding graphs in the foster census  @xcite .
) there are @xmath38 possible types of cubic symmetric graphs ( see table  [ tab : cubic - types ] in subsection  [ sec : cubic - sym ] ) , and the existence of odd automorphisms depends on these types and orders of graphs in question .
results of this paper do imply that the solution to problem  [ problem - graph ] is to some degree arithmetic . however , some special cases sprouting out in the solution for cubic symmetric graphs suggest that the even / odd question is likely to uncover certain more complex structural properties of graphs ( and combinatorial objects in general ) , that go beyond simple arithmetic conditions .
the following is the main result of this paper .
[ thm : main ] let @xmath39 be a cubic symmetric graph of order @xmath40 . in table  [ tab : odd ] a full information on existence of odd automorphisms in @xmath39 is given .
in particular , the following statements hold :    a.   if @xmath39 is of type @xmath41 , @xmath42 , @xmath43 , @xmath44 , @xmath45 , @xmath46 , @xmath47 , @xmath48 or @xmath49 then it has odd automorphisms if and only if @xmath50 is odd . b.   if @xmath39 is of type @xmath51 , @xmath52 , @xmath53 or @xmath54 then it has odd automorphisms if and only if @xmath50 is odd and @xmath39 is bipartite .
c.   if @xmath39 is of type @xmath55 then it has odd automorphism if and only if either @xmath50 is odd , or @xmath56 , @xmath57 and @xmath39 is a @xmath58-cayley graph on a cyclic group of order @xmath59 .
d.   if @xmath39 is of type @xmath60 , @xmath61 or @xmath62 then it has no odd automorphisms .
@xmath63    as a direct consequence of theorem  [ thm : main ] we have the following corollary about transitive groups with a self - paired suborbit of length @xmath14 .
[ cor : groups ] let @xmath0 be a transitive group with a suborbit of length @xmath14 giving rise to an orbital graph satisfying conditions for the existence of odd automorphisms from table  [ tab : odd ] .
then @xmath0 is orbital - odd .
the paper is organized as follows . in section  [ sec : prelim ] notation and terminology is introduced and certain results on cubic symmetric graphs , essential to the strategy of the proof of theorem  [ thm : main ] , are gathered . in section  [ sec : cells ] the concept of rigid subgraphs and rigid cells are introduced which will prove useful in the study of the even / odd question for cubic symmetric graphs . in section
[ sec : main ] the proof of theorem  [ thm : main ] is given following a series of propositions in which the @xmath38 particular types of cubic symmetric graphs are considered .
throughout this paper graphs are finite , simple , undirected and connected , unless specified otherwise . given a graph @xmath39 we let @xmath64 , @xmath65 , @xmath66 and @xmath67 be the vertex set , the edge set , the arc set and the automorphism group of @xmath39 , respectively . for adjacent vertices
@xmath68 and @xmath69 in @xmath39 , we denote the corresponding edge by @xmath70 .
if @xmath71 then @xmath72 denotes the set of neighbors of @xmath68 and @xmath73 denotes the set of vertices at distance @xmath74 from @xmath68 . a graph @xmath39
is said to be _ cubic _ if @xmath75 for every vertex @xmath71 .
a sequence @xmath76 of distinct vertices in a graph is called an _ @xmath77-arc _ if @xmath78 is adjacent to @xmath79 for every @xmath80 .
for @xmath81 we let @xmath82 $ ] denote the induced subgraph of @xmath39 on @xmath83 . for a partition @xmath84 of @xmath64 ,
we let @xmath85 be the associated _ quotient graph _ of @xmath39 _ relative to _ @xmath84 , that is , the graph with vertex set @xmath84 and edge set induced by the edge set @xmath65 in a natural way . when @xmath84 consists of orbits of a subgroup @xmath0 of @xmath67 we denote @xmath85 by @xmath86 , and by @xmath87 when @xmath88 is a cyclic group generated by an automorphism @xmath89 .
a subgroup @xmath90 is said to be _ vertex - transitive _ , _ edge - transitive _ and _ arc - transitive _ provided it acts transitively on the sets of vertices , edges and arcs of @xmath39 , respectively .
a graph is said to be _ vertex - transitive _ , _ edge - transitive _ , and _ arc - transitive _ if its automorphism group is vertex - transitive , edge - transitive and arc - transitive , respectively . an arc - transitive graph is also called _
symmetric_. a subgroup @xmath91 is said to be _
@xmath77-regular _ if it acts transitively on the set of @xmath77-arcs and the stabilizer of an @xmath77-arc in @xmath1 is trivial .
a _ quasi - dihedral group _ @xmath92 ( sometimes also called a _ semi - dihedral group _ ) is a non - abelian group of order @xmath93 with a presentation @xmath94    to end this subsection let us recall that if a transitive permutation group @xmath1 on a set @xmath2 contains an odd permutation then the intersection @xmath95 of @xmath1 with the alternating group @xmath96 on @xmath2 is its index @xmath17 subgroup .
this will be used in several places in subsequent sections
.      in @xcite tutte proved that every finite cubic symmetric graph is @xmath77-regular for some @xmath97 .
a further deeper insight into the structure cubic symmetric graphs is due to djokovi and miller @xcite who proved that a vertex stabilizer in an @xmath77-regular subgroup of automorphisms of a cubic symmetric graph is isomorphic to @xmath98 , @xmath99 , @xmath100 , @xmath101 , or @xmath102 depending on whether @xmath103 or @xmath104 , respectively .
consequently , the automorphism group of a cubic symmetric graph of order @xmath50 is of order @xmath105 .
djokovi and miller @xcite also proved that for @xmath106 there is just one possibility for edge stabilizers , while there exists two possibilities for @xmath107 , see table  [ tab : vertex - and - edge - stabilizers ] .
in particular , for @xmath108 the edge stabilizer is either isomorphic to @xmath109 or @xmath110 , and for @xmath111 the edge stabilizer is either isomorphic to the dihedral group @xmath112 of order @xmath113 or to the quasi - dihedral group @xmath114 of order @xmath113 .
@xmath115    the automorphism group of any finite symmetric cubic graph is an epimorphic image of one of the following seven groups:@xmath116 this implies that an arc - transitive subgroup of a cubic symmetric graph is a quotient of one of these seven groups by some normal torsion - free subgroup . in particular , an @xmath77-regular subgroup of automorphisms of a cubic symmetric graph
is a quotient group of a group @xmath117 , if @xmath106 , and of a group @xmath118 , @xmath119 , if @xmath120 .
moreover , in @xcite a complete characterization of admissible types of cubic symmetric graphs according to the structure of arc - transitive subgroups is given .
for example , a cubic symmetric graph @xmath39 is said to be of type @xmath42 if its automorphism group is @xmath14-regular , admitting two @xmath17-regular subgroups , of which one is a quotient of the group @xmath121 and one of @xmath122 , and admitting also a @xmath123-regular subgroup .
all possible types are summarized in table  [ tab : cubic - types ] ( for details see @xcite ) .
@xmath124    finally , in section  [ sec : main ] the following result about the girth of cubic symmetric graphs of types @xmath60 and @xmath125 , extracted from ( * ? ? ? * theorems  2.1  2.2 ) will be needed .
( the _ girth _ of a graph is the length of a shortest cycle contained in the graph . )
[ pro : girth ] a cubic symmetric graph , which is either of type @xmath60 or @xmath125 , has girth greater than @xmath126 .
given a graph @xmath39 and an automorphism @xmath127 of @xmath39 let @xmath128 denote the set of all vertices of @xmath39 fixed by @xmath127 . with the assumption that @xmath129 we call the subgraph @xmath130 $ ] induced on @xmath128 the _ rigid subgraph of _ @xmath127 or , in short , the @xmath127-_rigid subgraph_. every component of @xmath130 $ ] is referred to as an _
@xmath127-rigid cell_.    this concept will prove useful in the study of the `` even / odd question '' for cubic symmetric graphs .
for this purpose let us fix some notation and terminology .
we will use the terms @xmath131-_tree _ , @xmath0-_tree _
, @xmath132-_tree _ , @xmath133-_tree _ and @xmath134-_tree _ for the graphs given in figure  [ fig : trees ] below .
more precisely , we will denote these graphs by @xmath135 , @xmath136 , @xmath137 , @xmath138 and @xmath139 , respectively .
let @xmath39 be a cubic graph of girth greater than or equal to @xmath104 .
for a vertex @xmath69 in @xmath64 let @xmath140 be the set of neighbors of @xmath69 , and let @xmath141 be the second neighborhood of @xmath69 , where @xmath142 , @xmath143 . similarly , for an edge @xmath70 of @xmath39 let @xmath144 and @xmath145 be the remaining two neighbors of @xmath69 , and let @xmath146 and @xmath147 be the remaining two neighbors of @xmath68 . for a vertex @xmath69 of @xmath39 we therefore have @xmath148 $ ] ,
@xmath149 $ ] and @xmath150 $ ] , where @xmath143 . for short
, we will use the notation @xmath139 for any of the trees @xmath151 ,
@xmath152 and @xmath153 ( and call it a @xmath134-tree ) . similarly , for two adjacent vertices @xmath68 and @xmath69 of @xmath39 we have @xmath154 $ ] and @xmath155 $ ] .
note that @xmath156 .
@xmath131-tree , @xmath0-tree , @xmath132-tree , @xmath133-tree and three @xmath134-trees .
, width=340 ]    we will now restrict ourselves to cubic symmetric graphs .
the structure of vertex stabilizers in cubic symmetric graphs implies that only automorphisms of order @xmath17 , @xmath14 , @xmath21 and @xmath26 can fix a vertex ( see section  [ sec : cubic - sym ] ) . in the propositions below
all possible rigid cells for such automorphisms are listed .
( the exclusion of @xmath132-trees as rigid cells for automorphisms of order @xmath21 is proved in proposition  [ pro : cell3 ] and uses proposition  [ pro : cell25 ] . ) for convenience we let @xmath157 denote the set of all involutions of a cubic symmetric graph @xmath39 which fix some vertex of @xmath39 , and we let @xmath158 denote the set of all semiregular involutions of @xmath39 .    [ pro : cell1 ] let @xmath39 be a cubic symmetric graph and let @xmath159 be an automorphism of @xmath39 fixing a vertex .
a.   if @xmath127 is of order @xmath14 or @xmath26 then the only @xmath127-rigid cells are isolated vertices
. b.   if @xmath127 is of order @xmath21 then the only possible @xmath127-rigid cells are @xmath131-trees and @xmath132-trees .
the proof of part ( i ) is straightforward and is omitted . as for part ( ii ) ,
if an @xmath0-tree , a @xmath134-tree or an @xmath133-tree was a rigid cell of an automorphism of order @xmath21 then the square of this automorphism ( a non - identity element ) would fix a path of length greater than @xmath21 .
given a cubic @xmath77-regular graph @xmath39 , @xmath160 , we call an involution @xmath161 _ canonical with respect to a pair of adjacent vertices _ @xmath68 and @xmath69 of @xmath39 if it fixes the tree @xmath135 for @xmath108 and if it fixes the tree @xmath136 for @xmath111
. similarly , we call it _
canonical with respect to a vertex _ @xmath69 of @xmath39 if it fixes the tree @xmath162 for @xmath163 and if it fixes the tree @xmath138 for @xmath164 .
the next four propositions give a full information on rigid cells of involutions .
the proof of the first of these propositions is straightforward and is omitted .
[ pro : cell212 ] let @xmath39 be a cubic @xmath77-regular graph , @xmath165 and let @xmath159 be an involution .
then the following statements hold :    a.   if @xmath166 then @xmath167 , that is , @xmath127 is semiregular .
b.   if @xmath108 then the only possible @xmath127-rigid cells are @xmath131-trees .    [ pro : cell23 ] let @xmath39 be a cubic @xmath14-regular graph and let @xmath168 be a non - semiregular involution of @xmath39 .
then the possible @xmath127-rigid cells are @xmath131-trees and @xmath132-trees , with both types of cells possibly occurring simultaneously only when the graph @xmath39 is of type @xmath52 .
assume that @xmath39 is not of type @xmath52 .
then @xmath67 contains a @xmath17-regular subgroup @xmath169 ( of index @xmath17 ) . because of @xmath14-regularity of @xmath39 given any vertex @xmath170 there exists a canonical involution @xmath171 fixing the tree @xmath137 point - wise .
we now show that the only rigid cell of canonical involutions are @xmath132-trees .
suppose , on the contrary , that there exists a canonical involution @xmath172 with both the @xmath131-tree and the @xmath132-tree as rigid cells of @xmath130 $ ] .
then there exist a vertex @xmath170 and adjacent vertices @xmath173 such that @xmath137 and @xmath174 are rigid cells of @xmath127 .
clearly , there also exists an involution @xmath175 whose action on @xmath176 coincides with the action of @xmath127 .
it follows that the product @xmath177 acts trivially on @xmath178 , thus fixing a path of length @xmath14 . but
@xmath39 is @xmath14-regular , and so @xmath179 .
consequently , @xmath180 , a contradiction .
[ pro : cell24 ] let @xmath39 be a cubic @xmath21-regular graph and let @xmath168 be a non - semiregular involution of @xmath39 .
then the only possible @xmath127-rigid cells are @xmath0-trees .
note that theoretically the possible rigid cells are the @xmath131-tree , the @xmath132-tree and the @xmath0-tree .
we now show that the first two possibilities can not occur .
let @xmath68 and @xmath69 be adjacent vertices of @xmath39 . because of @xmath21-regularity of @xmath39 there exists an involution @xmath181 with @xmath136 as its rigid cell .
suppose that there exists an involution @xmath182 with @xmath132-tree as a rigid cell .
since vertex stabilizers are conjugate subgroups there exists a conjugate @xmath183 of @xmath182 with @xmath137 as a rigid cell . obviously , @xmath183 is different from @xmath184 since they have different rigid cells containing @xmath69 .
but since @xmath184 and @xmath183 both interchange the remaining two neighbors @xmath185 and @xmath186 of @xmath144 and the remaining two neighbors @xmath187 and @xmath188 of @xmath145 it follows that @xmath189 fixes point - wise the @xmath134-tree @xmath139 , and thus a path of length @xmath21 . since @xmath111 it follows that @xmath190 , a contradiction .
therefore no involution can have the @xmath132-tree as a rigid cell .
suppose now that there exists an involution @xmath191 with @xmath131-tree as a rigid cell .
then a conjugate @xmath192 of @xmath191 has @xmath193 as a rigid cell .
obviously , @xmath192 is different from @xmath184 since they have different rigid cells containing @xmath69 and @xmath144 . observe that @xmath184 and @xmath192 both interchange the remaining neighbors of @xmath185 and @xmath186 .
the actions of @xmath184 and @xmath192 on these remaining neighbors of @xmath185 and @xmath186 are either different or identical . in the first case
, @xmath194 is a rigid cell of @xmath195 . by previous paragraph @xmath196 , and moreover it fixes a path of length greater than or equal to @xmath21 , which is not possible in a @xmath21-regular graph .
this completes the proof of proposition  [ pro : cell24 ] .
[ pro : cell25 ] let @xmath39 be a cubic @xmath104-regular graph and let @xmath168 be a non - semiregular involution of @xmath39
. then the only possible @xmath127-rigid cells are @xmath0-trees and @xmath133-trees , with both types of cells possibly occurring simultaneously only when the graph @xmath39 is of type @xmath54 .
the stabilizer @xmath197 of a vertex @xmath170 is isomorphic to @xmath102 .
hence the center of @xmath197 is isomorphic to @xmath198 , and moreover there are precisely @xmath199 involutions in @xmath197 . because of @xmath104-regularity of @xmath39 there exists an involution @xmath184 in @xmath197 with either @xmath138 or @xmath139 as a rigid cell .    in what follows
we essentially translate ( into our language ) the arguments from ( * ? ? ?
* lemma  1 ) where it is shown that the central involution in @xmath197 has @xmath138 as a rigid cell .
suppose that @xmath184 has a @xmath134-tree @xmath139 as a rigid cell .
then for conjugacy reasons there exist involutions @xmath200 , @xmath201 and @xmath202 in @xmath197 whose respective restrictions to @xmath138 are : @xmath203 , @xmath204 and @xmath205 .
their products @xmath206 , @xmath207 , @xmath208 and @xmath209 are also involutions in @xmath197 , and so the stabilizer of the @xmath17-arc @xmath210 , where @xmath211 and @xmath212 , is an elementary abelian group @xmath213 . since @xmath39 is @xmath104-regular , stabilizers of @xmath17-arcs in @xmath39 are conjugate subgroups , and so the stabilizer of any @xmath17-arc in @xmath39 is isomorphic to @xmath213 .
let @xmath214 be such that @xmath215 and @xmath216 .
( because of @xmath104-regularity such an element clearly exists . )
then @xmath217 and @xmath218 , implying that @xmath219 . but
this is a contradiction since @xmath201 and @xmath182 both belong to the stabilizer of the @xmath17-arc @xmath220 , which is an abelian group .
this shows that the @xmath134-tree can not occur as a rigid cell in @xmath39 .
moreover , @xmath184 has the whole of @xmath138 as a rigid cell . in other words , @xmath184 is the canonical involution for @xmath69 .
this means that @xmath184 is in the kernel of the restriction of @xmath197 to @xmath138 .
let us also remark that the restrictions of involutions in @xmath197 to @xmath221 are @xmath222 , @xmath223 and @xmath224 .
next , we show that the @xmath132-tree can not be a rigid cell .
assume on the contrary that there exists an involution @xmath225 with the @xmath132-tree as a rigid cell .
then there is an involution @xmath226 ( a conjugate of @xmath225 ) whose rigid cell is @xmath194 .
obviously , @xmath226 is different from @xmath184 since they have different rigid cells containing @xmath69 . but then @xmath227 either fixes a path of length @xmath104 or it has @xmath228 as a rigid cell . if the first possibility occurs then @xmath229 , contradicting our assumption on @xmath226 .
if the second possibility occurs then a non - identity element @xmath227 has the @xmath134-tree as a rigid cell .
but this is not possible by proposition  [ pro : cell1 ] if @xmath227 is of order @xmath21 , and by the argument in the previous paragraph if @xmath227 is an involution .
we now show that the @xmath131-tree can not be a rigid cell .
assume on the contrary that there exists an involution @xmath191 with the @xmath131-tree as a rigid cell .
then there is an involution @xmath192 ( a conjugate of @xmath191 ) whose rigid cell is @xmath230 .
obviously , @xmath192 is different from @xmath184 since they have different rigid cells containing @xmath144 .
but then it can be shown that @xmath195 either has @xmath231 or @xmath232 as a rigid cell or it fixes a path of length greater than @xmath21 .
each of these cases leads to a contradiction by the previous arguments with the exception of the case where @xmath195 is of order @xmath21 and has @xmath231 as a rigid cell .
there exists a conjugate @xmath233 of @xmath195 with @xmath194 as a rigid cell .
but then @xmath234 either has @xmath228 as a rigid cell or it fixes a path of length greater than @xmath21 .
both possibilities clearly lead to a contradiction .
this shows that the only possible rigid cells in @xmath39 are @xmath0-trees and @xmath133-trees .
to finish the proof assume that @xmath39 is not of type @xmath54
. then @xmath67 contains a @xmath21-regular subgroup @xmath235 ( of index @xmath17 ) . because of @xmath104-regularity of @xmath39 it is clear that @xmath133-trees occur as rigid cells of non - semiregular involutions in @xmath236 . in order to prove that all rigid cells of such involutions are @xmath133-trees suppose , on the contrary , that an involution @xmath172 has both the @xmath0-tree and the @xmath133-tree as rigid cells of @xmath130 $ ] .
then there exist a vertex @xmath170 and adjacent vertices @xmath173 such that @xmath138 and @xmath178 are rigid cells of @xmath127 .
clearly , there also exists an involution @xmath175 whose action on @xmath178 coincides with the action of @xmath127 .
it follows that the product @xmath177 fixes a path of length greater than @xmath21 .
but then @xmath179 , and so @xmath180 , a contradiction .
this completes the proof of proposition  [ pro : cell25 ] .    as an almost immediate consequence of proposition  [ pro : cell25 ]
we can now determine rigid cells of automorphisms of order @xmath21 .
[ pro : cell3 ] let @xmath39 be a cubic @xmath77-regular graph and @xmath127 an automorphism of @xmath39 of order @xmath21 fixing a vertex .
then the only possible @xmath127-rigid cells are the @xmath131-trees .
the assumption on the existence of an automorphism @xmath127 of order @xmath21 fixing a vertex implies that either @xmath111 or @xmath164 ( see table  [ tab : vertex - and - edge - stabilizers ] ) . by proposition  [ pro : cell1 ] the only possible candidates for @xmath127-rigid cells are @xmath131-trees and @xmath132-trees .
suppose that @xmath127 has a rigid cell isomorphic to a @xmath132-tree .
then @xmath237 has a rigid cell isomorphic to an @xmath133-tree , and thus @xmath39 is @xmath104-regular .
let @xmath170 with neighbors @xmath144 , @xmath145 and @xmath238 .
by assumption there exists a conjugate @xmath184 of @xmath127 such that @xmath194 is an @xmath184-rigid cell .
let @xmath239 be the canonical involution of @xmath69 .
it follows that the @xmath134-tree @xmath240 $ ] is contained in a rigid cell of a non - identity automorphism @xmath241 .
clearly this rigid cell does not contain @xmath145 and @xmath238 , and so it is either a @xmath134-tree or a rigid cell containing a path of length greater than @xmath21 .
both possibilities lead to a contradiction .
we conclude that the only possible @xmath127-rigid cells are @xmath131-trees .
the proof of theorem  [ thm : main ] is carried out through a series of propositions ( propositions  [ pro : cubic-1-regular ] [pro:5 - 4-oddx ] ) , each dealing with particular types of cubic symmetric graphs .
the first of these propositions gives the proof of theorem  [ thm : main ] for cubic symmetric graphs of type @xmath41 .
in fact it is a slightly more general for it gives a necessary and sufficient conditions on existence of odd automorphisms in any cubic symmetric graph admitting a @xmath123-regular subgroup in its automorphism group .    [ pro : cubic-1-regular ] let @xmath39 be a cubic symmetric graph of order @xmath40 admitting a @xmath123-regular subgroup @xmath242 .
then there exists an odd automorphism of @xmath39 in @xmath1 if and only if @xmath50 is odd .
let @xmath170 . by ( [ g1 ] )
the group @xmath1 is generated by @xmath243 , @xmath170 , and an involution @xmath89 interchanging two adjacent vertices .
automorphisms in the vertex stabilizer @xmath244 are all even automorphisms as they are of odd order . hence we can conclude that @xmath1 admits odd automorphisms if and only if @xmath89 is an odd automorphism .
since @xmath89 is semiregular the result follows .
the next three propositions give the answer regarding existence of odd automorphisms in cubic @xmath77-regular graphs , @xmath160 , having no @xmath245-regular subgroup of automorphisms .
the first proposition in the series shows that all automorphisms of cubic symmetric graphs of type @xmath60 are even .
first , we note that , by proposition  [ pro : girth ] , @xmath246 suppose first that @xmath39 is not bipartite
. then it must have only even automorphisms for otherwise there would be an intransitive index @xmath17 subgroup of even automorphisms in @xmath67 given rise to a bipartition of @xmath39 .
we may therefore assume that @xmath39 is bipartite .
by ( [ g22 ] ) the automorphism group @xmath67 is generated by an automorphism @xmath247 of order @xmath14 and an edge reversing automorphism @xmath89 of order @xmath21 .
since @xmath247 is of odd order it is an even permutation . to complete the proof we need to show that @xmath89 is an even permutation too .
consider the orbits of @xmath248 : they are either of length @xmath17 or @xmath21 .
orbits of @xmath248 of length @xmath17 are of two types : those with an inner edge ( we refer to them as orbits of _ type 1 _ ) and those with no inner edge ( we refer to them as orbits of _ type 2 _ ) .
finally , orbits of @xmath248 of length @xmath21 will be referred to as orbits of _ type 3_. let us remark that orbits of type 3 have no inner edges because such an edge would either give rise to a @xmath21-cycle in @xmath39 ( contradicting ( [ girth ] ) ) or would give rise to an edge flipped by the involution @xmath249 , which is not possible in cubic symmetric graphs of type @xmath60 .
observe that the numbers of orbits of type 1 and type 2 are of the same parity when the bipartition sets are of even cardinality ( that is , for @xmath50 even ) , and are of different parity when the bipartition sets are of odd cardinality ( that is , for @xmath50 odd ) .
let us now consider the quotient graph @xmath87 of @xmath39 with respect to the set of orbits of @xmath248 .
a type 1 orbit in @xmath87 can not be adjacent to another type 1 orbit , for this would give a cycle of length @xmath21 in @xmath39 , contradicting ( [ girth ] ) .
further , a type 1 orbit can not be adjacent to two type 2 orbits , for this would imply that the involution @xmath249 has a rigid cell containing the @xmath0-tree as a subgraph , which , by proposition  [ pro : cell212 ] , is impossible in a @xmath17-regular graph .
the only remaining possibility therefore is that an orbit of type 1 is adjacent to an orbit of type 3 . in other words ,
each orbit of type 1 is paired off with an orbit of type 3 .
we now turn to orbits of type 2 .
such an orbit can not be adjacent to three other orbits of type 2 , for otherwise the involution @xmath249 would have a @xmath132-tree as a rigid cell , contradicting proposition  [ pro : cell212 ] .
the only remaining possibility is that an orbit of type 2 is adjacent to an orbit @xmath250 of type 3 and another orbit of type 2 , the latter being adjacent also to an orbit of type 3 which has to be different from @xmath250 in view of ( [ girth ] ) . in conclusion ,
orbits of type 2 come in pairs , implying that @xmath251 moreover , each such pair of orbits of type 2 has two neighbors in @xmath87 , namely a pair of orbits of type 3 .
we now consider orbits of type 3 .
recall that they have no inner edges .
further , by ( [ girth ] ) two adjacent orbits of type 3 must be joined by a single matching .
we conclude that in @xmath87 an orbit of type 3 is either adjacent to three orbits of type 3 or to two orbits of type 3 and an orbit of length @xmath17 ( either of type 1 or of type 2 ) .
it follows that there are only five possible local adjacency structures of orbits in @xmath87 , those shown in figure  [ fig:22 ] .
the rest of the argument depends on the parity of @xmath50 .
suppose first that @xmath50 is even .
since in this case orbits of type 1 and type 2 are of the same parity , the number of orbits of type 1 is even by ( [ eq : orbits ] ) .
consequently , the number of orbits of type 3 adjacent to some orbit of length @xmath17 is therefore also even . to see that the total number of all orbits of @xmath248 is even , it suffices to show that the number of orbits of type 3 which are only adjacent to orbits of type 3 is even , too .
we do this by modifying the quotient graph @xmath87 with the removal of all orbits of length @xmath17 , and edges incident with them .
we obtain a graph which is a subdivision of a cubic graph .
such a graph must have an even number of vertices of valency @xmath14 meaning that the number of orbits of type 3 not adjacent to orbits of length @xmath17 was even to start with . in summary , the number of orbits for each of the three types is even .
it follows that @xmath89 is an even automorphism .
suppose now that @xmath50 is odd .
then there is an odd number of orbits of type 1 , and hence also an odd number of orbits of type 3 adjacent to these orbits . recall that by ( [ eq : orbits ] ) we have an even number of orbits of type 2 , and consequently an even number of orbits of type 3 as their neighbors . as in the case
@xmath50 even , we remove all orbits of length @xmath17 ( an odd number of orbits ) from @xmath87 .
we obtain a graph which is a subdivision of a cubic graph in which there is an odd number of vertices of valency @xmath17 and an even number of vertices of valency @xmath14 .
therefore @xmath248 has an odd number of orbits of length @xmath17 and an odd number of orbits of length @xmath21 , in total an even number of orbits .
this implies that @xmath89 is an even automorphism , completing the proof of proposition  [ pro : cubic-2 - 2 ] .        as in the proof of proposition
[ pro : cubic-2 - 2 ] we note that , by proposition  [ pro : girth ] , @xmath252 for the same reasons as in the proof of proposition  [ pro : cubic-2 - 2 ] we may assume that @xmath39 is bipartite . by ( [ g42 ] ) @xmath67 is generated by an element @xmath247 of order @xmath14 , an edge - flipping automorphism @xmath89 of order @xmath21 , and three conjugate involutions @xmath253 , @xmath254 , and @xmath255 ( of which @xmath253 is a square of @xmath89 ) .
clearly proposition  [ pro : cubic-4 - 2x ] will be proved provided we show that @xmath89 is an odd automorphism if and only if @xmath50 is odd . for this purpose
we now count the orbits of @xmath248 . in doing
so we use an approach analogous to that used in the proof of proposition  [ pro : cubic-2 - 2 ] .
the orbits of @xmath248 are of three types : orbits of length @xmath17 with an inner edge ( type 1 ) , orbits of length @xmath17 without inner edges ( type 2 ) , and orbits of length @xmath21 ( type 3 ) .
the latter have no inner edges as an edge would either give rise to a @xmath21-cycle in @xmath39 ( which is impossible by ( [ girth1 ] ) ) or would give rise to an edge flipped by the involution @xmath249 , contradicting non - existence of edge - flipping involutions in cubic symmetric graphs of type @xmath125 . as in the proof of proposition  [ pro : cubic-2 - 2 ]
we observe that the numbers of orbits of type 1 and type 2 are of the same parity when the bipartition sets are of even cardinality ( that is , for @xmath50 even ) , and are of different parity when the bipartition sets are of odd cardinality ( that is , for @xmath50 odd ) .
let us now analyze the quotient graph @xmath87 of @xmath39 with respect to the set of orbits of @xmath248 and the possible adjacencies between the orbits of the three types .
first we show that an orbit of type 1 must be adjacent to two orbits of type 2 .
it certainly can not be adjacent to an orbit of type 3 , for otherwise the involution @xmath249 would have an @xmath131-tree as a rigid cell , contradicting proposition  [ pro : cell24 ] .
further , an orbit of type 1 can not be adjacent to another orbit of type 1 , for this would give rise to a cycle of length @xmath21 in @xmath39 , contradicting ( [ girth1 ] ) .
hence , an orbit of type 1 is adjacent to two orbits of type 2
. the remaining two neighbors in @xmath87 of these two orbits of type 2 must be orbits of type 3 .
namely , if one of these remaining neighbors was an orbit of type 2 then @xmath249 would fix a path of length @xmath21 in @xmath39 , which is clearly not possible in a @xmath21-regular graph .
consider now orbits of type 2 .
if such an orbit is adjacent to three orbits of type @xmath17 and if each of these three orbits has an orbit of type 3 as a neighbor then @xmath249 has the @xmath132-tree for a rigid cell , contradicting proposition  [ pro : cell24 ] .
therefore at least one of these three orbits is adjacent to two additional orbits of length @xmath17 ( which must be of type 2 , of course ) .
in fact , precisely one of these three orbits has such neighbors , as otherwise @xmath249 would fix a path of length @xmath21 in @xmath39 , contradicting @xmath21-regularity of @xmath39 .
these six orbits of type 2 give rise to an @xmath0-tree in @xmath87 .
the remaining neighbors of the four vertices of valency @xmath123 in this @xmath0-tree must all be orbits of type 3 , for otherwise @xmath249 would fix a path of length greater than or equal to @xmath21 .
it follows that there are only two possible local adjacency structures of orbits of length @xmath17 in @xmath87  those shown in figure  [ fig:42 ] .
consequently , the number of adjacencies between orbits of type 3 with orbits of type 2 is even ( and there are no adjacencies between orbits of type 1 and orbits of type 3 ) .
consider now orbits of type 3 . recall that there are no edges inside an orbit of type 3 .
further , by ( [ girth1 ] ) , two adjacent orbits of type 3 must be joined by a single matching .
we can conclude that an orbit of type 3 is either adjacent to three orbits of type 3 in @xmath87 or to two orbits of type 3 and one orbit of type 2 .
we will now modify the quotient graph @xmath87 by removing all orbits of length @xmath17 , obtaining thus a subdivision of a cubic graph .
of course the number of vertices of valency @xmath14 in this graph is even .
also , we know that the number of vertices of valency @xmath17 ( corresponding to orbits of type 3 with one neighbor being an orbit of type 2 ) is even . consequently , the number of orbits of type 3 is even . since we know that the number of orbits of length @xmath17 is even if and only if @xmath50 is even , it follows that it is the parity of @xmath50 that determines whether the number of orbits of @xmath89 is even or odd .
consequently , @xmath89 is an odd permutation if and only if @xmath50 is odd .
[ remark]there are no graphs of type @xmath125 in conder s list of all cubic symmetric graphs up to order @xmath23 @xcite .
however , such graphs do exist @xcite .
known examples in the literature are of order @xmath256 .
marston d.  e. conder has kindly pointed out to us that there exists a graph of order @xmath257 . in particular
, the group @xmath258 has a quotient @xmath259 of order @xmath260 that is an extension of an elementary abelian normal @xmath14-subgroup of order @xmath261 by @xmath262 ( the point stabilizer in the mathieu group @xmath263 ) .
the group @xmath259 act @xmath21-regularly on a cubic @xmath104-arc - transitive graph @xmath132 ( of order @xmath264 ) , but it has two normal subgroups of order @xmath265 that are interchanged under conjugation by an element of the full automorphism group of @xmath132 ( not lying in @xmath259 ) .
factoring out one of these normal subgroups gives a quotient @xmath266 of order @xmath267 , which is the full automorphism group of a cubic @xmath21-regular graph of type @xmath125 of order @xmath268 .
this graph is a regular @xmath269-cover of tutte s @xmath270-cage @xmath271 . by proposition  [ pro : cubic-4 - 2x ]
it admits odd automorphisms .
the following proposition considers all remaining types of cubic @xmath77-regular graphs , @xmath160 , without @xmath245-regular subgroups in their automorphism groups .
it shows , for example , that amongst the graphs @xmath272 , @xmath273 and @xmath274 , the three smallest examples of cubic symmetric graphs of type @xmath52 , only the graph @xmath274 has no odd automorphisms .
namely , all these three graphs are of order @xmath275 , but @xmath274 is not bipartite whereas the other two graphs are bipartite .
[ pro : cubic - s - regular - without - s-1 ] let @xmath39 be a cubic symmetric graph of order @xmath40 admitting an @xmath77-regular subgroup @xmath276 , which is an epimorphic image of a group different from @xmath122 and @xmath258 , with no @xmath245-regular subgroup , where @xmath160 .
then there exists an odd automorphism of @xmath39 in @xmath1 if and only if @xmath50 is odd and @xmath39 is bipartite .
assume that there exists an odd automorphism of @xmath39 in @xmath1 .
then there exists a subgroup @xmath277 of index @xmath17 consisting of even automorphisms .
since an element of order @xmath14 from @xmath278 lies in @xmath235 and there is no @xmath245-regular subgroup of @xmath1 we can conclude that @xmath235 is intransitive with two orbits on @xmath64 , forcing @xmath39 to be bipartite .
moreover , odd automorphisms in @xmath1 are precisely those automorphisms that interchange the bipartition sets @xmath39 . since @xmath1 is not an epimorphic image of either @xmath122 or @xmath258 there exists an involution @xmath279 flipping an edge in @xmath39 .
this involution @xmath89 is clearly semiregular , and thus it is odd if and only if @xmath50 is odd .      in what follows ,
propositions  [ pro : cubic-2-regular-2mod4 ] and  [ pro : cubic-2-regular-0mod4 ] combined together lay the ground for the proof of theorem  [ thm : main ] for cubic symmetric graphs of type @xmath55 , while proposition  [ pro : janko ] recalls a group - theoretic result needed in the proof of proposition  [ pro : cubic-2-regular-0mod4 ] .
given a group @xmath1 and a subset @xmath280 we let @xmath281 and @xmath282 be the normalizer and the centralizer of @xmath83 in @xmath1 , respectively .
recall that in a transitive permutation group @xmath1 acting on a set @xmath2 , the number of points left fixed by @xmath283 , @xmath284 , is equal to the index @xmath285 of @xmath278 in its normalizer @xmath286 ( see , for example , ( * ? ? ?
* theorem  3.5 ) ) .
proposition  [ pro : cubic-2-regular-0mod4 ] gives the answer to the question about existence of odd automorphisms in graphs of order @xmath287 which admit an epimorphic image of @xmath121 as a @xmath17-regular subgroup in their automorphism groups . in the proof of this proposition
we will use the following janko s result ( which can be extracted from ( * ? ? ? * theorem  1.1 ) ) about finite @xmath17-groups having a small centralizer of an involution .
[ pro : janko ] let @xmath1 be a finite non - abelian @xmath17-group containing an involution @xmath288 such that the centralizer @xmath289 is of the form @xmath290 , where @xmath291 is a cyclic group of order @xmath17 .
then either @xmath1 is a dihedral group of order @xmath93 , @xmath292 , or @xmath1 is a quasi - dihedral group @xmath92 of order @xmath93 , @xmath293 .    given integers @xmath294 and @xmath295 , a group of automorphisms of a graph is called @xmath296-_semiregular _ if it has @xmath297 orbits of length @xmath50 and no other orbit , and the action is regular on each orbit . an @xmath297-_cayley graph _
@xmath39 _ on a group _
@xmath0 is a graph admitting an @xmath296-semiregular subgroup of automorphisms isomorphic to @xmath0 .
[ pro : cubic-2-regular-0mod4 ] let @xmath39 be a cubic symmetric graph of order @xmath298 , where @xmath57 and @xmath294 is odd ( thus , @xmath39 is of order @xmath256 ) , with a @xmath17-regular subgroup @xmath242 , which is an epimorphic image of @xmath121 .
then @xmath1 contains an odd automorphism if and only if @xmath39 is non - bipartite , of type @xmath55 an @xmath297-cayley graph on a cyclic group of order @xmath59 .
observe that with the assumption on @xmath299 and @xmath297 , clearly an @xmath297-cayley graph on a cyclic group of order @xmath59 admits odd automorphisms : such an automorphism is a generator of the cyclic group of order @xmath59 .    to complete the proof of proposition  [ pro : cubic-2-regular-0mod4 ]
assume that @xmath39 has an odd automorphism in @xmath1 .
since @xmath1 is @xmath17-regular we have @xmath300 . by ( [ g21 ] )
, @xmath1 is generated by an element of order @xmath14 , which can not be an odd automorphism , and by two involutions @xmath89 and @xmath253 .
therefore @xmath39 has an odd automorphism in @xmath1 if and only if at least one of these two involutions is an odd automorphism .
since @xmath39 is of order @xmath256 , an involution is odd if and only if it fixes an odd number of pairs of adjacent vertices .
hence , let @xmath301 be an odd involution .
then @xmath302 , where @xmath303 is odd , implying that @xmath304 .
let @xmath266 be a sylow @xmath17-subgroup of @xmath1 containing @xmath288 .
note that @xmath305 . since @xmath306 is an involution it can not be odd inside a cyclic subgroup of order @xmath21 .
it follows that @xmath307 . if @xmath266 is abelian then @xmath308 , implying that @xmath309 , and thus @xmath310 , contradicting the assumption that @xmath305 .
therefore , @xmath266 is non - abelian , and so proposition  [ pro : janko ] implies that @xmath266 contains a cyclic subgroup @xmath291 of order @xmath311 .
since @xmath312 is isomorphic to @xmath109 it follows that @xmath313 . in particular , since @xmath314 , @xmath170 and @xmath315 , a generator of @xmath291 is semiregular on @xmath64 .
it follows that @xmath39 is an @xmath297-cayley graph on @xmath291 .    to complete the proof we need to show that the existence of odd automorphisms in @xmath39 implies that @xmath39 is a non - bipartite graph of type @xmath55 .
suppose on the contrary that @xmath39 is bipartite .
then the odd involution @xmath301 , which is contained in some vertex stabilizer , fixes the two bipartition sets of @xmath39 .
therefore any orbit of @xmath316 is contained in one of the two bipartition sets .
further , @xmath317 splits equally into the two bipartition sets .
namely , every vertex fixed by @xmath288 in one bipartition set has a neighbor in the other bipartition set which is also fixed by @xmath288 . in view of the fact that the two bipartition sets are of equal cardinality
, this implies that the two bipartition sets contain the same number of orbits of @xmath318 of length @xmath17 also , implying that the total number of orbits of length @xmath17 is even , contradicting the fact that @xmath288 is an odd automorphism .
therefore @xmath39 is non - bipartite .
finally , proposition  [ pro : cubic - s - regular - without - s-1 ] and the fact that graphs of types @xmath42 and @xmath43 are all bipartite ( see table  [ tab : cubic - types ] ) combined together imply that @xmath39 is of type @xmath55 .
[ pro:3 - 2-odd ] let @xmath39 be a cubic symmetric @xmath14-regular graph of order @xmath40
admitting a @xmath17-regular subgroup @xmath235 in its full automorphism group @xmath67 . then @xmath39 has odd automorphisms if and only if @xmath50 is odd .
by proposition  [ pro : cell23 ] there exists an involution @xmath321 with all of its rigid cells isomorphic to the @xmath132-tree .
therefore the number of fixed vertices of @xmath225 is divisible by @xmath21 .
consequently , @xmath225 is an odd permutation if and only if @xmath50 is odd .    to complete the proof
let us assume that @xmath50 is even , and suppose , by contradiction , that @xmath39 contains odd automorphisms .
suppose first that @xmath39 contains an odd automorphism in @xmath197 , @xmath170 .
this implies that @xmath322 consists of odd automorphisms and that @xmath323 consists of even automorphisms . but this contradicts the above statement about involutions in vertex stabilizers being odd if and only if @xmath50 is odd .
consequently , odd automorphisms of @xmath39 can possibly only exist outside vertex stabilizers .
let @xmath0 be the index @xmath17 subgroup of @xmath67 consisting of even automorphisms only .
but note that the whole of @xmath197 is contained in @xmath0 , and so @xmath0 is an index @xmath17 intransitive subgroup of @xmath67 , forcing @xmath39 to be bipartite .
furthermore , all automorphisms interchanging the two bipartition sets are odd permutations . by ( [ g3 ] ) , there exists an involution @xmath324 flipping an edge of @xmath39 and thus interchanging the bipartition sets .
it follows that @xmath89 has @xmath50 orbits of length @xmath17 ( and no fixed vertices ) , and so is an even permutation , a contradiction .
the last proposition in the series solves the problem of existence of odd automorphisms in cubic symmetric graphs of types @xmath61 , @xmath62 , @xmath325 and @xmath326 . since cubic symmetric graphs of types
@xmath61 and @xmath62 are never bipartite ( see table  [ tab : cubic - types ] ) , proposition  [ pro:5 - 4-oddx ] implies that none of these graphs admits odd automorphisms .
an example of a graph of type @xmath62 is the graph @xmath327 , the only cubic @xmath104-regular vertex - primitive graph @xcite . on the other hand ,
since cubic symmetric graphs of types @xmath325 and @xmath326 are always bipartite ( see table  [ tab : cubic - types ] ) proposition  [ pro:5 - 4-oddx ] implies that graphs of these two types admit odd automorphisms if and only if they are of order twice an odd number .
[ pro:5 - 4-oddx ]
let @xmath39 be a cubic symmetric @xmath104-regular graph of order @xmath40 admitting a @xmath21-regular subgroup @xmath235 in its full automorphism group @xmath67 .
then @xmath39 has odd automorphisms if and only if @xmath39 is bipartite and @xmath50 is odd .
suppose first that @xmath39 is bipartite and @xmath50 is odd
. then the edge - flipping involution @xmath324 , which exists by ( [ g5 ] ) , is semiregular with @xmath50 orbits of length @xmath17 , and thus an odd automorphism .
since @xmath39 contains odd automorphisms there exists an index @xmath17 subgroup of even automorphisms , which is either arc - transitive and hence an epimorphic image of @xmath330 or @xmath258 ( in which case the claim is clearly true ) or it is intransitive . if the latter occurs then the whole of @xmath197 , @xmath170 , consists of even automorphisms , and hence also the whole of @xmath329 consists of even automorphisms .
this proves the above claim .      by proposition
[ pro : cell25 ] , for every vertex @xmath170 there exists a unique canonical involution @xmath331 for @xmath69 ( with @xmath138 as its rigid cell ) .
note also that , by ( * ? ? ? * lemma  1 ) , @xmath171 is a central element of @xmath332 .
let @xmath333 , @xmath334 ,
, @xmath335 be those vertices of @xmath39 for which @xmath336 , @xmath337 , are all @xmath225-rigid cells .
consider the orbits of @xmath338 .
orbits of @xmath338 are of length @xmath123 and @xmath17 .
exactly @xmath339 orbits of @xmath338 are of length @xmath123 ( each @xmath225-rigid cell gives @xmath340 such orbits ) .
orbits of @xmath338 of length @xmath17 are of two types : those with an inner edge ( we refer to them as orbits of _ type 1 _ ) and those with no inner edge ( we refer to them as orbits of _ type 2 _ ) .
let @xmath341 be the number of orbits of @xmath338 of type 1 and @xmath342 be the number of orbits of @xmath338 of type 2 .
then @xmath343 of @xmath39 with respect to the set of orbits of @xmath338 .
let us modify the quotient graph @xmath344 with the removal of all orbits of length @xmath123 , and orbits of type 1 adjacent to these orbits ( note that there are @xmath345 such orbits as orbits of length @xmath123 form an @xmath133-tree ) .
we obtain a graph which is a subdivision of a cubic graph .
such a graph must have an even number of vertices of valency @xmath14 , meaning that @xmath346 , and thus also @xmath342 , is an even number .
suppose first that @xmath347 .
then , by ( [ eq : j ] ) , @xmath297 and @xmath50 are of the same parity , implying that @xmath225 has an even number of orbits of length @xmath17 , and is thus an even automorphism . since , by ( [ g5 ] ) , all involutions @xmath348 , @xmath254 , @xmath255 and @xmath77 in a generating set of @xmath67 are conjugate , we may conclude that @xmath197 , @xmath170 , consists of even automorphisms as claimed .
we may therefore assume that @xmath349 .
( note that in this case @xmath39 is non - bipartite in view of the fact that there exist both a vertex fixed by @xmath225 and an edge flipped by @xmath225 . by table  [ tab : cubic - types ] , @xmath39 is either of type @xmath62 or of type @xmath61 . ) by ( [ eq : j ] ) it suffices to show that @xmath341 is even .
let @xmath350 be the set of @xmath341 edges flipped by @xmath225 .
since @xmath225 is the central element in @xmath351 , one can easily see that @xmath352 for each @xmath353 . since @xmath354 the length of every orbit of @xmath197 on @xmath350 is a divisor of @xmath355 .
further , since the stabilizer of an edge in @xmath39 is a @xmath17-group , the element of order @xmath14 in @xmath197 can not fix an edge in @xmath350 , and so the length of every orbit of @xmath197 on @xmath350 is divisible by @xmath14 .
in fact the lengths of orbits of @xmath197 on @xmath350 are divisible by @xmath26 .
suppose on the contrary that there exists an orbit of @xmath197 on @xmath350 of length @xmath14 .
then the intersection @xmath356 of the edge stabilizer @xmath357 , @xmath358 with @xmath197 is a sylow @xmath17-group of @xmath197 , and thus isomorphic to @xmath359 .
since @xmath225 flips the edge @xmath358 , it follows that half of the elements of @xmath356 fix @xmath360 point - wise whereas the other half interchange @xmath68 and @xmath361 .
note however that the edge - stabilizer in a @xmath104-regular cubic graph is isomorphic to @xmath362 and has @xmath363 subgroups of order @xmath113 . amongst these @xmath363 subgroups
only the stabilizer of the arc @xmath364 is isomorphic to @xmath359 , a contradiction .
it follows that the length of every orbit of @xmath197 on @xmath350 is divisible by @xmath26 .
we conclude that @xmath350 is of even cardinality , that is , @xmath341 is even .
it follows by ( [ eq : j ] ) that @xmath297 and @xmath50 are of the same parity , and consequently @xmath225 has an even number of orbits of length @xmath17 , and is therefore an even automorphism . since , by ( [ g5 ] ) , all involutions @xmath348 , @xmath254 , @xmath255 and @xmath77 in a generating set of @xmath67 are conjugate
, we may conclude that @xmath197 , @xmath170 , consists of even automorphisms as claimed .
this completes the proof of claim  2 .
we are now ready to prove that the existence of odd automorphisms in @xmath39 implies that @xmath39 is bipartite of order @xmath275 .
so let us assume that there exists an odd automorphism in @xmath67 .
in view of claim  2 vertex stabilizers consist of even automorphisms , and so @xmath67 contains an intransitive subgroup of index @xmath17 consisting of even automorphisms , forcing @xmath39 to be bipartite .
in addition , all automorphisms interchanging the two bipartition sets are odd . in particular , the edge - flipping involution @xmath324 , which exists by ( [ g5 ] ) , is odd .
it follows that the bipartition sets are of odd cardinality , that is , @xmath50 is odd .
this completes the proof of proposition  [ pro:5 - 4-oddx ] .
let @xmath39 be a cubic symmetric graph .
then @xmath39 is of one of @xmath38 possible types ( see subsection  [ sec : cubic - sym ] ) . part ( i ) of theorem  [ thm : main ]
follows from proposition  [ pro : cubic-1-regular ] for graphs of type @xmath41 , from proposition  [ pro : cubic-4 - 2x ] for graphs of type @xmath125 , from proposition  [ pro:3 - 2-odd ] for graphs of types @xmath42 , @xmath43 , @xmath44 and @xmath45 , and from proposition  [ pro:5 - 4-oddx ] for graphs of types @xmath48 and @xmath49 .
since every cubic symmetric graph of type @xmath46 is bipartite ( see table  [ tab : cubic - types ] ) , part ( i ) of theorem  [ thm : main ] for graphs of type @xmath46 follows from proposition  [ pro : cubic - s - regular - without - s-1 ] .
finally , part ( iv ) of theorem  [ thm : main ] follows from proposition  [ pro : cubic-2 - 2 ] for graphs of type @xmath60 , and from proposition  [ pro:5 - 4-oddx ] for graphs of types @xmath61 and @xmath62 ( since none of graphs of types @xmath61 and @xmath62 is bipartite ) .
the work of klavdija kutnar was supported in part by the slovenian research agency ( research program p1 - 0285 and research projects n1 - 0032 , n1 - 0038 , j1 - 6720 , j1 - 6743 , and j1 - 7051 ) , in part by woodwisdom - net+ , w@xmath365b , and in part by nsfc project 11561021 .
the work of dragan marui was supported in part by the slovenian research agency ( i0 - 0035 , research program p1 - 0285 and research projects n1 - 0032 , n1 - 0038 , j1 - 5433 , j1 - 6720 , and j1 - 7051 ) , and in part by h2020 teaming innorenew coe .