Quantum uncertainty in a macroscopic domain

• URL: http://arxiv.org/abs/2608.09262v1
• Date: Mon, 10 Aug 2026 08:18:45 GMT
• Title: Quantum uncertainty in a macroscopic domain
• Abstract summary: We develop a classical model-theoretic representation of partial Boolean algebras.<n>We use it to formulate quantum-like uncertainty without abandoning classical propositional logic.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We develop a classical model-theoretic representation of partial Boolean algebras and use it to formulate quantum-like uncertainty without abandoning classical propositional logic. Given a surjection from the initial formulæ of a propositional language onto a partial Boolean algebra $(\mathcal V,Π)$, we construct a consistent theory $\mathcal T_g$ whose core---the ordered set of equivalence classes of initial formulæ---is isomorphic to $(\mathcal V,Π)$. Its models are characterized as upward-closed clusters, yielding a model-theoretic formulation of KS-colourability: an $n$-dimensional partial Boolean algebra is KS-colourable exactly when the induced theory has a model meeting every pre-frame in one primitive formula. For finite-spectrum observables, uncertainty is defined by the number of locally admissible atomic outcomes. Dispersion-free models are characterized by the singleton pre-frame condition. With an additional measurement-update postulate, a finite example shows how measurement of an incompatible observable can destroy sharpness, providing a model-theoretic form of back-action. A $12$-vertex partial Boolean algebra is KS-colourable, whereas a rigorously constructed $140$-vertex, four-dimensional partial Boolean algebra is not, as shown by a parity argument; its incidence structure is isomorphic to the Peres $24$-ray, $24$-basis configuration in $\mathbb R^4$. Macroscopic interpretations show that these phenomena arise from the organization of propositions and models rather than from nonclassical deduction. Finally, we relate certain models to the probability-one propositions of pure states and density operators, while emphasizing that such certainty models do not determine the full quantum state.

Related papers

• A homotopy-type-theoretic generalization of neurosymbolic inference [46.36639624013224]
  neurosymbolic (NeSy) systems compute one functional: a belief-weighted sum of a logical quantity over a space of $$-structures.<n>We develop the framework from scratch for NeSy systems, prove a conservativity theorem that recovers the classical functional when symmetries are trivial, and show that the symmetry our framework exposes is exactly the one behind reasoning shortcuts.
  arXiv  Detail & Related papers  (2026-06-16T12:22:12Z)
• Quantum simulation of massive Thirring and Gross--Neveu models for arbitrary number of flavors [40.72140849821964]
  We consider the massive Thirring and Gross-Neveu models with arbitrary number of fermion flavors, $N_f$, discretized on a spatial one-dimensional lattice of size $L$.<n>We prepare the ground states of both models with excellent fidelity for system sizes up to 20 qubits with $N_f = 1,2,3,4$.<n>Our work is a concrete step towards the quantum simulation of real-time dynamics of large $N_f$ fermionic quantum field theories models.
  arXiv  Detail & Related papers  (2026-02-25T19:00:01Z)
• A Foundational Theory of Quantitative Abstraction: Adjunctions, Duality, and Logic for Probabilistic Systems [2.362412515574206]
  Large or continuous state spaces make exact analysis intractable and call for principled quantitative abstraction.<n>This work develops a unified theory of such abstraction by integrating category theory, coalgebra, quantitative logic, and optimal transport.
  arXiv  Detail & Related papers  (2025-10-22T10:16:24Z)
• Trading Mathematical for Physical Simplicity: Bialgebraic Structures in Matrix Product Operator Symmetries [20.76275069383104]
  We show that simple quantum spin chains of physical interest are not included in the rigid framework of fusion categories and weak Hopf algebras.<n>We show that our work provides a bridge between well-understood topological defect symmetries and those that arise in more realistic models.
  arXiv  Detail & Related papers  (2025-09-03T18:01:22Z)
• Bridging conformal field theory and parton approaches to SU(n)_k chiral spin liquids [21.876059213677966]
  We employ the $mathrmSU(n)_k$ Wess-Zumino-Witten (WZW) model in conformal field theory to construct lattice wave functions in both one and two dimensions.<n>The spins on all lattice sites are chosen to transform under the $mathrmSU(n)$ irreducible representation with a single row and $k$ boxes in the Young tableau.
  arXiv  Detail & Related papers  (2025-01-16T14:42:00Z)
• Polynomially restricted operator growth in dynamically integrable models [0.0]
  We show that each Hamiltonian defines an equivalence relation, causing the operator space to be partitioned into equivalence classes.<n>We provide a method to determine the dimension of the equivalence classes and evaluate it for various models, such as the $ XY $ chain and Kitaev model on trees.<n>Our methods are used to reveal several new cases of simulable quantum dynamics, including a $XY$-$ZZ$ model which cannot be reduced to free fermions.
  arXiv  Detail & Related papers  (2024-06-18T19:37:47Z)
• A statistical model for quantum spin and photon number states [0.0]
  We show that the probabilities that arise in quantum theory can be reduced to counting more fundamental ontic states.<n>A completely self contained formalism is developed for the purpose of organizing and counting these ontic states.<n>This formalism is then used to calculate probability distributions associated with particles of arbitrary spin interacting with sequences of two rotated Stern-Gerlach detectors.
  arXiv  Detail & Related papers  (2023-04-21T20:30:33Z)
• The unstable formula theorem revisited via algorithms [18.557423328068122]
  In response to gaps in existing learning models, we introduce a new statistical learning model, called Probably Eventually Correct'' or PEC.<n>We characterize Littlestone (stable) classes in terms of this model.<n>In order to obtain a characterization of Littlestone classes in terms of frequent definitions, we build an equivalence theorem highlighting what is common to many existing approximation algorithms.
  arXiv  Detail & Related papers  (2022-12-09T18:53:34Z)
• On the reality of the quantum state once again: A no-go theorem for $\psi$-ontic models [0.0]
  We show that $psi$-ontic models, as defined by Harrigan and Spekkens (HS), cannot reproduce quantum theory. HS categorization itself is problematic as it leaves no space for models that can reproduce quantum theory.
  arXiv  Detail & Related papers  (2022-01-27T22:55:23Z)
• The classical limit of Schr\"{o}dinger operators in the framework of Berezin quantization and spontaneous symmetry breaking as emergent phenomenon [0.0]
  A strict deformation quantization is analysed on the classical phase space $bR2n$. The existence of this classical limit is in particular proved for ground states of a wide class of Schr"odinger operators. The support of the classical state is included in certain orbits in $bR2n$ depending on the symmetry of the potential.
  arXiv  Detail & Related papers  (2021-03-22T14:55:57Z)
• Proof of the Contiguity Conjecture and Lognormal Limit for the Symmetric Perceptron [21.356438315715888]
  We consider the symmetric binary perceptron model, a simple model of neural networks. We establish several conjectures for this model. Our proof technique relies on a dense counter-part of the small graph conditioning method.
  arXiv  Detail & Related papers  (2021-02-25T18:39:08Z)
• Sub-bosonic (deformed) ladder operators [62.997667081978825]
  We present a class of deformed creation and annihilation operators that originates from a rigorous notion of fuzziness. This leads to deformed, sub-bosonic commutation relations inducing a simple algebraic structure with modified eigenenergies and Fock states. In addition, we investigate possible consequences of the introduced formalism in quantum field theories, as for instance, deviations from linearity in the dispersion relation for free quasibosons.
  arXiv  Detail & Related papers  (2020-09-10T20:53:58Z)

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.