Pith. sign in

REVIEW 3 major objections 7 minor 22 references

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

T0 review · 3 major / 7 minor · reviewed 2026-07-31 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Three bare features—transition probabilities, connectedness, and homogeneity—already force quantum models into Jordan algebras or one exceptional E6 space.

desk verdict Clean problem statement on transition-probability spaces, but Lemma 2 is wrong as written and the classification punchline quietly needs a stronger Lie-group hypothesis than the three ‘bare necessities’ supply. read the letter →

arxiv 2607.24474 v1 pith:EOLVE534 submitted 2026-07-27 quant-ph hep-thmath-phmath.MP

Gerd Niestegge This is my paper · ORCID
classification quant-phhep-thmath-phmath.MP MSC 81P1017C6546L70 PACS 03.65.Fd03.65.Ta
keywords quantumtransitionprobabilityLiegroupsparticlephysicsoperatoralgebrasJordanJBWfactorshomogeneityE6symmetry
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper asks what the minimal physical ingredients of a mathematical model for quantum theory really are. It answers that only three are needed: the transition probabilities that distinguish quantum from classical probability, plus topological connectedness and homogeneity of the space of pure outcomes (a weakened form of the usual demand that continuous reversible dynamics act transitively). Under these three conditions the known models are precisely the atomic JBW factors—recovering ordinary quantum theory and its Jordan-algebra cousins in finite dimension—together with one extra capacity-3 space on which the exceptional group E6 acts. That E6 model is sometimes proposed for particle-physics symmetries, yet it loses post-measurement states and other standard quantum features. The paper therefore frames an open classification problem: decide whether any further spaces exist and whether the missing features of the E6 model rule it out for physics.

What carries the argument

Transition probability spaces (sets equipped with a symmetric orthogonality relation and a normalised transition probability) that are required only to be path-connected with continuous probabilities and homogeneous under their automorphism group; these two topological-algebraic conditions replace the stronger Lie-group-transitivity axiom.

What would settle it

Exhibit a connected homogeneous transition-probability space of capacity greater than 2 that is neither an atomic JBW factor nor the known E6 space, or prove that no such space exists; alternatively, derive a physical contradiction from the absence of general post-measurement states in the E6 model.

Watch

Extended reading notes

Core claim

A transition-probability space that is topologically connected and homogeneous already yields, as its known realisations, the atomic JBW factors (including the atomic von Neumann factors and, in finite dimension, the Euclidean Jordan matrix algebras) together with exactly one further model of capacity 3 on which E6 acts transitively; the latter model fails to possess post-measurement states in general.

Load-bearing premise

The physical judgment that transition probabilities, connectedness and homogeneity alone are the bare necessities, so that post-measurement states, lattice structure and local tomography may be dropped without losing physical reasonableness.

Editorial extensions

If this is right

  • Finite-dimensional models with capacity >2 are forced into Jordan matrix algebras or the single E6 space once a compact Lie group acts transitively.
  • The E6 candidate for internal particle symmetries must be examined for the physical cost of missing post-measurement states.
  • Adding local tomography as a fourth postulate would eliminate the non-complex Jordan algebras and leave only ordinary quantum theory among the finite-dimensional cases.
  • Open classification questions for the remaining exceptional groups G2, E7 and E8 become well-posed targets.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the classification closes with only the Jordan and E6 cases, the three axioms already come close to reconstructing finite-dimensional quantum theory without invoking spectrality or convex-state-space postulates.
  • The loss of a lattice quantum logic in the E6 model may block standard interference arguments that rely on orthomodular joins.
  • A negative answer for G2, E7 and E8 would leave E6 as the sole exceptional outlier, sharpening the physical decision whether its missing features are tolerable.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 7 minor

