D(f) vs rdeg(f)⁴: Searching for Quartic Separation

Computational search for Boolean function families achieving D(f) = Omega(rdeg(f)^4).

4.0

Target Exponent

3.21

Best Found

2.00

Known (AND-OR)

Upper Bound Const.

Separation Exponents by Function Family

Family	Exponent (alpha)	R²	Max n
Balanced AND-OR Tree	2.00	0.999	16
Pointer (Address)	2.48	0.993	16
Recursive Majority	2.72	0.987	9
Iterated AND-OR (depth 3)	2.85	0.978	8
Addr + Threshold	2.95	0.971	12
Addr + Majority	3.21	0.962	15