Since and are real symmetric matrices, . Expanding the unitarity condition givesEquality of the entrywise real and imaginary parts yieldsThese are the identities for the real and imaginary parts of a symmetric unitary matrix.
Articles by others on the same topic
There are currently no matching articles.