Vassil S. Dimitrov,Everett W. Howe
Abstract:Using completely elementary methods, we find all powers of 3 that can be written as the sum of at most twenty-two distinct powers of 2, as well as all powers of 2 that can be written as the sum of at most twenty-five distinct powers of 3. The latter result is connected to a conjecture of Erdős, namely, that 1, 4, and 256 are the only powers of 2 that can be written as a sum of distinct powers of 3.
We present this work partly as a reminder that for certain exponential Diophantine equations, elementary techniques based on congruences can yield results that would be difficult or impossible to obtain with more advanced techniques involving, for example, linear forms in logarithms.
What problem does this paper attempt to address?
This paper attempts to solve two main problems related to exponential Diophantine equations. Specifically:
1. **Finding powers of 3 in a specific form**: The author used completely elementary methods to find all powers of 3 that can be expressed as the sum of at most 22 different powers of 2. In other words, they solved all solutions of the following equation:
\[
3^x = 2^{a_1} + 2^{a_2} + \cdots + 2^{a_n}, \quad x \geq 0, \quad 0 \leq a_1 < a_2 < \cdots < a_n
\]
where \(n \leq 22\).
2. **Verifying part of Erdős' conjecture**: The author also studied powers of 2 that can be expressed as the sum of at most 25 different powers of 3. This is related to an Erdős' conjecture that 1, 4, and 256 are the only powers of 2 that can be expressed as the sum of different powers of 3. Specifically, they solved all solutions of the following equation:
\[
2^x = 3^{a_1} + 3^{a_2} + \cdots + 3^{a_n}, \quad x \geq 0, \quad 0 \leq a_1 < a_2 < \cdots < a_n
\]
where \(n \leq 25\).
### Main contributions
- **Theorem 1.1**: Only when \(0 \leq x \leq 25\), \(3^x\) can be expressed as the sum of at most 22 different powers of 2.
- **Theorem 1.2**: Only \(2^0 = 3^0\), \(2^2 = 3^0 + 3^1\), \(2^8 = 3^0 + 3^1 + 3^2 + 3^5\) these three powers of 2 can be expressed as the sum of at most 25 different powers of 3.
### Solution methods
The author used the method of congruences to gradually narrow the solution space. By choosing a series of moduli \(M_1, M_2, \ldots\), starting from smaller moduli each time and gradually increasing the size of the moduli until all possible solutions are found. This method can not only effectively solve the problem, but also shows the powerful ability of elementary methods in dealing with certain exponential Diophantine equations.
### Historical background
It is mentioned in the paper that Levi ben Gerson had already solved the case of \(n = 2\) nearly seven hundred years ago, and Pillai also found solutions for some special cases in 1945. The powerful computing power of modern computers enables this method of congruences to be applied on a larger scale, thus solving more complex cases.
In conclusion, this paper solves the problems of powers of 3 and powers of 2 in specific forms by elementary methods and provides a partial verification for Erdős' conjecture.