arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2207.05554math.NT
收藏

关于函数域上两个线性递推序列的线性组合的大小

On the size of a linear combination of two linear recurrence sequences over function fields

Sebastian Heintze

AI总结:

本文研究函数域上两个非退化线性递推序列之差的赋值上界,证明在适当条件下存在可有效计算的常数,使得该赋值不超过其中一个序列的赋值加常数。

摘要:

设 $G_n$ 和 $H_m$ 是定义在 $\mathbb{C}$ 上单变量函数域 $F$ 上的两个非退化线性递推序列,并设 $\mu$ 是 $F$ 上的一个赋值。我们证明在适当条件下,存在可有效计算的常数 $c_1$ 和 $C'$,使得当 $\max \{n,m\} > c_1$ 时,不等式 \begin{equation*} \mu(G_n - H_m) \leq \mu(G_n) + C' \end{equation*} 成立。

英文摘要:

Let $ G_n $ and $ H_m $ be two non-degenerate linear recurrence sequences defined over a function field $ F $ in one variable over $ \mathbb{C} $, and let $ μ$ be a valuation on $ F $. We prove that under suitable conditions there are effectively computable constants $ c_1 $ and $ C' $ such that the bound \begin{equation*} μ(G_n - H_m) \leq μ(G_n) + C' \end{equation*} holds for $ \max \{n,m\} > c_1 $.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