Abstract:Let $A=\{a_1,a_2,\dots, a_m\}$ be a subset of a finite abelian group $G$. We call $A$ {\it $t$-independent} in $G$, if whenever $$\lambda_1a_1+\lambda_2a_2+\cdots +\lambda_m a_m=0$$ for some integers $\lambda_1, \lambda_2, \dots , \lambda_m$ with $$|\lambda_1|+|\lambda_2|+\cdots +|\lambda_m| \leq t,$$ we have $\lambda_1=\lambda_2= \cdots = \lambda_m=0$, and we say that $A$ is {\it $s$-spanning} in $G$, if every element $g$ of $G$ can be written as $$g=\lambda_1a_1+\lambda_2a_2+\cdots +\lambda_m a_m$$ for some integers $\lambda_1, \lambda_2, \dots , \lambda_m$ with $$|\lambda_1|+|\lambda_2|+\cdots +|\lambda_m| \leq s.$$ In this paper we give an upper bound for the size of a $t$-independent set and a lower bound for the size of an $s$-spanning set in $G$, and determine some cases when this extremal size occurs. We also discuss an interesting connection to spherical combinatorics.
What problem does this paper attempt to address?
The main problems that this paper attempts to solve include:
1. **Determine the independence and generation of subsets in a finite abelian group**:
- **Upper bound on the size of t - independent sets**: Define that in a finite abelian group \(G\), a subset \(A\) is t - independent if for all integers \(\lambda_1,\lambda_2,\ldots,\lambda_m\) satisfying \(|\lambda_1|+|\lambda_2|+\cdots+|\lambda_m|\leq t\), only when \(\lambda_1 = \lambda_2=\cdots=\lambda_m = 0\), we have \(\lambda_1a_1+\lambda_2a_2+\cdots+\lambda_ma_m = 0\). The paper gives the upper bound on the size of t - independent sets.
- **Lower bound on the size of s - generating sets**: Define that in a finite abelian group \(G\), a subset \(A\) is s - generating if for each \(g\in G\), there exist integers \(\lambda_1,\lambda_2,\ldots,\lambda_m\) satisfying \(|\lambda_1|+|\lambda_2|+\cdots+|\lambda_m|\leq s\), such that \(g=\lambda_1a_1+\lambda_2a_2+\cdots+\lambda_ma_m\). The paper gives the lower bound on the size of s - generating sets.
2. **Study when these extreme cases occur**:
- The paper explores whether these upper and lower bounds can be reached in specific cases and gives some specific examples.
3. **Explore interesting connections with spherical combinatorics**:
- The paper also discusses how to apply these concepts to the problem of placing points on the sphere to achieve the highest momentum balance. Specifically, by constructing a set of points \(X(A)\) to form a spherical t - design, that is, for any polynomial \(f\) with total degree not exceeding \(t\), the average value on the entire sphere is equal to the arithmetic average on these points.
### Specific formulas and theorems
- **Definition of t - independent sets**:
Let \(A = \{a_1,a_2,\ldots,a_m\}\) be a subset of a finite abelian group \(G\). We say that \(A\) is t - independent in \(G\) if for some integers \(\lambda_1,\lambda_2,\ldots,\lambda_m\) satisfying
\[
|\lambda_1|+|\lambda_2|+\cdots+|\lambda_m|\leq t,
\]
only when \(\lambda_1=\lambda_2=\cdots=\lambda_m = 0\), we have
\[
\lambda_1a_1+\lambda_2a_2+\cdots+\lambda_ma_m = 0.
\]
- **Definition of s - generating sets**:
We say that \(A\) is s - generating in \(G\) if for each \(g\in G\), there exist integers \(\lambda_1,\lambda_2,\ldots,\lambda_m\) satisfying
\[
|\lambda_1|+|\lambda_2|+\cdots+|\lambda_m|\leq s,
\]
such that
\[
g=\lambda_1a_1+\lambda_2a_2+\cdots+\lambda_ma_m.
\]
- **Definition of spherical t - design**:
Let \(t\) be a non - negative integer and \(X\) be a finite set of points on the \(d\)-dimensional sphere \(S^d\subset\mathbb{R}^{d + 1}\). If for each polynomial \(f\) with total degree not exceeding \(t\), the average value on the entire sphere is equal to the arithmetic average on these points, then we say that \(X\) is a spherical t - design, that is,