ArticlePDF Available

A STUDY ON STRONGLY REGULAR GRAPHS

Authors:
Copyrights @Kalahari Journals Vol. 6 No. 3(December, 2021)
International Journal of Mechanical Engineering
3007
ISSN: 0974-5823 Vol. 6 No. 3 December, 2021
International Journal of Mechanical Engineering
A STUDY ON STRONGLY REGULAR GRAPHS
C.J. Chris Lettecia Mary1, R. Kamali 2
1Research Scholar, Department of Mathematics,
Vels Institute of Science, Technology and Advanced Studies,
Chennai-600 117, Tamil Nadu, India.
2 Assistant Professor, Department of Mathematics,
Vels Institute of Science, Technology and Advanced Studies,
Chennai-600 117, Tamil Nadu, India.
Abstract
In this paper, the graphs which were regular are discussed to
be strongly regular graphs. Also certain theorems were proved
based on strongly regular graphs with suitable examples.
Keywords: Cycle, Eigen values, Graph, Strongly regular
Graph.
1. Introduction:
In Mathematics field, Graph theory is the learning of Graphs
that means the tie between points and lines as vertices and
edges. A Graph is a graphic description of a group of things
where pair of things are merged by links. Graph Theory are
also applied in Computer Science, Electrical Engineering,
Physics and Chemistry.
Algebraic Graph Theory is a branch of Mathematics that
involves to find the solutions for Algebraic Methods by using
Graph Theory concepts. Linear Algebra, Group Theory and
the study of Graph invariants are three main divisions of
Algebraic Graph Theory. There is a bind between Graph
Theory and Group Theory, which is shown by Arthur Cayley.
He was the first to introduce the Cayley Graphs to finite
groups.
We define Graph as a pair 󰇛󰇜, where V is a non-empty set
and E is the set of edges. A Graph is called Regular Graph if
all the vertices having the same number of degrees. 0-regular
graph is a empty or null graph. 1-regular graph is always a
disconnected Graph. 3-regular graphs are also called Cubic
Graph.
The main aim of this paper is to study on strongly regular
graphs. Also we derived some theorems on Strongly Regular
Graphs with suitable examples.
2. Preliminaries
Definition 2.1
A Graph consists of a vertex set 󰇛󰇜 and an edge set
󰇛󰇜, where edge is an unordered pair of distinct vertices of
.
Definition 2.2
A graph in which degree of all the vertices are same is called
as regular graph. If all the vertices in a graph are of degree ,
then it is called k-regular graph.
Definition 2.3
An undirected graph is a graph without any direction of
edges.
Example 2.1:
Figure 2.1 Undirected Graph
In the Figure 2.1, the vertices are 1,2,3,4. (1,2), (1,4),
(2,3), (2,4) are the edges of the graph. Since it is undirected
graph the edges (1,2) and (2,1) are same. Similarly other edges
are also considered in the same way.
Definition 2.4
The eccentricity 󰇛󰇜 of a vertex in is the maximum
distance from to any other vertex .
Definition 2.5
The diameter of a graph is denoted by 󰇛󰇜 and is
defined by
󰇛󰇜 󰇝󰇛󰇜 󰇞
Definition 2.6
Let  󰇛 󰇜 be a graph with 󰇛󰇜,
󰇛󰇜 and without parallel edges. The adjacency
Copyrights @Kalahari Journals Vol. 6 No. 3(December, 2021)
International Journal of Mechanical Engineering
3008
matrix of is an  symmetric binary  󰇟󰇠 defined
as integers such that
  

Example 2.2:
Consider the graph
Figure 2.2 Graph X
The adjacency matrix of X is given by

A= 
   
  
   
   
   
   

Example 2.3:
The adjacency matrix of the Petersen graph of order 10
represented in Figure 3.1 is as follows:

B = 

        
  
  
  
  
  
  
  
  
  

