Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Pacific Journal of Mathematics

Axioms for non-relativistic quantum mechanics

Neal Zierler

Published Sep 1, 1961• 123 citations
Publisher

Abstract

ZIERLER plausible properties imply all the others (Theorem 1.1).This work is a modification of part of a thesis submitted to the Department of Mathematics of Harvard University in partial fulfillment of the requirements for the degree of Doctor of Philosophy.1. Events and states: preliminaries• Let P be a partly ordered set with least and greatest elements 0 and 1 respectively.If the greatest lower bound or least upper bound of elements a and b of P exists in P it is denoted ab or a V b respectively.Let a->a' be an orthocomplementation in P; that is, for each a e P, a' e P and(1) (α')' = α, (2) a < b if and only if V < a\ (3) a! is a complement of a; i.e., a'a and a V a! exist and equal 0 and 1 respectively.Two elements a and b of P are said to be orthogonal, a _L δ, if and only if α ^ δ'.Clearly a J_ b is equivalent to b J_ α.If Q is a set of pairwise orthogonal elements of P we shall say, for short, that Q is orthogonal.It is easy to see that De Morgan's law holds in P: (ab)' = α' V V in the sense that if either ab or α/ V V exists, so does the other and the equality holds.We assume that P satisfies (LI) If {a lf a 29 •••} is orthogonal, then \fa { exists in P.It follows readily that a variety of sups and infs exists in P: e.g., δ'c', δα' and ba f V a if b J_ c and α ^ 6; if 6 X <£ & 2 ^ then V^ = 6χ V b 2 b[ V 6 3 &2 V .Consider the following three properties for P. (W ) a ^ b implies b = ba' V a, (Wl) α ^ b and 6α' = 0 imply a = b, (W2) α ^ c and & J_ c imply (a V δ)c = α. 1 LEMMA 1.1.// (W) holds then a A_b implies b = (α V δ)α'.Proo/.α ^ &' so 6' = b'a f V α by (W) and 6 = (&W V a)' = (a V δ)α' LEMMA 1.2.J/ (W) holds and a, b and c are pairwise orthogonal, then (a V &)(α Vc) = α and (a

DOI
10.2140/pjm.1961.11.1151

Related papers

Order Properties of Bounded Observables

Neal Zierler

Continuing the development [4] of an aspect of the approach to the axiomatization of quantum mechanics of G. W. Mackey [3], we consider here the real linear space X of signed measures on the set P of events generated by the states, and the set F0 of linear functionals on X which are induced in a natural way by the bounded observables. A necessary and sufficient condition for two events to be simultaneously measurable is found in terms of the order structure of F0, with the following consequence: if F0 is a lattice, P is deterministic. At the opposite extreme, F0 is said to be an anti-lattice1 if the greatest lower bound exists only for comparable pairs of its elements and we show in this case that the center of P is trivial. Our results extend those of R. V. Kadison [l], in which F0 and P are the self-adjoint operators and projections respectively in a uniformly closed self-adjoint operator algebra. While the framework and plan of the proofs were inspired by Kadison's work, almost none of the apparatus used by him is available here with the result that, in detail, our techniques are quite different from his. Let P be a weakly modular partially ordered set (see [4]). A function x from P to the non-negative real numbers and + oo is said to be a measure if x(0) =0 and x is countably additive in the sense that whenever {a,} is a pairwise orthogonal sequence of elements of P, then x(Ua?) = 2Zxiad- If x is a measure and {bt} EP is an increasing (decreasing) sequence with supremum (infimum) b, then x(&?) —*x(6). A countably additive function x from P to the extended real numbers is a signed measure if x(0) =0 and x takes on at most one of the values + =o and — oo ; x is finite if x(l) is finite. Define the functions 5 and i on the signed measures on P by six) = sup(x(a) : aEP\, fx) =inf {x(a): aEP} and set ||x|| =s(x)—?(x). Clearly ||x|| < oo if and only if x is finite. It iseasy toseethat||x|| = sup {x(a)— xia'):aE P} ■ Lemma 1. Let X be a real linear space of finite signed measures on P. Then the function || || defined above is a norm for X and, under this norm and its natural partial ordering, X is a partially ordered normed linear space. That is,2

Proceedings of the American Mathematical Society•Apr 1, 1963•10 citations

Axioms for Non-Relativistic Quantum Mechanics

