Graph Automorphisms from the Geometric Viewpoint

Wen-Xue Du,Yi-Zheng Fan
DOI: https://doi.org/10.48550/arxiv.1312.2778
2013-01-01
Abstract:An automorphism of a graph G=(V,E) is a bijective map ϕ from V to itself such that ϕ(v_i)ϕ(v_j)∈ E ⇔ v_i v_j∈ E for any two vertices v_i and v_j. Denote by 𝔊 the group consisting of all automorphisms of G. Apparently, an automorphism of G can be regarded as a permutation on [n]={1,…,n}, provided that G has n vertices. For each permutation σ on [n], there is a natural action on any given vector u=(u_1,…,u_n)^t∈ℂ^n such that σu=(u_σ^-11,u_σ^-12,…,u_σ^-1 n)^t, so σ can be viewed as a linear operator on ℂ^n. Accordingly, one can formulate a characterization to the automorphisms of G, i.e., σ is an automorphism of G if and only if every eigenspace of 𝐀(G) is σ-invariant, where 𝐀(G) is the adjacency matrix of G. Consequently, every eigenspace of 𝐀(G) is 𝔊-invariant, which is equivalent to that for any eigenvector v of 𝐀(G) corresponding to the eigenvalue λ, span(𝔊v) is a subspace of the eigenspace V_λ. By virtue of the linear representation of the automorphism group 𝔊, we characterize those extremal vectors v in an eigenspace of 𝐀(G) so that dim span(𝔊v) can attain extremal values, and furthermore, we determine the exact value of dim span(𝔊v) for any eigenvector v of 𝐀(G).
What problem does this paper attempt to address?