[论文解读] On the magnitude of odd balls via potential functions

Simon Willerton|arXiv (Cornell University)|Apr 6, 2018

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

一句话总结

本文通过势函数与反向贝塞尔多项式，推导出奇数维球体的大小的显式行列式公式，揭示了后续证明汉克尔行列式公式所依赖的概念路径。论文提出一个关于大小导数的闭式表达式猜想，以反向贝塞尔多项式的平方汉克尔行列式表示，数值验证已至维度57。

ABSTRACT

Magnitude is a measure of size defined for certain classes of metric spaces; it arose from ideas in category theory. In particular, magnitude is defined for compact subsets of Euclidean space and, in arXiv:1507.02502, Barceló and Carbery gave a procedure for calculating the magnitude of balls in odd dimensional Euclidean spaces. In this paper their approach is modified in various ways: this leads to an explicit determinantal formula for the magnitude of odd balls and leads to the conjecturing of a simpler formula in terms of Hankel determinants. This latter formula is proved using a rather different approach in arXiv:1708.03227, but the current paper provides the reasoning that lead to the formula being conjectured. Finally, an empirically-tested Hankel determinant formula for the derivative of the magnitude is conjectured.

研究动机与目标

• 解释此前未加推导即给出的奇数维球体大小的汉克尔行列式公式的启发性推理。
• 提供一种使用势函数与递归微分方程计算奇数维球体大小的替代方法。
• 通过揭示潜在结构，弥合巴塞洛与卡伯里的算法方法与惠勒顿后来的汉克尔行列式公式之间的鸿沟。
• 提出一个关于奇数维球体大小导数的新公式猜想，以汉克尔行列式表示，并获得至维度57的数值支持。

提出的方法

• 本文通过递归定义函数序列 $\psi_i(r)$，其中 $\psi_0(r) = e^{-r}$ 且 $\psi_{i+1}(r) = -\frac{1}{r}\psi_i'(r)$，生成球体的势函数。
• 引入反向贝塞尔多项式 $\chi_i(R) = e^R R^{2i} \psi_i(R)$，其为具有正整数系数的多项式，并出现在行列式公式中。
• 利用由势函数边界条件导出的线性系统，应用克莱姆法则，推导出势函数在半径 $R$ 处第一个非平凡导数的表达式。
• 该方法将球体的大小与一个矩阵的行列式联系起来，其元素为 $\chi_{i+j}(R)$，从而导出大小的行列式表达式。
• 分析势函数在边界处导数的行为，观察到不同维度下分子与分母中反复出现的模式。
• 提出一个猜想，将大小的导数与 $\chi_{i+j+1}(R)$ 的汉克尔行列式的平方联系起来，其中包含一个涉及 $R^{n-1}/(n-1)!$ 的归一化因子。

实验结果

研究问题

• RQ1 奇数维球体的大小能否以势函数导出的多项式序列的行列式形式表达？
• RQ2 奇数维球体大小公式中汉克尔行列式出现的结构性规律是什么？
• RQ3 为何维度 $n$ 中势函数导数的分母与维度 $n+2$ 中的分子相似？
• RQ4 大小函数的导数能否以包含反向贝塞尔多项式汉克尔行列式的有理函数形式表达？
• RQ5 从巴塞洛与卡伯里的算法到汉克尔行列式公式的概念与计算路径是什么？

主要发现

• 当 $n=2p+1$ 时，$n$-维球体的大小由反向贝塞尔多项式 $\chi_{i+j}(R)$ 的汉克尔行列式之比的行列式公式给出。
• 势函数在 $r=R$ 处的第一个非平凡导数表达为 $-\frac{\det[\chi_{i+j+1}(R)]_{i,j=0}^{p}}{R^{p+1}\det[\chi_{i+j}(R)]_{i,j=0}^{p}}$，通过克莱姆法则推导得出。
• 大小的导数 $\frac{d}{dR}|B_R^n|$ 的猜想表达式为 $\frac{\left(\det[\chi_{i+j+1}(R)]_{i,j=0}^{p}\right)^2}{(2p)!\, R^2\left(\det[\chi_{i+j}(R)]_{i,j=0}^{p}\right)^2}$，已数值验证至 $n=57$。
• 所猜想的导数公式与势函数第一个非平凡导数的平方成正比，比例因子为 $\frac{R^{n-1}}{(n-1)!}$，暗示了深层的结构性联系。
• 反向贝塞尔多项式 $\chi_i(R)$ 展现出具有正整数系数的组合结构，其行列式编码了大小及其导数。
• 本文识别出一个重复出现的模式：维度 $n$ 中第 $p$ 个导数的分母与维度 $n+2$ 中第 $(p+1)$ 个导数的分子一致，尽管尚未提供理论解释。