[논문 리뷰] Euler Coefficients and Restricted Dyck Paths

Heinrich Niederhausen, Shaun Sullivan|arXiv (Cornell University)|2007. 05. 21.

Mathematics and Applications참고 문헌 1인용 수 9

한 줄 요약

이 논문은 유한 연산자 해석학에서 유도된 오일러 계수를 사용하여, $ r $개의 연속적인 하강 단계($ d^r $) 또는 상승 단계($ u^r $)를 피하는 다이크 경로를 세는 폐쇄형 공식을 개발한다. 경로가 임의의 점 $ (n,m) $에서 끝날 때의 생성함수와 정확한 조합론적 표현을 유도하며, 주요 결과로 이러한 경로의 수가 오일러 계수를 포함한 이항계수의 부호가 붙은 합으로 주어지며, 제한된 단계 패턴 하에서 카탈란 수와 유사한 수의 세기의 일반화를 보여준다.

ABSTRACT

We consider the problem of enumerating Dyck paths staying weakly above the x-axis with a limit to the number of consecutive up steps, or a limit to the number of consecutive down steps. We use Finite Operator Calculus to obtain formulas for the number of all such paths reaching a given point in the first quadrant. All our results are based on the Eulerian coefficients.

연구 동기 및 목표

• 제한된 단계 패턴 하에서 $ r $개의 연속적인 $ \searrow $ (하강) 또는 $ \nearrow $ (상승) 단계를 피하는 다이크 경로를 세는 것, 고전적 다이크 경로 수의 일반화.
• 첫 번째 사분면 내 임의의 점 $ (n,m) $에서 끝나는 이러한 제한된 다이크 경로의 수에 대한 폐쇄형 표현을 수립하는 것.
• 유한 연산자 해석학과 오일러 계수를 적용하여 이러한 제한된 경로 수에 대한 생성함수와 조합론적 항등식을 도출하는 것.
• 특수한 경우인 $ r = 4 $를 조사하며, $ u^4 $-피하는 경로에 대해 제곱근 표현을 포함한 추측된 생성함수를 제안하는 것.

제안 방법

• 논문은 $ r $개의 연속적인 오른쪽 단계($ \rightarrow^r $)를 피하는 발기표 경로에 대해 유한 연산자 해석학을 사용하여 재귀 관계를 유도하며, 이는 $ d^r $-피하는 다이크 경로와 대응된다.
• 오일러 계수 $ \binom{n}{k}_r $는 전개식 $ (1 + t + \cdots + t^{r-1})^n = \sum_k \binom{n}{k}_r t^k $을 통해 정의되며, 이는 부호가 붙은 이항계수의 합으로 표현된다: $ \binom{n}{k}_r = \sum_{i=0}^{\lfloor k/r \rfloor} (-1)^i \binom{n}{i} \binom{n + k - ri - 1}{k - ri} $.
• 점 $ (2n+b, 2m+b) $에서 $ d^r $를 피하는 다이크 경로의 수는 $ Dyck(2n+b, 2m+b; d^r) = \frac{2m+b+1}{n+m+b+1} \binom{n+m+b+1}{n-m}_r $로 주어지며, 여기서 오일러 계수가 제한 조건을 반영한다.
• 상승 단계 $ u^r $를 피하는 경로의 경우, 더 복잡한 합이 도출된다: $ D(2m+b,2m+b;u^4) = \sum_{i=0}^{2m+b-1} \frac{1}{n+m+b+1-i} \binom{i-2m-b}{i}_r \binom{n+m+b+1-i}{n+m+b-i}_r $.
• $ d^r $-피하는 경로의 생성함수는 $ \sum_n s_n(m) t^n = \frac{(1-t^r)^m}{(1-t)^{m+2}} \left( r t^r (1-t) + (1-t^r)(1-2t) \right) $로 보여지며, 카탈란 생성함수를 일반화한다.
• 논문은 $ u^4 $-피하는 경로에 대해 폐쇄형 생성함수를 추측한다: $ \sum_n Dyck(4m-n-1,2m-n+1;u^4) t^n = \frac{1}{2} (3 + t - \sqrt{(1+t)^2 + 4t^3}) \left( \frac{1-t^4}{1-t} \right)^m $.

실험 결과

연구 질문

• RQ1 일반적인 점 $ (n,m) $에서 끝나는 $ r $개의 연속적인 하강 단계($ d^r $)를 피하는 다이크 경로를 어떻게 세는가?
• RQ2 제한된 오른쪽 단계($ \rightarrow^r $)를 피하는 발기표 경로의 생성함수는 무엇이며, 오일러 계수와 어떻게 관련되는가?
• RQ3 $ r = 4 $인 경우 $ u^4 $-피하는 경로에서 특별한 구조가 나타나는 이유는 무엇이며, 폐쇄형 생성함수를 유도할 수 있는가?
• RQ4 오일러 계수는 제한된 격자 경로 수의 세기 맥락에서 이항계수를 어떻게 일반화하는가?

주요 결과

• 점 $ (2n+b, 2m+b) $에서 $ d^r $를 피하는 다이크 경로의 수는 $ \frac{2m+b+1}{n+m+b+1} \binom{n+m+b+1}{n-m}_r $로 주어지며, 여기서 $ \binom{n}{k}_r $는 이항계수의 음의 합으로 정의된 오일러 계수이다.
• $ d^r $-피하는 발기표 경로의 생성함수는 $ \sum_n s_n(m) t^n = \frac{(1-t^r)^m}{(1-t)^{m+2}} \left( r t^r (1-t) + (1-t^r)(1-2t) \right) $이며, 카탈란 생성함수를 일반화한다.
• 특수한 경우 $ r = 4 $에 대해, 논문은 $ u^4 $-피하는 경로의 생성함수로 $ \frac{1}{2} (3 + t - \sqrt{(1+t)^2 + 4t^3}) \left( \frac{1-t^4}{1-t} \right)^m $를 추측하며, 이는 $ Dyck(2m,0;u^4) $에 대한 새로운 폐쇄형 표현을 암시한다.
• 오일러 계수 $ \binom{n}{k}_r $는 이항계수와 유사한 성질을 만족하며, 파스칼 유사 항등식, 대칭성 $ \binom{n}{k}_r = \binom{n}{n(r-1)-k}_r $, 바르데모운드 유사 콘볼루션을 포함한다.
• 모든 $ r \to \infty $일 때 $ \binom{n}{k}_r \to \binom{n+k-1}{k} $이며, 이는 제한이 없는 경로의 생성함수를 복원하고, $ \frac{1}{n+1} \binom{n+1}{n}_r \to C_n $이며, 이는 $ n $번째 카탈란 수이다.