Modularity in random regular graphs and lattices

Given a graph G, the modularity of a partition of the vertex set measures the extent to which edge density is higher within parts than between parts; and the modularity of G is the maximum modularity of a partition.We give an upper bound on the modularity of r-regular graphs as a function of the edge expansion (or isoperimetric number) under the restriction that each part in our partition has a sub-linear numbers of vertices. This leads to results for random r-regular graphs. In particular we show the modularity of a random cubic graph partitioned into sub-linear parts is almost surely in the interval (0.66, 0.88).The modularity of a complete rectangular section of the integer lattice in a fixed dimension was estimated in Guimer et. al. [R. Guimerà, M. Sales-Pardo and L.A. Amaral, Modularity from fluctuations in random graphs and complex networks, Phys. Rev. E 70 (2) (2004) 025101]. We extend this result to any subgraph of such a lattice, and indeed to more general graphs.     

Hamiltonian cycles in random regular graphs

The existence of Hamiltonian cycles in random vertex-labelled regular graphs is investigated. It is proved that there exists r₀≤796 such that for r≥r₀ almost all vertex-labelled r-regular graphs with n vertices have Hamiltonian cycles as n → ∞.     

Vertex-magic labelings of regular graphs II

Previously the first author has shown how to construct vertex-magic total labelings (VMTLs) for large families of regular graphs. The construction proceeds by successively adding arbitrary 2-factors to a regular graph of order n which possesses a strong VMTL, to produce a regular graph of the same order but larger size. In this paper, we exploit this construction method. We are able to show that for any r≥4, every r-regular graph of odd order n≤17 has a strong VMTL. We show how to produce strong labelings for some families of 2-regular graphs since these are used as the starting points of our construction. While even-order regular graphs are much harder to deal with, we introduce ‘mirror’ labelings which provide a suitable starting point from which the construction can proceed. We are able to show that several large classes of r-regular graphs of even order (including some Hamiltonian graphs) have VMTLs.     

Almost all regular graphs are hamiltonian

In a previous article the authors showed that almost all labelled cubic graphs are hamiltonian. In the present article, this result is used to show that almost all r-regular graphs are hamiltonian for any fixed r ? 3, by an analysis of the distribution of 1-factors in random regular graphs. Moreover, almost all such graphs are r-edge-colorable if they have an even number of vertices. Similarly, almost all r-regular bipartite graphs are hamiltonian and r-edge-colorable for fixed r ? 3. © 1994 John Wiley & Sons, Inc.     

Generating random regular graphs

An algorithm is described which generates a random labeled cubic graph on n vertices. Also described is a procedure which, if successful, generates a random (0,1)-matrix with prescribed row and column sums. The latter yields procedures which, if successful, generate random labeled graphs with specified degree sequence and random labeled bipartite graphs with specified degree sequences. These procedures can be implemented so that each trial requires time which is linear in the number of vertices plus edges, but in generating a random r-regular graph, the probability of success of a given trial is about $\text{exp}\text{(}\text{(1 ? r}{}^2\text{)}\text{4}\text{)}$, which is prohibitively small for large r. Comparisons are made between the complexities of the two methods of generating random cubic graphs. The two general schemes presented derive from methods which have been used to enumerate regular graphs, both asymptotically and exactly.     

Quantum Ergodicity for Quantum Graphs without Back-Scattering

We give an estimate of the quantum variance for d-regular graphs quantised with boundary scattering matrices that prohibit back-scattering. For families of graphs that are expanders, with few short cycles, our estimate leads to quantum ergodicity for these families of graphs. Our proof is based on a uniform control of an associated random walk on the bonds of the graph. We show that recent constructions of Ramanujan graphs, and asymptotically almost surely, random d-regular graphs, satisfy the necessary conditions to conclude that quantum ergodicity holds.     

Altitude of regular graphs with girth at least five

