Abstract:We revisit a subexponential bound for the $abc$ conjecture due to the first author, and we establish a variation of it using linear forms in logarithms. As an application, we prove an unconditional subexponential bound towards the $4$-terms $abc$ conjecture under a suitable hypothesis on the size of the variables.
What problem does this paper attempt to address?
This paper attempts to solve problems related to the abc conjecture and its extended forms (such as the quaternary abc conjecture). Specifically, the authors re - examine the previous sub - exponential bounds on the abc conjecture and establish its variants through linear - logarithmic forms. The following are the main problems and goals of this paper:
1. **Improving the sub - exponential bounds of the abc conjecture**:
- The paper first reviews the sub - exponential bounds of the abc conjecture proposed by the first author.
- The authors use the method of linear - logarithmic forms to establish a new variant, further improving the previous bounds.
2. **Application to the quaternary abc conjecture (abcd conjecture)**:
- As an application of the above improvement, the authors prove an unconditional sub - exponential bound under specific assumptions for the quaternary abc conjecture.
- The quaternary abc conjecture is a generalization of the abc conjecture, involving the case where four variables \(x_1, x_2, x_3, x_4\) satisfy \(x_1 + x_2 + x_3 + x_4 = 0\).
### Specific problem description
#### abc conjecture
The abc conjecture was proposed by Masser and Oesterlé and is stated as follows:
\[
\text{For any}\ \epsilon > 0,\ \text{there exists a constant}\ K_\epsilon > 0,\ \text{such that for relatively prime positive integers}\ a, b, c\ \text{satisfying}\ a + b = c,\ \text{we have}
\]
\[
c \leq K_\epsilon\cdot\text{rad}(abc)^{1 + \epsilon}
\]
where \(\text{rad}(n)\) represents the largest square - free divisor of \(n\).
#### Improvement of sub - exponential bounds
The paper mentions that under certain restrictive conditions, more compact sub - exponential bounds can be obtained. For example, Theorem 1.2 and Theorem 1.3 give different sub - exponential bound expressions respectively, specifically:
\[
\log c \leq \eta^{- 1}\exp\left(\kappa\sqrt{\log\text{rad}(abc)}\log^*_2\text{rad}(abc)\right)
\]
and
\[
\log c \leq \exp\left(\tau^{- 1}\kappa\frac{\log^*_3\text{rad}(bc)}{\log^*_2\text{rad}(bc)}\log\text{rad}(bc)\right)
\]
#### Application to the quaternary abc conjecture
As a direct application of improving the sub - exponential bounds, the paper proves an unconditional sub - exponential bound for the quaternary abc conjecture. The specific result is:
\[
\log H \leq \exp\left(\tau^{- 1}\kappa\frac{\log^*_3 R}{\log^*_2 R}\log R\right)
\]
where \(H=\max_{1\leq j\leq4}|x_j|\) and \(R = \text{rad}(x_1x_2x_3x_4)\).
### Summary
The main contribution of this paper lies in providing a new method to deal with multi - variable abc conjectures (such as the quaternary abc conjecture) by improving the sub - exponential bounds of the abc conjecture, and proving an unconditional sub - exponential bound under specific assumptions. These results are helpful for better understanding the abc conjecture and its generalization forms and provide a theoretical basis for further research.