[논문 리뷰] The Shard Intersection Order on Permutations

Erin Bancroft|arXiv (Cornell University)|2011. 03. 09.

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

한 줄 요약

이 논문은 대칭군 $S_n$ 상의 스플릿 교차 순서를 순열 전순서라고 불리는 조합적 객체로 특성화함으로써 도입한다. 이 전순서는 특정한 비교형성 및 막힌 패턴 회피 조건을 만족하는 $[n]$ 상의 전순서이다. 주요 기여는 스플릿 교차 순서 라티스에 대해 명시적인 EL-라벨링을 제공함으로써 그 구조적 성질을 규명하고, 패턴 회피 기준을 통해 $c$-가능한 순열과 비교형성 분할과의 연결 고리를 확립하는 것이다.

ABSTRACT

The shard intersection order is a new lattice structure on a finite Coxeter group W which encodes the geometry of the reflection arrangement and the lattice theory of the weak order. In the case where W is the symmetric group, we characterize shard intersections as certain pre-orders which we call permutation pre-orders. We use this combinatorial characterization to determine properties of the shard intersection order. In particular, we give an EL-labeling.

연구 동기 및 목표

• 스플릿 교차 순서의 원소들을 조합적 전순서 기반 특성화를 통해 $S_n$ 상에서 이해하기 위해.
• 스플릿 교차와 순열 전순서 사이의 이분법적 사상 $\mu$를 수립함으로써 라티스의 구조를 구체적으로 묘사하기 위해.
• 스플릿 교차 순서가 EL-라벨링을 갖는다는 것을 증명하여 그의 셸러블리티를 확인하고, 모비우스 함수 계산을 위한 도구를 제공하기 위해.
• 막힌 패턴 회피 조건($\overline{2}31$ 및 $31\underline{2}$)을 통해 스플릿 교차 순서 내에서 $c$-가능한 순열을 특성화하기 위해.
• 스플릿 교차 순서 내에서의 비교형성 전순서가 정확히 $c$-비교형성 분할과 대응됨을 보여주어 라티스를 고전적 비교형성 분할 이론과 연결하기 위해.

제안 방법

• 코xeter 원소 $c$에 대해 비교형성 및 막힌 블록 순서 조건을 만족하는 $[n]$ 상의 전순서로서 순열 전순서를 정의한다.
• $c$-가능한 순열에서 순열 전순서로의 이분법적 사상 $\mu$를 수립하고, 그 이미지가 비교형성 전순서로 이루어져 있음을 보인다.
• 내림차순 런과 막힌 패턴의 조합적 구조를 활용하여 스플릿 교차 순서 내의 순서 관계를 특성화한다.
• 경로에서 첫 번째 내림차순 위치에 기반하여 커버링 관계에 라벨을 할당하여 스플릿 교차 순서의 EL-라벨링을 구성한다.
• 브레이드 배치의 영역의 부분순서와 기하학적 성질을 활용하여 $S_n$ 상에서 스플릿과 그 교차를 정의한다.
• 특히 약한 순서와 라티스 동치관계를 포함한 라티스 이론 및 코xeter 군 이론의 결과를 활용하여 스플릿 교차 순서를 분석한다.

실험 결과

연구 질문

• RQ1 대칭군 내 스플릿 교차는 $[n]$ 상의 전순서 기반으로 어떻게 조합적으로 특성화될 수 있는가?
• RQ2 스플릿 교차 순서는 $S_n$ 상의 라티스로서 어떤 구조를 가지며, 약한 순서와 비교형성 분할과 어떻게 관련되어 있는가?
• RQ3 스플릿 교차 순서에 대해 EL-라벨링을 구성할 수 있으며, 이는 그의 위상적 및 대수적 성질에 대해 어떤 함의를 갖는가?
• RQ4 $c$-가능한 순열은 스플릿 교차 순서 내에서 비교형성 전순서와 어떻게 대응되는가?
• RQ5 막힌 패턴($\overline{2}31$ 및 $31\underline{2}$)은 스플릿 교차 라티스 내에서 $c$-가능한 원소를 특성화하는 데 어떤 역할을 하는가?

주요 결과

• 대칭군 내 스플릿 교차는 비교형성 및 막힌 블록 순서 조건을 만족하는 순열 전순서와 이분법적으로 대응된다.
• 스플릿 교차 순서는 비어 있는 라티스이며, 비교형성 분할 라티스 $NC(W)$를 부분라티스로 포함한다.
• 스플릿 교차 순서에 대해 EL-라벨링이 구성되었으며, 이는 순서가 셸러블리하다는 것을 증명하고, 모비우스 함수 값 계산을 가능하게 한다.
• $c$-가능한 순열은 정확히 $\overline{2}31$ 및 $31\underline{2}$ 막힌 패턴을 피하는 순열이며, 그 사상 $\mu$에 의한 이미지는 비교형성 전순서의 집합이다.
• 표준 코xeter 원소 $c = s_1 s_2 \cdots s_{n-1}$에 대해, 비교형성 전순서 내 블록 순서는 정확히 포함 관계에 대응한다: $B_{[i,j]} \preceq B_{[k,l]}$ iff $[i,j] \subset [k,l]$.
• 역 코xeter 원소 $c = s_{n-1} \cdots s_1$에 대해, 순서는 역 포함 관계에 대응한다: $B_{[i,j]} \preceq B_{[k,l]}$ iff $[k,l] \subset [i,j]$.