The period of $x^{h}+x+1$ over GF(2)

Gam D. Nguyen

Institute for Globally Distributed Open Research and Education

[email protected]

Abstract.  The periods of polynomials can be used to characterize discrete structures such as algebraic error control codes and feedback shift registers. We study trinomial $x^{h}+x+1$ over GF(2), which has the maximum number of consecutive zero coefficients and leads to efficient implementation. Existing results typically deal with finite values of $h$ and rely on computer computation methods for finding the periods. In contrast, here we derive closed-form expressions for the periods of this trinomial for infinite sets of $h$ values.

1   Introduction

Polynomials play important roles in many areas of mathematics and science, such as abstract algebra, number theory, error control coding, shift register sequences, cryptography, and random number generation [2, 3, 4, 5, 6, 7, 8, 9]. Here we consider binary polynomials that have coefficients 0 and 1. Thus, all polynomial operations are performed in the binary field GF(2), by using polynomial arithmetic modulo 2.

An important property of a polynomial is its period [2, 6, 7, 9], which can be used to characterize discrete structures such as cyclic groups and error control codes. Let $M(x)$ be a polynomial that has positive degree and $M(0)\not=0$. The period of $M(x)$ is the smallest positive integer $e$ for which $M(x)$ divides $x^{e}+1$. The period of a polynomial is also called its order or its exponent [6].

As an application, a binary cyclic code generated by a polynomial $M(x)$ can correct all single errors if its length is bounded above by the period of $M(x)$ [2, 7, 8, 9]. The periods of polynomials for extreme cases can be easily determined. In particular, the period of binomial polynomial $x^{h}+1$ is $e=h$, and the period of all-one polynomial $x^{h}+x^{h-1}+\cdots+x+1$ is $e=h+1$. It can be shown that the period $e$ of a general polynomial of degree $h$ is bounded by $h\leq e\leq 2^{h}-1$. A polynomial of degree $h$ is called primitive if it has the maximum period of $2^{h}-1$ [2, 4, 6].

Computer computation of the period of a general polynomial involves factorization of the polynomial into irreducible polynomials, and factorization of some related integers into primes, as well as other relevant operations such as testing and checking [2, 3, 6].

Trinomial $x^{h}+x^{g}+1$, where $0<g<h$, and its applications form a popular topic of study [2, 3, 6]. In this paper, we focus on the case of $g=1$. That is, we study trinomial $x^{h}+x+1$, which is specially interesting, because it has the maximum number of consecutive zero coefficients and leads to efficient implementation [9, 10]. The period of $x^{h}+x+1$ for some $h\leq 1000$ is given in [10]. Furthermore, $x^{h}+x+1$ can be primitive, e.g., when $h=2,3,4,6,7,15,22,60,63,127,153,471,532,865,900$ (see [10]).

Existing results typically deal with finite values of $h$ and rely on computer computation methods for finding the periods. In contrast, here we allow an infinite number of $h$ values and provide explicit formulas for the resulting period $e$ of $x^{h}+x+1$. In particular, we show that $e=h^{2}-h+1$ iff $h\in\{2^{m}+1:m\geq 1\}$, and $e=h^{2}-1$ iff $h\in\{2^{m}:m\geq 1\}$. Furthermore, $e\geq h^{2}-h+1$ if $h$ is odd, and $e\geq h^{2}-1$ if $h$ is even.

Remark 1 (Notation).  If $A(x)$ and $M(x)$ are polynomials, then ${\rm R}_{M(x)}\left[A(x)\right]$ denotes the remainder polynomial that is obtained when $A(x)$ is divided by $M(x)$. We have ${\rm degree}({\rm R}_{M(x)}\left[A(x)\right])<{\rm degree}(M(x))$. Thus, the period of $M(x)$ is the smallest positive integer $e$ for which ${\rm R}_{M(x)}\left[x^{e}\right]=1$.

Remark 2.  For any polynomials $C(x)$, $D(x)$, $K(x)$, and $M(x)$, the following 2 equalities can be verified

$${\rm R}_{M(x)}\left[C(x)D(x)\right]={\rm R}_{M(x)}\left[{\rm R}_{M(x)}\left[C(x)\right]{\rm R}_{M(x)}\left[D(x)\right]\right]$$

$${\rm R}_{M(x)}\left[C(x)\right]={\rm R}_{M(x)}\left[C(x)+K(x)M(x)\right]$$

Using the above equalities, for any $i,j\geq 0$, it can be shown that

$$\eqalignno{{\rm R}_{M(x)}\left[C(x)^{ij}\right]&={\rm R}_{M(x)}\left[({\rm R}_{M(x)}\left[C(x)^{i}\right])^{j}\right]\cr&={\rm R}_{M(x)}\left[({\rm R}_{M(x)}\left[C(x)^{i}+K(x)M(x)\right])^{j}\right]\cr&={\rm R}_{M(x)}\left[(C(x)^{i}+K(x)M(x))^{j}\right]\cr}$$

2   Main results

Let $e$ be the period of $T(x)=x^{h}+x+1$. The following theorems (proved later in this paper) give bounds on $e$ and the exact formulas for $e$ for any $h$ that lies in the 2 infinite sets: $\{2^{m}+1:m\geq 0\}$ and $\{2^{m}:m\geq 1\}$.

Theorem 1.  $e\geq h^{2}-h+1$ for all $h\geq 2$.

Theorem 2.  $e=h^{2}-h+1$ iff $h\in\{2^{m}+1:m\geq 0\}$.

