[Paper Review] Resurrection of von Neumann's No-Hidden-Variables Theorem

Paul Busch|arXiv (Cornell University)|Sep 23, 1999

Quantum Mechanics and Applications3 citations

TL;DR

This paper revives von Neumann's no-hidden-variables theorem by demonstrating that any valuation of quantum effects—when required to be additive over noncommuting effects whose sum is also an effect—must extend uniquely to a linear functional on bounded self-adjoint operators, thereby forcing the valuation to correspond to a quantum state. Consequently, no effect valuation can be dispersion-free, reinstating the theorem’s core conclusion under a physically justified assumption.

ABSTRACT

Von Neumann's theorem on the impossibility of non-contextual hidden variable theories for quantum mechanics has been criticized on account of its unfounded assumption of the additivity of the valuation function for noncommuting observables. Starting from the fact that the additivity is operationally meaningful for noncommuting sets of effects whose sum is an effect, we show that any effect valuation extends to a unique linear functional on the space of bounded self-adjoint operators and hence must be a quantum state. It follows that no effect valuation can be dispersion-free.

Motivation & Objective

• To re-establish von Neumann's no-hidden-variables theorem by addressing its long-standing criticism regarding the additivity assumption for noncommuting observables.
• To identify a physically meaningful condition under which the additivity of valuation functions becomes operationally justified for noncommuting effects.
• To show that any such valuation must extend to a linear functional on bounded self-adjoint operators, thereby identifying it with a quantum state.
• To prove that no effect valuation can be dispersion-free under this extended additivity condition, thus reinstating the theorem’s conclusion.

Proposed method

• Assumes that the valuation function is additive over sets of effects whose sum is also an effect, even if the effects do not commute.
• Uses the algebraic structure of bounded self-adjoint operators to extend the valuation to a linear functional on the entire operator space.
• Applies functional analytic techniques to show that any such extension must be representable as a quantum state via the Riesz representation theorem.
• Demonstrates that the linearity of the extended functional implies the valuation cannot be dispersion-free.
• Establishes that the additivity condition is operationally meaningful in quantum measurements involving noncommuting effects.
• Shows that the uniqueness of the extension implies the valuation is fully determined by a quantum state.

Experimental results

Research questions

• RQ1 Can von Neumann’s no-hidden-variables theorem be revived under a physically justifiable assumption about valuation additivity?
• RQ2 Under what conditions is additivity of valuation functions operationally meaningful for noncommuting effects?
• RQ3 Does the requirement of additivity over noncommuting effects whose sum is an effect force the valuation to be representable as a quantum state?
• RQ4 Can any effect valuation be dispersion-free under this extended additivity condition?
• RQ5 Is the extension of an effect valuation to a linear functional on bounded operators unique and state-like?

Key findings

• Any effect valuation that is additive over noncommuting sets of effects whose sum is an effect extends uniquely to a linear functional on the space of bounded self-adjoint operators.
• This linear functional must correspond to a quantum state, as it is representable via the Riesz representation theorem.
• The uniqueness of the extension implies that the valuation is fully determined by a quantum state, eliminating freedom for non-state-like valuations.
• No such valuation can be dispersion-free, as quantum states inherently exhibit statistical dispersion.
• The result reinstates von Neumann’s original conclusion under a physically justifiable and operationally meaningful assumption.
• The paper resolves the criticism of von Neumann’s theorem by showing that the additivity assumption is not arbitrary but grounded in operational quantum measurement contexts.