Transformada de Walsh

En matemàtiques, i més precisament en anàlisi harmònica la transformada de Walsh és l'equivalent de la Transformada discreta de Fourier quant es treballa sobre un cos finit de aritmètica modular en comptes de sobre nombres complexos. Es fa servir en teoria de la informació tant en codis lineals com en criptografia.

Definició

Sia G un grup abelià finit d'ordre g i d'exponent una potència n^èssima d'un nombre primer p, F_pⁿ el cos finit de cardinal p ⁿ, χ un caràcter amb valors en F_pⁿ i f una funció de G en F_pⁿ.

La transformada de Walsh és una funció, escrita sovint <math>\widehat f</math> del conjunt dels caràcters de G en el cos F_pⁿ definida per:

<math>\widehat f (\chi) \ = \frac 1g \sum_{s \in G} f(s)\chi^{-1}(s)</math>

Anàlisi harmònica sobre un grup abelià finit

El context és idèntic al de l'anàlisi harmònic clàssic d'un grup abelià finit. La forma bilineal associada a l'àlgebra del grup és la següent:

<math>\forall f,h \in \mathbb F_{p^n}^G <f|h>=\frac 1g \sum_{s \in G} f(s)^{-1}.\,h(s) \;</math>

Aquí s'aplica el conjunt dels resultats de la teoria de l'anàlisi harmònic, així es disposa de la igualtat de Parseval, del teorema de Plancherel, d'un producte de convolució, de la dualitat de Pontryagin o fins i tot de la fórmula de sumatori de Poisson.

Cas d'un espai vectorial finit

Hi ha un cas particular, aquell en què el grup G és el grup additiu d'un espai vectorial finit. En aquest cas particular G és un cos.

La transformada discreta de Fourier ve donada per

<math>f_j=\sum_{k=0}^{n-1}x_k\left(e^{-\frac{2\pi i}{n}}\right)^{jk}\quad\quad j=0,\dots,n-1</math>

La transformació teòrica de nombre opera sobre una successió de n nombres, mòdul un nombre primer p de la forma <math>p = \xi n + 1\,</math>, où <math>\xi\,</math> On <math>\xi\,</math> pot ser qualsevol nombre enter positiu.

El nombre <math>e^{-\frac{2\pi i}{n}}\,</math> se substitueix per un nombre <math>\omega^{\xi}\,</math> on <math>\omega\,</math> èr una « arrel primitiva » de p, un nombre tal que el nombre enter positiu més petit <math>\alpha\,</math> on <math>\omega^{\alpha} = 1\,</math> és <math>\alpha = p - 1\,</math>. Hi hauria d'haver una quantitat <math>\omega\,</math> que compleix aquesta condició. Els dos nombres <math>e^{-\frac{2\pi i}{n}}\,</math> i <math>\omega^{\xi}\,</math> elevat a la potència n són iguals a 1 (mòdul p), totes les potències potències inferiors diferents de 1.

La transformació teòrica de nombre ve donada per

<math>f(x)_j=\sum_{k=0}^{n-1}x_k(\omega^\xi)^{jk}\mod p\quad\quad j=0,\dots,n-1</math>

Context

La transformació teòrica inversa de nombre ve donada per

<math>f^{-1}(x)_h=n^{p-2}\sum_{j=0}^{n-1}x_j(\omega^{p-1-\xi})^{hj}\mod p\quad\quad h=0,\dots,n-1</math>

<math>\omega^{(p-1-\xi)} = \omega^{-\xi}\,</math>, l'inversa de <math>\omega^{\xi}\,</math>, et <math>n^{p-2} = n^{-1}\,</math>, l'inversa de n. (mòdul p)

El contrari és verdader, ja que <math>\sum_{k=0}^{n-1}z^k</math> és n per a z=1 i 0 per a tots els altres z on <math>z^n = 1\,</math>. Una demostracio és

<math>z\left(\sum_{k=0}^{n-1}z^k\right)+1=\sum_{k=0}^nz^k</math>

<math>z\sum_{k=0}^{n-1}z^k=\sum_{k=0}^{n-1}z^k</math> (restant <math>z^n = 1\,</math>)

<math>z=1\,</math> si <math>\sum_{k=0}^{n-1}z^k\ne 0</math> (dividint els dos costats)

Si z=1 llavors es veu de forma trivial que <math>\sum_{k=0}^{n-1}z^k=\sum_{k=0}^{n-1}1=n</math>. Si <math>z \ne 1\,</math> llavors el costat dret ha de ser fals per evitar una contradicció.

Per completar la demostració, es pren la transformada inversa de a transformació.

<math>f^{-1}(f(x))_h=n^{p-2}\sum_{j=0}^{n-1}\left(\sum_{k=0}^{n-1}x_k\left(\omega^\xi\right)^{jk}\right)(\omega^{p-1-\xi})^{hj}\mod p</math>

<math>f^{-1}(f(x))_h=n^{p-2}\sum_{j=0}^{n-1}\sum_{k=0}^{n-1}x_k(\omega^\xi)^{jk-hj}\mod p</math>

<math>f^{-1}(f(x))_h=n^{p-2}\sum_{k=0}^{n-1}x_k\sum_{j=0}^{n-1}(\omega^{\xi(k-h)})^j\mod p</math>

<math>f^{-1}(f(x))_h=n^{p-2}\sum_{k=0}^{n-1}x_k\left\{\begin{matrix}n,&k=h\\0,&k\ne h\end{matrix}\right\}\mod p</math> (puisque <math>\omega^{\xi} = 1\,</math>)

Vegeu també

Enllaços externs

S'explica el mateix que aquí) (anglès)