[논문 리뷰] GAP Computations Concerning Hamiltonian Cycles in the Generating Graphs of Finite Groups

Thomas Breuer|arXiv (Cornell University)|2009. 11. 30.

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

한 줄 요약

이 논문은 유한군의 생성 그래프—특히 PSL(2,q), 순서 10^7 이하의 비아벨 단순군, 그리고 일부 비가역군—의 해밀턴 순환이 존재하는 계산적 증거를 GAP를 사용하여 제시한다. 캐릭터 이론적 하한을 통한 정점 차수의 하한과 Pósa 및 Chvátal 기준을 적용함으로써 저자들은 이러한 군들에 대해 해밀턴성의 존재를 확인하였으며, 이는 유한 비순환군의 생성 그래프에 해밀턴 순환이 존재한다는 보다 광범위한 추측을 뒷받침한다.

ABSTRACT

This is a collection of examples showing how the GAP system can be used to compute information about the generating graphs of finite groups. It includes all examples that were needed for the computational results in the paper "Hamiltonian cycles in the generating graphs of finite groups" by Thomas Breuer, Robert M. Guralnick, Andrea Lucchini, Attila Maróti, and Gábor P. Nagy. The purpose of this writeup is twofold. On the one hand, the computations are documented this way. On the other hand, the GAP code shown for the examples can be used as test input for automatic checking of the data and the functions used.

연구 동기 및 목표

• 유한 비순환군의 생성 그래프에 해밀턴 순환이 존재하는지 계산적으로 검증하기.
• 정점 차수 하한을 사용하여 Pósa 및 Chvátal 기준의 타당성을 검증하기.
• 모든 비자명한 정규부분군 N에 대해 G/N가 순환군이면 유한 비순환군이 해밀턴 생성 그래프를 가진다는 추측을 뒷받침하기.
• 이전 연구의 계산 결과를 재현 가능하게 하기 위해 재현 가능한 GAP 코드와 데이터를 제공하기.
• 스포라딕 단순군, 그들의 자기동형군, 그리고 더 큰 q에 대해 PSL(2,q)로의 해밀턴 순환 결과를 확장하기.

제안 방법

• 공轭류와 최대부분군을 기반으로 한 캐릭터 이론적 방법을 사용하여 생성 그래프의 정점 차수를 계산하기.
• 그래프의 반복 클로처를 통한 해밀턴성 검증 문제를 단순화하기 위해 클로처 기준을 적용하기.
• Pósa 및 Chvátal의 충분조건 적용: k < m/2 인 경우 d_k ≥ k+1 또는 d_{m−k} ≥ m−k 를 확인하기.
• 순열 캐릭터 1_M^G 와 다중집합 Π의 원소로서의 기본 캐릭터를 사용하여 정점 차수의 하한을 구현하기.
• GAP 함수를 사용하여 군의 캐릭터 표, 기본 순열 캐릭터, 공轭류 구조를 계산하기.
• GAP 코드를 사용한 자동 테스트를 통해 결과를 검증하며, 호환성을 위해 어설션을 비활성화하기.

실험 결과

연구 질문

• RQ1 순서 10^7 이하의 모든 비아벨 단순군의 생성 그래프는 해밀턴 순환을 포함하는가?
• RQ2 모든 소수 거듭제곱 q ≥ 13 에 대해 PSL(2,q)의 생성 그래프는 해밀턴 순환을 포함하는가?
• RQ3 유한 비순환군이 모든 비자명한 정규부분군 N에 대해 G/N가 순환군이면 해밀턴 생성 그래프를 가진다는 추측이 순서 ≤ 10^6 인 비가역군에 대해 참인가?
• RQ4 완전한 열거 없이도 캐릭터 이론적 하한을 정점 차수에 효과적으로 적용하여 해밀턴성을 검증할 수 있는가?
• RQ5 유한군의 생성 그래프에서 클로처 기준의 계산적 행동은 어떠한가?

주요 결과

• 순서 10^7 이하의 모든 비아벨 단순군에 대해 GAP 계산을 통해 생성 그래프가 해밀턴 순환을 포함함을 확인하였다.
• 모든 소수 거듭제곱 q > 11 에 대해 PSL(2,q)의 생성 그래프는 Pósa 기준을 만족하며, 정점 차수가 2, 3, 4 또는 5의 원소 수를 초과한다.
• q > 11 인 경우, PSL(2,q)의 각 반전위는 n(q,2) = q^2 - 1 (q 가 짝수일 경우) 또는 ≤ q(q+1)/2 (q 가 홀수일 경우) 초과하는 정점 차수를 가지며, 이는 Pósa 조건을 만족한다.
• φ((q+1)/k) ≥ 12 이면, PSL(2,q)의 3, 4 또는 5의 차수 원소는 차수 ≤ 5 원소 총수를 초과하는 정점 차수를 가지며, 이는 Pósa 기준을 만족한다.
• GAP 코드는 차수 하한이 성립하지 않는 2 ≤ q ≤ 11 인 PSL(2,q)에 대해서도 직접 0차 클로처를 계산함으로써 해밀턴성을 성공적으로 검증하였다.
• 몬스터 군은 정확히 하나의 최대부분군의 공轭류가 PSL(2,41)와 동형이며, socle 이 PSL(2,27)인 최대부분군은 존재하지 않으며, 이는 4.2절에서 이전의 하한을 향상시킨다.