[논문 리뷰] Eulerian idempotent, pre-Lie logarithm and combinatorics of trees

Ruggero Bandiera, Florian Schätz|arXiv (Cornell University)|2017. 02. 28.

Advanced Topics in Algebra참고 문헌 18인용 수 7

한 줄 요약

이 논문은 보편 포괄 대수의 오일러형 등식형과 평면 이진 루트 트리의 전-리 대수에서의 전-리 로그 함수 사이의 연결 고리를 설정한다. 복합적인 조합론적 공식을 도출하기 위해, 저자들은 전-리 로그 함수를 계산하기 위해 언브라 계산 기법을 적용하며, PBW 기저와 딘킨 기저에서 오일러형 등식형을 나무에 의해 인덱싱된 반복 리 괄호의 선형 조합으로 표현한다.

ABSTRACT

The aim of this paper is to bring together the three objects in the title. Recall that, given a Lie algebra $\mathfrak{g}$, the Eulerian idempotent is a canonical projection from the enveloping algebra $U(\mathfrak{g})$ to $\mathfrak{g}$. The Baker-Campbell-Hausdorff product and the Magnus expansion can both be expressed in terms of the Eulerian idempotent, which makes it interesting to establish explicit formulas for the latter. We show how to reduce the computation of the Eulerian idempotent to the computation of a logarithm in a certain pre-Lie algebra of planar, binary, rooted trees. The problem of finding formulas for the pre-Lie logarithm, which is interesting in its own right -- being related to operad theory, numerical analysis and renormalization -- is addressed using techniques inspired by umbral calculus. As a consequence of our analysis, we find formulas both for the Eulerian idempotent and the pre-Lie logarithm in terms of the combinatorics of trees.

연구 동기 및 목표

• 자유 리 대수의 보편 포괄 대수에서 오일러형 등식형에 대한 명시적 공식을 제공하는 것.
• 평면 이진 루트 트리의 전-리 대수적 구조에서 오일러형 등식형과 전-리 로그 함수 사이의 관계를 규명하는 것.
• 언브라 계산 기법을 활용하여 전-리 대수의 트리에서 전-리 로그 함수를 계산하는 방법을 개발하는 것.
• 나무 조합론을 활용하여 오일러형 등식형을 PBW 기저와 딘킨 기저 양쪽에서 표현하는 것.
• 나무 기반 계수를 통해 베이커-캠프벨-하우스도르프 곱과 맥커스 전개의 조합론적 프레임워크를 구축하는 것.

제안 방법

• 평면 이진 루트 트리로 생성되는 벡터 공간 위에 전-리 대수적 구조를 정의하는 것.
• 기존의 결합 대수에서의 고전적 로그 함수와 유사하게, 이 전-리 대수에서 형식적 급수로서의 전-리 로그 함수를 도입하는 것.
• 언브라 계산 기법을 적용하여 전-리 로그 함수의 계수에 대한 폐쇄형 표현식을 유도하는 것.
• PBW 기저에서의 재귀 공식을 통해 전-리 로그 함수를 활용하여 오일러형 등식형을 계산하는 것.
• 계수 계산을 단순화하기 위해 반사적 호환성 변환에 대한 불변성 성질을 확립하는 것.
• 일반화된 워피츠키 항등식을 사용하여 PBW 기저에서의 표현식을 변환함으로써 딘킨 기저에서의 오일러형 등식형을 도출하는 것.

실험 결과

연구 질문

• RQ1 보편 포괄 대수에서 오일러형 등식형은 나무 조합론의 관점에서 어떻게 표현될 수 있는가?
• RQ2 평면 이진 루트 트리의 맥락에서 오일러형 등식형과 전-리 로그 함수 사이의 관계는 무엇인가?
• RQ3 언브라 계산 기법은 트리의 전-리 대수에서 전-리 로그 함수를 계산하는 데에 적응될 수 있는가?
• RQ4 딘킨 기저 전개에서 오일러형 등식형의 계수를 뒷받침하는 조합론적 구조는 무엇인가?
• RQ5 이 프레임워크를 통해 유도된 나무 기반 계수를 바탕으로 베이커-캠프벨-하우스도르프 곱은 어떻게 재구성될 수 있는가?

주요 결과

• 자유 리 대수의 보편 포괄 대수에서 오일러형 등식형은 평면 이진 루트 트리에 의해 인덱싱된 반복 리 괄호의 선형 조합으로 표현된다.
• PBW 기저 전개에서의 계수는 언브라 계산을 통해 유도된 내림수와 이항계수를 포함하는 공식으로 주어진다.
• 평면 이진 루트 트리의 대수에서 전-리 로그 함수는 언브라 계산을 통해 명시적으로 계산되며, 폐쇄형 표현식을 도출한다.
• 딘킨 기저에서의 오일러형 등식형은 일반화된 워피츠키 항등식을 사용하여 PBW 표현식을 변환함으로써 도출되며, 더 단순화된 계수 구조를 얻는다.
• 이 방법은 오일러형 등식형과 전-리 로그 함수 사이에 정규적인 연결 고리를 확립하며, 후자가 전자를 계산하는 데 도구로 기능한다.
• 이 프레임워크는 나무 기반 반복 괄호와 조합론적으로 정의된 계수를 갖는 베이커-캠프벨-하우스도르프 곱을 체계적으로 계산할 수 있는 방법을 제공한다.