Mathematical Theory of State Reduction in Quantum Mechanics(Quantum Stochastic Analysis and Related Fields)
Masanao Ozawa
Abstract
A state reduct,ion is the $\mathrm{s}\mathrm{t}\mathrm{a}\mathrm{t}_{1}\mathrm{e}$ change caused by a lueasurement on a quan- tum system conditional upon the outcome.A rigorous theorv of the state reduction is developed with $\mathrm{n}\mathrm{l}\mathrm{a}\mathrm{t}\mathrm{h}\mathrm{e}\mathrm{m}\mathrm{a}\mathrm{t}\mathrm{i}_{\mathrm{C}\mathrm{a}}1$ formalism, $\mathrm{I}^{)}\mathrm{h}\mathrm{y}\mathrm{s}\mathrm{i}_{\mathrm{C}}\mathrm{a}1$ interpret.ation,and $\mathrm{n}\iota \mathrm{o}\mathrm{d}\mathrm{e}\mathrm{l}\mathrm{s}$ .A special $\mathrm{e}\mathrm{m}_{1^{J\mathrm{h}}}\mathrm{a}\mathrm{s}\mathrm{i}\mathrm{S}$ is on the pure state reduction which trans- forms a pure $1$) $\mathrm{r}\mathrm{i}\mathrm{o}\mathrm{r}\mathrm{S}\mathrm{t}\mathrm{a}\mathrm{t}_{C}\mathrm{e}$ to the pure posterior state for every outcome.Mathe- $1\mathrm{n}\mathrm{a}\mathrm{t}\mathrm{i}_{\mathrm{C}\mathrm{a}}1$ structure of general pure state reductions is discussed and it is $1$) $\mathrm{r}\mathrm{o}\mathrm{V}\mathrm{e}\mathrm{d}$ that every pure state reduction is decomposed into just two types, called tlle von Neumann-Davies $(\mathrm{N}\mathrm{D})\mathrm{t}\mathrm{y}\mathrm{l})\mathrm{e}$ and the Gordon-Louisell $(\mathrm{G}\mathrm{L})$ type; a state reduction $\psirightarrow\psi_{x}$ ' is of the ND type if the $1\mathrm{I}\mathrm{l}\mathrm{a}_{\mathrm{P}1^{\mathrm{i}\mathrm{n}}}$ ) $\mathrm{g}\psi$ ) $\mapsto P(x|\psi)1/2_{?}l' x$ ' is linear, where $P(x|\psi')$ is the probability density of the outcome $x$ , and of the GL $\mathrm{t}\mathrm{y}\mathrm{l}$ ) $\mathrm{e}$ if $\psi_{x}$ depends only on the outcome $x$ (independent of the prior state $\sqrt))$ .