L-mosaics and orthomodular lattices

In this paper, we introduce a class of hypercompositional structures called dualizable L-mosaics. We prove that their category is equivalent to that formed by ortholattices and we formulate an algebraic property characterizing orthomodularity, suggesting possible applications to quantum logic.

💡 Research Summary

This paper establishes a profound connection between two distinct areas of mathematics: the theory of hypercompositional structures and the theory of orthomodular lattices, with significant implications for quantum logic.

The authors introduce a new class of algebraic structures called “dualizable L-mosaics.” These are built upon the more general concept of a “mosaic,” which is a commutative, unital magma equipped with a multi-valued operation (a multimap) that satisfies a specific reversibility condition. An L-mosaic further satisfies four axioms (Lms1-Lms4). These axioms ensure the structure has a natural partial order (defined by y ≤ x iff y ∈ x⊞x) and other lattice-like properties. A dualizable L-mosaic additionally comes with an involution π that makes its “dual” structure (with operation defined via π) also an L-mosaic.

The paper’s first major contribution is the construction of “Nakano mosaics.” For any bounded lattice L, one can define a multi-operation where x⊞y is the set of elements z that are “modular” with respect to the join x∨y (i.e., x∨y = x∨z = z∨y). This construction yields a specific type of mosaic intimately linked to the lattice’s order structure.

The central result of the paper is a categorical equivalence. The authors prove that the category of dualizable L-mosaics (with appropriate morphisms) is equivalent to the category of ortholattices. The equivalence functors work as follows: from an ortholattice (L, ∧, ∨, 0, 1, π), one takes its additive Nakano mosaic (L, ⊞, 0) and uses the orthocomplementation π as the dualizing map. Conversely, from a dualizable L-mosaic (A, ⊞, 0, π), one recovers a lattice by using the defined order ≤ and defining join and meet through the mosaic operation’s properties, with π serving as the orthocomplementation.

Building on this equivalence, the paper provides a novel algebraic characterization of orthomodularity—a crucial property in quantum logic where it replaces the distributivity of classical logic. The authors formulate a property within the language of L-mosaics (involving the behavior of submosaics generated by comparable elements) that corresponds precisely to the orthomodular law in the associated ortholattice. This translation offers a fresh perspective on orthomodularity, divorcing it from its traditional order-theoretic context and recasting it in the language of multi-valued operations.

The work is positioned as foundational, suggesting that the framework of L-mosaics could offer a more flexible or insightful way to model the logical structure of quantum systems, potentially leading to new developments in quantum logic and the foundations of quantum mechanics. The paper meticulously lays out the necessary definitions, proves fundamental lemmas about the structure of mosaics and L-mosaics, and carefully constructs the categorical equivalence, making it a self-contained and significant contribution to the field.