[論文レビュー] Exotic B-series and S-series: algebraic structures and order conditions for invariant measure sampling

Eugen Bronasco|arXiv (Cornell University)|Sep 22, 2022

Advanced Topics in Algebra被引用数 4

ひとこと要約

本稿では、エルゴード的スデの不変測度をサンプリングするための確率的ルンゲ＝クッタ法のための次数条件を分析するために、新規の対称性正規化を用いた異方的B系列およびS系列を導入する。異方的および接続された森の上のグロスマン＝ラーソン代数とその双対であるコンネス＝クライマー余代数の間の代数的関係を確立することで、特定の次数条件が自動的に満たされる multiplicative 組み合わせ則を導出し、高次不変測度積分可能の構築を著しく簡素化する。

ABSTRACT

B-series and generalizations are a powerful tool for the analysis of numerical integrators. An extension named exotic aromatic B-series was introduced to study the order conditions for sampling the invariant measure of ergodic SDEs. Introducing a new symmetry normalization coefficient, we analyze the algebraic structures related to exotic B-series and S-series. Precisely, we prove the relationship between the Grossman-Larson algebras over exotic and grafted forests and the corresponding duals to the Connes-Kreimer coalgebras and use it to study the natural composition laws on exotic S-series. Applying this algebraic framework to the derivation of order conditions for a class of stochastic Runge-Kutta methods, we present a multiplicative property that ensures some order conditions to be satisfied automatically.

研究の動機と目的

• エルゴード的スデの不変測度を標的にする確率的積分可能の次数条件を分析するための体系的な代数的枠組みを構築すること。
• 加法的ノイズを伴うスデの文脈において、特にB系列およびS系列を異方的および接続された森へと拡張すること。
• 異方的木および森の取り扱いを統一するための新しい対称性正規化係数を導入すること。
• 異方的S系列のための組み合わせ則を確立し、特定の次数条件が自動的に満たされることを可能にすること。
• 枠組みを確率的ルンゲ＝クッタ法に適用し、不変測度サンプリングのための次数条件を3次まで明示的に導出すること。

提案手法

• 本稿では、異方的芳香森を構築し、決定論的ケースに類似した新しい対称性正規化係数σ(τ)を用いて異方的S系列を定義する。
• 異方的および接続された森の上のグロスマン＝ラーソン代数とコンネス＝クライマー余代数の間の双対性を確立し、自然な組み合わせ則の定義を可能にする。
• 加法的ノイズを伴うスデにおけるベクトル場を表現するために装飾された芳香森を用いる。特にオーバードンプドランジュビン方程式に焦点を当てる。
• 異方的S系列のためのmultiplicative 組み合わせ則を導出し、その方法が低次の条件を満たす場合に、特定の次数条件が自動的に満たされることを保証する。
• 枠組みを確率的ルンゲ＝クッタ法に適用し、アルゴリズム的手順を用いて次数条件を導出し、明示的な公式を用いて検証する。
• 本稿では、3次までの次数条件の完全なリストを提供し、組み合わせ則のおかげで自動的に満たされる条件をマークする。

実験結果

リサーチクエスチョン

• RQ1 エキゾチックB系列およびS系列をどのように代数的に構造化することで、エルゴード的スデにおける不変測度サンプリングのための次数条件を分析できるか？
• RQ2 新しい対称性正規化係数が、確率的設定における異方的森および接続された森の取り扱いを統一する役割を果たすか？
• RQ3 異方的森およびその双対において、グロスマン＝ラーソン代数とコンネス＝クライマー代数の代数的構造はどのように関係するか？
• RQ4 異方的S系列枠組みにおけるmultiplicative 組み合わせ則のおかげで、確率的ルンゲ＝クッタ法のどの次数条件が自動的に満たされるか？
• RQ5 3次までの明示的な次数条件は、確率的積分可能の不変測度への収束をどのように規定するか？

主な発見

• 本稿では、特定の次数条件が自動的に満たされる multiplicative 組み合わせ則を異方的S系列に対して導出し、検証すべき条件の数を削減する。
• 3次において、表2のアsterisk（∗）でマークされた3つの条件が、組み合わせ則のおかげで自動的に満たされることを同定し、高次積分可能の構築を簡素化する。
• この枠組みは、不変測度を標的にする確率的ルンゲ＝クッタ法について、3次までの次数条件をすべて生成し、明示的な公式を提供する。
• 対称性正規化係数σ(τ)が、代数的構造と問題の確率的ダイナミクスとの一貫性を保つために不可欠であることが示された。
• 異方的森の上のグロスマン＝ラーソン代数とコンネス＝クライマー余代数の双対性が厳密に確立され、組み合わせ則の導出を可能にする。
• オーバードンプドランジュビン方程式への応用により、加法的ノイズを伴うエルゴード的スデの分析における枠組みの有効性が確認された。