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

arXiv:2103.13764 · IEEE International Symposium on Multiple-Valued Logic (ISMVL)

Linear orthogonality spaces as a new approach to quantum logic

Kadi̇r Emi̇r, David Kruml, Jan Paseka, Thomas Vetterlein

Published May 1, 2021• 2 citations
arXivHTMLPDF

Abstract

The notion of an orthogonality space was recently rediscovered as an effective means to characterise the essential properties of quantum logic. The approach can be considered as minimalistic; solely the aspect of mutual exclusiveness is taken into account. In fact, an orthogonality space is simply a set endowed with a symmetric and irreflexive binary relation. If the rank is at least 4 and if a certain combinatorial condition holds, these relational structures can be shown to give rise in a unique way to Hermitian spaces. In this paper, we focus on the finite case. In particular, we investigate orthogonality spaces of rank at most 3.

DOI
10.1109/ismvl51352.2021.00015

Related papers

Orthogonality Spaces Arising from Infinite-Dimensional Complex Hilbert Spaces

Thomas Vetterlein

Abstract The collection of one-dimensional subspaces of an anisotropic Hermitian space is naturally endowed with an orthogonality relation and represents the typical example of what is called an orthogonality space: a set endowed with a symmetric, irreflexive binary relation. We investigate in this paper symmetry properties of orthogonality spaces. We show that two conditions concerning the existence of automorphisms of orthogonality spaces are essentially sufficient to characterise the basic model of quantum physics, the countably infinite dimensional complex Hilbert space.

International Journal of Theoretical Physics•Mar 10, 2020•17 citations

Linear Orthosets and Orthogeometries

Jan Paseka, Thomas Vetterlein

Abstract Anisotropic Hermitian spaces can be characterised as anisotropic orthogeometries, that is, as projective spaces that are additionally endowed with a suitable orthogonality relation. But linear dependence is uniquely determined by the orthogonality relation and hence it makes sense to investigate solely the latter. It turns out that by means of orthosets, which are structures based on a symmetric, irreflexive binary relation, we can achieve a quite compact description of the inner-product spaces under consideration. In particular, Pasch’s axiom, or any of its variants, is no longer needed. Having established the correspondence between anisotropic Hermitian spaces on the one hand and so-called linear orthosets on the other hand, we moreover consider the respective symmetries. We present a version of Wigner’s Theorem adapted to the present context.

International Journal of Theoretical Physics•Mar 8, 2023•7 citations

Sublattices and Δ-blocks of orthomodular posets

Ivan Chajda, Helmut Länger

Abstract States of quantum systems correspond to vectors in a Hilbert space and observations to closed subspaces. Hence, this logic corresponds to the algebra of closed subspaces of a Hilbert space. This can be considered as a complete lattice with orthocomplementation, but it is not distributive. It satisfies a weaker condition, the so-called orthomodularity. Later on, it was recognized that joins in this structure need not exist provided the subspaces are not orthogonal. Hence, the resulting structure need not be a lattice but a so-called orthomodular poset, more generally an orthoposet only. For orthoposets, we introduce a binary relation $\mathrel \Delta$ and a binary operator $d(x,y)$ that are generalizations of the binary relation $\textrm{C}$ and the commutator $c(x,y)$, respectively, known for orthomodular lattices. We characterize orthomodular posets among orthogonal posets. Moreover, we describe connections between the relations $\mathrel \Delta$ and $\leftrightarrow$ (the latter was introduced by P. Pták and S. Pulmannová) and the operator $d(x,y)$. In addition, we investigate certain orthomodular posets of subsets of a finite set. In particular, we describe maximal orthomodular sublattices and Boolean subalgebras of such orthomodular posets. Finally, we study properties of $\Delta$-blocks with respect to Boolean subalgebras and distributive subposets they include.

arXiv:2004.01962•Journal of Logic and Computation•Jun 25, 2020•0 citations

First-order frames for orthomodular quantum logic

Chrysafis Hartonas

One of the main problems of the orthoframe approach to quantum logic was that orthomodularity could not be captured by any first-order condition. This paper studies an elementary and natural class of orthomodular frames that can work around this limitation. Set-theoretically, the frames we propose form a natural subclass of the orthoframes , where is an irreflexive and symmetric relation on X. More specifically, they are partially-ordered orthoframes with a designated subset . Our frame class contains the canonical orthomodular frame of the logic and therefore characterises orthomodular quantum logic (OQL). To prove soundness, a further restriction is placed on admissible valuations which requires that they be point-generated in addition to the requirement that they return stable sets.

Journal of Applied Non-Classical Logics•Jan 2, 2016•5 citations

Quantum sets

Andre Kornell

A quantum set is defined to be simply a set of nonzero finite-dimensional Hilbert spaces. Together with binary relations, essentially the quantum relations of Weaver, quantum sets form a dagger compact category. Functions between quantum sets are certain binary relations that can be characterized in terms of this dagger compact structure, and the resulting category of quantum sets and functions generalizes the category of ordinary sets and functions in the manner of noncommutative mathematics. In particular, this category is dual to a subcategory of von Neumann algebras. The basic properties of quantum sets are presented thoroughly, with the noncommutative dictionary in mind, and with an eye to convenient application. As a motivating example, a notion of quantum graph coloring is derived within this framework, and it is shown to be equivalent to the notion that appears in the quantum information theory literature.

•Apr 2, 2018•1 citation

Quantum sets

Andre Kornell

