The bare necessities of a physically reasonable mathematical model for quantum theory
What are the minimal requirements for a physically reasonable mathematical model for quantum theory or a potential extension? In addressing this question, rather than relying on the generalized probabilistic theories or other usual approaches, we propose a reset based on the following fundamental features: transition probabilities, which are typical of quantum theory, and continuous reversible dynamical processes (e.g., represented by a Lie group), which play the same crucial role in classical as well as in quantum physics. In doing so, we get back to the very elementary transition probability space framework originally introduced by Bogdan Mielnik in 1968 and combine it with the continuous reversibility condition. The primary class of valid spaces arises from the irreducible atomic JBW algebras, which encompass the irreducible atomic von Neumann algebras and the Jordan matrix algebras. The von Neumann algebras represent the model of common quantum theory. Beyond these, there is a non-standard valid space, where the exceptional Lie group $E_6$ acts transitively. While $E_6$ has been proposed as a candidate for internal symmetries in particle physics, we highlight that this model deviates from standard quantum theory in critical ways. Specifically, it fails to guarantee the existence of post-measurement states in all situations. Though the above postulates are powerful, they still allow for some physically meaningless models. A further feature of quantum theory (the correspondence between the pure states and the minimal projections) leads us to an additional requirement that rules out these models. However, a complete classification of the valid models remains one of the open issues, pointed out in the paper, which is intended for the mathematical and physical experts, inspiring them to tackle these problems.