[논문 리뷰] The product of trees in the Loday-Ronco algebra through Catalan alternative tableaux

Jean-Christophe Aval, Xavier Gérard Viennot|ArXiv.org|2009. 12. 04.

Advanced Topics in Algebra참고 문헌 10인용 수 5

한 줄 요약

이 논문은 이진 트리의 Loday-Ronco 호프 대수에서의 곱을 간단하고 시각적인 방법으로 기술하기 위해 카탈란 대체 표편을 조합적 도구로 도입한다. 셀에 레이블이 붙고 점이 색칠된 표편을 통해 트리 곱을 표현함으로써, 내부 정점의 수를 유지하는 새로운 결합 법칙을 가진 곱 $\,#\,$를 유도한다. 이 곱은 표편 연결 및 점 배치 규칙을 통해 이진 트리 위에 새로운 대수적 구조를 제공한다.

ABSTRACT

The aim of this note is to show how the introduction of certain tableaux, called Catalan alternative tableaux, provides a very simple and elegant description of the product in the Hopf algebra of binary trees defined by Loday and Ronco. Moreover, we use this description to introduce a new associative product on the space of binary trees.

연구 동기 및 목표

• 카탈란 대체 표편을 사용하여 Loday-Ronco 대수의 곱을 조합적이고 시각적으로 기술하는 것.
• 이진 트리와 카탈란 대체 표편 사이의 전단사 관계를 설정함으로써, 트리의 구조와 표편의 형태 및 점의 배치를 연결하는 것.
• 표편 연결 및 유효한 점 구성 규칙을 통해 이진 트리 공간 위에 새로운 결합 법칙을 가진 곱 $\,#\,$를 정의하고 도입하는 것.
• 새로운 $\,#\,$ 곱이 내부 정점의 수를 유지함을 보여주며, 이는 $Y_{k+l-1}$에서 잘 정의된 곱이 됨을 의미하는 것.
• 표편 기반 알고리즘과 순열의 표준화를 통해 트리 곱의 통합적 이해를 가능하게 하는 것.

제안 방법

• 카탈란 대체 표편을 $\{0\} \times \mathbb{N}$ 에서 $\mathbb{N} \times \{0\}$ 으로 가는 경로로 정의하며, 셀은 아래에 위치하고 파란색 및 빨간색 점으로 레이블이 붙는다.
• 트리의 업-다운 순서를 표편의 경로 형태로 매핑함으로써 이진 트리와 카탈란 대체 표편 사이의 전단사를 수립한다.
• 순열의 표준화와 $\Psi$-사상(사상)을 사용하여 순열과 트리, 그리고 그 역상인 표편의 레이블링을 연결한다.
• 표편에 레이블이 붙고 색칠된 점이 있는 것을 증명하는 이중적 알고리즘을 적용하여 증가하는 이진 트리로 변환한다.
• 표편 $C_1$ 과 $C_2$ 를 연결하고 결과적으로 생기는 직사각형에 임의의 유효한 점 배치를 적용함으로써 $\,#\,$ 곱을 정의한다.
• Loday-Ronco 대수의 곱이 정확히 일관된 점 배치를 가진 이러한 표편 연결로부터 유도된 트리들의 합과 일치함을 증명한다.

실험 결과

연구 질문

• RQ1 Loday-Ronco 대수에서 두 이진 트리의 곱은 카탈란 대체 표편을 통해 어떻게 조합적으로 기술될 수 있는가?
• RQ2 이진 트리의 구조와 그에 대응하는 카탈란 대체 표편의 형태 및 점 구성 간의 정확한 대응 관계는 무엇인가?
• RQ3 표편 연결 및 유효한 점 배치를 통해 이진 트리 위에 새로운 결합 법칙을 가진 곱을 정의할 수 있으며, 그 구조적 성질은 무엇인가?
• RQ4 표현된 $\,#\,$ 곱은 내부 정점의 수를 어떻게 유지하는가? 이는 대수적 등급 구조에 어떤 의미를 갖는가?
• RQ5 점의 배치 및 레이블링에 어떤 조건이 필요할 경우, 이중적 알고리즘을 거쳐 증가하는 이진 트리가 유도되는가?

주요 결과

• Loday-Ronco 대수에서 두 트리 $T_1$ 과 $T_2$ 의 곱은, $T_1$ 과 $T_2$ 의 표편을 연결하고 결과 직사각형에 임의의 유효한 점 배치를 적용하여 유도된 카탈란 대체 표편과 연결된 모든 트리 $T$ 의 합으로 주어진다.
• 트리 $T$ 와 관련된 카탈란 대체 표편의 형태는 정확히 $T$ 의 업-다운 순서(또는 캐노피)이며, 이는 $\Psi(\sigma) = T$ 를 만족하는 임의의 순열 $\sigma$ 의 업-다운 순서이기도 하다.
• 레이블이 붙은 카탈란 대체 표편이 증가하는 이진 트리를 유도하는 것은 그 형태가 순열의 업-다운 순서와 일치하고, 점 구성이 그 순열과 관련된 표편의 점 구성과 일치할 때에만 가능하다.
• 새로운 $\,#\,$ 곱은 결합 법칙을 가지며, $T_1 \in Y_k$ 와 $T_2 ∈ Y_l$ 를 $Y_{k+l-1}$ 에 속하는 트리들의 합으로 매핑함으로써 내부 정점 총수를 유지한다.
• $\,#\,$ 곱은 명시적으로 $\text{S1} \,#\, \text{S2} = \text{S3} + \text{S4} + \text{S5}$ 와 같이 도식화되어 있으며, 표편 연결 및 유효한 점 배치를 통한 조합적 구성 방식을 확인한다.
• 증명의 핵심은 $\Psi^*(T_1) * \Psi^*(T_2)$ 에 속하는 임의의 순열 $\sigma$ 는 표준화가 $T_1$ 과 $T_2$ 를 각각 유도하는 두 부분으로 분해되며, 그 표편 구조는 $C_1$ 과 $C_2$ 의 연결과 일관된 점 배치를 가짐을 뜻한다.