[논문 리뷰] The canonical complex of the weak order

Doriann Albertin, Vincent Pilaud|arXiv (Cornell University)|2021. 11. 22.

Advanced Combinatorial Mathematics참고 문헌 8인용 수 1

한 줄 요약

이 논문은 유한한 반분배 라티스의 표준 복합체를 도입하며, 이는 분리된 합과 만남 표현의 합집합을 통해 간격을 인코딩하는 플래그 단순형 복합체이다. 복합체가 라티스 몫에 대해 잘 행동함을 증명하고, 반교차 아크 이이디어그램을 사용하여 순열의 약한 순서의 조합 모델을 제공하며, 약한 순서 간격 순서 집합과의 명시적 이항관계를 제시하고, 아크 다이어그램을 통한 몫에서의 Kreweras 사상의 알고리즘적 기술을 제공한다.

ABSTRACT

We define and study the canonical complex of a finite semidistributive lattice $L$. It is the simplicial complex on the join or meet irreducible elements of $L$ which encodes each interval of $L$ by recording the canonical join representation of its bottom element and the canonical meet representation of its top element. This complex behaves properly with respect to lattice quotients of $L$, in the sense that the canonical complex of a quotient of $L$ is the subcomplex of the canonical complex of $L$ induced by the join or meet irreducibles of $L$ uncontracted in the quotient. We then describe combinatorially the canonical complex of the weak order on permutations in terms of semi-crossing arc bidiagrams, formed by the superimposition of two non-crossing arc diagrams of N. Reading. We provide explicit direct bijections between the semi-crossing arc bidiagrams and the weak order interval posets of G. Ch\^atel, V. Pilaud and V. Pons. Finally, we provide an algorithm to describe the Kreweras maps in any lattice quotient of the weak order in terms of semi-crossing arc bidiagrams.

연구 동기 및 목표

• 유한한 반분배 라티스의 표준 복합체를 정의하고 연구하여, 모든 간격을 표준 합 및 만남 표현을 통해 인코딩하는 것.
• 라티스 몫의 표준 복합체가 원래 라티스의 수축되지 않은 합 및 만남 기초원소에 의해 유도된 부분복합체임을 증명하는 것.
• 반교차 아크 이이디어그램을 사용하여 순열의 약한 순서의 표준 복합체에 대한 조합 모델을 제공하는 것.
• 반교차 아크 이이디어그램과 약한 순서 간격 순서 집합 사이에 명시적이고 직접적인 이항관계를 확립하는 것.
• 약한 순서의 몰입에서 Kreweras 사상을 계산하는 알고리즘을 개발하는 것, 이를 위해 반교차 아크 이이디어그램을 활용한다.

제안 방법

• 정점이 합 및 만남 기초원소의 분리된 합집합인 플래그 단순형 복합체로 표준 복합체를 정의하고, 합-만남 순서 조건을 만족하는 표준 합 및 만남 표현의 분리된 합집합으로 이루어진 단체를 형성하는 것.
• 라티스 몫 이론을 사용하여 몰입 라티스의 표준 복합체가 수축되지 않은 기초원소에 의해 유도된 부분복합체임을 보이는 것.
• 반교차 아크 이이디어그램—두 집합 간에 제한된 교차를 갖는 비교차 아크 다이어그램 쌍—을 사용하여 약한 순서의 표준 복합체를 모델링하는 것.
• 아크 기반 순서와 극단적 커버 관계를 통해 반교차 아크 이이디어그램과 약한 순서 간격 순서 집합 사이의 직접 이항관계를 확립하는 것.
• 하위아크 순서와 상부 이상을 적용하여 약한 순서의 몰입을 기술하고, 아크에 대한 약한 순서를 사용하여 최소 대표자를 계산하는 것.
• 특정 상부 이상 내에서 분해 가능한 아크에서 유도된 하위집합 Y를 제외한 아크 집합에서 최대 원소를 식별함으로써, 임의의 몰입에서 Kreweras 사상을 계산하는 알고리즘을 개발하는 것.

실험 결과

연구 질문

• RQ1 유한한 반분배 라티스의 간격을, 라티스 몰입을 존중하는 단일 단순형 복합체에 어떻게 인코딩할 수 있는가?
• RQ2 순열의 약한 순서의 표준 복합체의 조합적 구조는 무엇인가?
• RQ3 반교차 아크 이이디어그램은 Châtel, Pilaud, 및 Pons가 정의한 약한 순서 간격 순서 집합과 어떻게 관련이 있는가?
• RQ4 약한 순서의 임의의 몰입에서 아크 다이어그램을 사용하여 Kreweras 사상을 알고리즘적으로 계산할 수 있는가?
• RQ5 하위아크 순서와 상부 이상은 아크 다이어그램을 통해 약한 순서의 몰입을 특성화하는 데 어떤 역할을 하는가?

주요 결과

• 유한한 반분배 라티스의 표준 복합체는 플래그 단순형 복합체이며, 그 단체는 표준 합 및 만남 표현의 분리된 합집합을 통해 간격과 대응한다.
• 라티스 몰입의 표준 복합체는 원래 라티스의 수축되지 않은 합 및 만남 기초원소에 의해 유도된 부분복합체와 동형이다.
• 약한 순서의 표준 복합체는 반교차 아크 이이디어그램—두 집합 간에 제한된 교차를 갖는 비교차 아크 다이어그램 쌍—을 통해 조합적으로 모델링된다.
• 반교차 아크 이이디어그램과 약한 순서 간격 순서 집합 사이에 명시적이고 직접적인 이항관계가 존재하며, 둘 다 약한 순서 내 간격을 분류한다.
• 약한 순서의 임의의 몰입에서 Kreweras 사상은 특정 상부 이상 내에서 분해 가능한 아크로 구성된 하위집합 Y를 제외한 아크 집합에서 최대 원소를 식별하는 알고리즘을 통해 계산할 수 있다.
• 이 알고리즘은 비교차 분할 집합에서 고전적인 Kreweras 보완을 임의의 약한 순서 몰입으로 일반화하며, 아크 다이어그램 분해와 극단적 커버 관계를 사용한다.