Theorem 3.  $e\geq h^{2}-1$ for all even $h\geq 2$.

Theorem 4.  $e=h^{2}-1$ iff $h\in\{2^{m}:m\geq 1\}$.

Theorems 1 and 2 show that the period $e$ of $x^{h}+x+1$ is bounded below by $h^{2}-h+1$, which is achieved iff $h=2^{m}+1$ for some $m\geq 0$. Note that $h=2^{m}+1$ is odd when $m\geq 1$. Theorems 3 and 4 show that the lower bound for the period $e$ increases from $h^{2}-h+1$ to $h^{2}-1$ when $h$ is constrained to be even. By combining the above 4 theorems, we obtain the following theorem.

Theorem 5.  If $h$ is odd, then $e\geq h^{2}-h+1$ and $e=h^{2}-h+1$ iff $h\in\{2^{m}+1:m\geq 1\}$. If $h$ is even, then $e\geq h^{2}-1$ and $e=h^{2}-1$ iff $h\in\{2^{m}:m\geq 1\}$.

Remark 3.  Let $e$ be the period of $x^{h}+x+1$. The upper bound on period is $2^{h}-1$ (when this trinomial is primitive). For the lower bounds in Theorems 1 and 3, we have $h^{2}-1>h^{2}-h+1$ iff $h>2$, and $h^{2}-1=h^{2}-h+1$ iff $h=2$. We have the following special cases. When $h=2$, we have $e=2^{h}-1=h^{2}-1=h^{2}-h+1=3$. When $h=3$, we have $h^{2}-1=8>e=2^{h}-1=h^{2}-h+1=7$. When $h=4$, we have $e=2^{h}-1=h^{2}-1=15>h^{2}-h+1=13$. Thus, the upper and lower bounds for the period coincide for small values of $h$. For larger $h$, we have $2^{h}-1\geq e\geq h^{2}-h+1$ for odd $h\geq 5$, and $2^{h}-1\geq e\geq h^{2}-1$ for even $h\geq 6$.

Remark 4.  The reciprocal polynomial of polynomial $M(x)$ of degree $h$ is the polynomial $M^{*}(x)=x^{h}M(x^{-1})$, which has the same period as that of $M(x)$ [6]. Thus, the theorems in this section also hold for $T^{*}(x)=x^{h}+x^{h-1}+1$, which is the reciprocal polynomial of $T(x)=x^{h}+x+1$.

3   Proof of Theorem 1

Let $h\geq 2$, and let $e$ be the period of $T(x)=x^{h}+x+1$. Note that $h^{2}-h+1=h(h-1)+1$. Assume that $1\leq i\leq h(h-1)$. Below we show that ${\rm R}_{T(x)}\left[x^{i}\right]\not=1$, which implies that $e\geq h(h-1)+1$.

We can write $i=qh+r$, where $q\geq 0$ and $0\leq r<h$. We then have

$$\eqalign{{\rm R}_{T(x)}\left[x^{i}\right]&={\rm R}_{T(x)}\left[x^{qh}x^{r}\right]\cr&={\rm R}_{T(x)}\left[(x^{h}+T(x))^{q}x^{r}\right]\cr}$$

by using Remark 2. Thus,

$${\rm R}_{T(x)}\left[x^{i}\right]={\rm R}_{T(x)}\left[(x+1)^{q}x^{r}\right]={\rm R}_{T(x)}\left[\sum_{j=0}^{q}{q\choose j}x^{j+r}\right]$$

where $1\leq i=qh+r\leq h(h-1)$.

From the assumption $1\leq i\leq h(h-1)$, we have $q\leq h-1$. Both $0\leq r\leq h-1$ and $q\leq h-1$ imply that $q+r\leq 2h-2$. There are 3 cases to consider: (1) $q=0$, (2) $r=0$, and (3) both $q,r>0$.

(1) Case: $q=0$.

We then have $r=i\geq 1$. Because $1\leq r\leq h-1$, we have ${\rm R}_{T(x)}\left[x^{i}\right]={\rm R}_{T(x)}\left[x^{r}\right]=x^{r}\not=1$.

(2) Case: $r=0$.

Because $1\leq q\leq h-1$, it follows from (1) that

${\rm R}_{T(x)}\left[x^{i}\right]={\rm R}_{T(x)}\left[(x+1)^{q}\right]=(x+1)^{q}\not=1$.

(3) Case: $q>0$ and $r>0$.

There are 3 further cases to consider: $q+r<h$, $q+r=h$, and $q+r>h$.

(3.1) Case: $q+r<h$.

It follows from (1) that ${\rm R}_{T(x)}\left[x^{i}\right]=(x+1)^{q}x^{r}\not=1$ (because $q\geq 1$ and $r\geq 1$).

(3.2) Case: $q+r=h$.

We have

$$\eqalign{(x+1)^{q}x^{r}&=\sum_{j=0}^{q}{q\choose j}x^{j+r}\cr&=x^{r}+\sum_{j=1}^{q-1}{q\choose j}x^{j+r}+x^{q+r}\cr}$$

Because ${\rm R}_{T(x)}\left[x^{q+r}\right]={\rm R}_{T(x)}\left[x^{h}\right]=x+1$, we have

$${\rm R}_{T(x)}\left[(x+1)^{q}x^{r}\right]=x^{r}+\sum_{j=1}^{q-1}{q\choose j}x^{j+r}+x+1$$

