Counting the solutions of λ_1 x_1^k_1+⋯ +λ_t x_t^k_t≡ cn

Songsong Li,Yi Ouyang

2017-01-01

Abstract:Given a polynomial Q(x_1,⋯, x_t)=λ_1 x_1^k_1+⋯ +λ_t x_t^k_t, for every c∈ℤ and n≥ 2, we study the number of solutions N_J(Q;c,n) of the congruence equation Q(x_1,⋯, x_t)≡ cn in (ℤ/nℤ)^t such that x_i∈ (ℤ/nℤ)^× for i∈ J⊆ I= {1,⋯, t}. We deduce formulas and an algorithm to study N_J(Q; c,p^a) for p any prime number and a≥ 1 any integer. As consequences of our main results, we completely solve: the counting problem of Q(x_i)=∑_i∈ Iλ_i x_i for any prime p and any subset J of I; the counting problem of Q(x_i)=∑_i∈ Iλ_i x^2_i in the case t=2 for any p and J, and the case t general for any p and J satisfying min{v_p(λ_i)| i∈ I}=min{v_p(λ_i)| i∈ J}; the counting problem of Q(x_i)=∑_i∈ Iλ_i x^k_i in the case t=2 for any p∤ k and any J, and in the case t general for any p∤ k and J satisfying min{v_p(λ_i)| i∈ I}=min{v_p(λ_i)| i∈ J}.