The strengthened point-modification conjecture for APN functions

About 7 years old · traced to

Let F:F2n→F2nF:{\mathbb F}_{2^n}\to{\mathbb F}_{2^n} be an APN function. Fix x0∈F2nx_0\in{\mathbb F}_{2^n} and let F′F' be its (x0,ϵ)(x_0,\epsilon)-modification, meaning that F′(x0)=F(x0)+ϵF'(x_0)=F(x_0)+\epsilon, F′(x)=F(x)F'(x)=F(x) for x≠x0x\ne x_0, and ϵ≠0\epsilon\ne0. A function is x0x_0-APN when, for every a≠0a\ne0, the equation F′(x+a)+F′(x)=F′(x0+a)+F′(x0)F'(x+a)+F'(x)=F'(x_0+a)+F'(x_0) has only two solutions. Strengthened point-modification conjecture. An (x0,ϵ)(x_0,\epsilon)-modification of an APN function with ϵ≠0\epsilon\ne0 is not x0x_0-APN. By the theorem immediately preceding this conjecture, an x0x_0-APN modification would also be APN, so this strengthens the earlier point-modification conjecture. Its status is not resolved in the supplied text.

References

Primary source

Lilya Budaghyan, Nikolay S. Kaleyski, Soonhak Kwon, Constanza Riera and Pantelimon Stanica, “Partially APN Boolean functions and classes of functions that are not APN infinitely often”, arXiv:1905.13025 (2019).

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.