[논문 리뷰] Natural join construction of graded posets versus ordinal sum and discrete hyper boxes

A. K. Kwaśniewski|ArXiv.org|2009. 07. 15.

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

한 줄 요약

이 논문은 계급화된 부분순서집합에 대한 새로운 구성인 자연합성 연산 $P \oplus\!\to Q$를 제안하며, 순서합을 일반화하고 코브웹 부분순서집합의 모비우스 함수 공식을 단순하게 유도할 수 있는 통합 프레임워크를 제공한다. 이 방법은 계급화된 부분순서집합의 이중인접행렬의 자연합성을 활용하며, 이를 코완(코완 완비 DAG, Ko-complete DAGs)으로 해석하고, $F$-계급화 구조와 $F$-다항식을 사용하여 웨이틀리 수와 특성다항식에 대한 명시적 공식을 수립한다.

ABSTRACT

One introduces here the natural join $P \os Q$ of graded posets $< P,\leq_P >$ and $< Q,\leq_Q >$ with correspondingly maximal and minimal sets being identical as expressed by ordinal sum $P\oplus Q$ apart from other definition and due to that one arrives at a simple proof of the $M{ö}bius $ function formula for cobweb posets. We also quote the other authors explicit formulas for the zeta matrix and its inverse for any graded posets with the finite set of minimal elements from earlier works of the author. These formulas are based on the formulas for cobweb posets and their $Hasse$ diagrams or graphs named $KoDAGs$ which are interpreted as chains of binary complete or universal relations joined by the natural join operation. Natural join of two independent sets is therefore the ordinal sum of this trivially ordered posets represented also by directed biclique named dibiclique and correspondingly by their $Hasse $ diagrams or graphs named $KoDAGs$. Such cobweb posets and equivalently their Hasse diagrams or graphs named $KoDAGs$ are also encoded by discrete hyper-boxes and the natural join operation of such discrete hyper boxes is just cartesian product of them accompanied with projection out of common faces. All graded posets with no mute vertices in their $Hasse$ diagrams which means that no vertex has indegree or outdegree equal zero are natural join of chain of relations and may be at the same time interpreted an $n-ary$ relation, $n \in N \cup \{\infty \}$.

연구 동기 및 목표

• 계급화된 부분순서집합에 대해 자연합성 연산을 사용하여 순서합 구성의 통합 및 일반화를 도모한다.
• 자연합성과 코완 표현을 통한 코브웹 부분순서집합의 모비우스 함수 공식에 대한 단순하고 체계적인 증명을 제공한다.
• 자연합성 연산을 통해 $F$-계급화 구조를 사용하여 코브웹 부분순서집합의 웨이틀리 수와 특성다항식에 대한 명시적 공식을 도출한다.
• F-계급화 부분순서집합이 $n$-항관계로 표현될 수 있는 조건을 명확히 하며, 침묵하는 정점(무음 정점)을 배제한다.
• 이산적 하이퍼박스, 자연합성, 카르테시안 곱 및 공통 면의 사영 간의 관계를 설정한다.

제안 방법

• 두 계급화된 부분순서집합 $P$와 $Q$에 대해, $P$의 최대 집합과 $Q$의 최소 집합을 식별하는 방식으로 자연합성 $P \oplus\!\to Q$를 정의하며, 이는 순서합을 일반화한다.
• 코브웹 부분순서집합을 코완(DAG, Ko-complete DAGs)으로 표현한다. 이는 이진 완비관계의 사슬을 인코딩한 방향성 있는 사이클 없는 그래프이다.
• 연속된 수준의 이중인접행렬을 사용하여 자연합성 연산을 모델링하며, $n$-항관계 표현을 위해 0행 또는 0열이 없는(침묵하는 정점이 없는) 조건을 확보한다.
• incidence 행렬 $\kappa$를 사용하여 $[Max]$의 제타 행렬을 거듭제곱 급수 $(I - \kappa)^{-1} = \sum_{k \geq 0} \kappa^k$로 유도한다.
• 역제타 행렬 $[Max]^{-1} = \delta - \kappa$를 하삼각행렬로 구성하며, 대각선에는 항등행렬 블록, 아래에는 음의 이중인접행렬 블록을 포함한다.
• 구간 $[x_k, x_n]$ 내의 최대 사슬 수를 $[Max]_{k,n}$를 통해 표현하며, 이는 $F$-다항계수와 계승을 포함한 명시적 공식으로 이어진다.

실험 결과

연구 질문

• RQ1 동일한 최대/최소 집합을 가진 계급화된 부분순서집합의 맥락에서 자연합성 연산은 순서합을 어떻게 일반화하는가?
• RQ2 코완(DAG)과 이중인접행렬은 코브웹 부분순서집합을 어떻게 표현하고, 모비우스 함수 유도에 어떤 역할을 하는가?
• RQ3 어떤 조건에서 $F$-계급화 부분순서집합이 $n$-항관계로 표현될 수 있으며, 침묵하는 정점의 부재는 이에 어떤 영향을 미치는가?
• RQ4 자연합성 구성에 의해 코브웹 부분순서집합의 웨이틀리 수와 특성다항식에 대해 유도할 수 있는 명시적 공식은 무엇인가?
• RQ5 이산적 하이퍼박스는 계급화된 부분순서집합의 자연합성과 카르테시안 곱 간에 어떻게 관련되어 있는가?

주요 결과

• 자연합성 $P \oplus\!\to Q$는 순서합을 일반화하며 코브웹 부분순서집합의 모비우스 함수 공식을 단순하게 도출할 수 있는 통합적 구성이다.
• 구간 $[x_k, x_n]$ 내의 최대 사슬 수는 $[Max]_{k,n} = \binom{n-1}{k-2}_F (n-k+1)_F!$로 주어지며, 여기서 $\binom{n-1}{k-2}_F$는 $F$-다항계수이다.
• 역제타 행렬 $[Max]^{-1}$는 대각선에 항등행렬 블록, 아래에 음의 이중인접행렬 블록을 가진 하삼각행렬이며, 이는 효율적인 모비우스 함수 계산을 가능하게 한다.
• 침묵하는 정점이 없는(이중인접행렬에 0행 또는 0열이 없는) 코브웹 부분순서집합은 자연합성에 의해 이진 완비관계의 조합으로 $n$-항관계로 해석될 수 있다.
• 코브웹 부분순서집합의 특성다항식과 웨이틀리 수는 자연합성 구조에서 유도된 $F$-다항식과 $F$-계승을 사용하여 명시적으로 표현된다.
• 이산적 하이퍼박스는 $F$-계급화 부분순서집합의 자연합성과 일치하며, 공통 면의 사영을 포함한 카르테시안 곱으로 실현되며, 부분순서집합의 구조를 유지한다.