Next Article in Journal
Modification of Erroneous and Correct Digital Texts
Previous Article in Journal
LVGG-IE: A Novel Lightweight VGG-Based Image Encryption Scheme
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

It Is Better to Be Semi-Regular When You Have a Low Degree

by
Theodore Kolokolnikov
Department of Mathematics and Statistics, Dalhousie University Halifax, Halifax, NS B3H 3J5, Canada
Entropy 2024, 26(12), 1014; https://doi.org/10.3390/e26121014
Submission received: 21 August 2024 / Revised: 20 November 2024 / Accepted: 20 November 2024 / Published: 23 November 2024
(This article belongs to the Section Information Theory, Probability and Statistics)

Abstract

:
We study the algebraic connectivity for several classes of random semi-regular graphs. For large random semi-regular bipartite graphs, we explicitly compute both their algebraic connectivity as well as the full spectrum distribution. For an integer d 3 , 7 , we find families of random semi-regular graphs that have higher algebraic connectivity than random d-regular graphs with the same number of vertices and edges. On the other hand, we show that regular graphs beat semi-regular graphs when d 8 . More generally, we study random semi-regular graphs whose average degree is d, not necessarily an integer. This provides a natural generalization of a d-regular graph in the case of a non-integer d . We characterize their algebraic connectivity in terms of a root of a certain sixth-degree polynomial. Finally, we construct a small-world-type network of an average degree of 2.5 with relatively high algebraic connectivity. We also propose some related open problems and conjectures.

1. Introduction

