[논문 리뷰] Elements of Finite Order in the Riordan Group

Marshall M. Cohen|arXiv (Cornell University)|2018. 06. 17.

Advanced Combinatorial Mathematics인용 수 2

한 줄 요약

이 논문은 특성 0인 체 위에서 유한 차수 원소에 관한 두 가지 기본 문제를 해결한다: 주어진 $ F(x) $에 대해 $ (g(x), F(x)) $의 차수가 $ n $이 되는 모든 생성 함수 $ g(x) $를 특성화하고, 이러한 원소들을 동치류에 따라 분류한다. 핵심 기여는 유한 차수 리오르단 행렬의 고유벡터를 완전히 특성화한 것으로, 이는 새로운 조합 항등식과 마셜의 고정점에 관한 정리의 새로운 증명을 이끌어낸다.

ABSTRACT

We consider elements of finite order in the Riordan group $\cal R$ over a field of characteristic $0$. Viewing $\cal R$ as a semi-direct product of groups of formal power series, we solve, for all $n \geq 2$, two foundational questions posed by L. Shapiro for the case $n = 2$ (`involutions'): Given a formal power series $F(x)$ of finite compositional order and an integer $n\geq 2$, Theorem 1 states, exactly which $g(x)$ make $\big(g(x), F(x)\big)$ a Riordan element of order $n$. Theorem 2 classifies finite-order Riordan group elements up to conjugation in $\cal R$. Viewing $\cal R$ as a group of infinite lower triangular matrices, we interpret Theorem 1 in terms of existence of eigenvectors and Theorem 2 as a normal form for finite order Riordan arrays under similarity. These lead to Theorem 3, a formula for all eigenvectors of finite order Riordan arrays; and we show how this can lead to interesting combinatorial identities. We then relate our work to papers of Cheon and Kim which motivated this paper and we solve the Open question which they posed. Finally, this circle of ideas gives a new proof of C. Marshall's theorem, which finds the unique $F(x)$, given bi-invertible $g(x)$, such that $\big(g(x), F(x))$ is an involution.

연구 동기 및 목표

• 리오르단 군 내 유한 차수 원소에 관한 미해결 문제를 해결하며, 특히 샤피로의 고정점 문제를 임의의 차수 $ n \geq 2 $로 일반화한다.
• 군론적 및 행렬 이론적 방법을 사용하여 리오르단 군 내 모든 유한 차수 원소를 유사성에 대해 분류한다.
• 유한 차수 리오르단 행렬의 고유벡터에 대한 일반 공식을 도출하여 새로운 조합 항등식을 가능하게 한다.
• 최온과 김의 이전 연구와 연관지어 그들이 제기한 미해결 문제를 해결한다.
• 리오르단 군 내 고정점에 관한 C. 마셜의 정리에 대한 새로운 증명을 제공한다.

제안 방법

• 형식적 멱급수 군의 반직접곱으로서 리오르단 군 $ \mathcal{R} $를 모델링하여 복합 순서 분석이 가능하도록 한다.
• 정리 1을 사용하여 $ F(x) $가 유한 복합 순서를 가질 때, $ (g(x), F(x)) $의 차수가 $ n $이 되는 모든 $ g(x) $를 결정한다.
• 유사성에 대한 불변성을 적용하여 유한 차수 원소를 유사성에 따라 분류하고, 정규형을 도출한다.
• 무한 하삼각 행렬의 관점에서 결과를 해석하여, 유한 차수 리오르단 행렬의 고유벡터를 식별한다.
• 군의 구조와 복합 역학적 성질에 기반하여 유한 차수 리오르단 행렬의 고유벡터에 대한 일반 공식을 유도한다.
• 고유벡터 공식을 활용하여 조합 항등식을 유도하고, 마셜의 고정점 정리 재구성한다.

실험 결과

연구 질문

• RQ1 주어진 형식적 멱급수 $ F(x) $가 유한 복합 순서를 가지며 정수 $ n \geq 2 $일 때, 어떤 $ g(x) $가 $ (g(x), F(x)) $가 리오르단 원소의 차수 $ n $을 가지게 하는가?
• RQ2 리오르단 군 내 모든 유한 차수 원소는 $ \mathcal{R} $에서 유사성에 대해 어떻게 분류될 수 있는가?
• RQ3 유한 차수 리오르단 행렬의 고유벡터에 대한 일반 공식은 무엇이며, 이를 통해 조합 항등식을 어떻게 도출할 수 있는가?
• RQ4 결과는 리오르단 군 내 유한 차수 원소에 관해 최온과 김이 제기한 미해결 문제를 어떻게 해결하는가?
• RQ5 유한 차수 리오르단 행렬의 구조는 마셜의 고정점 정리에 대한 새로운 증명을 제공할 수 있는가?

주요 결과

• 정리 1은 $ F(x) $가 유한 복합 순서를 가질 때, $ (g(x), F(x)) $의 차수가 $ n $이 되는 모든 $ g(x) $를 완전히 특성화한다.
• 정리 2는 유한 차수 리오르단 군 원소를 유사성에 대해 분류하여, 유사성 하에 정규형을 도출한다.
• 정리 3은 유한 차수 리오르단 행렬의 모든 고유벡터에 대한 일반 공식을 제공하며, 군의 구조와 선형대수적 성질을 연결한다.
• 고유벡터 공식은 리오르단 행렬의 스펙트럼 성질로부터 유도된 새로운 조합 항등식을 이끌어낸다.
• 최온과 김이 제기한 리오르단 군 내 유한 차수 원소에 관한 미해결 문제를 해결한다.
• 고유벡터 공식과 유사성 분류의 결과로 C. 마셜의 고정점 정리에 대한 새로운 증명을 얻는다.