[논문 리뷰] Hamiltonicity of Vertex-Transitive Graphs of Order $4p$

Klavdija Kutnar, Dragan Marušič|ArXiv.org|2006. 06. 23.

Finite Group Theory Research참고 문헌 24인용 수 4

한 줄 요약

이 논문은 소수 $p$에 대해 순서 $4p$인 연결된 정점추이성 그래프가 코엑서 그래프를 제외하고는 모두 해밀턴적임을 증명한다. 코엑서 그래프는 해밀턴 경로는 존재하지만 해밀턴 사이클은 존재하지 않는 것으로 알려져 있다. 증명은 비기약성 블록 구조 분석과 $(4,p)$-반정규 자기동형사상의 존재를 조합하여, 몫 그래프로의 상향 및 궤도 분석을 통해 코엑서 그래프를 제외한 모든 이러한 그래프가 해밀턴 사이클을 갖는다는 것을 보여준다.

ABSTRACT

It is shown that every connected vertex-transitive graph of order $4p$, where $p$ is a prime, is hamiltonian with the exception of the Coxeter graph which is known to possess a Hamilton path.

연구 동기 및 목표

• 이전 연구에서 완전히 해결되지 않은 소수 $p$에 대해 순서 $4p$인 정점추이성 그래프의 해밀턴성 문제를 해결하기 위해.
• 이러한 그래프들 중에서 해밀턴성의 유일한 예외가 코엑서 그래프임을 증명하기 위해. 이 그래프는 해밀턴 경로는 존재하지만 해밀턴 사이클은 존재하지 않는다.
• 이미 순서 $p$, $2p$, $3p$, $p^2$, $p^3$, $p^4$, $2p^2$에 대해 연구된 결과를 바탕으로, 순서 $4p$인 정점추이성 그래프의 해밀턴성 특성에 대한 분류를 완성하기 위해.
• 비기약성 구조와 반정규 자기동형사상 몫 기법을 조합하여 정점추이성 그래프의 해밀턴성을 증명하는 프레임워크를 수립하기 위해.

제안 방법

• 자동사상군의 정점 집합에 대한 작용을 분석하여, 비기약성 블록 체계에 기반해 여덟 가지 유형으로 그래프를 분류하기 위해.
• 레마 3.2, 3.4, 3.5를 사용하여 특정 비기약성 유형에서 해밀턴성의 충분조건을 도출하기 위해.
• 제안 3.8을 통해 비기약성 블록 크기가 $p$ 또는 $2p$인 그래프로만 구성된 비해밀턴성 후보 그래프의 수를 줄이기 위해.
• $(4,p)$-반정규 자기동형사상의 존재를 활용하여 순서 4의 몫 그래프를 구성하고, 이러한 몫 그래프에서의 해밀턴 경로에 대해 알려진 결과를 활용하기 위해.
• 특히 낮은 차수를 가진 그래프의 경우 궤도 구조와 간선 상향 기법을 사용하여 몫 그래프의 해밀턴 경로를 원래 그래프로 상향시키기 위해.
• 특정 군과 그들의 작용(예: $PSL(2,8)$, $PGL(2,7)$, $PSL(3,3)$)을 코셋에 대해 분석하여, 차수 $4p/3$ 미만인 순서 $4p$인 연결된 정점추이성 그래프를 모두 식별하고, 표 2와 제안 2.1을 통해 해밀턴성을 검증하기 위해.

실험 결과

연구 질문

• RQ1 소수 $p$에 대해 순서 $4p$인 모든 연결된 정점추이성 그래프가 코엑서 그래프를 제외하고 해밀턴적일까?
• RQ2 자동사상군의 구조적 성질(예: 비기약성 블록 체계)은 이러한 그래프들에서 해밀턴 사이클의 존재를 어떻게 결정하는가?
• RQ3 $(4,p)$-반정규 자기동형사상의 존재를 이용하여 몫 그래프에서의 해밀턴 경로를 원래 그래프로 상향시킬 수 있는가?
• RQ4 어느 특정 정점추이성 그래프들이 순서 $4p$에서 해밀턴적이지 않은가, 그리고 그 이유는 무엇인가?
• RQ5 부분군의 코셋에 대한 원시적 군 작용에서 유도되는 궤도 그래프는 순서 $4p$인 모든 연결된 정점추이성 그래프를 어떻게 분류하는가?

주요 결과

• 코엑서 그래프는 순서 $4p$인 연결된 정점추이성 그래프 중에서 해밀턴 사이클이 존재하지는 않지만 해밀턴 경로는 존재하는 것으로 알려진 유일한 그래프이다.
• 자동사상군이 크기가 $p$ 또는 $2p$인 블록에 대해 추이적으로 작용하는 순서 $4p$의 연결된 정점추이성 그래프는 코엑서 그래프를 제외하고 모두 해밀턴적이다.
• 차수 $4p/3$ 미만인 순서 $4p$의 10개의 연결된 정점추이성 그래프 중에서 코엑서 그래프($X_2$)만이 해밀턴 사이클이 없다.
• 나머지 모든 그래프들에 대해서는 $(4,p)$-반정규 자기동형사상에 의한 몫 그래프에서의 해밀턴 사이클 상향을 통해 해밀턴성이 입증된다.
• $PSL(2,8)$이 $D_{18}$의 코셋에 작용하는 그래프 $X_1$는 해밀턴적이며, 차수 9, 정점 수 28이다.
• $PSL(3,3)$이 $PG(2,3)$의 점-선 쌍에 대해 작용하는 그래프 $X_{10}$는 비자기쌍정렬 궤도의 합집합이 연결되고 해밀턴적임으로써, 비연결된 궤도를 가짐에도 불구하고 해밀턴적이다.