[論文レビュー] External zonotopal algebra

Nan Li, Amos Ron|arXiv (Cornell University)|Apr 11, 2011

Advanced Combinatorial Mathematics参考文献 9被引用数 8

ひとこと要約

本稿は、多項式イデアルと超平面配置の双対性に着目し、マトロイド構造を用いて外部ゾノトープ代数の統一的枠組みを提示する。主な貢献は、固体的割り当てが逐次的であるとき、P空間とD空間が双対的であり、ラグランジュ基底がP空間全体を張ることを示したことである。これにより、ゾノトープ代数における長年の構造的問題が解決された。

ABSTRACT

We provide a general, unified, framework for external zonotopal algebra. The approach is critically based on employing simultaneously the two dual algebraic constructs and invokes the underlying matroidal and geometric structures in an essential way. This general theory makes zonotopal algebra an applicable tool for a larger class of polytopes.

研究の動機と目的

• 外部ゾノトープ代数の一般的かつ統一的な理論を構築し、古典的なボックススpline構成を超えて拡張すること。
• マトロイドの長い部分集合によって定義されるJイデアルを通じて、多項式P空間とD空間の双対性を確立すること。
• P空間とD空間が双対的かつ有限次元的であるための条件を特定すること。特に、割り当てが逐次的である場合を対象とする。
• 割り当てが逐次的である場合に、超平面配置から構成されたラグランジュ基底がP空間全体を張ることを証明すること。
• それまで分散していたゾノトープ代数の手法を、共通のマトロイダルかつ幾何的枠組みに統合すること。

提案手法

• 線形写像 X: ℝ^N → ℝ^n を n×N 行列として表現し、その列が多重集合 X を形成する。
• 短い部分集合 Z ∈ S(X) に対して、rank(X\backslash Z) = n を満たすとき、P空間 P(X) を monomials p_Z = ∏_{x∈Z} (x·t) の線形包として定義する。
• 長い部分集合 Z ∈ L(X) に対して、rank(X\backslash Z) < n を満たすとき、Jイデアル J(X) を p_Z の生成するイデアルとして定義する。
• D空間 D(X) を、すべての微分作用素 p(D) に対する共同核として定義する。すなわち、f ∈ Π で p(D)f(0) = 0 を満たすもの。
• 幾何学と代数を結ぶために、[BR90]の最小写像を用い、有限点集合 V(B(X)) と多項式空間 Π(Θ) を関連付ける。
• 固体的割り当て κ を導入し、κ が逐次的であるとき、dim P_κ = #B_κ が成り立ち、P_κ と D_κ が双対的であり、ラグランジュ基底が P_κ を張ることを証明する。

実験結果

リサーチクエスチョン

• RQ1 固体的割り当て κ に対して、外部ゾノトープ代数のP空間 P_κ の次元が基底の数 #B_κ に等しくなる条件は何か？
• RQ2 固体的割り当て κ の逐次的性質が、P_κ と D_κ の双対性とどのように関係するか？
• RQ3 κ が逐次的である場合に、超平面配置から構成されたラグランジュ基底が、P_κ 全体を張れるか？
• RQ4 最小写像は、超平面配置の頂点集合とP空間の構造をどのように結びつけるか？
• RQ5 逐次的条件下で、双対ペアリング ⟨p, q⟩ = p(D)q(0) が、P_κ と D_κ′ 間の全単射を誘導する仕組みは何か？

主な発見

• 固体的割り当て κ が逐次的であるとき、dim P_κ = #B_κ が成り立ち、双対性の根拠となる次元の一致が確認された。
• P空間 P_κ と D空間 D_κ は互いに双対的であり、P_κ ⊕ J_κ = Π を満たす。ここで J_κ は長い部分集合に対応するJイデアルである。
• 第3.3節で構成されたラグランジュ基底は、κ が逐次的であるとき、P_κ の基底をなすことが証明された。
• B ∈ B_κ に対して、QB = q_{XB\backslash B} で与えられる多項式が、逐次的条件下で P_κ の基底をなす。
• 証明により、すべての Z ⊂ X に対して qXackslash Z Π_κ(Z) ⊂ Q が成り立ち、ここで Q は (QB)_B∈B_κ の線形包である。これにより Q = P_κ が示された。
• 例題3.1において、dim P_κ = #B_κ の等式成立には、逐次的条件が必要かつ十分であることが示され、構造的制御のきわめてきつい性質が明らかになった。