코웹 포셋의 코다그 특성화

초록

본 논문은 코웹 포셋을 방향성 비순환 그래프(DAG)와 순서화된 DAG(oDAG)로 정확히 기술하고, 차원 2인 부분 순서(poset)를 구성하여 그 하시 다이어그램이 임의의 코웹 포셋의 디그라프와 일치하도록 하는 방법을 제시한다.

상세 요약

코웹 포셋은 자연수 레벨을 기반으로 하는 무한 계층 구조로, 각 레벨 n 에 존재하는 원소들의 집합을 Vₙ 이라 두면, 레벨 n 과 n+1 사이의 모든 가능한 쌍을 연결하는 완전 이분 그래프 형태의 관계가 정의된다. 이러한 구조는 전통적인 부분 순서(poset)와는 달리, 각 레벨 간의 연결이 전부 존재함으로써 “거미줄(cobweb)”이라는 시각적 메타포를 갖는다. 논문은 먼저 이 코웹 포셋을 유향 그래프, 즉 DAG(Directed Acyclic Graph)로 모델링한다. 여기서 중요한 점은 사이클이 전혀 존재하지 않으며, 모든 간선은 레벨 i → i+1 의 방향을 가진다는 것이다. 이를 통해 코웹 포셋은 자연스럽게 위상 정렬(topological ordering)이 가능한 구조가 된다.

다음 단계에서는 oDAG(ordered DAG)의 개념을 도입한다. oDAG는 DAG 위에 추가적인 전순서 관계를 부여해, 그래프 자체가 부분 순서의 하시 다이어그램으로 해석될 수 있게 만든다. 논문은 코웹 포셋을 oDAG로 변환하기 위해, 각 레벨 Vₙ 의 원소들을 두 개의 선형 순서 L₁, L₂ 에 매핑한다. 이때 L₁ 은 레벨을 기준으로 한 자연 순서이며, L₂ 는 같은 레벨 내에서 임의의 전순서를 부여한다. 두 선형 순서의 교차(intersection)로 정의되는 차원 2 부분 순서가 바로 코웹 포셋의 “KoDAG”이다.

핵심 정리는 다음과 같다. 임의의 코웹 포셋 P 에 대해, 두 선형 확장 L₁, L₂ 을 적절히 선택하면, P = L₁ ∩ L₂ 가 성립하고, 그 하시 다이어그램은 원래 코웹 포셋의 디그라프와 동일하게 된다. 이는 차원 2 부분 순서가 코웹 포셋을 완전하게 기술할 수 있음을 의미한다. 논문은 이 정리를 증명하기 위해, 레벨 간 완전 이분 연결성, 사이클 부재, 그리고 선형 확장의 존재성을 단계별로 검증한다. 특히, 레벨 n 의 원소들을 임의의 순서 σₙ 에 따라 정렬하고, 인접 레벨 n+1 의 원소들을 동일한 σₙ₊₁ 에 매핑함으로써, 두 선형 순서가 서로 교차하면서도 전체 구조를 보존하도록 구성한다.

또한, KoDAG의 특수성으로서 “코다그(KoDAG)”라는 명칭을 제안한다. 이는 “코웹(cobweb)”과 “DAG”의 합성어이며, 차원 2 부분 순서가 DAG 형태로 구현된다는 점을 강조한다. 논문은 KoDAG가 기존의 DAG 이론과 부분 순서 차원 이론을 연결하는 교량 역할을 할 수 있음을 시사한다. 마지막으로, 코웹 포셋의 일반화 가능성, 예를 들어 가중치 부여, 부분 집합 제한, 혹은 다른 레벨 연결 규칙을 적용했을 때 KoDAG 구조가 유지되는 조건 등을 논의하며, 향후 연구 방향을 제시한다.