Summary. The paper proposes that a physically reasonable mathematical model of quantum theory requires only three features: (1) the structure of a transition probability space (E,P) in Mielnik's sense, (2) topological connectedness (path-connected E with P separately continuous), and (3) homogeneity (transitivity of Aut(E,P)). These are presented as a weakening of Hardy's transitive-Lie-group postulate. The author surveys examples: atoms of atomic JBW factors (Jordan matrix algebras in finite dimension, plus spin factors), Mielnik's hemisphere models, and a further known capacity-3 space with transitive E6 action, which lacks general post-measurement states, the stronger two-point homogeneity, and a lattice quantum logic. Lemma 1 shows connected implies irreducible; Lemma 2 purports to show that a transitive Lie group action (with a continuity condition) implies connectedness. The paper closes with open classification problems, in particular whether G2, E7, E8 can act transitively on any transition probability space, and notes that a negative answer would force Euclidean Jordan algebras or the E6 model given a transitive compact Lie group action.

Significance. If the framework holds up, the paper offers a clean, minimal axiomatic filter on quantum-theory reconstructions and a useful survey tying together transition probability spaces, JBW factors, and the exceptional E6-symmetric example, with concrete, well-posed open problems (transitive actions of G2, E7, E8; classification at capacity m>2). Lemma 1 is short and correct, and the identification of the known homogeneous connected examples with the cited operator-algebra and exceptional-geometry literature appears accurate. The candid discussion of what the E6 model loses (post-measurement states, two-point homogeneity, lattice structure) is a genuine service. However, the paper's new mathematical content is thin — essentially Lemmas 1 and 2 plus a survey — and Lemma 2 is false as stated (see major comment 1), which undercuts the advertised "weakening of Hardy" positioning until repaired.

