■量子コンピューティングとアダマール行列(その18)

対角要素が0、非対角要素が±1

CC^t=(n-1)I

を満たすとき、カンファレンス行列と呼ばれる。

===================================

n=2(mod4)のとき、Cは対称行列に

n=0(mod4)のとき、Cは交代行列に変形できる。

 

Cが交代行列のとき、I+Cはアダマール行列になる

Cが対称行列のとき、[I+C,-I+C]、はアダマール行列になる

[-I+C,-I-C]、は2n次のアダマール行列になる

===================================