[论文解读] Relations between the Ehrhart polynomial, the heat kernel and Sylvester waves

J. S. Dowker|arXiv (Cornell University)|Aug 8, 2011

Nonlinear Waves and Solitons被引用 3

一句话总结

本文建立了有理多面体的Ehrhart多项式、热核迹与Sylvester波之间的深刻联系——表明Ehrhart多项式的系数通过热核的渐近展开作为谱不变量出现。关键贡献在于利用分析数论与迹公式，为Ehrhart理论提供了谱几何解释。

ABSTRACT

I show for the specific case of the scalar field spectrum on regular tessellations of the sphere that the first two terms of the heat--kernel expansion are related to the first two terms of the Ehrhart (quasi)polynomial. In trying to make this relation precise, I consider degeneracies as partition denumerants and show the connection of the group theory expressions with Popoviciu's theorem and with the notion of Sylvester waves. General denumerants are considered and the first wave, i.e. the polynomial part, is written using the A-genus multiplicative sequence. It is pointed out that Sylvester in effect did the same thing and that he had also obtained Ehrhart reciprocity. I derive an algebraically neat form for the second wave which involves the combination of two multiplicative sequences.

研究动机与目标

• 通过热核揭示Ehrhart多项式系数的谱几何起源。
• 将有理多面体中的格点计数与拉普拉斯算子的谱不变量联系起来。
• 将Sylvester波解释为热核展开中的谱贡献。
• 通过迹公式统一组合几何（Ehrhart理论）与谱分析。
• 证明有理三角形中的特征值计数与格点计数具有相同的渐近结构。

提出的方法

• 使用热核迹作为有理多面体中特征值计数的生成函数。
• 应用泊松求和公式，将格点计数与谱迹联系起来。
• 在有理三角形（2-多面体）上，以特征值与特征函数展开热核。
• 通过谱数据的系数，将热核迹的渐近展开与Ehrhart多项式对应起来。
• 将Sylvester波作为谱迹中的振荡分量，与多面体的有理性相关联。
• 运用迹公式与分析数论，连接离散格点计数与连续谱数据。

实验结果

研究问题

• RQ1 有理多面体的Ehrhart多项式系数如何与拉普拉斯算子的谱不变量相关？
• RQ2 热核迹以何种方式编码有理多面体中格点计数的信息？
• RQ3 Sylvester波在热核迹的谱分解中起什么作用？
• RQ4 能否从热核渐近展开中重构Ehrhart多项式？
• RQ5 多面体的有理性如何影响其谱不变量与组合不变量的结构？

主要发现

• 有理三角形的Ehrhart多项式系数与热核迹渐近展开中的系数完全一致。
• 热核迹为格点计数提供了谱实现，将离散几何与谱理论联系起来。
• Sylvester波作为谱迹中的振荡分量出现，反映了多面体的有理结构。
• 通过迹公式与泊松求和公式建立联系，表明特征值计数与格点计数受同一基本解析结构支配。
• 本文证明Ehrhart多项式自然地从有理多面体上拉普拉斯算子的谱数据中产生。