[论文解读] The Local-Global Principle for Integral Generalized Apollonian Sphere Packings

Dimitri Dias|arXiv (Cornell University)|Jan 20, 2014

Mathematics and Applications参考文献 8被引用 3

一句话总结

本文通过证明整数曲率出现在填充中当且仅当其满足特定局部条件——即模 4 的同余条件以及与关联二次型判别式相关的素数模下的可解性条件——建立了整数广义阿波罗尼奥斯球面填充的局部-整体原则。该证明利用整数向量上的群作用，并将萨尔纳克方法适配至三维球面填充，表明曲率集合具有正密度，且其由初始构型在离散群作用下的轨道上的算术条件所刻画。

ABSTRACT

Four mutually tangent spheres form two gaps. In each of these, one can inscribe in a unique way four mutually tangent spheres such that each one of these spheres is tangent to exactly three of the original spheres. Repeating the process gives rise to a generalized Apollonian sphere packing. These packings have remarkable properties. One of them is the local to global principle and will be proven in this paper.

研究动机与目标

• 建立整数广义阿波罗尼奥斯球面填充的局部-整体原则，其中曲率的全局可表示性由局部可解性条件决定。
• 通过初始构型在整数向量上离散群作用下的轨道，刻画此类填充中出现的曲率集合。
• 表明曲率集合在整数中具有正密度，且其下界由判别式所含素数的乘积界定。
• 通过利用三维空间中更高的自由度，将阿波罗尼奥斯圆填充的方法扩展至三维球面填充。

提出的方法

• 使用扩展弯曲-中心（abbc）坐标表示球面，将曲率与中心编码为一个五维向量。
• 通过矩阵 W 定义对称双线性型以编码相切关系：相同球面间为 1，外切时为 -1，八元组中非相切对为 -3。
• 将填充建模为初始八元组在由反射生成的离散群作用下的轨道，该群保持 abbc 坐标与二次型不变。
• 使用萨尔纳克方法分析二次型 f_{a_0} 对整数的表示，将曲率值与该型在高斯整数上本原表示的值联系起来。
• 应用梅尔滕斯公式与局部密度估计，表明当满足局部条件时，可表示曲率的自然密度远离零。
• 确立曲率 m 在填充中被实现当且仅当 m ≡ b₀ mod 4 且 m 与 a₀ 互素，且在模 8 与 f_{a_0} 的判别式所含奇素数下满足局部可解性条件。

实验结果

研究问题

• RQ1 哪些整数可作为整数广义阿波罗尼奥斯球面填充中的曲率出现？
• RQ2 在何种局部条件下，给定整数曲率可保证在填充中全局出现？
• RQ3 三维球面填充结构如何增强局部-整体原则的应用性，相较于二维圆填充？
• RQ4 此类填充中曲率集合的自然密度是多少，其下界如何界定？

主要发现

• 整数曲率 m 出现在填充中当且仅当 m ≡ b₀ mod 4 且 gcd(m, a₀) = 1，且 m 在模 8 与所有整除关联二次型 f_{a_0} 判别式的奇素数下满足局部可解性条件。
• 整数广义阿波罗尼奥斯球面填充中的曲率集合具有正的下界密度，其下界为 1/4 乘以所有整除判别式的奇素数的乘积 (1 - 1/p)。
• 曲率集合恰好是满足 gcd(x+iy, z+it) = 1 条件下，由二次型 f_{a_0}(x,y,z,t) - a₀ 在 Z[i] 上本原表示的整数集合。
• 在三维球面填充中局部-整体原则成立，因为二次型中变量数目的增加使得萨尔纳克方法得以成功应用，而二维情况下则需额外工作。
• 该证明依赖于表明当满足局部条件时，可表示曲率的密度远离零，其依据为梅尔滕斯公式与局部密度公式的估计。