with $q+r=h$. There are 2 further cases to consider: $r=1$ and $r\geq 2$.

(3.2.1) Case: $r=1$.

Then $q=h-1$. Thus, $h(h-1)\geq i=qh+r=(h-1)h+1$, which is a contradiction. Thus, this case is impossible.

(3.2.2) Case: $r\geq 2$.

It follows from (2) that

$${\rm R}_{T(x)}\left[(x+1)^{q}x^{r}\right]=1+x+x^{r}+\sum_{j=1}^{q-1}{q\choose j}x^{j+r}\not=1$$

(3.3) Case: $q+r>h$.

From (1), we have

$$\eqalign{{\rm R}_{T(x)}\left[x^{i}\right]&={\rm R}_{T(x)}\left[\sum_{j=0}^{h-r-1}{q\choose j}x^{j+r}+\sum_{j=h-r}^{q}{q\choose j}x^{j+r}\right]\cr&=\sum_{j=0}^{h-r-1}{q\choose j}x^{j+r}+{\rm R}_{T(x)}\left[\sum_{j=h-r}^{q}{q\choose j}x^{h}x^{j+r-h}\right]\cr}$$

Using Remark 2, we have

$$\eqalign{{\rm R}_{T(x)}\left[\sum_{j=h-r}^{q}{q\choose j}x^{h}x^{j+r-h}\right]&={\rm R}_{T(x)}\left[\sum_{j=h-r}^{q}{q\choose j}(x^{h}+T(x))x^{j+r-h}\right]\cr&={\rm R}_{T(x)}\left[\sum_{j=h-r}^{q}{q\choose j}(x+1)x^{j+r-h}\right]\cr&=\sum_{j=h-r}^{q}{q\choose j}(x+1)x^{j+r-h}}$$

because $q+r-h+1\leq r<h$. We then have

$${\rm R}_{T(x)}\left[x^{i}\right]=\sum_{j=0}^{h-r-1}{q\choose j}x^{j+r}+\sum_{j=h-r}^{q}{q\choose j}(x+1)x^{j+r-h}$$

Because $q\leq h-1$ and $q+r>h$, we have $r\geq 2$. There are 2 further cases to consider: $q<h-1$ and $q=h-1$.

(3.3.1) Case: $q<h-1$.

Using (3), we have

$${\rm R}_{T(x)}\left[x^{i}\right]=x^{r}+\sum_{j=1}^{h-r-1}{q\choose j}x^{j+r}+\sum_{j=h-r}^{q}{q\choose j}(x+1)x^{j+r-h}$$

The degree of the second summation is at most $q+r-h+1$, which is less than $r$ (because $q<h-1$). Thus, ${\rm R}_{T(x)}\left[x^{i}\right]$ includes the term $x^{r}$. We then have ${\rm R}_{T(x)}\left[x^{i}\right]\not=1$, because $r\geq 2$.

(3.3.2) Case: $q=h-1$.

We then have $h(h-1)\geq i=qh+r=(h-1)h+r\geq(h-1)h+1$, which is a contradiction. Thus, this case is impossible.

In summary, when $h\geq 2$, we have ${\rm R}_{T(x)}\left[x^{i}\right]\not=1$ for $1\leq i\leq h(h-1)$. Thus, $e\geq h(h-1)+1=h^{2}-h+1$.  $\sqcup\kern-6.60004pt\sqcap$

4   Proof of Theorem 2

Assume that $h\geq 2$. Note that $h^{2}-h+1=h(h-1)+1$. In the following we show that the period of $T(x)=x^{h}+x+1$ is $h(h-1)+1$ iff $h=2^{m}+1$ for some integer $m\geq 0$. Note that Theorem 2 is valid for the case of $h=2$ (with $m=0$), because the period of $x^{2}+x+1$ is 3. Thus, below we only consider the case of $h\geq 3$ (with $m\geq 1$). Using Remark 2, we have

$$\eqalign{{\rm R}_{T(x)}\left[x^{h(h-1)+1}\right]&={\rm R}_{T(x)}\left[x^{h(h-1)}x\right]\cr&={\rm R}_{T(x)}\left[(x^{h}+T(x))^{h-1}x\right]\cr&={\rm R}_{T(x)}\left[(x+1)^{h-1}x\right]\cr&={\rm R}_{T(x)}\left[\sum_{j=0}^{h-1}{h-1\choose j}x^{j+1}\right]\cr}$$

Because $h\geq 3$, we can write

$$\eqalign{{\rm R}_{T(x)}\left[x^{h(h-1)+1}\right]&={\rm R}_{T(x)}\left[x+\sum_{j=1}^{h-2}{h-1\choose j}x^{j+1}+x^{h}\right]\cr&={\rm R}_{T(x)}\left[x+x^{h}\right]+{\rm R}_{T(x)}\left[\sum_{j=1}^{h-2}{h-1\choose j}x^{j+1}\right]\cr&={\rm R}_{T(x)}\left[x+x^{h}\right]+\sum_{j=1}^{h-2}{h-1\choose j}x^{j+1}\cr}$$

Because ${\rm R}_{T(x)}\left[x+x^{h}\right]=1$, we have

$${\rm R}_{T(x)}\left[x^{h(h-1)+1}\right]=1+\sum_{j=1}^{h-2}{h-1\choose j}x^{j+1}$$

