[论文解读] A note on Erdős-Diophantine graphs and Diophantine carpets

Axel Kohnert, Sascha Kurz|ArXiv.org|Nov 29, 2005

Computational Geometry and Mesh Generation参考文献 2被引用 5

一句话总结

本文提出了一种有效算法，通过求解由整数距离约束导出的双曲方程组，构建Erdős-Diophantine图，并基于对偶图的环结构，将Diophantine地毯的色数表征为1、2或3。研究识别出七个稀有的Erdős-Diophantine三角形以及多个在Z³中具有整数边长、面面积和体积的Erdős-Diophantine四面体。

ABSTRACT

A Diophantine figure is a set of points on the integer grid $\mathbb{Z}^{2}$ where all mutual Euclidean distances are integers. We also speak of Diophantine graphs. In this language a Diophantine figure is a complete Diophantine graph. Due to a famous theorem of Erdős and Anning there are complete Diophantine graphs which are not contained in larger ones. We call them Erdős-Diophantine graphs. A special class of Diophantine graphs are Diophantine carpets. These are planar triangulations of a subset of the integer grid. We give an effective construction for Erdős-Diophantine graphs and characterize the chromatic number of Diophantine carpets.

研究动机与目标

• 开发一种有效算法，通过将Diophantine三角形扩展为四个整距离点的完全图，来构建Erdős-Diophantine图。
• 解决关于给定斜边的毕达哥拉斯三角形渐近行为的开放问题。
• 利用其对偶图和环结构，表征Diophantine地毯的色数。
• 在Z³中识别并验证具有整数边长、面面积和体积的Erdős-Diophantine四面体。
• 通过计算搜索和几何约束，确认或反驳关于Erdős-Diophantine图和四面体存在的猜想。

提出的方法

• 利用定理1.1，基于欧几里得距离差值，界定可将Diophantine三角形ABC扩展为四点完全Diophantine图的候选点P的数量。
• 求解涉及平方根差值的方程组，以找到满足到A、B、C距离均为整数的整数坐标点P。
• 应用除数函数恒等式χ(l) = d₁,₄(l) − d₃,₄(l)，分析斜边为l的毕达哥拉斯三角形的渐近增长。
• 通过将每个三角形替换为一个节点，并在三角形共享一条边时连接对应节点，构建Diophantine地毯的对偶图C*。
• 使用图论确定C*的色数：若不连通则为1，若为二分图（无奇环）则为2，否则为3，且该结果受Brooks定理的限制。
• 通过求解具有整数距离差值的三元变量双曲面交线方程组，搜索Erdős-Diophantine四面体。

实验结果

研究问题

• RQ1 当l → ∞时，给定斜边l的毕达哥拉斯三角形数量的渐近增长速率是多少？
• RQ2 Erdős-Diophantine三角形是否存在，能否系统性地构造或枚举？
• RQ3 能否开发一种有效算法，以确定所有能将Diophantine三角形扩展为四点完全Diophantine图的整数点？
• RQ4 Diophantine地毯的色数是多少，它与对偶图结构有何关系？
• RQ5 在Z³中是否存在具有整数边长、面面积和体积的Erdős-Diophantine四面体，能否通过算法识别？

主要发现

• 基于除数函数分析，斜边为l的毕达哥拉斯三角形数量的渐近增长率为O(l^ε)，其中任意ε > 0。
• 识别出七个边长不超过5000的Erdős-Diophantine三角形，包括(2066, 1803, 505)和(4920, 4177, 985)，证实了其存在性。
• 该算法成功验证了两个先前猜想的Diophantine图形确实是Erdős-Diophantine图。
• 发现了九个不同的Z³中的Erdős-Diophantine四面体，其顶点坐标以相对于原点的形式给出。
• Diophantine地毯的色数为1（若不连通），2（若对偶图为二分图，即无奇环），否则为3，与Brooks定理一致。
• Diophantine地毯的对偶图最大度数为3，确保色数至多为3，且在非二分图情况下该界是紧致的。