[논문 리뷰] An Inversion Formula for Multivariate Power Series

Ural Bekbaev|arXiv (Cornell University)|2012. 03. 17.

Mathematical functions and polynomials참고 문헌 1인용 수 3

한 줄 요약

이 논문은 형식적 다변수 멱급수 $\varphi(x) = x + \text{고차항}$에 대한 새로운 역함수 공식을 제시한다. 형식적 역함수는 $\varphi^{-1}(x) = x + \sum_{m=1}^{\infty} \sum_{k=0}^{m} (-1)^k \binom{m}{k} \varphi^{\circ k}(x)$ 로 표현되며, 여기서 $\varphi^{\circ k}$ 는 $k$-중 복합을 의미한다. 유도 과정은 형식적 멱급수의 링에서 행렬의 대칭적 곱과 생성함수를 활용하며, 특성 0인 체 위에서 유효한 비재귀적 조합론적 역함수 공식을 확립한다.

ABSTRACT

For formal multivariate power series $φ(x)$ an inversion formula of the form $$ φ^{-1}(x)=x +\sum_{m=1}^{\infty}\sum_{k=0}^m (-1)^k(m k)φ^{\circ k}(x) is offered$$.

연구 동기 및 목표

• 형식적 다변수 멱급수 $\varphi(x) = x + \text{고차항}$에 대한 폐형 역함수 공식을 유도하는 것.
• 새로운 대칭 행렬 곱 연산을 통해 형식적 역함수와 반복 복합의 관계를 설정하는 것.
• 이항계수와 반복 복합을 이용한 비재귀적 조합론적 표현을 통한 역함수 급수의 제공.
• 급수 尾의 수렴성과 소멸 조건을 통해 다항함수 사상의 역함수가 다항함수 사상이 되는 조건을 조사하는 것.

제안 방법

• 다중지표로 인덱싱된 블록 행렬에 대한 대칭 곱 $\odot$ 를 도입하여, 멱급수의 행렬 곱셈을 형식적 멱급수로 일반화하는 것.
• 멱급수 $\varphi$ 의 행렬 표현 $M_{\varphi}$ 를 정의하여, 동차 성분을 다중지표 블록으로 표현하는 것.
• 행렬 지수 $e^{\odot A}$ 를 이용해 $\odot$ 에서의 행렬 지수법을 통해 멱급수 복합을 표현하는 것.
• 항등식 $M_{\psi \circ \varphi} = e^{\odot M_{\varphi}} M_{\psi}$ 를 적용하여 복합과 행렬 연산 간의 관계를 설정하는 것.
• Neumann 급수 전개를 통해 $(e^{\odot M_{\varphi}})^{-1}$ 의 역함수를 유도하고, 반복 복합에 대한 이항계수 유형의 합으로 이어지는 것.
• Mat(F) 대수 내의 블록 행렬 방정식을 통해 역함수 계수의 재귀식을 확립하는 것.

실험 결과

연구 질문

• RQ1 복합과 이항계수만을 사용하여 형식적 다변수 멱급수에 대한 폐형 역함수 공식을 도출할 수 있는가?
• RQ2 무한급수 $\sum_{m=1}^{\infty} \sum_{k=0}^{m} (-1)^k \binom{m}{k} \varphi^{\circ k}(x)$ 가 어떤 조건에서 정지하거나 소멸하는가?
• RQ3 다항함수 사상의 형식적 역함수가 언제 다항함수 사상이 되며, 이를 대수적으로 어떻게 식별할 수 있는가?
• RQ4 대칭 행렬 곱 $\odot$ 는 형식적 멱급수에 대해 비결합적이지만 결합법칙을 만족하는 대수적 구조를 어떻게 구성하는가?

주요 결과

• 형식적 멱급수 $\varphi(x) = x + \text{고차항}$ 의 역함수는 명시적으로 $\varphi^{-1}(x) = x + \sum_{m=1}^{\infty} \sum_{k=0}^{m} (-1)^k \binom{m}{k} \varphi^{\circ k}(x)$ 로 주어진다.
• 공식은 대칭 곱 $\odot$ 와 행렬 지수 $e^{\odot M_{\varphi}}$ 를 이용하여 유도되며, $M_{\varphi}$ 는 급수의 계수를 코딩한다.
• 특성 0인 임의의 체 위에서 형식적 멱급수의 링 내에서 역함수는 존재하고 유일하다.
• 만약 어떤 $m_0$ 에 대해 $\sum_{m=m_0}^{\infty} \sum_{k=0}^{m} (-1)^k \binom{m}{k} \varphi^{\circ k}(x) = 0$ 이면, $\varphi^{-1}(x)$ 는 다항함수 사상이 된다.
• 계수의 재귀식 $N^m_1 = -\sum_{k=1}^{m-1} \left( \sum_{|\alpha|=k, \|\alpha\|=m} \frac{(M^1_1)^{\odot \alpha_1} \odot \cdots}{\alpha!} \right) N^k_1$ 은 역함수 급수의 계수를 계산한다.
• 다항함수 사상 중에서 역함수가 다항함수 사상인 것들의 집합은 복합에 대해 군을 이루며, 이 공식은 이 군에 속하는지의 기준을 제공한다.