Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1904.01364

Algebraic structures identified with bivalent and non-bivalent semantics of experimental quantum propositions

Arkady Bolotin
View original source ↗Read source document ↗Export metadata ↓

Abstract

The failure of distributivity in quantum logic is motivated by the principle of quantum superposition. However, this principle can be encoded differently, i.e., in different logico-algebraic objects. As a result, the logic of experimental quantum propositions might have various semantics. E.g., it might have either a total semantics, or a partial semantics (in which the valuation relation -- i.e., a mapping from the set of atomic propositions to the set of two objects, 1 and 0 -- is not total), or a many-valued semantics (in which the gap between 1 and 0 is completed with truth degrees). Consequently, closed linear subspaces of the Hilbert space representing experimental quantum propositions may be organized differently. For instance, they could be organized in the structure of a Hilbert lattice (or its generalizations) identified with the bivalent semantics of quantum logic or in a structure identified with a non-bivalent semantics. On the other hand, one can only verify -- at the same time -- propositions represented by the closed linear subspaces corresponding to mutually commuting projection operators. This implies that to decide which semantics is proper -- bivalent or non-bivalent -- is not possible experimentally. Nevertheless, the latter allows simplification of certain no-go theorems in the foundation of quantum mechanics. In the present paper, the Kochen-Specker theorem asserting the impossibility to interpret, within the orthodox quantum formalism, projection operators as definite {0,1}-valued (pre-existent) properties, is taken as an example. The paper demonstrates that within the algebraic structure identified with supervaluationism (the form of a partial, non-bivalent semantics), the statement of this theorem gets deduced trivially.

Explore related subjects

quant-phmath-phmath.MP

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Arkady Bolotin. 2019-10-28. Algebraic structures identified with bivalent and non-bivalent semantics of experimental quantum propositions. https://doi.org/10.1007/s40509-019-00212-7

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Quantum Authenticated Key Expansion with Key Recycling

Data privacy and authentication are two main security requirements for remote access and cloud services. While QKD has been explored to address data privacy concerns, oftentimes its use is separate from the client authentication protocol despite implicitly providing authentication. Here, we present a quantum authentication key expansion (QAKE) protocol that (1) integrates both authentication and key expansion within a single protocol, and (2) provides key recycling property - allowing all authentication keys to be reused. We analyse the security of the protocol in a QAKE framework adapted from a classical authentication key exchange (AKE) framework, providing separate security conditions for authentication and data privacy. We experimentally implemented the protocol with appropriate post-selection. Additional results on the security of pseudorandom basis generation in QAKE and decoy state BB84 are provided.

quant-ph↗
arXiv2026

Entanglement as Difference: Reduction-induced Minimal Partial Entropy Difference

Bipartite mixed-state quantum entanglement (QE) and its measures play a crucial role in both theoretical research and practical quantum applications. Its internal structure is far more complex and less well understood compared with bipartite pure-state QE. Some existing measures involve inherently intractable global optimizations, while others are only applicable to highly limited-dimensional quantum systems. Here based on the inherent feature that bipartite QE systems nonseparable necessarily implies that local reduced density matrix differs from its \textquotedblleft native\textquotedblright density matrix, we propose a more physical and intuitive measure termed Reduction-induced Minimal Partial Entropy Difference to quantify arbitrary bipartite mixed-state QE. Partial Von Neumann Entropy is only a pure-state special case of this method. This measure offers intrinsic structural %perspective insights into bipartite QE characterization, thereby establishing itself as a valuable complementary measure. Its intuitive and clear physical picture, combined with relatively low computational complexity and wide applicability, facilitates exploring its potential quantum information applications, hence its conceptual framework and line of thought deserve to be further developed to describe and quantify multipartite QE in the future.

quant-ph↗
arXiv2026

Non-local mass superpositions and optical clock interferometry in atomic ensemble quantum networks

Quantum networks are emerging as powerful platforms for sensing, communication, and fundamental tests of physics. We propose a programmable quantum sensing network based on entangled atomic ensembles, where optical clock qubits realize mass superpositions arising via mass-energy equivalence, as in atom and atom-clock interferometry. Our approach uniquely combines scalability to large atom numbers with minimal control requirements, relying only on collective addressing of internal atomic states. This enables the creation of both non-local and local superpositions with spatial separations beyond those achievable in conventional matter-wave interferometry with single atoms. Starting from Bell-type seed states distributed via photonic channels, collective operations within atomic ensembles coherently build many-body mass superpositions sensitive to gravitational redshift. The resulting architecture implements a non-local Ramsey interferometer, where gravitationally induced phase shifts are imprinted on non-local entangled states and are read out through local measurements at the network nodes. Beyond extending the spatial reach of mass superpositions, our scheme establishes a scalable, programmable platform to probe the interface of quantum mechanics and gravity, and offers a new experimental pathway to test atom and atom-clock interferometer proposals, e.g. for probing gravitational dephasing, in a network-based quantum laboratory.

quant-ph↗