[논문 리뷰] $B$-expansion of pseudo-involution in the Riordan group

E. Burlachenko|arXiv (Cornell University)|2017. 07. 04.

Advanced Combinatorial Mathematics참고 문헌 3인용 수 5

한 줄 요약

이 논문은 리오르단 군 내의 가짜입자성에 대해 $B$-시퀀스의 생성함수 $B(x)$ 를 이용해 $g^m(x)$ 의 계수를 표현하는 새로운 $B$-확장 공식을 제안한다. 함수방정식 $g(x) = 1 + xg(x)B(x^2g(x))$ 로부터 유도된 재귀적 구조를 활용하여, 다항계수 유사 계수를 포함하는 조합론적으로 бог되며 풍부한 전개를 도출함으로써, $B(x)$ 로부터 $g(x)$ 의 명시적 계산이 가능해지고 일반화된 이항급수와 깊은 연결 고리가 드러남.

ABSTRACT

Each numerical sequence $\left( {{b}_{0}},{{b}_{1}},{{b}_{2}},... ight)$ with the generating function $B\left( x ight)$ defines the pseudo-involution in the Riordan group $\left( 1,xg\left( x ight) ight)$ such that $g\left( x ight)=1+xg\left( x ight)B\left( {{x}^{2}}g\left( x ight) ight)$. In the present paper we realize a simple idea: express the coefficients of the series ${{g}^{m}}\left( x ight)$ in terms of the coefficients of the series $B\left( x ight)$. Obtained expansion has a bright combinatorial character, sheds light on the connection of the pseudo-involution in the Riordan group with the generalized binomial series, and is also useful for finding the series $g\left( x ight)$ by the given series $B\left( x ight)$. We compare this expansion with the similar expansion for the sequence $\left( 1,{{a}_{1}},{{a}_{2}},... ight)$ with the generating function $A\left( x ight)$ such that $g\left( x ight)=A\left( xg\left( x ight) ight)$.

연구 동기 및 목표

• 리오르단 군 내의 가짜입자성에 대해 $g^m(x)$ 의 계수를 $B$-시퀀스 생성함수 $B(x)$ 를 통해 체계적으로 표현하는 방법을 수립하는 것.
• 가짜입자성을 지배하는 함수방정식 $g(x) = 1 + xg(x)B(x^2g(x))$ 뒤에 숨은 조합론적 구조를 명확히 하는 것.
• 주어진 $B(x)$ 로부터 $g(x)$ 를 계산할 수 있는 구조적 도구를 제공하여 리오르단 행렬 이론에서 $B$-시퀀스의 유용성을 높이는 것.
• $B$-확장과 고전적 $A$-시퀀스 확장 간의 비교를 통해 구조적 및 조합론적 차이점을 부각하는 것.

제안 방법

• 가짜입자성의 정의 함수방정식으로부터 재귀적 항등식 $g^m(x) = g^{m-1}(x) + x g^m(x) B(x^2 g(x))$ 를 유도하는 것.
• 정수 분할을 이용해 $n$ 을 홀수 부분으로 나누는 방식으로 $[x^n]g^m(x)$ 의 계수를 표현하며, 이는 다중도수 $m_i$ 를 인덱스로 사용함.
• 포카허(symbol) $(m+k)_q$ 와 다중도수 $m_i$ 의 계승을 포함하는 다항계수 유사 계수를 사용하여 조합론적 구조를 표현하는 것.
• 함수방정식 $g(x) = 1 + xg(x)B(x^2g(x))$ 를 만족하는 생성함수 $B(x)$ 를 정의하고, 이를 통해 $g^m(x)$ 계수를 재귀적으로 구성하는 것.
• 변형된 리오르단 행렬 $\left(1, x\sqrt{g(x)}\right)$ 의 $B$-시퀀스와 $A$-시퀀스 사이의 대응관계를 설정하여 구조적 유사성을 명확히 하는 것.
• 생성함수와 다항계수 항등식을 통한 비교를 통해 $B$-확장과 $A$-확장 간의 차이점을 분석하고, 조합론적 해석의 차이점을 강조하는 것.

실험 결과

연구 질문

• RQ1 리오르단 군 내의 가짜입자성에 대해 $g^m(x)$ 의 계수는 어떻게 $B$-시퀀스 생성함수 $B(x)$ 를 통해 명시적으로 표현할 수 있는가?
• RQ2 함수방정식 $g(x) = 1 + xg(x)B(x^2g(x))$ 를 뒷받침하는 조합론적 구조는 무엇인가?
• RQ3 $B$-확장은 계산적 유용성과 조합론적 해석 측면에서 고전적 $A$-시퀀스 확장과 비교해 어떤가?
• RQ4 다항계수 유사 계수는 $B$-확장에서 어떤 역할을 하는가? 그리고 이는 리오르단 행렬의 재귀적 성질을 어떻게 반영하는가?
• RQ5 $B$-확장은 주어진 $B(x)$ 로부터 $g(x)$ 를 재구성하는 데 사용될 수 있는가? 만약 가능하면 어떤 조건에서 가능한가?

주요 결과

• 계수 $[x^n]g^m(x)$ 는 $\sum \frac{m(m+k)_q}{(m+k)m_0!m_1!\cdots m_p!} b_0^{m_0} b_1^{m_1} \cdots b_p^{m_p}$ 로 주어지며, 여기서 $p = \lfloor (n-1)/2 \rfloor$, $k = \sum m_i(i+1)$ 이고, 합은 $n$ 을 $p+1$ 개의 홀수 부분으로 나누는 분할에 대해 이루어진다.
• 이 전개는 뚜렷한 조합론적 성격을 띠며, 다항계수와 포카허 기호를 통해 가짜입자성과 일반화된 이항급수를 연결한다.
• $B$-확장은 $B(x)$ 로부터 $g(x)$ 를 계산하는 데 구조적으로 유용한 방법을 제공하며, 급수 재구성에 대한 직접적인 알고리즘적 경로를 제시한다.
• 이 방법은 $B$-시퀀스와 $A$-시퀀스 사이의 구조적 이원성(duaity)을 드러내며, $x^2g(x)$ 의 인자로 인해 $B$-확장이 가짜입자성에 더 적합함을 보여준다.
• $B$-확장은 $\frac{1}{(1 - a_1 x)^m}$ 과 고차항을 포함하는 생성함수 항등식과 동치임을 입증하였으며, 이는 이차 무리수 생성함수에 대한 기존 결과를 일반화한다.
• 특수한 경우 $A(x) = 1 + a_1 x + a_r x^r$ 에 대해 $A$-확장은 $g^m(x) = \left(\frac{1}{(1 - a_1 x)^m}, \frac{a_r x^r}{(1 - a_1 x)^r}\right) \mathcal{B}_r(x)^m$ 와 같은 닫힌 형태 표현식을 도출함으로써, 이 방법의 명시적 구성 능력을 입증한다.