[論文レビュー] Splines over integer quotient rings

McCleary Philbin, Lindsay Swift+2 more|arXiv (Cornell University)|May 31, 2017

Advanced Numerical Analysis Techniques参考文献 4被引用数 5

ひとこと要約

本稿では、整数商環 ℤ/mℤ 上のスプラインの最小生成集合を計算するためのアルゴリズムを開発する。この手法は、素数冪におけるゼロ接続成分を用いる。ℤ/pᵏℤ 上のスプラインに対して明示的な乗法表を提供し、主分解と引き戻し準同型を用いて一般の ℤ/mℤ へ拡張する。

ABSTRACT

Given a graph with edges labeled by elements in $\mathbb{Z}/m\mathbb{Z}$, a generalized spline is a labeling of each vertex by an integer $\mod m$ such that the labels of adjacent vertices agree modulo the label associated to the edge connecting them. These generalize the classical splines that arise in analysis as well as in a construction of equivariant cohomology often referred to as GKM-theory. We give an algorithm to produce minimum generating sets for the $\mathbb{Z}$-module of splines on connected graphs over $\mathbb{Z}/m \mathbb{Z}$. As an application, we give a quick heuristic to determine the minimum number of generators of the module of splines over $\mathbb{Z}/m\mathbb{Z}$. We also completely determine the ring of splines over $\mathbb{Z}/p^k\mathbb{Z}$ by providing explicit multiplication tables with respect to the elements of our minimum generating set. Our final result extends some of these results to splines over $\mathbb{Z}$.

研究の動機と目的

• 係数環に零因子を含む場合のスプラインモジュールの構造を解明することにより、古典的スプライン理論を整数商環 ℤ/mℤ へ拡張すること。
• 任意のグラフに対する ℤ/mℤ 上のスプラインの最小生成集合を計算するという未解決問題を解消すること。これまではサイクルの場合にのみ解決されていた。
• 最小生成集合を構成する明示的アルゴリズムを提供し、このようなモジュールの最小生成数を特定すること。
• ℤ/pᵏℤ 上のスプラインの環構造を、最小生成集合に関して明示的な乗法表を構築することによって完全に特徴付けること。

提案手法

• 素数冪 pᵏ におけるゼロ接続成分を用いて、基底スプラインの台を定義する。頂点は、辺ラベルが pᵏ で割り切れる場合に接続される。
• 中国剰余定理と m の主分解を用いて、ℤ/mℤ 上の問題を素数冪 ℤ/pᵏℤ の場合に還元する。
• ℤ/pᵏℤ 上のスプラインに対して最小生成集合 ℬₚᵏ を構成する。その際、pᵏ を pᵏ で割り切れる成分内の頂点に割り当てる。
• 引き戻し準同型 ρₑᵢ: ℤ/mℤ → ℤ/pᵢᵉⁱℤ を用いて、素数冪環からの解を ℤ/mℤ に持ち上げる。
• 補題 5.4 を用いて、基底スプラインの台が互いに素か、またはネスト関係にあることを示し、乗法の精密な制御を可能にする。
• ケース解析により、ℤ/pᵏℤ 上の乗法表を導出する。積が 0 になるのは、指数の和が k 以上の場合、または和が k より小さく台が重複する場合に、あるスプラインのスカラー倍になる。

実験結果

リサーチクエスチョン

• RQ1 任意の連結グラフに対して、ℤ/mℤ 上のスプラインモジュールの最小生成数は何か？
• RQ2 ℤ/mℤ 上のスプラインに対して最小生成集合をアルゴリズム的に構成する方法は何か？
• RQ3 特に、最小生成元の乗法表として、ℤ/pᵏℤ 上のスプラインモジュールの環構造は何か？
• RQ4 スプライン生成元の台は乗法においてどのように作用するか。積が 0 になるか、スカラー倍になるかの決定要因は何か？

主な発見

• ℤ/mℤ 上の最小生成集合 ℬₘ の要素数は、m の主分解に含まれる各素数冪 pᵢᵉⁱ におけるゼロ接続成分の数の最大値に等しい。
• ℤ/pᵏℤ に対して、最小生成集合 ℬₚᵏ が存在し、各生成元は pᵏ を pᵏ で割り切れる成分内に、それ以外の場所では 0 を割り当てる。
• ℬₚᵏ 内の2つの生成元の積は、指数の和が k 以上であれば 0 になる。和が k より小さく台が重複する場合は、pˢ 倍の第二の生成元になる。
• 台が互いに素である場合、任意の2つの生成元の積は 0 になる。
• 値が pʳ である生成元の台は、pʳ で割り切れるゼロ接続成分であり、異なる生成元の台は互いに素か、ネスト関係にある。
• ℤ/pᵏℤ 上のスプライン環は、生成元の台と指数構造に基づいて導出された乗法表によって完全に決定される。