[論文レビュー] Areas of areas generate the shuffle algebra

Joscha Diehl, Terry Lyons+2 more|arXiv (Cornell University)|Feb 6, 2020

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 装飾付き根付き木は、幾何的経路と代数的演算の両方を符号化するために果たす正確な役割は何か？

主な発見

• 反復積分の面積の空間は、自由リー代数上のシャッフル代数全体を生成する。
• 装飾付き根付き木に面積写像を適用すると、その結果はシャッフル代数を張る要素を生成する。
• グロスマン＝ラーソン積は、面積の幾何的構成と整合する自然な代数的構造を提供する。
• シャッフル代数の任意の要素は、再帰的な木ベースの分解を用いて、面積値の線形結合として表現可能である。
• シャッフル積とグロスマン＝ラーソン積の双対性により、面積によって生成される部分空間はシャッフル積に関して閉じていることが保証される。
• 証明は、装飾付き木の深さに関する帰納的議論に依拠しており、面積基底の完全性が確認される。