Algebraic connectivity (AC; also called the spectral gap) of a graph is a fundamental property that measures how fast information diffuses throughout the graph [1,2]. It corresponds to the second smallest eigenvalue of the graph Laplacian matrix (the smallest eigenvalue is always zero). In many applications, it is desirable to maximize the algebraic connectivity (i.e., speed of diffusion) subject to certain constraints; this and related problems have a long history [3,4,5,6,7,8,9]. For example, in communications, the “cost” of a network increases with the number of links. It is therefore desirable to have as few edges as possible, while at the same time maximizing the algebraic connectivity. This leads to a natural question: For a fixed average degree d, what is the graph that maximizes algebraic connectivity as the number of vertices  n ?
Numerous papers address various aspects of this question, see e.g., [6,7,8,9]. This is one of those situations where the best answer is elusive [10], but a decent answer can be found relatively quickly [3,4]. Graphs with high algebraic connectivity are related to expander graphs, and are important in many applications [11,12]. In this paper, we study the algebraic connectivity of sparse random graphs in the case when the number of edges m scales linearly with the number of vertices n, i.e., m = O ( n ) . In other words, we fix the average degree d = 2 m / n = O ( 1 ) while letting n .
It is well known that a random Erdos–Renyi graph (where m edges are taken at random) needs O ( n log n ) edges to be fully connected [13,14], and as such, they are poor candidates for maximizing algebraic connectivity in this sparse regime (since the AC of a disconnected graph is zero). A good candidate is a d-regular graph for which every vertex has a degree d. It is well known that random regular d-graphs have an algebraic connectivity that is asymptotic to μ d 2 d 1 as n with fixed d [15,16,17,18,19]. For integer d 3 , this quantity is strictly positive, which assures that these graphs have good expander properties [20,21]. A natural question is whether one can perform better than a regular graph, but without “too much work” (in, say, O ( n ) time). In this paper, we give an affirmative answer when d 7 : we introduce a class of semi-regular random graphs (whose vertices have a degree of either d 1 or d 2 d 1 ), which is as easy to construct as random d-regular graphs, but which has better AC.
Another question is whether “expander-type” graphs (which we define to be graphs with AC bounded away from 0 as n ) are possible when the average degree d is less than 3, with n . For 2 < d < 3 , the answer is yes, and it is provided by semi-regular graphs of degrees 2 and 3, whose average degree is 2 + p (with 0 < p < 1 ) . We show that the AC of such graphs is asymptotic to μ p 2 / 4 in the limit of small p and large n, with n independent of p (the answer is no when d 2 , since any graph needs at least n 1 edges to be connected).
Our first result is on random semi-regular bipartite graphs, where each vertex has a degree of either d 1 or d 2 , and we compute their asymptotic AC in the limit n . In particular, we will exhibit a family of semi-random bipartite graphs having the same average degree as random d-regular graphs, but which have a higher algebraic connectivity when d 7 .
Before stating our result, let us define what we mean by such graphs. Consider a bipartite graph with one part having n 1 vertices of degree d 1 , and the second part having n 2 vertices of degree d 2 , such that every edge is between these two parts, and no edges are within each part. Then, n 1 d 1 = n 2 d 2 . Such a graph has n = n 1 + n 2 vertices so that
n 1 = d 2 d 1 + d 2 n , n 2 = d 1 d 1 + d 2 n ,
and therefore, the average degree is
d = 2 d 1 d 2 d 1 + d 2 .
We call such a graph a ( d 1 , d 2 ) semi-regular bipartite graph. We now introduce the following random model.
Random semi-regular bipartite (RSRB) graph model: Take two bags. In the first bag, put d 1 copies of n 1 vertices labeled 1 n 1 . In the second bag, put d 2 copies of n 2 vertices labeled n 1 + 1 n 1 + n 2 . Start with an empty graph of n 1 + n 2 vertices. Then, randomly pick two vertices without replacement—one from each bag—and add an edge between them to the graph. Repeat until the bags are empty. Refer to Figure 1a and the Matlab code in Appendix A.
We remark that this model (and the theory below) generally allows for multiple edges. These can be eliminated through a random rewiring postprocessing step. (Given a multiple edge ( a , b ) or a self-loop ( a = b ), choose another edge c , d at random. Then, replace edges a , b and c , d by edges a , c and b , d . Repeat until all multiple edges/loops are eliminated. This operation preserves the degree distribution and edge count). Multi-edges/loops appear to be sufficiently rare that the postprocessing step does not affect the asymptotic results in the large n limit, as confirmed via direct numerical simulations. We now state our main results for RSRB graphs.
Main Result 1.
Consider a d 1 , d 2 RSRB graph. In the limit n , its spectrum density is asymptotic to
ρ ( x ) = 1 π d 1 d 2 d 1 + d 2 ( x 2 r 2 ) ( r + 2 x 2 ) d 1 d 2 x 2 x , x r , r + d 2 d 1 d 1 + d 2 δ x , x < r 0 , x > r +
where δ is the Dirac-delta function and
r ± = d 1 + d 2 2 ± d 1 + d 2 2 2 d 2 d 1 2 1 / 2 .
In other words, the number of eigenvalues inside any interval a , b is asymptotic to a b ρ ( x ) d x as n .
Moreover, its algebraic connectivity is asymptotic to
μ d 1 + d 2 2 d 2 d 1 2 2 + r + 2 1 / 2 , n 1 .
Figure 2a shows the shape of the distribution (3) for the case d 1 = 2 , d 2 = 3 (having an average degree of d = 2.4 ), and compares it to an numerical histogram of eigenvalues of a 1000-vertex graph for this case. Very good agreement is observed.
Note that in the case d 1 = d 2 , Formula (3) reduces to the well-known Mckay distribution of the spectrum of a regular graph [15]:
ρ ( x ) = 1 π d 2 4 ( d 1 ) x 2 d 2 x 2 , x < 2 d 1 0 , x > 2 d 1 .
Moreover, Formula (5) simplifies to the classical result μ d 2 d 1 for the algebraic connectivity of a random regular graph of d vertices (this also shows that a random regular graph and random bipartite regular graphs have the same algebraic connectivity, at least to leading order in n).
Consider a random cubic graph d 1 = d 2 = 3 and contrast it with an RSRB graph with d 1 = 2 , d 2 = 6 . Both cases have the same average degree of d = 3 . Formula (5) gives the asymptotic values of μ 0.17157 for the former, and μ 0.19577 , for the latter. Thus, the 2 , 6  RSRB graph is about 15% better than a random cubic graph with respect to its expander properties, while having the same number of vertices and edges. Figure 2b shows a histogram for μ of 1000 randomly constructed such graphs, comparing these two cases with n = 2000 . Very good agreement between numerics and asymptotics is observed in both cases.
More generally, the following table shows all possible combinations of d 1 , d 2 such that d = 2 d 1 d 2 d 1 + d 2 is an integer between 3 and 8, and the corresponding value of μ (5).
All RSRB graphs with integer average degree d = 3 , , 8
d345678
d 1 3243536474865
d 2 364651561272881220
μ asympt 0.17150.19570.53580.553511.08901.52781.55872.10102.14352.70842.68872.6671
μ numerics 0.1780.2050.5530.5721.0271.1221.5651.5962.1502.2052.7662.7452.729
std0.0060.0060.0110.0100.0150.0170.0180.0180.0210.0200.0260.0220.022
diff %3.8%4.7%3.1%3.2%2.7%3.0%2.4%2.4%2.3%2.87%2.1%2.1%2.2%
The row μ asympt is the asymptotic formula given by (5). Row μ numerics corresponds to Monte Carlo simulations of μ . It shows the average μ for 200 randomly chosen RSRB graphs with n = 1000 edges. The row “diff %” is μ numerics μ asympt μ asympt × 100 . Uniformly good agreement between asymptotics and numerics is observed.
Parameters with higher AC are shown in bold. For d 7 , the RSRB graph with d 1 d 2 has a higher algebraic connectivity than the d-regular graph. On the other hand, for d 8 , d-regular graphs excel.
It is interesting to note that for any integer d 3 , Equation (2) always has a solution with integers 2 d 1 < d 2 . When d is prime, this solution is unique and is given by d 1 = ( d + 1 ) / 2 , d 2 = d d + 1 / 2 . More generally, the number of such solutions is precisely the number of Pythagorean triples of leg d (sequence A046079 in OEIS).
The RSRB graphs above have a constraint n 1 d 1 = n 2 d 2 . In particular, the minimum attainable average degree of such graphs is d = 2.4 , corresponding to d 1 , d 2 = 2 , 3 . We can remove this constraint by instead introducing the probability of having degree d 1 or d 2 as follows.
Random semi-regular (RSR) model: Given p , d 1 , d 2 , and n, let n 1 = 1 p n and let n 2 = n n 1 . In the same bag, put d 1 copies of n 1 vertices labeled 1 n 1 and d 2 copies of n 2 vertices labeled n 1 + 1 n . Create edges by drawing two vertices from the bag at random (without replacement), until only one or zero vertices are left in the bag. See Appendix A for the Matlab code.
An example of an RSR graph is shown in Figure 1b. Note that such a graph has an average degree of d = 1 p d 1 + p d 2 . We have the following.
Main Result 2.
Consider a p , d 1 , d 2 random semi-regular graph. Let
F ( R , x ) = x d 2 d 1 1 R x p + R x 2 ( d 2 1 ) 1 R 2 x 2 d 1 1 + R x d 2 d 1 R + 1 .
Let x be the smallest root of the system F = 0 = F / R . Then, in the limit n , the AC is given by μ = d 2 1 / x .
In general, eliminating R from the system F = 0 = F / R is a straightforward computer algebra computation using a resultant, and yields in a sixth-degree polynomial for x. It is too complex to present here for the general d 1 , d 2 —see Appendix A for the Maple code. In the case d 1 = 2 , d 2 = 3 , the RSR graph has an average degree 2 + p , and μ is the smallest root of
0 = μ μ 4 μ 2 4 μ 1 + 2 μ 3 μ 3 33 μ 2 + 89 μ 19 p + 15 μ 2 30 μ + 1 p 2 + 8 p 3 .
Figure 3 compares the μ given by (8) with numerical computations of μ for randomly chosen p , 2 , 3 RSR graphs. Note that the numerical result approaches the asymptotic value of μ as the number of edges n is increased.
The following table gives the value of μ for several choices of p , d 1 , d 2 , for which the average degree d = 4 , and a comparison with numerics is shown.
RSR model with d = 4
d 1 433222
d 2 456567
p 0.51/32/30.50.4
μ asympt 0.53590.442610.391620.33330.253520.20748
μ numerics 0.5510.4880.4510.2860.2170.174
std0.0100.0200.0220.0620.0510.045
diff %2.8%10%15%−14%−14%−19%
Here, μ asympt is as given in the Main Result 2; μ numerics is the average of 200 simulations with n = 1000 . As apparent from this table, the RSR model performs worse than the RSRB of average degree 4 (including 4-regular graphs). This appears to be true for any average degree d. However, one advantage of RSR graphs is that they produce graphs with an average degree 2 < d < 3 , with μ bounded away from zero as n . The smallest average degree that the RSRB model can have is 2.4, corresponding to d 1 , d 2 = 2 , 3 . In fact, (8) shows that μ p 2 / 4 when the average degree is 2 + p with d 1 = 2 , d 2 = 3 , and 0 < p 1 .

