[論文レビュー] The algebra of the box spline

Corrado De Concini, Claudio Procesi|ArXiv.org|Feb 1, 2006

Advanced Numerical Analysis Techniques参考文献 25被引用数 18

ひとこと要約

本稿は、微分方程式、留数理論、超平面配置の枠組みを統一的に結びつける代数的枠組みを提供することで、ボックススプラインに関するDahmen-Micchelli定理を再考・強化する。スプライン関数 $ T_X $ に関連する多項式空間を定数係数の微分方程式によって特徴付け、その次元がベクトル配置から抽出された基底の組み合わせ的解釈を持つことを示すと同時に、超平面配置における極部と双対性を確立する。

ABSTRACT

In this paper we want to revisit results of Dahmen and Micchelli on box-splines which we reinterpret and make more precise. We compare these ideas with the work of Brion, Szenes, Vergne and others on polytopes and partition functions.

研究の動機と目的

• 微分幾何学的・代数的ツールを用いて、ボックススプラインに関するDahmen-Micchelli定理を再解釈・強化すること。
• 多項式空間 $ D(X) $ と超平面配置に関連する極部の間の双対性を確立すること。
• 多変数スプラインおよび分割関数の研究において、数値解析、可換代数、代数幾何学のアプローチを統合すること。
• $ D(X) $ における基底のアルゴリズム的特徴付けと、スプライン関数 $ T_X $ の明示的局所展開を提供すること。
• 微分可能な場合の結果を離散的場合へと拡張し、特に差分方程式を通じて分割関数と多変数スプラインを関連させること。

提案手法

• ボックススプライン $ B_X(x) $ と多変数スプライン $ T_X(x) $ をそれぞれ単体および正の象限における積分によって定義する。
• ラプラス変換と留数理論を適用して $ T_X $ を解析し、コhomological留数と超平面配置を結びつける。
• 局所的スプライン関数 $ T_X $ 及びその微分の生成する多項式空間 $ D(X) $ を定義し、定数係数の微分方程式によって特徴付ける。
• 超平面配置におけるネスト集合および既約成分の理論を用いて非線形座標と最小モデルを定義する。
• 特に正常交差を持つ最小モデル $ Z_X $ を用いて、$ D(X) $ と極部空間との間の双対性を留数写像を通じて確立する。
• 差分作用素を用いて離散的状況（分割関数）を微分的状況へ還元し、$ abla(X) $ と $ T_X $ 間の閉形式の関係を導出する。

実験結果

リサーチクエスチョン

• RQ1 ボックススプライン $ T_X $ に関連する多項式空間 $ D(X) $ の正確な代数的構造は何か？ そして、定数係数の微分方程式によってどのように特徴付けられるか？
• RQ2 空間 $ D(X) $ の次元は、ベクトル配置 $ X $ に対してどのように組み合わせ的に関係するか？ また、これはアルゴリズム的に計算可能か？
• RQ3 超平面配置の文脈において、$ D(X) $ と極部空間との間の双対性の本質は何か？
• RQ4 分割関数 $ abla(X) $ と多変数スプライン $ T_X $ との関係は何か？ そして差分方程式はこの関係において果たす役割は何か？
• RQ5 最小モデル $ Z_X $ が留数および非線形座標の文脈において、幾何学的・代数的意味をどのように持つか？

主な発見

• 空間 $ D(X) $ の階数次元は、$ X $ から抽出された基底の組み合わせ的性質によって計算され、定理6.2が明示的な公式を提供する。
• 空間 $ D(X) $ の最高次元部に対する自然な基底が、微分方程式によってアルゴリズム的に特徴付けられ、これにより $ T_X $ の明示的局所展開が可能になる（定理3.6）。
• 超平面配置に関連する極部の部分空間と $ D(X) $ 間に双対性が確立され、定理6.3で形式化されている。
• 分割関数 $ abla(X) $ に関連する準多項式空間 $ abla(X) $ が、線形差分方程式系を満たすことが示された。
• 定理9.22で、分割関数 $ abla(X) $ と多変数スプライン $ T_X $ 間の明示的関係式が導出された。
• 最小モデル $ Z_X $ は、超平面配置の補集合の滑らかでコンactなコンパクト化として構成され、既約部分集合によって添字づけられた境界除数が、ネスト集合に沿って横断的に交わる。