Dobbertin's conjecture on the linearity of monomial vectorial functions

Let mm and nn be the parameters of the vectorial function FF under consideration, and let uu satisfy

gcd(u,2m1)=gcd(u2e,2m1)=1,\gcd(u,2^m-1)=\gcd(u-2^e,2^m-1)=1,

with u≢2k(mod2m1)u\not\equiv 2^k\pmod{2^m-1} for every k0k\geq 0. Define

L(u)=maxωF2mWH1(ω),\mathcal{L}(u)=\max_{\omega\in\mathbb{F}_{2^m}}|W_{H_1}(\omega)|,

where H(x)=xuH(x)=x^u. Dobbertin's conjecture. The linearity satisfies

L(u)2n4+1,\mathcal{L}(u)\geq 2^{\left\lfloor\frac{n}{4}+1\right\rfloor},

equivalently, the nonlinearity of FF satisfies

NF2n123n4.\mathcal{N}_F\leq 2^{n-1}-2^{\left\lfloor\frac{3n}{4}\right\rfloor}.

This conjecture gives a lower bound for the Walsh-spectrum maximum of the monomial permutation and, through the stated relation between L(u)\mathcal{L}(u) and NF\mathcal{N}_F, an upper bound on the nonlinearity of the associated vectorial function. The supplied text does not state whether the conjecture has been proved or disproved.

Sources & referencesView supporting material

Primary source

Xianhong Xie and Yi Ouyang, “On vectorial functions with maximal number of bent components”, arXiv:2301.02843 (2023).

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.