[논문 리뷰] The weak order on integer posets

Grégory Châtel, Vincent Pilaud외 1명|arXiv (Cornell University)|2017. 01. 27.

Advanced Combinatorial Mathematics참고 문헌 9인용 수 7

한 줄 요약

이 논문은 대칭군 내 순열에서 정의된 약한 순서를 {1, 2, ..., n} 위의 모든 정수 이진관계로 확장하여, 이러한 관계들의 집합에 격자 구조를 수립한다. 또한 정수 부분순서관계(반사적, 추이적, 반대칭적 관계)로 구성된 부분순서집합이 격자를 이룬다는 것을 증명하며, 기존의 타마리 및 칸브리안 격자와 같은 조합적 대상의 격자 구조를 통합하고 일반화한다.

ABSTRACT

We explore lattice structures on integer binary relations (i.e. binary relations on the set $\{1, 2, \dots, n\}$ for a fixed integer $n$) and on integer posets (i.e. partial orders on the set $\{1, 2, \dots, n\}$ for a fixed integer $n$). We first observe that the weak order on the symmetric group naturally extends to a lattice structure on all integer binary relations. We then show that the subposet of this weak order induced by integer posets defines as well a lattice. We finally study the subposets of this weak order induced by specific families of integer posets corresponding to the elements, the intervals, and the faces of the permutahedron, the associahedron, and some recent generalizations of those.

연구 동기 및 목표

• [n] 위의 모든 정수 이진관계로 대칭군 내 고전적 약한 순서를 확장하는 것.
• 이 확장된 약한 순서를 정수 부분순서관계에 제한했을 때 격자가 되는지 조사하는 것.
• 타마리, 칸브리안, 페르뮤티하이드론 격자와 같은 기존의 조합적 대상에 대한 격자 구조를 통합하고 일반화하는 것.
• 특정 가족의 부분순서관계(예: 원소, 간격, 다면체의 면 등)로부터 유도되는 부분격자의 특성 규명.
• 기존에 연구된 조합론적 격자 구성 방식을 복원하고 밝혀내는 체계적인 프레임워크 제공.

제안 방법

• 정수 이진관계에 대한 약한 순서를 두 성분인 증가부관계 R^Inc 와 감소부관계 R^Dec 를 통해 정의한다.
• R ⪯ S 를 R^Inc ⊇ S^Inc 이고 R^Dec ⊆ S^Dec 라 정의하여 순열의 역전 기반 약한 순서를 일반화한다.
• 정수 부분순서관계(반사적, 추이적, 반대칭적 관계)의 집합이 이 확장된 약한 순서 하에서 격자 구조를 가짐을 증명한다.
• 충돌 함수와 폐쇄 연산(예: 추이적 폐쇄, tdd 연산)을 사용하여 부분순서집합 내에서 만남과 합을 분석하고 구성한다.
• 금지된 구성요소(예: cf_sn(𝒪)--free 부분순서관계)를 통해 부분격자를 특성화하고, 이러한 구성이 기존의 조합적 격자와 대응됨을 보인다.
• 특정 방향 𝕆 에 대해 이 프레임워크를 적용하여 기존의 격자(예: 페르뮤티트리의 약한 순서, 슈뢰더 페르뮤티트리 격자)를 복원한다.

실험 결과

연구 질문

• RQ1 대칭군 내 순열의 약한 순서를 [n] 위의 모든 정수 이진관계로 자연스럽게 확장할 수 있는가?
• RQ2 이 확장된 약한 순서를 정수 부분순서관계 집합에 제한했을 때 격자가 되는가?
• RQ3 특정 가족의 부분순서관계(예: 원소, 간격, 페르뮤티하이드론 및 아소시아헤드론의 면 등)로부터 유도된 부분순서집합은 기존의 조합적 격자와 어떻게 관련되는가?
• RQ4 약한 순서 내의 부분격자를 특성화하는 구조적 조건(예: 충돌 없는 부분순서관계)은 무엇인가?
• RQ5 이 프레임워크는 기존의 타마리, 칸브리안, 슈뢰더-칸브리안 격자 구조를 통합하고 일반화할 수 있는가?

주요 결과

• 정수 이진관계에 대한 약한 순서는 잘 정의되어 있으며, 고전적 순열의 약한 순서를 확장하여 격자를 이룬다.
• 확장된 약한 순서 하에서 정수 부분순서관계의 부분순서집합은 격자를 이루며, 이는 본 논문의 핵심 결과이다.
• 특정 충돌 구성요소를 피하는 WOEP(n) 부분순서관계 집합은 약한 순서 내의 부분격자를 이룬다.
• 페르뮤티트리 면 부분순서집합(PFP(𝒪))의 약한 순서는 전체 부분순서집합의 부분격자가 아니지만, 전용 증가 및 감소 추가 연산을 통해 만남과 합을 계산할 수 있다.
• 이 프레임워크는 타마리 격자, 칸브리안 격자, 슈뢰더 페르뮤티트리 격자와 같은 기존의 격자 구조를 공통의 대수적 및 순서이론적 기반에서 복원하고 통합한다.
• cf_sn(𝒪) 등의 충돌 함수는 부분격자를 특성화하는 데 기여하며, 조합적 제약 조건으로부터 격자 성질을 체계적으로 유도할 수 있다.