[논문 리뷰] The behaviour of the complete eigenstructure of a polynomial matrix under a generic rational transformation

Vanni Noferini|arXiv (Cornell University)|2011. 11. 17.

Matrix Theory and Algorithms참고 문헌 8인용 수 5

한 줄 요약

이 논문은 다항식 행렬의 고유구조가 일반적인 유리 함수에 의한 변수 치환에 따라 어떻게 변하는지에 대한 완전한 이론적 프레임워크를 수립한다. 유리 치환의 근의 중복도에 따라 변환된 행렬의 기본 약수와 최소 지수들이 예측 가능하게 스케일링됨을 증명하며, 이는 기존의 모비우스 및 딕슨 변환에 대한 결과를 임의의 유리 함수로 일반화한다.

ABSTRACT

Given a polynomial matrix P(x) of grade g and a rational function $x(y) = n(y)/d(y)$, where $n(y)$ and $d(y)$ are coprime nonzero scalar polynomials, the polynomial matrix $Q(y) :=[d(y)]^gP(x(y))$ is defined. The complete eigenstructures of $P(x)$ and $Q(y)$ are related, including characteristic values, elementary divisors and minimal indices. A Theorem on the matter, valid in the most general hypotheses, is stated and proved.

연구 동기 및 목표

• 기존의 모비우스 및 딕슨 변환에 대한 고유구조 보존 결과를 일반화하여 임의의 유리 함수로 확장한다.
• 다항식 행렬의 기본 약수와 최소 지수가 일반적인 유리 함수에 의한 변수 치환 하에서 어떻게 변화하는지 특성화한다.
• 특히 대수적으로 닫힌 필드가 아닌 일반적인 필드에서도 유효한 통합 이론을 제공한다.
• 원래 행렬과 변환된 행렬 간의 조르당 체인 간 정확한 대응 관계를 수립한다.
• 변환 기반 조절 기법을 통한 다항식 고유값 문제 해결을 위한 수치적 방법 설계를 뒷받침한다.

제안 방법

• 다항식 행렬 P(x)의 계수 g와 유리 함수 x(y) = n(y)/d(y)에 대해 Q(y) = [d(y)]^g * P(n(y)/d(y))로 변환을 정의한다.
• 필드 위에서 P(x)와 Q(y)의 구조를 분석하기 위해 스미스 표준형과 유니모듈러 변환을 사용한다.
• 유한 고유값에서의 조르당 체인과 기본 약수를 기술하기 위해 근 다항식과 그 차수를 도입한다.
• 만약 (x - x₀)^ℓ이 P(x)의 기본 약수이면, x(y) = x₀의 근 y₀의 중복도가 m일 경우, (y - y₀)^{mℓ}이 Q(y)의 기본 약수임을 증명한다.
• P(x)의 왼쪽/오른쪽 최소 기저를 Q(y)의 것과 연결하여 최소 지수의 행동을 분석하며, 이들이 치환의 차수에 따라 스케일링됨을 보인다.
• 근 다항식의 업그레이드를 사용하여 P(x)의 x₀에서의 조르당 체인을 x(y) = x₀의 근 y₀에서 Q(y)의 조르당 체인으로 명시적으로 매핑한다.

실험 결과

연구 질문

• RQ1 일반적인 유리 변수 치환 하에서 다항식 행렬의 완전한 고유구조는 어떻게 변하는가?
• RQ2 P(x)의 기본 약수와 변환된 행렬 Q(y)의 기본 약수 사이의 정확한 관계는 무엇인가?
• RQ3 유리 치환 하에서 P(x)의 최소 지수는 Q(y)의 최소 지수와 어떻게 관련되는가?
• RQ4 이러한 치환 하에서 무한 기본 약수와 조르당 체인은 어떻게 되는가?
• RQ5 모비우스 및 딕슨 사례를 초월하여 이러한 변환 규칙을 임의의 유리 함수로 일반화할 수 있는가?

주요 결과

• P(x)의 (x - x₀)^ℓ 형태의 기본 약수는 x(y) = x₀의 근 y₀의 중복도 m에 따라 Q(y)에서 (y - y₀)^{mℓ} 형태의 기본 약수로 변환된다.
• P(x)의 왼쪽 및 오른쪽 최소 지수는 유리 치환의 차수, 즉 deg(x(y)) = max{deg n(y), deg d(y)}에 의해 곱해진다.
• P(x)의 무한 기본 약수는 x(y)에 의해 무한이 사전상태로 매핑되는 점에서 Q(y)의 유한 기본 약수로 변환되며, 이때 중복도는 치환의 차수에 따라 스케일링된다.
• P(x)의 유한 고유값 x₀에서의 조르당 체인은 x(y) = x₀의 근 y₀에서 Q(y)의 조르당 체인으로 매핑되며, 이때 체인의 순서는 근의 중복도 m에 따라 스케일링된다.
• 변환은 강한 선형화의 크로네커 구조를 유지하므로, 다항식 고유값 문제에 대한 구조를 유지하는 수치적 방법을 가능하게 한다.
• 대수적 폐쇄의 논증과 유니모듈러 동치를 사용함으로써, 결과는 대수적으로 닫힌 필드에 국한되지 않고 임의의 필드에서 유효하다.