major comments (3)
  1. [§5, Lemma 2] Lemma 2 rests on the assertion 'Since Lie groups are path-connected', which is false: Lie groups are only locally path-connected, and e.g. O(n) — a symmetry group the paper itself cites in §6 — has two components. The statement, not just the proof, fails. Counterexample: let E be two disjoint copies of a spin-factor sphere, with the standard P within each copy and P ≡ 1/2 across copies. Maximal mutually orthogonal sets are antipodal pairs inside one copy (cross-copy pairs are never orthogonal), and for e0 in the other copy Σ_{e∈B} P(e0|e) = 1/2+1/2 = 1, so (E,P) is an irreducible transition probability space of capacity 2. G = SO(n)×Z/2 is a Lie group acting transitively and satisfying the stated continuity condition, yet E is disconnected. The repair is presumably to require the Lie group to be connected (or to prove, under additional hypotheses, that the identity component acts transit
  2. [§8 vs. §5 and Abstract] The punchline that 'our three physically plausible basic postulates enforce the need for the Euclidean Jordan algebras or the E6-model' is stated in §8 with the qualifier 'with capacity m>2 and the transitive action of a compact Lie group'. That qualifier is not implied by the three features: homogeneity (§5) requires transitivity only of the full, possibly wild, automorphism group, and no result cited gives a Lie-group (let alone compact Lie) structure from connectedness plus homogeneity. The conditional is correctly flagged in §8 but disappears from the Abstract and §1, where the three features are advertised as the 'bare necessities' that nearly reconstruct finite-dimensional quantum theory. The abstract and introduction should carry the same qualifier, and §5 should state explicitly that the classification relevance of the three features is conditional on an independent Lie-symmetry
  3. [§4, definition of connected] The definition of 'connected' presupposes a topology on E, but the transition probability space axioms (§2) supply none. Thus features (2) — and indirectly the continuity clause in Hardy's condition (§5) — are not intrinsic to (E,P): the paper should state whether the requirement is 'there exists a topology making E path-connected with P separately continuous', or a canonical topology derived from P (e.g., the coarsest making all P(·|e) continuous), and check that the examples of §6 satisfy the chosen reading. Without this, the second of the three 'bare necessities' is not a well-defined property of a transition probability space.
minor comments (7)
  1. [Abstract] Grammar: 'The first one are the transition probabilities' should be 'is' (Abstract and §1).
  2. [§3] In the Mielnik measure example, 'let E consist of the subsets of X with µ(X)=1' should read µ(e)=1 for e⊆X; as written the condition is µ(X)=1, contradicting µ(X)=m.
  3. [§6] 'Since Lie groups are finite-dimensional manifolds, the infinite-dimensional cases are ruled out by Hardy's postulates' is asserted rather than argued; the needed statement is that a transitive finite-dimensional Lie group action makes E a finite-dimensional homogeneous manifold. Please state and justify this properly.
  4. [§8] Typo: 'our forth postulate' should be 'fourth'.
  5. [References] Reference [12] lists 'M. Müller'; the author is M. P. Müller (as correctly given in [5]).
  6. [§4, proof of Lemma 1] In the proof of Lemma 1, 'defines o := inf{s|e_s ∈ E2}' has a typo ('define'), and the subscript notation oscillates between e_o, e0 and e_s; please unify.
  7. [§6] For Mielnik's hemisphere examples it would help to state explicitly the relation between the ball dimension n and the (fixed) capacity m=2, since §6 groups these with spin factors and real matrix algebras under the same O(n) symmetry.

Circularity Check

1 steps flagged · score 1.0 of 10

No derivation-by-construction circularity; minor self-citation only for descriptive E6 properties, while the three features and open classification remain independent.

  1. self citation load bearing [§7 (E6 model drawbacks) and §8 (open issues), citations [19,20]]
    "many familiar features of quantum theory that remain valid in the JBW setting get lost in this transition probability space with the E6-symmetry [20]. ... The above transition probability space with the exceptional symmetry group E6 is the only known concrete example where a post-measurement state does not generally exist ... [19, 20]. Furthermore, the above transition probability space ... is the only known concrete example that does not satisfy the following form of homogeneity [20]."

    Claims that the E6 space uniquely lacks general post-measurement states and a stronger homogeneity form rest on the author’s own prior papers [19,20] rather than on an independent external source or a self-contained proof in this manuscript. The step is only mildly circular: it is descriptive of one known example and is not used to define the three bare necessities or to force the JBW classification (which the paper leaves open).

full rationale

The paper is a framing and open-problems note, not a closed derivation that outputs a forced model. It defines transition probability spaces (from Mielnik/Pulmannová), then independently defines topological connectedness and homogeneity, and checks known examples (atomic JBW factors; Mielnik hemispheres; one E6 space) against those definitions. It does not claim that the three features uniquely force the Jordan matrix algebras; §8 explicitly leaves classification open and asks whether further Lie-group actions exist. There are no fitted parameters, no predictions that reduce to fits, and no uniqueness theorem imported to forbid alternatives. Self-citations [13–20] supply background facts about post-measurement states, a stronger homogeneity form, and drawbacks of the E6 model; those facts are used descriptively when discussing that known example, not as the definition of the three bare necessities or as a load-bearing uniqueness step. Lemma 2’s false claim that ‘Lie groups are path-connected’ and the silent upgrade from full Aut-transitivity to compact Lie-group action are correctness gaps, not circularity. Overall circularity is negligible (score 1 only for the non-central self-citation cluster on E6).

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The load-bearing content is almost entirely definitional and classificatory. No numerical free parameters appear. The mathematical substrate (transition probability spaces, JBW factors, Lie actions) is imported from prior literature; the paper's own physical axiom is that three features suffice as 'bare necessities.' No new physical entities (particles, forces) are postulated—only selection among existing mathematical models.

assumptions (5)
  • domain assumption A model is given by a transition probability space (E,P): P:E×E→[0,1] with P(e1|e2)=0⇔P(e2|e1)=0, P=1⇔e1=e2, and Σ_{e∈B} P(e0|e)=1 for every maximal orthogonal set B and every e0.
    Taken from Mielnik/Pulmannová (§2); this is the paper's starting mathematical object, not derived inside the paper.
  • ad hoc to paper Topological connectedness: E is path-connected and P is separately continuous in each argument.
    Introduced in §4 as one of the two 'bare' dynamical features; chosen as a weakening of continuous reversible dynamics rather than forced by a uniqueness theorem.
  • ad hoc to paper Homogeneity: Aut(E,P) acts transitively on E (every pair of points is related by a probability-preserving bijection).
    §5; the second half of the weakened Hardy-type postulate. Stronger Lie-transitive continuous action is discussed but not required for the paper's own axioms.
  • ad hoc to paper These three features alone are the bare necessities of a physically reasonable mathematical model for quantum theory.
    Abstract and §1 presumption; not derived from experiment or from a completeness theorem ruling out other physical requirements.
  • standard math Background structure theory of atomic JBW factors / Euclidean Jordan algebras and the known E6-homogeneous capacity-3 example.
    Used throughout §3,6,7 via citations [1,3,7–9,20]; standard operator-algebra and exceptional-geometry results the paper relies on but does not re-prove.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The bare necessities of a physically reasonable mathematical model for quantum theory." pith.science (2026). https://pith.science/paper/EOLVE534

@misc{pith2026260724474,
  author       = {Pith},
  title        = {Pith review of: The bare necessities of a physically reasonable mathematical model for quantum theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EOLVE534}},
  note         = {Machine review of arXiv:2607.24474}
}
read the original abstract

