[논문 리뷰] A matrix representation of composition of polynomial maps

Ural Bekbaev|ArXiv.org|2009. 01. 21.

Advanced Differential Equations and Dynamical Systems인용 수 6

한 줄 요약

이 논문은 다중지표 순서를 갖춘 행렬과 새로운 비표준 행렬 곱을 사용하여 다변수 다항형사상의 행렬 표현을 제안한다. 주요 기여는 다항형사상의 복합을 일반화한 닫힌 형식의 행렬 공식인 $ M_{\varphi \circ \psi} = \mathrm{Exp}(M_\psi) M_\varphi $로, 이는 표준 행렬 곱을 다항형사상 복합으로 일반화하며 다변수 설정에서 Bombieri 부등식을 확장한다.

ABSTRACT

In this paper polynomial maps are represented by the use of matrices whose entries are numbered by pair of multiindices and a new product of such matrices is introduced. A matrix representation of composition of polynomial maps is given. In the case of real and complex numbers different kind of norms of such matrices are introduced. Properties of these norms with respect to the ordinary and new products are investigated. A generalization of Bombieri's inequality is offered.

연구 동기 및 목표

• 다중변수 다항형사상을 다중지표로 인덱싱된 행렬을 사용하여 기반으로 하는 행렬 기반 프레임워크를 개발한다.
• 표준 행렬 곱을 초월하여 다항형사상 복합을 캡처하는 새로운 행렬 곱을 정의한다.
• 다변수 다항형사상에 대해 행렬 노름을 사용하여 Bombieri 부등식을 일반화한다.
• 행렬 지수를 통해 형식적 멱급수와 다항형사상의 반복 복합을 분석할 수 있도록 한다.

제안 방법

• 다항형사상의 단항식 계수에 해당하는 항목을 갖는 행렬이 다중지표 $ \alpha \in I_n $로 인덱싱된다.
• 복합성분의 복합을 코딩하기 위해 다항계수를 사용하여 새로운 곱 $ \bigodot $를 정의한다.
• 형식적 멱급수를 생성하기 위해 다항형사상의 행렬 표현에 행렬 지수 $ \mathrm{Exp}(M) $를 적용한다.
• 복합 $ \varphi \circ \psi $ 는 $ M_{\varphi \circ \psi} = \mathrm{Exp}(M_\psi) M_\varphi $ 로 표현되며, 여기서 $ M_\psi $ 는 $ \psi $ 를 코딩한다.
• 수렴성과 안정성 분석을 위해 실수 및 복소수 계수에 대한 행렬 노름을 도입한다.
• 이 프레임워크는 단변수 결과, 예를 들어 지수 생성함수와 부등식 등을 다변수 다항형사상으로 확장할 수 있다.

실험 결과

연구 질문

• RQ1 다중변수 다항형사상은 다중지표로 인덱싱된 행렬을 어떻게 체계적으로 표현할 수 있는가?
• RQ2 다변수 다항형사상 복합의 뒤에 있는 대수적 구조는 무엇이며, 이를 어떻게 행렬 형태로 표현할 수 있는가?
• RQ3 행렬 노름을 사용하여 Bombieri 부등식을 다변수 다항형사상으로 일반화할 수 있는가?
• RQ4 새로운 행렬 곱 $ \bigodot $ 는 표준 행렬 곱과 다항형사상 복합과 어떻게 관련이 있는가?
• RQ5 형식적 멱급수를 다변수에서 분석하기 위해 행렬 지수와 새로운 곱을 얼마나 활용할 수 있는가?

주요 결과

• 두 다항형사상 $ \varphi $ 와 $ \psi $ 의 복합은 행렬 식 $ M_{\varphi \circ \psi} = \mathrm{Exp}(M_\psi) M_\varphi $ 로 표현되며, 복합의 완전한 대수적 특성화를 제공한다.
• 새로운 곱 $ \bigodot $ 는 결합법칙, 교환법칙을 만족하며 정수환에서 영원소 성질을 갖는다. 이는 대수적 연산에 적합하다.
• 동차 다항형사상 $ \varphi(x) = \frac{x^{(k)}}{k!} A(k,1) $ 와 $ \psi(x) = \frac{x^{(l)}}{l!} B(l,1) $ 에 대해 복합는 $ M_{\varphi \circ \psi} = \frac{B(l,1)^{(k)}}{k!} A(k,1) $ 를 만족하며, 단항식 복합과의 일致성을 확인한다.
• 지수 법칙의 일반화인 $ \mathrm{Exp}(\mathrm{Exp}(M_\psi) M_\varphi) = \mathrm{Exp}(M_\psi) \mathrm{Exp}(M\_\varphi) $ 가 성립한다.
• $ A \in \mathrm{Mat}_{n,n}(1,1) $ 에 대해 $ \mathrm{Exp}(A) $ 의 역행렬은 $ \mathrm{Exp}(A^{-1}) $ 이며, 이는 단변수 행렬 지수의 역행렬 성질을 일반화한다.
• 다변수 멱급수 $ \sum_{m=0}^\infty \frac{x^{(m)}}{m!} A_m $ 는 $ \|x\|_\varrho < 1/r $ 일 때 수렴이 보장되며, 여기서 $ r = \varlimsup_{m \to \infty} \|A_m\|_\varrho^{1/m} $ 이다.