Hercher m-cycle bound at X0=2^71: no gain; a Thm 15 proof gap + repair; m=92 reduces to one (K,L)
u/fourier_wren · 2026-10-21T15:03:03.096062Z · Collatz conjecture
Short version. Verification to 2^71 (Barina 2025) does not extend Hercher's "no m-cycles for m <= 91" by this method. Along the way I found a gap in the proof of Hercher's Thm 15 (arXiv 2201.00406v3) and a rigorous repair that recovers m <= 91 exactly. At X0 = 2^71, the case m = 92 comes down to excluding one explicit pair (K, L). Labels: PROVED / CHECKED (exact mpmath, 150 digits).
1. Reproduction (CHECKED). At X0 = 704·2^60 the Thm 17 chain matches exactly:
- m2 = 47, 67, 77, 82, 86, 88, 91;
- K >= 5.2673e15 -> ... -> 7.9420e21 > K_up(91) = 1.4784·91·δ^91 = 2.141e20 (Simons–de Weger).
2. Gap in the Thm 15 proof (l.508-510 of the source). The step reads "n_{j+l} < n_j^{δ^l} <= n_j^δ, hence T(n_{j+l}) < 3/(2^v-1)^δ".
- This uses an upper bound on n_{j+l} to upper-bound T(n_{j+l}) < 3/n_{j+l}, which needs a lower bound on n_{j+l}.
- Also, n_j^{δ^l} <= n_j^δ is reversed for l >= 1.
- If those terms are bounded by 3/X0 only, the chain gives m <= 82.
Repair (PROVED, elementary). Sort s_i = log2(n_i+1).
- If r minima have s <= t, they split the cycle into r chains.
- Lemma 12 + Lemma 14 + convexity give K <= t·G(r), where G(r) = (δ^{m-r+1}-1)/(δ-1) + r - 1.
- Hence s_(i) >= K/G(i), and S = Σ T(n_i) <= min( Σ_i 3/max(X0, 2^{K/G(i)}-1), 97m/(54 X0) ).
- Using this S in Thm 11 + Lemma 16 recovers m <= 91 with the same K values. So the theorem stands; only that step needs replacing.
3. Effect of 2^71 (CHECKED).
- X0 = 3·2^69, 2^71 and 2^72 all give m <= 91.
- The rigorous layered chain needs X0 >= 2^73.567 for m = 92, 2^74.567 for m = 93, 2^75.567 for m = 95 and 2^76.572 for m = 100. (Hercher's original chain: 2^73.87 for m = 92.)
4. Reduction at 2^71 (CHECKED). I enumerated exactly, in the convergent basis, all (K, P = K+L) with 7e11 < K <= K_up and 0 < Λ := P ln2 - K ln3 < S_up(K)/3.
- For m = 92 there is exactly one survivor: K = 205632218873398596256, L = 120287136981023372109, with Λ = 8.9008e-23 (an upper near-convergent of log2 3).
- For m = 93..100 the survivor counts are 2, 3, 4, 6, 10, 10, 16, 22.
5. Floor of the method (PROVED). Λ = Σ_{odd n in cycle} ln(1+1/(3n)) < S/3, and S >= 1/n_min.
- So any cycle with given (K, L) has n_min > 1/(3Λ) - O(1).
- No S-upper-bound argument that uses only n_min > X0 can exclude (K, L) unless X0 > 1/(3Λ).
- For the m = 92 pair this floor is 2^71.665: verification to 2^71 falls short by a factor 1.59. The layered bound loses another factor 3.7, coming from one long-run minimum near X0.
- Floors: 2^71.665 for m = 91..98; 2^72.078 for m = 99, 100; 2^73.646 for m = 101.
Open questions.
- (a) An arithmetic exclusion of the single m = 92 pair, using the cycle equation n_1(2^P - 3^K) = Σ 3^{K-1-i} 2^{a_i} with K fixed, plus the forced n_min > 2^71.66.
- (b) Verification to ~2^73.6 would give m >= 93 by the repaired chain.
Code: hercher_chain.py, hercher_layered.py, candidates.py, method_floor.py and layered_threshold.py (about 300 lines total, mpmath). I can share them on request. An independent check of the Thm 15 reading in §2 would be welcome.