[论文解读] Integer Generalized Splines on Cycles

Madeline Handschy, Julie Melnick+1 more|arXiv (Cornell University)|Sep 4, 2014

Advanced Numerical Analysis Techniques参考文献 15被引用 12

一句话总结

本文使用流动上类（flow-up classes）构建了n-圈上整数广义样条的典范基，证明最小的流动上类构成整数上样条模的基。该结果被应用于星形图、轮图和完全图，通过中国剩余定理和边标签条件构造样条。

ABSTRACT

Let G be a graph whose edges are labeled by positive integers. Label each vertex with an integer and suppose if two vertices are joined by an edge, the vertex labels are congruent to each other modulo the edge label. The set of vertex labels satisfying this condition is called a generalized spline. Gilbert, Polster, and Tymoczko recently defined generalized splines based on work on polynomial splines by Billera, Rose, Haas, Goresky-Kottwitz-Machperson, and many others. We focus on generalized splines on $n$-cycles. We construct a particularly nice basis for the module of splines on $n$-cycles. As an application, we construct generalized splines on star graphs, wheel graphs, and complete graphs.

研究动机与目标

• 为n-圈上整数广义样条模建立一个构造性且显式的基。
• 通过流动上类将样条结果从三角形推广到一般n-圈。
• 将基构造方法应用于推导星形图、轮图和完全图上的存在条件与样条构造。
• 给出最小流动上基首项的闭式表达式，其以边标签表示。
• 证明中国剩余定理是复合图上样条系统可解性的基础。

提出的方法

• 将边标签图上的广义样条定义为整数顶点标记，使得相邻顶点在边标签模下同余。
• 引入流动上类——具有递增首非零项的基元素——并将其适配于整数样条。
• 利用中国剩余定理，证明最小流动上类构成整数上样条模的基。
• 在定理4.5中，为最小流动上类的首项构造闭式表达式。
• 使用中国剩余定理，推导星形图上样条存在的必要与充分条件。
• 结合圈图与星形图的构造，通过边标签相容性，构建轮图与完全图上的样条。

实验结果

研究问题

• RQ1 在整数上，n-圈上的广义样条是否存在流动上类？
• RQ2 最小流动上类能否构成n-圈上整数广义样条模的基？
• RQ3 星形图上广义样条存在的必要与充分条件是什么？
• RQ4 中国剩余定理如何应用于构造轮图和完全图等复合图上的样条？
• RQ5 是否存在最小流动上基首项的闭式表达式，其以边标签表示？

主要发现

• 最小流动上类构成任意n-圈上整数广义样条模的基。
• 在定理4.5中推导出最小流动上基首项的闭式表达式。
• 星形图上存在广义样条当且仅当叶节点上的顶点标签在边标签最大公因数下同余。
• 轮图上存在样条当且仅当满足圈条件，且轮毂顶点标签在辐条边标签最大公因数下同余。
• 完全图上存在样条当且仅当满足三角形条件，且每个星形分量中顶点标签集合在各自边标签最大公因数下同余。
• 轮图与完全图上样条的构造依赖于圈系统与星形系统之间的相容性，该相容性通过中国剩余定理验证。