The altitude of a graph G is the largest integer k such that for each linear ordering f of its edges, G has a (simple) path P of length k for which f increases along the edge sequence of P. We determine a necessary and sufficient condition for cubic graphs with girth at least five to have altitude three and show that for r?4, r-regular graphs with girth at least five have altitude at least four. Using this result we show that some snarks, including all but one of the Blanus?a type snarks, have altitude three while others, including the flower snarks, have altitude four. We construct an infinite class of 4-regular graphs with altitude four.     

1-factor covers of regular graphs

We consider minimal 1-factor covers of regular multigraphs, focusing on those that are 1-factorizations. In particular, we classify cubic graphs such that every minimal 1-factor cover is also a 1-factorization, and also classify simple regular bipartite graphs with this property. For r>3, we show that there are finitely many simple r-regular graphs such that every minimal 1-factor cover is also a 1-factorization.     

A full characterization of invariant embeddability of unimodular planar graphs

When can a unimodular random planar graph be drawn in the Euclidean or the hyperbolic plane in a way that the distribution of the random drawing is isometry-invariant? This question was answered for one-ended unimodular graphs in Benjamini and Timar, using the fact that such graphs automatically have locally finite (simply connected) drawings into the plane. For the case of graphs with multiple ends the question was left open. We revisit Halin's graph theoretic characterization of graphs that have a locally finite embedding into the plane. Then we prove that such unimodular random graphs do have a locally finite invariant embedding into the Euclidean or the hyperbolic plane, depending on whether the graph is amenable or not.     

Is the critical percolation probability local?

We show that the critical probability for percolation on a d-regular non-amenable graph of large girth is close to the critical probability for percolation on an infinite d-regular tree. We also prove a finite analogue of this statement, valid for expander graphs, without any girth assumption.     

Unimodular graphs and Eisenstein sums

Motivated in part by combinatorial applications to certain sum-product phenomena, we introduce unimodular graphs over finite fields and, more generally, over finite valuation rings. We compute the spectrum of the unimodular graphs, by using Eisenstein sums associated with unramified extensions of such rings. We derive an estimate for the number of solutions to the restricted dot product equation \(a\cdot b=r\) over a finite valuation ring. Furthermore, our spectral analysis leads to the exact value of the isoperimetric constant for half of the unimodular graphs. We also compute the spectrum of Platonic graphs over finite valuation rings, and products of such rings—e.g., \(\mathbb {Z}/(N)\). In particular, we deduce an improved lower bound for the isoperimetric constant of the Platonic graph over \(\mathbb {Z}/(N)\).     

The spectrum of the random environment and localization of noise

We consider random walk on a mildly random environment on finite transitive d-regular graphs of increasing girth. After scaling and centering, the analytic spectrum of the transition matrix converges in distribution to a Gaussian noise. An interesting phenomenon occurs at d = 2: as the limit graph changes from a regular tree to the integers, the noise becomes localized. The graphs of the noise covariance structure for d = 4, 3, 2.1 from above.     

Representative graphs of r-regular partial planes and representation of orthomodular posets

In this paper the authors establish a one-to-one correspondence between the isomorphism classes of graphs whose structure spaces are r-regular partial planes and the isomorphism classes of graphs which have no induced subgraphs isomorphic to an (r + 1)-pointed star or to K₄ with a single line removed. Moreover the graphs whose structure space contains no 4-loops correspond to graphs with no 4-cycles as induced subgraphs. It is pointed out that these graphs give rise to orthomodular posets (or lattices in the case of no 4-loops) and hence are of much interest in the study of orthomodular structures and in particular of quantum logics.     

Clique-inserted-graphs and spectral dynamics of clique-inserting

