[논문 리뷰] The number of spanning trees of power graphs associated with specific groups and some applications

A. R. Moghaddamfar, S. Rahbariyan외 2명|arXiv (Cornell University)|2017. 05. 14.

Graph theory and applications참고 문헌 8인용 수 4

한 줄 요약

이 논문은 온도르의 정리에서 유도된 행렬식 기반 방법을 사용하여 특정 유한군—순환군, 이면군, 일반화된 허니문 군—의 거듭제곱 그래프에서의 스패닝 트리 수를 계산한다. 주요 기여는 유한 단순군 중에서 대칭군 𝔄₅가 자신의 거듭제곱 그래프의 스패닝 트리 수에 의해 유일하게 결정됨을 증명한 것으로, 이는 이 클래스에서 처음으로 𝜅-식별 가능한 군임을 보여준다.

ABSTRACT

Given a group $G$, we define the power graph $\mathcal{P}(G)$ as follows: the vertices are the elements of $G$ and two vertices $x$ and $y$ are joined by an edge if $\langle x angle\subseteq \langle y angle$ or $\langle y angle\subseteq \langle x angle$. Obviously the power graph of any group is always connected, because the identity element of the group is adjacent to all other vertices. In the present paper, among other results, we will find the number of spanning trees of the power graph associated with specific finite groups. We also determine, up to isomorphism, the structure of a finite group $G$ whose power graph has exactly $n$ spanning trees, for $n<5^3$. Finally, we show that the alternating group $\mathbb{A}_5$ is uniquely determined by tree-number of its power graph among all finite simple groups.

연구 동기 및 목표

• 순환군, 이면군, 일반화된 허니문 군의 거듭제곱 그래프에서 스패닝 트리 수에 대한 명시적 공식을 유도하기 위해.
• 모든 거듭제곱 그래프가 정확히 n개의 스패닝 트리를 가지는 유한군을 n < 5³일 때 규명하기 위해.
• 특히 유한 단순군의 범주에서 거듭제곱 그래프의 트리수(스패닝 트리 수)가 유한군의 동형 유형을 유일하게 결정하는지 조사하기 위해.
• 유한 단순군 중에서 첫 번째로 𝜅-식별 가능한 군—즉, 자신의 거듭제곱 그래프의 스패닝 트리 수에 의해 유일하게 결정되는 군—의 예를 확립하기 위해.

제안 방법

• 스패닝 트리 수를 계산하기 위해 온도르의 행렬식 공식을 적용한다.
• 순환부분군의 구조와 원소의 차수를 이용하여 거듭제곱 그래프를 항등원을 공유하는 완전그래프들의 합집합으로 분해한다.
• 서일 정리, 공轭류 수, 고정점이 없는 군 작용 등의 군론적 도구를 활용한다.
• 유한 단순군의 알려진 분류 결과(예: [18, 표 1])를 활용하여 가능한 후보군을 좁힌다.
• 소수 차수의 순환부분군이 존재할 경우 트리수의 하한을 고려한 부등식을 적용한다.
• 군의 거듭제곱 그래프가 순환부분군에 대응하는 완전그래프들의 합집합이며, 항등원을 공통 정점으로 가진다는 사실을 활용한다.

실험 결과

연구 질문

• RQ1 유한군 G에 대해 거듭제곱 그래프 𝒫(G)의 스패닝 트리 수가 주어진 정수 n < 5³과 같아지는 경우는 언제인가?
• RQ2 거듭제곱 그래프의 트리수가 유한군의 동형 유형을 유일하게 결정할 수 있는가?
• RQ3 대칭군 𝔄₅는 𝜅(𝔄₅) = 3¹⁰ × 5¹⁸인 유일한 유한 단순군인가?
• RQ4 유한 단순군 범주에서 동일한 트리수를 공유하는 비동형 군의 최소 개수는 얼마인가?
• RQ5 유한군의 거듭제곱 그래프의 트리수가 유한 단순군 범주에서 그 군을 유일하게 식별할 수 있는가?

주요 결과

• ℤₙ의 거듭제앙 그래프에서 스패닝 트리 수는 행렬식 평가를 통해 유도된 폐쇄형 공식으로 주어지나, 초록에서 정확한 표현은 명시되어 있지 않다.
• 이면군 D₂ₙ 및 일반화된 허니문 군 Q₄ₙ에 대해서는 군의 구조와 온도르의 정리를 활용하여 스패닝 트리 수에 대한 명시적 공식이 도출된다.
• 𝔄₅의 거듭제곱 그래프는 K₁ ∨ (15K₁ ⊕ 10K₂ ⊕ 6K₄)로 분해되어 𝜅(𝔄₅) = 3¹⁰ × 5¹⁸임을 이끌어낸다.
• 𝜅(G) = 3¹⁰ × 5¹⁸인 유한 단순군 G는 소수 집합 𝜋(G) = {2, 3, 5}여야 하며, 순환부분군에서 유도된 트리수의 하한을 이용한 모순을 통해 더 큰 소수를 배제할 수 있다.
• 이러한 군의 서일 3-부분군의 순서는 3이어야 하며, 이는 G ≅ 𝔄₅임을 강제하여 𝔄₅가 유한 단순군 범주에서 𝜅-식별 가능하다는 것을 증명한다.
• 순서 ≤15인 군들에 대해 모든 동형 유형에 대해 트리수 𝜅(G)를 계산하였으며, 𝜅(G) = 1인 경우는 초등 아벨 2군이며, 𝜅(𝔖₃) = 𝜅(ℤ₃) = 3이다.