Definition 2.7
The graph on vertices is strongly regular with
parameters 󰇛󰇜 if
i) is k-regular, such that every vertex in has k
neighbours.
ii) Each pair of adjacent vertices has exactly common
neighbours.
iii) Each pair of non-adjacent vertices has exactly common
neighbours.
Strongly regular graphs are denoted by 󰇛󰇜.
Example 2.4:
The cycle graph with 5 vertices is represented in figure 3
Figure 2.3 Cycle
Here,  is (5, 2, 0, 1)
Definition 2.8
An Eigen vector of a matrix is a non-zero vector
such that  for some scalar . The scalar is the Eigen
value of .
3. Strongly Regular Graphs
Theorem 3.1
If  󰇛 󰇜 then 󰇛  󰇜 󰇛 󰇜
Proof:
Given is a strongly regular graph with vertices with
neighbours
Let be a vertex in
There are two ways to find the number of edges between the
neighbours and non-neighbours of .
Case: (i)
u has a set of neighbours.
Let   neighbours of
Where   which is adjacent to
And also is adjacent to the non-neighbours of .
There are non neighbours and there are
neighbours of .
Therefore, 󰇛 󰇜 non neighbours of u.
Case: (ii)
Every non neighbours of is adjacent to .
Therefore, 󰇛 󰇜 non neighbours of .
Hence 󰇛  󰇜󰇛 󰇜.
Copyrights @Kalahari Journals Vol. 6 No. 3(December, 2021)
International Journal of Mechanical Engineering
3009
Example 3.1:
The Petersen graph with 10 vertices is represented in the
following figure
Figure 3.1 Petersen Graph
Here,  = (10, 3, 0,1)
Remark 3.1:
If is strongly regular, then
is also strongly regular and
= 󰇛  
  󰇜
Example 3.2:
Let us take Petersen graph, which is strongly regular graph
and
 = (10, 3, 0, 1)
The complement of Petersen graph is represented in Figure
3.2
Figure 3.2 Complement of Petersen Graph
Here,  = (10, 6, 3, 4)
Note 3.1 :
Strongly regular graph is disconnected if and only if  
Theorem 3.2
Every connected strongly regular graph has diameter 2.
Proof:
Given is a strongly regular graph with vertices with
neighbours
Let u be a vertex in
is adjacent with some where 
And is not adjacent with some i where 
But is adjacent with
The eccentricity of is 2 [By Definition 2.4]
Therefore, the diameter of any strongly regular graph is two.
Remark 3.2:
Let be a strongly regular graph with parameters 󰇛󰇜.
Then the numbers
 =
 󰇛󰇜󰇛󰇜
󰇛󰇜󰇛󰇜 are non-negative
integers.
Example 3.3:
Let us take the complement of the Petersen graph,
 = (10, 6, 3, 4)
