Related Experiment Video
Updated: Jul 11, 2026

Development of New Methods for Quantifying Fish Density Using Underwater Stereo-video Tools
Published on: November 20, 2017
Revisiting Born's Rule through Uhlhorn's and Gleason's Theorems.
Alexia Auffèves1, Philippe Grangier2
1Institut Néel, 25 rue des Martyrs, BP166, CEDEX 9, F38042 Grenoble, France.
This study infers Born's rule using Contexts, Systems and Modalities (CSM) axioms, attributing quantum mechanics structure to modalities and contexts. It removes the need for unitary transforms, linking it to Uhlhorn's theorem.
Area of Science:
- Quantum mechanics foundations
- Mathematical physics
Background:
- Born's rule is a fundamental principle in quantum mechanics.
- Previous work introduced Contexts, Systems and Modalities (CSM) axioms to derive Born's rule.
- CSM provides a physical justification for Gleason's hypotheses.
Purpose of the Study:
- To extend the derivation of Born's rule within the CSM framework.
- To demonstrate that unitary transforms are not an independent hypothesis.
- To connect the necessity of unitary transforms to Uhlhorn's theorem.
Main Methods:
- Axiomatic approach based on Contexts, Systems and Modalities (CSM).
- Analysis of the interplay between quantized modalities and continuous contexts.
- Application of Uhlhorn's theorem to quantum mechanical transformations.
Main Results:
- The structure of quantum mechanics arises from the interaction of modalities and contexts.
- The requirement of unitary transforms to relate different contexts is shown to be unnecessary as a standalone axiom.
- This necessity is a consequence of Uhlhorn's theorem.
Conclusions:
- The CSM framework offers a deeper physical understanding of quantum mechanics.
- Born's rule can be derived without assuming unitary transforms as a fundamental requirement.
- Uhlhorn's theorem plays a crucial role in understanding transformations between quantum contexts.
Related Concept Videos
Woodward–Hoffmann Selection Rules and Microscopic Reversibility
Routh-Hurwitz Criterion I
To apply the Routh-Hurwitz criterion, a Routh table is constructed. The table's rows are labeled with powers of the complex frequency variable s, starting from the...
Routh-Hurwitz Criterion II
The first scenario occurs when a singular zero appears in the first column of the Routh table. This situation creates a division by zero issues. To resolve this, a small positive or negative number, denoted as epsilon (∈), is substituted for the zero. The stability analysis proceeds by assuming a sign for ∈. If ∈ is positive, any sign change in the first column of the Routh...
Rolle’s Theorem
Indeterminate Forms and L’Hôpital’s Rule
Extended Versions of Green’s Theorem
