[논문 리뷰] A lattice of combinatorial Hopf algebras, Application to binary trees with multiplicities

Jean-Baptiste Priez|arXiv (Cornell University)|2013. 03. 22.

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

한 줄 요약

이 논문은 플라크틱 유사 모노이드로부터 유도된 다항식 실현을 통해 조합적 호프 대수에 대한 격자 구조를 제안한다. 스타일리스트 및 스탈라틱 모노이드의 상한을 취하여, 승수를 가진 이진 트리 위의 새로운 호프 대수를 구성하고, 이중 대수 WQSym#에서 생성함수 기법을 사용하여 이러한 트리에 대한 후크 길이 공식을 증명한다.

ABSTRACT

In a first part, we formalize the construction of combinatorial Hopf algebras from plactic-like monoids using polynomial realizations. Thank to this construction we reveal a lattice structure on those combinatorial Hopf algebras. As an application, we construct a new combinatorial Hopf algebra on binary trees with multiplicities and use it to prove a hook length formula for those trees. Dans une première partie, nous formalisons la construction d'algèbres de Hopf combinatoires à partir d'une réalisation polynomiale et de monoïdes de type monoïde plaxique. Grâce à cette construction, nous mettons à jour une structure de treillis sur ces algèbres de Hopf combinatoires. Comme application, nous construisons une nouvelle algèbre de Hopf sur des arbres binaires à multiplicités et on l'utilise pour démontrer une formule des équerres sur ces arbres.

연구 동기 및 목표

• 플라크틱 유사 모노이드로부터 유도된 다항식 실현을 통해 조합적 호프 대수의 일반적 구성 방법을 체계화한다.
• 모노이드 동치관계의 격자 구조를 상승시켜 이러한 호프 대수 위에 격자 구조를 드러낸다.
• 이 프레임워크를 활용하여 승수를 가진 이진 트리 위의 새로운 호프 대수를 구성한다.
• WQSym의 이중 대수에서 생성함수를 사용하여 이러한 트리에 대한 후크 길이 공식을 증명한다.
• 이러한 구성 방식이 양호한 모노이드에 대해 일반 후크 길이 공식을 도출하는가를 탐색한다.

제안 방법

• 자유 모노이드에서 단어로의 사상(표준화, 패킹, 파킹화)을 통해 호프 대수의 다항식 실현을 정의한다.
• 모노이드 동치관계(예: 스타일리스트, 스탈라틱, 하이포플라틱)를 사용하여 동치류를 정의하고, 이를 호프 대수 기저를 생성한다.
• 모노이드 동치관계의 격자 연산(만남과 상한)을 결과로 얻은 호프 대수로 상승시킨다.
• 스타일리스트 및 스탈라틱 모노이드의 상한으로서 승수를 가진 이진 트리 위의 새로운 호프 대수를 구성한다.
• WQSym#의 이중 대수에서 생성함수를 사용하여 트리 삽입의 고정점 방정식을 모델링하고, 이중선형 사상으로 트리의 구조를 인코딩한다.
• 트리 T에 대해 생성함수의 계수가 f(T), 즉 삽입 과정에서 T를 유도하는 압축된 단어의 수임을 증명하고, 후크 길이 공식을 통해 이를 확인한다.

실험 결과

연구 질문

• RQ1 모노이드 동치관계의 격자 구조가 조합적 호프 대수의 격자로 체계적으로 상승될 수 있는가?
• RQ2 두 모노이드의 상한(예: 스타일리스트 및 스탈라틱)으로부터 호프 대수를 구성할 경우 자연스러운 후크 길이 공식이 도출되는가?
• RQ3 [HNT08b]에서 사용된 생성함수 접근법이 승수를 가진 트리에 대한 후크 길이 공식을 일반화할 수 있는가?
• RQ4 표준화, 패킹, 파킹화와 같은 사상들이 이러한 호프 대수를 구성하는 데 있어 정준적인 역할을 하는가?
• RQ5 모든 '양호한' 모노이드가 유사한 생성함수 구성 방식을 통해 후크 길이 공식을 도출하는가?

주요 결과

• 플라크틱 유사 모노이드로부터 유도된 다항식 실현을 통한 조합적 호프 대수의 구성은 모노이드 동치관계의 격자와 동형인 격자 구조를 가진다.
• 스타일리스트 및 스탈라틱 모노이드의 상한은 승수를 가진 이진 트리 위의 새로운 호프 대수를 유도하며, 각 트리는 기저 원소에 대응한다.
• 이진 탐색 트리 삽입 알고리즘에서 주어진 트리 T를 유도하는 압축된 단어의 수는 f(T) = |T|! / ∏_{t∈T} (|t| (m(t)−1)!), 이는 새로운 후크 길이 공식을 증명한다.
• WQSym#의 이중 대수에서 생성함수 BT(1)은 Bm(u) = T를 만족하는 모든 압축된 단어 u에 대해 기저 원소 Su의 합과 일치하며, 이는 시리즈 평가를 통해 공식을 확인한다.
• 함수 방정식 x = 1 + ∫₀^z e^{sx(s)^2} ds의 생성함수 해는 트리의 구조를 인코딩하며, 크기가 n인 트리 T에 대해 BT(1) = f(T) z^n / n! 을 유도한다.
• 이 방법은 [HNT08b]의 접근법을 일반화하며, 이러한 트리에 대한 q-해석 후크 길이 공식을 증명할 가능성도 시사한다.