boolean-complexity.md
937 B · markdown
Boolean complexity
- 2026-08-28 [Verified] Geometry under-determines Boolean complexity at
dim = 4:bang dim 4, code 27andbang dim 4, code 281share genus,GF(2)degree, popcount and the fill polynomial4k^4 - 4k^3 + k^2and split six of seven complexity measures; across the 424 classes (22 + 402) 92 groups hold two or more classes and 279 measure splits occur. Witness: lab/py/boolean-measures, mrlymath::bang::counting::sequence. - 2026-08-28 [Verified] Sensitivity and block sensitivity separate exactly once in the
dim <= 4catalog:s = bson all 22 classes atdim = 3and on 401 of 402 atdim = 4, the exceptionbang dim 4, code 7128withs = 2,bs = 3, orbit 24;C = bson all 424 classes; exactly two classes meetdeg = s^2,bang dim 4, code 855andbang dim 4, code 1911, the second the AND-of-ORs that Huang 2019 names tight fors(f) >= sqrt(deg(f)). Witness: lab/py/boolean-measures.