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