[논문 리뷰] Counting Bipartite, k-Colored and Directed Acyclic Multi Graphs Through F-nomial coefficients

Maciej Dziemiańczuk|ArXiv.org|2009. 01. 11.

Advanced Combinatorial Mathematics참고 문헌 12인용 수 5

한 줄 요약

이 논문은 $N(\alpha)$-다항계수—이항계수와 가우시안 계수의 일반화—를 레이블이 부여된 이분할 $\alpha$-다중그래프 및 $k$-색상 $\alpha$-다중그래프로 세는 조합적 해석을 제시한다. 또한 이러한 계수의 역행렬의 부호 없는 첫 번째 행이 레이블이 부여된 방향성 있는 사이클 없는 $\alpha$-다중그래프의 수와 같음을 증명하며, 이는 부호가 있는 $N(\alpha)$-다항계수의 합으로 닫힌 형태의 수를 세는 공식을 제공한다.

ABSTRACT

F-nomial coefficients encompass among others well-known binomial coefficients or Gaussian coefficients that count subsets of finite set and subspaces of finite vector space respectively. Here, the so called F-cobweb tiling sequences N(a) are considered. For such specific sequences a new interpretation with respect to Kwasniewski general combinatorial interpretation of F-nomial coefficients is unearhed. Namely, for tiling sequences F = N(a)$ the F-nomial coefficients are equal to the number of labeled special bipartite multigraphs denoted here as a-multigraphs G(a,n,k). An explicit relation between the number of k-colored a-multigraphs and multi N(a)-nomial coefficients is established. We also prove that the unsigned values of the first row of inversion matrix for N(a) -nomial coefficients considered here are equal to the numbers of directed acyclic a-multigraphs with n nodes.

연구 동기 및 목표

• 일반적인 코브웹-허용성 시퀀스를 초월해 특정한 $N(\alpha)$-타일링 시퀀스로 $F$-다항계수의 조합적 해석을 확장하기.
• $N(\alpha)$-다항계수와 한 쪽에 $k$개 정점이 있는 레이블이 부여된 이분할 $\alpha$-다중그래프의 수 사이의 직접적인 대응 관계를 설정하기.
• $N(\alpha)$-다항계수를 사용하여 $k$-색상 $\alpha$-다중그래프의 수를 위한 공식 유도하기.
• $N(\alpha)$-다항계수의 역행렬의 첫 번째 행의 절댓값이 $n$개 정점을 가진 레이블이 부여된 방향성 있는 사이클 없는 $\alpha$-다중그래프의 수와 같다는 것을 증명하기.
• $N(\alpha)$ 시퀀스에서 유도된 매개변수화된 $F$-다항계수의 가족을 이용해 기존의 다중그래프 수의 세기 결과들을 통합하고 일반화하기.

제안 방법

• $N(\alpha)$를 $n_{F} = n \cdot \alpha^{n-1}$으로 정의하는 코브웹-타일링 시퀀스로 간주하고, 이는 $N(\alpha)$-다항계수의 기초를 형성한다.
• 표준 $F$-다항계수 공식인 $\binom{n}{k}_F = \frac{n_F^{– k}}{k_F!}$를 사용하며, 여기서 $n_F^{– k}$는 시퀀스 $F$에 대한 내림계수를 의미한다.
• 레이블이 부여된 이분할 $\alpha$-다중그래프 $G(\alpha,n,k)$의 수가 $\binom{n}{k}_F \cdot \alpha^{k(n-k)}$임을 증명하여 $N(\alpha)$-다항계수와 연결한다.
• 들어오는 차수 0인 정점(출점)을 고려하여 포함-배제 원리를 적용함으로써 방향성 있는 사이클 없는 다중그래프를 세는 재귀적 공식을 유도한다.
• $N(\alpha)$-다항계수의 역행렬 공식을 유도하며, $\binom{n}{0}_F^{-1} = \sum_{s=1}^n (-1)^s \sum_{k_1+\cdots+k_s=n \atop k_i \geq 1} \binom{n}{k_1,\dots,k_s}_F$ 를 보여준다.
• 재귀적 전개와 합의 재인덱싱을 통해 레이블이 부여된 사이클 없는 $\alpha$-다중그래프의 수 $A_\alpha(n)$이 $|\binom{n}{0}_F^{-1}| = (-1)^n \binom{n}{0}_F^{-1}$ 와 같음을 증명한다.

실험 결과

연구 질문

• RQ1 $N(\alpha)$-다항계수는 다중그래프 구조로 어떻게 조합적으로 해석될 수 있는가?
• RQ2 $k$-색상 $\alpha$-다중그래프의 수에 대한 명시적 공식은 무엇이며, $N(\alpha)$-다항계수와 어떤 관계가 있는가?
• RQ3 레이블이 부여된 방향성 있는 사이클 없는 $\alpha$-다중그래프의 수는 $N(\alpha)$-다항계수의 역행렬을 통해 표현될 수 있는가?
• RQ4 포함-배제 원리는 $\alpha$-다중 간선을 가진 사이클 없는 다중그래프를 세는 데 어떤 역할을 하는가?
• RQ5 $N(\alpha)$ 시퀀스의 구조는 이항계수와 가우시안 계수의 해석을 다중그래프로 일반화하는 데 어떻게 기여하는가?

주요 결과

• 정점 수가 $n$이고 한 쪽에 $k$개 정점이 있는 레이블이 부여된 이분할 $\alpha$-다중그래프의 수는 $\beta_{\alpha,n,k} = \binom{n}{k}_{N(\alpha)} \cdot \alpha^{k(n-k)}$ 로 주어지며, 이는 $N(\alpha)$-다항계수와 직접 연결된다.
• $k$-색상 $\alpha$-다중그래프의 수는 $\binom{n}{k}_{N(\alpha)} \cdot \alpha^{k(n-k)}$ 로 명시적으로 주어지며, 이는 색상 버전으로의 해석 확장을 제공한다.
• $N(\alpha)$-다항계수의 역행렬의 부호 없는 첫 번째 행은 $n$개 정점을 가진 레이블이 부여된 방향성 있는 사이클 없는 $\alpha$-다중그래프의 수와 같다.
• 이러한 사이클 없는 다중그래프의 수는 $A_\alpha(n) = (-1)^n \binom{n}{0}_{N(\alpha)}^{-1}$ 로 주어지며, $A_\alpha(0) = 1$ 이다. 이는 닫힌 형태의 표현을 제공한다.
• 유도 과정은 사이클 없는 다중그래프의 출점에 대한 재귀적 포함-배제 원리를 사용하며, 이는 $n$의 분할에 대한 부호가 있는 $N(\alpha)$-다항계수의 합으로 이어진다.
• 이 결과는 $\alpha=2$의 경우 기존에 연구된 $F$-다항계수를 이용한 이분할 및 사이클 없는 그래프의 수의 세기 공식으로 줄어들며, 이는 기존 사례를 일반화한다.