[논문 리뷰] Bruhat-Chevalley order on the rook monoid

Mahir Bilen Can, Lex E. Renner|ArXiv.org|2008. 03. 04.

semigroups and automata theory참고 문헌 5인용 수 4

한 줄 요약

이 논문은 0-1 행렬의 행 인덱스를 정렬한 후 접합된 부분행렬을 이용해 정의된 rook 모노이드 $R_n$ 상의 Deodhar 순서가 이전에 알려진 브라하트-셰바레 계열 순서의 조합적 특성인 Pennell-Putcha-Renner (PPR) 순서와 동치임을 증명한다. 주요 기여는 Deodhar 순서와 PPR 순서가 $R_n$ 상에서 일치함을 증명함으로써, 대칭군 $S_n$ 상에서의 Deodhar 특성화를 rook 모노이드로 확장하고, $R_n$ 상에서 브라하트-셰바레 계열 순서를 효율적이고 조합적으로 판단할 수 있는 기준을 제공하는 것이다. 이 동치성은 뿌리와 접합 연산만을 사용하여 순서를 알고리즘적으로 계산할 수 있도록 한다.

ABSTRACT

The rook monoid $R_n$ is the finite monoid whose elements are the 0-1 matrices with at most one nonzero entry in each row and column. The group of invertible elements of $R_n$ is isomorphic to the symmetric group $S_n$. The natural extension to $R_n$ of the Bruhat-Chevalley ordering on the symmetric group is defined in \cite{Renner86}. In this paper, we find an efficient, combinatorial description of the Bruhat-Chevalley ordering on $R_n$. We also give a useful, combinatorial formula for the length function on $R_n$.

연구 동기 및 목표

• 브라하트-셰바레 계열 순서를 $R_n$ 상에서 조합적이고 효율적인 방식으로 특성화하는 것 — 기존의 대칭군 $S_n$ 상에서의 Deodhar 순서를 확장함.
• R_n 상에서 정의된 Deodhar 순서 — 0-1 행렬을 나타내는 $n$-튜플의 정렬된 접합 부분을 기반으로 한 순서 — 가 Pennell-Putcha-Renner (PPR) 순서와 일치함을 입증하는 것.
• 두 기존 순서 간의 동치성을 증명함으로써, $R_n$ 상에서 브라하트-셰바레 계열 순서를 계산에 적합한 방식으로 특성화하는 열린 문제를 해결하는 것.
• 대칭군 $S_n$ 상에서의 Deodhar의 브라하트 순서 특성화를 더 큰 모노이드인 $R_n$으로 일반화하는 것 — 이는 특이 행렬을 포함한다.

제안 방법

• R_n의 원소를 $n$-튜플 $(a_1, \dots, a_n)$로 표현함 — $a_j$는 열 $j$에 유일한 1이 있는 행 인덱스이며, 열이 영이면 0이다.
• Deodhar 순서 $\leq_D$ 를 정의하기 위해, 모든 $k=1,\dots,n$ 에 대해, 튜플의 $k$-접합 부분을 비감소 순서로 정렬한 후, 그 결과가 성분별 지배 관계에서 $\widetilde{v(k)} \leq_c \widetilde{w(k)}$ 를 만족하도록 한다.
• PPR 순서는 두 가지 기본 이동으로 정의됨: (1) 한 개의 원소만 증가시키고 나머지는 그대로 두는 것, (2) 내림차순 조건을 만족하는 두 원소를 교환하는 것.
• Deodhar 순서의 커버링 관계($y \rightarrow_D x$)가 PPR 순서의 커버링 관계($y \rightarrow_{PPR} x$)를 함의하고, 그 역도 성립함을 입증함 — 이는 다를 수 있는 원소의 위치와 값에 대한 케이스 분석을 통해 수행됨.
• 원소의 교환 또는 증가가 각 접합 부분에서 주어진 값보다 큰 원소의 수에 미치는 영향을 분석함 — 이는 $\Gamma(k, c_m)$ 함수를 이용하여 $k$-접합 부분에서 $c_m$보다 큰 원소의 개수를 세는 방식으로 수행됨 — 이를 통해 지배 관계를 비교함.
• 만약 $x \lneq_D z \leq_D y$ 이고 $y$ 가 $x$ 를 커버링 한다면 $z = y$ 임을 이용하여, $\leq_D$ 상의 커버링 관계가 $\leq_{PPR}$ 상의 커버링 관계와 정확히 일치함을 보여, 두 순서가 동일함을 증명함.

실험 결과

연구 질문

• RQ1 정렬된 접합 부분을 통해 정의된 $R_n$ 상의 Deodhar 순서는 rook 모노이드 상에서 기존에 알려진 PPR 순서와 동치인가?
• RQ2 0-1 행렬을 나타내는 $n$-튜플의 정렬과 접합 연산만을 사용하여 $R_n$ 상에서 브라하트-셰바레 계열 순서를 조합적으로 특성화할 수 있는가?
• RQ3 Deodhar 순서 상의 커버링 관계는 PPR 순서의 기본 이동과 정확히 일치하는가?
• RQ4 R_n 상의 길이 함수는 Deodhar 순서와 어떻게 관련되어 있으며, 효율적으로 계산할 수 있는가?
• RQ5 Deodhar가 $S_n$ 상에서 브라하트 순서를 특성화한 방식이 자연스럽게 rook 모노이드 $R_n$ 으로 확장되는가?

주요 결과

• R_n 상에서 Deodhar 순서 $\leq_D$ 는 Pennell-Putcha-Renner (PPR) 순서 $\leq_{PPR}$ 와 동치이며, 이는 두 부분순서가 $R_n$ 상에서 완전히 동일함을 의미한다.
• Deodhar 순서 $\leq_D$ 와 PPR 순서 $\leq_{PPR}$ 의 커버링 관계는 정확히 일치함: $y \rightarrow_D x$ 이다 ⇔ $y \rightarrow_{PPR} x$ — 이는 두 순서가 동일함을 확인한다.
• R_n 상에서 Deodhar 순서는 모든 $k=1,\dots,n$ 에 대해, $x$ 의 정렬된 $k$-접합 부분이 $y$ 의 정렬된 $k$-접합 부분보다 성분별 지배 관계에서 작거나 같다는 조건으로 완전히 특성화된다.
• R_n 상의 길이 함수는 Deodhar/PPR 순서와 호환되며, $\leq_{PPR}$ 를 정의하는 기본 이동에 의해 순서가 유지된다.
• 결과적으로 Deodhar의 $S_n$ 상에서의 브라하트 순서 특성화가 rook 모노이드 $R_n$ 으로 일반화되었으며, 브라하트-셰바레 계열 순서에 대한 계산에 효율적인 기준을 제공한다.
• 논문은 오랫동안 열려있던 문제를 해결하여, $R_n$ 상에서 브라하트-셰바레 계열 순서의 조합적 구조가 Deodhar 유형의 접합 조건에 의해 완전히 기술됨을 보여준다.