[논문 리뷰] One-pth Riordan Arrays in the Construction of Identities

Tian-Xiao He|arXiv (Cornell University)|2020. 10. 31.

Advanced Combinatorial Mathematics참고 문헌 17인용 수 4

한 줄 요약

이 논문은 기존에 p=2에 대해 연구된 반 Riordan 배열을 일반화하여, 함수의 복합을 통해 표준 Riordan 배열에서 유도되는 one-pth Riordan 배열을 도입한다. A-시퀀스 생성함수를 (A(t))^p로 유도하고, 이를 통해 새로운 조합적 항등식을 유도하며, 이는 일반화된 Chu–Vandermonde 항등식과 Fuss–Catalan 수와의 연결을 포함한다. 이는 Riordan 배열 이론을 활용한 항등식의 체계적 생성 및 검증을 위한 방법을 제공한다.

ABSTRACT

For an integer $p\geq 2$ we construct vertical and horizontal one-pth Riordan arrays from a Riordan array. When $p=2$, one-pth Riordan arrays reduced to well known half Riordan arrays. The generating functions of the $A$-sequences of vertical and horizontal one-pth Riordan arrays are found. The vertical and horizontal one-pth Riordan arrays provide an approach to construct many identities. They can also be used to verify some well known identities readily.

연구 동기 및 목표

• 기존에 p=2에 대해 연구된 반 Riordan 배열의 개념을 임의의 정수 p ≥ 2에 대해 one-pth Riordan 배열으로 일반화하는 것.
• 수직 및 수평 one-pth Riordan 배열을 활용한 새로운 조합적 항등식을 체계적으로 구성하는 방법 개발.
• one-pth Riordan 배열의 A-시퀀스 생성함수를 유도하고, 이것이 원래 배열의 A-시퀀스 생성함수 A(t)의 p제곱인 (A(t))^p임을 보여주는 것.
• 이 배열들이 잘 알려진 항등식, 예를 들어 일반화된 Chu–Vandermonde 및 Gould 항등식을 어떻게 확인하거나 유도할 수 있는지 보여주는 것.
• Riordan 배열 이론의 적용 범위를 Fuss–Catalan 수를 포함한 더 넓은 조합적 수열과 항등식의 클래스로 확장하는 것.

제안 방법

• 주어진 Riordan 배열 (g, f)에서 Fuss–Catalan 생성함수 F_p(t)를 사용한 함수 복합을 통해 수직 및 수평 one-pth Riordan 배열을 구성하는 것.
• 새로운 생성함수 정의: g̃(t) = g(φ(t)) / (1 - t·Z(f(t))·φ(t)) 및 f̃(t) = t·F_p^p(t), 여기서 φ(t)는 f(t)의 복합 역함수이다.
• 새로운 배열의 A-시퀀스 생성함수를 (A(t))^p로 유도하며, 여기서 A(t)는 원래 배열의 A-시퀀스 생성함수이다.
• Riordan 배열의 기본 정리(FTRA)를 사용하여 열 벡터 변환과 생성함수 복합 간의 관계를 설정하는 것.
• 라그랑주 역함수 공식을 적용하여 f̃(t)의 계수를 계산하고, [t^n]f̃(t) = 1/n * binom(pn, n-1)을 도출함으로써 f̃(t) = F_p(t) - 1임을 보이는 것.
• 정리 4.2를 활용하여 이항계수의 곱의 합을 포함하는 일반 항등식을 도출하고, 이를 통해 일반화된 Chu–Vandermonde 및 Gould 항등식을 이끌어내는 것.

실험 결과

연구 질문

• RQ1 임의의 정수 p ≥ 2에 대해 주어진 Riordan 배열 (g, f)로부터 one-pth Riordan 배열을 어떻게 체계적으로 구성할 수 있는가?
• RQ2 one-pth Riordan 배열의 A-시퀀스 생성함수는 무엇이며, 원래 배열의 A-시퀀스와의 관계는 어떻게 되는가?
• RQ3 one-pth Riordan 배열을 사용하여 기존의 조합적 항등식, 예를 들어 Chu–Vandermonde 또는 Gould 항등식을 유도하거나 검증할 수 있는가?
• RQ4 one-pth Riordan 배열과 Fuss–Catalan 수 사이의 관계는 무엇이며, 이는 파스칼 행렬의 경우를 어떻게 일반화하는가?
• RQ5 새로운 배열 (g̃, f̃)의 구조는 계수 추출 및 생성함수 조작을 통해 어떻게 새로운 항등식을 도출하는가?

주요 결과

• one-pth Riordan 배열 (g̃, f̃)의 A-시퀀스 생성함수는 원래 배열 (g, f)의 A-시퀀스 생성함수 A(t)의 p제곱인 (A(t))^p이다.
• 새로운 배열의 생성함수 f̃(t)는 f̃(t) = t·F_p^p(t)로 주어지며, 그 계수는 [t^n]f̃(t) = 1/n * binom(pn, n-1)이다. 이는 Fuss–Catalan 수에 해당한다.
• 정리 4.2를 one-pth 배열에 적용한 결과로, ∑_{j=s}^n (s/j) * binom(pj, j-s) * binom(p(n-j)+r, n-j-k+s) = binom(pn+r, n-k)라는 항등식이 직접적으로 도출된다.
• s=1일 경우 항등식은 ∑_{j=1}^n (1/(pj+1)) * binom(pj+1, j) * binom(p(n-j)+r, n-j-k+1) = binom(pn+r, n-k)로 단순화되며, 이는 Chu–Vandermonde 항등식의 일반화된 형태이다.
• 인덱스를 이동하고 매개변수를 대체함으로써 유도된 항등식은 [8]의 공식 (5.62)와 일치함을 확인하여 기존 결과와의 일관성을 입증한다.
• 매개변수 대체를 통해 Gould 항등식 ∑_{i=0}^n (r/(r-qi)) * binom(r-qi, i) * binom(p+qi, n-i) = binom(r+p, n)을 성공적으로 복원함으로써, 이 방법이 알려진 항등식을 검증하는 데 있어 강력한 능력을 지닌다는 것을 보여준다.