From Theorem A1, $h-1\choose j$ is even for all $1\leq j\leq h-2$ iff $h-1\in\{2^{m}:m\geq 1\}$ iff $h\in\{2^{m}+1:m\geq 1\}$. Thus, $h\in\{2^{m}+1:m\geq 1\}$ iff $\sum_{j=1}^{h-2}{h-1\choose j}x^{j+1}=0$. Using (4), we have $\sum_{j=1}^{h-2}{h-1\choose j}x^{j+1}=0$ iff ${\rm R}_{T(x)}\left[x^{h(h-1)+1}\right]=1$. Thus,

$$h\in\{2^{m}+1:m\geq 1\}~{}~{}{\rm iff}~{}~{}{\rm R}_{T(x)}\left[x^{h(h-1)+1}\right]=1$$

Recall that $e$ is the period of $T(x)$. If $e=h(h-1)+1$, then ${\rm R}_{T(x)}\left[x^{h(h-1)+1}\right]=1$. Using (5), we then have $h\in\{2^{m}+1:m\geq 1\}$. Conversely, if $h\in\{2^{m}+1:m\geq 1\}$, then it follows from (5) that ${\rm R}_{T(x)}\left[x^{h(h-1)+1}\right]=1$. Thus, $e\leq h(h-1)+1$. We also have $e\geq h(h-1)+1$ by Theorem 1. Thus, $e=h(h-1)+1$.

In summary, $e=h(h-1)+1$ iff $h\in\{2^{m}+1:m\geq 1\}$. The proof is complete by noting that $h(h-1)+1=h^{2}-h+1$.  $\sqcup\kern-6.60004pt\sqcap$

5   Proof of Theorem 3

Assume that $h$ is even and $h\geq 2$. Let $e$ be the period of $T(x)=x^{h}+x+1$. Let $1\leq i\leq h^{2}-2$. Below we show that ${\rm R}_{T(x)}\left[x^{i}\right]\not=1$, which implies that $e\geq h^{2}-1$. Note that Theorem 3 is valid for the case of $h=2$, because the period of $x^{2}+x+1$ is 3. Thus, below we only consider the case of $h\geq 4$.

We can write $i=qh+r$, where $q\geq 0$ and $0\leq r<h$. Using Remark 2, we have ${\rm R}_{T(x)}\left[x^{i}\right]={\rm R}_{T(x)}\left[x^{qh}x^{r}\right]={\rm R}_{T(x)}\left[(x^{h}+T(x))^{q}x^{r}\right]$. Thus,

$${\rm R}_{T(x)}\left[x^{i}\right]={\rm R}_{T(x)}\left[(x+1)^{q}x^{r}\right]$$

From the assumption $1\leq i\leq h^{2}-2$, we have $q\leq h-1$. Both $0\leq r\leq h-1$ and $q\leq h-1$ imply that $q+r\leq 2h-2$. There are 3 cases to consider: $q=0$, $r=0$, and $q,r>0$.

(1) Case: $q=0$.

We then have $r=i\geq 1$. Because $1\leq r\leq h-1$, we have ${\rm R}_{T(x)}\left[x^{i}\right]={\rm R}_{T(x)}\left[x^{r}\right]=x^{r}\not=1$.

(2) Case: $r=0$.

Because $1\leq q\leq h-1$, it follows from (6) that

$$\eqalign{{\rm R}_{T(x)}\left[x^{i}\right]&={\rm R}_{T(x)}\left[(x+1)^{q}\right]\cr&=(x+1)^{q}\not=1\cr}$$

(3) Case: $q>0$ and $r>0$.

There are 3 further cases to consider: $q+r<h$, $q+r=h$, and $q+r>h$.

(3.1) Case: $q+r<h$.

It follows from (6) that ${\rm R}_{T(x)}\left[x^{i}\right]=(x+1)^{q}x^{r}\not=1$ (because $q\geq 1$ and $r\geq 1$).

(3.2) Case: $q+r=h$.

There are 2 further cases to consider: $q=1$ and $q\geq 2$.

(3.2.1) Case: $q=1$.

Then $r=h-1$ and $(x+1)^{q}x^{r}=(x+1)x^{h-1}=x^{h}+x^{h-1}$. From (6), we have

$$\eqalign{{\rm R}_{T(x)}\left[x^{i}\right]&={\rm R}_{T(x)}\left[(x+1)^{q}x^{r}\right]\cr&={\rm R}_{T(x)}\left[x^{h}+x^{h-1}\right]\cr&={\rm R}_{T(x)}\left[x^{h}\right]+x^{h-1}\cr&=1+x+x^{h-1}\not=1\cr}$$

because $h\geq 4$.

(3.2.2) Case: $q\geq 2$.

Because $q-1\geq 1$, we can write

$$(x+1)^{q}x^{r}=\sum_{j=0}^{q}{q\choose j}x^{j+r}=x^{r}+\sum_{j=1}^{q-1}{q\choose j}x^{j+r}+x^{q+r}$$

Because ${\rm R}_{T(x)}\left[x^{q+r}\right]={\rm R}_{T(x)}\left[x^{h}\right]=x+1$, it follows from (6) and (7) that

$${\rm R}_{T(x)}\left[x^{i}\right]={\rm R}_{T(x)}\left[(x+1)^{q}x^{r}\right]=x^{r}+\sum_{j=1}^{q-1}{q\choose j}x^{j+r}+x+1$$

where $q\geq 2$.

There are 2 further cases to consider: $r=1$ and $r\geq 2$.

(3.2.2.1) Case: $r=1$.

