[논문 리뷰] Presentation of the Motzkin Monoid

Eliezer Posner, Kris Hatch외 1명|arXiv (Cornell University)|2013. 01. 18.

Geometric and Algebraic Topology참고 문헌 9인용 수 5

한 줄 요약

이 논문은 생성자와 관계를 사용하여 모츠킨 모노이드의 유한 표현을 제시하며, 로크 모노이드의 부분모노이드로 평면 로크 모노이드에 초점을 맞춘다. 평면 다이어그램에 $ k $개의 비교행 엣지가 있는 경우를 세는 것으로 유도되며, 평면 다이어그램의 상단 및 하단 정점 집합과 다이어그램 곱셈을 통한 체계적인 대수적 프레임워크를 제공함으로써 그 구조를 이해하는 데 기여한다. 평면 로크 모노이드 $ P_n $의 순서는 $ \sum_{k=0}^n \binom{n}{k}^2 $로 주어진다.

ABSTRACT

In 2010, Tom Halverson and Georgia Benkart introduced the Motzkin algebra, a generalization of the Temperley-Lieb algebra, whose elements are diagrams that can be multiplied by stacking one on top of the other. Halverson and Benkart gave a diagrammatic algorithm for decomposing any Motzkin diagram into diagrams of three subalgebras: the Right Planar Rook algebra, the Temperley-Lieb algebra, and the Left Planar Rook algebra. We first explore the Right and Left Planar Rook monoids, by finding presentations for these monoids by generators and relations, using a counting argument to prove that our relations suffice. We then turn to the newly-developed Motzkin monoid, where we describe Halverson's decomposition algorithm algebraically, find a presentation by generators and relations, and use a counting argument but with a much more sophisticated algorithm.

연구 동기 및 목표

• 생성자와 정의 관계를 사용하여 모츠킨 모노이드의 유한 대수적 표현을 제공하는 것.
• 로크 모노이드 $ R_n $의 부분모노이드로서 평면 로크 모노이드 $ P_n $의 구조를 특성화하는 것.
• 비교행 다이어그램 구성으로 평면 로크 모노이드의 순서에 대한 조합적 공식을 확립하는 것.
• 상단 집합에서 단일 정점을 제거하면서도 평면성을 유지하는 생성자 $ l_i $의 역할을 정의하고 분석하는 것.
• 평면 로크 다이어그램의 곱셈을 평면성 하에 닫혀 있는 연산으로 공식화하는 것.

제안 방법

• 상단과 하단에 각각 $ n $개의 정점이 있는 모든 평면 다이어그램의 집합으로 평면 로크 모노이드 $ P_n $를 정의한다.
• 각 다이어그램 $ d $ 는 상단 및 하단 정점 집합 $ \tau(d) $ 와 $ \beta(d) $ 를 통해 유일하게 결정된다.
• 두 평면 로크 다이어그램의 곱이 항상 평면적임을 입증함으로써 $ P_n $ 이 곱셈에 대해 닫혀 있음을 보장한다.
• 모든 가능한 비교행 구성으로 $ k $개의 엣지를 가진 경우를 세는 방식으로 $ P_n $ 의 순서를 $ \sum_{k=0}^n \binom{n}{k}^2 $ 로 유도한다.
• 생성자 $ l_i $ 를 도입하여 $ \tau(l_i) = [n] \setminus \{i+1\} $ 를 만족시키며, 상단 정점 하나의 제거를 나타낸다.
• 다이어그램 곱셈을 사용하여 모노이드 연산을 모델링함으로써 평면성과 엣지의 비교행성을 유지한다.

실험 결과

연구 질문

• RQ1 모츠킨 모노이드의 생성자와 관계에 기반한 유한 표현은 무엇인가?
• RQ2 평면 로크 모노이드 $ P_n $ 는 로크 모노이드 $ R_n $ 의 부분모노이드로 어떻게 대수적으로 특성화될 수 있는가?
• RQ3 순서 $ n $ 의 평면 로크 다이어그램 총 개수는 얼마이며, 이를 조합적으로 어떻게 도출할 수 있는가?
• RQ4 생성자 $ l_i $ 는 정점 집합에 어떻게 작용하여 유효한 평면 다이어그램을 생성하는가?
• RQ5 평면 로크 모노이드의 맥락에서 다이어그램 곱셈의 닫힘 성질은 무엇인가?

주요 결과

• 평면 로크 모노이드 $ P_n $ 는 $ \sum_{k=0}^n \binom{n}{k}^2 $ 의 순서를 가지며, 이는 $ k $개의 엣지를 가진 모든 비교행 구성의 수를 세는 것으로 도출된다.
• 각 평면 로크 다이어그램은 상단 및 하단 정점 집합 $ \tau(d) $ 와 $ \beta(d) $ 를 통해 유일하게 결정되며, 이들은 각각 $ [n] $ 과 $ [n]' $ 의 부분집합이다.
• 두 평면 로크 다이어그램의 곱은 항상 평면적임을 입증하여 $ P_n $ 이 로크 모노이드 $ R_n $ 의 부분모노이드임을 확인한다.
• 생성자 $ l_i $ 는 $ \tau(l_i) = [n] \setminus \{i+1\} $ 를 만족하도록 정의되며, 이는 상단 행에서 정점 $ i+1 $ 의 제거를 나타낸다.
• 모노이드 연산은 다이어그램 곱셈에 대해 닫혀 있고 결합법칙을 만족하며, 평면성과 비교행 엣지 구성의 유지가 보장된다.
• 모노이드 $ P_n $ 의 구조는 비교행 매칭의 조합론과 정점 부분집합 쌍의 조합에 의해 완전히 결정된다.