삼중곱성질(TPP) 삼중집합 탐색 및 검증 알고리즘 연구

초록

본 논문은 Cohn‑Umans의 군 이론 기반 행렬 곱셈 가속화 프레임워크에서 핵심적인 삼중곱성질(TPP) 삼중집합을 찾고 검증하는 두 가지 새로운 특성화와 여러 테스트 알고리즘을 제시한다. 새로운 특성을 이용해 기존 알고리즘을 GAP으로 구현·비교하고, 비정규 부분군만을 대상으로 하는 탐색 제한을 증명한다. 또한 25 이하의 모든 군과 일부 2‑군, SL·PSL 군에 대해 전수 탐색을 수행해 결과를 보고한다.

상세 분석

논문은 먼저 TPP의 정의를 복습하고, 오른쪽 몫집합 Q(X)={xy^{-1}\mid x,y\in X}를 이용한 기본 성질들을 정리한다. 여기서 Q(S)∩Q(T)={1} 등은 TPP 검증에 핵심적인 조건이다. 저자는 두 가지 새로운 특성을 제시한다. 첫 번째는 기본 TPP 삼중집합(1∈S∩T∩U)이라면 Q(T)∩Q(U)={1}와 Q(S)∩Q(T)Q(U)={1}가 동시에 만족해야 함을 보이는 정리이다. 이는 기존 정의를 “곱집합 교차가 단위원소만”이라는 형태로 변형해, 검증 시 곱 연산을 최소화할 수 있게 한다. 두 번째 특성은 부분전단(transversal) 개념을 도입해, S가 부분군일 때 T와 U가 S의 좌·우 코셋에 대한 부분전단이며, 그 지원(supp) 교집합이 {S}일 경우에만 TPP가 성립한다는 것이다. 이 특성은 특히 부분군 삼중집합을 찾을 때 탐색 공간을 크게 축소한다.

다음으로 저자는 기존에 알려진 다섯 가지 TPP 테스트 알고리즘을 GAP 코드로 구현하고, 실행 시간과 메모리 사용량을 실험적으로 비교한다. 가장 단순한 “Naïve” 방식은 Q(S)·Q(T)·Q(U) 전체 리스트를 만든 뒤 1의 등장 횟수를 세지만, 리스트 크기가 |S||T||U|에 비례해 급격히 커진다. 개선된 알고리즘들은 위의 두 새로운 특성을 활용해 조기 종료 조건을 삽입하거나, 곱셈을 단계별로 수행해 불필요한 연산을 피한다. 실험 결과, 특성 기반 알고리즘이 평균 5~10배 빠른 성능을 보이며, 특히 큰 군에서 메모리 초과 문제를 회피한다는 점이 강조된다.

또한 논문은 “정규 부분군을 포함하는 경우 β(G)≤|G|”라는 정리를 증명한다. 즉, 비정규 부분군만을 대상으로 탐색하면 비자명한 TPP 삼중집합을 찾을 가능성이 높아진다. 이를 바탕으로 탐색 공간을 “모든 비정규 부분군”으로 제한하는 관찰(Observation 3.6)을 제시한다.

마지막으로 전수 탐색 결과를 보고한다. |G|<25인 모든 군에 대해 부분집합 기반 전수 탐색을 수행해 최대 β(G) 값을 계산했고, 2‑군, SLₙ(q), PSL₂(q) 등에 대해서는 부분군 기반 전수 탐색을 수행해 β_g(G)와 β(G) 사이의 차이를 확인했다. 특히 M₁₁ 같은 대형 군에서는 관찰 2.12(Neumann 부등식) 덕분에 탐색 자체가 불필요함을 보여준다. 전체적으로 논문은 TPP 탐색·검증의 이론적 기반을 강화하고, 실용적인 구현 및 실험을 통해 기존 방법보다 효율적인 절차를 제공한다.