[논문 리뷰] Hopf-algebraic structures of families of trees

Robert L. Grossman, Richard G. Larson|ArXiv.org|2007. 11. 25.

Advanced Topics in Algebra참고 문헌 3인용 수 13

한 줄 요약

이 논문은 뿌리가 있는 나무의 가족을 이용해 코코herent한 등급이 부여된 연결된 호프 대수를 구성하며, 나무를 자식들을 붙여서 결합하는 곱과 뿌리의 자식들을 분할하는 코곱을 사용한다. 주요 기여는 밀너-무어와 파oincaré-버흐호프-위트 정리들을 이용한 카일리의 공식에 대한 새로운 대수적 증명으로, 원시 원소에서 유도된 이항계수의 곱을 포함하는 생성함수 항등식이 뿌리가 있는 나무의 수를 만족함을 보여준다.

ABSTRACT

Description of cocommutative Hopf algebras associated with families of trees. Applications include Cayley's theorem on the number of rooted trees with n nodes, and Catalan's theorem on the number of rooted ordered trees with n nodes.

연구 동기 및 목표

• 유한한 뿌리가 있는 나무의 동형류가 생성하는 벡터 공간 위에 호프 대수적 구조를 수립하는 것.
• 이 호프 대수적 구조가 뿌리가 있는 나무에 대한 고전적인 조합적 수세기 결과, 예를 들어 카일리의 공식에 대한 새로운 대수적 증명을 가능하게 함을 보여주는 것.
• 라벨링된, 순서가 있는, 히프-오더링된 나무에 관련된 호프 대수의 대수적 성질을 탐색하는 것.
• 이 호프 대수의 원시 원소를 특성화하고, 이를 분해 불가능한 나무와 연결하는 것.
• 특정 분해 성질을 갖는 나무의 가족이 그들의 분해 불가능한 원소들로 생성하는 자유 대수임을 보여주는 것.

제안 방법

• 한 나무의 자식들을 다른 나무의 노드에 붙일 수 있는 모든 방법을 합하여 뿌리가 있는 나무로 생성되는 벡터 공간 위에 곱을 정의한다.
• 뿌리의 자식들을 두 개의 서로소 집합으로 분할할 수 있는 모든 방법을 고려하여 코곱을 정의하고, 두 부분나무의 텐서곱을 형성한다.
• 밀너-무어 정리를 사용하여 호프 대수를 그 원시 원소들의 유니버설 쌍대 대수로 특성화한다.
• 파인카레-버흐호프-위트 정리를 적용하여 동차 성분의 차원에 대한 곱셈 공식을 도출한다.
• 뿌리의 자식 수를 기반으로 필터를 도입하여, 분해 불가능한 나무들로 생성된 자유 대수와 호프 대수를 비교한다.
• 관련된 호프 대수의 동차 성분 위에 유도된 사상이 단사성과 전사성을 보임으로써, 호프 대수와 분해 불가능한 원소들로 생성된 자유 대수 사이의 동형을 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 뿌리가 있는 나무의 가족 위에 자연스럽게 호프 대수적 구조를 정의할 수 있으며, 이러한 구조를 보장하는 공리들은 무엇인가?
• RQ2 뿌리가 있는 나무 위의 호프 대수적 구조가 카일리의 공식과 같은 고전적인 수세기 공식에 대한 새로운 대수적 증명을 도출할 수 있는가?
• RQ3 호프 대수의 원시 원소와 그 가족 내 분해 불가능한 나무 사이의 관계는 무엇인가?
• RQ4 언제 호프 대수가 그 분해 불가능한 원소들로 생성된 자유 대수와 동형이 되는가?
• RQ5 라벨링된, 순서가 있는, 히프-오더링된 나무의 대수적 구조는 그 호프 대수적 표현에서 어떻게 다를까?

주요 결과

• 뿌리가 있는 나무의 호프 대수는 그 원시 원소들의 유니버설 쌍대 대수와 동형이며, 원시 원소는 뿌리가 정확히 한 명의 자식을 갖는 나무들이다.
• 노드 수가 $ n+1 $인 뿌리가 있는 나무의 수는 $ t_{n+1} = \sum_{m_1 + 2m_2 + \cdots + r m_r = n} \binom{m_1 + t_1 - 1}{m_1} \cdots \binom{m_r + t_r - 1}{m_r} $ 를 만족하며, 이는 카일리의 생성함수 항등식 $ T(z) = z \prod_{n=1}^\infty (1 - z^n)^{-t_n} $ 으로 이어진다.
• 히프-오더링된 나무의 경우, 노드 수가 $ n+1 $인 나무의 수는 $ n! $ 이며, 분해 불가능한 나무의 수는 $ g_n = n! - \sum_{k=1}^{n-1} k! \cdot g_k $ 를 만족한다.
• 히프-오더링된 나무의 호프 대수는 고유한 분해 성질 덕분에 그 분해 불가능한 원소들로 생성된 자유 대수와 동형이다.
• 고유한 분해 성질을 갖는 가족의 호프 대수의 관련 동차 성분은 분해 불가능한 원소들로 생성된 자유 대수와 동형이다.
• 호프 대수에 정의된 코곱과 곱의 구조는 나무의 분해와 호환되며, 대수적 구조를 통해 재귀적 수세기 가능성을 제공한다.