You are cordially invited to the Quantum Computing Seminar organized by the Department of Mathematics.<\/p>\n
Speaker: Selman Ipek (Bilkent University)
\n\u201cMotivating Categorical Quantum Mechanics\u201d<\/p>\n
Abstract: Circuit diagrams, such as those that implement quantum protocols have long been a useful tool in the field of quantum information and computation. Such diagrams, in fact, have a marked similarity to string diagrams appearing in category theory, an analogy that was made precise by the seminal work of Abramsky and Coecke [1]. Here we illustrate the naturalness of the categorical setting for describing quantum protocols using the example of quantum teleportation [1, \u00a72.1] and motivate the kind of structures that will be needed to faithfully realize such quantum processes. Key notions in quantum theory, such as state, transformation, and measurement will be stated in a fully categorical language [1, \u00a76] whose precise meaning will be unpacked in subsequent talks.<\/p>\n
References:
\n1. Abramsky, Samson, and Bob Coecke. \u201cCategorical quantum mechanics.\u201d Handbook of quantum logic and quantum structures 2 (2009): 261-325. Section 2.
\n2. Heunen, Chris, and Jamie Vicary. Categories for Quantum Theory: an introduction. Oxford University Press, 2019. Chapter 0.<\/p>\n
Date: Friday, February 16, 2024
\nTime: 14:00 \u2013 15:30
\nPlace: SA141 \u2013 Mathematics Seminar Room & ZOOM<\/p>\n
To request the event link, please send a message to\u00a0selman.ipek@bilkent.edu.tr<\/a><\/p>\n","protected":false},"excerpt":{"rendered":" You are cordially invited to the Quantum Computing Seminar organized by the Department of Mathematics. Speaker: Selman Ipek (Bilkent University) \u201cMotivating Categorical Quantum Mechanics\u201d Abstract: Circuit diagrams, such as those that implement quantum protocols have long been a useful tool in the field of quantum information and computation. Such diagrams, [\u2026] <\/p>\n