[논문 리뷰] Context-free grammars for several polynomials associated with Eulerian polynomials

Shi-Mei Ma, Jun Ma외 2명|arXiv (Cornell University)|2016. 09. 19.

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

한 줄 요약

이 논문은 $q$-Eulerian 다항식, 교대 달음다리 다항식, 그리고 유형 A와 B의 데르랑주 다항식에 대해 문맥 자유 문법을 도입하여 조합론적이고 문법적인 기술을 제공한다. 레이블이 부여된 순열에 대한 형식적 미분을 사용하여, 저자들은 명시적인 생성함수와 콘볼루션 공식을 유도하며, 문법적 레이블링과 미분 연산자에 의해 이러한 다항식들을 통합된 프레임워크로 정립한다.

ABSTRACT

In this paper, we present grammatical descriptions of several polynomials associated with Eulerian polynomials, including q-Eulerian polynomials, alternating run polynomials and derangement polynomials. As applications, we get several convolution formulas involving these polynomials.

연구 동기 및 목표

• 형식적 문맥 자유 문법을 사용하여 유형 A와 B의 $q$-Eulerian 다항식에 대한 문법적 기술을 개발한다.
• 문법적 접근을 교대 달음다리 다항식과 유형 B의 데르랑주 다항식으로 확장한다.
• 일致된 레이블링 및 도함수 프레임워크를 통해 이러한 다항식들 뒤에 숨겨진 조합론적 구조를 통합한다.
• 형식적 도함수 연산자를 사용하여 이러한 다항식들의 콘볼루션 공식과 생성함수를 도출한다.

제안 방법

• 알파벳 $A = \{x, y, z, e\}$ 위에서 문법 $G$를 정의하며, 생성 규칙은 $x \to xy^2$, $y \to x^2y$, $z \to x^2y^2z^{-3}$, $e \to qez^4$이다.
• 순열에서 유도된 단항식에 형식적 도함수 $D$를 적용하며, $D$는 문법 규칙을 존중하는 도함수로 작용한다.
• 초월, 반초월, 고립점, 순환 수를 각각 $x$, $y$, $z$, $q$에 따라 순열에 레이블링한다.
• $D^n(e)$의 작용을 통해 $\text{wexc}(\pi)$, $\text{aexc}(\pi)$, $\text{single}(\pi)$, $\text{cyc}(\pi)$와 같은 통계를 포함하는 다항식을 생성한다.
• 미분 방정식을 통해 $G(x,y;t) = \frac{e^{(1-2x)t}}{1 - \frac{x}{y-x}(e^{2(y-x)t} - 1)}$와 같은 생성함수를 도출한다.
• $D^n(e)$의 구조와 그 구성 요소를 분석하여 재귀 관계와 콘볼루션 항등식을 수립한다.

실험 결과

연구 질문

• RQ1 형식적 문맥 자유 문법을 사용하여 순환 수와 부호 통계를 포함한 유형 B의 $q$-Eulerian 다항식을 어떻게 생성할 수 있는가?
• RQ2 교대 달음다리 다항식의 유형 B에 대한 문법적 구조는 무엇이며, 형식적 도함수를 통해 어떻게 도출할 수 있는가?
• RQ3 일致된 문법적 레이블링 체계를 통해 유형 B의 데르랑주 다항식을 초월, 반초월, 순환 수에 대해 기술할 수 있는가?
• RQ4 이러한 다항식의 문법적 표현에 대한 형식적 도함수에서 유도되는 콘볼루션 공식은 무엇인가?
• RQ5 이러한 다항식의 생성함수는 미분 방정식과 지수 생성함수와 어떻게 관련이 있는가?

주요 결과

• 형식적 도함수 $D^n(e)$는 유형 B의 데르랑주 다항식 $d_n^B(x)$를 생성하며, $D^n(e) = e \sum_{\pi \in \mathcal{D}_n^B} x^{2\text{wexc}(\pi)} y^{2\text{aexc}(\pi)} z^{4\text{single}(\pi)} q^{\text{cyc}(\pi)}$이다.
• 콘볼루션 공식이 도출된다: $d_{n+1}^B(x) = d_n^B(x) + x \sum_{k=0}^{n-1} 2^{n-k+1} \binom{n}{k} d_k^B(x) A_{n-k}(x)$.
• 생성함수 $G(x,y;t) = \frac{e^{(1-2x)t}}{1 - \frac{x}{y-x}(e^{2(y-x)t} - 1)}$는 문법에서 유도된 미분 방정식을 만족함이 입증된다.
• 재귀 관계 $d(n+1,i,j) = d(n,i,j) + 2id(n,i,j-1) + 2jd(n,i-1,j) + 4(n-i-j+2)d(n,i-1,j-1)$는 초기 조건 $d(1,0,0) = 1$과 함께 성립한다.
• 추가 매개변수 $u,v,z$를 포함한 생성함수로는 $\frac{e^{(vz - (u+v)x)t}}{1 - \frac{x}{y-x}(e^{(u+v)(y-x)t} - 1)}$가 있으며, 이는 부호 수와 양수 요소 수를 포함하도록 모델을 확장한다.
• 문법 $G = \{x \to xy^2, y \to x^2y, z \to x^2y^2z^{-3}, e \to qez^4\}$는 $D^n(e)$를 통해 모든 유형 B의 데르랑주 순열과 레이블링된 통계를 생성한다.