A randomized construction of high girth regular graphs

Stochastic processes, estimation, and control: The entropy approach: By George N. Saridis

Spectra of quasi-strongly regular graphs

A digraph is semicomplete if it has no pair of non-adjacent vertices. It is complete if every pair of distinct vertices induces a 2-cycle. A digraph is semicomplete multipartite if it can be obtained from a semicomplete digraph D by choosing a collection of vertex-disjoint subsets X₁,…,X_c of V(D) and then deleting all arcs both of whose end-vertices lie inside some X_i. We can also think of a semicomplete digraph as being obtained from a semicomplete multipartite digraph on the same vertex set and partite sets V₁,…,V_c by adding the arcs of a semicomplete digraph D_i on V_i for each partite set V_i. It is well known that both the hamiltonian path and the hamiltonian cycle problem can be solved in polynomial time for semicomplete multipartite digraphs. In this paper we study the complexity of finding a hamiltonian path or cycle in a semicomplete digraph S which is obtained as above from a semicomplete multipartite digraph D and semicomplete digraphs D_i=(V_i,A_i), i∈[c] such that the path or cycle uses as few arcs of A₁∪…A_c as possible. We obtain a number of results for the case when each D_i is a complete digraph. Already this case is highly nontrivial in the cycle case and the complexity is still open. We show how to find a Hamiltonian path which uses as few arcs from the D_i’s as possible in polynomial time and obtain a number of results, both structural and algorithmic on hamiltonian cycles that use the minimum or close to the minimum number of arcs from the D_i’s. Our results imply the polynomial solvability of some special cases of the NP-complete {0,1}-TSP problem. Finally we show that two natural questions about properties of quasi-hamiltonian cycles, that is, cycles meeting all partite sets in semicomplete multipartite digraphs are NP-complete.

A 1-factorisation of a graph G is a decomposition of G into edge-disjoint 1-factors (1-regular spanning subgraphs). A perfect 1-factorisation is a 1-factorisation in which the union of every pair of distinct 1-factors is a Hamilton cycle; a 1-factorisation is uniform if the graphs resulting from the union of every pair of distinct 1-factors are isomorphic. We initiate the study of perfect 1-factorisations and uniform 1-factorisations of circulant graphs, a well-studied family of Cayley graphs, by determining whether or not such 1-factorisations exist for even order circulant graphs of small degree. For a bipartite circulant graph, we observe that having order congruent to 2 (mod 4) is a necessary condition for the existence of a perfect 1-factorisation. We prove that for bipartite 3-regular circulant graphs this necessary condition is also sufficient. Furthermore, the bipartite 3-regular circulant graphs of order 2 (mod 4) are the only 3-regular circulant graphs of order greater than 6 which admit a perfect 1-factorisation. The 4-regular case is more complex; we provide constructions of perfect 1-factorisations for many families of bipartite 4-regular circulant graphs of order 2 (mod 4); however, we also prove that there is an infinite family of such graphs no member of which admits a perfect 1-factorisation. We conjecture that a connected non-bipartite 4-regular circulant graph of order at least 8 does not admit a perfect 1-factorisation; we prove this conjecture for three distinct infinite families of non-bipartite 4-regular circulant graphs and show by computer search that the conjecture holds for small orders (at most 30). Several of our results are achieved by studying perfect 1-factorisations of a particular family of 4-regular graphs, denoted Dh, k for integers h, knwhere h g 2 and k g 3. These graphs are shown to be isomorphic to Cayley graphs when k is even and yet they are not vertex-transitive when k is odd (and hng 3). For small values of h, we make use of the structure of Dh,k to determine when it admits a perfect 1-factorisation and then use specific isomorphism results to obtain corresponding results for 4-regular circulant graphs. In this thesis the connected 3-regular circulant graphs that admit a perfect 1-factorisation are characterised and although the connected 4-regular circulant graphs that admit a perfect 1-factorisation have not yet been fully characterised, we provide many interesting theoretical results that establish the framework for such a characterisation.n

