{"id":"arxiv/2610.06362","url":"https://arxiv.org/abs/2610.06362","tags":["cs.CR","cs.CC","math.CO"],"score":0,"title":"Explicit Nonlinear Functions beyond the Fourier bound","domain":"cs.CR","source":"arxiv","authors":["Swastik Kopparty","Rishabh Kothary","Shanthanu S. Rai"],"reviews":0,"subject":"cs.CR","summary":"We study the problem of constructing highly nonlinear vectorial maps $F: \\mathbb F_2^n \\to \\mathbb F_2^m$. Concretely, we want an $F$ and an $A = A(m,n)> 0$ as small as possible, so that for every affine map $L: \\mathbb F_2^n \\to \\mathbb F_2^m$ (of the form $L(x) = M x + b $) we have: $$\\mathrm{agree}(F, L) := |\\{ x \\in \\mathbb F_2^n \\mid F(x) = L(x) \\}| \\leq A.$$ Such questions have been studied by Nyberg (1991,1993), Carlet and Ding (2004,2007), Liu, Mesnager and Chen (2017), Nagy (2025), and Biryukov, Turecek, and Udovenko (2026). There is a classical method of constructing such functions…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-10-05","reactions":{}}