Balister–Győri–Schelp partition conjecture for binary vector lists

Let k2k\geq 2, and let v1,,v2k1v_1,\dots,v_{2^{k-1}} be nonzero vectors in F2k\mathbb F_2^k satisfying

i=12k1vi=0.\sum_{i=1}^{2^{k-1}}v_i=0.

A 2-set of vectors is a pair of distinct vectors, and a partition of F2k\mathbb F_2^k into such 2-sets consists of pairs {wi,zi}\{w_i,z_i\} whose union is F2k\mathbb F_2^k.

Balister–Győri–Schelp conjecture. There exists a partition of F2k\mathbb F_2^k into 2-sets {wi,zi}\{w_i,z_i\}, for i{1,,2k1}i\in\{1,\dots,2^{k-1}\}, such that

vi=wi+ziv_i=w_i+z_i

for all ii.

The conjecture is connected with matching and rainbow-matching problems in finite abelian groups. The source reports partial results, including an asymptotic bound for the corresponding functional batch code, but does not state a complete resolution.

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).

Additional references

2 papers in this index state this conjecture (2024–2025). The statement above is taken from the most recent of them; the others are arXiv:2404.03950.

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.