[논문 리뷰] Energy of commuting graph of finite groups whose centralizers are Abelian

Reza Sharafdini, Rajat Kanti Nath외 1명|arXiv (Cornell University)|2017. 04. 21.

Graph theory and applications참고 문헌 16인용 수 3

한 줄 요약

이 논문은 모든 비중심 원소의 중심화군이 아벨인 유한 비아벨 AC군의 경우에 대해 스펙트럴 그래프 이론을 사용하여 교환 그래프의 에너지를 계산한다. 특히 중심의 크기와 몫군의 구조에 기반한 에너지에 대한 명시적 공식을 유도하고, 이러한 교환 그래프가 초에너지성 또는 경계에너지성임을 증명하지 않음을 보이며, 아벨 중심화군을 가진 군들에 대한 에너지 경계를 광범위하게 일반화한다.

ABSTRACT

Let $Γ$ be a graph with the adjacency matrix $A$. The energy of $Γ$ is the sum of the absolute values of the eigenvalues of $A$. In this article we compute the energies of the commuting graphs of some finite groups and discuss some consequences.

연구 동기 및 목표

• 특정 유한 비아벨 AC군 가족에 대한 교환 그래프의 에너지를 계산하기 위해.
• 순서, 중심의 크기, 몫 구조와 같은 군 불변량에 기반한 에너지에 대한 명시적 공식을 수립하기 위해.
• 완전 그래프와의 비교를 바탕으로 이러한 교환 그래프가 초에너지성 또는 경계에너지성인지 조사하기 위해.
• 특히 Z_p × Z_p 또는 D_2m와 동형인 몫을 가진 군들에 대해 아벨 중심화군을 가진 군 클래스에 걸쳐 에너지 경계를 일반화하기 위해.
• 모든 유한 비아벨 군의 교환 그래프가 초에너지성이 아니라는 보다 넓은 추측을 내세우기 위해.

제안 방법

• 스펙트럴 그래프 이론을 사용: 에너지는 인접행렬의 고유값의 절댓값의 합으로 정의된다.
• 이전 연구들(예: [6, 7])에서 알려진 스펙트럴 결과를 적용하여 교환 그래프의 고유값과 중복도를 계산한다.
• AC군의 구조와 중심화군이 아벨임을 활용하여 교환 그래프를 서로소인 완전 그래프의 합집합으로 분해한다.
• Γ_G의 정점 수가 |G| − |Z(G)|임을 이용하고, 레마 1을 활용하여 중심화군의 크기를 군의 순서와 연결한다.
• 에너지 공식을 일반 공식 E(Γ_G) = 2(|G| − |Z(G)| − n)를 통해 도출하며, 여기서 n은 비중심 중심화군의 서로 다른 수이다.
• 계산된 에너지 값과 동일한 정점 수를 가진 완전 그래프의 에너지와 비교하여 초에너지성 또는 경계에너지성 여부를 평가한다.

실험 결과

연구 질문

• RQ1 m가 홀수이거나 짝수일 때, 군 M_{2mn}에 대한 교환 그래프의 정확한 에너지는 무엇인가?
• RQ2 m의 기수에 따라 D_{2m}의 교환 그래프 에너지는 어떻게 달라지는가?
• RQ3 Q_{4m}의 교환 그래프는 초에너지성 또는 경계에너지성인가? 그 에너지는 무엇인가?
• RQ4 유한 비아벨 군의 교환 그래프가 초에너지성 또는 경계에너지성이 아닐 조건은 무엇인가?
• RQ5 모든 유한 비아벨 AC군의 교환 그래프가 초에너지성 또는 경계에너지성이 아님을 보장할 수 있는가?

주요 결과

• M_{2mn}의 경우, m가 홀수이면 에너지는 4mn − 2m − 2n − 2이고, m가 짝수이면 4mn − 4n − m − 2이다.
• D_{2m}의 경우, m가 홀수이면 에너지는 2m − 4이고, m가 짝수이면 3m − 6이다.
• Q_{4m}의 경우, 에너지는 정확히 6m − 3이며, 이 그래프는 초에너지성 또는 경계에너지성이 아니다.
• U_{6n}의 경우, 에너지는 10n − 8이며, 그래프는 초에너지성 또는 경계에너지성이 아니다.
• QD_{2^n}의 경우, 에너지는 2^n + 2^{n−1} − 6이며, 그래프는 초에너지성 또는 경계에너지성이 아니다.
• G/Z(G) ≅ Z_p × Z_p 또는 D_{2m}인 경우, 에너지는 각각 2((p² − 1)|Z(G)| − p − 1) 또는 2((2m − 1)|Z(G)| − m − 1)이며, 이러한 그래프는 초에너지성 또는 경계에너지성이 아니다.