離散フーリエ変換 (一般)

数学において、上の離散フーリエ変換は、複素数上の離散フーリエ変換を一般化したものである。

定義編集

  を任意の  を自然数とする。  を、  の単位元の主   乗根(principal root)であり次式を満たす要素とする[1]

 

離散フーリエ変換は、  の要素のn個組   を、次の計算式により   の要素のn個組   へ写像する。

 

慣例により、 時間領域にあると言い、添え字  時刻と呼ぶ。また、 周波数領域にあると言い、 周波数と呼ぶ。また、  周波数スペクトルとも呼ばれる。この用語は、フーリエ変換の信号処理への応用からきている。

もし環  整域の場合を含む)であるとき、 は単位元の原始n乗根であれば十分であり、条件式(1)は、以下で置き換えることができる。[1]

  for  

証明: に対して、  と置く。  であるから、  であり、

 

が成り立つ。  は原始n乗根であるから、  が成り立つ。   が整域であれば、零因子を持たないため、和   は零である。∎

もう一つのシンプルな条件は、nが2のべき乗のときである。この場合、条件式(1)は   でおきかえることができる。[1]

逆変換編集

逆離散フーリエ変換は、以下の式で与えられる:

 

ここで、   における   の乗法逆元である。(もしこれが存在しないならば、DFTは逆変換できない。)

証明:式(2)を式(3)の右辺に代入すると

 

が得られる。  ならば   であり(式(1)で   と置けばよい)、   ならば   が成り立つので、上の式は   とちょうど一致する。∎

行列表現編集

離散フーリエ変換は線形写像であるから、行列積で表現できる。行列表現では、離散フーリエ変換は以下のように書ける。

 

この行列は、DFT行列と呼ばれる。

同様に、逆離散フーリエ変換は

 

と表せる。

多項式表現[2]編集

n個組    次の多項式

 

と見做すと便利なことがある。離散フーリエ変換の定義式(2)の和を書き下すと、

 

となる。つまり、  は多項式    における値であり、

 

と書ける。したがって、離散フーリエ変換は、多項式の係数に変換するもの考えることができる。係数は時間領域で、値は周波数領域にある。もちろん、多項式の値は、単位元の  乗根(  とその2乗、3乗、4乗、...)において評価することが重要である。

同様に、逆離散フーリエ変換の式(3)を書き下すと

 

である。多項式を

 

とすれば、

 

が成り立つ。

以上をまとめると、以下のようになる。 もし、多項式   の値が多項式   の係数であるならば、(定数倍と順番の入れ替えを除けば)  の値は   の係数と等しい。

特殊な場合編集

複素数編集

環として複素数体   を考えると、1の 乗根は複素平面上の単位円上にある。

 

と定義すれば、通常の離散フーリエ変換の式

 

が得られる。

正規化のため、逆方向の変換IDFT(式(3))では係数   がかかるが、複素数の離散フーリエ変換においては、係数   を順方向の変換DFTと逆方向の変換IDFTの両方にかけることもある。この正規化方法だと、DFT行列はユニタリ行列となる。 (  は、任意の体においては意味を持たないことに注意。)

有限体編集

環として有限体    は素数のべき乗)を考えた場合には、 単位元の原始n乗根の存在は自動的に    を割り切ることを意味する。 これは、各元の位数は体  乗法群のサイズを必ず割り切り、乗法群のサイズは   であることから言える。 これは、特に   が乗法逆元を持つことを保証し、式(3)における   はその逆元である。  上での離散フーリエ変換の応用として、符号理論におけるリード・ソロモン符号BCH符号の復号がある。これは、円分高速フーリエ変換といった効率の良いアルゴリズムによって実行可能である。

数論変換編集

数論変換(number-theoretic transform, NTT、あるいは数論的変換)は、環を   に限定した場合の離散フーリエ変換である。pが素数ならば   は有限体であり、単位元の原始n乗根は n  を割り切るとき、つまり、ある正の整数 ξ を用いて   と書けるときには、必ず存在する。特に、単位元の原始(p-1)乗根が   であれば、原始n乗根は   で得られる.

具体例)    の場合、

 
 

数論変換は、法mが素数でない場合の   においても、位数がnである主要根が存在するならば、意味がある。ショーンハーゲ・ストラッセン法で用いられるフェルマー数変換(m = 2k+1)や、メルセンヌ数変換(m = 2k − 1)のような特殊な数論変換は、法として合成数を用いている。

性質編集

複素数上のDFTが持つ重要な特徴、例えば逆変換、畳み込み定理、多くの高速フーリエ変換(FFT) アルゴリズムなどは、変換の核が単位元の主要根であるという性質のみに依存している。したがって、一般化した離散フーリエ変換も同じ特徴を持つ(任意の環において、同様に証明できる)。特に、計算量が  高速フーリエ変換アルゴリズムをNTTに適用できることと、畳み込み定理が成り立つことから、数論変換を利用することで、整数列の畳み込みを効率よく正確に計算できる。複素数上のDFTでも畳み込みを効率よく計算できるが、有限精度の浮動小数演算において丸め誤差が生じる恐れがある。一方NTTでは、固定サイズの整数しか扱わず、厳密に値を表現できるため、丸めの誤差は生じない。

高速なアルゴリズム編集

高速なアルゴリズム実装のためには、(複素数上の離散フーリエ変換を計算する高速フーリエ変換アルゴリズムの場合と同様に)変換したい入力の長さnは小さな素数から成る合成数(典型的なのは2の冪)が望ましいことが良くある。しかし、WangとZhuのアルゴリズム[3]のように、有限体の場合に特化したフーリエ変換アルゴリズムも存在しており、それらはnの因数分解に寄らず効率が良い。

関連項目編集

参考文献編集

  1. ^ a b c Martin Fürer, "Faster Integer Multiplication", STOC 2007 Proceedings, pp. 57–66. Section 2: The Discrete Fourier Transform.
  2. ^ R. Lidl and G. Pilz. Applied Abstract Algebra, 2nd edition. Wiley, 1999, pp. 217–219.
  3. ^ Yao Wang and Xuelong Zhu, "A fast algorithm for the Fourier transform over finite fields and its VLSI implementation", IEEE Journal on Selected Areas in Communications 6(3)572–577, 1988

外部リンク編集