Regular graphs with girth at least 5 and small second largest eigenvalue

For the set of graphs with a given degree sequence, consisting of any number of $2's$ and $1's$, and its subset of bipartite graphs, we characterize the optimal graphs who maximize and minimize the number of $m$-matchings. We find the expected value of the number of $m$-matchings of $r$-regular bipartite graphs on $2n$ vertices with respect to the two standard measures. We state and discuss the conjectured upper and lower bounds for $m$-matchings in $r$-regular bipartite graphs on $2n$ vertices, and their asymptotic versions for infinite $r$-regular bipartite graphs. We prove these conjectures for $2$-regular bipartite graphs and for $m$-matchings with $m\le 4$.

In this paper, we consider the minimum maximal matching problem in some classes of graphs such as regular graphs. We show that the minimum maximal matching problem is NP-hard even in regular bipartite graphs, and a polynomial time exact algorithm is given for almost complete regular bipartite graphs. From the approximation point of view, it is well known that any maximal matching guarantees the approximation ratio of 2 but surprisingly very few improvements have been obtained. In this paper we give improved approximation ratios for several classes of graphs. For example any algorithm is shown to guarantee an approximation ratio of (2-o(1)) in graphs with high average degree. We also propose an algorithm guaranteeing for any graph of maximum degree Δ an approximation ratio of (2−1/Δ), which slightly improves the best known results. In addition, we analyse a natural linear-time greedy algorithm guaranteeing a ratio of (2−23/18k) in k-regular graphs admitting a perfect matching.

Sharp upper bounds for the Laplacian graph eigenvalues

Periodicity of Grover walks on bipartite regular graphs with at most five distinct eigenvalues

Finite common coverings of pairs of regular graphs

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

R. Haggkvist proved that every 3-regular bipartite graph of order 2n with no component isomorphic to the Heawood graph decomposes the complete bipartite graph K 6n,6n . In [2] the first two authors established a necessary and sufficient condition for the existence of a factorization of the complete bipartite graph K n,n into certain families of 3-regular graphs of order 2n. In this paper we tackle the problem of decompositions of K n,n into 3-regular graphs some more. We will show that certain families of 3-regular graphs of order 2n decompose the complete bipartite graph $K_{\frac{3n}{2},\frac{3n}{2}}$.

By introducing a duality operator in coherent algebras (i.e. adjacency algebras of coherent configurations) we give a new interpretation to Delsarte's duality theory for association schemes. In particular we show that nonnegative matrices and positive semidefinite matrices, (0, 1)-matrices and distance matrices, regular graphs and spherical 2-designs, distance regular graphs and Delsarte matricesare pairs of dual objects. Several “almost dual” properties which are not yet fully understood are also reported.

