[论文解读] 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ℤ 上的最小生成元数量，通过初等分解和拉回同态将结果推广至一般的 ℤ/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ᵏ 下为 0，则顶点之间相连。
• 应用中国剩余定理与 m 的初等分解，将 ℤ/mℤ 上的问题约化为素数幂情形 ℤ/pᵏℤ。
• 通过在模 pᵏ 的零连通分量中为顶点赋值 pᵏ，构造 ℤ/pᵏℤ 上样条的最小生成集 ℬₚᵏ。
• 利用拉回同态 ρₑᵢ: ℤ/mℤ → ℤ/pᵢᵉⁱℤ 将素数幂环上的解提升至 ℤ/mℤ。
• 使用引理 5.4 表明基样条的支集要么不相交，要么嵌套，从而精确控制乘法行为。
• 通过分类讨论推导 ℤ/pᵏℤ 上的乘法表：若指数之和 ≥ k，则乘积为零；若指数之和 < k 且支集相交，则乘积为某一基样条的标量倍。

实验结果

研究问题

• RQ1 对于任意连通图，ℤ/mℤ 上样条模的最小生成元数量是多少？
• RQ2 如何算法化地构造 ℤ/mℤ 上样条的最小生成集？
• RQ3 ℤ/pᵏℤ 上样条模的环结构是什么，特别是其最小生成元的乘法表？
• RQ4 样条生成元的支集在乘法下如何相互作用？乘积为零或标量倍的决定因素是什么？

主要发现

• 在 ℤ/mℤ 上，最小生成集 ℬₘ 的元素个数等于 m 的初等分解中每个素数幂 pᵢᵉⁱ 对应的零连通分量数的最大值。
• 在 ℤ/pᵏℤ 上，存在最小生成集 ℬₚᵏ，其中每个生成元在模 pᵏ 的零连通分量上取值为 pᵏ，其余位置为零。
• 在 ℬₚᵏ 中，两个生成元的乘积若其指数之和 ≥ k，则为零；若指数之和 < k 且支集相交，则为第二个生成元的 pˢ 倍。
• 当支集不相交时，任意两个生成元的乘积为零。
• 取值为 pʳ 的生成元的支集是模 pʳ 的零连通分量，且不同生成元的支集要么不相交，要么嵌套。
• ℤ/pᵏℤ 上样条环的结构完全由基于生成元支集与指数结构推导出的乘法表所决定。