솔버블 순열군을 위한 거의 최적 확장 생성 집합

초록

이 논문은 입력으로 주어진 생성 집합 S 로 정의되는 솔버블 순열군 G ⊆ Sₙ에 대해, 다항시간 결정론적 알고리즘으로 크기 \tilde{O}(n²) (다항 로그를 포함)인 확장 생성 집합 T 를 구성한다. 구해진 T 는 Cayley 그래프 Cay(G,T) 가 λ‑스펙트럼 확장성을 갖도록 보장한다. 또한, 이 방법을 이용해 \mathbb{Z}_d^n 에 대한 ε‑바이어스 공간을 기존 O((d+n/ε²)^{11/2}) 보다 훨씬 작은 \tilde{O}(n·poly(log d))·(1/ε)^{O(1)} 크기로 명시적으로 구성한다.

상세 분석

본 연구는 솔버블(permutation)군 G = ⟨S⟩ ⊆ Sₙ에 대해 “확장 생성 집합(expanding generating set)”을 효율적으로 찾는 문제에 새로운 해법을 제시한다. 기존에는 일반 군에 대해 다항시간 내에 작은 크기의 확장 집합을 찾는 것이 알려지지 않았으며, 특히 솔버블 군은 구조가 복잡해 직접적인 알골리즘 설계가 어려웠다. 저자들은 G의 유도 사슬(derived series)을 이용해 G를 일련의 아벨리안 군들의 확장으로 분해한다. 구체적으로, G의 정상 사슬 N₀ ⊲ N₁ ⊲ … ⊲ N_k = {e}를 구성하고, 각 인덱스 i에 대해 N_i/N_{i+1}는 아벨리안 군이 된다. 이때, 각 아벨리안 인용군에 대해 잘 알려진 작은‑바이어스 집합(ε‑bias set)과 라플라시안 스펙트럼 갭을 이용해 확장 생성 집합을 만든다. 핵심은 두 가지 기술적 난관을 극복한 것이다. 첫째, 아벨리안 층 사이의 상호작용을 조절해 전체 Cayley 그래프가 스펙트럼적으로 좋은 확장을 유지하도록 하는 “직접곱(product) 보존” 정리를 증명한다. 둘째, 각 층에서 얻은 작은 집합을 효율적으로 결합해 전체 군 G에 대한 집합 T 를 구성하는데, 이때 사용되는 결합 연산은 Schreier‑생성자와 코사인 대표를 활용한 “교차‑확장” 절차이다. 결과적으로 T 의 크기는 \tilde{O}(n²)·(1/λ)^{O(1)} 로, n 은 입력 군이 작용하는 도메인의 크기이며, λ 은 목표 스펙트럼 갭이다. 또한, 이 알고리즘은 완전 결정론적이며, 입력으로 주어진 생성 집합 S 의 크기와 n 에 대해 다항시간에 실행된다. 부수적인 결과로, 아벨리안 군 \mathbb{Z}_d^n 에 대한 ε‑바이어스 공간을 기존보다 훨씬 작은 \tilde{O}(n·poly(log d))·(1/ε)^{O(1)} 로 구성한다. 이는 AMN98 논문의 (d + n/ε²)^{11/2} 크기와 비교해 차원이 크게 개선된 것이다. 이러한 바이어스 공간은 난수 추출, 오류 정정, 그리고 복잡도 이론에서의 derandomization 등에 직접적인 응용이 가능하다. 전체적으로, 논문은 군 이론, 스펙트럴 그래프 이론, 그리고 알고리즘 설계라는 세 분야를 융합해 솔버블 순열군에 대한 확장 생성 집합 문제를 근본적으로 해결한 점이 가장 큰 공헌이라 할 수 있다.