The bare necessities of a physically reasonable mathematical model for quantum theory

arXiv:2607.24474 · quant-ph, hep-th, math-ph, math.MP, math.OA · Submitted 2026-07-27 · Read on arXiv

Listen

Transcript

Introduction to the show: ident: Quantum Radio. Generated commentary on the latest quantum physics and condensed matter papers.

Kai: Today's paper: "The bare necessities of a physically reasonable mathematical model for quantum theory".

Mira: The physical foundation of the mathematical formalism of quantum theory is still an iffy mystery,

Kai: First, who's behind it and why it matters.

Title and authors: Kai: So, Mira, we've been discussing the bare necessities of a physically reasonable mathematical model for quantum theory—the paper is arguing that we can simplify our starting point significantly by focusing on transition probabilities and continuous reversible dynamics.

Mira: Exactly; it’s about building a minimal set of requirements rather than trying to force every physical detail into one massive formalism from the very beginning. They are suggesting that the foundation isn't as mysterious as we once thought, but just needs these specific structural elements.

Lev: It’s fascinating how they frame it as finding the "bare necessities," implying that much of what we currently use might be overly complicated or unnecessary for describing the fundamental dynamics.

Kai: And they point to examples like atomic JBW factors and even exceptional Lie groups, suggesting that these structures can actually arise from the basic requirements they’ve laid out.

Mira: That’s where I get excited; if we can link those abstract algebraic objects directly to known physical systems, it gives us a solid ground for testing ideas rather than just chasing formalism.

Lev: If the atomic JBW factors are the key, then it suggests that certain physical symmetries might be encoded in these algebraic structures rather than being added on ad hoc.

Kai: Right, and they also mention E6 as a candidate for internal symmetries in particle physics, though they caution that some familiar aspects of quantum theory might get lost when you move into those more complex spaces.

Mira: That’s a fair caveat; it shows humility in the paper, acknowledging that while the structure is mathematically sound, it doesn't automatically guarantee all the physical intuition we have right now is perfectly preserved.

Lev: For us running error correction on hardware, that means we need to be very careful when mapping these abstract symmetries onto finite systems; things might look different than in the infinite-dimensional theoretical setting they use.

Kai: So, moving forward, they’re not just describing math; they're proposing a way to build the mathematical chassis for quantum theory using only these specific components.

Mira: And that chassis is interesting because it provides a clear filter: if your model doesn't respect those transition probabilities and dynamics, it might not be physically reasonable in this context.

Lev: It shifts the focus from just finding solutions to the equations to finding models whose underlying structure naturally satisfies these axiomatic requirements.

Kai: So, we’re going through the title and authors to really understand what minimal set they are proposing before we get into the details of their proposed structure.

The paper's summary: Mira: Now that we know the basic features they want, let's look at what they actually summarized in "The bare necessities of a physically reasonable mathematical model for quantum theory." It lays out the framework for defining a transition probability space (E, P) and then analyzes its properties.

Kai: They start by defining what makes P a valid map—that orthogonality is symmetric: P(e 1e two) = zero if and only if P(e 2e one) = zero and that if two elements are equal, the probability is one.

Lev: That symmetry condition on orthogonality seems crucial for maintaining a consistent picture of how probabilities flow between different states in the system.

Mira: Then they talk about capacity 'm', which is defined as the maximum number of pairwise orthogonal elements, and they give us several concrete examples to illustrate what these spaces look like in practice.

Kai: They present the trivial example where P(e 1e two) is one if e one=e two and zero otherwise, which makes the capacity equal to the size of the set E itself.

Mira: But then they move into non-trivial examples, specifically using trace functions within atomic JBW algebras, showing how this naturally recovers familiar quantum results like P(e 1e two) = trace(e one e two) in atomic von Neumann algebras.

Lev: Seeing those traces appear is a big deal because it ties the abstract structure directly back to the calculations we use every day in standard quantum mechanics.

Kai: They also introduce the concept of topological connectedness, which means E must be a path-connected space, and they define continuity for P with respect to both arguments.

Mira: And then they delve into homogeneity, defining it as having an automorphism that maps any element to any other element in the space; this is where the structural requirements get really demanding.

Lev: That homogeneity requirement is what really tests how robust a model is; if a transformation can map everything to everything else, it implies a very high degree of underlying structure and symmetry.

Kai: So, they’ve set up these definitions for transition probability spaces, analyzed their examples, and then introduced the advanced concepts of connectedness and homogeneity to define the most physically reasonable models.

