[논문 리뷰] The forgotten monoid

Jean-Christophe Novelli, Anne Schilling|ArXiv.org|2007. 06. 20.

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

한 줄 요약

이 논문은 순열에 대한 동치 관계 $acb \equiv bac$ 및 $bca \equiv cab$ ($a < b < c$) 로 정의되는 조합 구조인 忘却 모노이드를 특성화한다. 이는 $S_n$ 에서 忘却 클래스가 $n^2 - 3n + 4$ 개 존재하며, 각 클래스는 역전치 수와 1과 $n$ 의 상대적 순서로 유일하게 결정됨을 증명하고, 각 클래스 위에서 게젤의 치환함수의 합이 리본 슈어 함수의 0-1 합임을 보여준다.

ABSTRACT

We study properties of the forgotten monoid which appeared in work of Lascoux and Schutzenberger and recently resurfaced in the construction of dual equivalence graphs by Assaf. In particular, we provide an explicit characterization of the forgotten classes in terms of inversion numbers and show that there are n^2-3n+4 forgotten classes in the symmetric group S_n. Each forgotten class contains a canonical element that can be characterized by pattern avoidance. We also show that the sum of Gessel's quasi-symmetric functions over a forgotten class is a 0-1 sum of ribbon-Schur functions.

연구 동기 및 목표

• 라스코우스와 숐츠엔버거가 처음 도입한 忘却 모노이드를 재표현하고 특성화하며, 이후 이중 등가 그래프에서 재발견된 바를 다룬다.
• 대칭군 $S_n$ 에서 忘却 동치 클래스의 정확한 수와 구조적 성질을 규명한다.
• 잊혀진 클래스와 치환함수 사이의 연결 고리를 설정하며, 특히 그 합이 리본 슈어 함수의 다중도 없음 합임을 보여준다.
• 자브로츠키의 추측을 증명한다. 즉, 이러한 클래스의 구조가 치환함수 측면에서 어떻게 기술될 수 있는가에 대해 제시한다.

제안 방법

• 모든 $a < b < c$ 에 대해 $acb \equiv bac$ 와 $bca \equiv cab$ 를 만족하는 두 관계를 정의하여 순열 위에 동치 클래스를 생성한다.
• 각 忘却 클래스는 역전치 수와 순열 내에서 1과 $n$ 의 상대적 순서로 특성화된다.
• 각 클래스에 대해 사전순으로 가장 작은 원소인 표준 대표원을 식별하며, 이는 132 및 231 패턴을 피하는 것으로 특징지어진다.
• 역환 $\mathrm{NS}(\sigma) = (\Phi(\sigma^{-1}))^{-1}$ 를 사용하여 忘却 클래스를 알려진 조합 구조와 연결한다. 여기서 $\Phi$ 는 반발 구성에서 내림차순 구성으로 가는 사상이다.
• 슐츠엔버거의 역환과 $\mathbf{FQSym}$ 의 호프 대수적 구조를 적용하여 忘각 클래스가 $\mathrm{QSym}$ 으로의 가환 프로젝션 아래에서 어떤 이미지를 가지는지 계산한다.
• V-순열 또는 $\Lambda$-순열의 반발 구성에 의해 인덱싱된 리본 슈어 함수의 합으로서, 忘각 클래스 위에서 게젤의 치환함수의 합이 계수 0 또는 1인 합임을 보여준다.

실험 결과

연구 질문

• RQ1 대칭군 $S_n$ 에서 忘각 동치 클래스는 총 몇 개인가?
• RQ2 잊혀진 클래스를 특성화하는 조합적 불변량은 무엇인가? 특히, 忘각 관계에 대해 유지되는 성질은 무엇인가?
• RQ3 잊혀진 클래스 위에서 게젤의 치환함수의 합은 대칭함수 대수와 어떻게 관련이 있는가?
• RQ4 패턴을 피하는 순열 또는 표준 대표원을 통해 잊혀진 클래스의 구조를 기술할 수 있는가?
• RQ5 잊혀진 클래스 위에서 치환함수의 합이 리본 슈어 함수의 다중도 없음 합이 되는가?

주요 결과

• 대칭군 $S_n$ 에서 정확히 $n^2 - 3n + 4$ 개의 忘각 클래스가 존재한다.
• 두 순열이 동일한 忘각 클래스에 속해 있는 것은 정확히 그들이 같은 역전치 수와 1과 $n$ 의 동일한 상대적 순서를 가질 때이다.
• 각 忘각 클래스는 사전순으로 가장 작은 원소인 유일한 표준 대표원을 포함하며, 이는 132 및 231 패턴을 피한다.
• 잊혀진 클래스 위에서 게젤의 치환함수의 합은 0-1 합인 리본 슈어 함수의 합이며, 즉 다중도 없음 합이다.
• 잊혀진 클래스가 호프 대수 $\mathbf{FQSym}$ 에서 평가될 때, 이는 클래스 내의 V-순열의 반발 구성에 의해 인덱싱된 리본 슈어 함수의 합으로 프로젝션된다.
• 이 결과는 자브로츠키의 추측을 확인한다. 즉, 이러한 합의 구조가 치환함수 측면에서 어떻게 기술될 수 있는가에 대해 제시한다.