English

Cross representations of additive complements of $r$-th powers

Number Theory 2026-05-19 v5

Abstract

Let N\mathbb{N} be the set of natural numbers and Sr={1r,2r,3r,}\mathcal{S}_r=\big\{1^r, 2^r, 3^r,\cdots\big\} the set of rr-th powers, where r2r\ge 2 is a natural number. Let Wr\mathcal{W}_r be an additive complement of Sr\mathcal{S}_r and fr(n)=#{(w,mr)W×Sr:n=w+mr}. f_r(n)=\#\big\{(w,m^r)\in \mathcal{W}\times \mathcal{S}_r: n=w+m^r\big\}. Motivated by a 1993 conjecture of Cilleruelo, we show that nNfr(n)NrN11r. \sum_{n\le N}f_r(n)-N\gg_r N^{1-\frac{1}{r}}. Previously, the bound was only proved for r=2r=2. In the case r=2r=2, the lower bound above can be made more explicit as nNf2(n)NN1/2(logN)δ \sum_{n\le N}f_2(n)-N\gg N^{1/2}(\log N)^{\delta} for some absolute constant δ>0\delta>0, which improves a log\log factor upon a recent result of Ding, Sun, Wang and Xia.

Keywords

Cite

@article{arxiv.2512.15407,
  title  = {Cross representations of additive complements of $r$-th powers},
  author = {Yuchen Ding and Csaba Sándor and Zihan Zhang},
  journal= {arXiv preprint arXiv:2512.15407},
  year   = {2026}
}

Comments

The title of the article is revised