[论文解读] Fourier transforms of polytopes, solid angle sums, and discrete volume

Ricardo Vázquez Díaz, Quang-Nhat Le+1 more|arXiv (Cornell University)|Feb 27, 2016

Advanced Combinatorial Mathematics参考文献 32被引用 6

一句话总结

本文提出一种基于傅里叶分析的框架，用于计算实数缩放下多面体中格点的立体角和，通过迭代应用斯托克斯定理推导指示函数的傅里叶变换，并利用泊松求和公式得到离散体积的拟多项式表达式。关键贡献在于推导出该和展开式中余维数为1的系数的闭式表达式，将传统上仅针对整数缩放参数定义的麦克唐纳立体角多项式推广至实数缩放参数。

ABSTRACT

Given a real closed polytope $P$, we first describe the Fourier transform of its indicator function by using iterations of Stokes' theorem. We then use the ensuing Fourier transform formulations, together with the Poisson summation formula, to give a new algorithm to count fractionally-weighted lattice points inside the one-parameter family of all real dilates of $P$. The combinatorics of the face poset of $P$ plays a central role in the description of the Fourier transform of $P$. We also obtain a closed form for the codimension-1 coefficient that appears in an expansion of this sum in powers of the real dilation parameter $t$. This closed form generalizes some known results about the Macdonald solid-angle polynomial, which is the analogous expression traditionally obtained by requiring that $t$ assumes only integer values. Although most of the present methodology applies to all real polytopes, a particularly nice application is to the study of all real dilates of integer (and rational) polytopes.

研究动机与目标

• 开发一种基于傅里叶分析的新方法，用于计算实数缩放下多面体中分数加权格点的数量。
• 将传统上仅针对整数缩放参数定义的麦克唐纳立体角多项式推广至实数缩放参数。
• 建立多面体的面偏序结构与其傅里叶变换衰减行为之间的联系。
• 通过泊松求和与迭代斯托克斯定理，提供一种计算离散体积枚举的计算高效算法。
• 推导出实数缩放下立体角和展开式中余维数1系数的闭式表达式，扩展已知结果。

提出的方法

• 通过迭代应用斯托克斯定理计算多面体指示函数的傅里叶变换，每次迭代使衰减增加一个单位。
• 将傅里叶变换表征为各向异性的，其衰减速率取决于波矢与面法向的对齐程度。
• 应用泊松求和公式，将格点计数问题转化为对偶格点上衰减傅里叶变换的求和。
• 通过引入阻尼因子并分析与面正交的非典型波矢，处理泊松求和中的发散问题。
• 利用傅里叶变换的分次结构，建立有理多面体立体角和的拟多项式性质。
• 基于面偏序结构，推导出立体角和幂级数展开中余维数1系数的闭式表达式。

实验结果

研究问题

• RQ1 如何系统地利用微分几何与斯托克斯定理计算多面体指示函数的傅里叶变换？
• RQ2 有理多面体实数缩放下的立体角和具有何种结构？其如何推广麦克唐纳的整数取值立体角多项式？
• RQ3 多面体的面偏序结构如何影响其傅里叶变换的衰减行为与解析结构？
• RQ4 能否为实数缩放下立体角和展开式中的余维数1系数推导出闭式表达式？
• RQ5 泊松求和在将格点计数问题转化为具有可控收敛性的频域求和问题中起到何种作用？

主要发现

• 通过迭代斯托克斯定理计算多面体指示函数的傅里叶变换，衰减每迭代一次增加一个单位，直至遇到与某一面正交的非典型波矢为止。
• 证明了有理多面体实数缩放下的立体角和为拟多项式，将麦克唐纳的结果从整数缩放参数推广至实数缩放参数。
• 推导出立体角和展开式中余维数1系数的闭式表达式，推广了已知结果，并以面贡献和二面角的形式表达。
• 该方法为稀疏加权格点在缩放多面体中的计数提供了新算法，相较于传统的艾尔哈特或麦克唐纳方法具有计算优势。
• 该方法揭示了面偏序结构与傅里叶变换解析行为之间的深层联系，特别是在非典型波矢处的表现。
• 该框架普遍适用于实数多面体，但对整数和有理多面体可得到特别简洁的结果，从而实现高效的离散体积计算。