[논문 리뷰] Characterization of generalized Petersen graphs that are Kronecker covers

Matjaž Krnc, Tomaž Pisanski|arXiv (Cornell University)|2018. 02. 20.

Finite Group Theory Research인용 수 4

한 줄 요약

이 논문은 일반화된 페터슨 그래프 $G(n,k)$ 중에서 크로네커 커버—$K_2$와의 텐서곱을 통해 생성되는 이분할 이중 커버—인 그래프를 특성화하고, 그 몫 그래프의 구조를 규명한다. 핵심 결과는 완전한 분류이다: $G(n,k)$가 크로네커 커버일 조건은 $k^2 \equiv 1 \pmod{n}$ 이고 $n \mid \frac{k^2 - 1}{2}$ 이며, 이 경우 몫 그래프는 $k$의 기수성에 따라 특정한 LCF 표기법을 사용한 그래프 $C^+(n,k)$ 또는 $C^-(n,k)$와 동형이다. 분류 결과에 따르면 이러한 그래프가 크로네커 커버가 되는 것은 $n$이 홀수일 때에만 가능하며, 이 조건 하에서 몫 그래프는 유일하다.

ABSTRACT

The family of generalized Petersen graphs $G(n, k)$, introduced by Coxeter et al. [4] and named by Mark Watkins (1969), is a family of cubic graphs formed by connecting the vertices of a regular polygon to the corresponding vertices of a star polygon. The Kronecker cover $\mathrm{KC}(G)$ of a simple undirected graph $G$ is a a special type of bipartite covering graph of $G$, isomorphic to the direct (tensor) product of $G$ and $K_2$. We characterize all the members of generalized Petersen graphs that are Kronecker covers, and describe the structure of their respective quotients. We observe that some of such quotients are again generalized Petersen graphs, and describe all such pairs.

연구 동기 및 목표

• 일반화된 페터슨 그래프 $G(n,k)$ 중에서 어떤 그래프의 크로네커 커버가 되는 경우를 모두 규명하는 것.
• 일반화된 페터슨 그래프 $G(n,k)$ 에 대한 크로네커 커버 연산을 통해 얻어진 몫 그래프의 구조를 특성화하는 것.
• 특히 몫 그래프가 유일한 조건에 대해, 매개변수 $(n,k)$ 를 분류하는 것.
• 일반화된 페터슨 그래프와 그 크로네커 커버 간의 관계를 탐구하며, 특히 커버 자체가 일반화된 페터슨 그래프가 되는 경우를 중심으로 분석하는 것.

제안 방법

• 논문은 일반화된 페터슨 그래프의 이분할 이중 커버를 생성하기 위해 텐서곱 $G \times K_2$ 로 정의된 크로네커 커버 구조를 사용한다.
• 커버 연산 하에서 몫 그래프를 정의하는 순서 2의 자기동형사상인 크로네커 호환성( involutions )을 분석한다.
• 저자들은 LCF 표기법을 사용하여 몫 그래프를 나타내는 두 가닥의 그래프, $C^+(n,k)$ 와 $C^-(n,k)$ 를 정의한다.
• 분류 작업은 $k^2 \equiv 1 \pmod{n}$ 과 $n \mid \frac{k^2 - 1}{2}$ 를 만족하는 합동 조건을 해결하는 데 의존하며, 이는 $G(n,k)$ 가 크로네커 커버를 가질 수 있는지 여부를 결정한다.
• 군론적 추론을 통해 크로네커 호환성의 집합이 동치류로 분할되며, 제시된 조건 하에서 이러한 동치류의 수가 정확히 하나임을 보여준다.
• 덧셈군 구조 $\mathbb{Z}/m\mathbb{Z}$ 를 활용하여 호환성의 궤도를 분석하고, 몫 그래프의 유일성을 입증한다.

실험 결과

연구 질문

• RQ1 매개변수 $(n,k)$ 가 어떤 경우에 일반화된 페터슨 그래프 $G(n,k)$ 가 다른 그래프의 크로네커 커버가 되는가?
• RQ2 일반화된 페터슨 그래프 $G(n,k)$ 가 크로네커 커버일 경우, 몫 그래프의 구조는 어떠한가?
• RQ3 일반화된 페터슨 그래프 $G(n,k)$ 의 크로네커 커버 하에서 몫 그래프가 유일한 조건은 무엇인가?
• RQ4 크로네커 커버 $\mathrm{KC}(G(n,k))$ 가 자신이 일반화된 페터슨 그래프가 되는 경우는 언제인가?
• RQ5 일반화된 페터슨 그래프 $G(n,k)$ 의 대칭성과 자기동형사상은 크로네커 커버 및 그 몫 그래프와 어떻게 관련이 있는가?

주요 결과

• 일반화된 페터슨 그래프 $G(n,k)$ 는 $k^2 \equiv 1 \pmod{n}$ 이고 $n \mid \frac{k^2 - 1}{2}$ 일 때에만 크로네커 커버이다.
• 만약 $k \equiv 1 \pmod{4}$ 라면, $G(n,k)$ 의 크로네커 커버 하에서의 몫 그래프는 LCF 표기법으로 정의된 $C^+(n,k)$ 와 동형이다.
• 만약 $k \equiv 3 \pmod{4}$ 라면, 몫 그래프는 LCF 표기법으로 정의된 $C^-(n,k)$ 와 동형이다.
• 제시된 조건 하에서 몫 그래프는 유일하며, 이는 크로네커 호환성의 동치류 수가 정확히 하나이기 때문이다.
• 크로네커 커버 $\mathrm{KC}(G(n,k))$ 는 $n$ 이 홀수일 때에만 일반화된 페터슨 그래프이다.
• $n$ 이 짝수일 경우, 크로네커 커버 $\mathrm{KC}(G(n,k))$ 는 일반화된 페터슨 그래프가 아니며, $k$ 의 기수성에 따라 두 알려진 유형 중 하나에 속한다.