[论文解读] The algebra of the box spline

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

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

一句话总结

本文通過提供一個統一的代數框架，重新詮釋並加強了關於框樣條的Dahmen-Micchelli定理，該框架將微分方程、留數理論與超平面排列聯繫起來。本文通過微分方程表徵與框樣條相關的多項式空間，並表明該空間的維數具有基於向量配置提取的基的組合解釋，同時確立了與超平面排列中極部分的對偶性。

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 $，將其與上同調留數及超平面排列聯繫起來。
• 將空間 $ D(X) $ 定義為 $ T_X $ 及其導數的局部片段所生成的多項式空間，並以常係數微分方程特徵化。
• 運用超平面排列中嵌套集與不可約分支的理論，定義非線性座標與最小模型。
• 透過留數映射建立 $ D(X) $ 與極部分空間之間的對偶性，特別是使用具有橫截相交的最小模型 $ Z_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 $ 在留數與非線性座標背景下的幾何與代數意義為何？

主要发现

• 透過從 $ X $ 提取的基的組合性質，計算出 $ D(X) $ 的分次維數，其中定理 6.2 提供了明確公式。
• 透過微分方程，演算法地特徵化了 $ D(X) $ 的高次部分的自然基，從而實現 $ T_X $ 的顯式局部展開（定理 3.6）。
• 確立了 $ D(X) $ 與超平面排列相關極部分子空間之間的對偶性，如定理 6.3 所形式化。
• 顯示與分區函數 $ abla(X) $ 相關的 quasi-多項式空間 $ abla(X) $ 滿足一組線性差分方程。
• 推導出分區函數 $ abla(X) $ 與多元樣條 $ T_X $ 之間的顯式公式，如定理 9.22 所述。
• 最小模型 $ Z_X $ 建構為超平面排列補集的光滑緊化，其邊界除子由不可約子集索引，並沿嵌套集橫截相交。