[논문 리뷰] On multi F-nomial coefficients and Inversion formula for F-nomial coefficients

Maciej Dziemiańczuk|ArXiv.org|2008. 06. 23.

semigroups and automata theory참고 문헌 9인용 수 9

한 줄 요약

이 논문은 코브웹 포스엣(positively ordered sets, cobweb posets)의 프레임워크 내에서 F-계수의 일반화로 다중 F-계수(multi F-nomial coefficients)를 도입하며, 층으로 된 포스엣에서 최대한의 서로소 블록 수로 조합적 해석을 제공한다. F-코브웹 적합한 수열 전반에 대해 유효한 보편적인 역행렬 공식을 유도하여 기존의 이항계수, 가우시안계수, 피보나치계수의 결과를 통합하고, 이 일반화된 프레임워크를 통해 새로운 항등식을 도출할 수 있다.

ABSTRACT

In response to [6], we discover the looked for inversion formula for F-nomial coefficients. Before supplying its proof, we generalize F-nomial coefficients to multi F-nomial coefficients and we give their combinatorial interpretation in cobweb posets language, as the number of maximal-disjoint blocks of the form sP_{k_1,k_2,...,k_s} of layer Phi_n>. Then we present inversion formula for F-nomial coefficients using multi F-nomial coefficients for all cobweb-admissible sequences. To this end we infer also some identities as conclusions of that inversion formula for the case of binomial, Gaussian and Fibonomial coefficients.

연구 동기 및 목표

• 조합론에서 더 넓은 적용 가능성을 위해 F-계수를 다중 F-계수로 일반화하는 것.
• 다중 F-계수의 조합적 해석을 코브웹 포스엣에서 최대한의 서로소 블록으로 제공하는 것.
• 모든 F-코브웹 적합한 수열에 대해 유효한 F-계수의 보편적인 역행렬 공식을 도출하는 것.
• 기존의 이항계수, 가우시안계수, 피보나치계수에 대한 역행렬 항등식을 통합하고 일반화하는 것.
• 제시된 역행렬 공식과 제1종 및 제2종 윌슨 수 사이의 연결 고리를 설정하는 것.

제안 방법

• n을 s개의 양의 정수로 분해하는 데 대해 공식 ${n\brace k_1,k_2,\textellipsis,k_s}_F = \frac{n_F!}{(k_1)_F! \cdot (k_2)_F! \cdot \textellipsis \cdot (k_s)_F!}$ 를 통해 다중 F-계수를 도입한다.
• 조합적 해석을 제공한다: 코브웹 포스엣의 층 $\langle \Phi_1 \to \Phi_n \rangle$ 내에서 최대한의 서로소 동치 복사본 $\sigma P_{k_1,k_2,\textellipsis,k_s}$ 의 수.
• 계수 $\lambda_{k_j}$ 에 대해 $n_F = \sum_{j=1}^s \lambda_{k_j} \cdot (k_j)_F$ 를 만족하는 F-코브웹 적합한 수열을 정의하여 다중 F-계수가 자연수임을 보장한다.
• 포함배제 원리를 이용해 분해에 대해 역행렬 공식을 유도하며, $\sum_{j=1}^{n-k-1} (-1)^j \sum_{\substack{k_1+\cdots+k_{j+1}=n-k \\ k_i \geq 1}} {n \brace k,k_1,\textellipsis,k_{j+1}}_F + \text{부호 조정된 합} = 0$ 이 성립함을 보인다.
• 역행렬 공식을 적용하여 제1종 및 제2종 윌슨 수에 대한 항등식을 도출하며, $\Phi_n(x) = \sum_k {n \brace k}_F^{-1} x^k \Leftrightarrow x^n = \sum_k {n \brace k}_F \Phi_k(x)$ 를 통해 다항식 수열과 연결한다.
• 특정 수열에 대해 공식을 검증한다: 자연수 수열 ($n_F = n$), 가우시안 정수 수열 ($n_F = \frac{1-q^n}{1-q}$), 피보나치 수열 ($n_F = F_n$).

실험 결과

연구 질문

• RQ1 코브웹 포스엣의 맥락에서 F-계수는 어떻게 다중 F-계수로 일반화될 수 있는가?
• RQ2 코브웹 포스엣에서 최대한의 서로소 블록으로서 다중 F-계수의 조합적 의미는 무엇인가?
• RQ3 모든 F-코브웹 적합한 수열에 대해 F-계수의 보편적인 역행렬 공식을 도출할 수 있는가?
• RQ4 유도된 항등식은 어떻게 기존의 이항계수, 가우시안계수, 피보나치계수의 결과를 복원하거나 일반화하는가?
• RQ5 역행렬 공식에서 유도되는 다항식 수열은 무엇이며, 이를 위한 닫힌 형태를 유도할 수 있는가?

주요 결과

• 다중 F-계수 ${n \brace k_1,k_2,\textellipsis,k_s}_F$ 는 코브웹 포스엣의 층 $\langle \Phi_1 \to \Phi_n \rangle$ 내에서 최대한의 서로소 동치 복사본 $\sigma P_{k_1,k_2,\textellipsis,k_s}$ 의 수를 세는 것으로 해석된다.
• F-계수의 역행렬 공식은 $\sum_{j=1}^{n-k-1} (-1)^j \sum_{\substack{k_1+\cdots+k_{j+1}=n-k \\ k_i \geq 1}} {n \brace k,k_1,\textellipsis,k_{j+1}}_F + \text{부호 조정된 합} = 0$ 로 표현되며, 모든 F-코브웹 적합한 수열에 대해 유효하다.
• 자연수 수열 ($n_F = n$) 에서 역은 ${n \brace k}_F^{-1} = (-1)^{n-k} {n \choose k}$ 로 주어지며, 고전적인 이항계수 역행렬을 복원한다.
• 가우시안 수열 ($n_F = \frac{1-q^n}{1-q}$) 에서 역은 ${n \brace k}_F^{-1} = (-1)^{n-k} {n \choose k}_q q^{\binom{n-k}{2}}$ 로 주어지며, 가우시안 이항계수 역행렬을 일반화한다.
• 피보나치 수열 ($n_F = F_n$) 에서는 역행렬 공식이 명시적인 다항식 $\Phi_n(x)$ 를 생성하며, $\Phi_0(x)=1$, $\Phi_1(x)=x-1$, $\Phi_2(x)=x^2-x$, $\Phi_3(x)=x^3-2x^2+1$ 등이 되며, 닫힌 형태는 아직 알려져 있지 않다.
• 역행렬 공식은 윌슨 수 항등식을 통합하여, $W_{ij}$ 가 F-계수이고 $w_{ij}$ 가 그의 부호 조정된 역행렬일 때, $\left[W_{ij}\right] \ast \left[w_{ij}\right] = \delta_{i,j}$ 를 만족함을 보여준다.