[论文解读] On similarity classes of well-rounded sublattices of $\mathbb Z^2$

Lenny Fukshansky|ArXiv.org|Aug 12, 2007

Mathematical Dynamics and Fractals参考文献 21被引用 4

一句话总结

该论文利用本原毕达哥拉斯三元组对 ℤ² 的良好格子子格的相似类进行分类，证明其构成一个非交换、无限生成的幺半群。论文为每个相似类引入了ζ函数，将其与 ℤ[i] 的戴德金ζ函数联系起来，并构造了一个快速收敛至六边形格的格序列，实现了最优圆堆积密度。

ABSTRACT

A lattice is called well-rounded if its minimal vectors span the corresponding Euclidean space. In this paper we study the similarity classes of well-rounded sublattices of ${\mathbb Z}^2$. We relate the set of all such similarity classes to a subset of primitive Pythagorean triples, and prove that it has structure of a noncommutative infinitely generated monoid. We discuss the structure of a given similarity class, and define a zeta function corresponding to each similarity class. We relate it to Dedekind zeta of ${\mathbb Z}[i]$, and investigate the growth of some related Dirichlet series, which reflect on the distribution of well-rounded lattices. Finally, we construct a sequence of similarity classes of well-rounded sublattices of ${\mathbb Z}^2$, which gives good circle packing density and converges to the hexagonal lattice as fast as possible with respect to a natural metric we define.

研究动机与目标

• 对 ℤ² 的所有良好格子子格的相似类进行分类，并将其与本原毕达哥拉斯三元组相关联。
• 分析这些相似类的代数结构，证明其构成一个非交换、无限生成的幺半群。
• 为每个相似类定义并研究相关的ζ函数，将其与 ℤ[i] 的戴德金ζ函数联系起来。
• 研究这些相似类在 ℝ² 中所有良好格子中的分布情况。
• 构造一个 ℤ² 的良好格子子格序列，使其以高密度和快速收敛逼近六边形格。

提出的方法

• 使用满足 p² + r² = q² 的本原毕达哥拉斯三元组 (p, r, q) 参数化 ℤ² 的良好格子子格。
• 利用正交变换和缩放的几何作用定义格子的相似性，将分类问题约化为单位圆上的有理点问题。
• 为每个相似类定义ζ函数 W_d(s) 和 W_m(s)，其源自关于行列式和最小平方值的狄利克雷级数。
• 应用丢番图逼近技术，证明来自毕达哥拉斯三元组的有理点在单位圆上等分布。
• 利用有理数的法里序列排序在相似类上诱导一个排序，并证明其在 ℝ² 中所有良好格子的相似类空间中实现等分布。
• 构造一个在自然度量下收敛于六边形格的相似类序列，实现最大圆堆积密度。

实验结果

研究问题

• RQ1 如何对 ℤ² 的良好格子子格的相似类集合进行参数化？它们构成何种代数结构？
• RQ2 每个相似类相关的ζ函数的解析行为是什么？它与 ℤ[i] 的戴德金ζ函数有何关系？
• RQ3 ℤ² 中良好格子子格的相似类在 ℝ² 中所有良好格子的相似类空间中如何分布？
• RQ4 能否构造一个 ℤ² 的良好格子子格序列，使其以高圆堆积密度和快速收敛逼近六边形格？
• RQ5 在给定度量下，良好格子子格的相似类对六边形格的逼近速率是多少？

主要发现

• ℤ² 的良好格子子格的相似类集合与本原毕达哥拉斯三元组的一个子集之间存在双射关系，且构成一个非交换、无限生成的幺半群。
• 每个相似类相关的ζ函数在 ℜ(s) > 1 上解析，且与 ℤ[i] 的戴德金ζ函数相关联，完整ζ函数 ζ_WR(ℤ²)(s) 在 s = 1 处恰为二阶极点。
• 论文中构造的相似类序列以 O(1/q) 的速率收敛于六边形格，实现了最优圆堆积密度。
• ℤ² 的良好格子子格的相似类集合在 ℝ² 中所有良好格子的相似类空间中是等分布的，其等分布由单位圆上有理点的法里序列排序所诱导。
• 对于单位圆上任意一点（除 (±1,0) 或 (0,±1) 外），存在无穷多个来自毕达哥拉斯三元组的有理点，使得其与该点的距离被限制在 2√2/q 以内，从而提供了有效的丢番图逼近。
• 该结果可推广至有理椭圆：椭圆上的有理点可对椭圆上任意点进行逼近，误差被限制在 2√2·max{a,b}/q 以内。