Motivated by work of Haythorpe, Thomassen and the author showed that there exists a positive constant $c$ such that there is an infinite family of 4-regular 4-connected graphs, each containing exactly $c$ Hamiltonian cycles. We complement this by proving that the same conclusion holds for planar 4-regular 3-connected graphs, although it does not hold for planar 4-regular 4-connected graphs by a result of Brinkmann and Van Cleemput [European J. Combin., 97 (2021), 103395], and that it holds for 4-regular graphs of connectivity 2 with the constant $144 < c$, which we believe to be minimal among all Hamiltonian 4-regular graphs of sufficiently large order. We then disprove a conjecture of Haythorpe by showing that for every nonnegative integer $k$ there is a 5-regular graph on $26 + 6k$ vertices with $2^{k+10} \cdot 3^{k+3}$ Hamiltonian cycles. We prove that for every $d \ge 3$ there is an infinite family of Hamiltonian 3-connected graphs with minimum degree $d$, with a bounded number of Hamiltonian cycles. It is shown that if a 3-regular graph $G$ has a unique longest cycle $C$, at least two components of $G - E(C)$ have an odd number of vertices on $C$, and that there exist 3-regular graphs with exactly two such components.

Hamiltonian Cycles in Regular Graphs

A regular graph is a graph where each vertex has the same degree. A regular graph with vertices of degree k is called a k -regular graph or regular graph of degree k. Let G be a graph, the distance between two vertices in G is the number of edges in a shortest path connecting them. The diameter of G is the greatest distance between any pair of vertices. Let n4 be maximum integer number so that there exists an 4-regular graph on n4 vertices of diameter 2. We prove that n4 = 15.

On packing Hamilton cycles in [formula omitted]-regular graphs

We develop novel methods for constructing nearly Hamilton cycles in sublinear expanders with good regularity properties, as well as new techniques for finding such expanders in general graphs. These methods are of independent interest due to their potential for various applications to embedding problems in sparse graphs. In particular, using these tools, we make substantial progress towards a 20‐year‐old conjecture of Verstraëte, which asserts that for any given graph , nearly all vertices of every ‐regular graph can be covered by vertex‐disjoint ‐subdivisions. This significantly extends previous work on the conjecture by Kelmans, Mubayi and Sudakov, Alon and Kühn and Osthus. Additionally, we present applications of our methods to two other problems.

On the mutually independent Hamiltonian cycles in faulty hypercubes

A hamiltonian graph G of order n is k-ordered, 2 k n, if for every sequence v1 ;v 2 ;:::;v k of k distinct vertices of G, there exists a hamiltonian cycle that encounters v1 ;v 2 ;:::;v k in this order. Theorems by Dirac and Ore, presenting sufficient conditions for a graph to be hamiltonian, are generalized to k-ordered hamiltonian graphs. The existence of k-ordered graphs with small maximum degree is investigated; in particular, a family of 4-regular 4-ordered graphs is described. A graph G of order n 3 is k-hamiltonian-connected, 2 k n, if for every sequence v1 ;v 2 ;:::;v k of k distinct vertices, G contains a v1-vk hamiltonian path that encounters v1 ;v 2 ;:::;v k in this order. It is shown that for k 3, every (k+1)-hamiltonian-connected graph is k-ordered and a result of Ore on hamiltonian-connected graphs is generalized to k-hamiltonian-connected

On regular graphs and Hamiltonian circuits, including answers to some questions of Joseph Zaks

Independent Dominating Sets and a Second Hamiltonian Cycle in Regular Graphs

An interconnection network is usually modeled as a graph, in which vertices and edges correspond to processors and communication links, respectively. Connectivity is an important metric for fault tolerance of interconnection networks. A connected graph [Formula: see text] is said to be maximally local-edge-connected if each pair of vertices [Formula: see text] and [Formula: see text] of [Formula: see text] are connected by [Formula: see text] pairwise edge-disjoint paths. In this paper, we show that the [Formula: see text]-dimensional augmented cube [Formula: see text] is [Formula: see text]-edge-fault-tolerant maximally local-edge-connected and the bound [Formula: see text] is sharp; under the restricted condition that each vertex has at least three fault-free adjacent vertices, [Formula: see text] is [Formula: see text]-edge-fault-tolerant maximally local-edge-connected and the bound [Formula: see text] is sharp; and under the restricted condition that each vertex has at least [Formula: see text] fault-free adjacent vertices, [Formula: see text] is [Formula: see text]-edge-fault-tolerant maximally local-edge-connected. Furthermore, we show that a [Formula: see text]-regular graph [Formula: see text] is [Formula: see text]-fault-tolerant one-to-many maximally local-connected if [Formula: see text] does not contain [Formula: see text] and is super [Formula: see text]-vertex-connected of order 1, a [Formula: see text]-regular graph [Formula: see text] is [Formula: see text]-fault-tolerant one-to-many maximally local-connected if [Formula: see text] does not contain [Formula: see text] and is super [Formula: see text]-vertex-connected of order 1.

Forwarding and optical indices of 4-regular circulant networks