[논문 리뷰] On natural join of posets properties and first applications

A. K. Kwaśniewski|ArXiv.org|2009. 08. 10.

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

한 줄 요약

이 논문은 부분순서집합(포스셋)에 대한 새로운 자연조인 연산 $P \oplus\!\to Q$를 제안하며, 이는 이전의 코브웹 포스셋과 그 하세 다이어그램(KoDAG) 구조를 통합하고 일반화한다. 공통된 부분포스셋에 대해 동형성 조건을 강제함으로써, 이 연산은 코브웹 포스셋의 모비우스 함수 공식을 단순하게 유도할 수 있게 하며, 묵음 정점이 없는 모든 계층적 포스셋이 전역 관계의 체인들의 자연조인으로 표현 가능하다는 것을 보여주고, 켄스 notation을 사용하여 제타 및 모비우스 행렬에 대한 명시적 공식을 도출한다.

ABSTRACT

In addition to the three standard operations on posets which are dual of poset or ordinal and cardinal sums of partial ordered sets one adds the natural join of posets. This is especially natural natural join operation for graded posets including very special and important the so called cobweb posets. The main aims of this article are the presentation of the authors update applications of natural join of posets in the domain of graded posets and summary of the general properties of natural join of posets with posing some questions arising on the way. Thus in this note apart from revealing some general properties of natural join of posets we also deliver the authors combinatorial interpretations of cobweb posets including discrete hyperboxes coding of the so called cobweb posets .Various explicit formulas for the zeta functions and zeta matrices as well as the inverse of zeta matrix for any graded posets are supplied. Whitney numbers formulas and those for characteristic polynomials are given too.

연구 동기 및 목표

• 포스셋에 대한 자연조인 연산 $P \oplus\!\to Q$를 형식화하고 일반화하여, 동형 부분포스셋을 통한 호환성을 보장한다.
• 코브웹 포스셋과 그 하세 다이어그램(KoDAG)을 체인 형태의 전역 관계의 자연조인으로 통합적인 프레임워크를 제공한다.
• 계층적 포스셋, 특히 코브웹 포스셋의 제타 및 모비우스 행렬에 대한 명시적 공식을 켄스 표기법을 사용하여 도출한다.
• 코브웹 포스셋이 N-free이며, 시리즈-패러럴이고, 그레디이며 차원이 2임을 입증하여 그 구조적 및 알고리즘적 성질을 명확히 한다.
• KoDAG 및 코브웹 포스셋의 타일링, 가역성, 구조적 성질에 관한 열린 문제를 제기한다.

제안 방법

• 동형 부분포스셋 $R \subseteq P$ 및 $R' \subseteq Q$에 대해 부분순서가 동치가 되도록 자연조인 $P \oplus\!\to Q$를 정의하며, $R$과 $R'$를 동일한 것으로 간주한다.
• 코브웹 포스셋을 $r$-항 전역관계의 체인들의 자연조인으로 표현하며, 각 수준 $\Phi_k$의 크기가 $k_F$이며, 이는 수열 $F = \{k_F\}_{k \geq 0}$로 표현된다.
• 켄스 표기법과 거꾸로 뒤집힌 표기법($F_n \equiv n_F$)을 사용하여 계층적 포스셋의 제타 및 모비우스 행렬 공식을 표현한다.
• 자연조인을 이용해 묵음 정점이 없는 계층적 포스셋을 이진 완전(전역) 관계의 체인들로 분해하고, 공통 면을 투영하는 카티esian 곱을 통해 KoDAG를 구성한다.
• 자연조인 구조와 행렬 보완을 활용하여 코브웹 포스셋의 웨이트니 수와 특성 다항식에 대한 명시적 공식을 도출한다.
• 기존의 시리즈-패러럴 및 그레디 포스셋에 대한 결과를 활용하여 코브웹 포스셋이 N-free이며 차원이 2임을 증명한다.

실험 결과

연구 질문

• RQ1 자연조인 연산이 동형 부분포스셋에서 순서 동치성을 유지하도록 어떻게 형식적으로 정의할 수 있으며, 그 기초적 성질은 무엇인가?
• RQ2 자연조인 연산이 코브웹 포스셋의 모비우스 함수 공식 유도를 어떻게 단순화하는가?
• RQ3 묵음 정점이 없는 모든 계층적 포스셋은 전역관계의 체인들의 자연조인으로 표현 가능한가? 이는 그 하세 다이어그램의 구조와 어떻게 관련되는가?
• RQ4 자연조인 연산과 포스셋의 차원 또는 페러스 차원 사이의 관계는 무엇인가? 특히 코브웹 포스셋의 경우에 대해 설명하라.
• RQ5 코브웹 포스셋은 가역적인가? 그레디 및 최적 선형 확장의 맥락에서 가역성을 결정짓는 조건은 무엇인가?

주요 결과

• 자연조인 $P \oplus\!\to Q$는 자연조인 적합성 조건을 만족하여 동형 부분포스셋에서 순서 호환성을 보장하며, 코브웹 포스셋의 통합적 구조를 가능하게 한다.
• 코브웹 포스셋이 N-free이며 시리즈-패러럴임을 증명하여, 이는 그레디 포스셋이자 차원이 2임을 의미한다.
• 자연조인 연산을 사용하여 코브웹 포스셋의 모비우스 함수 공식을 단순하고 직접적으로 도출하였다.
• 켄스 표기법과 행렬 보완을 활용하여, 임의의 계층적 포스셋에 대해 제타 행렬과 그 역행렬(모비우스 함수를 통한)에 대한 명시적 공식을 제공하였다.
• 묵음 정점이 없는 모든 계층적 포스셋(즉, 들어오는 차수 또는 나가는 차수가 0인 내부 정점이 없는 포스셋)이 전역관계의 체인들의 자연조인임을 입증하였다.
• 코브웹 포스셋과 그 하세 다이어그램(KoDAG)은 이산 하이퍼박스로 표현되며, 이러한 하이퍼박스의 자연조인은 공통 면을 투영하는 카티esian 곱과 동치이다.