Recall that $h\geq 4$. Then $q=h-r=h-1\geq 3$. Using $r=1$ in (8), we have

$$\eqalign{{\rm R}_{T(x)}\left[(x+1)^{q}x^{r}\right]&=x^{r}+\sum_{j=1}^{q-1}{q\choose j}x^{j+r}+x+1\cr&=x+\sum_{j=1}^{q-1}{q\choose j}x^{j+1}+x+1\cr&=1+\sum_{j=1}^{q-1}{q\choose j}x^{j+1}\cr}$$

Recall that $h$ is even and $h\geq 4$. Then $q=h-1$ is odd and $q\geq 3$. Thus, $q\not=2^{m}$ for any integer $m\geq 1$.

Because $q\not=2^{m}$, Theorem A1 implies that there exists $1\leq i\leq q-1$ such that ${q\choose i}$ is odd. Thus,

$$\eqalign{{\rm R}_{T(x)}\left[x^{i}\right]&={\rm R}_{T(x)}\left[(x+1)^{q}x^{r}\right]\cr&=1+\sum_{j=1}^{q-1}{q\choose j}x^{j+1}\cr&=1+x^{i+1}+\sum_{j=1,j\not=i}^{q-1}{q\choose j}x^{j+1}\not=1\cr}$$

(3.2.2.2) Case: $r\geq 2$.

Recall that $q+r=h$ for this case. From (8), we have

$$\eqalign{{\rm R}_{T(x)}\left[(x+1)^{q}x^{r}\right]&=x^{r}+\sum_{j=1}^{q-1}{q\choose j}x^{j+r}+x+1\cr&=1+x+x^{r}+\sum_{j=1}^{q-1}{q\choose j}x^{j+r}\not=1\cr}$$

because $r\geq 2$.

(3.3) Case: $q+r>h$.

Then $q>h-r$. Recall that $h\geq r+1$, i.e., $h-r-1\geq 0$. From (6), we have

$$\eqalign{{\rm R}_{T(x)}\left[x^{i}\right]&={\rm R}_{T(x)}\left[(x+1)^{q}x^{r}\right]\cr&={\rm R}_{T(x)}\left[\sum_{j=0}^{q}{q\choose j}x^{j+r}\right]\cr&={\rm R}_{T(x)}\left[\sum_{j=0}^{h-r-1}{q\choose j}x^{j+r}+\sum_{j=h-r}^{q}{q\choose j}x^{j+r}\right]\cr&=\sum_{j=0}^{h-r-1}{q\choose j}x^{j+r}+{\rm R}_{T(x)}\left[\sum_{j=h-r}^{q}{q\choose j}x^{h}x^{j+r-h}\right]\cr}$$

Using Remark 2, we have

$$\eqalign{{\rm R}_{T(x)}\left[\sum_{j=h-r}^{q}{q\choose j}x^{h}x^{j+r-h}\right]&={\rm R}_{T(x)}\left[\sum_{j=h-r}^{q}{q\choose j}(x^{h}+T(x))x^{j+r-h}\right]\cr&={\rm R}_{T(x)}\left[\sum_{j=h-r}^{q}{q\choose j}(x+1)x^{j+r-h}\right]\cr}$$

Recall that $q+r\leq 2h-2$, which implies that $1+q+r-h<h$. We then have ${\rm R}_{T(x)}\left[\sum_{j=h-r}^{q}{q\choose j}(x+1)x^{j+r-h}\right]=\sum_{j=h-r}^{q}{q\choose j}(x+1)x^{j+r-h}$. Thus,

$${\rm R}_{T(x)}\left[x^{i}\right]=\sum_{j=0}^{h-r-1}{q\choose j}x^{j+r}+\sum_{j=h-r}^{q}{q\choose j}(x+1)x^{j+r-h}$$

Because $q\leq h-1$ and $q+r\geq h+1$, we have $r\geq 2$. There are 2 further cases to consider: $q<h-1$ and $q=h-1$.

(3.3.1) Case: $q<h-1$.

Recall that $r\leq h-1$.

If $r<h-1$, i.e., $h-r-1\geq 1$, then from (9) we have

$$\eqalign{{\rm R}_{T(x)}\left[x^{i}\right]&=\sum_{j=0}^{h-r-1}{q\choose j}x^{j+r}+\sum_{j=h-r}^{q}{q\choose j}(x+1)x^{j+r-h}\cr&=x^{r}+\sum_{j=1}^{h-r-1}{q\choose j}x^{j+r}+\sum_{j=h-r}^{q}{q\choose j}(x+1)x^{j+r-h}\cr}$$

If $r=h-1$, i.e., $h-r-1=0$, then from (9) we have

$$\eqalign{{\rm R}_{T(x)}\left[x^{i}\right]&=\sum_{j=0}^{h-r-1}{q\choose j}x^{j+r}+\sum_{j=h-r}^{q}{q\choose j}(x+1)x^{j+r-h}\cr&=x^{r}+\sum_{j=h-r}^{q}{q\choose j}(x+1)x^{j+r-h}\cr}$$

The degree of $\sum_{j=h-r}^{q}{q\choose j}(x+1)x^{j+r-h}$ is bounded above by $q+r-h+1<r$ (because $q<h-1$). Thus, ${\rm R}_{T(x)}\left[x^{i}\right]$ includes the term $x^{r}$. Then ${\rm R}_{T(x)}\left[x^{i}\right]\not=1$, because $r\geq 2$.

