Quantum Logic as the Logic of Contexts

• URL: http://arxiv.org/abs/2607.09032v1
• Date: Fri, 10 Jul 2026 01:41:50 GMT
• Title: Quantum Logic as the Logic of Contexts
• Abstract summary: We argue for the opposite order of explanation in a finite and fully computable setting.<n>Reading the first factor as a register of contexts we get a calculus whose elements are context--bit-vector pairs.<n>We show that orthocomplementation rearranges the layers exactly as the complementation of the small factor rearranges its elements.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Quantum logic is usually presented as a non-classical departure from ordinary reasoning forced on us by quantum mechanics, with classical logic kept as the secure starting point. We argue for the opposite order of explanation in a finite and fully computable setting. The free orthomodular lattice on two generators has ninety-six elements, the direct product of a six-element non-distributive factor and a sixteen-element Boolean factor. Reading the first factor as a register of contexts and the second as Boolean content, we obtain a calculus whose elements are context--bit-vector pairs and whose operations act component by component. With this calculus we establish three results. First, we classify the six layers by commutativity, identifying the central kernel of context-neutral propositions together with a dual central layer in which all complementary contexts are present. Second, we show that orthocomplementation rearranges the layers exactly as the complementation of the small factor rearranges its elements, which makes the duality among the layers rigid rather than accidental. Third, we prove that the operation forgetting the context is a surjective homomorphism of orthocomplemented lattices whose quotient is the classical Boolean algebra, so that classical logic is a six-to-one, information-losing image of the contextual calculus.

Related papers

• Contextuality as a Left Adjoint: A Categorical Generation of Orthomodular Structure [2.1972716270608927]
  We show that non-distributive orthomodular structure arises canonically as a left adjoint from classical Boolean contexts.<n>We establish a precise correspondence between contextuality as a sheaf obstruction and non-distributivity as a colimit failure.
  arXiv  Detail & Related papers  (2026-03-22T10:34:21Z)
• Transformers learn factored representations [62.86679034549244]
  Transformers pretrained via next token prediction learn to factor their world into parts.<n>We formalize two representational hypotheses: (1) a representation in the product space of all factors, whose dimension grows exponentially with the number of parts.<n>We derive precise predictions about the geometric structure of activations for each, including the number of subspaces, their dimensionality, and the arrangement of context embeddings within them.<n>This provides a principled explanation for why transformers decompose the world into parts, and suggests that interpretable low dimensional structure may persist even in models trained on complex data.
  arXiv  Detail & Related papers  (2026-02-02T17:49:06Z)
• Quantum Universality in Composite Systems: A Trichotomy of Clifford Resources [41.99844472131922]
  We show that for high-dimensional quantum systems, the resources required to break the barrier are strictly governed by the Hilbert space dimension $d$.<n>For prime dimensions, the Clifford group is a maximal finite subgroup, and is robustly achieved by any non-Clifford gate.<n>For composite dimensions with coprime factors, we demonstrate that standard entangling operations alone generate the necessary non-Clifford resources.
  arXiv  Detail & Related papers  (2025-12-23T21:34:41Z)
• The Way from Rota to Quantum Mechanics [0.0]
  This paper traces the journey of Gian-Carlo Rota on making a logic of equivalence relations or partitions.<n> Classical physics lies on the subset side and quantum physics on the partition side of the duality.<n>The lattices of partitions allows the treatment of quantum phenomena in highly simplified but essential terms.
  arXiv  Detail & Related papers  (2025-07-20T13:25:24Z)
• Geometric structure and transversal logic of quantum Reed-Muller codes [51.11215560140181]
  In this paper, we aim to characterize the gates of quantum Reed-Muller (RM) codes by exploiting the well-studied properties of their classical counterparts. A set of stabilizer generators for a RM code can be described via $X$ and $Z$ operators acting on subcubes of particular dimensions.
  arXiv  Detail & Related papers  (2024-10-10T04:07:24Z)
• Pure state entanglement and von Neumann algebras [41.94295877935867]
  We develop the theory of local operations and classical communication (LOCC) for bipartite quantum systems represented by commuting von Neumann algebras.<n>Our central result is the extension of Nielsen's Theorem, stating that the LOCC ordering of bipartite pure states is equivalent to the majorization of their restrictions.<n>In the appendix, we provide a self-contained treatment of majorization on semifinite von Neumann algebras and $sigma$-finite measure spaces.
  arXiv  Detail & Related papers  (2024-09-26T11:13:47Z)
• Fermionic anyons: entanglement and quantum computation from a resource-theoretic perspective [39.58317527488534]
  We develop a framework to characterize the separability of a specific type of one-dimensional quasiparticle known as a fermionic anyon. We map this notion of fermionic-anyon separability to the free resources of matchgate circuits. We also identify how entanglement between two qubits encoded in a dual-rail manner, as standard for matchgate circuits, corresponds to the notion of entanglement between fermionic anyons.
  arXiv  Detail & Related papers  (2023-06-01T15:25:19Z)
• A substructural logic for quantum measurements [1.8782750537161614]
  This paper presents a substructural logic of sequents with very restricted exchange and weakening rules. It is sound with respect to sequences of measurements of a quantic system.
  arXiv  Detail & Related papers  (2022-12-06T09:11:42Z)
• The logic of contextuality [0.0]
  Contextuality is a key signature of quantum non-classicality. We study the logic of contextuality in the setting of partial Boolean algebras.
  arXiv  Detail & Related papers  (2020-11-05T19:04:04Z)
• Relevant OTOC operators: footprints of the classical dynamics [68.8204255655161]
  The OTOC-RE theorem relates the OTOCs summed over a complete base of operators to the second Renyi entropy. We show that the sum over a small set of relevant operators, is enough in order to obtain a very good approximation for the entropy. In turn, this provides with an alternative natural indicator of complexity, i.e. the scaling of the number of relevant operators with time.
  arXiv  Detail & Related papers  (2020-07-31T19:23:26Z)
• Emergence of classical behavior in the early universe [68.8204255655161]
  Three notions are often assumed to be essentially equivalent, representing different facets of the same phenomenon. We analyze them in general Friedmann-Lemaitre- Robertson-Walker space-times through the lens of geometric structures on the classical phase space. The analysis shows that: (i) inflation does not play an essential role; classical behavior can emerge much more generally; (ii) the three notions are conceptually distinct; classicality can emerge in one sense but not in another.
  arXiv  Detail & Related papers  (2020-04-22T16:38:25Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.