pith. sign in

arxiv: 2604.03324 · v1 · submitted 2026-04-02 · 🧮 math.LO · cs.LO· math.RA

The first fatal axiom for weakened sequential products on finite MV-effect algebras: Local obstruction, exact low-rank classification, and the rank-one boundary case

Joaquim Reizi Higuchi This is my paper

Pith reviewed 2026-05-13 20:29 UTC · model grok-4.3

classification 🧮 math.LO cs.LOmath.RA
keywords MV-effect algebrassequential productseffect algebrasBoolean algebrasisotropic indexadditive mapssimplicial intervalsnonnegative matrices
0
0 comments X

The pith

Finite MV-effect algebras admit operations satisfying the first four sequential-product axioms if and only if they are Boolean.

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

The paper examines total binary operations on effect algebras obtained by taking initial segments of the standard axiom set for a sequential product. It establishes that any operation obeying the first three axioms can be defined on non-Boolean structures, yet the fourth axiom already forces the right-unit law and creates a local obstruction whenever an atom has isotropic index at least 2. Because every non-Boolean finite MV-effect algebra contains such an atom, the only finite MV-effect algebras that support an operation meeting axioms S1 through S4 are the Boolean ones. The work also supplies an exact matrix description of all maps obeying the first two axioms and enumerates the 34 possibilities that satisfy S1-S3 on the smallest higher-rank Boolean algebra.

Core claim

Any total binary operation satisfying (S1)-(S4) on an effect algebra automatically obeys the right-unit law a ∘ 1 = a. Moreover, no operation satisfying (S1)-(S4) can exist on an effect algebra that contains an atom of finite isotropic index at least 2. Consequently, a finite MV-effect algebra admits an (S1)-(S4) operation precisely when it is Boolean. Additive maps between simplicial intervals E_u = [0,u] ⊆ Z^r and E_v = [0,v] ⊆ Z^s are exactly the restrictions of positive group homomorphisms, which are given by nonnegative integer matrices M satisfying M u ≤ v. This yields a complete classification of all (S1)+(S2) operations and shows that the 34 (S1)-(S3) operations on the rank-two case

What carries the argument

The local obstruction theorem: an effect algebra containing an atom of finite isotropic index at least 2 admits no operation satisfying (S1)-(S4). The supporting machinery is the representation of finite MV-effect algebras by simplicial intervals together with the bijection between additive maps on those intervals and nonnegative integer matrices M with M u ≤ v.

If this is right

  • The explicit operation that returns 0 when the first argument is 0 and the second argument otherwise satisfies S1-S3 on every effect algebra.
  • Every operation satisfying S1-S4 automatically satisfies the right-unit law.
  • On the rank-two Boolean algebra there exist exactly 34 distinct operations obeying S1-S3.
  • The failure of sequential-product axioms on finite chains occurs already at S3, but the corresponding failure on general finite MV-effect algebras occurs only at S4.
  • All (S1)+(S2) operations on any finite MV-effect algebra are given by row-wise subunital nonnegative integer matrices.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Further weakening by dropping S4 might permit non-Boolean examples, which could be enumerated using the same matrix classification.
  • The obstruction at S4 may persist for partial operations or for effect algebras that are not MV.
  • The exact count of 34 operations on the rank-two case supplies a baseline for checking whether similar enumerations on rank-three Boolean algebras remain feasible.
  • The simplicial-interval representation could be used to decide, for any given finite MV-effect algebra, whether an (S1)-(S4) operation exists by checking the isotropic indices of its atoms.

Load-bearing premise

Every finite MV-effect algebra can be represented faithfully as a simplicial interval in some Z^r, and every additive map between such intervals arises exactly as the restriction of a positive group homomorphism realized by a nonnegative integer matrix.

What would settle it

Exhibit a concrete non-Boolean finite MV-effect algebra together with an explicit total operation that satisfies axioms S1 through S4, or prove that no such operation exists on any non-Boolean example.

read the original abstract

We study total binary operations on effect algebras obtained by truncating the Gudder-Greechie axiom package for a sequential product. The point is not to reprove the known nonexistence of non-Boolean full sequential products on finite chains, but to determine, axiom by axiom, where finite MV-effect algebras first fail. We prove two structural facts valid on every effect algebra. First, the operation \sigma_E(a,b) = 0 if a=0, and b if a \neq 0, satisfies (S1)-(S3), so (S3) is never fatal by itself. Second, any operation satisfying (S1)-(S4) already has the right-unit property a \circ 1 = a, even without (S5). From this we derive a local obstruction theorem: if an effect algebra contains an atom of finite isotropic index at least 2, then it admits no (S1)-(S4) operation. Consequently, a finite MV-effect algebra admits such an operation if and only if it is Boolean. In this precise sense, (S4) is the first fatal axiom on finite MV-effect algebras. On the constructive side, let E_u = [0,u] \subseteq Z^r be the simplicial interval representation of a finite MV-effect algebra. We show that additive maps E_u \to E_v are exactly the restrictions of positive group homomorphisms Z^r \to Z^s, equivalently maps x \mapsto Mx given by nonnegative integer matrices with Mu \le v. This yields a complete classification of (S1)+(S2) operations by row-wise subunital matrices. We then solve the first genuinely higher-rank (S1)-(S3) problem: on the rank-two Boolean algebra B_2 = E_{(1,1)} \cong C_1^2, all such operations are classified and there are exactly 34. Thus the finite-chain collapse at (S3) is a rank-one boundary phenomenon, whereas on finite MV-effect algebras the sharp threshold for nonexistence occurs exactly at (S4).

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper examines total binary operations on finite MV-effect algebras obtained by truncating the Gudder-Greechie axiom package for sequential products. It proves two structural facts on arbitrary effect algebras: the explicit operation σ_E satisfying (S1)-(S3), and that any operation satisfying (S1)-(S4) already obeys the right-unit law a ∘ 1 = a. This yields a local obstruction: no (S1)-(S4) operation exists on any effect algebra containing an atom of isotropic index ≥2. Consequently, a finite MV-effect algebra admits such an operation if and only if it is Boolean, so that (S4) is the first fatal axiom. On the constructive side, additive maps on the simplicial interval representation E_u = [0,u] ⊆ Z^r are characterized as restrictions of positive group homomorphisms, equivalently given by nonnegative integer matrices with Mu ≤ v; this classifies all (S1)+(S2) operations, and the paper enumerates exactly 34 such operations on the rank-two Boolean algebra B_2 ≅ C_1^2.

