Hadamard matrix
実行列Mに関して、上記の不等式において等号が成り立つことと、Mがアダマール行列であることとは同値である。