[논문 리뷰] Zeros and factorizations of quaternion polynomials: the algorithmic approach

Vladimir Bolotnikov|arXiv (Cornell University)|2015. 05. 13.

Algebraic and Geometric Analysis참고 문헌 14인용 수 4

한 줄 요약

이 논문은 비가환 허니온 다항식의 영 구조를 분석하기 위한 알고리즘 프레임워크를 제시한다. 여기서는 좌우 영점, 구형 나눗셈자, 분해 불가 나눗셈자를 특성화하며, 이러한 구성 요소를 계산하는 알고리즘, 사전에 정의된 영 구조를 가진 다항식을 구성하는 방법, 최소 공통 배수를 계산하는 방법을 제안한다. 이는 비가환 허니온에서의 인수분해에 체계적인 접근을 제공한다.

ABSTRACT

It is known that polynomials over quaternions may have spherical zeros and isolated left and right zeros. These zeros along with appropriately defined multiplicities form the zero structure of a polynomial. In this paper, we equivalently describe the zero structure of a polynomial in terms of its left and right spherical divisors as well as in terms of left and right indecomposable divisors. Several algorithms are proposed to find left/right zeros and left/right spherical divisors of a quaternion polynomial, to construct a polynomial with prescribed zero structure and more generally, to construct the least left/right common multiple of given polynomials. Similar questions are briefly discussed in the setting of quaternion formal power series.

연구 동기 및 목표

• 비가환성으로 인해 가환 체에서는보다 복잡한 허니온 다항식의 영 구조를 체계적이고 알고리즘적으로 결정하는 방법을 개발하는 것.
• 좌우 구형 나눗셈자와 좌우 분해 불가 나눗셈자를 통해 영 구조를 특성화하여, 인수분해를 위한 새로운 대수적 프레임워크를 제공하는 것.
• 고정된 영 구조(고립된 영점과 구형 영점, 각각의 정해진 중복도 포함)를 가진 허니온 다항식을 구성할 수 있도록 하는 것.
• 주어진 허니온 다항식들의 최소 공통 좌/우 배수를 계산하는 알고리즘을 제공하여, 고전적 LCM 개념을 비가환 환경으로 확장하는 것.
• 이 프레임워크를 허니온 위의 형식적 멱급수로 확장하여, 유사한 구조적 및 알고리즘적 성질을 탐색하는 것.

제안 방법

• 영점의 공역류에 기반한 좌우 구형 나눗셈자를 정의하며, 여기서 구형 나눗셈자는 다항식의 모든 영점이 되는 공역류의 2차원 구면을 의미한다.
• 공역류 $ V $에 대해 특성 다항식 $ \mathcal{X}_V(z) = z^2 - 2z \cdot \operatorname{Re}(\alpha) + |\alpha|^2 $ 를 사용하며, 이는 $ V $ 위에서 영이 되는 모든 다항식의 얌체 이상을 생성한다.
• 좌우 영점을 계산하기 위한 알고리즘(알고리즘 3.4)을 개발하여 문제를 실계수를 가진 복소 다항식의 근 찾기 문제로 환원한다.
• 반복적으로 공역류 변환과 모비우스 유사 변환을 적용하여, 주어진 영 구조를 가진 다항식을 재귀적으로 구성하는 알고리즘을 구축한다.
• 요구하는 인수분해를 연속된 공역류 영점의 사슬을 따라 전파하기 위해 항등식 $ \phi_k \boldsymbol{\rho}_{\alpha'_k} {\bf k}_{\beta_k} = {\bf k}_{\delta_k} \phi_{k+1} $ 를 활용한다.
• 좌/우 이상의 교차를 통한 최소 공통 배수(lcm) 구성: $ \operatorname{lrcm}(f,g) $ 는 $ \langle f \rangle_r \cap \langle g \rangle_r $ 의 상사 생성자이며, 좌측 lcm에 대해서도 유사한 정의가 적용된다.

실험 결과

연구 질문

• RQ1 좌우 구형 나눗셈자를 사용하여 허니온 다항식의 영 구조를 알고리즘적으로 특성화할 수 있는가?
• RQ2 주어진 허니온 다항식의 모든 좌우 영점을 알고리즘적으로 계산하는 절차는 무엇인가?
• RQ3 고립된 영점과 구형 영점, 그리고 그들의 중복도를 사전에 정의한 다항식을 어떻게 구성할 수 있는가?
• RQ4 두 개 이상의 허니온 다항식의 최소 공통 좌/우 배수를 계산하는 알고리즘적 방법은 무엇인가?
• RQ5 허니온 위의 형식적 멱급수로의 구조적 및 알고리즘적 성질은 어떻게 확장되는가?

주요 결과

• 허니온 다항식의 영 구조는 그 좌우 구형 나눗셈자에 의해 완전히 결정되며, 이는 영점의 공역류에 해당한다.
• 공역류 사슬과 모비우스 유사 변환을 기반으로 한 재귀적 인수분해를 통해, 사전에 정의된 영 구조를 가진 다항식을 알고리즘적으로 구성할 수 있다.
• 두 허니온 다항식의 최소 공통 우배수는 그 우측 이상의 교차의 상사 생성자이며, 이를 계산하는 알고리즘이 제시되어 있다.
• 좌우 영점을 찾는 알고리즘은 실계수 다항식의 복소근 찾기 문제로 환원되며, 본 논문에서 새로운 방법(알고리즘 3.4)이 도입되었다.
• 프레임워크는 형식적 멱급수로 확장되며, 여기서도 유사한 구조적 및 알고리즘적 성질이 유지되어 더 넓은 적용 가능성을 시사한다.
• 논문은 임의의 상사 허니온 다항식이 선형 항인 곱 $ (z - \gamma_k) $ 로 분해될 수 있으며, 영 집합이 각 $ \gamma_k $ 의 공역류의 합집합에 포함됨을 증명한다.