Journal article icon

Journal article

Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices

Abstract:

This paper provides a categorical equivalence between two types of quantum structures. One is a complete orthomodular lattice, which is used for reasoning about testable properties of a quantum system. The other is an orthomodular dynamic algebra, which is a quantale used for reasoning about quantum actions. The result extends to more restrictive lattices than orthomodular lattices, and includes Hilbert lattices of closed subspaces of a Hilbert space. These other lattice structures have conne...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Accepted Manuscript

Actions


Access Document


Files:
Publisher copy:
10.1007/s10773-017-3433-4

Authors


More by this author
Department:
Kellogg College
Role:
Author
Publisher:
Springer Publisher's website
Journal:
International Journal of Theoretical Physics Journal website
Volume:
56
Issue:
12
Pages:
4060–4072
Publication date:
2017-07-12
Acceptance date:
2017-05-25
DOI:
EISSN:
1572-9575
ISSN:
0020-7748
Pubs id:
pubs:698537
URN:
uri:7c9e9d7f-a150-4bda-9a45-bd5f3643334f
UUID:
uuid:7c9e9d7f-a150-4bda-9a45-bd5f3643334f
Local pid:
pubs:698537

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP