[논문 리뷰] All $(96,20,4)$ difference sets and related structures

Omar A. AbuGhneim, Peifer, Dylan외 1명|arXiv (Cornell University)|2018. 08. 01.

graph theory and CDMA systems인용 수 3

한 줄 요약

이 논문은 GAP 소프트웨어와 이전 이론적 결과를 활용하여, (96,20,4) 차이 집합을 포함하는 96개의 순서를 가진 94개의 군 중에서 아직 해결되지 않은 나머지 19개 군에 대해 체계적으로 이를 계산하여, 모든 (96,20,4) 차이 집합의 분류를 완성한다. 저자들은 2,627개의 서로 동치가 아닌 차이 집합을 식별하고, 이로 인해 583개의 서로 동형이 아닌 대칭 (96,20,4) 설계를 도출한다. 이 중 563개는 진정으로 비아벨이며, 아벨 군의 날카로운 전이 자동화군을 갖지 못한다. 또한 (96,20,4,4)와 (96,19,2,4) 부분 차이 집합을 모두 구성하여, 각각 58개와 12개의 서로 동형이 아닌 강한 정규 그래프를 도출한다.

ABSTRACT

In 1978, Robert Kibler at the National Security Agency in Fort Meade, Maryland published a description of all noncyclic difference sets with $k < 20$. Kibler's decision to stop his extensive computer search for difference sets at block size 19 was motivated partly by the difficult barrier at $k=20$, the difference sets with parameters $(96,20,4)$. In this paper, we announce the completion of the search for all $(96,20,4)$ difference sets, relying on the computer software GAP and the work of numerous authors over the last few decades. The difference sets and the symmetric designs they create are summarized and links are provided to webpages which explicitly list the difference sets. In addition, we use these $(96,20,4)$ difference sets to construct all $(96, 20, 4, 4)$ and $(96, 19, 2, 4)$ partial difference sets and briefly look at the corresponding strongly regular graphs.

연구 동기 및 목표

• 순서 96인 군들 내에서 (96,20,4) 차이 집합을 모두 세는 것을 목적으로 하며, k=20에서 오랫동안 열려 있던 문제를 해결한다.
• 특히 이전에 해결되지 않은 19개 군에서 서로 동치가 아닌 차이 집합의 전체 집합과 그에 대응하는 대칭 2-설계를 규명한다.
• 완전한 (96,20,4) 차이 집합 집합에서부터 (96,20,4,4)와 (96,19,2,4) 부분 차이 집합을 모두 구성한다.
• 이러한 부분 차이 집합에서 유도된 강한 정규 그래프를 동형성 기준으로 분류한다.
• 대칭 설계 중에서 진정으로 비아벨인 것, 즉 아벨 군의 날카로운 전이 자동화군을 갖지 못하는 것을 식별한다.

제안 방법

• 96개의 순서를 가진 군 중에서 (96,20,4) 차이 집합을 포함하는 것으로 알려진 94개의 군에 대해 GAP 소프트웨어 패키지를 활용하여 체계적으로 검색을 수행하였으며, 특히 이전에 해결되지 않은 19개 군에 중점을 두었다.
• 특히 아벨 및 비아벨 케이스에 대해, McFarland 및 Arasu–Sehgal 구성 방법의 이론적 결과를 적용하여 검색를 안내하고 검증하였다.
• 군 링 방정식, 특히 $\hat{D}\hat{D}^{(-1)} = (k-\lambda)1_G + \lambda\hat{G}$를 사용하여 차이 집합 성질을 계산적으로 검증하였다.
• 군의 자동형사상과 내부 자동형사상을 활용한 동치성 감소 기법을 적용하여 동일한 집합을 중복으로 세는 것을 방지하였다.
• 특히 (96,20,4,4)와 (96,19,2,4) 매개변수에 대해 알려진 조합적 사상들을 활용하여, 차이 집합에서 부분 차이 집합을 구성하였다.
• 그래프 동형성 도구를 사용하여 부분 차이 집합에서 강한 정규 그래프를 생성하고 분류하였으며, 서로 동형이 아닌 대표를 확보하였다.

실험 결과

연구 질문

• RQ1 순서 96인 모든 군에서 서로 동치가 아닌 (96,20,4) 차이 집합은 총 몇 개인가?
• RQ2 이 차이 집합들로 생성된 서로 동형이 아닌 대칭 (96,20,4) 2-설계는 총 몇 개인가? 그 중 진정으로 비아벨인 것은 몇 개인가?
• RQ3 (96,20,4) 차이 집합들에서 유도된 (96,20,4,4)와 (96,19,2,4) 부분 차이 집합의 완전한 집합은 무엇인가?
• RQ4 이러한 구성에서 유도된 (96,20,4,4) 및 (96,19,2,4) 매개변수를 가진 서로 동형이 아닌 강한 정규 그래프는 총 몇 개인가?
• RQ5 어느 대칭 설계도 아벨 군에서 유도될 수 없으며, 이는 그들의 자동화군 구조에 대해 어떤 의미를 갖는가?

주요 결과

• 논문은 (96,20,4) 차이 집합의 분류를 완성하였으며, 순서 96인 94개의 군 전반에서 총 2,627개의 서로 동치가 아닌 차이 집합을 식별하였다.
• 이 차이 집합들은 583개의 서로 동형이 아닌 대칭 (96,20,4) 2-설계를 생성하였으며, 이 중 563개는 진정으로 비아벨이어서 아벨 군의 작용으로는 실현될 수 없다.
• 저자들은 (96,20,4) 차이 집합의 완전한 집합에서부터 58개의 서로 동형이 아닌 (96,20,4,4) 부분 차이 집합과 12개의 서로 동형이 아닌 (96,19,2,4) 부분 차이 집합을 모두 구성하였다.
• 모든 (96,20,4,4) 매개변수를 가진 58개의 강한 정규 그래프와 (96,19,2,4) 매개변수를 가진 12개의 강한 정규 그래프가 모두 비아벨 군에서 유래된 것으로 확인되었다.
• 이전에 해결되지 않은 19개 군에서 637개의 차이 집합이 기여하였으며, 이는 전체 분류 완성과 총 2,627개의 서로 동치가 아닌 차이 집합 수를 확인하는 데 핵심적이었다.
• 137개의 차이 집합을 포함하지 않는 군에는 (96,20,4) 차이 집합이 존재하지 않으며, 아벨 군에서 유도된 20개의 설계는 총 583개의 대칭 설계 중 소수의 부분집합임을 확인하였다.