[논문 리뷰] Two interacting Hopf algebras of trees

Damien Calaque, Kurusch Ebrahimi‐Fard외 1명|arXiv (Cornell University)|2008. 06. 13.

Advanced Topics in Algebra참고 문헌 39인용 수 33

한 줄 요약

이 논문은 간선 수에 따라 등급을 매긴, 교환 법칙을 만족하지만 코개환 법칙을 만족하지 않는 루트된 숲의 새로운 호프 대수 H를 소개한다. 여기서 코프로덕트는 고리가 없는 파인만 그래프로 간주된 트리의 삽입을 통해 정의된다. 이는 콘네스–크라이머 호프 대수 H_CK에 놀라운 H-이중모듈러 구조를 수립함으로써, 수치해석에서 중요한 결과들—특히 B-급수의 합성과 대입의 호환성, 그리고 오차 분석 특성 ω—을 H*의 원시 부분의 전리 곱과 왼쪽 코작용 연산자의 이중미분 성질을 통해 회복한다.

ABSTRACT

Hopf algebra structures on rooted trees are by now a well-studied object, especially in the context of combinatorics. In this work we consider a Hopf algebra H by introducing a coproduct on a (commutative) algebra of rooted forests, considering each tree of the forest (which must contain at least one edge) as a Feynman-like graph without loops. The primitive part of the graded dual is endowed with a pre-Lie product defined in terms of insertion of a tree inside another. We establish a surprising link between the Hopf algebra H obtained this way and the well-known Connes-Kreimer Hopf algebra of rooted trees by means of a natural H-bicomodule structure on the latter. This enables us to recover recent results in the field of numerical methods for differential equations due to Chartier, Hairer and Vilmart as well as Murua.

연구 동기 및 목표

• 루트된 숲의 새로운 교환 법칙을 만족하는 호프 대수 H를 구성하며, 간선 수에 따라 등급을 매기고, 각 트리를 고리가 없는 파인만 그래프로 간주하여 삽입을 통해 코프로덕트를 정의한다.
• 등급을 매긴 쌍대대수 H*의 원시 부분에 트리 삽입 연산을 사용하여 전리 곱을 정의한다.
• 콘네스–크라이머 호프 대수 H_CK에 놀랍게도 H-이중모듈러 구조를 수립하여 두 개의 서로 다른 루트된 나무 호프 대수 간의 연결 고리를 제공한다.
• 최근 수치해석에서 B-급수의 합성과 대입에 관한 결과들을 복원하고 통합하며, 특히 샤티에, 하이어, 빌마르, 무루아의 결과들을 포함한다.
• 샤포톤에 의해 도입된 특성 log*의 로그와 전리 곱 매크스 전개를 통해 후방 오차 분석 특성 ω를 연결한다.

제안 방법

• 각 트리를 고리가 없는 파인만 그래프로 분해하고, 그래프를 부분그래프로 나누는 모든 방법에 대해 합을 취하여, 루트된 숲 위의 다항식 대수에 코프로덕트를 정의한다.
• H_CK의 정점 기반 등급과 다를 바 있는 간선 수 e(t)에 따라 호프 대수 H를 등급화한다.
• 등급을 매긴 쌍대대수 H*의 원시 부분을 구성하고, 한 트리를 다른 트리에 삽입하는 방식으로 정의된 전리 곱을 부여한다.
• H 위의 코프로덕트를 자연스럽게 확장하여 H_CK 위에 H-이중모듈러 구조를 정의하고, H_CK 위의 코작용 연산자를 가능하게 한다.
• 모든 무한소 특성 a에 대해 H_CK 위의 왼쪽 코작용 연산자 tL_a: H_CK → H_CK가 이중미분임을 보인다.
• 이중미분 성질을 이용하여 H의 특성 φ에 대해 히포 대수 자기동형사상 tL_φ를 구성함으로써, 대수적 구조가 수치해석 방법과 연결됨을 보인다.

실험 결과

연구 질문

• RQ1 간선 수에 따라 등급을 매기고, 고리가 없는 파인만 그래프 분해를 기반으로 한 코프로덕트를 사용하여, 새로운 루트된 숲 호프 대수 H를 어떻게 구성할 수 있으며, 이는 콘네스–크라이머 호프 대수 H_CK와 어떻게 다를까?
• RQ2 등급을 매긴 쌍대대수 H*의 원시 부분에 어떤 대수적 구조가 나타나며, 트리 삽입 연산과는 어떻게 관련이 있을까?
• RQ3 새로가 정의된 호프 대수 H와 콘네스–크라이머 호프 대수 H_CK 사이의 관계는 무엇이며, 이는 어떻게 이중모듈러 구조를 통해 수학적으로 형식화될 수 있을까?
• RQ4 H_CK 위의 H-이중모듈러 구조는 B-급수의 합성과 대입에 관한 알려진 결과들을 어떻게 회복할 수 있으며, 특히 샤티에, 하이어, 빌마르의 결과들을 어떻게 포함할 수 있을까?
• RQ5 후방 오차 분석 특성 ω는 전리 곱 매크스 전개와 샤포톤에 의해 도입된 특성 log*의 로그와 어떻게 관련이 있을까?

주요 결과

• 호프 대수 H는 간선 수에 따라 등급을 매기며, 각 트리를 고리가 없는 파인만 그래프로 간주하여 코프로덕트를 정의한다. 이는 정점 기반의 콘네스–크라이머 호프 대수 H_CK와 다릅니다.
• 등급을 매긴 쌍대대수 H*의 원시 부분은 한 트리를 다른 트리에 삽입하는 방식으로 정의된 자연스러운 전리 곱을 지니며, 트리 삽입에 대한 비자명한 대수적 구조를 제공합니다.
• H 위의 확장된 코프로덕트를 통해 H_CK 위에 H-이중모듈러 구조를 수립함으로써, 두 호프 대수 간의 깊은 대수적 연결 고리를 드러냈습니다.
• 모든 무한소 특성 a에 대해 H_CK 위의 왼쪽 코작용 연산자 tL_a는 이중미분임을 보였으며, 이는 향후 대수적 구성에 핵심적인 구조적 성질입니다.
• 이중미분 성질은 H의 특성 φ에 대해 히포 대수 자기동형사상 tL_φ를 유도하며, 이는 샤티에, 하이어, 빌마르가 보여준 B-급수의 합성과 대입 법칙의 호환성과 일치합니다.
• 후방 오차 분석 특성 ω는 샤포톤에 의해 도입된 특성 log*의 로그와 동일하며, 그 재귀적 공식이 전리 곱 매크스 전개와 일치함을 보여, 수치해석 결과와의 일致성을 확인합니다.