English

Note on a theorem of Birch and Erd\H{o}s

Number Theory 2025-05-13 v3

Abstract

Let p,q>1p,q>1 be two relatively prime integers and N\mathbb{N} the set of nonnegative integers. Let fp,q(n)f_{p,q}(n) be the number of different expressions of nn written as a sum of distinct terms taken from {pαqβ:α,βN}\{p^{\alpha}q^{\beta}:\alpha,\beta\in \mathbb{N}\}. Erd\H os conjectured and then Birch proved that fp,q(n)1f_{p,q}(n)\ge 1 provided that nn is sufficiently large. In this note, for all sufficiently large number nn we prove fp,q(n)=2(logn)22logplogq(1+O(loglogn/logn)). f_{p,q}(n)=2^{\frac{(\log n)^2}{2\log p\log q}\big(1+O(\log\log n/\log n)\big)}. We also show that limnf2,q(n+1)/f2,q(n)=1.\lim_{n\rightarrow\infty}f_{2,q}(n+1)/f_{2,q}(n)=1. Additionally, we will point out the relations between f2,q(n)f_{2,q}(n) and mm-ary partitions.

Keywords

Cite

@article{arxiv.2503.11676,
  title  = {Note on a theorem of Birch and Erd\H{o}s},
  author = {Yuchen Ding and Honghu Liu and Zi Wang},
  journal= {arXiv preprint arXiv:2503.11676},
  year   = {2025}
}

Comments

some proofs are adjusted