[논문 리뷰] On Difference of Enhanced Power Graph and Power Graph of a Finite Group

Sucharita Biswas, Peter J‎. Cameron외 2명|arXiv (Cornell University)|2022. 06. 24.

graph theory and CDMA systems인용 수 4

한 줄 요약

이 논문은 유한군 $G$의 강화된 거듭제곱 그래프에서 거듭제곱 그래프를 뺀 차이 그래프 $D(G)$를 도입하며, 고립된 정점들을 제거한다. $D(G)$의 연결성과 완전성에 대한 핵심 결과를 확립하여, 비-$p$-군이 비자명한 중심을 가지는 경우 $D(G)$는 연결되어 있으며, 아벨 군과 순서 $pq$, $p^2q$, $p^3q$, $pqr$인 군을 포함한 다양한 군들에 대해 $D(G)$는 완전성을 띤다. 나아가 노름군에 대한 완전한 분류도 제시한다.

ABSTRACT

The difference graph $D(G)$ of a finite group $G$ is the difference of enhanced power graph of $G$ and power graph of $G$, with all isolated vertices are removed. In this paper we study the connectedness and perfectness of $D(G)$ with respect to various properties of the underlying group $G$. We also find several connection between the difference graph of $G$ and the Gruenberg-Kegel graph of $G$.

연구 동기 및 목표

• 유한군 $G$의 강화된 거듭제곱 그래프에서 거듭제곱 그래프의 간선을 제거하여 생성되는 차이 그래프 $D(G)$를 정의하고 분석하는 것.
• 대칭군, 교대군, 딜레아드군, 직접곱 등 다양한 유한군 계열에 대해 $D(G)$의 연결성을 조사하는 것.
• 특히 아벨 군, 노름군, 소수 순서의 군들에 대해 $D(G)$가 완전성이 되는 조건을 규명하는 것.
• 군의 구조와 소수의 약수와 관련하여 $D(G)$와 Gruenberg–Kegel 그래프 사이의 연관성을 탐색하는 것.
• 차이 그래프 $D(G)$가 완전성이 되는 유한군을 분류하고, $D(G)$의 구조에 대한 열린 문제를 규명하는 것.

제안 방법

• $D(G)$를 정점 집합이 $G$이고, 강화된 거듭제곱 그래프에만 존재하지만 거듭제곱 그래프에는 없는 간선을 가지며, 고립된 정점들을 제거한 그래프로 정의한다.
• 원소의 차수, 순환부분군, 중심의 구조와 같은 군론적 성질을 활용하여 $D(G)$ 내의 인접성과 연결성 분석을 수행한다.
• 특히 단순군에 대해 큰 차이 그래프를 단순화하기 위해 쌍둥이 축소 기법과 그래프 이론적 기법(예: 코커널 분석)을 적용한다.
• GAP와 GRAPE와 같은 계산 도구를 활용하여 소수 유한 단순군을 분석하고, $D(G)$의 완전성과 연결성을 검증한다.
• 소수의 약수와 원소의 차수를 통해 $D(G)$와 Gruenberg–Kegel 그래프 사이의 연결 고리를 설정한다.
• EPPO 군의 분류, Sylow 부분군, 직접곱과 같은 구조적 군론 기법을 활용하여 연결성과 완전성에 대한 조건을 유도한다.

실험 결과

연구 질문

• RQ1 자명한 중심을 가진 유한군 $G$에 대해, $D(G)$가 연결되어 있는 경우, 그 지름이 6를 초과할 수 있는가?
• RQ2 유한군 $G$에 대해 차이 그래프 $D(G)$가 완전성이 되는 필요 및 충분조건은 무엇인가?
• RQ3 빨간색 간선이 거듭제곱 그래프의 간선에 대응하고, 초록색 간선이 차이 그래프의 간선에 대응하며, 파란색 간선이 강화된 거듭제곱 그래프의 비간선에 대응하는 색상이 칠해진 완전한 그래프를 유한군 $G$에 삽입할 수 있는가?
• RQ4 특히 $G = G_1 \times G_2 \times G_3$일 때, 군의 직접곱에 대해 $D(G)$가 연결되는 조건은 무엇인가?
• RQ5 어떤 유한 단순군들이 불완전한 차이 그래프를 가지며, 그 불완전성의 원인은 어떤 구조적 특성인가?

주요 결과

• $D(G)$는 모든 비-$p$-군이 비자명한 중심을 가지는 경우 연결되어 있으며, 그 지름은 최대 6이다.
• $D(S_n)$은 $n \geq 8$일 때에만 연결되어 있으며, $D(A_n)$은 $n \geq 18$일 때에만 연결되어 있다.
• $D(D_n)$은 $n$이 소수의 거듭제곱이 아닐 때에만 연결되어 있으며, $D(D_n \times D_m)$은 $n$과 $m$이 같은 홀수 소수의 거듭제곱일 때에만 비연결이다.
• $\mathbb{Z}_n$에 대해 $D(\mathbb{Z}_n)$는 모든 $n$에 대해 완전하며, $pq$, $p^2q$, $p^2q^2$, $p^3q$, 또는 서로 다른 소수 $p,q,r$에 대해 순서 $pqr$인 모든 군에 대해 $D(G)$는 완전하다.
• $M_{11}$의 차이 그래ph는 쌍둥이 축소를 통해 7920개에서 385개의 정점으로 줄어들며, 자동사상군이 $M_{11}$인 지름 10, 둘레 10인 이분할 그래프가 된다.
• 순서가 $J_1$보다 작은 단순군들에 대해 모든 $D(G)$는 완전하다. 예를 들어 $q=11,13,16$인 $\mathrm{PSL}(2,q)$와 $\mathrm{PSL}(3,3)$는 $\mathbb{F}_3$ 위의 사영평면의 플래그와 반플래그에 대한 새로운 이분할 그래프를 유도한다.