The Kloosterman-sum identity conjecture for the auxiliary sum KmK_m'

Let mm be odd and let kk satisfy gcd(k,m)=1\operatorname{gcd}(k,m)=1. Define

f(v)=(v2k+1)v2k(v2k+v)2k+1,f(v)=\frac{(v^{2^k}+1)v^{2^k}}{(v^{2^k}+v)^{2^k+1}},

with f(0)=f(1)=0f(0)=f(1)=0, and define

Km=xGF(2m)(1)Trm(f(v)).K_m'=\sum\limits_{x\in \operatorname{GF}(2^m)^*}(-1)^{\operatorname{Tr}_m(f(v))}.

Kloosterman-sum identity conjecture.

Km=Km.K_m'=K_m.

Here KmK_m is the Kloosterman sum xGF(2m)(1)Trm(x+x1)\sum_{x\in\operatorname{GF}(2^m)^*}(-1)^{\operatorname{Tr}_m(x+x^{-1})}. This is the second exponential-sum conjecture on which the proposed settlement of the relevant cross-correlation distribution depends. The source gives no evidence of resolution, so its status is open.

Sources & referencesView supporting material

Primary source

Xiaogang Liu, Michael Harrison and Yuan Luo, “A note on the five valued conjectures of Johansen and Helleseth and zeta functions”, arXiv:1309.5674 (2013).

Additional references

2 papers in this index state this conjecture (2004–2013). The statement above is taken from the most recent of them; the others are arXiv:math/0406330.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.