[논문 리뷰] Generalized Dyck paths of bounded height

Axel Bacher|arXiv (Cornell University)|2013. 03. 11.

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

한 줄 요약

이 논문은 전이 행렬 방법을 사용하여 고정 높이를 가진 일반화된 딕 경로에서 다항식 $ F_k $ 와 그 선형 재귀관계에 대한 조합적 해석을 제공한다. 유계 경로와 유계 미앤더의 생성 함수를 유도하며, 대칭적인 스텝 세트는 전이 행렬의 블록 대각화를 통해 상당한 단순화를 이끌어내어 계산 복잡도를 감소시키고 생성 함수의 더 깊은 대수적 구조를 드러낸다.

ABSTRACT

Generalized Dyck paths (or discrete excursions) are one-dimensional paths that take their steps in a given finite set S, start and end at height 0, and remain at a non-negative height. Bousquet-Mélou showed that the generating function E_k of excursions of height at most k is of the form F_k/F_{k+1}, where the F_k are polynomials satisfying a linear recurrence relation. We give a combinatorial interpretation of the polynomials F_k and of their recurrence relation using a transfer matrix method. We then extend our method to enumerate discrete meanders (or paths that start at 0 and remain at a non-negative height, but may end anywhere). Finally, we study the particular case where the set S is symmetric and show that several simplifications occur.

연구 동기 및 목표

• 유계 높이의 교행( excursion)에 대한 생성 함수 $ E_k = F_k / F_{k+1} $ 에서 나타나는 다항식 $ F_k $ 에 대한 조합적 해석을 제공하는 것.
• 전이 행렬 방법을 확장하여 높이 제약 조건 하에서 임의의 종료 높이를 가진 이격 경로(미앤더)를 세는 데 적용하는 것.
• 스텝 세트 $ S $ 가 대칭일 경우, 전이 행렬의 구조적 단순화가 생성 함수의 계산을 더 효율적으로 만드는 분석을 수행하는 것.
• 생성 함수 $ F_k^+ $, $ F_k^- $ 와 그 높이에 따라 세분화된 형태인 $ F_{k, ho}^+ $, $ F_{k, ho}^- $ 에 대한 재귀관계를 유도하여, 분모가 축소된 유리 생성 함수를 만족함을 보여주는 것.

제안 방법

• 유계 교행을 정점 집합 $ \{0, \dotsc, k\} $ 을 가진 유한 그래프 위의 걷기로 모델링하기 위해 전이 행렬 방법을 적용하며, 여기서 간선은 $ S $ 에 속하는 스텝에 대응하고, 인접 행렬 $ A_k $ 는 전이를 표현한다.
• 생성 함수 $ E_k $ 는 $ (1 - A_k)^{-1} $ 의 $ (0,0) $-성분으로 유도되며, 이는 $ E_k = F_k / F_{k+1} $ 를 이끌어내며, 여기서 $ F_k = \det(1 - A_{k-1}) $ 이다.
• 통과 행렬 $ P $ 를 사용하여 $ A_k $ 의 블록 분해를 수행하여 $ P^{-1}A_kP = \text{diag}(A_k^+, A_k^-) $ 를 얻는다. 이는 행렬의 행렬식과 여인수의 계산을 단순화한다.
• 대칭 스텝 세트의 경우, 행렬 $ A_k^+ $ 와 $ A_k^- $ 가 더 작은 행렬 $ A_{k^+} $, $ A_{k^-} $ 와 동형임을 보여주며, 이는 $ \mathbf{F}_k^+ = \mathbf{T} \mathbf{F}_{k-2}^+ $ 와 같은 형태의 재귀관계를 가능하게 하여 차원을 감소시킨다.
• 생성 함수 $ \sum_k F_k^+ z^k $ 와 $ \sum_k F_k^- z^k $ 는 분모가 $ D(z^2) $ 인 유리 함수임을 보이며, 여기서 $ D(z) $ 는 전체 교행 생성 함수의 최소 다항식이다.
• 생성 함수 $ F_{k,\ell}^+ $ 와 $ F_{k,\ell}^- $ 의 이변수 생성 함수는 분모가 $ \widetilde{D}(uz^2) D(z^2) $ 인 유리 함수로 유도되며, 이는 최종 높이 $ \ell $ 에 대한 체계적인 의존성을 드러낸다.

실험 결과

연구 질문

• RQ1 유리 생성 함수 $ E_k = F_k / F_{k+1} $ 에서 나타나는 다항식 $ F_k $ 는 전이 행렬 방법을 통해 어떻게 조합적으로 해석될 수 있는가?
• RQ2 전이 행렬 방법은 교행 외에도 높이 제약 조건 하에서의 유계 미앤더 생성 함수를 계산하는 데 확장 가능한가?
• RQ3 스텝 세트 $ S $ 가 대칭일 경우 생성 함수에 어떤 구조적 단순화가 발생하는가?
• RQ4 블록 대각화된 전이 행렬에서 $ F_k^+ $, $ F_k^- $ 와 그 높이에 따라 세분화된 형태인 $ F_{k,\ell}^+ $, $ F_{k,\ell}^- $ 의 재귀관계는 어떻게 유도되는가?
• RQ5 세분화된 미앤더 수 $ E_{k,\ell} $ 의 이변수 생성 함수의 정확한 형태는 무엇이며, 전체 미앤더 생성 함수 $ M_k $ 와의 관계는 어떻게 되는가?

주요 결과

• 높이가 최대 $ k $ 인 미앤더의 생성 함수 $ M_k $ 는 $ M_k = F_k^+(1) / F_{k+1}^+ $ 로 주어지며, 일반적인 경우에 존재하는 $ F_{k+1}^- $ 항을 제거하여 표현을 단순화한다.
• 대칭 스텝 세트의 경우, 행렬 $ A_k^+ $ 와 $ A_k^- $ 는 더 작은 행렬 $ A_{k^+} $, $ A_{k^-} $ 와 동형이며, 이는 차수 $ k-2 $ 의 재귀관계를 유도하여 계산 복잡도를 감소시킨다.
• 생성 함수 $ \sum_k F_k^+ z^k $ 와 $ \sum_k F_k^- z^k $ 는 분모가 $ D(z^2) $ 인 유리 함수이며, 여기서 $ D(z) $ 는 전체 교행 생성 함수의 최소 다항식이다.
• 생성 함수 $ F_{k,\ell}^+ $ 와 $ F_{k,\ell}^- $ 의 이변수 생성 함수는 분모가 $ \widetilde{D}(uz^2) D(z^2) $ 인 유리 함수이며, 이는 높이 $ \ell $ 과 인덱스 $ k $ 에 대한 체계적이고 주기적인 의존성을 나타낸다.
• 피보나치 경우($ S = \{\pm 1\} $) 에서는 다항식 $ F_k^+ $ 와 $ F_k^- $ 가 명시적인 재귀관계를 만족한다: $ F_{2k}^+ = F_k - tF_{k-1} $, $ F_{2k+1}^+ = F_{k+1} - t^2 F_{k-1} $, 그리고 $ F_{2k}^- = F_k + tF_{k-1} $, $ F_{2k+1}^- = F_k $, 이는 일반적인 재귀관계 구조와 일치한다.
• 통과 행렬 $ P $ 를 통한 블록 대각화는 생성 함수의 깔끔한 분해를 이끌어내며, 이는 $ E_{k,\ell} $ 가 행렬 크기의 절반만으로도 계산 가능함을 보여주어 효율성을 크게 향상시킨다.