코웹 포즈와 인시던스 대수의 새로운 해석

초록

본 논문은 Kwasniewski가 제시한 코웹 포즈(cobweb poset) 구조를 이용해 임의의 코웹 포즈에 대한 인시던스 대수의 주요 원소, 특히 뫼비우스 함수의 명시적 식을 도출한다. 또한 이러한 포즈를 유향 비완전 이분 그래프(di‑biclique)들의 연쇄로 표현함으로써, 새로운 순서가능 DAG 클래스인 KoDAG(ordered DAG) 를 정의하고 그 보편성을 탐구한다.

상세 요약

코웹 포즈는 자연수 계열 {Fₙ} (예: 피보나치 수열, 계승수열 등) 로 정의되는 레이어드 부분순서집합으로, n번째 레이어에 Fₙ 개의 원소가 존재하고, 인접 레이어 사이의 모든 원소가 전순서 관계를 갖는다. 이러한 구조는 Kwasniewski가 제안한 “di‑biclique” 개념과 일치한다. 논문은 먼저 코웹 포즈 Π(F) 의 Hasse 다이어그램을 유향 비완전 이분 그래프들의 연속적인 연결(‘링크’)으로 재구성한다. 각 레이어 Lₙ 과 Lₙ₊₁  사이의 관계는 완전 이분 그래프 K_{Fₙ,Fₙ₊₁} 로 표현되며, 이를 ‘디‑비클리크’라 부른다. 이러한 디‑비클리크들의 체인(chain)은 전체 포즈를 완전하게 기술한다는 점에서, 코웹 포즈는 ‘완전 관계 체인’의 시각적·대수적 구현이라 할 수 있다.

인시던스 대수 I(Π) 는 포즈의 구간