The line graph of the crown graph is distance integral S. Morteza Mirafzal Department of Mathematics Lorestan University, Khorramabad, Iran E-mail: [email protected] E-mail: [email protected] Abstract The distance eigenvalues of a connected graph G are the eigenvalues of its distance matrix D(G). A graph is called distance integral if all of its distance eigenvalues are integers. Let n ≥ 3 be an integer. A crown graph Cr(n) is a graph obtained from the complete bipartite graph Kn,n by removing a perfect matching. Let L(Cr(n)) denote the line graph of the crown graph Cr(n). In this paper, by using the orbit partition method in algebraic graph theory, we determine the set of all distance eigenvalues of L(Cr(n)) and show that this graph is distance integral. 1 Introduction and Preliminaries arXiv:2108.05223v4 [math.CO] 8 Sep 2021 In this paper, a graph G = (V, E) is considered as an undirected simple graph where V = V (G) is the vertex-set and E = E(G) is the edge-set. For all the terminology and notation not defined here, we follow [3,4,5,6,7]. Let G = (V, E) be a graph and A = A(G) be an adjacency matrix of G. The characteristic polynomial of G is defined as P (G; x)= P (x)= |xI − A|. A zero of p(x) is called an eigenvalue of the graph G. A graph is called integral, if all the eigenvalues are integers. The study of integral graphs was initiated by 2010 Mathematics Subject Classification:05C50 Keywords: crown graph, distance integral, vertex-transitive, orbit partition Date: 1 2 S. Morteza Mirafzal Harary and Schwenk in 1974 (see [8]). A survey of papers up to 2002 has been appeared in [2], but more than a hundred new studies on integral graphs have been published in the last twenty years. Let n be the number of vertices of the graph G. The distance matrix D = D(G) is an n × n matrix indexed by V , such that Du,v = dG(u, v) = d(u, v), where dG(u, v) is the distance between the vertices u and v in the graph G. The characteristic polynomial P (D; x) = |xI − D| = DG(x) is the distance characteristic polynomial of G. Since D is a real symmetric matrix, the distance characteristic polynomial DG(x) has real zeros. Every zero of the polynomial DG(x) is called a distance eigenvalue of the graph G. A survey on the distance spectra of graphs has been appeared in [1]. A graph G is distance integral (briefly, D-integral) if all the distance eigenvalues of G are integers. Although there are many papers that study distance spectrum of graphs and their applications, the D-integral graphs are studied only in a few number of papers (see [14]). Let n ≥ 3 be an integer. A crown graph Cr(n) is a graph obtained from the complete bipartite graph Kn,n by removing a perfect matching. The bipartite Kneser graph H(n, k), 1 ≤ k ≤ n − 1, is a bipartite graph with the vertex-set consisting of all k-subsets and (n − k)-subsets of the set [n] = {1, 2, 3,...,n}, in which two vertices v and w are adjacent if and only if v ⊂ w or w ⊂ v. Recently, this class of graphs has been studied form several aspects [9,11,12,13]. It is easy to see that the crown graph Cr(n) is isomorphic with the bipartite graph H(n, 1). The crown graph Cr(n) is a vertex and edge-transitive graph of order 2n and regularity n − 1 with diameter 3. In [14] it has been shown that the graph Cr(n) is a distance integral graph. Let L(Cr(n)) denote the line graph of the crown graph Cr(n). It is not hard to see that the graph L(Cr(n)) is a vertex-transitive graph of order n(n − 1) and regularity 2(n − 1) − 2=2n − 4 with diameter 3. From the various interesting properties of the graph L(Cr(n)), we inter- ested in its distance eigenvalues. In this paper, we wish to show that the graph L(Cr(n)) is distance integral. We explicitly determine all the distinct distance eigenvalues of the graph L(Cr(n)). The method which we use in this paper is completely different from what has been used in [14]. The main tool which we use in our work is the orbit partition method in algebraic graph theory which we have already employed it in determining the adjacency eigenvalues of a par- ticular family of graph [10]. In this paper, We show how we can find, by using this method, the set of all distinct distance eigenvalues of the graph L(Cr(n)). The set of all permutations of a set V is denoted by Sym(V ). A permutation group on V is a subgroup of Sym(V ). If G = (V, E) is a graph, then we can view each automorphism as a permutation of V, and so Aut(G) is a permutation group. A permutation representation of a group Γ is a homomorphism from Γ into Sym(V ) for some set V. A permutation representation is also referred to as an action of Γ on the set V, in which case we say that Γ acts on V. A permutation group Γ on V is transitive if given any two elements x and y from V there is an element g ∈ Γ such that xg = y. For each v ∈ V, the set vΓ = {vg | g ∈ Γ} is called an orbit of Γ. It is easy to see that if Γ acts on V , then Γ is transitive on V (or Γ acts transitively on V ), when there is just one orbit. It is easy to see The line graph of the crown graph is distance integral 3 that the set of orbits of Γ on V is a partition of the set V . A graph G =(V, E) is called vertex-transitive if Aut(G) acts transitively on V . We say that G is edge-transitive if the group Aut(G) acts transitively on the edge set E, namely, for any {x, y}, {v,w} ∈ E(G), there is some a in Aut(G), such that a({x, y}) = {v,w}. We say that G is distance-transitive if for all vertices u,v,x,y of G such that d(u, v) = d(x, y), where d(u, v) denotes the distance between the vertices u and v in G, there is an automorphism a in Aut(G) such that a(u)= x and a(v)= y. 2 Main Results Let G = (V, E) be a graph with the vertex-set V = {v1,...,vn} and distance matrix D(G) = D = (dij)n×n, where dij = d(vi, vj). Let H ≤ Aut(G) and π = H H {w1 = C1,...,wm = Cm} be the orbit partition of H, where {w1,...,wm} ⊂ V . Let Q = Qπ = (qij)m×m be the matrix which its rows and columns is indexed by π such that, q = d(v,w), ij X w∈Cj where v is a fixed element in the cell Ci. It is easy to check that this sum is v u C q d v,w d u,w independent of , that is, if ∈ i, then ij = w∈Cj ( )= w∈Cj ( ). Hence, the matrix Q is well defined. We call theP matrix Q the quotientP matrix of D over π. We claim that every eigenvalue of Q is an eigenvalue of the distance matrix D. In fact we have the following fact. Theorem 2.1. Let G =(V, E) be a graph with the distance matrix D. Let π be an orbit partition of V with m cells and Q be a quotient matrix of D over π. Then, every eigenvalue of Q is an eigenvalue of the distance matrix D. Proof. Let λ be an eigenvalue of the quotient matrix Q with a none zero eigen- vector f. Let f(πj)= xj. Thus for every i, 1 ≤ i ≤ m, we have, j=m j=m =1 qijf(πj)= =1 qijxj = λxi = λf(πi). Pj Pj We define the function fˆ : V (G) → R by the rule fˆ(v) = f(πi) if and only if v ∈ πi. The function fˆ is well defined since π is a partition of V (G). Also, fˆ is a none zero function since the function f is non zero. If v ∈ V (G) = V , then there is a unique i such that v ∈ πi. Now we have, ˆ ˆ ˆ ˆ ∈ Dvwf(w)= ∈ Dvwf(w)+ ∈ Dvwf(w)+···+ ∈ Dvwf(w)= Pw V Pw π1 Pw π2 Pw πm ∈ Dvwf(π1)+ ∈ Dvwf(π2)+ ··· + ∈ Dvwf(πm)= Pw π1 Pw π2 Pw πm f(π1)( ∈ Dvw)+ f(π2)( ∈ Dvw)+ ··· + f(πm)( ∈ Dvw)= Pw π1 Pw π2 Pw πm f(π1)qi1 + f(π2)qi2 + ··· + f(πm)qim= 4 S. Morteza Mirafzal m =1 qijf(πj)= λf(πi)= λfˆ(v), since v ∈ πi. Pj Thus λ is an eigenvalue of the matrix D. By Theorem 2.1, we can find some of the distance eigenvalues of the graph G, but we can not determine all the eigenvalues, since it is possible that G has a distance eigenvalue θ such that θ is not an eigenvalue of the matrix Q. By the next theorem, we give a condition, holding that guaranties that the eigenvalue θ to be an eigenvalue of the matrix Q. Proposition 2.2.