{"id":"arxiv/2605.22958","url":"https://arxiv.org/abs/2605.22958","tags":["cs.IT","math.CO"],"score":0,"title":"On Reed-Muller subcodes, Grassmannian partitions and sum-free functions","domain":"cs.IT","source":"arxiv","authors":["Philipp Heering","Christian Kaspers","Vladislav Taranchuk"],"reviews":0,"subject":"cs.IT","summary":"A function $F:\\mathbb{F}_{2}^{n}\\to \\mathbb{F}_{2}^{m}$ is called $k$th-order sum-free if the sum of its values over any $k$-dimensional affine subspace of $\\mathbb{F}_2^n$ is non-zero. Carlet recently introduced this notion and constructed such functions for every $2\\le k\\le n$. We prove that, for $2\\le k\\le n-2$ and $m \\leq n$, the existence of a (non-degenerate) $\\mathbb{F}_{2}^{m}$-valued $k$th-order sum-free function on $\\mathbb{F}_{2}^{n}$ is equivalent to the existence of a codimension $m$ linear subcode of the Reed-Muller code $\\mathrm{RM}(n-k,n)$ with minimum distance $3\\cdot…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-05-21","reactions":{}}