Permutation polynomial

In mathematics, a permutation polynomial (for a given ring) is a polynomial that acts as a permutation of the elements of the ring, i.e. the map $x\mapsto g(x)$ is a bijection. In case the ring is a finite field, the Dickson polynomials, which are closely related to the Chebyshev polynomials, provide examples. Over a finite field, every function, so in particular every permutation of the elements of that field, can be written as a polynomial function.

In the case of finite rings Z/nZ, such polynomials have also been studied and applied in the interleaver component of error detection and correction algorithms.^[1] ^[2]

Quadratic permutation polynomials (QPP)

For the finite ring Z/nZ one can construct quadratic permutation polynomials. Actually it is possible if and only if n is divisible by p² for some prime number p. The construction is surprisingly simple, nevertheless it can produce permutations with certain good properties. That is why it has been used in the interleaver component of turbo codes in 3GPP Long Term Evolution mobile telecommunication standard (see 3GPP technical specification 36.212 ^[3] e.g. page 14 in version 8.8.0).

Simple examples

Consider $g(x)=2x^{2}+x$ for the ring Z/4Z. One sees: $g(0)=0;~g(1)=3;~g(2)=2;~g(3)=1$ , so the polynomial defines the permutation

{\begin{pmatrix}0&1&2&3\\0&3&2&1\end{pmatrix}}

Let us consider the same polynomial $g(x)=2x^{2}+x$ for the other ring Z/8Z. One sees: $g(0)=0;~g(1)=3;~g(2)=2;~g(3)=5;~g(4)=4;~g(5)=7;~g(6)=6;~g(7)=1;$ , so the polynomial defines the permutation

{\begin{pmatrix}0&1&2&3&4&5&6&7\\0&3&2&5&4&7&6&1\end{pmatrix}}

Rings Z/p^kZ

Consider $g(x)=ax^{2}+bx+c$ for the ring Z/p^kZ.

Lemma: for k=1 (i.e. Z/pZ) such polynomial defines a permutation only in the case a=0 and b not equal to zero. So the polynomial is not quadratic, but linear.

Lemma: for k>1, p>2( Z/p^kZ) such polynomial defines a permutation if and only if $a=0~mod~p$ and $b\neq 0~mod~p$ .

Rings Z/nZ

Consider $n=p_{1}^{{k_{1}}}p_{2}^{{k_{2}}}...p_{l}^{{k_{l}}}$ , where p_t are prime numbers.

Lemma: any polynomial $g(x)=a_{0}+\sum _{{0<i\leq M}}a_{i}x^{i}$ defines a permutation for the ring Z/nZ if and only if all the polynomials $g_{{p_{t}}}(x)=a_{{0,p_{t}}}+\sum _{{0<i\leq M}}a_{{i,p_{t}}}x^{i}$ defines the permutations for all rings $Z/p_{t}^{{k_{t}}}Z$ , where $a_{{j,p_{t}}}$ are remainders of $a_{j}$ modulo $p_{t}^{{k_{t}}}$ .

As a corollary one can construct plenty quadratic permutation polynomials using the following simple construction. Consider $n=p_{1}^{{k_{1}}}p_{2}^{{k_{2}}}...p_{l}^{{k_{l}}}$ , assume that k₁ >1.

Consider $ax^{2}+bx$ , such that $a=0~mod~p_{1}$ , but $a\neq 0~mod~p_{1}^{{k_{1}}}$ ; assume that $a=0~mod~p_{i}^{{k_{i}}}$ ,i>1. And assume that $b\neq 0~mod~p_{i}$ for all i=1...l. (For example, one can take $a=p_{1}p_{2}^{{k_{2}}}...p_{l}^{{k_{l}}}$ and $b=1$ ). Then such polynomial defines a permutation.

To see this we observe that for all primes p_i,i>1, the reduction of this quadratic polynomial modulo p_i is actually linear polynomial and hence is permutation by trivial reason. For the first prime number we should use the lemma discussed previously to see that it defines the permutation.

For example, consider Z/12Z and polynomial $6x^{2}+x$ . It defines a permutation

{\begin{pmatrix}0&1&2&3&4&5&6&7&8&...\\0&7&2&9&4&11&6&1&8&...\end{pmatrix}}

Higher degree polynomials

A polynomial g(x) for the ring Z/p^kZ is a permutation polynomial if and only if it permutes the finite field Z/pZ and $g'(x)\neq 0~mod~p$ for all x in Z/p^kZ, where g′(x) is the formal derivative of g(x).^[4]

Lemma: consider the finite field Z/pZ for some prime number p. The cubic polynomial $g(x)=ax^{3}+bx$ defines a permutation if and only if for all $y\in Z/pZ$ it is true that $y^{2}\neq -b/a$ , i.e. the Legendre symbol $\left({\frac {-b/a}{p}}\right)=-1.$ .

Evaluation of the Legendre symbol can be achieved with the help of quadratic reciprocity law.

Finite fields

There are many open questions concerning permutation polynomials defined over finite fields (see Lidl & Mullen (1988) and Lidl & Mullen (1993)).