2. Derivation of Main Results

Derivation of spectral density (3). Following [15,22], we use the trace method. It is based on the fact that trace ( A s ) = j = 1 n λ j s . Define ϕ s = 1 n trace ( A s ) . Then, ϕ s represents the average number of closed walks of length s on the graph whose adjacency matrix is A. In the limit n , the eigenvalue distribution therefore satisfies
x s ρ ( x ) d x = ϕ s .
As in [15,22], the derivation consists of (a) computing ϕ s ; and (b) inverting the integral Equation (9) to determine ρ ( x ) .
To compute ϕ s , we write
ϕ s = d 1 d 1 + d 2 ϕ A , s + d 2 d 1 + d 2 ϕ B , s ,
where ϕ A , s is the number of closed walks of length s starting from a vertex of degree d 2 , and ϕ B , s is the number for the vertices of degree d 1 . A key insight [15] that allows for the asymptotic determination of ϕ A , s and ϕ B , s is that, locally, a large random regular graph looks like a tree because the probability of encountering a cycle of length s is incredibly small as n (for fixed s). The same is true of semi-regular random graphs. For the RSRB graphs, each successive level alternates between vertices of degree d 1 and d 2 . We therefore decompose these trees as illustrated in the following diagram, for the cases d 1 = 2 and d 2 = 3 .
d 1 = 2 , d 2 = 3
Entropy 26 01014 i001
Here, A represent the child nodes of degree d 1 and B child nodes of degree d 2 . Accordingly, ϕ A , s and ϕ B , s satisfy the recursion
ϕ A , s = d 2 j = 0 s 2 ϕ A , j A s 2 j , ϕ B , s = d 1 j = 0 s 2 ϕ B , j B s 2 j , A s = d 1 1 j = 0 s 2 A j B s 2 j , B s = d 2 1 j = 0 s 2 B j A s 2 j ,
with A 0 = B 0 = ϕ A , 0 = ϕ B , 0 = 1 . Let A ( x ) = A s x s be the generating function for A s and similarly for B , ϕ A , ϕ B , ϕ . From recursion relations (10), the corresponding generating functions satisfy   
A = 1 + d 1 1 x 2 A B , B = 1 + d 2 1 x 2 B A , ϕ A = 1 + d 2 x 2 ϕ A A , ϕ B = 1 + d 1 x 2 ϕ B B , ϕ = d 1 d 1 + d 2 ϕ A + d 2 d 1 + d 2 ϕ B .
Solving (11), while keeping in mind that ϕ 0 = 1 , we find that
ϕ ( x ) = d 1 d 2 d 1 + d 2 d 1 + d 2 d 1 d 2 d 2 d 1 2 x 4 + 4 2 d 1 2 d 2 x 2 + 1 1 d 1 d 2 x 2 1 .
In principle, ϕ s can be computed from ϕ ( x ) by Taylor-expanding near the origin; the first few terms are ϕ 0 = 1 , ϕ 2 = 2 d 1 d 2 d 1 + d 2 , ϕ 4 = 2 d 1 d 2 d 1 + d 2 d 1 + d 2 1 . In [15], an explicit computation of ϕ s was combined with Tchebychev polynomials to compute the McKay distribution for d-regular random graphs. Here, we use a simpler and more powerful technique using complex variables introduced in [23].
Write ϕ s using Cauchy’s integral formula as
ϕ s = z s 1 ϕ ( z ) d z 2 π i ,
where the integration is around a circle z = ε , with a sufficiently small ε to avoid any branch cuts of ϕ . Using the fact that ϕ ( z ) is even, we then have
ϕ s = 1 π 0 π ε s ϕ ε e i θ e s i θ d θ = i π 1 / ε 1 / ε 1 x ϕ 1 x x s d x .
Taking ε 0 and recalling (9), we obtain
ρ ( x ) x s d x = i π 1 x ϕ 1 x x s d x .
This yields the formula for ρ , namely
ρ ( x ) = 1 π Im 1 x ϕ 1 x .
This formula was derived in [23] using an equivalent technique (Stieltjes inversion). Next, we compute
1 x ϕ 1 x = 1 x d 1 d 2 d 1 + d 2 d 1 + d 2 d 1 d 2 x 2 ( x 2 r 2 ) ( x 2 r + 2 ) x 2 d 1 d 2 x 2 ,
where r ± is given by (4). It follows that Im 1 x ϕ 1 x = 0 for x r , r + and x 0 . On the other hand, when x r , r + , we obtain
ρ ( x ) = 1 π 1 x d 1 d 2 d 1 + d 2 ( r + 2 x 2 ) ( x 2 r 2 ) d 1 d 2 x 2 , x r , r + .
This recovers Formula (3) except for the delta mass at the center, which is due to the singularity there. To compute the weight of the delta mass, one can integrate the overall density and impose that ρ = 1 . While the exact integration of (14) is possible, it is easier and more instructive to compute the number of zero eigenvalues directly, as follows.
Suppose that d 2 > d 1 . Label the components of the eigenvector x 1 x n 1 and y 1 y n 2 , corresponding to vertices of degree d 1 and d 2 , respectively. A zero eigenvalue satisfies x j n b r ( y k ) x j = 0 , k = 1 n 2 and y j n b r ( x k ) y j = 0 , k = 1 n 1 . Look for solutions of the form where y j = 0 , j = 1 n 2 . This corresponds to solving n 2 linear equations x j n b r ( y k ) x j = 0 , for the n 1 unknown x 1 x n 1 . This is an under-determined system, since n 2 < n 1 . Generically, it has n 1 n 2 independent solutions. Therefore, the weight of the delta function at zero should be n 1 n 2 n . Using (2) yields n 1 n 2 n = d 2 d 1 d 1 + d 2 , which recovers the weight of the delta function in (3). We also verified using computer algebra that this indeed agrees with the full integration of (14), namely, that r r + ρ ( x ) d x = d 1 d 1 + d 2 , d 2 > d 1 , so that, indeed, ρ = 1 . This completes the derivation of the spectral density (3).
Finally, another derivation of the delta weight, as pointed out by James Mingo, is to use Proposition 3.8 in [24]. It says that if 1 x ϕ 1 x has a singularity at x = a , then the associated measure ρ ( x ) has a delta mass at x = a , whose weight is given by lim x a x a 1 x ϕ 1 x . Here, a = 0 and the mass weight is then given by lim x 0 ϕ 1 x = d 1 d 2 d 1 + d 2 r 2 r + 2 d 1 d 2 = d 2 d 1 d 1 + d 2 in agreement with direct computation. ▪
Derivation of AC formula for RSRB (5). Next, we derive the formula for algebraic connectivity (5). For d-regular graphs, the Laplacian graph is given by d I A , where I is the identity and A is the adjacency matrix. This allows us to characterize the AC in terms of the second-largest eigenvalue λ of A: μ = d λ . Of course, this is not true if the graph is not regular. The trick is to regularize the graph by adding enough self-loops to vertices until all vertices have the same degree. Each self-loop counts as a single additional edge (i.e., adding a loop to vertex j corresponds to adding “1” to the j-th diagonal entry of the associated adjacency matrix) and crucially, adding self-loops does not change the Laplacian of the graph.
For a d 1 , d 2 semi-regular graph, assume that d 1 < d 2 and add d 2 d 1 loops to all vertices of degree d 1 . This results in a d 2 -regular graph with loops. As before, let ϕ s be the number of closed walks of size s. Let λ be the local expansion rate, that is, the rate at which ϕ s grows: λ = lim s ϕ s + 1 / ϕ s . Then, by analogy to regular graphs, the AC is given by μ = d 2 λ . To compute λ , we decompose closed loops similarly to (11). The decomposition now has loops as illustrated below.
d 1 = 2 , d 2 = 3
Entropy 26 01014 i002
Correspondingly, the associated generating functions satisfy
A = 1 + ( d 2 d 1 ) x A + d 1 1 x 2 A B , B = 1 + d 2 1 x 2 B A , ϕ A = 1 + d 2 x 2 ϕ A A , ϕ B = 1 + x d 2 d 1 ϕ B + d 1 x 2 ϕ B B , ϕ = d 1 d 1 + d 2 ϕ A + d 2 d 1 + d 2 ϕ B .
To determine AC, it suffices to determine the growth rate of ϕ s . This growth rate is in turn determined by the locations of singularities in the associated generating functions [25]. In particular, if ϕ s z s = g ( z ) + h ( z ) ( z r ) p , where p is non-integer and g , h analytic, then ϕ s grows with the rate r 1 , in other words, ϕ s + 1 / ϕ s r 1 as s . The location of the singularity can be found without solving the full system, and corresponds to the smallest root of the discriminant of the system. To illustrate this, consider the Catalan numbers c n = 1 n + 1 2 n n , whose generating function satisfies c = 1 + x c 2 . Explicitly, c ( x ) = 1 1 4 x 2 x , and has a singularity at x = 1 / 4 , corresponding to the zero of the discriminant of the quadratic x c 2 c + 1 = 0 . It follows that c n + 1 / c n 4 as n (indeed, more precise asymptotics c n 1 π 4 n n 3 / 2 can also be derived from its generating function, although here, we only need the growth rate).
Let us now return to system (15). Eliminating B, we find that A satisfies a quadratic:
d 2 1 x d 2 d 1 1 x 2 A 2 + x 2 d 2 d 1 x d 2 d 1 + 1 A 1 = 0 .
Setting its discriminant to zero, we obtain a quartic polynomial for x, namely
d 1 d 2 2 x 4 + 2 d 1 + d 2 2 d 2 d 1 x 3 + ( d 1 d 2 ) 2 2 d 1 + d 2 2 x 2 + 2 d 1 d 2 x 1 = 0 .
The expansion rate is then λ = 1 / x , so that μ = d 2 1 / x . Substituting x = 1 / ( μ d 2 ) into (16), one obtains a fourth-degree polynomial for μ :
0 = μ 4 2 d 1 + d 2 μ 3 + d 1 + d 2 2 + 2 d 1 d 2 2 d 1 2 d 2 + 4 μ 2 + 2 d 1 + d 2 d 1 + d 2 2 d 1 d 2 μ + d 1 d 2 d 1 d 2 2 .
Shift this polynomial to eliminate the μ 3 term by substituting μ = y + d 1 + d 2 2 . Almost like magic, it simultaneously eliminates the μ 1 term, resulting in a quadratic for y 2 :
0 = y 4 + 4 2 d 1 + d 2 d 2 d 1 2 / 2 y 2 + d 2 d 1 2 d 1 + d 2 2 + d 2 d 1 4 16 .
Solving for y using the quadratic formula yields the solution (5). ▪
Derivation of Result 2. Again, we compute the average number of closed walks of length s, ϕ s . As before, each vertex looks like a tree locally. Each child in this tree has the probability 1 p of having degree d 1 , and probability p of having degree d 2 . As in the derivation of (5), assume that d 1 d 2 , and add d 2 d 1 self-loops to each vertex of degree d 1 . The walks on these trees then decompose according to the following diagram (here given in the case d 1 = 2 , d 2 = 3 ).
d 1 = 2 , d 2 = 3
Entropy 26 01014 i003
The corresponding generating function ϕ ( x ) = ϕ s x s solves the equations:
A = 1 + x d 2 d 1 A + d 1 1 x 2 A R B = 1 + d 2 1 B R R = 1 p A + p B ϕ A = 1 + x d 2 d 1 ϕ A + d 1 x 2 ϕ A R ϕ B = 1 + d 2 x 2 ϕ B R ϕ = ( 1 p ) ϕ A + p ϕ B .
Eliminating A and B yields a cubic F ( R ; x ) = 0 given by (7). The AC is then given by μ = d 2 1 / x , where x is the singularity of R ( x ) that is closest to the origin. By the implicit function theorem, this happens when F R = 0 . In other words, x satisfies F = 0 = F / R . ▪

3. Discussion and Open Problems

We computed the asymptotics of the AC for two models of semi-regular random graphs: either RSR or RSRB models. While the RSR model is shown to have a smaller AC than a random d-regular graph with the same average degree, we found that the RSRB model has a higher AC than d-regular when d 7 .
Ramunajan expander graphs are defined as being d-regular graphs [11,12] whose algebraic connectivity is at least d 2 d 1 . As illustrated in Figure 2b (see also Figure 9 in [11] and the related table there), a random d-regular graph has a decent chance of being a Ramunajan graph (around 66% when d = 3 as n according to simulations in [11]). We can extend the definition of Ramunajan expander graphs as being any graph of average degree d whose AC is at least d 2 d 1 . When d = 3 , an RSRB 2 , 6 graph is actually a Ramunajan graph with very high probability as n . This is illustrated in Figure 2b, where n 2000 . Out of 1000 of such randomly chosen graphs, only one had an AC less than d 2 d 1 = 0.1716 .
We relied on careful but formal power series computations. While the results were validated using numerics, a rigorous analysis of the results in this paper is an open problem. Related to this, it is an open question to estimate the accuracy of asymptotics as a function of n . In particular, the accuracy appears to be significantly degraded for the RSR graphs when d 1 and d 2 are far from each other. Take, for example, the case d 1 , d 2 = 2 , 6 . Intriguingly, the distribution for AC appears to have multiple peaks and does not necessarily concentrate around the mean, as illustrated in Figure 4 (note that this does not appear to be the case for RSRB graphs as Figure 2b illustrates). We pose this as an open problem.
Challenge 1.
Describe the full distribution of the AC, particularly for RSR graphs. Explain why it can be multi-peaked when d 1 d 2 .
Another class of graphs having high algebraic connectivity are the complete bipartite graphs K b , n b , which have AC μ = b (with b < n / 2 ). The average degree of such a graph is asymptotic to d = 2 b as n , so that μ d / 2 . This is in contrast to d-regular random graphs ( μ d 2 d 1 ). As was noted in [7], K d / 2 , n d / 2 have higher AC than the d-regular graphs (for the same asymptotical number of edges) provided that d < 15 (since, in which case, this is the d / 2 > d 2 d 1 case) while the converse is true when d 15 . While complete bipartite graphs have a relatively high AC when d < 15 , they are also fragile, in the sense that removing any single edge causes the AC to decrease by one. Random graphs are more robust with respect to edge deletions as they seem to have some redundancy built-in.
Consider the limit of large d 2 for the RSRB model. From (2) and (5), one obtains that d 2 d 1 and μ d 2 1 as d 2 . This is one less than the AC of the complete bipartite graph K d / 2 , n d / 2 (which also has the average degree d as n ) . More generally, let μ d 1 , d 2 be as in (5) and let μ d = d 2 d 1 , where d = 2 d 1 d 2 / ( d 1 + d 2 ) is the average degree. It can be shown that μ d 1 , d 2 < μ d for any d 1 , d 2 when d 10 . This discussion suggests the following question.
Challenge 2.
Find a family of random graphs which has a higher algebraic connectivity than d-regular random graphs when the average degree d 10 . Explore if a more complex degree distribution (e.g., tri-regular) can be better than semi-regular for, say, d = 3 .
There are several notions of graph connectivity, with AC being just one. Another notion is using the average of reliability polynomial [26,27] to compute the effect of edge deletions on graph connectivity. While the full reliability polynomial requires exponential time to compute, we performed the following simple experiment to quickly measure graph robustness. Start with a random 6-regular graph on 500 vertices (i.e., containing 1500 edges). Then, delete edges at random one by one until the graph becomes disconnected. Over 100 simulations, it took on average 460 edge deletions until the graph became disconnected (and in every instance, disconnectivity first occurred when a single vertex lost all of its edges). We then repeated this experiment with d 1 , d 2 = 4 , 12 RSRB graph with 500 vertices (which also contains 1500 edges, but has higher AC than a 6-regular random graph). It took on average 325 edge deletions until the disconnection was achieved. These preliminary experiments indicate that d-regular graphs are more reliable with respect to edge deletions than semi-regular bipartite graphs, even though the latter might have a higher AC. We state this as a conjecture.
Conjecture 1.
For a given average degree d, the most reliable graph is a d-regular graph.
Generally speaking, cubic graphs of high girth are good candidates for high-AC graphs [7]. Since RSRB can have a higher AC, they are also natural candidates for searching high-girth graphs. We pose this as a challenge.
Challenge 3.
For a fixed average degree d and fixed number of vertices n, find graphs (not necessarily d-regular) with the highest possible girth.
A d-regular graph with the smallest possible n for a given girth g is called a cage. The literature for looking for high-girth graphs is extensive; see [28,29] for an overview. There are powerful methods to perform computer searches for high-girth d-regular graphs [30,31]. As an example, consider 2 , 6 RSRB graphs, whose average degree is d = 3 . Do 2 , 6 semi-regular graphs give better cages than cubic graphs with the same number of vertices? The answer is, it depends. Note that that 2 , 6 graphs can be obtained from 6-regular graphs by inserting a vertex in the middle of each edge; conversely, any 2 , 6 graph yields a 6-regular graph by vertex contraction: just delete all 2-degree vertices. According to [28,32], a 6-regular 5-cage graph has 40 vertices. By vertex insertion, this yields a girth 10 2 , 6 semi-regular graph with 80 vertices. On the other hand, there are three cubic graphs having girth 10 and only 70 vertices [28]. So, the cubic is better for girth 10.
Similarly, a 6-regular cage of girth 6 has 62 vertices [28], which induces a (2,6) graph of girth 12 and 124 vertices. On the other hand, a cubic graph of girth 12 has at least 126 vertices [28,33]. So, a (2,6) semi-regular graph is superior for girth 12.
The techniques in this paper are rather general, and can be used to derive algebraic connectivity for many other random graph families. As an example, consider the “small-world”-type graph illustrated in Figure 1c. Start with a cycle of n vertices, then connect all odd-numbered vertices to each other at random. See Appendix A for the Matlab code that generates such a graph. The resulting graph has an average degree of 2.5. To compute its AC, as in the derivation of (5), we add a self-loop to even-numbered vertices so that each vertex has a degree of 3. We leave it as an exercise to the reader that the average walk-counting sequence ϕ s has the generating function that satisfies
A = 1 + x 2 ( A A ^ + A B ) A ^ = 1 + 2 x 2 A ^ B B = 1 + x B + x 2 A B ϕ o = 1 + x 2 ϕ o A ^ + 2 B ϕ e = 1 + x ϕ e + 2 x 2 ϕ e A ϕ = 1 2 ϕ o + 1 2 ϕ e .
Looking at the radius of convergence of the generating functions as before, we find that in the limit n , its AC is asymptotic to the smallest root of the polynomial
μ 9 24 μ 8 + 249 μ 7 1454 μ 6 + 5184 μ 5 11400 μ 4 + 14848 μ 3 10368 μ 2 + 3108 μ 136 = 0 ,
explicitly given by μ = 0.0521926 . This is validated using Monte Carlo simulations; the average AC of 1000 of such random graphs with n = 1000 vertices is 0.0557 (std = 0.0029), i.e., a difference of about 7%. This is significantly higher than an RSR graph with ( p , d 1 , d 2 ) = 0.5 , 2 , 3 , which also has an average degree of 2.5, but whose AC is μ 0.044241 .

