[논문 리뷰] On the power graph of a finite group

Min Feng, Xuanlong Ma외 1명|arXiv (Cornell University)|2014. 04. 21.

Graph Labeling and Dimension Problems참고 문헌 15인용 수 5

한 줄 요약

이 논문은 순환 부분군의 순서 구조와 전이 성향을 활용하여 유한군의 거리 차원에 대한 폐쇄형 공식을 수립한다. 거리 차원이 완전한 코어를 지닌 완전한 비교 가능성 그래프임을 증명하고, 소인수 분해에 기반한 순환군에 대한 정확한 거리 차원 값을 도출한다.

ABSTRACT

The power graph $\mathcal P_G$ of a finite group $G$ is the graph with the vertex set $G$, where two elements are adjacent if one is a power of the other. We first show that $\mathcal P_G$ has an transitive orientation, so it is a perfect graph and its core is a complete graph. Then we use the poset on all cyclic subgroups (under usual inclusion) to characterise the structure of $\mathcal P_G$. Finally, the closed formula for the metric dimension of $\mathcal P_G$ is established. As an application, we compute the metric dimension of the power graph of a cyclic group.

연구 동기 및 목표

• 유한군의 거리 차원을 그의 순환 부분군의 부분순서집합(POSSET)을 이용해 특성화하기.
• 거리 차원이 전이 성향을 갖는다는 것을 증명하여, 비교 가능성 그래프이자 완전한 그래프로서의 성질과 완전한 코어를 지닌다는 것을 입증하기.
• 모든 유한군의 거리 차원에 대한 폐쇄형 표현을 유도하기.
• 소인수 분해를 이용하여 순환군의 거리 차원을 명시적으로 계산하기.

제안 방법

• 생성자에 대한 사전순서와 부분군 포함 관계를 이용하여 거리 차원 그래프에 전이 성향을 구성하기.
• 순환 부분군 내 생성자의 인덱스와 진부분군 포함 관계를 기반으로 군 원소에 대한 부분순서 정의하기.
• 유도된 성향이 전이적이며 비교 가능성 그래프의 구조를 유도함을 증명하기.
• 순환 부분군의 순서 집합을 이용하여 거리 차원 그래프의 전반적 구조를 특성화하기.
• 모든 정점과 최대 치환 원소를 조합하여 해결 집합을 수립하기.
• 조합론적 군론과 순환군의 성질을 적용하여 최종 폐쇄형 공식 유도하기.

실험 결과

연구 질문

• RQ1 유한군의 거리 차원 그래프는 비교 가능성 그래프인가? 그리고 전이 성향을 갖는가?
• RQ2 유한군의 거리 차원 그래프의 구조는 그의 순환 부분군의 부분순서집합을 통해 어떻게 완전히 특성화될 수 있는가?
• RQ3 유한군의 거리 차원 그래프의 거리 차원은 무엇이며, 이를 폐쇄형으로 표현할 수 있는가?
• RQ4 순환군의 거리 차원 그래프의 거리 차원은 그의 소인수 분해에 어떻게 의존하는가?
• RQ5 치환과 모든 정점은 최소 해결 집합을 구성하는 데 어떤 역할을 하는가?

주요 결과

• 모든 유한군의 거리 차원 그래프는 전이 성향을 갖는다. 이는 비교 가능성 그래프이자 완전한 그래프로서 완전한 코어를 지닌다.
• 거리 차원 그래프의 구조는 부분군 포함 관계 하에서 그의 순환 부분군의 부분순서집합에 의해 완전히 결정된다.
• 유한군의 거리 차원 그래프에 대한 폐쇄형 공식이 수립된다.
• 순환군 $ Z_n $의 차수 $ n = p_1^{r_1} \cdots p_t^{r_t} $ 에 대해, $ t=1 $ 이면 $ n-1 $, $ t=2 $, $ p_1=2 $, $ r_1=1 $ 이면 $ n-2r_2 $, $ t=2 $, $ p_1=2 $, $ r_2=1 $ 이면 $ n-2r_1 $, 그 외의 경우 $ n+1 - \prod_{i=1}^t (r_i+1) $ 이다.
• 순환군의 거리 차원 그래프의 거리 차원은 모든 정점의 수와 최대 치환 원소의 수를 이용하여 유도되며, 군의 소인수 분해에 명시적인 의존성을 갖는다.