[論文レビュー] Fifty shades of black

Alexandre Borovik, Yalçınkaya, Şükrü|arXiv (Cornell University)|Aug 12, 2013

Finite Group Theory Research参考文献 29被引用数 8

ひとこと要約

本稿は、奇数の特性を持つ非ねじれたリー型のブラックボックス群に対して、Frobenius写像を体系的に構築する手法を提示し、$\mathrm{PGL}_2(q)$ および $\mathrm{PSL}_2(q)$（$q \equiv 1 \pmod{4}$）に同型なブラックボックス群の識別を可能にする。主な貢献は、特性の二乗時間および $\log q$ の多項式時間で実行されるモンテカルロアルゴリズムであり、$\mathbb{K} \cong \mathbb{F}_q$ であるブラックボックス体 $\mathbb{K}$ と、$\mathrm{PSL}_2(\mathbb{K})$ から入力群への同型写像を構築する。

ABSTRACT

The paper proposes a new and systematic approach to the so-called black box group methods in computational group theory. As the starting point of our programme, we construct Frobenius maps on black box groups of untwisted Lie type in odd characteristic and then apply them to black box groups X encrypting groups (P)SL(2,q) in small odd characteristics. We propose an algorithm constructing a black box field K isomorphic to F_q, and an isomorphism from (P)SL(2,K) to X. The algorithm runs in time quadratic in the characteristic of the underlying field and polynomial in log q. Due to the nature of our work we also have to discuss a few methodological issues of the black box group theory.

研究の動機と目的

• ブラックボックス群の体系的構造的分析フレームワークを構築すること、特に奇数の特性における非ねじれたチェバレー群に焦点を当てる。
• ブラックボックス群理論における方法論的課題、特にFrobenius写像と体同型写像の構築に取り組む。
• グローバル指数と適切な群の元へのアクセスを仮定して、ブラックボックス表現からの $\mathrm{PSL}_2(q)$ 群の構成的同定を可能にする。
• モデル理論的洞察と計算複雑性の考察を統合することで、ブラックボックス群理論の理論的基盤を拡張する。
• 特性 2 における他のチェバレー群の認識可能性を、対合とルート部分群構造を用いて探求する。

提案手法

• axioms BB1–BB4 とグローバル指数の仮定を用いて、奇数の特性における非ねじれたリー型ブラックボックス群にFrobenius写像を構築する。
• Frobenius写像を応用して、$q \equiv 1 \pmod{4}$ の場合の $\mathrm{PSL}_2(q)$ の構造を回復し、ブラックボックス体 $\mathbb{K} \cong \mathbb{F}_q$ の存在を活用する。
• モンテカルロアルゴリズムを用いて、$\mathbb{U}$ を $\mathbb{F}_2$ 上のブラックボックス体とするとき、$\mathrm{SL}_2(\mathbb{U})$ から $X$ への同型写像 $\Psi: \mathrm{SL}_2(\mathbb{U}) \to X$ を構築する。
• 正規化子が単位元部分群に作用する方法を用いて、体の加法的および乗法的構造を解釈し、体の再構築を可能にする。
• 特性 2 の体上の $\mathrm{SL}_2$ における恒等式を応用して行列を分解し、$h(\mathbf{t})$、$u(\mathbf{t})$、$v(\mathbf{t})$ の積を用いて同型写像 $\Psi$ を定義する。
• 対合とTI部分群（単位元の長いルート部分群）の存在に依存して、正規化子を回復し、群作用によって体構造を誘導する。

実験結果

リサーチクエスチョン

• RQ1 奇数の特性における非ねじれたリー型ブラックボックス群に、Frobenius写像を体系的に構築することは可能か？
• RQ2 ブラックボックス群 $X$ が $\mathrm{PSL}_2(q)$ を暗号化している場合、体 $\mathbb{F}_q$ と同型写像 $\mathrm{PSL}_2(\mathbb{F}_q) \to X$ を回復することは可能か？
• RQ3 一意な暗号化がない状況において、群論的およびモデル理論的原則を用いてブラックボックス群の構造をどのように再構築できるか？
• RQ4 特性 2 におけるブラックボックスチェバレー群の識別において、対合とルート部分群は果たす役割は何か？
• RQ5 $\mathrm{SL}_2(2^n)$ に用いられたフレームワークを、$\mathrm{G}_2(2^n)$ のような他の特性 2 の群へ一般化することは可能か？

主な発見

• 特性 $p$ に対して二乗時間、$\log q$ に対して多項式時間で実行される構成的同型写像回復アルゴリズムが開発され、$q \equiv 1 \pmod{4}$ の $\mathrm{PSL}_2(q)$ に対して効率的であることが確立された。
• 入力群 $X$ が $\mathrm{PSL}_2(q)$ を暗号化している場合、$X$ から $\mathbb{K} \cong \mathbb{F}_q$ であるブラックボックス体 $\mathbb{K}$ を構築し、同型写像 $\mathrm{PSL}_2(\mathbb{K}) \to X$ を可能にする。
• 群の演算をブラックボックス要素に対して用いて、$\mathbb{U}$ を $\mathbb{F}_2$ 上のブラックボックス体とするとき、明示的な同型写像 $\Psi: \mathrm{SL}_2(\mathbb{U}) \to X$ が定義される。
• グローバル指数と標準的な対合の存在に依存し、群論的恒等式を用いて単位元部分群とトーラス部分群を回復する。
• 本手法は他の特性 2 の群へ一般化可能であり、定理 5.2 は、単位元の長いルート部分群 $U$ から、$N_X(U)$ のブラックボックスと体 $\mathbb{F}_{2^n}$ を多項式時間で構築できることを示している。
• モデル理論的類似性、特に $I\Delta_0 + \Omega_1$ に起因する類似性により、計算群論と有界算術の間の基礎的関係が示唆される。