技術要約：常微分方程式から特異SPDEへのマルチインデックス・コプロダクト

問題設定

マーティン・ハイラーによって導入されたレギュラリティ構造の理論は、解の局所展開を符号化するために、装飾された根付き木を利用する枠組みを提供する。しかし、マルチインデックス（多重指数）を用いた代替的なアプローチが、反復的な確率積分ではなく、基本微分を用いてこれらの展開をインデックス付けするために提案されている。

マルチインデックスに内在するホップ代数的構造（特に再中心化および繰り込みに関するもの）は確立されているものの、マルチインデックスに対するコプロダクトの明示的な公式が大部分未知であるという重大なギャップが存在していた。先行研究（[20]など）では、マルチインデックスを根付き木と比較して結果を推測することで公式を導出しており、マルチインデックスの構造から直接導出するという手法は取られていなかった。本論文は、この文脈における2つの主要なコプロダクト、すなわちブッチャー・コネス・クリーマー（BCK）型コプロダクト（グロスマン・ラーソン積と双対）および**抽出・縮退（extraction-contraction）**コプロダクト（挿入積と双対）に対する、直接的かつ明示的な公式の必要性に応えるものである。

手法

著者らは、マルチインデックスのホップ代数内における積とコプロダクトの間の双対性を活用することで、明示的な公式を展開している。核心となる手法戦略は以下の通りである：

1. 双対積の定義： コプロダクトを直接構築すること（これは組合せ論的に複雑である）の代わりに、マルチインデックスのフォレスト（森林）上の明示的な結合的積（$\star_2$ および $\star_1$）を定義する。

   • BCK型コプロダクト ($\Delta$) は、微分 $D$（またはそのSPDE版である $D^{(n)}$）を伴う積 $\star_2$ の随伴として定義される。
   • 抽出・縮退コプロダクト ($\Delta^-$) は、「同時挿入」積 $\star_1$（Guin-Oudomの手順を一般化したもの）の随伴として定義される。

2. 内積と対称因子： マルチインデックスおよびフォレスト上の内積 $\langle \cdot, \cdot \rangle$ の定義が、手法の極めて重要な要素である。この内積は、対応する組合せ構造における子の置換方法をカウントする対称因子 $S(\cdot)$ によって重み付けされている。

   • 著者らは、マルチインデックスの利点として、対称因子が乗法的（$S(z^\beta z^{\bar{\beta}}) = S(z^\beta)S(z^{\bar{\beta}})$）であることを強調している。この性質は、木ベースのアプローチと比較して、係数の導出を大幅に簡素化する。

3. 随伴写像： 積で使用される微分の随伴（adjoint）を計算することによって、明式的なコプロダクト公式の導出が行われる（例：$\bar{D}$ および $\bar{\partial}_k$）。著者らは、これらの随想写像の明示的な表現を提供し、分割されたマルチインデックスの「剰余」に対して作用するこれらの演算子を用いてコプロダクトを記述することを可能にしている。

4. SPDEへの拡張： フレームワークを常微分方程式（ODE）から特異な確率偏微分方程式（SPDE）へと拡張する。これには以下が含まれる：

   • 時空間ノイズと連鎖律を扱うための非可換微分の導入。
   • 空間微分を表す文字（$b_i$）と解の微分（$n$）が可換でない単語（words）を用いたSPDEマルチインデックスの定義。
   • 非可換の設定においても、対称因子の乗法性を維持しつつ、微分および対称因子を適応させること。

主要な貢献と結果

1. ODEマルチインデックスの明示的公式

本論文は、ODEマルチインデックス上のLinares–Otto–Tempelmayrコプロダクト（BCK型）に関する2つの等価な明示的公式を提供する：

• 公式1 (Proposition 3.1): マルチインデックス $\beta = \beta_1 + \dots + \beta_n + \hat{\beta}$ の分割を和として、剰余項に微分 $D^n$ を適用した内積を用いて表現する。
• 公式 2 (Theorem 3.5): 随伴写像 $\bar{D}$ を利用した代替表現。この公式は、項 $\bar{D}^n z^{\hat{\beta}}$ と対称因子 $S_{ext}$ を含む、構造的により簡潔なものである。

同様に、抽出・縮退コプロダクト ($\Delta^-$) に対しても明示的な公式が導出されている：

• 公式 1 (Proposition 3.8): 積 $\star_1$ と許容される分割の和に基づく。
• 公式 2 (Theorem 3.10): 係数計算を簡素化する随伴写像 $\bar{D}$ を用いた代替公式。

2. 特異SPDEへの拡張

著者らはこれらの結果を特異SPDEの文脈へと一般化している：

• SPDEマルチインデックス： 非可換微分と特定の充填条件（Equation 4.4）を取り入れた新しいクラスのマルチインデックスを定義する。
• 一般化されたコプロダクト： BCK型コプロダクト（Theorem 5.3）および抽出・縮退コプロダクト（Theorem 5.6）の明示的な公式を、SPDEの設定において導出する。これらの公式は、一般化された微分 $D^{(n)}$ および $\partial_k$、ならびにそれらの随伴 $\bar{D}^{(n)}$ および $\bar{\partial}_k$ を含む。
• 非可換性の処理： 空間微分と解の微分間の非可換関係（Equation 4.2）を考慮した導出を行っており、これにより、特異SPDEの局所展開に対して公式が有効であることを保証している。

3. 計算上の利点

マルチインデックスにおける内積と対称因子の使用が、装飾された木を参照することなく、これらの公式を直接導出することを可能にすることを実証している。マルチインデックスにおける対称因子の乗法的な性質は、木ベースの組合せ論に内在する複雑さを回避するための決定的な簡略化として特定されている。

意義と主張

本論文は、マルチインデックスの明示的なコプロダクト公式を見出すという「プログラム」を進展させると主張している。この課題は、これまで間接的な木との比較を通じて部分的にしか達成されていなかった。

• 直接的導出： 著者らは、証明がマルチインデックスのみに依拠していることを強調し、根付き木へのマッピングを回避している。これにより、マルチインデックス・ホップ代数の自己完結的な代数的理解が提供される。
• B-seriesへの有用性： 明示的な公式は、（ODEにおける）マルチインデックスB-seriesの合成および代入（およびSPDEにおけるレギュラリティ構造B-series）を計算するための不可欠なツールとして提示されている。
• SPDEにおける新規性： SPDEマルチインデックスの公式は、文献における新しい貢献として記述されており、従来の連鎖律展開（例：[26]）とは異なるコンパクトな形式（[4]に従う）を提供している。
• 謙虚な姿勢： 本論文は、新しい解析的問題を解決したり、新しい数値スキームを提案したりすることを目的としていない。むしろ、特異SPDEの分野におけるさらなる解析的・確率的な研究を促進するために必要な、組合せ論的な道具（明示的なコプロダクト）を提供する基礎的な代数的作業として位置づけられている。

要約すると、本研究は、マルチインデックスを用いたレギュラリティ構造理論における基本的なコプロダクトを計算するための、厳密で自己完結的な代数的フレームワークを提供し、木ベースのアプローチとは理論的に区別される、計算可能な明示的公式を提示している。