[論文レビュー] Polynomials whose roots and critical points are integers

Jean-Claude Evard|ArXiv.org|Jul 14, 2004

Polynomial and algebraic computation参考文献 8被引用数 4

ひとこと要約

本稿では、根、臨界点、係数がすべて整数である多項式（「よい多項式」と呼ばれる）を体系的に研究するための方法を導入する。代数的整数論および対称関数論を活用して、根と臨界点を結ぶ主要な方程式を導出し、素数べき次の多項式について構造的結果を証明するとともに、新しい例の生成にこの手法を応用した。その結果、4つの異なる実根をもつ非対称な四次多項式として、358個の以前未知の例が得られた。

ABSTRACT

Polynomials whose coefficients, roots, and critical points lie in the ring of rational integers are called nice polynomials. In this paper, we present a general method for investigating such polynomials. We extend our results from the ring of rational integers to rings of algebraic integers that are unique factorization domains, with special interest in the ring of Gaussian integers. We apply our method to establish strong properties of nice polynomials whose degree is a prime power. We present a considerable reduction of the system of equations for nice polynomials of arbitrary degree with three roots. We establish properties of nice antisymmetric polynomials, and properties of the averages of the roots of the derivatives of nice polynomials. Finally, we present new examples of nice polynomials obtained with the help of a computer, after a considerable simplification of the computation by our method.

研究の動機と目的

• 根、係数、臨界点がすべて整数である多項式（「よい多項式」として知られる）の構造と分類を調査する。
• リチャード・ノワコフスキーによって当初リストアップされた、数論および代数学における未解決問題に取り組む。これは、このような多項式の特徴付けに関するものである。
• 整数環から代数的整数、特にガウス整数および一意因数分解整域への結果の拡張を行う。
• 効率的に新しい「よい多項式」の例を生成する計算フレームワークを開発する。
• 対称的、反対称的などの構造的制約や対称性を提供し、このような多項式の可能な形を制限する。

提案手法

• 探索空間を1クラスあたり1代表元に削減するため、よい多項式に同値関係を導入する。
• 根と臨界点を結ぶコアとなる方程式系（3.2式）を導出し、これにより以降のすべての結果が成立する。
• 対称多項式および反対称多項式の理論を用いて、よい多項式の特別なクラスを分析する。
• 微分の根の平均に関する結果を応用し、特に三次多項式の低次の場合に制約を導出する。
• 重複度を許す場合に正確に3つの根をもつ多項式のための、方程式系を簡略化する。
• 計算代数および数論的簡略化を活用して、4つの異なる実根をもつ358個の新しい非対称な四次多項式を発見した。

実験結果

リサーチクエスチョン

• RQ1 素数べき次の多項式に対して、「よい多項式」の構造的制約は何か？
• RQ2 正確に3つの根をもつ多項式に対して、根と臨界点を結ぶ方程式系は、簡略化可能か？
• RQ3 導出された方程式に基づいて、3つの根をもつ「よい多項式」の一般式は存在するか？
• RQ4 非対称な「よい」四次多項式の可能な形は何か？そして、それらは体系的に生成可能か？
• RQ5 3つを超える根をもつ「よい」反対称多項式は存在するか？もし存在するならば、その性質は何か？

主な発見

• 本稿では、3つの根をもつ「よい多項式」のための方程式系を完全に簡略化し、探索プロセスを著しく簡素化した。
• 定理6.3を証明した。これは、素数べき次の「よい多項式」に強い構造的制約を与えるもので、特に四次多項式への応用が重要である。
• この手法を用いて、4つの異なる実根をもつ非対称な「よい」四次多項式として、358個の新しい例が発見された。その中で最小の例は、$ p(x) = x(x-50)(x-176)(x-330) $ であり、$ p'(x) = 4(x-22)(x-120)(x-275) $ である。
• 重複する二重根をもつ既知で最小の「よい」対称六次多項式は、$ p(x) = [x^2 - (m^2 + 4mn - 2n^2)^2]^2 [x^2 - (m^2 - 2mn - 2n^2)^2] $ であり、対応する導関数をもつ。
• 5つの異なる複素根をもつ「よい」五次多項式はわずか2つ発見された。そのうち1つは二重の臨界点をもち、もう1つは異なる臨界点をもつ。
• 1つをこえる根をもつ「よい」反対称多項式の中で最小の例は、$ p(x) = x(x^2 - 9)^4 $ であり、$ p'(x) = 9(x^2 - 1)(x^2 - 9)^3 $ である。