アダマール変換, 高速 Walsh-Hadamard 変換, xor-畳み込み
2020-12-05 (Sat.)
アダマール変換
次で定められる 行列をアダマール行列という.
この行列が定める線形変換を アダマール変換 という.
すなわちアダマール変換は長さ の実ベクトル(整数または複素数の上のベクトルでもよい)について と写す.
逆変換
が成り立つので, 自身が逆行列になっている.
定数倍のテクニック
変換するベクトルが整数の場合であっても, 上の行列は のせいで実数に写してしまう. 計算機なんかで誤差のない計算をしたい場合にはせっかくなので整数の上で計算を閉じさせたい. そこで,
としておくことで整数の範囲で全て計算が出来る. またこれは単に定数倍をしているだけなので, これから言うようなアダマール変換に関する性質は尚保っている.
高速 Walsh-Hadamard 変換
愚直に行列演算としてアダマール変換を計算するとその計算時間は 掛かる. 一方でアダマール行列の再帰的な定義に沿って計算をすると に節約される. その方法は wikipedia/Fast_Walsh-Hadamard_transform の図が詳しい. また Python による実装例そのものもそこにある.
簡単に説明すれば, まず行列を 2x2 ブロックに区切って だと思って適用する. 次に 2x2 をひとかたまりだと思ってさらにその 2x2 ブロックを作って(全体としては 4x4)にやはり を適用する. ここまでで を適用したことになる. というのを最後まで繰り返していくだけ.
xor-畳み込み
2つの, 長さ のベクトル(または数列) があるとする. ここで は実数などの体. この二つのベクトルに関して次を定める:
或いは
としても同じである. ただしここで はベクトルの要素ごとの積のこととする
このとき, 次が成り立つ:
ここで は2進数の桁ごとの xor のこと. また添字の は から始まって 未満までの自然数.
の場合だけ例を見る.
について,
ここで なので確かにそうなっている.
, について,
帰納法によって示すことは出来るが書くのは大変にダルいので省く.
補足
how to calculate XOR (dyadic) convolution with time complexity O(n log n)
Karatsuba 法の を に置き換えたものだと思うことが出来る.
補足
と書くと, は畳み込みから積への準同型を与えるものだと思える.
補足
/kopricky.github.io/code/FFTs/fwht.html
によれば同じノリで or や and に関する畳み込みも可能らしい.