[논문 리뷰] New approach to Schensted-Knuth normal forms

Yuqun Chen, Jing Li|arXiv (Cornell University)|2011. 06. 23.

Advanced Topics in Algebra인용 수 2

한 줄 요약

이 논문은 임의의 알파벳에 대해 행과 열 생성자를 사용한 플라틱 대수의 새로운 대수적 프레임워크를 제안하며, 알파벳이 유한할 경우 열 생성자에 대해 유한한 그뢰브너-شير쇼프 기저를 확립한다. 구성-다이아몬드 보조정리(Composition–Diamond Lemma)를 적용하여 영 양표편이 선형 기저를 이룬다는 것을 증명함으로써, 쿤스의 결과인 영 양표편이 플라틱 모노이드에서 정규형임을 새롭게 대수적 증명한다.

ABSTRACT

We present the plactic algebra on an arbitrary alphabet set $A$ by row generators and column generators respectively. We give Grobner-Shirshov bases for such presentations. In the case of column generators, a finite Grobner-Shirshov basis is given if $A$ is finite. From the Composition-Diamond lemma for associative algebras, it follows that the set of Young tableaux is a linear basis of plactic algebra. As the result, it gives a new proof that Young tableaux are normal forms of elements of plactic monoid. This result was proved by D.E. Knuth \cite{Knuth} in 1970, see also Chapter 5 in \cite{M.L}.

연구 동기 및 목표

• 행 및 열 생성자를 사용한 플라틱 대수의 새로운 표현을 개발하기 위해.
• 열 생성자를 사용한 플라틱 대수에 대해 그뢰브너-셔쇼프 기저를 확립하기 위해.
• 영 양표편이 플라틱 대수의 선형 기저를 이룬다는 사실에 대한 대안적 대수적 증명을 제공하기 위해.
• 이 기저가 쿤스가 원래 보였듯이 플라틱 모노이드의 정규형과 대응됨을 보여주기 위해.

제안 방법

• 임의의 알파벳 A에 대해 행 생성자와 열 생성자를 사용해 플라틱 대수를 제시하기 위해.
• 열 생성자를 사용한 대수적 표현에 대해 그뢰브너-셔쇼프 기저를 구성하기 위해.
• 결합-다이아몬드 보조정리를 이용해 연관 대수의 구조를 분석하기 위해.
• 모든 영 양표편의 집합이 플라틱 대수의 선형 기저를 이룬다는 것을 보여주기 위해.
• 알파벳의 유한성을 활용하여 열 생성자를 사용할 경우 그뢰브너-셔쇼프 기저가 유한함을 보장하기 위해.
• 결합-다이아몬드 보조정리로부터 유도된 정규형 성질을 활용하여 이 기저가 영 양표편으로 이루어져 있음을 결론짓기 위해.

실험 결과

연구 질문

• RQ1 플라틱 대수는 행 및 열 생성자를 효과적으로 사용하여 표현할 수 있는가?
• RQ2 알파벳이 유한할 경우 열 생성자를 사용한 플라틱 대수에 대해 유한한 그뢰브너-셔쇼프 기저가 존재하는가?
• RQ3 구성-다이아몬드 보조정리는 어떻게 적용되어 플라틱 대수의 선형 기저를 도출할 수 있는가?
• RQ4 이 새로운 대수적 접근을 통해 영 양표편의 집합이 플라틱 대수의 선형 기저가 되는가?
• RQ5 이 방법은 플라틱 모노이드에서 영 양표편의 정규형 성질에 대한 새로운 증명을 제공할 수 있는가?

주요 결과

• 플라틱 대수는 임의의 알파벳 A에 대해 행 및 열 생성자를 사용해 표현 가능하다.
• 알파벳 A가 유한할 경우 열 생성자 표현에 대해 유한한 그뢰브너-셔쇼프 기저가 존재한다.
• 구성-다이아몬드 보조정리에 의해 영 양표편의 집합이 플라틱 대수의 선형 기저를 이룬다는 것이 유도된다.
• 이는 영 양표편이 플라틱 모노이드의 원소에 대해 정규형임을 새롭게 대수적으로 증명하는 데 기여한다.
• 이 결과는 비가환 그뢰브너-셔쇼프 이론을 활용한 더 체계적인 대수적 프레임워크에서 쿤스의 원래 결과를 확인한다.