Neal Zierler

Springer eBooks•Jan 1, 1975•78 citations

An axiomatisation of quantum logic

Ian Clark

The purpose of this paper is to give an axiom system for quantum logic. Here quantum logic is considered to have the structure of an orthomodular lattice. Some authors assume that it has the structure of an orthomodular poset. In finding this axiom system the implication algebra given in Finch [1] has been very useful. Finch shows there that this algebra can be produced from an orthomodular lattice and vice versa. Definition. An orthocomplementation N on a poset (partially ordered set) whose partial ordering is denoted by ≤ and which has least and greatest elements 0 and 1 is a unary operation satisfying the following: (1) the greatest lower bound of a and Na exists and is 0, (2) a ≤ b implies Nb ≤ Na, (3) NNa = a. Definition. An orthomodular lattice is a lattice with meet ∧, join ∨, least and greatest elements 0 and 1 and an orthocomplementation N satisfying where a ≤ b means a ∧ b = a, as usual. Definition. A Finch implication algebra is a poset with a partial ordering ≤, least and greatest elements 0 and 1 which is orthocomplemented by N. In addition, it has a binary operation → satisfying the following: An orthomodular lattice gives a Finch implication algebra by defining → by A Finch implication algebra can be changed into an orthomodular lattice by defining the meet ∧ and join ∨ by The orthocomplementation is unchanged in both cases.

Journal of Symbolic Logic•Sep 1, 1973•13 citations

Four and a Half Axioms for Finite Dimensional Quantum Mechanics

Alexander Wilce

I discuss a set of strong, but probabilistically intelligible, axioms from which one can {\em almost} derive the appratus of finite dimensional quantum theory. Stated informally, these require that systems appear completely classical as restricted to a single measurement, that different measurements, and likewise different pure states, be equivalent (up to the action of a compact group of symmetries), and that every state be the marginal of a bipartite non-signaling state perfectly correlating two measurements. This much yields a mathematical representation of measurements and states that is already very suggestive of quantum mechanics. In particular, in any theory satisfying these axioms, measurements can be represented by orthonormal subsets of, and states, by vectors in, an ordered real Hilbert space -- in the quantum case, the space of Hermitian operators, with its usual tracial inner product. One final postulate (a simple minimization principle, still in need of a clear interpretation) forces the positive cone of this space to be homogeneous and self-dual and hence, to be the the state space of a formally real Jordan algebra. From here, the route to the standard framework of finite-dimensional quantum mechanics is quite short.

arXiv:0912.5530•Dec 30, 2009•35 citations

Independence, Algebra, And Action Compiling the Complex Scalar Field and Hamilton's Principle

Dean Kulik

