Related papers: Four negations and the spectral presheaf

Four negations and the spectral presheaf

URL: http://arxiv.org/abs/2603.08699v2
Date: Wed, 11 Mar 2026 17:46:11 GMT
Title: Four negations and the spectral presheaf
Abstract summary: We prove the soundness and completeness of (co)quasiintuitionistic logic.<n>We show that the underlying orthocomplemented lattice can be reconstructed as an internal object of the spectral presheaf.
Score: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: Using Vakarelov's theory of lattice logics with negation, we introduce the (co)quasiintuitionistic logic, and prove its soundness and completeness with respect to the class of (co)quasiintuitionistic algebras. Combining these algebras together, we obtain biquasiintuitionistic algebras and the biquasiintuitionistic logic. Their further extension with the Skolem algebra structure defines Akchurin algebras and the respective logic, which is a product of biquasiintuitionistic and biintuitionistic logics, featuring four distinct negations. Next we generalise the framework of spectral presheaves (which is a main object in the Butterfield--Isham--Döring topos theoretic approach to quantum mechanics) to arbitrary complete orthocomplemented lattices, and show that the orthocomplementation determines two negation operators on the spectral presheaf (one paraconsistent, another paracomplete), equipping the set of all closed-and-open subpresheaves of a spectral presheaf with the structure of a biquasiintuitionistic algebra. Combined with the generic Skolem (i.e. Heyting and Brouwer) algebra structure of this set, this gives a particular instance of an Akchurin algebra. We also show that the underlying orthocomplemented lattice can be reconstructed as an internal object of the spectral presheaf, resulting as the image of a double coquasiintuitionistic (resp., quasiintuitionistic) negation monad (resp., comonad). Finally, we prove a no-go theorem for the claim that the spectral presheaf is a model of a dialectical (or any other) relevance logic.

Related papers

Connecting the tensor-categorical formulation of anyon condensation with operator algebras and entropic order parameters [0.0]
Anyon condensation describes the transition between topological quantum field theories.<n>We deploy the formalism of Doplicher-Haag-Roberts bimodules over quasi-local $mathrmC*$-algebras.
arXiv Detail & Related papers (2026-08-12T15:20:05Z)
A Lie-Jordan Geometric Formulation of Lindblad Dynamics [35.18016233072556]
We develop a Lie-Jordan geometric formulation of finite-dimensional open quantum dynamics.<n>We identify a basis-independent universal trilinear dissipative map.<n>We also derive its Hilbert-Schmidt adjoint and illustrate the formalism for a qubit with pure dephasing and amplitude-damping channels.
arXiv Detail & Related papers (2026-07-04T23:16:57Z)
Natural Qubit Algebra: clarification of the Clifford boundary and new non-embeddability theorem [0.0]
We introduce Natural Qubit Algebra (NQA), a compact real operator calculus for qubit systems.<n>NQA is based on a $2times2$ block alphabet $I,X,Z,WsubsetmathrmMat (2,mathbbR)$ and tensor-word representations.
arXiv Detail & Related papers (2026-02-24T21:30:19Z)
The metaplectic semigroup and its applications to time-frequency analysis and evolution operators [0.0]
We develop a systematic analysis of the metaplectic semigroup $mathrmMp_+(d,mathbbC)$ associated with positive complex symplectic matrices.<n>We exploit these structural results to characterize, from a metaplectic perspective, classes of time-frequency representations satisfying prescribed structural properties.
arXiv Detail & Related papers (2026-01-29T19:21:40Z)
Irreducible matrix representations for the walled Brauer algebra [0.9374652839580183]
This paper investigates the representation theory of the algebra of partially transposed permutation operators, $mathcalAd_p,p$.<n>It provides a matrix representation for the abstract walled Brauer algebra.<n>This algebra has recently gained significant attention due to its relevance in quantum information theory.
arXiv Detail & Related papers (2025-01-22T18:22:20Z)
Chiral Virasoro algebra from a single wavefunction [14.735587711294299]
When the edge is purely chiral, the Hilbert space of low-energy edge excitations can form a representation of a single Virasoro algebra.<n>We propose a method to systematically extract the generators of the Virasoro algebra from a single ground state wavefunction.
arXiv Detail & Related papers (2024-03-27T09:54:21Z)
Decoherence-free algebras in quantum dynamics [0.0]
We analyze the dynamics of finite-dimensional open quantum systems in the Heisenberg picture. Motivated by this structure, we introduce a new space called the Choi-Effros decoherence-free algebra. The equality between the attractor subspace and the Choi-Effros decoherence-free algebra is a necessary and sufficient condition for a faithful dynamics.
arXiv Detail & Related papers (2024-03-19T17:29:13Z)
Projection-algebras and quantum logic [1.930852251165745]
P-algebras have type X, 0, ',.> where 0 is a constant,'is unary and. is binary. A partial order is defined on the set X of features by x = y iff x.y = x.
arXiv Detail & Related papers (2024-02-10T20:52:50Z)
The tilted CHSH games: an operator algebraic classification [77.34726150561087]
This article introduces a general systematic procedure for solving any binary-input binary-output game. We then illustrate on the prominent class of tilted CHSH games. We derive for those an entire characterisation on the region exhibiting some quantum advantage.
arXiv Detail & Related papers (2023-02-16T18:33:59Z)
Learning Algebraic Representation for Systematic Generalization in Abstract Reasoning [109.21780441933164]
We propose a hybrid approach to improve systematic generalization in reasoning. We showcase a prototype with algebraic representation for the abstract spatial-temporal task of Raven's Progressive Matrices (RPM) We show that the algebraic representation learned can be decoded by isomorphism to generate an answer.
arXiv Detail & Related papers (2021-11-25T09:56:30Z)
Spectral resolutions in effect algebras [0.0]
Effect algebras were introduced as an abstract model for Hilbert space effects representing quantum mechanical measurements. We study additional structures on an effect algebra $E$ that enable us to define spectrality and spectral resolutions for elements of $E$ akin to those of self-adjoint operators.
arXiv Detail & Related papers (2021-11-03T12:10:43Z)
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)
Models of zero-range interaction for the bosonic trimer at unitarity [91.3755431537592]
We present the construction of quantum Hamiltonians for a three-body system consisting of identical bosons mutually coupled by a two-body interaction of zero range. For a large part of the presentation, infinite scattering length will be considered.
arXiv Detail & Related papers (2020-06-03T17:54:43Z)
A refinement of Reznick's Positivstellensatz with applications to quantum information theory [72.8349503901712]
In Hilbert's 17th problem Artin showed that any positive definite in several variables can be written as the quotient of two sums of squares. Reznick showed that the denominator in Artin's result can always be chosen as an $N$-th power of the squared norm of the variables.
arXiv Detail & Related papers (2019-09-04T11:46:26Z)

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