Recursions for quadratic rotation symmetric functions weights
Abstract
A Boolean function in variables is rotation symmetric (RS) if it is invariant under powers of . An RS function is called monomial rotation symmetric (MRS) if it is generated by applying powers of to a single monomial. The author showed in that for any RS function in variables, the sequence of Hamming weights for all values of satisfies a linear recurrence with associated recursion polynomial given by the minimal polynomial of a {\em rules matrix}. Examples showed that the usual formula for the weights in terms of powers of the roots of the minimal polynomial always has simple coefficients. The conjecture that this is always true is the Easy Coefficients Conjecture (ECC). The present paper proves the ECC if the rules matrix satisfies a certain condition. Major applications include an enormous decrease in the amount of computation that is needed to determine the values of for a quadratic RS function if either or the order of the recursion for the weights is large, and a simpler way to determine the Dickson form of The ECC also enables rapid computation of generating functions which give the values of as coefficients in a power series.
Keywords
Cite
@article{arxiv.2502.10864,
title = {Recursions for quadratic rotation symmetric functions weights},
author = {Thomas W. Cusick},
journal= {arXiv preprint arXiv:2502.10864},
year = {2025}
}
Comments
19 pages