[논문 리뷰] On some characterizations of strong power graphs of finite groups

A. K. Bhuniya, Sudip Bera|arXiv (Cornell University)|2015. 04. 23.

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

한 줄 요약

이 논문은 유한군의 강력한 거듭제곱 그래프 $π_s(G)$를 특성화하며, 그것이 선 그래프 또는 카일리 그래프가 되는 조건을 규명하고, 라플라스 스펙트럼과 행렬식을 계산한다. 이 논문은 $π_s(G)$가 카일리 그래프일 조건은 $G$가 비순환군일 때이고, 선 그래프일 조건은 $G$가 순서 4, 9 또는 소수인 순환군일 때임을 증명한다. 순환군과 비순환군에 대해 라플라스 행렬의 행렬식에 대한 명시적 공식을 유도한다.

ABSTRACT

Let $ G $ be a finite group of order $ n$. The strong power graph $\mathcal{P}_s(G) $ of $G$ is the undirected graph whose vertices are the elements of $G$ such that two distinct vertices $a$ and $b$ are adjacent if $a^{{m}_1}$=$b^{{m}_2}$ for some positive integers ${m}_1 ,{m}_2 < n$. In this article we classify all groups $G$ for which $\mathcal{P}_s(G)$ is line graph and Caley graph. Spectrum and permanent of the Laplacian matrix of the strong power graph $\mathcal{P}_s(G)$ are found for any finite group $G$.

연구 동기 및 목표

• 유한군 $G$에 대해 강력한 거듭제곱 그래프 $\mathcal{P}_s(G)$가 선 그래프가 되는 군을 분류하는 것.
• $\mathcal{P}_s(G)$가 카일리 그래프가 되는 조건을 규명하여 군의 성질과의 구조적 연결 고리를 확립하는 것.
• 임의의 유한군 $G$에 대해 $\mathcal{P}_s(G)$의 라플라스 스펙트럼을 계산하는 것.
• 순환군과 비순환군 모두에 적용 가능한, $\mathcal{P}_s(G)$의 라플라스 행렬의 행렬식에 대한 명시적 공식을 도출하는 것.
• 알고리즘적 연결성과 색수와 같은 스펙트럼 및 그래프 이론적 불변량을 탐색하는 것.

제안 방법

• 강력한 거듭제곱 그래프의 정의를 사용함: 정점은 군의 원소이며, $a \sim b$이면 어떤 $m_1, m_2 < n$에 대해 $a^{m_1} = b^{m_2}$이다.
• 선 그래프를 특성화하기 위해 9개의 금지된 유도 부분그래프를 제거하는 데 Lemma 2.1을 적용한다.
• 오일러의 타우 함수 $\phi(n)$와 비생성자를 사용하여 $\mathcal{P}_s(\mathbb{Z}_n)$의 구조를 분석함으로써, 금지된 부분그래프를 피하는 조건을 규명한다.
• 스펙트럼 그래프 이론을 활용하여 클리크의 구조와 항등원의 연결성을 고려해 라플라스 스펙트럼을 도출한다.
• 생성함수와 대칭 다항식 전개를 통해 행렬식 계산 기법을 적용하며, 특히 전술한 정점이 클리크에 연결된 그래프에 특화된다.
• 이항계수와 부호가 있는 순열을 포함하는 조합적 항등식을 사용하여 라플라스 행렬의 행렬식을 계산한다.

실험 결과

연구 질문

• RQ1 어떤 유한군 $G$에 대해 강력한 거듭제곱 그래프 $\mathcal{P}_s(G)$가 선 그래프가 되는가?
• RQ2 $\mathcal{P}_s(G)$가 어떤 군의 카일리 그래프와 동형일 때는 언제인가?
• RQ3 임의의 유한군 $G$에 대해 $\mathcal{P}_s(G)$의 완전한 라플라스 스펙트럼은 무엇인가?
• RQ4 $\mathcal{P}_s(G)$의 라플라스 행렬의 행렬식에 대한 명시적 공식은 무엇인가?
• RQ5 알고리즘적 연결성과 색수와 같은 스펙트럼 불변량은 군의 구조와 어떻게 관련되어 있는가?

주요 결과

• 강력한 거듭제곱 그래프 $\mathcal{P}_s(G)$는 $G$가 순서 4, 9 또는 소수인 순환군일 때에만 선 그래프이다.
• $\mathcal{P}_s(G)$는 $G$가 비순환군일 때에만 카일리 그래프이다.
• 순환군 $G$의 순서가 $n$일 때, 라플라스 스펙트럼은 군의 순서와 $\phi(n)$에 의해 완전히 특성화되며, 고유값이 결정된다.
• 순환군 $G$의 순서가 $n$일 때, $\mathcal{P}_s(G)$의 인접행렬의 행렬식은 $\phi(n)$, $n-1$, 이항계수를 포함하는 복잡한 합으로 주어진다.
• 순환군 $G$의 라플라스 행렬의 행렬식은 $r$에 대한 합으로 표현되며, $F_r(d)$, 이항계수, $n$과 $n-1$의 거듭제곱을 포함한다.
• 순서 $n$인 비순환군 $G$에 대해 $\mathcal{P}_s(G)$의 라플라스 행렬은 완전하며, 그 행렬식은 $(-1)^n n! \left(1 - \frac{n}{1!} + \frac{n^2}{2!} - \cdots + (-1)^n \frac{n^n}{n!}\right)$로 주어진다.