We are able to check that H is unitary by checking that the conjugate transpose is equal to its inverse, or Put simply, that H multiplied by its conjugate transpose is equal on the Identification matrix: Because we will be going for walks from the fundamental math of quantum programming, https://buzze692uhu0.blogoscience.com/profile