arXiv++ Combinatorics

We generalise to signed graphs a classical result of Tutte [Canad. J. Math. 8 (1956), 13--28] stating that every integer flow can be expressed as a sum of characteristic flows of circuits. In our generalisation, the rôle of circuits is taken over by signed circuits of a signed graph which occur in two types -- either balanced circuits or pairs of disjoint unbalanced circuits connected with a path intersecting them only at its ends. As an application of this result we show that a signed graph $G$ admitting a nowhere-zero $k$-flow has a covering with signed circuits of total length at most $2(k-1)|E(G)|$.

We estimate the minimum number of vertices of a cubic graph with given oddness and cyclic connectivity. We prove that a bridgeless cubic graph $G$ with oddness $ω(G)$ other than the Petersen graph has at least $5.41\cdotω(G)$ vertices, and for each integer $k$ with $2\le k\le 6$ we construct an infinite family of cubic graphs with cyclic connectivity $k$ and small oddness ratio $|V(G)|/ω(G)$. In particular, for cyclic connectivity 2, 4, 5, and 6 we improve the upper bounds on the oddness ratio of snarks to 7.5, 13, 25, and 99 from the known values 9, 15, 76, and 118, respectively. In addition, we construct a cyclically 4-connected snark of girth 5 with oddness 4 on 44 vertices, improving the best previous value of 46.

We classify those 2-groups G which factorise as a product of two disjoint cyclic subgroups A and B, transposed by an automorphism of order 2. The case where G is metacyclic having been dealt with elsewhere, we show that for each e>2 there are exactly three such non-metacyclic groups G with $|A|=|B|=2^e$, and for e=2 there is one. These groups appear in a classification by Berkovich and Janko of 2-groups with one non-metacyclic maximal subgroup; we enumerate these groups, give simpler presentations for them, and determine their automorphism groups.

Although the phenomenon of chirality appears in many investigations of maps and hypermaps no detailed study of chirality seems to have been carried out. Chirality of maps and hypermaps is not merely a binary invariant but can be quantified by two new invariants -- the chirality group and the chirality index, the latter being the size of the chirality group. A detailed investigation of the chirality groups of maps and hypermaps will be the main objective of this paper. The most extreme type of chirality arises when the chirality group coincides with the monodromy group. Such hypermaps are called totally chiral. Examples of them are constructed by considering appropriate ``asymmetric'' pairs of generators for some non-abelian simple groups. We also show that every finite abelian group is the chirality group of some hypermap, whereas many non-abelian groups, including symmetric and dihedral groups, cannot arise as chirality groups.