Sándor Z. Kiss,Csaba Sándor
Abstract:Let $k\ge 2$ be an integer and let $A$ be a set of nonnegative integers. For a $k$-tuple of positive integers $\underline{\lambda} = (\lambda_{1}, \dots{} ,\lambda_{k})$ with $1 \le \lambda_{1} < \lambda_{2} < \dots{} < \lambda_{k}$, we define the additive representation function $R_{A,\underline{\lambda}}(n) = |\{(a_{1}, \dots{} ,a_{k})\in A^{k}: \lambda_{1}a_{1} + \dots{} + \lambda_{k}a_{k} = n\}|$. For $k = 2$, Moser constructed a set $A$ of nonnegative integers such that $R_{A,\underline{\lambda}}(n) = 1$ holds for every nonnegative integer $n$. In this paper we characterize all the $k$-tuples $\underline{\lambda}$ and the sets $A$ of nonnegative integers with $R_{A,\underline{\lambda}}(n) = 1$ for every integer $n\ge 0$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: Given a positive integer \(k\) and a positive integer \(k\)-tuple \(\lambda = (\lambda_1, \lambda_2,\ldots, \lambda_k)\), does there exist a set \(A\) of non - negative integers such that every non - negative integer \(n\) can be uniquely represented as \(\lambda_1a_1+\lambda_2a_2+\cdots+\lambda_ka_k = n\), where \(a_i\in A\).
Specifically, the paper studies the following problems:
- For which \(k\)-tuples \(\lambda\) and sets \(A\) of non - negative integers can the additive representation function \(R_{A,\lambda}(n) = 1\) hold for all non - negative integers \(n\).
- In particular, when \(k = 2\), Moser has already constructed such a set \(A\) so that \(R_{A,\lambda}(n)=1\) for all non - negative integers \(n\). This paper aims to generalize this result to more general linear forms.
To achieve this goal, the authors introduce some new concepts and methods and finally give a complete description of the \(k\)-tuples \(\lambda\) and sets \(A\) that satisfy the conditions. Specific conclusions include:
1. **Finite \(k\)-tuples**: For a finite \(k\)-tuple \(\Lambda=\{\lambda_1,\lambda_2,\ldots,\lambda_m\}\), there exists an integer \(\lambda\geq2\) and some integers \(u_1, v_1, u_2, v_2,\ldots, u_{k - 1}, v_{k - 1}, u_k\geq2\) such that \(\Lambda=\Lambda_\lambda(u_1, v_1, u_2, v_2,\ldots, u_{k - 1}, v_{k - 1}, u_k)\) and \(A = A_\lambda(u_1, v_1, u_2, v_2,\ldots, u_{k - 1}, v_{k - 1}, u_k,\infty)\).
2. **Infinite \(k\)-tuples**: For an infinite \(k\)-tuple \(\Lambda =\{\lambda_1,\lambda_2,\ldots\}\), there is a similar description.
Through these conclusions, the paper solves the problem proposed by Sárközy and Sós and provides a complete theoretical framework for understanding and constructing linear forms with unique representation properties.