I would like to prove the following:
Suppose we have the diagonal matrix ##P = diag(1,\ldots,1, -1,\ldots, 1)##, with ##N_+## elements of ##1## and ##N_-## elements of ##-1## such as ##N_+ + N_- = N## and ##N_+, N_- \geq 1##.
This matrix is a non trivial parity matrix since it is not...