[논문 리뷰] m-dendriform algebras

Jean-Christophe Novelli|arXiv (Cornell University)|2014. 06. 06.

Algebraic structures and combinatorial models참고 문헌 7인용 수 12

한 줄 요약

이 논문은 Fuss-Catalan 조합론을 위한 $m$-dendriform 대수를 도입한다. 이는 단어 위의 이동 셔플 곱을 분할하는 $m+1$ 개의 연산을 사용하는 dendriform 대수의 일반화이다. 자유 $m$-dendriform 대수의 차원 생성 함수는 $\frac{1}{(1-x)^{m+1}}$ 임을 증명하고, 이중 $m$-Dias 대수는 Koszul 작용소를 이루며, $m$-dendriform 및 $m$-Dias 작용소는 상호 이중성과 Koszul 성질을 가짐을 밝혀낸다.

ABSTRACT

The Fuss-Catalan numbers are a generalization of the Catalan numbers. They enumerate a large class of objects and in particular m-Dyck paths and m+1-ary trees. Recently, F. Bergeron defined an analogue for generic m of the Tamari order on classical Dyck words. The author and J.-Y. Thibon showed that the combinatorial Hopf algebras related to these m-Tamari orders are defined thanks to the same monoid, the sylvester monoid, as in the m=1 case and that all related Hopf algebras also have m analogues. We present here the m-generalization of another construction on Catalan sets: the dendriform algebras. These algebras are presented in two different ways: first by relations between the m+1 operations, relations that are very similar to the classical relations; and then by explicit operations splitting the classical dendriform operations defined on words into new operations. We then investigate their dual and show they are Koszul.

연구 동기 및 목표

• Fuss-Catalan 조합론을 위한 $m$-dendriform 대수로 dendriform 대수를 일반화하기.
• 단일 생성자로부터 모든 sylvester 클래스를 생성하는 단어 위의 $m+1$ 개의 연산을 정의하고, 이들이 sylvester 클래스를 유지함을 보장하기.
• 결과적으로 유도된 $m$-dendriform 대수가 $(m+1)$-진 트리의 생성 함수와 일치하는 차원을 가짐을 보이기.
• 이중 $m$-Dias 대수를 구성하고, $m$-dendriform 및 $m$-Dias 작용소 간의 Koszul 이중성 증명하기.

제안 방법

• 고전적인 dendriform 관계에 유사한 관계를 만족하는 $m+1$ 개의 연산을 통해 $m$-dendriform 대수를 정의하기.
• 단어 위의 오른쪽에서 왼쪽으로의 최소값을 사용하여 이동 셔플 곱을 $m+1$ 개의 부분으로 분할함으로써 명시적인 $m$-dendriform 대수를 구성하기.
• 나무 패턴에 대한 재귀적 변환 체계를 사용하여 모든 $m$-dendriform 대수가 잘 정의되어 있고 유한 차원임을 보이기.
• 성분 생성 함수에 대한 재귀적 방정식을 통해 자유 $m$-dendriform 대수의 생성 함수 $U = \frac{1}{(1-x)^{m+1}}$ 를 증명하기.
• 모노이드 관계를 통해 이중 $m$-Dias 대수를 정의하고, 나무 패턴에 대한 변환 체계의 확장성과 순환성 없음을 증명하기.
• 나무 패턴에 대한 변환 그래프의 확장성과 순환성 없음을 이용하여 $m$-Dias 작용소가 Koszul임을 보이고, 이중성은 이차 표현과 Koszul 이중성 이론에 의해 유도됨을 밝혀내기.

실험 결과

연구 질문

• RQ1 dendriform 대수는 $m$-Dyck 경로와 $(m+1)$-진 트리의 조합론을 포괄하는 $m$-dendriform 대수로 일반화될 수 있는가?
• RQ2 단어 위의 $m+1$ 개의 연산은 sylvester 클래스를 유지하며, 단일 생성자로부터 모든 클래스를 생성하는가?
• RQ3 자유 $m$-dendriform 대수의 생성 함수는 무엇이며, Fuss-Catalan 수와 일치하는가?
• RQ4 이중 $m$-dendriform 대수의 이중 대수는 Koszul인가? 그리고 $m$-dendriform 및 $m$-Dias 작용소 간에 이중성이 존재하는가?
• RQ5 나무 패턴에 대한 재귀적 변환 체계를 통해 $m$-dendriform 대수의 구조를 완전히 특징지을 수 있는가?

주요 결과

• 자유 $m$-dendriform 대수의 생성 함수는 $U = \frac{1}{(1-x)^{m+1}}$ 로, $(m+1)$-진 트리의 생성 함수와 정확히 일치한다.
• $m$-dendriform 대수는 단어 위의 오른쪽에서 왼쪽으로의 최소값을 사용하여 이동 셔플 곱을 $m+1$ 개의 연산으로 분할함으로써 구성된다.
• 이중 $m$-Dias 대수는 모노이드 관계로 정의되며, 생성 함수 $h(-x) = \frac{-x}{(1+x)^{m+1}}$ 를 가지며, 이는 $m$-dendriform 생성 함수의 복합 역함수이다.
• $m$-dendriform 및 $m$-Dias 작용소는 모두 Koszul이며 상호 이중성 관계를 가진다. 이는 나무 패턴에 대한 변환 체계의 확장성과 순환성 없음에 의해 확인된다.
• $m$-dendriform 대수의 변환 체계는 확장성과 순환성 없음을 가지며, 이는 모든 대수 원소가 유일한 정규형 나무(유효한 패턴만 포함)로 표현됨을 보장한다.
• $m$-Dias 작용소는 이차적이고 확장성이 있으며, 알려진 결과에 따르면 이는 $m$-dendriform 및 $m$-Dias 작용소가 Koszul 이중성 관계에 있음을 의미한다.