Generalization of some results on Gold and Kasami-Welch functions (Q714452)

Let \(K\) be the finite field with \(2^k\) elements and let \(\text{Tr}\) be the trace map \(K\to\mathbb F_2\). For a Boolean function \(f: K\to \mathbb F_2\), the Walsh transform is: \[ f^W(\alpha)=\sum_{x\in K} (-1)^{f(x)+\text{Tr}(\alpha x)}. \] The author primarily works with \(f(x)=\text{Tr}(x^{2^a+1}+x^{2^b+1})\). He computes \(f^W(\alpha)\), in terms of \(f^W(0)\), when \((b-a,k)=(b+a,k)=1\) and uses this to extend results of \textit{J. Lahtonen, G. McGuire} and \textit{H. N. Ward} [Adv. Math. Commun. 1, No. 2, 243--250 (2007; Zbl 1221.11237)]. The proofs rely on quadratic form results of the reviewer.