The Functional Batch Conjecture for binary simplex codes

About 1 year old · traced to

Let the binary [k,2k−1][k,2^k-1] simplex code be the linear code of dimension kk and length 2k−12^k-1 over F2\mathbb F_2 whose generator matrix has one representative of each nonzero vector of F2k\mathbb F_2^k as a column. A code is a tt-functional batch code if it supports simultaneous retrieval of any tt requested linear functions of the stored data.

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

This is presented as a central open problem in functional batch coding. The supplied text gives no resolution status or further general result for this assertion.

References

Primary source

Altan B. Kilic, Alberto Ravagnani and Flavio Salizzoni, “The Length of Functional Batch and PIR Codes”, arXiv:2508.02586 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.