Funding

T.K. is funded by NSERC Discovery grant, Canada.

Institutional Review Board Statement

Not applicable.

Data Availability Statement

Data is contained within the article.

Conflicts of Interest

The author declares no conflicts of interest.

Appendix A. Matlab and Maple Code

RSRB model (Figure 1a):
d1=2; d2=3; n1=30; n2=20;
bag1=mod([0:n1*d1-1], n1)+1;
bag2=mod([0:n2*d2-1], n2)+1+n1;
bag2=bag2(randperm(numel(bag2)));
G=graph(bag1, bag2);
plot(G);
RSR model (Figure 1b):
p=0.4; d1=2; d2=3; n=50;
n1=(1-p)*n; n2=p*n;
v1=mod([0:n1*d1-1], n1)+1;
v2=mod([0:n2*d2-1], n2)+1+n1;
bag=[v1, v2];
bag=bag(randperm(numel(bag)));
G=graph(bag(1:end/2),
bag(end/2+1:end));
plot(G);
Small-world-like model (Figure 1c):
n=52;
v1=[1:n];
v2=[2:n,1];
bag=[1:2:n];
bag=bag(randperm(numel(bag)));
v1=[v1,bag(1:end/2)];
v2=[v2,bag(end/2+1:end)];
G=graph(v1,v2);
t=(1:n)/n*2*pi;
plot(G, ’XData’, cos(t), ’YData’,
sin(t));
Maple code to compute AC of RSR graphs:
Entropy 26 01014 i004

