A new Kloosterman sum identity over \(F_{2^m}\) for odd \(m\). (Q1398281)

This short note proves a new Kloosterman sum identity for sums over \(\mathbb{F}_{2^m}, m\) odd, by giving a sufficient condition for two coefficients of the sum to lead to the same value. The result is that for two functions \(f, g\) with equal set of definition \(D\) one has \(K(f(a))=K(g(a))\) for \(a\in D\) if the images coincide and \[ (f(x))^4+(g(x))^4=f(x)g(x) \] holds true for all \(x\in D\). Finally they explicitly state the identity for \(f(x)=x^i(1+x^e)\) and \(g(x)x^{e-i}/(1+x^e)\) which can be seen to satisfy the condition above for \(4i\equiv e\pmod{2^m-1}\).