The physical foundation of the mathematical formalism of quantum theory is still an iffy mystery. Here it is presumed that a physically reasonable mathematical model needs only three basic features. The first one are the transition probabilities, which are so typical of quantum theory. The other two constitute a variation of the postulate that continuous reversible dynamical processes exist and act transitively on the underlying space. One class of mathematical models with these features arises from the atomic JBW factors, which include the atomic von Neumann factors and become identical with the Jordan matrix algebras, when the dimension is finite. A further model is known, on which the exceptional Lie group E6 acts transitively. Interestingly, E6 is sometimes considered a candidate for internal symmetries in particle physics, but many familiar features of quantum theory get lost in this case (particularly the general existence of post-measurement states). The paper concludes with some open issues, concerning this problem and the classification of the mathematical structures with the three features.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 15 canonical work pages

  1. [1]

    E. M. Alfsen and F. W. Shultz.Geometry of state spaces of operator alge- bras. Birkh¨ auser, Basel, Switzerland, 2003. (doi:10.1007/978-1-4612-0019- 2)

    work page doi:10.1007/978-1-4612-0019- 2003

  2. [2]

    Atsuyama

    K. Atsuyama. The connection between the symmetric space E6/SO(10)·SO(2) and projective planes.Kodai Mathematical Journal, 8(2):236–248, 1985. (www.jstage.jst.go.jp/article/kodaimath1978/8/2/8 2 236/ article/-char/ja/)

    1985

  3. [3]

    J. Baez. The octonions.Bulletin of the American Mathematical Society, 39(2):145–205, 2002. (doi:10.1090/S0273-0979-05-01052-9)

    work page doi:10.1090/s0273-0979-05-01052-9 2002

  4. [4]

    Strongly symmetric spectral convex bodies are Jordan algebra state spaces

    H. Barnum and J. Hilgert. Spectral properties of convex bodies.Journal of Lie Theory, 30:315–344, 2020. (doi:10.48550/arXiv.1904.03753)

    work page Pith review arXiv doi:10.48550/arxiv.1904.03753 2020

  5. [5]

    Barnum, M

    H. Barnum, M. P. M¨ uller, and C. Ududec. Higher-order interference and single-system postulates characterizing quantum theory.New Journal of Physics, 16(12):123029, 2014. (doi:10.1088/1367-2630/16/12/123029)

    work page doi:10.1088/1367-2630/16/12/123029 2014

  6. [6]

    Barnum and A

    H. Barnum and A. Wilce. Local tomography and the Jordan struc- ture of quantum theory.Foundations of Physics, 44:192–212, 2014. (doi:10.1007/s10701-014-9777-1)

    work page doi:10.1007/s10701-014-9777-1 2014

  7. [7]

    S. Catto. Exceptional projective geometries and internal symmetries, 2003. (doi:10.48550/arXiv.hep-th/0302079)

    work page Pith review arXiv doi:10.48550/arxiv.hep-th/0302079 2003

  8. [8]

    G¨ ursey

    F. G¨ ursey. Octonionic structures in particle physics. InGroup Theo- retical Methods in Physics: Seventh International Colloquium and Inte- grative Conference on Group Theory and Mathematical Physics, Held in Austin, Texas, September 11–16, 1978, pages 508–521. Springer, 2005. (doi:10.1007/3-540-09238-2-117)

    work page doi:10.1007/3-540-09238-2-117 1978