Significance. If the results hold, the work supplies a sharp axiomatic threshold for weakened sequential products on finite MV-effect algebras, separating the failure of (S4) from the known nonexistence results for full sequential products. Strengths include the two general facts valid on every effect algebra, the local obstruction theorem, the matrix characterization of additive maps via nonnegative integer matrices, and the explicit enumeration of 34 operations on B_2. These elements provide both an obstruction proof independent of the representation and a constructive classification that is parameter-free in the stated sense.

minor comments (2)
  1. [Abstract and § on rank-two classification] The abstract states that exactly 34 operations exist on B_2; a brief indication in the main text (e.g., a reference to the proposition or computational enumeration method) would make the count immediately verifiable without requiring the reader to reconstruct the enumeration from the matrix classification alone.
  2. [Section introducing the representation] The simplicial-interval representation E_u = [0,u] ⊆ Z^r is invoked for the constructive classification; a short sentence citing the prior result that every finite MV-effect algebra admits such a representation would remove any ambiguity about completeness.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for the positive assessment of its contributions, including the structural facts on effect algebras, the local obstruction theorem, the matrix characterization of additive maps, and the enumeration of the 34 operations on B_2. We are pleased by the recommendation to accept.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation relies on two general facts proven for arbitrary effect algebras: an explicit operation satisfying (S1)-(S3) and the right-unit property implied by (S1)-(S4). These yield the local obstruction for atoms of isotropic index >=2 without reducing to fitted parameters, self-definitions, or self-citations. The Boolean iff statement follows immediately from the decomposition of finite MV-effect algebras into chains. The simplicial-interval representation and matrix classification are used only for the constructive (S1)-(S3) side on Boolean algebras and do not support the obstruction direction. All steps are self-contained against standard definitions of effect algebras and lattice representations.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on the standard axiomatic definition of effect algebras and the simplicial representation of finite MV-effect algebras inside integer lattices; no free parameters are fitted and no new entities are postulated.

axioms (2)
  • domain assumption Effect algebras satisfy the standard axioms including partial order, orthosupplement, and orthosum rules.
    Invoked as background for all structural facts and the obstruction theorem.
  • domain assumption Finite MV-effect algebras admit a simplicial interval representation E_u = [0,u] ⊆ Z^r.
    Used to reduce additive maps to nonnegative integer matrices with Mu ≤ v.

pith-pipeline@v0.9.0 · 5702 in / 1546 out tokens · 48122 ms · 2026-05-13T20:29:48.249815+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

8 extracted references · 8 canonical work pages

  1. [1]

    D. J. Foulis and M. K. Bennett, Effect algebras and unsharp quantum logics,Foundations of Physics24(1994), no. 10, 1331–1352. doi:10.1007/BF02283036

    work page doi:10.1007/bf02283036 1994

  2. [2]

    Sequential products on effect algebras , url =

    S. Gudder and R. Greechie, Sequential products on effect algebras,Reports on Mathe- matical Physics49(2002), no. 1, 87–111. doi:10.1016/S0034-4877(02)80007-6

    work page doi:10.1016/s0034-4877(02)80007-6 2002

  3. [3]

    Gudder and R

    S. Gudder and R. Greechie, Uniqueness and order in sequential effect algebras,Interna- tional Journal of Theoretical Physics44(2005), no. 7, 755–770. doi:10.1007/s10773-005- 7054-y

    work page doi:10.1007/s10773-005- 2005

  4. [4]

    Jenčová and S

    A. Jenčová and S. Pulmannová, A note on effect algebras and dimension theory of AF C∗-algebras,Reports on Mathematical Physics62(2008), no. 2, 205–218

    work page 2008

  5. [5]

    Tkadlec, Atomic sequential effect algebras,International Journal of Theoretical Physics47(2008), no

    J. Tkadlec, Atomic sequential effect algebras,International Journal of Theoretical Physics47(2008), no. 1, 185–192. doi:10.1007/s10773-007-9492-1

    work page doi:10.1007/s10773-007-9492-1 2008

  6. [6]

    van de Wetering, Three characterisations of the sequential product,Journal of Mathematical Physics59(2018), 082202

    J. van de Wetering, Three characterisations of the sequential product,Journal of Mathematical Physics59(2018), 082202. doi:10.1063/1.5031089

    work page doi:10.1063/1.5031089 2018

  7. [7]

    Westerbaan, B

    A. Westerbaan, B. Westerbaan, and J. van de Wetering, The three types of normal sequential effect algebras,Quantum4(2020), 378. doi:10.22331/q-2020-12-24-378

    work page doi:10.22331/q-2020-12-24-378 2020

  8. [8]

    Jenčová and S

    A. Jenčová and S. Pulmannová, Spectrality in convex sequential effect algebras,Inter- national Journal of Theoretical Physics62(2023), article 193. doi:10.1007/s10773-023- 05431-8. 12

    work page doi:10.1007/s10773-023- 2023