Abstract:We prove explicit asymptotic formulae for some functions used in sieve methods and show that there exists no odd multiperfect number of abundancy four whose squared part is cubefree.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove the non - existence of odd multi - perfect numbers in a specific form. Specifically, the author aims to prove that there is no 4 - perfect number of the form \(N = 3^\alpha (q_1 q_2 \cdots q_{r - 1})^2\), where \(3, q_1, q_2,\ldots, q_{r - 1}\) are distinct odd primes and the square part of \(N\) is cube - free.
### Main problem description
1. **Definitions of perfect numbers and multi - perfect numbers**:
- A perfect number is a positive integer \(N\) such that the sum of all its proper divisors is equal to the number itself, i.e., \(\sigma(N)=2N\).
- A \(k\)-perfect number is a positive integer \(N\) such that the sum of all its divisors is equal to \(k\) times the number itself, i.e., \(\sigma(N) = kN\).
2. **Known results**:
- It is known that there are even perfect numbers, but it has not been proven whether there are odd perfect numbers.
- For odd 4 - perfect numbers, Broughan and Zhou [6] studied odd 4 - perfect numbers in a specific form and proposed a hypothesis, but ignored some special cases.
3. **Main contributions of the paper**:
- By extending previous research on odd perfect numbers, the author uses sieve methods to prove that there is no 4 - perfect number of the form \(N = 3^\alpha (q_1 q_2 \cdots q_{r - 1})^2\).
- Specifically, the author proves that if \(N\) is a 4 - perfect number, then at least one prime \(q_i\leqslant162751\), thus excluding all possible \(N\).
### Key conclusions of the paper
- **Theorem 1.2**: Under the above notation, there is no 4 - perfect number of the form \(N = 3^\alpha (q_1 q_2 \cdots q_{r - 1})^2\), where \(3, q_1, q_2,\ldots, q_{r - 1}\) are distinct odd primes.
- **Corollary**: Combining Theorem 2.5 of Broughan and Zhou [6], it can be concluded that there is no odd 4 - perfect number whose square part is cube - free.
### Method overview
- **Application of sieve methods**: The author uses the Selberg sieve method and the large sieve method to estimate the number of primes satisfying specific conditions, and improves previous estimates through detailed error - term analysis.
- **Proof by contradiction**: Assume that there exists such a 4 - perfect number \(N\), and gradually derive a contradiction through sieve methods, and finally prove that this form of 4 - perfect number does not exist.
Through these methods, the author successfully proves the non - existence of odd 4 - perfect numbers in a specific form, providing new progress in the research of odd perfect numbers.