References

  1. Fiedler, M. Algebraic connectivity of graphs. Czechoslov. Math. J. 1973, 23, 298–305. [Google Scholar] [CrossRef]
  2. de Abreu, N.M.M. Old and new results on algebraic connectivity of graphs. Linear Algebra Its Appl. 2007, 423, 53–73. [Google Scholar] [CrossRef]
  3. Ghosh, A.; Boyd, S. Growing well-connected graphs. In Proceedings of the 2006 45th IEEE Conference on Decision and Control, San Diego, CA, USA, 13–15 December 2006; pp. 6605–6611. [Google Scholar]
  4. Wang, H.; Mieghem, P.V. Algebraic connectivity optimization via link addition. In Proceedings of the 3rd International Conference on Bio-Inspired Models of Network, Information and Computing Sytems, Hyogo, Japan, 25–28 November 2008; p. 22. [Google Scholar]
  5. Sydney, A.; Scoglio, C.; Gruenbacher, D. Optimizing algebraic connectivity by edge rewiring. Appl. Math. Comput. 2013, 219, 5465–5479. [Google Scholar] [CrossRef]
  6. Olfati-Saber, R. Ultrafast consensus in small-world networks. In Proceedings of the American Control Conference, Portland, OR, USA, 8–10 June 2005; pp. 2371–2378. [Google Scholar]
  7. Kolokolnikov, T. Maximizing algebraic connectivity for certain families of graphs. Linear Algebra Its Appl. 2015, 471, 122–140. [Google Scholar] [CrossRef]
  8. Ogiwara, K.; Fukami, T.; Takahashi, N. Maximizing algebraic connectivity in the space of graphs with a fixed number of vertices and edges. IEEE Trans. Control Netw. Syst. 2015, 4, 359–368. [Google Scholar] [CrossRef]
  9. Shahbaz, K.; Belur, M.N.; Ganesh, A. Algebraic connectivity: Local and global maximizer graphs. arXiv 2021, arXiv:2110.01918. [Google Scholar] [CrossRef]
  10. Mosk-Aoyama, D. Maximum algebraic connectivity augmentation is NP-hard. Oper. Res. Lett. 2008, 36, 677–679. [Google Scholar] [CrossRef]
  11. Hoory, S.; Linial, N.; Wigderson, A. Expander graphs and their applications. Bull. Am. Math. Soc. 2006, 43, 439–561. [Google Scholar] [CrossRef]
  12. Lubotzky, A. Expander graphs in pure and applied mathematics. Bull. Am. Math. Soc. 2012, 49, 113–162. [Google Scholar] [CrossRef]
  13. Erdos, P.; Renyi, A. On Random Graphs. I. Publ. Math. 1959, 6, 290–297. [Google Scholar] [CrossRef]
  14. Alon, N.; Spencer, J.H. The Probabilistic Method; Wiley: Hoboken, NJ, USA, 2004. [Google Scholar]
  15. McKay, B.D. The expected eigenvalue distribution of a large regular graph. Linear Algebra Its Appl. 1981, 40, 203–216. [Google Scholar] [CrossRef]
  16. Alon, N. Eigenvalues and expanders. Combinatorica 1986, 6, 83–96. [Google Scholar] [CrossRef]
  17. Broder, A.; Shamir, E. On the second eigenvalue of random regular graphs. In Proceedings of the 28th Annual Symposium on Foundations of Computer Science, Los Angeles, CA, USA, 12–14 October 1987; pp. 286–294. [Google Scholar]
  18. Friedman, J. On the second eigenvalue and random walks in random d-regular graphs. Combinatorica 1991, 11, 331–362. [Google Scholar] [CrossRef]
  19. Nilli, A. Tight estimates for eigenvalues of regular graphs. Electron. J. Comb. 2004, 11, N9. [Google Scholar] [CrossRef] [PubMed]
  20. Wormald, N.C. Models of random regular graphs. Lond. Math. Soc. Lect. Note Ser. 1999, 267, 239–298. [Google Scholar]
  21. Murty, M.R. Ramanujan graphs. J.-Ramanujan Math. Soc. 2003, 18, 33–52. [Google Scholar]
  22. Wigner, E.P. Characteristic vectors of bordered matrices with infinite dimensions. Ann. Math. 1955, 62, 548–564. [Google Scholar] [CrossRef]
  23. Longoria, I.S.A.; Mingo, J.A. Freely independent coin tosses, standard Young tableaux, and the Kesten–McKay law. arXiv 2020, arXiv:2009.11950. [Google Scholar]
  24. Mingo, J.A.; Speicher, R. Free Probability and Random Matrices; Springer: New York, NY, USA, 2017; Volume 35. [Google Scholar]
  25. Wilf, H.S. Generatingfunctionology; CRC Press: New York, NY, USA, 2005. [Google Scholar]
  26. Brown, J.I.; Cox, D.; Ehrenborg, R. The average reliability of a graph. Discret. Appl. Math. 2014, 177, 19–33. [Google Scholar] [CrossRef]
  27. Pérez-Rosés, H. Sixty years of network reliability. Math. Comput. Sci. 2018, 12, 275–293. [Google Scholar] [CrossRef]
  28. Exoo, G.; Jajcay, R. Dynamic cage survey. Electron. J. Comb. 2012, DS16. [Google Scholar] [CrossRef]
  29. Biggs, N. Constructions for cubic graphs with large girth. Electron. J. Comb. 1998, 5, A1. [Google Scholar] [CrossRef] [PubMed]
  30. McKay, B.; Myrvold, W.; Nadon, J. Fast backtracking principles applied to find new cages. In Proceedings of the Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, San Francisco, CA, USA, 25–27 January 1998; pp. 188–191. [Google Scholar]
  31. Exoo, G.; McKay, B.D.; Myrvold, W.; Nadon, J. Computational determination of (3, 11) and (4, 7) cages. J. Discret. Algorithms 2011, 9, 166–169. [Google Scholar] [CrossRef]
  32. O’Keefe, M.; Wong, P.-K. A smallest graph of girth 5 and valency 6. J. Comb. Theory Ser. B 1979, 26, 145–149. [Google Scholar] [CrossRef]
  33. Benson, C.T. Minimal regular graphs of girths eight and twelve. Can. J. Math. 1966, 18, 1091–1094. [Google Scholar] [CrossRef]
