■量子コンピューティングとアダマール行列(その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次のアダマール行列になる
===================================