Motivated by studying the spectra of truncated polyhedra, we consider the clique-inserted-graphs. For a regular graph G of degree r>0, the graph obtained by replacing every vertex of G with a complete graph of order r is called the clique-inserted-graph of G, denoted as C(G). We obtain a formula for the characteristic polynomial of C(G) in terms of the characteristic polynomial of G. Furthermore, we analyze the spectral dynamics of iterations of clique-inserting on a regular graph G. For any r-regular graph G with r>2, let S(G) denote the union of the eigenvalue sets of all iterated clique-inserted-graphs of G. We discover that the set of limit points of S(G) is a fractal with the maximum r and the minimum −2, and that the fractal is independent of the structure of the concerned regular graph G as long as the degree r of G is fixed. It follows that for any integer r>2 there exist infinitely many connected r-regular graphs (or, non-regular graphs with r as the maximum degree) with arbitrarily many distinct eigenvalues in an arbitrarily small interval around any given point in the fractal. We also present a formula on the number of spanning trees of any kth iterated clique-inserted-graph and other related results.     

Representing groups by graphs with constant link and hypergraphs

A graph L is called a link graph if there is a graph G such that for each vertex of G its neighbors induce a subgraph isomorphic to L. Such a G is said to have constant link L. We prove that for any finite group Γ and any disconnected link graph L with at least three vertices there are infinitely many connected graphs G with constant link L and AutG ? Γ. We look at the analogous problem for connected link graphs, namely, link graphs that are paths or have disconnected complements. Furthermore we prove that for n, r ≥ 2, but not n = 2 = r, any finite group can be represented by infinitely many connected r-uniform, n-regular hypergraphs of arbitrarily large girth.     

Spanning Star Trees in Regular Graphs

For a subset W of vertices of an undirected graph G, let S(W) be the subgraph consisting of W, all edges incident to at least one vertex in W, and all vertices adjacent to at least one vertex in W. If S(W) is a tree containing all the vertices of G, then we call it a spanning star tree of G. In this case W forms a weakly connected but strongly acyclic dominating set for G. We prove that for every r ≥ 3, there exist r-regular n-vertex graphs that have spanning star trees, and there exist r-regular n-vertex graphs that do not have spanning star trees, for all n sufficiently large (in terms of r). Furthermore, the problem of determining whether a given regular graph has a spanning star tree is NP-complete.     

Relations between (κ, τ)-regular sets and star complements

Let G be a finite graph with an eigenvalue µ of multiplicity m. A set X of m vertices in G is called a star set for µ in G if µ is not an eigenvalue of the star complement G\X which is the subgraph of G induced by vertices not in X. A vertex subset of a graph is (κ, τ)-regular if it induces a κ-regular subgraph and every vertex not in the subset has τ neighbors in it. We investigate the graphs having a (κ, τ)-regular set which induces a star complement for some eigenvalue. A survey of known results is provided and new properties for these graphs are deduced. Several particular graphs where these properties stand out are presented as examples.     

Minimum monopoly in regular and tree graphs

In this paper we consider a graph optimization problem called minimum monopoly problem, in which it is required to find a minimum cardinality set S⊆V, such that, for each u∈V, |N[u]∩S|?|N[u]|/2 in a given graph G=(V,E). We show that this optimization problem does not have a polynomial-time approximation scheme for k-regular graphs (k?5), unless P=NP. We show this by establishing two L-reductions (an approximation preserving reduction) from minimum dominating set problem for k-regular graphs to minimum monopoly problem for 2k-regular graphs and to minimum monopoly problem for (2k-1)-regular graphs, where k?3. We also show that, for tree graphs, a minimum monopoly set can be computed in linear time.     

Cayley Cages

A (k,g)-Cayley cage is a k-regular Cayley graph of girth g and smallest possible order. We present an explicit construction of (k,g)-Cayley graphs for all parameters k≥2 and g≥3 and generalize this construction to show that many well-known small k-regular graphs of girth g can be constructed in this way. We also establish connections between this construction and topological graph theory, and address the question of the order of (k,g)-Cayley cages.     

3-star factors in random -regular graphs

The small subgraph conditioning method first appeared when Robinson and the second author showed the almost sure hamiltonicity of random d-regular graphs. Since then it has been used to study the almost sure existence of, and the asymptotic distribution of, regular spanning subgraphs of various types in random d-regular graphs and hypergraphs. In this paper, we use the method to prove the almost sure existence of 3-star factors in random d-regular graphs. This is essentially the first application of the method to non-regular subgraphs in such graphs.