[논문 리뷰] Factoring Ore polynomials over $\mathbb{F}_q(t)$ is difficult

José Gómez-Torrecillas, F. J. Lobillo외 1명|arXiv (Cornell University)|2015. 05. 27.

Coding theory and cryptography참고 문헌 3인용 수 6

한 줄 요약

이 논문은 [1]에서 널리 인용된 알고리즘에 심각한 결함이 존재함을 보여주며, 이는 특히 임의의 자동형사상의 특성다항식이 기약일 경우 및 고유환원 기반 인수분해를 다룰 때 발생하는 핵심적인 빈자리 때문입니다. 저자들은 불변부분체 계산을 정밀화하여 한 가지 결함을 수정하고, 고유환원이 나눗셈환 위의 행렬환인 경우 알고리즘이 인수분해를 탐지하지 못함을 보여주며, 이로 인해 기약으로 잘못 판단되는 다항식이 실제로는 인수분해 가능한 경우가 있음을 밝혀냅니다.

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)$ 위에서 오어 다항식 인수분해 알고리즘의 근본적 결함을 규명하고 수정하는 것.
• 다항식의 고유환원이 나눗셈환 위의 행렬환인 경우 알고리즘이 적절한 인수분해를 수행하지 못하는 이유를 분석하는 것.
• 실제로는 인수분해 가능한 다항식이지만 알고리즘이 기약으로 잘못 인증하는 현상을 입증하는 것. 특히 서로소이고 유사한 기약 인수들의 최소공통왼쪽배수인 경우에 초점을 맞춤.
• 고유환원 방법의 한계에도 불구하고 부분 인수분해를 여전히 계산할 수 있는 조건을 명확히 하는 것.

제안 방법

• 자동형사상 $\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$가 알고리즘이 기약으로 주장하는 바와 달리 인수분해 가능할 수 있음을 입증함.
• 예를 들어, $\mathbb{F}_2(t)[x;\sigma]$에서 $f = (x+t)(x+t+1)$이며, $\sigma(t) = t+1$인 경우, 알고리즘이 이 다항식을 기약으로 잘못 판단함을 보여주는 반례를 제시함.
• 부분 인수분해는 중심 bound $f^*$를 계산하고 이를 중심에서 인수분해함으로써 고유환원 계산의 문제를 피하는 방식으로 여전히 가능하다고 제안함.

실험 결과

연구 질문

• RQ1 왜 [1]의 알고리즘이 $\mathbb{F}_q(t)$ 위에서 일부 기약으로 보이지만 실제로는 인수분해 가능한 오어 다항식을 인수분해하지 못하는가?
• RQ2 고유환원 $\mathcal{E}(Rf)$는 다항식 $f$의 인수분해 가능성 판단에 어떤 역할을 하는가? $R = \mathbb{F}_q(t)[x;\sigma,\delta]$에서.
• RQ3 고유환원이 영원소를 포함하는 조건은 무엇이며, 언제 나눗셈환 위의 행렬환과 동형이 되는가?
• RQ4 $\tau$와 $\overline{\sigma}$를 포함하는 잘못된 감소 단계는 어떻게 수정되어야 하며, 이로 인해 $\mathbb{F}_q(t)$ 위에서의 타당성이 유지되는가?
• RQ5 전체 고유환원 방법이 실패할 경우에도 부분 인수분해는 여전히 계산 가능한가?

주요 결과

• 알고리즘 [1]은 고유환원 $\mathcal{E}(Rf)$가 나눗셈환 위의 행렬환(예: $M_2(D)$)과 동형일 경우 오류를 일으키며, 이로 인해 기약으로 잘못 인증함.
• 자동형사상 $\sigma$가 기약 특성다항식을 가질 경우 감소 단계에 심각한 오류가 존재함: 결과적으로 생성된 자동형사상 $\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$는 여전히 계산 가능함. 다만 이 방법으로는 추가 인수분해가 불가능함.
• 타당한 대안으로 중심 bound $f^*$를 계산하고 중심에서 인수분해함으로써 문제를 야기하는 고유환원 계산을 피할 수 있음을 입증함.