If f(x) is a permutation polynomial defined over the finite field GF(q), where q = p^e for some prime p, then so is g(x) = a f(x + b) + c for all a ≠ 0, b and c in GF(q). We say that g(x) is in normalized form if a, b and c are chosen so that g(x) is monic, g(0) = 0 and (provided the characteristic p does not divide the degree n of the polynomial) the coefficient of x^n-1 is 0.

The following list, while not exhaustive, contains almost all of the known major classes of permutation polynomials over finite fields.^[5]

Dickson (1958, pg. 63) lists all normalized permutation polynomials of degree at most 5.
x^k permutes GF(q) if and only if (k, q - 1) = 1.
If a is in GF(q) then the Dickson polynomial g_k(x,a) permutes GF(q) if and only if (k, q² - 1) = 1.
If GF(q^r) is an extension of GF(q) of degree r, then the linearised polynomial

L(x)=\Sigma _{{s=0}}^{{r-1}}\alpha _{s}x^{{q^{s}}},

with α_s in GF(q^r) is a linear operator on GF(q^r) over GF(q) and it permutes GF(q^r) if and only if

{\rm {{det}\left(\alpha _{{i-j}}^{{q^{j}}}\right)\neq 0\quad (i,j=0,1,\ldots ,r-1).}}

If r > 1 is relatively prime to q - 1, s divides q - 1 and g(x^s) has no nonzero root in GF(q) where g(x) is in the polynomial ring GF(q)[x], then x^r(g(x^s))^{(q - 1)/s} permutes GF(q).
Only a few other specific classes of permutation polynomials over GF(q) have been characterized. Two of these, for example, are:

x^{{(q+m-1)/m}}+ax

where m divides q - 1, and

x^{r}(x^{d}-a)^{{(p^{n}-1)/d}}

where d divides pⁿ - 1.

Geometric examples

Main article: Oval (projective plane)

In finite geometry coordinate descriptions of certain point sets can provide examples of permutation polynomials of higher degree. In particular, the points forming an oval in a finite projective plane, PG(2,q) with q a power of 2, can be coordinatized in such a way that the relationship between the coordinates is given by an o-polynomial, which is a special type of permutation polynomial over the finite field GF(q).

Schur's conjecture

Let K be an algebraic number field with R the ring of integers. The term "Schur's conjecture" refers to the assertion that, if a polynomial f defined over K is a permutation polynomial on R/P for infinitely many prime ideals P, then f is the composition of Dickson polynomials, degree-one polynomials, and polynomials of the form x^k. In fact, Schur did not make any conjecture in this direction. The notion that he did is due to Fried,^[6] who gave a flawed proof of a false version of the result. Correct proofs have been given by Turnwald ^[7] and Müller.^[8]

Computational complexity

The problem of testing whether a given polynomial over a finite field is a permutation polynomial can be solved in polynomial time.^[9]

Notes

↑ Takeshita, Oscar (2006). "Permutation Polynomial Interleavers: An Algebraic-Geometric Perspective". arXiv:cs/0601048.
↑ Takeshita, Oscar (2005). "A New Construction for LDPC Codes using Permutation Polynomials over Integer Rings". arXiv:cs/0506091.
↑ 3GPP TS 36.212
↑ Sun, Jing; Takeshita, Oscar (2005). "Interleaver for Turbo Codes Using Permutation Polynomials Over Integer Rings". IEEE transactions on information theory 51 (1): 102
↑ Lidl & Mullen 1988, pg. 244
↑ Fried, M. (1970). "On a conjecture of Schur". Michigan Math. J.: 41–55.
↑ Turnwald, G. (1995). "On Schur's conjecture". J. Austral. Math. Soc.: 312–357.
↑ Müller, P. (1997). "A Weil-bound free proof of Schur's conjecture". Finite Fields and Their Applications: 25–32.
↑ Kayal, Neeraj (2005). "Recognizing permutation functions in polynomial time". ECCC TR05-008. Missing or empty |url= (help) For earlier research on this problem, see: Ma, Keju; von zur Gathen, Joachim (1995). "The computational complexity of recognizing permutation functions". Computational Complexity. 5 (1): 76–97. doi:10.1007/BF01277957. MR 1319494. Shparlinski, I. E. (1992). "A deterministic test for permutation polynomials". Computational Complexity. 2 (2): 129–132. doi:10.1007/BF01202000. MR 1190826. .

References

Dickson, L. E. (1958) [1901]. Linear Groups with an Exposition of the Galois Field Theory. New York: Dover.
Lidl, Rudolf; Mullen, Gary L. (March 1988). "When Does a Polynomial over a Finite Field Permute the Elements of the Field?". The American Mathematical Monthly. 95 (3): 243–246. doi:10.2307/2323626.
Lidl, Rudolf; Mullen, Gary L. (January 1993). "When Does a Polynomial over a Finite Field Permute the Elements of the Field?, II". The American Mathematical Monthly. 100 (1): 71–74. doi:10.2307/2324822.