一阶线性递推系统分母界的一个族
符号计算
2020-07-07 v1
摘要
对于线性递推系统，求有理解的问题通过 compute 一个内容界或分母界被归约为 compute 多项式解的问题。文献中存在若干界。最紧的界导致较低次数的多项式解，但该优势未必能补偿计算该界所花费的时间。为在界的紧致性与获取它所需的 CPU 时间之间取得最佳平衡，我们将给出一个界的族。该族的第 个成员在 时类似于 (Abramov, Barkatou, 1998)，在 较大时类似于 (van Hoeij, 1998)，而对于中间值的 则是新颖的，其给出了紧致性与 CPU 时间之间的最佳平衡。我们内容界的设定是系统 ，其中 是 UFD 的自同构， 是其分式域中元素构成的可逆矩阵。该设定包含移位情形、-移位情形、多基本情形等。我们给出两个版本，一个全局版本，以及一个分别界定每个分量的版本。
引用
@article{arxiv.2007.02926,
title = {A Family of Denominator Bounds for First Order Linear Recurrence Systems},
author = {Mark van Hoeij and Moulay Barkatou and Johannes Middeke},
journal= {arXiv preprint arXiv:2007.02926},
year = {2020}
}
备注
13 pages