Dobbertin's conjecture on the linearity of monomial vectorial functions

About 3 years old · traced to

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

gcd⁡(u,2m−1)=gcd⁡(u−2e,2m−1)=1,\gcd(u,2^m-1)=\gcd(u-2^e,2^m-1)=1,

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

L(u)=max⁡ω∈F2m∣WH1(ω)∣,\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)≥2⌊n4+1⌋,\mathcal{L}(u)\geq 2^{\left\lfloor\frac{n}{4}+1\right\rfloor},

equivalently, the nonlinearity of FF satisfies

NF≤2n−1−2⌊3n4⌋.\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.

References

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.