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

International Journal of Theoretical Physics

Recent Progress on Pre-Hilbert-Space Logics and Their Measure Spaces

Emmanuel Chetcuti, Anatolij Dvurečenskij

Published Dec 1, 2005• 1 citation
Publisher
DOI
10.1007/s10773-005-8013-3

Related papers

The quantum logic of direct-sumdecompositions: the dual to the quantum logic of subspaces

David Ellerman

Since the pioneering work of Birkhoff and von Neumann, quantum logic has been interpreted as the logic of (closed) subspaces of a Hilbert space. There is a progression from the usual Boolean logic of subsets to the ‘quantum logic’ of subspaces of a general vector space—which is then specialized to the closed subspaces of a Hilbert space. But there is a ‘dual’ progression. The set notion of a partition (or quotient set or equivalence relation) is dual (in a category-theoretic sense) to the notion of a subset. Hence the Boolean logic of subsets has a dual logic of partitions. Then the dual progression is from that logic of set partitions to the quantum logic of direct-sum decompositions (i.e. the vector space version of a set partition) of a general vector space—which can then be specialized to the direct-sum decompositions of a Hilbert space. This allows the quantum logic of direct-sum decompositions to express measurement by any self-adjoint operators. The quantum logic of direct-sum decompositions is dual to the usual quantum logic of subspaces in the same sense that the logic of partitions is dual to the usual Boolean logic of subsets.

Logic Journal of IGPL•Jun 27, 2017•14 citations

Quantum logics and hilbert space

Sylvia Pulmannová

Foundations of Physics•Oct 1, 1994•7 citations

Logics Associated with Hilbert Spaces

Veeravalli S. Varadarajan

Springer eBooks•Jan 1, 1968•13 citations

Quantifiers for quantum logic

Chris Heunen

We consider categorical logic on the category of Hilbert spaces. More generally, in fact, any pre-Hilbert category suffices. We characterise closed subobjects, and prove that they form orthomodular lattices. This shows that quantum logic is just an incarnation of categorical logic, enabling us to establish an existential quantifier for quantum logic, and conclude that there cannot be a universal quantifier.

arXiv:0811.1457•Nov 10, 2008•2 citations

Logics Associated with Hilbert Spaces

Veeravalli S. Varadarajan

Springer eBooks•Jan 1, 1968•0 citations

The quantum Cauchy functional and space-time approach to relativistic quantum mechanics

A. A. Beilinson

We construct generalized quantum Cauchy pre-measures that correspond to the analytic continuation of the transition probability of the Cauchy process to imaginary time. We show that these complex pre-measures of time translations extend to a measure on the space dual to a real Hilbert space whose support is locally compact in the uniform convergence topology and with velocities in the Hilbert space. At that the quantum Cauchy-Dirac and Cauchy-Maxwell pre-measures of time translations of electrons and photons, that correspond to the retarded Green's functions of the Dirac and Maxwell equations with no sources viewed as generalized functions on bump functions, are unitary equivalent to quantum Cauchy pre-measures Therefore these pre-measures on the space dual to a real Hilbert space are $σ$-additive as well, but their support on the electron (respectively, photon) trajectories are compact in the uniform convergence topology with velocities in the Hilbert space. We study the way the classical relativistic mechanics of particle comes from the quantum mechanics of the free Dirac particle.

arXiv:1501.03750•Jan 15, 2015•1 citation
Since the pioneering work of Birkhoff and von Neumann, quantum logic has been interpreted as the logic of (closed) subspaces of a Hilbert space. There is a progression from the usual Boolean logic of subsets to the ‘quantum logic’ of subspaces of a general vector space—which is then specialized to the closed subspaces of a Hilbert space. But there is a ‘dual’ progression. The set notion of a partition (or quotient set or equivalence relation) is dual (in a category-theoretic sense) to the notion of a subset. Hence the Boolean logic of subsets has a dual logic of partitions. Then the dual progression is from that logic of set partitions to the quantum logic of direct-sum decompositions (i.e. the vector space version of a set partition) of a general vector space—which can then be specialized to the direct-sum decompositions of a Hilbert space. This allows the quantum logic of direct-sum decompositions to express measurement by any self-adjoint operators. The quantum logic of direct-sum decompositions is dual to the usual quantum logic of subspaces in the same sense that the logic of partitions is dual to the usual Boolean logic of subsets.
We construct generalized quantum Cauchy pre-measures that correspond to the analytic continuation of the transition probability of the Cauchy process to imaginary time. We show that these complex pre-measures of time translations extend to a measure on the space dual to a real Hilbert space whose support is locally compact in the uniform convergence topology and with velocities in the Hilbert space. At that the quantum Cauchy-Dirac and Cauchy-Maxwell pre-measures of time translations of electrons and photons, that correspond to the retarded Green's functions of the Dirac and Maxwell equations with no sources viewed as generalized functions on bump functions, are unitary equivalent to quantum Cauchy pre-measures Therefore these pre-measures on the space dual to a real Hilbert space are σσσ-additive as well, but their support on the electron (respectively, photon) trajectories are compact in the uniform convergence topology with velocities in the Hilbert space. We study the way the classical relativistic mechanics of particle comes from the quantum mechanics of the free Dirac particle.