[논문 리뷰] Steinberg presentations of black box classical groups in small characteristics

Alexandre Borovik, Şükrü Yalçınkaya|arXiv (Cornell University)|2013. 02. 13.

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

한 줄 요약

이 논문은 소수 특성 p가 작은 경우, 블랙박스 유한체 위의 리 유형 고전군에 대해 스타인버그 생성자를 구성하는 새로운 몬테카를로 알고리즘을 제시한다. 이 알고리즘은 log q에 대해 다항식 시간 복잡도를 가지며, p에 대해 제곱 시간 복잡도를 가지며, 이는 이전의 랜덤 검색 방법에 비해 크게 향상된 성능을 보인다. 이 방법은 PSL_n(q) 및 q ≡ 1 mod 4 조건을 만족하는 유한체 위의 고전군에 대한 효율적인 식별을 가능하게 한다.

ABSTRACT

The main component of (constructive) recognition algorithms for black box groups of Lie type in computational group theory is the construction of unipotent elements. In the existing algorithms unipotent elements are found by random search and therefore the running time of these algorithms is polynomial in the underlying field size $q$ which makes them unfeasible for most practical applications \cite{guralnick01.169}. Meanwhile, the input size of recognition algorithms involves only $\log q$. The present paper introduces a new approach to construction of unipotent elements in which the running time of the algorithm is quadratic in characteristic $p$ of the underlying field and is polynomial in $\log q$; for small values of $p$ (which make a vast and practically important class of problems), the complexity of these algorithms is polynomial in the input size. For $\psl_2(q)$, $\qpone$, we present a Monte-Carlo algorithm which constructs a root subgroup $U$, the maximal torus $T$ normalizing $U$ and a Weyl group element $w$ which conjugates $U$ to its opposite. Moreover, we extend this result and construct Steinberg generators for the black box untwisted classical groups defined over a field of odd size $q=p^k$ where $\qpone$. Our algorithms run in time quadratic in characteristic $p$ of the underlying field and polynomial in $\log q$ and the Lie rank $n$ of the group. The case $\qmone$ requires the use of additional tools and is treated separately in our next paper \cite{suko12B}. Further, and much stronger results can be found in \cite{suko12E,suko12F}.

연구 동기 및 목표

• 유한체 크기 q에 비례하는 다항식 시간 복잡도를 가지는 기존의 랜덤 검색 기반 인식 알고리즘의 비효율성을 해결하기 위해, 유니포텐트 원소를 찾는 데에 랜덤 검색에 의존하지 않는 방법을 개발한다.
• 홀수 특성 p를 가진 유한체 위의 블랙박스 고전군에서 스타인버그 생성자를 구성하기 위한 결정론적이고 효율적인 알고리즘을 개발한다.
• 실행 시간을 log q에 대해 다항식, p에 대해 제곱 시간으로 확보하여, q가 클 경우 실용적 응용에 적합한 알고리즘을 구현한다.
• q ≡ 1 mod 4 조건을 만족하는 체 위의 비-twist 고전군(유형 A, B, C, D)으로 이 알고리즘의 적용을 확장한다.
• 후속 알고리즘의 기초를 마련하여, 전체 군의 구조와 동형 타입을 복원하는 데 기여한다.

제안 방법

• 블랙박스 부분군으로부터 커티스-티츠 정리를 활용해 확장된 커티스-티츠 구성 {K₀, K₁, ..., Kₙ}을 구성한다.
• 기존 알고리즘을 사용하여 체 크기 q를 계산하고, 각 Kᵢ 내부에 최대한 분할된 토리 T₀, T₁, ..., Tₙ를 구성한다.
• PSL₂(q)에 특화된 알고리즘을 적용하여 유니포텐트 원소 u, 최대 토리 S, 그리고 S를 반전시키는 웨일 군 원소 w를 구성한다.
• K₁ 내부의 z ∈ K₁을 이용한 확률적 공轭을 통해 토리 T와 T₁을 정렬함으로써, 군 전반에 걸쳐 일관된 루트 부분군 정렬을 가능하게 한다.
• 특히 유형 Bₙ, Cₙ, Dₙ에 대해 대칭성과 정렬 검증을 활용하여, K₀, K₂, ..., Kₙ의 모든 루트 부분군에 대해 유니포텐트 원소를 확장한다.
• 레마 3.5와 추론 7.2를 통한 루트 부분군 복원 기법을 적용하여, 모든 필요한 유니포텐트 원소가 생성되도록 보장한다.

실험 결과

연구 질문

• RQ1 유한체 크기 q에 대한 랜덤 검색에 의존하지 않고, 블랙박스 고전군에서 유니포텐트 원소를 구성할 수 있는가?
• RQ2 log q에 대해 다항식, p에 대해 제곱 시간 복잡도를 가지는 알고리즘을 설계할 수 있는가?
• RQ3 q ≡ 1 mod 4 조건을 만족하는 체 위의 비-twist 고전군에 대해 스타인버그 생성자를 체계적으로 구성할 수 있는가?
• RQ4 커티스-티츠 구성은 블랙박스 군의 효율적 구조 복원에 어떤 역할을 하는가?
• RQ5 로컬 부분군의 구조를 이용해 웨일 군 원소와 루트 부분군을 군 전반에 걸쳐 일관되게 정렬할 수 있는가?

주요 결과

• 알고리즘은 q ≡ 1 mod 4 조건을 만족하는 PSL₂(q)에 대해 log q에 대해 다항식, p에 대해 제곱 시간 복잡도로 스타인버그 생성자를 구성하며, 이는 이전 방법에 비해 상당한 향상이다.
• q ≡ 1 mod 4 조건을 만족하는 F_q 위의 유형 Aₙ, Bₙ, Cₙ, Dₙ 고전군에 대해, 알고리즘은 모든 필요한 유니포텐트 원소, 최대 토리, 웨일 군 원소를 효율적으로 구성한다.
• 실행 시간은 log q에 대해 다항식이며, 상수 c, d에 대해 O(p² · log q^c · n^d)로 표현되며, 이는 입력 크기 log q에 대해 다항식 복잡도를 가지며 큰 q에 대해서도 실용 가능하다.
• 공轭을 통해 토리를 일치시키고 교환 관계를 검증함으로써, 군 전반에 걸쳐 루트 부분군의 일관성 있는 정렬을 보장한다.
• 알고리즘은 몬테카를로 알고리즘으로, 토리를 일치시키는 핵심 단계에서 성공 확률이 최소 1/2 이상이다.
• Sp₂ₙ(q)에 사용된 방법과 유사한 방법을 응용하여, Dₙ 및 Ω₂ₙ₊₁(q) 유형의 군으로 확장하였으며, 루트 시스템의 대칭성에 따라 적절한 조정을 가했다.