[论文解读] Minimal Polynomials for the Coordinates of the Harborth Graph

Eberhard H.-A. Gerbracht|ArXiv.org|Sep 13, 2006

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

一句话总结

本文通过使用计算机代数系统计算其最小多项式，首次提供了哈勃斯图（Harborth graph）坐标的确切解析描述。证明了该图是刚性的，其坐标为有理数域上不可约的22次代数数，且无法用根式表示——这意味着该图仅用圆规和直尺无法作出。

ABSTRACT

The Harborth graph is the smallest known example of a 4-regular planar unit-distance graph. In this paper we give an analytical description of the coordinates of its vertices for a particular embedding in the Euclidean plane. More precisely, we show, how to calculate the minimal polynomials of the coordinates of its vertices (with the help of a computer algebra system), and list those. Furthermore some algebraic properties of these polynomials, and consequences to the structure of the Harborth graph are determined.

研究动机与目标

• 提供哈勃斯图顶点坐标的精确代数描述，此前该图仅以近似图示为人所知。
• 使用符号计算与计算机代数系统（特别是Mathematica）确定坐标的最小多项式。
• 确立哈勃斯图的代数与几何性质，包括其刚性与可作图性状态。
• 通过证明其在平面上具有唯一固定嵌入，解决长期存在的关于该图是否为刚性或非刚性的模糊问题。

提出的方法

• 使用参数化高度T，通过圆规直尺技术构建哈勃斯图四分之一的几何构型。
• 基于单位距离约束与圆和直线之间的交点关系，建立二次方程组。
• 使用计算机代数系统（特别是Mathematica）通过符号运算与根隔离，计算顶点坐标的最小多项式。
• 应用RootReduce函数验证所推导的坐标满足所需的单位距离条件。
• 利用根隔离与伽罗瓦理论，分析最小多项式是否可用根式求解。
• 通过证明任何其他嵌入都需经历不连续形变，从而证明刚性，即配置的唯一性。

实验结果

研究问题

• RQ1 在哈勃斯图唯一平面嵌入中，其顶点坐标的精确最小多项式是什么？
• RQ2 哈勃斯图是否为刚性图，即其在平面上是否仅允许合同嵌入？
• RQ3 哈勃斯图顶点的坐标能否用根式表示？
• RQ4 这些坐标是否为代数数？若是，其次数与伽罗瓦性质为何？
• RQ5 哈勃斯图能否仅用圆规和直尺作出？

主要发现

• 哈勃斯图所有非零顶点坐标满足22次最小多项式，且该多项式为偶函数，符号型为(6,8)，即具有6个实根与8对共轭复根。
• 所有非零坐标最小多项式可因式分解为一个11次不可约多项式与X²的复合，显示出特定代数结构。
• 坐标无法用根式表示，因其最小多项式为奇数次（11次）不可约多项式，且具有多个实根，违反伽罗瓦可解性准则。
• 哈勃斯图是刚性图：任何不破坏单位距离或平面性约束的连续形变均不可能发生。
• 该图无法仅用圆规和直尺作出，因为任一非零坐标最小多项式的伽罗瓦群阶不是2的幂。
• 整个构型由最小多项式与隔离区间唯一确定，即使无根式解，亦可实现精确符号表示。