Spencer Discrepancy Constant

The n=15, discrepancy-7 target as an antipodal covering problem

For n=15, beating 7/sqrt(17) would follow from discrepancy 7, giving 7/sqrt(15)=1.80739. A row mask covers precisely the sign vectors at Hamming distance at most 4 from it or its complement. Thus the …