arXiv:2610.03212v2
Abstract
To a coprime triple we attach two coordinates, the quality and the logarithmic mass , whose ratio measures the balance of the triple and lies asymptotically between and . In these coordinates the conjecture and Szpiro's conjecture for Frey curves become asymptotic bounds with thresholds and , and the direct implications between them follow from the range of . We then place the approximation and power gains of Müller, Taktikos and de Weger in the same plane. Relative to a chosen presentation of the triple, one exponent factor relates the gains to the coordinates, and Szpiro's conjecture for this family is equivalent to the asymptotic bound uniformly over all presentations. Under the two separate asymptotic gain bounds for a fixed choice of presentations, we obtain and as the radical tends to infinity. Stronger conclusions depend on the presentation or on a joint bound for the gains. We close with numerical data and two research objectives.
AI-generated audit
Audit summary
Not a correctness certificate. A green “no issues found” result may include yellow suspected typos or minor formal issues that do not affect substantive soundness. It means this audit found no unresolved substantive error under the stated criteria; it does not replace expert scrutiny or formal verification.
Current report
Detailed mathematical audit
01Statements2 reported findingsNo statement issues found
The quality-plane identities, the comparison between abc and Szpiro thresholds, the presentation-dependent gain decomposition, and the consequences of the two separate gain bounds are correct.
The limiting balance interval gives the stated abc–Szpiro implications
PDF pages 2–4 · arXiv:2610.03212v2
Writing the balance as 1 plus log(ab) divided by log(c) gives the strict finite-triple bounds and the full limiting interval from 2 to 3. Since Y equals the balance times X, these bounds convert the abc threshold X=1 into Y=3 and the Frey-curve Szpiro threshold back into X=3/2 with the stated finitely-many-exceptions interpretation.
Presentations interpolate correctly between radical and full product
PDF pages 5–7 · arXiv:2610.03212v2
For N dividing P dividing abc, cancellation of logarithms gives Ga·Gp=X, f·Gp=Y, and balance·Ga=f. The extreme choices P=N and P=abc attain the endpoint bounds. Multiplying the asymptotic separate gain bounds gives X at most 9/2, and the universal balance bound then gives Y at most 27/2.
02Proofs3 reported findingsNo proof issues found
The elementary logarithmic arguments and the Frey-curve conductor/discriminant comparison support all central conclusions; the numerical and presentation examples agree with the formulas.
Bounded powers of two do not affect the asymptotic Szpiro ratio
PDF pages 3–4 · arXiv:2610.03212v2
The model is minimal at every odd prime, and the changes at 2 contribute uniformly bounded exponents to both discriminant and conductor. Consequently the Szpiro ratio is 2Y times a factor tending to one as the radical grows, which proves the equivalence of the two asymptotic formulations.
All gain bounds follow from exact identities rather than heuristic factorization
PDF pages 5–7 · arXiv:2610.03212v2
The divisibility and radical condition imply N≤P≤abc, so each endpoint inequality is immediate. For any positive tolerance, one common smaller tolerance can be chosen for the two separate gain bounds; outside the union of their finite exceptional sets, direct multiplication yields both asserted bounds.
The examples consistently use presentation-dependent gains
PDF pages 5–9 · arXiv:2610.03212v2
The surd, enhanced-radical, and Pythagorean presentations all divide abc and have the same radical. Substitution into the exact identities reproduces the tabulated values and explains why varying a presentation moves one triple along the hyperbola Ga·Gp=X.
03Novelty0 reported findingsNo novelty concerns found
No non-novelty findings.