Li–Qu–Li–Fu's rational-function permutation conjecture on roots of unity

Let kk be a positive integer, set q=3kq=3^k, and define

μq+1={xFq2:xq+1=1},\mu_{q+1}=\{x\in{\mathbb F}_{q^2}:x^{q+1}=1\},

the set of (q+1)(q+1)-th roots of unity in Fq2{\mathbb F}_{q^2}. A rational function permutes μq+1\mu_{q+1} if it is defined on this set and induces a bijection of it. Li–Qu–Li–Fu's rational-function conjecture. The following assertions hold:

  1. If kk is even and
g(x)=x7+x6+xx6+x1,g(x)=\frac{-x^7+x^6+x}{x^6+x-1},

then g(x)g(x) permutes μq+1\mu_{q+1}. 2. If

g(x)=x6+x41x7+x3+x,g(x)=\frac{x^6+x^4-1}{-x^7+x^3+x},

then g(x)g(x) permutes μq+1\mu_{q+1}. 3. If

g(x)=x5+x3+xx4+x21,g(x)=\frac{-x^5+x^3+x}{x^4+x^2-1},

then g(x)g(x) permutes μq+1\mu_{q+1} whenever k≢2(mod4)k\not\equiv2\pmod{4}.

These assertions are presented as an equivalent reformulation of the preceding permutation-trinomial conjecture via the stated criterion for permutation polynomials. The source context gives no resolution of these assertions.

Sources & referencesView supporting material

Primary source

Nian Li, “On Two Conjectures about Permutation Trinomials over F_3^2k”, arXiv:1610.04441 (2016).

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.