Then by the above remark 3.2 we get
= 
and = 
Here,  are non-negative integers.
Theorem 3.3
Let be a strongly regular graph with parameters 󰇛󰇜
and Eigen values , and . Then the complement of (󰇜
has eigenvalues (n-k-1), (-r-1) and (s-1). Moreover the Eigen
spaces of and X are same.
Proof:
Let B be the adjacency matrix of X.
Then the adjacency matrix of is =
We know that, is an Eigen value of and it’s Eigen space is
the space of constant vectors.
Let be a constant vector.
We have = 󰇛 󰇜
=  
= 󰇛 󰇜
Therefore, is an eigen value of
And the eigen space is same as the eigen space of .
Let be an eigen vector of corresponding to the eigen
vector .
We know that, is orthogonal to .
y = 󰇛 󰇜
= 
=󰇛 󰇜
Copyrights @Kalahari Journals Vol. 6 No. 3(December, 2021)
International Journal of Mechanical Engineering
3010
Therefore,  is an eigen value of .
And it’s eigen space is as same as the eigen space of .
Similarly,  is an eigen value of .
Hence the proof.
Reference:
1. D.F. Anderson and P.S. Livingston, 2018. The Zero-
Divisor of a Commutative Ring, International Electronic
Journal of Algebra Volume 23 176-202.
2. Camina A.R., 2000, Recognizing Direct Products from
their Conjugate type Vectors, Journal of Algebra.
3. G. Chartrand , L. Lesniak, P. Zhang, 2010. Graphs and
Digraphs, Fifth Edition, Chapman and Hall/CRC.
4. Chris Godsil, Gordon F Royle, 2001. Algebraic Graph
Theory, Springer Science+Business Media, New York.
5. David Branfonbrener, 2017. Algebraic Graph Theory,
Strongly regular graphs and Conway’s 99 problem.
6. Hans Kurzweil, Bernd Stellmacher, 2004. The Theory of
Finite Groups-An introduction, Springer- Verlag New
York. Inc.
7. Kenneth Falconer, 2014. Fractal Geometry Mathematical
Foundations and Applications.
8. S. Meena, A. Ezhil, 2019, Total Prime Labelling of
Some Graphs, International Journal of Research in
Advent Technology.
9. Monther R Alfuraidan, Yusuf F Zakariya, 2017.
Adjacent graphs associated with Finite Groups,
Electronic Journal of Graph Theory and Applications
5(1), 142-154.
10. Narsigh Deo, 2007. Graph Theory with applications to
Engineering and Computer Science.
11. Robin J. Wilson, 1996. Introduction to Graph Theory,
Fourth edition.
12. F Salama, H Rafat, M. El-Zawy, 2012. General graph
and Adjacent graph, Applied Mathematics, 3, 346-349.
13. Samir Siksek, Introduction to Abstract Algebra.
14. Yusuf F Zakariya, 2016. Graphs from Finite Groups,
Proceedings of September, Annual National Conference.
... • Strongly Regular Graphs (SRGs), classified in two categories: these that are vertex transitive and the ones non vertex transitive. These graphs were supplied by Sven Reichard and many of them are available at [10]. ...
Article
Full-text available
In this paper we present an algorithm for testing the isomorphism of two graphs. The algorithm works in three steps. First, it builds a sequence of partitions on the vertices of one of the graphs. Then, it looks for some automorphisms in that graph. Finally, it uses backtracking to try to find another sequence of partitions for the second graph that is compatible with that for the first graph. We compare the performance of an implementation of this algorithm with other isomorphism testing programs. For this purpose we have chosen nauty, that is the fastest program we know of (it works computing a canonical form of the graphs), and vf2 that uses a completely di#erent approach which looks useful for certain types of graphs. Several types of graphs have been used for the tests in their directed and undirected versions. Our program is faster that the other two in some cases, and behaves more uniformly in all of them.
Conference Paper
Full-text available
This article gives an overview account of graphs associated with finite groups. After extensive and exhaustive search of the literature for more than a period of one year, the author merged several researches on graphs associated with finite groups. The aim of this article is to create a mega reference material for future researches on graphs associated with finite groups. The oldest recorded graphs associated with finite group was in 1878 while the newest by the author of this article was in 2015. Various conjectures and established results due to many researchers are included with references.
Article
Full-text available
Let (Γ, *) be a finite group and S a possibly empty subset of Γ containing its non-self-invertible elements. In this paper, we introduce the inverse graph associated with Γ whose set of vertices coincides with Γ such that two distinct vertices u and v are adjacent if and only if either u * v ∈ S or v * u ∈ S. We then investigate its algebraic and combinatorial structures.
Article
Full-text available
A graph is a good way to illustrate some relations between things. But, not all relations can be illustrated by this graph. So, in this paper we will define a new type of graph, we call it a general-graph.
Article
For each commutative ring R we associate a (simple) graph Γ(R). We investigate the interplay between the ring-theoretic properties of R and the graph-theoretic properties of Γ(R).