(3.3.2) Case: $q=h-1$.

Because $1\leq i=qh+r\leq h^{2}-2$, we have $r<h-1$. Thus, $h-r-1\geq 1$, for this case.

Recall that $h\geq 4$ and even. Then $q=h-1$ is odd and $q\geq 3$. Because ${q\choose 1}=q$ is odd, then from (9) we have

$${\rm R}_{T(x)}\left[x^{i}\right]=x^{r+1}+\sum_{j=0,j\not=1}^{h-r-1}{q\choose j}x^{j+r}+\sum_{j=h-r}^{q}{q\choose j}(x+1)x^{j+r-h}$$

The degree of $\sum_{j=h-r}^{q}{q\choose j}(x+1)x^{j+r-h}$ is bounded above by $q+r-h+1=r$ (because $q=h-1$). Thus, ${\rm R}_{T(x)}\left[x^{i}\right]$ includes the term $x^{r+1}$. Then ${\rm R}_{T(x)}\left[x^{i}\right]\not=1$, because $r\geq 2$.

In summary, if $h\geq 2$ is even, we have ${\rm R}_{T(x)}\left[x^{i}\right]\not=1$ for $1\leq i\leq h^{2}-2$, which implies that $e\geq h^{2}-1$.  $\sqcup\kern-6.60004pt\sqcap$

6   Proof of Theorem 4

Assume that $h$ is even and $h\geq 2$. Theorem 4 is valid for the case of $h=2$ (with $m=1$), because the period of $x^{2}+x+1$ is 3. Thus, below we only consider the case of $h\geq 4$. Let $T(x)=x^{h}+x+1$. Because $h^{2}-1=h(h-1)+(h-1)$, we have $x^{h^{2}-1}=x^{h(h-1)}x^{h-1}$. Using Remark 2, we then have

$$\eqalign{{\rm R}_{T(x)}\left[x^{h^{2}-1}\right]&={\rm R}_{T(x)}\left[x^{h(h-1)}x^{h-1}\right]\cr&={\rm R}_{T(x)}\left[(x^{h}+T(x))^{h-1}x^{h-1}\right]\cr&={\rm R}_{T(x)}\left[(x+1)^{h-1}x^{h-1}\right]\cr}$$

Thus,

$$\eqalign{{\rm R}_{T(x)}\left[x^{h^{2}-1}\right]&={\rm R}_{T(x)}\left[\sum_{j=0}^{h-1}{h-1\choose j}x^{j+h-1}\right]\cr&=x^{h-1}+{\rm R}_{T(x)}\left[\sum_{j=1}^{h-1}{h-1\choose j}x^{j+h-1}\right]\cr&=x^{h-1}+{\rm R}_{T(x)}\left[x^{h}\sum_{j=1}^{h-1}{h-1\choose j}x^{j-1}\right]\cr&=x^{h-1}+{\rm R}_{T(x)}\left[(x^{h}+T(x))\sum_{j=1}^{h-1}{h-1\choose j}x^{j-1}\right]\cr}$$

by using Remark 2. We then have

$$\eqalign{{\rm R}_{T(x)}\left[x^{h^{2}-1}\right]&=x^{h-1}+{\rm R}_{T(x)}\left[(x+1)\sum_{j=1}^{h-1}{h-1\choose j}x^{j-1}\right]\cr&=x^{h-1}+(x+1)\sum_{j=1}^{h-1}{h-1\choose j}x^{j-1}\cr&=x^{h-1}+\sum_{j=1}^{h-1}{h-1\choose j}(x^{j}+x^{j-1})\cr}$$

Because $h\geq 4$, we can write ${\rm R}_{T(x)}\left[x^{h^{2}-1}\right]=x^{h-1}+(x^{h-1}+x^{h-2})+\sum_{j=1}^{h-2}{h-1\choose j}(x^{j}+x^{j-1})$. Thus,

$${\rm R}_{T(x)}\left[x^{h^{2}-1}\right]=x^{h-2}+\sum_{j=1}^{h-2}{h-1\choose j}(x^{j}+x^{j-1})$$

From (10), we have ${\rm R}_{T(x)}\left[x^{h^{2}-1}\right]=x^{h-2}+\sum_{j=1}^{h-2}{h-1\choose j}x^{j}+\sum_{j=1}^{h-2}{h-1\choose j}x^{j-1}$. Because $h\geq 4$, we can write

$$\eqalign{{\rm R}_{T(x)}\left[x^{h^{2}-1}\right]&=x^{h-2}+\sum_{j=1}^{h-2}{h-1\choose j}x^{j}+{h-1\choose 1}x^{0}+\sum_{j=2}^{h-2}{h-1\choose j}x^{j-1}\cr&=x^{h-2}+\sum_{j=1}^{h-3}{h-1\choose j}x^{j}+{h-1\choose{h-2}}x^{h-2}+{h-1\choose 1}x^{0}+\sum_{j=1}^{h-3}{h-1\choose j+1}x^{j}\cr}$$

Thus,

$${\rm R}_{T(x)}\left[x^{h^{2}-1}\right]={h-1\choose 1}x^{0}+\sum_{j=1}^{h-3}\left[{h-1\choose j}+{h-1\choose j+1}\right]x^{j}+{h-1\choose{h-2}}x^{h-2}+x^{h-2}$$

