A counterexample of two Romanov type conjectures

Yuchen Ding
DOI: https://doi.org/10.48550/arXiv.2205.08511
2022-05-20
Abstract:In this note, we disprove two Romanov type conjectures posed by Chen.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to verify and refute two Romanov - type conjectures about the set of integers proposed by Chen Jingrun. Specifically, these two conjectures involve the asymptotic density problem of the set of integers. ### Conjecture content 1. **Conjecture 1.1**: Let \(A\) and \(B\) be two sets of positive integers. If there exists a constant \(c> 0\) such that for sufficiently large \(x\), we have \[ A\left(\frac{\log x}{\log 2}\right)B(x)>cx, \] then the set \(\{2^{a}+b:a\in A, b\in B\}\) has a positive lower asymptotic density. 2. **Conjecture 1.2**: Let \(A\) and \(B\) be two sets of positive integers. If there exists a constant \(c > 0\) such that for infinitely many \(x\), we have \[ A\left(\frac{\log x}{\log 2}\right)B(x)>cx, \] then the set \(\{2^{a}+b:a\in A, b\in B\}\) has a positive upper asymptotic density. ### Main contributions of the paper The author proves that these two conjectures are generally not valid by constructing specific counterexamples. Specifically, the author defines specific sets \(A\) and \(B\) and through a series of mathematical derivations, proves that even if the above conditions are met, the asymptotic density of the set \(C=\{2^{a}+b:a\in A, b\in B\}\) is still zero. ### Construction of counterexamples The author constructs the following sets: - \(p_{i}\) represents the \(i\)-th odd prime number. - \(d_{t}=p_{1}p_{2}\cdots p_{t}\). - \(B_{t}=\{n:n\in\mathbb{N}, d_{t}\mid n\}\cap\left[2^{2t^{2}},2^{2(t + 1)^{2}}\right)\). - \(B=\bigcup_{t = 1}^{\infty}B_{t}\). - \(A=\mathbb{N}\). - \(C = 2A+B=\{2^{a}+b:a\in A, b\in B\}\). Through these definitions, the author further derives: 1. For sufficiently large \(x\), we have \[ A\left(\frac{\log x}{\log 2}\right)B(x)\gg x\log x\exp\left(-3\sqrt{\log\log x\log\log\log x}\right)>x. \] 2. However, the number of elements in the set \(C\), \(C(x)\), satisfies \[ C(x)=o(x)\quad\text{when}\quad x\rightarrow\infty. \] This shows that even if the conditions in the conjecture are met, the asymptotic density of the set \(C\) is still zero, thus refuting these two conjectures. ### Conclusion This paper successfully refutes the two Romanov - type conjectures proposed by Chen Jingrun by constructing specific counterexamples, demonstrating the invalidity of these conjectures in general.