[논문 리뷰] Minimal complete arcs in PG(2,q), q<= 32

Stefano Marcugini, Alfredo Milani외 1명|arXiv (Cornell University)|2010. 05. 19.

Finite Group Theory Research참고 문헌 5인용 수 13

한 줄 요약

이 논문은 사영 평면 PG(2, q)에서 완전한 호의 최소 크기가 q = 31 및 q = 32일 때 모두 14임을 컴퓨터로 검증된 증명을 제시한다. 8-호에 대한 프로젝션 등가성 축소와 병렬화된 백트래킹을 사용한 완전한 검색을 통해 저자들은 t₂(2, 31) = t₂(2, 32) = 14임을 확인하였으며, PG(2, 31)와 PG(2, 32)에서 각각 3,391개와 9,300개의 등가가 아닌 최소 완전 호를 규명하였다.

ABSTRACT

In this paper it has been verified, by a computer-based proof, that the smallest size of a complete arc is 14 in PG(2,31) and in PG(2,32). Some examples of such arcs are also described.

연구 동기 및 목표

• q = 31 및 q = 32일 때 PG(2, q)에서 완전 호의 최소 크기를 규명하는 것.
• 기존의 q ≤ 29까지의 완전 호 분류를 초과하여 확장하는 것.
• PG(2, 31) 및 PG(2, 32)에서 등가가 아닌 최소 완전 호의 예를 식별하고 분류하는 것.
• 이 평면들에서 가장 작은 완전 호의 자기동형군을 조사하는 것.
• 큰 유한 기하학에서 프로젝션 등가성과 병렬 처리를 사용한 완전한 검색의 가능성을 보여주는 것.

제안 방법

• 작은 호(크기 8 이하)에 대한 트리 기반 분류와 백트래킹 확장을 조합한 하이브리드 알고리즘을 사용한 완전한 컴퓨터 검색.
• PGL(3, 31)과 PΓL(3, 32)에 대한 프로젝션 등가성을 활용하여 등가 반복을 제거하고 검색 공간을 축소.
• 계산 부담을 균형 있게 분배하기 위해 4개의 프로세서에 각각 10%, 20%, 30%, 40%의 8-호를 할당하는 병렬화 전략을 사용.
• 이미 발견된 등가 해를 생성하는 확장을 건너뛰기 위해 백트래킹 중에 가지치기 기법을 적용.
• MAGMA 계산 대칭 시스템을 사용하여 결과로 얻은 완전 호를 PGL(3, 31) 및 PΓL(3, 32)에 대해 분류.
• S₃, Z₄, Z₅와 같은 비자명한 자기동형군을 가진 14-호의 구체적 예를 제시.

실험 결과

연구 질문

• RQ1 PG(2, 31)에서 완전 호의 최소 크기는 얼마인가요?
• RQ2 PG(2, 32)에서 완전 호의 최소 크기는 얼마인가요?
• RQ3 PG(2, 31)와 PG(2, 32)에서 등가가 아닌 최소 완전 호는 몇 개인가요?
• RQ4 PG(2, 31)와 PG(2, 32)에서 최소 완전 호의 가능한 자기동형군은 무엇인가요?
• RQ5 프로젝션 등가성과 병렬 처리를 사용하여 최소 완전 호의 검색 공간을 효과적으로 줄일 수 있을까요?

주요 결과

• PG(2, 31)에서 완전 호의 최소 크기는 14이며, 즉 t₂(2, 31) = 14이다.
• PG(2, 32)에서 완전 호의 최소 크기는 14이며, 즉 t₂(2, 32) = 14이다.
• PGL(3, 31)에 대해 기준으로 삼을 때 PG(2, 31)에서 총 3,391개의 등가가 아닌 최소 완전 호가 발견되었다.
• PΓL(3, 32)에 대해 기준으로 삼을 때 PG(2, 32)에서 총 9,300개의 등가가 아닌 최소 완전 호가 발견되었다.
• 발견된 최소 호들 중에서 가장 큰 자기동형군의 순서는 6이며, 그 중 하나는 S₃와 동형인 안정자군을 가진다.
• S₃ 자기동형군을 가진 PG(2, 31)의 14-호와 Z₄, Z₅ 자기동형군을 가진 PG(2, 32)의 14-호에 대한 명시적 구성이 제공되었다.