Abstract:Within the framework of quantum contextuality, we discuss the ideas of extracontextuality and extravalence, that allow one to relate Kochen-Specker's and Gleason's theorems. We emphasize that whereas Kochen-Specker's is essentially a no-go theorem, Gleason's provides a mathematical justification of Born's rule. Our extracontextual approach requires however a way to describe the ``Heisenberg cut''. Following an article by John von Neumann on infinite tensor products, this can be done by noticing that the usual formalism of quantum mechanics, associated with unitary equivalence of representations, stops working when countable infinities of particles (or degrees of freedom) are encountered. This is because the dimension of the corresponding Hilbert space becomes uncountably infinite, leading to the loss of unitary equivalence, and to sectorisation. Such an intrinsically contextual approach provides a unified mathematical model including both quantum and classical physics, that appear as required incommensurable facets in the description of nature.
What problem does this paper attempt to address?
This paper attempts to solve the problem of Quantum Contextuality in quantum mechanics and proposes a new method to understand the quantum measurement problem. Specifically, the author explores how to describe macroscopic systems by introducing an additional mathematical framework - non - separable Hilbert spaces and higher - type von Neumann algebras (type - II or type - III von Neumann algebras). This method can not only provide a unified mathematical model that includes both quantum physics and classical physics, but also explain the "Heisenberg cut" problem in quantum measurement.
### Main contributions of the paper:
1. **Re - examination of quantum contextuality**:
- Starting from the contextuality in standard quantum mechanics, the author discusses the relationship between the Kochen - Specker theorem and the Gleason theorem. The Kochen - Specker theorem is a negative result, indicating that quantum mechanics is in contradiction with all non - context models (such as models with non - context hidden variables). The Gleason theorem, on the other hand, is a positive result, providing a mathematical basis for the Born rule and explaining why the probabilities of measurement results can be predicted simultaneously in different contexts.
2. **Concepts of extracontextuality and extravalence**:
- The author introduces the concepts of extracontextuality and extravalence to explain the transfer of quantum states between different contexts. These concepts enable quantum states to maintain a certain degree of certainty and repeatability between different contexts, thus providing a more transparent picture of quantum mechanics.
3. **Treatment of the Heisenberg cut**:
- The author discusses how to deal with the "Heisenberg cut" problem, that is, separating the quantum system from the classical background, in the new mathematical framework. By using infinite tensor products and higher - type von Neumann algebras, the author provides a mathematically consistent model that can explain the orthogonality and independence of quantum states between different contexts.
### Specific technical details:
- **Non - separable Hilbert spaces**:
- Standard quantum mechanics uses separable Hilbert spaces, in which there are countable bases. However, when considering macroscopic systems, the dimension of the Hilbert space becomes uncountable, resulting in the loss of unit equivalence. The author uses infinite tensor products to construct non - separable Hilbert spaces, thus solving this problem.
- **Higher - type von Neumann algebras**:
- The author points out that the operators in standard quantum mechanics belong to type - I von Neumann algebras. To describe macroscopic systems, it is necessary to use higher - type von Neumann algebras (type - II or type - III). These algebras allow the description of the complexity of macroscopic systems and can explain the independence of quantum states between different contexts.
- **Sectorisation**:
- In non - separable Hilbert spaces, the state space is divided into multiple orthogonal sub - spaces, called sectors. The states within each sector are mutually orthogonal, which explains why quantum states cannot be converted between different contexts. This sectorisation phenomenon provides a new perspective on the quantum measurement problem.
### Conclusion:
This paper provides a new mathematical framework to understand the contextuality problem in quantum mechanics by introducing the concepts of extracontextuality and extravalence, and using non - separable Hilbert spaces and higher - type von Neumann algebras. This framework can not only explain the "Heisenberg cut" problem in quantum measurement, but also provides a unified mathematical model for quantum mechanics and classical physics.