Twins of s-free numbers

Julia Brandes
DOI: https://doi.org/10.48550/arXiv.1307.2066
2013-07-08
Abstract:We generalise the square sieve developed by Heath-Brown to higher powers in order to improve on the error term for the problem of counting consecutive power-free numbers.
Number Theory
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to improve the error term in the problem of counting consecutive s - free numbers without relying on the validity of the Riemann hypothesis. Specifically: 1. **Background problem**: For a given \(x\), how many \(n\leq x\) are not divisible by any \(s\)-th power? When \(s = 2\), the square sieve method can give a good estimate, but for larger \(s\), it is more difficult to improve the error term. 2. **Existing results**: Known results show that for the number of \(s\)-free numbers, \[ \sum_{n\leq x}E_s(n)=\frac{x}{\zeta(s)}+O(x^{1/s}), \] where \(E_s(n)\) is the indicator function of \(s\)-free numbers and \(\zeta(s)\) is the Riemann zeta function. However, since the error term depends on the behavior of \(\zeta(s)\), it is difficult to further improve without assuming the Riemann hypothesis. 3. **Improvement goals**: The goal of the paper is to improve the error term in the problem of counting consecutive pairs of \(s\)-free numbers. Specifically, consider pairs of \(s\)-free numbers with a spacing of \(a\), that is, \[ \sum_{n\leq x}E_s(n)E_s(n + a). \] For \(a = 1\), there are already preliminary results: \[ \sum_{n\leq x}E_s(n)E_s(n+1)=C_sx+O\left(x^{\frac{2}{s + 1}+\epsilon}\right), \] where \(C_s\) is a constant given by the Euler product: \[ C_s=\prod_p\left(1-\frac{2}{p^s}\right). \] 4. **Main contributions**: By generalizing Heath - Brown's square sieve method to higher powers, the author obtains a new error term estimate: \[ \sum_{n\leq x}E_s(n)E_s(n+1)=C_sx+O\left(x^{\frac{14}{7s+8}+\epsilon}\right). \] This result reproduces Heath - Brown's result when \(s = 2\), and compared with Carlitz's result, the exponent of the error term is improved by \(O\left(\frac{1}{s^2}\right)\). In summary, this paper successfully improves the error term in the problem of counting consecutive pairs of \(s\)-free numbers without relying on the Riemann hypothesis by introducing new sieve method techniques.