[논문 리뷰] Discrete excursions

Mireille Bousquet‐Mélou|arXiv (Cornell University)|2007. 01. 05.

Advanced Combinatorial Mathematics인용 수 12

한 줄 요약

이 논문은 임의의 유한한 단계 집합 𝒮 ⊂ ℤ를 갖는 엑cursions(일반화된 딜렉 경로)의 생성함수는 대칭 함수와 재귀적 구조를 통해 결정되는 최소 다항식을 가진 대수적 함수임을 증명한다. 또한 높이가 유계인 엑cursions의 생성함수 E^(k)(t)는 유리함수이며, F_k / F_{k+1}의 형태로 표현 가능하며, 다항식 F_k는 차수 d_{a,b} = (a+b choose a)인 선형 재귀를 만족한다. 전체 생성함수 E(t)는 차수 d_{a,b}인 최소 다항식을 만족하며, 일반적인 경우, 특히 gcd(a,b)=1인 𝒮 = {−b, a}의 경우 기약이다.

ABSTRACT

It is well-known that the length generating function E(t) of Dyck paths (excursions with steps +1 and -1) satisfies 1-E+t^2E^2=0. The generating function E^(k)(t) of Dyck paths of height at most k is E^(k)=F_k/F_{k+1}, where the F_k are polynomials in t given by F_0=F_1=1 and F_{k+1}= F_k-t^2F_{k-1}. This means that the generating function of these polynomials is \sum_{k\ge 0} F_k z^k= 1/(1-z+t^2z^2). We note that the denominator of this fraction is the minimal polynomial of the algebraic series E(t). This pattern persists for walks with more general steps. For any finite set of steps S, the generating function E^(k)(t) of excursions (generalized Dyck paths) taking their steps in S and of height at most k is the ratio F_k/F_{k+1} of two polynomials. These polynomials satisfy a linear recurrence relation with coefficients in Q[t]. Their (rational) generating function can be written \sum_{k\ge 0} F_k z^k= N(t,z)/D(t,z). The excursion generating function E(t) is algebraic and satisfies D(t,E(t))=0 (while N(t,E(t)) ot = 0). If max S=a and min S=b, the polynomials D(t,z) and N(t,z) can be taken to be respectively of degree d_{a,b}=binomial(a+b,a) and d_{a,b}-a-b in z. These degrees are in general optimal: for instance, when S={a,-b} with a and b coprime, D(t,z) is irreducible, and is thus the minimal polynomial of the excursion generating function E(t). The proofs of these results involve a slightly unusual mixture of combinatorial and algebraic tools, among which the kernel method (which solves certain functional equations), symmetric functions, and a pinch of Galois theory.

연구 동기 및 목표

• 임의의 유한한 단계 집합 𝒮 ⊂ ℤ를 갖는 엑cursions의 생성함수 E(t)의 대수적 차수와 최소 다항식을 결정하는 것.
• 높이가 k로 유계인 엑cursions의 유리 생성함수 E^(k)(t)를 특성화하여, F_k / F_{k+1}의 비율로 표현 가능함을 보이는 것.
• 다항식 (F_k)가 계수들이 ℚ[t]에 속하는 선형 재귀를 만족하며, k > d_{a,b} - a - b일 때 차수 d_{a,b} = (a+b choose a)로 성립함을 보이는 것.
• 생성함수 ∑_k F_k z^k가 유리함수이며, 슈어 함수와 펠리즘을 통해 표현 가능하며, 조합론과 대칭 함수 이론을 연결하는 것.

제안 방법

• 엑cursions의 첫 도달 분해에서 유도된 함수방정식에 커널 방법을 적용하여 생성함수 방정식의 정확한 해를 도출한다.
• 전이 행렬 방법과 쌍대 자코비-트루디 항등식을 통해 다항식 F_k의 재귀적 구조를 유도하며, 이를 직사각형 슈어 함수와 연결한다.
• 기본 대칭 함수와 완전 대칭 함수를 사용하여 생성함수 ∑_k F_k z^k를 표현하며, 크기가 a+b인 알파벳에서 e_k[e_a]의 펠리즘을 통해 계수를 계산한다.
• 가환론을 적용하여 E(t)의 최소 다항식 D(t,z)의 기약성 분석을 수행하며, 특히 𝒮 = {−a,a} 또는 gcd(a,b)=1인 𝒮 = {−b,a}와 같은 대칭적 경우를 고려한다.
• 직사각형 슈어 함수 s_{k^a}의 생성함수는 유리함수이며, 분모 차수는 (n choose a), 분자 차수는 (n choose a) − n이다. 여기서 n = a + b이다.
• 유리 생성함수의 분자 다항식 P(z)에 대한 명시적 표현을 대칭 함수를 통해 유도하며, ACE 패키지를 사용해 예제를 계산한다.

실험 결과

연구 질문

• RQ1 단계 집합 𝒮 = {−b, a}에서 a와 b가 서로소일 경우, 엑cursions 생성함수 E(t)의 대수적 차수는 얼마인가?
• RQ2 높이가 유계인 엑cursions의 생성함수 E^(k)(t)는 F_k / F_{k+1}로 표현될 수 있으며, 다항식 F_k는 계수들이 ℚ[t]에 속하는 선형 재귀를 만족하는가?
• RQ3 E(t)를 소거하는 최소 다항식 D(t,z)의 정확한 차수는 얼마이며, 언제 기약인가?
• RQ4 생성함수 ∑_k F_k z^k는 어떻게 대칭 함수로 표현할 수 있으며, 그 유리 구조는 무엇인가?
• RQ5 F_k의 재귀 차수와 단계 집합 𝒮의 조합론적 구조 사이의 연결 고리는 무엇인가?

주요 결과

• 단계 집합 𝒮 = {−b, a}에서 gcd(a,b)=1인 경우, 엑cursions 생성함수 E(t)는 정확히 (a+b choose a)의 차수를 갖는 대수적 함수이며, 그 최소 다항식 D(t,z)는 기약이다.
• 높이가 최대 k인 엑cursions의 생성함수 E^(k)(t)는 유리함수이며, F_k / F_{k+1}와 같다. 여기서 (F_k)는 k > (a+b choose a) − a − b일 때 차수 (a+b choose a)인 선형 재귀를 만족한다.
• 생성함수 ∑_k F_k z^k는 유리함수이며, N(t,z)/D(t,z)와 같다. 여기서 D(t,z)는 E(t)의 최소 다항식이며, z에 대해 차수 (a+b choose a)를 갖는다.
• 다항식 F_k는 크기가 k인 행렬식 또는 크기가 a × k인 직사각형 슈어 함수로 표현 가능하며, 후자의 표현은 크기 a+b로 일정하다.
• 대칭 단계 집합 𝒮 = {−a, a}의 경우, E(t)의 차수는 최대 2^a이며, 커널 다항식의 갈로아 군이 8차 이면, 이 경계는 날카롭게 유지된다. 예를 들어 𝒮 = {−2,2}의 경우 그렇다.
• 유리 생성함수 ∑_k F_k z^k의 분자 다항식 P(z)의 계수는 슈어-비음성 또는 슈어-음성이며, a=2, n=4,5 및 a=3, n=6와 같은 작은 경우에 대해 명시적 표현이 도출된다.