Independence, Algebra, And Action Compiling the Complex Scalar Field and Hamilton's Principle Driven by Dean Kulik July 2026 Abstract Standard quantum mechanics assumes complex amplitudes. Classical and quantum mechanics assume Hamilton's principle. Neither is derived; both are imported. This paper compiles both from the same five primitive constraints {C0, C1, C1a, C2, C5} established in Paper 1. Two main theorems are proved. First, the Division Algebra Theorem: the unique admissible scalar continuation algebra is the complex numbers C, established by reducing to the Frobenius candidates {R, C, H}, eliminating R via C5's dual degree-of-freedom requirement, and eliminating H via the simplicity of H as a real algebra combined with C1a's independence constraint. Second, the Extremal Theorem: a field configuration is locally admissible under the compiled constraints if and only if it extremizes the action functional delta S = 0. Hamilton's principle is the global expression of local C1-consistency. A compiled Measurement Theorem follows from the channel decomposition forced by C5: collapse is a C2 history-update, not a C1 transition. The independence constraint [T_A, T_B] = 0 serves as the structural spine: it compiles conservation (C3 to L3), forces the complex scalar field (Division Algebra Theorem), and will constrain gauge sector factorization. One axiom. Three compiled results. §1 Introduction Two of the deepest assumptions in physics are that quantum amplitudes are complex-valued and that physical trajectories extremize the action. Both are usually treated as foundational inputs. The goal of this paper is to show both are compiled consequences of a primitive constraint set that mentions neither. The companion paper (Paper 1) compiled: conservation, locality, the free-field Lagrangian L, and the wave equation, from the five primitive constraints {C0, C1, C1a, C2, C5}. The present paper derives two further results from the same set, and establishes the structural connection between them. The two theorems share the same spine. The independence constraint C1a — that independent distinctions continue independently — has the algebraic form [T_A, T_B] = 0 for independent operators. This single condition eliminates quaternionic scalar algebras (Division Algebra Theorem), blocks coordinated creation-destruction channels (compiling conservation), and will factorize the gauge group (T5, T6). Section 7 develops this as the Independence Spine Theorem. Paper scope. Both theorems concern the free field (Paper 1, C8). Interactions require C9 (equivalence class coupling) and are addressed in Paper 4. The Measurement Theorem (Section 5) is fully compiled. The Born rule requires one additional input (C7 geometry; see Section 5.3 and open problem Omega_B). §2 The Primitive Constraints The irreducible primitive set established in Paper 1 is {C0, C1, C1a, C2, C5}. Conservation (L3) and locality (L4) are compiled consequences of this set, not primitives. The definitions are reproduced here for self-containment. C0 (Distinction exists): At least two states exist that are not identical. This is the minimum condition for any structure to be meaningful. C1 (Continuation exists): Every admissible state s admits at least one successor state s' with s' not equal to s under the transition algebra. Terminal states and stationary continuation are excluded. The identity element e of the composition algebra (empty composition, satisfying e composed with T = T) is required by the algebra but is not itself a physical continuation event (Lemma B, Section 4.2). C1a (Independence Preservation): Independent distinctions remain independently continuable. The continuation of A cannot depend on the presence or continuation of B when A and B are independent. C2 (History Preservation): Every continuation preserves the set of states reachable from prior states in the history. C2 forbids deletion of accessible states from the transition graph and establishes the ordering relation from reachability. C5 (Observable Event Primitive): An observable event is the minimum continuation that simultaneously carries two independent degrees of freedom: propagation (a continuous spatial datum) and residue (a distinct temporal datum). C5 bridges transition structure and observation, and forces dim_R(D) >= 2 for any admissible scalar algebra D (Lemma D, Section 4.2). §3 The Independence Constraint and Its Algebraic Form C1a is the primitive that does the most structural work in this paper. Its algebraic form is derived immediately. Let T_A and T_B be continuation operators acting on independent subsystems A and B. Their joint continuation must factor as T_AB = T_A ⊗ T_B. Factorization requires that the result is independent of which update was applied first. Otherwise the joint continuation depends on an ordering between independent events, which is additional structure not licensed by C0 to C2. Therefore: [T_A, T_B] = T_A T_B − T_B T_A = 0 for all independent A, B Non-commutativity of independent continuation operators is a direct C1a violation by definition, not a violation of an algebraic nicety. This single equation is the structural spine of the paper. Scope. This commutation requirement applies to the scalar continuation algebra — the algebra of weights on independent continuation amplitudes. Physical symmetry operators (angular momentum generators, Lorentz boosts, gauge generators) act at a different layer and are not required to commute. This restriction is explicit and essential throughout. §4 The Division Algebra Theorem §4.1 Frobenius Reduction [C] Theorem [C]. The admissible scalar continuation algebra D is a finite-dimensional division algebra over R. Proof. The compiled linear state space (C1 + C1a, Paper 1 §4.1) is a vector space over some scalar field D. Four properties of D follow from the primitives: No zero divisors (from C0 + C1): C0 requires nonzero states to remain distinguishable under scalar multiplication. If scalar d ≠ 0 maps nonzero state ψ to zero, two distinct states become indistinguishable — a C0 violation. Additionally, C1 requires that every continuation produces a nonzero successor amplitude. If two nonzero amplitudes a and b satisfy a·b = 0 in D, then applying amplitude a followed by b to a lawful continuation produces a terminated (zero) amplitude state — a C1 violation. Therefore D has no zero divisors from both C0 and C1. Unit element (from C1): C1 requires the composition algebra to have an empty composition (Lemma B). This is the unit element of D. Division algebra (from no zero divisors + unit + finite dimension): For finite-dimensional associative algebras over a field, the combination of no zero divisors and a unit element is equivalent to being a division algebra. Every nonzero element has a two-sided inverse. Over R and finite-dimensional (from C5 + M1): Real scaling is the minimal requirement for continuous amplitude variation. C5 forces dim_R(D) ≥ 2 (see Lemma D). The minimality principle (M1) selects the minimal structure with no unconstrained degrees of freedom: dim_R(D) = exactly 2. Infinite-dimensional scalar structures carry unconstrained degrees of freedom not licensed by any primitive and are excluded by M1. Frobenius (1877): The only finite-dimensional division algebras over R are R (dimension 1), C (dimension 2), and H (dimension 4). Therefore D ∈ {R, C, H}. □ §4.2 The Four Admissible Conditions Any admissible scalar continuation algebra must satisfy four conditions, each compiled from the primitives. Together with Frobenius, these identify C as the unique survivor. Lemma A (Associativity) [C] A physical continuation history is an ordered sequence of lawful continuations. Any algebra representing that history must assign the same aggregate continuation map regardless of how the sequence is parenthesized. If associativity failed, the parenthesization — a bookkeeping convention — rather than the physical history would determine the outcome, violating C0. Therefore D is associative. □ Lemma B (Identity) [C] Sequential composition requires a neutral element — the empty composition e satisfying e ∘ T = T ∘ e = T for all T. The empty composition is not a continuation event; it represents the absence of composition, a structural requirement of the algebra. C1 excludes stationary continuation (T(s) = s as a physical event). It does not exclude the neutral element required by the composition algebra. These apply at different layers: e is required by the algebra and excluded as a physical continuation by C1. No contradiction. Identity is correctly placed in the representational layer. □ Lemma C (Commutativity of the scalar algebra) [C] The scalar weight on a continuation amplitude is itself a continuation operation ψ ↦ a·ψ. For independent amplitudes ψ_A and ψ_B with independent weights a_A and a_B, applying the weights in either order must give the same result — otherwise the combined amplitude depends on ordering between independent operations, which is a direct C1a violation. Therefore a_A · a_B = a_B · a_A for all elements of D. D is commutative. □ Lemma D (Two-dimensional) [C + M1] C5 requires every observable event to simultaneously carry two independent degrees of freedom: propagation and residue. These are not the same degree of freedom. A one-dimensional algebra has only one real degree of freedom and its only intrinsic transformation generates Z_2, which is discrete and cannot encode continuous propagation. Therefore: C5 forces: dim_R(D) ≥ 2 (lower bound) M1 selects: dim_R(D) = 2 (minimality) Higher-dimensional structures (quaternions, octonions, and beyond) carry additional degrees of freedom not licensed by any primitive. They are excluded by M1, not by a physical prohibition. The paper answers 'why not four?' with: four is not forced. Two is forced, and M1 selects the minimum forced structure. □ §4.3

