iBFT 逆 符号ビットフーリエ変換

では、上記のBから逆に信号を復元してみよう

B= -4*Cos[1θ] + 4*Sin[1θ] +0*Cos[2 θ] +0*Sin[1θ]
= -4* ( 1100 0011 ) + 4*(1111 0000) +0*(1001 1001) +0*(1100 1100)

  -4 -4  4  4    4  4 -4 -4

   4  4  4  4   -4 -4 -4 -4

   0  0  0  0    0  0  0  0

   0  0  0  0    0  0  0  0
   0  0  8  8    0  0 -8 -8

各項ごとに計算すると、{0 0 8 8 0 0 -8 -8}となる
これを符号のみ考える（ここでは便宜上 0は負とする）と

0011 0000

となり、入力信号Xが復元された

さまざまな入力について同様になりたつかは、まだテストしていない

というか、数学的な証明のしかたがよくわからず。

入力のときには０を正と扱い、出力のときには負として扱っておりちょっとかなりウサンクサイ

のですが、