[논문 리뷰] Breaking the n^(log n) Barrier for Solvable-Group Isomorphism

David J. Rosenbaum|arXiv (Cornell University)|2012. 05. 03.

Cryptography and Data Security참고 문헌 41인용 수 6

한 줄 요약

이 논문은 구성급수 이소모르피즘으로 문제를 축소하고 저차수 그래프 이소모르피즘을 활용하여 오랫동안 유지되어 온 $n^{\log n}$ 장벽을 돌파한다. $p$-군에 대해 $n^{(1/2)\log_p n + O(1)}$ 결정적 알고리즘을 제시하고, 보편적인 가군군에 대해 $n^{(1/2)\log n + O(\log n / \log \log n)}$로 일반화한다. 랜덤화 및 양자 알고리즘을 사용하여 각각 $n^{1/4}$ 및 $n^{1/6}$으로 향상된 성능을 달성한다.

ABSTRACT

We consider the group isomorphism problem: given two finite groups G and H specified by their multiplication tables, decide if G and H are isomorphic. The n^(log n) barrier for group isomorphism has withstood all attacks --- even for the special cases of p-groups and solvable groups --- ever since the n^(log n + O(1)) generator-enumeration algorithm. In this work, we present the first significant improvement over n^(log n) by showing that group isomorphism is n^((1 / 2) log_p n + O(1)) Turing reducible to composition-series isomorphism where p is the smallest prime dividing the order of the group. Combining our reduction with an n^(O(p / log p)) algorithm for p-group composition-series isomorphism, we obtain an n^((1 / 2) log n + O(1)) algorithm for p-group isomorphism. We then generalize our techniques from p-groups using Sylow bases to derive an n^((1 / 2) log n + O(log n / log log n)) algorithm for solvable-group isomorphism. Finally, we relate group isomorphism to the collision problem which allows us replace the 1 / 2 in the exponents with 1 / 4 using randomized algorithms and 1 / 6 using quantum algorithms.

연구 동기 및 목표

• 가군군 및 $p$-군에 대해 오랫동안 유지되어 온 $n^{\log n}$ 시간 장벽을 극복하기 위해.
• 더 빠른 알고리즘을 가능하게 하는 구조적 군 이소모르피즘에서 구성급수 이소모르피즘으로의 새로운 축소를 개발하기 위해.
• 시로우 기저와 구성급수를 사용하여 $p$-군 기법을 일반 가군군으로 일반화하기 위해.
• 랜덤화 및 양자 알고리즘을 사용하여 런타임을 향상시키기 위해 충돌 문제 축소를 통합하기 위해.

제안 방법

• 정규부분군과 몫군의 구조를 유지하면서 군 이소모르피즘을 구성급수 이소모르피즘으로 투링 축소한다.
• Wagner의 프레임워크를 사용하여 구성급수 이소모르피즘을 저차수 그래프 이소모르피즘으로 축소하고, 유한 차수 그래프에 대한 알려진 알고리즘을 활용한다.
• 시로우 기저 이론을 적용하여 군을 그들의 시로우 부분군으로 분해함으로써 $p$-군에서 일반 가군군으로 결과를 확장한다.
• 구조적 제약 조건을 갖춘 생성자 열거를 사용하여 이소모르피즘 테스트 중 검색 공간을 제한한다.
• 랜덤화 및 양자 환경에서 개선된 지수를 달성하기 위해 충돌 문제로의 새로운 축소를 도입한다.
• $p$-군 이소모르피즘과 노름군 이소모르피즘이 동치임을 이용하여 축소를 단순화한다.

실험 결과

연구 질문

• RQ1 가군군에 대해 구조적 군 이론을 사용하여 $n^{\log n}$ 시간 한계를 돌파할 수 있는가?
• RQ2 이소모르피즘 불변성을 유지하면서 군 이소모르피즘을 구성급수 이소모르피즘으로 축소할 수 있는가?
• RQ3 랜덤화 또는 양자 알고리즘을 사용하여 시간 복잡도의 지수를 $1/2$ 이하로 낮출 수 있는가?
• RQ4 시로우 기저 이론을 사용하여 $p$-군 이소모르피즘 알고리즘의 기법을 가군군으로 일반화할 수 있는가?
• RQ5 충돌 문제를 활용하여 고전적 축소를 초월해 군 이소모르피즘의 시간 복잡도를 추가로 향상시킬 수 있는가?

주요 결과

• 논문은 구성급수 이소모르피즘으로의 축소와 후자의 $n^{O(p)}$ 알고리즘을 활용하여 $p$-군 이소모르피즘에 대해 $n^{(1/2)\log_p n + O(1)}$ 결정적 시간 알고리즘을 달성한다.
• 일반적인 가군군에 대해선 시로우 기저를 사용하여 $p$-군 기법을 확장함으로써 $n^{(1/2)\log n + O(\log n / \log \log n)}$ 시간에 알고리즘이 작동한다.
• 랜덤화 알고리즘은 지수를 $1/4$로 낮춰 충돌 문제를 활용하여 $n^{(1/4)\log n + O(1)}$ 시간을 달성한다.
• 양자 알고리즘은 충돌 문제의 양자 속도 향상 덕분에 지수를 $1/6$으로 더 낮춰 $n^{(1/6)\log n + O(1)}$ 시간을 달성한다.
• 군 이소모르피즘에서 구성급수 이소모르피즘으로의 축소는 투링 축소 가능하며, 정확성과 유지되고 모듈러 알고리즘 설계를 가능하게 한다.
• 결과적으로 가군군 이소모르피즘은 $n^{(1/2)\log n + O(\log n / \log \log n)}$ 시간 내에 해결 가능하며, 이는 이전의 $n^{\log n}$ 장벽을 크게 초월한다.