Abstract:Let $\Sigma=\{a_1, \ldots , a_n\}$ be a set of positive integers with $a_1 < \ldots < a_n$ such that all $2^n$ subset sums are pairwise distinct. A famous conjecture of Erdős states that $a_n>C\cdot 2^n$ for some constant $C$, while the best result known to date is of the form $a_n>C\cdot 2^n/\sqrt{n}$. In this paper, we propose a generalization of the Erdős distinct sum problem that is in the same spirit as those of the Davenport and the Erdős-Ginzburg-Ziv constants recently introduced in \cite{CGS} and in \cite{CS}. More precisely, we require that the non-zero evaluations of the $m$-th degree symmetric polynomial are all distinct over the subsequences of $\Sigma$ whose size is at most $\lambda n$, for a given $\lambda\in (0,1]$, considering $\Sigma$ as a sequence in $\mathbb{Z}^k$ with each coordinate of each $a_i$ in $[0,M]$. If $\mathcal{F}_{\lambda,n}$ denotes the family of subsets of $[1,n]$ whose size is at most $\lambda n$, our main result is that, for each $k,m,$ and $\lambda$, there exists an explicit constant $C_{k,m,\lambda}$ such that $$ M\geq C_{k,m,\lambda} \frac{(1+o(1)) |\mathcal{F}_{\lambda,n}|^{\frac{1}{mk}}}{n^{1 - \frac{1}{2m}}}.$$
What problem does this paper attempt to address?
The problem that this paper attempts to solve is a variant of the Erdős distinct sums problem. Specifically:
1. **The classical Erdős distinct sums problem**: Let \(\Sigma=\{a_1,a_2,\ldots,a_n\}\) be a set of positive integers, and \(a_1 < a_2 <\cdots< a_n\), such that all \(2^n\) subset sums are pairwise distinct. The well - known Erdős conjecture states that there exists a constant \(C\) such that \(a_n > C\cdot2^n\). The best result so far is \(a_n > C\cdot\frac{2^n}{\sqrt{n}}\).
2. **The newly proposed variant problem**: The author proposes a generalized Erdős distinct sums problem, inspired by the research on Davenport constant and Erdős - Ginzburg - Ziv constant. Specifically, they consider whether the non - zero evaluation values of symmetric polynomials are distinct on certain subsequences. More precisely, given a positive integer sequence \(\Sigma=(a_1,a_2,\ldots,a_n)\) and a subset \(A\subseteq[1,n]\), the \(m\)-th (degree) symmetric polynomial evaluation is defined as:
\[
e_m^\Sigma(A)=\sum_{\{i_1,i_2,\ldots,i_m\}\subseteq A,i_1 < i_2 <\cdots< i_m}a_{i_1}a_{i_2}\cdots a_{i_m}
\]
where \(e_m^\Sigma(A) = 0\) when \(|A|<m\).
3. **The main research problem**: For each positive integer \(n\), find the smallest positive integer \(M = M(n)\) such that there exists a sequence \(\Sigma=(a_1,a_2,\ldots,a_n)\) satisfying \(a_i\in[0,M]^k\), and for all distinct subsets \(A_1,A_2\subseteq[1,n]\) with size at least \(m\), we have \(e_m^\Sigma(A_1)\neq e_m^\Sigma(A_2)\).
Through the proposal of these problems, the author hopes to further explore and improve the lower bound estimates of the Erdős distinct sums problem and its related problems, and provide new methods and tools to deal with these problems.