[论文解读] 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级数，用于分析随机Runge-Kutta方法在采样遍历SDE的不变测度时的阶条件。通过建立奇异森林与嫁接森林上的Grossman-Larson代数及其对偶Connes-Kreimer余代数之间的代数关系，作者推导出一种乘法复合律，使得某些阶条件能自动满足，从而显著简化了高阶不变测度积分器的构造。

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.

研究动机与目标

• 开发一种系统化的代数框架，用于分析针对遍历SDE不变测度的随机积分器的阶条件。
• 将B级数与S级数扩展至随机情形下的奇异森林与嫁接森林，特别是针对加性噪声SDE。
• 引入一种新的对称性归一化系数，以统一处理奇异树与森林。
• 建立奇异S级数的复合律，使得某些阶条件能自动满足。
• 将该框架应用于随机Runge-Kutta方法，推导出至三阶的不变测度采样显式阶条件。

提出的方法

• 本文构造了奇异芳香森林，并通过一种新的对称性归一化系数σ(τ)定义奇异S级数，该系数类似于确定性情形下的形式。
• 建立了奇异森林与嫁接森林上的Grossman-Larson代数与Connes-Kreimer余代数之间的对偶性，从而可定义自然的复合律。
• 利用带标记的芳香森林来建模加性噪声SDE中出现的向量场，特别是在过阻尼Langevin方程中。
• 为奇异S级数推导出一种乘法复合律，当方法满足低阶条件时，可确保某些阶条件自动满足。
• 将该框架应用于随机Runge-Kutta方法，通过算法化程序推导阶条件，并利用显式公式进行验证。
• 本文提供了至三阶的完整阶条件列表，其中标有∗的条件因复合律而自动满足。

实验结果

研究问题

• RQ1 如何对奇异B级数与S级数进行代数结构化，以分析遍历SDE中不变测度采样的阶条件？
• RQ2 新的对称性归一化系数在随机情形下统一处理奇异森林与嫁接森林方面起到何种作用？
• RQ3 在奇异森林及其对偶的背景下，Grossman-Larson代数与Connes-Kreimer代数的代数结构之间有何关系？
• RQ4 在奇异S级数框架下，由于乘法复合律的存在，哪些随机Runge-Kutta方法的阶条件能自动满足？
• RQ5 至三阶的显式阶条件中，哪些控制了随机积分器对不变测度的收敛性？

主要发现

• 本文推导出奇异S级数的乘法复合律，使得某些阶条件能自动满足，从而减少了需验证的条件数量。
• 在三阶时，该方法识别出三个条件（表2中标记为∗）因复合律而自动满足，显著简化了高阶积分器的构造。
• 该框架成功生成了针对目标不变测度的随机Runge-Kutta方法至三阶的所有阶条件，并提供了显式公式。
• 对称性归一化系数σ(τ)被证明在保持代数结构与问题随机动力学之间的一致性方面至关重要。
• 奇异森林上的Grossman-Larson代数与Connes-Kreimer余代数之间的对偶性被严格建立，从而支持了复合律的推导。
• 在过阻尼Langevin方程上的应用验证了该框架在分析加性噪声遍历SDE中的有效性。