[論文レビュー] Minimal Polynomials for the Coordinates of the Harborth Graph

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

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

ひとこと要約

この論文は、計算機代数システムを用いて最小多項式を計算することで、Harborthグラフの座標の最初の正確な解析的記述を提供する。グラフが剛体であり、その座標が有理数体上での既約な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.

研究の動機と目的

• Harborthグラフの頂点座標の正確な代数的記述を提供すること。これは、これまでのところ近似図によるみみ知られていたにとどまっていた。
• 計算機代数システムを用いた記号計算により、座標の最小多項式を特定すること。
• Harborthグラフの代数的および幾何的性質を確立すること。剛体性および作図可能性の状態を含む。
• 平面内における埋め込みの唯一性を証明することで、長年の曖昧さである「グラフは剛体か非剛体か」の問題を解決すること。

提案手法

• パラメータ化された高さTを用いて、Harborthグラフの四分の一をコンパスと定規の技法で幾何的配置を構築する。
• 単位距離制約および円と直線の交点制約に基づく二次方程式系を設定する。
• 計算機代数システム（特にMathematica）を用いて、記号的変形と根の分離を用いて頂点座標の最小多項式を計算する。
• RootReduce関数を適用して、導出された座標が必要な単位距離条件を満たしていることを検証する。
• 根の分離とガロア理論を用いて、最小多項式の根号による可解性を分析する。
• 連続的変形が不可能であることを示すことで剛体性を証明する。これは、代替の埋め込みが断続的変形を要するため、配置の唯一性を示す。

実験結果

リサーチクエスチョン

• RQ1 Harborthグラフの唯一の平面埋め込みにおける頂点座標が満たす正確な最小多項式は何か？
• RQ2 Harborthグラフは剛体か。すなわち、平面内に合同な埋め込み以外に許されないか？
• RQ3 Harborthグラフの頂点座標は根号を用いて表現可能か？
• RQ4 座標は代数的数か。もしそうならば、その次数およびガロア性質は何か？
• RQ5 Harborthグラフはコンパスと定規のみで作図可能か？

主な発見

• Harborthグラフの非ゼロ頂点座標は、すべて22次で偶数であり、符号が(6,8)（すなわち6つの実数根と8組の共役な複素数根）である最小多項式を満たす。
• すべての非ゼロ座標の最小多項式は、11次で既約な多項式とX²との合成として因数分解可能であり、特定の代数的構造を示している。
• 座標は根号では表現できない。最小多項式が奇数次（11次）で、複数の実数根を持つため、ガロア可解性の基準に反する。
• Harborthグラフは剛体である。単位距離制約または平面性制約を破壊せずに、連続的変形は不可能である。
• ガロア群の位数が2の累乗でないため、任意の非ゼロ座標の最小多項式のガロア群の位数が2の累乗でないため、コンパスと定規のみで作図可能でない。
• すべての配置は最小多項式と隔離区間によって一意に決定され、根号解が存在しないにもかかわらず、正確な記号的表現が可能である。