From (11), we have ${\rm R}_{T(x)}\left[x^{h^{2}-1}\right]=1$ iff ${h-1\choose j}$ is odd for all $1\leq j\leq h-2$. Furthermore, Remark A2 states that ${h-1\choose j}$ is odd for all $1\leq j\leq h-2$ iff $h\in\{2^{m}:m\geq 1\}$. Thus,

$$h\in\{2^{m}:m\geq 1\}~{}~{}~{}{\rm iff}~{}~{}~{}{\rm R}_{T(x)}\left[x^{h^{2}-1}\right]=1$$

Recall that $e$ is the period of $T(x)=x^{h}+x+1$. If $h\in\{2^{m}:m\geq 1\}$, then (12) implies that ${\rm R}_{T(x)}\left[x^{h^{2}-1}\right]=1$. Thus, $e\leq h^{2}-1$. We also have $e\geq h^{2}-1$ by Theorem 3. Thus, $e=h^{2}-1$. Conversely, if $e=h^{2}-1$, then ${\rm R}_{T(x)}\left[x^{h^{2}-1}\right]=1$. Then (12) implies that $h\in\{2^{m}:m\geq 1\}$. In summary, $e=h^{2}-1$ iff $h\in\{2^{m}:m\geq 1\}$.  $\sqcup\kern-6.60004pt\sqcap$

7   Appendixes

The results presented below are useful for deriving the polynomial periods.

Remark A1.  Let $p$ be a prime and $h>0$ be an integer. Then there are integers $q>0$ and $j\geq 0$ such that $h=qp^{j}$ and $p$ does not divide $q$. This fact can be proved as follows. Using the prime-factorization theorem, we have $h=p^{j}\prod_{i=1}^{k}p^{n_{i}}_{i}$, for some integers $j\geq 0$, $k\geq 1$, $n_{i}\geq 0$, $1\leq i\leq k$, and distinct primes $p_{1}\not=p$, $p_{2}\not=p$, …, $p_{k}\not=p$. Let $q=\prod_{i=1}^{k}p^{n_{i}}_{i}$. Then $q>0$ and $h=qp^{j}$. Note that $p$ does not divide $q$, because $p_{i}$ is prime and $p_{i}\not=p$, $1\leq i\leq k$.

Theorem A1.  Let $p$ be a prime and let $h\geq 2$ be an integer. Then $p$ divides $h\choose i$ for all $1\leq i\leq h-1$ iff $h\in\{p^{m}:m\geq 1\}$. For the special case of $p=2$, we have $h\choose i$ is even for all $1\leq i\leq h-1$ iff $h\in\{2^{m}:m\geq 1\}$.

Proof.

(1) Only-if part: Assume that $p$ divides $h\choose i$ for all $1\leq i\leq h-1$. Suppose that $h\not=p^{m}$ for any integer $m\geq 1$. Using Remark A1, there are integers $q>0$ and $j\geq 0$ such that $h=qp^{j}$ and $p$ does not divide $q$. Because $h\not=p^{m}$ for any integer $m\geq 1$, we have $q>1$. Let $I=p^{j}$. Then $h/I=q$ and

$${h\choose I}=\prod^{I-1}_{k=0}{h-k\over I-k}={h\over I}\prod^{I-1}_{k=1}{h-k\over I-k}=q\prod^{I-1}_{k=1}{h-k\over I-k}$$

For each $k\in\{1,2,\dots,I-1\}$, by Remark A1, we have $k=p^{m(k)}s(k)$ for some integers $m(k)\geq 0$ and $s(k)>0$, such that $p$ does not divide $s(k)$. Because $k\leq I-1$, we have $p^{m(k)}s(k)\leq p^{j}-1$, which implies that $j>m(k)\geq 0$ for all $k\in\{1,2,\dots,I-1\}$. We then have

$${h-k\over I-k}={qp^{j}-p^{m(k)}s(k)\over p^{j}-p^{m(k)}s(k)}={qp^{j-m(k)}-s(k)\over p^{j-m(k)}-s(k)}$$

We have $1\leq I\leq h-1$, because $q>1$. From the assumption, $p$ divides ${h\choose I}=q\prod^{I-1}_{k=1}{h-k\over I-k}$. Because $p$ does not divide $q$ and $p$ is prime, $p$ divides

$$\prod^{I-1}_{k=1}{h-k\over I-k}=\prod^{I-1}_{k=1}{qp^{j-m(k)}-s(k)\over p^{j-m(k)}-s(k)}$$

which implies that $p$ divides

$$\prod^{I-1}_{k=1}\left[qp^{j-m(k)}-s(k)\right]$$

Thus, $p$ divides $qp^{j-m(K)}-s(K)$ for some $1\leq K\leq I-1$. Then $pr=qp^{j-m(K)}-s(K)$ for some integer $r>0$. Note that $s(K)>0$ and $j>m(K)$, i.e., $j-m(K)-1\geq 0$. We then have

$$s(K)=qp^{j-m(K)}-pr=p\left[qp^{j-m(K)-1}-r\right]$$

which implies that $p$ divides $s(K)$, which is a contradiction. Thus, $h=p^{m}$ for some integer $m\geq 1$.

(2) If part: Assume that $h=p^{m}$ for some integer $m\geq 1$. Let $1\leq i\leq h-1=p^{m}-1$. From Remark A1, there are integers $k\geq 0$ and $M>0$ such that $i=p^{k}M$ and $p$ does not divide $M$. We have $k<m$, because $i\leq p^{m}-1$ and $M>0$. Note that

