Negations and Meets in Topos Quantum Theory
- URL: http://arxiv.org/abs/2111.15226v1
- Date: Tue, 30 Nov 2021 09:16:54 GMT
- Title: Negations and Meets in Topos Quantum Theory
- Authors: Yuichiro Kitajima
- Abstract summary: The daseinisation is a mapping from an orthomodular lattice in ordinary quantum theory into a Heyting algebra in topos quantum theory.
We investigate the conditions under which negations and meets are preserved by daseinisation.
- Score: 0.0
- License: http://creativecommons.org/licenses/by-nc-sa/4.0/
- Abstract: The daseinisation is a mapping from an orthomodular lattice in ordinary
quantum theory into a Heyting algebra in topos quantum theory. While
distributivity does not always hold in orthomodular lattices, it does in
Heyting algebras. We investigate the conditions under which negations and meets
are preserved by daseinisation, and the condition that any element in the
Heyting algebra transformed through daseinisation corresponds to an element in
the original orthomodular lattice. We show that these conditions are
equivalent, and that, not only in the case of non-distributive orthomodular
lattices but also in the case of Boolean algebras containing more than four
elements, the Heyting algebra transformed from the orthomodular lattice through
daseinisation will contain an element that does not correspond to any element
of the original orthomodular lattice.
Related papers
- Quantum Random Walks and Quantum Oscillator in an Infinite-Dimensional Phase Space [45.9982965995401]
We consider quantum random walks in an infinite-dimensional phase space constructed using Weyl representation of the coordinate and momentum operators.
We find conditions for their strong continuity and establish properties of their generators.
arXiv Detail & Related papers (2024-06-15T17:39:32Z) - Symmetry-restricted quantum circuits are still well-behaved [45.89137831674385]
We show that quantum circuits restricted by a symmetry inherit the properties of the whole special unitary group $SU(2n)$.
It extends prior work on symmetric states to the operators and shows that the operator space follows the same structure as the state space.
arXiv Detail & Related papers (2024-02-26T06:23:39Z) - An algebraic formulation of nonassociative quantum mechanics [0.0]
We develop a version of quantum mechanics that can handle nonassociative algebras of observables.
Our approach is naturally probabilistic and is based on using the universal enveloping algebra of a general nonassociative algebra.
arXiv Detail & Related papers (2023-11-07T01:36:23Z) - The Schmidt rank for the commuting operator framework [58.720142291102135]
The Schmidt rank is a measure for the entanglement dimension of a pure bipartite state.
We generalize the Schmidt rank to the commuting operator framework.
We analyze bipartite states and compute the Schmidt rank in several examples.
arXiv Detail & Related papers (2023-07-21T14:37:33Z) - 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) - Deformed Heisenberg algebras of different types with preserved weak
equivalence principle [0.0]
The weak equivalence principle is preserved in quantized space if parameters of deformed algebras to be dependent on mass.
It is also shown that dependencies of parameters of deformed algebras on mass lead to preserving of the properties of the kinetic energy in quantized spaces.
arXiv Detail & Related papers (2023-02-02T17:45:45Z) - Equivariant Disentangled Transformation for Domain Generalization under
Combination Shift [91.38796390449504]
Combinations of domains and labels are not observed during training but appear in the test environment.
We provide a unique formulation of the combination shift problem based on the concepts of homomorphism, equivariance, and a refined definition of disentanglement.
arXiv Detail & Related papers (2022-08-03T12:31:31Z) - Negative Translations of Orthomodular Lattices and Their Logic [0.0]
We introduce residuated ortholattices as a generalization of -- and environment for the investigation of -- orthomodular lattices.
We show that residuated ortholattices are the equivalent algebraic semantics of an algebraizable propositional logic.
arXiv Detail & Related papers (2021-06-07T14:35:27Z) - The general structure of the Decoherence-free subalgebra for uniformly
continuous Quantum Markov semigroups [0.0]
We obtain a structure theorem for every uniformly continuous QMSs.
We prove that, when there exists a faithful normal invariant state, N(T) has to be atomic and decoherence takes place.
arXiv Detail & Related papers (2021-01-13T15:17:06Z) - 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) - Covariant Quantum Mechanics and Quantum Spacetime [0.0]
The basic representation is identified as a coherent state representation, essentially an irreducible component of the regular representation.
Explicit wavefunction description is given without any restriction of the variable domains, yet with a finite integral inner product.
arXiv Detail & Related papers (2020-02-04T08:55:56Z)
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.