arXiv++ Combinatorics

Two Eulerian circuits, both starting and ending at the same vertex, are avoiding if at every other point of the circuits they are at least distance 2 apart. An Eulerian graph which admits two such avoiding circuits starting from any vertex is said to be doubly Eulerian. The motivation for this definition is that the extremal Eulerian graphs, i.e. the complete graphs on an odd number of vertices and the cycles, are not doubly Eulerian. We prove results about doubly Eulerian graphs and identify those that are the `densest' and `sparsest' in terms of the number of edges.

We consider the degree-diameter problem for undirected and directed circulant graphs. To date, attempts to generate families of large circulant graphs of arbitrary degree for a given diameter have concentrated mainly on the diameter 2 case. We present a direct product construction yielding improved bounds for small diameters and introduce a new general technique for "stitching" together circulant graphs which enables us to improve the current best known asymptotic orders for every diameter. As an application, we use our constructions in the directed case to obtain upper bounds on the minimum size of a subset $A$ of a cyclic group of order $n$ such that the $k$-fold sumset $kA$ is equal to the whole group. We also present a revised table of largest known circulant graphs of small degree and diameter.

This paper considers the degree-diameter problem for extremal and largest known undirected circulant graphs of degree 2 to 9 of arbitrary diameter. As these graphs are vertex transitive it is possible to define their distance partition. The number of vertices in each level of the distance partition is shown to be related to an established upper bound for the order of Abelian Cayley graphs. Furthermore these graphs are all found to have odd girth which is maximal for their diameter. Therefore the type of each vertex in a level may be well-defined by the number of adjacent vertices in the preceding level. With this definition the number of vertices of each type in each level is also shown to be related to the same Abelian Cayley graph upper bound. Finally some implications are discussed for circulant graphs of higher degree.

This paper considers the degree-diameter problem for undirected circulant graphs. The focus is on extremal graphs of given (small) degree and arbitrary diameter. The published literature only covers graphs of up to degree 7. The approach used to establish the results for degree 6 and 7 has been extended successfully to degree 8 and 9. Candidate graphs are defined as functions of the diameter for both degree 8 and degree 9. They are proven to be extremal for small diameters. They establish new lower bounds for all greater diameters, and are conjectured to be extremal. The existence of the degree 8 solution is proved for all diameters. Finally some conjectures are made about solutions for circulant graphs of higher degree.

This is the full proof of Theorem 3 on the existence of the largest known degree 8 circulant graph for all diameters stated in the paper "The degree-diameter problem for circulant graphs of degree 8 and 9" by the author. To avoid the paper being unduly long the exceptions for only one case were included in the statement of the proof. In the statement of the proof presented in this paper the exceptions for all cases are included in full. This proof closely follows the approach taken by Dougherty and Faber for the existence of the largest known degree 6 circulant graph for all diameters.