[논문 리뷰] Counting rises, levels and drops in compositions

Silvia Heubach, Toufik Mansour|ArXiv.org|2003. 10. 14.

Advanced Combinatorial Mathematics참고 문헌 6인용 수 19

한 줄 요약

이 논문은 자연수 집합 $ A ⊆ \mathbb{N} $ 에서 부분을 제한한 정수 분할과 팰린드롬 분할에서 상승, 수평, 하강의 수를 세는 통합 생성함수 프레임워크를 제시한다. 상승, 수평, 하강의 통계에 대해 명시적인 유리 생성함수를 유도함으로써, 이전의 칼리츠 분할, 분할, 그리고 특수 집합 $\{1,2\}$, $\{1,k\}$, $\mathbb{N}$ 에 대한 결과를 일반화하고 확장하여 새로운 닫힌형 표현식과 조합론적 항등식을 도출한다.

ABSTRACT

A composition of $n\in\NN$ is an ordered collection of one or more positive integers whose sum is $n$. The number of summands is called the number of parts of the composition. A palindromic composition of $n$ is a composition of $n$ in which the summands are the same in the given or in reverse order. In this paper we study the generating function for the number of compositions (respectively palindromic compositions) of $n$ with $m$ parts in a given set $A\subseteq\NN$ with respect to the number of rises, levels, and drops. As a consequence, we derive all the previously known results for this kind of problem, as well as many new results.

연구 동기 및 목표

• 주어진 집합 $A \subseteq \mathbb{N}$ 의 부분을 가진 분할에서 상승, 수평, 하강을 분석하기 위한 일반적인 생성함수 프레임워크를 개발하는 것.
• 특수 집합인 $\{1,2\}$, $\{1,k\}$, $\mathbb{N}$ 등에 대한 이전 결과들을 하나의 형식론 아래 통합하여 확장하는 것.
• 동일한 통계에 대해 팔린드롬 분할과 칼리츠 분할의 명시적 생성함수를 유도하는 것.
• $\{a,b\}$ 및 $\{1,k\}$ 와 같은 작은 집합에 대해 분할에서 수평과 하강의 수에 대한 새로운 닫힌형 표현식을 제공하는 것.
• 높은 차수의 모멘트를 통한 응용을 통해 이 프레임워크의 유용성을 입증하고, 피보나치 수열과의 연결 고리를 포함한 기존 결과를 복원하며 새로운 결과를 도출하는 것.

제안 방법

• 분할의 수 $ n $ 과 부분 수 $ m $ 이 집합 $ A $ 에 속할 때, 상승($ r $), 수평($ \ell $), 하강($ d $) 을 추적하기 위한 다변수 생성함수 $ C_A(x; y; r, \ell, d) $ 를 유도하는 것. 지수 생성함수를 통해 통계를 추적한다.
• 순서된 부분 $ a_1 < a_2 < \cdots < a_k $ 에 대한 재귀적 구조와 곱 공식을 사용하여, 기하급수적 형태의 항들을 포함하는 유리함수로 생성함수를 표현하는 것.
• 대칭적 재귀 관계를 통한 적용을 통해 팔린드롬 분할에 대한 프레임워크를 적응시키며, $ x^{2a_i}y^2 $ 와 대칭 분모를 포함하는 별도의 생성함수 $ P_A(x; y; r, \ell, d) $ 를 도출하는 것.
• 생성함수의 편미분을 통해 모멘트를 추출하는 것: $ \ell = 1 $, $ d = 1 $ 에서 $ \partial / \partial \ell $ 과 $ \partial / \partial d $ 를 적용하여 분할에서 수평과 하강의 수를 추출하는 것.
• 기호적 연산과 곱 항등식을 사용하여 복잡한 유리식을 단순화하는 것. 특히 $ A = \{a,b\} $ 에 대해 $ \frac{x^{2a}y^2(1 - x^b y) + x^{2b}y^2(1 - x^a y)}{(1 - x^a y)^2(1 - x^b y)^2} $ 와 같은 닫힌형을 도출하는 것.
• 고차수의 도함수(예: $ d $ 에 대한 두 번째 도함수)를 적용하면 피보나치 수를 포함하는 커플라션 항등식이 도출되며, 예를 들어 $ \sum_{n \geq 3} \left( \sum_{a+b+c=n} F_a F_b F_c \right) x^n $ 과 같은 형태의 항등식이 유도된다.

실험 결과

연구 질문

• RQ1 주어진 집합 $ A \subseteq \mathbb{N} $ 의 부분을 가진 $ n $ 의 분할에서 상승, 수평, 하강의 수를 세는 생성함수는 무엇인가?
• RQ2 동일한 프레임워크는 팔린드롬 분할에서 이러한 통계를 세는 데 어떻게 적응시킬 수 있는가?
• RQ3 $\{a,b\}$ 에서의 부분을 가진 분할에 대해 수평과 하강의 수에 대한 명시적 생성함수는 무엇인가? 특히 $\{1,k\}$ 의 경우에 대해.
• RQ4 이 프레임워크는 칼리츠 분할과 분할에 대한 알려진 결과를 복원하고 일반화할 수 있는가?
• RQ5 예를 들어 하강의 쌍의 수와 같은 통계의 고차수 모멘트에서 어떤 조합론적 항등식이 도출되는가?

주요 결과

• 부분이 $ A = \{a,b\} $ 인 분할에서 상승, 수평, 하강의 수를 추적하는 생성함수는 기하급수적 항들을 포함하는 유리함수이며, 수평의 수에 대한 생성함수는 $ \frac{x^{2a}y^2(1 - x^b y) + x^{2b}y^2(1 - x^a y)}{(1 - x^a y)^2(1 - x^b y)^2} $ 로 주어진다.
• $\{1,2\}$ 의 부분을 가진 분할에 대해 수평의 수에 대한 생성함수는 $ \frac{x^2(1 - x^3)}{(1 - x)^4(1 + x)^2} $ 로 주어지며, 일반 공식에서 유도된다.
• $\{1,k\}$ 의 부분을 가진 분할에서 하강의 수는 $ \lfloor (n-1)/k \rfloor $ 이며, 총 하강 수에 대한 생성함수는 $ \frac{x^{k+1}}{(1 - x)(1 - x^k)} $ 이다.
• $\{1,2\}$ 의 부분을 가진 모든 분할에서 하강의 수에 대한 생성함수는 $ \frac{2x^6}{(1 - x - x^2)^3} $ 로 주어지며, 이는 피보나치 수의 삼중 컨볼루션과 대응된다.
• $\{1,k\}$ 의 부분을 가진 분할에서 하강의 수는 정확히 $ \lfloor (n-1)/k \rfloor $ 이다. 이는 모든 1 또는 모든 $ k $ 로 이루어지지 않은 유효한 분할에서 하강이 하나뿐이기 때문이다.
• 이 프레임워크를 통해 연속된 동일한 부분이 없는 칼리츠 분할과 대칭적 구조를 피하는 팔린드롬 분할의 생성함수를 유도할 수 있다.