Show all 22 references
  1. [9]

    Hanche-Olsen and E

    H. Hanche-Olsen and E. Størmer.Jordan operator algebras. Pitman, Boston, MA, 1984. (https://hanche.folk.ntnu.no/joa/joa-m.pdf). 8

    1984

  2. [10]

    L. Hardy. Quantum theory from five reasonable axioms, 2001. (doi:10.48550/arXiv.quant-ph/0101012)

    2001 doi arXiv

  3. [11]

    B. Mielnik. Geometry of quantum states.Communications in Mathematical Physics, 9:55–80, 1968. (doi:10.1007/BF01654032)

    1968 doi

  4. [12]

    M¨ uller

    M. M¨ uller. Probabilistic theories and reconstructions of quantum theory.SciPost Physics Lecture Notes 28, 2021. (doi:10.21468/SciPostPhysLectNotes.28)

    2021 doi

  5. [13]

    Niestegge

    G. Niestegge. Non-Boolean probabilities and quantum measurement. Journal of Physics A: Mathematical and General, 34(30):6031, 2001. (doi:10.1088/0305-4470/34/30/313)

    2001 doi

  6. [14]

    Niestegge

    G. Niestegge. Conditional probability, three-slit experiments, and the Jor- dan algebra structure of quantum mechanics.Advances in Mathematical Physics, 2012, 2012. (doi:10.1155/2012/156573)

    2012 doi

  7. [15]

    Niestegge

    G. Niestegge. Local tomography and the role of the complex numbers in quantum mechanics.Proceedings Royal Society A, 476:20200063, 2020. (doi:10.1098/rspa.2020.0063)

    2020

  8. [16]

    Niestegge

    G. Niestegge. A simple and quantum-mechanically motivated characteri- zation of the formally real Jordan algebras.Proceedings Royal Society A, 476:20190604, 2020. (doi:10.1098/rspa.2019.0604)

    2020

  9. [17]

    Niestegge

    G. Niestegge. Continuous symmetry entails the Jordan algebra structure of quantum theory, 2024. (doi:10.48550/arXiv.2411.19672)

    2024 doi

  10. [18]

    Niestegge

    G. Niestegge. Non-symmetric transition probability in generalized qubit models.Foundations of Physics, 54(9), 2024. (doi:10.1007/s10701-023- 00744-4)

    2024 doi

  11. [19]

    Niestegge

    G. Niestegge. Quantum transition probability in convex sets and self-dual cones.Proceedings Royal Society A, 480:20230941, 2024. (doi:10.1098/rspa.2023.0941)

    2024

  12. [20]

    Niestegge

    G. Niestegge. On the homogeneity of the quantum transition probability,

  13. [21]

    Pulmannov´ a

    S. Pulmannov´ a. Transition probability spaces.Journal of Mathematical Physics, 27(7):1791–1795, 1986. (doi.org/10.1063/1.527045). 9

    1986 doi

  14. [2026]

    (doi:10.48550/arXiv.2601.01936)

    doi

Pith tools

Reviewed July 31, 2026 · model on record in the stance chip above.