The paper's improvements: Mira: Now that we've seen the summary of "The bare necessities of a physically reasonable mathematical model for quantum theory," let’s focus on what they suggest as enhancements or extensions to this core idea. They are essentially building upon the three basic features by adding the topological connectedness and homogeneity.

Kai: They suggest that these new features—topological connectedness and homogeneity—are what elevate the model from just a set of rules about probabilities to a truly physically reasonable mathematical structure.

Lev: I see this as moving from a descriptive model to a structural one; instead of just saying "this is what happens," they are suggesting "this must have this specific topological property."

Mira: That’s right, and the paper highlights that in some cases, like when the boundary of a smooth convex set is not a sphere, we can still get capacity m=two but those spaces won't be symmetric unless the boundary is perfectly spherical.

Kai: It seems they are guiding us toward specific geometric configurations—like spheres—when we want to recover simpler, well-known physics like spin factors.

Lev: That makes sense; if you’re looking for a model that behaves predictably under symmetry operations, forcing it onto a structure like the boundary of a sphere gives you that predictability back.

Mira: They also introduce the concept of symmetric transition probabilities, where P(e 1e two) is guaranteed to equal P(e 2e one) for any pair of elements.

Kai: That symmetry condition is important because it ensures a certain kind of reciprocity in how the system responds to measurements or state changes.

Lev: Reciprocity is key in physics; it means the relationship between two states isn't just one-way, which aligns well with our understanding of physical interactions.

Mira: Overall, the improvement suggested is moving from a set of necessary ingredients to a specific class of mathematically constrained spaces—the connected and homogeneous ones—which are more likely to correspond to actual physical phenomena.

Kai: So the paper isn't just about defining terms; it's about providing a roadmap for constructing models that inherently possess the right kind of symmetry and structure.

Conclusion: Mira: To wrap up, we’ve gone through "The bare necessities of a physically reasonable mathematical model for quantum theory," and the main point is that we don't need an impossibly complex formalism to describe quantum theory; only transition probabilities, continuous reversible dynamics, and then topological connectedness and homogeneity.

Kai: It’s about finding the minimal set of axioms that still allow for a mathematically sound description of what we observe in quantum mechanics today.

Lev: From my side, it's encouraging because if these models can be realized on real hardware, it gives us a much stronger theoretical basis to test things outside of idealized simulations.

Mira: I think the implication is that this framework provides a way to classify different mathematical models, distinguishing between ones that are reducible and those that are connected or homogeneous.

Kai: So the paper offers a blueprint for building models based on these fundamental necessities, moving us toward a more constrained and perhaps more physically grounded description of quantum reality.

Lev: Ultimately, the real value here is in showing how these structural requirements can serve as a filter to discard mathematical formalisms that simply don't align with physical intuition.

Mira: And I think for anyone interested in condensed matter or particle physics, understanding these transition probability spaces and their capacities is a new lens through which to view the relationship between abstract algebra and physical observables.

Kai: A great session today; it really shows how deep the mathematical underpinnings can be without needing infinite complexity.

quant-ph, hep-th, math-ph, math.MP, math.OA

Submitted: 2026-07-27

Updated: 2026-09-28

Comments: major enhancements in v02, + 6 pages, now 15 pages; comments and contributions very welcome

License: http://creativecommons.org/licenses/by-nc-nd/4.0/

Importance score: 69/100

The gist: The physical foundation of the mathematical formalism of quantum theory is still an iffy mystery, and this paper proposes that a physically reasonable mathematical model needs only three basic

Key concepts

Transition Probability Space (E, P): This is the framework defined in the paper for describing quantum theory. It requires that orthogonality in probability is symmetric—if one state has zero probability of transitioning to another, the reverse must also be true—and that if two elements are equal, their probability is one.
Capacity 'm': Capacity 'm' is defined as the maximum number of pairwise orthogonal elements within a transition probability space. The paper uses this concept to illustrate how different mathematical spaces look in practice, moving from trivial examples to more complex ones.
Topological Connectedness: This is an enhancement suggesting that the set of states (E) must be a path-connected space. This requirement elevates the model beyond just probability rules by imposing a specific geometric structure on the underlying state space.
Homogeneity: Homogeneity means having an automorphism that can map any element in the space to any other element. This is a demanding structural requirement that tests how robust and symmetric a mathematical model is.

Terminology

Homogeneity — 16× in this paper · explained in 2 episodes
Trace — 7× in this paper · explained in 2 episodes
Quantum Physics — 4× in this paper · explained in 10 episodes
Axioms — 2× in this paper · explained in 2 episodes
Core — 1× in this paper · explained in 2 episodes
Hilbert Space — 1× in this paper · explained in 2 episodes

Summary

