有限反射群作用下不变多项式的复杂性
摘要：在一个域 K 上，令 K[x₁, ..., xₙ] 为一个多元多项式环。令 (u₁, ..., uₙ) 是 K[x₁, ..., xₙ] 中的 n 个代数无关的元素序列。给定一个多项式 f ∈ K[u₁, ..., uₙ]，它是由 uᵢ 生成的 K[x₁, ..., xₙ] 的子环，我们希望找到一个唯一的多项式 f_{new} ∈ K[e₁, ..., eₙ]，其中 e₁, ..., eₙ 是新的变量，满足 f_{new}(u₁, ..., uₙ) = f(x₁, ..., xₙ)。我们提供了一个算法，并进行算术复杂度分析，以计算 f_{new}，已知 f 和 (u₁, ..., uₙ)。
作者：Thi Xuan Vu
论文ID：2203.04123
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2022-06-01