Dear all,
We will have a special one-time LIRa summer session tomorrow, on Thursday, 13 July 16:30.
This will be a hybrid session. If you want to attend online, please use our recurring zoom link:
https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09
(Meeting ID: 892 3063 9823, Passcode: 421723)
You can find the details of the talk below.
Speaker: Joshua Sack (California State University Long Beach)
Date and Time: Thursday, July 13th 2023, 16:30-18:00
Venue: ILLC seminar room F1.15 in Science Park 107 and online
Title: Relating algebraic quantum logic structures
Abstract. Different quantum structures emphasize different aspects of
a quantum system, making it easier for us to reason about those
emphasized aspects. The original quantum logics are defined on
orthomodular lattices, which generalize the orthocomplemented lattice
structure of closed linear subspaces of a Hilbert space. These
subspaces represent the testable properties of a quantum system and
emphasize static properties of a quantum system. Quantales offer a
dynamic perspective of a quantum system, and a quantale-module
illustrates the effects of quantum actions and may serve as an
algebraic semantics for dynamic quantum logics. A complemented
quantale augments a quantale with an orthocomplementation-inducing
unary operator. This talk discusses two complemented quantales that
are each equivalent to complete orthomodular lattices and account for
two basic classes of functions of quantum computation: projectors and
unitary operators.
Hope to see you there!
The LIRa team
Dear all,
We will have a one-time LIRa summer session on Thursday, 13 July 16:30.
This will be a hybrid session. If you want to attend online, please use our recurring zoom link:
https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09
(Meeting ID: 892 3063 9823, Passcode: 421723)
You can find the details of the talk below.
Speaker: Joshua Sack (California State University Long Beach)
Date and Time: Thursday, July 13th 2023, 16:30-18:00
Venue: ILLC seminar room F1.15 in Science Park 107 and online
Title: Relating algebraic quantum logic structures
Abstract. Different quantum structures emphasize different aspects of
a quantum system, making it easier for us to reason about those
emphasized aspects. The original quantum logics are defined on
orthomodular lattices, which generalize the orthocomplemented lattice
structure of closed linear subspaces of a Hilbert space. These
subspaces represent the testable properties of a quantum system and
emphasize static properties of a quantum system. Quantales offer a
dynamic perspective of a quantum system, and a quantale-module
illustrates the effects of quantum actions and may serve as an
algebraic semantics for dynamic quantum logics. A complemented
quantale augments a quantale with an orthocomplementation-inducing
unary operator. This talk discusses two complemented quantales that
are each equivalent to complete orthomodular lattices and account for
two basic classes of functions of quantum computation: projectors and
unitary operators.
Hope to see you there!
The LIRa team