The physical foundation of the mathematical formalism of quantum theory is still an iffy mystery, and this paper proposes that a physically reasonable mathematical model needs only three basic features: the transition probabilities, which are so typical of quantum theory and the continuous reversible dynamical processes, which play the same crucial role in classical as well as in quantum physics.

The authors propose a variation of the postulate that continuous and reversible dynamical processes act transitively on the underlying space by considering two more elementary features: topological connectedness and the homogeneity of the transition probability space.

A transition probability space is defined as a pair (E, P), where E is any non-empty set and P(··) is a map from E×E to the real unit interval [0, 1] satisfying specific conditions: P(e1e2) = 0 ⇔ P(e2e1) = 0 and P(e1e2) = 1 ⇔ e1 = e2. A pair of elements e1 and e2 in E is called orthogonal if P(e1e2) = 0. The space (E, P) is a transition probability space if X e∈B P(eoe) = 1 holds for any maximal subset B of mutually orthogonal elements in E and any eo ∈ E.

The information capacity or briefly capacity m of a transition probability space (E, P) is defined as the maximum number (cardinality) of pairwise orthogonal elements. A similar definition is used in other approaches, and another name for the capacity is dimension [11, 21], which must not be confused with the linear dimension of the linear space containing E. The transition probability P is called symmetric if P(e1e2) = P(e2e1) holds for any e1, e2 ∈ E.

Examples of transition probability spaces are discussed:

Any set E can be equipped with the following rather trivial transition probability for e1, e2 ∈ E: P(e1e2):= 1 if e1 = e2, and P(e1e2):= 0 if e1 != e2. Here the capacity becomes identical with the cardinality of E.

"Non-trivial examples arise, when E consists of the atoms in an atomic JBW algebra with P(e1e2):= trace(e1 ◦ e2) for e1, e2 ∈ E. This follows from the theory of Jordan operator algebras [1, 9] and, of course, includes the atomic von Neumann algebras, where P(e1e2) = trace(e1e2), which is familiar from common quantum theory."

"A further class of transition probabilities with capacity m = 2 is defined on the boundaries of the smooth and strictly convex compact convex sets [18]. They become symmetric iff the boundary is a sphere. In this case we again arrive at the spin factors."

The authors also present examples originating from Mielnik’s work, where Let X be any set with a measure µ and µ(X) = m ∈ N and let E consist of the subsets of X with µ(X) = 1. Then define P(e1e2):= µ(e1 ∩ e2) for e1, e2 ∈ E.

The paper investigates the properties of transition probability spaces:

**"A transition probability space (E, P) is called reducible, if there are subsets E1 and E2 with E = E1 ∪ E2 such that each e1 ∈ E1 and each e2 ∈ E2 are orthogonal. Note that E1 and E2 are disjoint then. Otherwise (E, P) is called irreducible [21]." **

A transition probability space (E, P) is called connected, if E is a pathconnected topological space and P(e1e2) is continuous in e1, when e2 is fixed, and continuous in e2, when e1 is fixed.

Lemma 1 states: Every connected transition probability space (E, P) is irreducible. The proof relies on the continuity of P.

The paper then introduces homogeneity:

An automorphism T of the transition probability space (E, P) is a bijection with P(T e1T e2) = P(e1e2) for all e1, e2 ∈ E. The space (E, P) is called homogeneous if there is a transformation T ∈ Aut(E, P) with T e1 = e2 for each pair e1 and e2 in E.

The condition derived from L.

Improvements for AI systems

Here are the specific improvements to AI systems that could be derived from this scientific paper, along with what those improved systems could do:

The ability to model quantum measurement outcomes using transition probability spaces (E, P) rather than relying solely on standard Hilbert space formalisms or post-measurement state postulates.
Development of Quantum Logic based inference engines that utilize the structure of transition probability spaces to handle non-Boolean probabilities and complex measurement outcomes (e.g., composite measurements like outcome e1 OR e2).
Creation of physically rigorous models for internal symmetries in particle physics, specifically leveraging the structures arising from atomic JBW factors and exceptional Lie groups (like E6), allowing for the theoretical investigation of scenarios where standard post-measurement states might not generally exist.
Implementation of algorithms that utilize topological connectedness and homogeneity to rigorously classify and distinguish between different classes of transition probability spaces (e.g., distinguishing irreducible, connected, homogeneous spaces from reducible ones).
Design of AI systems capable of analyzing the constraints imposed by the bare necessities (transition probabilities + continuous reversible dynamical processes + topological connectedness/homogeneity) on candidate mathematical models for quantum mechanics, effectively acting as a filter to discard physically unreasonable mathematical formalisms.

Abstract

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.