[논문 리뷰] Rationality conditions for the eigenvalues of normal finite Cayley graphs

Chris Godsil, Pablo Spiga|arXiv (Cornell University)|2014. 02. 22.

Graph theory and applications참고 문헌 7인용 수 7

한 줄 요약

이 논문은 유한군 G의 정규 유한 카일리 그래프 Cay(G,C)에 대해, C가 G의 코너지 클래스들의 합집합인 경우, 모든 고유값이 정수일 조건은 C가 거듭제곱 닫힘 조건을 만족할 때이고, 그 조건은 임의의 x ∈ C와 x가 생성하는 순환부군을 같은 방식으로 생성하는 모든 y에 대해 y ∈ C이어야 한다는 것이다. 이 결과는 문자값과 원분체 위의 갈루아 이론적 분석에 기반하며, 아벨 군에 대한 고전적 결과를 비아벨 구조로 일반화한다.

ABSTRACT

Given a finite group G, we say that a subset C of G is power-closed if, for every x in C and y in with =, we have that y lies in C. In this paper we are interested in finite Cayley digraphs Cay(G,C) over G with connection set C, where C is a union of conjugacy classes of G. We show that each eigenvalue of Cay(G,C) is integral if and only if C is power-closed. This result will follow from a discussion of some more general rationality conditions on the eigenvalues of Cay(G,C).

연구 동기 및 목표

• 정규 카일리 방향그래프 Cay(G,C)의 모든 고유값이 정수일 필요충분조건을 규명하는 것.
• 아벨 군에 대한 고유값의 정수성에 관한 고전적 결과를 비아벨 군으로 일반화하는 것.
• 갈루아 군 작용이 문자값과 원분체 위에서 고유값의 유리성 조건을 설정하는 것.
• 정규 카일리 그래프에서 정수(따라서 유리수) 고유값을 유도하는 연결 집합 C의 구조를 특성화하는 것.

제안 방법

• Cay(G,C)의 고유값은 G의 기약 특성으로 표현된다: λ_χ = (1/χ(1)) ∑_{x∈C} χ(x).
• G의 지수 m에 대해 체 Q(m)를 사용하여 고유값의 대수적 구조를 분석하며, 모든 고유값은 Q(m)에 속한다.
• 갈루아 군 Γ_Q ≅ (Z/mZ)* 는 원근의 단위근 공액에 의해 유도되는 자동형사상으로 고유값에 작용한다.
• 연결 집합 C가 체 K ⊆ Q(m)에 대해 Γ_K 작용에 관해 불변이 되는 것과 모든 고유값이 K에 속하는 것이 동치임을 보였다.
• 증명은 |x|에 대한 귀납법과 순환부군으로부터의 특성 유도를 통해, t ∈ Γ_K에 대해 t차 거듭제곱에 대한 C의 불변성을 분석한다.
• 핵심 단계는 가우스의 정리에 기반하며, |x|-번째 원근의 단위근들이 Q 위에서 선형독립이므로, 선형조합의 계수가 일치함을 유도하여 x^t ∈ C임을 도출한다.

실험 결과

연구 질문

• RQ1 정규 카일리 방향그래프 Cay(G,C)의 모든 고유값이 정수일 조건은 언제인가?
• RQ2 고유값이 주어진 부분체 K ⊆ Q(m)에 속하기 위해 연결 집합 C가 만족해야 할 구조적 조건은 무엇인가?
• RQ3 원분체 위에서 갈루아 군 작용이 카일리 그래프의 고유값의 유리성과 어떻게 관련되는가?
• RQ4 아벨 군에 대한 고전적 결과—즉, 정수 고유값이 발생하는 것은 C가 거듭제곱에 대해 닫혀 있을 때뿐이란 것—을 비아벨 군으로 확장할 수 있는가?
• RQ5 C의 거듭제곱 닫힘 조건과 지수화에 의해 유도되는 갈루아 자동형사상에 대한 C의 불변성 사이의 정확한 관계는 무엇인가?

주요 결과

• Cay(G,C)의 각 고유값이 정수일 조건은 연결 집합 C가 거듭제곱 닫힘 조건을 만족할 때이다.
• C가 거듭제곱 닫힘 조건을 만족하면, C는 역원 닫힘 조건도 만족하므로 카일리 방향그래프는 무방향이 된다.
• Cay(G,C)의 모든 고유값이 부분체 K ⊆ Q(m)에 속한다면, C는 갈루아 군 Γ_K 작용에 대해 불변이 되며, 이는 (Z/mZ)*의 원소에 의한 지수화에 대응한다.
• 모든 x ∈ C와 t ∈ Γ_K에 대해, 고유값이 K에 속하고 |x|의 진약수에 대해 귀납가정이 성립한다면, x^t ∈ C임을 보였다.
• 증명은 Q 위에서 원근의 단위근들이 선형독립이므로, 문자합 전개에서 계수의 일치를 강제함으로써 성립한다.
• 이 결과는 아벨 군에 대한 브리지스와 메나의 정리를 비아벨 조건으로 일반화하며, 아벨 조건을 거듭제곱 닫힘 조건으로 대체함으로써 성립한다.