[论文解读] On some counting problems for semi-linear sets

Flavio D’Alessandro, Benedetto Intrigila+1 more|ArXiv.org|Jul 17, 2009

Mathematical Dynamics and Fractals参考文献 13被引用 4

一句话总结

本论文证明，任意半线性集在 N^t 或 Z^t 上的增长函数均为盒样条函数——即在由有理超平面定义的多面体锥区域上定义的分段拟多项式函数。通过结合组合技巧与半线性集的结构性质，作者为 Dahmen 和 Micchelli 关于丢番图线性方程组计数函数的定理提供了新的构造性证明，表明该计数函数同样为盒样条函数，并通过其底层代数结构实现了该函数的有效计算。

ABSTRACT

Let $X$ be a subset of $\N^t$ or $\Z^t$. We can associate with $X$ a function ${\cal G}_X:\N^t\longrightarrow\N$ which returns, for every $(n_1, ..., n_t)\in \N^t$, the number ${\cal G}_X(n_1, ..., n_t)$ of all vectors $x\in X$ such that, for every $i=1,..., t, |x_{i}| \leq n_{i}$. This function is called the {\em growth function} of $X$. The main result of this paper is that the growth function of a semi-linear set of $\N^t$ or $\Z^t$ is a box spline. By using this result and some theorems on semi-linear sets, we give a new proof of combinatorial flavour of a well-known theorem by Dahmen and Micchelli on the counting function of a system of Diophantine linear equations.

研究动机与目标

• 定义并分析 N^t 或 Z^t 上半线性集的增长函数，该函数用于计算位于原点为中心的膨胀超平行体内的元素数量。
• 确立该增长函数始终为盒样条函数，即由有理超平面定义的多面体锥区域上的分段拟多项式函数。
• 通过组合与半线性集技术，为 Dahmen 和 Micchelli 关于丢番图线性方程组计数函数的定理提供一种新的组合证明，表明其为盒样条函数。
• 通过半线性集结构的显式构造，证明该增长函数具有有效可计算性。
• 通过将半线性集与盒样条表示联系起来，统一并拓展形式语言理论、整数规划与组合学的现有结果。

提出的方法

• 将增长函数 f_X(n_1, ..., n_t) 定义为半线性集 X ⊆ N^t 或 Z^t 中满足对所有 i 有 |x_i| ≤ n_i 的元素数量。
• 利用半线性集为有限个线性集（由线性丢番图方程的整数解参数化）的并集这一事实，对计数问题进行分解。
• 应用文献 [4] 中的技术，通过在更高维空间中将单个线性丢番图方程组的计数函数表示为半线性集上的广义增长函数，证明其为盒样条函数。
• 证明参数空间中每个区域（由线性形式的符号与大小约束决定）上的增长函数为拟多项式，因此全局函数为盒样条函数。
• 利用由通过原点的有理超平面定义的符号区域结构，对定义域进行划分，并为每个区域分配唯一的拟多项式。
• 借助半线性集理论与有理锥分解理论，证明所得函数整体上为盒样条函数，并可从原始集合生成元的结构中有效构造。

实验结果

研究问题

• RQ1 N^t 或 Z^t 上半线性集的增长函数是否始终可表示为盒样条函数？
• RQ2 能否通过组合与半线性集技术，将丢番图线性方程组的计数函数表征为盒样条函数？
• RQ3 如何从其参数表示出发，有效计算半线性集的增长函数？
• RQ4 线性形式的符号与大小结构与计数函数的分段多项式行为之间存在何种关系？
• RQ5 能否基于半线性集与盒样条框架，重新证明 Dahmen 和 Micchelli 关于丢番图方程组的定理？

主要发现

• 任意半线性集在 N^t 或 Z^t 上的增长函数均为盒样条函数，即在 N^t 的有限个多面体锥区域分解上定义的分段拟多项式函数。
• 丢番图线性方程组的计数函数为盒样条函数，通过在高维空间中构造半线性集上的广义增长函数得以证明。
• 函数 CA(b)（用于计数绝对值线性方程组的解）在 Z^t 上为盒样条函数，其结构由系数矩阵的符号与大小区域决定。
• 对于由符号与大小约束定义的参数空间中的任意区域 R，增长函数为拟多项式，其形式依赖于输入变量模某个固定周期 d 的余数。
• 与 Z^{t+n} 中半线性集相关的广义增长函数 G 可通过投影得到 Z^t 上的盒样条函数，其解计数与原始丢番图方程组完全一致。
• 该证明建立了有效可计算性：给定一个半线性集，可算法性地构造其增长函数对应的盒样条表示。