A quantum set is defined to be simply a set of nonzero finite-dimensional Hilbert spaces. Together with binary relations, essentially the quantum relations of Weaver, quantum sets form a dagger compact category. Functions between quantum sets are certain binary relations that can be characterized in terms of this dagger compact structure, and the resulting category of quantum sets and functions generalizes the category of ordinary sets and functions in the manner of noncommutative mathematics. In particular, this category is dual to a subcategory of von Neumann algebras. The basic properties of quantum sets are presented thoroughly, with the noncommutative dictionary in mind, and with an eye to convenient application. As a motivating example, a notion of quantum graph coloring is derived within this framework, and it is shown to be equivalent to the notion that appears in the quantum information theory literature.

arXiv:1804.00581•Journal of Mathematical Physics•Oct 1, 2020•14 citations
The notion of an orthogonality space was recently rediscovered as an effective means to characterise the essential properties of quantum logic. The approach can be considered as minimalistic; solely the aspect of mutual exclusiveness is taken into account. In fact, an orthogonality space is simply a set endowed with a symmetric and irreflexive binary relation. If the rank is at least 4 and if a certain combinatorial condition holds, these relational structures can be shown to give rise in a unique way to Hermitian spaces. In this paper, we focus on the finite case. In particular, we investigate orthogonality spaces of rank at most 3.
Abstract The collection of one-dimensional subspaces of an anisotropic Hermitian space is naturally endowed with an orthogonality relation and represents the typical example of what is called an orthogonality space: a set endowed with a symmetric, irreflexive binary relation. We investigate in this paper symmetry properties of orthogonality spaces. We show that two conditions concerning the existence of automorphisms of orthogonality spaces are essentially sufficient to characterise the basic model of quantum physics, the countably infinite dimensional complex Hilbert space.
Abstract Anisotropic Hermitian spaces can be characterised as anisotropic orthogeometries, that is, as projective spaces that are additionally endowed with a suitable orthogonality relation. But linear dependence is uniquely determined by the orthogonality relation and hence it makes sense to investigate solely the latter. It turns out that by means of orthosets, which are structures based on a symmetric, irreflexive binary relation, we can achieve a quite compact description of the inner-product spaces under consideration. In particular, Pasch’s axiom, or any of its variants, is no longer needed. Having established the correspondence between anisotropic Hermitian spaces on the one hand and so-called linear orthosets on the other hand, we moreover consider the respective symmetries. We present a version of Wigner’s Theorem adapted to the present context.
Abstract States of quantum systems correspond to vectors in a Hilbert space and observations to closed subspaces. Hence, this logic corresponds to the algebra of closed subspaces of a Hilbert space. This can be considered as a complete lattice with orthocomplementation, but it is not distributive. It satisfies a weaker condition, the so-called orthomodularity. Later on, it was recognized that joins in this structure need not exist provided the subspaces are not orthogonal. Hence, the resulting structure need not be a lattice but a so-called orthomodular poset, more generally an orthoposet only. For orthoposets, we introduce a binary relation Δ\mathrel \DeltaΔ and a binary operator d(x,y)d(x,y)d(x,y) that are generalizations of the binary relation C\textrm{C}C and the commutator c(x,y)c(x,y)c(x,y), respectively, known for orthomodular lattices. We characterize orthomodular posets among orthogonal posets. Moreover, we describe connections between the relations Δ\mathrel \DeltaΔ and ↔\leftrightarrow↔ (the latter was introduced by P. Pták and S. Pulmannová) and the operator d(x,y)d(x,y)d(x,y). In addition, we investigate certain orthomodular posets of subsets of a finite set. In particular, we describe maximal orthomodular sublattices and Boolean subalgebras of such orthomodular posets. Finally, we study properties of Δ\DeltaΔ-blocks with respect to Boolean subalgebras and distributive subposets they include.
One of the main problems of the orthoframe approach to quantum logic was that orthomodularity could not be captured by any first-order condition. This paper studies an elementary and natural class of orthomodular frames that can work around this limitation. Set-theoretically, the frames we propose form a natural subclass of the orthoframes , where is an irreflexive and symmetric relation on X. More specifically, they are partially-ordered orthoframes with a designated subset . Our frame class contains the canonical orthomodular frame of the logic and therefore characterises orthomodular quantum logic (OQL). To prove soundness, a further restriction is placed on admissible valuations which requires that they be point-generated in addition to the requirement that they return stable sets.
A quantum set is defined to be simply a set of nonzero finite-dimensional Hilbert spaces. Together with binary relations, essentially the quantum relations of Weaver, quantum sets form a dagger compact category. Functions between quantum sets are certain binary relations that can be characterized in terms of this dagger compact structure, and the resulting category of quantum sets and functions generalizes the category of ordinary sets and functions in the manner of noncommutative mathematics. In particular, this category is dual to a subcategory of von Neumann algebras. The basic properties of quantum sets are presented thoroughly, with the noncommutative dictionary in mind, and with an eye to convenient application. As a motivating example, a notion of quantum graph coloring is derived within this framework, and it is shown to be equivalent to the notion that appears in the quantum information theory literature.
A quantum set is defined to be simply a set of nonzero finite-dimensional Hilbert spaces. Together with binary relations, essentially the quantum relations of Weaver, quantum sets form a dagger compact category. Functions between quantum sets are certain binary relations that can be characterized in terms of this dagger compact structure, and the resulting category of quantum sets and functions generalizes the category of ordinary sets and functions in the manner of noncommutative mathematics. In particular, this category is dual to a subcategory of von Neumann algebras. The basic properties of quantum sets are presented thoroughly, with the noncommutative dictionary in mind, and with an eye to convenient application. As a motivating example, a notion of quantum graph coloring is derived within this framework, and it is shown to be equivalent to the notion that appears in the quantum information theory literature.