[논문 리뷰] Black box groups isomorphic to ${ m PGL}(2,2^e)$

William M. Kantor, Martin Kassabov|arXiv (Cornell University)|2013. 09. 15.

Finite Group Theory Research참고 문헌 6인용 수 3

한 줄 요약

이 논문은 ${\rm PGL}(2,2^e)$와 동형인 블랙박스 군과 추상 군 ${\rm PGL}(2,2^e)$ 사이의 명시적 동형사상(이sovorphism)을 구성하는 결정론적 다항식 시간 알고리즘을 제시한다. 이 알고리즘은 치환 공식과 체 복원 기법을 활용하며, 주요 기여는 $O(\mu e^3 \log e)$ 시간 내에 작동하는 블랙박스 인식 알고리즘을 개발한 것이다. 또한 군 원소에 대한 효율적인 직선 프로그램(SLP) 생성도 가능하다.

ABSTRACT

A deterministic polynomial-time algorithm constructs an isomorphism between ${ m PGL}(2,2^e)$ and a black box group to which it is isomorphic.

연구 동기 및 목표

• ${\rm PGL}(2,2^e)$와 동형인 블랙박스 군을 인식하기 위한 결정론적 다항식 시간 알고리즘을 개발하는 것.
• 그러한 블랙박스 군과 추상 군 ${\rm PGL}(2,2^e)$ 사이에 효과적인 동형사상을 구성하는 것.
• ${\rm PGL}(2,2^e)$와 동형인 블랙박스 군에서 결정론적 치환 원소 생성이 부족한 장기적인 과제를 해결하는 것.
• 새로운 생성자를 사용하여 임의의 군 원소에 대한 직선 프로그램(SLP)을 효율적으로 계산할 수 있도록 하는 것.

제안 방법

• ${\rm PGL}(2,2^e)$와 동형인 블랙박스 군에서 결정론적으로 치환 원소를 생성하는 새로운 치환 공식(정리 4)을 활용한다.
• 이 치환 원소를 이용해 보렐 부분군을 구성하고, 블랙박스 군 내부에 $\mathfrak{F} \cong \mathbb{F}_{2^e}$인 체를 복원한다.
• 정리 9를 적용하여 군 연산에서 유도된 체 원소의 제곱근을 포함한 유리식을 사용해 행렬 원소를 복원한다.
• 직선 프로그램(SLP)을 사용해 군 원소의 이미지 및 원상의 계산을 효율적으로 수행한다.
• 최소 다항식 계산을 통해 추상 군 표현을 위한 체 $\mathbb{F}_{2^e} = \mathbb{F}_2[s]$를 정의한다.
• 군의 이론적 성질, 예를 들어 공액 작용과 추적 항등식을 활용해 군 원소에서 행렬 원소를 재구성한다.

실험 결과

연구 질문

• RQ1 블랙박스 군과 ${\rm PGL}(2,2^e)$ 사이의 결정론적 다항식 시간 알고리즘으로 동형사상을 구성할 수 있는가?
• RQ2 ${\rm PGL}(2,2^e)$와 동형인 블랙박스 군에서 이산 로그나 확률적 방법에 의존하지 않고 치환 원소를 생성할 수 있는가?
• RQ3 블랙박스 내의 군 연산을 통해 체 $\mathbb{F}_{2^e}$를 효과적으로 복원할 수 있는가?
• RQ4 이러한 군 내에서 임의의 원소에 대한 직선 프로그램(SLP)을 생성하는 데 필요한 계산 복잡도는 무엇인가?
• RQ5 군 연산과 체 산술만을 사용하여 행렬 원소를 군 원소에서 재구성할 수 있는가?

주요 결과

• 알고리즘은 $O(\mu e^3 \log e)$ 시간 내에 동형사상을 구성하며, 여기서 $\mu$는 군 연산의 시간이다.
• 블랙박스 군과 추상 ${\rm PGL}(2,2^e)$에 대해 3개의 원소로 구성된 생성집합이 생성되며, 이들 사이에 효과적인 동형사상이 존재한다.
• 양방향으로, 즉 ${\rm PGL}(2,2^e)$에서 $G$로, 그리고 그 반대로, 길이 $O(e)$인 직선 프로그램(SLP)을 $O(\mu e^3)$ 시간 내에 계산할 수 있다.
• 체 $\mathbb{F}_{2^e}$는 블랙박스 군 내부에서 군 연산과 치환 기반 구성만을 사용해 완전히 복원된다.
• 임의의 군 원소의 행렬 원소는 특정 군 곱에서 유도된 체 원소의 제곱근을 포함한 유리식을 사용해 재구성할 수 있다.
• 알고리즘은 이산 로그 오рак루를 사용하지 않으며, 군 연산과 체 산술만을 기반으로 하므로 순수한 블랙박스 환경에서도 적용 가능하다.