关于带正整数参数的线性丢番图方程解的个数的一个猜想
On a Conjecture about the Number of Solutions to Linear Diophantine Equations with a Positive Integer Parameter
摘要：
设A（n）是一个$k\times s$矩阵，$m(n)$是一个$k$维向量，其中A（n）和$m(n)$的所有元素都是$n$中的整数值多项式。假设对于每个$n\in \mathbb{N}$，$$t(m(n)|A(n))=#\{x\in\mathbb{Z}_{+}^{s}\mid A(n)x=m(n)\}$$是有限的，其中$Z_+$是非负整数的集合。本文证明了当$n$充分大时，$t(m(n)|A(n))$是$n$中的整值拟多项式，并在几种情况下证明了这一猜想.
英文摘要：
Let A(n) be a $k\times s$ matrix and $m(n)$ be a $k$ dimensional vector, where all entries of A(n) and $m(n)$ are integer-valued polynomials in $n$. Suppose that $$t(m(n)|A(n))=#\{x\in\mathbb{Z}_{+}^{s}\mid A(n)x=m(n)\}$$ is finite for each $n\in \mathbb{N}$, where $Z_+$ is the set of nonnegative integers. This paper conjectures that $t(m(n)|A(n))$ is an integer-valued quasi-polynomial in $n$ for $n$ sufficiently large and verifies the conjecture in several cases.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
