Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Journal of Mathematical Physics

Geometrical models for quantum logics with conditioning

Platon C. Deliyannis

Published Oct 1, 1984• 1 citation
Publisher

Abstract

After obtaining a representation of a quantum logic by means of projection operators on the state space, geometrical conditions are imposed on a cone in an abstract Banach space which allow us to show that certain projections leaving this cone invariant will form a quantum logic with conditioning. Several examples are also presented.
DOI
10.1063/1.526043

Related papers

Geometric viewpoint on the quantization of a fuzzy logic

Davide Pastorello

Within the Hamiltonian framework, the propositions about a classical physical system are described in the Borel [Formula: see text]-algebra of a symplectic manifold (the phase space) where logical connectives are the standard set operations. Considering the geometric formulation of quantum mechanics we give a description of quantum propositions in terms of fuzzy events in a complex projective space equipped with Kähler structure (the quantum phase space) obtaining a quantized version of a fuzzy logic by deformation of the product [Formula: see text]-norm.

arXiv:2004.03395•International Journal of Geometric Methods in Modern Physics•Sep 10, 2020•0 citations

Quantum transition probability in convex sets and self-dual cones

Gerd Niestegge

The interplay between the algebraic structure (operator algebras) for the quantum observables and the convex structure of the state space has been explored for a long time, and most advanced results are due to Alfsen and Shultz. Here we present a more elementary approach with a more general structure for the observables, which focuses on the transition probability of the quantum logical atoms. The binary case gives rise to the generalized qubit models and was fully developed in a preceding paper. Here we consider any case with finite information capacity (binary means that the information capacity is 2). A novel geometric property that makes any compact convex set a matching state space is presented. Generally, the transition probability is not symmetric; if it is symmetric, we get an inner product and a self-dual cone. The emerging mathematical structure comes close to the Euclidean Jordan algebras and becomes a new mathematical model for a potential extension of quantum theory.

arXiv:2312.13213•Proceedings of the Royal Society A Mathematical Physical and Engineering Sciences•Nov 1, 2024•1 citation

Quantum logic and projective spaces

Lada Peksová

A set of statements about the properties of a quantum system is looked at as at a partially ordered set of subspaces of finite or infinite dimensional Hilbert space. The operation of ordering is performed on a set of propositions comparing the truth values of these propositions and on the set of subspaces as the opera- tion of inclusion. Based on the required properties these structures are translated into operations on the lattice. The correspondence with Heisenberg uncertainty principle is shown there. Furthermore, it is shown that the lattices correspond- ing to the subspaces of infinite dimensional Hilbert space are not modular. This property is replaced with weaker property of orthomodularity, when operation of the negation is added. Following the work of G. Birkhoff and J. von Neumann, the structure of quantum logic is looked for in projective spaces, which are in- troduced either arithmetically or axiomatically. The examples of quantum logic, their physical implementation and eventual implementation in projective spaces are analysed. 1

•Jan 1, 2013•0 citations

Markov operators on cones and non-commutative consensus

Stéphane Gaubert, Zheng Qu

The analysis of classical consensus algorithms relies on contraction properties of Markov matrices with respect to the Hilbert semi-norm (infinitesimal version of Hilbert's projective metric) and to the total variation norm. We generalize these properties to the case of operators on cones. This is motivated by the study of “non-commutative consensus”, i.e., of the dynamics of linear maps leaving invariant cones of positive semi-definite matrices. Such maps appear in quantum information (Kraus maps), and in the study of matrix means. We give a characterization of the contraction rate of an abstract Markov operator on a cone, which extends classical formulæ obtained by Dœblin and Dobrushin in the case of Markov matrices. In the special case of Kraus maps, we relate the absence of contraction to the positivity of the “zero-error capacity” of a quantum channel. We finally show that a number of decision problems concerning the contraction rate of Kraus maps reduce to finding a rank one matrix in linear spaces satisfying certain conditions and discuss complexity issues.

European Control Conference (ECC)•Jul 1, 2013•2 citations

Quantum logic and the classical propositional calculus

Othman Qasim Malhas

Abstract In much the same way that it is possible to construct a model of hyperbolic geometry in the Euclidean plane, it is possible to model quantum logic within the classical propositional calculus.

Journal of Symbolic Logic•Sep 1, 1987•6 citations

The geometric semantics of algebraic quantum mechanics

John Alexander Cruz Morales, Boris Zilber

In this paper, we will present an ongoing project that aims to use model theory as a suitable mathematical setting for studying the formalism of quantum mechanics. We argue that this approach provides a geometric semantics for such a formalism by means of establishing a (non-commutative) duality between certain algebraic and geometric objects.

arXiv:1410.7277•Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences•Jun 29, 2015•5 citations
Within the Hamiltonian framework, the propositions about a classical physical system are described in the Borel [Formula: see text]-algebra of a symplectic manifold (the phase space) where logical connectives are the standard set operations. Considering the geometric formulation of quantum mechanics we give a description of quantum propositions in terms of fuzzy events in a complex projective space equipped with Kähler structure (the quantum phase space) obtaining a quantized version of a fuzzy logic by deformation of the product [Formula: see text]-norm.
The interplay between the algebraic structure (operator algebras) for the quantum observables and the convex structure of the state space has been explored for a long time, and most advanced results are due to Alfsen and Shultz. Here we present a more elementary approach with a more general structure for the observables, which focuses on the transition probability of the quantum logical atoms. The binary case gives rise to the generalized qubit models and was fully developed in a preceding paper. Here we consider any case with finite information capacity (binary means that the information capacity is 2). A novel geometric property that makes any compact convex set a matching state space is presented. Generally, the transition probability is not symmetric; if it is symmetric, we get an inner product and a self-dual cone. The emerging mathematical structure comes close to the Euclidean Jordan algebras and becomes a new mathematical model for a potential extension of quantum theory.
A set of statements about the properties of a quantum system is looked at as at a partially ordered set of subspaces of finite or infinite dimensional Hilbert space. The operation of ordering is performed on a set of propositions comparing the truth values of these propositions and on the set of subspaces as the opera- tion of inclusion. Based on the required properties these structures are translated into operations on the lattice. The correspondence with Heisenberg uncertainty principle is shown there. Furthermore, it is shown that the lattices correspond- ing to the subspaces of infinite dimensional Hilbert space are not modular. This property is replaced with weaker property of orthomodularity, when operation of the negation is added. Following the work of G. Birkhoff and J. von Neumann, the structure of quantum logic is looked for in projective spaces, which are in- troduced either arithmetically or axiomatically. The examples of quantum logic, their physical implementation and eventual implementation in projective spaces are analysed. 1
The analysis of classical consensus algorithms relies on contraction properties of Markov matrices with respect to the Hilbert semi-norm (infinitesimal version of Hilbert's projective metric) and to the total variation norm. We generalize these properties to the case of operators on cones. This is motivated by the study of “non-commutative consensus”, i.e., of the dynamics of linear maps leaving invariant cones of positive semi-definite matrices. Such maps appear in quantum information (Kraus maps), and in the study of matrix means. We give a characterization of the contraction rate of an abstract Markov operator on a cone, which extends classical formulæ obtained by Dœblin and Dobrushin in the case of Markov matrices. In the special case of Kraus maps, we relate the absence of contraction to the positivity of the “zero-error capacity” of a quantum channel. We finally show that a number of decision problems concerning the contraction rate of Kraus maps reduce to finding a rank one matrix in linear spaces satisfying certain conditions and discuss complexity issues.