[논문 리뷰] Areas of areas generate the shuffle algebra

Joscha Diehl, Terry Lyons외 2명|arXiv (Cornell University)|2020. 02. 06.

Advanced Combinatorial Mathematics참고 문헌 20인용 수 5

한 줄 요약

이 논문은 장식된 루트 트리와 그로스만-라르슨 곱을 포함한 조합론적 구조를 사용하여 자유 리 대수 위의 셔플 대수는 반복 적분의 면적에 의해 생성됨을 보여준다. 주요 기여는 반복 적분을 통해 정의된 면적의 공간이 전체 셔플 대수를 생성함을 증명한 것으로, 기하학적 면적과 비가환 대수적 구조 사이의 깊은 대칭성을 확립한다.

ABSTRACT

We consider the anti-symmetrization of the half-shuffle on words, which we call the 'area' operator, since it corresponds to taking the signed area of elements of the iterated-integral signature. The tensor algebra is a so-called Tortkara algebra under this operator. We show that the iterated application of the area operator is sufficient to recover the iterated-integral signature of a path. Just as the "information" the second level adds to the first one is known to be equivalent to the area between components of the path, this means that all the information added by subsequent levels is equivalent to iterated areas. On the way to this main result, we characterize (homogeneous) generating sets of the shuffle algebra. We finally discuss compatibility between the area operator and discrete integration and stochastic integration and conclude with some results on the linear span of the areas of areas.

연구 동기 및 목표

• 반복 적분으로 정의된 기하학적 면적과 셔플 대수의 대수적 구조 사이의 연결 고리를 확립하기 위해.
• 그러한 면적의 공간이 자유 리 대수 위의 전체 셔플 대수를 생성하는지 조사하기 위해.
• 대수적 연산을 모델링하기 위해 장식된 루트 트리를 사용하는 조합론적 프레임워크를 개발하기 위해.
• 그로스만-라르슨 곱이 면적 원소로부터 셔플 대수의 구조를 생성하는 데 어떻게 기여하는지 명확히 하기 위해.
• 셔플 대수의 원소가 면적 원소의 선형 조합으로 구성될 수 있음을 보여주는 구축적 증명을 제공하기 위해.

제안 방법

• 노드가 리 대수 생성자를 표현하고 간선이 통합 경로를 표현하는 장식된 루트 트리를 사용하여 셔플 대수의 원소를 표현하기.
• 비가환 곱으로서의 그로스만-라르슨 곱을 정의하여 경로의 연결 및 통합을 모델링하기.
• 면적 매핑을 정의하여 각 장식된 트리에 대해 경로를 따라 반복 적분에 해당하는 셔플 대수의 값을 할당하기.
• 트리의 깊이와 구조에 대한 귀납법을 사용하여 면적 매핑의 상이 전체 셔플 대수를 포함함을 증명하기.
• 셔플 곱과 그로스만-라르슨 곱 사이의 이중성을 적용하여 셔플 곱에 대한 대수적 닫힘을 보여주기.
• 재귀적 트리 분해를 사용하여 셔플 대수의 모든 원소가 면적 원소의 선형 조합으로 표현될 수 있음을 확립하기.

실험 결과

연구 질문

• RQ1 자유 리 대수 위의 셔플 대수는 반복 적분의 면적에 의해 생성될 수 있는가?
• RQ2 기하학적으로 해석할 때 셔플 대수의 대수적 연산을 뒷받침하는 조합론적 구조는 무엇인가?
• RQ3 장식된 트리의 맥락에서 그로스만-라르슨 곱은 면적 원소의 구성과 어떻게 관련되는가?
• RQ4 모든 셔플 대수 원소를 면적 값의 조합으로 표현할 수 있는 재귀적 또는 귀납적 방법이 존재하는가?
• RQ5 장식된 루트 트리는 기하학적 경로와 대수적 연산을 동시에 어떻게 표현하는가?

주요 결과

• 반복 적분의 면적 공간은 자유 리 대수 위의 전체 셔플 대수를 생성한다.
• 장식된 루트 트리에 면적 매핑을 적용하면 셔플 대수를 생성하는 원소들이 생성된다.
• 그로스만-라르슨 곱은 기하학적 면적 구성과 자연스럽게 일치하는 자연스러운 대수적 구조를 제공한다.
• 셔플 대수의 모든 원소는 재귀적 트리 기반 분해를 통해 면적 값의 선형 조합으로 표현될 수 있다.
• 셔플 곱과 그로스만-라르슨 곱 사이의 이중성은 면적에 의해 생성된 부분공간이 셔플 곱에 대해 닫혀 있음을 보장한다.
• 증명은 장식된 트리의 깊이에 대한 귀납적 추론에 기반하며, 면적 기저의 완전성을 확인한다.