Counting Polynomial Subset Sums
Jiyou Li,Daqing Wan
DOI: https://doi.org/10.1007/s11139-018-0020-0
2018-01-01
The Ramanujan Journal
Abstract:Let D be a subset of a finite commutative ring R with identity. Let f(x)∈ R[x] be a polynomial of degree d . For a nonnegative integer k , we study the number N_f(D,k,b) of k -subsets S in D such that ∑ _x∈ S f(x)=b. In this paper, we establish several bounds for the difference between N_f(D,k, b) and the expected main term 1/|R||D| ()k , depending on the nature of the finite ring R and f . For R=ℤ_n , let p=p(n) be the smallest prime divisor of n , |D|=n-c ≥ C_dn p^-1/d + c and f(x)=a_dx^d +⋯ +a_0∈ℤ[x] with (a_d, … , a_1, n)=1 . Then | N_f(D, k, b)-1/nn-c ()k| ≤δ (n)(n-c)+(1-δ (n))( C_dnp^-1/d+c) +k-1 ()k, answering an open question raised by Stanley (Enumerative combinatorics, 1997 ) in a general setting, where δ (n)=∑ _i| n, μ (i)=-11/i and C_d=e^1.85d . Furthermore, if n is a prime power, then δ (n) =1/p and one can take C_d=4.41 . Similar and stronger bounds are given for two more cases. The first one is when R=𝔽_q , a q -element finite field of characteristic p and f ( x ) is general. The second one is essentially the well-known subset sum problem over an arbitrary finite abelian group. These bounds extend several previous results.