[논문 리뷰] Acyclic reorientation lattices and their lattice quotients

Vincent Pilaud|arXiv (Cornell University)|2021. 11. 24.

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

한 줄 요약

이 논문은 방향성 있는 비순환 그래프(DAG)의 순환 재조정 순서 집합이 래티스를 이룰 조건을 완전히 규명한다: 이는 오직 그리고 오직 모든 유도된 부분그래프의 전이 감소가 산림(forest)이 되는 조건('vertebrate'라고 불리는 조건)을 만족할 때이다. 논문은 이러한 래티스가 항상 일관성 정규성을 가지며, DAG가 '채워진(filled)' 경우에만 반분배성(semidistributive, 따라서 일관성 균일성)임을 보이며, DAG가 산림일 때에만 분배성(distributive)임을 보인다. 논문은 결합 합성과 만족 불가능성, 표준 표현 및 일관성 관계를 기술하기 위해 조합적 도구인 '로프(ropes)'를 도입하고, 조각 다면체(shard polytopes)를 사용하여 래티스 몫의 몫다각체(quotientopes)를 구성한다.

ABSTRACT

We prove that the acyclic reorientation poset of a directed acyclic graph $D$ is a lattice if and only if the transitive reduction of any induced subgraph of $D$ is a forest. We then show that the acyclic reorientation lattice is always congruence normal, semidistributive (thus congruence uniform) if and only if $D$ is filled, and distributive if and only if $D$ is a forest. When the acyclic reorientation lattice is semidistributive, we introduce the ropes of $D$ that encode the join irreducibles acyclic reorientations and exploit this combinatorial model in three directions. First, we describe the canonical join and meet representations of acyclic reorientations in terms of non-crossing rope diagrams. Second, we describe the congruences of the acyclic reorientation lattice in terms of lower ideals of a natural subrope order. Third, we use Minkowski sums of shard polytopes of ropes to construct a quotientope for any congruence of the acyclic reorientation lattice.

연구 동기 및 목표

• 순환 재조정 순서 집합이 래티스를 이룰 수 있는 방향성 있는 비순환 그래프(DAG)를 규명하는 것.
• 순환 재조정 래티스에서 분배성, 반분배성, 일관성 정규성/균일성 등의 래티스 이론적 성질을 조사하는 것.
• 반분배성 순환 재조정 래티스에서 불가능성, 표준 표현 및 일관성 관계를 기술하기 위한 '로프'를 사용한 조합적 프레임워크를 개발하는 것.
• 로프의 조각 다면체의 믹스키 합(Minkowski sums)을 이용하여 래티스 몫의 몫다각체(quotientopes)를 구성하는 것.

제안 방법

• 모든 유도된 부분그래프의 전이 감소가 산림이 되는 조건을 만족하는 'vertebrate' DAG를 도입하고, 이 조건이 순환 재조정 순서 집합이 래티스를 이룰 필요충분조건임을 증명한다.
• 순환 재조정 순서 집합 간 제약 맵을 사용하여 래티스 성질을 분석하고 구조적 관계를 규명한다.
• 합-불가능성 순환 재조정을 인코딩하는 조합적 객체로 '로프'를 정의하고, 교차하지 않는 로프 다이어그램을 통해 표준 합 및 만족 표현을 기술한다.
• 래티스가 반분배성일 경우, 하위로프 순서의 하부 이상 집합(lower ideals)과 래티스의 일관성 관계 사이의 대응관계를 설정한다.
• 로프에 관련된 조각 다면체의 믹스키 합을 통해 몫다각체를 구성하고, 이로써 래티스 몫의 기하적 실현을 제공한다.
• 그래프 배열과 영역 순서 집합에 관한 결과를 적용하여 래티스 구조를 초평면 배열 및 벡터 구성과 연결한다.

실험 결과

연구 질문

• RQ1 어떤 방향성 있는 비순환 그래프(DAG)에 대해 순환 재조정 순서 집합이 래티스가 되는가?
• RQ2 순환 재조정 래티스가 반분배성 또는 분배성이 되는 조건은 무엇이며, 이러한 성질을 유도하는 기초 DAG의 구조적 조건은 무엇인가?
• RQ3 순환 재조정 래티스의 합-불가능성 및 만족-불가능성 원소들은 어떻게 조합적으로 인코딩되고 표현될 수 있는가?
• RQ4 순환 재조정 래티스의 일관성 관계는 어떤 구조를 가지며, 하위로프에 대한 자연스러운 순서를 통해 어떻게 묘사될 수 있는가?
• RQ5 순환 재조정 래티스의 몫 래티스는 기하적으로 실현될 수 있는가? 만약 가능하면, 이러한 몫다각체는 어떻게 구성할 수 있는가?

주요 결과

• DAG의 순환 재조정 순서 집합이 래티스가 되는 것은 오직 그리고 오직 모든 유도된 부분그래프의 전이 감소가 산림이 되는 조건('vertebrate')을 만족할 때이다.
• 모든 DAG에 대해 순환 재조정 래티스는 일관성 정규성을 가지며, DAG가 '채워진(filled)' 경우에만 반분배성(따라서 일관성 균일성)을 가진다.
• 래티스가 분배성이 되는 것은 오직 DAG가 산림일 때이다.
• 순환 재조정 래티스의 합-불가능성 원소들은 로프와 일대일 대응되며, 표준 합 표현은 교차하지 않는 로프 다이어그램에 의해 인코딩된다.
• 래티스가 반분배성일 경우, 래티스의 일관성 관계는 자연스러운 하위로프 순서의 하부 이상 집합과 이중에 대응된다.
• 어떤 순환 재조정 래티스의 일관성 몫에 대해서도, 로프의 조각 다면체의 믹스키 합을 통해 몫다각체를 구성할 수 있다.