For normalized linearly independent pure states, their Gram matrix is positive definite. The displayed reciprocal vectors satisfy . The operator has nonzero eigenvalues equal to those of : use the polar factorization of the matrix whose columns are . Choosing gives the POVM effects and . Each conclusive outcome has probability on its own state and zero on every other input. The inconclusive effect preserves positivity, so the construction is a physical measurement in quantum mechanics.

Articles by others on the same topic (0)

There are currently no matching articles.