离散数学中的样条方法研究

In this project, the applications of spline method in discrete mathematics will be systematically studied. Multivariate splines is an essentially important tool in computational mathematics and approximation theory. Nevertheless, a series of problems emerged in discrete mathematics are solved with the help of the well developed multivariate spline theory, recently. Based on this point, we are going to deal with the problems arising in discrete mathematics and combinatorial number theory. In this project, with multivariate spline functions, a novel method for related discrete mathematics problems will be studied. For instance, in combinatorics, the log-concavity for some combinatorial sequences and combinatorial enumerations will be investigated by spline theory. Cube slicing in discrete mathematics and mixed volumes of polytopes are going to be considered as well. Compared with the traditional combinatorial methods, splines as functions of a continuous nature provide an analysis method in combinatorial enumerations which usually considered as counting discrete objects. This method is the bridge between the related problems in spline theory and discrete mathematics. Therefore, it'll provide a novel analysis method for study discrete objects. Some problems in parallel programs compiler will also be taken into consideration. Furthermore, the relating software design is taken in as part of the project.

本项目拟系统开展离散数学中样条方法的研究。产生于逼近论的样条函数原本是计算数学的重要工具，然而近来人们发现借助已发展成熟的样条函数理论也可以对离散数学的一系列问题进行研究。本项目在此基础上，利用多元样条方法研究离散几何和组合数学中的相关问题。拟发展一种系统研究此类离散数学问题的新方法。组合数学方面主要针对组合数论、整数剖分、组合序列的对数凹性质等相关问题进行研究。离散几何方面主要针对凸多面体的混合体积计算问题以及超立方体的切面问题进行研究。与传统的组合方法相比，具有连续性特征的样条函数为组合计数等离散问题的研究提供了新的解析方法。该方法成为沟通样条函数与离散数学两个领域相关结果之间的桥梁，为离散对象的研究提供一种新的分析方法，同时也为样条理论的发展提供新的组合学工具。本项目还将研究与多面体混合体积计算相关的并行程序编译问题，如嵌套循环的内存分配、进程间的数据交换以及各相关部分的软件。

本项目按照研究计划执行，围绕离散数学中的样条函数方法的理论和应用开展研究工作.主要研究重点为：利用多元样条方法研究离散几何和组合数学中的相关问题。组合数学方面主要针对组合数论，组合序列的对数凹性质等相关问题进行研究。离散几何方面主要对凸多面体的混合体积计算问题以及超立方体的切面问题进行研究。得到了若干组合数的样条解释， 例如 Eulerian 数，细化Eulerian 数，染色序列，Euler 数， Bernoulli 数的样条解释。 利用这些解释得到了若干组合恒等式.证明了若干组合数的对数凹性质和单峰性质。发现了Bernoulli 数与B 样条之间的双正交关系。可以建立了类似于Gaussian 函数与 Hermit多项式的双正交系统。 利用这种双正交关系直接得到 Bernoulli多项式渐近于 Hermit 多项式和 B 样条渐近于 Gaussian 函数的性质。建立渐近于Hermit 和 Laguerre 多项式的双正交系统。从而系统的证明了若干类正交多项族和组合多项式的渐近结果。.给出了一类特殊的混合体积的样条解释，从而利用样条函数的快速算法给出了这类混合体积的快速计算方法。给出超立方体切面体积计算的样条解释，并利用样条函数的渐近性质给出了关于多面体体积 Mahler猜想的渐近形式。以样条函数为桥梁，沟通了计算数学与离散数学两个领域的相关结果，为离散对象的研究提供了一种新的分析方法。