Permutation polynomial explained

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\mapstog(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]

Single variable permutation polynomials over finite fields

Let be the finite field of characteristic, that is, the field having elements where for some prime . A polynomial with coefficients in (symbolically written as) is a permutation polynomial of if the function from to itself defined by

c\mapstof(c)

is a permutation of .

Due to the finiteness of, this definition can be expressed in several equivalent ways:

c\mapstof(c)

is onto (surjective);

c\mapstof(c)

is one-to-one (injective);

A characterization of which polynomials are permutation polynomials is given by

(Hermite's Criterion) is a permutation polynomial of if and only if the following two conditions hold:

  1. has exactly one root in ;
  2. for each integer with and

t\not\equiv0\pmodp

, the reduction of has degree .

If is a permutation polynomial defined over the finite field, then so is for all and in . The permutation polynomial is in normalized form if and are chosen so that is monic, and (provided the characteristic does not divide the degree of the polynomial) the coefficient of is 0.

There are many open questions concerning permutation polynomials defined over finite fields.

Small degree

Hermite's criterion is computationally intensive and can be difficult to use in making theoretical conclusions. However, Dickson was able to use it to find all permutation polynomials of degree at most five over all finite fields. These results are:

Normalized Permutation Polynomial of

x

any

q

x2

q\equiv0\pmod2

x3

q\not\equiv1\pmod3

x3-ax

(

a

not a square)

q\equiv0\pmod3

x4\pm3x

q=7

x4+a1x2+a2x

(if its only root in is 0)

q\equiv0\pmod2

x5

q\not\equiv1\pmod5

x5-ax

(

a

not a fourth power)

q\equiv0\pmod5

x5+ax(a2=2)

q=9

x5\pm2x2

q=7

x5+ax3\pmx2+3a2x

(

a

not a square)

q=7

x5+ax3+5-1a2x

(

a

arbitrary)

q\equiv\pm2\pmod5

x5+ax3+3a2x

(

a

not a square)

q=13

x5-2ax3+a2x

(

a

not a square)

q\equiv0\pmod5

A list of all monic permutation polynomials of degree six in normalized form can be found in .

Some classes of permutation polynomials

Beyond the above examples, the following list, while not exhaustive, contains almost all of the known major classes of permutation polynomials over finite fields.

These can also be obtained from the recursionD_n(x,a) = xD_(x,a)-a D_(x,a), with the initial conditions

D0(x,a)=2

and

D1(x,a)=x

.The first few Dickson polynomials are:

D2(x,a)=x2-2a

D3(x,a)=x3-3ax

D4(x,a)=x4-4ax2+2a2

D5(x,a)=x5-5ax3+5a2x.

If and then permutes GF(q) if and only if . If then and the previous result holds.

The linearized polynomials that are permutation polynomials over form a group under the operation of composition modulo

qr
x

-x

, which is known as the Betti-Mathieu group, isomorphic to the general linear group .

Exceptional polynomials

An exceptional polynomial over is a polynomial in which is a permutation polynomial on for infinitely many .

A permutation polynomial over of degree at most is exceptional over .

Every permutation of is induced by an exceptional polynomial.

If a polynomial with integer coefficients (i.e., in) is a permutation polynomial over for infinitely many primes, then it is the composition of linear and Dickson polynomials. (See Schur's conjecture below).

Geometric examples

See 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, with 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 .

Computational complexity

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

Permutation polynomials in several variables over finite fields

A polynomial

f\inFq[x1,\ldots,xn]

is a permutation polynomial in variables over

Fq

if the equation

f(x1,\ldots,xn)=\alpha

has exactly

qn-1

solutions in
n
F
q
for each

\alpha\inFq

.

Quadratic permutation polynomials (QPP) over finite rings

For the finite ring Z/nZ one can construct quadratic permutation polynomials. Actually it is possible if and only if n is divisible by p2 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 [4] e.g. page 14 in version 8.8.0).

Simple examples

Consider

g(x)=2x2+x

for the ring Z/4Z.One sees: so the polynomial defines the permutation\begin0 &1 & 2 & 3 \\0 &3 & 2 & 1\end .

Consider the same polynomial

g(x)=2x2+x

for the other ring Z/8Z.One sees: so the polynomial defines the permutation\begin0 &1 & 2 & 3 & 4 & 5 & 6 & 7 \\0 &3 & 2 & 5 & 4 & 7 & 6 & 1\end .

Rings Z/pkZ

Consider

g(x)=ax2+bx+c

for the ring Z/pkZ.

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/pkZ) such polynomial defines a permutation if and only if

a\equiv0\pmodp

and

b\not\equiv0\pmodp

.

Rings Z/nZ

Consider

k1
n=p
1
k2
p
2
kl
...p
l
, where pt are prime numbers.

Lemma: any polynomial g(x) = a_0+ \sum_ a_i x^i defines a permutation for the ring Z/nZ if and only if all the polynomials g_(x) = a_+ \sum_ a_ x^i defines the permutations for all rings

kt
Z/p
t

Z

, where
a
j,pt
are remainders of

aj

modulo
kt
p
t
.

As a corollary one can construct plenty quadratic permutation polynomials using the following simple construction. Consider

n=

k1
p
1
k2
p
2

...

kl
p
l
, assume that k1 >1.

Consider

ax2+bx

, such that

a=0\bmodp1

, but

a\ne0\bmod

k1
p
1
; assume that

a=0\bmod

ki
p
i
, i > 1. And assume that

b\ne0\bmodpi

for all .(For example, one can take

a=p1

k2
p
2
kl
...p
l

and

b=1

).Then such polynomial defines a permutation.

To see this we observe that for all primes pi, i > 1, the reduction of this quadratic polynomial modulo pi 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 and polynomial

6x2+x

.It defines a permutationfinite field Z/pZ and

g'(x)\ne0\bmodp

for all x in Z/pkZ, where g′(x) is the formal derivative of g(x).[5]

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 xk. 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]

References

Notes and References

  1. Permutation Polynomial Interleavers: An Algebraic-Geometric Perspective. 2006 . Oscar . Takeshita . cs/0601048 . 10.1109/TIT.2007.896870 . 53 . IEEE Transactions on Information Theory . 2116–2132.
  2. A New Construction for LDPC Codes using Permutation Polynomials over Integer Rings. 2005 . Oscar . Takeshita . cs/0506091 .
  3. 2005 . . Neeraj . Kayal . Recognizing permutation functions in polynomial time . Electronic Colloquium on Computational Complexity . For earlier research on this problem, see: Ma . Keju . von zur Gathen . Joachim . Joachim von zur Gathen . 10.1007/BF01277957 . 1 . Computational Complexity . 1319494 . 76–97 . The computational complexity of recognizing permutation functions . 5 . 1995. Shparlinski . I. E. . 10.1007/BF01202000 . 2 . Computational Complexity . 1190826 . 129–132 . A deterministic test for permutation polynomials . 2 . 1992.
  4. http://www.3gpp.org/ftp/Specs/html-info/36212.htm 3GPP TS 36.212
  5. Sun . Jing . Takeshita . Oscar . 2005 . Interleaver for Turbo Codes Using Permutation Polynomials Over Integer Rings . IEEE Transactions on Information Theory . 51 . 1. 102 .
  6. Fried . M. . On a conjecture of Schur . Michigan Math. J. . 1970 . 41–55 .
  7. Turnwald . G. . On Schur's conjecture . J. Austral. Math. Soc. . 1995 . 312–357 .
  8. Müller . P. . A Weil-bound free proof of Schur's conjecture . Finite Fields and Their Applications . 1997 . 25–32 .