Lemma 1
2VPEThe function \phi:Gr\rightarrow SL(n,\mathbb{R}), where SL(n,\mathbb{R}) is the set of n\times n real non-singular matrices and \phi(g)=P_g, is a group homomorphism.
Cospectral lifts of graphs
- arXiv
- 1601.02354v1 · PDF · 11 January 2016
- Categories
- math.CO
- Licence
- CC BY 4.0 The site shows the text.
Abstract
We prove that for a pair of cospectral graphs G and H, there exist their non trivial lifts G0 and H0 which are cospectral. More over for a pair of cospectral graphs on 6 vertices, we find some cospectral lifts of them.
Items 11
Theorem 1
CVN4Let G be a multigraph and \phi be a signature assignment to an Abelian group. Let \beta be a common basis of eigenvectors of the permutation matrices in the image of \phi. For every \mathbf{x}\in \beta, let A_\mathbf{x} be the matrix obtained from the adjacency matrix of G by replacing any (u,v)-entry of A(G) by \sum_{(e,u,v)\in \overrightarrow{E}(G)}\lambda_\mathbf{x}(\phi(e,u,v)). Then the spectrum of the t-lift G(\phi) of G is the multiset union of the spectra of the matrices A_\mathbf{x} (\mathbf{x} \in \beta).
Used by Proof.
Theorem 2
KBTCLet G be a graph and s be a k-cyclic signature of G. Let \beta be a common basis of eigenvectors of the permutation matrices in the image of s. For every \mathbf{x} \in \beta, let A_\mathbf{x} be the matrix defined bellow
A_\mathbf{x}(i,j)=
\begin{cases}
\lambda_\mathbf{x}(P_{s(i,j)}) & i<j, \\
0& i=j,\\
\lambda_\mathbf{x}^{-1}(P_{s(i,j)}) & i>j.
\end{cases}
Then the spectrum of G(s) is the multi-set union of the spectra of the matrices A_\mathbf{x}(\mathbf{x}\in\beta).
Lemma 2
4E24Let Gr be a group of order n. For any g\in Gr, any eigenvalues of the permutation matrix P_g is an n’th root of unity.
Proof.
U678The assertion follows by the fact that the order of any element in the group divides the order of group. Hence g^n=1, and therefore P_g^n=I_n. Hence the minimal polynomial of P_g, say m(P_g,x) divides the polynomial x^n-1, thus the assertion follows.
Lemma 3
R7F3If G and H are cospectral graphs on n verices and Gr be a finite group of order t. If for g\in Gr the matrix P_g is symmetric, then the graphs G_g and H_g are cospectral.
Proof.
UMV9Since the signature corresponds the fixed element g to all the edges of the graph G, and P_g^{-1}=P_g, then by Theorem 1, the eigenvalues of the graph G_g are the multi-set union of the matrices \omega_i A(G), where \omega_i’s are the eigenvalues of P_g for i=1,2,\ldots,n. On the other hand the eigenvalues of \omega_i A(G) are \omega_i \lambda_j where \lambda_j is the j’th eigenvalue of G. Hence the spectrum of G_g and H_g are the multi-set \{\omega_i \lambda_j\}_{i=1,\ldots,t}^{j=1,\ldots,n}.
Uses Theorem 1
Theorem 3
2K7HLet s,s' be k-Abelian lifts on the graphs G,H respectively. If the following situations hold, the graphs G(s) and H(s') are cospectral.
\frac{w}{v}=\frac{y}{z}
2(\frac{xv}{w}+\frac{w}{xv})=\frac{y_1r_1} {z_1}+\frac{z_1}{y_1r_1}+\frac{u_1w_1}{v_1}+\frac{v_1}{u_1w_1}.
Proof.
0ZJXWe consider all posibilities for the matrices A(G)_\mathbf{x},A(H)_\mathbf{x} corresponding to the graphs G,H. Comparing the coefficients of \chi(A(G)_\mathbf{x},t),\chi(A(H)_\mathbf{x},t), the equality holds if and only if
2=\frac{wz}{vy}+\frac{vy}{wz},\hspace{2cm}(1)
\frac{xz}{y}+\frac{y}{xz}+\frac{xv}{w}+\frac{w}{xv}=\frac{y_1r_1}
{z_1}+\frac{z_1}{y_1r_1}+\frac{u_1w_1}{v_1}+\frac{v_1}{u_1w_1}.\hspace{2cm}(2)
The first equation follows by comparing the coefficients of t^2 and the second one follows by comparing the coefficients of t,t^3. Consider the first equality above, note the variables are the n’th roots of unity hence the equality (1) holds if and only if wz=vy, hence the first assertion of the statement follows. The second assertion follows by the Equation (2) and the first equality. Hence the graphs according to the mentioned signatures are cospectral.
Corollary 1
B8H4The following constraints on the variables r,u,v,\ldots,z,r_1,u_1,v_1,\ldots,z_1 will give cospectral lifts of the graphs G and H.
z=\frac{vy}{w},\textrm{ }u_1=y_1=x,\textrm{ }w_1=r_1=v,\textrm{ }z_1=w
Example 1
L9QBIn the graphs G and H the following signatures have the condition stated in Theorem 3. Hence the graphs G(s) and H(s') are cospectral. The group members are denoted in the cyclic representation.
s(1,2)=(1,2,3),s(2,3)=(1,3,2),s(2,4)=\textrm{id},
s(3,4)=(1,3,2),s(3,5)=(1,3,2),s(4,5)=(1,2,3),s(5,6)=(1,2)
s'(1,2)=(1,3,2),s'(1,3)=\textrm{id},s'(2,3)=(1,3,2),
s'(3,4)=\textrm{id},s'(3,5)=(1,3,2),s'(3,6)=\textrm{id},s'(5,6)=(1,3,2)
The adjacency matrices of the graphs G(s) and H(s') are of the following forms.
A(G(s)) = \begin{pmatrix}0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0\\ 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0\\ 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0\\ 0, 0, 1, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0,
0, 0\\ 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0\\
0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0\\ 0, 0, 0,
0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0\\ 0, 0, 0, 0, 0, 1,
0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0\\ 0, 0, 0, 1, 0, 0, 0, 0, 0,
0, 1, 0, 0, 1, 0, 0, 0, 0\\ 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0,
0, 1, 0, 0, 0, 0\\ 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1,
0, 0, 0\\ 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0,
0\\
0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0\\ 0, 0, 0,
0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 0\\0, 0, 0, 0, 0, 0, 1,
0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1\\ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 1, 0, 0, 0, 0\\ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1,
0, 0, 0, 0, 0\\ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0,
0, 0\end{pmatrix},A(H(s'))=\begin{pmatrix}0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0\\ 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0\\
0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0\\ 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0\\
0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0\\ 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0\\
0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 1\\ 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 1, 0, 0, 0\\
1, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0\\ 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0\\
0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0\\ 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0\\
0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1\\ 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0\\
0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0\\ 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0\\
0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0\\ 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0,
0\end{pmatrix}.
Source and licence
The text on this page is from arXiv:1601.02354v1 by F. Ramezani, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/1601/1601.02354.jsonl.