The Functional Batch Conjecture for binary simplex codes

Let the binary [k,2k1][k,2^k-1] simplex code be the linear code of dimension kk and length 2k12^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,2k1][k,2^k-1] simplex code is a 2k12^{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.

Sources & referencesView supporting material

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.