J Gao, H Kan, Y Li, J Xu,
Q Wang - arXiv preprint arXiv:2309.11229, 2023 - arxiv.org
Exhibiting an explicit Boolean function with a large high-order nonlinearity is an important
problem in cryptography, coding theory, and computational complexity. We prove lower …