アダマール変換

アダマール変換（、ウォルシュ–アダマール変換やアダマール–ラーデマッヘル–ウォルシュ変換 、ウォルシュ変換、ウォルシュ–フーリエ変換としても知られている）は、フーリエ変換の一般化の1つである。この変換は直交かつ対称かつ対合かつ線形な写像であり、2n個の実数（もしくは複素数もしくは多元数）に作用する（しかし，アダマール行列自体は、純粋な実数行列である）。

アダマール変換はサイズ2の離散フーリエ変換 (DFT) から構築されているとみなすことができ、実際、サイズがの多次元離散フーリエ変換と等価である。これは任意の入力ベクトルをの重ね合わせに分解する。

この変換はフランスの数学者ジャック・アダマール、ドイツの数学者ハンス・ラーデマッヘル、アメリカ合衆国の数学者にちなんで命名されている。

定義 
アダマール変換 Hn は 2n × 2n の行列である（規格化された）アダマール行列であり、2n 個の実数 xj を 2n 個の実数Xkに変換する。アダマール変換は、再帰的に、もしくは添え字 j 及び k の二進表現を用いることによって定義される。

再帰的な定義は以下の通りである。まずアダマール変換 H0 は 1 × 1 の単位行列 1である。そして n > 0 について Hn を

で定義する。規格化係数 1/√2 は省略されることがある。n > 1 のとき、クロネッカー積⊗を用いると

と表すことができる。
従って、この規格化係数以外のアダマール行列は全て 1 と −1 で構成される。

あるいは別の表現として、アダマール行列の (j, k) 成分を

と定義することもできる。ただしは数 j と k の二進表現のビットごとの内積（すなわちビット単位AND演算のハミング重み）である。j を二進数の桁 ji（0 もしくは 1）で

と表記すると

である。入力と出力を ji と ki で添字付けられた多次元配列とみなした際、これはユニタリ作用素となるように規格化された  次元DFTとなる。

アダマール行列のいくつかの例を以下に示す。

（H1はサイズ2のDFTである。またZ/(2)の2要素の加法群上のフーリエ変換とみなすことが出来る）

アダマール行列の行はウォルシュ関数である。

量子計算への応用 
量子情報科学では、アダマール変換はアダマールゲート（を参照のこと）とも呼ばれる。これは1つの量子ビットの回転であり、量子ビットの基底状態とから、との2つの重みが等しい重ね合わせへの写像である。普通その位相はディラックの記法で

となるように選ばれる。とを基底としたとき、これは変換行列

に対応する。

多くのはアダマール変換を初期化に利用している。m 個のの量子ビットを、とを基底とする n=2m個の直交状態をすべて同じ重みで重ね合わせた状態に初期化する。

量子アダマール変換の計算は、各量子ビットに対してそれぞれアダマールゲートを適用するだけである。アダマール変換がテンソル積の構造を持つからである。このシンプルな結果が示すことは、量子アダマール変換は m=log n 回の演算しか要求しないということである。これに対して、古典的な場合は n log n の演算が必要である。

アダマールゲートによる演算 

0または1のqubitにアダマールゲートを1回適用すると（上の最初の二つの式）、0と1が等しい確率で観測されるような量子ビットが生成される。これは、例えば表と裏が出る確率が同様に確からしいコインを投げるようなものである。しかし、もしアダマールゲートが2回続けて適用された場合（上の3番目と4番目の式）、最終的な状態は初期状態に等しくなる。

ケット
であり、ケットである。

計算複雑性 
アダマール変換は高速アダマール変換を用いると  である。

他分野への応用 
アダマール変換は暗号理論並びに多くの信号処理やJPEG XR、MPEG-4 AVCのようなデータ圧縮アルゴリズムで用いられる。ビデオ圧縮アプリケーションでは、普通は絶対変換差で使用される。また、量子アルゴリズムにおけるグローバーのアルゴリズムやでも重要である。アダマール変換はまた核磁気共鳴や質量分析法、結晶学といったような科学的方法にも適用される。

学習上の参考になる図書や文献 
 遠藤靖：「ウォルシュ解析」、東京電機大学出版局、ISBN 4-501-61340-8 (1993年11月10日)。
赤浦協一郎：「文書画像の属性識別に関する研究ーアダマール変換による画像特性抽出ー」、早稲田大学大学院理工学研究科修士論文(1985)。

関連項目

外部リンク 

 Pan, Jeng-shyang Data Encryption Method Using Discrete Fractional Hadamard Transformation|accessdate=2015-04-27 (May 28, 2009)

出典 

量子アルゴリズム
変換 (数学)
ジャック・アダマール
数学に関する記事
数学のエポニム