[논문 리뷰] A CFSG-free analysis of Babai's quasipolynomial GI-algorithm

László Pyber|arXiv (Cornell University)|2016. 05. 26.

Coding theory and cryptography참고 문헌 6인용 수 5

한 줄 요약

이 논문은 Babai의 준다항식 그래프 이sov머피즘 알고리즘의 핵심 군론적 보조정리에 대해 CFSG(유한 단순군 분류)를 사용하지 않고 증명하는 방법을 제시한다. 이는 Wielandt의 결과를 사용하여 CFSG를 대체함으로써, Schreier의 가설에 의존하지 않고도 전이적 순열군에서 점 안정자군의 아벨 성분 인자의 수에 대해 준다항식 bound를 확립한다.

ABSTRACT

We obtain a weaker but still quasipolynomial version of Babai's famous GI-algorithm.

연구 동기 및 목표

• Babai의 준다항식 그래프 이sov머피즘 알고리즘에서 유한 단순군 분류(CFSG)에 대한 의존성을 제거하기 위해.
• Babai의 보조정리 8.5의 약화된 버전에 대해 CFSG를 사용하지 않는 증명을 제공하기 위해.
• Schreier의 가설을 사용하지 않고도 전이적 순열군에서 점 안정자군의 아벨 성분 인자의 수에 대해 준다항식 bound를 확립하기 위해.
• Wielandt의 순열군에 대한 결과가 알고리즘 분석에서 CFSG 기반의 추론을 대체하는 데 충분한지를 보여주기 위해.
• CFSG에 의존하지 않는 더 약한, 그러나 더 기본적인 군론적 기초 위에서 Babai의 알고리즘이 올바르고 완전함을 보장하기 위해.

제안 방법

• CFSG 의존성 추론을 대체하기 위해 Wielandt의 순열군 결과를 사용하여 하위 궤도와 궤도적을 분석한다.
• 성분 시리즈와 보조정렬 체인을 기반으로 한 귀납적 추론을 적용하여 아벨 성분 인자의 수를 유계로 제한한다.
• 원시 군에서 점 안정자군의 소수 나눗셈에 대한 Jordan의 보조정리를 활용하여 순열군의 구조를 통제한다.
• 군의 차수의 서로 다른 소수 나눗셈의 곱이 $ n^{ ext{polylog}(n)} $ 이하로 유계임을 이용하여 지수와 성분 인자 수를 통제한다.
• 블록 체계와 몫군을 사용하여 문제를 원시군과 전이적 군으로 축소하고, 더 낮은 차수에서의 귀납적 유계를 적용한다.
• 첫 $ m $개의 소수의 합에 대한 유계를 적용하여, 몫군의 아벨 성분 인자가 많은 것으로 가정했을 때 모순을 도출한다.

실험 결과

연구 질문

• RQ1 Babai의 준다항식 GI 알고리즘이 유한 단순군 분류(CFSG)에 의존하지 않게 만들 수 있을까? 이때 준다항식 유계는 유지되는가?
• RQ2 Wielandt의 순열군에 대한 결과가 Babai 알고리즘의 군론적 핵심에서 Schreier의 가설을 대체하는 데 충분한가?
• RQ3 CFSG 없이 전이적 순열군에서 점 안정자군의 아벨 성분 인자의 수에 대해 가능한 최선의 준다항식 유계는 무엇인가?
• RQ4 CFSG 없이 기초 군론 도구만으로 Babai의 보조정리 8.5의 더 약한 형태를 증명할 수 있는가?
• RQ5 분석에서 CFSG가 제거되면 Babai의 GI 알고리즘의 정확성이나 효율성에 영향을 미치는가?

주요 결과

• Schreier의 가설을 대체하기 위해 Wielandt의 결과를 사용하여 Babai의 보조정리 8.5의 약화된 형태에 대해 CFSG를 사용하지 않는 증명이 제시되었다.
• 차수 $ n $ 인 전이적 순열군에서 점 안정자군의 아벨 성분 인자의 수는 CFSG를 사용하지 않고도 $ ( ext{polylog } n)^2 $ 이하로 유계됨이 입증되었다.
• 홀수 차수의 원시군의 경우 지수는 $ n^{( ext{log } n)^2} $ 이하로 유계이며, 이는 Feit-Thompson 정리조차 필요로 하지 않는다.
• 귀납적 감소를 통해 원시군과 전이적 군을 대상으로 분석함으로써 $ | ext{Comp}_A(G_x)| riangleq ext{군 } G_x ext{의 아벨 성분 인자의 수} $ 가 $ O(( ext{log } n)^2) $ 임을 보였다.
• 첫 $ m $개의 소수의 합이 $ O(m^2 \log m) $ 임을 이용하여, 몫군의 성분 인자에 대해 서로 다른 소수 나눗셈이 많다고 가정했을 때 모순을 도출하였다.
• 결과적으로 CFSG가 분석에서 제거된다고 해도 Babai의 알고리즘이 여전히 준다항식임이 입증되었으며, 원래 알고리즘의 실행 시간과 일관된 유계가 유지됨을 확인하였다.