[논문 리뷰] Polynomial-time isomorphism testing of groups of most finite orders

Heiko Dietrich, James B. Wilson|arXiv (Cornell University)|2018. 06. 22.

Coding theory and cryptography참고 문헌 30인용 수 4

한 줄 요약

이 논문은 타입 이론적 모델을 사용하여 입력의 정확성을 보장함으로써, 블랙박스 유형의 아벨 및 서로소 메타순환군에 대해 다항시간 이so형성 테스트 알고리즘을 제시한다. 밀도가 높은 군 순서 집합에 대해, 이so형성 테스트가 log n에 대해 다항시간 내에 수행됨을 증명하며, 이는 이전의 지수시간 방법에 비해 크게 향상된 결과이다.

ABSTRACT

[PLEASE SEE COMMENT] We consider the isomorphism problem for finite abelian groups and finite meta-cyclic groups. We prove that for a dense set of positive integers $n$, isomorphism testing for abelian groups of black-box type of order $n$ can be done in time polynomial in $\log n$. We also prove that for a dense set of orders $n$ with given prime factors, one can test isomorphism for coprime meta-cyclic groups of black-box type of order $n$ in time polynomial in $\log n$. Prior methods for these two classes of groups have running times exponential in $\log n$.

연구 동기 및 목표

• 군 연산이 오라클을 통해 액세스되는 블랙박스 군 모델에서 유한 아벨 및 메타순환군에 대한 효율적인 이so형성 테스트 알고리즘을 개발한다.
• 이전의 지수시간 알고리즘의 한계를 극복하기 위해, 이소형성 테스트가 다항시간이 되는 밀도가 높은 군 순서 집합을 식별한다.
• 블랙박스 군 알고리즘에서 잘못된 입력의 기초적 문제를 해결하기 위해, 입력이 유효한 군임을 보장하는 타입 이론적 모델을 채택한다.
• 실제 블랙박스 군 알고리즘의 사용과 형식적 복잡도 이론을 조화시키기 위해, 타입 안정성을 통해 약속 문제에서 결정 문제로의 전환을 이룬다.

제안 방법

• 모든 입력이 알려진 군 타입의 항으로 구성되며, 이로 인해 모든 입력이 구조적으로 유효한 군임을 보장하는 타입 이론적 모델을 활용하여 잘못된 입력을 완전히 제거한다.
• 수론적 밀도 결과와 군론적 제약 조건을 적용하여, 군의 구조가 너무 제한되어 있어 효율적인 이소형성 테스트가 가능한 정수 집합 D 및 D̂를 정의한다.
• 작은 소수 거듭제곱과 큰 제곱 없는 부분을 가진 순서 n ∈ D인 군의 구조를 활용하여, 이소형성 테스트 문제를 제어된 환경에서 이산 로그 및 인수분해 문제로 환원한다.
• 메타순환 군에 대해 라스 베가스 무작위 알고리즘을 사용하며, 타입 시스템이 정확성을 보장하고 허용 가능한 순서의 밀도 및 구조가 효율성을 확보한다.
• 특정한 환경군 안에 있는 요소에 국한되지 않고 임의의 입력에 대해 작동하는 구성적 소속 테스트를 도입함으로써, 약속 문제에 의존하지 않는 절대 소속 검사를 가능하게 한다.
• 에르되시-팔피 및 카라조르고스-파울라키의 이전 결과를 활용하여, 유리한 군론적 성질을 가진 순서의 밀도를 특성화하고, 이에 기반해 효율적인 알고리즘을 구축한다.

실험 결과

연구 질문

• RQ1 밀도가 높은 군 순서 집합에 대해 아벨 블랙박스 군의 이소형성 테스트를 다항시간으로 수행할 수 있는가?
• RQ2 비아벨 군의 어떤 클래스에서 블랙박스 모델 하에서 이소형성 테스트가 다항시간 내에 가능해지는가?
• RQ3 블랙박스 군 알고리즘에서 잘못된 입력의 기초적 문제를 형식적 계산 모델 내에서 어떻게 해결할 수 있는가?
• RQ4 타입 이론은 군론적 계산에서 약속 문제를 결정 문제로 전환하는 데 어느 정도 활용될 수 있는가?
• RQ5 어떤 군 순서의 구조적 제약 조건이 일반적으로 어려운 문제임에도 불구하고 효율적인 이소형성 테스트를 가능하게 하는가?

주요 결과

• 밀도가 높은 정수 집합 D에 대해, 순서 n ∈ D인 아벨 블랙박스 군의 이소형성 테스트는 log n에 대해 다항시간 내에 수행되며, 이는 이전의 지수시간 방법에 비해 크게 향상된 결과이다.
• 집합 D는 소수 pᵢ ≤ log log n, pᵢ^eᵢ ≤ log n, 그리고 b가 제곱 없는 정수이며 모든 소인수 > log log n 인 형태의 n = p₁^e₁⋯pₖ^eₖb로 구성되며, |D ∩ {1,…,10⁸}| / 10⁸ ≈ 0.848이다.
• D의 밀도가 높은 부분집합 D̂ ⊆ D에 대해, 순서 n ∈ D̂인 서로소 메타순환 블랙박스 군의 이소형성 테스트를 다항시간 라스 베가스 알고리즘으로 수행할 수 있으며, |D̂ ∩ {1,…,10⁸}| / 10⁸ ≈ 0.721이다.
• 타입 이론적 모델은 모든 입력이 유효한 군임을 보장하여 약속 문제의 필요성을 제거하고, 증명에서 정확하고 결정적인 추론을 가능하게 한다.
• 구성적 소속 테스트는 약속 문제에 의존하지 않고도 임의의 요소에 대해 소속 여부를 검사할 수 있도록 하며, 부산물로 얻어진다.
• 결과적으로 대부분의 군 순서에 대해, 일반적으로 비결정성 튜링 기계에서 어려운 문제임에도 불구하고, 블랙박스 모델 하에서 이소형성 문제는 해결 가능해짐을 보여준다.