Bayes' theorem and quantum retrodiction

We derive on the basis of Bayes' theorem a simple but general expression fo r the retrodicted premeasurement state associated with the result of any me asurement. The retrodictive density operator is the normalized probability operator measure element associated with the result. We examine application s to quantum optical cryptography and to the optical beam splitter.