Figure 1. Types of graphs considered in this work. Colour is used for emphasis, with blue vertices having degree 3 and red vertices having degree 2. (a) Random semi-regular bipartite graph with ( d 1 , d 2 ) = ( 2 , 3 ) . (b) Random semi-regular graph with ( p , d 1 , d 2 ) = ( 0.4 , 2 , 3 ) . Both graphs have the same average degree of d = 2.4 . (c) Small-world network consisting of a ring and with edges added at random between the odd-numbered vertices. It has an average degree of d = 2.5 .
Figure 1. Types of graphs considered in this work. Colour is used for emphasis, with blue vertices having degree 3 and red vertices having degree 2. (a) Random semi-regular bipartite graph with ( d 1 , d 2 ) = ( 2 , 3 ) . (b) Random semi-regular graph with ( p , d 1 , d 2 ) = ( 0.4 , 2 , 3 ) . Both graphs have the same average degree of d = 2.4 . (c) Small-world network consisting of a ring and with edges added at random between the odd-numbered vertices. It has an average degree of d = 2.5 .
Entropy 26 01014 g001
Figure 2. (a) Full spectrum of random semi-regular bipartite graph with d 1 , d 2 = 2 , 3 . Numerics correspond to the histogram of eigenvalues of one of such a graph with 1000 vertices, computed numerically using Matlab. Asymptotics correspond to Formula (3). The height of the lollipop corresponds to the weight delta function at the origin. (b) Comparison of algebraic connectivity between 3 , 3 regular bipartite, 2 , 6 semi-regular bipartite graphs, and the asymptotic theory. The two classes have the same number of vertices and edges, and 2 , 6 is 15% better than (3,3) (both for asymptotics and numerics).
Figure 2. (a) Full spectrum of random semi-regular bipartite graph with d 1 , d 2 = 2 , 3 . Numerics correspond to the histogram of eigenvalues of one of such a graph with 1000 vertices, computed numerically using Matlab. Asymptotics correspond to Formula (3). The height of the lollipop corresponds to the weight delta function at the origin. (b) Comparison of algebraic connectivity between 3 , 3 regular bipartite, 2 , 6 semi-regular bipartite graphs, and the asymptotic theory. The two classes have the same number of vertices and edges, and 2 , 6 is 15% better than (3,3) (both for asymptotics and numerics).
Entropy 26 01014 g002
Figure 3. Comparison between RSR, RSRB asymptotics, and RSR numerics, with average degree 2 < d 3 . Numerics represent the AC of 1000 randomly chosen RSR graphs with p ( 0 , 1 ) and ( d 1 , d 2 ) = ( 2 , 3 ) . Here, μ is plotted against d = 2 + p . Asymptotics for RSR correspond to roots of (8). Asymptotics for RSRB are given by (5).
Figure 3. Comparison between RSR, RSRB asymptotics, and RSR numerics, with average degree 2 < d 3 . Numerics represent the AC of 1000 randomly chosen RSR graphs with p ( 0 , 1 ) and ( d 1 , d 2 ) = ( 2 , 3 ) . Here, μ is plotted against d = 2 + p . Asymptotics for RSR correspond to roots of (8). Asymptotics for RSRB are given by (5).
Entropy 26 01014 g003
Figure 4. Distribution of AC for RSR graphs with d 1 , d 2 = 2 , 6 and with p as indicated. Average degree d = 2 + 4 p is also indicated. We used n = 500 nodes and 1000 simulations. μ numeric is the average of the distribution, whereas μ asym is the asymptotics according to Main Result 2. Note the multi-peaked shape of the distribution, and the fact that the distribution does not concentrate around the mean when d 5 .
Figure 4. Distribution of AC for RSR graphs with d 1 , d 2 = 2 , 6 and with p as indicated. Average degree d = 2 + 4 p is also indicated. We used n = 500 nodes and 1000 simulations. μ numeric is the average of the distribution, whereas μ asym is the asymptotics according to Main Result 2. Note the multi-peaked shape of the distribution, and the fact that the distribution does not concentrate around the mean when d 5 .
Entropy 26 01014 g004
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Kolokolnikov, T. It Is Better to Be Semi-Regular When You Have a Low Degree. Entropy 2024, 26, 1014. https://doi.org/10.3390/e26121014

AMA Style

Kolokolnikov T. It Is Better to Be Semi-Regular When You Have a Low Degree. Entropy. 2024; 26(12):1014. https://doi.org/10.3390/e26121014

Chicago/Turabian Style

Kolokolnikov, Theodore. 2024. "It Is Better to Be Semi-Regular When You Have a Low Degree" Entropy 26, no. 12: 1014. https://doi.org/10.3390/e26121014

APA Style

Kolokolnikov, T. (2024). It Is Better to Be Semi-Regular When You Have a Low Degree. Entropy, 26(12), 1014. https://doi.org/10.3390/e26121014

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop