새로운 스테이너 시스템과 유니털 발견 삼백육십구 존재 증명

초록

이 논문은 블록 크기 k ≥ 7인 스테이너 시스템 S(2,k,v)의 새로운 사례들을 제시한다. 특히 S(2,9,369)의 존재를 증명하고, 차수 6인 유니털(즉 S(2,7,217))을 포함한 여러 새로운 설계들을 구성한다. 저자는 큰 자동군을 가진 기존 설계에서 부분군을 선택해 궤도 분할을 이용하는 방법으로 새로운 설계를 찾았으며, 두 개의 무한 설계 시리즈에 대한 추측도 제시한다.

상세 분석

논문은 먼저 k ≤ 5인 경우는 존재론이 완전히 해결됐지만, k ≥ 6에서는 아직도 많은 경우가 미해결임을 강조한다. 저자는 기존에 자동군이 큰 스테이너 시스템을 출발점으로 삼아, 그 자동군의 적절한 부분군 G를 선택하고 G가 작용하는 궤도(orbit) 구조를 분석한다. 구체적으로, S(2,7,175) 설계의 자동군 |Aut|=4200에서 G≅(ℤ₅×ℤ₅)⋊ℤ₆을 택해 75,75,25 크기의 세 궤도로 분할한 뒤, 각 궤도 위에서 기본 블록 B₁,…,Bₘ을 찾아 “g·Bᵢ∩Bᵢ≥2 ⇒ g·Bᵢ=Bᵢ” 조건을 만족하도록 구성한다. 이 조건은 블록이 두 점을 공유하면 전체 블록이 동일함을 보장해 스테이너 시스템의 정의를 만족하게 만든다.

이러한 궤도 기반 접근법은 궤도 수가 늘어날수록 가능한 조합이 급증하지만, 계산 복잡도도 크게 증가한다. 저자는 GAP의 SmallGroup 데이터베이스를 활용해 자동군 후보를 체계적으로 탐색하고, 각 후보에 대해 궤도 구조를 기록한다. 표에 제시된 예시들—예를 들어 (168,42)≅PSL(3,2)가 168+1×7 형태로 작용하거나 (504,127)≅C₃×(Q₈:(C₇:C₃))가 168+7 형태로 작용—은 다양한 궤도 분할이 실제 설계 생성에 어떻게 활용될 수 있는지를 보여준다.

특히 S(2,9,369)의 존재 증명은 중요한 성과이다. 기존 문헌에서는 (v=369, k=9) 케이스가 미해결로 남아 있었으며, 이는 t=5(즉 v≡k·t+1) 형태의 일반적인 존재 조건과 맞물린다. 저자는 위의 궤도 방법을 적용해 369점 집합을 360+2×4+1 형태(즉 360점 큰 궤도와 작은 궤도 2개, 고정점 1개)로 나누고, 적절한 기본 블록을 구성해 모든 2-점 쌍이 정확히 하나의 블록에 포함되도록 만들었다. 이 설계가 존재함을 확인함으로써, 재귀적 구성(예: S(2,9,369)→S(2,9,3321))을 통해 더 큰 미해결 사례도 해결 가능함을 제시한다.

또한 저자는 두 개의 무한 설계 시리즈에 대한 추측을 제시한다. 첫 번째는 임의의 유한체 𝔽ₖ에 대해 PSL(2,𝔽ₖ)의 작용으로 |G|+k 크기의 설계 S(2,k,|G|+k)를 만들 수 있다는 내용이며, k≤9까지 검증했다. 두 번째는 SL(2,𝔽ₖ)를 이용해 S(2,k+1,k³+1) 형태의 설계(또는 유니털)를 구성할 수 있다는 주장이다. 특히 k∈{2,3,4,5,8}에 대해 실제 설계를 찾아냈으며, 이는 Hall 평면에 내재된 유니털과도 연관된다.

전체적으로 이 논문은 “큰 자동군 → 부분군 → 궤도 분할 → 기본 블록 선택”이라는 체계적인 프레임워크를 제시함으로써, 기존에 계산적으로 접근하기 어려웠던 중·대형 스테이너 시스템을 효율적으로 구축할 수 있음을 보여준다. 또한 새로운 설계들의 지문(fingerprint) 데이터를 공개함으로써, 향후 동형 여부 검증 및 추가 연구에 중요한 자료를 제공한다.