Lemma 1
838ZW_j(x) is an \mathbb{F}_2-linearlized polynomial for which
W_j(x)=\sum_{i=0}^{j}a_{j,i}x^{2^i},
where each a_{j,i}\in \mathbb{F}_{2^r} is a constant. Furthermore,
W_j(x+y)=W_j(x)+W_j(y), \forall x,y \in \mathbb{F}_{2^r}.
Novel Polynomial Basis and Its Application to Reed-Solomon Erasure Codes
- arXiv
- 1404.3458v2 · PDF · 24 July 2014
- Categories
- cs.IT, math.IT
- Licence
- CC BY 4.0 The site shows the text.
Abstract
In this paper, we present a new basis of polynomial over finite fields of characteristic two and then apply it to the encoding/decoding of Reed-Solomon erasure codes. The proposed polynomial basis allows that h-point polynomial evaluation can be computed in O(h\log_2(h)) finite field operations with small leading constant. As compared with the canonical polynomial basis, the proposed basis improves the arithmetic complexity of addition, multiplication, and the determination of polynomial degree from O(h\log_2(h)\log_2\log_2(h)) to O(h\log_2(h)). Based on this basis, we then develop the encoding and erasure decoding algorithms for the (n=2^r,k) Reed-Solomon codes. Thanks to the efficiency of transform based on the polynomial basis, the encoding can be completed in O(n\log_2(k)) finite field operations, and the erasure decoding in O(n\log_2(n)) finite field operations. To the best of our knowledge, this is the first approach supporting Reed-Solomon erasure codes over characteristic-2 finite fields while achieving a complexity of O(n\log_2(n)), in both additive and multiplicative complexities. As the complexity leading factor is small, the algorithms are advantageous in practical applications.
Items 6
Definition 1
PPIQA form of polynomial expression over \mathbb{F}_{2^r} is defined as
[D_h](x)=\sum_{i=0}^{h-1}d_iX_i(x),
where
D_h=(d_0, d_1,\dots , d_{h-1})
is an h-element vector denoting the polynomial coefficients and h\le 2^r. Consequently, deg([D_h](x))\leq h-1.
Lemma 2
CI7R\Delta_i^m(x+y)=\Delta_i^m(x),\forall y\in \{\omega_b\}_{b=0}^{2^i-1}.
Proof.
By Lemma 1, we have
W_i(x+y)=W_i(x)+ W_i(y)=W_i(x),\forall y\in \{\omega_b\}_{b=0}^{2^i-1}.
The proof follows mathematical induction on i. In the base case, we consider (?) at i=\lg(h)-1:
\begin{aligned}
&\Delta_{\lg(h)-1}^m(x)\\
=&\Delta_{\lg(h)}^m(x)+ \frac{W_{\lg(h)-1}(x)}{W_{\lg(h)-1}(\omega_{2^{\lg(h)-1}})}\Delta_{\lg(h)}^{m+2^{\lg(h)-1}}(x)\\
=&d_m+ \frac{W_{\lg(h)-1}(x)}{W_{\lg(h)-1}(\omega_{2^{\lg(h)-1}})}d_{m+2^{\lg(h)-1}}.
\end{aligned}
From (2), we have
\begin{aligned}
&\Delta_{\lg(h)-1}^m(x+y)\\
=&d_m+ \frac{W_{\lg(h)-1}(x+y)}{W_{\lg(h)-1}(\omega_{2^{\lg(h)-1}})}d_{m+2^{\lg(h)-1}}\\
=&d_m+ \frac{W_{\lg(h)-1}(x)}{W_{\lg(h)-1}(\omega_{2^{\lg(h)-1}})}d_{m+2^{\lg(h)-1}}\\
=&\Delta_{\lg(h)-1}^m(x),\forall y\in \{\omega_b\}_{b=0}^{h/2-1}.
\end{aligned}
Thus (?), (?) holds for i=\lg(h)-1.
Assume (?), (?) holds for i=c+1. When i=c, we have
\begin{aligned}
&\Delta_c^m(x+y)\\
=&\Delta_{c+1}^m(x+y)+ \frac{W_c(x+y)}{W_c(\omega_{2^c})}\Delta_{c+1}^{m+2^c}(x+y)\\
=&\Delta_{c+1}^m(x+y)+ \frac{W_c(x)}{W_c(\omega_{2^c})}\Delta_{c+1}^{m+2^c}(x+y)\\
=&\Delta_{c+1}^m(x)+ \frac{W_c(x)}{W_c(\omega_{2^c})}\Delta_{c+1}^{m+2^c}(x)\\
=&\Delta_c^m(x), \forall y\in \{\omega_b\}_{b=0}^{2^c-1}.&
\end{aligned}
This completes the proof.
Proof
0LM1By Lemma 1, we have
W_i(x+y)=W_i(x)+ W_i(y)=W_i(x),\forall y\in \{\omega_b\}_{b=0}^{2^i-1}.
The proof follows mathematical induction on i. In the base case, we consider (?) at i=\lg(h)-1:
\begin{aligned}
&\Delta_{\lg(h)-1}^m(x)\\
=&\Delta_{\lg(h)}^m(x)+ \frac{W_{\lg(h)-1}(x)}{W_{\lg(h)-1}(\omega_{2^{\lg(h)-1}})}\Delta_{\lg(h)}^{m+2^{\lg(h)-1}}(x)\\
=&d_m+ \frac{W_{\lg(h)-1}(x)}{W_{\lg(h)-1}(\omega_{2^{\lg(h)-1}})}d_{m+2^{\lg(h)-1}}.
\end{aligned}
From (2), we have
\begin{aligned}
&\Delta_{\lg(h)-1}^m(x+y)\\
=&d_m+ \frac{W_{\lg(h)-1}(x+y)}{W_{\lg(h)-1}(\omega_{2^{\lg(h)-1}})}d_{m+2^{\lg(h)-1}}\\
=&d_m+ \frac{W_{\lg(h)-1}(x)}{W_{\lg(h)-1}(\omega_{2^{\lg(h)-1}})}d_{m+2^{\lg(h)-1}}\\
=&\Delta_{\lg(h)-1}^m(x),\forall y\in \{\omega_b\}_{b=0}^{h/2-1}.
\end{aligned}
Thus (?), (?) holds for i=\lg(h)-1.
Assume (?), (?) holds for i=c+1. When i=c, we have
\begin{aligned}
&\Delta_c^m(x+y)\\
=&\Delta_{c+1}^m(x+y)+ \frac{W_c(x+y)}{W_c(\omega_{2^c})}\Delta_{c+1}^{m+2^c}(x+y)\\
=&\Delta_{c+1}^m(x+y)+ \frac{W_c(x)}{W_c(\omega_{2^c})}\Delta_{c+1}^{m+2^c}(x+y)\\
=&\Delta_{c+1}^m(x)+ \frac{W_c(x)}{W_c(\omega_{2^c})}\Delta_{c+1}^{m+2^c}(x)\\
=&\Delta_c^m(x), \forall y\in \{\omega_b\}_{b=0}^{2^c-1}.&
\end{aligned}
This completes the proof.
Uses Lemma 1
Lemma 3
7KBGThe formal derivative of W_i(x) is a constant given by
W_i'(x)=\prod_{j=1}^{2^i-1}\omega_j.
Proof.
Let
C(x)=c\cdot x^j,
where c\in \mathbb{F}_{2^r}. Its formal derivative is defined as
C'(x)=\left\{\begin{matrix}
0 & \textrm{if $j$ is even;}\\
cx^{j-1} & \textrm{otherwise.}
\end{matrix}\right.
From Lemma 1, W_i(x) has terms in the degrees of 1,2,4,\dots ,2^i, so the formal derivative of W_i(x) is a constant that is the coefficient of W_i(x) at degree 1. The value is
\sum_{l=0}^{2^i-1}\prod_{j\neq l}\omega_j=\prod_{j=1}^{2^i-1}\omega_j.
This completes the proof.
Proof
KFI7Let
C(x)=c\cdot x^j,
where c\in \mathbb{F}_{2^r}. Its formal derivative is defined as
C'(x)=\left\{\begin{matrix}
0 & \textrm{if $j$ is even;}\\
cx^{j-1} & \textrm{otherwise.}
\end{matrix}\right.
From Lemma 1, W_i(x) has terms in the degrees of 1,2,4,\dots ,2^i, so the formal derivative of W_i(x) is a constant that is the coefficient of W_i(x) at degree 1. The value is
\sum_{l=0}^{2^i-1}\prod_{j\neq l}\omega_j=\prod_{j=1}^{2^i-1}\omega_j.
This completes the proof.
Uses Lemma 1
Source and licence
The text on this page is from arXiv:1404.3458v2 by Sian-Jheng Lin, Wei-Ho Chung and Yunghsiang S. Han, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/1404/1404.3458.jsonl.