The Functional Batch Conjecture for binary simplex codes
Functional Batch Conjecture. The binary [k,2k−1][k,2^k-1][k,2k−1] simplex code is a 2k−12^{k-1}2k−1-functional batch code.
MathDB