[论文解读] Functional composition of polynomials: indecomposability, Diophantine equations and lacunary polynomials

Dijana Kreso, Robert F. Tichy|arXiv (Cornell University)|Mar 18, 2015

Algebraic Geometry and Number Theory参考文献 43被引用 6

一句话总结

本文综述了域上多项式的功能分解，重点关注不可约性判别准则、形如 f(x) = g(y) 的丢番图方程以及稀疏多项式（即项数较少的多项式）。通过伽罗瓦理论方法扩展了里特的经典定理，并提出了四次三项式可分解性的新判别准则，表明此类多项式 f(x) = a₁xⁿ¹ + a₂xⁿ² + a₃xⁿ³ + a₄ 可分解当且仅当 f(x) = g(h(x))，其中 h(x) = xᵏ 且 g 是 xᵏ 的多项式，且 k 整除 gcd(n₁, n₂, n₃)。

ABSTRACT

Starting from Ritt's classical theorems, we give a survey of results in functional decomposition of polynomials and of applications in Diophantine equations. This includes sufficient conditions for the indecomposability of polynomials, the study of decompositions of lacunary polynomials and the finiteness criterion for the equations of type f(x) = g(y).

研究动机与目标

• 提供多项式功能分解的全面综述，将里特的经典结果推广至各类域。
• 为多项式的不可约性建立充分条件，尤其针对稀疏多项式与四次三项式形式。
• 应用比鲁-蒂奇准则，对具有无穷多组整数解的丢番图方程 f(x) = g(y) 进行分类。
• 分析具有少量项（即稀疏多项式）的多项式分解结构，特别是四次三项式。
• 推广关于有理函数与代数函数功能分解中项数有界的结论。

提出的方法

• 利用里特的伽罗瓦理论框架，将多项式分解问题转化为域论与群论问题。
• 应用里特分解定理（定理 2.1），证明完全分解在有限次相邻不可约因子变换下唯一。
• 应用比鲁-蒂奇准则，根据 f 与 g 的结构判断 f(x) = g(y) 的整数解是否有限。
• 通过假设 h(x) 为首一多项式且 h(0) = 0，分析四次三项式 f(x) = g(h(x)) 的函数复合结构，研究 f(x) = ∏(h(x) - xᵢ)ᵃⁱ 的因式分解。
• 通过分析 h(x) - xᵢ 的根的次数与重数，限制 h(x) 的可能形式，证明 h(x) 必为单项式 xᵏ。
• 应用赞尼耶及富什-赞尼耶关于有理函数功能分解中项数有界的结论，以及代数方程的情形。

实验结果

研究问题

• RQ1 在何种条件下，稀疏多项式（特别是四次三项式）可实现功能分解？
• RQ2 如何应用比鲁-蒂奇准则判断 f(x) = g(y) 具有无穷多组整数解的条件？
• RQ3 当 f 的项数较少且 h 不是单项式时，函数分解 f(x) = g(h(x)) 的结构如何？
• RQ4 当 h 的项数较少时，g(h(x)) 的项数在何种程度上可被控制？存在哪些例外情况？
• RQ5 在 f(x) = g(h(x)) 的复合中，根的次数与重数如何限制 h(x) 的可能形式？

主要发现

• 四次三项式 f(x) = a₁xⁿ¹ + a₂xⁿ² + a₃xⁿ³ + a₄ 可分解当且仅当其可表示为 g(h(x))，其中 h(x) = xᵏ 且 g(x) = a₁xⁿ¹ᐟᵏ + a₂xⁿ²ᐟᵏ + a₃xⁿ³ᐟᵏ + a₄，且 k 整除 gcd(n₁, n₂, n₃)。
• 若 h(x) 不是单项式，则复合中根的重数将施加约束，除非 h(x) 为单项式，否则将导致矛盾。
• 当 h(x) 的项数增加时，g(h(x)) 的项数趋于无穷，除非 h(x) 为单项式。
• 对于具有至多 ℓ 项的有理函数 f(x) = g(h(x))，g 的次数在 ℓ 的范围内有界，仅对有限多个例外情况例外。
• 在四次三项式 f(x) = g(h(x)) 的分解中，若 h(x) ≠ xᵏ，则根重数论证将迫使 α₁ ≤ 2，除非 h(x) 为单项式，否则将导致矛盾。
• 条件 lα₁ = n₃ 与 g(h(x)) 展开中的次数比较表明 n₁ + n₃ ≤ 2n₂，除非 h(x) 为单项式，否则与指数处于一般位置的假设矛盾。