The weight recursions for the 2-rotation symmetric quartic Boolean functions

Abstract

A Boolean function in \begin{document}$ n $\end{document} variables is 2-rotation symmetric if it is invariant under even powers of \begin{document}$ \rho(x_1, \ldots, x_n) = (x_2, \ldots, x_n, x_1) $\end{document} , but not under the first power (ordinary rotation symmetry); we call such a function a 2-function. A 2-function is called monomial rotation symmetric (MRS) if it is generated by applying powers of \begin{document}$ \rho^2 $\end{document} to a single monomial. If the quartic MRS 2-function in \begin{document}$ 2n $\end{document} variables has a monomial \begin{document}$ x_1 x_q x_r x_s $\end{document} , then we use the notation \begin{document}$ {2-}(1,q,r,s)_{2n} $\end{document} for the function. A detailed theory of equivalence of quartic MRS 2-functions in \begin{document}$ 2n $\end{document} variables was given in a \begin{document}$ 2020 $\end{document} paper by Cusick, Cheon and Dougan. This theory divides naturally into two classes, called \begin{document}$ mf1 $\end{document} and \begin{document}$ mf2 $\end{document} in the paper. After describing the equivalence classes, the second major problem is giving details of the linear recursions that the Hamming weights for any sequence of functions \begin{document}$ {2-}(1,q,r,s)_{2n} $\end{document} (with \begin{document}$ q say), \begin{document}$ n = s, s+1, \ldots $\end{document} can be shown to satisfy. This problem was solved for the \begin{document}$ mf1 $\end{document} case only in the \begin{document}$ 2020 $\end{document} paper. Using new ideas about "short" functions, Cusick and Cheon found formulas for the \begin{document}$ mf2 $\end{document} weights in a \begin{document}$ 2021 $\end{document} sequel to the \begin{document}$ 2020 $\end{document} paper. In this paper the actual recursions for the weights in the \begin{document}$ mf2 $\end{document} case are determined.