Recent results establish for 2-spin antiferromagnetic systems that the computational complexity of approximating the partition function on graphs of maximum degree D undergoes a phase transition that coincides with the uniqueness phase transition on the infinite D-regular tree. For the ferromagnetic Potts model we investigate whether analogous hardness results hold. Goldberg and Jerrum showed that approximating the partition function of the ferromagnetic Potts model is at least as hard as approximating the number of independent sets in bipartite graphs (#BIS-hardness). We improve this hardness result by establishing it for bipartite graphs of maximum degree D. We first present a detailed picture for the phase diagram for the infinite D-regular tree, giving a refined picture of its first-order phase transition and establishing the critical temperature for the coexistence of the disordered and ordered phases. We then prove for all temperatures below this critical temperature that it is #BIS-hard to approximate the partition function on bipartite graphs of maximum degree D. As a corollary, it is #BIS-hard to approximate the number of k-colorings on bipartite graphs of maximum degree D when k <= D/(2 ln D). The #BIS-hardness result for the ferromagnetic Potts model uses random bipartite regular graphs as a gadget in the reduction. The analysis of these random graphs relies on recent connections between the maxima of the expectation of their partition function, attractive fixpoints of the associated tree recursions, and induced matrix norms. We extend these connections to random regular graphs for all ferromagnetic models and establish the Bethe prediction for every ferromagnetic spin system on random regular graphs. We also prove for the ferromagnetic Potts model that the Swendsen-Wang algorithm is torpidly mixing on random D-regular graphs at the critical temperature for large q.

The well known “real-life examples” of small world graphs, including the graph of binary relation: “two persons on the earth know each other” contains cliques, so they have cycles of order 3 and 4. Some problems of Computer Science require explicit construction of regular algebraic graphs with small diameter but without small cycles. The well known examples here are generalised polygons, which are small world algebraic graphs i.e. graphs with the diameter d≤clog k−1(v), where v is order, k is the degree and c is the independent constant, semiplanes (regular bipartite graphs without cycles of order 4); graphs that can be homomorphically mapped onto the ordinary polygons. The problem of the existence of regular graphs satisfying these conditions with the degree ≥k and the diameter ≥d for each pair k≥3 and d≥3 is addressed in the paper. This problem is positively solved via the explicit construction. Generalised Schubert cells are defined in the spirit of Gelfand-Macpherson theorem for the Grassmanian. Constructed graph, induced on the generalised largest Schubert cells, is isomorphic to the well-known Wenger’s graph. We prove that the family of edge-transitive q-regular Wenger graphs of order 2qn, where integer n≥2 and q is prime power, q≥n, q>2 is a family of small world semiplanes. We observe the applications of some classes of small world graphs without small cycles to Cryptography and Coding Theory.

The rainbow number of matchings in regular bipartite graphs

We give necessary and sufficient conditions on the parameters of a regular graph Γ (with or without loops) such that . We study complementary equienergetic cubic graphs obtaining classifications up to isomorphisms for connected cubic graphs with single loops (5 non-isospectral pairs) and connected integral cubic graphs without loops ( or ). Then we show that, up to complements, the only bipartite regular graphs equienergetic and non-isospectral with their complements are the crown graphs or . Next, for the family of strongly regular graphs Γ we characterize all possible parameters such that . Furthermore, using this, we prove that a strongly regular graph is equienergetic to its complement if and only if it is either a conference graph or else it is a pseudo Latin square graph (i.e. has OA parameters). We also characterize all complementary equienergetic pairs of graphs of type , and in Cameron's hierarchy (the cases in the non-bipartite case and are still open). Finally, we consider unitary Cayley graphs over rings . We show that if R is a finite Artinian ring with an even number of local factors, then is complementary equienergetic if and only if is the product of 2 finite fields.

Une permutation donnée, vue comme réunion de cycles disjoints, représente un graphe régulier de degré $2$. Considérons $d$ permutations aléatoires indépendantes, en superposons leurs structures de graphes. Ceci est le modèle de permutation bien connu donnant un (multi-)graphe régulier aléatoire de degré $2d$. Nous considérons un champ $2$-dimensionnel de $d$ permutations indexé par la taille et le temps. La taille de chaque permutation croît selon des processus couplés de restaurants chinois, tandis que chaque permutation évolue dans le temps selon une chaîne de transpositions aléatoires. À travers le modèle de permutation, ceci se projette en une famille à deux paramètres de graphes qui croissent en taille (« dimension ») et qui évoluent en temps. Dans cet ensemble de graphes aléatoires, on observe asymptotiquement une évolution remarquable des petits cycles et des statistiques linéaires des valeurs propres en dimension et en temps. En dimension, il avait été montré par Johnson et Pal (Ann. Probab. 42 (2014) 1396–1437) que les nombres de cycles sont décrits par un champ poissonnien de processus de Yule. Ici, nous donnons une description en dimension et en temps du processus des cycles en termes en termes d’un surface aléatoire poissonnienne, pour tout $d$. Lorsque $d$ tend vers l’infini, les fluctuations des nombres de cycles convergent vers un processus gaussien indexé par la dimension et le temps. Les marginales en dimension se trouvent être le champ libre gaussien, et le processus est stationnaire en temps. Une structure similaire de covariance apparaît dans les fluctuations des valeurs propres du processus des mineurs d’une matrice de Wigner réelle symétrique dont les coordonnées évoluent selon des processus stochastiques stationnaires i.i.d.. Ainsi, cet article décrit un analogue poissonnien d’une dynamique markovienne naturelle sur le champ libre gaussien, et étudie ses propriétés trajectorielles.

We strengthen a result by Laskar and Lyle (Discrete Appl. Math. (2009), 330–338) by proving that it is \(\textsc {NP}\)-complete to decide whether a bipartite planar graph can be partitioned into three independent dominating sets. In contrast, we show that this is always possible for every maximal outerplanar graph with at least three vertices. Moreover, we extend their previous result by proving that deciding whether a bipartite graph can be partitioned into k independent dominating sets is \(\textsc {NP}\)-complete for every \(k \ge 3\). We also strengthen a result by Henning et al. (Discrete Math. (2009), 6451–6458) by showing that it is \(\textsc {NP}\)-complete to determine if a graph has two disjoint independent dominating sets, even when the problem is restricted to triangle-free planar graphs. Finally, for every \(k \ge 3\), we show that there is some constant t depending only on k such that deciding whether a k-regular graph can be partitioned into t independent dominating sets is \(\textsc {NP}\)-complete. We conclude by deriving moderately exponential-time algorithms for the problem.

Short Solution of Kotzig's Problem for Bipartite Graphs