フォン・ノイマンの隠れたパラメータの証明

フォン・ノイマンの隠れたパラメータの証明の数学的形式はあまり知られていないため、その範囲は時に解説者によって不当に狭められてきました。本証明は、より馴染みのあるディラックの演算子の形式で再現され、その正確な内容が明確にされます。特に、本証明は量子力学の基本的な統計仮定〈R〉av = 〈φ|R|φ〉およびこの仮定の混合物への拡張〈R〉av = Tr(UR)（ここでU = Σn|φn〉wn〈φn|）のいずれにも依存せずに進行することが強調されています。フォン・ノイマンの証明に対する最近の批判についても言及されます。