On the spectrum of linear dependence graph of finite dimensional vector spaces
A. K. Bhuniya, Sushobhan Maity

TL;DR
This paper introduces the linear dependence graph of finite dimensional vector spaces over finite fields, exploring its properties and spectral characteristics, and establishing a link between graph isomorphism and vector space isomorphism.
Contribution
It presents a novel graph structure for vector spaces and analyzes its properties and spectra, connecting graph isomorphism with vector space isomorphism.
Findings
Linear dependence graphs are connected and sometimes complete.
Isomorphic vector spaces have isomorphic linear dependence graphs.
Spectral properties of the graphs are characterized and studied.
Abstract
In this paper, we introduce a graph structure called linear dependence graph of a finite dimensional vector space over a finite field. Some basic properties of the graph like connectedness, completeness, planarity, clique number, chromatic number etc. have been studied. It is shown that two vector spaces are isomorphic if and only if their corresponding linear dependence graphs are isomorphic. Also adjacency spectrum, Laplacian spectrum and distance spectrum of the linear dependence graph have been studied.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsGraph theory and applications · Finite Group Theory Research · graph theory and CDMA systems
On the spectrum of linear dependence graph of finite dimensional vector spaces
A. K. Bhuniya and Sushobhan Maity
Abstract
In this paper, we introduce a graph structure called linear dependence graph of a finite dimensional vector space over a finite field. Some basic properties of the graph like connectedness, completeness, planarity, clique number, chromatic number etc. have been studied. It is shown that two vector spaces are isomorphic if and only if their corresponding linear dependence graphs are isomorphic. Also adjacency spectrum, Laplacian spectrum and distance spectrum of the linear dependence graph have been studied.
Department of Mathematics, Visva-Bharati, Santiniketan-731235, India.
[email protected], [email protected]
Key Words and phrases: Graph; linear dependence; Laplacian; distance; spectrum
2010 Mathematics subject Classification: 05C25; 05C50; 05C69
1 Introduction
There has been a great deal of interest in the last three decades in characterizing different algebraic structures in terms of properties of graphs associated with themselves. There are different formulation on associating a graph with some algebraic structure. Various algebraic structures like semigrups [5], groups [3, 4], rings [2, 6], etc. have been characterized by assigning graph structures on themselves. Very recently, a series of papers on assigning a graph to a vector space [7, 8, 9, 10] have been published.
In this paper we define a graph structure on a finite dimensional vector space over a finite field , called linear dependence graph of the vector space and study some of its properties.
In Section 3, we study some basic properties like connectedness, completeness, planarity etc. In Section 4, we study special properties like connectivity, energy etc. by finding out the spectrum of the adjacency matrix, the Laplacian matrix and the distance matrix of the graph.
2 Definition and Preliminaries
Let be a graph. Throughout this paper, every graph is simple. If every pair of distinct vertices of are adjacent, then it is called complete. A subset of is said to be independent if no two elements of are adjacent. The number of edges of a graph is called the size of . The maximum number of elements of an independent set is called the independence number of . A subset of is called dominating if each element of is adjacent to at least one element of . If no proper subset of is a dominating set for , then is called a minimal dominating set for . The least cardinality of a dominating set is called the domination number of . A clique is a complete subgraph of . The largest number of a clique is called the clique number of , denoted as . The chromatic number of , written as , is the minimum number of colours needed for labeling the vertices so that adjacent vertices get different colours. Two graphs and are said to be isomorphic if there exists a bijective mapping such that in if and only if in . A path of length in a graph is an alternating sequence of vertices and edges , where ’s are distinct (except possibly ) and is the edge joining and . If there exists a path between any pair of distinct vertices, then it is called connected. The distance of two vertices , is defined as the length of the shortest path between and . The diameter of a graph is defined as , if it exists. Otherwise, is defined as . A cycle is a path with first and last vertices same. A graph is said to be Eulerian if it contains a cycle consisting of all the edges of exactly once.
For any graph , let , , be the adjacency matrix, diagonal matrix of vertex degrees and the distance matrix respectively. Then the Laplacian matrix of is defined as . Interestingly all of these matrices are symmetric. Among them the Laplacian matrix is positive semidefinite and singular with [math] as the smallest eigenvalue. The eigen values of the adjacency matrix, the Laplacian matrix and the distance matrix are known as the adjacency spectrum, the Laplacian spectrum and the distance spectrum of the graph respectively. These spectrums plays an important role in the study of many graph theoretic properties like connectivity, colouring, energy of a graph, number of spanning trees etc.
For any square matrix , we denote the characteristic polynomial of by . For the vertices in , is defined as the principal submatrix of formed by deleting the rows and columns corresponding to the vertices . In particular if , then for convention it has been taken that .
Definition 2.1**.**
Let be a finite dimensional vector space over a finite field . Define a graph , where is the vector space and if and only if and are distinct and they are linearly dependent.
Thus the null vector is adjacent to every other vertices and two non-null vectors and are adjacent if and only if for some .
Throughout this paper we assume that and .
3 Basic properties of
In this section, we characterize some basic properties of like connectedness, completeness, clique number, chromatic number, planarity etc.
Theorem 3.1**.**
* is complete if and only if .*
Proof.
Let be a non-zero vector. Since is complete for every , for some . Thus , showing .
Converse is trivial. ∎
Theorem 3.2**.**
The size of is .
Proof.
The null vector is adjacent with every non-null vector of . Since , so degree of the vertex is . Let be a vertex of . Then a vertex is adjacent with if and only if and for some . Since , so degree of each of the non-zero vector is . Hence and it follows that . ∎
Since the null vector, is adjacent with every other vertices of , we have the following result.
Lemma 3.3**.**
* is connected and .*
Also it follows that is the smallest dominating subset of . Thus we have the following result.
Lemma 3.4**.**
The domination number of is .
Note that the numbers of 1-dimensional subspaces of are . We call a non-zero vector of a 1-dimensional subspace , a representative of .
Theorem 3.5**.**
The independence number of is .
Proof.
It is easy to see that the subset of consists of representatives of the 1-dimensional subspaces of , is a maximal independent set. Then . If possible, let there exists an independent set of cardinality greater than . Since total number of 1-dimensional subspaces of is , so it follows that there are at least two elements such that are in a same 1-dimensional subspace of . Then , which contradicts that is independent. Thus the independence number of is . ∎
Theorem 3.6**.**
Two vector spaces and are isomorphic if and only if their corresponding graphs and are isomorphic.
Proof.
Let and be isomorphic. Then there exists a vector space isomorphism . If in , then for some and so . Thus in . Since is an isomorphism, similarly in implies that in . Hence and are isomorphic as graphs.
Conversely, let be a graph isomorphism. Let and . Since the independence numbers of two isomorphic graphs are the same, so we have and so . Hence the vector spaces and are isomorphic. ∎
Theorem 3.7**.**
Let be a clique of , then is maximal if and only if is an 1-dimensional subspace of . Hence the clique number of is .
Proof.
Let be a maximal clique of . Since is adjacent with every other vertices of , there exists such that . Since is maximal, . Now, let . Then implies that for some and so . Hence for some , showing that is an 1-dimensional subspace of .
Converse is trivial. ∎
Theorem 3.8**.**
Chromatic number of is .
Proof.
If two vectors and are adjacent in , then they are in a same 1-dimensional subspace of . Now implies that an 1-dimensional subspace of contains elements. Hence the chromatic number . Also . Hence . ∎
Lemma 3.9**.**
If is odd, then is Eulerian.
Proof.
If is an odd positive integer, then from the proof of the Theorem 3.2, we see that the degree of every vertex of is an even integer. Hence the graph is Eulerian. ∎
Lemma 3.10**.**
Edge connectivity of is .
Proof.
We have diameter of is . So, by Theorem 3.1 [14], its edge connectivity is equal to its minimum degree, i.e. . ∎
Deletion of the vertex makes the graph disconnected. Hence we have the following result.
Lemma 3.11**.**
The vertex connectivity of the graph is .
Lemma 3.12**.**
* is planar if and only if .*
Proof.
Every 1-dimensional subspace of is a complete subgraph of . So, for , contains , the complete subgraph of of five vertices, which is nonplanar. Rest of the result follows from Figure 1. ∎
4 Spectrums of the graph
In this section, we determine the eigen values of the adjacency matrix, the Laplacian matrix and the distance matrix of the graph .
We note that the elements of an 1-dimensional subspace of are adjacent with each other. So, the adjacency matrix of , is given below, where rows and columns are indexed by the vertices and the non-zero elements of all 1-dimensional subspaces successively. Thus
[TABLE]
Order of this matrix is . Hence is a matrix of order . Also is a block diagonal matrix, having blocks each of order and entries on the principal diagonal are [math] and otherwise. Also, the degree of the null vector is and the degree of all other elements is . So the diagonal matrix of vertex degrees of is
D(\Gamma(V))=\left(\begin{array}[]{c|cccc}q^{n}-1&0&0&\cdots&0\\ \hline\cr 0&q-1&0&\cdots&0\\ 0&0&q-1&\cdots&0\\ \vdots&\vdots&\vdots&\ddots&\vdots\\ 0&0&0&\cdots&q-1\end{array}\right)
Then the Laplacian matrix of is
L(\Gamma(V))=\left(\begin{array}[]{c|cccc|c|cccc}q^{n}-1&-1&-1&\cdots&-1&\cdots&-1&-1&\cdots&-1\\ \hline\cr-1&q-1&-1&\cdots&-1&\cdots&0&0&\cdots&0\\ -1&-1&q-1&\cdots&-1&\cdots&0&0&\cdots&0\\ \vdots&\vdots&\vdots&\ddots&\vdots&\vdots&\vdots&\vdots&\ddots&\vdots\\ -1&-1&-1&\cdots&q-1&\cdots&0&0&\cdots&0\\ \hline\cr\vdots&\vdots&\vdots&\vdots&\vdots&\ddots&\vdots&\vdots&\vdots&\vdots\\ \hline\cr-1&0&0&\cdots&0&\cdots&q-1&-1&\cdots&-1\\ -1&0&0&\cdots&0&\cdots&-1&q-1&\cdots&-1\\ \vdots&\vdots&\vdots&\ddots&\vdots&\vdots&\vdots&\vdots&\ddots&\vdots\\ -1&0&0&\cdots&0&\cdots&-1&-1&\cdots&q-1\end{array}\right)
The distance between any two vertices of an 1-dimensional subspace is 1 and is 2 if they belong to two distinct 1-dimensional subspaces of . So the distance matrix of is
\mathbb{D}(V)=\left(\begin{array}[]{c|cccc|cccc|c|cccc}0&1&1&\cdots&1&1&1&\cdots&1&\cdots&1&1&\cdots&1\\ \hline\cr 1&0&1&\cdots&1&2&2&\cdots&2&\cdots&2&2&\cdots&2\\ 1&1&0&\cdots&1&2&2&\cdots&2&\cdots&2&2&\cdots&2\\ \vdots&\vdots&\vdots&\ddots&\vdots&\vdots&\vdots&\ddots&\vdots&\vdots&\vdots&\vdots&\ddots&\vdots\\ 1&1&1&\cdots&0&2&2&\cdots&2&\cdots&2&2&\cdots&2\\ \hline\cr 1&2&2&\cdots&2&0&1&\cdots&1&\cdots&2&2&\cdots&2\\ 1&2&2&\cdots&2&1&0&\cdots&1&\cdots&2&2&\cdots&2\\ \vdots&\vdots&\vdots&\ddots&\vdots&\vdots&\vdots&\ddots&\vdots&\vdots&\vdots&\vdots&\ddots&\vdots\\ 1&2&2&\cdots&2&1&1&\cdots&0&\cdots&2&2&\cdots&2\\ \hline\cr\vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\ddots&\vdots&\vdots&\vdots&\vdots\\ \hline\cr 1&2&2&\cdots&2&2&2&\cdots&2&\cdots&0&1&\cdots&1\\ 1&2&2&\cdots&2&2&2&\cdots&2&\cdots&1&0&\cdots&1\\ \vdots&\vdots&\vdots&\ddots&\vdots&\vdots&\vdots&\ddots&\vdots&\vdots&\vdots&\vdots&\ddots&\vdots\\ 1&2&2&\cdots&2&2&2&\cdots&2&\cdots&1&1&\cdots&0\end{array}\right)
Hence we have the following results.
Theorem 4.1**.**
The characteristic polynomial of the adjacency matrix of is
.
Proof.
The characteristic polynomial of is
\Theta(A(\Gamma(V)),x)=\begin{array}[]{|cccccccccc|}x&-1&-1&\cdots&-1&\cdots&-1&-1&\cdots&-1\\ -1&x&-1&\cdots&-1&\cdots&0&0&\cdots&0\\ -1&-1&x&\cdots&-1&\cdots&0&0&\cdots&0\\ \vdots&\vdots&\vdots&\ddots&\vdots&\vdots&\vdots&\vdots&\vdots&\vdots\\ -1&-1&-1&\cdots&x&\cdots&0&0&\cdots&0\\ \vdots&\vdots&\vdots&\vdots&\vdots&\ddots&\vdots&\vdots&\vdots&\vdots\\ -1&0&0&\cdots&0&\cdots&x&-1&\cdots&-1\\ -1&0&0&\cdots&0&\cdots&-1&x&\cdots&-1\\ \vdots&\vdots&\vdots&\ddots&\vdots&\vdots&\vdots&\vdots&\ddots&\vdots\\ -1&0&0&\cdots&0&\cdots&-1&-1&\cdots&x\end{array}
Multiply the first row by and apply the row operation . Then expanding the determinant in terms of the first row, we get
\Theta(A(\Gamma(V)),x)=\frac{\{x^{2}-(q-2)x-(q^{n}-1)\}}{x-(q-2)}\cdot\begin{array}[]{|cccc|}x&-1&\cdots&-1\\ -1&x&\cdots&-1\\ \vdots&\vdots&\ddots&\vdots\\ -1&-1&\cdots&x\end{array}^{q^{n-1}+q^{n-2}+\cdots+q+1}_{(q-1)\times(q-1)}.
Let
[TABLE]
Multiply the first row of 4.1, by and apply the row operation by . Then expanding the determinant in terms of the first row, we get
A_{1}=\frac{(x+1)(x-(q-2))}{x-(q-3)}\cdot\begin{array}[]{|cccc|}x&-1&\cdots&-1\\ -1&x&\cdots&-1\\ \vdots&\vdots&\ddots&\vdots\\ -1&-1&\cdots&x\end{array}_{(q-2)\times(q-2)}
Again multiply the 1 st row by and then apply the row operation . Then expanding in terms of 1 st row, we get
A_{1}=\frac{(x+1)^{2}(x-(q-2))}{x-(q-4)}\cdot\begin{array}[]{|cccc|}x&-1&\cdots&-1\\ -1&x&\cdots&-1\\ \vdots&\vdots&\ddots&\vdots\\ -1&-1&\cdots&x\end{array}_{(q-3)\times(q-3)}
Continuing in this way, we get and so,
[TABLE]
∎
If are the adjacency eigen values of a graph , then the energy of the graph, denoted by , is defined to be . Thus from Theorem 4.1, it follows that
Corollary 4.2**.**
The energy of the graph is .
Theorem 4.3**.**
The characteristic polynomial of the Laplacian matrix of is
.
Proof.
The characteristic polynomial of is
\Theta(L(\Gamma(V)),x)=\begin{array}[]{|cccccccc|}x-(q^{n}-1)&1&\cdots&1&\cdots&1&\cdots&1\\ 1&x-(q-1)&\cdots&1&\cdots&0&\cdots&0\\ \vdots&\vdots&\ddots&\vdots&\vdots&\vdots&\ddots&\vdots\\ 1&1&\cdots&x-(q-1)&\cdots&0&\cdots&0\\ \vdots&\vdots&\vdots&\vdots&\ddots&\vdots&\vdots&\vdots\\ 1&0&\cdots&0&\cdots&x-(q-1)&\cdots&1\\ \vdots&\vdots&\ddots&\vdots&\vdots&\vdots&\ddots&\vdots\\ 1&0&\cdots&0&\cdots&1&\cdots&x-(q-1)\end{array}
Applying the row operation , we get
\Theta(L(\Gamma(V)),x)=x\cdot\begin{array}[]{|cccccccc|}1&1&\cdots&1&\cdots&1&\cdots&1\\ 1&x-(q-1)&\cdots&1&\cdots&0&\cdots&0\\ \vdots&\vdots&\ddots&\vdots&\vdots&\vdots&\ddots&\vdots\\ 1&1&\cdots&x-(q-1)&\cdots&0&\cdots&0\\ \vdots&\vdots&\vdots&\vdots&\ddots&\vdots&\vdots&\vdots\\ 1&0&\cdots&0&\cdots&x-(q-1)&\cdots&1\\ \vdots&\vdots&\ddots&\vdots&\vdots&\vdots&\vdots&\vdots\\ 1&0&\cdots&0&\cdots&1&\cdots&x-(q-1)\end{array}
Multiply the first row by and then apply the row operation . Then expanding the determinant in terms of the first row, we get
\Theta(L(\Gamma(V)),x)=\frac{x(x-q^{n})}{(x-1)}\cdot\begin{array}[]{|cccc|}x-(q-1)&1&\cdots&1\\ 1&x-(q-1)&\cdots&1\\ \vdots&\vdots&\ddots&\vdots\\ 1&1&\cdots&x-(q-1)\end{array}^{q^{n-1}+q^{n-2}+\cdots+q+1}_{(q-1)\times(q-1)}
Let
[TABLE]
Multiply the first row of 4.2, by and apply the row operation by . Then expanding the determinant in terms of the first row, we get
L_{1}=\frac{(x-1)(x-q)}{(x-2)}\cdot\begin{array}[]{|cccc|}x-(q-1)&1&\cdots&1\\ 1&x-(q-1)&\cdots&1\\ \vdots&\vdots&\ddots&\vdots\\ 1&1&\cdots&x-(q-1)\end{array}_{(q-2)\times(q-2)}
Again multiply the 1 st row by and then apply the row operation . Then expanding in terms of 1 st row, we get
L_{1}=\frac{(x-1)(x-q)^{2}}{(x-3)}\cdot\begin{array}[]{|cccc|}x-(q-1)&1&\cdots&1\\ 1&x-(q-1)&\cdots&1\\ \vdots&\vdots&\ddots&\vdots\\ 1&1&\cdots&x-(q-1)\end{array}_{(q-3)\times(q-3)}
Continuing in this way, we get .
So,
[TABLE]
∎
The second smallest eigen value of the Laplacian matrix of a graph , is denoted by . This quantity shares many properties with the vertex or edge-connectivity and according to Fiedler [11], is called the algebraic connectivity of . So, from Theorem 4.3, we have the following result.
Corollary 4.4**.**
The algebraic connectivity of is .
If are the Laplacian eigen values of the graph of n vertices, then the number of spanning trees of , denoted by , is [Theorem 4.11; [1]]. Thus from Theorem 4.3, we get
Corollary 4.5**.**
The number of spanning trees of is .
Recently Gutman et. al [12] have defined the Laplacian energy of a graph with n vertices and edges as: , where are the Laplacian eigen values of the graph . From Theorem 3.2 and Theorem 4.3, we have:
Corollary 4.6**.**
The Laplacian energy of the graph is .
Theorem 4.7**.**
The characteristic polynomial of the distance matrix of is
.
Proof.
The characteristic polynomial of is
\Theta(\mathbb{D}(\Gamma(V)),x)=\begin{array}[]{|cccccccccc|}x&-1&-1&\cdots&-1&\cdots&-1&-1&\cdots&-1\\ -1&x&-1&\cdots&-1&\cdots&-2&-2&\cdots&-2\\ -1&-1&x&\cdots&-1&\cdots&-2&-2&\cdots&-2\\ \vdots&\vdots&\vdots&\ddots&\vdots&\vdots&\vdots&\vdots&\ddots&\vdots\\ -1&-1&-1&\cdots&x&\cdots&-2&-2&\cdots&-2\\ \vdots&\vdots&\vdots&\vdots&\vdots&\ddots&\vdots&\vdots&\vdots&\vdots\\ -1&-2&-2&\cdots&-2&\cdots&x&-1&\cdots&-1\\ -1&-2&-2&\cdots&-2&\cdots&-1&x&\cdots&-1\\ \vdots&\vdots&\vdots&\ddots&\vdots&\vdots&\vdots&\vdots&\ddots&\vdots\\ -1&-2&-2&\cdots&-2&\cdots&-1&-1&\cdots&x\end{array}
Apply the successive column operations for ; we get
[TABLE]
Multiply the 1 st row by and then apply the row operation , we get
\Theta(\mathbb{D}(\Gamma(V)),x)=\frac{[x^{2}-\{2(q^{n}-1)-q\}x-(q^{n}-1)]}{(x+q)}\cdot\begin{array}[]{|cccc|}x+2&1&\cdots&1\\ 1&x+2&\cdots&1\\ \vdots&\vdots&\ddots&\vdots\\ 1&1&\cdots&x+2\end{array}^{q^{n-1}+q^{n-2}+\cdots+q+1}_{(q-1)\times(q-1)}
Let
[TABLE]
Multiply the first row of 4.3, by and apply the row operation . Then expanding the determinant in terms of the first row, we get
D_{1}=\frac{(x+q)(x+1)}{(x+(q-1))}\cdot\begin{array}[]{|cccc|}x+2&1&\cdots&1\\ 1&x+2&\cdots&1\\ \vdots&\vdots&\ddots&\vdots\\ 1&1&\cdots&x+2\end{array}_{(q-2)\times(q-2)}
Again multiply the 1 st row by and then apply the row operation . Then expanding in terms of 1 st row, we get
D_{1}=\frac{(x+q)(x+1)^{2}}{(x+(q-2))}\cdot\begin{array}[]{|cccc|}x+2&1&\cdots&1\\ 1&x+2&\cdots&1\\ \vdots&\vdots&\ddots&\vdots\\ 1&1&\cdots&x+2\end{array}_{(q-3)\times(q-3)}
Continuing in this way, we get and so,
[TABLE]
∎
Recently Indulal, Gutman and Vijayakumar [13] have defined the distance energy of a graph as: , where are the distance eigen values of the graph . From Theorem 4.7, we have:
Corollary 4.8**.**
The distance energy of the graph is .
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] R. B. Bapat: Graphs and matrices. Second edition, Hindustan Book Agency. 2014.
- 2[2] I. Beck: Coloring of commutative rings. Journal of Algebra. 116 (1988), 208-226.
- 3[3] A. K. Bhuniya and S. Bera: On some characterizations of strong power graphs of finite groups. Spec. Matrices. 4 (2016), 121-129.
- 4[4] P. J. Cameron and S. Ghosh: The power graph of a finite group. Discrete mathematics. 311(13) (2011), 1220-122.
- 5[5] I. Chakrabarty, S. Ghosh and M. K. Sen: Undirected power graph of semigroups. Semigroup Forum. 78 (2009), 410-426.
- 6[6] I. Chakrabarty, S. Ghosh, T. K. Mukherjee and M. K. Sen: Intersection graphs of ideals of rings. Discrete mathematics 309. 17 (2009), 5381-5392.
- 7[7] A. Das: Non-Zero component graph of a finite dimensional vector spaces. Communications in Algebra. 44 (2016), 3918-3926.
- 8[8] A. Das: Non-Zero component union graph of a finite dimensional vector space. Linear and Multilinear Algebra. DOI: 10.1080/03081087.2016.1234577.