•Jul 26, 2026•0 citations

An improved formulation of some theorems and axioms in the axiomatic foundation of the Hilbert space structure of quantum mechanics

Günther Ludwig

Communications in Mathematical Physics•Mar 1, 1972•14 citations
ZIERLER plausible properties imply all the others (Theorem 1.1).This work is a modification of part of a thesis submitted to the Department of Mathematics of Harvard University in partial fulfillment of the requirements for the degree of Doctor of Philosophy.1. Events and states: preliminaries• Let P be a partly ordered set with least and greatest elements 0 and 1 respectively.If the greatest lower bound or least upper bound of elements a and b of P exists in P it is denoted ab or a V b respectively.Let a->a' be an orthocomplementation in P; that is, for each a e P, a' e P and(1) (α')' = α, (2) a < b if and only if V < a\ (3) a! is a complement of a; i.e., a'a and a V a! exist and equal 0 and 1 respectively.Two elements a and b of P are said to be orthogonal, a L δ, if and only if α ^ δ'.Clearly a J b is equivalent to b J_ α.If Q is a set of pairwise orthogonal elements of P we shall say, for short, that Q is orthogonal.It is easy to see that De Morgan's law holds in P: (ab)' = α' V V in the sense that if either ab or α/ V V exists, so does the other and the equality holds.We assume that P satisfies (LI) If {a lf a 29 •••} is orthogonal, then \fa { exists in P.It follows readily that a variety of sups and infs exists in P: e.g., δ'c', δα' and ba f V a if b J_ c and α ^ 6; if 6 X <£ & 2 ^ then V^ = 6χ V b 2 b[ V 6 3 &2 V .Consider the following three properties for P. (W ) a ^ b implies b = ba' V a, (Wl) α ^ b and 6α' = 0 imply a = b, (W2) α ^ c and & J_ c imply (a V δ)c = α. 1 LEMMA 1.1.// (W) holds then a A_b implies b = (α V δ)α'.Proo/.α ^ &' so 6' = b'a f V α by (W) and 6 = (&W V a)' = (a V δ)α' LEMMA 1.2.J/ (W) holds and a, b and c are pairwise orthogonal, then (a V &)(α Vc) = α and (a
Continuing the development [4] of an aspect of the approach to the axiomatization of quantum mechanics of G. W. Mackey [3], we consider here the real linear space X of signed measures on the set P of events generated by the states, and the set F0 of linear functionals on X which are induced in a natural way by the bounded observables. A necessary and sufficient condition for two events to be simultaneously measurable is found in terms of the order structure of F0, with the following consequence: if F0 is a lattice, P is deterministic. At the opposite extreme, F0 is said to be an anti-lattice1 if the greatest lower bound exists only for comparable pairs of its elements and we show in this case that the center of P is trivial. Our results extend those of R. V. Kadison [l], in which F0 and P are the self-adjoint operators and projections respectively in a uniformly closed self-adjoint operator algebra. While the framework and plan of the proofs were inspired by Kadison's work, almost none of the apparatus used by him is available here with the result that, in detail, our techniques are quite different from his. Let P be a weakly modular partially ordered set (see [4]). A function x from P to the non-negative real numbers and + oo is said to be a measure if x(0) =0 and x is countably additive in the sense that whenever {a,} is a pairwise orthogonal sequence of elements of P, then x(Ua?) = 2Zxiad- If x is a measure and {bt} EP is an increasing (decreasing) sequence with supremum (infimum) b, then x(&?) —*x(6). A countably additive function x from P to the extended real numbers is a signed measure if x(0) =0 and x takes on at most one of the values + =o and — oo ; x is finite if x(l) is finite. Define the functions 5 and i on the signed measures on P by six) = sup(x(a) : aEP\, fx) =inf {x(a): aEP} and set ||x|| =s(x)—?(x). Clearly ||x|| < oo if and only if x is finite. It iseasy toseethat||x|| = sup {x(a)— xia'):aE P} ■ Lemma 1. Let X be a real linear space of finite signed measures on P. Then the function || || defined above is a norm for X and, under this norm and its natural partial ordering, X is a partially ordered normed linear space. That is,2
The purpose of this paper is to give an axiom system for quantum logic. Here quantum logic is considered to have the structure of an orthomodular lattice. Some authors assume that it has the structure of an orthomodular poset. In finding this axiom system the implication algebra given in Finch [1] has been very useful. Finch shows there that this algebra can be produced from an orthomodular lattice and vice versa. Definition. An orthocomplementation N on a poset (partially ordered set) whose partial ordering is denoted by ≤ and which has least and greatest elements 0 and 1 is a unary operation satisfying the following: (1) the greatest lower bound of a and Na exists and is 0, (2) a ≤ b implies Nb ≤ Na, (3) NNa = a. Definition. An orthomodular lattice is a lattice with meet ∧, join ∨, least and greatest elements 0 and 1 and an orthocomplementation N satisfying where a ≤ b means a ∧ b = a, as usual. Definition. A Finch implication algebra is a poset with a partial ordering ≤, least and greatest elements 0 and 1 which is orthocomplemented by N. In addition, it has a binary operation → satisfying the following: An orthomodular lattice gives a Finch implication algebra by defining → by A Finch implication algebra can be changed into an orthomodular lattice by defining the meet ∧ and join ∨ by The orthocomplementation is unchanged in both cases.
I discuss a set of strong, but probabilistically intelligible, axioms from which one can {\em almost} derive the appratus of finite dimensional quantum theory. Stated informally, these require that systems appear completely classical as restricted to a single measurement, that different measurements, and likewise different pure states, be equivalent (up to the action of a compact group of symmetries), and that every state be the marginal of a bipartite non-signaling state perfectly correlating two measurements. This much yields a mathematical representation of measurements and states that is already very suggestive of quantum mechanics. In particular, in any theory satisfying these axioms, measurements can be represented by orthonormal subsets of, and states, by vectors in, an ordered real Hilbert space -- in the quantum case, the space of Hermitian operators, with its usual tracial inner product. One final postulate (a simple minimization principle, still in need of a clear interpretation) forces the positive cone of this space to be homogeneous and self-dual and hence, to be the the state space of a formally real Jordan algebra. From here, the route to the standard framework of finite-dimensional quantum mechanics is quite short.
Independence, Algebra, And Action Compiling the Complex Scalar Field and Hamilton's Principle Driven by Dean Kulik July 2026 Abstract Standard quantum mechanics assumes complex amplitudes. Classical and quantum mechanics assume Hamilton's principle. Neither is derived; both are imported. This paper compiles both from the same five primitive constraints {C0, C1, C1a, C2, C5} established in Paper 1. Two main theorems are proved. First, the Division Algebra Theorem: the unique admissible scalar continuation algebra is the complex numbers C, established by reducing to the Frobenius candidates {R, C, H}, eliminating R via C5's dual degree-of-freedom requirement, and eliminating H via the simplicity of H as a real algebra combined with C1a's independence constraint. Second, the Extremal Theorem: a field configuration is locally admissible under the compiled constraints if and only if it extremizes the action functional delta S = 0. Hamilton's principle is the global expression of local C1-consistency. A compiled Measurement Theorem follows from the channel decomposition forced by C5: collapse is a C2 history-update, not a C1 transition. The independence constraint [T_A, T_B] = 0 serves as the structural spine: it compiles conservation (C3 to L3), forces the complex scalar field (Division Algebra Theorem), and will constrain gauge sector factorization. One axiom. Three compiled results. §1 Introduction Two of the deepest assumptions in physics are that quantum amplitudes are complex-valued and that physical trajectories extremize the action. Both are usually treated as foundational inputs. The goal of this paper is to show both are compiled consequences of a primitive constraint set that mentions neither. The companion paper (Paper 1) compiled: conservation, locality, the free-field Lagrangian L, and the wave equation, from the five primitive constraints {C0, C1, C1a, C2, C5}. The present paper derives two further results from the same set, and establishes the structural connection between them. The two theorems share the same spine. The independence constraint C1a — that independent distinctions continue independently — has the algebraic form [T_A, T_B] = 0 for independent operators. This single condition eliminates quaternionic scalar algebras (Division Algebra Theorem), blocks coordinated creation-destruction channels (compiling conservation), and will factorize the gauge group (T5, T6). Section 7 develops this as the Independence Spine Theorem. Paper scope. Both theorems concern the free field (Paper 1, C8). Interactions require C9 (equivalence class coupling) and are addressed in Paper 4. The Measurement Theorem (Section 5) is fully compiled. The Born rule requires one additional input (C7 geometry; see Section 5.3 and open problem Omega_B). §2 The Primitive Constraints The irreducible primitive set established in Paper 1 is {C0, C1, C1a, C2, C5}. Conservation (L3) and locality (L4) are compiled consequences of this set, not primitives. The definitions are reproduced here for self-containment. C0 (Distinction exists): At least two states exist that are not identical. This is the minimum condition for any structure to be meaningful. C1 (Continuation exists): Every admissible state s admits at least one successor state s' with s' not equal to s under the transition algebra. Terminal states and stationary continuation are excluded. The identity element e of the composition algebra (empty composition, satisfying e composed with T = T) is required by the algebra but is not itself a physical continuation event (Lemma B, Section 4.2). C1a (Independence Preservation): Independent distinctions remain independently continuable. The continuation of A cannot depend on the presence or continuation of B when A and B are independent. C2 (History Preservation): Every continuation preserves the set of states reachable from prior states in the history. C2 forbids deletion of accessible states from the transition graph and establishes the ordering relation from reachability. C5 (Observable Event Primitive): An observable event is the minimum continuation that simultaneously carries two independent degrees of freedom: propagation (a continuous spatial datum) and residue (a distinct temporal datum). C5 bridges transition structure and observation, and forces dim_R(D) >= 2 for any admissible scalar algebra D (Lemma D, Section 4.2). §3 The Independence Constraint and Its Algebraic Form C1a is the primitive that does the most structural work in this paper. Its algebraic form is derived immediately. Let T_A and T_B be continuation operators acting on independent subsystems A and B. Their joint continuation must factor as T_AB = T_A ⊗ T_B. Factorization requires that the result is independent of which update was applied first. Otherwise the joint continuation depends on an ordering between independent events, which is additional structure not licensed by C0 to C2. Therefore: [T_A, T_B] = T_A T_B − T_B T_A = 0 for all independent A, B Non-commutativity of independent continuation operators is a direct C1a violation by definition, not a violation of an algebraic nicety. This single equation is the structural spine of the paper. Scope. This commutation requirement applies to the scalar continuation algebra — the algebra of weights on independent continuation amplitudes. Physical symmetry operators (angular momentum generators, Lorentz boosts, gauge generators) act at a different layer and are not required to commute. This restriction is explicit and essential throughout. §4 The Division Algebra Theorem §4.1 Frobenius Reduction [C] Theorem [C]. The admissible scalar continuation algebra D is a finite-dimensional division algebra over R. Proof. The compiled linear state space (C1 + C1a, Paper 1 §4.1) is a vector space over some scalar field D. Four properties of D follow from the primitives: No zero divisors (from C0 + C1): C0 requires nonzero states to remain distinguishable under scalar multiplication. If scalar d ≠ 0 maps nonzero state ψ to zero, two distinct states become indistinguishable — a C0 violation. Additionally, C1 requires that every continuation produces a nonzero successor amplitude. If two nonzero amplitudes a and b satisfy a·b = 0 in D, then applying amplitude a followed by b to a lawful continuation produces a terminated (zero) amplitude state — a C1 violation. Therefore D has no zero divisors from both C0 and C1. Unit element (from C1): C1 requires the composition algebra to have an empty composition (Lemma B). This is the unit element of D. Division algebra (from no zero divisors + unit + finite dimension): For finite-dimensional associative algebras over a field, the combination of no zero divisors and a unit element is equivalent to being a division algebra. Every nonzero element has a two-sided inverse. Over R and finite-dimensional (from C5 + M1): Real scaling is the minimal requirement for continuous amplitude variation. C5 forces dim_R(D) ≥ 2 (see Lemma D). The minimality principle (M1) selects the minimal structure with no unconstrained degrees of freedom: dim_R(D) = exactly 2. Infinite-dimensional scalar structures carry unconstrained degrees of freedom not licensed by any primitive and are excluded by M1. Frobenius (1877): The only finite-dimensional division algebras over R are R (dimension 1), C (dimension 2), and H (dimension 4). Therefore D ∈ {R, C, H}. □ §4.2 The Four Admissible Conditions Any admissible scalar continuation algebra must satisfy four conditions, each compiled from the primitives. Together with Frobenius, these identify C as the unique survivor. Lemma A (Associativity) [C] A physical continuation history is an ordered sequence of lawful continuations. Any algebra representing that history must assign the same aggregate continuation map regardless of how the sequence is parenthesized. If associativity failed, the parenthesization — a bookkeeping convention — rather than the physical history would determine the outcome, violating C0. Therefore D is associative. □ Lemma B (Identity) [C] Sequential composition requires a neutral element — the empty composition e satisfying e ∘ T = T ∘ e = T for all T. The empty composition is not a continuation event; it represents the absence of composition, a structural requirement of the algebra. C1 excludes stationary continuation (T(s) = s as a physical event). It does not exclude the neutral element required by the composition algebra. These apply at different layers: e is required by the algebra and excluded as a physical continuation by C1. No contradiction. Identity is correctly placed in the representational layer. □ Lemma C (Commutativity of the scalar algebra) [C] The scalar weight on a continuation amplitude is itself a continuation operation ψ ↦ a·ψ. For independent amplitudes ψ_A and ψ_B with independent weights a_A and a_B, applying the weights in either order must give the same result — otherwise the combined amplitude depends on ordering between independent operations, which is a direct C1a violation. Therefore a_A · a_B = a_B · a_A for all elements of D. D is commutative. □ Lemma D (Two-dimensional) [C + M1] C5 requires every observable event to simultaneously carry two independent degrees of freedom: propagation and residue. These are not the same degree of freedom. A one-dimensional algebra has only one real degree of freedom and its only intrinsic transformation generates Z_2, which is discrete and cannot encode continuous propagation. Therefore: C5 forces: dim_R(D) ≥ 2 (lower bound) M1 selects: dim_R(D) = 2 (minimality) Higher-dimensional structures (quaternions, octonions, and beyond) carry additional degrees of freedom not licensed by any primitive. They are excluded by M1, not by a physical prohibition. The paper answers 'why not four?' with: four is not forced. Two is forced, and M1 selects the minimum forced structure. □ §4.3