[論文レビュー] Factoring Ore polynomials over $\mathbb{F}_q(t)$ is difficult

José Gómez-Torrecillas, F. J. Lobillo+1 more|arXiv (Cornell University)|May 27, 2015

Coding theory and cryptography参考文献 3被引用数 6

ひとこと要約

この論文は、[1]で広く引用されているアルゴリズムにおける深刻な欠陥により、有理関数体 $\mathbb{F}_q(t)$ 上のOre多項式の因数分解問題が未解決のまま残っていることを示している。特に、既約な特徴多項式を持つ自己同型の取り扱いや、固有環に基づく因数分解において顕著なギャップが存在する。著者らは、不変部分体の計算を精緻化することでその一つのギャップを是正し、固有環が除法環上の行列環である場合、アルゴリズムが因数分解を検出できないこと、したがって可約な多項式に対して誤った既約性の主張を行うことを示している。

ABSTRACT

We show that the effective factorization of Ore polynomials over $\mathbb{F}_q(t)$ is still an open problem. This is so because the known algorithm in [1] presents two gaps, and therefore it does not cover all the examples. We amend one of the gaps, and we discuss what kind of partial factorizations can be then computed by using [1].

研究の動機と目的

• 文献[1]で提示された、$\mathbb{F}_q(t)$ 上のOre多項式因数分解のアルゴリズムにおける根本的欠陥を特定・是正すること。
• 多項式の固有環が除法環上の行列環である場合に、アルゴリズムが適切な因数分解を計算できない理由を分析すること。
• 固有環が除法環上の行列環に同型である場合、実際に可約であるにもかかわらず、アルゴリズムが誤って既約性を証明してしまうことの実例を提示すること。特に、互いに素で類似する既約因子の最小左公倍数として表される多項式に対して。
• 固有環法の限界にもかかわらず、部分的因数分解が得られる条件を明確にすること。

提案手法

• 著者らは、自己同型 $\sigma$ が $\mathbb{F}_q$ 上で既約な特徴多項式を持つ場合、[1]の還元ステップに欠陥が生じることを特定。この場合、$\mathbb{F}_{q^2}(t)$ への拡張が不正である。
• 変換 $\tau$ の逆を用いて適切に同型写像を構成することで還元を是正し、新しい自己同型 $\overline{\sigma}$ が $\mathbb{F}_{q^2}(t)$ 上で正しく定義されることを保証する。
• 多項式 $f$ の固有環 $\mathcal{E}(Rf)$ を分析し、それが行列環（例：$M_2(D)$）に同型である場合、アルゴリズムがゼロ因子を検出できないことを示す。
• 固有環を $R/Rf$ の自己準同型環としての構造を用いて、$f$ がアルゴリズムが既約と主張するにもかかわらず実際に可約である可能性があることを示す。
• 著者らは、$\sigma(t) = t+1$ である $\mathbb{F}_2(t)[x;\sigma]$ における $f = (x+t)(x+t+1)$ の反例を提示。この多項式は、[1]のアルゴリズムによって誤って既約と判定されている。
• 部分的因数分解は、中心的境界 $f^*$ を計算し、それを中心で因数分解することで得られると提案。これにより、問題のある固有環計算を回避できる。

実験結果

リサーチクエスチョン

• RQ1 文献[1]のアルゴリズムが、なぜ $\mathbb{F}_q(t)$ 上の特定の可約Ore多項式を因数分解できないのか。
• RQ2 多項式 $f$ の固有環 $\mathcal{E}(Rf)$ が、$R = \mathbb{F}_q(t)[x;\sigma,\delta]$ における $f$ の可約性を決定する上で果たす役割は何か。
• RQ3 多項式の固有環にゼロ因子が存在するのはどのような場合か。また、それが除法環上の行列環に同型になるのはどのような条件か。
• RQ4 変換 $\tau$ と $\overline{\sigma}$ を含む還元ステップに起因する誤りを、$\mathbb{F}_q(t)$ 上で有効に保つように是正するにはどうすればよいか。
• RQ5 完全な固有環法が失敗した場合でも、部分的因数分解を計算できる条件はあるか。

主な発見

• 文献[1]のアルゴリズムは、固有環 $\mathcal{E}(Rf)$ が除法環上の行列環（例：$M_2(D)$）に同型である場合に、Ore多項式を因数分解できず、誤った既約性の証明を行う。
• 自己同型 $\sigma$ が $\mathbb{F}_q$ 上で既約な特徴多項式を持つ場合、還元ステップに深刻な誤りが存在する：得られる自己同型 $\overline{\sigma}$ は $\mathbb{F}_q(t)$ 上で定義されていないため、還元が無効である。
• 本論文は、具体的な反例を提示する：$\mathbb{F}_2(t)[x;\sigma]$ における $f = x^2 + t^2 + t$ で、$\sigma(t) = t+1$ である。この多項式は $(x+t)(x+t+1)$ に因数分解可能であるが、[1]のアルゴリズムは誤って既約と判定している。
• アルゴリズムが失敗するのは、$f$ が二つの互いに素で類似する既約多項式の最小左公倍数である場合に限る。この場合、固有環はゼロ因子の検出ができない行列環となり、結果として誤った既約性判定が生じる。
• アルゴリズムの失敗にもかかわらず、各 $\mathcal{E}(Rq_i)$ が単純な有限次元代数であるような部分的因数分解 $f = q_1 \cdots q_t$ を依然として計算可能である。ただし、この方法ではさらなる因数分解は不可能である。
• 著者らは、有効な代替法として、中心的境界 $f^*$ を計算し、それを中心で因数分解することで、問題のある固有環計算を回避できることを示している。