ただし、formula_88は零行列、formula_16はユニタリ行列。