$${p^{m}\choose i}={p^{m}\over i}{p^{m}-1\choose i-1}$$

By letting $N={p^{m}-1\choose i-1}$, we then have

$$\eqalign{{p^{m}\choose i}&={p^{m}\over p^{k}}{N\over M}\cr&=p^{m-k}{N\over M}\cr&=p^{j}{N\over M}\cr}$$

where $j=m-k>0$. Because $\gcd(M,p^{j})=1$, $M$ divides $N$, which implies that ${p^{m}\choose i}$ is a multiple of $p^{j}$. Thus, $p$ divides ${p^{m}\choose i}={h\choose i}$.  $\sqcup\kern-6.60004pt\sqcap$

Theorem A2.  Let $p$ be a prime, $m\geq 1$, and $h=p^{m}$. If $0\leq i\leq h-1$, then $p$ does not divide $h-1\choose i$.

Proof.  Let $i\in\{0,1,\dots,h-1\}$. From Exercise 1.1 of [1], we have ${{h-1}\choose i}=(-1)^{i}({\rm mod}\ p)$. Thus, ${{h-1}\choose i}-(-1)^{i}=kp$ for some integer $k$. Suppose that $p$ divides ${{h-1}\choose i}$. Then ${{h-1}\choose i}=np$ for some integer $n\geq 1$. Thus, $np-(-1)^{i}=kp$. We then have $(n-k)p=(-1)^{i}$, which is impossible. Thus, $p$ does not divide ${{h-1}\choose i}$.  $\sqcup\kern-6.60004pt\sqcap$

The converse of Theorem A2 does not hold for arbitrary prime $p$. That is, if $p$ does not divide $h-1\choose i$ for any $i\in\{0,1,\dots,h-1\}$, then it is not necessary that $h=p^{m}$ for some integer $m\geq 1$. For example, let $p=3$ and $h=6$. Then $p$ does not divide $h-1\choose i$ for any $i\in\{0,1,\dots,h-1\}$, but $h\not=p^{m}$ for any integer $m\geq 1$. Theorem A3 below shows that the converse of Theorem A2 also holds for the special case of $p=2$.

Theorem A3.  Let $h\geq 2$ be an integer. Then $h-1\choose i$ is odd for all $0\leq i\leq h-1$ iff $h\in\{2^{m}:m\geq 1\}$.

Proof.

(1) Assume that $h\in\{2^{m}:m\geq 1\}$. Using Theorem A2 with $p=2$, it follows that 2 does not divide $h-1\choose i$, i.e., $h-1\choose i$ is odd, for all $0\leq i\leq h-1$.

(2) Let $h\geq 2$ be an integer. Assume that $h-1\choose i$ is odd, for all $0\leq i\leq h-1$.

In general, for $1\leq i\leq h-1$, we have

$${h-1\choose i}={h-1\choose i-1}{h-i\over i}$$

From Remark A1, there are integers $q>0$ and $m\geq 0$ such that $h=q2^{m}$ and $2$ does not divide $q$, i.e., $q$ is odd.

Suppose that $q\not=1$. Thus, $q\geq 3$. Let $I=2^{m}$. We then have

$${h-I\over I}={q2^{m}-2^{m}\over 2^{m}}=q-1$$

which is even and positive (because $q$ is odd and $q\geq 3$). Note that $1\leq I\leq h-1$, because $m\geq 0$ and $q\geq 3$. Thus,

$${h-1\choose I}={h-1\choose I-1}{h-I\over I}={h-1\choose I-1}(q-1)$$

is even, which contradicts the assumption. Thus, $q=1$, and then $h=2^{m}$. We have $m\geq 1$, because $h\geq 2$. Thus, $h\in\{2^{m}:m\geq 1\}$.  $\sqcup\kern-6.60004pt\sqcap$

Remark A2.  Let $h\geq 3$ be an integer. We then have ${{h-1}\choose{0}}={{h-1}\choose{h-1}}=1$, which is odd. From Theorem A3, we can conclude that $h-1\choose i$ is odd for all $1\leq i\leq h-2$ iff $h\in\{2^{m}:m\geq 1\}$.

References

[1] M. Ayad, Galois Theory and Applications: Solved Exercises and Problems, World Scientific, 2018.

[2] E.R. Berlekamp, Algebraic Coding Theory, McGraw-Hill, 1968.

[3] R.P. Brent and P. Zimmermann, The Great Trinomial Hunt, Notices of the AMS, vol. 58, no. 2, pp. 233-239, Feb. 2011.

[4] S.W. Golomb, Shift Register Sequences, 2nd edition, Aegean Park Press, 1982.

[5] T. Klove and V. Korzhik, Error Detecting Codes: General Theory and their Application in Feedback Communication Systems, Kluwer Academic, 1995.

[6] R. Lidl and H. Niederreiter, Introduction to Finite Fields and Applications, Cambridge University Press, 1986.

[7] S. Lin and D.J. Costello, Jr., Error Control Coding: Fundamentals and Applications, Prentice Hall, 1983.

[8] F.J. MacWilliams and N.J.A. Sloan, The Theory of Error-Correcting Codes, North-Holland, 1977.

[9] G.D. Nguyen, “Fast CRCs,” IEEE Transactions on Computers, vol. 58, no. 10, pp. 1321-1331, Oct. 2009.

[10] N. Zierler, On $x^{n}+x+1$ over GF(2), Information and Control, vol. 16, no. 5, pp. 502-505, 1970.